On 28-04-2011 14:18, Barton Willis wrote:
> -----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
Many thanks, both to you and to Stavros Macrakis.
Best regards,
Jose Carlos Santos