6.006 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* (* x 27.0) y) 0.018 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.020 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.022 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 0.024 * * [simplify]: iteration done : 16 enodes (cost 5 ) 0.024 * [simplify]: Simplified to: (* (* x 27.0) y) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.030 * * * [progress]: generating rewritten candidates 0.030 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.036 * * * [progress]: generating series expansions 0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.036 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 0.036 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 0.036 * [taylor]: Taking taylor expansion of 27.0 in y 0.036 * [taylor]: Taking taylor expansion of (* x y) in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.036 * [taylor]: Taking taylor expansion of 27.0 in x 0.036 * [taylor]: Taking taylor expansion of (* x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 0.036 * [taylor]: Taking taylor expansion of 27.0 in x 0.036 * [taylor]: Taking taylor expansion of (* x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 0.036 * [taylor]: Taking taylor expansion of 27.0 in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.036 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.037 * [taylor]: Taking taylor expansion of 27.0 in y 0.037 * [taylor]: Taking taylor expansion of (* x y) in y 0.037 * [taylor]: Taking taylor expansion of x in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.037 * [taylor]: Taking taylor expansion of 27.0 in x 0.037 * [taylor]: Taking taylor expansion of (* x y) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of y in x 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.037 * [taylor]: Taking taylor expansion of 27.0 in x 0.037 * [taylor]: Taking taylor expansion of (* x y) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of y in x 0.037 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.037 * [taylor]: Taking taylor expansion of 27.0 in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 0.038 * [taylor]: Taking taylor expansion of 27.0 in y 0.038 * [taylor]: Taking taylor expansion of (* x y) in y 0.038 * [taylor]: Taking taylor expansion of x in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.038 * [taylor]: Taking taylor expansion of 27.0 in x 0.038 * [taylor]: Taking taylor expansion of (* x y) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.039 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 0.039 * [taylor]: Taking taylor expansion of 27.0 in x 0.039 * [taylor]: Taking taylor expansion of (* x y) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of y in x 0.039 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 0.039 * [taylor]: Taking taylor expansion of 27.0 in y 0.039 * [taylor]: Taking taylor expansion of y in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.040 * * * [progress]: simplifying candidates 0.040 * [simplify]: Simplifying using # : (* (* x 27.0) y) (* (* x 27.0) y) (+ (+ (log x) (log 27.0)) (log y)) (+ (log (* x 27.0)) (log y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (* (* (* (* x x) x) (* (* 27.0 27.0) 27.0)) (* (* y y) y)) (* (* (* (* x 27.0) (* x 27.0)) (* x 27.0)) (* (* y y) y)) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (* (* (* (* x 27.0) y) (* (* x 27.0) y)) (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* (* x 27.0) 1) (* 27.0 y) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 0.041 * * [simplify]: iteration 0 : 40 enodes (cost 157 ) 0.052 * * [simplify]: iteration 1 : 102 enodes (cost 152 ) 0.077 * * [simplify]: iteration 2 : 430 enodes (cost 122 ) 0.238 * * [simplify]: iteration 3 : 1838 enodes (cost 122 ) 0.836 * * [simplify]: iteration 4 : 4785 enodes (cost 122 ) 1.247 * * [simplify]: iteration done : 5000 enodes (cost 122 ) 1.247 * [simplify]: Simplified to: (* (* x 27.0) y) (* (* x 27.0) y) (log (* (* x 27.0) y)) (log (* (* x 27.0) y)) (log (* (* x 27.0) y)) (exp (* (* x 27.0) y)) (pow (* (* x 27.0) y) 3) (pow (* (* x 27.0) y) 3) (* (cbrt (* (* x 27.0) y)) (cbrt (* (* x 27.0) y))) (cbrt (* (* x 27.0) y)) (pow (* (* x 27.0) y) 3) (sqrt (* (* x 27.0) y)) (sqrt (* (* x 27.0) y)) (* (* x 27.0) (* (cbrt y) (cbrt y))) (* (* x 27.0) (sqrt y)) (* x 27.0) (* 27.0 y) (* (* x 27.0) y) (* (* x 27.0) y) (* (* x 27.0) y) 1.247 * * * [progress]: adding candidates to table 1.266 * * [progress]: iteration 2 / 4 1.266 * * * [progress]: picking best candidate 1.287 * * * * [pick]: Picked # 1.287 * * * [progress]: localizing error 1.291 * * * [progress]: generating rewritten candidates 1.291 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1.297 * * * [progress]: generating series expansions 1.297 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1.297 * [approximate]: Taking taylor expansion of (* 27.0 (* x y)) in (x y) around 0 1.297 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in y 1.297 * [taylor]: Taking taylor expansion of 27.0 in y 1.297 * [taylor]: Taking taylor expansion of (* x y) in y 1.297 * [taylor]: Taking taylor expansion of x in y 1.297 * [taylor]: Taking taylor expansion of y in y 1.297 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 1.297 * [taylor]: Taking taylor expansion of 27.0 in x 1.297 * [taylor]: Taking taylor expansion of (* x y) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of y in x 1.297 * [taylor]: Taking taylor expansion of (* 27.0 (* x y)) in x 1.297 * [taylor]: Taking taylor expansion of 27.0 in x 1.297 * [taylor]: Taking taylor expansion of (* x y) in x 1.297 * [taylor]: Taking taylor expansion of x in x 1.297 * [taylor]: Taking taylor expansion of y in x 1.297 * [taylor]: Taking taylor expansion of 0 in y 1.297 * [taylor]: Taking taylor expansion of (* 27.0 y) in y 1.298 * [taylor]: Taking taylor expansion of 27.0 in y 1.298 * [taylor]: Taking taylor expansion of y in y 1.298 * [taylor]: Taking taylor expansion of 0 in y 1.298 * [taylor]: Taking taylor expansion of 0 in y 1.298 * [taylor]: Taking taylor expansion of 0 in y 1.298 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 1.298 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 1.298 * [taylor]: Taking taylor expansion of 27.0 in y 1.298 * [taylor]: Taking taylor expansion of (* x y) in y 1.298 * [taylor]: Taking taylor expansion of x in y 1.298 * [taylor]: Taking taylor expansion of y in y 1.298 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.298 * [taylor]: Taking taylor expansion of 27.0 in x 1.298 * [taylor]: Taking taylor expansion of (* x y) in x 1.298 * [taylor]: Taking taylor expansion of x in x 1.298 * [taylor]: Taking taylor expansion of y in x 1.298 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.299 * [taylor]: Taking taylor expansion of 27.0 in x 1.299 * [taylor]: Taking taylor expansion of (* x y) in x 1.299 * [taylor]: Taking taylor expansion of x in x 1.299 * [taylor]: Taking taylor expansion of y in x 1.299 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 1.299 * [taylor]: Taking taylor expansion of 27.0 in y 1.299 * [taylor]: Taking taylor expansion of y in y 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.299 * [taylor]: Taking taylor expansion of 0 in y 1.300 * [approximate]: Taking taylor expansion of (/ 27.0 (* x y)) in (x y) around 0 1.300 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in y 1.300 * [taylor]: Taking taylor expansion of 27.0 in y 1.300 * [taylor]: Taking taylor expansion of (* x y) in y 1.300 * [taylor]: Taking taylor expansion of x in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.300 * [taylor]: Taking taylor expansion of 27.0 in x 1.300 * [taylor]: Taking taylor expansion of (* x y) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of y in x 1.300 * [taylor]: Taking taylor expansion of (/ 27.0 (* x y)) in x 1.300 * [taylor]: Taking taylor expansion of 27.0 in x 1.300 * [taylor]: Taking taylor expansion of (* x y) in x 1.300 * [taylor]: Taking taylor expansion of x in x 1.300 * [taylor]: Taking taylor expansion of y in x 1.300 * [taylor]: Taking taylor expansion of (/ 27.0 y) in y 1.300 * [taylor]: Taking taylor expansion of 27.0 in y 1.300 * [taylor]: Taking taylor expansion of y in y 1.300 * [taylor]: Taking taylor expansion of 0 in y 1.300 * [taylor]: Taking taylor expansion of 0 in y 1.301 * [taylor]: Taking taylor expansion of 0 in y 1.301 * * * [progress]: simplifying candidates 1.301 * [simplify]: Simplifying using # : (* x (* 27.0 y)) (* x (* 27.0 y)) (+ (log x) (+ (log 27.0) (log y))) (+ (log x) (log (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (* (* (* x x) x) (* (* (* 27.0 27.0) 27.0) (* (* y y) y))) (* (* (* x x) x) (* (* (* 27.0 y) (* 27.0 y)) (* 27.0 y))) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (* (* (* x (* 27.0 y)) (* x (* 27.0 y))) (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x 27.0) (* (cbrt x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* 27.0 (* x y)) (* 27.0 (* x y)) (* 27.0 (* x y)) 1.302 * * [simplify]: iteration 0 : 37 enodes (cost 154 ) 1.308 * * [simplify]: iteration 1 : 90 enodes (cost 151 ) 1.326 * * [simplify]: iteration 2 : 319 enodes (cost 121 ) 1.420 * * [simplify]: iteration 3 : 1050 enodes (cost 121 ) 1.785 * * [simplify]: iteration 4 : 1950 enodes (cost 121 ) 2.257 * * [simplify]: iteration 5 : 3820 enodes (cost 121 ) 2.982 * * [simplify]: iteration done : 5001 enodes (cost 121 ) 2.983 * [simplify]: Simplified to: (* x (* 27.0 y)) (* x (* 27.0 y)) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (log (* x (* 27.0 y))) (exp (* x (* 27.0 y))) (pow (* x (* 27.0 y)) 3) (pow (* x (* 27.0 y)) 3) (* (cbrt (* x (* 27.0 y))) (cbrt (* x (* 27.0 y)))) (cbrt (* x (* 27.0 y))) (pow (* x (* 27.0 y)) 3) (sqrt (* x (* 27.0 y))) (sqrt (* x (* 27.0 y))) (* x 27.0) (* (cbrt x) (* 27.0 y)) (* (sqrt x) (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) (* x (* 27.0 y)) 2.983 * * * [progress]: adding candidates to table 2.998 * * [progress]: iteration 3 / 4 2.998 * * * [progress]: picking best candidate 3.019 * * * * [pick]: Picked # 3.019 * * * [progress]: localizing error 3.027 * * * [progress]: generating rewritten candidates 3.027 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2) 3.028 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2) 3.030 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1) 3.031 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 3.039 * * * [progress]: generating series expansions 3.039 * * * * [progress]: [ 1 / 4 ] generating series at (2 2) 3.039 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.039 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.039 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.039 * [taylor]: Taking taylor expansion of 1/3 in y 3.039 * [taylor]: Taking taylor expansion of (log y) in y 3.039 * [taylor]: Taking taylor expansion of y in y 3.039 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.039 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.040 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.040 * [taylor]: Taking taylor expansion of 1/3 in y 3.040 * [taylor]: Taking taylor expansion of (log y) in y 3.040 * [taylor]: Taking taylor expansion of y in y 3.046 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.046 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.046 * [taylor]: Taking taylor expansion of 1/3 in y 3.046 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.046 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.046 * [taylor]: Taking taylor expansion of y in y 3.046 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.047 * [taylor]: Taking taylor expansion of 1/3 in y 3.047 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.047 * [taylor]: Taking taylor expansion of y in y 3.053 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 3.053 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.053 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.054 * [taylor]: Taking taylor expansion of 1/3 in y 3.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.054 * [taylor]: Taking taylor expansion of y in y 3.054 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.054 * [taylor]: Taking taylor expansion of -1 in y 3.054 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.054 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.054 * [taylor]: Taking taylor expansion of 1/3 in y 3.054 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.054 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.054 * [taylor]: Taking taylor expansion of y in y 3.054 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.054 * [taylor]: Taking taylor expansion of -1 in y 3.063 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2) 3.063 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.063 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.063 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.063 * [taylor]: Taking taylor expansion of 1/3 in y 3.063 * [taylor]: Taking taylor expansion of (log y) in y 3.063 * [taylor]: Taking taylor expansion of y in y 3.063 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.063 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.063 * [taylor]: Taking taylor expansion of 1/3 in y 3.063 * [taylor]: Taking taylor expansion of (log y) in y 3.063 * [taylor]: Taking taylor expansion of y in y 3.070 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.070 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.070 * [taylor]: Taking taylor expansion of 1/3 in y 3.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.070 * [taylor]: Taking taylor expansion of y in y 3.070 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.070 * [taylor]: Taking taylor expansion of 1/3 in y 3.070 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.070 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.070 * [taylor]: Taking taylor expansion of y in y 3.077 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 3.077 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.077 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.077 * [taylor]: Taking taylor expansion of 1/3 in y 3.077 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.077 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.077 * [taylor]: Taking taylor expansion of y in y 3.078 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.078 * [taylor]: Taking taylor expansion of -1 in y 3.078 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.078 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.078 * [taylor]: Taking taylor expansion of 1/3 in y 3.078 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.078 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.078 * [taylor]: Taking taylor expansion of y in y 3.078 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.078 * [taylor]: Taking taylor expansion of -1 in y 3.087 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1) 3.087 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 3.087 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.087 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.087 * [taylor]: Taking taylor expansion of 1/3 in y 3.087 * [taylor]: Taking taylor expansion of (log y) in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.087 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 3.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 3.087 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 3.087 * [taylor]: Taking taylor expansion of 1/3 in y 3.087 * [taylor]: Taking taylor expansion of (log y) in y 3.087 * [taylor]: Taking taylor expansion of y in y 3.094 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 3.094 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.094 * [taylor]: Taking taylor expansion of 1/3 in y 3.094 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.094 * [taylor]: Taking taylor expansion of y in y 3.094 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.094 * [taylor]: Taking taylor expansion of 1/3 in y 3.094 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.094 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.094 * [taylor]: Taking taylor expansion of y in y 3.101 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 3.101 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.101 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.102 * [taylor]: Taking taylor expansion of 1/3 in y 3.102 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.102 * [taylor]: Taking taylor expansion of y in y 3.102 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.102 * [taylor]: Taking taylor expansion of -1 in y 3.102 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 3.102 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 3.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 3.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 3.102 * [taylor]: Taking taylor expansion of 1/3 in y 3.102 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 3.102 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.102 * [taylor]: Taking taylor expansion of y in y 3.102 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.102 * [taylor]: Taking taylor expansion of -1 in y 3.115 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 3.115 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 3.115 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 3.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 3.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 3.115 * [taylor]: Taking taylor expansion of 1/3 in y 3.115 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.115 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.115 * [taylor]: Taking taylor expansion of y in y 3.115 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 3.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 3.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 3.115 * [taylor]: Taking taylor expansion of 1/3 in y 3.115 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 3.115 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.115 * [taylor]: Taking taylor expansion of y in y 3.122 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 3.122 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 3.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 3.122 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.122 * [taylor]: Taking taylor expansion of 1/3 in y 3.122 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.122 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.122 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.122 * [taylor]: Taking taylor expansion of y in y 3.123 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 3.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 3.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.123 * [taylor]: Taking taylor expansion of 1/3 in y 3.123 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.123 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.123 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.123 * [taylor]: Taking taylor expansion of y in y 3.130 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 3.130 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 3.130 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.130 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.130 * [taylor]: Taking taylor expansion of -1 in y 3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.131 * [taylor]: Taking taylor expansion of 1/3 in y 3.131 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.131 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.131 * [taylor]: Taking taylor expansion of y in y 3.131 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 3.131 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.131 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.131 * [taylor]: Taking taylor expansion of -1 in y 3.131 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 3.131 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 3.131 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 3.131 * [taylor]: Taking taylor expansion of 1/3 in y 3.131 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 3.131 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 3.131 * [taylor]: Taking taylor expansion of (pow y 2) in y 3.131 * [taylor]: Taking taylor expansion of y in y 3.142 * * * [progress]: simplifying candidates 3.143 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (+ 1/3 1/3) (+ 1 1) (* y y) (* (cbrt y) (cbrt y)) (+ 1 1) (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 1 1) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 2 1/3) (* 2 1) (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* (cbrt y) (cbrt 1)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (* (cbrt y) 1) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) 3.145 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 3.156 * * [simplify]: iteration 1 : 151 enodes (cost 525 ) 3.183 * * [simplify]: iteration 2 : 383 enodes (cost 462 ) 3.252 * * [simplify]: iteration 3 : 1202 enodes (cost 382 ) 3.471 * * [simplify]: iteration 4 : 3188 enodes (cost 374 ) 4.043 * * [simplify]: iteration done : 5000 enodes (cost 374 ) 4.043 * [simplify]: Simplified to: (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) 2/3 2 (pow y 2) (pow y 2/3) 2 (* (log y) 2/3) (* (log y) 2/3) (exp (pow y 2/3)) (pow y 2) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (cbrt (pow y 2/3)) (pow y 2) (fabs (cbrt y)) (fabs (cbrt y)) (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (pow y 2/3) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y) (cbrt y) 1 (pow y 2/3) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (cbrt y) (cbrt y) 2/3 2 (* (cbrt y) (cbrt (pow y 2/3))) (* (cbrt y) (cbrt (sqrt y))) (cbrt y) (pow (cbrt (cbrt y)) 5) (pow (sqrt (cbrt y)) 3) (cbrt y) (pow (cbrt (cbrt y)) 4) (* (cbrt y) (cbrt (sqrt y))) (pow y 2/3) (pow (cbrt (cbrt y)) 4) (pow (sqrt (cbrt y)) 3) (pow y 2/3) (cbrt y) (cbrt y) (* (cbrt (/ 1 (/ -1 y))) (cbrt -1)) (cbrt y) (cbrt y) (* (cbrt (/ 1 (/ -1 y))) (cbrt -1)) (cbrt y) (cbrt y) (* (cbrt (/ 1 (/ -1 y))) (cbrt -1)) (pow y 2/3) (pow y 2/3) (* (pow (/ -1 y) -2/3) (pow (cbrt -1) 2)) 4.043 * * * [progress]: adding candidates to table 4.130 * * [progress]: iteration 4 / 4 4.130 * * * [progress]: picking best candidate 4.145 * * * * [pick]: Picked # 4.145 * * * [progress]: localizing error 4.157 * * * [progress]: generating rewritten candidates 4.157 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 2 2) 4.159 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 2 1 2) 4.161 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2 1 1) 4.163 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 4.166 * * * [progress]: generating series expansions 4.166 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 2 2) 4.166 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 4.166 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.166 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.166 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.166 * [taylor]: Taking taylor expansion of 1/9 in y 4.166 * [taylor]: Taking taylor expansion of (log y) in y 4.166 * [taylor]: Taking taylor expansion of y in y 4.166 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.166 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.166 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.166 * [taylor]: Taking taylor expansion of 1/9 in y 4.166 * [taylor]: Taking taylor expansion of (log y) in y 4.166 * [taylor]: Taking taylor expansion of y in y 4.173 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 4.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.173 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.173 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.173 * [taylor]: Taking taylor expansion of 1/9 in y 4.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.173 * [taylor]: Taking taylor expansion of y in y 4.173 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.173 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.173 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.173 * [taylor]: Taking taylor expansion of 1/9 in y 4.173 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.173 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.173 * [taylor]: Taking taylor expansion of y in y 4.180 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 4.180 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.180 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.181 * [taylor]: Taking taylor expansion of 1/3 in y 4.181 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.181 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.181 * [taylor]: Taking taylor expansion of -1 in y 4.181 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.181 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.181 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.181 * [taylor]: Taking taylor expansion of 1/9 in y 4.181 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.181 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.181 * [taylor]: Taking taylor expansion of y in y 4.181 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.181 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.181 * [taylor]: Taking taylor expansion of 1/3 in y 4.181 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.181 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.181 * [taylor]: Taking taylor expansion of -1 in y 4.181 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.181 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.181 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.182 * [taylor]: Taking taylor expansion of 1/9 in y 4.182 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.182 * [taylor]: Taking taylor expansion of y in y 4.199 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 2 1 2) 4.199 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 4.199 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.199 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.199 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.199 * [taylor]: Taking taylor expansion of 1/9 in y 4.199 * [taylor]: Taking taylor expansion of (log y) in y 4.199 * [taylor]: Taking taylor expansion of y in y 4.199 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.199 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.199 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.199 * [taylor]: Taking taylor expansion of 1/9 in y 4.199 * [taylor]: Taking taylor expansion of (log y) in y 4.199 * [taylor]: Taking taylor expansion of y in y 4.209 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 4.209 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.209 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.209 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.209 * [taylor]: Taking taylor expansion of 1/9 in y 4.209 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.210 * [taylor]: Taking taylor expansion of y in y 4.210 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.210 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.210 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.210 * [taylor]: Taking taylor expansion of 1/9 in y 4.210 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.210 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.210 * [taylor]: Taking taylor expansion of y in y 4.217 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 4.217 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.217 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.217 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.217 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.217 * [taylor]: Taking taylor expansion of 1/3 in y 4.217 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.217 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.217 * [taylor]: Taking taylor expansion of -1 in y 4.218 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.218 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.218 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.218 * [taylor]: Taking taylor expansion of 1/9 in y 4.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.218 * [taylor]: Taking taylor expansion of y in y 4.218 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.218 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.218 * [taylor]: Taking taylor expansion of 1/3 in y 4.218 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.218 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.218 * [taylor]: Taking taylor expansion of -1 in y 4.218 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.218 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.218 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.218 * [taylor]: Taking taylor expansion of 1/9 in y 4.218 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.218 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.218 * [taylor]: Taking taylor expansion of y in y 4.235 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2 1 1) 4.236 * [approximate]: Taking taylor expansion of (pow y 1/9) in (y) around 0 4.236 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.236 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.236 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.236 * [taylor]: Taking taylor expansion of 1/9 in y 4.236 * [taylor]: Taking taylor expansion of (log y) in y 4.236 * [taylor]: Taking taylor expansion of y in y 4.236 * [taylor]: Taking taylor expansion of (pow y 1/9) in y 4.236 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log y))) in y 4.236 * [taylor]: Taking taylor expansion of (* 1/9 (log y)) in y 4.236 * [taylor]: Taking taylor expansion of 1/9 in y 4.236 * [taylor]: Taking taylor expansion of (log y) in y 4.236 * [taylor]: Taking taylor expansion of y in y 4.242 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/9) in (y) around 0 4.242 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.242 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.242 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.242 * [taylor]: Taking taylor expansion of 1/9 in y 4.242 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.242 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.242 * [taylor]: Taking taylor expansion of y in y 4.243 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.243 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.243 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.243 * [taylor]: Taking taylor expansion of 1/9 in y 4.243 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.243 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.243 * [taylor]: Taking taylor expansion of y in y 4.250 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in (y) around 0 4.250 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.250 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.250 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.250 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.250 * [taylor]: Taking taylor expansion of 1/3 in y 4.250 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.250 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.250 * [taylor]: Taking taylor expansion of -1 in y 4.251 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.251 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.251 * [taylor]: Taking taylor expansion of 1/9 in y 4.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.251 * [taylor]: Taking taylor expansion of y in y 4.251 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 y) 1/9)) in y 4.251 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in y 4.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in y 4.251 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in y 4.251 * [taylor]: Taking taylor expansion of 1/3 in y 4.251 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in y 4.251 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.251 * [taylor]: Taking taylor expansion of -1 in y 4.251 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/9) in y 4.251 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 y)))) in y 4.251 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 y))) in y 4.251 * [taylor]: Taking taylor expansion of 1/9 in y 4.251 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.251 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.251 * [taylor]: Taking taylor expansion of y in y 4.268 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 4.269 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 4.269 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.269 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.269 * [taylor]: Taking taylor expansion of 1/3 in y 4.269 * [taylor]: Taking taylor expansion of (log y) in y 4.269 * [taylor]: Taking taylor expansion of y in y 4.269 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 4.269 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 4.269 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 4.269 * [taylor]: Taking taylor expansion of 1/3 in y 4.269 * [taylor]: Taking taylor expansion of (log y) in y 4.269 * [taylor]: Taking taylor expansion of y in y 4.275 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 4.275 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.275 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.275 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.275 * [taylor]: Taking taylor expansion of 1/3 in y 4.275 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.275 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.275 * [taylor]: Taking taylor expansion of y in y 4.276 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.276 * [taylor]: Taking taylor expansion of 1/3 in y 4.276 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.276 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.276 * [taylor]: Taking taylor expansion of y in y 4.283 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 4.283 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.283 * [taylor]: Taking taylor expansion of 1/3 in y 4.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.283 * [taylor]: Taking taylor expansion of y in y 4.283 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.283 * [taylor]: Taking taylor expansion of -1 in y 4.283 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 4.283 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 4.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 4.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 4.283 * [taylor]: Taking taylor expansion of 1/3 in y 4.283 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 4.283 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.283 * [taylor]: Taking taylor expansion of y in y 4.283 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.283 * [taylor]: Taking taylor expansion of -1 in y 4.292 * * * [progress]: simplifying candidates 4.293 * [simplify]: Simplifying using # : (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt 1)) (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt 1) (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/9 (+ (log y) (log 1)))) (exp (* 1/9 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/9 (- (log 1) (log (/ -1 y))))) (pow (cbrt -1) 1/3)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) 4.295 * * [simplify]: iteration 0 : 53 enodes (cost 449 ) 4.305 * * [simplify]: iteration 1 : 100 enodes (cost 423 ) 4.317 * * [simplify]: iteration 2 : 184 enodes (cost 374 ) 4.335 * * [simplify]: iteration 3 : 401 enodes (cost 343 ) 4.387 * * [simplify]: iteration 4 : 1038 enodes (cost 331 ) 4.610 * * [simplify]: iteration 5 : 3620 enodes (cost 323 ) 5.175 * * [simplify]: iteration done : 5001 enodes (cost 323 ) 5.176 * [simplify]: Simplified to: (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt (cbrt y))) (exp (cbrt (cbrt y))) (cbrt (cbrt (pow y 2/3))) (cbrt (cbrt (cbrt y))) (cbrt (cbrt (sqrt y))) (cbrt (cbrt (sqrt y))) 1 (cbrt (cbrt y)) (cbrt (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt (sqrt (cbrt y))) (cbrt (sqrt (cbrt y))) 1 (cbrt (cbrt y)) (* (cbrt (cbrt (cbrt y))) (cbrt (cbrt (cbrt y)))) (cbrt (cbrt (cbrt y))) (cbrt y) (sqrt (cbrt (cbrt y))) (sqrt (cbrt (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (pow y 2/3)) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (pow y 1/9) (pow y 1/9) (* (pow (/ -1 y) -1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow y 1/9) (* (pow (/ -1 y) -1/9) (cbrt (cbrt -1))) (pow y 1/9) (pow y 1/9) (* (pow (/ -1 y) -1/9) (cbrt (cbrt -1))) (cbrt y) (cbrt y) (* (cbrt (/ y -1)) (cbrt -1)) 5.176 * * * [progress]: adding candidates to table 5.249 * [progress]: [Phase 3 of 3] Extracting. 5.249 * * [regime]: Finding splitpoints for: (# # # # # # # #) 5.250 * * * [regime-changes]: Trying 4 branch expressions: ((* x 27.0) (* (* x 27.0) y) y x) 5.250 * * * * [regimes]: Trying to branch on (* x 27.0) from (# # # # # # # #) 5.303 * * * * [regimes]: Trying to branch on (* (* x 27.0) y) from (# # # # # # # #) 5.357 * * * * [regimes]: Trying to branch on y from (# # # # # # # #) 5.409 * * * * [regimes]: Trying to branch on x from (# # # # # # # #) 5.462 * * * [regime]: Found split indices: #