to boil down to something
can be found in most dictionaries. However, to me, it sounds colloquial to write
Finding an exact solution to Eq. 1 boils down to ...
Is it good style to use this phrase in formal writing?
(I am prepared to hear that if people use it, then it is OK.)