A variable belongs to some interval



-----maxima-bounces at math.utexas.edu wrote: -----

> is there some way of making Maxima "see" that
>?? ?cos(3*acos(x)) = 4x^3 - 3x?

(%i8) ratsimp(exponentialize(logarc(cos(3*acos(x)))));
(%o8) 4*x^3-3*x

--Barton