[widdershins]

Really? Wow, I thought optimisations had to provably avoid affecting the correctness of your program. Hence:

"This need to avoid imprecise intermediate results often prevents compilers from exploiting mathematical properties like associativity when optimizing FP arithmetic."

from the explanation under Q4.