Note that the transformation you mention near the end turns evaluation from (x1 * (x2 * x3)) into ((x1 * x2) * x3). So it only works if the simple operation is associative. And multiplication and addition on computer floating point numbers is not associative, unlike the respective operations on real numbers.