8.771 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.018 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (- (cbrt (+ x 1.0)) (cbrt x)) 0.021 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.022 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.023 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.024 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.024 * [simplify]: Simplified to: (- (cbrt (+ x 1.0)) (cbrt x)) 0.024 * * [progress]: iteration 1 / 4 0.024 * * * [progress]: picking best candidate 0.026 * * * * [pick]: Picked # 0.026 * * * [progress]: localizing error 0.034 * * * [progress]: generating rewritten candidates 0.034 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.056 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.057 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.060 * * * [progress]: generating series expansions 0.060 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.060 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0 0.060 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.060 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.060 * [taylor]: Taking taylor expansion of 1/3 in x 0.060 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.060 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.064 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.064 * [taylor]: Taking taylor expansion of 1/3 in x 0.064 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.064 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.066 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.066 * [taylor]: Taking taylor expansion of 1/3 in x 0.066 * [taylor]: Taking taylor expansion of (log x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.116 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0 0.116 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 0.116 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.116 * [taylor]: Taking taylor expansion of 1/3 in x 0.116 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.116 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.116 * [taylor]: Taking taylor expansion of 1.0 in x 0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.117 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.117 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.117 * [taylor]: Taking taylor expansion of 1/3 in x 0.117 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.118 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 0.118 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.118 * [taylor]: Taking taylor expansion of 1/3 in x 0.118 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.118 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.118 * [taylor]: Taking taylor expansion of 1.0 in x 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.118 * [taylor]: Taking taylor expansion of x in x 0.120 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.120 * [taylor]: Taking taylor expansion of 1/3 in x 0.120 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.120 * [taylor]: Taking taylor expansion of x in x 0.168 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0 0.168 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 0.168 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.168 * [taylor]: Taking taylor expansion of 1/3 in x 0.168 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.168 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.168 * [taylor]: Taking taylor expansion of 1.0 in x 0.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.168 * [taylor]: Taking taylor expansion of x in x 0.171 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.171 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.171 * [taylor]: Taking taylor expansion of -1 in x 0.171 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.171 * [taylor]: Taking taylor expansion of 1/3 in x 0.171 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.171 * [taylor]: Taking taylor expansion of x in x 0.172 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 0.172 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.172 * [taylor]: Taking taylor expansion of 1/3 in x 0.172 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.172 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.172 * [taylor]: Taking taylor expansion of 1.0 in x 0.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.172 * [taylor]: Taking taylor expansion of x in x 0.174 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.174 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.174 * [taylor]: Taking taylor expansion of -1 in x 0.175 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.175 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.175 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.175 * [taylor]: Taking taylor expansion of 1/3 in x 0.175 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.175 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.175 * [taylor]: Taking taylor expansion of x in x 0.215 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.215 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.215 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.215 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.215 * [taylor]: Taking taylor expansion of 1/3 in x 0.215 * [taylor]: Taking taylor expansion of (log x) in x 0.215 * [taylor]: Taking taylor expansion of x in x 0.215 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.215 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.216 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.216 * [taylor]: Taking taylor expansion of 1/3 in x 0.216 * [taylor]: Taking taylor expansion of (log x) in x 0.216 * [taylor]: Taking taylor expansion of x in x 0.264 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.264 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.264 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.264 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.264 * [taylor]: Taking taylor expansion of 1/3 in x 0.264 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.264 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.264 * [taylor]: Taking taylor expansion of x in x 0.266 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.266 * [taylor]: Taking taylor expansion of 1/3 in x 0.266 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.266 * [taylor]: Taking taylor expansion of x in x 0.322 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.322 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.322 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.322 * [taylor]: Taking taylor expansion of -1 in x 0.322 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.323 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.323 * [taylor]: Taking taylor expansion of 1/3 in x 0.323 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.323 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.323 * [taylor]: Taking taylor expansion of x in x 0.323 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.323 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.323 * [taylor]: Taking taylor expansion of -1 in x 0.324 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.324 * [taylor]: Taking taylor expansion of 1/3 in x 0.324 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.324 * [taylor]: Taking taylor expansion of x in x 0.392 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.392 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 0.392 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.392 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.392 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.392 * [taylor]: Taking taylor expansion of 1/3 in x 0.392 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.392 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.392 * [taylor]: Taking taylor expansion of x in x 0.392 * [taylor]: Taking taylor expansion of 1.0 in x 0.394 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.394 * [taylor]: Taking taylor expansion of 1/3 in x 0.394 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.394 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.394 * [taylor]: Taking taylor expansion of 1.0 in x 0.433 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0 0.433 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.433 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.433 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.433 * [taylor]: Taking taylor expansion of 1/3 in x 0.433 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.433 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.433 * [taylor]: Taking taylor expansion of 1.0 in x 0.433 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.433 * [taylor]: Taking taylor expansion of x in x 0.434 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.434 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.434 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.434 * [taylor]: Taking taylor expansion of 1/3 in x 0.434 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.434 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.434 * [taylor]: Taking taylor expansion of 1.0 in x 0.434 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.434 * [taylor]: Taking taylor expansion of x in x 0.454 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 0.454 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.454 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.454 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.454 * [taylor]: Taking taylor expansion of 1/3 in x 0.454 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.454 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.454 * [taylor]: Taking taylor expansion of 1.0 in x 0.454 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.454 * [taylor]: Taking taylor expansion of x in x 0.456 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.456 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.456 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.456 * [taylor]: Taking taylor expansion of 1/3 in x 0.456 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.456 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.456 * [taylor]: Taking taylor expansion of 1.0 in x 0.456 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.456 * [taylor]: Taking taylor expansion of x in x 0.481 * * * [progress]: simplifying candidates 0.482 * [simplify]: Simplifying using # : (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x))) (log (- (cbrt (+ x 1.0)) (cbrt x))) (exp (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))) (- (cbrt x)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x)) (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (- (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)) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt 1) (cbrt (+ x 1.0)) (cbrt 1) (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (pow x 1/3))) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))) (* (pow (* -1 x) 1/3) (cbrt -1)))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 0.486 * * [simplify]: iteration 0 : 131 enodes (cost 649 ) 0.512 * * [simplify]: iteration 1 : 291 enodes (cost 597 ) 0.572 * * [simplify]: iteration 2 : 857 enodes (cost 573 ) 0.975 * * [simplify]: iteration 3 : 4009 enodes (cost 521 ) 2.155 * * [simplify]: iteration done : 5001 enodes (cost 521 ) 2.155 * [simplify]: Simplified to: (exp (- (cbrt (+ x 1.0)) (cbrt x))) (log (- (cbrt (+ x 1.0)) (cbrt x))) (exp (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3)) (- (cbrt x)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (+ (cbrt (+ x 1.0)) (cbrt x)) (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (- (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)) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (* 1.0 (- 1.0 x)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (+ (- (* (* x x) (- (* (cbrt 1.0) 0.05555555555555555) (* 1/6 (cbrt (/ 1 (pow 1.0 5)))))) (cbrt x)) (* (+ (* 0.3333333333333333 x) 1) (cbrt 1.0))) (- (+ (* (cbrt (/ 1 (pow x 8))) 0.06172839506172839) (* 0.3333333333333333 (cbrt (/ 1 (pow x 2))))) (* 0.1111111111111111 (cbrt (/ 1 (pow x 5))))) (+ (- (* (/ (exp (+ 0 (log (cbrt x)))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (* (cbrt -1) (cbrt (- x)))) (exp (+ 0 (log (cbrt x))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (+ (* (+ (* 0.3333333333333333 x) 1) (cbrt 1.0)) (* (* x x) (- (* (cbrt 1.0) 0.05555555555555555) (* 1/6 (cbrt (/ 1 (pow 1.0 5))))))) (- (+ (pow (/ 1 x) -1/3) (* 0.3333333333333333 (cbrt (/ 1 (pow x 2))))) (* 0.1111111111111111 (cbrt (/ 1 (pow x 5))))) (+ (exp (+ 0 (log (cbrt x)))) (* (/ (exp (+ 0 (log (cbrt x)))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) 2.156 * * * [progress]: adding candidates to table 2.280 * * [progress]: iteration 2 / 4 2.280 * * * [progress]: picking best candidate 2.297 * * * * [pick]: Picked # 2.297 * * * [progress]: localizing error 2.311 * * * [progress]: generating rewritten candidates 2.311 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 2.312 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 2.313 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1) 2.373 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 2.378 * * * [progress]: generating series expansions 2.378 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 2.378 * [approximate]: Taking taylor expansion of (pow x 2/3) in (x) around 0 2.378 * [taylor]: Taking taylor expansion of (pow x 2/3) in x 2.378 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log x))) in x 2.378 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in x 2.378 * [taylor]: Taking taylor expansion of 2/3 in x 2.378 * [taylor]: Taking taylor expansion of (log x) in x 2.378 * [taylor]: Taking taylor expansion of x in x 2.379 * [taylor]: Taking taylor expansion of (pow x 2/3) in x 2.379 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log x))) in x 2.379 * [taylor]: Taking taylor expansion of (* 2/3 (log x)) in x 2.379 * [taylor]: Taking taylor expansion of 2/3 in x 2.379 * [taylor]: Taking taylor expansion of (log x) in x 2.379 * [taylor]: Taking taylor expansion of x in x 2.429 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 2/3) in (x) around 0 2.429 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2/3) in x 2.429 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 x)))) in x 2.429 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 x))) in x 2.429 * [taylor]: Taking taylor expansion of 2/3 in x 2.429 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.429 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.429 * [taylor]: Taking taylor expansion of x in x 2.430 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 2/3) in x 2.430 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ 1 x)))) in x 2.430 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ 1 x))) in x 2.430 * [taylor]: Taking taylor expansion of 2/3 in x 2.430 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.430 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.430 * [taylor]: Taking taylor expansion of x in x 2.485 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 2/3) in (x) around 0 2.485 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2/3) in x 2.485 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 x)))) in x 2.485 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 x))) in x 2.485 * [taylor]: Taking taylor expansion of 2/3 in x 2.485 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 2.485 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.485 * [taylor]: Taking taylor expansion of -1 in x 2.485 * [taylor]: Taking taylor expansion of x in x 2.487 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 2/3) in x 2.487 * [taylor]: Taking taylor expansion of (exp (* 2/3 (log (/ -1 x)))) in x 2.487 * [taylor]: Taking taylor expansion of (* 2/3 (log (/ -1 x))) in x 2.487 * [taylor]: Taking taylor expansion of 2/3 in x 2.487 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x 2.487 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.487 * [taylor]: Taking taylor expansion of -1 in x 2.487 * [taylor]: Taking taylor expansion of x in x 2.550 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 2.551 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.551 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.551 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.551 * [taylor]: Taking taylor expansion of 1/3 in x 2.551 * [taylor]: Taking taylor expansion of (log x) in x 2.551 * [taylor]: Taking taylor expansion of x in x 2.551 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.551 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.551 * [taylor]: Taking taylor expansion of 1/3 in x 2.551 * [taylor]: Taking taylor expansion of (log x) in x 2.551 * [taylor]: Taking taylor expansion of x in x 2.604 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.605 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.605 * [taylor]: Taking taylor expansion of 1/3 in x 2.605 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.605 * [taylor]: Taking taylor expansion of x in x 2.606 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.606 * [taylor]: Taking taylor expansion of 1/3 in x 2.606 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.606 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.606 * [taylor]: Taking taylor expansion of x in x 2.659 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 2.659 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.659 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.659 * [taylor]: Taking taylor expansion of -1 in x 2.660 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.660 * [taylor]: Taking taylor expansion of 1/3 in x 2.660 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.660 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.660 * [taylor]: Taking taylor expansion of x in x 2.661 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.661 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.661 * [taylor]: Taking taylor expansion of -1 in x 2.662 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.662 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.662 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.662 * [taylor]: Taking taylor expansion of 1/3 in x 2.662 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.662 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.662 * [taylor]: Taking taylor expansion of x in x 2.732 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1) 2.732 * [approximate]: Taking taylor expansion of (* (+ (pow x 1/3) (pow (+ x 1.0) 1/3)) (pow (+ x 1.0) 1/3)) in (x) around 0 2.732 * [taylor]: Taking taylor expansion of (* (+ (pow x 1/3) (pow (+ x 1.0) 1/3)) (pow (+ x 1.0) 1/3)) in x 2.732 * [taylor]: Taking taylor expansion of (+ (pow x 1/3) (pow (+ x 1.0) 1/3)) in x 2.732 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.732 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.732 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.732 * [taylor]: Taking taylor expansion of 1/3 in x 2.732 * [taylor]: Taking taylor expansion of (log x) in x 2.732 * [taylor]: Taking taylor expansion of x in x 2.733 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.733 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.733 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.733 * [taylor]: Taking taylor expansion of 1/3 in x 2.733 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.733 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.733 * [taylor]: Taking taylor expansion of x in x 2.733 * [taylor]: Taking taylor expansion of 1.0 in x 2.735 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.735 * [taylor]: Taking taylor expansion of 1/3 in x 2.735 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.735 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.735 * [taylor]: Taking taylor expansion of x in x 2.735 * [taylor]: Taking taylor expansion of 1.0 in x 2.737 * [taylor]: Taking taylor expansion of (* (+ (pow x 1/3) (pow (+ x 1.0) 1/3)) (pow (+ x 1.0) 1/3)) in x 2.737 * [taylor]: Taking taylor expansion of (+ (pow x 1/3) (pow (+ x 1.0) 1/3)) in x 2.737 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.738 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.738 * [taylor]: Taking taylor expansion of 1/3 in x 2.738 * [taylor]: Taking taylor expansion of (log x) in x 2.738 * [taylor]: Taking taylor expansion of x in x 2.738 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.738 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.738 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.738 * [taylor]: Taking taylor expansion of 1/3 in x 2.738 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.738 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.738 * [taylor]: Taking taylor expansion of x in x 2.738 * [taylor]: Taking taylor expansion of 1.0 in x 2.740 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.740 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.740 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.740 * [taylor]: Taking taylor expansion of 1/3 in x 2.740 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.740 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.741 * [taylor]: Taking taylor expansion of x in x 2.741 * [taylor]: Taking taylor expansion of 1.0 in x 2.840 * [approximate]: Taking taylor expansion of (* (+ (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) (pow (+ 1.0 (/ 1 x)) 1/3)) in (x) around 0 2.841 * [taylor]: Taking taylor expansion of (* (+ (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) (pow (+ 1.0 (/ 1 x)) 1/3)) in x 2.841 * [taylor]: Taking taylor expansion of (+ (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 2.841 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 2.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 2.841 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 2.841 * [taylor]: Taking taylor expansion of 1/3 in x 2.841 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 2.841 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 2.841 * [taylor]: Taking taylor expansion of 1.0 in x 2.841 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.841 * [taylor]: Taking taylor expansion of x in x 2.842 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.842 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.842 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.842 * [taylor]: Taking taylor expansion of 1/3 in x 2.842 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.842 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.842 * [taylor]: Taking taylor expansion of x in x 2.843 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 2.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 2.843 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 2.843 * [taylor]: Taking taylor expansion of 1/3 in x 2.843 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 2.843 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 2.843 * [taylor]: Taking taylor expansion of 1.0 in x 2.843 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.843 * [taylor]: Taking taylor expansion of x in x 2.844 * [taylor]: Taking taylor expansion of (* (+ (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) (pow (+ 1.0 (/ 1 x)) 1/3)) in x 2.845 * [taylor]: Taking taylor expansion of (+ (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 2.845 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 2.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 2.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 2.845 * [taylor]: Taking taylor expansion of 1/3 in x 2.845 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 2.845 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 2.845 * [taylor]: Taking taylor expansion of 1.0 in x 2.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.845 * [taylor]: Taking taylor expansion of x in x 2.846 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.846 * [taylor]: Taking taylor expansion of 1/3 in x 2.846 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.846 * [taylor]: Taking taylor expansion of x in x 2.847 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 2.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 2.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 2.847 * [taylor]: Taking taylor expansion of 1/3 in x 2.847 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 2.847 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 2.847 * [taylor]: Taking taylor expansion of 1.0 in x 2.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.847 * [taylor]: Taking taylor expansion of x in x 2.891 * [approximate]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 x)) 1/3) (+ (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in (x) around 0 2.891 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 x)) 1/3) (+ (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 2.891 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 2.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 2.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 2.891 * [taylor]: Taking taylor expansion of 1/3 in x 2.891 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 2.891 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.891 * [taylor]: Taking taylor expansion of 1.0 in x 2.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.891 * [taylor]: Taking taylor expansion of x in x 2.894 * [taylor]: Taking taylor expansion of (+ (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.894 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 2.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 2.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 2.894 * [taylor]: Taking taylor expansion of 1/3 in x 2.894 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 2.894 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.894 * [taylor]: Taking taylor expansion of 1.0 in x 2.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.894 * [taylor]: Taking taylor expansion of x in x 2.896 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.896 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.896 * [taylor]: Taking taylor expansion of -1 in x 2.897 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.897 * [taylor]: Taking taylor expansion of 1/3 in x 2.897 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.897 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.897 * [taylor]: Taking taylor expansion of x in x 2.898 * [taylor]: Taking taylor expansion of (* (pow (- 1.0 (/ 1 x)) 1/3) (+ (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 2.898 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 2.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 2.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 2.898 * [taylor]: Taking taylor expansion of 1/3 in x 2.898 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 2.898 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.898 * [taylor]: Taking taylor expansion of 1.0 in x 2.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.898 * [taylor]: Taking taylor expansion of x in x 2.900 * [taylor]: Taking taylor expansion of (+ (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 2.900 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 2.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 2.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 2.900 * [taylor]: Taking taylor expansion of 1/3 in x 2.900 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 2.900 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 2.900 * [taylor]: Taking taylor expansion of 1.0 in x 2.900 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.900 * [taylor]: Taking taylor expansion of x in x 2.902 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 2.902 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.902 * [taylor]: Taking taylor expansion of -1 in x 2.903 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.903 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.903 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.903 * [taylor]: Taking taylor expansion of 1/3 in x 2.903 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.903 * [taylor]: Taking taylor expansion of x in x 2.975 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 2.975 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 2.975 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.975 * [taylor]: Taking taylor expansion of 1/3 in x 2.975 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.975 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.975 * [taylor]: Taking taylor expansion of x in x 2.975 * [taylor]: Taking taylor expansion of 1.0 in x 2.977 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 2.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 2.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 2.977 * [taylor]: Taking taylor expansion of 1/3 in x 2.977 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 2.977 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 2.977 * [taylor]: Taking taylor expansion of x in x 2.977 * [taylor]: Taking taylor expansion of 1.0 in x 3.017 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0 3.018 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 3.018 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 3.018 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 3.018 * [taylor]: Taking taylor expansion of 1/3 in x 3.018 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 3.018 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 3.018 * [taylor]: Taking taylor expansion of 1.0 in x 3.018 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.018 * [taylor]: Taking taylor expansion of x in x 3.019 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 3.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 3.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 3.019 * [taylor]: Taking taylor expansion of 1/3 in x 3.019 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 3.019 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 3.019 * [taylor]: Taking taylor expansion of 1.0 in x 3.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.019 * [taylor]: Taking taylor expansion of x in x 3.038 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 3.038 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 3.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 3.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 3.038 * [taylor]: Taking taylor expansion of 1/3 in x 3.038 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 3.038 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.038 * [taylor]: Taking taylor expansion of 1.0 in x 3.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.038 * [taylor]: Taking taylor expansion of x in x 3.040 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 3.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 3.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 3.040 * [taylor]: Taking taylor expansion of 1/3 in x 3.040 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 3.040 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 3.040 * [taylor]: Taking taylor expansion of 1.0 in x 3.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.040 * [taylor]: Taking taylor expansion of x in x 3.065 * * * [progress]: simplifying candidates 3.066 * [simplify]: Simplifying using # : (* (log x) 2/3) (* (log x) 2/3) (* 1 2/3) (pow x (* (cbrt 2/3) (cbrt 2/3))) (pow x (sqrt 2/3)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 2/3) (pow (cbrt x) 2/3) (pow (sqrt x) 2/3) (pow (sqrt x) 2/3) (pow 1 2/3) (pow x 2/3) (log (pow x 2/3)) (exp (pow x 2/3)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* (* (pow x 2/3) (pow x 2/3)) (pow x 2/3)) (sqrt (pow x 2/3)) (sqrt (pow x 2/3)) (pow x (/ 2/3 2)) (pow x (/ 2/3 2)) (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)) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (+ (log (cbrt (+ x 1.0))) (log (+ (cbrt (+ x 1.0)) (cbrt x)))) (log (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (exp (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (+ x 1.0) (* (* (+ (cbrt (+ x 1.0)) (cbrt x)) (+ (cbrt (+ x 1.0)) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))) (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (* (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (sqrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (sqrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (+ (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))) (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (- (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))) (* (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (* x x) (* 1.0 1.0))) (+ (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))) (* (cbrt (- x 1.0)) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (- (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))) (* (cbrt (- (* x x) (* 1.0 1.0))) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))) (* (cbrt (- x 1.0)) (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (* (cbrt (+ (cbrt (+ x 1.0)) (cbrt x))) (cbrt (+ (cbrt (+ x 1.0)) (cbrt x))))) (* (cbrt (+ x 1.0)) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (+ x 1.0)) 1) (* (cbrt (+ x 1.0)) (cbrt 1)) (* (cbrt (+ x 1.0)) (cbrt 1)) (* (cbrt (+ x 1.0)) 1) (* (cbrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (sqrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (sqrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))) (* (cbrt (+ x 1.0)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (* x x) (* 1.0 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt 1) (cbrt (+ x 1.0)) (cbrt 1) (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (pow x 2/3) (pow (/ 1 x) -2/3) (exp (* 2/3 (- (log -1) (log (/ -1 x))))) (pow x 1/3) (pow (/ 1 x) -1/3) (* (pow (* -1 x) 1/3) (cbrt -1)) (- (+ (* 0.6666666666666666 (* x (pow (pow 1.0 2) 1/3))) (+ (pow (pow 1.0 2) 1/3) (+ (pow (* x 1.0) 1/3) (+ (* 0.05555555555555555 (pow (* (pow x 7) 1.0) 1/3)) (+ (* 0.3333333333333333 (pow (* (pow x 4) 1.0) 1/3)) (* 0.2222222222222222 (* (pow x 2) (pow (pow 1.0 2) 1/3)))))))) (+ (* 1/3 (* (pow x 2) (pow (/ 1 (pow 1.0 4)) 1/3))) (* 1/6 (pow (/ (pow x 7) (pow 1.0 5)) 1/3)))) (- (+ (* 1.0 (pow (/ 1 x) 1/3)) (* 2 (pow (pow x 2) 1/3))) (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3))) (- (+ (* 0.3333333333333333 (* (pow (/ -1 (pow x 2)) 1/3) (* (cbrt -1) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))))) (+ (* 0.6666666666666666 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) x)) (+ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (* (pow (* -1 x) 1/3) (* (cbrt -1) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))))))) (+ (* 0.1111111111111111 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (pow x 2))) (* 0.1111111111111111 (* (pow (/ -1 (pow x 5)) 1/3) (* (cbrt -1) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))))))) (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 3.072 * * [simplify]: iteration 0 : 231 enodes (cost 1296 ) 3.130 * * [simplify]: iteration 1 : 628 enodes (cost 1182 ) 3.306 * * [simplify]: iteration 2 : 2202 enodes (cost 1117 ) 3.782 * * [simplify]: iteration done : 5001 enodes (cost 1117 ) 3.783 * [simplify]: Simplified to: (log (pow x 2/3)) (log (pow x 2/3)) 2/3 (pow x (* (cbrt 2/3) (cbrt 2/3))) (pow x (sqrt 2/3)) x (pow (pow x 2/3) 2/3) (pow (cbrt x) 2/3) (pow (sqrt x) 2/3) (pow (sqrt x) 2/3) 1 (pow x 2/3) (log (pow x 2/3)) (exp (pow x 2/3)) (pow (pow x 2/3) 2/3) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (cbrt x) (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) (pow (cbrt x) 2/3) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (log (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (log (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (exp (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (pow (+ (cbrt (+ x 1.0)) (cbrt x)) 3) (+ 1.0 x)) (* (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))) (cbrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (pow (+ (cbrt (+ x 1.0)) (cbrt x)) 3) (+ 1.0 x)) (sqrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (sqrt (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (+ (+ 1.0 x) x) (cbrt (+ (pow x 3) (pow 1.0 3)))) (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (- (cbrt x) (cbrt (+ x 1.0))))) (cbrt (+ (* x x) (* 1.0 (- 1.0 x))))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (* (cbrt (+ (* x x) (* 1.0 (- 1.0 x)))) (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (* x x) (* 1.0 1.0))) (+ (+ 1.0 x) x)) (* (cbrt (- x 1.0)) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (- (cbrt x) (cbrt (+ x 1.0)))))) (* (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (cbrt (- (* x x) (* 1.0 1.0)))) (* (cbrt (- x 1.0)) (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (sqrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (sqrt (cbrt (+ x 1.0))) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (* (cbrt (+ (cbrt (+ x 1.0)) (cbrt x))) (cbrt (+ (cbrt (+ x 1.0)) (cbrt x))))) (* (cbrt (+ x 1.0)) (sqrt (+ (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (+ x 1.0)) (cbrt (+ x 1.0)) (cbrt (+ x 1.0)) (cbrt (+ x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (sqrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (sqrt (cbrt (+ x 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (+ x 1.0)) (+ (+ 1.0 x) x)) (+ (+ 1.0 x) (* (cbrt (+ x 1.0)) (- (pow x 2/3)))) (* (cbrt (+ (pow x 3) (pow 1.0 3))) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (* x x) (* 1.0 1.0))) (+ (cbrt (+ x 1.0)) (cbrt x))) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (* 1.0 (- 1.0 x)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ 1.0 x) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (pow x 2/3) (pow (/ 1 x) -2/3) (exp (* 2/3 (- (log -1) (log (/ -1 x))))) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt -1) (cbrt (- x))) (- (- (+ (+ (* (+ (* 0.6666666666666666 x) 1) (cbrt (* 1.0 1.0))) (+ (* 0.05555555555555555 (cbrt (* (pow x 7) 1.0))) (+ (* (cbrt (* (pow x 4) 1.0)) 0.3333333333333333) (* 0.2222222222222222 (* (cbrt (* 1.0 1.0)) (* x x)))))) (cbrt (* x 1.0))) (* 1/3 (* (cbrt (/ 1 (pow 1.0 4))) (* x x)))) (* 1/6 (cbrt (/ (pow x 7) (pow 1.0 5))))) (- (+ (* 1.0 (cbrt (/ 1 x))) (* 2 (cbrt (pow x 2)))) (* 0.2222222222222222 (cbrt (/ 1 (pow x 4))))) (+ (* 0.3333333333333333 (* (cbrt (/ -1 (pow x 2))) (* (cbrt -1) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))))) (+ (* (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (+ (* (cbrt -1) (cbrt (- x))) (exp (* 1/3 (- (log -1) (log (/ -1 x))))))) (- (* 0.6666666666666666 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) x)) (* 0.1111111111111111 (+ (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (pow x 2)) (* (* (cbrt -1) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (cbrt (/ -1 (pow x 5))))))))) (- (+ (* (cbrt 1.0) (+ (* 0.05555555555555555 (* x x)) (* 0.3333333333333333 x))) (cbrt 1.0)) (* (* 1/6 (* x x)) (cbrt (/ 1 (pow 1.0 5))))) (- (+ (* 0.3333333333333333 (cbrt (/ 1 (pow x 2)))) (pow (/ 1 x) -1/3)) (* 0.1111111111111111 (cbrt (/ 1 (pow x 5))))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2)))) 3.784 * * * [progress]: adding candidates to table 4.047 * * [progress]: iteration 3 / 4 4.047 * * * [progress]: picking best candidate 4.065 * * * * [pick]: Picked # 4.065 * * * [progress]: localizing error 4.078 * * * [progress]: generating rewritten candidates 4.078 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1) 4.079 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1) 4.079 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 4.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 4.084 * * * [progress]: generating series expansions 4.084 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1) 4.084 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.084 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.084 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.084 * [taylor]: Taking taylor expansion of 1/3 in x 4.084 * [taylor]: Taking taylor expansion of (log x) in x 4.084 * [taylor]: Taking taylor expansion of x in x 4.085 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.085 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.085 * [taylor]: Taking taylor expansion of 1/3 in x 4.085 * [taylor]: Taking taylor expansion of (log x) in x 4.085 * [taylor]: Taking taylor expansion of x in x 4.140 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.140 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.140 * [taylor]: Taking taylor expansion of 1/3 in x 4.140 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.140 * [taylor]: Taking taylor expansion of x in x 4.141 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.141 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.141 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.141 * [taylor]: Taking taylor expansion of 1/3 in x 4.141 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.141 * [taylor]: Taking taylor expansion of x in x 4.200 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.200 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.200 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.200 * [taylor]: Taking taylor expansion of -1 in x 4.201 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.201 * [taylor]: Taking taylor expansion of 1/3 in x 4.201 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.201 * [taylor]: Taking taylor expansion of x in x 4.202 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.202 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.202 * [taylor]: Taking taylor expansion of -1 in x 4.203 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.203 * [taylor]: Taking taylor expansion of 1/3 in x 4.203 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.203 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.203 * [taylor]: Taking taylor expansion of x in x 4.273 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1) 4.273 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.273 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.273 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.273 * [taylor]: Taking taylor expansion of 1/3 in x 4.273 * [taylor]: Taking taylor expansion of (log x) in x 4.273 * [taylor]: Taking taylor expansion of x in x 4.274 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.274 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.274 * [taylor]: Taking taylor expansion of 1/3 in x 4.274 * [taylor]: Taking taylor expansion of (log x) in x 4.274 * [taylor]: Taking taylor expansion of x in x 4.324 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.324 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.324 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.324 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.324 * [taylor]: Taking taylor expansion of 1/3 in x 4.324 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.324 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.324 * [taylor]: Taking taylor expansion of x in x 4.325 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.325 * [taylor]: Taking taylor expansion of 1/3 in x 4.325 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.325 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.325 * [taylor]: Taking taylor expansion of x in x 4.384 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.385 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.385 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.385 * [taylor]: Taking taylor expansion of -1 in x 4.385 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.385 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.385 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.385 * [taylor]: Taking taylor expansion of 1/3 in x 4.385 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.386 * [taylor]: Taking taylor expansion of x in x 4.386 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.386 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.386 * [taylor]: Taking taylor expansion of -1 in x 4.387 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.387 * [taylor]: Taking taylor expansion of 1/3 in x 4.387 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.387 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.387 * [taylor]: Taking taylor expansion of x in x 4.457 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 4.457 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 4.457 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.457 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.457 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.458 * [taylor]: Taking taylor expansion of 1/3 in x 4.458 * [taylor]: Taking taylor expansion of (log x) in x 4.458 * [taylor]: Taking taylor expansion of x in x 4.458 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 4.458 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 4.458 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 4.458 * [taylor]: Taking taylor expansion of 1/3 in x 4.458 * [taylor]: Taking taylor expansion of (log x) in x 4.458 * [taylor]: Taking taylor expansion of x in x 4.513 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 4.513 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.513 * [taylor]: Taking taylor expansion of 1/3 in x 4.513 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.513 * [taylor]: Taking taylor expansion of x in x 4.514 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.514 * [taylor]: Taking taylor expansion of 1/3 in x 4.514 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.514 * [taylor]: Taking taylor expansion of x in x 4.572 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 4.572 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.572 * [taylor]: Taking taylor expansion of -1 in x 4.573 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.573 * [taylor]: Taking taylor expansion of 1/3 in x 4.573 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.573 * [taylor]: Taking taylor expansion of x in x 4.574 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 4.574 * [taylor]: Taking taylor expansion of (cbrt -1) in x 4.574 * [taylor]: Taking taylor expansion of -1 in x 4.575 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 4.575 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 4.575 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 4.575 * [taylor]: Taking taylor expansion of 1/3 in x 4.575 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 4.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.575 * [taylor]: Taking taylor expansion of x in x 4.639 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 4.639 * [approximate]: Taking taylor expansion of (pow (fabs (pow x 1/3)) 2) in (x) around 0 4.639 * [taylor]: Taking taylor expansion of (pow (fabs (pow x 1/3)) 2) in x 4.639 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.640 * [taylor]: Taking taylor expansion of (pow (fabs (pow x 1/3)) 2) in x 4.640 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 4.652 * [approximate]: Taking taylor expansion of (pow (fabs (pow (/ 1 x) 1/3)) 2) in (x) around 0 4.652 * [taylor]: Taking taylor expansion of (pow (fabs (pow (/ 1 x) 1/3)) 2) in x 4.652 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.652 * [taylor]: Taking taylor expansion of (pow (fabs (pow (/ 1 x) 1/3)) 2) in x 4.652 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 4.658 * [approximate]: Taking taylor expansion of (pow (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in (x) around 0 4.658 * [taylor]: Taking taylor expansion of (pow (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x 4.658 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.658 * [taylor]: Taking taylor expansion of (pow (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) 2) in x 4.658 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 4.669 * * * [progress]: simplifying candidates 4.670 * [simplify]: Simplifying using # : (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (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)) (+ 1 1) (* (fabs (cbrt x)) (fabs (cbrt x))) (+ 1 1) (+ (log (fabs (cbrt x))) (log (fabs (cbrt x)))) (log (* (fabs (cbrt x)) (fabs (cbrt x)))) (exp (* (fabs (cbrt x)) (fabs (cbrt x)))) (* (* (* (fabs (cbrt x)) (fabs (cbrt x))) (fabs (cbrt x))) (* (* (fabs (cbrt x)) (fabs (cbrt x))) (fabs (cbrt x)))) (* (cbrt (* (fabs (cbrt x)) (fabs (cbrt x)))) (cbrt (* (fabs (cbrt x)) (fabs (cbrt x))))) (cbrt (* (fabs (cbrt x)) (fabs (cbrt x)))) (* (* (* (fabs (cbrt x)) (fabs (cbrt x))) (* (fabs (cbrt x)) (fabs (cbrt x)))) (* (fabs (cbrt x)) (fabs (cbrt x)))) (sqrt (* (fabs (cbrt x)) (fabs (cbrt x)))) (sqrt (* (fabs (cbrt x)) (fabs (cbrt x)))) (* (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x)))) (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x))))) (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x)))) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (* 1 1) (* (fabs (cbrt x)) (fabs (cbrt x))) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (* 2 1) (* (fabs (cbrt x)) (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x))))) (* (fabs (cbrt x)) (sqrt (fabs (cbrt x)))) (* (fabs (cbrt x)) 1) (* (cbrt (fabs (cbrt x))) (fabs (cbrt x))) (* (sqrt (fabs (cbrt x))) (fabs (cbrt x))) (* (fabs (cbrt x)) (fabs (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 (fabs (pow x 1/3)) 2) (pow (fabs (pow x 1/3)) 2) (pow (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) 2) 4.672 * * [simplify]: iteration 0 : 55 enodes (cost 469 ) 4.682 * * [simplify]: iteration 1 : 99 enodes (cost 380 ) 4.705 * * [simplify]: iteration 2 : 285 enodes (cost 330 ) 4.886 * * [simplify]: iteration 3 : 1205 enodes (cost 308 ) 6.052 * * [simplify]: iteration done : 5001 enodes (cost 308 ) 6.053 * [simplify]: Simplified to: (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (pow x 2/3)) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) 2 (pow (fabs (cbrt x)) 2) 2 (* 2 (log (fabs (cbrt x)))) (* 2 (log (fabs (cbrt x)))) (exp (pow (fabs (cbrt x)) 2)) (pow (fabs (cbrt x)) 6) (* (cbrt (pow (fabs (cbrt x)) 2)) (cbrt (pow (fabs (cbrt x)) 2))) (cbrt (pow (fabs (cbrt x)) 2)) (pow (fabs (cbrt x)) 6) (fabs (fabs (cbrt x))) (fabs (fabs (cbrt x))) (pow (cbrt (fabs (cbrt x))) 4) (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x)))) (fabs (cbrt x)) (fabs (cbrt x)) 1 (pow (fabs (cbrt x)) 2) (fabs (cbrt x)) (fabs (cbrt x)) 2 (* (pow (cbrt (fabs (cbrt x))) 4) (cbrt (fabs (cbrt x)))) (pow (sqrt (fabs (cbrt x))) 3) (fabs (cbrt x)) (pow (cbrt (fabs (cbrt x))) 4) (pow (sqrt (fabs (cbrt x))) 3) (pow (fabs (cbrt x)) 2) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (cbrt x) (pow (/ 1 x) -1/3) (* (cbrt (- x)) (cbrt -1)) (pow (fabs (cbrt x)) 2) (pow (fabs (cbrt x)) 2) (pow (fabs (* (cbrt (- x)) (cbrt -1))) 2) 6.053 * * * [progress]: adding candidates to table 6.242 * * [progress]: iteration 4 / 4 6.242 * * * [progress]: picking best candidate 6.279 * * * * [pick]: Picked # 6.279 * * * [progress]: localizing error 6.294 * * * [progress]: generating rewritten candidates 6.295 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 6.297 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1 1) 6.297 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1 1) 6.298 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2) 6.300 * * * [progress]: generating series expansions 6.300 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 6.300 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (pow x 1/3))) 3) in (x) around 0 6.300 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (pow x 1/3))) 3) in x 6.300 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 6.300 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 6.300 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (pow x 1/3))) 3) in x 6.300 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow x 1/3))) in x 6.300 * [taylor]: Taking taylor expansion of (fabs (pow x 1/3)) in x 6.317 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (pow (/ 1 x) 1/3))) 3) in (x) around 0 6.317 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (pow (/ 1 x) 1/3))) 3) in x 6.317 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 6.317 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 6.318 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (pow (/ 1 x) 1/3))) 3) in x 6.318 * [taylor]: Taking taylor expansion of (sqrt (fabs (pow (/ 1 x) 1/3))) in x 6.318 * [taylor]: Taking taylor expansion of (fabs (pow (/ 1 x) 1/3)) in x 6.331 * [approximate]: Taking taylor expansion of (pow (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) 3) in (x) around 0 6.331 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) 3) in x 6.331 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 6.331 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 6.333 * [taylor]: Taking taylor expansion of (pow (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) 3) in x 6.333 * [taylor]: Taking taylor expansion of (sqrt (fabs (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x 6.333 * [taylor]: Taking taylor expansion of (fabs (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 6.357 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1 1) 6.357 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.357 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.357 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.357 * [taylor]: Taking taylor expansion of 1/3 in x 6.357 * [taylor]: Taking taylor expansion of (log x) in x 6.357 * [taylor]: Taking taylor expansion of x in x 6.358 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.358 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.358 * [taylor]: Taking taylor expansion of 1/3 in x 6.358 * [taylor]: Taking taylor expansion of (log x) in x 6.358 * [taylor]: Taking taylor expansion of x in x 6.413 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.413 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.413 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.413 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.413 * [taylor]: Taking taylor expansion of 1/3 in x 6.413 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.413 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.413 * [taylor]: Taking taylor expansion of x in x 6.414 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.414 * [taylor]: Taking taylor expansion of 1/3 in x 6.414 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.414 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.414 * [taylor]: Taking taylor expansion of x in x 6.466 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.466 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.466 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.466 * [taylor]: Taking taylor expansion of -1 in x 6.467 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.467 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.467 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.467 * [taylor]: Taking taylor expansion of 1/3 in x 6.467 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.467 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.467 * [taylor]: Taking taylor expansion of x in x 6.468 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.468 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.468 * [taylor]: Taking taylor expansion of -1 in x 6.469 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.469 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.469 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.469 * [taylor]: Taking taylor expansion of 1/3 in x 6.469 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.469 * [taylor]: Taking taylor expansion of x in x 6.540 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1 1) 6.541 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.541 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.541 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.541 * [taylor]: Taking taylor expansion of 1/3 in x 6.541 * [taylor]: Taking taylor expansion of (log x) in x 6.541 * [taylor]: Taking taylor expansion of x in x 6.541 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.541 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.541 * [taylor]: Taking taylor expansion of 1/3 in x 6.541 * [taylor]: Taking taylor expansion of (log x) in x 6.541 * [taylor]: Taking taylor expansion of x in x 6.597 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.597 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.597 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.597 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.597 * [taylor]: Taking taylor expansion of 1/3 in x 6.597 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.597 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.597 * [taylor]: Taking taylor expansion of x in x 6.598 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.598 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.598 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.598 * [taylor]: Taking taylor expansion of 1/3 in x 6.598 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.598 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.598 * [taylor]: Taking taylor expansion of x in x 6.656 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 6.656 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.656 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.656 * [taylor]: Taking taylor expansion of -1 in x 6.657 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.657 * [taylor]: Taking taylor expansion of 1/3 in x 6.657 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.657 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.657 * [taylor]: Taking taylor expansion of x in x 6.658 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 6.658 * [taylor]: Taking taylor expansion of (cbrt -1) in x 6.658 * [taylor]: Taking taylor expansion of -1 in x 6.659 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.659 * [taylor]: Taking taylor expansion of 1/3 in x 6.659 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.659 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.659 * [taylor]: Taking taylor expansion of x in x 6.728 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2) 6.728 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 6.728 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.728 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.728 * [taylor]: Taking taylor expansion of 1/3 in x 6.728 * [taylor]: Taking taylor expansion of (log x) in x 6.728 * [taylor]: Taking taylor expansion of x in x 6.729 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 6.729 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 6.729 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 6.729 * [taylor]: Taking taylor expansion of 1/3 in x 6.729 * [taylor]: Taking taylor expansion of (log x) in x 6.729 * [taylor]: Taking taylor expansion of x in x 6.779 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 6.779 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.779 * [taylor]: Taking taylor expansion of 1/3 in x 6.779 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.779 * [taylor]: Taking taylor expansion of x in x 6.780 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 6.780 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 6.780 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 6.780 * [taylor]: Taking taylor expansion of 1/3 in x 6.780 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 6.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.780 * [taylor]: Taking taylor expansion of x in x 7.032 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 7.032 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.032 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.032 * [taylor]: Taking taylor expansion of -1 in x 7.032 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.033 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.033 * [taylor]: Taking taylor expansion of 1/3 in x 7.033 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.033 * [taylor]: Taking taylor expansion of x in x 7.033 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 7.034 * [taylor]: Taking taylor expansion of (cbrt -1) in x 7.034 * [taylor]: Taking taylor expansion of -1 in x 7.034 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 7.034 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 7.034 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 7.034 * [taylor]: Taking taylor expansion of 1/3 in x 7.034 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 7.034 * [taylor]: Taking taylor expansion of (/ 1 x) in x 7.034 * [taylor]: Taking taylor expansion of x in x 7.102 * * * [progress]: simplifying candidates 7.103 * [simplify]: Simplifying using # : (* (log (sqrt (fabs (cbrt x)))) 3) (* (log (sqrt (fabs (cbrt x)))) 3) (* 1/2 3) (* 1 3) (* (/ 1 2) 3) (pow (sqrt (fabs (cbrt x))) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs (cbrt x))) (sqrt 3)) (pow (sqrt (fabs (cbrt x))) 1) (pow (* (cbrt (sqrt (fabs (cbrt x)))) (cbrt (sqrt (fabs (cbrt x))))) 3) (pow (cbrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x))))) 3) (pow (sqrt (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs (cbrt x))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow 1 3) (pow (sqrt (fabs (cbrt x))) 3) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (log (pow (sqrt (fabs (cbrt x))) 3)) (exp (pow (sqrt (fabs (cbrt x))) 3)) (* (cbrt (pow (sqrt (fabs (cbrt x))) 3)) (cbrt (pow (sqrt (fabs (cbrt x))) 3))) (cbrt (pow (sqrt (fabs (cbrt x))) 3)) (* (* (pow (sqrt (fabs (cbrt x))) 3) (pow (sqrt (fabs (cbrt x))) 3)) (pow (sqrt (fabs (cbrt x))) 3)) (pow (* (cbrt (sqrt (fabs (cbrt x)))) (cbrt (sqrt (fabs (cbrt x))))) 3) (pow (cbrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (* (cbrt (fabs (cbrt x))) (cbrt (fabs (cbrt x))))) 3) (pow (sqrt (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt 1) 3) (pow (sqrt (fabs (cbrt x))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow 1 3) (pow (sqrt (fabs (cbrt x))) 3) (* (sqrt (fabs (cbrt x))) (sqrt (fabs (cbrt x)))) (/ 3 2) (sqrt (pow (sqrt (fabs (cbrt x))) 3)) (sqrt (pow (sqrt (fabs (cbrt x))) 3)) (pow (sqrt (fabs (cbrt x))) (/ 3 2)) (pow (sqrt (fabs (cbrt x))) (/ 3 2)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) (cbrt 1) (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) (* (* (cbrt x) (cbrt x)) (cbrt x)) (sqrt (cbrt x)) (sqrt (cbrt x)) (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)) (sqrt (pow (fabs (pow x 1/3)) 3)) (sqrt (pow (fabs (pow x 1/3)) 3)) (sqrt (pow (fabs (* (pow (* -1 x) 1/3) (cbrt -1))) 3)) (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)) 7.106 * * [simplify]: iteration 0 : 73 enodes (cost 548 ) 7.123 * * [simplify]: iteration 1 : 159 enodes (cost 436 ) 7.170 * * [simplify]: iteration 2 : 468 enodes (cost 413 ) 7.495 * * [simplify]: iteration 3 : 2797 enodes (cost 404 ) 8.938 * * [simplify]: iteration done : 5000 enodes (cost 401 ) 8.939 * [simplify]: Simplified to: (* 3/2 (log (fabs (cbrt x)))) (* 3/2 (log (fabs (cbrt x)))) 3/2 3 3/2 (pow (sqrt (fabs (cbrt x))) (* (cbrt 3) (cbrt 3))) (pow (sqrt (fabs (cbrt x))) (sqrt 3)) (sqrt (fabs (cbrt x))) (fabs (cbrt x)) (sqrt (fabs (cbrt x))) (pow (fabs (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) 1 (pow (sqrt (fabs (cbrt x))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) 1 (pow (sqrt (fabs (cbrt x))) 3) (fabs (cbrt x)) (* 3/2 (log (fabs (cbrt x)))) (exp (pow (sqrt (fabs (cbrt x))) 3)) (fabs (cbrt x)) (sqrt (fabs (cbrt x))) (pow (pow (sqrt (fabs (cbrt x))) 3) 3) (fabs (cbrt x)) (sqrt (fabs (cbrt x))) (pow (fabs (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (cbrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) 1 (pow (sqrt (fabs (cbrt x))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) (pow (sqrt (sqrt (fabs (cbrt x)))) 3) 1 (pow (sqrt (fabs (cbrt x))) 3) (fabs (cbrt x)) 3/2 (sqrt (pow (sqrt (fabs (cbrt x))) 3)) (sqrt (pow (sqrt (fabs (cbrt x))) 3)) (pow (sqrt (fabs (cbrt x))) 3/2) (pow (sqrt (fabs (cbrt x))) 3/2) (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)) (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)) (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)) (sqrt (pow (fabs (cbrt x)) 3)) (sqrt (pow (fabs (cbrt x)) 3)) (sqrt (pow (fabs (* (cbrt -1) (cbrt (- x)))) 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))) 8.939 * * * [progress]: adding candidates to table 9.172 * [progress]: [Phase 3 of 3] Extracting. 9.172 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # #) 9.178 * * * [regime-changes]: Trying 1 branch expressions: (x) 9.178 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # #) 9.258 * * * [regime]: Found split indices: #