Hi for many CAS software (e.g. Maple 12 , MuPad 4) acos(cos(x)) is not equal to cos(acos(x)). Maxima integrate(cos(acos(x)),x,0,%pi/2) =pi^2/8 it is correct. Luigi Marino