1 /* These demo commands are also included in the testsuite. */
3 raddenest(sqrt(2*sqrt(6)+5));
5 sqrt(sqrt(2*sqrt(7)+5)+3);
8 sqrt(sqrt(16+2*sqrt(55-10*sqrt(29))-2*sqrt(29))-sqrt(5));
11 sqrt(2+(6*sqrt(11))/11+(2*sqrt(22))/11+(6*sqrt(2))/11);
14 sqrt(1+1/(7+4*sqrt(3)));
17 sqrt(expand((1+sqrt(3+sqrt(x+2)))^2));
20 raddenest(sqrt(5^(1/3)-4^(1/3)));
22 raddenest((41-29*sqrt(2))^(1/5));