> Frequently this kind of expression is the result of solving an equation Some time ago I’ve stopped solving equations, using software for that. Nowadays, when

> Frequently this kind of expression is the result of solving an equation Some time ago I’ve stopped solving equations, using software for that. Nowadays, when I need them solved, I sometimes don’t even write code, here’s an example: https://stackoverflow.com/questions/1351746/find-a-tangent-point-on-circle/39961679#39961679 https://stackoverflow.com/questions/1351746/find-a-tangent-p... Symbolic math software does more “optimizations” than even offline compilers. For example, I have never saw an optimizer which is aware that sin(x)^2 + cos(x)^2 = 1.