515.675 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (- (* (+ x 1.0) y) x) 0.025 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.025 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.029 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 0.034 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 0.038 * * [simplify]: iteration 5 : 41 enodes (cost 7 ) 0.043 * * [simplify]: iteration 6 : 49 enodes (cost 7 ) 0.049 * * [simplify]: iteration 7 : 69 enodes (cost 7 ) 0.061 * * [simplify]: iteration 8 : 103 enodes (cost 7 ) 0.092 * * [simplify]: iteration 9 : 178 enodes (cost 7 ) 0.115 * * [simplify]: iteration 10 : 210 enodes (cost 7 ) 0.148 * * [simplify]: iteration 11 : 247 enodes (cost 7 ) 0.189 * * [simplify]: iteration 12 : 277 enodes (cost 7 ) 0.228 * * [simplify]: iteration 13 : 336 enodes (cost 7 ) 0.345 * * [simplify]: iteration 14 : 509 enodes (cost 7 ) 0.439 * * [simplify]: iteration 15 : 592 enodes (cost 7 ) 0.602 * * [simplify]: iteration 16 : 742 enodes (cost 7 ) 0.697 * * [simplify]: iteration 17 : 750 enodes (cost 7 ) 0.799 * * [simplify]: iteration done : 750 enodes (cost 7 ) 0.799 * [simplify]: Simplified to: (- (* (+ x 1.0) y) x) 0.799 * * [progress]: iteration 1 / 4 0.799 * * * [progress]: picking best candidate 0.801 * * * * [pick]: Picked # 0.802 * * * [progress]: localizing error 0.806 * * * [progress]: generating rewritten candidates 0.806 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.814 * * * [progress]: generating series expansions 0.814 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.814 * [approximate]: Taking taylor expansion of (* (+ x 1.0) y) in (x y) around 0 0.814 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in y 0.814 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 0.814 * [taylor]: Taking taylor expansion of x in y 0.814 * [taylor]: Taking taylor expansion of 1.0 in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 0.814 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.814 * [taylor]: Taking taylor expansion of 1.0 in x 0.814 * [taylor]: Taking taylor expansion of y in x 0.814 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 0.814 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.814 * [taylor]: Taking taylor expansion of x in x 0.814 * [taylor]: Taking taylor expansion of 1.0 in x 0.814 * [taylor]: Taking taylor expansion of y in x 0.814 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.814 * [taylor]: Taking taylor expansion of 1.0 in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of y in y 0.814 * [taylor]: Taking taylor expansion of 0 in y 0.815 * [taylor]: Taking taylor expansion of 0 in y 0.815 * [taylor]: Taking taylor expansion of 0 in y 0.815 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0 0.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.815 * [taylor]: Taking taylor expansion of x in y 0.815 * [taylor]: Taking taylor expansion of 1.0 in y 0.815 * [taylor]: Taking taylor expansion of y in y 0.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.815 * [taylor]: Taking taylor expansion of x in x 0.815 * [taylor]: Taking taylor expansion of 1.0 in x 0.815 * [taylor]: Taking taylor expansion of y in x 0.815 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 0.815 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.816 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.816 * [taylor]: Taking taylor expansion of x in x 0.816 * [taylor]: Taking taylor expansion of 1.0 in x 0.816 * [taylor]: Taking taylor expansion of y in x 0.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.816 * [taylor]: Taking taylor expansion of 1.0 in y 0.816 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.816 * [taylor]: Taking taylor expansion of y in y 0.816 * [taylor]: Taking taylor expansion of 0 in y 0.816 * [taylor]: Taking taylor expansion of 0 in y 0.817 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 0.817 * [taylor]: Taking taylor expansion of -1 in y 0.817 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 0.817 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 0.817 * [taylor]: Taking taylor expansion of 1.0 in y 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.817 * [taylor]: Taking taylor expansion of x in y 0.817 * [taylor]: Taking taylor expansion of y in y 0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.817 * [taylor]: Taking taylor expansion of -1 in x 0.817 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.817 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.817 * [taylor]: Taking taylor expansion of 1.0 in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.817 * [taylor]: Taking taylor expansion of y in x 0.817 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 0.817 * [taylor]: Taking taylor expansion of -1 in x 0.817 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 0.817 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.817 * [taylor]: Taking taylor expansion of 1.0 in x 0.817 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.817 * [taylor]: Taking taylor expansion of x in x 0.817 * [taylor]: Taking taylor expansion of y in x 0.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 0.818 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 0.818 * [taylor]: Taking taylor expansion of 1.0 in y 0.818 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.818 * [taylor]: Taking taylor expansion of y in y 0.818 * [taylor]: Taking taylor expansion of 0 in y 0.819 * [taylor]: Taking taylor expansion of 0 in y 0.819 * * * [progress]: simplifying candidates 0.819 * [simplify]: Simplifying using # : (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y)) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (- (* x x) (* 1.0 1.0)) y) (+ (* x y) (* 1.0 y)) (+ (* x y) (* 1.0 y)) (+ (* x y) (* 1.0 y)) 0.820 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.820 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 0.821 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.823 * * [simplify]: iteration done : 15 enodes (cost 5 ) 0.824 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.825 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.826 * * [simplify]: iteration done : 9 enodes (cost 7 ) 0.826 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.827 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.828 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.831 * * [simplify]: iteration done : 20 enodes (cost 6 ) 0.831 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.832 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.833 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 0.837 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 0.845 * * [simplify]: iteration 4 : 67 enodes (cost 6 ) 0.855 * * [simplify]: iteration 5 : 133 enodes (cost 6 ) 0.902 * * [simplify]: iteration 6 : 333 enodes (cost 6 ) 1.101 * * [simplify]: iteration 7 : 949 enodes (cost 6 ) 2.404 * * [simplify]: iteration 8 : 3387 enodes (cost 6 ) 3.907 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.908 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 3.910 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 3.916 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 3.939 * * [simplify]: iteration 3 : 256 enodes (cost 9 ) 4.069 * * [simplify]: iteration 4 : 979 enodes (cost 7 ) 5.072 * * [simplify]: iteration 5 : 3629 enodes (cost 7 ) 6.762 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 6.762 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 6.763 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 6.764 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 6.766 * * [simplify]: iteration done : 17 enodes (cost 13 ) 6.767 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 6.768 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 6.768 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 6.770 * * [simplify]: iteration done : 16 enodes (cost 6 ) 6.771 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 6.772 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 6.776 * * [simplify]: iteration 2 : 80 enodes (cost 7 ) 6.805 * * [simplify]: iteration 3 : 291 enodes (cost 7 ) 6.957 * * [simplify]: iteration 4 : 726 enodes (cost 7 ) 7.481 * * [simplify]: iteration 5 : 1840 enodes (cost 7 ) 10.039 * * [simplify]: iteration 6 : 4312 enodes (cost 7 ) 12.011 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 12.012 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.012 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 12.013 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 12.015 * * [simplify]: iteration done : 16 enodes (cost 6 ) 12.016 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.016 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 12.017 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 12.019 * * [simplify]: iteration done : 16 enodes (cost 6 ) 12.020 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.020 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 12.021 * * [simplify]: iteration done : 9 enodes (cost 7 ) 12.022 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 12.022 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 12.023 * * [simplify]: iteration done : 9 enodes (cost 7 ) 12.024 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 12.025 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 12.026 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 12.029 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 12.038 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 12.043 * * [simplify]: iteration done : 35 enodes (cost 9 ) 12.043 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.044 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 12.045 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 12.047 * * [simplify]: iteration done : 16 enodes (cost 6 ) 12.048 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 12.048 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 12.050 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 12.053 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 12.054 * * [simplify]: iteration done : 28 enodes (cost 3 ) 12.055 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.055 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 12.056 * * [simplify]: iteration done : 8 enodes (cost 6 ) 12.057 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 12.057 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 12.058 * * [simplify]: iteration done : 8 enodes (cost 6 ) 12.059 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 12.059 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 12.060 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 12.062 * * [simplify]: iteration done : 15 enodes (cost 5 ) 12.063 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 12.063 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 12.064 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 12.066 * * [simplify]: iteration done : 15 enodes (cost 5 ) 12.066 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 12.068 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 12.071 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 12.076 * * [simplify]: iteration 3 : 81 enodes (cost 9 ) 12.090 * * [simplify]: iteration 4 : 157 enodes (cost 9 ) 12.135 * * [simplify]: iteration 5 : 382 enodes (cost 9 ) 12.400 * * [simplify]: iteration 6 : 1272 enodes (cost 9 ) 14.935 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 14.935 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 14.936 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 14.938 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 14.943 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 14.959 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 14.999 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 15.078 * * [simplify]: iteration 6 : 395 enodes (cost 9 ) 15.258 * * [simplify]: iteration 7 : 764 enodes (cost 9 ) 16.910 * * [simplify]: iteration 8 : 3363 enodes (cost 9 ) 19.101 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 19.101 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.102 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 19.104 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 19.106 * * [simplify]: iteration done : 13 enodes (cost 5 ) 19.106 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.107 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 19.108 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 19.110 * * [simplify]: iteration done : 13 enodes (cost 5 ) 19.111 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 19.111 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 19.113 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 19.114 * * [simplify]: iteration done : 13 enodes (cost 5 ) 19.114 * [simplify]: Simplified to: (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (pow (* (+ x 1.0) y) 3) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (pow (* (+ x 1.0) y) 3) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (+ x 1.0) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (* (- x 1.0) y) (+ x 1.0)) (* y (+ x 1.0)) (* y (+ x 1.0)) (* y (+ x 1.0)) 19.115 * * * [progress]: adding candidates to table 19.141 * * [progress]: iteration 2 / 4 19.141 * * * [progress]: picking best candidate 19.147 * * * * [pick]: Picked # 19.147 * * * [progress]: localizing error 19.156 * * * [progress]: generating rewritten candidates 19.156 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1) 19.160 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2) 19.166 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1) 19.170 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 19.184 * * * [progress]: generating series expansions 19.184 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1) 19.184 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 19.184 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.184 * [taylor]: Taking taylor expansion of 1/3 in x 19.184 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.184 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.184 * [taylor]: Taking taylor expansion of x in x 19.184 * [taylor]: Taking taylor expansion of 1.0 in x 19.185 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.185 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.185 * [taylor]: Taking taylor expansion of 1/3 in x 19.185 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.185 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.185 * [taylor]: Taking taylor expansion of x in x 19.185 * [taylor]: Taking taylor expansion of 1.0 in x 19.186 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 19.186 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.187 * [taylor]: Taking taylor expansion of 1/3 in x 19.187 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.187 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.187 * [taylor]: Taking taylor expansion of x in x 19.187 * [taylor]: Taking taylor expansion of 1.0 in x 19.187 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.187 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.187 * [taylor]: Taking taylor expansion of 1/3 in x 19.187 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.187 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.187 * [taylor]: Taking taylor expansion of x in x 19.187 * [taylor]: Taking taylor expansion of 1.0 in x 19.189 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 19.189 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.189 * [taylor]: Taking taylor expansion of 1/3 in x 19.189 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.189 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.189 * [taylor]: Taking taylor expansion of 1.0 in x 19.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.189 * [taylor]: Taking taylor expansion of x in x 19.189 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.189 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.189 * [taylor]: Taking taylor expansion of 1/3 in x 19.189 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.189 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.189 * [taylor]: Taking taylor expansion of 1.0 in x 19.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.189 * [taylor]: Taking taylor expansion of x in x 19.191 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2) 19.191 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 19.191 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.191 * [taylor]: Taking taylor expansion of 1/3 in x 19.191 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.191 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.191 * [taylor]: Taking taylor expansion of x in x 19.191 * [taylor]: Taking taylor expansion of 1.0 in x 19.191 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.192 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.192 * [taylor]: Taking taylor expansion of 1/3 in x 19.192 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.192 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.192 * [taylor]: Taking taylor expansion of x in x 19.192 * [taylor]: Taking taylor expansion of 1.0 in x 19.193 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 19.193 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.194 * [taylor]: Taking taylor expansion of 1/3 in x 19.194 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.194 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.194 * [taylor]: Taking taylor expansion of x in x 19.194 * [taylor]: Taking taylor expansion of 1.0 in x 19.194 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.194 * [taylor]: Taking taylor expansion of 1/3 in x 19.194 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.194 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.194 * [taylor]: Taking taylor expansion of x in x 19.194 * [taylor]: Taking taylor expansion of 1.0 in x 19.196 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 19.196 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.196 * [taylor]: Taking taylor expansion of 1/3 in x 19.196 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.196 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.196 * [taylor]: Taking taylor expansion of 1.0 in x 19.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.196 * [taylor]: Taking taylor expansion of x in x 19.196 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.196 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.196 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.196 * [taylor]: Taking taylor expansion of 1/3 in x 19.196 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.196 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.196 * [taylor]: Taking taylor expansion of 1.0 in x 19.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.196 * [taylor]: Taking taylor expansion of x in x 19.198 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1) 19.198 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 19.198 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.198 * [taylor]: Taking taylor expansion of 1/3 in x 19.198 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.198 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.198 * [taylor]: Taking taylor expansion of x in x 19.198 * [taylor]: Taking taylor expansion of 1.0 in x 19.198 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 19.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 19.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 19.198 * [taylor]: Taking taylor expansion of 1/3 in x 19.198 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 19.199 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.199 * [taylor]: Taking taylor expansion of x in x 19.199 * [taylor]: Taking taylor expansion of 1.0 in x 19.200 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 19.200 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.200 * [taylor]: Taking taylor expansion of 1/3 in x 19.200 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.200 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.200 * [taylor]: Taking taylor expansion of x in x 19.200 * [taylor]: Taking taylor expansion of 1.0 in x 19.201 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 19.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 19.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 19.201 * [taylor]: Taking taylor expansion of 1/3 in x 19.201 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 19.201 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.201 * [taylor]: Taking taylor expansion of x in x 19.201 * [taylor]: Taking taylor expansion of 1.0 in x 19.202 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 19.202 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.202 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.202 * [taylor]: Taking taylor expansion of 1/3 in x 19.203 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.203 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.203 * [taylor]: Taking taylor expansion of 1.0 in x 19.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.203 * [taylor]: Taking taylor expansion of x in x 19.203 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 19.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 19.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 19.203 * [taylor]: Taking taylor expansion of 1/3 in x 19.203 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 19.203 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.203 * [taylor]: Taking taylor expansion of 1.0 in x 19.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.203 * [taylor]: Taking taylor expansion of x in x 19.205 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 19.205 * [approximate]: Taking taylor expansion of (pow (pow (+ x 1.0) 2) 1/3) in (x) around 0 19.205 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 2) 1/3) in x 19.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1.0) 2)))) in x 19.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1.0) 2))) in x 19.205 * [taylor]: Taking taylor expansion of 1/3 in x 19.205 * [taylor]: Taking taylor expansion of (log (pow (+ x 1.0) 2)) in x 19.205 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 19.205 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.205 * [taylor]: Taking taylor expansion of x in x 19.205 * [taylor]: Taking taylor expansion of 1.0 in x 19.205 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 2) 1/3) in x 19.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1.0) 2)))) in x 19.205 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1.0) 2))) in x 19.205 * [taylor]: Taking taylor expansion of 1/3 in x 19.206 * [taylor]: Taking taylor expansion of (log (pow (+ x 1.0) 2)) in x 19.206 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x 19.206 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 19.206 * [taylor]: Taking taylor expansion of x in x 19.206 * [taylor]: Taking taylor expansion of 1.0 in x 19.207 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in (x) around 0 19.207 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x 19.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x 19.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x 19.207 * [taylor]: Taking taylor expansion of 1/3 in x 19.207 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x 19.208 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 19.208 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.208 * [taylor]: Taking taylor expansion of x in x 19.208 * [taylor]: Taking taylor expansion of 1.0 in x 19.208 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) 1.0) 2) 1/3) in x 19.208 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2)))) in x 19.208 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) 1.0) 2))) in x 19.208 * [taylor]: Taking taylor expansion of 1/3 in x 19.208 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) 1.0) 2)) in x 19.208 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 2) in x 19.208 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 19.208 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.208 * [taylor]: Taking taylor expansion of x in x 19.208 * [taylor]: Taking taylor expansion of 1.0 in x 19.210 * [approximate]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in (x) around 0 19.210 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x 19.210 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x 19.210 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x 19.210 * [taylor]: Taking taylor expansion of 1/3 in x 19.210 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x 19.210 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 19.210 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.210 * [taylor]: Taking taylor expansion of 1.0 in x 19.210 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.210 * [taylor]: Taking taylor expansion of x in x 19.211 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x 19.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x 19.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x 19.211 * [taylor]: Taking taylor expansion of 1/3 in x 19.211 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x 19.211 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x 19.211 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 19.211 * [taylor]: Taking taylor expansion of 1.0 in x 19.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.211 * [taylor]: Taking taylor expansion of x in x 19.213 * * * [progress]: simplifying candidates 19.214 * [simplify]: Simplifying using # : (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt 1) (cbrt (+ x 1.0)) (cbrt 1) (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt 1) (cbrt (+ x 1.0)) (cbrt 1) (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt 1) (cbrt (+ x 1.0)) (cbrt 1) (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (+ 1/3 1/3) (+ 1 1) (* (+ x 1.0) (+ x 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ 1 1) (+ (log (cbrt (+ x 1.0))) (log (cbrt (+ x 1.0)))) (log (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (exp (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (+ x 1.0) (+ x 1.0)) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (sqrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- x 1.0))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (- x 1.0)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt 1) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* 1 1) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* 2 1/3) (* 2 1) (* (cbrt (+ x 1.0)) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (* (cbrt (+ x 1.0)) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (+ x 1.0)) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt 1)) (* (cbrt (+ x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt (+ x 1.0)) (sqrt (cbrt (+ x 1.0)))) (* (cbrt (+ x 1.0)) 1) (* (cbrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (+ x 1.0)) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ x 1.0))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ x 1.0))) (- (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2)))) (- (+ (* 0.6666666666666666 (* x (pow 1.0 1/3))) (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (* 0.6666666666666666 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) x)) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (pow x 2)))) (- (+ (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (* 0.6666666666666666 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (pow x 2)))) 19.215 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.215 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.216 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.217 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.217 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.218 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.218 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 19.219 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 19.220 * * [simplify]: iteration done : 7 enodes (cost 10 ) 19.220 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.221 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.221 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.222 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.222 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.223 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.223 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 19.224 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.224 * * [simplify]: iteration done : 6 enodes (cost 5 ) 19.225 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 19.225 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 19.225 * * [simplify]: iteration done : 4 enodes (cost 1 ) 19.226 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 19.226 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 19.227 * * [simplify]: iteration done : 5 enodes (cost 4 ) 19.227 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 19.228 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 19.228 * * [simplify]: iteration done : 4 enodes (cost 1 ) 19.228 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 19.229 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 19.229 * * [simplify]: iteration done : 5 enodes (cost 4 ) 19.230 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 19.231 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 19.233 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 19.237 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 19.244 * * [simplify]: iteration 4 : 88 enodes (cost 8 ) 19.267 * * [simplify]: iteration 5 : 208 enodes (cost 8 ) 19.364 * * [simplify]: iteration 6 : 613 enodes (cost 8 ) 20.273 * * [simplify]: iteration 7 : 2441 enodes (cost 8 ) 22.227 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 22.227 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 22.229 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 22.231 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 22.236 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 22.248 * * [simplify]: iteration 4 : 64 enodes (cost 10 ) 22.259 * * [simplify]: iteration 5 : 85 enodes (cost 10 ) 22.275 * * [simplify]: iteration 6 : 102 enodes (cost 10 ) 22.288 * * [simplify]: iteration 7 : 125 enodes (cost 10 ) 22.312 * * [simplify]: iteration 8 : 168 enodes (cost 10 ) 22.348 * * [simplify]: iteration 9 : 230 enodes (cost 10 ) 22.381 * * [simplify]: iteration 10 : 231 enodes (cost 10 ) 22.412 * * [simplify]: iteration done : 231 enodes (cost 10 ) 22.413 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 22.413 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 22.415 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 22.417 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 22.423 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 22.434 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 22.456 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 22.509 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 23.219 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 29.504 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 29.504 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 29.505 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 29.505 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 29.506 * * [simplify]: iteration done : 7 enodes (cost 4 ) 29.507 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 29.507 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 29.508 * * [simplify]: iteration done : 7 enodes (cost 11 ) 29.508 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.509 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 29.509 * * [simplify]: iteration done : 6 enodes (cost 5 ) 29.510 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 29.511 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 29.512 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 29.513 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 29.515 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 29.517 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 29.524 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 29.533 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 29.580 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 30.038 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 32.368 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 32.369 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.369 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.370 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.371 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.371 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.372 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.372 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.373 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.373 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.374 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.374 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.375 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.376 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 32.376 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 32.377 * * [simplify]: iteration done : 7 enodes (cost 10 ) 32.378 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.378 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.379 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.379 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.380 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.380 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.381 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 32.381 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 32.382 * * [simplify]: iteration done : 6 enodes (cost 5 ) 32.383 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 32.383 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 32.383 * * [simplify]: iteration done : 4 enodes (cost 1 ) 32.384 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 32.384 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 32.384 * * [simplify]: iteration done : 5 enodes (cost 4 ) 32.385 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 32.385 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 32.385 * * [simplify]: iteration done : 4 enodes (cost 1 ) 32.386 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 32.386 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 32.387 * * [simplify]: iteration done : 5 enodes (cost 4 ) 32.387 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 32.388 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 32.395 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 32.399 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 32.406 * * [simplify]: iteration 4 : 88 enodes (cost 8 ) 32.424 * * [simplify]: iteration 5 : 208 enodes (cost 8 ) 32.519 * * [simplify]: iteration 6 : 613 enodes (cost 8 ) 33.437 * * [simplify]: iteration 7 : 2441 enodes (cost 8 ) 35.376 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 35.377 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 35.378 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 35.380 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 35.385 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 35.393 * * [simplify]: iteration 4 : 64 enodes (cost 10 ) 35.404 * * [simplify]: iteration 5 : 85 enodes (cost 10 ) 35.419 * * [simplify]: iteration 6 : 102 enodes (cost 10 ) 35.434 * * [simplify]: iteration 7 : 125 enodes (cost 10 ) 35.454 * * [simplify]: iteration 8 : 168 enodes (cost 10 ) 35.490 * * [simplify]: iteration 9 : 230 enodes (cost 10 ) 35.519 * * [simplify]: iteration 10 : 231 enodes (cost 10 ) 35.550 * * [simplify]: iteration done : 231 enodes (cost 10 ) 35.551 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 35.552 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 35.553 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 35.555 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 35.561 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 35.572 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 35.597 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 35.649 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 36.352 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 42.481 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 42.482 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 42.483 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 42.483 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 42.484 * * [simplify]: iteration done : 7 enodes (cost 4 ) 42.485 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 42.485 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 42.486 * * [simplify]: iteration done : 7 enodes (cost 11 ) 42.487 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 42.487 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 42.488 * * [simplify]: iteration done : 6 enodes (cost 5 ) 42.488 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 42.489 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 42.490 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 42.491 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 42.493 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 42.495 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 42.499 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 42.508 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 42.555 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 43.005 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 45.304 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 45.305 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.311 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.311 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.312 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.312 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.313 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.314 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.314 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.315 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.315 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.316 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.316 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.317 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 45.318 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 45.319 * * [simplify]: iteration done : 7 enodes (cost 10 ) 45.319 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.320 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.320 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.321 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.321 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.322 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.322 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 45.323 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 45.323 * * [simplify]: iteration done : 6 enodes (cost 5 ) 45.324 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 45.324 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 45.324 * * [simplify]: iteration done : 4 enodes (cost 1 ) 45.325 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.325 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 45.326 * * [simplify]: iteration done : 5 enodes (cost 4 ) 45.326 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 45.327 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 45.327 * * [simplify]: iteration done : 4 enodes (cost 1 ) 45.327 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 45.328 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 45.328 * * [simplify]: iteration done : 5 enodes (cost 4 ) 45.329 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 45.330 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 45.333 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 45.337 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 45.343 * * [simplify]: iteration 4 : 88 enodes (cost 8 ) 45.363 * * [simplify]: iteration 5 : 208 enodes (cost 8 ) 45.465 * * [simplify]: iteration 6 : 613 enodes (cost 8 ) 46.382 * * [simplify]: iteration 7 : 2441 enodes (cost 8 ) 48.317 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 48.317 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 48.318 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 48.321 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 48.326 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 48.333 * * [simplify]: iteration 4 : 64 enodes (cost 10 ) 48.343 * * [simplify]: iteration 5 : 85 enodes (cost 10 ) 48.363 * * [simplify]: iteration 6 : 102 enodes (cost 10 ) 48.375 * * [simplify]: iteration 7 : 125 enodes (cost 10 ) 48.395 * * [simplify]: iteration 8 : 168 enodes (cost 10 ) 48.434 * * [simplify]: iteration 9 : 230 enodes (cost 10 ) 48.466 * * [simplify]: iteration 10 : 231 enodes (cost 10 ) 48.495 * * [simplify]: iteration done : 231 enodes (cost 10 ) 48.496 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 48.497 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 48.498 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 48.500 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 48.506 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 48.517 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 48.542 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 48.596 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 49.312 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 55.726 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 55.726 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 55.727 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 55.727 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 55.728 * * [simplify]: iteration done : 7 enodes (cost 4 ) 55.729 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 55.729 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 55.730 * * [simplify]: iteration done : 7 enodes (cost 11 ) 55.731 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 55.731 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 55.732 * * [simplify]: iteration done : 6 enodes (cost 5 ) 55.732 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 55.733 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 55.734 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 55.735 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 55.737 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 55.739 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 55.742 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 55.752 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 55.798 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 56.255 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 58.570 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 58.571 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.571 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.572 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.572 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 58.573 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 58.573 * * [simplify]: iteration done : 6 enodes (cost 5 ) 58.574 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.574 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 58.574 * * [simplify]: iteration done : 5 enodes (cost 1 ) 58.575 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.575 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.576 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.576 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 58.577 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 58.579 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 58.583 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 58.590 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 58.601 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 58.615 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 58.629 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 58.642 * * [simplify]: iteration done : 84 enodes (cost 7 ) 58.643 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 58.644 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 58.644 * * [simplify]: iteration done : 6 enodes (cost 9 ) 58.645 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 58.645 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 58.645 * * [simplify]: iteration done : 6 enodes (cost 1 ) 58.646 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 58.647 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 58.648 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 58.649 * * [simplify]: iteration done : 10 enodes (cost 7 ) 58.649 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 58.650 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 58.651 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 58.652 * * [simplify]: iteration 3 : 12 enodes (cost 7 ) 58.653 * * [simplify]: iteration done : 12 enodes (cost 7 ) 58.654 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 58.654 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 58.655 * * [simplify]: iteration 2 : 13 enodes (cost 10 ) 58.657 * * [simplify]: iteration 3 : 18 enodes (cost 10 ) 58.659 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 58.667 * * [simplify]: iteration 5 : 78 enodes (cost 10 ) 58.689 * * [simplify]: iteration 6 : 182 enodes (cost 10 ) 58.787 * * [simplify]: iteration 7 : 563 enodes (cost 10 ) 59.670 * * [simplify]: iteration 8 : 2238 enodes (cost 10 ) 61.832 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 61.833 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 61.833 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 61.835 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 61.839 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 61.845 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 61.856 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 61.871 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 61.884 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 61.897 * * [simplify]: iteration done : 84 enodes (cost 7 ) 61.898 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 61.899 * * [simplify]: iteration 1 : 8 enodes (cost 21 ) 61.899 * * [simplify]: iteration done : 8 enodes (cost 21 ) 61.900 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 61.901 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 61.901 * * [simplify]: iteration done : 7 enodes (cost 10 ) 61.902 * * [simplify]: iteration 0 : 7 enodes (cost 29 ) 61.903 * * [simplify]: iteration 1 : 16 enodes (cost 29 ) 61.906 * * [simplify]: iteration 2 : 23 enodes (cost 11 ) 61.910 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 61.917 * * [simplify]: iteration 4 : 95 enodes (cost 6 ) 61.944 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 62.024 * * [simplify]: iteration 6 : 513 enodes (cost 6 ) 62.539 * * [simplify]: iteration 7 : 1724 enodes (cost 6 ) 64.441 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 64.442 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 64.443 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 64.443 * * [simplify]: iteration done : 8 enodes (cost 5 ) 64.444 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 64.445 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 64.445 * * [simplify]: iteration done : 8 enodes (cost 5 ) 64.446 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 64.447 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 64.450 * * [simplify]: iteration 2 : 31 enodes (cost 17 ) 64.454 * * [simplify]: iteration 3 : 48 enodes (cost 17 ) 64.460 * * [simplify]: iteration 4 : 91 enodes (cost 17 ) 64.484 * * [simplify]: iteration 5 : 212 enodes (cost 17 ) 64.577 * * [simplify]: iteration 6 : 620 enodes (cost 17 ) 65.488 * * [simplify]: iteration 7 : 2445 enodes (cost 17 ) 67.287 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 67.288 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 67.289 * * [simplify]: iteration 1 : 17 enodes (cost 21 ) 67.291 * * [simplify]: iteration 2 : 32 enodes (cost 21 ) 67.297 * * [simplify]: iteration 3 : 45 enodes (cost 21 ) 67.310 * * [simplify]: iteration 4 : 65 enodes (cost 21 ) 67.322 * * [simplify]: iteration 5 : 86 enodes (cost 21 ) 67.337 * * [simplify]: iteration 6 : 103 enodes (cost 21 ) 67.350 * * [simplify]: iteration 7 : 126 enodes (cost 21 ) 67.373 * * [simplify]: iteration 8 : 169 enodes (cost 21 ) 67.409 * * [simplify]: iteration 9 : 231 enodes (cost 21 ) 67.442 * * [simplify]: iteration 10 : 232 enodes (cost 21 ) 67.471 * * [simplify]: iteration done : 232 enodes (cost 21 ) 67.471 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 67.473 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 67.481 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 67.487 * * [simplify]: iteration 3 : 78 enodes (cost 17 ) 67.499 * * [simplify]: iteration 4 : 144 enodes (cost 17 ) 67.529 * * [simplify]: iteration 5 : 302 enodes (cost 17 ) 67.654 * * [simplify]: iteration 6 : 792 enodes (cost 17 ) 68.629 * * [simplify]: iteration 7 : 2807 enodes (cost 17 ) 70.384 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 70.385 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 70.387 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 70.390 * * [simplify]: iteration 2 : 37 enodes (cost 15 ) 70.398 * * [simplify]: iteration 3 : 49 enodes (cost 15 ) 70.407 * * [simplify]: iteration 4 : 66 enodes (cost 15 ) 70.418 * * [simplify]: iteration 5 : 86 enodes (cost 15 ) 70.434 * * [simplify]: iteration 6 : 103 enodes (cost 15 ) 70.448 * * [simplify]: iteration 7 : 126 enodes (cost 15 ) 70.471 * * [simplify]: iteration 8 : 169 enodes (cost 15 ) 70.510 * * [simplify]: iteration 9 : 231 enodes (cost 15 ) 70.539 * * [simplify]: iteration 10 : 232 enodes (cost 15 ) 70.571 * * [simplify]: iteration done : 232 enodes (cost 15 ) 70.572 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 70.573 * * [simplify]: iteration 1 : 30 enodes (cost 17 ) 70.577 * * [simplify]: iteration 2 : 46 enodes (cost 17 ) 70.584 * * [simplify]: iteration 3 : 78 enodes (cost 17 ) 70.595 * * [simplify]: iteration 4 : 144 enodes (cost 17 ) 70.630 * * [simplify]: iteration 5 : 303 enodes (cost 17 ) 70.751 * * [simplify]: iteration 6 : 781 enodes (cost 17 ) 71.720 * * [simplify]: iteration 7 : 2797 enodes (cost 17 ) 74.012 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 74.013 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 74.014 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 74.017 * * [simplify]: iteration 2 : 37 enodes (cost 15 ) 74.026 * * [simplify]: iteration 3 : 49 enodes (cost 15 ) 74.034 * * [simplify]: iteration 4 : 66 enodes (cost 15 ) 74.045 * * [simplify]: iteration 5 : 86 enodes (cost 15 ) 74.060 * * [simplify]: iteration 6 : 103 enodes (cost 15 ) 74.074 * * [simplify]: iteration 7 : 126 enodes (cost 15 ) 74.097 * * [simplify]: iteration 8 : 169 enodes (cost 15 ) 74.136 * * [simplify]: iteration 9 : 231 enodes (cost 15 ) 74.166 * * [simplify]: iteration 10 : 232 enodes (cost 15 ) 74.198 * * [simplify]: iteration done : 232 enodes (cost 15 ) 74.199 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 74.200 * * [simplify]: iteration 1 : 12 enodes (cost 17 ) 74.202 * * [simplify]: iteration 2 : 19 enodes (cost 17 ) 74.204 * * [simplify]: iteration 3 : 34 enodes (cost 17 ) 74.210 * * [simplify]: iteration 4 : 59 enodes (cost 17 ) 74.221 * * [simplify]: iteration 5 : 100 enodes (cost 17 ) 74.247 * * [simplify]: iteration 6 : 156 enodes (cost 17 ) 74.301 * * [simplify]: iteration 7 : 324 enodes (cost 17 ) 75.027 * * [simplify]: iteration 8 : 1653 enodes (cost 17 ) 80.939 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 80.939 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 80.940 * * [simplify]: iteration 1 : 7 enodes (cost 9 ) 80.941 * * [simplify]: iteration 2 : 8 enodes (cost 9 ) 80.941 * * [simplify]: iteration done : 8 enodes (cost 9 ) 80.942 * * [simplify]: iteration 0 : 7 enodes (cost 21 ) 80.943 * * [simplify]: iteration 1 : 8 enodes (cost 21 ) 80.944 * * [simplify]: iteration done : 8 enodes (cost 21 ) 80.944 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 80.945 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 80.946 * * [simplify]: iteration done : 7 enodes (cost 11 ) 80.946 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 80.947 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 80.948 * * [simplify]: iteration done : 7 enodes (cost 11 ) 80.948 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 80.949 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 80.950 * * [simplify]: iteration done : 7 enodes (cost 11 ) 80.950 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 80.951 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 80.951 * * [simplify]: iteration done : 5 enodes (cost 1 ) 80.951 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 80.952 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 80.953 * * [simplify]: iteration done : 6 enodes (cost 9 ) 80.953 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 80.954 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 80.954 * * [simplify]: iteration done : 5 enodes (cost 1 ) 80.954 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 80.955 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 80.956 * * [simplify]: iteration done : 6 enodes (cost 9 ) 80.956 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 80.957 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 80.957 * * [simplify]: iteration done : 5 enodes (cost 1 ) 80.957 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 80.958 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 80.959 * * [simplify]: iteration done : 6 enodes (cost 9 ) 80.959 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 80.960 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 80.960 * * [simplify]: iteration done : 5 enodes (cost 1 ) 80.961 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 80.961 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 80.962 * * [simplify]: iteration done : 6 enodes (cost 9 ) 80.963 * * [simplify]: iteration 0 : 7 enodes (cost 23 ) 80.964 * * [simplify]: iteration 1 : 12 enodes (cost 23 ) 80.965 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 80.967 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 80.970 * * [simplify]: iteration 4 : 38 enodes (cost 7 ) 80.978 * * [simplify]: iteration 5 : 64 enodes (cost 7 ) 80.989 * * [simplify]: iteration 6 : 136 enodes (cost 7 ) 81.034 * * [simplify]: iteration 7 : 351 enodes (cost 7 ) 81.387 * * [simplify]: iteration 8 : 1269 enodes (cost 7 ) 82.967 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 82.967 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.968 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 82.969 * * [simplify]: iteration done : 7 enodes (cost 11 ) 82.969 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.970 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 82.971 * * [simplify]: iteration 2 : 8 enodes (cost 4 ) 82.971 * * [simplify]: iteration done : 8 enodes (cost 4 ) 82.972 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.972 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 82.973 * * [simplify]: iteration 2 : 8 enodes (cost 4 ) 82.974 * * [simplify]: iteration done : 8 enodes (cost 4 ) 82.974 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 82.975 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 82.975 * * [simplify]: iteration done : 4 enodes (cost 1 ) 82.975 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 82.976 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 82.977 * * [simplify]: iteration done : 6 enodes (cost 9 ) 82.977 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.978 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 82.978 * * [simplify]: iteration done : 7 enodes (cost 11 ) 82.979 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.980 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 82.981 * * [simplify]: iteration done : 7 enodes (cost 11 ) 82.982 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 82.983 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 82.984 * * [simplify]: iteration done : 10 enodes (cost 11 ) 82.984 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 82.985 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 82.986 * * [simplify]: iteration done : 10 enodes (cost 11 ) 82.987 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 82.987 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 82.988 * * [simplify]: iteration done : 10 enodes (cost 11 ) 82.989 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 82.990 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 82.991 * * [simplify]: iteration done : 10 enodes (cost 11 ) 82.991 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.992 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 82.993 * * [simplify]: iteration 2 : 8 enodes (cost 4 ) 82.993 * * [simplify]: iteration done : 8 enodes (cost 4 ) 82.994 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 82.995 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 82.995 * * [simplify]: iteration 2 : 8 enodes (cost 4 ) 82.996 * * [simplify]: iteration done : 8 enodes (cost 4 ) 82.996 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 82.997 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 82.997 * * [simplify]: iteration done : 5 enodes (cost 1 ) 82.998 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 82.998 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 82.998 * * [simplify]: iteration done : 6 enodes (cost 1 ) 82.999 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 83.000 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 83.001 * * [simplify]: iteration done : 9 enodes (cost 15 ) 83.001 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 83.002 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 83.003 * * [simplify]: iteration done : 9 enodes (cost 10 ) 83.003 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.004 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 83.005 * * [simplify]: iteration done : 11 enodes (cost 6 ) 83.006 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 83.006 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 83.007 * * [simplify]: iteration done : 11 enodes (cost 6 ) 83.008 * * [simplify]: iteration 0 : 7 enodes (cost 16 ) 83.008 * * [simplify]: iteration 1 : 11 enodes (cost 16 ) 83.010 * * [simplify]: iteration 2 : 13 enodes (cost 16 ) 83.011 * * [simplify]: iteration done : 13 enodes (cost 16 ) 83.012 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 83.012 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 83.013 * * [simplify]: iteration done : 8 enodes (cost 10 ) 83.014 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 83.015 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 83.016 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 83.017 * * [simplify]: iteration done : 13 enodes (cost 4 ) 83.017 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 83.018 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 83.019 * * [simplify]: iteration done : 8 enodes (cost 10 ) 83.019 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 83.020 * * [simplify]: iteration 1 : 9 enodes (cost 10 ) 83.021 * * [simplify]: iteration done : 9 enodes (cost 10 ) 83.021 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 83.022 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 83.022 * * [simplify]: iteration done : 6 enodes (cost 9 ) 83.023 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 83.024 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 83.024 * * [simplify]: iteration done : 6 enodes (cost 9 ) 83.025 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 83.025 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 83.026 * * [simplify]: iteration done : 8 enodes (cost 10 ) 83.027 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 83.028 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 83.028 * * [simplify]: iteration done : 8 enodes (cost 10 ) 83.029 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 83.029 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 83.030 * * [simplify]: iteration done : 6 enodes (cost 9 ) 83.031 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 83.032 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 83.038 * * [simplify]: iteration 2 : 35 enodes (cost 13 ) 83.042 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 83.050 * * [simplify]: iteration 4 : 91 enodes (cost 13 ) 83.069 * * [simplify]: iteration 5 : 203 enodes (cost 13 ) 83.164 * * [simplify]: iteration 6 : 609 enodes (cost 13 ) 84.093 * * [simplify]: iteration 7 : 2446 enodes (cost 13 ) 86.282 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 86.283 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 86.284 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 86.286 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 86.288 * * [simplify]: iteration 3 : 36 enodes (cost 13 ) 86.294 * * [simplify]: iteration 4 : 61 enodes (cost 13 ) 86.306 * * [simplify]: iteration 5 : 102 enodes (cost 13 ) 86.329 * * [simplify]: iteration 6 : 160 enodes (cost 13 ) 86.382 * * [simplify]: iteration 7 : 328 enodes (cost 13 ) 87.097 * * [simplify]: iteration 8 : 1596 enodes (cost 13 ) 93.348 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 93.349 * * [simplify]: iteration 0 : 10 enodes (cost 13 ) 93.351 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 93.354 * * [simplify]: iteration 2 : 35 enodes (cost 13 ) 93.358 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 93.365 * * [simplify]: iteration 4 : 95 enodes (cost 13 ) 93.389 * * [simplify]: iteration 5 : 213 enodes (cost 13 ) 93.482 * * [simplify]: iteration 6 : 623 enodes (cost 13 ) 94.403 * * [simplify]: iteration 7 : 2447 enodes (cost 13 ) 96.541 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 96.542 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 96.543 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 96.545 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 96.547 * * [simplify]: iteration 3 : 36 enodes (cost 13 ) 96.553 * * [simplify]: iteration 4 : 61 enodes (cost 13 ) 96.565 * * [simplify]: iteration 5 : 102 enodes (cost 13 ) 96.588 * * [simplify]: iteration 6 : 160 enodes (cost 13 ) 96.640 * * [simplify]: iteration 7 : 328 enodes (cost 13 ) 97.353 * * [simplify]: iteration 8 : 1585 enodes (cost 13 ) 103.426 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 103.428 * * [simplify]: iteration 0 : 23 enodes (cost 35 ) 103.431 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 103.441 * * [simplify]: iteration 2 : 190 enodes (cost 28 ) 103.499 * * [simplify]: iteration 3 : 639 enodes (cost 26 ) 104.169 * * [simplify]: iteration 4 : 2541 enodes (cost 25 ) 105.464 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 105.466 * * [simplify]: iteration 0 : 19 enodes (cost 42 ) 105.468 * * [simplify]: iteration 1 : 44 enodes (cost 36 ) 105.474 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 105.494 * * [simplify]: iteration 3 : 255 enodes (cost 13 ) 105.598 * * [simplify]: iteration 4 : 904 enodes (cost 13 ) 107.075 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 107.076 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 107.078 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 107.084 * * [simplify]: iteration 2 : 100 enodes (cost 42 ) 107.101 * * [simplify]: iteration 3 : 263 enodes (cost 21 ) 107.217 * * [simplify]: iteration 4 : 947 enodes (cost 13 ) 108.095 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 108.096 * * [simplify]: iteration 0 : 23 enodes (cost 35 ) 108.099 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 108.109 * * [simplify]: iteration 2 : 190 enodes (cost 28 ) 108.167 * * [simplify]: iteration 3 : 639 enodes (cost 26 ) 108.843 * * [simplify]: iteration 4 : 2541 enodes (cost 25 ) 110.144 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 110.145 * * [simplify]: iteration 0 : 19 enodes (cost 42 ) 110.147 * * [simplify]: iteration 1 : 44 enodes (cost 36 ) 110.154 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 110.173 * * [simplify]: iteration 3 : 255 enodes (cost 13 ) 110.276 * * [simplify]: iteration 4 : 904 enodes (cost 13 ) 111.749 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 111.750 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 111.752 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 111.758 * * [simplify]: iteration 2 : 100 enodes (cost 42 ) 111.774 * * [simplify]: iteration 3 : 263 enodes (cost 21 ) 111.889 * * [simplify]: iteration 4 : 947 enodes (cost 13 ) 112.784 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 112.785 * * [simplify]: iteration 0 : 23 enodes (cost 35 ) 112.788 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 112.798 * * [simplify]: iteration 2 : 190 enodes (cost 28 ) 112.857 * * [simplify]: iteration 3 : 639 enodes (cost 26 ) 113.741 * * [simplify]: iteration 4 : 2541 enodes (cost 25 ) 115.049 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 115.050 * * [simplify]: iteration 0 : 19 enodes (cost 42 ) 115.053 * * [simplify]: iteration 1 : 44 enodes (cost 36 ) 115.059 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 115.078 * * [simplify]: iteration 3 : 255 enodes (cost 13 ) 115.185 * * [simplify]: iteration 4 : 904 enodes (cost 13 ) 116.681 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 116.682 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 116.685 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 116.690 * * [simplify]: iteration 2 : 100 enodes (cost 42 ) 116.707 * * [simplify]: iteration 3 : 263 enodes (cost 21 ) 116.824 * * [simplify]: iteration 4 : 947 enodes (cost 13 ) 117.721 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 117.722 * * [simplify]: iteration 0 : 22 enodes (cost 35 ) 117.725 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 117.736 * * [simplify]: iteration 2 : 188 enodes (cost 28 ) 117.789 * * [simplify]: iteration 3 : 640 enodes (cost 26 ) 118.473 * * [simplify]: iteration 4 : 2536 enodes (cost 25 ) 119.644 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 119.646 * * [simplify]: iteration 0 : 20 enodes (cost 48 ) 119.648 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 119.655 * * [simplify]: iteration 2 : 108 enodes (cost 36 ) 119.681 * * [simplify]: iteration 3 : 313 enodes (cost 19 ) 119.822 * * [simplify]: iteration 4 : 1065 enodes (cost 15 ) 120.484 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 120.485 * * [simplify]: iteration 0 : 21 enodes (cost 48 ) 120.488 * * [simplify]: iteration 1 : 47 enodes (cost 45 ) 120.495 * * [simplify]: iteration 2 : 106 enodes (cost 39 ) 120.518 * * [simplify]: iteration 3 : 309 enodes (cost 21 ) 120.648 * * [simplify]: iteration 4 : 1102 enodes (cost 19 ) 121.314 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 121.315 * [simplify]: Simplified to: (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) 2/3 2 (* (+ x 1.0) (+ x 1.0)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 2 (* 2 (log (cbrt (+ x 1.0)))) (* 2 (log (cbrt (+ x 1.0)))) (exp (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (+ x 1.0) (+ x 1.0)) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (pow (cbrt (+ x 1.0)) 6) (fabs (cbrt (+ x 1.0))) (fabs (cbrt (+ x 1.0))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (+ (* 1.0 (- 1.0 x)) (* x x)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- x 1.0))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- x 1.0))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (- x 1.0)) (cbrt (- x 1.0))) (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow (cbrt (cbrt (+ x 1.0))) 4) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (+ x 1.0)) (cbrt (+ x 1.0)) 1 (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0)))) (cbrt (+ x 1.0)) (cbrt (+ x 1.0)) 2/3 2 (* (cbrt (+ x 1.0)) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))) (* (cbrt (+ x 1.0)) (cbrt (sqrt (+ x 1.0)))) (* 1 (cbrt (+ x 1.0))) (* 1 (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))) (* (cbrt (+ x 1.0)) (sqrt (cbrt (+ x 1.0)))) (cbrt (+ x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (sqrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (sqrt (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (cbrt (+ x 1.0)) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ x 1.0))) (* (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (+ x 1.0))) (+ (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) -1/6) (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0))) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (- 0.3333333333333333 (/ 0.1111111111111111 x)) (/ (cbrt x) x)) (cbrt x)) (+ (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) -1/6) (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0))) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (- 0.3333333333333333 (/ 0.1111111111111111 x)) (/ (cbrt x) x)) (cbrt x)) (+ (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) -1/6) (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0))) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (- 0.3333333333333333 (/ 0.1111111111111111 x)) (/ (cbrt x) x)) (cbrt x)) (- (* (cbrt 1.0) (+ 1 (* x (+ 0.6666666666666666 (* 0.5555555555555556 x))))) (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) 0.6666666666666666)) (+ (* (/ (pow x 2/3) x) (- 0.6666666666666666 (/ 0.1111111111111111 x))) (pow x 2/3)) (* (pow (/ -1 x) -2/3) (- (+ 1 (/ 0.6666666666666666 x)) (/ 0.1111111111111111 (pow x 2)))) 121.316 * * * [progress]: adding candidates to table 121.534 * * [progress]: iteration 3 / 4 121.534 * * * [progress]: picking best candidate 121.538 * * * * [pick]: Picked # 121.538 * * * [progress]: localizing error 121.549 * * * [progress]: generating rewritten candidates 121.549 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1) 121.552 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1) 121.559 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 121.568 * * * [progress]: generating series expansions 121.568 * * * * [progress]: [ 1 / 3 ] generating series at (2 1) 121.568 * [approximate]: Taking taylor expansion of (* (+ x 1.0) y) in (x y) around 0 121.568 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in y 121.568 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 121.568 * [taylor]: Taking taylor expansion of x in y 121.568 * [taylor]: Taking taylor expansion of 1.0 in y 121.568 * [taylor]: Taking taylor expansion of y in y 121.568 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.568 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.568 * [taylor]: Taking taylor expansion of x in x 121.568 * [taylor]: Taking taylor expansion of 1.0 in x 121.568 * [taylor]: Taking taylor expansion of y in x 121.568 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.568 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.568 * [taylor]: Taking taylor expansion of x in x 121.568 * [taylor]: Taking taylor expansion of 1.0 in x 121.568 * [taylor]: Taking taylor expansion of y in x 121.568 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 121.568 * [taylor]: Taking taylor expansion of 1.0 in y 121.568 * [taylor]: Taking taylor expansion of y in y 121.568 * [taylor]: Taking taylor expansion of y in y 121.569 * [taylor]: Taking taylor expansion of 0 in y 121.569 * [taylor]: Taking taylor expansion of 0 in y 121.569 * [taylor]: Taking taylor expansion of 0 in y 121.569 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0 121.569 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 121.569 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 121.569 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.569 * [taylor]: Taking taylor expansion of x in y 121.569 * [taylor]: Taking taylor expansion of 1.0 in y 121.569 * [taylor]: Taking taylor expansion of y in y 121.569 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.569 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.569 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.569 * [taylor]: Taking taylor expansion of x in x 121.569 * [taylor]: Taking taylor expansion of 1.0 in x 121.569 * [taylor]: Taking taylor expansion of y in x 121.569 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.570 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.570 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.570 * [taylor]: Taking taylor expansion of x in x 121.570 * [taylor]: Taking taylor expansion of 1.0 in x 121.570 * [taylor]: Taking taylor expansion of y in x 121.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.570 * [taylor]: Taking taylor expansion of y in y 121.570 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 121.570 * [taylor]: Taking taylor expansion of 1.0 in y 121.570 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.570 * [taylor]: Taking taylor expansion of y in y 121.570 * [taylor]: Taking taylor expansion of 0 in y 121.570 * [taylor]: Taking taylor expansion of 0 in y 121.571 * [approximate]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (cbrt -1)) y) in (x y) around 0 121.571 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (cbrt -1)) y) in y 121.571 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (cbrt -1)) in y 121.571 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 121.571 * [taylor]: Taking taylor expansion of 1.0 in y 121.571 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.571 * [taylor]: Taking taylor expansion of x in y 121.571 * [taylor]: Taking taylor expansion of (cbrt -1) in y 121.571 * [taylor]: Taking taylor expansion of -1 in y 121.571 * [taylor]: Taking taylor expansion of y in y 121.571 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (cbrt -1)) y) in x 121.571 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (cbrt -1)) in x 121.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.572 * [taylor]: Taking taylor expansion of 1.0 in x 121.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.572 * [taylor]: Taking taylor expansion of x in x 121.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 121.572 * [taylor]: Taking taylor expansion of -1 in x 121.572 * [taylor]: Taking taylor expansion of y in x 121.572 * [taylor]: Taking taylor expansion of (/ (* (- 1.0 (/ 1 x)) (cbrt -1)) y) in x 121.572 * [taylor]: Taking taylor expansion of (* (- 1.0 (/ 1 x)) (cbrt -1)) in x 121.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.572 * [taylor]: Taking taylor expansion of 1.0 in x 121.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.572 * [taylor]: Taking taylor expansion of x in x 121.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 121.572 * [taylor]: Taking taylor expansion of -1 in x 121.572 * [taylor]: Taking taylor expansion of y in x 121.572 * [taylor]: Taking taylor expansion of (* -1 (/ (cbrt -1) y)) in y 121.572 * [taylor]: Taking taylor expansion of -1 in y 121.572 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y 121.572 * [taylor]: Taking taylor expansion of (cbrt -1) in y 121.572 * [taylor]: Taking taylor expansion of -1 in y 121.573 * [taylor]: Taking taylor expansion of y in y 121.573 * [taylor]: Taking taylor expansion of (* 1.0 (/ (cbrt -1) y)) in y 121.573 * [taylor]: Taking taylor expansion of 1.0 in y 121.573 * [taylor]: Taking taylor expansion of (/ (cbrt -1) y) in y 121.573 * [taylor]: Taking taylor expansion of (cbrt -1) in y 121.573 * [taylor]: Taking taylor expansion of -1 in y 121.573 * [taylor]: Taking taylor expansion of y in y 121.574 * [taylor]: Taking taylor expansion of 0 in y 121.575 * [taylor]: Taking taylor expansion of 0 in y 121.576 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1) 121.576 * [approximate]: Taking taylor expansion of (pow (* (+ x 1.0) y) 3) in (x y) around 0 121.576 * [taylor]: Taking taylor expansion of (pow (* (+ x 1.0) y) 3) in y 121.576 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in y 121.576 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 121.576 * [taylor]: Taking taylor expansion of x in y 121.576 * [taylor]: Taking taylor expansion of 1.0 in y 121.576 * [taylor]: Taking taylor expansion of y in y 121.577 * [taylor]: Taking taylor expansion of (pow (* (+ x 1.0) y) 3) in x 121.577 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.577 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.577 * [taylor]: Taking taylor expansion of x in x 121.577 * [taylor]: Taking taylor expansion of 1.0 in x 121.577 * [taylor]: Taking taylor expansion of y in x 121.577 * [taylor]: Taking taylor expansion of (pow (* (+ x 1.0) y) 3) in x 121.577 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.577 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.577 * [taylor]: Taking taylor expansion of x in x 121.577 * [taylor]: Taking taylor expansion of 1.0 in x 121.577 * [taylor]: Taking taylor expansion of y in x 121.577 * [taylor]: Taking taylor expansion of (* 1.0 (pow y 3)) in y 121.577 * [taylor]: Taking taylor expansion of 1.0 in y 121.577 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.577 * [taylor]: Taking taylor expansion of y in y 121.577 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 121.577 * [taylor]: Taking taylor expansion of 3.0 in y 121.577 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.577 * [taylor]: Taking taylor expansion of y in y 121.578 * [taylor]: Taking taylor expansion of (* 3.0 (pow y 3)) in y 121.578 * [taylor]: Taking taylor expansion of 3.0 in y 121.578 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.578 * [taylor]: Taking taylor expansion of y in y 121.579 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1.0) y) 3) in (x y) around 0 121.579 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1.0) y) 3) in y 121.579 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 121.579 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 121.579 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.579 * [taylor]: Taking taylor expansion of x in y 121.579 * [taylor]: Taking taylor expansion of 1.0 in y 121.579 * [taylor]: Taking taylor expansion of y in y 121.579 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1.0) y) 3) in x 121.579 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.579 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.579 * [taylor]: Taking taylor expansion of x in x 121.579 * [taylor]: Taking taylor expansion of 1.0 in x 121.579 * [taylor]: Taking taylor expansion of y in x 121.579 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1.0) y) 3) in x 121.579 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.579 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.579 * [taylor]: Taking taylor expansion of x in x 121.579 * [taylor]: Taking taylor expansion of 1.0 in x 121.579 * [taylor]: Taking taylor expansion of y in x 121.580 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.580 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.580 * [taylor]: Taking taylor expansion of y in y 121.580 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in y 121.580 * [taylor]: Taking taylor expansion of 3.0 in y 121.580 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.580 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.580 * [taylor]: Taking taylor expansion of y in y 121.581 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in y 121.581 * [taylor]: Taking taylor expansion of 3.0 in y 121.581 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.581 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.581 * [taylor]: Taking taylor expansion of y in y 121.582 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (- 1.0 (/ 1 x)) y)) 3) in (x y) around 0 121.582 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 1.0 (/ 1 x)) y)) 3) in y 121.582 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 121.582 * [taylor]: Taking taylor expansion of -1 in y 121.582 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 121.582 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 121.582 * [taylor]: Taking taylor expansion of 1.0 in y 121.582 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.582 * [taylor]: Taking taylor expansion of x in y 121.582 * [taylor]: Taking taylor expansion of y in y 121.582 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 1.0 (/ 1 x)) y)) 3) in x 121.582 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 121.582 * [taylor]: Taking taylor expansion of -1 in x 121.582 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 121.582 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.582 * [taylor]: Taking taylor expansion of 1.0 in x 121.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.582 * [taylor]: Taking taylor expansion of x in x 121.582 * [taylor]: Taking taylor expansion of y in x 121.582 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (- 1.0 (/ 1 x)) y)) 3) in x 121.582 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 121.582 * [taylor]: Taking taylor expansion of -1 in x 121.583 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 121.583 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.583 * [taylor]: Taking taylor expansion of 1.0 in x 121.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.583 * [taylor]: Taking taylor expansion of x in x 121.583 * [taylor]: Taking taylor expansion of y in x 121.583 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.583 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.583 * [taylor]: Taking taylor expansion of y in y 121.584 * [taylor]: Taking taylor expansion of (neg (* 3.0 (/ 1 (pow y 3)))) in y 121.584 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in y 121.584 * [taylor]: Taking taylor expansion of 3.0 in y 121.584 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.584 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.584 * [taylor]: Taking taylor expansion of y in y 121.585 * [taylor]: Taking taylor expansion of (* 3.0 (/ 1 (pow y 3))) in y 121.585 * [taylor]: Taking taylor expansion of 3.0 in y 121.585 * [taylor]: Taking taylor expansion of (/ 1 (pow y 3)) in y 121.585 * [taylor]: Taking taylor expansion of (pow y 3) in y 121.585 * [taylor]: Taking taylor expansion of y in y 121.585 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 121.585 * [approximate]: Taking taylor expansion of (* (+ x 1.0) y) in (x y) around 0 121.585 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in y 121.585 * [taylor]: Taking taylor expansion of (+ x 1.0) in y 121.585 * [taylor]: Taking taylor expansion of x in y 121.585 * [taylor]: Taking taylor expansion of 1.0 in y 121.585 * [taylor]: Taking taylor expansion of y in y 121.585 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.585 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.585 * [taylor]: Taking taylor expansion of x in x 121.586 * [taylor]: Taking taylor expansion of 1.0 in x 121.586 * [taylor]: Taking taylor expansion of y in x 121.586 * [taylor]: Taking taylor expansion of (* (+ x 1.0) y) in x 121.586 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 121.586 * [taylor]: Taking taylor expansion of x in x 121.586 * [taylor]: Taking taylor expansion of 1.0 in x 121.586 * [taylor]: Taking taylor expansion of y in x 121.586 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 121.586 * [taylor]: Taking taylor expansion of 1.0 in y 121.586 * [taylor]: Taking taylor expansion of y in y 121.586 * [taylor]: Taking taylor expansion of y in y 121.586 * [taylor]: Taking taylor expansion of 0 in y 121.586 * [taylor]: Taking taylor expansion of 0 in y 121.586 * [taylor]: Taking taylor expansion of 0 in y 121.586 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in (x y) around 0 121.586 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in y 121.586 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in y 121.586 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.587 * [taylor]: Taking taylor expansion of x in y 121.587 * [taylor]: Taking taylor expansion of 1.0 in y 121.587 * [taylor]: Taking taylor expansion of y in y 121.587 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.587 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.587 * [taylor]: Taking taylor expansion of x in x 121.587 * [taylor]: Taking taylor expansion of 1.0 in x 121.587 * [taylor]: Taking taylor expansion of y in x 121.587 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1.0) y) in x 121.587 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 121.587 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.587 * [taylor]: Taking taylor expansion of x in x 121.587 * [taylor]: Taking taylor expansion of 1.0 in x 121.587 * [taylor]: Taking taylor expansion of y in x 121.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.587 * [taylor]: Taking taylor expansion of y in y 121.587 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 121.587 * [taylor]: Taking taylor expansion of 1.0 in y 121.588 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.588 * [taylor]: Taking taylor expansion of y in y 121.588 * [taylor]: Taking taylor expansion of 0 in y 121.588 * [taylor]: Taking taylor expansion of 0 in y 121.588 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in (x y) around 0 121.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in y 121.589 * [taylor]: Taking taylor expansion of -1 in y 121.589 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in y 121.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in y 121.589 * [taylor]: Taking taylor expansion of 1.0 in y 121.589 * [taylor]: Taking taylor expansion of (/ 1 x) in y 121.589 * [taylor]: Taking taylor expansion of x in y 121.589 * [taylor]: Taking taylor expansion of y in y 121.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 121.589 * [taylor]: Taking taylor expansion of -1 in x 121.589 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 121.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.589 * [taylor]: Taking taylor expansion of 1.0 in x 121.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.589 * [taylor]: Taking taylor expansion of x in x 121.589 * [taylor]: Taking taylor expansion of y in x 121.589 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1.0 (/ 1 x)) y)) in x 121.589 * [taylor]: Taking taylor expansion of -1 in x 121.589 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 x)) y) in x 121.589 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 121.589 * [taylor]: Taking taylor expansion of 1.0 in x 121.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 121.589 * [taylor]: Taking taylor expansion of x in x 121.589 * [taylor]: Taking taylor expansion of y in x 121.589 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.589 * [taylor]: Taking taylor expansion of y in y 121.589 * [taylor]: Taking taylor expansion of (neg (* 1.0 (/ 1 y))) in y 121.589 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 121.590 * [taylor]: Taking taylor expansion of 1.0 in y 121.590 * [taylor]: Taking taylor expansion of (/ 1 y) in y 121.590 * [taylor]: Taking taylor expansion of y in y 121.590 * [taylor]: Taking taylor expansion of 0 in y 121.590 * [taylor]: Taking taylor expansion of 0 in y 121.591 * * * [progress]: simplifying candidates 121.592 * [simplify]: Simplifying using # : (log (cbrt (pow (* (+ x 1.0) y) 3))) (exp (cbrt (pow (* (+ x 1.0) y) 3))) (cbrt (pow (+ x 1.0) 3)) (cbrt (pow y 3)) (cbrt (* (* (+ x 1.0) y) (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (cbrt (* (cbrt (pow (* (+ x 1.0) y) 3)) (cbrt (pow (* (+ x 1.0) y) 3)))) (cbrt (cbrt (pow (* (+ x 1.0) y) 3))) (cbrt (pow (+ x 1.0) 3)) (cbrt (pow y 3)) (cbrt (* (+ x 1.0) y)) (cbrt (* (* (+ x 1.0) y) (* (+ x 1.0) y))) (cbrt (sqrt (pow (* (+ x 1.0) y) 3))) (cbrt (sqrt (pow (* (+ x 1.0) y) 3))) (cbrt 1) (cbrt (pow (* (+ x 1.0) y) 3)) (cbrt (pow (* (+ x 1.0) y) (/ 3 2))) (cbrt (pow (* (+ x 1.0) y) (/ 3 2))) (cbrt (pow (* (+ (pow x 3) (pow 1.0 3)) y) 3)) (cbrt (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3)) (cbrt (pow (* (- (* x x) (* 1.0 1.0)) y) 3)) (cbrt (pow (- x 1.0) 3)) (* (cbrt (cbrt (pow (* (+ x 1.0) y) 3))) (cbrt (cbrt (pow (* (+ x 1.0) y) 3)))) (cbrt (cbrt (pow (* (+ x 1.0) y) 3))) (* (* (cbrt (pow (* (+ x 1.0) y) 3)) (cbrt (pow (* (+ x 1.0) y) 3))) (cbrt (pow (* (+ x 1.0) y) 3))) (sqrt (cbrt (pow (* (+ x 1.0) y) 3))) (sqrt (cbrt (pow (* (+ x 1.0) y) 3))) (* (+ (log (+ x 1.0)) (log y)) 3) (* (log (* (+ x 1.0) y)) 3) (* (log (* (+ x 1.0) y)) 3) (* 1 3) (* 1 3) (pow (* (+ x 1.0) y) (* (cbrt 3) (cbrt 3))) (pow (* (+ x 1.0) y) (sqrt 3)) (pow (* (+ x 1.0) y) 1) (pow (+ x 1.0) 3) (pow y 3) (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (log (pow (* (+ x 1.0) y) 3)) (exp (pow (* (+ x 1.0) y) 3)) (* (cbrt (pow (* (+ x 1.0) y) 3)) (cbrt (pow (* (+ x 1.0) y) 3))) (cbrt (pow (* (+ x 1.0) y) 3)) (* (* (pow (* (+ x 1.0) y) 3) (pow (* (+ x 1.0) y) 3)) (pow (* (+ x 1.0) y) 3)) (pow (+ x 1.0) 3) (pow y 3) (pow (* (+ (pow x 3) (pow 1.0 3)) y) 3) (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 3) (pow (* (- (* x x) (* 1.0 1.0)) y) 3) (pow (- x 1.0) 3) (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (sqrt (pow (* (+ x 1.0) y) 3)) (sqrt (pow (* (+ x 1.0) y) 3)) (pow (* (+ x 1.0) y) (/ 3 2)) (pow (* (+ x 1.0) y) (/ 3 2)) (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (* (* (* (+ x 1.0) (+ x 1.0)) (+ x 1.0)) (* (* y y) y)) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (* (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (* (+ x 1.0) 1) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (- (* x x) (* 1.0 1.0)) y) (+ (* x y) (* 1.0 y)) (+ (* x y) (* 1.0 y)) (neg (+ (* 1.0 (* y (cbrt -1))) (* x (* (cbrt -1) y)))) (+ (* 3.0 (* (pow x 2) (pow y 3))) (+ (* 1.0 (pow y 3)) (* 3.0 (* x (pow y 3))))) (+ (* (pow x 3) (pow y 3)) (+ (* 3.0 (* (pow x 2) (pow y 3))) (* 3.0 (* x (pow y 3))))) (+ (* (pow x 3) (pow y 3)) (+ (* 3.0 (* (pow x 2) (pow y 3))) (* 3.0 (* x (pow y 3))))) (+ (* x y) (* 1.0 y)) (+ (* x y) (* 1.0 y)) (+ (* x y) (* 1.0 y)) 121.592 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 121.593 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 121.597 * * [simplify]: iteration 2 : 69 enodes (cost 6 ) 121.614 * * [simplify]: iteration 3 : 224 enodes (cost 6 ) 121.722 * * [simplify]: iteration 4 : 674 enodes (cost 6 ) 122.236 * * [simplify]: iteration 5 : 1711 enodes (cost 6 ) 124.049 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 124.050 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 124.051 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 124.055 * * [simplify]: iteration 2 : 69 enodes (cost 6 ) 124.077 * * [simplify]: iteration 3 : 238 enodes (cost 6 ) 124.185 * * [simplify]: iteration 4 : 702 enodes (cost 6 ) 124.704 * * [simplify]: iteration 5 : 1789 enodes (cost 6 ) 126.438 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 126.438 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 126.439 * * [simplify]: iteration 1 : 15 enodes (cost 3 ) 126.441 * * [simplify]: iteration 2 : 37 enodes (cost 3 ) 126.447 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 126.463 * * [simplify]: iteration 4 : 166 enodes (cost 3 ) 126.519 * * [simplify]: iteration 5 : 408 enodes (cost 3 ) 126.792 * * [simplify]: iteration 6 : 1285 enodes (cost 3 ) 128.305 * * [simplify]: iteration 7 : 3357 enodes (cost 3 ) 129.957 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 129.958 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 129.959 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 129.961 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 129.962 * * [simplify]: iteration 3 : 28 enodes (cost 1 ) 129.966 * * [simplify]: iteration 4 : 51 enodes (cost 1 ) 129.976 * * [simplify]: iteration 5 : 114 enodes (cost 1 ) 130.025 * * [simplify]: iteration 6 : 328 enodes (cost 1 ) 130.478 * * [simplify]: iteration 7 : 1249 enodes (cost 1 ) 133.031 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 133.031 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 133.032 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 133.035 * * [simplify]: iteration 2 : 51 enodes (cost 12 ) 133.046 * * [simplify]: iteration 3 : 136 enodes (cost 12 ) 133.084 * * [simplify]: iteration 4 : 234 enodes (cost 12 ) 133.151 * * [simplify]: iteration 5 : 342 enodes (cost 12 ) 133.258 * * [simplify]: iteration 6 : 468 enodes (cost 12 ) 133.402 * * [simplify]: iteration 7 : 573 enodes (cost 12 ) 133.585 * * [simplify]: iteration 8 : 623 enodes (cost 12 ) 133.763 * * [simplify]: iteration 9 : 624 enodes (cost 12 ) 133.933 * * [simplify]: iteration done : 624 enodes (cost 12 ) 133.934 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 133.935 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 133.936 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 133.937 * * [simplify]: iteration done : 16 enodes (cost 6 ) 133.938 * * [simplify]: iteration 0 : 10 enodes (cost 18 ) 133.939 * * [simplify]: iteration 1 : 22 enodes (cost 12 ) 133.943 * * [simplify]: iteration 2 : 65 enodes (cost 12 ) 133.962 * * [simplify]: iteration 3 : 220 enodes (cost 12 ) 134.068 * * [simplify]: iteration 4 : 674 enodes (cost 12 ) 134.593 * * [simplify]: iteration 5 : 1763 enodes (cost 12 ) 136.319 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 136.320 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 136.321 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 136.324 * * [simplify]: iteration 2 : 65 enodes (cost 6 ) 136.344 * * [simplify]: iteration 3 : 220 enodes (cost 6 ) 136.450 * * [simplify]: iteration 4 : 677 enodes (cost 6 ) 136.973 * * [simplify]: iteration 5 : 1776 enodes (cost 6 ) 138.711 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 138.712 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 138.712 * * [simplify]: iteration 1 : 15 enodes (cost 3 ) 138.714 * * [simplify]: iteration 2 : 37 enodes (cost 3 ) 138.721 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 138.743 * * [simplify]: iteration 4 : 166 enodes (cost 3 ) 138.800 * * [simplify]: iteration 5 : 408 enodes (cost 3 ) 139.078 * * [simplify]: iteration 6 : 1285 enodes (cost 3 ) 140.594 * * [simplify]: iteration 7 : 3357 enodes (cost 3 ) 142.254 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 142.254 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 142.255 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 142.256 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 142.258 * * [simplify]: iteration 3 : 28 enodes (cost 1 ) 142.261 * * [simplify]: iteration 4 : 51 enodes (cost 1 ) 142.274 * * [simplify]: iteration 5 : 114 enodes (cost 1 ) 142.320 * * [simplify]: iteration 6 : 328 enodes (cost 1 ) 142.774 * * [simplify]: iteration 7 : 1249 enodes (cost 1 ) 145.138 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 145.138 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 145.140 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 145.141 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 145.143 * * [simplify]: iteration done : 16 enodes (cost 6 ) 145.143 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 145.144 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 145.147 * * [simplify]: iteration 2 : 51 enodes (cost 12 ) 145.159 * * [simplify]: iteration 3 : 136 enodes (cost 12 ) 145.195 * * [simplify]: iteration 4 : 234 enodes (cost 12 ) 145.264 * * [simplify]: iteration 5 : 342 enodes (cost 12 ) 145.370 * * [simplify]: iteration 6 : 468 enodes (cost 12 ) 145.513 * * [simplify]: iteration 7 : 573 enodes (cost 12 ) 145.696 * * [simplify]: iteration 8 : 623 enodes (cost 12 ) 145.880 * * [simplify]: iteration 9 : 624 enodes (cost 12 ) 146.056 * * [simplify]: iteration done : 624 enodes (cost 12 ) 146.057 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 146.058 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 146.062 * * [simplify]: iteration 2 : 66 enodes (cost 9 ) 146.078 * * [simplify]: iteration 3 : 221 enodes (cost 9 ) 146.188 * * [simplify]: iteration 4 : 685 enodes (cost 9 ) 146.707 * * [simplify]: iteration 5 : 1755 enodes (cost 9 ) 148.473 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 148.473 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 148.474 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 148.478 * * [simplify]: iteration 2 : 66 enodes (cost 9 ) 148.500 * * [simplify]: iteration 3 : 221 enodes (cost 9 ) 148.608 * * [simplify]: iteration 4 : 685 enodes (cost 9 ) 149.129 * * [simplify]: iteration 5 : 1755 enodes (cost 9 ) 150.894 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 150.895 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 150.895 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 150.895 * * [simplify]: iteration done : 4 enodes (cost 1 ) 150.896 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 150.897 * * [simplify]: iteration 1 : 21 enodes (cost 5 ) 150.900 * * [simplify]: iteration 2 : 64 enodes (cost 5 ) 150.918 * * [simplify]: iteration 3 : 218 enodes (cost 5 ) 151.028 * * [simplify]: iteration 4 : 676 enodes (cost 5 ) 151.552 * * [simplify]: iteration 5 : 1757 enodes (cost 5 ) 153.302 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 153.302 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 153.304 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 153.306 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 153.309 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 153.314 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 153.324 * * [simplify]: iteration 5 : 124 enodes (cost 8 ) 153.372 * * [simplify]: iteration 6 : 337 enodes (cost 8 ) 154.034 * * [simplify]: iteration 7 : 1258 enodes (cost 8 ) 156.378 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 156.379 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 156.380 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 156.382 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 156.392 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 156.397 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 156.407 * * [simplify]: iteration 5 : 124 enodes (cost 8 ) 156.456 * * [simplify]: iteration 6 : 337 enodes (cost 8 ) 156.908 * * [simplify]: iteration 7 : 1258 enodes (cost 8 ) 159.252 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 159.252 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 159.254 * * [simplify]: iteration 1 : 33 enodes (cost 9 ) 159.259 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 159.286 * * [simplify]: iteration 3 : 284 enodes (cost 9 ) 159.426 * * [simplify]: iteration 4 : 1194 enodes (cost 9 ) 160.459 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 160.460 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 160.461 * * [simplify]: iteration 1 : 26 enodes (cost 9 ) 160.465 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 160.478 * * [simplify]: iteration 3 : 200 enodes (cost 9 ) 160.566 * * [simplify]: iteration 4 : 1031 enodes (cost 9 ) 161.461 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 161.461 * * [simplify]: iteration 0 : 10 enodes (cost 12 ) 161.463 * * [simplify]: iteration 1 : 27 enodes (cost 9 ) 161.468 * * [simplify]: iteration 2 : 82 enodes (cost 9 ) 161.496 * * [simplify]: iteration 3 : 372 enodes (cost 9 ) 161.880 * * [simplify]: iteration 4 : 2596 enodes (cost 9 ) 163.547 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 163.548 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 163.549 * * [simplify]: iteration 1 : 16 enodes (cost 3 ) 163.551 * * [simplify]: iteration 2 : 35 enodes (cost 3 ) 163.556 * * [simplify]: iteration 3 : 83 enodes (cost 3 ) 163.580 * * [simplify]: iteration 4 : 207 enodes (cost 3 ) 163.657 * * [simplify]: iteration 5 : 583 enodes (cost 3 ) 164.206 * * [simplify]: iteration 6 : 1998 enodes (cost 3 ) 165.877 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 165.878 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 165.884 * * [simplify]: iteration 1 : 23 enodes (cost 13 ) 165.888 * * [simplify]: iteration 2 : 66 enodes (cost 13 ) 165.910 * * [simplify]: iteration 3 : 224 enodes (cost 13 ) 166.022 * * [simplify]: iteration 4 : 683 enodes (cost 13 ) 166.556 * * [simplify]: iteration 5 : 1777 enodes (cost 13 ) 168.310 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 168.310 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 168.311 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 168.315 * * [simplify]: iteration 2 : 65 enodes (cost 6 ) 168.332 * * [simplify]: iteration 3 : 220 enodes (cost 6 ) 168.441 * * [simplify]: iteration 4 : 677 enodes (cost 6 ) 168.972 * * [simplify]: iteration 5 : 1776 enodes (cost 6 ) 170.780 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 170.781 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 170.782 * * [simplify]: iteration 1 : 21 enodes (cost 7 ) 170.786 * * [simplify]: iteration 2 : 64 enodes (cost 7 ) 170.802 * * [simplify]: iteration 3 : 220 enodes (cost 7 ) 170.910 * * [simplify]: iteration 4 : 667 enodes (cost 7 ) 171.438 * * [simplify]: iteration 5 : 1762 enodes (cost 7 ) 173.168 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 173.169 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 173.170 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 173.173 * * [simplify]: iteration 2 : 65 enodes (cost 6 ) 173.190 * * [simplify]: iteration 3 : 220 enodes (cost 6 ) 173.300 * * [simplify]: iteration 4 : 677 enodes (cost 6 ) 173.834 * * [simplify]: iteration 5 : 1776 enodes (cost 6 ) 175.852 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 175.853 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 175.854 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 175.858 * * [simplify]: iteration 2 : 65 enodes (cost 6 ) 175.875 * * [simplify]: iteration 3 : 220 enodes (cost 6 ) 175.988 * * [simplify]: iteration 4 : 677 enodes (cost 6 ) 176.531 * * [simplify]: iteration 5 : 1776 enodes (cost 6 ) 178.300 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 178.300 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 178.301 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 178.303 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 178.305 * * [simplify]: iteration done : 20 enodes (cost 9 ) 178.306 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 178.306 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 178.308 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 178.312 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 178.315 * * [simplify]: iteration done : 30 enodes (cost 8 ) 178.316 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 178.317 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 178.319 * * [simplify]: iteration 2 : 29 enodes (cost 8 ) 178.323 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 178.326 * * [simplify]: iteration done : 30 enodes (cost 8 ) 178.326 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 178.327 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 178.327 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.328 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 178.328 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 178.328 * * [simplify]: iteration done : 6 enodes (cost 1 ) 178.329 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 178.330 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 178.332 * * [simplify]: iteration 2 : 30 enodes (cost 11 ) 178.336 * * [simplify]: iteration 3 : 54 enodes (cost 11 ) 178.347 * * [simplify]: iteration 4 : 110 enodes (cost 11 ) 178.384 * * [simplify]: iteration 5 : 272 enodes (cost 11 ) 178.618 * * [simplify]: iteration 6 : 886 enodes (cost 11 ) 180.368 * * [simplify]: iteration 7 : 3334 enodes (cost 11 ) 181.651 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 181.652 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 181.653 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 181.655 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 181.659 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 181.666 * * [simplify]: iteration 4 : 84 enodes (cost 8 ) 181.694 * * [simplify]: iteration 5 : 195 enodes (cost 8 ) 181.790 * * [simplify]: iteration 6 : 570 enodes (cost 8 ) 182.659 * * [simplify]: iteration 7 : 2200 enodes (cost 8 ) 184.830 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 184.830 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 184.831 * * [simplify]: iteration 1 : 16 enodes (cost 5 ) 184.833 * * [simplify]: iteration 2 : 31 enodes (cost 5 ) 184.836 * * [simplify]: iteration 3 : 42 enodes (cost 5 ) 184.841 * * [simplify]: iteration 4 : 64 enodes (cost 5 ) 184.858 * * [simplify]: iteration 5 : 121 enodes (cost 5 ) 184.905 * * [simplify]: iteration 6 : 333 enodes (cost 5 ) 185.361 * * [simplify]: iteration 7 : 1258 enodes (cost 5 ) 187.735 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 187.736 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 187.737 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 187.739 * * [simplify]: iteration 2 : 36 enodes (cost 5 ) 187.745 * * [simplify]: iteration 3 : 78 enodes (cost 5 ) 187.760 * * [simplify]: iteration 4 : 165 enodes (cost 5 ) 187.816 * * [simplify]: iteration 5 : 406 enodes (cost 5 ) 188.095 * * [simplify]: iteration 6 : 1273 enodes (cost 5 ) 189.639 * * [simplify]: iteration 7 : 3304 enodes (cost 5 ) 191.271 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 191.272 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 191.272 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 191.273 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 191.275 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 191.278 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 191.287 * * [simplify]: iteration 5 : 113 enodes (cost 3 ) 191.336 * * [simplify]: iteration 6 : 327 enodes (cost 3 ) 191.785 * * [simplify]: iteration 7 : 1246 enodes (cost 3 ) 194.216 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 194.217 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 194.218 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 194.220 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 194.231 * * [simplify]: iteration 3 : 136 enodes (cost 11 ) 194.270 * * [simplify]: iteration 4 : 235 enodes (cost 11 ) 194.339 * * [simplify]: iteration 5 : 341 enodes (cost 11 ) 194.448 * * [simplify]: iteration 6 : 465 enodes (cost 11 ) 194.594 * * [simplify]: iteration 7 : 572 enodes (cost 11 ) 194.782 * * [simplify]: iteration 8 : 625 enodes (cost 11 ) 194.962 * * [simplify]: iteration 9 : 629 enodes (cost 11 ) 195.134 * * [simplify]: iteration done : 629 enodes (cost 11 ) 195.135 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 195.136 * * [simplify]: iteration 1 : 23 enodes (cost 8 ) 195.140 * * [simplify]: iteration 2 : 79 enodes (cost 8 ) 195.164 * * [simplify]: iteration 3 : 283 enodes (cost 8 ) 195.293 * * [simplify]: iteration 4 : 863 enodes (cost 8 ) 195.915 * * [simplify]: iteration 5 : 2138 enodes (cost 8 ) 197.847 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 197.847 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 197.848 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 197.852 * * [simplify]: iteration 2 : 72 enodes (cost 8 ) 197.870 * * [simplify]: iteration 3 : 271 enodes (cost 8 ) 197.991 * * [simplify]: iteration 4 : 900 enodes (cost 8 ) 198.586 * * [simplify]: iteration 5 : 2635 enodes (cost 8 ) 199.584 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 199.585 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 199.586 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 199.589 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 199.610 * * [simplify]: iteration 3 : 220 enodes (cost 11 ) 199.716 * * [simplify]: iteration 4 : 664 enodes (cost 11 ) 200.233 * * [simplify]: iteration 5 : 1746 enodes (cost 11 ) 201.976 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 201.977 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 201.979 * * [simplify]: iteration 1 : 21 enodes (cost 5 ) 201.982 * * [simplify]: iteration 2 : 64 enodes (cost 5 ) 201.998 * * [simplify]: iteration 3 : 218 enodes (cost 5 ) 202.105 * * [simplify]: iteration 4 : 676 enodes (cost 5 ) 202.614 * * [simplify]: iteration 5 : 1757 enodes (cost 5 ) 204.347 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 204.348 * * [simplify]: iteration 0 : 9 enodes (cost 23 ) 204.349 * * [simplify]: iteration 1 : 26 enodes (cost 15 ) 204.354 * * [simplify]: iteration 2 : 113 enodes (cost 9 ) 204.423 * * [simplify]: iteration 3 : 844 enodes (cost 9 ) 205.627 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 205.627 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 205.628 * * [simplify]: iteration 1 : 14 enodes (cost 5 ) 205.630 * * [simplify]: iteration 2 : 36 enodes (cost 5 ) 205.636 * * [simplify]: iteration 3 : 78 enodes (cost 5 ) 205.651 * * [simplify]: iteration 4 : 165 enodes (cost 5 ) 205.706 * * [simplify]: iteration 5 : 406 enodes (cost 5 ) 205.980 * * [simplify]: iteration 6 : 1273 enodes (cost 5 ) 207.506 * * [simplify]: iteration 7 : 3304 enodes (cost 5 ) 209.128 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 209.128 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 209.129 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 209.130 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 209.132 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 209.140 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 209.150 * * [simplify]: iteration 5 : 113 enodes (cost 3 ) 209.197 * * [simplify]: iteration 6 : 327 enodes (cost 3 ) 209.641 * * [simplify]: iteration 7 : 1246 enodes (cost 3 ) 212.058 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 212.059 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 212.061 * * [simplify]: iteration 1 : 32 enodes (cost 11 ) 212.066 * * [simplify]: iteration 2 : 81 enodes (cost 11 ) 212.085 * * [simplify]: iteration 3 : 271 enodes (cost 11 ) 212.228 * * [simplify]: iteration 4 : 1175 enodes (cost 11 ) 213.307 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 213.308 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 213.309 * * [simplify]: iteration 1 : 25 enodes (cost 11 ) 213.319 * * [simplify]: iteration 2 : 62 enodes (cost 11 ) 213.331 * * [simplify]: iteration 3 : 199 enodes (cost 11 ) 213.416 * * [simplify]: iteration 4 : 1031 enodes (cost 11 ) 214.299 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 214.300 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 214.305 * * [simplify]: iteration 1 : 26 enodes (cost 11 ) 214.310 * * [simplify]: iteration 2 : 81 enodes (cost 11 ) 214.334 * * [simplify]: iteration 3 : 368 enodes (cost 11 ) 214.708 * * [simplify]: iteration 4 : 2564 enodes (cost 11 ) 216.151 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 216.151 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 216.152 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 216.154 * * [simplify]: iteration 2 : 34 enodes (cost 5 ) 216.159 * * [simplify]: iteration 3 : 82 enodes (cost 5 ) 216.184 * * [simplify]: iteration 4 : 206 enodes (cost 5 ) 216.259 * * [simplify]: iteration 5 : 585 enodes (cost 5 ) 217.014 * * [simplify]: iteration 6 : 1983 enodes (cost 5 ) 218.701 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 218.702 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 218.703 * * [simplify]: iteration 1 : 15 enodes (cost 11 ) 218.706 * * [simplify]: iteration 2 : 50 enodes (cost 11 ) 218.717 * * [simplify]: iteration 3 : 136 enodes (cost 11 ) 218.756 * * [simplify]: iteration 4 : 235 enodes (cost 11 ) 218.823 * * [simplify]: iteration 5 : 341 enodes (cost 11 ) 218.931 * * [simplify]: iteration 6 : 465 enodes (cost 11 ) 219.076 * * [simplify]: iteration 7 : 572 enodes (cost 11 ) 219.271 * * [simplify]: iteration 8 : 625 enodes (cost 11 ) 219.457 * * [simplify]: iteration 9 : 629 enodes (cost 11 ) 219.634 * * [simplify]: iteration done : 629 enodes (cost 11 ) 219.634 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 219.636 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 219.639 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 219.661 * * [simplify]: iteration 3 : 219 enodes (cost 8 ) 219.774 * * [simplify]: iteration 4 : 673 enodes (cost 8 ) 220.311 * * [simplify]: iteration 5 : 1758 enodes (cost 8 ) 222.066 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 222.067 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 222.068 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 222.072 * * [simplify]: iteration 2 : 65 enodes (cost 8 ) 222.088 * * [simplify]: iteration 3 : 219 enodes (cost 8 ) 222.199 * * [simplify]: iteration 4 : 673 enodes (cost 8 ) 222.730 * * [simplify]: iteration 5 : 1758 enodes (cost 8 ) 224.487 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 224.488 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 224.489 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 224.491 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 224.500 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 224.504 * * [simplify]: iteration 4 : 61 enodes (cost 7 ) 224.514 * * [simplify]: iteration 5 : 124 enodes (cost 7 ) 224.563 * * [simplify]: iteration 6 : 340 enodes (cost 7 ) 225.013 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 227.413 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 227.414 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 227.415 * * [simplify]: iteration 1 : 16 enodes (cost 7 ) 227.417 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 227.420 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 227.424 * * [simplify]: iteration 4 : 61 enodes (cost 7 ) 227.434 * * [simplify]: iteration 5 : 124 enodes (cost 7 ) 227.486 * * [simplify]: iteration 6 : 340 enodes (cost 7 ) 227.941 * * [simplify]: iteration 7 : 1261 enodes (cost 7 ) 230.322 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 230.323 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 230.324 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 230.325 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 230.327 * * [simplify]: iteration done : 15 enodes (cost 5 ) 230.327 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 230.328 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 230.329 * * [simplify]: iteration done : 9 enodes (cost 7 ) 230.329 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 230.330 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 230.331 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 230.334 * * [simplify]: iteration done : 20 enodes (cost 6 ) 230.334 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 230.335 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 230.336 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 230.340 * * [simplify]: iteration 3 : 40 enodes (cost 6 ) 230.346 * * [simplify]: iteration 4 : 67 enodes (cost 6 ) 230.360 * * [simplify]: iteration 5 : 133 enodes (cost 6 ) 230.404 * * [simplify]: iteration 6 : 333 enodes (cost 6 ) 230.607 * * [simplify]: iteration 7 : 949 enodes (cost 6 ) 231.907 * * [simplify]: iteration 8 : 3387 enodes (cost 6 ) 233.410 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 233.410 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 233.412 * * [simplify]: iteration 1 : 29 enodes (cost 17 ) 233.417 * * [simplify]: iteration 2 : 90 enodes (cost 9 ) 233.441 * * [simplify]: iteration 3 : 256 enodes (cost 9 ) 233.569 * * [simplify]: iteration 4 : 979 enodes (cost 7 ) 234.572 * * [simplify]: iteration 5 : 3629 enodes (cost 7 ) 236.248 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 236.249 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 236.250 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 236.251 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 236.253 * * [simplify]: iteration done : 17 enodes (cost 13 ) 236.254 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 236.255 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 236.255 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 236.257 * * [simplify]: iteration done : 16 enodes (cost 6 ) 236.258 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 236.259 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 236.263 * * [simplify]: iteration 2 : 80 enodes (cost 7 ) 236.292 * * [simplify]: iteration 3 : 291 enodes (cost 7 ) 236.443 * * [simplify]: iteration 4 : 726 enodes (cost 7 ) 236.967 * * [simplify]: iteration 5 : 1840 enodes (cost 7 ) 239.589 * * [simplify]: iteration 6 : 4312 enodes (cost 7 ) 241.563 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 241.564 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.565 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 241.566 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 241.568 * * [simplify]: iteration done : 16 enodes (cost 6 ) 241.568 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.569 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 241.570 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 241.572 * * [simplify]: iteration done : 16 enodes (cost 6 ) 241.573 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 241.573 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 241.574 * * [simplify]: iteration done : 9 enodes (cost 7 ) 241.575 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 241.576 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 241.576 * * [simplify]: iteration done : 9 enodes (cost 7 ) 241.577 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 241.578 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 241.579 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 241.583 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 241.588 * * [simplify]: iteration 4 : 35 enodes (cost 9 ) 241.596 * * [simplify]: iteration done : 35 enodes (cost 9 ) 241.597 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.598 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 241.598 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 241.600 * * [simplify]: iteration done : 16 enodes (cost 6 ) 241.601 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 241.602 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 241.603 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 241.606 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 241.607 * * [simplify]: iteration done : 28 enodes (cost 3 ) 241.607 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.608 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 241.609 * * [simplify]: iteration done : 8 enodes (cost 6 ) 241.609 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 241.610 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 241.611 * * [simplify]: iteration done : 8 enodes (cost 6 ) 241.611 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 241.612 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 241.613 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 241.614 * * [simplify]: iteration done : 15 enodes (cost 5 ) 241.615 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 241.616 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 241.616 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 241.619 * * [simplify]: iteration done : 15 enodes (cost 5 ) 241.619 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 241.621 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 241.624 * * [simplify]: iteration 2 : 40 enodes (cost 9 ) 241.630 * * [simplify]: iteration 3 : 81 enodes (cost 9 ) 241.644 * * [simplify]: iteration 4 : 157 enodes (cost 9 ) 241.688 * * [simplify]: iteration 5 : 382 enodes (cost 9 ) 241.957 * * [simplify]: iteration 6 : 1272 enodes (cost 9 ) 244.531 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 244.531 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 244.532 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 244.534 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 244.539 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 244.553 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 244.595 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 244.670 * * [simplify]: iteration 6 : 395 enodes (cost 9 ) 244.855 * * [simplify]: iteration 7 : 764 enodes (cost 9 ) 246.524 * * [simplify]: iteration 8 : 3363 enodes (cost 9 ) 248.732 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 248.733 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 248.734 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 248.735 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 248.737 * * [simplify]: iteration done : 13 enodes (cost 5 ) 248.738 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 248.739 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 248.740 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 248.742 * * [simplify]: iteration done : 13 enodes (cost 5 ) 248.743 * * [simplify]: iteration 0 : 11 enodes (cost 14 ) 248.744 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 248.747 * * [simplify]: iteration 2 : 58 enodes (cost 9 ) 248.759 * * [simplify]: iteration 3 : 130 enodes (cost 9 ) 248.800 * * [simplify]: iteration 4 : 204 enodes (cost 9 ) 248.850 * * [simplify]: iteration 5 : 221 enodes (cost 9 ) 248.886 * * [simplify]: iteration done : 221 enodes (cost 9 ) 248.887 * * [simplify]: iteration 0 : 15 enodes (cost 23 ) 248.892 * * [simplify]: iteration 1 : 40 enodes (cost 23 ) 248.901 * * [simplify]: iteration 2 : 139 enodes (cost 19 ) 248.934 * * [simplify]: iteration 3 : 360 enodes (cost 15 ) 249.132 * * [simplify]: iteration 4 : 906 enodes (cost 13 ) 250.107 * * [simplify]: iteration 5 : 2489 enodes (cost 13 ) 251.673 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 251.674 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 251.677 * * [simplify]: iteration 1 : 46 enodes (cost 23 ) 251.690 * * [simplify]: iteration 2 : 170 enodes (cost 19 ) 251.749 * * [simplify]: iteration 3 : 519 enodes (cost 15 ) 252.119 * * [simplify]: iteration 4 : 1522 enodes (cost 13 ) 254.300 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 254.301 * * [simplify]: iteration 0 : 15 enodes (cost 25 ) 254.304 * * [simplify]: iteration 1 : 46 enodes (cost 23 ) 254.317 * * [simplify]: iteration 2 : 170 enodes (cost 19 ) 254.376 * * [simplify]: iteration 3 : 519 enodes (cost 15 ) 254.740 * * [simplify]: iteration 4 : 1522 enodes (cost 13 ) 256.905 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 256.906 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 256.907 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 256.908 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 256.910 * * [simplify]: iteration done : 13 enodes (cost 5 ) 256.910 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 256.911 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 256.912 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 256.914 * * [simplify]: iteration done : 13 enodes (cost 5 ) 256.915 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 256.915 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 256.917 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 256.918 * * [simplify]: iteration done : 13 enodes (cost 5 ) 256.919 * [simplify]: Simplified to: (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (+ x 1.0) y (cbrt (* (* (+ x 1.0) y) (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (cbrt (* (* (+ x 1.0) y) (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (+ x 1.0) y (cbrt (* (+ x 1.0) y)) (cbrt (* (* (+ x 1.0) y) (* (+ x 1.0) y))) (cbrt (sqrt (pow (* (+ x 1.0) y) 3))) (cbrt (sqrt (pow (* (+ x 1.0) y) 3))) 1 (* (+ x 1.0) y) (cbrt (pow (* (+ x 1.0) y) 3/2)) (cbrt (pow (* (+ x 1.0) y) 3/2)) (* (+ (pow x 3) (pow 1.0 3)) y) (+ (* 1.0 (- 1.0 x)) (* x x)) (* y (- (* x x) (* 1.0 1.0))) (- x 1.0) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (pow (* (+ x 1.0) y) 3) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (+ (log (+ x 1.0)) (log y)) 3) (* (log (* (+ x 1.0) y)) 3) (* (log (* (+ x 1.0) y)) 3) 3 3 (pow (* (+ x 1.0) y) (* (cbrt 3) (cbrt 3))) (pow (* (+ x 1.0) y) (sqrt 3)) (* (+ x 1.0) y) (pow (+ x 1.0) 3) (pow y 3) (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (log (pow (* (+ x 1.0) y) 3)) (exp (pow (* (+ x 1.0) y) 3)) (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (* (+ x 1.0) y) (pow (pow (* (+ x 1.0) y) 3) 3) (pow (+ x 1.0) 3) (pow y 3) (pow (* (+ (pow x 3) (pow 1.0 3)) y) 3) (pow (+ (* 1.0 (- 1.0 x)) (* x x)) 3) (pow (* (- (* x x) (* 1.0 1.0)) y) 3) (pow (- x 1.0) 3) (* (* (+ x 1.0) y) (* (+ x 1.0) y)) (sqrt (pow (* (+ x 1.0) y) 3)) (sqrt (pow (* (+ x 1.0) y) 3)) (pow (* (+ x 1.0) y) 3/2) (pow (* (+ x 1.0) y) 3/2) (* (+ x 1.0) y) (+ (log (+ x 1.0)) (log y)) (log (* (+ x 1.0) y)) (exp (* (+ x 1.0) y)) (pow (* (+ x 1.0) y) 3) (* (cbrt (* (+ x 1.0) y)) (cbrt (* (+ x 1.0) y))) (cbrt (* (+ x 1.0) y)) (pow (* (+ x 1.0) y) 3) (sqrt (* (+ x 1.0) y)) (sqrt (* (+ x 1.0) y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (sqrt (+ x 1.0)) (sqrt y)) (* (+ x 1.0) (* (cbrt y) (cbrt y))) (* (+ x 1.0) (sqrt y)) (+ x 1.0) (* (cbrt (+ x 1.0)) y) (* (sqrt (+ x 1.0)) y) (* (+ x 1.0) y) (* (+ x 1.0) y) (* (+ (pow x 3) (pow 1.0 3)) y) (* (* (- x 1.0) y) (+ x 1.0)) (* y (+ x 1.0)) (* y (+ x 1.0)) (neg (* (* y (cbrt -1)) (+ x 1.0))) (* (pow y 3) (+ (* 3.0 (+ x (pow x 2))) 1.0)) (* (* x (+ (* x (+ x 3.0)) 3.0)) (pow y 3)) (* (* x (+ (* x (+ x 3.0)) 3.0)) (pow y 3)) (* y (+ x 1.0)) (* y (+ x 1.0)) (* y (+ x 1.0)) 256.920 * * * [progress]: adding candidates to table 257.021 * [progress]: [Phase 3 of 3] Extracting. 257.021 * * [regime]: Finding splitpoints for: (# # #) 257.021 * * * [regime-changes]: Trying 3 branch expressions: ((- (* (+ x 1.0) y) x) y x) 257.021 * * * * [regimes]: Trying to branch on (- (* (+ x 1.0) y) x) from (# # #) 257.059 * * * * [regimes]: Trying to branch on y from (# # #) 257.096 * * * * [regimes]: Trying to branch on x from (# # #) 257.132 * * * [regime]: Found split indices: #