https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79720
--- Comment #10 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Thomas Koenig from comment #7) > We also do a quite complex (sorry for the pun) and expensive > division routine, just in order not to lose any bits of precision. > If the compile-time simplification does not match that, it is > simply buggy. If anything, I expect that the compile-time evaluation (using MPC) is more precise than what you get by chaining real add/sub/mul/div, even if that's a relatively expensive routine to reduce errors.