Definition: Given the Question and Answer pair, detect whether the answer is acceptable or not. Denote acceptable answer as "yes", otherwise denote as "no". An acceptable answer is consistent with the context in question, detailed, long, and uses general knowledge of English. Answers that are not definite and suggest a variety of options are not acceptable answers.
Input: Question: The phrase 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 ... A real-life example can be found here, and many more here. Interestingly, many of the examples are by non-native speakers. 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.) 
Answer: Boil down to is not informal. It can be used even in formal writing.

no