https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83353
--- Comment #3 from Alexander Zaitsev <zamazan4ik at tut dot by> --- FMPOV compiler should optimize as much as possible. If it's too time consuming, I prefer some additional compiler option like -f-do-some-math-time-consuming-optimization. And yes - developers canot write all math optimizations manually. We need some math engine inside (smth like souper optimizer)