[Maxima-discuss] radcan not idempotent

[Stavros M. (Σ. Μ. <mac...@al...>]

Consider

ex:
 256^(log(-sqrt(3^(1/4)*sqrt(-3^(1/4)*(2*sqrt(16859)+50*3^(3/2))^(2/3)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)-4*3^(1/4)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)+60*sqrt(2*sqrt(16859)+50*3^(3/2)))+3^(3/8)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(3/4)+2*3^(5/8)*(2*sqrt(16859)+50*3^(3/2))^(1/6)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/4))/(sqrt(2)*3^(5/16)*(2*sqrt(16859)+50*3^(3/2))^(1/12)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/8)))/log(2))-4*64^(log(-sqrt(3^(1/4)*sqrt(-3^(1/4)*(2*sqrt(16859)+50*3^(3/2))^(2/3)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)-4*3^(1/4)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)+60*sqrt(2*sqrt(16859)+50*3^(3/2)))+3^(3/8)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(3/4)+2*3^(5/8)*(2*sqrt(16859)+50*3^(3/2))^(1/6)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/4))/(sqrt(2)*3^(5/16)*(2*sqrt(16859)+50*3^(3/2))^(1/12)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/8)))/log(2))+6*16^(log(-sqrt(3^(1/4)*sqrt(-3^(1/4)*(2*sqrt(16859)+50*3^(3/2))^(2/3)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)-4*3^(1/4)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)+60*sqrt(2*sqrt(16859)+50*3^(3/2)))+3^(3/8)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(3/4)+2*3^(5/8)*(2*sqrt(16859)+50*3^(3/2))^(1/6)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/4))/(sqrt(2)*3^(5/16)*(2*sqrt(16859)+50*3^(3/2))^(1/12)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/8)))/log(2))-14*4^(log(-sqrt(3^(1/4)*sqrt(-3^(1/4)*(2*sqrt(16859)+50*3^(3/2))^(2/3)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)-4*3^(1/4)*sqrt((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)+60*sqrt(2*sqrt(16859)+50*3^(3/2)))+3^(3/8)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(3/4)+2*3^(5/8)*(2*sqrt(16859)+50*3^(3/2))^(1/6)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/4))/(sqrt(2)*3^(5/16)*(2*sqrt(16859)+50*3^(3/2))^(1/12)*((2*sqrt(16859)+50*3^(3/2))^(2/3)+4)^(1/8)))/log(2))+12
 $

radcan(ex) simplifies this somewhat (using 25 secs of CPU).
And radcan(radcan(ex)) simplifies it some more.
But radcan(radcan(radcan(ex))) simplifies to 0.

Is that expected behavior?

          -s