Solved
Werner_EAnswer
25-Diamond I
May 1, 2025
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.

