8.045 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.035 * * * [progress]: [2/2] Setting up program. 0.038 * [progress]: [Phase 2 of 3] Improving. 0.039 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.039 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.040 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.042 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 0.045 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.050 * * [simplify]: iteration 4 : 55 enodes (cost 8 ) 0.058 * * [simplify]: iteration 5 : 76 enodes (cost 8 ) 0.065 * * [simplify]: iteration 6 : 101 enodes (cost 8 ) 0.075 * * [simplify]: iteration 7 : 132 enodes (cost 8 ) 0.091 * * [simplify]: iteration 8 : 163 enodes (cost 8 ) 0.107 * * [simplify]: iteration 9 : 187 enodes (cost 8 ) 0.123 * * [simplify]: iteration 10 : 218 enodes (cost 8 ) 0.147 * * [simplify]: iteration 11 : 253 enodes (cost 8 ) 0.173 * * [simplify]: iteration 12 : 284 enodes (cost 8 ) 0.201 * * [simplify]: iteration 13 : 318 enodes (cost 8 ) 0.228 * * [simplify]: iteration 14 : 347 enodes (cost 8 ) 0.261 * * [simplify]: iteration 15 : 380 enodes (cost 8 ) 0.297 * * [simplify]: iteration 16 : 409 enodes (cost 8 ) 0.332 * * [simplify]: iteration 17 : 442 enodes (cost 8 ) 0.373 * * [simplify]: iteration 18 : 472 enodes (cost 8 ) 0.416 * * [simplify]: iteration 19 : 505 enodes (cost 8 ) 0.463 * * [simplify]: iteration 20 : 535 enodes (cost 8 ) 0.512 * * [simplify]: iteration 21 : 568 enodes (cost 8 ) 0.565 * * [simplify]: iteration 22 : 597 enodes (cost 8 ) 0.620 * * [simplify]: iteration 23 : 632 enodes (cost 8 ) 0.680 * * [simplify]: iteration 24 : 661 enodes (cost 8 ) 0.744 * * [simplify]: iteration 25 : 695 enodes (cost 8 ) 0.811 * * [simplify]: iteration 26 : 725 enodes (cost 8 ) 0.880 * * [simplify]: iteration 27 : 758 enodes (cost 8 ) 0.954 * * [simplify]: iteration 28 : 787 enodes (cost 8 ) 1.029 * * [simplify]: iteration 29 : 821 enodes (cost 8 ) 1.109 * * [simplify]: iteration 30 : 851 enodes (cost 8 ) 1.195 * * [simplify]: iteration 31 : 886 enodes (cost 8 ) 1.283 * * [simplify]: iteration 32 : 916 enodes (cost 8 ) 1.374 * * [simplify]: iteration 33 : 950 enodes (cost 8 ) 1.472 * * [simplify]: iteration 34 : 980 enodes (cost 8 ) 1.571 * * [simplify]: iteration 35 : 1015 enodes (cost 8 ) 1.676 * * [simplify]: iteration 36 : 1044 enodes (cost 8 ) 1.786 * * [simplify]: iteration 37 : 1079 enodes (cost 8 ) 1.899 * * [simplify]: iteration 38 : 1109 enodes (cost 8 ) 2.016 * * [simplify]: iteration 39 : 1144 enodes (cost 8 ) 2.138 * * [simplify]: iteration 40 : 1174 enodes (cost 8 ) 2.265 * * [simplify]: iteration 41 : 1209 enodes (cost 8 ) 2.396 * * [simplify]: iteration 42 : 1239 enodes (cost 8 ) 2.532 * * [simplify]: iteration 43 : 1274 enodes (cost 8 ) 2.674 * * [simplify]: iteration 44 : 1303 enodes (cost 8 ) 2.820 * * [simplify]: iteration 45 : 1338 enodes (cost 8 ) 2.972 * * [simplify]: iteration 46 : 1367 enodes (cost 8 ) 3.129 * * [simplify]: iteration 47 : 1402 enodes (cost 8 ) 3.290 * * [simplify]: iteration 48 : 1432 enodes (cost 8 ) 3.458 * * [simplify]: iteration 49 : 1465 enodes (cost 8 ) 3.631 * * [simplify]: iteration 50 : 1495 enodes (cost 8 ) 3.806 * * [simplify]: iteration 51 : 1528 enodes (cost 8 ) 3.992 * * [simplify]: iteration 52 : 1558 enodes (cost 8 ) 4.187 * * [simplify]: iteration 53 : 1591 enodes (cost 8 ) 4.610 * * [simplify]: iteration 54 : 1620 enodes (cost 8 ) 4.813 * * [simplify]: iteration 55 : 1653 enodes (cost 8 ) 5.019 * * [simplify]: iteration 56 : 1683 enodes (cost 8 ) 5.232 * * [simplify]: iteration 57 : 1717 enodes (cost 8 ) 5.454 * * [simplify]: iteration 58 : 1746 enodes (cost 8 ) 5.675 * * [simplify]: iteration 59 : 1781 enodes (cost 8 ) 5.907 * * [simplify]: iteration 60 : 1811 enodes (cost 8 ) 6.143 * * [simplify]: iteration 61 : 1846 enodes (cost 8 ) 6.386 * * [simplify]: iteration 62 : 1876 enodes (cost 8 ) 6.635 * * [simplify]: iteration 63 : 1911 enodes (cost 8 ) 6.889 * * [simplify]: iteration 64 : 1941 enodes (cost 8 ) 7.156 * * [simplify]: iteration 65 : 1976 enodes (cost 8 ) 7.423 * * [simplify]: iteration 66 : 2006 enodes (cost 8 ) 7.701 * * [simplify]: iteration 67 : 2041 enodes (cost 8 ) 7.987 * * [simplify]: iteration 68 : 2070 enodes (cost 8 ) 8.282 * * [simplify]: iteration 69 : 2105 enodes (cost 8 ) 8.579 * * [simplify]: iteration 70 : 2134 enodes (cost 8 ) 8.880 * * [simplify]: iteration 71 : 2169 enodes (cost 8 ) 9.187 * * [simplify]: iteration 72 : 2199 enodes (cost 8 ) 9.505 * * [simplify]: iteration 73 : 2234 enodes (cost 8 ) 9.832 * * [simplify]: iteration 74 : 2264 enodes (cost 8 ) 10.165 * * [simplify]: iteration 75 : 2299 enodes (cost 8 ) 10.502 * * [simplify]: iteration 76 : 2329 enodes (cost 8 ) 10.846 * * [simplify]: iteration 77 : 2362 enodes (cost 8 ) 11.200 * * [simplify]: iteration 78 : 2391 enodes (cost 8 ) 11.556 * * [simplify]: iteration 79 : 2426 enodes (cost 8 ) 11.926 * * [simplify]: iteration 80 : 2456 enodes (cost 8 ) 12.303 * * [simplify]: iteration 81 : 2489 enodes (cost 8 ) 12.690 * * [simplify]: iteration 82 : 2518 enodes (cost 8 ) 13.080 * * [simplify]: iteration 83 : 2552 enodes (cost 8 ) 13.477 * * [simplify]: iteration 84 : 2581 enodes (cost 8 ) 13.884 * * [simplify]: iteration 85 : 2616 enodes (cost 8 ) 14.297 * * [simplify]: iteration 86 : 2646 enodes (cost 8 ) 14.723 * * [simplify]: iteration 87 : 2681 enodes (cost 8 ) 15.158 * * [simplify]: iteration 88 : 2711 enodes (cost 8 ) 15.602 * * [simplify]: iteration 89 : 2745 enodes (cost 8 ) 16.050 * * [simplify]: iteration 90 : 2774 enodes (cost 8 ) 16.513 * * [simplify]: iteration 91 : 2807 enodes (cost 8 ) 16.982 * * [simplify]: iteration 92 : 2836 enodes (cost 8 ) 17.460 * * [simplify]: iteration 93 : 2869 enodes (cost 8 ) 17.943 * * [simplify]: iteration 94 : 2898 enodes (cost 8 ) 18.438 * * [simplify]: iteration 95 : 2931 enodes (cost 8 ) 18.943 * * [simplify]: iteration 96 : 2960 enodes (cost 8 ) 19.455 * * [simplify]: iteration 97 : 2993 enodes (cost 8 ) 19.970 * * [simplify]: iteration 98 : 3022 enodes (cost 8 ) 20.494 * * [simplify]: iteration 99 : 3056 enodes (cost 8 ) 21.035 * * [simplify]: iteration 100 : 3086 enodes (cost 8 ) 21.577 * * [simplify]: iteration 101 : 3121 enodes (cost 8 ) 22.128 * * [simplify]: iteration 102 : 3151 enodes (cost 8 ) 22.695 * * [simplify]: iteration 103 : 3186 enodes (cost 8 ) 23.273 * * [simplify]: iteration 104 : 3216 enodes (cost 8 ) 23.865 * * [simplify]: iteration 105 : 3249 enodes (cost 8 ) 24.461 * * [simplify]: iteration 106 : 3278 enodes (cost 8 ) 25.063 * * [simplify]: iteration 107 : 3312 enodes (cost 8 ) 25.678 * * [simplify]: iteration 108 : 3342 enodes (cost 8 ) 26.299 * * [simplify]: iteration 109 : 3375 enodes (cost 8 ) 26.932 * * [simplify]: iteration 110 : 3404 enodes (cost 8 ) 27.568 * * [simplify]: iteration 111 : 3438 enodes (cost 8 ) 28.224 * * [simplify]: iteration 112 : 3467 enodes (cost 8 ) 28.888 * * [simplify]: iteration 113 : 3501 enodes (cost 8 ) 29.562 * * [simplify]: iteration 114 : 3531 enodes (cost 8 ) 30.248 * * [simplify]: iteration 115 : 3564 enodes (cost 8 ) 30.939 * * [simplify]: iteration 116 : 3593 enodes (cost 8 ) 31.647 * * [simplify]: iteration 117 : 3627 enodes (cost 8 ) 32.366 * * [simplify]: iteration 118 : 3657 enodes (cost 8 ) 33.093 * * [simplify]: iteration 119 : 3690 enodes (cost 8 ) 33.827 * * [simplify]: iteration 120 : 3719 enodes (cost 8 ) 34.579 * * [simplify]: iteration 121 : 3753 enodes (cost 8 ) 35.346 * * [simplify]: iteration 122 : 3783 enodes (cost 8 ) 36.120 * * [simplify]: iteration 123 : 3816 enodes (cost 8 ) 36.906 * * [simplify]: iteration 124 : 3845 enodes (cost 8 ) 37.700 * * [simplify]: iteration 125 : 3878 enodes (cost 8 ) 38.506 * * [simplify]: iteration 126 : 3908 enodes (cost 8 ) 39.326 * * [simplify]: iteration 127 : 3943 enodes (cost 8 ) 40.158 * * [simplify]: iteration 128 : 3973 enodes (cost 8 ) 40.995 * * [simplify]: iteration 129 : 4008 enodes (cost 8 ) 41.852 * * [simplify]: iteration 130 : 4037 enodes (cost 8 ) 42.716 * * [simplify]: iteration 131 : 4070 enodes (cost 8 ) 43.591 * * [simplify]: iteration 132 : 4099 enodes (cost 8 ) 44.476 * * [simplify]: iteration 133 : 4132 enodes (cost 8 ) 45.378 * * [simplify]: iteration 134 : 4161 enodes (cost 8 ) 46.294 * * [simplify]: iteration 135 : 4194 enodes (cost 8 ) 47.218 * * [simplify]: iteration 136 : 4223 enodes (cost 8 ) 48.149 * * [simplify]: iteration 137 : 4256 enodes (cost 8 ) 49.121 * * [simplify]: iteration 138 : 4286 enodes (cost 8 ) 50.083 * * [simplify]: iteration 139 : 4321 enodes (cost 8 ) 51.057 * * [simplify]: iteration 140 : 4351 enodes (cost 8 ) 52.046 * * [simplify]: iteration 141 : 4386 enodes (cost 8 ) 53.295 * * [simplify]: iteration 142 : 4416 enodes (cost 8 ) 54.307 * * [simplify]: iteration 143 : 4449 enodes (cost 8 ) 55.332 * * [simplify]: iteration 144 : 4479 enodes (cost 8 ) 56.361 * * [simplify]: iteration 145 : 4513 enodes (cost 8 ) 57.410 * * [simplify]: iteration 146 : 4542 enodes (cost 8 ) 58.466 * * [simplify]: iteration 147 : 4575 enodes (cost 8 ) 59.538 * * [simplify]: iteration 148 : 4604 enodes (cost 8 ) 60.623 * * [simplify]: iteration 149 : 4637 enodes (cost 8 ) 61.721 * * [simplify]: iteration 150 : 4666 enodes (cost 8 ) 62.831 * * [simplify]: iteration 151 : 4699 enodes (cost 8 ) 63.954 * * [simplify]: iteration 152 : 4728 enodes (cost 8 ) 65.090 * * [simplify]: iteration 153 : 4761 enodes (cost 8 ) 66.240 * * [simplify]: iteration 154 : 4791 enodes (cost 8 ) 67.406 * * [simplify]: iteration 155 : 4825 enodes (cost 8 ) 68.588 * * [simplify]: iteration 156 : 4855 enodes (cost 8 ) 69.785 * * [simplify]: iteration 157 : 4889 enodes (cost 8 ) 70.984 * * [simplify]: iteration 158 : 4918 enodes (cost 8 ) 72.202 * * [simplify]: iteration 159 : 4952 enodes (cost 8 ) 73.435 * * [simplify]: iteration 160 : 4982 enodes (cost 8 ) 74.646 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 74.646 * [simplify]: Simplified to: (+ (- 1.0 x) (* y (sqrt x))) 74.646 * * [progress]: iteration 1 / 4 74.646 * * * [progress]: picking best candidate 74.649 * * * * [pick]: Picked # 74.649 * * * [progress]: localizing error 74.655 * * * [progress]: generating rewritten candidates 74.655 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 74.661 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 74.678 * * * [progress]: generating series expansions 74.678 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 74.678 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 74.678 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 74.678 * [taylor]: Taking taylor expansion of (sqrt x) in x 74.678 * [taylor]: Taking taylor expansion of x in x 74.678 * [taylor]: Taking taylor expansion of y in x 74.678 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 74.678 * [taylor]: Taking taylor expansion of (sqrt x) in y 74.678 * [taylor]: Taking taylor expansion of x in y 74.678 * [taylor]: Taking taylor expansion of y in y 74.678 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 74.678 * [taylor]: Taking taylor expansion of (sqrt x) in y 74.678 * [taylor]: Taking taylor expansion of x in y 74.678 * [taylor]: Taking taylor expansion of y in y 74.678 * [taylor]: Taking taylor expansion of 0 in x 74.679 * [taylor]: Taking taylor expansion of (sqrt x) in x 74.679 * [taylor]: Taking taylor expansion of x in x 74.679 * [taylor]: Taking taylor expansion of 0 in x 74.679 * [taylor]: Taking taylor expansion of 0 in x 74.680 * [taylor]: Taking taylor expansion of 0 in x 74.680 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 74.680 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 74.680 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 74.680 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.680 * [taylor]: Taking taylor expansion of x in x 74.680 * [taylor]: Taking taylor expansion of (/ 1 y) in x 74.680 * [taylor]: Taking taylor expansion of y in x 74.680 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 74.681 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 74.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y 74.681 * [taylor]: Taking taylor expansion of x in y 74.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 74.681 * [taylor]: Taking taylor expansion of y in y 74.681 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 74.681 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 74.681 * [taylor]: Taking taylor expansion of (/ 1 x) in y 74.681 * [taylor]: Taking taylor expansion of x in y 74.681 * [taylor]: Taking taylor expansion of (/ 1 y) in y 74.681 * [taylor]: Taking taylor expansion of y in y 74.681 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 74.681 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.681 * [taylor]: Taking taylor expansion of x in x 74.681 * [taylor]: Taking taylor expansion of 0 in x 74.682 * [taylor]: Taking taylor expansion of 0 in x 74.682 * [taylor]: Taking taylor expansion of 0 in x 74.683 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 74.683 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 74.683 * [taylor]: Taking taylor expansion of -1 in x 74.683 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 74.683 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 74.683 * [taylor]: Taking taylor expansion of (/ -1 x) in x 74.683 * [taylor]: Taking taylor expansion of -1 in x 74.683 * [taylor]: Taking taylor expansion of x in x 74.683 * [taylor]: Taking taylor expansion of y in x 74.683 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 74.683 * [taylor]: Taking taylor expansion of -1 in y 74.683 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 74.683 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 74.683 * [taylor]: Taking taylor expansion of (/ -1 x) in y 74.683 * [taylor]: Taking taylor expansion of -1 in y 74.683 * [taylor]: Taking taylor expansion of x in y 74.683 * [taylor]: Taking taylor expansion of y in y 74.683 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 74.683 * [taylor]: Taking taylor expansion of -1 in y 74.683 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 74.683 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 74.683 * [taylor]: Taking taylor expansion of (/ -1 x) in y 74.683 * [taylor]: Taking taylor expansion of -1 in y 74.683 * [taylor]: Taking taylor expansion of x in y 74.684 * [taylor]: Taking taylor expansion of y in y 74.684 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 74.684 * [taylor]: Taking taylor expansion of -1 in x 74.684 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 74.684 * [taylor]: Taking taylor expansion of (/ -1 x) in x 74.684 * [taylor]: Taking taylor expansion of -1 in x 74.684 * [taylor]: Taking taylor expansion of x in x 74.684 * [taylor]: Taking taylor expansion of 0 in x 74.685 * [taylor]: Taking taylor expansion of 0 in x 74.686 * * * * [progress]: [ 2 / 2 ] generating series at (2) 74.686 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in (x y) around 0 74.686 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in y 74.686 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in y 74.686 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 74.686 * [taylor]: Taking taylor expansion of (sqrt x) in y 74.686 * [taylor]: Taking taylor expansion of x in y 74.686 * [taylor]: Taking taylor expansion of y in y 74.686 * [taylor]: Taking taylor expansion of 1.0 in y 74.686 * [taylor]: Taking taylor expansion of x in y 74.686 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 74.686 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 74.686 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 74.686 * [taylor]: Taking taylor expansion of (sqrt x) in x 74.686 * [taylor]: Taking taylor expansion of x in x 74.686 * [taylor]: Taking taylor expansion of y in x 74.686 * [taylor]: Taking taylor expansion of 1.0 in x 74.686 * [taylor]: Taking taylor expansion of x in x 74.686 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 74.686 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 74.686 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 74.686 * [taylor]: Taking taylor expansion of (sqrt x) in x 74.686 * [taylor]: Taking taylor expansion of x in x 74.686 * [taylor]: Taking taylor expansion of y in x 74.686 * [taylor]: Taking taylor expansion of 1.0 in x 74.686 * [taylor]: Taking taylor expansion of x in x 74.686 * [taylor]: Taking taylor expansion of 1.0 in y 74.686 * [taylor]: Taking taylor expansion of (- (* NAN y) 1) in y 74.686 * [taylor]: Taking taylor expansion of (* NAN y) in y 74.686 * [taylor]: Taking taylor expansion of NAN in y 74.686 * [taylor]: Taking taylor expansion of y in y 74.686 * [taylor]: Taking taylor expansion of 1 in y 74.687 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y 74.687 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 74.687 * [taylor]: Taking taylor expansion of NAN in y 74.687 * [taylor]: Taking taylor expansion of y in y 74.687 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in (x y) around 0 74.687 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in y 74.687 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in y 74.687 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 74.687 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 74.687 * [taylor]: Taking taylor expansion of (/ 1 x) in y 74.688 * [taylor]: Taking taylor expansion of x in y 74.688 * [taylor]: Taking taylor expansion of (/ 1 y) in y 74.688 * [taylor]: Taking taylor expansion of y in y 74.688 * [taylor]: Taking taylor expansion of 1.0 in y 74.688 * [taylor]: Taking taylor expansion of (/ 1 x) in y 74.688 * [taylor]: Taking taylor expansion of x in y 74.688 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 74.688 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 74.688 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 74.688 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.688 * [taylor]: Taking taylor expansion of x in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 74.688 * [taylor]: Taking taylor expansion of y in x 74.688 * [taylor]: Taking taylor expansion of 1.0 in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.688 * [taylor]: Taking taylor expansion of x in x 74.688 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 74.688 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 74.688 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 74.688 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.688 * [taylor]: Taking taylor expansion of x in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 y) in x 74.688 * [taylor]: Taking taylor expansion of y in x 74.688 * [taylor]: Taking taylor expansion of 1.0 in x 74.688 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.688 * [taylor]: Taking taylor expansion of x in x 74.688 * [taylor]: Taking taylor expansion of (neg 1) in y 74.688 * [taylor]: Taking taylor expansion of 1 in y 74.689 * [taylor]: Taking taylor expansion of (+ (/ NAN y) 1.0) in y 74.689 * [taylor]: Taking taylor expansion of (/ NAN y) in y 74.689 * [taylor]: Taking taylor expansion of NAN in y 74.689 * [taylor]: Taking taylor expansion of y in y 74.689 * [taylor]: Taking taylor expansion of 1.0 in y 74.689 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 74.689 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 74.689 * [taylor]: Taking taylor expansion of NAN in y 74.689 * [taylor]: Taking taylor expansion of y in y 74.690 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in (x y) around 0 74.690 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in y 74.690 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 74.690 * [taylor]: Taking taylor expansion of (/ 1 x) in y 74.690 * [taylor]: Taking taylor expansion of x in y 74.690 * [taylor]: Taking taylor expansion of 1.0 in y 74.690 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 74.690 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 74.690 * [taylor]: Taking taylor expansion of (/ -1 x) in y 74.690 * [taylor]: Taking taylor expansion of -1 in y 74.690 * [taylor]: Taking taylor expansion of x in y 74.690 * [taylor]: Taking taylor expansion of y in y 74.690 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 74.690 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 74.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.691 * [taylor]: Taking taylor expansion of x in x 74.691 * [taylor]: Taking taylor expansion of 1.0 in x 74.691 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 74.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 74.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x 74.691 * [taylor]: Taking taylor expansion of -1 in x 74.691 * [taylor]: Taking taylor expansion of x in x 74.691 * [taylor]: Taking taylor expansion of y in x 74.691 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 74.691 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 74.691 * [taylor]: Taking taylor expansion of (/ 1 x) in x 74.691 * [taylor]: Taking taylor expansion of x in x 74.691 * [taylor]: Taking taylor expansion of 1.0 in x 74.691 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 74.691 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 74.691 * [taylor]: Taking taylor expansion of (/ -1 x) in x 74.691 * [taylor]: Taking taylor expansion of -1 in x 74.691 * [taylor]: Taking taylor expansion of x in x 74.691 * [taylor]: Taking taylor expansion of y in x 74.691 * [taylor]: Taking taylor expansion of 1 in y 74.691 * [taylor]: Taking taylor expansion of (- 1.0 (/ NAN y)) in y 74.691 * [taylor]: Taking taylor expansion of 1.0 in y 74.691 * [taylor]: Taking taylor expansion of (/ NAN y) in y 74.691 * [taylor]: Taking taylor expansion of NAN in y 74.691 * [taylor]: Taking taylor expansion of y in y 74.692 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) y)) in y 74.692 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 74.692 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 74.692 * [taylor]: Taking taylor expansion of NAN in y 74.692 * [taylor]: Taking taylor expansion of y in y 74.693 * * * [progress]: simplifying candidates 74.693 * [simplify]: Simplifying using # : (* 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))) (+ (neg x) (* y (sqrt x))) (+ (neg x) (* y (sqrt x))) (- x (* y (sqrt x))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (- (+ (* x (* NAN y)) 1.0) x) (- (+ (* NAN y) (/ (* (pow NAN 3) y) x)) x) (- (* NAN y) (+ x (/ (* (pow NAN 3) y) x))) 74.695 * * [simplify]: iteration 0 : 93 enodes (cost 442 ) 74.709 * * [simplify]: iteration 1 : 239 enodes (cost 413 ) 74.754 * * [simplify]: iteration 2 : 720 enodes (cost 388 ) 74.922 * * [simplify]: iteration 3 : 2230 enodes (cost 370 ) 75.395 * * [simplify]: iteration done : 5001 enodes (cost 370 ) 75.396 * [simplify]: Simplified to: (* (sqrt x) y) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (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)) (* (sqrt x) y) (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)))) (pow (+ (- 1.0 x) (* y (sqrt x))) 3) (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 y) 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))) (* y (+ (* (pow x 3) (pow NAN 5)) (* x (+ (* x (pow NAN 3)) NAN)))) (+ (/ (* (pow NAN 3) y) x) (* y (+ (/ (pow NAN 5) (pow x 2)) NAN))) (+ (* y (- NAN (/ (pow NAN 3) x))) (/ (* (pow NAN 5) y) (pow x 2))) (- (+ (* x (* NAN y)) 1.0) x) (- (* y (+ NAN (/ (pow NAN 3) x))) x) (- (* y (- NAN (/ (pow NAN 3) x))) x) 75.396 * * * [progress]: adding candidates to table 75.452 * * [progress]: iteration 2 / 4 75.453 * * * [progress]: picking best candidate 75.470 * * * * [pick]: Picked # 75.470 * * * [progress]: localizing error 75.478 * * * [progress]: generating rewritten candidates 75.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 75.485 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 75.495 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 75.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 75.502 * * * [progress]: generating series expansions 75.502 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 75.502 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 75.503 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 75.503 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.503 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.503 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.503 * [taylor]: Taking taylor expansion of 1/4 in x 75.503 * [taylor]: Taking taylor expansion of (log x) in x 75.503 * [taylor]: Taking taylor expansion of x in x 75.503 * [taylor]: Taking taylor expansion of y in x 75.503 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 75.503 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 75.503 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 75.503 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 75.503 * [taylor]: Taking taylor expansion of 1/4 in y 75.503 * [taylor]: Taking taylor expansion of (log x) in y 75.503 * [taylor]: Taking taylor expansion of x in y 75.503 * [taylor]: Taking taylor expansion of y in y 75.503 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 75.503 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 75.503 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 75.503 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 75.503 * [taylor]: Taking taylor expansion of 1/4 in y 75.503 * [taylor]: Taking taylor expansion of (log x) in y 75.503 * [taylor]: Taking taylor expansion of x in y 75.503 * [taylor]: Taking taylor expansion of y in y 75.504 * [taylor]: Taking taylor expansion of 0 in x 75.504 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.504 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.504 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.504 * [taylor]: Taking taylor expansion of 1/4 in x 75.504 * [taylor]: Taking taylor expansion of (log x) in x 75.504 * [taylor]: Taking taylor expansion of x in x 75.505 * [taylor]: Taking taylor expansion of 0 in x 75.506 * [taylor]: Taking taylor expansion of 0 in x 75.506 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 75.506 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 75.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.506 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.506 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.506 * [taylor]: Taking taylor expansion of 1/4 in x 75.506 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.506 * [taylor]: Taking taylor expansion of x in x 75.506 * [taylor]: Taking taylor expansion of (/ 1 y) in x 75.506 * [taylor]: Taking taylor expansion of y in x 75.506 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 75.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 75.506 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 75.506 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 75.506 * [taylor]: Taking taylor expansion of 1/4 in y 75.506 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 75.506 * [taylor]: Taking taylor expansion of (/ 1 x) in y 75.507 * [taylor]: Taking taylor expansion of x in y 75.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.507 * [taylor]: Taking taylor expansion of y in y 75.507 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 75.507 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 75.507 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 75.507 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 75.507 * [taylor]: Taking taylor expansion of 1/4 in y 75.507 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 75.507 * [taylor]: Taking taylor expansion of (/ 1 x) in y 75.507 * [taylor]: Taking taylor expansion of x in y 75.507 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.507 * [taylor]: Taking taylor expansion of y in y 75.507 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.507 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.507 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.507 * [taylor]: Taking taylor expansion of 1/4 in x 75.507 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.507 * [taylor]: Taking taylor expansion of x in x 75.508 * [taylor]: Taking taylor expansion of 0 in x 75.509 * [taylor]: Taking taylor expansion of 0 in x 75.510 * [taylor]: Taking taylor expansion of 0 in x 75.511 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 75.511 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 75.511 * [taylor]: Taking taylor expansion of -1 in x 75.511 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 75.511 * [taylor]: Taking taylor expansion of (/ 1 y) in x 75.511 * [taylor]: Taking taylor expansion of y in x 75.511 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.511 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.511 * [taylor]: Taking taylor expansion of -1 in x 75.511 * [taylor]: Taking taylor expansion of x in x 75.511 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 75.511 * [taylor]: Taking taylor expansion of -1 in y 75.511 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 75.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.511 * [taylor]: Taking taylor expansion of y in y 75.511 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 75.511 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 75.511 * [taylor]: Taking taylor expansion of (/ -1 x) in y 75.511 * [taylor]: Taking taylor expansion of -1 in y 75.511 * [taylor]: Taking taylor expansion of x in y 75.511 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 75.512 * [taylor]: Taking taylor expansion of -1 in y 75.512 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 75.512 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.512 * [taylor]: Taking taylor expansion of y in y 75.512 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 75.512 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 75.512 * [taylor]: Taking taylor expansion of (/ -1 x) in y 75.512 * [taylor]: Taking taylor expansion of -1 in y 75.512 * [taylor]: Taking taylor expansion of x in y 75.512 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 75.512 * [taylor]: Taking taylor expansion of -1 in x 75.512 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.512 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.512 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.512 * [taylor]: Taking taylor expansion of -1 in x 75.512 * [taylor]: Taking taylor expansion of x in x 75.513 * [taylor]: Taking taylor expansion of 0 in x 75.513 * [taylor]: Taking taylor expansion of 0 in x 75.514 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 75.515 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 75.515 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 75.515 * [taylor]: Taking taylor expansion of (sqrt x) in x 75.515 * [taylor]: Taking taylor expansion of x in x 75.515 * [taylor]: Taking taylor expansion of y in x 75.515 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 75.515 * [taylor]: Taking taylor expansion of (sqrt x) in y 75.515 * [taylor]: Taking taylor expansion of x in y 75.515 * [taylor]: Taking taylor expansion of y in y 75.515 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 75.515 * [taylor]: Taking taylor expansion of (sqrt x) in y 75.515 * [taylor]: Taking taylor expansion of x in y 75.515 * [taylor]: Taking taylor expansion of y in y 75.515 * [taylor]: Taking taylor expansion of 0 in x 75.515 * [taylor]: Taking taylor expansion of (sqrt x) in x 75.515 * [taylor]: Taking taylor expansion of x in x 75.515 * [taylor]: Taking taylor expansion of 0 in x 75.515 * [taylor]: Taking taylor expansion of 0 in x 75.516 * [taylor]: Taking taylor expansion of 0 in x 75.517 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 75.517 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 75.517 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 75.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.517 * [taylor]: Taking taylor expansion of x in x 75.517 * [taylor]: Taking taylor expansion of (/ 1 y) in x 75.517 * [taylor]: Taking taylor expansion of y in x 75.517 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 75.517 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 75.517 * [taylor]: Taking taylor expansion of (/ 1 x) in y 75.517 * [taylor]: Taking taylor expansion of x in y 75.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.517 * [taylor]: Taking taylor expansion of y in y 75.517 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 75.517 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 75.517 * [taylor]: Taking taylor expansion of (/ 1 x) in y 75.517 * [taylor]: Taking taylor expansion of x in y 75.517 * [taylor]: Taking taylor expansion of (/ 1 y) in y 75.517 * [taylor]: Taking taylor expansion of y in y 75.517 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 75.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.517 * [taylor]: Taking taylor expansion of x in x 75.517 * [taylor]: Taking taylor expansion of 0 in x 75.518 * [taylor]: Taking taylor expansion of 0 in x 75.518 * [taylor]: Taking taylor expansion of 0 in x 75.519 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 75.519 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 75.519 * [taylor]: Taking taylor expansion of -1 in x 75.519 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 75.519 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.519 * [taylor]: Taking taylor expansion of -1 in x 75.519 * [taylor]: Taking taylor expansion of x in x 75.519 * [taylor]: Taking taylor expansion of y in x 75.519 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 75.519 * [taylor]: Taking taylor expansion of -1 in y 75.519 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 75.519 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 75.519 * [taylor]: Taking taylor expansion of (/ -1 x) in y 75.519 * [taylor]: Taking taylor expansion of -1 in y 75.519 * [taylor]: Taking taylor expansion of x in y 75.520 * [taylor]: Taking taylor expansion of y in y 75.520 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 75.520 * [taylor]: Taking taylor expansion of -1 in y 75.520 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 75.520 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 75.520 * [taylor]: Taking taylor expansion of (/ -1 x) in y 75.520 * [taylor]: Taking taylor expansion of -1 in y 75.520 * [taylor]: Taking taylor expansion of x in y 75.520 * [taylor]: Taking taylor expansion of y in y 75.520 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 75.520 * [taylor]: Taking taylor expansion of -1 in x 75.520 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.520 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.520 * [taylor]: Taking taylor expansion of -1 in x 75.520 * [taylor]: Taking taylor expansion of x in x 75.520 * [taylor]: Taking taylor expansion of 0 in x 75.521 * [taylor]: Taking taylor expansion of 0 in x 75.522 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 75.522 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 75.522 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.522 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.522 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.522 * [taylor]: Taking taylor expansion of 1/4 in x 75.522 * [taylor]: Taking taylor expansion of (log x) in x 75.522 * [taylor]: Taking taylor expansion of x in x 75.522 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.522 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.522 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.522 * [taylor]: Taking taylor expansion of 1/4 in x 75.522 * [taylor]: Taking taylor expansion of (log x) in x 75.522 * [taylor]: Taking taylor expansion of x in x 75.535 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 75.535 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.535 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.535 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.536 * [taylor]: Taking taylor expansion of 1/4 in x 75.536 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.536 * [taylor]: Taking taylor expansion of x in x 75.536 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.536 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.536 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.536 * [taylor]: Taking taylor expansion of 1/4 in x 75.536 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.536 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.536 * [taylor]: Taking taylor expansion of x in x 75.543 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 75.543 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.543 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.543 * [taylor]: Taking taylor expansion of -1 in x 75.543 * [taylor]: Taking taylor expansion of x in x 75.543 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.543 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.543 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.543 * [taylor]: Taking taylor expansion of -1 in x 75.543 * [taylor]: Taking taylor expansion of x in x 75.545 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 75.545 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 75.545 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.545 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.545 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.545 * [taylor]: Taking taylor expansion of 1/4 in x 75.545 * [taylor]: Taking taylor expansion of (log x) in x 75.545 * [taylor]: Taking taylor expansion of x in x 75.545 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 75.545 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 75.545 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 75.545 * [taylor]: Taking taylor expansion of 1/4 in x 75.545 * [taylor]: Taking taylor expansion of (log x) in x 75.545 * [taylor]: Taking taylor expansion of x in x 75.552 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 75.552 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.552 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.552 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.552 * [taylor]: Taking taylor expansion of 1/4 in x 75.552 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.552 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.552 * [taylor]: Taking taylor expansion of x in x 75.553 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 75.553 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 75.553 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 75.553 * [taylor]: Taking taylor expansion of 1/4 in x 75.553 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 75.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x 75.553 * [taylor]: Taking taylor expansion of x in x 75.560 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 75.560 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.560 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.560 * [taylor]: Taking taylor expansion of -1 in x 75.560 * [taylor]: Taking taylor expansion of x in x 75.560 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 75.560 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 75.560 * [taylor]: Taking taylor expansion of (/ -1 x) in x 75.560 * [taylor]: Taking taylor expansion of -1 in x 75.560 * [taylor]: Taking taylor expansion of x in x 75.562 * * * [progress]: simplifying candidates 75.563 * [simplify]: Simplifying using # : (* 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))) (* (* 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))) (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))) (* (exp (* 1/4 (+ (log 1) (log x)))) y) (* (exp (* 1/4 (- (log 1) (log (/ 1 x))))) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (exp (* 1/4 (+ (log 1) (log x)))) (exp (* 1/4 (- (log 1) (log (/ 1 x))))) (- (+ (sqrt NAN) (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ 1 x) (sqrt (pow NAN 5))))) (exp (* 1/4 (+ (log 1) (log x)))) (exp (* 1/4 (- (log 1) (log (/ 1 x))))) (- (+ (sqrt NAN) (* 3/8 (* (/ 1 (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ 1 x) (sqrt (pow NAN 5))))) 75.567 * * [simplify]: iteration 0 : 129 enodes (cost 917 ) 75.585 * * [simplify]: iteration 1 : 323 enodes (cost 751 ) 75.648 * * [simplify]: iteration 2 : 1037 enodes (cost 663 ) 75.907 * * [simplify]: iteration 3 : 3257 enodes (cost 635 ) 76.378 * * [simplify]: iteration done : 5000 enodes (cost 635 ) 76.379 * [simplify]: Simplified to: (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* (sqrt (sqrt x)) y) 3) (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)))) (* (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) y) (* y (fabs (cbrt (sqrt x)))) (* y (sqrt (fabs (cbrt x)))) (* (sqrt (sqrt (sqrt x))) y) y (* (sqrt (sqrt (sqrt x))) y) y (* (sqrt (sqrt (sqrt x))) y) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt y)) (* y (sqrt (sqrt x))) (* y (sqrt x)) (* y (sqrt x)) (+ (* 2 (log (sqrt (sqrt x)))) (log y)) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (* y (sqrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) (* y (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x))) (sqrt x) (log (sqrt (sqrt x))) (exp (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt x))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (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))) (pow (sqrt (sqrt x)) 3) (fabs (cbrt (sqrt x))) (sqrt (cbrt (sqrt x))) (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) 1 (sqrt (sqrt x)) 1/4 1/2 1/4 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))) (* (pow x 1/4) y) (* (pow x 1/4) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (* y (+ (* x (+ NAN (* x (pow NAN 3)))) (* (pow x 3) (pow NAN 5)))) (+ (/ (* (pow NAN 5) y) (pow x 2)) (* y (+ (/ (pow NAN 3) x) NAN))) (+ (* y (- (/ (pow NAN 5) (pow x 2)) (/ (pow NAN 3) x))) (* NAN y)) (pow x 1/4) (pow x 1/4) (- (+ (sqrt NAN) (* (/ 3/8 (pow x 2)) (sqrt (pow NAN 9)))) (* (sqrt (pow NAN 5)) (/ 1/2 x))) (pow x 1/4) (pow x 1/4) (- (+ (sqrt NAN) (* (/ 3/8 (pow x 2)) (sqrt (pow NAN 9)))) (* (sqrt (pow NAN 5)) (/ 1/2 x))) 76.380 * * * [progress]: adding candidates to table 76.482 * * [progress]: iteration 3 / 4 76.483 * * * [progress]: picking best candidate 76.508 * * * * [pick]: Picked # 76.509 * * * [progress]: localizing error 76.519 * * * [progress]: generating rewritten candidates 76.520 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 76.543 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 76.557 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 76.566 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 76.573 * * * [progress]: generating series expansions 76.573 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 76.573 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (x y) around 0 76.573 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 76.573 * [taylor]: Taking taylor expansion of (sqrt x) in y 76.573 * [taylor]: Taking taylor expansion of x in y 76.573 * [taylor]: Taking taylor expansion of y in y 76.573 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 76.573 * [taylor]: Taking taylor expansion of (sqrt x) in x 76.573 * [taylor]: Taking taylor expansion of x in x 76.573 * [taylor]: Taking taylor expansion of y in x 76.573 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 76.573 * [taylor]: Taking taylor expansion of (sqrt x) in x 76.573 * [taylor]: Taking taylor expansion of x in x 76.573 * [taylor]: Taking taylor expansion of y in x 76.573 * [taylor]: Taking taylor expansion of 0 in y 76.573 * [taylor]: Taking taylor expansion of (* NAN y) in y 76.573 * [taylor]: Taking taylor expansion of NAN in y 76.573 * [taylor]: Taking taylor expansion of y in y 76.574 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y 76.574 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 76.574 * [taylor]: Taking taylor expansion of NAN in y 76.574 * [taylor]: Taking taylor expansion of y in y 76.574 * [taylor]: Taking taylor expansion of (* (pow NAN 5) y) in y 76.574 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 76.574 * [taylor]: Taking taylor expansion of NAN in y 76.574 * [taylor]: Taking taylor expansion of y in y 76.575 * [taylor]: Taking taylor expansion of (* (pow NAN 7) y) in y 76.575 * [taylor]: Taking taylor expansion of (pow NAN 7) in y 76.575 * [taylor]: Taking taylor expansion of NAN in y 76.575 * [taylor]: Taking taylor expansion of y in y 76.577 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (x y) around 0 76.577 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 76.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 76.577 * [taylor]: Taking taylor expansion of (/ 1 x) in y 76.577 * [taylor]: Taking taylor expansion of x in y 76.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.577 * [taylor]: Taking taylor expansion of y in y 76.577 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 76.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 76.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.577 * [taylor]: Taking taylor expansion of x in x 76.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.577 * [taylor]: Taking taylor expansion of y in x 76.577 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 76.577 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 76.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.577 * [taylor]: Taking taylor expansion of x in x 76.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.577 * [taylor]: Taking taylor expansion of y in x 76.577 * [taylor]: Taking taylor expansion of 0 in y 76.577 * [taylor]: Taking taylor expansion of (/ NAN y) in y 76.577 * [taylor]: Taking taylor expansion of NAN in y 76.577 * [taylor]: Taking taylor expansion of y in y 76.578 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 76.578 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 76.578 * [taylor]: Taking taylor expansion of NAN in y 76.578 * [taylor]: Taking taylor expansion of y in y 76.579 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) y) in y 76.579 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 76.579 * [taylor]: Taking taylor expansion of NAN in y 76.579 * [taylor]: Taking taylor expansion of y in y 76.579 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (x y) around 0 76.579 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 76.579 * [taylor]: Taking taylor expansion of -1 in y 76.580 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 76.580 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 76.580 * [taylor]: Taking taylor expansion of (/ -1 x) in y 76.580 * [taylor]: Taking taylor expansion of -1 in y 76.580 * [taylor]: Taking taylor expansion of x in y 76.580 * [taylor]: Taking taylor expansion of y in y 76.580 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 76.580 * [taylor]: Taking taylor expansion of -1 in x 76.580 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 76.580 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.580 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.580 * [taylor]: Taking taylor expansion of -1 in x 76.580 * [taylor]: Taking taylor expansion of x in x 76.580 * [taylor]: Taking taylor expansion of y in x 76.580 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 76.580 * [taylor]: Taking taylor expansion of -1 in x 76.580 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 76.580 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.580 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.580 * [taylor]: Taking taylor expansion of -1 in x 76.580 * [taylor]: Taking taylor expansion of x in x 76.580 * [taylor]: Taking taylor expansion of y in x 76.580 * [taylor]: Taking taylor expansion of (* -1 (/ NAN y)) in y 76.580 * [taylor]: Taking taylor expansion of -1 in y 76.580 * [taylor]: Taking taylor expansion of (/ NAN y) in y 76.580 * [taylor]: Taking taylor expansion of NAN in y 76.580 * [taylor]: Taking taylor expansion of y in y 76.581 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) y)) in y 76.581 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 76.581 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 76.581 * [taylor]: Taking taylor expansion of NAN in y 76.581 * [taylor]: Taking taylor expansion of y in y 76.582 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 5) y)) in y 76.582 * [taylor]: Taking taylor expansion of (/ (pow NAN 5) y) in y 76.582 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 76.582 * [taylor]: Taking taylor expansion of NAN in y 76.582 * [taylor]: Taking taylor expansion of y in y 76.583 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 76.583 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (x y) around 0 76.583 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 76.583 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 76.583 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 76.583 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 76.583 * [taylor]: Taking taylor expansion of 1/4 in y 76.583 * [taylor]: Taking taylor expansion of (log x) in y 76.583 * [taylor]: Taking taylor expansion of x in y 76.583 * [taylor]: Taking taylor expansion of y in y 76.583 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 76.583 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 76.583 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 76.583 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 76.583 * [taylor]: Taking taylor expansion of 1/4 in x 76.583 * [taylor]: Taking taylor expansion of (log x) in x 76.583 * [taylor]: Taking taylor expansion of x in x 76.583 * [taylor]: Taking taylor expansion of y in x 76.583 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 76.583 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 76.583 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 76.583 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 76.583 * [taylor]: Taking taylor expansion of 1/4 in x 76.583 * [taylor]: Taking taylor expansion of (log x) in x 76.583 * [taylor]: Taking taylor expansion of x in x 76.584 * [taylor]: Taking taylor expansion of y in x 76.584 * [taylor]: Taking taylor expansion of (* (exp (* 1/4 (+ (log 1) (log x)))) y) in y 76.584 * [taylor]: Taking taylor expansion of (exp (* 1/4 (+ (log 1) (log x)))) in y 76.584 * [taylor]: Taking taylor expansion of (* 1/4 (+ (log 1) (log x))) in y 76.584 * [taylor]: Taking taylor expansion of 1/4 in y 76.584 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 76.584 * [taylor]: Taking taylor expansion of (log 1) in y 76.584 * [taylor]: Taking taylor expansion of 1 in y 76.584 * [taylor]: Taking taylor expansion of (log x) in y 76.584 * [taylor]: Taking taylor expansion of x in y 76.584 * [taylor]: Taking taylor expansion of y in y 76.585 * [taylor]: Taking taylor expansion of 0 in y 76.586 * [taylor]: Taking taylor expansion of 0 in y 76.587 * [taylor]: Taking taylor expansion of 0 in y 76.587 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (x y) around 0 76.587 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 76.587 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 76.587 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 76.587 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 76.587 * [taylor]: Taking taylor expansion of 1/4 in y 76.587 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 76.588 * [taylor]: Taking taylor expansion of (/ 1 x) in y 76.588 * [taylor]: Taking taylor expansion of x in y 76.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.588 * [taylor]: Taking taylor expansion of y in y 76.588 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 76.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 76.588 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 76.588 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 76.588 * [taylor]: Taking taylor expansion of 1/4 in x 76.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.588 * [taylor]: Taking taylor expansion of x in x 76.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.588 * [taylor]: Taking taylor expansion of y in x 76.588 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 76.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 76.588 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 76.588 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 76.588 * [taylor]: Taking taylor expansion of 1/4 in x 76.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.588 * [taylor]: Taking taylor expansion of x in x 76.588 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.588 * [taylor]: Taking taylor expansion of y in x 76.589 * [taylor]: Taking taylor expansion of (/ (exp (* 1/4 (- (log 1) (log x)))) y) in y 76.589 * [taylor]: Taking taylor expansion of (exp (* 1/4 (- (log 1) (log x)))) in y 76.589 * [taylor]: Taking taylor expansion of (* 1/4 (- (log 1) (log x))) in y 76.589 * [taylor]: Taking taylor expansion of 1/4 in y 76.589 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 76.589 * [taylor]: Taking taylor expansion of (log 1) in y 76.589 * [taylor]: Taking taylor expansion of 1 in y 76.589 * [taylor]: Taking taylor expansion of (log x) in y 76.589 * [taylor]: Taking taylor expansion of x in y 76.589 * [taylor]: Taking taylor expansion of y in y 76.590 * [taylor]: Taking taylor expansion of 0 in y 76.591 * [taylor]: Taking taylor expansion of 0 in y 76.593 * [taylor]: Taking taylor expansion of 0 in y 76.594 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (x y) around 0 76.594 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 76.594 * [taylor]: Taking taylor expansion of -1 in y 76.594 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 76.594 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.594 * [taylor]: Taking taylor expansion of y in y 76.594 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 76.594 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 76.594 * [taylor]: Taking taylor expansion of (/ -1 x) in y 76.594 * [taylor]: Taking taylor expansion of -1 in y 76.594 * [taylor]: Taking taylor expansion of x in y 76.595 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 76.595 * [taylor]: Taking taylor expansion of -1 in x 76.595 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 76.595 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.595 * [taylor]: Taking taylor expansion of y in x 76.595 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 76.595 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.595 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.595 * [taylor]: Taking taylor expansion of -1 in x 76.595 * [taylor]: Taking taylor expansion of x in x 76.595 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 76.595 * [taylor]: Taking taylor expansion of -1 in x 76.595 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 76.595 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.595 * [taylor]: Taking taylor expansion of y in x 76.595 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 76.595 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.595 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.595 * [taylor]: Taking taylor expansion of -1 in x 76.595 * [taylor]: Taking taylor expansion of x in x 76.596 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt NAN) (/ 1 y))) in y 76.596 * [taylor]: Taking taylor expansion of -1 in y 76.596 * [taylor]: Taking taylor expansion of (* (sqrt NAN) (/ 1 y)) in y 76.596 * [taylor]: Taking taylor expansion of (sqrt NAN) in y 76.596 * [taylor]: Taking taylor expansion of NAN in y 76.596 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.596 * [taylor]: Taking taylor expansion of y in y 76.596 * [taylor]: Taking taylor expansion of (neg (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 y)))) in y 76.596 * [taylor]: Taking taylor expansion of (* 1/2 (* (sqrt (pow NAN 5)) (/ 1 y))) in y 76.596 * [taylor]: Taking taylor expansion of 1/2 in y 76.597 * [taylor]: Taking taylor expansion of (* (sqrt (pow NAN 5)) (/ 1 y)) in y 76.597 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 5)) in y 76.597 * [taylor]: Taking taylor expansion of (pow NAN 5) in y 76.597 * [taylor]: Taking taylor expansion of NAN in y 76.597 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.597 * [taylor]: Taking taylor expansion of y in y 76.599 * [taylor]: Taking taylor expansion of (neg (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 y)))) in y 76.599 * [taylor]: Taking taylor expansion of (* 3/8 (* (sqrt (pow NAN 9)) (/ 1 y))) in y 76.599 * [taylor]: Taking taylor expansion of 3/8 in y 76.599 * [taylor]: Taking taylor expansion of (* (sqrt (pow NAN 9)) (/ 1 y)) in y 76.599 * [taylor]: Taking taylor expansion of (sqrt (pow NAN 9)) in y 76.599 * [taylor]: Taking taylor expansion of (pow NAN 9) in y 76.599 * [taylor]: Taking taylor expansion of NAN in y 76.599 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.599 * [taylor]: Taking taylor expansion of y in y 76.600 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 76.600 * [approximate]: Taking taylor expansion of (* (pow x 1/8) y) in (x y) around 0 76.600 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in y 76.600 * [taylor]: Taking taylor expansion of (pow x 1/8) in y 76.600 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in y 76.600 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in y 76.600 * [taylor]: Taking taylor expansion of 1/8 in y 76.600 * [taylor]: Taking taylor expansion of (log x) in y 76.600 * [taylor]: Taking taylor expansion of x in y 76.600 * [taylor]: Taking taylor expansion of y in y 76.600 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in x 76.601 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 76.601 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 76.601 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 76.601 * [taylor]: Taking taylor expansion of 1/8 in x 76.601 * [taylor]: Taking taylor expansion of (log x) in x 76.601 * [taylor]: Taking taylor expansion of x in x 76.601 * [taylor]: Taking taylor expansion of y in x 76.601 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in x 76.601 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 76.601 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 76.601 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 76.601 * [taylor]: Taking taylor expansion of 1/8 in x 76.601 * [taylor]: Taking taylor expansion of (log x) in x 76.601 * [taylor]: Taking taylor expansion of x in x 76.601 * [taylor]: Taking taylor expansion of y in x 76.601 * [taylor]: Taking taylor expansion of (* (exp (* 1/8 (+ (log 1) (log x)))) y) in y 76.601 * [taylor]: Taking taylor expansion of (exp (* 1/8 (+ (log 1) (log x)))) in y 76.601 * [taylor]: Taking taylor expansion of (* 1/8 (+ (log 1) (log x))) in y 76.601 * [taylor]: Taking taylor expansion of 1/8 in y 76.601 * [taylor]: Taking taylor expansion of (+ (log 1) (log x)) in y 76.601 * [taylor]: Taking taylor expansion of (log 1) in y 76.601 * [taylor]: Taking taylor expansion of 1 in y 76.601 * [taylor]: Taking taylor expansion of (log x) in y 76.601 * [taylor]: Taking taylor expansion of x in y 76.601 * [taylor]: Taking taylor expansion of y in y 76.602 * [taylor]: Taking taylor expansion of 0 in y 76.603 * [taylor]: Taking taylor expansion of 0 in y 76.605 * [taylor]: Taking taylor expansion of 0 in y 76.605 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in (x y) around 0 76.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in y 76.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in y 76.605 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in y 76.605 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in y 76.605 * [taylor]: Taking taylor expansion of 1/8 in y 76.605 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 76.605 * [taylor]: Taking taylor expansion of (/ 1 x) in y 76.605 * [taylor]: Taking taylor expansion of x in y 76.605 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.605 * [taylor]: Taking taylor expansion of y in y 76.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in x 76.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 76.605 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 76.605 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 76.605 * [taylor]: Taking taylor expansion of 1/8 in x 76.605 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.605 * [taylor]: Taking taylor expansion of x in x 76.605 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.605 * [taylor]: Taking taylor expansion of y in x 76.605 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in x 76.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 76.606 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 76.606 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 76.606 * [taylor]: Taking taylor expansion of 1/8 in x 76.606 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.606 * [taylor]: Taking taylor expansion of x in x 76.606 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.606 * [taylor]: Taking taylor expansion of y in x 76.606 * [taylor]: Taking taylor expansion of (/ (exp (* 1/8 (- (log 1) (log x)))) y) in y 76.606 * [taylor]: Taking taylor expansion of (exp (* 1/8 (- (log 1) (log x)))) in y 76.606 * [taylor]: Taking taylor expansion of (* 1/8 (- (log 1) (log x))) in y 76.606 * [taylor]: Taking taylor expansion of 1/8 in y 76.606 * [taylor]: Taking taylor expansion of (- (log 1) (log x)) in y 76.606 * [taylor]: Taking taylor expansion of (log 1) in y 76.606 * [taylor]: Taking taylor expansion of 1 in y 76.606 * [taylor]: Taking taylor expansion of (log x) in y 76.606 * [taylor]: Taking taylor expansion of x in y 76.606 * [taylor]: Taking taylor expansion of y in y 76.607 * [taylor]: Taking taylor expansion of 0 in y 76.608 * [taylor]: Taking taylor expansion of 0 in y 76.610 * [taylor]: Taking taylor expansion of 0 in y 76.611 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in (x y) around 0 76.611 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in y 76.611 * [taylor]: Taking taylor expansion of -1 in y 76.612 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in y 76.612 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.612 * [taylor]: Taking taylor expansion of y in y 76.612 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in y 76.612 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in y 76.612 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in y 76.612 * [taylor]: Taking taylor expansion of 1/4 in y 76.612 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in y 76.612 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 76.612 * [taylor]: Taking taylor expansion of (/ -1 x) in y 76.612 * [taylor]: Taking taylor expansion of -1 in y 76.612 * [taylor]: Taking taylor expansion of x in y 76.612 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in x 76.612 * [taylor]: Taking taylor expansion of -1 in x 76.612 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in x 76.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.612 * [taylor]: Taking taylor expansion of y in x 76.612 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 76.612 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 76.612 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 76.612 * [taylor]: Taking taylor expansion of 1/4 in x 76.612 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 76.612 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.612 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.612 * [taylor]: Taking taylor expansion of -1 in x 76.612 * [taylor]: Taking taylor expansion of x in x 76.612 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in x 76.612 * [taylor]: Taking taylor expansion of -1 in x 76.612 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in x 76.612 * [taylor]: Taking taylor expansion of (/ 1 y) in x 76.613 * [taylor]: Taking taylor expansion of y in x 76.613 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 76.613 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 76.613 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 76.613 * [taylor]: Taking taylor expansion of 1/4 in x 76.613 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 76.613 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.613 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.613 * [taylor]: Taking taylor expansion of -1 in x 76.613 * [taylor]: Taking taylor expansion of x in x 76.613 * [taylor]: Taking taylor expansion of (* -1 (* (pow NAN 1/4) (/ 1 y))) in y 76.613 * [taylor]: Taking taylor expansion of -1 in y 76.613 * [taylor]: Taking taylor expansion of (* (pow NAN 1/4) (/ 1 y)) in y 76.613 * [taylor]: Taking taylor expansion of (pow NAN 1/4) in y 76.613 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log NAN))) in y 76.613 * [taylor]: Taking taylor expansion of (* 1/4 (log NAN)) in y 76.613 * [taylor]: Taking taylor expansion of 1/4 in y 76.613 * [taylor]: Taking taylor expansion of (log NAN) in y 76.613 * [taylor]: Taking taylor expansion of NAN in y 76.613 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.613 * [taylor]: Taking taylor expansion of y in y 76.615 * [taylor]: Taking taylor expansion of (neg (* 1/4 (* (pow (pow NAN 9) 1/4) (/ 1 y)))) in y 76.615 * [taylor]: Taking taylor expansion of (* 1/4 (* (pow (pow NAN 9) 1/4) (/ 1 y))) in y 76.615 * [taylor]: Taking taylor expansion of 1/4 in y 76.615 * [taylor]: Taking taylor expansion of (* (pow (pow NAN 9) 1/4) (/ 1 y)) in y 76.615 * [taylor]: Taking taylor expansion of (pow (pow NAN 9) 1/4) in y 76.615 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow NAN 9)))) in y 76.615 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow NAN 9))) in y 76.615 * [taylor]: Taking taylor expansion of 1/4 in y 76.615 * [taylor]: Taking taylor expansion of (log (pow NAN 9)) in y 76.615 * [taylor]: Taking taylor expansion of (pow NAN 9) in y 76.615 * [taylor]: Taking taylor expansion of NAN in y 76.615 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.615 * [taylor]: Taking taylor expansion of y in y 76.618 * [taylor]: Taking taylor expansion of (neg (* 5/32 (* (pow (pow NAN 17) 1/4) (/ 1 y)))) in y 76.618 * [taylor]: Taking taylor expansion of (* 5/32 (* (pow (pow NAN 17) 1/4) (/ 1 y))) in y 76.618 * [taylor]: Taking taylor expansion of 5/32 in y 76.618 * [taylor]: Taking taylor expansion of (* (pow (pow NAN 17) 1/4) (/ 1 y)) in y 76.618 * [taylor]: Taking taylor expansion of (pow (pow NAN 17) 1/4) in y 76.618 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow NAN 17)))) in y 76.618 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow NAN 17))) in y 76.618 * [taylor]: Taking taylor expansion of 1/4 in y 76.618 * [taylor]: Taking taylor expansion of (log (pow NAN 17)) in y 76.618 * [taylor]: Taking taylor expansion of (pow NAN 17) in y 76.618 * [taylor]: Taking taylor expansion of NAN in y 76.618 * [taylor]: Taking taylor expansion of (/ 1 y) in y 76.618 * [taylor]: Taking taylor expansion of y in y 76.619 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 76.619 * [approximate]: Taking taylor expansion of (pow x 1/8) in (x) around 0 76.619 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 76.619 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 76.619 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 76.619 * [taylor]: Taking taylor expansion of 1/8 in x 76.619 * [taylor]: Taking taylor expansion of (log x) in x 76.619 * [taylor]: Taking taylor expansion of x in x 76.620 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 76.620 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 76.620 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 76.620 * [taylor]: Taking taylor expansion of 1/8 in x 76.620 * [taylor]: Taking taylor expansion of (log x) in x 76.620 * [taylor]: Taking taylor expansion of x in x 76.627 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/8) in (x) around 0 76.627 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 76.627 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 76.627 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 76.627 * [taylor]: Taking taylor expansion of 1/8 in x 76.627 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.627 * [taylor]: Taking taylor expansion of x in x 76.627 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 76.627 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 76.627 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 76.627 * [taylor]: Taking taylor expansion of 1/8 in x 76.627 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 76.627 * [taylor]: Taking taylor expansion of (/ 1 x) in x 76.627 * [taylor]: Taking taylor expansion of x in x 76.642 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in (x) around 0 76.642 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 76.642 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 76.642 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 76.642 * [taylor]: Taking taylor expansion of 1/4 in x 76.642 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 76.642 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.642 * [taylor]: Taking taylor expansion of -1 in x 76.642 * [taylor]: Taking taylor expansion of x in x 76.642 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 76.642 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 76.642 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 76.642 * [taylor]: Taking taylor expansion of 1/4 in x 76.642 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 76.642 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 76.642 * [taylor]: Taking taylor expansion of (/ -1 x) in x 76.642 * [taylor]: Taking taylor expansion of -1 in x 76.642 * [taylor]: Taking taylor expansion of x in x 76.645 * * * [progress]: simplifying candidates 76.646 * [simplify]: Simplifying using # : (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (+ (+ (+ (log (sqrt (sqrt (sqrt x)))) (log y)) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (+ (log (* (sqrt (sqrt (sqrt x))) y)) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (log (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (log (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (exp (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y y) y)) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt x))) y)) (* (sqrt (sqrt (sqrt x))) y)) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (cbrt (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))) (cbrt (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (+ (+ (log (sqrt (sqrt (sqrt x)))) (log y)) (log (sqrt (sqrt (sqrt x))))) (+ (log (* (sqrt (sqrt (sqrt x))) y)) (log (sqrt (sqrt (sqrt x))))) (log (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (exp (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y y) y)) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt x))) y)) (* (sqrt (sqrt (sqrt x))) y)) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (cbrt (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))))) (cbrt (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (sqrt (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (sqrt (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt 1)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt 1))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt 1)) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) 1) (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt x))) y) (+ (log (sqrt (sqrt (sqrt x)))) (log y)) (log (* (sqrt (sqrt (sqrt x))) y)) (exp (* (sqrt (sqrt (sqrt x))) y)) (* (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y y) y)) (* (cbrt (* (sqrt (sqrt (sqrt x))) y)) (cbrt (* (sqrt (sqrt (sqrt x))) y))) (cbrt (* (sqrt (sqrt (sqrt x))) y)) (* (* (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt x))) y)) (* (sqrt (sqrt (sqrt x))) y)) (sqrt (* (sqrt (sqrt (sqrt x))) y)) (sqrt (* (sqrt (sqrt (sqrt x))) y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt x))) (* (cbrt y) (cbrt y))) (* (sqrt (sqrt (sqrt x))) (sqrt y)) (* (sqrt (sqrt (sqrt x))) 1) (* (cbrt (sqrt (sqrt (sqrt x)))) y) (* (sqrt (cbrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (cbrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt (cbrt x)))) y) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt x))) y) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt x))) y) (log (sqrt (sqrt (sqrt x)))) (exp (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt 1) (sqrt (sqrt (sqrt x))) (/ 1/2 2) (/ 1 2) (/ (/ 1/2 2) 2) (/ (/ 1 2) 2) (/ (/ (/ 1 2) 2) 2) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (* (exp (* 1/4 (+ (log 1) (log x)))) y) (* (exp (* 1/4 (- (log 1) (log (/ 1 x))))) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (* (exp (* 1/8 (+ (log 1) (log x)))) y) (* (exp (* 1/8 (- (log 1) (log (/ 1 x))))) y) (- (+ (* (pow NAN 1/4) y) (* 5/32 (* (/ y (pow x 2)) (pow (pow NAN 17) 1/4)))) (* 1/4 (* (/ y x) (pow (pow NAN 9) 1/4)))) (exp (* 1/8 (+ (log 1) (log x)))) (exp (* 1/8 (- (log 1) (log (/ 1 x))))) (- (+ (* 5/32 (* (/ 1 (pow x 2)) (pow (pow NAN 17) 1/4))) (pow NAN 1/4)) (* 1/4 (* (/ 1 x) (pow (pow NAN 9) 1/4)))) 76.653 * * [simplify]: iteration 0 : 189 enodes (cost 1609 ) 76.681 * * [simplify]: iteration 1 : 485 enodes (cost 1403 ) 76.786 * * [simplify]: iteration 2 : 1753 enodes (cost 1004 ) 77.235 * * [simplify]: iteration done : 5000 enodes (cost 942 ) 77.236 * [simplify]: Simplified to: (* y (sqrt x)) (* y (sqrt x)) (* y (sqrt x)) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* y (sqrt x))) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (pow (* y (sqrt x)) 3) (* (cbrt (* y (sqrt x))) (cbrt (* y (sqrt x)))) (cbrt (* y (sqrt x))) (pow (* y (sqrt x)) 3) (sqrt (* y (sqrt x))) (sqrt (* y (sqrt x))) (* (cbrt (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (* (sqrt (sqrt x)) y))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (fabs (cbrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (sqrt (sqrt x))) (pow (sqrt (sqrt (sqrt x))) 3) (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* (sqrt (sqrt x)) y)) (pow (* (sqrt (sqrt x)) y) 3) (pow (* (sqrt (sqrt x)) y) 3) (* (cbrt (* (sqrt (sqrt x)) y)) (cbrt (* (sqrt (sqrt x)) y))) (cbrt (* (sqrt (sqrt x)) y)) (pow (* (sqrt (sqrt x)) y) 3) (sqrt (* (sqrt (sqrt x)) y)) (sqrt (* (sqrt (sqrt x)) y)) (* (* (sqrt (sqrt (sqrt x))) y) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (fabs (cbrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) (* y (sqrt (fabs (cbrt (sqrt x)))))) (* (sqrt (sqrt (fabs (cbrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x)))) (log (* y (sqrt (sqrt (sqrt x))))) (log (* y (sqrt (sqrt (sqrt x))))) (exp (* y (sqrt (sqrt (sqrt x))))) (pow (* y (sqrt (sqrt (sqrt x)))) 3) (* (cbrt (* (sqrt (sqrt (sqrt x))) y)) (cbrt (* (sqrt (sqrt (sqrt x))) y))) (cbrt (* (sqrt (sqrt (sqrt x))) y)) (pow (* y (sqrt (sqrt (sqrt x)))) 3) (sqrt (* (sqrt (sqrt (sqrt x))) y)) (sqrt (* (sqrt (sqrt (sqrt x))) y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt (sqrt x)))) (sqrt y)) (* (sqrt (sqrt (sqrt x))) (* (cbrt y) (cbrt y))) (* (sqrt (sqrt (sqrt x))) (sqrt y)) (sqrt (sqrt (sqrt x))) (* y (cbrt (sqrt (sqrt (sqrt x))))) (* (sqrt (cbrt (sqrt (sqrt x)))) y) (* (sqrt (sqrt (cbrt (sqrt x)))) y) (* (sqrt (sqrt (sqrt (cbrt x)))) y) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* y (sqrt (sqrt (sqrt x)))) (* (sqrt (sqrt (sqrt (sqrt x)))) y) (* y (sqrt (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x)))) (exp (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt (sqrt x)))) (pow (sqrt (sqrt (sqrt x))) 3) (fabs (cbrt (sqrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt 1) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) 1 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) 1 (sqrt (sqrt (sqrt x))) 1/4 1/2 1/8 1/4 1/8 (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (+ (* y (+ (* x NAN) (* (pow x 2) (pow NAN 3)))) (* (pow x 3) (* (pow NAN 5) y))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (* y (exp (* (log x) 1/4))) (* y (exp (* (log x) 1/4))) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (* y (exp (* 1/8 (log x)))) (* y (exp (* 1/8 (log x)))) (- (+ (* (pow NAN 1/4) y) (* 5/32 (* (/ y (pow x 2)) (pow (pow NAN 17) 1/4)))) (* 1/4 (* (/ y x) (pow (pow NAN 9) 1/4)))) (exp (* 1/8 (log x))) (exp (* 1/8 (log x))) (+ (- (pow NAN 1/4) (* (/ 1/4 x) (pow (pow NAN 9) 1/4))) (* (pow (pow NAN 17) 1/4) (/ 5/32 (pow x 2)))) 77.237 * * * [progress]: adding candidates to table 77.355 * * [progress]: iteration 4 / 4 77.355 * * * [progress]: picking best candidate 77.378 * * * * [pick]: Picked # 77.379 * * * [progress]: localizing error 77.390 * * * [progress]: generating rewritten candidates 77.390 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 77.408 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 77.421 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 77.429 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 77.436 * * * [progress]: generating series expansions 77.436 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 77.436 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 77.436 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 77.436 * [taylor]: Taking taylor expansion of (sqrt x) in x 77.436 * [taylor]: Taking taylor expansion of x in x 77.436 * [taylor]: Taking taylor expansion of y in x 77.436 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 77.436 * [taylor]: Taking taylor expansion of (sqrt x) in y 77.436 * [taylor]: Taking taylor expansion of x in y 77.436 * [taylor]: Taking taylor expansion of y in y 77.436 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 77.436 * [taylor]: Taking taylor expansion of (sqrt x) in y 77.436 * [taylor]: Taking taylor expansion of x in y 77.436 * [taylor]: Taking taylor expansion of y in y 77.436 * [taylor]: Taking taylor expansion of 0 in x 77.436 * [taylor]: Taking taylor expansion of (sqrt x) in x 77.436 * [taylor]: Taking taylor expansion of x in x 77.437 * [taylor]: Taking taylor expansion of 0 in x 77.437 * [taylor]: Taking taylor expansion of 0 in x 77.437 * [taylor]: Taking taylor expansion of 0 in x 77.438 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 77.438 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 77.438 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 77.438 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.438 * [taylor]: Taking taylor expansion of x in x 77.438 * [taylor]: Taking taylor expansion of (/ 1 y) in x 77.438 * [taylor]: Taking taylor expansion of y in x 77.438 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 77.438 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 77.438 * [taylor]: Taking taylor expansion of (/ 1 x) in y 77.438 * [taylor]: Taking taylor expansion of x in y 77.438 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.438 * [taylor]: Taking taylor expansion of y in y 77.438 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 77.438 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 77.438 * [taylor]: Taking taylor expansion of (/ 1 x) in y 77.438 * [taylor]: Taking taylor expansion of x in y 77.439 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.439 * [taylor]: Taking taylor expansion of y in y 77.439 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 77.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.439 * [taylor]: Taking taylor expansion of x in x 77.439 * [taylor]: Taking taylor expansion of 0 in x 77.439 * [taylor]: Taking taylor expansion of 0 in x 77.440 * [taylor]: Taking taylor expansion of 0 in x 77.441 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 77.441 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 77.441 * [taylor]: Taking taylor expansion of -1 in x 77.441 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 77.441 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.441 * [taylor]: Taking taylor expansion of -1 in x 77.441 * [taylor]: Taking taylor expansion of x in x 77.441 * [taylor]: Taking taylor expansion of y in x 77.441 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 77.441 * [taylor]: Taking taylor expansion of -1 in y 77.441 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 77.441 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.441 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.441 * [taylor]: Taking taylor expansion of -1 in y 77.441 * [taylor]: Taking taylor expansion of x in y 77.441 * [taylor]: Taking taylor expansion of y in y 77.441 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 77.441 * [taylor]: Taking taylor expansion of -1 in y 77.441 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 77.441 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.441 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.441 * [taylor]: Taking taylor expansion of -1 in y 77.441 * [taylor]: Taking taylor expansion of x in y 77.441 * [taylor]: Taking taylor expansion of y in y 77.441 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 77.441 * [taylor]: Taking taylor expansion of -1 in x 77.442 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.442 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.442 * [taylor]: Taking taylor expansion of -1 in x 77.442 * [taylor]: Taking taylor expansion of x in x 77.442 * [taylor]: Taking taylor expansion of 0 in x 77.442 * [taylor]: Taking taylor expansion of 0 in x 77.443 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 77.443 * [approximate]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in (y x) around 0 77.443 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in x 77.444 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in x 77.444 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in x 77.444 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in x 77.444 * [taylor]: Taking taylor expansion of 1/8 in x 77.444 * [taylor]: Taking taylor expansion of (log (pow x 3)) in x 77.444 * [taylor]: Taking taylor expansion of (pow x 3) in x 77.444 * [taylor]: Taking taylor expansion of x in x 77.444 * [taylor]: Taking taylor expansion of y in x 77.444 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in y 77.444 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in y 77.444 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in y 77.444 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in y 77.444 * [taylor]: Taking taylor expansion of 1/8 in y 77.444 * [taylor]: Taking taylor expansion of (log (pow x 3)) in y 77.444 * [taylor]: Taking taylor expansion of (pow x 3) in y 77.444 * [taylor]: Taking taylor expansion of x in y 77.444 * [taylor]: Taking taylor expansion of y in y 77.444 * [taylor]: Taking taylor expansion of (* (pow (pow x 3) 1/8) y) in y 77.444 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in y 77.444 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in y 77.444 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in y 77.444 * [taylor]: Taking taylor expansion of 1/8 in y 77.444 * [taylor]: Taking taylor expansion of (log (pow x 3)) in y 77.444 * [taylor]: Taking taylor expansion of (pow x 3) in y 77.444 * [taylor]: Taking taylor expansion of x in y 77.445 * [taylor]: Taking taylor expansion of y in y 77.445 * [taylor]: Taking taylor expansion of 0 in x 77.445 * [taylor]: Taking taylor expansion of (pow (pow x 3) 1/8) in x 77.445 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (pow x 3)))) in x 77.445 * [taylor]: Taking taylor expansion of (* 1/8 (log (pow x 3))) in x 77.445 * [taylor]: Taking taylor expansion of 1/8 in x 77.446 * [taylor]: Taking taylor expansion of (log (pow x 3)) in x 77.446 * [taylor]: Taking taylor expansion of (pow x 3) in x 77.446 * [taylor]: Taking taylor expansion of x in x 77.447 * [taylor]: Taking taylor expansion of 0 in x 77.448 * [taylor]: Taking taylor expansion of 0 in x 77.448 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in (y x) around 0 77.448 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in x 77.449 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in x 77.449 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in x 77.449 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in x 77.449 * [taylor]: Taking taylor expansion of 1/8 in x 77.449 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in x 77.449 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 77.449 * [taylor]: Taking taylor expansion of (pow x 3) in x 77.449 * [taylor]: Taking taylor expansion of x in x 77.449 * [taylor]: Taking taylor expansion of (/ 1 y) in x 77.449 * [taylor]: Taking taylor expansion of y in x 77.449 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in y 77.449 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in y 77.449 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in y 77.449 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in y 77.449 * [taylor]: Taking taylor expansion of 1/8 in y 77.449 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in y 77.449 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 77.449 * [taylor]: Taking taylor expansion of (pow x 3) in y 77.449 * [taylor]: Taking taylor expansion of x in y 77.449 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.449 * [taylor]: Taking taylor expansion of y in y 77.449 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 3)) 1/8) (/ 1 y)) in y 77.450 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in y 77.450 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in y 77.450 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in y 77.450 * [taylor]: Taking taylor expansion of 1/8 in y 77.450 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in y 77.450 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in y 77.450 * [taylor]: Taking taylor expansion of (pow x 3) in y 77.450 * [taylor]: Taking taylor expansion of x in y 77.450 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.450 * [taylor]: Taking taylor expansion of y in y 77.450 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 3)) 1/8) in x 77.450 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 (pow x 3))))) in x 77.450 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 (pow x 3)))) in x 77.450 * [taylor]: Taking taylor expansion of 1/8 in x 77.450 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 3))) in x 77.450 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x 77.450 * [taylor]: Taking taylor expansion of (pow x 3) in x 77.450 * [taylor]: Taking taylor expansion of x in x 77.451 * [taylor]: Taking taylor expansion of 0 in x 77.453 * [taylor]: Taking taylor expansion of 0 in x 77.455 * [taylor]: Taking taylor expansion of 0 in x 77.456 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in (y x) around 0 77.456 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in x 77.456 * [taylor]: Taking taylor expansion of -1 in x 77.456 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in x 77.456 * [taylor]: Taking taylor expansion of (/ 1 y) in x 77.456 * [taylor]: Taking taylor expansion of y in x 77.456 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in x 77.456 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in x 77.456 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in x 77.456 * [taylor]: Taking taylor expansion of 1/4 in x 77.456 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in x 77.456 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in x 77.456 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.456 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.456 * [taylor]: Taking taylor expansion of -1 in x 77.456 * [taylor]: Taking taylor expansion of x in x 77.456 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in y 77.456 * [taylor]: Taking taylor expansion of -1 in y 77.456 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in y 77.456 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.456 * [taylor]: Taking taylor expansion of y in y 77.456 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in y 77.456 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in y 77.456 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in y 77.456 * [taylor]: Taking taylor expansion of 1/4 in y 77.456 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in y 77.456 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in y 77.456 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.457 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.457 * [taylor]: Taking taylor expansion of -1 in y 77.457 * [taylor]: Taking taylor expansion of x in y 77.457 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4))) in y 77.457 * [taylor]: Taking taylor expansion of -1 in y 77.457 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in y 77.457 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.457 * [taylor]: Taking taylor expansion of y in y 77.457 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in y 77.457 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in y 77.457 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in y 77.457 * [taylor]: Taking taylor expansion of 1/4 in y 77.457 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in y 77.457 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in y 77.457 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.457 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.457 * [taylor]: Taking taylor expansion of -1 in y 77.457 * [taylor]: Taking taylor expansion of x in y 77.458 * [taylor]: Taking taylor expansion of (* -1 (pow (pow (sqrt (/ -1 x)) 3) 1/4)) in x 77.458 * [taylor]: Taking taylor expansion of -1 in x 77.458 * [taylor]: Taking taylor expansion of (pow (pow (sqrt (/ -1 x)) 3) 1/4) in x 77.458 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (pow (sqrt (/ -1 x)) 3)))) in x 77.458 * [taylor]: Taking taylor expansion of (* 1/4 (log (pow (sqrt (/ -1 x)) 3))) in x 77.458 * [taylor]: Taking taylor expansion of 1/4 in x 77.458 * [taylor]: Taking taylor expansion of (log (pow (sqrt (/ -1 x)) 3)) in x 77.458 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 3) in x 77.458 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.458 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.458 * [taylor]: Taking taylor expansion of -1 in x 77.458 * [taylor]: Taking taylor expansion of x in x 77.460 * [taylor]: Taking taylor expansion of 0 in x 77.462 * [taylor]: Taking taylor expansion of 0 in x 77.465 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 77.465 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 77.465 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 77.465 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 77.465 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 77.465 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 77.465 * [taylor]: Taking taylor expansion of 1/4 in x 77.465 * [taylor]: Taking taylor expansion of (log x) in x 77.465 * [taylor]: Taking taylor expansion of x in x 77.465 * [taylor]: Taking taylor expansion of y in x 77.465 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 77.465 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 77.465 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 77.465 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 77.465 * [taylor]: Taking taylor expansion of 1/4 in y 77.465 * [taylor]: Taking taylor expansion of (log x) in y 77.465 * [taylor]: Taking taylor expansion of x in y 77.466 * [taylor]: Taking taylor expansion of y in y 77.466 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 77.466 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 77.466 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 77.466 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 77.466 * [taylor]: Taking taylor expansion of 1/4 in y 77.466 * [taylor]: Taking taylor expansion of (log x) in y 77.466 * [taylor]: Taking taylor expansion of x in y 77.466 * [taylor]: Taking taylor expansion of y in y 77.466 * [taylor]: Taking taylor expansion of 0 in x 77.466 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 77.466 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 77.466 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 77.466 * [taylor]: Taking taylor expansion of 1/4 in x 77.466 * [taylor]: Taking taylor expansion of (log x) in x 77.466 * [taylor]: Taking taylor expansion of x in x 77.467 * [taylor]: Taking taylor expansion of 0 in x 77.468 * [taylor]: Taking taylor expansion of 0 in x 77.469 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 77.469 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 77.469 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 77.469 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 77.469 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 77.469 * [taylor]: Taking taylor expansion of 1/4 in x 77.469 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 77.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.469 * [taylor]: Taking taylor expansion of x in x 77.469 * [taylor]: Taking taylor expansion of (/ 1 y) in x 77.469 * [taylor]: Taking taylor expansion of y in x 77.469 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 77.469 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 77.469 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 77.469 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 77.469 * [taylor]: Taking taylor expansion of 1/4 in y 77.469 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 77.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y 77.469 * [taylor]: Taking taylor expansion of x in y 77.469 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.469 * [taylor]: Taking taylor expansion of y in y 77.469 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 77.469 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 77.469 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 77.469 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 77.469 * [taylor]: Taking taylor expansion of 1/4 in y 77.469 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 77.469 * [taylor]: Taking taylor expansion of (/ 1 x) in y 77.469 * [taylor]: Taking taylor expansion of x in y 77.470 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.470 * [taylor]: Taking taylor expansion of y in y 77.470 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 77.470 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 77.470 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 77.470 * [taylor]: Taking taylor expansion of 1/4 in x 77.470 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 77.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.470 * [taylor]: Taking taylor expansion of x in x 77.470 * [taylor]: Taking taylor expansion of 0 in x 77.472 * [taylor]: Taking taylor expansion of 0 in x 77.473 * [taylor]: Taking taylor expansion of 0 in x 77.473 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 77.473 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 77.473 * [taylor]: Taking taylor expansion of -1 in x 77.473 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 77.473 * [taylor]: Taking taylor expansion of (/ 1 y) in x 77.473 * [taylor]: Taking taylor expansion of y in x 77.473 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 77.473 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.473 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.473 * [taylor]: Taking taylor expansion of -1 in x 77.473 * [taylor]: Taking taylor expansion of x in x 77.474 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 77.474 * [taylor]: Taking taylor expansion of -1 in y 77.474 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 77.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.474 * [taylor]: Taking taylor expansion of y in y 77.474 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 77.474 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.474 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.474 * [taylor]: Taking taylor expansion of -1 in y 77.474 * [taylor]: Taking taylor expansion of x in y 77.474 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 77.474 * [taylor]: Taking taylor expansion of -1 in y 77.474 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 77.474 * [taylor]: Taking taylor expansion of (/ 1 y) in y 77.474 * [taylor]: Taking taylor expansion of y in y 77.474 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 77.474 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 77.474 * [taylor]: Taking taylor expansion of (/ -1 x) in y 77.474 * [taylor]: Taking taylor expansion of -1 in y 77.474 * [taylor]: Taking taylor expansion of x in y 77.475 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 77.475 * [taylor]: Taking taylor expansion of -1 in x 77.475 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 77.475 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.475 * [taylor]: Taking taylor expansion of -1 in x 77.475 * [taylor]: Taking taylor expansion of x in x 77.482 * [taylor]: Taking taylor expansion of 0 in x 77.483 * [taylor]: Taking taylor expansion of 0 in x 77.484 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 77.484 * [approximate]: Taking taylor expansion of (pow x 1/8) in (x) around 0 77.484 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 77.484 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 77.484 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 77.484 * [taylor]: Taking taylor expansion of 1/8 in x 77.484 * [taylor]: Taking taylor expansion of (log x) in x 77.484 * [taylor]: Taking taylor expansion of x in x 77.484 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 77.484 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 77.484 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 77.484 * [taylor]: Taking taylor expansion of 1/8 in x 77.485 * [taylor]: Taking taylor expansion of (log x) in x 77.485 * [taylor]: Taking taylor expansion of x in x 77.492 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/8) in (x) around 0 77.492 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 77.492 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 77.492 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 77.492 * [taylor]: Taking taylor expansion of 1/8 in x 77.492 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 77.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.492 * [taylor]: Taking taylor expansion of x in x 77.492 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 77.492 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 77.492 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 77.492 * [taylor]: Taking taylor expansion of 1/8 in x 77.492 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 77.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x 77.492 * [taylor]: Taking taylor expansion of x in x 77.499 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in (x) around 0 77.499 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 77.499 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 77.499 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 77.499 * [taylor]: Taking taylor expansion of 1/4 in x 77.499 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 77.499 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.499 * [taylor]: Taking taylor expansion of -1 in x 77.499 * [taylor]: Taking taylor expansion of x in x 77.500 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 77.500 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 77.500 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 77.500 * [taylor]: Taking taylor expansion of 1/4 in x 77.500 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 77.500 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 77.500 * [taylor]: Taking taylor expansion of (/ -1 x) in x 77.500 * [taylor]: Taking taylor expansion of -1 in x 77.500 * [taylor]: Taking taylor expansion of x in x 77.502 * * * [progress]: simplifying candidates 77.504 * [simplify]: Simplifying using # : (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (+ (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (+ (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (+ (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (exp (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (cbrt (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))) (cbrt (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt 1)))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))) (+ (log (* y (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))) (log (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (exp (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y y) y) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y (sqrt (sqrt x))) (* y (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))))) (cbrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt 1)))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt 1)) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) 1) (* (sqrt (sqrt x)) (sqrt (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 (sqrt x)))) (exp (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt (sqrt x)))) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x))))) (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt 1))) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1)) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt 1) (sqrt (sqrt (sqrt x))) (/ 1/2 2) (/ 1 2) (/ (/ 1/2 2) 2) (/ (/ 1 2) 2) (/ (/ (/ 1 2) 2) 2) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (+ (* (pow x 3) (* (pow NAN 5) y)) (+ (* x (* NAN y)) (* (pow x 2) (* (pow NAN 3) y)))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (* (exp (* 1/8 (+ (log 1) (* 3 (log x))))) y) (* (exp (* 1/8 (- (log 1) (* 3 (log (/ 1 x)))))) y) (- (+ (* 21/32 (* (/ y (pow x 2)) (pow (pow NAN 19) 1/4))) (* (pow (pow NAN 3) 1/4) y)) (* 3/4 (* (/ y x) (pow (pow NAN 11) 1/4)))) (* (exp (* 1/4 (+ (log 1) (log x)))) y) (* (exp (* 1/4 (- (log 1) (log (/ 1 x))))) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (exp (* 1/8 (+ (log 1) (log x)))) (exp (* 1/8 (- (log 1) (log (/ 1 x))))) (- (+ (* 5/32 (* (/ 1 (pow x 2)) (pow (pow NAN 17) 1/4))) (pow NAN 1/4)) (* 1/4 (* (/ 1 x) (pow (pow NAN 9) 1/4)))) 77.510 * * [simplify]: iteration 0 : 207 enodes (cost 1573 ) 77.542 * * [simplify]: iteration 1 : 545 enodes (cost 1303 ) 77.653 * * [simplify]: iteration 2 : 2016 enodes (cost 1041 ) 78.152 * * [simplify]: iteration done : 5001 enodes (cost 994 ) 78.153 * [simplify]: Simplified to: (* y (sqrt x)) (* y (sqrt x)) (* y (sqrt x)) (+ (+ (log y) (log (sqrt (sqrt x)))) (* 2 (log (sqrt (sqrt (sqrt x)))))) (log (* y (sqrt x))) (log (* y (sqrt x))) (log (* y (sqrt x))) (exp (* (sqrt x) y)) (pow (* (sqrt x) y) 3) (pow (* (sqrt x) y) 3) (pow (* (sqrt x) y) 3) (* (cbrt (* (sqrt x) y)) (cbrt (* (sqrt x) y))) (cbrt (* (sqrt x) y)) (pow (* (sqrt x) y) 3) (sqrt (* (sqrt x) y)) (sqrt (* (sqrt x) y)) (* y (* (pow (sqrt (sqrt (sqrt x))) 3) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))))) (* (fabs (cbrt (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* (* (sqrt (fabs (cbrt (sqrt x)))) y) (pow (sqrt (sqrt (sqrt x))) 3)) (* (* y (pow (sqrt (sqrt (sqrt x))) 3)) (sqrt (sqrt (fabs (cbrt x))))) (* (sqrt (sqrt (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* (* y (pow (sqrt (sqrt (sqrt x))) 3)) (sqrt 1)) (* (sqrt (sqrt (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* (sqrt (sqrt (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* (sqrt (sqrt (sqrt (sqrt x)))) (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (sqrt (sqrt x)) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (* y (pow (sqrt (sqrt (sqrt x))) 3)) (+ (+ (log y) (log (sqrt (sqrt x)))) (log (sqrt (sqrt (sqrt x))))) (log (* y (pow (sqrt (sqrt (sqrt x))) 3))) (log (* y (pow (sqrt (sqrt (sqrt x))) 3))) (exp (* y (pow (sqrt (sqrt (sqrt x))) 3))) (pow (* y (pow (sqrt (sqrt (sqrt x))) 3)) 3) (pow (* y (pow (sqrt (sqrt (sqrt x))) 3)) 3) (* (cbrt (* y (pow (sqrt (sqrt (sqrt x))) 3))) (cbrt (* y (pow (sqrt (sqrt (sqrt x))) 3)))) (cbrt (* y (pow (sqrt (sqrt (sqrt x))) 3))) (pow (* y (pow (sqrt (sqrt (sqrt x))) 3)) 3) (sqrt (* y (pow (sqrt (sqrt (sqrt x))) 3))) (sqrt (* y (pow (sqrt (sqrt (sqrt x))) 3))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (fabs (cbrt (sqrt (sqrt x)))) (* y (sqrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (fabs (cbrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (fabs (cbrt x))))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (sqrt 1)) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt x))) (* (* y (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt x))) (pow (sqrt (sqrt (sqrt x))) 3) (* y (sqrt (sqrt x))) (+ (log y) (log (sqrt (sqrt x)))) (log (* y (sqrt (sqrt x)))) (exp (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (* (cbrt (* y (sqrt (sqrt x)))) (cbrt (* y (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (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 (fabs (cbrt (sqrt x)))) (* (sqrt (fabs (cbrt x))) y) (* y (sqrt (sqrt (sqrt x)))) (* y 1) (* y (sqrt (sqrt (sqrt x)))) y (* y (sqrt (sqrt (sqrt x)))) y (* (cbrt y) (sqrt (sqrt x))) (* (sqrt y) (sqrt (sqrt x))) (* y (sqrt (sqrt x))) (log (sqrt (sqrt (sqrt x)))) (exp (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x))))) (cbrt (sqrt (sqrt (sqrt x)))) (pow (sqrt (sqrt (sqrt x))) 3) (fabs (cbrt (sqrt (sqrt x)))) (sqrt (cbrt (sqrt (sqrt x)))) (sqrt (fabs (cbrt (sqrt x)))) (sqrt (sqrt (cbrt (sqrt x)))) (sqrt (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt 1) (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) 1 (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) 1 (sqrt (sqrt (sqrt x))) 1/4 1/2 1/8 1/4 1/8 (sqrt (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x)))) (+ (* (pow x 3) (* (pow NAN 5) y)) (* y (+ (* x NAN) (* (pow x 2) (pow NAN 3))))) (+ (* NAN y) (+ (/ (* (pow NAN 5) y) (pow x 2)) (/ (* (pow NAN 3) y) x))) (- (+ (* NAN y) (/ (* (pow NAN 5) y) (pow x 2))) (/ (* (pow NAN 3) y) x)) (* y (exp (* (log x) 3/8))) (* (exp (* (log x) 3/8)) y) (- (+ (* 21/32 (* (/ y (pow x 2)) (pow (pow NAN 19) 1/4))) (* (pow (pow NAN 3) 1/4) y)) (* 3/4 (* (/ y x) (pow (pow NAN 11) 1/4)))) (* (exp (* (log x) 1/4)) y) (* (exp (* (log x) 1/4)) y) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (pow (exp 1/8) (log x)) (pow (exp 1/8) (log x)) (- (+ (pow NAN 1/4) (* 5/32 (/ (pow (pow NAN 17) 1/4) (pow x 2)))) (* (/ (pow (pow NAN 9) 1/4) x) 1/4)) 78.153 * * * [progress]: adding candidates to table 78.270 * [progress]: [Phase 3 of 3] Extracting. 78.270 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 78.272 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 78.272 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # # # # # #) 78.340 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 78.399 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 78.459 * * * [regime]: Found split indices: #