18.321 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.012 * * * [progress]: [2/2] Setting up program. 0.014 * [progress]: [Phase 2 of 3] Improving. 0.014 * [simplify]: Simplifying using # : (+ x (/ (- x y) 2.0)) 0.015 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.016 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.017 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.019 * * [simplify]: iteration 3 : 29 enodes (cost 7 ) 0.022 * * [simplify]: iteration 4 : 39 enodes (cost 7 ) 0.027 * * [simplify]: iteration 5 : 48 enodes (cost 7 ) 0.032 * * [simplify]: iteration 6 : 60 enodes (cost 7 ) 0.038 * * [simplify]: iteration 7 : 83 enodes (cost 7 ) 0.047 * * [simplify]: iteration 8 : 103 enodes (cost 7 ) 0.061 * * [simplify]: iteration 9 : 118 enodes (cost 7 ) 0.074 * * [simplify]: iteration 10 : 124 enodes (cost 7 ) 0.087 * * [simplify]: iteration 11 : 127 enodes (cost 7 ) 0.100 * * [simplify]: iteration done : 127 enodes (cost 7 ) 0.101 * [simplify]: Simplified to: (+ x (/ (- x y) 2.0)) 0.101 * * [progress]: iteration 1 / 4 0.101 * * * [progress]: picking best candidate 0.103 * * * * [pick]: Picked # 0.103 * * * [progress]: localizing error 0.110 * * * [progress]: generating rewritten candidates 0.110 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.123 * * * [progress]: generating series expansions 0.123 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.123 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 0.124 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 0.124 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 0.124 * [taylor]: Taking taylor expansion of 1.5 in y 0.124 * [taylor]: Taking taylor expansion of x in y 0.124 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.124 * [taylor]: Taking taylor expansion of 0.5 in y 0.124 * [taylor]: Taking taylor expansion of y in y 0.124 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.124 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.124 * [taylor]: Taking taylor expansion of 1.5 in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.124 * [taylor]: Taking taylor expansion of 0.5 in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.124 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 0.124 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 0.124 * [taylor]: Taking taylor expansion of 1.5 in x 0.124 * [taylor]: Taking taylor expansion of x in x 0.124 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 0.124 * [taylor]: Taking taylor expansion of 0.5 in x 0.124 * [taylor]: Taking taylor expansion of y in x 0.125 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 0.125 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 0.125 * [taylor]: Taking taylor expansion of 0.5 in y 0.125 * [taylor]: Taking taylor expansion of y in y 0.127 * [taylor]: Taking taylor expansion of 1.5 in y 0.130 * [taylor]: Taking taylor expansion of 0 in y 0.133 * [taylor]: Taking taylor expansion of 0 in y 0.134 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 0.134 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 0.134 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.134 * [taylor]: Taking taylor expansion of 1.5 in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.134 * [taylor]: Taking taylor expansion of x in y 0.134 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.134 * [taylor]: Taking taylor expansion of 0.5 in y 0.134 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.134 * [taylor]: Taking taylor expansion of y in y 0.134 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.134 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.134 * [taylor]: Taking taylor expansion of 1.5 in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.135 * [taylor]: Taking taylor expansion of 0.5 in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.135 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 0.135 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.135 * [taylor]: Taking taylor expansion of 1.5 in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.135 * [taylor]: Taking taylor expansion of x in x 0.135 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.135 * [taylor]: Taking taylor expansion of 0.5 in x 0.135 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.135 * [taylor]: Taking taylor expansion of y in x 0.136 * [taylor]: Taking taylor expansion of 1.5 in y 0.137 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 0.137 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.137 * [taylor]: Taking taylor expansion of 0.5 in y 0.137 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.137 * [taylor]: Taking taylor expansion of y in y 0.140 * [taylor]: Taking taylor expansion of 0 in y 0.144 * [taylor]: Taking taylor expansion of 0 in y 0.148 * [taylor]: Taking taylor expansion of 0 in y 0.149 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 0.149 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 0.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.149 * [taylor]: Taking taylor expansion of 0.5 in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.149 * [taylor]: Taking taylor expansion of y in y 0.149 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 0.149 * [taylor]: Taking taylor expansion of 1.5 in y 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.149 * [taylor]: Taking taylor expansion of x in y 0.149 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.149 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.149 * [taylor]: Taking taylor expansion of 0.5 in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.149 * [taylor]: Taking taylor expansion of y in x 0.149 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.149 * [taylor]: Taking taylor expansion of 1.5 in x 0.149 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.149 * [taylor]: Taking taylor expansion of x in x 0.150 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 0.150 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 0.150 * [taylor]: Taking taylor expansion of 0.5 in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.150 * [taylor]: Taking taylor expansion of y in x 0.150 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 0.150 * [taylor]: Taking taylor expansion of 1.5 in x 0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.150 * [taylor]: Taking taylor expansion of x in x 0.151 * [taylor]: Taking taylor expansion of (- 1.5) in y 0.151 * [taylor]: Taking taylor expansion of 1.5 in y 0.153 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 0.153 * [taylor]: Taking taylor expansion of 0.5 in y 0.153 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.153 * [taylor]: Taking taylor expansion of y in y 0.156 * [taylor]: Taking taylor expansion of 0 in y 0.159 * [taylor]: Taking taylor expansion of 0 in y 0.164 * [taylor]: Taking taylor expansion of 0 in y 0.164 * * * [progress]: simplifying candidates 0.165 * [simplify]: Simplifying using # : (expm1 (+ x (/ (- x y) 2.0))) (log1p (+ x (/ (- x y) 2.0))) (* (exp x) (exp (/ (- x y) 2.0))) (log (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))) (cbrt (+ x (/ (- x y) 2.0))) (* (* (+ x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0))) (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (+ (* x x) (- (* (/ (- x y) 2.0) (/ (- x y) 2.0)) (* x (/ (- x y) 2.0)))) (- (* x x) (* (/ (- x y) 2.0) (/ (- x y) 2.0))) (- x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 0.166 * * [simplify]: iteration 0 : 36 enodes (cost 194 ) 0.172 * * [simplify]: iteration 1 : 98 enodes (cost 186 ) 0.191 * * [simplify]: iteration 2 : 234 enodes (cost 172 ) 0.237 * * [simplify]: iteration 3 : 684 enodes (cost 172 ) 0.441 * * [simplify]: iteration 4 : 2699 enodes (cost 171 ) 1.156 * * [simplify]: iteration done : 5001 enodes (cost 171 ) 1.156 * [simplify]: Simplified to: (expm1 (+ x (/ (- x y) 2.0))) (log1p (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (log (+ x (/ (- x y) 2.0))) (exp (+ x (/ (- x y) 2.0))) (* (cbrt (+ x (/ (- x y) 2.0))) (cbrt (+ x (/ (- x y) 2.0)))) (cbrt (+ x (/ (- x y) 2.0))) (pow (+ x (/ (- x y) 2.0)) 3) (sqrt (+ x (/ (- x y) 2.0))) (sqrt (+ x (/ (- x y) 2.0))) (+ (pow x 3) (pow (/ (- x y) 2.0) 3)) (fma x x (* (/ (- x y) 2.0) (- (/ (- x y) 2.0) x))) (fma (/ (- y x) 2.0) (/ (- x y) 2.0) (* x x)) (- x (/ (- x y) 2.0)) (+ x (/ (- x y) 2.0)) (+ x (/ x 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 1.157 * * * [progress]: adding candidates to table 1.201 * * [progress]: iteration 2 / 4 1.201 * * * [progress]: picking best candidate 1.214 * * * * [pick]: Picked # 1.214 * * * [progress]: localizing error 1.220 * * * [progress]: generating rewritten candidates 1.220 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.296 * * * [progress]: generating series expansions 1.296 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.296 * [approximate]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in (x y) around 0 1.296 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in y 1.296 * [taylor]: Taking taylor expansion of (* 1.5 x) in y 1.296 * [taylor]: Taking taylor expansion of 1.5 in y 1.296 * [taylor]: Taking taylor expansion of x in y 1.296 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 1.296 * [taylor]: Taking taylor expansion of 0.5 in y 1.296 * [taylor]: Taking taylor expansion of y in y 1.296 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 1.296 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 1.296 * [taylor]: Taking taylor expansion of 1.5 in x 1.296 * [taylor]: Taking taylor expansion of x in x 1.296 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 1.296 * [taylor]: Taking taylor expansion of 0.5 in x 1.296 * [taylor]: Taking taylor expansion of y in x 1.296 * [taylor]: Taking taylor expansion of (- (* 1.5 x) (* 0.5 y)) in x 1.296 * [taylor]: Taking taylor expansion of (* 1.5 x) in x 1.296 * [taylor]: Taking taylor expansion of 1.5 in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of (* 0.5 y) in x 1.297 * [taylor]: Taking taylor expansion of 0.5 in x 1.297 * [taylor]: Taking taylor expansion of y in x 1.297 * [taylor]: Taking taylor expansion of (- (* 0.5 y)) in y 1.297 * [taylor]: Taking taylor expansion of (* 0.5 y) in y 1.297 * [taylor]: Taking taylor expansion of 0.5 in y 1.297 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of 1.5 in y 1.303 * [taylor]: Taking taylor expansion of 0 in y 1.306 * [taylor]: Taking taylor expansion of 0 in y 1.307 * [approximate]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in (x y) around 0 1.307 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in y 1.307 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 1.307 * [taylor]: Taking taylor expansion of 1.5 in y 1.307 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.307 * [taylor]: Taking taylor expansion of x in y 1.307 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.307 * [taylor]: Taking taylor expansion of 0.5 in y 1.307 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.307 * [taylor]: Taking taylor expansion of y in y 1.308 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.308 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 1.308 * [taylor]: Taking taylor expansion of 1.5 in x 1.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.308 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.308 * [taylor]: Taking taylor expansion of 0.5 in x 1.308 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.308 * [taylor]: Taking taylor expansion of (- (* 1.5 (/ 1 x)) (* 0.5 (/ 1 y))) in x 1.308 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 1.308 * [taylor]: Taking taylor expansion of 1.5 in x 1.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.308 * [taylor]: Taking taylor expansion of x in x 1.308 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.308 * [taylor]: Taking taylor expansion of 0.5 in x 1.308 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.308 * [taylor]: Taking taylor expansion of y in x 1.309 * [taylor]: Taking taylor expansion of 1.5 in y 1.310 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y))) in y 1.310 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.310 * [taylor]: Taking taylor expansion of 0.5 in y 1.310 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.310 * [taylor]: Taking taylor expansion of y in y 1.313 * [taylor]: Taking taylor expansion of 0 in y 1.317 * [taylor]: Taking taylor expansion of 0 in y 1.321 * [taylor]: Taking taylor expansion of 0 in y 1.322 * [approximate]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in (x y) around 0 1.322 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in y 1.322 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.322 * [taylor]: Taking taylor expansion of 0.5 in y 1.322 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.322 * [taylor]: Taking taylor expansion of y in y 1.322 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in y 1.322 * [taylor]: Taking taylor expansion of 1.5 in y 1.322 * [taylor]: Taking taylor expansion of (/ 1 x) in y 1.322 * [taylor]: Taking taylor expansion of x in y 1.322 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 1.322 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.322 * [taylor]: Taking taylor expansion of 0.5 in x 1.322 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.322 * [taylor]: Taking taylor expansion of y in x 1.323 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 1.323 * [taylor]: Taking taylor expansion of 1.5 in x 1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.323 * [taylor]: Taking taylor expansion of x in x 1.323 * [taylor]: Taking taylor expansion of (- (* 0.5 (/ 1 y)) (* 1.5 (/ 1 x))) in x 1.323 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in x 1.323 * [taylor]: Taking taylor expansion of 0.5 in x 1.323 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.323 * [taylor]: Taking taylor expansion of y in x 1.323 * [taylor]: Taking taylor expansion of (* 1.5 (/ 1 x)) in x 1.323 * [taylor]: Taking taylor expansion of 1.5 in x 1.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.323 * [taylor]: Taking taylor expansion of x in x 1.324 * [taylor]: Taking taylor expansion of (- 1.5) in y 1.325 * [taylor]: Taking taylor expansion of 1.5 in y 1.326 * [taylor]: Taking taylor expansion of (* 0.5 (/ 1 y)) in y 1.326 * [taylor]: Taking taylor expansion of 0.5 in y 1.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.326 * [taylor]: Taking taylor expansion of y in y 1.329 * [taylor]: Taking taylor expansion of 0 in y 1.332 * [taylor]: Taking taylor expansion of 0 in y 1.340 * [taylor]: Taking taylor expansion of 0 in y 1.340 * * * [progress]: simplifying candidates 1.342 * [simplify]: Simplifying using # : (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0)))))) (fma (- (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0))))) (fma (- (sqrt (/ y 2.0))) (sqrt (/ y 2.0)) (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (cbrt y) (cbrt 2.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0))))) (fma (- (/ (cbrt y) (sqrt 2.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 2.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (sqrt y) (cbrt 2.0))) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0))))) (fma (- (/ (sqrt y) (sqrt 2.0))) (/ (sqrt y) (sqrt 2.0)) (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) 2.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 2.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 2.0) (/ (sqrt y) 1))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ y (cbrt 2.0))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0))))) (fma (- (/ y (sqrt 2.0))) (/ 1 (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ y 2.0) (/ 1 1)))) (fma (- (/ y 2.0)) (/ 1 1) (* (/ y 2.0) (/ 1 1))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ y 2.0) 1))) (fma (- (/ y 2.0)) 1 (* (/ y 2.0) 1)) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (* (/ 1 2.0) y))) (fma (- (/ 1 2.0)) y (* (/ 1 2.0) y)) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0)))))) (fma (- (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0))))) (fma (- (sqrt (/ y 2.0))) (sqrt (/ y 2.0)) (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0)))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (cbrt y) (cbrt 2.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0))))) (fma (- (/ (cbrt y) (sqrt 2.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 2.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (sqrt y) (cbrt 2.0))) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0))))) (fma (- (/ (sqrt y) (sqrt 2.0))) (/ (sqrt y) (sqrt 2.0)) (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0)))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ (sqrt y) 2.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 2.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 2.0) (/ (sqrt y) 1))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ y (cbrt 2.0))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0))))) (fma (- (/ y (sqrt 2.0))) (/ 1 (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ y 2.0) (/ 1 1)))) (fma (- (/ y 2.0)) (/ 1 1) (* (/ y 2.0) (/ 1 1))) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ y 2.0) 1))) (fma (- (/ y 2.0)) 1 (* (/ y 2.0) 1)) (fma (sqrt (+ x (/ x 2.0))) (sqrt (+ x (/ x 2.0))) (- (* (/ 1 2.0) y))) (fma (- (/ 1 2.0)) y (* (/ 1 2.0) y)) (fma 1 (+ x (/ x 2.0)) (- (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0)))))) (fma (- (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0))))) (fma (- (sqrt (/ y 2.0))) (sqrt (/ y 2.0)) (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (cbrt y) (cbrt 2.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0))))) (fma (- (/ (cbrt y) (sqrt 2.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 2.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (sqrt y) (cbrt 2.0))) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0))))) (fma (- (/ (sqrt y) (sqrt 2.0))) (/ (sqrt y) (sqrt 2.0)) (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) 2.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 2.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 2.0) (/ (sqrt y) 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ y (cbrt 2.0))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0))))) (fma (- (/ y (sqrt 2.0))) (/ 1 (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y 2.0) (/ 1 1)))) (fma (- (/ y 2.0)) (/ 1 1) (* (/ y 2.0) (/ 1 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y 2.0) 1))) (fma (- (/ y 2.0)) 1 (* (/ y 2.0) 1)) (fma 1 (+ x (/ x 2.0)) (- (* (/ 1 2.0) y))) (fma (- (/ 1 2.0)) y (* (/ 1 2.0) y)) (fma 1 (+ x (/ x 2.0)) (- (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0)))))) (fma (- (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))) (* (cbrt (/ y 2.0)) (* (cbrt (/ y 2.0)) (cbrt (/ y 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0))))) (fma (- (sqrt (/ y 2.0))) (sqrt (/ y 2.0)) (* (sqrt (/ y 2.0)) (sqrt (/ y 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (cbrt y) (cbrt 2.0))) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (cbrt y) (cbrt 2.0)) (/ (* (cbrt y) (cbrt y)) (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0))))) (fma (- (/ (cbrt y) (sqrt 2.0))) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (* (/ (cbrt y) (sqrt 2.0)) (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1)))) (fma (- (/ (cbrt y) 2.0)) (/ (* (cbrt y) (cbrt y)) 1) (* (/ (cbrt y) 2.0) (/ (* (cbrt y) (cbrt y)) 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ (sqrt y) (cbrt 2.0))) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))) (* (/ (sqrt y) (cbrt 2.0)) (/ (sqrt y) (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0))))) (fma (- (/ (sqrt y) (sqrt 2.0))) (/ (sqrt y) (sqrt 2.0)) (* (/ (sqrt y) (sqrt 2.0)) (/ (sqrt y) (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ (sqrt y) 2.0) (/ (sqrt y) 1)))) (fma (- (/ (sqrt y) 2.0)) (/ (sqrt y) 1) (* (/ (sqrt y) 2.0) (/ (sqrt y) 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0)))))) (fma (- (/ y (cbrt 2.0))) (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (* (/ y (cbrt 2.0)) (/ 1 (* (cbrt 2.0) (cbrt 2.0))))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0))))) (fma (- (/ y (sqrt 2.0))) (/ 1 (sqrt 2.0)) (* (/ y (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y 2.0) (/ 1 1)))) (fma (- (/ y 2.0)) (/ 1 1) (* (/ y 2.0) (/ 1 1))) (fma 1 (+ x (/ x 2.0)) (- (* (/ y 2.0) 1))) (fma (- (/ y 2.0)) 1 (* (/ y 2.0) 1)) (fma 1 (+ x (/ x 2.0)) (- (* (/ 1 2.0) y))) (fma (- (/ 1 2.0)) y (* (/ 1 2.0) y)) (expm1 (- (+ x (/ x 2.0)) (/ y 2.0))) (log1p (- (+ x (/ x 2.0)) (/ y 2.0))) (- (/ y 2.0)) (- (/ y 2.0)) (- (/ y 2.0)) (- (/ y 2.0)) (/ (* (exp x) (exp (/ x 2.0))) (exp (/ y 2.0))) (/ (exp (+ x (/ x 2.0))) (exp (/ y 2.0))) (log (- (+ x (/ x 2.0)) (/ y 2.0))) (exp (- (+ x (/ x 2.0)) (/ y 2.0))) (* (cbrt (- (+ x (/ x 2.0)) (/ y 2.0))) (cbrt (- (+ x (/ x 2.0)) (/ y 2.0)))) (cbrt (- (+ x (/ x 2.0)) (/ y 2.0))) (* (* (- (+ x (/ x 2.0)) (/ y 2.0)) (- (+ x (/ x 2.0)) (/ y 2.0))) (- (+ x (/ x 2.0)) (/ y 2.0))) (sqrt (- (+ x (/ x 2.0)) (/ y 2.0))) (sqrt (- (+ x (/ x 2.0)) (/ y 2.0))) (- (* (+ (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) y)) (* (+ (* x x) (- (* (/ x 2.0) (/ x 2.0)) (* x (/ x 2.0)))) 2.0) (- (* (- (* x x) (* (/ x 2.0) (/ x 2.0))) 2.0) (* (- x (/ x 2.0)) y)) (* (- x (/ x 2.0)) 2.0) (- (pow (+ x (/ x 2.0)) 3) (pow (/ y 2.0) 3)) (+ (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (+ (* (/ y 2.0) (/ y 2.0)) (* (+ x (/ x 2.0)) (/ y 2.0)))) (- (/ y 2.0)) (- (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (* (/ y 2.0) (/ y 2.0))) (+ (+ x (/ x 2.0)) (/ y 2.0)) (+ (sqrt (+ x (/ x 2.0))) (sqrt (/ y 2.0))) (- (sqrt (+ x (/ x 2.0))) (sqrt (/ y 2.0))) (+ (sqrt (+ x (/ x 2.0))) (/ (sqrt y) (sqrt 2.0))) (- (sqrt (+ x (/ x 2.0))) (/ (sqrt y) (sqrt 2.0))) (- (+ x (/ x 2.0)) (/ y 2.0)) (- (+ x (/ x 2.0)) (/ y 2.0)) (- (/ x 2.0) (/ y 2.0)) (- (/ y 2.0)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 1.349 * * [simplify]: iteration 0 : 182 enodes (cost 2778 ) 1.379 * * [simplify]: iteration 1 : 444 enodes (cost 2480 ) 1.492 * * [simplify]: iteration 2 : 1285 enodes (cost 1758 ) 1.870 * * [simplify]: iteration done : 5000 enodes (cost 1743 ) 1.875 * [simplify]: Simplified to: (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (- (* (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0)))) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (pow (/ (cbrt y) (cbrt 2.0)) 3) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (- (/ (/ (pow (cbrt y) 3) (sqrt 2.0)) (sqrt 2.0)))) (* (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (+ (- (/ (cbrt y) (sqrt 2.0))) (/ (cbrt y) (sqrt 2.0)))) (- (* (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0)))) (/ (pow (cbrt y) 3) 2.0)) (- (/ (pow (cbrt y) 3) 2.0) (/ (pow (cbrt y) 3) 2.0)) (- (* (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0)))) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- (/ y (sqrt 2.0))) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (- (* (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0)))) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- (/ y (sqrt 2.0))) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (fma (* (cbrt (+ x (/ x 2.0))) (cbrt (+ x (/ x 2.0)))) (cbrt (+ x (/ x 2.0))) (/ (- y) 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (pow (/ (cbrt y) (cbrt 2.0)) 3) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (+ x (/ x 2.0)) (/ (/ (pow (cbrt y) 3) (sqrt 2.0)) (sqrt 2.0))) (* (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (+ (- (/ (cbrt y) (sqrt 2.0))) (/ (cbrt y) (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ (pow (cbrt y) 3) 2.0)) (- (/ (pow (cbrt y) 3) 2.0) (/ (pow (cbrt y) 3) 2.0)) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (pow (/ (cbrt y) (cbrt 2.0)) 3) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (+ x (/ x 2.0)) (/ (/ (pow (cbrt y) 3) (sqrt 2.0)) (sqrt 2.0))) (* (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (+ (- (/ (cbrt y) (sqrt 2.0))) (/ (cbrt y) (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ (pow (cbrt y) 3) 2.0)) (- (/ (pow (cbrt y) 3) 2.0) (/ (pow (cbrt y) 3) 2.0)) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (pow (/ (cbrt y) (cbrt 2.0)) 3) (pow (/ (cbrt y) (cbrt 2.0)) 3)) (- (+ x (/ x 2.0)) (/ (/ (pow (cbrt y) 3) (sqrt 2.0)) (sqrt 2.0))) (* (/ (* (cbrt y) (cbrt y)) (sqrt 2.0)) (+ (- (/ (cbrt y) (sqrt 2.0))) (/ (cbrt y) (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ (pow (cbrt y) 3) 2.0)) (- (/ (pow (cbrt y) 3) 2.0) (/ (pow (cbrt y) 3) 2.0)) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ (/ y (cbrt 2.0)) (* (cbrt 2.0) (cbrt 2.0)))) (* (/ 1 (* (cbrt 2.0) (cbrt 2.0))) (+ (- (/ y (cbrt 2.0))) (/ y (cbrt 2.0)))) (- (+ x (/ x 2.0)) (/ (/ y (sqrt 2.0)) (sqrt 2.0))) (* (/ y (sqrt 2.0)) (+ (/ -1 (sqrt 2.0)) (/ 1 (sqrt 2.0)))) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (- (+ x (/ x 2.0)) (/ y 2.0)) (* (/ y 2.0) 0) (expm1 (- (+ x (/ x 2.0)) (/ y 2.0))) (log1p (- (+ x (/ x 2.0)) (/ y 2.0))) (/ (- y) 2.0) (/ (- y) 2.0) (/ (- y) 2.0) (/ (- y) 2.0) (exp (- (+ x (/ x 2.0)) (/ y 2.0))) (exp (- (+ x (/ x 2.0)) (/ y 2.0))) (log (- (+ x (/ x 2.0)) (/ y 2.0))) (exp (- (+ x (/ x 2.0)) (/ y 2.0))) (* (cbrt (- (+ x (/ x 2.0)) (/ y 2.0))) (cbrt (- (+ x (/ x 2.0)) (/ y 2.0)))) (cbrt (- (+ x (/ x 2.0)) (/ y 2.0))) (pow (- (+ x (/ x 2.0)) (/ y 2.0)) 3) (sqrt (- (+ x (/ x 2.0)) (/ y 2.0))) (sqrt (- (+ x (/ x 2.0)) (/ y 2.0))) (- (* (+ (pow x 3) (pow (/ x 2.0) 3)) 2.0) (* y (fma x x (* (/ x 2.0) (- (/ x 2.0) x))))) (* 2.0 (fma x x (* (/ x 2.0) (- (/ x 2.0) x)))) (* (- x (/ x 2.0)) (- (* 2.0 (+ x (/ x 2.0))) y)) (* (- x (/ x 2.0)) 2.0) (- (pow (+ x (/ x 2.0)) 3) (pow (/ y 2.0) 3)) (+ (* (+ x (/ x 2.0)) (+ (+ x (/ x 2.0)) (/ y 2.0))) (* (/ y 2.0) (/ y 2.0))) (/ (- y) 2.0) (- (* (+ x (/ x 2.0)) (+ x (/ x 2.0))) (* (/ y 2.0) (/ y 2.0))) (+ (+ x (/ x 2.0)) (/ y 2.0)) (+ (sqrt (+ x (/ x 2.0))) (sqrt (/ y 2.0))) (- (sqrt (+ x (/ x 2.0))) (sqrt (/ y 2.0))) (+ (sqrt (+ x (/ x 2.0))) (/ (sqrt y) (sqrt 2.0))) (- (sqrt (+ x (/ x 2.0))) (/ (sqrt y) (sqrt 2.0))) (- (+ x (/ x 2.0)) (/ y 2.0)) (- (+ x (/ x 2.0)) (/ y 2.0)) (- (/ x 2.0) (/ y 2.0)) (/ (- y) 2.0) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) (- (* 1.5 x) (* 0.5 y)) 1.876 * * * [progress]: adding candidates to table 1.977 * * [progress]: iteration 3 / 4 1.977 * * * [progress]: picking best candidate 1.989 * * * * [pick]: Picked # 1.989 * * * [progress]: localizing error 1.997 * * * [progress]: generating rewritten candidates 1.997 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 1.999 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 2.001 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 2.002 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 2.010 * * * [progress]: generating series expansions 2.010 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 2.010 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.010 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.010 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.010 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.010 * [taylor]: Taking taylor expansion of 1/3 in x 2.010 * [taylor]: Taking taylor expansion of (log x) in x 2.010 * [taylor]: Taking taylor expansion of x in x 2.011 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.011 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.011 * [taylor]: Taking taylor expansion of 1/3 in x 2.011 * [taylor]: Taking taylor expansion of (log x) in x 2.011 * [taylor]: Taking taylor expansion of x in x 2.065 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.065 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.065 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.065 * [taylor]: Taking taylor expansion of 1/3 in x 2.066 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.066 * [taylor]: Taking taylor expansion of x in x 2.067 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.067 * [taylor]: Taking taylor expansion of 1/3 in x 2.067 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.067 * [taylor]: Taking taylor expansion of x in x 2.126 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.126 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.126 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.126 * [taylor]: Taking taylor expansion of -1 in x 2.127 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.127 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.127 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.127 * [taylor]: Taking taylor expansion of 1/3 in x 2.127 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.127 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.127 * [taylor]: Taking taylor expansion of x in x 2.128 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.128 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.128 * [taylor]: Taking taylor expansion of -1 in x 2.129 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.129 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.129 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.129 * [taylor]: Taking taylor expansion of 1/3 in x 2.129 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.129 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.129 * [taylor]: Taking taylor expansion of x in x 2.201 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 2.201 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.201 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.201 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.201 * [taylor]: Taking taylor expansion of 1/3 in x 2.201 * [taylor]: Taking taylor expansion of (log x) in x 2.201 * [taylor]: Taking taylor expansion of x in x 2.202 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.202 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.202 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.202 * [taylor]: Taking taylor expansion of 1/3 in x 2.202 * [taylor]: Taking taylor expansion of (log x) in x 2.202 * [taylor]: Taking taylor expansion of x in x 2.258 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.258 * [taylor]: Taking taylor expansion of 1/3 in x 2.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.258 * [taylor]: Taking taylor expansion of x in x 2.259 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.259 * [taylor]: Taking taylor expansion of 1/3 in x 2.259 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.259 * [taylor]: Taking taylor expansion of x in x 2.314 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.314 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.314 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.314 * [taylor]: Taking taylor expansion of -1 in x 2.315 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.315 * [taylor]: Taking taylor expansion of 1/3 in x 2.315 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.315 * [taylor]: Taking taylor expansion of x in x 2.316 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.316 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.316 * [taylor]: Taking taylor expansion of -1 in x 2.317 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.317 * [taylor]: Taking taylor expansion of 1/3 in x 2.317 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.317 * [taylor]: Taking taylor expansion of x in x 2.389 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 2.390 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.390 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.390 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.390 * [taylor]: Taking taylor expansion of 1/3 in x 2.390 * [taylor]: Taking taylor expansion of (log x) in x 2.390 * [taylor]: Taking taylor expansion of x in x 2.390 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.391 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.391 * [taylor]: Taking taylor expansion of 1/3 in x 2.391 * [taylor]: Taking taylor expansion of (log x) in x 2.391 * [taylor]: Taking taylor expansion of x in x 2.446 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.446 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.446 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.446 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.446 * [taylor]: Taking taylor expansion of 1/3 in x 2.446 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.447 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.447 * [taylor]: Taking taylor expansion of x in x 2.448 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.448 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.448 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.448 * [taylor]: Taking taylor expansion of 1/3 in x 2.448 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.448 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.448 * [taylor]: Taking taylor expansion of x in x 2.510 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.511 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.511 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.511 * [taylor]: Taking taylor expansion of -1 in x 2.511 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.512 * [taylor]: Taking taylor expansion of 1/3 in x 2.512 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.512 * [taylor]: Taking taylor expansion of x in x 2.513 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.513 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.513 * [taylor]: Taking taylor expansion of -1 in x 2.514 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.514 * [taylor]: Taking taylor expansion of 1/3 in x 2.514 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.514 * [taylor]: Taking taylor expansion of x in x 2.589 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 2.589 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 2.589 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.589 * [taylor]: Taking taylor expansion of 1/3 in x 2.589 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.589 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.589 * [taylor]: Taking taylor expansion of x in x 2.590 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 2.590 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 2.590 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 2.590 * [taylor]: Taking taylor expansion of 1/3 in x 2.590 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.590 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.590 * [taylor]: Taking taylor expansion of x in x 2.647 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 2.647 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.647 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.647 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.647 * [taylor]: Taking taylor expansion of 1/3 in x 2.647 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.647 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.647 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.647 * [taylor]: Taking taylor expansion of x in x 2.649 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.649 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.649 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.649 * [taylor]: Taking taylor expansion of 1/3 in x 2.649 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.649 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.649 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.649 * [taylor]: Taking taylor expansion of x in x 2.716 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 2.716 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.716 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.716 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.716 * [taylor]: Taking taylor expansion of -1 in x 2.717 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.717 * [taylor]: Taking taylor expansion of 1/3 in x 2.717 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.717 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.717 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.717 * [taylor]: Taking taylor expansion of x in x 2.718 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 2.718 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.718 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.719 * [taylor]: Taking taylor expansion of -1 in x 2.719 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 2.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 2.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 2.719 * [taylor]: Taking taylor expansion of 1/3 in x 2.719 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.719 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.719 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.719 * [taylor]: Taking taylor expansion of x in x 2.807 * * * [progress]: simplifying candidates 2.808 * [simplify]: Simplifying using # : (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (* (cbrt x) (cbrt x))) (log1p (* (cbrt x) (cbrt x))) (+ 1/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (pow x 2/3) (pow (/ 1 x) -2/3) (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) 2.810 * * [simplify]: iteration 0 : 65 enodes (cost 554 ) 2.833 * * [simplify]: iteration 1 : 119 enodes (cost 443 ) 2.868 * * [simplify]: iteration 2 : 383 enodes (cost 423 ) 3.157 * * [simplify]: iteration 3 : 1868 enodes (cost 405 ) 4.263 * * [simplify]: iteration done : 5000 enodes (cost 405 ) 4.263 * [simplify]: Simplified to: (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (expm1 (pow x 2/3)) (log1p (pow x 2/3)) 2/3 2 (* x x) (pow x 2/3) 2 (log (pow x 2/3)) (log (pow x 2/3)) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt (pow x 2/3)) (cbrt x)) (* (cbrt x) (cbrt (sqrt x))) (cbrt x) (* (pow (cbrt (cbrt x)) 4) (cbrt (cbrt x))) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (pow x 2/3) (pow (/ 1 x) -2/3) (* (cbrt (* x x)) (pow (cbrt -1) 2)) 4.264 * * * [progress]: adding candidates to table 4.501 * * [progress]: iteration 4 / 4 4.501 * * * [progress]: picking best candidate 4.513 * * * * [pick]: Picked # 4.513 * * * [progress]: localizing error 4.526 * * * [progress]: generating rewritten candidates 4.526 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.527 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 4.531 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 4.532 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1) 4.534 * * * [progress]: generating series expansions 4.534 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.534 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.534 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.534 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.534 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.534 * [taylor]: Taking taylor expansion of 1/9 in x 4.534 * [taylor]: Taking taylor expansion of (log x) in x 4.534 * [taylor]: Taking taylor expansion of x in x 4.536 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.536 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.536 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.536 * [taylor]: Taking taylor expansion of 1/9 in x 4.536 * [taylor]: Taking taylor expansion of (log x) in x 4.536 * [taylor]: Taking taylor expansion of x in x 4.588 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.588 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.588 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.588 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.588 * [taylor]: Taking taylor expansion of 1/9 in x 4.588 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.588 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.588 * [taylor]: Taking taylor expansion of x in x 4.589 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.589 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.589 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.589 * [taylor]: Taking taylor expansion of 1/9 in x 4.589 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.589 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.589 * [taylor]: Taking taylor expansion of x in x 4.652 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.652 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.652 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.652 * [taylor]: Taking taylor expansion of 1/3 in x 4.652 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.652 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.652 * [taylor]: Taking taylor expansion of -1 in x 4.656 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.656 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.656 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.656 * [taylor]: Taking taylor expansion of 1/9 in x 4.656 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.656 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.656 * [taylor]: Taking taylor expansion of x in x 4.657 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.657 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.657 * [taylor]: Taking taylor expansion of 1/3 in x 4.657 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.657 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.657 * [taylor]: Taking taylor expansion of -1 in x 4.661 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.661 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.661 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.661 * [taylor]: Taking taylor expansion of 1/9 in x 4.661 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.661 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.661 * [taylor]: Taking taylor expansion of x in x 4.802 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 4.802 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 4.802 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.802 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.802 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.802 * [taylor]: Taking taylor expansion of 1/9 in x 4.802 * [taylor]: Taking taylor expansion of (log x) in x 4.802 * [taylor]: Taking taylor expansion of x in x 4.803 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 4.803 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 4.803 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 4.803 * [taylor]: Taking taylor expansion of 1/9 in x 4.803 * [taylor]: Taking taylor expansion of (log x) in x 4.803 * [taylor]: Taking taylor expansion of x in x 4.855 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 4.855 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.855 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.855 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.856 * [taylor]: Taking taylor expansion of 1/9 in x 4.856 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.856 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.856 * [taylor]: Taking taylor expansion of x in x 4.857 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.857 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.857 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.857 * [taylor]: Taking taylor expansion of 1/9 in x 4.857 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.857 * [taylor]: Taking taylor expansion of x in x 4.920 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 4.920 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.920 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.920 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.920 * [taylor]: Taking taylor expansion of 1/3 in x 4.920 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.920 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.920 * [taylor]: Taking taylor expansion of -1 in x 4.924 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.924 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.925 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.925 * [taylor]: Taking taylor expansion of 1/9 in x 4.925 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.925 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.925 * [taylor]: Taking taylor expansion of x in x 4.926 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 4.926 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 4.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 4.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 4.926 * [taylor]: Taking taylor expansion of 1/3 in x 4.926 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 4.926 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.926 * [taylor]: Taking taylor expansion of -1 in x 4.929 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 4.930 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 4.930 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 4.930 * [taylor]: Taking taylor expansion of 1/9 in x 4.930 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.930 * [taylor]: Taking taylor expansion of x in x 5.071 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 5.071 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 5.071 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.071 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.071 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.071 * [taylor]: Taking taylor expansion of 1/9 in x 5.071 * [taylor]: Taking taylor expansion of (log x) in x 5.071 * [taylor]: Taking taylor expansion of x in x 5.072 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 5.072 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 5.072 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 5.072 * [taylor]: Taking taylor expansion of 1/9 in x 5.072 * [taylor]: Taking taylor expansion of (log x) in x 5.072 * [taylor]: Taking taylor expansion of x in x 5.132 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 5.132 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.132 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.132 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.132 * [taylor]: Taking taylor expansion of 1/9 in x 5.132 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.132 * [taylor]: Taking taylor expansion of x in x 5.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.133 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.133 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.133 * [taylor]: Taking taylor expansion of 1/9 in x 5.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.133 * [taylor]: Taking taylor expansion of x in x 5.189 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 5.189 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.189 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.189 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.190 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.190 * [taylor]: Taking taylor expansion of 1/3 in x 5.190 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.190 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.190 * [taylor]: Taking taylor expansion of -1 in x 5.194 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.194 * [taylor]: Taking taylor expansion of 1/9 in x 5.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.194 * [taylor]: Taking taylor expansion of x in x 5.195 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 5.195 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 5.195 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 5.195 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 5.195 * [taylor]: Taking taylor expansion of 1/3 in x 5.195 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 5.195 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.195 * [taylor]: Taking taylor expansion of -1 in x 5.207 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 5.207 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 5.207 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 5.207 * [taylor]: Taking taylor expansion of 1/9 in x 5.207 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.207 * [taylor]: Taking taylor expansion of x in x 5.341 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1) 5.341 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 5.341 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.341 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.341 * [taylor]: Taking taylor expansion of 1/3 in x 5.341 * [taylor]: Taking taylor expansion of (log x) in x 5.341 * [taylor]: Taking taylor expansion of x in x 5.342 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 5.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 5.342 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 5.342 * [taylor]: Taking taylor expansion of 1/3 in x 5.342 * [taylor]: Taking taylor expansion of (log x) in x 5.342 * [taylor]: Taking taylor expansion of x in x 5.403 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 5.403 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.403 * [taylor]: Taking taylor expansion of 1/3 in x 5.403 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.403 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.403 * [taylor]: Taking taylor expansion of x in x 5.404 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.404 * [taylor]: Taking taylor expansion of 1/3 in x 5.404 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.404 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.404 * [taylor]: Taking taylor expansion of x in x 5.468 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 5.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.468 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.468 * [taylor]: Taking taylor expansion of -1 in x 5.469 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.469 * [taylor]: Taking taylor expansion of 1/3 in x 5.469 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.469 * [taylor]: Taking taylor expansion of x in x 5.470 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 5.470 * [taylor]: Taking taylor expansion of (cbrt -1) in x 5.470 * [taylor]: Taking taylor expansion of -1 in x 5.471 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 5.471 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 5.471 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 5.471 * [taylor]: Taking taylor expansion of 1/3 in x 5.471 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 5.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 5.471 * [taylor]: Taking taylor expansion of x in x 5.548 * * * [progress]: simplifying candidates 5.549 * [simplify]: Simplifying using # : (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (* -1 x) 1/9) (pow (cbrt -1) 1/3)) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) 5.551 * * [simplify]: iteration 0 : 46 enodes (cost 419 ) 5.558 * * [simplify]: iteration 1 : 79 enodes (cost 400 ) 5.572 * * [simplify]: iteration 2 : 151 enodes (cost 370 ) 5.609 * * [simplify]: iteration 3 : 335 enodes (cost 358 ) 5.735 * * [simplify]: iteration 4 : 1129 enodes (cost 358 ) 6.105 * * [simplify]: iteration done : 5001 enodes (cost 358 ) 6.106 * [simplify]: Simplified to: (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt (cbrt x))) (log1p (cbrt (cbrt x))) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (pow x 2/3))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (expm1 (cbrt x)) (log1p (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (pow x 1/9) (pow (/ 1 x) -1/9) (* (pow (- x) 1/9) (cbrt (cbrt -1))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) 6.106 * * * [progress]: adding candidates to table 6.358 * [progress]: [Phase 3 of 3] Extracting. 6.358 * * [regime]: Finding splitpoints for: (# # # # # # #) 6.360 * * * [regime-changes]: Trying 2 branch expressions: (y x) 6.360 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 6.392 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 6.419 * * * [regime]: Found split indices: #