tests/rtest_sqdnst.mac

   1 (kill(all), 'done);
   2 'done$
   3
   4 sqrtdenest(sqrt(3+2*sqrt(2)));
   5 sqrt(2)+1$
   6
   7 sqrtdenest(sqrt(5+2*sqrt(6)));
   8 sqrt(3)+sqrt(2)$
   9
  10 sqrtdenest(sqrt(sqrt(3)/2+1)/sqrt(11*sqrt(2)-12));
  11 (sqrt(3)/2+1/2)/(3*2^(1/4)-2^(3/4))$
  12
  13 /* apply more than once */
  14 sqrtdenest((19601-13860*sqrt(2))^(7/4));
  15 (99-35*2^(3/2))^(7/2)$
  16
  17 sqrtdenest(sqrtdenest((19601-13860*sqrt(2))^(7/4)));
  18 (5*sqrt(2)-7)^7$
  19
  20 sqrtdenest(sqrt(3+2*sqrt(3)));
  21 3^(3/4)/sqrt(2)+3^(1/4)/sqrt(2);
  22
  23 sqrtdenest(sqrt(4+3*sqrt(2)));
  24 2^(3/4)+2^(1/4);
  25
  26 sqrtdenest(sqrt(199999-600*sqrt(111110)));
  27 10^(5/2)-3*sqrt(11111);
  28
  29 sqrtdenest((sqrt(2*sqrt(6)+5)+1)^(1/3));
  30 (sqrt(3)+sqrt(2)+1)^(1/3);
  31
  32 /* Some tests from sympy testsuite
  33    https://github.com/sympy/sympy/blob/master/
  34      sympy/simplify/tests/test_sqrtdenest.py [59403d3] of 8 Mar 2014
  35  */
  36 sqrtdenest(sqrt(5+4*sqrt(5+2*sqrt(6))));
  37 sqrt(4*(sqrt(3)+sqrt(2))+5);
  38
  39 sqrtdenest(sqrt(2*sqrt(3)+3));
  40 3^(3/4)/sqrt(2)+3^(1/4)/sqrt(2);
  41
  42 sqrtdenest(sqrt(5*sqrt(3)+6*sqrt(2)));
  43 3^(3/4)+sqrt(2)*3^(1/4);