Maxima have many problems with trigonometric functions, it is not able to reduce acos(cos(x)) to x If you try all trig simplification acos(cos(x)) is never x Best Luigi Marino