17.761 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.044 * * * [progress]: [2/2] Setting up program.
0.047 * [progress]: [Phase 2 of 3] Improving.
0.048 * [simplify]: Simplifying:
  (+ (- 1.0 x) (* y (sqrt x)))
0.048 * * [simplify]: Extracting # 0 : cost  1  inf +  0
0.048 * * [simplify]: Extracting # 1 : cost  3  inf +  0
0.048 * * [simplify]: Extracting # 2 : cost  7  inf +  0
0.048 * * [simplify]: Extracting # 3 : cost  2  inf +  126
0.048 * * [simplify]: Extracting # 4 : cost  0  inf +  331
0.048 * * [simplify]: iteration  0 :  7  enodes  (cost  163 )
0.049 * * [simplify]: Extracting # 0 : cost  0  inf +  331
0.049 * * [simplify]: Extracting # 1 : cost  2  inf +  331
0.049 * * [simplify]: Extracting # 2 : cost  0  inf +  494
0.049 * * [simplify]: iteration  1 :  13  enodes  (cost  163 )
0.052 * * [simplify]: Extracting # 0 : cost  0  inf +  494
0.052 * * [simplify]: Extracting # 1 : cost  4  inf +  494
0.052 * * [simplify]: Extracting # 2 : cost  0  inf +  1063
0.052 * * [simplify]: iteration  2 :  23  enodes  (cost  163 )
0.056 * * [simplify]: Extracting # 0 : cost  0  inf +  1063
0.056 * * [simplify]: Extracting # 1 : cost  3  inf +  1063
0.057 * * [simplify]: Extracting # 2 : cost  0  inf +  1347
0.057 * * [simplify]: iteration  3 :  40  enodes  (cost  163 )
0.063 * * [simplify]: Extracting # 0 : cost  0  inf +  1347
0.063 * * [simplify]: Extracting # 1 : cost  3  inf +  1187
0.064 * * [simplify]: Extracting # 2 : cost  0  inf +  1552
0.064 * * [simplify]: iteration  4 :  55  enodes  (cost  163 )
0.072 * * [simplify]: Extracting # 0 : cost  0  inf +  1552
0.072 * * [simplify]: Extracting # 1 : cost  6  inf +  1352
0.073 * * [simplify]: Extracting # 2 : cost  0  inf +  2045
0.073 * * [simplify]: iteration  5 :  67  enodes  (cost  163 )
0.091 * * [simplify]: Extracting # 0 : cost  0  inf +  2045
0.092 * * [simplify]: Extracting # 1 : cost  3  inf +  2045
0.093 * * [simplify]: Extracting # 2 : cost  0  inf +  2371
0.094 * * [simplify]: iteration  6 :  74  enodes  (cost  163 )
0.108 * * [simplify]: Extracting # 0 : cost  0  inf +  2371
0.109 * * [simplify]: Extracting # 1 : cost  4  inf +  2371
0.110 * * [simplify]: Extracting # 2 : cost  0  inf +  3060
0.111 * * [simplify]: iteration  7 :  87  enodes  (cost  163 )
0.121 * * [simplify]: Extracting # 0 : cost  0  inf +  3060
0.122 * * [simplify]: Extracting # 1 : cost  4  inf +  2780
0.123 * * [simplify]: Extracting # 2 : cost  0  inf +  3066
0.131 * * [simplify]: iteration  8 :  108  enodes  (cost  163 )
0.144 * * [simplify]: Extracting # 0 : cost  0  inf +  3066
0.145 * * [simplify]: Extracting # 1 : cost  17  inf +  2906
0.148 * * [simplify]: Extracting # 2 : cost  0  inf +  4663
0.151 * * [simplify]: iteration  9 :  156  enodes  (cost  163 )
0.195 * * [simplify]: Extracting # 0 : cost  0  inf +  4663
0.198 * * [simplify]: Extracting # 1 : cost  15  inf +  4303
0.202 * * [simplify]: Extracting # 2 : cost  0  inf +  5891
0.207 * * [simplify]: iteration  10 :  242  enodes  (cost  163 )
0.266 * * [simplify]: Extracting # 0 : cost  0  inf +  5891
0.268 * * [simplify]: Extracting # 1 : cost  9  inf +  5091
0.271 * * [simplify]: Extracting # 2 : cost  0  inf +  6071
0.274 * * [simplify]: iteration  11 :  329  enodes  (cost  163 )
0.297 * * [simplify]: Extracting # 0 : cost  0  inf +  6071
0.302 * * [simplify]: Extracting # 1 : cost  8  inf +  5711
0.308 * * [simplify]: Extracting # 2 : cost  0  inf +  6488
0.314 * * [simplify]: iteration  12 :  390  enodes  (cost  163 )
0.338 * * [simplify]: Extracting # 0 : cost  0  inf +  6488
0.341 * * [simplify]: Extracting # 1 : cost  9  inf +  6168
0.348 * * [simplify]: Extracting # 2 : cost  0  inf +  7066
0.354 * * [simplify]: iteration  13 :  456  enodes  (cost  163 )
0.380 * * [simplify]: Extracting # 0 : cost  0  inf +  7066
0.383 * * [simplify]: Extracting # 1 : cost  9  inf +  6706
0.386 * * [simplify]: Extracting # 2 : cost  0  inf +  7686
0.390 * * [simplify]: iteration  14 :  522  enodes  (cost  163 )
0.418 * * [simplify]: Extracting # 0 : cost  0  inf +  7686
0.425 * * [simplify]: Extracting # 1 : cost  7  inf +  7326
0.432 * * [simplify]: Extracting # 2 : cost  0  inf +  7900
0.440 * * [simplify]: iteration  15 :  588  enodes  (cost  163 )
0.484 * * [simplify]: Extracting # 0 : cost  0  inf +  7900
0.491 * * [simplify]: Extracting # 1 : cost  7  inf +  7620
0.499 * * [simplify]: Extracting # 2 : cost  0  inf +  8194
0.508 * * [simplify]: iteration  16 :  652  enodes  (cost  163 )
0.550 * * [simplify]: Extracting # 0 : cost  0  inf +  8194
0.554 * * [simplify]: Extracting # 1 : cost  9  inf +  7914
0.558 * * [simplify]: Extracting # 2 : cost  0  inf +  8812
0.563 * * [simplify]: iteration  17 :  717  enodes  (cost  163 )
0.586 * * [simplify]: Extracting # 0 : cost  0  inf +  8812
0.590 * * [simplify]: Extracting # 1 : cost  9  inf +  8452
0.595 * * [simplify]: Extracting # 2 : cost  0  inf +  9432
0.601 * * [simplify]: iteration  18 :  780  enodes  (cost  163 )
0.629 * * [simplify]: Extracting # 0 : cost  0  inf +  9432
0.637 * * [simplify]: Extracting # 1 : cost  7  inf +  9072
0.647 * * [simplify]: Extracting # 2 : cost  0  inf +  9646
0.658 * * [simplify]: iteration  19 :  844  enodes  (cost  163 )
0.703 * * [simplify]: Extracting # 0 : cost  0  inf +  9646
0.714 * * [simplify]: Extracting # 1 : cost  7  inf +  9366
0.725 * * [simplify]: Extracting # 2 : cost  0  inf +  9940
0.736 * * [simplify]: iteration  20 :  908  enodes  (cost  163 )
0.782 * * [simplify]: Extracting # 0 : cost  0  inf +  9940
0.791 * * [simplify]: Extracting # 1 : cost  9  inf +  9660
0.800 * * [simplify]: Extracting # 2 : cost  0  inf +  10558
0.806 * * [simplify]: iteration  21 :  973  enodes  (cost  163 )
0.830 * * [simplify]: Extracting # 0 : cost  0  inf +  10558
0.835 * * [simplify]: Extracting # 1 : cost  9  inf +  10198
0.841 * * [simplify]: Extracting # 2 : cost  0  inf +  11178
0.847 * * [simplify]: iteration  22 :  1036  enodes  (cost  163 )
0.872 * * [simplify]: Extracting # 0 : cost  0  inf +  11178
0.877 * * [simplify]: Extracting # 1 : cost  7  inf +  10818
0.885 * * [simplify]: Extracting # 2 : cost  0  inf +  11392
0.894 * * [simplify]: iteration  23 :  1100  enodes  (cost  163 )
0.932 * * [simplify]: Extracting # 0 : cost  0  inf +  11392
0.937 * * [simplify]: Extracting # 1 : cost  7  inf +  11112
0.943 * * [simplify]: Extracting # 2 : cost  0  inf +  11686
0.950 * * [simplify]: iteration  24 :  1164  enodes  (cost  163 )
0.975 * * [simplify]: Extracting # 0 : cost  0  inf +  11686
0.981 * * [simplify]: Extracting # 1 : cost  9  inf +  11406
0.993 * * [simplify]: Extracting # 2 : cost  0  inf +  12304
1.008 * * [simplify]: iteration  25 :  1229  enodes  (cost  163 )
1.054 * * [simplify]: Extracting # 0 : cost  0  inf +  12304
1.061 * * [simplify]: Extracting # 1 : cost  9  inf +  11944
1.067 * * [simplify]: Extracting # 2 : cost  0  inf +  12924
1.077 * * [simplify]: iteration  26 :  1292  enodes  (cost  163 )
1.101 * * [simplify]: Extracting # 0 : cost  0  inf +  12924
1.108 * * [simplify]: Extracting # 1 : cost  7  inf +  12564
1.122 * * [simplify]: Extracting # 2 : cost  0  inf +  13138
1.138 * * [simplify]: iteration  27 :  1356  enodes  (cost  163 )
1.163 * * [simplify]: Extracting # 0 : cost  0  inf +  13138
1.169 * * [simplify]: Extracting # 1 : cost  7  inf +  12858
1.176 * * [simplify]: Extracting # 2 : cost  0  inf +  13432
1.184 * * [simplify]: iteration  28 :  1420  enodes  (cost  163 )
1.208 * * [simplify]: Extracting # 0 : cost  0  inf +  13432
1.216 * * [simplify]: Extracting # 1 : cost  9  inf +  13152
1.223 * * [simplify]: Extracting # 2 : cost  0  inf +  14050
1.232 * * [simplify]: iteration  29 :  1485  enodes  (cost  163 )
1.255 * * [simplify]: Extracting # 0 : cost  0  inf +  14050
1.262 * * [simplify]: Extracting # 1 : cost  9  inf +  13690
1.270 * * [simplify]: Extracting # 2 : cost  0  inf +  14670
1.280 * * [simplify]: iteration  30 :  1548  enodes  (cost  163 )
1.312 * * [simplify]: Extracting # 0 : cost  0  inf +  14670
1.326 * * [simplify]: Extracting # 1 : cost  7  inf +  14310
1.342 * * [simplify]: Extracting # 2 : cost  0  inf +  14884
1.361 * * [simplify]: iteration  31 :  1612  enodes  (cost  163 )
1.403 * * [simplify]: Extracting # 0 : cost  0  inf +  14884
1.410 * * [simplify]: Extracting # 1 : cost  7  inf +  14604
1.418 * * [simplify]: Extracting # 2 : cost  0  inf +  15178
1.427 * * [simplify]: iteration  32 :  1676  enodes  (cost  163 )
1.462 * * [simplify]: Extracting # 0 : cost  0  inf +  15178
1.478 * * [simplify]: Extracting # 1 : cost  9  inf +  14898
1.496 * * [simplify]: Extracting # 2 : cost  0  inf +  15796
1.517 * * [simplify]: iteration  33 :  1741  enodes  (cost  163 )
1.544 * * [simplify]: Extracting # 0 : cost  0  inf +  15796
1.551 * * [simplify]: Extracting # 1 : cost  9  inf +  15436
1.567 * * [simplify]: Extracting # 2 : cost  0  inf +  16416
1.588 * * [simplify]: iteration  34 :  1804  enodes  (cost  163 )
1.634 * * [simplify]: Extracting # 0 : cost  0  inf +  16416
1.647 * * [simplify]: Extracting # 1 : cost  7  inf +  16056
1.656 * * [simplify]: Extracting # 2 : cost  0  inf +  16630
1.668 * * [simplify]: iteration  35 :  1868  enodes  (cost  163 )
1.700 * * [simplify]: Extracting # 0 : cost  0  inf +  16630
1.709 * * [simplify]: Extracting # 1 : cost  7  inf +  16350
1.718 * * [simplify]: Extracting # 2 : cost  0  inf +  16924
1.728 * * [simplify]: iteration  36 :  1932  enodes  (cost  163 )
1.752 * * [simplify]: Extracting # 0 : cost  0  inf +  16924
1.760 * * [simplify]: Extracting # 1 : cost  9  inf +  16644
1.770 * * [simplify]: Extracting # 2 : cost  0  inf +  17542
1.789 * * [simplify]: iteration  37 :  1997  enodes  (cost  163 )
1.817 * * [simplify]: Extracting # 0 : cost  0  inf +  17542
1.826 * * [simplify]: Extracting # 1 : cost  9  inf +  17182
1.840 * * [simplify]: Extracting # 2 : cost  0  inf +  18162
1.864 * * [simplify]: iteration  38 :  2060  enodes  (cost  163 )
1.911 * * [simplify]: Extracting # 0 : cost  0  inf +  18162
1.926 * * [simplify]: Extracting # 1 : cost  7  inf +  17802
1.936 * * [simplify]: Extracting # 2 : cost  0  inf +  18376
1.948 * * [simplify]: iteration  39 :  2124  enodes  (cost  163 )
1.977 * * [simplify]: Extracting # 0 : cost  0  inf +  18376
1.987 * * [simplify]: Extracting # 1 : cost  7  inf +  18096
1.998 * * [simplify]: Extracting # 2 : cost  0  inf +  18670
2.011 * * [simplify]: iteration  40 :  2188  enodes  (cost  163 )
2.055 * * [simplify]: Extracting # 0 : cost  0  inf +  18670
2.074 * * [simplify]: Extracting # 1 : cost  9  inf +  18390
2.098 * * [simplify]: Extracting # 2 : cost  0  inf +  19288
2.112 * * [simplify]: iteration  41 :  2253  enodes  (cost  163 )
2.136 * * [simplify]: Extracting # 0 : cost  0  inf +  19288
2.145 * * [simplify]: Extracting # 1 : cost  9  inf +  18928
2.158 * * [simplify]: Extracting # 2 : cost  0  inf +  19908
2.184 * * [simplify]: iteration  42 :  2316  enodes  (cost  163 )
2.230 * * [simplify]: Extracting # 0 : cost  0  inf +  19908
2.239 * * [simplify]: Extracting # 1 : cost  7  inf +  19548
2.252 * * [simplify]: Extracting # 2 : cost  0  inf +  20122
2.266 * * [simplify]: iteration  43 :  2380  enodes  (cost  163 )
2.307 * * [simplify]: Extracting # 0 : cost  0  inf +  20122
2.328 * * [simplify]: Extracting # 1 : cost  7  inf +  19842
2.354 * * [simplify]: Extracting # 2 : cost  0  inf +  20416
2.367 * * [simplify]: iteration  44 :  2444  enodes  (cost  163 )
2.390 * * [simplify]: Extracting # 0 : cost  0  inf +  20416
2.410 * * [simplify]: Extracting # 1 : cost  9  inf +  20136
2.438 * * [simplify]: Extracting # 2 : cost  0  inf +  21034
2.467 * * [simplify]: iteration  45 :  2509  enodes  (cost  163 )
2.491 * * [simplify]: Extracting # 0 : cost  0  inf +  21034
2.501 * * [simplify]: Extracting # 1 : cost  9  inf +  20674
2.526 * * [simplify]: Extracting # 2 : cost  0  inf +  21654
2.552 * * [simplify]: iteration  46 :  2572  enodes  (cost  163 )
2.575 * * [simplify]: Extracting # 0 : cost  0  inf +  21654
2.586 * * [simplify]: Extracting # 1 : cost  7  inf +  21294
2.602 * * [simplify]: Extracting # 2 : cost  0  inf +  21868
2.625 * * [simplify]: iteration  47 :  2636  enodes  (cost  163 )
2.669 * * [simplify]: Extracting # 0 : cost  0  inf +  21868
2.688 * * [simplify]: Extracting # 1 : cost  7  inf +  21588
2.702 * * [simplify]: Extracting # 2 : cost  0  inf +  22162
2.720 * * [simplify]: iteration  48 :  2700  enodes  (cost  163 )
2.761 * * [simplify]: Extracting # 0 : cost  0  inf +  22162
2.771 * * [simplify]: Extracting # 1 : cost  9  inf +  21882
2.785 * * [simplify]: Extracting # 2 : cost  0  inf +  22780
2.808 * * [simplify]: iteration  49 :  2765  enodes  (cost  163 )
2.832 * * [simplify]: Extracting # 0 : cost  0  inf +  22780
2.847 * * [simplify]: Extracting # 1 : cost  9  inf +  22420
2.861 * * [simplify]: Extracting # 2 : cost  0  inf +  23400
2.885 * * [simplify]: iteration  50 :  2828  enodes  (cost  163 )
2.913 * * [simplify]: Extracting # 0 : cost  0  inf +  23400
2.930 * * [simplify]: Extracting # 1 : cost  7  inf +  23040
2.954 * * [simplify]: Extracting # 2 : cost  0  inf +  23614
2.986 * * [simplify]: iteration  51 :  2892  enodes  (cost  163 )
3.030 * * [simplify]: Extracting # 0 : cost  0  inf +  23614
3.057 * * [simplify]: Extracting # 1 : cost  7  inf +  23334
3.084 * * [simplify]: Extracting # 2 : cost  0  inf +  23908
3.115 * * [simplify]: iteration  52 :  2956  enodes  (cost  163 )
3.159 * * [simplify]: Extracting # 0 : cost  0  inf +  23908
3.187 * * [simplify]: Extracting # 1 : cost  9  inf +  23628
3.214 * * [simplify]: Extracting # 2 : cost  0  inf +  24526
3.246 * * [simplify]: iteration  53 :  3021  enodes  (cost  163 )
3.270 * * [simplify]: Extracting # 0 : cost  0  inf +  24526
3.282 * * [simplify]: Extracting # 1 : cost  9  inf +  24166
3.296 * * [simplify]: Extracting # 2 : cost  0  inf +  25146
3.312 * * [simplify]: iteration  54 :  3084  enodes  (cost  163 )
3.342 * * [simplify]: Extracting # 0 : cost  0  inf +  25146
3.360 * * [simplify]: Extracting # 1 : cost  7  inf +  24786
3.374 * * [simplify]: Extracting # 2 : cost  0  inf +  25360
3.391 * * [simplify]: iteration  55 :  3148  enodes  (cost  163 )
3.435 * * [simplify]: Extracting # 0 : cost  0  inf +  25360
3.460 * * [simplify]: Extracting # 1 : cost  7  inf +  25080
3.491 * * [simplify]: Extracting # 2 : cost  0  inf +  25654
3.529 * * [simplify]: iteration  56 :  3212  enodes  (cost  163 )
3.563 * * [simplify]: Extracting # 0 : cost  0  inf +  25654
3.576 * * [simplify]: Extracting # 1 : cost  9  inf +  25374
3.601 * * [simplify]: Extracting # 2 : cost  0  inf +  26272
3.622 * * [simplify]: iteration  57 :  3277  enodes  (cost  163 )
3.649 * * [simplify]: Extracting # 0 : cost  0  inf +  26272
3.661 * * [simplify]: Extracting # 1 : cost  9  inf +  25912
3.683 * * [simplify]: Extracting # 2 : cost  0  inf +  26892
3.723 * * [simplify]: iteration  58 :  3340  enodes  (cost  163 )
3.769 * * [simplify]: Extracting # 0 : cost  0  inf +  26892
3.795 * * [simplify]: Extracting # 1 : cost  7  inf +  26532
3.829 * * [simplify]: Extracting # 2 : cost  0  inf +  27106
3.866 * * [simplify]: iteration  59 :  3404  enodes  (cost  163 )
3.912 * * [simplify]: Extracting # 0 : cost  0  inf +  27106
3.940 * * [simplify]: Extracting # 1 : cost  7  inf +  26826
3.956 * * [simplify]: Extracting # 2 : cost  0  inf +  27400
3.984 * * [simplify]: iteration  60 :  3468  enodes  (cost  163 )
4.031 * * [simplify]: Extracting # 0 : cost  0  inf +  27400
4.059 * * [simplify]: Extracting # 1 : cost  9  inf +  27120
4.091 * * [simplify]: Extracting # 2 : cost  0  inf +  28018
4.130 * * [simplify]: iteration  61 :  3533  enodes  (cost  163 )
4.178 * * [simplify]: Extracting # 0 : cost  0  inf +  28018
4.206 * * [simplify]: Extracting # 1 : cost  9  inf +  27658
4.243 * * [simplify]: Extracting # 2 : cost  0  inf +  28638
4.268 * * [simplify]: iteration  62 :  3596  enodes  (cost  163 )
4.291 * * [simplify]: Extracting # 0 : cost  0  inf +  28638
4.305 * * [simplify]: Extracting # 1 : cost  7  inf +  28278
4.323 * * [simplify]: Extracting # 2 : cost  0  inf +  28852
4.356 * * [simplify]: iteration  63 :  3660  enodes  (cost  163 )
4.399 * * [simplify]: Extracting # 0 : cost  0  inf +  28852
4.424 * * [simplify]: Extracting # 1 : cost  7  inf +  28572
4.443 * * [simplify]: Extracting # 2 : cost  0  inf +  29146
4.481 * * [simplify]: iteration  64 :  3724  enodes  (cost  163 )
4.519 * * [simplify]: Extracting # 0 : cost  0  inf +  29146
4.536 * * [simplify]: Extracting # 1 : cost  9  inf +  28866
4.559 * * [simplify]: Extracting # 2 : cost  0  inf +  29764
4.602 * * [simplify]: iteration  65 :  3789  enodes  (cost  163 )
4.650 * * [simplify]: Extracting # 0 : cost  0  inf +  29764
4.680 * * [simplify]: Extracting # 1 : cost  9  inf +  29404
4.717 * * [simplify]: Extracting # 2 : cost  0  inf +  30384
4.756 * * [simplify]: iteration  66 :  3852  enodes  (cost  163 )
4.780 * * [simplify]: Extracting # 0 : cost  0  inf +  30384
4.801 * * [simplify]: Extracting # 1 : cost  7  inf +  30024
4.840 * * [simplify]: Extracting # 2 : cost  0  inf +  30598
4.882 * * [simplify]: iteration  67 :  3916  enodes  (cost  163 )
4.927 * * [simplify]: Extracting # 0 : cost  0  inf +  30598
4.957 * * [simplify]: Extracting # 1 : cost  7  inf +  30318
4.988 * * [simplify]: Extracting # 2 : cost  0  inf +  30892
5.009 * * [simplify]: iteration  68 :  3980  enodes  (cost  163 )
5.034 * * [simplify]: Extracting # 0 : cost  0  inf +  30892
5.051 * * [simplify]: Extracting # 1 : cost  9  inf +  30612
5.069 * * [simplify]: Extracting # 2 : cost  0  inf +  31510
5.092 * * [simplify]: iteration  69 :  4045  enodes  (cost  163 )
5.121 * * [simplify]: Extracting # 0 : cost  0  inf +  31510
5.154 * * [simplify]: Extracting # 1 : cost  9  inf +  31150
5.198 * * [simplify]: Extracting # 2 : cost  0  inf +  32130
5.245 * * [simplify]: iteration  70 :  4108  enodes  (cost  163 )
5.283 * * [simplify]: Extracting # 0 : cost  0  inf +  32130
5.301 * * [simplify]: Extracting # 1 : cost  7  inf +  31770
5.320 * * [simplify]: Extracting # 2 : cost  0  inf +  32344
5.345 * * [simplify]: iteration  71 :  4172  enodes  (cost  163 )
5.369 * * [simplify]: Extracting # 0 : cost  0  inf +  32344
5.385 * * [simplify]: Extracting # 1 : cost  7  inf +  32064
5.403 * * [simplify]: Extracting # 2 : cost  0  inf +  32638
5.436 * * [simplify]: iteration  72 :  4236  enodes  (cost  163 )
5.461 * * [simplify]: Extracting # 0 : cost  0  inf +  32638
5.494 * * [simplify]: Extracting # 1 : cost  9  inf +  32358
5.522 * * [simplify]: Extracting # 2 : cost  0  inf +  33256
5.546 * * [simplify]: iteration  73 :  4301  enodes  (cost  163 )
5.586 * * [simplify]: Extracting # 0 : cost  0  inf +  33256
5.606 * * [simplify]: Extracting # 1 : cost  9  inf +  32896
5.628 * * [simplify]: Extracting # 2 : cost  0  inf +  33876
5.658 * * [simplify]: iteration  74 :  4364  enodes  (cost  163 )
5.691 * * [simplify]: Extracting # 0 : cost  0  inf +  33876
5.725 * * [simplify]: Extracting # 1 : cost  7  inf +  33516
5.773 * * [simplify]: Extracting # 2 : cost  0  inf +  34090
5.820 * * [simplify]: iteration  75 :  4428  enodes  (cost  163 )
5.851 * * [simplify]: Extracting # 0 : cost  0  inf +  34090
5.877 * * [simplify]: Extracting # 1 : cost  7  inf +  33810
5.919 * * [simplify]: Extracting # 2 : cost  0  inf +  34384
5.958 * * [simplify]: iteration  76 :  4492  enodes  (cost  163 )
5.984 * * [simplify]: Extracting # 0 : cost  0  inf +  34384
6.014 * * [simplify]: Extracting # 1 : cost  9  inf +  34104
6.039 * * [simplify]: Extracting # 2 : cost  0  inf +  35002
6.074 * * [simplify]: iteration  77 :  4557  enodes  (cost  163 )
6.109 * * [simplify]: Extracting # 0 : cost  0  inf +  35002
6.127 * * [simplify]: Extracting # 1 : cost  9  inf +  34642
6.149 * * [simplify]: Extracting # 2 : cost  0  inf +  35622
6.175 * * [simplify]: iteration  78 :  4620  enodes  (cost  163 )
6.199 * * [simplify]: Extracting # 0 : cost  0  inf +  35622
6.217 * * [simplify]: Extracting # 1 : cost  7  inf +  35262
6.261 * * [simplify]: Extracting # 2 : cost  0  inf +  35836
6.310 * * [simplify]: iteration  79 :  4684  enodes  (cost  163 )
6.348 * * [simplify]: Extracting # 0 : cost  0  inf +  35836
6.367 * * [simplify]: Extracting # 1 : cost  7  inf +  35556
6.391 * * [simplify]: Extracting # 2 : cost  0  inf +  36130
6.427 * * [simplify]: iteration  80 :  4748  enodes  (cost  163 )
6.458 * * [simplify]: Extracting # 0 : cost  0  inf +  36130
6.498 * * [simplify]: Extracting # 1 : cost  9  inf +  35850
6.537 * * [simplify]: Extracting # 2 : cost  0  inf +  36748
6.563 * * [simplify]: iteration  81 :  4813  enodes  (cost  163 )
6.604 * * [simplify]: Extracting # 0 : cost  0  inf +  36748
6.643 * * [simplify]: Extracting # 1 : cost  9  inf +  36388
6.687 * * [simplify]: Extracting # 2 : cost  0  inf +  37368
6.746 * * [simplify]: iteration  82 :  4876  enodes  (cost  163 )
6.792 * * [simplify]: Extracting # 0 : cost  0  inf +  37368
6.833 * * [simplify]: Extracting # 1 : cost  7  inf +  37008
6.878 * * [simplify]: Extracting # 2 : cost  0  inf +  37582
6.933 * * [simplify]: iteration  83 :  4940  enodes  (cost  163 )
6.964 * * [simplify]: Extracting # 0 : cost  0  inf +  37582
6.984 * * [simplify]: Extracting # 1 : cost  7  inf +  37302
7.009 * * [simplify]: Extracting # 2 : cost  0  inf +  37876
7.046 * * [simplify]: iteration complete:  5000  enodes  (cost  163 )
7.047 * [simplify]: Simplified to:
  (+ (- 1.0 x) (* y (sqrt x)))
7.048 * * [progress]: iteration 1 / 4
7.048 * * * [progress]: picking best candidate
7.055 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* y (sqrt x))))>
7.055 * * * [progress]: localizing error
7.073 * * * [progress]: generating rewritten candidates
7.073 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
7.085 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
7.112 * * * [progress]: generating series expansions
7.112 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
7.112 * [backup-simplify]: Simplify (* y (sqrt x)) into (* (sqrt x) y)
7.112 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
7.112 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
7.112 * [taylor]: Taking taylor expansion of (sqrt x) in x
7.112 * [taylor]: Taking taylor expansion of x in x
7.112 * [backup-simplify]: Simplify 0 into 0
7.112 * [backup-simplify]: Simplify 1 into 1
7.112 * [backup-simplify]: Simplify (sqrt 0) into 0
7.113 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.113 * [taylor]: Taking taylor expansion of y in x
7.113 * [backup-simplify]: Simplify y into y
7.113 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
7.113 * [taylor]: Taking taylor expansion of (sqrt x) in y
7.113 * [taylor]: Taking taylor expansion of x in y
7.113 * [backup-simplify]: Simplify x into x
7.113 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
7.114 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
7.114 * [taylor]: Taking taylor expansion of y in y
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 1 into 1
7.114 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
7.114 * [taylor]: Taking taylor expansion of (sqrt x) in y
7.114 * [taylor]: Taking taylor expansion of x in y
7.114 * [backup-simplify]: Simplify x into x
7.114 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
7.114 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
7.114 * [taylor]: Taking taylor expansion of y in y
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 1 into 1
7.114 * [backup-simplify]: Simplify (* (sqrt x) 0) into 0
7.114 * [taylor]: Taking taylor expansion of 0 in x
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify (+ (* (sqrt x) 1) (* 0 0)) into (sqrt x)
7.114 * [taylor]: Taking taylor expansion of (sqrt x) in x
7.114 * [taylor]: Taking taylor expansion of x in x
7.114 * [backup-simplify]: Simplify 0 into 0
7.114 * [backup-simplify]: Simplify 1 into 1
7.114 * [backup-simplify]: Simplify (sqrt 0) into 0
7.115 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.115 * [backup-simplify]: Simplify 0 into 0
7.115 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt x))) into 0
7.116 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 1) (* 0 0))) into 0
7.116 * [taylor]: Taking taylor expansion of 0 in x
7.116 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify 0 into 0
7.116 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.116 * [backup-simplify]: Simplify 0 into 0
7.117 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt x))) into 0
7.118 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.118 * [taylor]: Taking taylor expansion of 0 in x
7.118 * [backup-simplify]: Simplify 0 into 0
7.118 * [backup-simplify]: Simplify 0 into 0
7.118 * [backup-simplify]: Simplify 0 into 0
7.120 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.120 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.120 * [backup-simplify]: Simplify 0 into 0
7.120 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt x))) into 0
7.121 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.121 * [taylor]: Taking taylor expansion of 0 in x
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 0 into 0
7.121 * [backup-simplify]: Simplify 0 into 0
7.123 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.123 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.124 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow x 3) y)) (+ (* +nan.0 (* (pow x 2) y)) (* +nan.0 (* x y)))) into (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* (pow x 3) y)) (- (* +nan.0 (* x y)))))))
7.124 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (/ 1 x))) into (* (sqrt (/ 1 x)) (/ 1 y))
7.124 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
7.124 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
7.124 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
7.124 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.124 * [taylor]: Taking taylor expansion of x in x
7.124 * [backup-simplify]: Simplify 0 into 0
7.124 * [backup-simplify]: Simplify 1 into 1
7.124 * [backup-simplify]: Simplify (/ 1 1) into 1
7.124 * [backup-simplify]: Simplify (sqrt 0) into 0
7.125 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.125 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.125 * [taylor]: Taking taylor expansion of y in x
7.125 * [backup-simplify]: Simplify y into y
7.125 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.125 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
7.125 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
7.125 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.125 * [taylor]: Taking taylor expansion of x in y
7.125 * [backup-simplify]: Simplify x into x
7.125 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.125 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
7.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.126 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0
7.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.126 * [taylor]: Taking taylor expansion of y in y
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 1 into 1
7.126 * [backup-simplify]: Simplify (/ 1 1) into 1
7.126 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
7.126 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
7.126 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.126 * [taylor]: Taking taylor expansion of x in y
7.126 * [backup-simplify]: Simplify x into x
7.126 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.126 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
7.126 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.126 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0
7.126 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.126 * [taylor]: Taking taylor expansion of y in y
7.126 * [backup-simplify]: Simplify 0 into 0
7.126 * [backup-simplify]: Simplify 1 into 1
7.127 * [backup-simplify]: Simplify (/ 1 1) into 1
7.127 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) 1) into (sqrt (/ 1 x))
7.127 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
7.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.127 * [taylor]: Taking taylor expansion of x in x
7.127 * [backup-simplify]: Simplify 0 into 0
7.127 * [backup-simplify]: Simplify 1 into 1
7.127 * [backup-simplify]: Simplify (/ 1 1) into 1
7.127 * [backup-simplify]: Simplify (sqrt 0) into 0
7.128 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.128 * [backup-simplify]: Simplify 0 into 0
7.128 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.129 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (* 0 1)) into 0
7.129 * [taylor]: Taking taylor expansion of 0 in x
7.129 * [backup-simplify]: Simplify 0 into 0
7.129 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.129 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.130 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.130 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 x)))) into 0
7.130 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (+ (* 0 0) (* 0 1))) into 0
7.130 * [taylor]: Taking taylor expansion of 0 in x
7.130 * [backup-simplify]: Simplify 0 into 0
7.130 * [backup-simplify]: Simplify 0 into 0
7.131 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.133 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.133 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.133 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.133 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.134 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 x)))) into 0
7.134 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
7.134 * [taylor]: Taking taylor expansion of 0 in x
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify 0 into 0
7.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.138 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.138 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.138 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 x) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 x) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
7.138 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (/ 1 (- x)))) into (* -1 (/ (sqrt (/ -1 x)) y))
7.138 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
7.138 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
7.138 * [taylor]: Taking taylor expansion of -1 in x
7.138 * [backup-simplify]: Simplify -1 into -1
7.138 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
7.138 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
7.138 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.138 * [taylor]: Taking taylor expansion of -1 in x
7.138 * [backup-simplify]: Simplify -1 into -1
7.138 * [taylor]: Taking taylor expansion of x in x
7.138 * [backup-simplify]: Simplify 0 into 0
7.138 * [backup-simplify]: Simplify 1 into 1
7.139 * [backup-simplify]: Simplify (/ -1 1) into -1
7.139 * [backup-simplify]: Simplify (sqrt 0) into 0
7.140 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.140 * [taylor]: Taking taylor expansion of y in x
7.140 * [backup-simplify]: Simplify y into y
7.140 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
7.140 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
7.140 * [taylor]: Taking taylor expansion of -1 in y
7.140 * [backup-simplify]: Simplify -1 into -1
7.140 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
7.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
7.140 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.140 * [taylor]: Taking taylor expansion of -1 in y
7.140 * [backup-simplify]: Simplify -1 into -1
7.140 * [taylor]: Taking taylor expansion of x in y
7.140 * [backup-simplify]: Simplify x into x
7.140 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.140 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
7.140 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
7.140 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
7.140 * [taylor]: Taking taylor expansion of y in y
7.140 * [backup-simplify]: Simplify 0 into 0
7.140 * [backup-simplify]: Simplify 1 into 1
7.140 * [backup-simplify]: Simplify (/ (sqrt (/ -1 x)) 1) into (sqrt (/ -1 x))
7.140 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
7.140 * [taylor]: Taking taylor expansion of -1 in y
7.140 * [backup-simplify]: Simplify -1 into -1
7.140 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
7.140 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
7.140 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.140 * [taylor]: Taking taylor expansion of -1 in y
7.140 * [backup-simplify]: Simplify -1 into -1
7.140 * [taylor]: Taking taylor expansion of x in y
7.140 * [backup-simplify]: Simplify x into x
7.141 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.141 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
7.141 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
7.141 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
7.141 * [taylor]: Taking taylor expansion of y in y
7.141 * [backup-simplify]: Simplify 0 into 0
7.141 * [backup-simplify]: Simplify 1 into 1
7.141 * [backup-simplify]: Simplify (/ (sqrt (/ -1 x)) 1) into (sqrt (/ -1 x))
7.141 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 x))) into (* -1 (sqrt (/ -1 x)))
7.141 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
7.141 * [taylor]: Taking taylor expansion of -1 in x
7.141 * [backup-simplify]: Simplify -1 into -1
7.141 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
7.141 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.141 * [taylor]: Taking taylor expansion of -1 in x
7.141 * [backup-simplify]: Simplify -1 into -1
7.141 * [taylor]: Taking taylor expansion of x in x
7.141 * [backup-simplify]: Simplify 0 into 0
7.141 * [backup-simplify]: Simplify 1 into 1
7.141 * [backup-simplify]: Simplify (/ -1 1) into -1
7.142 * [backup-simplify]: Simplify (sqrt 0) into 0
7.142 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.143 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0)
7.143 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.144 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 x)) (/ 0 1)))) into 0
7.144 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 x)))) into 0
7.144 * [taylor]: Taking taylor expansion of 0 in x
7.144 * [backup-simplify]: Simplify 0 into 0
7.144 * [backup-simplify]: Simplify 0 into 0
7.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.147 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.148 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0)
7.148 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.148 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
7.149 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 x)))) into 0
7.150 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.150 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 x))))) into 0
7.150 * [taylor]: Taking taylor expansion of 0 in x
7.150 * [backup-simplify]: Simplify 0 into 0
7.150 * [backup-simplify]: Simplify 0 into 0
7.150 * [backup-simplify]: Simplify 0 into 0
7.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.154 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
7.156 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0)
7.156 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.158 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- x)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
7.158 * * * * [progress]: [ 2 / 2 ] generating series at (2)
7.158 * [backup-simplify]: Simplify (+ (- 1.0 x) (* y (sqrt x))) into (- (+ (* (sqrt x) y) 1.0) x)
7.158 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in (x y) around 0
7.158 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in y
7.158 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in y
7.158 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
7.158 * [taylor]: Taking taylor expansion of (sqrt x) in y
7.158 * [taylor]: Taking taylor expansion of x in y
7.158 * [backup-simplify]: Simplify x into x
7.159 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
7.159 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
7.159 * [taylor]: Taking taylor expansion of y in y
7.159 * [backup-simplify]: Simplify 0 into 0
7.159 * [backup-simplify]: Simplify 1 into 1
7.159 * [taylor]: Taking taylor expansion of 1.0 in y
7.159 * [backup-simplify]: Simplify 1.0 into 1.0
7.159 * [taylor]: Taking taylor expansion of x in y
7.159 * [backup-simplify]: Simplify x into x
7.159 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x
7.159 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x
7.159 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
7.159 * [taylor]: Taking taylor expansion of (sqrt x) in x
7.159 * [taylor]: Taking taylor expansion of x in x
7.159 * [backup-simplify]: Simplify 0 into 0
7.159 * [backup-simplify]: Simplify 1 into 1
7.159 * [backup-simplify]: Simplify (sqrt 0) into 0
7.161 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.161 * [taylor]: Taking taylor expansion of y in x
7.161 * [backup-simplify]: Simplify y into y
7.161 * [taylor]: Taking taylor expansion of 1.0 in x
7.161 * [backup-simplify]: Simplify 1.0 into 1.0
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x
7.161 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x
7.161 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
7.161 * [taylor]: Taking taylor expansion of (sqrt x) in x
7.161 * [taylor]: Taking taylor expansion of x in x
7.161 * [backup-simplify]: Simplify 0 into 0
7.161 * [backup-simplify]: Simplify 1 into 1
7.161 * [backup-simplify]: Simplify (sqrt 0) into 0
7.163 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.163 * [taylor]: Taking taylor expansion of y in x
7.163 * [backup-simplify]: Simplify y into y
7.163 * [taylor]: Taking taylor expansion of 1.0 in x
7.163 * [backup-simplify]: Simplify 1.0 into 1.0
7.163 * [taylor]: Taking taylor expansion of x in x
7.163 * [backup-simplify]: Simplify 0 into 0
7.163 * [backup-simplify]: Simplify 1 into 1
7.163 * [backup-simplify]: Simplify (* 0 y) into 0
7.163 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.164 * [backup-simplify]: Simplify (- 0) into 0
7.164 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
7.164 * [taylor]: Taking taylor expansion of 1.0 in y
7.164 * [backup-simplify]: Simplify 1.0 into 1.0
7.164 * [backup-simplify]: Simplify 1.0 into 1.0
7.165 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 y)) into (- (* +nan.0 y))
7.165 * [backup-simplify]: Simplify (+ (- (* +nan.0 y)) 0) into (- (* +nan.0 y))
7.165 * [backup-simplify]: Simplify (- 1) into -1
7.165 * [backup-simplify]: Simplify (+ (- (* +nan.0 y)) -1) into (- (+ (* +nan.0 y) 1))
7.165 * [taylor]: Taking taylor expansion of (- (+ (* +nan.0 y) 1)) in y
7.165 * [taylor]: Taking taylor expansion of (+ (* +nan.0 y) 1) in y
7.165 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
7.165 * [taylor]: Taking taylor expansion of +nan.0 in y
7.165 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.166 * [taylor]: Taking taylor expansion of y in y
7.166 * [backup-simplify]: Simplify 0 into 0
7.166 * [backup-simplify]: Simplify 1 into 1
7.166 * [taylor]: Taking taylor expansion of 1 in y
7.166 * [backup-simplify]: Simplify 1 into 1
7.166 * [backup-simplify]: Simplify (* +nan.0 0) into 0
7.166 * [backup-simplify]: Simplify (+ 0 1) into 1
7.167 * [backup-simplify]: Simplify (- 1) into -1
7.167 * [backup-simplify]: Simplify -1 into -1
7.167 * [backup-simplify]: Simplify 0 into 0
7.170 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.171 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 y))) into (- (* +nan.0 y))
7.171 * [backup-simplify]: Simplify (+ (- (* +nan.0 y)) 0) into (- (* +nan.0 y))
7.171 * [backup-simplify]: Simplify (- 0) into 0
7.171 * [backup-simplify]: Simplify (+ (- (* +nan.0 y)) 0) into (- (* +nan.0 y))
7.171 * [taylor]: Taking taylor expansion of (- (* +nan.0 y)) in y
7.171 * [taylor]: Taking taylor expansion of (* +nan.0 y) in y
7.171 * [taylor]: Taking taylor expansion of +nan.0 in y
7.171 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.171 * [taylor]: Taking taylor expansion of y in y
7.171 * [backup-simplify]: Simplify 0 into 0
7.171 * [backup-simplify]: Simplify 1 into 1
7.172 * [backup-simplify]: Simplify (* +nan.0 0) into 0
7.172 * [backup-simplify]: Simplify (- 0) into 0
7.172 * [backup-simplify]: Simplify 0 into 0
7.174 * [backup-simplify]: Simplify (+ (* +nan.0 1) (* 0 0)) into (- +nan.0)
7.175 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
7.175 * [backup-simplify]: Simplify (- (- +nan.0)) into (- +nan.0)
7.176 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.176 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* y x)) (+ (* -1 (* 1 x)) 1.0)) into (- 1.0 (+ x (- (* +nan.0 (* x y)))))
7.177 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 x)) (* (/ 1 y) (sqrt (/ 1 x)))) into (- (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) (/ 1 x))
7.177 * [approximate]: Taking taylor expansion of (- (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) (/ 1 x)) in (x y) around 0
7.177 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) (/ 1 x)) in y
7.177 * [taylor]: Taking taylor expansion of (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) in y
7.177 * [taylor]: Taking taylor expansion of 1.0 in y
7.177 * [backup-simplify]: Simplify 1.0 into 1.0
7.177 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
7.177 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
7.177 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.177 * [taylor]: Taking taylor expansion of x in y
7.177 * [backup-simplify]: Simplify x into x
7.177 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.177 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
7.177 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
7.177 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0
7.177 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.177 * [taylor]: Taking taylor expansion of y in y
7.177 * [backup-simplify]: Simplify 0 into 0
7.177 * [backup-simplify]: Simplify 1 into 1
7.178 * [backup-simplify]: Simplify (/ 1 1) into 1
7.178 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.178 * [taylor]: Taking taylor expansion of x in y
7.178 * [backup-simplify]: Simplify x into x
7.178 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.178 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) (/ 1 x)) in x
7.178 * [taylor]: Taking taylor expansion of (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) in x
7.178 * [taylor]: Taking taylor expansion of 1.0 in x
7.178 * [backup-simplify]: Simplify 1.0 into 1.0
7.178 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
7.178 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
7.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.178 * [taylor]: Taking taylor expansion of x in x
7.178 * [backup-simplify]: Simplify 0 into 0
7.178 * [backup-simplify]: Simplify 1 into 1
7.179 * [backup-simplify]: Simplify (/ 1 1) into 1
7.179 * [backup-simplify]: Simplify (sqrt 0) into 0
7.180 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.180 * [taylor]: Taking taylor expansion of y in x
7.180 * [backup-simplify]: Simplify y into y
7.180 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.180 * [taylor]: Taking taylor expansion of x in x
7.180 * [backup-simplify]: Simplify 0 into 0
7.180 * [backup-simplify]: Simplify 1 into 1
7.181 * [backup-simplify]: Simplify (/ 1 1) into 1
7.181 * [taylor]: Taking taylor expansion of (- (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) (/ 1 x)) in x
7.181 * [taylor]: Taking taylor expansion of (+ 1.0 (* (sqrt (/ 1 x)) (/ 1 y))) in x
7.181 * [taylor]: Taking taylor expansion of 1.0 in x
7.181 * [backup-simplify]: Simplify 1.0 into 1.0
7.181 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
7.181 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
7.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.181 * [taylor]: Taking taylor expansion of x in x
7.181 * [backup-simplify]: Simplify 0 into 0
7.181 * [backup-simplify]: Simplify 1 into 1
7.181 * [backup-simplify]: Simplify (/ 1 1) into 1
7.182 * [backup-simplify]: Simplify (sqrt 0) into 0
7.183 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
7.183 * [taylor]: Taking taylor expansion of (/ 1 y) in x
7.183 * [taylor]: Taking taylor expansion of y in x
7.183 * [backup-simplify]: Simplify y into y
7.183 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
7.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.183 * [taylor]: Taking taylor expansion of x in x
7.183 * [backup-simplify]: Simplify 0 into 0
7.183 * [backup-simplify]: Simplify 1 into 1
7.184 * [backup-simplify]: Simplify (/ 1 1) into 1
7.184 * [backup-simplify]: Simplify (* 0 (/ 1 y)) into 0
7.184 * [backup-simplify]: Simplify (+ 0 0) into 0
7.185 * [backup-simplify]: Simplify (- 1) into -1
7.185 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.185 * [taylor]: Taking taylor expansion of -1 in y
7.185 * [backup-simplify]: Simplify -1 into -1
7.185 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)))) into 0
7.186 * [backup-simplify]: Simplify (+ (* 0 0) (* +nan.0 (/ 1 y))) into (- (* +nan.0 (/ 1 y)))
7.186 * [backup-simplify]: Simplify (+ 1.0 (- (* +nan.0 (/ 1 y)))) into (- 1.0 (* +nan.0 (/ 1 y)))
7.186 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.187 * [backup-simplify]: Simplify (- 0) into 0
7.187 * [backup-simplify]: Simplify (+ (- 1.0 (* +nan.0 (/ 1 y))) 0) into (- 1.0 (* +nan.0 (/ 1 y)))
7.187 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
7.187 * [taylor]: Taking taylor expansion of 1.0 in y
7.187 * [backup-simplify]: Simplify 1.0 into 1.0
7.187 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.187 * [taylor]: Taking taylor expansion of +nan.0 in y
7.187 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.187 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.187 * [taylor]: Taking taylor expansion of y in y
7.187 * [backup-simplify]: Simplify 0 into 0
7.187 * [backup-simplify]: Simplify 1 into 1
7.188 * [backup-simplify]: Simplify (/ 1 1) into 1
7.188 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.189 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.190 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.190 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.190 * [backup-simplify]: Simplify -1 into -1
7.190 * [backup-simplify]: Simplify (- (+ (* (/ 1 y) (/ 0 y)) (* 0 (/ 0 y)))) into 0
7.196 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.199 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* +nan.0 0) (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
7.200 * [backup-simplify]: Simplify (+ 0 (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
7.201 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.202 * [backup-simplify]: Simplify (- 0) into 0
7.202 * [backup-simplify]: Simplify (+ (- (* +nan.0 (/ 1 y))) 0) into (- (* +nan.0 (/ 1 y)))
7.202 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.202 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.202 * [taylor]: Taking taylor expansion of +nan.0 in y
7.202 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.202 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.202 * [taylor]: Taking taylor expansion of y in y
7.202 * [backup-simplify]: Simplify 0 into 0
7.202 * [backup-simplify]: Simplify 1 into 1
7.202 * [backup-simplify]: Simplify (/ 1 1) into 1
7.203 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.203 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.204 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.205 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 y)) (/ 1 x))) (+ (* -1 (* 1 (/ 1 (/ 1 x)))) (* (- +nan.0) (* (/ 1 (/ 1 y)) 1)))) into (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
7.205 * [backup-simplify]: Simplify (+ (- 1.0 (/ 1 (- x))) (* (/ 1 (- y)) (sqrt (/ 1 (- x))))) into (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y))
7.205 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in (x y) around 0
7.205 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in y
7.205 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y
7.205 * [taylor]: Taking taylor expansion of (/ 1 x) in y
7.205 * [taylor]: Taking taylor expansion of x in y
7.205 * [backup-simplify]: Simplify x into x
7.206 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
7.206 * [taylor]: Taking taylor expansion of 1.0 in y
7.206 * [backup-simplify]: Simplify 1.0 into 1.0
7.206 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
7.206 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
7.206 * [taylor]: Taking taylor expansion of (/ -1 x) in y
7.206 * [taylor]: Taking taylor expansion of -1 in y
7.206 * [backup-simplify]: Simplify -1 into -1
7.206 * [taylor]: Taking taylor expansion of x in y
7.206 * [backup-simplify]: Simplify x into x
7.206 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
7.206 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
7.206 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
7.206 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
7.206 * [taylor]: Taking taylor expansion of y in y
7.206 * [backup-simplify]: Simplify 0 into 0
7.206 * [backup-simplify]: Simplify 1 into 1
7.206 * [backup-simplify]: Simplify (/ (sqrt (/ -1 x)) 1) into (sqrt (/ -1 x))
7.206 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x
7.206 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.207 * [taylor]: Taking taylor expansion of x in x
7.207 * [backup-simplify]: Simplify 0 into 0
7.207 * [backup-simplify]: Simplify 1 into 1
7.207 * [backup-simplify]: Simplify (/ 1 1) into 1
7.207 * [taylor]: Taking taylor expansion of 1.0 in x
7.207 * [backup-simplify]: Simplify 1.0 into 1.0
7.207 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
7.207 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
7.207 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.207 * [taylor]: Taking taylor expansion of -1 in x
7.207 * [backup-simplify]: Simplify -1 into -1
7.207 * [taylor]: Taking taylor expansion of x in x
7.207 * [backup-simplify]: Simplify 0 into 0
7.207 * [backup-simplify]: Simplify 1 into 1
7.208 * [backup-simplify]: Simplify (/ -1 1) into -1
7.208 * [backup-simplify]: Simplify (sqrt 0) into 0
7.210 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.210 * [taylor]: Taking taylor expansion of y in x
7.210 * [backup-simplify]: Simplify y into y
7.210 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
7.210 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x
7.210 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x
7.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.210 * [taylor]: Taking taylor expansion of x in x
7.210 * [backup-simplify]: Simplify 0 into 0
7.210 * [backup-simplify]: Simplify 1 into 1
7.210 * [backup-simplify]: Simplify (/ 1 1) into 1
7.210 * [taylor]: Taking taylor expansion of 1.0 in x
7.210 * [backup-simplify]: Simplify 1.0 into 1.0
7.210 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
7.210 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
7.210 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.210 * [taylor]: Taking taylor expansion of -1 in x
7.211 * [backup-simplify]: Simplify -1 into -1
7.211 * [taylor]: Taking taylor expansion of x in x
7.211 * [backup-simplify]: Simplify 0 into 0
7.211 * [backup-simplify]: Simplify 1 into 1
7.211 * [backup-simplify]: Simplify (/ -1 1) into -1
7.211 * [backup-simplify]: Simplify (sqrt 0) into 0
7.213 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
7.213 * [taylor]: Taking taylor expansion of y in x
7.213 * [backup-simplify]: Simplify y into y
7.213 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
7.213 * [backup-simplify]: Simplify (+ 1 0) into 1
7.214 * [backup-simplify]: Simplify (+ 1 0) into 1
7.214 * [taylor]: Taking taylor expansion of 1 in y
7.214 * [backup-simplify]: Simplify 1 into 1
7.215 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.215 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
7.215 * [backup-simplify]: Simplify (- (/ +nan.0 y)) into (- (* +nan.0 (/ 1 y)))
7.215 * [backup-simplify]: Simplify (+ 1.0 (- (* +nan.0 (/ 1 y)))) into (- 1.0 (* +nan.0 (/ 1 y)))
7.215 * [taylor]: Taking taylor expansion of (- 1.0 (* +nan.0 (/ 1 y))) in y
7.215 * [taylor]: Taking taylor expansion of 1.0 in y
7.215 * [backup-simplify]: Simplify 1.0 into 1.0
7.215 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.215 * [taylor]: Taking taylor expansion of +nan.0 in y
7.215 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.215 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.215 * [taylor]: Taking taylor expansion of y in y
7.215 * [backup-simplify]: Simplify 0 into 0
7.215 * [backup-simplify]: Simplify 1 into 1
7.216 * [backup-simplify]: Simplify (/ 1 1) into 1
7.216 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.217 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.218 * [backup-simplify]: Simplify (+ 0 (- +nan.0)) into (- +nan.0)
7.218 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.218 * [backup-simplify]: Simplify 1 into 1
7.219 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.219 * [backup-simplify]: Simplify (+ 0 0) into 0
7.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.223 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
7.223 * [backup-simplify]: Simplify (- (/ +nan.0 y) (+ (* (/ +nan.0 y) (/ 0 y)))) into (- (* +nan.0 (/ 1 y)))
7.223 * [backup-simplify]: Simplify (- (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
7.224 * [backup-simplify]: Simplify (+ 0 (- (* +nan.0 (/ 1 y)))) into (- (* +nan.0 (/ 1 y)))
7.224 * [taylor]: Taking taylor expansion of (- (* +nan.0 (/ 1 y))) in y
7.224 * [taylor]: Taking taylor expansion of (* +nan.0 (/ 1 y)) in y
7.224 * [taylor]: Taking taylor expansion of +nan.0 in y
7.224 * [backup-simplify]: Simplify +nan.0 into +nan.0
7.224 * [taylor]: Taking taylor expansion of (/ 1 y) in y
7.224 * [taylor]: Taking taylor expansion of y in y
7.224 * [backup-simplify]: Simplify 0 into 0
7.224 * [backup-simplify]: Simplify 1 into 1
7.224 * [backup-simplify]: Simplify (/ 1 1) into 1
7.225 * [backup-simplify]: Simplify (* +nan.0 1) into +nan.0
7.225 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.226 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
7.227 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (/ 1 (/ 1 (- y))) (/ 1 (- x)))) (+ (* 1 (* 1 (/ 1 (/ 1 (- x))))) (* (- +nan.0) (* (/ 1 (/ 1 (- y))) 1)))) into (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
7.227 * * * [progress]: simplifying candidates
7.228 * [simplify]: Simplifying:
  (* y (sqrt x))
  (+ (log y) (log (sqrt x)))
  (log (* y (sqrt x)))
  (exp (* y (sqrt x)))
  (* (* (* y y) y) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
  (cbrt (* y (sqrt x)))
  (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* y (sqrt (* (cbrt x) (cbrt x))))
  (* y (sqrt (sqrt x)))
  (* y (sqrt 1))
  (* y (sqrt (sqrt x)))
  (* y 1)
  (* (cbrt y) (sqrt x))
  (* (sqrt y) (sqrt x))
  (* y (sqrt x))
  (* (/ (exp 1.0) (exp x)) (exp (* y (sqrt x))))
  (* (exp (- 1.0 x)) (exp (* y (sqrt x))))
  (log (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))))
  (cbrt (+ (- 1.0 x) (* y (sqrt x))))
  (* (* (+ (- 1.0 x) (* y (sqrt x))) (+ (- 1.0 x) (* y (sqrt x)))) (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (+ (pow (- 1.0 x) 3) (pow (* y (sqrt x)) 3))
  (+ (* (- 1.0 x) (- 1.0 x)) (- (* (* y (sqrt x)) (* y (sqrt x))) (* (- 1.0 x) (* y (sqrt x)))))
  (- (* (- 1.0 x) (- 1.0 x)) (* (* y (sqrt x)) (* y (sqrt x))))
  (- (- 1.0 x) (* y (sqrt x)))
  (+ (- x) (* y (sqrt x)))
  (+ (- x) (* y (sqrt x)))
  (- x (* y (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* (pow x 3) y)) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- 1.0 (+ x (- (* +nan.0 (* x y)))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ x (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
7.230 * * [simplify]: Extracting # 0 : cost  35  inf +  0
7.230 * * [simplify]: Extracting # 1 : cost  65  inf +  0
7.230 * * [simplify]: Extracting # 2 : cost  73  inf +  85
7.231 * * [simplify]: Extracting # 3 : cost  51  inf +  2960
7.232 * * [simplify]: Extracting # 4 : cost  34  inf +  6959
7.233 * * [simplify]: Extracting # 5 : cost  27  inf +  9390
7.235 * * [simplify]: Extracting # 6 : cost  19  inf +  10570
7.237 * * [simplify]: Extracting # 7 : cost  11  inf +  12374
7.238 * * [simplify]: Extracting # 8 : cost  6  inf +  13901
7.240 * * [simplify]: Extracting # 9 : cost  0  inf +  17596
7.241 * * [simplify]: iteration  0 :  95  enodes  (cost  10425 )
7.265 * * [simplify]: Extracting # 0 : cost  0  inf +  17596
7.267 * * [simplify]: Extracting # 1 : cost  53  inf +  15398
7.271 * * [simplify]: Extracting # 2 : cost  5  inf +  21205
7.276 * * [simplify]: Extracting # 3 : cost  4  inf +  20189
7.282 * * [simplify]: Extracting # 4 : cost  0  inf +  21159
7.288 * * [simplify]: iteration  1 :  248  enodes  (cost  8478 )
7.422 * * [simplify]: Extracting # 0 : cost  0  inf +  21159
7.431 * * [simplify]: Extracting # 1 : cost  189  inf +  20036
7.447 * * [simplify]: Extracting # 2 : cost  7  inf +  43575
7.459 * * [simplify]: Extracting # 3 : cost  1  inf +  44158
7.471 * * [simplify]: Extracting # 4 : cost  0  inf +  44521
7.480 * * [simplify]: iteration  2 :  778  enodes  (cost  8198 )
8.082 * * [simplify]: Extracting # 0 : cost  0  inf +  44521
8.095 * * [simplify]: Extracting # 1 : cost  615  inf +  43157
8.153 * * [simplify]: Extracting # 2 : cost  54  inf +  146132
8.201 * * [simplify]: Extracting # 3 : cost  4  inf +  151270
8.280 * * [simplify]: Extracting # 4 : cost  0  inf +  152160
8.356 * * [simplify]: iteration  3 :  2702  enodes  (cost  8038 )
9.482 * * [simplify]: Extracting # 0 : cost  0  inf +  152160
9.565 * * [simplify]: Extracting # 1 : cost  955  inf +  148623
9.666 * * [simplify]: Extracting # 2 : cost  67  inf +  318311
9.787 * * [simplify]: Extracting # 3 : cost  23  inf +  322781
9.930 * * [simplify]: Extracting # 4 : cost  0  inf +  329510
10.069 * * [simplify]: iteration complete:  5000  enodes  (cost  8038 )
10.069 * [simplify]: Simplified to:
  (* y (sqrt x))
  (log (* y (sqrt x)))
  (log (* y (sqrt x)))
  (exp (* y (sqrt x)))
  (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x)))
  (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x))))
  (cbrt (* y (sqrt x)))
  (* (* (* y (sqrt x)) (* y (sqrt x))) (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (sqrt (* y (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (* y (fabs (cbrt x)))
  (* y (sqrt (sqrt x)))
  y
  (* y (sqrt (sqrt x)))
  y
  (* (cbrt y) (sqrt x))
  (* (sqrt y) (sqrt x))
  (* y (sqrt x))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (log (+ (- 1.0 x) (* y (sqrt x))))
  (exp (+ (- 1.0 x) (* y (sqrt x))))
  (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))))
  (cbrt (+ (- 1.0 x) (* y (sqrt x))))
  (* (* (+ (- 1.0 x) (* y (sqrt x))) (+ (- 1.0 x) (* y (sqrt x)))) (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (sqrt (+ (- 1.0 x) (* y (sqrt x))))
  (+ (* (* y (sqrt x)) (* (* y (sqrt x)) (* y (sqrt x)))) (* (* (- 1.0 x) (- 1.0 x)) (- 1.0 x)))
  (+ (* (- 1.0 x) (- 1.0 x)) (* (* y (sqrt x)) (- (* y (sqrt x)) (- 1.0 x))))
  (- (* (- 1.0 x) (- 1.0 x)) (* (* y y) x))
  (- (- 1.0 x) (* y (sqrt x)))
  (- (* y (sqrt x)) x)
  (- (* y (sqrt x)) x)
  (- x (* y (sqrt x)))
  (+ (- (* (* +nan.0 (* x x)) y)) (* (* +nan.0 y) (- (* (* x x) x) x)))
  (+ (- (* +nan.0 (/ y (* x x)))) (* +nan.0 (- (/ y x) y)))
  (+ (- (* +nan.0 (/ y (* x x)))) (* +nan.0 (- (/ y x) y)))
  (- 1.0 (- x (* +nan.0 (* x y))))
  (- (* +nan.0 (- (/ y x) y)) x)
  (- (* +nan.0 (- (/ y x) y)) x)
10.071 * * * [progress]: adding candidates to table
10.271 * * [progress]: iteration 2 / 4
10.271 * * * [progress]: picking best candidate
10.295 * * * * [pick]: Picked  #<alt (λ (x y) (+ (- 1.0 x) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))>
10.295 * * * [progress]: localizing error
10.316 * * * [progress]: generating rewritten candidates
10.316 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
10.371 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
10.381 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
10.383 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
10.386 * * * [progress]: generating series expansions
10.386 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
10.387 * [backup-simplify]: Simplify (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) into (* (sqrt x) y)
10.387 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0
10.387 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x
10.387 * [taylor]: Taking taylor expansion of (sqrt x) in x
10.387 * [taylor]: Taking taylor expansion of x in x
10.387 * [backup-simplify]: Simplify 0 into 0
10.387 * [backup-simplify]: Simplify 1 into 1
10.387 * [backup-simplify]: Simplify (sqrt 0) into 0
10.388 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
10.388 * [taylor]: Taking taylor expansion of y in x
10.388 * [backup-simplify]: Simplify y into y
10.388 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
10.388 * [taylor]: Taking taylor expansion of (sqrt x) in y
10.388 * [taylor]: Taking taylor expansion of x in y
10.388 * [backup-simplify]: Simplify x into x
10.388 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
10.388 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
10.388 * [taylor]: Taking taylor expansion of y in y
10.388 * [backup-simplify]: Simplify 0 into 0
10.388 * [backup-simplify]: Simplify 1 into 1
10.388 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y
10.388 * [taylor]: Taking taylor expansion of (sqrt x) in y
10.388 * [taylor]: Taking taylor expansion of x in y
10.388 * [backup-simplify]: Simplify x into x
10.389 * [backup-simplify]: Simplify (sqrt x) into (sqrt x)
10.389 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt x))) into 0
10.389 * [taylor]: Taking taylor expansion of y in y
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify 1 into 1
10.389 * [backup-simplify]: Simplify (* (sqrt x) 0) into 0
10.389 * [taylor]: Taking taylor expansion of 0 in x
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify (+ (* (sqrt x) 1) (* 0 0)) into (sqrt x)
10.389 * [taylor]: Taking taylor expansion of (sqrt x) in x
10.389 * [taylor]: Taking taylor expansion of x in x
10.389 * [backup-simplify]: Simplify 0 into 0
10.389 * [backup-simplify]: Simplify 1 into 1
10.389 * [backup-simplify]: Simplify (sqrt 0) into 0
10.390 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
10.390 * [backup-simplify]: Simplify 0 into 0
10.390 * [backup-simplify]: Simplify 0 into 0
10.391 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt x))) into 0
10.391 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 1) (* 0 0))) into 0
10.391 * [taylor]: Taking taylor expansion of 0 in x
10.391 * [backup-simplify]: Simplify 0 into 0
10.391 * [backup-simplify]: Simplify 0 into 0
10.391 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.391 * [backup-simplify]: Simplify 0 into 0
10.392 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt x))) into 0
10.392 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.392 * [taylor]: Taking taylor expansion of 0 in x
10.392 * [backup-simplify]: Simplify 0 into 0
10.392 * [backup-simplify]: Simplify 0 into 0
10.392 * [backup-simplify]: Simplify 0 into 0
10.395 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.395 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.395 * [backup-simplify]: Simplify 0 into 0
10.396 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+ (* 2 (* 0 0)))) (* 2 (sqrt x))) into 0
10.397 * [backup-simplify]: Simplify (+ (* (sqrt x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
10.397 * [taylor]: Taking taylor expansion of 0 in x
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify 0 into 0
10.397 * [backup-simplify]: Simplify 0 into 0
10.398 * [backup-simplify]: Simplify 0 into 0
10.402 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.402 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.403 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow x 3) y)) (+ (* +nan.0 (* (pow x 2) y)) (* +nan.0 (* x y)))) into (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* (pow x 3) y)) (- (* +nan.0 (* x y)))))))
10.403 * [backup-simplify]: Simplify (* (* (/ 1 y) (sqrt (sqrt (/ 1 x)))) (sqrt (sqrt (/ 1 x)))) into (* (sqrt (/ 1 x)) (/ 1 y))
10.403 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0
10.403 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x
10.403 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
10.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.403 * [taylor]: Taking taylor expansion of x in x
10.403 * [backup-simplify]: Simplify 0 into 0
10.403 * [backup-simplify]: Simplify 1 into 1
10.404 * [backup-simplify]: Simplify (/ 1 1) into 1
10.404 * [backup-simplify]: Simplify (sqrt 0) into 0
10.405 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
10.405 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.405 * [taylor]: Taking taylor expansion of y in x
10.405 * [backup-simplify]: Simplify y into y
10.406 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.406 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
10.406 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
10.406 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.406 * [taylor]: Taking taylor expansion of x in y
10.406 * [backup-simplify]: Simplify x into x
10.406 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.406 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
10.406 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.406 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0
10.406 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.406 * [taylor]: Taking taylor expansion of y in y
10.406 * [backup-simplify]: Simplify 0 into 0
10.406 * [backup-simplify]: Simplify 1 into 1
10.407 * [backup-simplify]: Simplify (/ 1 1) into 1
10.407 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y
10.407 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y
10.407 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.407 * [taylor]: Taking taylor expansion of x in y
10.407 * [backup-simplify]: Simplify x into x
10.407 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.407 * [backup-simplify]: Simplify (sqrt (/ 1 x)) into (sqrt (/ 1 x))
10.407 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.407 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ 1 x)))) into 0
10.407 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.407 * [taylor]: Taking taylor expansion of y in y
10.407 * [backup-simplify]: Simplify 0 into 0
10.407 * [backup-simplify]: Simplify 1 into 1
10.408 * [backup-simplify]: Simplify (/ 1 1) into 1
10.408 * [backup-simplify]: Simplify (* (sqrt (/ 1 x)) 1) into (sqrt (/ 1 x))
10.408 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
10.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.408 * [taylor]: Taking taylor expansion of x in x
10.408 * [backup-simplify]: Simplify 0 into 0
10.408 * [backup-simplify]: Simplify 1 into 1
10.408 * [backup-simplify]: Simplify (/ 1 1) into 1
10.409 * [backup-simplify]: Simplify (sqrt 0) into 0
10.410 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
10.410 * [backup-simplify]: Simplify 0 into 0
10.411 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.411 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (* 0 1)) into 0
10.412 * [taylor]: Taking taylor expansion of 0 in x
10.412 * [backup-simplify]: Simplify 0 into 0
10.412 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.413 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.413 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.414 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ 1 x)))) into 0
10.414 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (+ (* 0 0) (* 0 1))) into 0
10.414 * [taylor]: Taking taylor expansion of 0 in x
10.414 * [backup-simplify]: Simplify 0 into 0
10.414 * [backup-simplify]: Simplify 0 into 0
10.415 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.418 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.418 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.419 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.420 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* 0 0)))) (* 2 (sqrt (/ 1 x)))) into 0
10.421 * [backup-simplify]: Simplify (+ (* (sqrt (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.421 * [taylor]: Taking taylor expansion of 0 in x
10.421 * [backup-simplify]: Simplify 0 into 0
10.421 * [backup-simplify]: Simplify 0 into 0
10.421 * [backup-simplify]: Simplify 0 into 0
10.422 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.426 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.426 * [backup-simplify]: Simplify +nan.0 into +nan.0
10.427 * [backup-simplify]: Simplify (+ (* +nan.0 (* (pow (/ 1 x) 2) (/ 1 (/ 1 y)))) (+ (* +nan.0 (* (/ 1 x) (/ 1 (/ 1 y)))) (* +nan.0 (* 1 (/ 1 (/ 1 y)))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
10.427 * [backup-simplify]: Simplify (* (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- x))))) (sqrt (sqrt (/ 1 (- x))))) into (* -1 (/ (sqrt (/ -1 x)) y))
10.427 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0
10.427 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x
10.427 * [taylor]: Taking taylor expansion of -1 in x
10.427 * [backup-simplify]: Simplify -1 into -1
10.427 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x
10.428 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.428 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.428 * [taylor]: Taking taylor expansion of -1 in x
10.428 * [backup-simplify]: Simplify -1 into -1
10.428 * [taylor]: Taking taylor expansion of x in x
10.428 * [backup-simplify]: Simplify 0 into 0
10.428 * [backup-simplify]: Simplify 1 into 1
10.428 * [backup-simplify]: Simplify (/ -1 1) into -1
10.429 * [backup-simplify]: Simplify (sqrt 0) into 0
10.430 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.430 * [taylor]: Taking taylor expansion of y in x
10.430 * [backup-simplify]: Simplify y into y
10.430 * [backup-simplify]: Simplify (/ +nan.0 y) into (/ +nan.0 y)
10.430 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
10.430 * [taylor]: Taking taylor expansion of -1 in y
10.430 * [backup-simplify]: Simplify -1 into -1
10.430 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
10.430 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
10.430 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.430 * [taylor]: Taking taylor expansion of -1 in y
10.430 * [backup-simplify]: Simplify -1 into -1
10.430 * [taylor]: Taking taylor expansion of x in y
10.430 * [backup-simplify]: Simplify x into x
10.430 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
10.430 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
10.431 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
10.431 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
10.431 * [taylor]: Taking taylor expansion of y in y
10.431 * [backup-simplify]: Simplify 0 into 0
10.431 * [backup-simplify]: Simplify 1 into 1
10.431 * [backup-simplify]: Simplify (/ (sqrt (/ -1 x)) 1) into (sqrt (/ -1 x))
10.431 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y
10.431 * [taylor]: Taking taylor expansion of -1 in y
10.431 * [backup-simplify]: Simplify -1 into -1
10.431 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y
10.431 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
10.431 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.431 * [taylor]: Taking taylor expansion of -1 in y
10.431 * [backup-simplify]: Simplify -1 into -1
10.431 * [taylor]: Taking taylor expansion of x in y
10.431 * [backup-simplify]: Simplify x into x
10.431 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
10.431 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
10.431 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
10.432 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
10.432 * [taylor]: Taking taylor expansion of y in y
10.432 * [backup-simplify]: Simplify 0 into 0
10.432 * [backup-simplify]: Simplify 1 into 1
10.432 * [backup-simplify]: Simplify (/ (sqrt (/ -1 x)) 1) into (sqrt (/ -1 x))
10.432 * [backup-simplify]: Simplify (* -1 (sqrt (/ -1 x))) into (* -1 (sqrt (/ -1 x)))
10.432 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x
10.432 * [taylor]: Taking taylor expansion of -1 in x
10.432 * [backup-simplify]: Simplify -1 into -1
10.432 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.432 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.432 * [taylor]: Taking taylor expansion of -1 in x
10.432 * [backup-simplify]: Simplify -1 into -1
10.432 * [taylor]: Taking taylor expansion of x in x
10.432 * [backup-simplify]: Simplify 0 into 0
10.432 * [backup-simplify]: Simplify 1 into 1
10.433 * [backup-simplify]: Simplify (/ -1 1) into -1
10.433 * [backup-simplify]: Simplify (sqrt 0) into 0
10.434 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.436 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (* 0 0)) into (- +nan.0)
10.436 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
10.437 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 x)) (/ 0 1)))) into 0
10.438 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (/ -1 x)))) into 0
10.438 * [taylor]: Taking taylor expansion of 0 in x
10.438 * [backup-simplify]: Simplify 0 into 0
10.438 * [backup-simplify]: Simplify 0 into 0
10.439 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.442 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.444 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (* 0 0))) into (- +nan.0)
10.444 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
10.444 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.445 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 x)))) into 0
10.447 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* (sqrt (/ -1 x)) (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.448 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (/ -1 x))))) into 0
10.448 * [taylor]: Taking taylor expansion of 0 in x
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.448 * [backup-simplify]: Simplify 0 into 0
10.449 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.453 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.455 * [backup-simplify]: Simplify (+ (* -1 +nan.0) (+ (* 0 +nan.0) (+ (* 0 +nan.0) (* 0 0)))) into (- +nan.0)
10.456 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
10.458 * [backup-simplify]: Simplify (+ (* (- +nan.0) (* (pow (/ 1 (- x)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- +nan.0) (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) (* (- +nan.0) (* 1 (/ 1 (/ 1 (- y))))))) into (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
10.458 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
10.458 * [backup-simplify]: Simplify (* y (sqrt (sqrt x))) into (* (pow x 1/4) y)
10.458 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0
10.458 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x
10.458 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.458 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.458 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.458 * [taylor]: Taking taylor expansion of 1/4 in x
10.458 * [backup-simplify]: Simplify 1/4 into 1/4
10.458 * [taylor]: Taking taylor expansion of (log x) in x
10.458 * [taylor]: Taking taylor expansion of x in x
10.458 * [backup-simplify]: Simplify 0 into 0
10.458 * [backup-simplify]: Simplify 1 into 1
10.459 * [backup-simplify]: Simplify (log 1) into 0
10.459 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.459 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.459 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.460 * [taylor]: Taking taylor expansion of y in x
10.460 * [backup-simplify]: Simplify y into y
10.460 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
10.460 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
10.460 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
10.460 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
10.460 * [taylor]: Taking taylor expansion of 1/4 in y
10.460 * [backup-simplify]: Simplify 1/4 into 1/4
10.460 * [taylor]: Taking taylor expansion of (log x) in y
10.460 * [taylor]: Taking taylor expansion of x in y
10.460 * [backup-simplify]: Simplify x into x
10.460 * [backup-simplify]: Simplify (log x) into (log x)
10.460 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.460 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.460 * [taylor]: Taking taylor expansion of y in y
10.460 * [backup-simplify]: Simplify 0 into 0
10.460 * [backup-simplify]: Simplify 1 into 1
10.460 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y
10.460 * [taylor]: Taking taylor expansion of (pow x 1/4) in y
10.460 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y
10.460 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y
10.460 * [taylor]: Taking taylor expansion of 1/4 in y
10.460 * [backup-simplify]: Simplify 1/4 into 1/4
10.460 * [taylor]: Taking taylor expansion of (log x) in y
10.460 * [taylor]: Taking taylor expansion of x in y
10.460 * [backup-simplify]: Simplify x into x
10.460 * [backup-simplify]: Simplify (log x) into (log x)
10.460 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.461 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.461 * [taylor]: Taking taylor expansion of y in y
10.461 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify 1 into 1
10.461 * [backup-simplify]: Simplify (* (pow x 1/4) 0) into 0
10.461 * [taylor]: Taking taylor expansion of 0 in x
10.461 * [backup-simplify]: Simplify 0 into 0
10.461 * [backup-simplify]: Simplify 0 into 0
10.462 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow x 1)))) 1) into 0
10.467 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
10.468 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.469 * [backup-simplify]: Simplify (+ (* (pow x 1/4) 1) (* 0 0)) into (pow x 1/4)
10.469 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.469 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.469 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.469 * [taylor]: Taking taylor expansion of 1/4 in x
10.469 * [backup-simplify]: Simplify 1/4 into 1/4
10.469 * [taylor]: Taking taylor expansion of (log x) in x
10.469 * [taylor]: Taking taylor expansion of x in x
10.469 * [backup-simplify]: Simplify 0 into 0
10.469 * [backup-simplify]: Simplify 1 into 1
10.470 * [backup-simplify]: Simplify (log 1) into 0
10.470 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.470 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.470 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.470 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
10.470 * [backup-simplify]: Simplify 0 into 0
10.472 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow x 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow x 1)))) 2) into 0
10.473 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
10.474 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.474 * [backup-simplify]: Simplify (+ (* (pow x 1/4) 0) (+ (* 0 1) (* 0 0))) into 0
10.474 * [taylor]: Taking taylor expansion of 0 in x
10.474 * [backup-simplify]: Simplify 0 into 0
10.474 * [backup-simplify]: Simplify 0 into 0
10.475 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.475 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.476 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
10.476 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.476 * [backup-simplify]: Simplify 0 into 0
10.476 * [backup-simplify]: Simplify 0 into 0
10.478 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow x 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow x 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow x 1)))) 6) into 0
10.479 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
10.480 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.481 * [backup-simplify]: Simplify (+ (* (pow x 1/4) 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
10.481 * [taylor]: Taking taylor expansion of 0 in x
10.481 * [backup-simplify]: Simplify 0 into 0
10.481 * [backup-simplify]: Simplify 0 into 0
10.481 * [backup-simplify]: Simplify 0 into 0
10.481 * [backup-simplify]: Simplify (* (pow x 1/4) (* 1 y)) into (* (pow x 1/4) y)
10.481 * [backup-simplify]: Simplify (* (/ 1 y) (sqrt (sqrt (/ 1 x)))) into (* (pow (/ 1 x) 1/4) (/ 1 y))
10.481 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0
10.481 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x
10.481 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.481 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.481 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.481 * [taylor]: Taking taylor expansion of 1/4 in x
10.481 * [backup-simplify]: Simplify 1/4 into 1/4
10.481 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.481 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.481 * [taylor]: Taking taylor expansion of x in x
10.481 * [backup-simplify]: Simplify 0 into 0
10.481 * [backup-simplify]: Simplify 1 into 1
10.481 * [backup-simplify]: Simplify (/ 1 1) into 1
10.482 * [backup-simplify]: Simplify (log 1) into 0
10.482 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.482 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.482 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.482 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.482 * [taylor]: Taking taylor expansion of y in x
10.482 * [backup-simplify]: Simplify y into y
10.482 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.482 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
10.482 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
10.482 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
10.482 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
10.482 * [taylor]: Taking taylor expansion of 1/4 in y
10.482 * [backup-simplify]: Simplify 1/4 into 1/4
10.482 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
10.482 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.482 * [taylor]: Taking taylor expansion of x in y
10.482 * [backup-simplify]: Simplify x into x
10.482 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.482 * [backup-simplify]: Simplify (log (/ 1 x)) into (log (/ 1 x))
10.482 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 x))) into (* 1/4 (log (/ 1 x)))
10.482 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 x)))) into (pow (/ 1 x) 1/4)
10.482 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.482 * [taylor]: Taking taylor expansion of y in y
10.482 * [backup-simplify]: Simplify 0 into 0
10.482 * [backup-simplify]: Simplify 1 into 1
10.483 * [backup-simplify]: Simplify (/ 1 1) into 1
10.483 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y
10.483 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y
10.483 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y
10.483 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y
10.483 * [taylor]: Taking taylor expansion of 1/4 in y
10.483 * [backup-simplify]: Simplify 1/4 into 1/4
10.483 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y
10.483 * [taylor]: Taking taylor expansion of (/ 1 x) in y
10.483 * [taylor]: Taking taylor expansion of x in y
10.483 * [backup-simplify]: Simplify x into x
10.483 * [backup-simplify]: Simplify (/ 1 x) into (/ 1 x)
10.483 * [backup-simplify]: Simplify (log (/ 1 x)) into (log (/ 1 x))
10.483 * [backup-simplify]: Simplify (* 1/4 (log (/ 1 x))) into (* 1/4 (log (/ 1 x)))
10.483 * [backup-simplify]: Simplify (exp (* 1/4 (log (/ 1 x)))) into (pow (/ 1 x) 1/4)
10.483 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.483 * [taylor]: Taking taylor expansion of y in y
10.483 * [backup-simplify]: Simplify 0 into 0
10.483 * [backup-simplify]: Simplify 1 into 1
10.483 * [backup-simplify]: Simplify (/ 1 1) into 1
10.484 * [backup-simplify]: Simplify (* (pow (/ 1 x) 1/4) 1) into (pow (/ 1 x) 1/4)
10.484 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.484 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.484 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.484 * [taylor]: Taking taylor expansion of 1/4 in x
10.484 * [backup-simplify]: Simplify 1/4 into 1/4
10.484 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.484 * [taylor]: Taking taylor expansion of x in x
10.484 * [backup-simplify]: Simplify 0 into 0
10.484 * [backup-simplify]: Simplify 1 into 1
10.484 * [backup-simplify]: Simplify (/ 1 1) into 1
10.484 * [backup-simplify]: Simplify (log 1) into 0
10.485 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.485 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.485 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.485 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
10.485 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.485 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)))) into 0
10.486 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (/ 1 x) 1)))) 1) into 0
10.486 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log (/ 1 x)))) into 0
10.487 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 x)))) (+ (* (/ (pow 0 1) 1)))) into 0
10.487 * [backup-simplify]: Simplify (+ (* (pow (/ 1 x) 1/4) 0) (* 0 1)) into 0
10.487 * [taylor]: Taking taylor expansion of 0 in x
10.487 * [backup-simplify]: Simplify 0 into 0
10.487 * [backup-simplify]: Simplify 0 into 0
10.488 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.488 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.489 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.489 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
10.489 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.489 * [backup-simplify]: Simplify 0 into 0
10.490 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.490 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.491 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (/ 1 x) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (/ 1 x) 1)))) 2) into 0
10.492 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log (/ 1 x))))) into 0
10.493 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 x)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.493 * [backup-simplify]: Simplify (+ (* (pow (/ 1 x) 1/4) 0) (+ (* 0 0) (* 0 1))) into 0
10.493 * [taylor]: Taking taylor expansion of 0 in x
10.493 * [backup-simplify]: Simplify 0 into 0
10.493 * [backup-simplify]: Simplify 0 into 0
10.493 * [backup-simplify]: Simplify 0 into 0
10.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.495 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
10.496 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.497 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
10.497 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.497 * [backup-simplify]: Simplify 0 into 0
10.498 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.498 * [backup-simplify]: Simplify (- (+ (* (/ 1 x) (/ 0 x)) (* 0 (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.500 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (/ 1 x) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (/ 1 x) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (/ 1 x) 1)))) 6) into 0
10.501 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log (/ 1 x)))))) into 0
10.502 * [backup-simplify]: Simplify (* (exp (* 1/4 (log (/ 1 x)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.502 * [backup-simplify]: Simplify (+ (* (pow (/ 1 x) 1/4) 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.502 * [taylor]: Taking taylor expansion of 0 in x
10.502 * [backup-simplify]: Simplify 0 into 0
10.502 * [backup-simplify]: Simplify 0 into 0
10.503 * [backup-simplify]: Simplify (* (pow (/ 1 x) -1/4) (* 1 (/ 1 (/ 1 y)))) into (* (pow x 1/4) y)
10.503 * [backup-simplify]: Simplify (* (/ 1 (- y)) (sqrt (sqrt (/ 1 (- x))))) into (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x)))))
10.503 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0
10.503 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x
10.503 * [taylor]: Taking taylor expansion of -1 in x
10.503 * [backup-simplify]: Simplify -1 into -1
10.503 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x
10.503 * [taylor]: Taking taylor expansion of (/ 1 y) in x
10.503 * [taylor]: Taking taylor expansion of y in x
10.503 * [backup-simplify]: Simplify y into y
10.503 * [backup-simplify]: Simplify (/ 1 y) into (/ 1 y)
10.503 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.503 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.503 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.503 * [taylor]: Taking taylor expansion of -1 in x
10.503 * [backup-simplify]: Simplify -1 into -1
10.503 * [taylor]: Taking taylor expansion of x in x
10.503 * [backup-simplify]: Simplify 0 into 0
10.503 * [backup-simplify]: Simplify 1 into 1
10.503 * [backup-simplify]: Simplify (/ -1 1) into -1
10.504 * [backup-simplify]: Simplify (sqrt 0) into 0
10.504 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.505 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.505 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.507 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.508 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.508 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
10.508 * [taylor]: Taking taylor expansion of -1 in y
10.508 * [backup-simplify]: Simplify -1 into -1
10.508 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
10.508 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.508 * [taylor]: Taking taylor expansion of y in y
10.508 * [backup-simplify]: Simplify 0 into 0
10.508 * [backup-simplify]: Simplify 1 into 1
10.508 * [backup-simplify]: Simplify (/ 1 1) into 1
10.508 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
10.508 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
10.508 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.508 * [taylor]: Taking taylor expansion of -1 in y
10.509 * [backup-simplify]: Simplify -1 into -1
10.509 * [taylor]: Taking taylor expansion of x in y
10.509 * [backup-simplify]: Simplify x into x
10.509 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
10.509 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
10.509 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
10.509 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
10.509 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 x))) into (sqrt (sqrt (/ -1 x)))
10.509 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 x))))) into 0
10.509 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y
10.509 * [taylor]: Taking taylor expansion of -1 in y
10.509 * [backup-simplify]: Simplify -1 into -1
10.509 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y
10.509 * [taylor]: Taking taylor expansion of (/ 1 y) in y
10.509 * [taylor]: Taking taylor expansion of y in y
10.509 * [backup-simplify]: Simplify 0 into 0
10.509 * [backup-simplify]: Simplify 1 into 1
10.509 * [backup-simplify]: Simplify (/ 1 1) into 1
10.509 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y
10.509 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y
10.509 * [taylor]: Taking taylor expansion of (/ -1 x) in y
10.509 * [taylor]: Taking taylor expansion of -1 in y
10.509 * [backup-simplify]: Simplify -1 into -1
10.509 * [taylor]: Taking taylor expansion of x in y
10.509 * [backup-simplify]: Simplify x into x
10.509 * [backup-simplify]: Simplify (/ -1 x) into (/ -1 x)
10.509 * [backup-simplify]: Simplify (sqrt (/ -1 x)) into (sqrt (/ -1 x))
10.510 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)))) into 0
10.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (/ -1 x)))) into 0
10.510 * [backup-simplify]: Simplify (sqrt (sqrt (/ -1 x))) into (sqrt (sqrt (/ -1 x)))
10.510 * [backup-simplify]: Simplify (/ 0 (* 2 (sqrt (sqrt (/ -1 x))))) into 0
10.510 * [backup-simplify]: Simplify (* 1 (sqrt (sqrt (/ -1 x)))) into (sqrt (sqrt (/ -1 x)))
10.510 * [backup-simplify]: Simplify (* -1 (sqrt (sqrt (/ -1 x)))) into (* -1 (sqrt (sqrt (/ -1 x))))
10.510 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x
10.510 * [taylor]: Taking taylor expansion of -1 in x
10.510 * [backup-simplify]: Simplify -1 into -1
10.510 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.510 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.510 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.510 * [taylor]: Taking taylor expansion of -1 in x
10.510 * [backup-simplify]: Simplify -1 into -1
10.510 * [taylor]: Taking taylor expansion of x in x
10.510 * [backup-simplify]: Simplify 0 into 0
10.510 * [backup-simplify]: Simplify 1 into 1
10.510 * [backup-simplify]: Simplify (/ -1 1) into -1
10.511 * [backup-simplify]: Simplify (sqrt 0) into 0
10.511 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.512 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.512 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.514 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.516 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.517 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0))
10.518 * [backup-simplify]: Simplify (* -1 (sqrt +nan.0)) into (* -1 (sqrt +nan.0))
10.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 (sqrt (sqrt (/ -1 x))))) into 0
10.520 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 (sqrt (sqrt (/ -1 x))))) into 0
10.520 * [taylor]: Taking taylor expansion of 0 in x
10.520 * [backup-simplify]: Simplify 0 into 0
10.520 * [backup-simplify]: Simplify 0 into 0
10.523 * [backup-simplify]: Simplify (+ (* -1 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0))) into (- (* +nan.0 (/ 1 (sqrt +nan.0))))
10.525 * [backup-simplify]: Simplify (- (* +nan.0 (/ 1 (sqrt +nan.0)))) into (- (* +nan.0 (/ 1 (sqrt +nan.0))))
10.525 * [backup-simplify]: Simplify (- (/ 0 x) (+ (* (/ -1 x) (/ 0 x)) (* 0 (/ 0 x)))) into 0
10.526 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (/ -1 x)))) into 0
10.527 * [backup-simplify]: Simplify (/ (- 0 (pow 0 2) (+)) (* 2 (sqrt (sqrt (/ -1 x))))) into 0
10.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.528 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 (sqrt (sqrt (/ -1 x)))))) into 0
10.530 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 (sqrt (sqrt (/ -1 x)))))) into 0
10.530 * [taylor]: Taking taylor expansion of 0 in x
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.530 * [backup-simplify]: Simplify 0 into 0
10.531 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.535 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.540 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
10.548 * [backup-simplify]: Simplify (+ (* -1 (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))) (+ (* 0 (/ +nan.0 (sqrt +nan.0))) (* 0 (sqrt +nan.0)))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0))))))
10.553 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) into (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0))))))
10.560 * [backup-simplify]: Simplify (+ (* (- (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 3))) (- (* +nan.0 (/ 1 (sqrt +nan.0)))))) (* (pow (/ 1 (- x)) 2) (/ 1 (/ 1 (- y))))) (+ (* (- (* +nan.0 (/ 1 (sqrt +nan.0)))) (* (/ 1 (- x)) (/ 1 (/ 1 (- y))))) (* (* -1 (sqrt +nan.0)) (* 1 (/ 1 (/ 1 (- y))))))) into (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow x 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ y (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (* +nan.0 (/ y (* x (sqrt +nan.0)))))))))
10.560 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
10.560 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
10.560 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
10.560 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.560 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.560 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.560 * [taylor]: Taking taylor expansion of 1/4 in x
10.561 * [backup-simplify]: Simplify 1/4 into 1/4
10.561 * [taylor]: Taking taylor expansion of (log x) in x
10.561 * [taylor]: Taking taylor expansion of x in x
10.561 * [backup-simplify]: Simplify 0 into 0
10.561 * [backup-simplify]: Simplify 1 into 1
10.561 * [backup-simplify]: Simplify (log 1) into 0
10.561 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.561 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.561 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.561 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.561 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.561 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.561 * [taylor]: Taking taylor expansion of 1/4 in x
10.561 * [backup-simplify]: Simplify 1/4 into 1/4
10.561 * [taylor]: Taking taylor expansion of (log x) in x
10.561 * [taylor]: Taking taylor expansion of x in x
10.561 * [backup-simplify]: Simplify 0 into 0
10.561 * [backup-simplify]: Simplify 1 into 1
10.562 * [backup-simplify]: Simplify (log 1) into 0
10.562 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.562 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.562 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.562 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
10.563 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.563 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.564 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
10.564 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.564 * [backup-simplify]: Simplify 0 into 0
10.566 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
10.566 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.567 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
10.567 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.567 * [backup-simplify]: Simplify 0 into 0
10.575 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
10.576 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.577 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
10.579 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.579 * [backup-simplify]: Simplify 0 into 0
10.590 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
10.591 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.592 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
10.594 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.594 * [backup-simplify]: Simplify 0 into 0
10.604 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
10.604 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.606 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
10.608 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.608 * [backup-simplify]: Simplify 0 into 0
10.625 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
10.625 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.628 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
10.634 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.634 * [backup-simplify]: Simplify 0 into 0
10.634 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
10.634 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
10.634 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
10.634 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.634 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.634 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.634 * [taylor]: Taking taylor expansion of 1/4 in x
10.634 * [backup-simplify]: Simplify 1/4 into 1/4
10.635 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.635 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.635 * [taylor]: Taking taylor expansion of x in x
10.635 * [backup-simplify]: Simplify 0 into 0
10.635 * [backup-simplify]: Simplify 1 into 1
10.635 * [backup-simplify]: Simplify (/ 1 1) into 1
10.636 * [backup-simplify]: Simplify (log 1) into 0
10.636 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.636 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.636 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.636 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.636 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.636 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.636 * [taylor]: Taking taylor expansion of 1/4 in x
10.636 * [backup-simplify]: Simplify 1/4 into 1/4
10.636 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.636 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.636 * [taylor]: Taking taylor expansion of x in x
10.636 * [backup-simplify]: Simplify 0 into 0
10.637 * [backup-simplify]: Simplify 1 into 1
10.637 * [backup-simplify]: Simplify (/ 1 1) into 1
10.637 * [backup-simplify]: Simplify (log 1) into 0
10.638 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.638 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.638 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.638 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
10.639 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.640 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.641 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.641 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
10.642 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.642 * [backup-simplify]: Simplify 0 into 0
10.643 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.647 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
10.647 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.648 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
10.649 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.649 * [backup-simplify]: Simplify 0 into 0
10.650 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.653 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
10.653 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.654 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
10.655 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.655 * [backup-simplify]: Simplify 0 into 0
10.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.661 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
10.662 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.663 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
10.665 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.665 * [backup-simplify]: Simplify 0 into 0
10.665 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.674 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
10.675 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.682 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
10.687 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.687 * [backup-simplify]: Simplify 0 into 0
10.688 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.706 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
10.706 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.708 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
10.711 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.711 * [backup-simplify]: Simplify 0 into 0
10.711 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
10.711 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
10.711 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
10.711 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.711 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.711 * [taylor]: Taking taylor expansion of -1 in x
10.711 * [backup-simplify]: Simplify -1 into -1
10.711 * [taylor]: Taking taylor expansion of x in x
10.711 * [backup-simplify]: Simplify 0 into 0
10.711 * [backup-simplify]: Simplify 1 into 1
10.711 * [backup-simplify]: Simplify (/ -1 1) into -1
10.712 * [backup-simplify]: Simplify (sqrt 0) into 0
10.713 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.713 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.715 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.716 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.716 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.716 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.716 * [taylor]: Taking taylor expansion of -1 in x
10.716 * [backup-simplify]: Simplify -1 into -1
10.716 * [taylor]: Taking taylor expansion of x in x
10.716 * [backup-simplify]: Simplify 0 into 0
10.716 * [backup-simplify]: Simplify 1 into 1
10.717 * [backup-simplify]: Simplify (/ -1 1) into -1
10.717 * [backup-simplify]: Simplify (sqrt 0) into 0
10.718 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.718 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.718 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.720 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.721 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.721 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.722 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
10.722 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.725 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.730 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
10.737 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
10.742 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- x)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- x))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
10.742 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
10.743 * [backup-simplify]: Simplify (sqrt (sqrt x)) into (pow x 1/4)
10.743 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0
10.743 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.743 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.743 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.743 * [taylor]: Taking taylor expansion of 1/4 in x
10.743 * [backup-simplify]: Simplify 1/4 into 1/4
10.743 * [taylor]: Taking taylor expansion of (log x) in x
10.743 * [taylor]: Taking taylor expansion of x in x
10.743 * [backup-simplify]: Simplify 0 into 0
10.743 * [backup-simplify]: Simplify 1 into 1
10.743 * [backup-simplify]: Simplify (log 1) into 0
10.743 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.743 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.743 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.743 * [taylor]: Taking taylor expansion of (pow x 1/4) in x
10.743 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x
10.743 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x
10.743 * [taylor]: Taking taylor expansion of 1/4 in x
10.743 * [backup-simplify]: Simplify 1/4 into 1/4
10.743 * [taylor]: Taking taylor expansion of (log x) in x
10.743 * [taylor]: Taking taylor expansion of x in x
10.743 * [backup-simplify]: Simplify 0 into 0
10.744 * [backup-simplify]: Simplify 1 into 1
10.744 * [backup-simplify]: Simplify (log 1) into 0
10.744 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.744 * [backup-simplify]: Simplify (* 1/4 (log x)) into (* 1/4 (log x))
10.744 * [backup-simplify]: Simplify (exp (* 1/4 (log x))) into (pow x 1/4)
10.744 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
10.745 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.745 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.746 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (log x))) into 0
10.746 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.746 * [backup-simplify]: Simplify 0 into 0
10.748 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
10.748 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.749 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (log x)))) into 0
10.749 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.749 * [backup-simplify]: Simplify 0 into 0
10.752 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
10.752 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.753 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))) into 0
10.754 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.754 * [backup-simplify]: Simplify 0 into 0
10.760 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
10.761 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.762 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))) into 0
10.763 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.763 * [backup-simplify]: Simplify 0 into 0
10.777 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
10.777 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.780 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x))))))) into 0
10.789 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.789 * [backup-simplify]: Simplify 0 into 0
10.815 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
10.815 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
10.817 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (log x)))))))) into 0
10.820 * [backup-simplify]: Simplify (* (exp (* 1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.820 * [backup-simplify]: Simplify 0 into 0
10.820 * [backup-simplify]: Simplify (pow x 1/4) into (pow x 1/4)
10.820 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 x))) into (pow (/ 1 x) 1/4)
10.820 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0
10.820 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.820 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.820 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.820 * [taylor]: Taking taylor expansion of 1/4 in x
10.820 * [backup-simplify]: Simplify 1/4 into 1/4
10.820 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.821 * [taylor]: Taking taylor expansion of x in x
10.821 * [backup-simplify]: Simplify 0 into 0
10.821 * [backup-simplify]: Simplify 1 into 1
10.821 * [backup-simplify]: Simplify (/ 1 1) into 1
10.821 * [backup-simplify]: Simplify (log 1) into 0
10.821 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.821 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.822 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x
10.822 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x
10.822 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x
10.822 * [taylor]: Taking taylor expansion of 1/4 in x
10.822 * [backup-simplify]: Simplify 1/4 into 1/4
10.822 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
10.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x
10.822 * [taylor]: Taking taylor expansion of x in x
10.822 * [backup-simplify]: Simplify 0 into 0
10.822 * [backup-simplify]: Simplify 1 into 1
10.822 * [backup-simplify]: Simplify (/ 1 1) into 1
10.822 * [backup-simplify]: Simplify (log 1) into 0
10.822 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.822 * [backup-simplify]: Simplify (* 1/4 (- (log x))) into (* -1/4 (log x))
10.823 * [backup-simplify]: Simplify (exp (* -1/4 (log x))) into (pow x -1/4)
10.823 * [backup-simplify]: Simplify (pow x -1/4) into (pow x -1/4)
10.823 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.824 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
10.824 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.825 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 (- (log x)))) into 0
10.825 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
10.825 * [backup-simplify]: Simplify 0 into 0
10.826 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.827 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
10.827 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.828 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (* 0 (- (log x))))) into 0
10.829 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.829 * [backup-simplify]: Simplify 0 into 0
10.829 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.832 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
10.833 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.833 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))) into 0
10.834 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.834 * [backup-simplify]: Simplify 0 into 0
10.835 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.841 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
10.841 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.842 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))) into 0
10.844 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.844 * [backup-simplify]: Simplify 0 into 0
10.845 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.854 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
10.855 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.856 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x)))))))) into 0
10.858 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
10.858 * [backup-simplify]: Simplify 0 into 0
10.859 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.880 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
10.880 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
10.882 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (- (log x))))))))) into 0
10.890 * [backup-simplify]: Simplify (* (exp (* -1/4 (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
10.890 * [backup-simplify]: Simplify 0 into 0
10.890 * [backup-simplify]: Simplify (pow (/ 1 x) -1/4) into (pow (/ 1 x) -1/4)
10.890 * [backup-simplify]: Simplify (sqrt (sqrt (/ 1 (- x)))) into (sqrt (sqrt (/ -1 x)))
10.890 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0
10.890 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.890 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.890 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.890 * [taylor]: Taking taylor expansion of -1 in x
10.890 * [backup-simplify]: Simplify -1 into -1
10.890 * [taylor]: Taking taylor expansion of x in x
10.890 * [backup-simplify]: Simplify 0 into 0
10.890 * [backup-simplify]: Simplify 1 into 1
10.891 * [backup-simplify]: Simplify (/ -1 1) into -1
10.891 * [backup-simplify]: Simplify (sqrt 0) into 0
10.892 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.892 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.893 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.894 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.895 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.895 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x
10.895 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
10.895 * [taylor]: Taking taylor expansion of (/ -1 x) in x
10.895 * [taylor]: Taking taylor expansion of -1 in x
10.895 * [backup-simplify]: Simplify -1 into -1
10.895 * [taylor]: Taking taylor expansion of x in x
10.895 * [backup-simplify]: Simplify 0 into 0
10.895 * [backup-simplify]: Simplify 1 into 1
10.896 * [backup-simplify]: Simplify (/ -1 1) into -1
10.896 * [backup-simplify]: Simplify (sqrt 0) into 0
10.897 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
10.897 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.898 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.899 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
10.900 * [backup-simplify]: Simplify (/ +nan.0 (* 2 (sqrt +nan.0))) into (/ +nan.0 (sqrt +nan.0))
10.901 * [backup-simplify]: Simplify (sqrt +nan.0) into (sqrt +nan.0)
10.902 * [backup-simplify]: Simplify (/ +nan.0 (sqrt +nan.0)) into (/ +nan.0 (sqrt +nan.0))
10.903 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.907 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
10.912 * [backup-simplify]: Simplify (/ (- +nan.0 (pow (/ +nan.0 (sqrt +nan.0)) 2) (+)) (* 2 (sqrt +nan.0))) into (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
10.919 * [backup-simplify]: Simplify (* -1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) into (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0)))
10.928 * [backup-simplify]: Simplify (+ (* (* 1/2 (/ (+ (* +nan.0 (/ 1 (pow (sqrt +nan.0) 2))) (- +nan.0)) (sqrt +nan.0))) (pow (/ 1 (- x)) 2)) (+ (* (/ +nan.0 (sqrt +nan.0)) (/ 1 (- x))) (sqrt +nan.0))) into (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
10.928 * * * [progress]: simplifying candidates
10.930 * [simplify]: Simplifying:
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))
  (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt x))))
  (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (exp (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))))
  (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt 1)))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) (sqrt 1))
  (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
  (* (* y (sqrt (sqrt x))) 1)
  (* (sqrt (sqrt x)) (sqrt (sqrt x)))
  (* y (sqrt (sqrt x)))
  (+ (log y) (log (sqrt (sqrt x))))
  (log (* y (sqrt (sqrt x))))
  (exp (* y (sqrt (sqrt x))))
  (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x))))
  (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x)))))
  (cbrt (* y (sqrt (sqrt x))))
  (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x))))
  (sqrt (* y (sqrt (sqrt x))))
  (sqrt (* y (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* (sqrt y) (sqrt (sqrt (sqrt x))))
  (* y (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))
  (* y (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))
  (* y (sqrt (sqrt (* (cbrt x) (cbrt x)))))
  (* y (sqrt (sqrt (sqrt x))))
  (* y (sqrt (sqrt 1)))
  (* y (sqrt (sqrt (sqrt x))))
  (* y (sqrt 1))
  (* y (sqrt (sqrt (sqrt x))))
  (* y 1)
  (* (cbrt y) (sqrt (sqrt x)))
  (* (sqrt y) (sqrt (sqrt x)))
  (* y (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (log (sqrt (sqrt x)))
  (exp (sqrt (sqrt x)))
  (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))
  (cbrt (sqrt (sqrt x)))
  (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))
  (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (sqrt (cbrt (sqrt x)))
  (sqrt (sqrt (* (cbrt x) (cbrt x))))
  (sqrt (sqrt (cbrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt 1))
  (sqrt (sqrt x))
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (sqrt 1)
  (sqrt (sqrt x))
  (/ 1/2 2)
  (/ 1 2)
  (/ (/ 1 2) 2)
  (sqrt (sqrt (sqrt x)))
  (sqrt (sqrt (sqrt x)))
  (- (+ (* +nan.0 (* (pow x 2) y)) (- (+ (* +nan.0 (* (pow x 3) y)) (- (* +nan.0 (* x y)))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (- (+ (* +nan.0 (/ y (pow x 2))) (- (+ (* +nan.0 (/ y x)) (- (* +nan.0 y))))))
  (* (pow x 1/4) y)
  (* (pow x 1/4) y)
  (- (* y (sqrt +nan.0)) (+ (* +nan.0 (/ y (* (pow x 2) (sqrt +nan.0)))) (- (+ (* +nan.0 (/ y (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (* +nan.0 (/ y (* x (sqrt +nan.0)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
  (pow x 1/4)
  (pow (/ 1 x) -1/4)
  (- (sqrt +nan.0) (+ (* +nan.0 (/ 1 (* (pow x 2) (pow (sqrt +nan.0) 3)))) (- (+ (* +nan.0 (/ 1 (* x (sqrt +nan.0)))) (- (* +nan.0 (/ 1 (* (pow x 2) (sqrt +nan.0)))))))))
10.931 * * [simplify]: Extracting # 0 : cost  61  inf +  0
10.931 * * [simplify]: Extracting # 1 : cost  86  inf +  0
10.931 * * [simplify]: Extracting # 2 : cost  89  inf +  90
10.932 * * [simplify]: Extracting # 3 : cost  65  inf +  4128
10.932 * * [simplify]: Extracting # 4 : cost  45  inf +  10096
10.933 * * [simplify]: Extracting # 5 : cost  41  inf +  13444
10.935 * * [simplify]: Extracting # 6 : cost  41  inf +  14811
10.936 * * [simplify]: Extracting # 7 : cost  31  inf +  16309
10.937 * * [simplify]: Extracting # 8 : cost  20  inf +  19395
10.939 * * [simplify]: Extracting # 9 : cost  8  inf +  25534
10.941 * * [simplify]: Extracting # 10 : cost  4  inf +  28663
10.943 * * [simplify]: Extracting # 11 : cost  2  inf +  30353
10.945 * * [simplify]: Extracting # 12 : cost  1  inf +  31338
10.947 * * [simplify]: Extracting # 13 : cost  0  inf +  32403
10.950 * * [simplify]: iteration  0 :  132  enodes  (cost  22778 )
11.017 * * [simplify]: Extracting # 0 : cost  0  inf +  32403
11.022 * * [simplify]: Extracting # 1 : cost  66  inf +  30426
11.026 * * [simplify]: Extracting # 2 : cost  7  inf +  40166
11.031 * * [simplify]: Extracting # 3 : cost  1  inf +  36165
11.036 * * [simplify]: Extracting # 4 : cost  0  inf +  34252
11.041 * * [simplify]: Extracting # 5 : cost  0  inf +  33488
11.046 * * [simplify]: Extracting # 6 : cost  0  inf +  33237
11.051 * * [simplify]: iteration  1 :  354  enodes  (cost  17966 )
11.232 * * [simplify]: Extracting # 0 : cost  0  inf +  33237
11.245 * * [simplify]: Extracting # 1 : cost  325  inf +  31698
11.257 * * [simplify]: Extracting # 2 : cost  67  inf +  67512
11.272 * * [simplify]: Extracting # 3 : cost  3  inf +  73474
11.306 * * [simplify]: Extracting # 4 : cost  0  inf +  74293