cos(3pi/2 - x) from Kenny #803
Description
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:
{{ message }}
cos(3pi/2 - x) from Kenny #803Kenny 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: