`cos(3pi/2 - x)` from Kenny
pavpanchekha opened this issue · comments
Kenny found that cos(3pi/2 - x) doesn't simplify to -sin(x), even though it should, and looks like that's also present on demo:
Optimize floating-point expressions for accuracy
pavpanchekha opened this issue · comments
Kenny found that cos(3pi/2 - x) doesn't simplify to -sin(x), even though it should, and looks like that's also present on demo: