5.515 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.030 * * * [progress]: [2/2] Setting up program. 0.034 * [progress]: [Phase 2 of 3] Improving. 0.034 * [simplify]: Simplifying using # : (+ (- 1.0 x) (* y (sqrt x))) 0.034 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.035 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.037 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 0.039 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.044 * * [simplify]: iteration 4 : 55 enodes (cost 8 ) 0.051 * * [simplify]: iteration 5 : 70 enodes (cost 8 ) 0.057 * * [simplify]: iteration 6 : 88 enodes (cost 8 ) 0.065 * * [simplify]: iteration 7 : 110 enodes (cost 8 ) 0.082 * * [simplify]: iteration 8 : 134 enodes (cost 8 ) 0.091 * * [simplify]: iteration 9 : 184 enodes (cost 8 ) 0.105 * * [simplify]: iteration 10 : 225 enodes (cost 8 ) 0.133 * * [simplify]: iteration 11 : 297 enodes (cost 8 ) 0.143 * * [simplify]: iteration 12 : 342 enodes (cost 8 ) 0.157 * * [simplify]: iteration 13 : 383 enodes (cost 8 ) 0.185 * * [simplify]: iteration 14 : 446 enodes (cost 8 ) 0.195 * * [simplify]: iteration 15 : 491 enodes (cost 8 ) 0.209 * * [simplify]: iteration 16 : 532 enodes (cost 8 ) 0.238 * * [simplify]: iteration 17 : 595 enodes (cost 8 ) 0.248 * * [simplify]: iteration 18 : 640 enodes (cost 8 ) 0.262 * * [simplify]: iteration 19 : 681 enodes (cost 8 ) 0.291 * * [simplify]: iteration 20 : 744 enodes (cost 8 ) 0.301 * * [simplify]: iteration 21 : 789 enodes (cost 8 ) 0.315 * * [simplify]: iteration 22 : 830 enodes (cost 8 ) 0.344 * * [simplify]: iteration 23 : 893 enodes (cost 8 ) 0.354 * * [simplify]: iteration 24 : 938 enodes (cost 8 ) 0.368 * * [simplify]: iteration 25 : 979 enodes (cost 8 ) 0.397 * * [simplify]: iteration 26 : 1042 enodes (cost 8 ) 0.407 * * [simplify]: iteration 27 : 1087 enodes (cost 8 ) 0.421 * * [simplify]: iteration 28 : 1128 enodes (cost 8 ) 0.449 * * [simplify]: iteration 29 : 1191 enodes (cost 8 ) 0.459 * * [simplify]: iteration 30 : 1236 enodes (cost 8 ) 0.473 * * [simplify]: iteration 31 : 1277 enodes (cost 8 ) 0.501 * * [simplify]: iteration 32 : 1340 enodes (cost 8 ) 0.512 * * [simplify]: iteration 33 : 1385 enodes (cost 8 ) 0.526 * * [simplify]: iteration 34 : 1426 enodes (cost 8 ) 0.554 * * [simplify]: iteration 35 : 1489 enodes (cost 8 ) 0.564 * * [simplify]: iteration 36 : 1534 enodes (cost 8 ) 0.578 * * [simplify]: iteration 37 : 1575 enodes (cost 8 ) 0.607 * * [simplify]: iteration 38 : 1638 enodes (cost 8 ) 0.617 * * [simplify]: iteration 39 : 1683 enodes (cost 8 ) 0.631 * * [simplify]: iteration 40 : 1724 enodes (cost 8 ) 0.660 * * [simplify]: iteration 41 : 1787 enodes (cost 8 ) 0.670 * * [simplify]: iteration 42 : 1832 enodes (cost 8 ) 0.684 * * [simplify]: iteration 43 : 1873 enodes (cost 8 ) 0.713 * * [simplify]: iteration 44 : 1936 enodes (cost 8 ) 0.723 * * [simplify]: iteration 45 : 1981 enodes (cost 8 ) 0.737 * * [simplify]: iteration 46 : 2022 enodes (cost 8 ) 0.765 * * [simplify]: iteration 47 : 2085 enodes (cost 8 ) 0.775 * * [simplify]: iteration 48 : 2130 enodes (cost 8 ) 0.789 * * [simplify]: iteration 49 : 2171 enodes (cost 8 ) 0.817 * * [simplify]: iteration 50 : 2234 enodes (cost 8 ) 0.827 * * [simplify]: iteration 51 : 2279 enodes (cost 8 ) 0.842 * * [simplify]: iteration 52 : 2320 enodes (cost 8 ) 0.870 * * [simplify]: iteration 53 : 2383 enodes (cost 8 ) 0.880 * * [simplify]: iteration 54 : 2428 enodes (cost 8 ) 0.894 * * [simplify]: iteration 55 : 2469 enodes (cost 8 ) 0.918 * * [simplify]: iteration 56 : 2532 enodes (cost 8 ) 0.932 * * [simplify]: iteration 57 : 2577 enodes (cost 8 ) 0.946 * * [simplify]: iteration 58 : 2618 enodes (cost 8 ) 0.970 * * [simplify]: iteration 59 : 2681 enodes (cost 8 ) 0.984 * * [simplify]: iteration 60 : 2726 enodes (cost 8 ) 0.998 * * [simplify]: iteration 61 : 2767 enodes (cost 8 ) 1.022 * * [simplify]: iteration 62 : 2830 enodes (cost 8 ) 1.036 * * [simplify]: iteration 63 : 2875 enodes (cost 8 ) 1.051 * * [simplify]: iteration 64 : 2916 enodes (cost 8 ) 1.075 * * [simplify]: iteration 65 : 2979 enodes (cost 8 ) 1.089 * * [simplify]: iteration 66 : 3024 enodes (cost 8 ) 1.103 * * [simplify]: iteration 67 : 3065 enodes (cost 8 ) 1.127 * * [simplify]: iteration 68 : 3128 enodes (cost 8 ) 1.142 * * [simplify]: iteration 69 : 3173 enodes (cost 8 ) 1.156 * * [simplify]: iteration 70 : 3214 enodes (cost 8 ) 1.180 * * [simplify]: iteration 71 : 3277 enodes (cost 8 ) 1.194 * * [simplify]: iteration 72 : 3322 enodes (cost 8 ) 1.209 * * [simplify]: iteration 73 : 3363 enodes (cost 8 ) 1.233 * * [simplify]: iteration 74 : 3426 enodes (cost 8 ) 1.247 * * [simplify]: iteration 75 : 3471 enodes (cost 8 ) 1.261 * * [simplify]: iteration 76 : 3512 enodes (cost 8 ) 1.285 * * [simplify]: iteration 77 : 3575 enodes (cost 8 ) 1.300 * * [simplify]: iteration 78 : 3620 enodes (cost 8 ) 1.314 * * [simplify]: iteration 79 : 3661 enodes (cost 8 ) 1.338 * * [simplify]: iteration 80 : 3724 enodes (cost 8 ) 1.352 * * [simplify]: iteration 81 : 3769 enodes (cost 8 ) 1.366 * * [simplify]: iteration 82 : 3810 enodes (cost 8 ) 1.390 * * [simplify]: iteration 83 : 3873 enodes (cost 8 ) 1.404 * * [simplify]: iteration 84 : 3918 enodes (cost 8 ) 1.418 * * [simplify]: iteration 85 : 3959 enodes (cost 8 ) 1.442 * * [simplify]: iteration 86 : 4022 enodes (cost 8 ) 1.457 * * [simplify]: iteration 87 : 4067 enodes (cost 8 ) 1.471 * * [simplify]: iteration 88 : 4108 enodes (cost 8 ) 1.495 * * [simplify]: iteration 89 : 4171 enodes (cost 8 ) 1.509 * * [simplify]: iteration 90 : 4216 enodes (cost 8 ) 1.523 * * [simplify]: iteration 91 : 4257 enodes (cost 8 ) 1.547 * * [simplify]: iteration 92 : 4320 enodes (cost 8 ) 1.562 * * [simplify]: iteration 93 : 4365 enodes (cost 8 ) 1.576 * * [simplify]: iteration 94 : 4406 enodes (cost 8 ) 1.600 * * [simplify]: iteration 95 : 4469 enodes (cost 8 ) 1.610 * * [simplify]: iteration 96 : 4514 enodes (cost 8 ) 1.628 * * [simplify]: iteration 97 : 4555 enodes (cost 8 ) 1.652 * * [simplify]: iteration 98 : 4618 enodes (cost 8 ) 1.662 * * [simplify]: iteration 99 : 4663 enodes (cost 8 ) 1.680 * * [simplify]: iteration 100 : 4704 enodes (cost 8 ) 1.704 * * [simplify]: iteration 101 : 4767 enodes (cost 8 ) 1.715 * * [simplify]: iteration 102 : 4812 enodes (cost 8 ) 1.733 * * [simplify]: iteration 103 : 4853 enodes (cost 8 ) 1.757 * * [simplify]: iteration 104 : 4916 enodes (cost 8 ) 1.768 * * [simplify]: iteration 105 : 4961 enodes (cost 8 ) 1.785 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.786 * [simplify]: Simplified to: (+ (- 1.0 x) (* y (sqrt x))) 1.786 * * [progress]: iteration 1 / 4 1.786 * * * [progress]: picking best candidate 1.789 * * * * [pick]: Picked # 1.789 * * * [progress]: localizing error 1.795 * * * [progress]: generating rewritten candidates 1.795 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 1.801 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 1.809 * * * [progress]: generating series expansions 1.809 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 1.809 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 1.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 1.809 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.809 * [taylor]: Taking taylor expansion of x in x 1.809 * [taylor]: Taking taylor expansion of y in x 1.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 1.809 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.809 * [taylor]: Taking taylor expansion of x in y 1.809 * [taylor]: Taking taylor expansion of y in y 1.809 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 1.809 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.809 * [taylor]: Taking taylor expansion of x in y 1.809 * [taylor]: Taking taylor expansion of y in y 1.809 * [taylor]: Taking taylor expansion of 0 in x 1.809 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.810 * [taylor]: Taking taylor expansion of x in x 1.810 * [taylor]: Taking taylor expansion of 0 in x 1.810 * [taylor]: Taking taylor expansion of 0 in x 1.810 * [taylor]: Taking taylor expansion of 0 in x 1.811 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 1.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 1.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.811 * [taylor]: Taking taylor expansion of x in x 1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.811 * [taylor]: Taking taylor expansion of y in x 1.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 1.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.811 * [taylor]: Taking taylor expansion of x in y 1.811 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.811 * [taylor]: Taking taylor expansion of y in y 1.811 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 1.811 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.811 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.812 * [taylor]: Taking taylor expansion of x in y 1.812 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.812 * [taylor]: Taking taylor expansion of y in y 1.812 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.812 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.812 * [taylor]: Taking taylor expansion of x in x 1.812 * [taylor]: Taking taylor expansion of 0 in x 1.812 * [taylor]: Taking taylor expansion of 0 in x 1.813 * [taylor]: Taking taylor expansion of 0 in x 1.814 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 1.814 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 1.814 * [taylor]: Taking taylor expansion of -1 in x 1.814 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.814 * [taylor]: Taking taylor expansion of -1 in x 1.814 * [taylor]: Taking taylor expansion of x in x 1.814 * [taylor]: Taking taylor expansion of y in x 1.814 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 1.814 * [taylor]: Taking taylor expansion of -1 in y 1.814 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.814 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.814 * [taylor]: Taking taylor expansion of -1 in y 1.814 * [taylor]: Taking taylor expansion of x in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.814 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 1.814 * [taylor]: Taking taylor expansion of -1 in y 1.814 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.814 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.814 * [taylor]: Taking taylor expansion of -1 in y 1.814 * [taylor]: Taking taylor expansion of x in y 1.814 * [taylor]: Taking taylor expansion of y in y 1.814 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 1.814 * [taylor]: Taking taylor expansion of -1 in x 1.814 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.814 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.815 * [taylor]: Taking taylor expansion of -1 in x 1.815 * [taylor]: Taking taylor expansion of x in x 1.815 * [taylor]: Taking taylor expansion of 0 in x 1.815 * [taylor]: Taking taylor expansion of 0 in x 1.816 * * * * [progress]: [ 2 / 2 ] generating series at (2) 1.816 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in (x y) around 0 1.816 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in y 1.816 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in y 1.817 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 1.817 * [taylor]: Taking taylor expansion of (sqrt x) in y 1.817 * [taylor]: Taking taylor expansion of x in y 1.817 * [taylor]: Taking taylor expansion of y in y 1.817 * [taylor]: Taking taylor expansion of 1.0 in y 1.817 * [taylor]: Taking taylor expansion of x in y 1.817 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 1.817 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 1.817 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 1.817 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of y in x 1.817 * [taylor]: Taking taylor expansion of 1.0 in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt x) y) 1.0) x) in x 1.817 * [taylor]: Taking taylor expansion of (+ (* (sqrt x) y) 1.0) in x 1.817 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 1.817 * [taylor]: Taking taylor expansion of (sqrt x) in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of y in x 1.817 * [taylor]: Taking taylor expansion of 1.0 in x 1.817 * [taylor]: Taking taylor expansion of x in x 1.817 * [taylor]: Taking taylor expansion of 1.0 in y 1.817 * [taylor]: Taking taylor expansion of (- (* NAN y) 1) in y 1.817 * [taylor]: Taking taylor expansion of (* NAN y) in y 1.817 * [taylor]: Taking taylor expansion of NAN in y 1.817 * [taylor]: Taking taylor expansion of y in y 1.817 * [taylor]: Taking taylor expansion of 1 in y 1.818 * [taylor]: Taking taylor expansion of (* (pow NAN 3) y) in y 1.818 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 1.818 * [taylor]: Taking taylor expansion of NAN in y 1.818 * [taylor]: Taking taylor expansion of y in y 1.818 * [approximate]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in (x y) around 0 1.818 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in y 1.818 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in y 1.818 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 1.818 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 1.818 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.818 * [taylor]: Taking taylor expansion of x in y 1.819 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.819 * [taylor]: Taking taylor expansion of y in y 1.819 * [taylor]: Taking taylor expansion of 1.0 in y 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.819 * [taylor]: Taking taylor expansion of x in y 1.819 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 1.819 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 1.819 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.819 * [taylor]: Taking taylor expansion of y in x 1.819 * [taylor]: Taking taylor expansion of 1.0 in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of (- (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (+ (* (sqrt (/ 1 x)) (/ 1 y)) 1.0) in x 1.819 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 1.819 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.819 * [taylor]: Taking taylor expansion of y in x 1.819 * [taylor]: Taking taylor expansion of 1.0 in x 1.819 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.819 * [taylor]: Taking taylor expansion of x in x 1.819 * [taylor]: Taking taylor expansion of (neg 1) in y 1.819 * [taylor]: Taking taylor expansion of 1 in y 1.820 * [taylor]: Taking taylor expansion of (+ (/ NAN y) 1.0) in y 1.820 * [taylor]: Taking taylor expansion of (/ NAN y) in y 1.820 * [taylor]: Taking taylor expansion of NAN in y 1.820 * [taylor]: Taking taylor expansion of y in y 1.820 * [taylor]: Taking taylor expansion of 1.0 in y 1.820 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 1.820 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 1.820 * [taylor]: Taking taylor expansion of NAN in y 1.820 * [taylor]: Taking taylor expansion of y in y 1.821 * [approximate]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in (x y) around 0 1.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in y 1.821 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 1.821 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.821 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of 1.0 in y 1.821 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 1.821 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 1.821 * [taylor]: Taking taylor expansion of (/ -1 x) in y 1.821 * [taylor]: Taking taylor expansion of -1 in y 1.821 * [taylor]: Taking taylor expansion of x in y 1.821 * [taylor]: Taking taylor expansion of y in y 1.821 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 1.821 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.821 * [taylor]: Taking taylor expansion of x in x 1.821 * [taylor]: Taking taylor expansion of 1.0 in x 1.822 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 1.822 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.822 * [taylor]: Taking taylor expansion of -1 in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of y in x 1.822 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1.0) (/ (sqrt (/ -1 x)) y)) in x 1.822 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 1.822 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of 1.0 in x 1.822 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 1.822 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1.822 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1.822 * [taylor]: Taking taylor expansion of -1 in x 1.822 * [taylor]: Taking taylor expansion of x in x 1.822 * [taylor]: Taking taylor expansion of y in x 1.822 * [taylor]: Taking taylor expansion of 1 in y 1.822 * [taylor]: Taking taylor expansion of (- 1.0 (/ NAN y)) in y 1.822 * [taylor]: Taking taylor expansion of 1.0 in y 1.822 * [taylor]: Taking taylor expansion of (/ NAN y) in y 1.822 * [taylor]: Taking taylor expansion of NAN in y 1.822 * [taylor]: Taking taylor expansion of y in y 1.823 * [taylor]: Taking taylor expansion of (neg (/ (pow NAN 3) y)) in y 1.823 * [taylor]: Taking taylor expansion of (/ (pow NAN 3) y) in y 1.823 * [taylor]: Taking taylor expansion of (pow NAN 3) in y 1.823 * [taylor]: Taking taylor expansion of NAN in y 1.823 * [taylor]: Taking taylor expansion of y in y 1.823 * * * [progress]: simplifying candidates 1.824 * [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))) 1.826 * * [simplify]: iteration 0 : 93 enodes (cost 442 ) 1.840 * * [simplify]: iteration 1 : 239 enodes (cost 411 ) 1.886 * * [simplify]: iteration 2 : 728 enodes (cost 385 ) 2.024 * * [simplify]: iteration 3 : 2176 enodes (cost 370 ) 2.443 * * [simplify]: iteration done : 5001 enodes (cost 370 ) 2.443 * [simplify]: Simplified to: (* y (sqrt x)) (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)) (* y (sqrt x)) (exp (+ (- 1.0 x) (* y (sqrt x)))) (exp (+ (- 1.0 x) (* y (sqrt x)))) (log (+ (- 1.0 x) (* y (sqrt x)))) (exp (+ (- 1.0 x) (* y (sqrt x)))) (* (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (cbrt (+ (- 1.0 x) (* y (sqrt x))))) (cbrt (+ (- 1.0 x) (* y (sqrt x)))) (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)) (+ (* (* y y) x) (* (- 1.0 x) (- (- 1.0 x) (* y (sqrt 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 (+ NAN (* x (pow NAN 3)))))) (+ (/ (* (pow NAN 3) y) x) (* y (+ NAN (/ (pow NAN 5) (pow x 2))))) (- (* y (+ NAN (/ (pow NAN 5) (pow x 2)))) (/ (* (pow NAN 3) y) x)) (- (+ (* x (* NAN y)) 1.0) x) (- (* y (+ NAN (/ (pow NAN 3) x))) x) (- (* y (- NAN (/ (pow NAN 3) x))) x) 2.443 * * * [progress]: adding candidates to table 2.498 * * [progress]: iteration 2 / 4 2.498 * * * [progress]: picking best candidate 2.516 * * * * [pick]: Picked # 2.517 * * * [progress]: localizing error 2.526 * * * [progress]: generating rewritten candidates 2.526 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1) 2.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2) 2.543 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 2.546 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 2.550 * * * [progress]: generating series expansions 2.550 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1) 2.551 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 2.551 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 2.551 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.551 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.551 * [taylor]: Taking taylor expansion of 1/4 in x 2.551 * [taylor]: Taking taylor expansion of (log x) in x 2.551 * [taylor]: Taking taylor expansion of x in x 2.551 * [taylor]: Taking taylor expansion of y in x 2.551 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.551 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.551 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.551 * [taylor]: Taking taylor expansion of 1/4 in y 2.551 * [taylor]: Taking taylor expansion of (log x) in y 2.551 * [taylor]: Taking taylor expansion of x in y 2.551 * [taylor]: Taking taylor expansion of y in y 2.551 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 2.551 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 2.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 2.551 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 2.551 * [taylor]: Taking taylor expansion of 1/4 in y 2.551 * [taylor]: Taking taylor expansion of (log x) in y 2.551 * [taylor]: Taking taylor expansion of x in y 2.551 * [taylor]: Taking taylor expansion of y in y 2.551 * [taylor]: Taking taylor expansion of 0 in x 2.552 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.552 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.552 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.552 * [taylor]: Taking taylor expansion of 1/4 in x 2.552 * [taylor]: Taking taylor expansion of (log x) in x 2.552 * [taylor]: Taking taylor expansion of x in x 2.553 * [taylor]: Taking taylor expansion of 0 in x 2.554 * [taylor]: Taking taylor expansion of 0 in x 2.554 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 2.554 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 2.554 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.554 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.554 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.554 * [taylor]: Taking taylor expansion of 1/4 in x 2.554 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.554 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.554 * [taylor]: Taking taylor expansion of x in x 2.554 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.554 * [taylor]: Taking taylor expansion of y in x 2.555 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.555 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.555 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.555 * [taylor]: Taking taylor expansion of 1/4 in y 2.555 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.555 * [taylor]: Taking taylor expansion of x in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.555 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 2.555 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 2.555 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 2.555 * [taylor]: Taking taylor expansion of 1/4 in y 2.555 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.555 * [taylor]: Taking taylor expansion of x in y 2.555 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.555 * [taylor]: Taking taylor expansion of y in y 2.555 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.555 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.555 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.555 * [taylor]: Taking taylor expansion of 1/4 in x 2.555 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.555 * [taylor]: Taking taylor expansion of x in x 2.556 * [taylor]: Taking taylor expansion of 0 in x 2.557 * [taylor]: Taking taylor expansion of 0 in x 2.559 * [taylor]: Taking taylor expansion of 0 in x 2.559 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 2.559 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 2.559 * [taylor]: Taking taylor expansion of -1 in x 2.559 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 2.559 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.559 * [taylor]: Taking taylor expansion of y in x 2.559 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.559 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.559 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.559 * [taylor]: Taking taylor expansion of -1 in x 2.559 * [taylor]: Taking taylor expansion of x in x 2.560 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.560 * [taylor]: Taking taylor expansion of -1 in y 2.560 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.560 * [taylor]: Taking taylor expansion of y in y 2.560 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.560 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.560 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.560 * [taylor]: Taking taylor expansion of -1 in y 2.560 * [taylor]: Taking taylor expansion of x in y 2.560 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 2.560 * [taylor]: Taking taylor expansion of -1 in y 2.560 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 2.560 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.560 * [taylor]: Taking taylor expansion of y in y 2.560 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 2.560 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.560 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.560 * [taylor]: Taking taylor expansion of -1 in y 2.560 * [taylor]: Taking taylor expansion of x in y 2.560 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 2.561 * [taylor]: Taking taylor expansion of -1 in x 2.561 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.561 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.561 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.561 * [taylor]: Taking taylor expansion of -1 in x 2.561 * [taylor]: Taking taylor expansion of x in x 2.561 * [taylor]: Taking taylor expansion of 0 in x 2.562 * [taylor]: Taking taylor expansion of 0 in x 2.563 * * * * [progress]: [ 2 / 4 ] generating series at (2 2) 2.563 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 2.563 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 2.563 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.563 * [taylor]: Taking taylor expansion of x in x 2.563 * [taylor]: Taking taylor expansion of y in x 2.563 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.563 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.563 * [taylor]: Taking taylor expansion of x in y 2.563 * [taylor]: Taking taylor expansion of y in y 2.563 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 2.563 * [taylor]: Taking taylor expansion of (sqrt x) in y 2.563 * [taylor]: Taking taylor expansion of x in y 2.563 * [taylor]: Taking taylor expansion of y in y 2.564 * [taylor]: Taking taylor expansion of 0 in x 2.564 * [taylor]: Taking taylor expansion of (sqrt x) in x 2.564 * [taylor]: Taking taylor expansion of x in x 2.564 * [taylor]: Taking taylor expansion of 0 in x 2.564 * [taylor]: Taking taylor expansion of 0 in x 2.564 * [taylor]: Taking taylor expansion of 0 in x 2.565 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 2.565 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 2.565 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.565 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.565 * [taylor]: Taking taylor expansion of x in x 2.565 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.565 * [taylor]: Taking taylor expansion of y in x 2.566 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.566 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.566 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.566 * [taylor]: Taking taylor expansion of x in y 2.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.566 * [taylor]: Taking taylor expansion of y in y 2.566 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 2.566 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 2.566 * [taylor]: Taking taylor expansion of (/ 1 x) in y 2.566 * [taylor]: Taking taylor expansion of x in y 2.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.566 * [taylor]: Taking taylor expansion of y in y 2.566 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 2.566 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.566 * [taylor]: Taking taylor expansion of x in x 2.566 * [taylor]: Taking taylor expansion of 0 in x 2.567 * [taylor]: Taking taylor expansion of 0 in x 2.567 * [taylor]: Taking taylor expansion of 0 in x 2.568 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 2.568 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 2.568 * [taylor]: Taking taylor expansion of -1 in x 2.568 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 2.568 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.568 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.568 * [taylor]: Taking taylor expansion of -1 in x 2.568 * [taylor]: Taking taylor expansion of x in x 2.568 * [taylor]: Taking taylor expansion of y in x 2.568 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.568 * [taylor]: Taking taylor expansion of -1 in y 2.568 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.568 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.568 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.568 * [taylor]: Taking taylor expansion of -1 in y 2.568 * [taylor]: Taking taylor expansion of x in y 2.568 * [taylor]: Taking taylor expansion of y in y 2.569 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 2.569 * [taylor]: Taking taylor expansion of -1 in y 2.569 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 2.569 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 2.569 * [taylor]: Taking taylor expansion of (/ -1 x) in y 2.569 * [taylor]: Taking taylor expansion of -1 in y 2.569 * [taylor]: Taking taylor expansion of x in y 2.569 * [taylor]: Taking taylor expansion of y in y 2.569 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 2.569 * [taylor]: Taking taylor expansion of -1 in x 2.569 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.569 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.569 * [taylor]: Taking taylor expansion of -1 in x 2.569 * [taylor]: Taking taylor expansion of x in x 2.569 * [taylor]: Taking taylor expansion of 0 in x 2.570 * [taylor]: Taking taylor expansion of 0 in x 2.571 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 2.571 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 2.571 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.571 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.571 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.571 * [taylor]: Taking taylor expansion of 1/4 in x 2.571 * [taylor]: Taking taylor expansion of (log x) in x 2.571 * [taylor]: Taking taylor expansion of x in x 2.571 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.571 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.571 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.571 * [taylor]: Taking taylor expansion of 1/4 in x 2.571 * [taylor]: Taking taylor expansion of (log x) in x 2.571 * [taylor]: Taking taylor expansion of x in x 2.579 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 2.579 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.579 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.579 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.579 * [taylor]: Taking taylor expansion of 1/4 in x 2.579 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.579 * [taylor]: Taking taylor expansion of x in x 2.579 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.579 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.579 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.579 * [taylor]: Taking taylor expansion of 1/4 in x 2.579 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.579 * [taylor]: Taking taylor expansion of x in x 2.591 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 2.591 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.591 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.591 * [taylor]: Taking taylor expansion of -1 in x 2.591 * [taylor]: Taking taylor expansion of x in x 2.592 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.592 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.592 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.592 * [taylor]: Taking taylor expansion of -1 in x 2.592 * [taylor]: Taking taylor expansion of x in x 2.593 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 2.593 * [approximate]: Taking taylor expansion of (pow x 1/4) in (x) around 0 2.593 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.593 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.593 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.593 * [taylor]: Taking taylor expansion of 1/4 in x 2.593 * [taylor]: Taking taylor expansion of (log x) in x 2.593 * [taylor]: Taking taylor expansion of x in x 2.594 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 2.594 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 2.594 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 2.594 * [taylor]: Taking taylor expansion of 1/4 in x 2.594 * [taylor]: Taking taylor expansion of (log x) in x 2.594 * [taylor]: Taking taylor expansion of x in x 2.601 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/4) in (x) around 0 2.601 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.601 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.601 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.601 * [taylor]: Taking taylor expansion of 1/4 in x 2.601 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.601 * [taylor]: Taking taylor expansion of x in x 2.601 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 2.601 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 2.601 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 2.601 * [taylor]: Taking taylor expansion of 1/4 in x 2.601 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.601 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.602 * [taylor]: Taking taylor expansion of x in x 2.609 * [approximate]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in (x) around 0 2.609 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.609 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.609 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.609 * [taylor]: Taking taylor expansion of -1 in x 2.609 * [taylor]: Taking taylor expansion of x in x 2.610 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 2.610 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 2.610 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.610 * [taylor]: Taking taylor expansion of -1 in x 2.610 * [taylor]: Taking taylor expansion of x in x 2.611 * * * [progress]: simplifying candidates 2.612 * [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))))) 2.616 * * [simplify]: iteration 0 : 129 enodes (cost 917 ) 2.635 * * [simplify]: iteration 1 : 323 enodes (cost 737 ) 2.700 * * [simplify]: iteration 2 : 997 enodes (cost 650 ) 2.893 * * [simplify]: iteration 3 : 2550 enodes (cost 630 ) 3.310 * * [simplify]: iteration done : 5000 enodes (cost 630 ) 3.310 * [simplify]: Simplified to: (* y (sqrt (sqrt x))) (log (* y (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)))) (* y (sqrt (fabs (cbrt x)))) (* y (sqrt (sqrt (sqrt x)))) y (* 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))) (* y (sqrt x)) (* 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) (* (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 (+ (* x (pow NAN 3)) NAN)) (* (pow x 3) (pow NAN 5)))) (+ (* y (+ NAN (/ (pow NAN 5) (pow x 2)))) (/ (* (pow NAN 3) y) x)) (+ (* y (- (/ (pow NAN 5) (pow x 2)) (/ (pow NAN 3) x))) (* NAN y)) (pow x 1/4) (pow x 1/4) (+ (- (* (/ 3/8 (pow x 2)) (sqrt (pow NAN 9))) (* (sqrt (pow NAN 5)) (/ 1/2 x))) (sqrt NAN)) (pow x 1/4) (pow x 1/4) (+ (- (* (/ 3/8 (pow x 2)) (sqrt (pow NAN 9))) (* (sqrt (pow NAN 5)) (/ 1/2 x))) (sqrt NAN)) 3.311 * * * [progress]: adding candidates to table 3.404 * * [progress]: iteration 3 / 4 3.404 * * * [progress]: picking best candidate 3.434 * * * * [pick]: Picked # 3.435 * * * [progress]: localizing error 3.446 * * * [progress]: generating rewritten candidates 3.446 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.463 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.477 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 3.486 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 3.493 * * * [progress]: generating series expansions 3.493 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.493 * [approximate]: Taking taylor expansion of (* (sqrt x) y) in (y x) around 0 3.493 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in x 3.493 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.493 * [taylor]: Taking taylor expansion of x in x 3.493 * [taylor]: Taking taylor expansion of y in x 3.493 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.493 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.493 * [taylor]: Taking taylor expansion of x in y 3.493 * [taylor]: Taking taylor expansion of y in y 3.493 * [taylor]: Taking taylor expansion of (* (sqrt x) y) in y 3.493 * [taylor]: Taking taylor expansion of (sqrt x) in y 3.493 * [taylor]: Taking taylor expansion of x in y 3.493 * [taylor]: Taking taylor expansion of y in y 3.494 * [taylor]: Taking taylor expansion of 0 in x 3.494 * [taylor]: Taking taylor expansion of (sqrt x) in x 3.494 * [taylor]: Taking taylor expansion of x in x 3.494 * [taylor]: Taking taylor expansion of 0 in x 3.494 * [taylor]: Taking taylor expansion of 0 in x 3.494 * [taylor]: Taking taylor expansion of 0 in x 3.495 * [approximate]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in (y x) around 0 3.495 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in x 3.495 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.495 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.495 * [taylor]: Taking taylor expansion of x in x 3.495 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.495 * [taylor]: Taking taylor expansion of y in x 3.495 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.495 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.495 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.495 * [taylor]: Taking taylor expansion of x in y 3.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.496 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (/ 1 y)) in y 3.496 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in y 3.496 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.496 * [taylor]: Taking taylor expansion of x in y 3.496 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.496 * [taylor]: Taking taylor expansion of y in y 3.496 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x 3.496 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.496 * [taylor]: Taking taylor expansion of x in x 3.496 * [taylor]: Taking taylor expansion of 0 in x 3.497 * [taylor]: Taking taylor expansion of 0 in x 3.497 * [taylor]: Taking taylor expansion of 0 in x 3.498 * [approximate]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in (y x) around 0 3.498 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in x 3.498 * [taylor]: Taking taylor expansion of -1 in x 3.498 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in x 3.498 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.498 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.498 * [taylor]: Taking taylor expansion of -1 in x 3.498 * [taylor]: Taking taylor expansion of x in x 3.498 * [taylor]: Taking taylor expansion of y in x 3.498 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 3.498 * [taylor]: Taking taylor expansion of -1 in y 3.498 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 3.498 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.498 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.498 * [taylor]: Taking taylor expansion of -1 in y 3.498 * [taylor]: Taking taylor expansion of x in y 3.498 * [taylor]: Taking taylor expansion of y in y 3.499 * [taylor]: Taking taylor expansion of (* -1 (/ (sqrt (/ -1 x)) y)) in y 3.499 * [taylor]: Taking taylor expansion of -1 in y 3.499 * [taylor]: Taking taylor expansion of (/ (sqrt (/ -1 x)) y) in y 3.499 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.499 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.499 * [taylor]: Taking taylor expansion of -1 in y 3.499 * [taylor]: Taking taylor expansion of x in y 3.499 * [taylor]: Taking taylor expansion of y in y 3.499 * [taylor]: Taking taylor expansion of (* -1 (sqrt (/ -1 x))) in x 3.499 * [taylor]: Taking taylor expansion of -1 in x 3.499 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.499 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.499 * [taylor]: Taking taylor expansion of -1 in x 3.499 * [taylor]: Taking taylor expansion of x in x 3.499 * [taylor]: Taking taylor expansion of 0 in x 3.500 * [taylor]: Taking taylor expansion of 0 in x 3.501 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.501 * [approximate]: Taking taylor expansion of (* (pow x 1/4) y) in (y x) around 0 3.501 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in x 3.501 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.501 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.501 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.501 * [taylor]: Taking taylor expansion of 1/4 in x 3.501 * [taylor]: Taking taylor expansion of (log x) in x 3.501 * [taylor]: Taking taylor expansion of x in x 3.501 * [taylor]: Taking taylor expansion of y in x 3.501 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.501 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.501 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.501 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.501 * [taylor]: Taking taylor expansion of 1/4 in y 3.501 * [taylor]: Taking taylor expansion of (log x) in y 3.501 * [taylor]: Taking taylor expansion of x in y 3.502 * [taylor]: Taking taylor expansion of y in y 3.502 * [taylor]: Taking taylor expansion of (* (pow x 1/4) y) in y 3.502 * [taylor]: Taking taylor expansion of (pow x 1/4) in y 3.502 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in y 3.502 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in y 3.502 * [taylor]: Taking taylor expansion of 1/4 in y 3.502 * [taylor]: Taking taylor expansion of (log x) in y 3.502 * [taylor]: Taking taylor expansion of x in y 3.502 * [taylor]: Taking taylor expansion of y in y 3.502 * [taylor]: Taking taylor expansion of 0 in x 3.502 * [taylor]: Taking taylor expansion of (pow x 1/4) in x 3.502 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log x))) in x 3.502 * [taylor]: Taking taylor expansion of (* 1/4 (log x)) in x 3.502 * [taylor]: Taking taylor expansion of 1/4 in x 3.502 * [taylor]: Taking taylor expansion of (log x) in x 3.502 * [taylor]: Taking taylor expansion of x in x 3.503 * [taylor]: Taking taylor expansion of 0 in x 3.504 * [taylor]: Taking taylor expansion of 0 in x 3.505 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in (y x) around 0 3.505 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in x 3.505 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.505 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.505 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.505 * [taylor]: Taking taylor expansion of 1/4 in x 3.505 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.505 * [taylor]: Taking taylor expansion of x in x 3.505 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.505 * [taylor]: Taking taylor expansion of y in x 3.505 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.505 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.505 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.505 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.505 * [taylor]: Taking taylor expansion of 1/4 in y 3.505 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.505 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.505 * [taylor]: Taking taylor expansion of x in y 3.505 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.505 * [taylor]: Taking taylor expansion of y in y 3.505 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/4) (/ 1 y)) in y 3.505 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in y 3.505 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in y 3.505 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in y 3.505 * [taylor]: Taking taylor expansion of 1/4 in y 3.505 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.505 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.505 * [taylor]: Taking taylor expansion of x in y 3.506 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.506 * [taylor]: Taking taylor expansion of y in y 3.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/4) in x 3.506 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (/ 1 x)))) in x 3.506 * [taylor]: Taking taylor expansion of (* 1/4 (log (/ 1 x))) in x 3.506 * [taylor]: Taking taylor expansion of 1/4 in x 3.506 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.506 * [taylor]: Taking taylor expansion of x in x 3.507 * [taylor]: Taking taylor expansion of 0 in x 3.508 * [taylor]: Taking taylor expansion of 0 in x 3.509 * [taylor]: Taking taylor expansion of 0 in x 3.510 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in (y x) around 0 3.510 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in x 3.510 * [taylor]: Taking taylor expansion of -1 in x 3.510 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in x 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.510 * [taylor]: Taking taylor expansion of y in x 3.510 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.510 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.510 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.510 * [taylor]: Taking taylor expansion of -1 in x 3.510 * [taylor]: Taking taylor expansion of x in x 3.510 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.510 * [taylor]: Taking taylor expansion of -1 in y 3.510 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.510 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.510 * [taylor]: Taking taylor expansion of y in y 3.510 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.510 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.510 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.510 * [taylor]: Taking taylor expansion of -1 in y 3.510 * [taylor]: Taking taylor expansion of x in y 3.511 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (sqrt (sqrt (/ -1 x))))) in y 3.511 * [taylor]: Taking taylor expansion of -1 in y 3.511 * [taylor]: Taking taylor expansion of (* (/ 1 y) (sqrt (sqrt (/ -1 x)))) in y 3.511 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.511 * [taylor]: Taking taylor expansion of y in y 3.511 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in y 3.511 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.511 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.511 * [taylor]: Taking taylor expansion of -1 in y 3.511 * [taylor]: Taking taylor expansion of x in y 3.511 * [taylor]: Taking taylor expansion of (* -1 (sqrt (sqrt (/ -1 x)))) in x 3.511 * [taylor]: Taking taylor expansion of -1 in x 3.511 * [taylor]: Taking taylor expansion of (sqrt (sqrt (/ -1 x))) in x 3.511 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.511 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.511 * [taylor]: Taking taylor expansion of -1 in x 3.511 * [taylor]: Taking taylor expansion of x in x 3.512 * [taylor]: Taking taylor expansion of 0 in x 3.512 * [taylor]: Taking taylor expansion of 0 in x 3.514 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 3.514 * [approximate]: Taking taylor expansion of (* (pow x 1/8) y) in (y x) around 0 3.514 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in x 3.514 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 3.514 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 3.514 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 3.514 * [taylor]: Taking taylor expansion of 1/8 in x 3.514 * [taylor]: Taking taylor expansion of (log x) in x 3.514 * [taylor]: Taking taylor expansion of x in x 3.514 * [taylor]: Taking taylor expansion of y in x 3.514 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in y 3.514 * [taylor]: Taking taylor expansion of (pow x 1/8) in y 3.514 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in y 3.514 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in y 3.514 * [taylor]: Taking taylor expansion of 1/8 in y 3.514 * [taylor]: Taking taylor expansion of (log x) in y 3.514 * [taylor]: Taking taylor expansion of x in y 3.514 * [taylor]: Taking taylor expansion of y in y 3.514 * [taylor]: Taking taylor expansion of (* (pow x 1/8) y) in y 3.514 * [taylor]: Taking taylor expansion of (pow x 1/8) in y 3.514 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in y 3.514 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in y 3.514 * [taylor]: Taking taylor expansion of 1/8 in y 3.515 * [taylor]: Taking taylor expansion of (log x) in y 3.515 * [taylor]: Taking taylor expansion of x in y 3.515 * [taylor]: Taking taylor expansion of y in y 3.515 * [taylor]: Taking taylor expansion of 0 in x 3.515 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 3.515 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 3.515 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 3.515 * [taylor]: Taking taylor expansion of 1/8 in x 3.515 * [taylor]: Taking taylor expansion of (log x) in x 3.515 * [taylor]: Taking taylor expansion of x in x 3.516 * [taylor]: Taking taylor expansion of 0 in x 3.522 * [taylor]: Taking taylor expansion of 0 in x 3.522 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in (y x) around 0 3.522 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in x 3.522 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 3.522 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 3.522 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 3.522 * [taylor]: Taking taylor expansion of 1/8 in x 3.522 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.522 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.522 * [taylor]: Taking taylor expansion of x in x 3.522 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.522 * [taylor]: Taking taylor expansion of y in x 3.522 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in y 3.522 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in y 3.522 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in y 3.522 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in y 3.522 * [taylor]: Taking taylor expansion of 1/8 in y 3.522 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.522 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.522 * [taylor]: Taking taylor expansion of x in y 3.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.523 * [taylor]: Taking taylor expansion of y in y 3.523 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/8) (/ 1 y)) in y 3.523 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in y 3.523 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in y 3.523 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in y 3.523 * [taylor]: Taking taylor expansion of 1/8 in y 3.523 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 3.523 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.523 * [taylor]: Taking taylor expansion of x in y 3.523 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.523 * [taylor]: Taking taylor expansion of y in y 3.523 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 3.523 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 3.523 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 3.523 * [taylor]: Taking taylor expansion of 1/8 in x 3.523 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.523 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.523 * [taylor]: Taking taylor expansion of x in x 3.524 * [taylor]: Taking taylor expansion of 0 in x 3.525 * [taylor]: Taking taylor expansion of 0 in x 3.527 * [taylor]: Taking taylor expansion of 0 in x 3.527 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in (y x) around 0 3.527 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in x 3.527 * [taylor]: Taking taylor expansion of -1 in x 3.527 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in x 3.527 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.527 * [taylor]: Taking taylor expansion of y in x 3.527 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 3.527 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 3.527 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 3.527 * [taylor]: Taking taylor expansion of 1/4 in x 3.527 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.527 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.528 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.528 * [taylor]: Taking taylor expansion of -1 in x 3.528 * [taylor]: Taking taylor expansion of x in x 3.528 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in y 3.528 * [taylor]: Taking taylor expansion of -1 in y 3.528 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in y 3.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.528 * [taylor]: Taking taylor expansion of y in y 3.528 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in y 3.528 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in y 3.528 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in y 3.528 * [taylor]: Taking taylor expansion of 1/4 in y 3.528 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in y 3.528 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.528 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.528 * [taylor]: Taking taylor expansion of -1 in y 3.528 * [taylor]: Taking taylor expansion of x in y 3.528 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4))) in y 3.528 * [taylor]: Taking taylor expansion of -1 in y 3.528 * [taylor]: Taking taylor expansion of (* (/ 1 y) (pow (sqrt (/ -1 x)) 1/4)) in y 3.528 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.528 * [taylor]: Taking taylor expansion of y in y 3.528 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in y 3.528 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in y 3.528 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in y 3.528 * [taylor]: Taking taylor expansion of 1/4 in y 3.528 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in y 3.528 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 3.528 * [taylor]: Taking taylor expansion of (/ -1 x) in y 3.528 * [taylor]: Taking taylor expansion of -1 in y 3.528 * [taylor]: Taking taylor expansion of x in y 3.529 * [taylor]: Taking taylor expansion of (* -1 (pow (sqrt (/ -1 x)) 1/4)) in x 3.529 * [taylor]: Taking taylor expansion of -1 in x 3.529 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 3.529 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 3.529 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 3.529 * [taylor]: Taking taylor expansion of 1/4 in x 3.529 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.529 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.529 * [taylor]: Taking taylor expansion of -1 in x 3.529 * [taylor]: Taking taylor expansion of x in x 3.530 * [taylor]: Taking taylor expansion of 0 in x 3.532 * [taylor]: Taking taylor expansion of 0 in x 3.534 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 3.534 * [approximate]: Taking taylor expansion of (pow x 1/8) in (x) around 0 3.534 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 3.534 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 3.534 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 3.534 * [taylor]: Taking taylor expansion of 1/8 in x 3.534 * [taylor]: Taking taylor expansion of (log x) in x 3.534 * [taylor]: Taking taylor expansion of x in x 3.534 * [taylor]: Taking taylor expansion of (pow x 1/8) in x 3.534 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log x))) in x 3.534 * [taylor]: Taking taylor expansion of (* 1/8 (log x)) in x 3.534 * [taylor]: Taking taylor expansion of 1/8 in x 3.534 * [taylor]: Taking taylor expansion of (log x) in x 3.534 * [taylor]: Taking taylor expansion of x in x 3.542 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/8) in (x) around 0 3.542 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 3.542 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 3.542 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 3.542 * [taylor]: Taking taylor expansion of 1/8 in x 3.542 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.543 * [taylor]: Taking taylor expansion of x in x 3.543 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/8) in x 3.543 * [taylor]: Taking taylor expansion of (exp (* 1/8 (log (/ 1 x)))) in x 3.543 * [taylor]: Taking taylor expansion of (* 1/8 (log (/ 1 x))) in x 3.543 * [taylor]: Taking taylor expansion of 1/8 in x 3.543 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.543 * [taylor]: Taking taylor expansion of x in x 3.551 * [approximate]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in (x) around 0 3.551 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 3.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 3.551 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 3.551 * [taylor]: Taking taylor expansion of 1/4 in x 3.551 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.551 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.551 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.551 * [taylor]: Taking taylor expansion of -1 in x 3.551 * [taylor]: Taking taylor expansion of x in x 3.551 * [taylor]: Taking taylor expansion of (pow (sqrt (/ -1 x)) 1/4) in x 3.551 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (sqrt (/ -1 x))))) in x 3.551 * [taylor]: Taking taylor expansion of (* 1/4 (log (sqrt (/ -1 x)))) in x 3.551 * [taylor]: Taking taylor expansion of 1/4 in x 3.551 * [taylor]: Taking taylor expansion of (log (sqrt (/ -1 x))) in x 3.551 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 3.551 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.551 * [taylor]: Taking taylor expansion of -1 in x 3.551 * [taylor]: Taking taylor expansion of x in x 3.554 * * * [progress]: simplifying candidates 3.555 * [simplify]: Simplifying using # : (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (+ (+ (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (+ (log (* y (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (+ (log (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt x)))) (log (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (exp (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y y) y) (* (* (sqrt (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 x)) (sqrt (sqrt x))) (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 (sqrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (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))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))))) (cbrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt x))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))) (+ (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (+ (log (* y (sqrt (sqrt (sqrt x))))) (log (sqrt (sqrt (sqrt x))))) (log (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (exp (* (* y (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))) (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)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (cbrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x)))))) (cbrt (* (* 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 x))))) (sqrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (sqrt (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt 1)))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt 1))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt 1)) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) 1) (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x)))) (+ (log y) (log (sqrt (sqrt (sqrt x))))) (log (* y (sqrt (sqrt (sqrt x))))) (exp (* y (sqrt (sqrt (sqrt x))))) (* (* (* y y) y) (* (* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt x))))) (* (cbrt (* y (sqrt (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt (sqrt x)))))) (cbrt (* y (sqrt (sqrt (sqrt x))))) (* (* (* y (sqrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (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 (sqrt x))))) (* y (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* y (sqrt (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x)))))) (* y (sqrt (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x)))))) (* y (sqrt (sqrt (sqrt (* (cbrt x) (cbrt x)))))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt (sqrt 1)))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt (sqrt 1))) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y (sqrt 1)) (* y (sqrt (sqrt (sqrt (sqrt x))))) (* y 1) (* (cbrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* 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)))) (* (* (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)))) 3.562 * * [simplify]: iteration 0 : 190 enodes (cost 1621 ) 3.590 * * [simplify]: iteration 1 : 492 enodes (cost 1174 ) 3.715 * * [simplify]: iteration 2 : 1678 enodes (cost 920 ) 4.125 * * [simplify]: iteration done : 5000 enodes (cost 912 ) 4.126 * [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))) (* (* y (sqrt (sqrt x))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt x))) (fabs (cbrt (sqrt x)))) (* (* y (sqrt (sqrt x))) (sqrt (fabs (cbrt x)))) (* (pow (sqrt (sqrt (sqrt x))) 3) y) (* y (sqrt (sqrt x))) (* (pow (sqrt (sqrt (sqrt x))) 3) y) (* y (sqrt (sqrt x))) (* (pow (sqrt (sqrt (sqrt x))) 3) y) (* 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 (* y (sqrt (sqrt x)))) (pow (* y (sqrt (sqrt x))) 3) (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)))) (* (* y (sqrt (sqrt (sqrt x)))) (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* (fabs (cbrt (sqrt (sqrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (fabs (cbrt (sqrt x))))) (* (sqrt (sqrt (fabs (cbrt x)))) (* y (sqrt (sqrt (sqrt x))))) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) y) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) y) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) y) (* (* y (sqrt (sqrt (sqrt x)))) (sqrt (sqrt (sqrt (sqrt x))))) (* (sqrt (sqrt (sqrt x))) y) (sqrt (sqrt x)) (* (sqrt (sqrt (sqrt x))) y) (log (* y (sqrt (sqrt (sqrt x))))) (log (* y (sqrt (sqrt (sqrt x))))) (exp (* y (sqrt (sqrt (sqrt x))))) (pow (* (sqrt (sqrt (sqrt x))) y) 3) (* (cbrt (* y (sqrt (sqrt (sqrt x))))) (cbrt (* y (sqrt (sqrt (sqrt x)))))) (cbrt (* y (sqrt (sqrt (sqrt x))))) (pow (* (sqrt (sqrt (sqrt x))) y) 3) (sqrt (* y (sqrt (sqrt (sqrt x))))) (sqrt (* y (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 (sqrt x))))) (* y (* (cbrt (sqrt (sqrt (sqrt x)))) (cbrt (sqrt (sqrt (sqrt x)))))) (* y (fabs (cbrt (sqrt (sqrt x))))) (* (sqrt (fabs (cbrt (sqrt x)))) y) (* y (sqrt (sqrt (fabs (cbrt x))))) (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* y (sqrt (sqrt (sqrt (sqrt x))))) y (* (cbrt y) (sqrt (sqrt (sqrt x)))) (* (sqrt y) (sqrt (sqrt (sqrt x)))) (* (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)))) (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)))) 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 (+ (* x (pow NAN 3)) NAN)) (* (pow x 3) (pow NAN 5)))) (+ (* y (+ (/ (pow NAN 5) (pow x 2)) NAN)) (/ (* (pow NAN 3) y) x)) (+ (* NAN y) (* y (- (/ (pow NAN 5) (pow x 2)) (/ (pow NAN 3) x)))) (* y (exp (* 1/4 (log x)))) (* y (exp (* 1/4 (log x)))) (- (+ (* (sqrt NAN) y) (* 3/8 (* (/ y (pow x 2)) (sqrt (pow NAN 9))))) (* 1/2 (* (/ y x) (sqrt (pow NAN 5))))) (* y (pow (exp 1/8) (log x))) (* y (pow (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)))) (pow (exp 1/8) (log x)) (pow (exp 1/8) (log x)) (+ (pow NAN 1/4) (- (* (pow (pow NAN 17) 1/4) (/ 5/32 (pow x 2))) (* (pow (pow NAN 9) 1/4) (/ 1/4 x)))) 4.127 * * * [progress]: adding candidates to table 4.232 * * [progress]: iteration 4 / 4 4.232 * * * [progress]: picking best candidate 4.257 * * * * [pick]: Picked # 4.257 * * * [progress]: localizing error 4.273 * * * [progress]: generating rewritten candidates 4.273 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1) 4.274 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 2 1 1) 4.276 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 4.286 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.307 * * * [progress]: generating series expansions 4.307 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1) 4.307 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.307 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.307 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.307 * [taylor]: Taking taylor expansion of 1/3 in x 4.307 * [taylor]: Taking taylor expansion of (log x) in x 4.307 * [taylor]: Taking taylor expansion of x in x 4.307 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.307 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.307 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.307 * [taylor]: Taking taylor expansion of 1/3 in x 4.307 * [taylor]: Taking taylor expansion of (log x) in x 4.307 * [taylor]: Taking taylor expansion of x in x 4.315 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.315 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.315 * [taylor]: Taking taylor expansion of 1/3 in x 4.315 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.315 * [taylor]: Taking taylor expansion of x in x 4.315 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.315 * [taylor]: Taking taylor expansion of 1/3 in x 4.315 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.315 * [taylor]: Taking taylor expansion of x in x 4.323 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 4.323 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 4.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.323 * [taylor]: Taking taylor expansion of 1/3 in x 4.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.323 * [taylor]: Taking taylor expansion of x in x 4.323 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.323 * [taylor]: Taking taylor expansion of -1 in x 4.323 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 4.323 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.323 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.323 * [taylor]: Taking taylor expansion of 1/3 in x 4.324 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.324 * [taylor]: Taking taylor expansion of x in x 4.324 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.324 * [taylor]: Taking taylor expansion of -1 in x 4.334 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 2 1 1) 4.334 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.334 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.334 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.334 * [taylor]: Taking taylor expansion of 1/3 in x 4.334 * [taylor]: Taking taylor expansion of (log x) in x 4.334 * [taylor]: Taking taylor expansion of x in x 4.334 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.334 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.334 * [taylor]: Taking taylor expansion of 1/3 in x 4.334 * [taylor]: Taking taylor expansion of (log x) in x 4.334 * [taylor]: Taking taylor expansion of x in x 4.341 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.341 * [taylor]: Taking taylor expansion of 1/3 in x 4.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.341 * [taylor]: Taking taylor expansion of x in x 4.342 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.342 * [taylor]: Taking taylor expansion of 1/3 in x 4.342 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.342 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.342 * [taylor]: Taking taylor expansion of x in x 4.351 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 4.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 4.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.351 * [taylor]: Taking taylor expansion of 1/3 in x 4.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.351 * [taylor]: Taking taylor expansion of x in x 4.351 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.351 * [taylor]: Taking taylor expansion of -1 in x 4.351 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 4.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.351 * [taylor]: Taking taylor expansion of 1/3 in x 4.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.351 * [taylor]: Taking taylor expansion of x in x 4.352 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.352 * [taylor]: Taking taylor expansion of -1 in x 4.361 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 4.361 * [approximate]: Taking taylor expansion of (* (pow x 1/12) (* (sqrt (fabs (pow x 1/3))) y)) in (y x) around 0 4.361 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (* (sqrt (fabs (pow x 1/3))) y)) in x 4.361 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 4.361 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 4.361 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 4.361 * [taylor]: Taking taylor expansion of 1/12 in x 4.361 * [taylor]: Taking taylor expansion of (log x) in x 4.361 * [taylor]: Taking taylor expansion of x in x 4.362 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in x 4.362 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 4.362 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.363 * [taylor]: Taking taylor expansion of y in x 4.363 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (* (sqrt (fabs (pow x 1/3))) y)) in y 4.363 * [taylor]: Taking taylor expansion of (pow x 1/12) in y 4.363 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in y 4.363 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in y 4.363 * [taylor]: Taking taylor expansion of 1/12 in y 4.363 * [taylor]: Taking taylor expansion of (log x) in y 4.363 * [taylor]: Taking taylor expansion of x in y 4.363 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in y 4.363 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in y 4.363 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in y 4.364 * [taylor]: Taking taylor expansion of y in y 4.364 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (* (sqrt (fabs (pow x 1/3))) y)) in y 4.364 * [taylor]: Taking taylor expansion of (pow x 1/12) in y 4.364 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in y 4.364 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in y 4.364 * [taylor]: Taking taylor expansion of 1/12 in y 4.364 * [taylor]: Taking taylor expansion of (log x) in y 4.364 * [taylor]: Taking taylor expansion of x in y 4.364 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in y 4.364 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in y 4.364 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in y 4.364 * [taylor]: Taking taylor expansion of y in y 4.364 * [taylor]: Taking taylor expansion of 0 in x 4.365 * [taylor]: Taking taylor expansion of (* (pow x 1/12) (sqrt (fabs (pow x 1/3)))) in x 4.365 * [taylor]: Taking taylor expansion of (pow x 1/12) in x 4.365 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log x))) in x 4.365 * [taylor]: Taking taylor expansion of (* 1/12 (log x)) in x 4.365 * [taylor]: Taking taylor expansion of 1/12 in x 4.365 * [taylor]: Taking taylor expansion of (log x) in x 4.365 * [taylor]: Taking taylor expansion of x in x 4.365 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 4.365 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.366 * [taylor]: Taking taylor expansion of 0 in x 4.368 * [taylor]: Taking taylor expansion of 0 in x 4.368 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in (y x) around 0 4.368 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in x 4.368 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.368 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.368 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.368 * [taylor]: Taking taylor expansion of 1/12 in x 4.368 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.368 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.369 * [taylor]: Taking taylor expansion of x in x 4.369 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in x 4.369 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 4.369 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.369 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.369 * [taylor]: Taking taylor expansion of y in x 4.369 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in y 4.369 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.369 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.369 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.369 * [taylor]: Taking taylor expansion of 1/12 in y 4.369 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.369 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.369 * [taylor]: Taking taylor expansion of x in y 4.369 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in y 4.369 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in y 4.369 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in y 4.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.370 * [taylor]: Taking taylor expansion of y in y 4.370 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in y 4.370 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.370 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.370 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.370 * [taylor]: Taking taylor expansion of 1/12 in y 4.370 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.370 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.370 * [taylor]: Taking taylor expansion of x in y 4.370 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in y 4.370 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in y 4.370 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in y 4.370 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.370 * [taylor]: Taking taylor expansion of y in y 4.371 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x 4.371 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.371 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.371 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.371 * [taylor]: Taking taylor expansion of 1/12 in x 4.371 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.371 * [taylor]: Taking taylor expansion of x in x 4.371 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 4.371 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.372 * [taylor]: Taking taylor expansion of 0 in x 4.374 * [taylor]: Taking taylor expansion of 0 in x 4.376 * [taylor]: Taking taylor expansion of 0 in x 4.377 * [approximate]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))))) in (y x) around 0 4.377 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))))) in x 4.377 * [taylor]: Taking taylor expansion of -1 in x 4.377 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)))) in x 4.377 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.377 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.377 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.377 * [taylor]: Taking taylor expansion of 1/12 in x 4.377 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.377 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.377 * [taylor]: Taking taylor expansion of x in x 4.377 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))) in x 4.377 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x 4.377 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x 4.377 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x 4.377 * [taylor]: Taking taylor expansion of 1/4 in x 4.377 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.377 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.377 * [taylor]: Taking taylor expansion of -1 in x 4.378 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)) in x 4.378 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in x 4.378 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 4.378 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.378 * [taylor]: Taking taylor expansion of y in x 4.378 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))))) in y 4.378 * [taylor]: Taking taylor expansion of -1 in y 4.378 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)))) in y 4.378 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.378 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.378 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.378 * [taylor]: Taking taylor expansion of 1/12 in y 4.378 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.378 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.378 * [taylor]: Taking taylor expansion of x in y 4.378 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))) in y 4.378 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y 4.378 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y 4.378 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y 4.378 * [taylor]: Taking taylor expansion of 1/4 in y 4.378 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.379 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.379 * [taylor]: Taking taylor expansion of -1 in y 4.379 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)) in y 4.379 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in y 4.379 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in y 4.379 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.379 * [taylor]: Taking taylor expansion of y in y 4.379 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))))) in y 4.379 * [taylor]: Taking taylor expansion of -1 in y 4.379 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)))) in y 4.379 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.379 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.379 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.379 * [taylor]: Taking taylor expansion of 1/12 in y 4.379 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.379 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.379 * [taylor]: Taking taylor expansion of x in y 4.380 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y))) in y 4.380 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y 4.380 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y 4.380 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y 4.380 * [taylor]: Taking taylor expansion of 1/4 in y 4.380 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.380 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.380 * [taylor]: Taking taylor expansion of -1 in y 4.380 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (/ 1 y)) in y 4.380 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in y 4.380 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in y 4.380 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.381 * [taylor]: Taking taylor expansion of y in y 4.382 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)))) in x 4.382 * [taylor]: Taking taylor expansion of -1 in x 4.382 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4))) in x 4.382 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.382 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.382 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.382 * [taylor]: Taking taylor expansion of 1/12 in x 4.382 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.382 * [taylor]: Taking taylor expansion of x in x 4.382 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) (pow (cbrt -1) 1/4)) in x 4.382 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in x 4.382 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 4.382 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x 4.383 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x 4.383 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x 4.383 * [taylor]: Taking taylor expansion of 1/4 in x 4.383 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.383 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.383 * [taylor]: Taking taylor expansion of -1 in x 4.386 * [taylor]: Taking taylor expansion of 0 in x 4.390 * [taylor]: Taking taylor expansion of 0 in x 4.400 * [taylor]: Taking taylor expansion of 0 in x 4.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.401 * [approximate]: Taking taylor expansion of (* (pow x 1/3) (* (sqrt (fabs (pow x 1/3))) y)) in (y x) around 0 4.401 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* (sqrt (fabs (pow x 1/3))) y)) in x 4.401 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.401 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.401 * [taylor]: Taking taylor expansion of 1/3 in x 4.401 * [taylor]: Taking taylor expansion of (log x) in x 4.401 * [taylor]: Taking taylor expansion of x in x 4.401 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in x 4.401 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 4.401 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.402 * [taylor]: Taking taylor expansion of y in x 4.402 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* (sqrt (fabs (pow x 1/3))) y)) in y 4.402 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 4.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 4.402 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 4.402 * [taylor]: Taking taylor expansion of 1/3 in y 4.402 * [taylor]: Taking taylor expansion of (log x) in y 4.402 * [taylor]: Taking taylor expansion of x in y 4.402 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in y 4.402 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in y 4.402 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in y 4.402 * [taylor]: Taking taylor expansion of y in y 4.402 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (* (sqrt (fabs (pow x 1/3))) y)) in y 4.402 * [taylor]: Taking taylor expansion of (pow x 1/3) in y 4.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in y 4.402 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in y 4.402 * [taylor]: Taking taylor expansion of 1/3 in y 4.402 * [taylor]: Taking taylor expansion of (log x) in y 4.402 * [taylor]: Taking taylor expansion of x in y 4.403 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow x 1/3))) y) in y 4.403 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in y 4.403 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in y 4.403 * [taylor]: Taking taylor expansion of y in y 4.403 * [taylor]: Taking taylor expansion of 0 in x 4.404 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (sqrt (fabs (pow x 1/3)))) in x 4.404 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.404 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.404 * [taylor]: Taking taylor expansion of 1/3 in x 4.404 * [taylor]: Taking taylor expansion of (log x) in x 4.404 * [taylor]: Taking taylor expansion of x in x 4.404 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 4.404 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.406 * [taylor]: Taking taylor expansion of 0 in x 4.407 * [taylor]: Taking taylor expansion of 0 in x 4.408 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in (y x) around 0 4.408 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in x 4.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.408 * [taylor]: Taking taylor expansion of 1/3 in x 4.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.408 * [taylor]: Taking taylor expansion of x in x 4.408 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in x 4.408 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 4.408 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.408 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.408 * [taylor]: Taking taylor expansion of y in x 4.408 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in y 4.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 4.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 4.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 4.408 * [taylor]: Taking taylor expansion of 1/3 in y 4.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.408 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.408 * [taylor]: Taking taylor expansion of x in y 4.409 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in y 4.409 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in y 4.409 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in y 4.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.409 * [taylor]: Taking taylor expansion of y in y 4.409 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y))) in y 4.409 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in y 4.409 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in y 4.409 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in y 4.409 * [taylor]: Taking taylor expansion of 1/3 in y 4.409 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.409 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.409 * [taylor]: Taking taylor expansion of x in y 4.409 * [taylor]: Taking taylor expansion of (* (sqrt (fabs (pow (/ 1 x) 1/3))) (/ 1 y)) in y 4.409 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in y 4.409 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in y 4.409 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.409 * [taylor]: Taking taylor expansion of y in y 4.410 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (sqrt (fabs (pow (/ 1 x) 1/3)))) in x 4.410 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.410 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.410 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.410 * [taylor]: Taking taylor expansion of 1/3 in x 4.410 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.410 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.410 * [taylor]: Taking taylor expansion of x in x 4.410 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 4.410 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.411 * [taylor]: Taking taylor expansion of 0 in x 4.413 * [taylor]: Taking taylor expansion of 0 in x 4.415 * [taylor]: Taking taylor expansion of 0 in x 4.416 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))))) in (y x) around 0 4.416 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))))) in x 4.416 * [taylor]: Taking taylor expansion of -1 in x 4.416 * [taylor]: Taking taylor expansion of (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y)))) in x 4.416 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) in x 4.416 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in x 4.416 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.416 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.416 * [taylor]: Taking taylor expansion of -1 in x 4.416 * [taylor]: Taking taylor expansion of x in x 4.416 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 4.417 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))) in x 4.417 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.417 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.417 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.417 * [taylor]: Taking taylor expansion of 1/12 in x 4.417 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.417 * [taylor]: Taking taylor expansion of x in x 4.418 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (/ 1 y)) in x 4.418 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x 4.418 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x 4.418 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x 4.418 * [taylor]: Taking taylor expansion of 1/4 in x 4.418 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.418 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.418 * [taylor]: Taking taylor expansion of -1 in x 4.418 * [taylor]: Taking taylor expansion of (/ 1 y) in x 4.418 * [taylor]: Taking taylor expansion of y in x 4.418 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))))) in y 4.418 * [taylor]: Taking taylor expansion of -1 in y 4.418 * [taylor]: Taking taylor expansion of (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y)))) in y 4.418 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) in y 4.418 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in y 4.418 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.418 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.418 * [taylor]: Taking taylor expansion of -1 in y 4.418 * [taylor]: Taking taylor expansion of x in y 4.418 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in y 4.419 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))) in y 4.419 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.419 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.419 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.419 * [taylor]: Taking taylor expansion of 1/12 in y 4.419 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.419 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.419 * [taylor]: Taking taylor expansion of x in y 4.419 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (/ 1 y)) in y 4.419 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y 4.419 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y 4.419 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y 4.419 * [taylor]: Taking taylor expansion of 1/4 in y 4.419 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.420 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.420 * [taylor]: Taking taylor expansion of -1 in y 4.420 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.420 * [taylor]: Taking taylor expansion of y in y 4.420 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))))) in y 4.420 * [taylor]: Taking taylor expansion of -1 in y 4.420 * [taylor]: Taking taylor expansion of (* (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y)))) in y 4.420 * [taylor]: Taking taylor expansion of (sqrt (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))))) in y 4.420 * [taylor]: Taking taylor expansion of (* (sqrt (/ -1 x)) (fabs (* (pow (/ 1 x) 1/3) (cbrt -1)))) in y 4.420 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in y 4.420 * [taylor]: Taking taylor expansion of (/ -1 x) in y 4.420 * [taylor]: Taking taylor expansion of -1 in y 4.420 * [taylor]: Taking taylor expansion of x in y 4.420 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in y 4.421 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (pow (cbrt -1) 1/4) (/ 1 y))) in y 4.421 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in y 4.421 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in y 4.421 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in y 4.421 * [taylor]: Taking taylor expansion of 1/12 in y 4.421 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in y 4.421 * [taylor]: Taking taylor expansion of (/ 1 x) in y 4.421 * [taylor]: Taking taylor expansion of x in y 4.421 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/4) (/ 1 y)) in y 4.421 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in y 4.421 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in y 4.421 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in y 4.421 * [taylor]: Taking taylor expansion of 1/4 in y 4.421 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.421 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.421 * [taylor]: Taking taylor expansion of -1 in y 4.422 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.422 * [taylor]: Taking taylor expansion of y in y 4.423 * [taylor]: Taking taylor expansion of (* -1 (* (pow (/ 1 x) 1/12) (* (sqrt (* (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) (sqrt (/ -1 x)))) (pow (cbrt -1) 1/4)))) in x 4.423 * [taylor]: Taking taylor expansion of -1 in x 4.423 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/12) (* (sqrt (* (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) (sqrt (/ -1 x)))) (pow (cbrt -1) 1/4))) in x 4.423 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/12) in x 4.423 * [taylor]: Taking taylor expansion of (exp (* 1/12 (log (/ 1 x)))) in x 4.423 * [taylor]: Taking taylor expansion of (* 1/12 (log (/ 1 x))) in x 4.423 * [taylor]: Taking taylor expansion of 1/12 in x 4.423 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.423 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.423 * [taylor]: Taking taylor expansion of x in x 4.423 * [taylor]: Taking taylor expansion of (* (sqrt (* (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) (sqrt (/ -1 x)))) (pow (cbrt -1) 1/4)) in x 4.423 * [taylor]: Taking taylor expansion of (sqrt (* (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) (sqrt (/ -1 x)))) in x 4.423 * [taylor]: Taking taylor expansion of (* (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) (sqrt (/ -1 x))) in x 4.423 * [taylor]: Taking taylor expansion of (fabs (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 4.423 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 4.423 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.423 * [taylor]: Taking taylor expansion of -1 in x 4.423 * [taylor]: Taking taylor expansion of x in x 4.425 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/4) in x 4.425 * [taylor]: Taking taylor expansion of (exp (* 1/4 (log (cbrt -1)))) in x 4.425 * [taylor]: Taking taylor expansion of (* 1/4 (log (cbrt -1))) in x 4.425 * [taylor]: Taking taylor expansion of 1/4 in x 4.425 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.425 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.425 * [taylor]: Taking taylor expansion of -1 in x 4.428 * [taylor]: Taking taylor expansion of 0 in x 4.435 * [taylor]: Taking taylor expansion of 0 in x 4.444 * * * [progress]: simplifying candidates 4.445 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (+ (+ (log y) (log (sqrt (fabs (cbrt x))))) (log (sqrt (sqrt (cbrt x))))) (+ (log (* y (sqrt (fabs (cbrt x))))) (log (sqrt (sqrt (cbrt x))))) (log (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (exp (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (* (* y y) y) (* (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (sqrt (fabs (cbrt x))))) (* (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (* (* y (sqrt (fabs (cbrt x)))) (* y (sqrt (fabs (cbrt x))))) (* y (sqrt (fabs (cbrt x))))) (* (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))))) (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (sqrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (sqrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (* (cbrt (sqrt (sqrt (cbrt x)))) (cbrt (sqrt (sqrt (cbrt x)))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x)))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (* (cbrt x) (cbrt x)))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt 1)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt 1))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt 1)) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) 1) (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (+ (+ (+ (log y) (log (sqrt (fabs (cbrt x))))) (log (sqrt (sqrt (cbrt x))))) (log (sqrt (sqrt x)))) (+ (+ (log (* y (sqrt (fabs (cbrt x))))) (log (sqrt (sqrt (cbrt x))))) (log (sqrt (sqrt x)))) (+ (log (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (log (sqrt (sqrt x)))) (log (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (exp (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y y) y) (* (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (sqrt (fabs (cbrt x))))) (* (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (fabs (cbrt x)))) (* y (sqrt (fabs (cbrt x))))) (* y (sqrt (fabs (cbrt x))))) (* (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (sqrt (sqrt x)) (sqrt (sqrt x))) (sqrt (sqrt x)))) (* (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))))) (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (* (* (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (* (cbrt (sqrt x)) (cbrt (sqrt x))))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (* (cbrt x) (cbrt x))))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt 1))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt 1)) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) 1) (* (sqrt (sqrt (cbrt x))) (sqrt (sqrt x))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (* (* (exp (* 1/12 (+ (log 1) (log x)))) y) (sqrt (fabs (pow x 1/3)))) (* (sqrt (fabs (pow x 1/3))) (* y (exp (* 1/12 (- (log 1) (log (/ 1 x))))))) (* (sqrt (fabs (* (pow (* -1 x) 1/3) (cbrt -1)))) (* (* y (exp (* 1/12 (- (log 1) (log (/ -1 x)))))) (pow (cbrt -1) 1/4))) (* (* (exp (* 1/3 (+ (log 1) (log x)))) y) (sqrt (fabs (pow x 1/3)))) (* (sqrt (fabs (pow x 1/3))) (* y (exp (* 1/3 (- (log 1) (log (/ 1 x))))))) (- (+ (* (sqrt (* (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) NAN)) (* (* y (exp (* 1/12 (- (log 1) (log (/ -1 x)))))) (pow (cbrt -1) 1/4))) (* 3/8 (* (sqrt (* (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) (pow NAN 9))) (* (/ (* y (exp (* 1/12 (- (log 1) (log (/ -1 x)))))) (pow x 2)) (pow (cbrt -1) 1/4))))) (* 1/2 (* (sqrt (* (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) (pow NAN 5))) (* (/ (* y (exp (* 1/12 (- (log 1) (log (/ -1 x)))))) x) (pow (cbrt -1) 1/4))))) 4.451 * * [simplify]: iteration 0 : 178 enodes (cost 1320 ) 4.480 * * [simplify]: iteration 1 : 436 enodes (cost 1150 ) 4.578 * * [simplify]: iteration 2 : 1585 enodes (cost 1002 ) 4.926 * * [simplify]: iteration done : 5000 enodes (cost 1002 ) 4.927 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (pow (cbrt x) 3) (sqrt (cbrt x)) (sqrt (cbrt x)) (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) (log (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (log (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (log (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (exp (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (pow (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) 3) (pow (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) 3) (* (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))))) (cbrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (pow (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) 3) (sqrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (sqrt (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (* (cbrt (sqrt (sqrt (cbrt x)))) (cbrt (sqrt (sqrt (cbrt x)))))) (* (fabs (cbrt (sqrt (cbrt x)))) (* y (sqrt (fabs (cbrt x))))) (* y (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt (pow x 2/3)))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt (sqrt x))))) (* y (sqrt (fabs (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (fabs (cbrt (cbrt x))))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* y (sqrt (fabs (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* y (sqrt (fabs (cbrt x)))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (sqrt (cbrt x))))) (* y (sqrt (fabs (cbrt x)))) (* (sqrt (sqrt (cbrt x))) (sqrt (fabs (cbrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) (log (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (log (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (log (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (log (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (exp (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (pow (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) 3) (pow (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) 3) (pow (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) 3) (* (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))))) (cbrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (pow (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x))) 3) (sqrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (sqrt (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (* (cbrt (sqrt (sqrt x))) (cbrt (sqrt (sqrt x))))) (* (fabs (cbrt (sqrt x))) (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x))))) (* (* (fabs (cbrt x)) y) (sqrt (sqrt (cbrt x)))) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) (* (* (* y (sqrt (fabs (cbrt x)))) (sqrt (sqrt (cbrt x)))) (sqrt (sqrt (sqrt x)))) (* (* (sqrt (fabs (cbrt x))) (sqrt (sqrt (cbrt x)))) y) (* (sqrt (sqrt x)) (sqrt (sqrt (cbrt x)))) (exp (log (cbrt x))) (exp (log (cbrt x))) (* (cbrt -1) (pow (exp 1/3) (neg (log (/ -1 x))))) (exp (log (cbrt x))) (exp (log (cbrt x))) (* (cbrt -1) (pow (exp 1/3) (neg (log (/ -1 x))))) (* (* y (sqrt (fabs (cbrt x)))) (pow (exp 1/12) (log x))) (* (* y (sqrt (fabs (cbrt x)))) (pow (exp 1/12) (log x))) (* (pow (cbrt -1) 1/4) (* (* y (exp (* 1/12 (neg (log (/ -1 x)))))) (sqrt (fabs (* (cbrt (neg x)) (cbrt -1)))))) (* y (* (exp (log (cbrt x))) (sqrt (fabs (cbrt x))))) (* y (* (exp (log (cbrt x))) (sqrt (fabs (cbrt x))))) (+ (* (* (sqrt (* (pow NAN 5) (fabs (* (cbrt (neg x)) (cbrt -1))))) (/ (* y (pow (cbrt -1) 1/4)) (/ x (exp (* 1/12 (neg (log (/ -1 x)))))))) -1/2) (+ (* (* (* 3/8 (sqrt (* (pow NAN 9) (fabs (* (cbrt (neg x)) (cbrt -1)))))) (pow (cbrt -1) 1/4)) (/ (exp (* 1/12 (neg (log (/ -1 x))))) (/ (pow x 2) y))) (* (* y (exp (* 1/12 (neg (log (/ -1 x)))))) (* (pow (cbrt -1) 1/4) (sqrt (* NAN (fabs (* (cbrt (neg x)) (cbrt -1))))))))) 4.927 * * * [progress]: adding candidates to table 5.034 * [progress]: [Phase 3 of 3] Extracting. 5.034 * * [regime]: Finding splitpoints for: (# # # # # # # # #) 5.036 * * * [regime-changes]: Trying 3 branch expressions: ((+ (- 1.0 x) (* y (sqrt x))) y x) 5.036 * * * * [regimes]: Trying to branch on (+ (- 1.0 x) (* y (sqrt x))) from (# # # # # # # # #) 5.110 * * * * [regimes]: Trying to branch on y from (# # # # # # # # #) 5.175 * * * * [regimes]: Trying to branch on x from (# # # # # # # # #) 5.241 * * * [regime]: Found split indices: #