Solved
This happens (more often) in MC15 as well that f(x) can't be simplified to 0 or a certain value c we know the expression should simplify to.
Also f(x)-c usually won't simplify to zero but most of the time the symbolics is able to simplify the Boolean expression f(x)=c to 1. Not sure why.
Enter your E-mail address. We'll send you an e-mail with instructions to reset your password.

