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.
Welcome to the PTC Community
No account yet? Create an account
Please use your PTC eSupport account.
LoginEnter your E-mail address. We'll send you an e-mail with instructions to reset your password.

