At
|
-- NOTE: It is important that these rules should fire after the distributivity |
it says
-- NOTE: It is important that these rules should fire after the distributivity
-- rules. This ensures that
--
-- > x*x+x*y
--
-- gets simplified to
--
-- > x*(x+y)
--
-- rather than
--
-- > x+x+x*y
Assumedly this should say 2*x + x*y, since x*x != x+x.
At
fast-math/Numeric/FastMath/Approximation.hs
Line 125 in 8657317
Assumedly this should say
2*x + x*y, sincex*x!=x+x.