8.053 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.025 * * * [progress]: [2/2] Setting up program. 0.028 * [progress]: [Phase 2 of 3] Improving. 0.028 * [simplify]: Simplifying using # : (- (cbrt (+ x 1.0)) (cbrt x)) 0.029 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.029 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.030 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.031 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.031 * [simplify]: Simplified to: (- (cbrt (+ x 1.0)) (cbrt x)) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.034 * * * * [pick]: Picked # 0.034 * * * [progress]: localizing error 0.039 * * * [progress]: generating rewritten candidates 0.039 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.048 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.049 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.053 * * * [progress]: generating series expansions 0.053 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.053 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0 0.053 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.053 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.053 * [taylor]: Taking taylor expansion of 1/3 in x 0.053 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.053 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.054 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.054 * [taylor]: Taking taylor expansion of 1/3 in x 0.054 * [taylor]: Taking taylor expansion of (log x) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.054 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.054 * [taylor]: Taking taylor expansion of 1/3 in x 0.054 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.054 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of 1.0 in x 0.054 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.054 * [taylor]: Taking taylor expansion of 1/3 in x 0.054 * [taylor]: Taking taylor expansion of (log x) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.057 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0 0.057 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.057 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.057 * [taylor]: Taking taylor expansion of 1/3 in x 0.057 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.057 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 1.0 in x 0.057 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 1/3 in x 0.058 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.058 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.058 * [taylor]: Taking taylor expansion of 1/3 in x 0.058 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of 1.0 in x 0.058 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of 1/3 in x 0.058 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.063 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.063 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.063 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.063 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.064 * [taylor]: Taking taylor expansion of -1 in x 0.064 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.064 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.064 * [taylor]: Taking taylor expansion of 1/3 in x 0.064 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.064 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of 1.0 in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.064 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.064 * [taylor]: Taking taylor expansion of 1/3 in x 0.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.065 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.065 * [taylor]: Taking taylor expansion of -1 in x 0.068 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.069 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.069 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.069 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.069 * [taylor]: Taking taylor expansion of 1/3 in x 0.069 * [taylor]: Taking taylor expansion of (log x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.069 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.069 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.069 * [taylor]: Taking taylor expansion of 1/3 in x 0.069 * [taylor]: Taking taylor expansion of (log x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.076 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.076 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.076 * [taylor]: Taking taylor expansion of 1/3 in x 0.076 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.076 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.076 * [taylor]: Taking taylor expansion of 1/3 in x 0.076 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.076 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.076 * [taylor]: Taking taylor expansion of x in x 0.083 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.084 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.084 * [taylor]: Taking taylor expansion of 1/3 in x 0.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.084 * [taylor]: Taking taylor expansion of -1 in x 0.084 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.084 * [taylor]: Taking taylor expansion of 1/3 in x 0.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.084 * [taylor]: Taking taylor expansion of -1 in x 0.093 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.093 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 0.093 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.093 * [taylor]: Taking taylor expansion of 1/3 in x 0.093 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.093 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.093 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.093 * [taylor]: Taking taylor expansion of 1/3 in x 0.093 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.093 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.093 * [taylor]: Taking taylor expansion of x in x 0.093 * [taylor]: Taking taylor expansion of 1.0 in x 0.095 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 0.095 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.095 * [taylor]: Taking taylor expansion of 1/3 in x 0.095 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.095 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.095 * [taylor]: Taking taylor expansion of x in x 0.095 * [taylor]: Taking taylor expansion of 1.0 in x 0.095 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.095 * [taylor]: Taking taylor expansion of 1/3 in x 0.096 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.096 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.096 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.096 * [taylor]: Taking taylor expansion of x in x 0.096 * [taylor]: Taking taylor expansion of 1.0 in x 0.097 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 0.097 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.097 * [taylor]: Taking taylor expansion of 1/3 in x 0.097 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.097 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.097 * [taylor]: Taking taylor expansion of 1.0 in x 0.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.098 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.098 * [taylor]: Taking taylor expansion of 1/3 in x 0.098 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.098 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.098 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.098 * [taylor]: Taking taylor expansion of x in x 0.100 * * * [progress]: simplifying candidates 0.101 * [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)))) (neg (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)) (neg (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.3333333333333333 (* x (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (exp (* 1/3 (+ (log 1) (log x)))))) (- (+ (* 0.06172839506172839 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 3))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (- (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (- (+ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2)))) 0.105 * * [simplify]: iteration 0 : 133 enodes (cost 716 ) 0.127 * * [simplify]: iteration 1 : 292 enodes (cost 651 ) 0.174 * * [simplify]: iteration 2 : 750 enodes (cost 604 ) 0.298 * * [simplify]: iteration 3 : 1890 enodes (cost 499 ) 0.671 * * [simplify]: iteration done : 5001 enodes (cost 497 ) 0.672 * [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))) (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (cbrt x))) (neg (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)) (neg (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (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 (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (+ (- (* (* (cbrt (/ 1 (pow 1.0 5))) (* x x)) -1/6) (cbrt x)) (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0))) (+ (* (/ (/ (cbrt x) x) x) (- (/ 0.06172839506172839 x) 0.1111111111111111)) (* 0.3333333333333333 (/ (cbrt x) x))) (- (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (* (cbrt (exp (neg (log (/ -1 x))))) (cbrt -1))) (cbrt x) (cbrt x) (* (cbrt (exp (neg (log (/ -1 x))))) (cbrt -1)) (+ (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0)) (* (* (cbrt (/ 1 (pow 1.0 5))) (* x x)) -1/6)) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) 0.672 * * * [progress]: adding candidates to table 0.755 * * [progress]: iteration 2 / 4 0.755 * * * [progress]: picking best candidate 0.770 * * * * [pick]: Picked # 0.770 * * * [progress]: localizing error 0.782 * * * [progress]: generating rewritten candidates 0.782 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 0.784 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 0.785 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2) 0.787 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.794 * * * [progress]: generating series expansions 0.794 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 0.795 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.795 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.795 * [taylor]: Taking taylor expansion of 1/3 in x 0.795 * [taylor]: Taking taylor expansion of (log x) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.795 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.795 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.795 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.795 * [taylor]: Taking taylor expansion of 1/3 in x 0.795 * [taylor]: Taking taylor expansion of (log x) in x 0.795 * [taylor]: Taking taylor expansion of x in x 0.802 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.802 * [taylor]: Taking taylor expansion of 1/3 in x 0.802 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.802 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.802 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.802 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.802 * [taylor]: Taking taylor expansion of 1/3 in x 0.802 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.802 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.802 * [taylor]: Taking taylor expansion of x in x 0.810 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.810 * [taylor]: Taking taylor expansion of 1/3 in x 0.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.810 * [taylor]: Taking taylor expansion of x in x 0.810 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.810 * [taylor]: Taking taylor expansion of -1 in x 0.810 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.810 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.810 * [taylor]: Taking taylor expansion of 1/3 in x 0.810 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.810 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.810 * [taylor]: Taking taylor expansion of x in x 0.810 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.810 * [taylor]: Taking taylor expansion of -1 in x 0.819 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 0.819 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.819 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.819 * [taylor]: Taking taylor expansion of 1/3 in x 0.819 * [taylor]: Taking taylor expansion of (log x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.819 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.819 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.819 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.819 * [taylor]: Taking taylor expansion of 1/3 in x 0.819 * [taylor]: Taking taylor expansion of (log x) in x 0.819 * [taylor]: Taking taylor expansion of x in x 0.826 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.826 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.826 * [taylor]: Taking taylor expansion of 1/3 in x 0.826 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.826 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.826 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.826 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.826 * [taylor]: Taking taylor expansion of 1/3 in x 0.826 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.826 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.826 * [taylor]: Taking taylor expansion of x in x 0.833 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.833 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.833 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.834 * [taylor]: Taking taylor expansion of 1/3 in x 0.834 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.834 * [taylor]: Taking taylor expansion of -1 in x 0.834 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.834 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.834 * [taylor]: Taking taylor expansion of 1/3 in x 0.834 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.834 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.834 * [taylor]: Taking taylor expansion of x in x 0.834 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.834 * [taylor]: Taking taylor expansion of -1 in x 0.843 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2) 0.843 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.843 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.843 * [taylor]: Taking taylor expansion of 1/3 in x 0.843 * [taylor]: Taking taylor expansion of (log x) in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.843 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.843 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.843 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.843 * [taylor]: Taking taylor expansion of 1/3 in x 0.843 * [taylor]: Taking taylor expansion of (log x) in x 0.843 * [taylor]: Taking taylor expansion of x in x 0.850 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.850 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.850 * [taylor]: Taking taylor expansion of 1/3 in x 0.850 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.850 * [taylor]: Taking taylor expansion of x in x 0.851 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.851 * [taylor]: Taking taylor expansion of 1/3 in x 0.851 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.851 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.851 * [taylor]: Taking taylor expansion of x in x 0.858 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.858 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.858 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.858 * [taylor]: Taking taylor expansion of 1/3 in x 0.858 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.858 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.858 * [taylor]: Taking taylor expansion of -1 in x 0.858 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.858 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.858 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.858 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.858 * [taylor]: Taking taylor expansion of 1/3 in x 0.858 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.858 * [taylor]: Taking taylor expansion of x in x 0.859 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.859 * [taylor]: Taking taylor expansion of -1 in x 0.871 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.871 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 0.871 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.871 * [taylor]: Taking taylor expansion of 1/3 in x 0.871 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.871 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.871 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.871 * [taylor]: Taking taylor expansion of 1/3 in x 0.871 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.871 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.871 * [taylor]: Taking taylor expansion of x in x 0.878 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 0.878 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.878 * [taylor]: Taking taylor expansion of 1/3 in x 0.878 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.878 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.879 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.879 * [taylor]: Taking taylor expansion of 1/3 in x 0.879 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.879 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.879 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.879 * [taylor]: Taking taylor expansion of x in x 0.886 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 0.886 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 0.886 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.887 * [taylor]: Taking taylor expansion of 1/3 in x 0.887 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.887 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.887 * [taylor]: Taking taylor expansion of -1 in x 0.887 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 0.887 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.887 * [taylor]: Taking taylor expansion of 1/3 in x 0.887 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.887 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.887 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.887 * [taylor]: Taking taylor expansion of x in x 0.887 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.887 * [taylor]: Taking taylor expansion of -1 in x 0.899 * * * [progress]: simplifying candidates 0.900 * [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/3 1/3) (+ 1 1) (* x x) (* (cbrt x) (cbrt x)) (+ 1 1) (+ (log (cbrt x)) (log (cbrt x))) (log (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (sqrt (* (cbrt x) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 1 1) (* (cbrt x) (cbrt x)) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* (sqrt (cbrt x)) (sqrt (cbrt x))) (* 2 1/3) (* 2 1) (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* (cbrt x) (cbrt 1)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (* (cbrt x) 1) (* (cbrt (cbrt x)) (cbrt x)) (* (cbrt (sqrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (* (cbrt (cbrt x)) (cbrt x)) (* (sqrt (cbrt x)) (cbrt x)) (* (cbrt x) (cbrt x)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))) (pow (cbrt -1) 2)) 0.902 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 0.912 * * [simplify]: iteration 1 : 151 enodes (cost 525 ) 0.938 * * [simplify]: iteration 2 : 383 enodes (cost 462 ) 1.007 * * [simplify]: iteration 3 : 1202 enodes (cost 382 ) 1.222 * * [simplify]: iteration 4 : 3167 enodes (cost 374 ) 1.752 * * [simplify]: iteration done : 5001 enodes (cost 374 ) 1.752 * [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/3 2 (* x x) (pow x 2/3) 2 (* (log x) 2/3) (* (log x) 2/3) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (* (cbrt (sqrt x)) (sqrt (cbrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt (pow x 2/3)) (cbrt x)) (* (cbrt x) (cbrt (sqrt x))) (cbrt x) (pow (cbrt (cbrt x)) 5) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt x) (cbrt (sqrt x))) (pow x 2/3) (pow (cbrt (cbrt x)) 4) (pow (sqrt (cbrt x)) 3) (pow x 2/3) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (cbrt x) (cbrt x) (* (cbrt (/ 1 (/ -1 x))) (cbrt -1)) (pow x 2/3) (pow x 2/3) (* (pow (cbrt -1) 2) (pow (/ -1 x) -2/3)) 1.753 * * * [progress]: adding candidates to table 1.879 * * [progress]: iteration 3 / 4 1.879 * * * [progress]: picking best candidate 1.906 * * * * [pick]: Picked # 1.906 * * * [progress]: localizing error 1.924 * * * [progress]: generating rewritten candidates 1.924 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 1.928 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1) 1.930 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 1.934 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1) 1.937 * * * [progress]: generating series expansions 1.937 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 1.937 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0 1.937 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 1.937 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.937 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.937 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.937 * [taylor]: Taking taylor expansion of 1/9 in x 1.937 * [taylor]: Taking taylor expansion of (log x) in x 1.937 * [taylor]: Taking taylor expansion of x in x 1.937 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 1.937 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.937 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.937 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.938 * [taylor]: Taking taylor expansion of 1/9 in x 1.938 * [taylor]: Taking taylor expansion of (log x) in x 1.938 * [taylor]: Taking taylor expansion of x in x 1.947 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0 1.947 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 1.947 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.947 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.947 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.947 * [taylor]: Taking taylor expansion of 1/9 in x 1.947 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.947 * [taylor]: Taking taylor expansion of x in x 1.947 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 1.947 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.947 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.947 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.947 * [taylor]: Taking taylor expansion of 1/9 in x 1.947 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.947 * [taylor]: Taking taylor expansion of x in x 1.957 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in (x) around 0 1.957 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 1.957 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.957 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.957 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.957 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.957 * [taylor]: Taking taylor expansion of 1/9 in x 1.957 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.957 * [taylor]: Taking taylor expansion of x in x 1.957 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.957 * [taylor]: Taking taylor expansion of 1/3 in x 1.957 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.957 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.957 * [taylor]: Taking taylor expansion of -1 in x 1.958 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 1.958 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.958 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.958 * [taylor]: Taking taylor expansion of 1/9 in x 1.958 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.958 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.958 * [taylor]: Taking taylor expansion of x in x 1.958 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.958 * [taylor]: Taking taylor expansion of 1/3 in x 1.958 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.958 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.958 * [taylor]: Taking taylor expansion of -1 in x 1.985 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1) 1.985 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.985 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.985 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.985 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.985 * [taylor]: Taking taylor expansion of 1/9 in x 1.985 * [taylor]: Taking taylor expansion of (log x) in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.986 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.986 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.986 * [taylor]: Taking taylor expansion of 1/9 in x 1.986 * [taylor]: Taking taylor expansion of (log x) in x 1.986 * [taylor]: Taking taylor expansion of x in x 1.992 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.992 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.992 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.992 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.992 * [taylor]: Taking taylor expansion of 1/9 in x 1.992 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.992 * [taylor]: Taking taylor expansion of x in x 1.992 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.992 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.992 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.993 * [taylor]: Taking taylor expansion of 1/9 in x 1.993 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.993 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.993 * [taylor]: Taking taylor expansion of x in x 2.000 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 2.000 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.000 * [taylor]: Taking taylor expansion of 1/9 in x 2.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.000 * [taylor]: Taking taylor expansion of x in x 2.000 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.000 * [taylor]: Taking taylor expansion of 1/3 in x 2.000 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.000 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.000 * [taylor]: Taking taylor expansion of -1 in x 2.000 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.000 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.000 * [taylor]: Taking taylor expansion of 1/9 in x 2.000 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.000 * [taylor]: Taking taylor expansion of x in x 2.001 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.001 * [taylor]: Taking taylor expansion of 1/3 in x 2.001 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.001 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.001 * [taylor]: Taking taylor expansion of -1 in x 2.018 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 2.018 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 2.018 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 2.018 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 2.018 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 2.018 * [taylor]: Taking taylor expansion of 1/9 in x 2.018 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.018 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.018 * [taylor]: Taking taylor expansion of x in x 2.019 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 2.019 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 2.019 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 2.019 * [taylor]: Taking taylor expansion of 1/9 in x 2.019 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.019 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.019 * [taylor]: Taking taylor expansion of x in x 2.026 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 2.026 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.026 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.026 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.026 * [taylor]: Taking taylor expansion of 1/9 in x 2.026 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.026 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.026 * [taylor]: Taking taylor expansion of x in x 2.026 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.026 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.026 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.026 * [taylor]: Taking taylor expansion of 1/9 in x 2.026 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.026 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.026 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.026 * [taylor]: Taking taylor expansion of x in x 2.034 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 2.034 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 2.034 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.034 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.034 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.034 * [taylor]: Taking taylor expansion of 1/9 in x 2.034 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.034 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.034 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.034 * [taylor]: Taking taylor expansion of x in x 2.035 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 2.035 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 2.035 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 2.035 * [taylor]: Taking taylor expansion of 1/3 in x 2.035 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 2.035 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.035 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.035 * [taylor]: Taking taylor expansion of -1 in x 2.035 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 2.035 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.035 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.035 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.035 * [taylor]: Taking taylor expansion of 1/9 in x 2.035 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.035 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.035 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.035 * [taylor]: Taking taylor expansion of x in x 2.036 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 2.036 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 2.036 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 2.036 * [taylor]: Taking taylor expansion of 1/3 in x 2.036 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 2.036 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.036 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.036 * [taylor]: Taking taylor expansion of -1 in x 2.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1) 2.057 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 2.057 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.057 * [taylor]: Taking taylor expansion of 1/3 in x 2.057 * [taylor]: Taking taylor expansion of (log x) in x 2.057 * [taylor]: Taking taylor expansion of x in x 2.057 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 2.057 * [taylor]: Taking taylor expansion of 1/3 in x 2.057 * [taylor]: Taking taylor expansion of (log x) in x 2.057 * [taylor]: Taking taylor expansion of x in x 2.064 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 2.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.064 * [taylor]: Taking taylor expansion of 1/3 in x 2.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.064 * [taylor]: Taking taylor expansion of 1/3 in x 2.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.064 * [taylor]: Taking taylor expansion of x in x 2.075 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 2.075 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.075 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.075 * [taylor]: Taking taylor expansion of 1/3 in x 2.075 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.075 * [taylor]: Taking taylor expansion of x in x 2.075 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.075 * [taylor]: Taking taylor expansion of -1 in x 2.075 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 2.075 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 2.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 2.075 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 2.075 * [taylor]: Taking taylor expansion of 1/3 in x 2.075 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.075 * [taylor]: Taking taylor expansion of x in x 2.075 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.075 * [taylor]: Taking taylor expansion of -1 in x 2.084 * * * [progress]: simplifying candidates 2.085 * [simplify]: Simplifying using # : (* (log (cbrt (cbrt x))) 4) (* (log (cbrt (cbrt x))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (cbrt x)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt x)) (sqrt 4)) (pow (cbrt (cbrt x)) 1) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (cbrt (sqrt x))) 4) (pow (cbrt (cbrt (sqrt x))) 4) (pow (cbrt (cbrt 1)) 4) (pow (cbrt (cbrt x)) 4) (pow (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (sqrt (cbrt x))) 4) (pow (cbrt (sqrt (cbrt x))) 4) (pow (cbrt 1) 4) (pow (cbrt (cbrt x)) 4) (pow (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (sqrt (cbrt (cbrt x))) 4) (pow (sqrt (cbrt (cbrt x))) 4) (pow 1 4) (pow (cbrt (cbrt x)) 4) (log (pow (cbrt (cbrt x)) 4)) (exp (pow (cbrt (cbrt x)) 4)) (* (cbrt (pow (cbrt (cbrt x)) 4)) (cbrt (pow (cbrt (cbrt x)) 4))) (cbrt (pow (cbrt (cbrt x)) 4)) (* (* (pow (cbrt (cbrt x)) 4) (pow (cbrt (cbrt x)) 4)) (pow (cbrt (cbrt x)) 4)) (sqrt (pow (cbrt (cbrt x)) 4)) (sqrt (pow (cbrt (cbrt x)) 4)) (pow (cbrt (cbrt x)) (/ 4 2)) (pow (cbrt (cbrt x)) (/ 4 2)) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))) (exp (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (cbrt x)) (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (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)) (pow (exp (* 1/9 (+ (log 1) (log x)))) 4) (pow (exp (* 1/9 (- (log 1) (log (/ 1 x))))) 4) (* (pow (pow (cbrt -1) 4) 1/3) (pow (exp (* 1/9 (- (log 1) (log (/ -1 x))))) 4)) (exp (* 1/9 (+ (log 1) (log x)))) (exp (* 1/9 (- (log 1) (log (/ 1 x))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (exp (* 1/9 (+ (log 1) (* 2 (log x))))) (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x)))))) (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x))))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 x))))) (cbrt -1)) 2.088 * * [simplify]: iteration 0 : 111 enodes (cost 584 ) 2.103 * * [simplify]: iteration 1 : 241 enodes (cost 541 ) 2.140 * * [simplify]: iteration 2 : 568 enodes (cost 460 ) 2.218 * * [simplify]: iteration 3 : 1621 enodes (cost 425 ) 2.520 * * [simplify]: iteration done : 5000 enodes (cost 422 ) 2.520 * [simplify]: Simplified to: (log (pow (cbrt (cbrt x)) 4)) (log (pow (cbrt (cbrt x)) 4)) 4/3 4 (pow (cbrt (cbrt x)) (* (cbrt 4) (cbrt 4))) (pow (cbrt (cbrt x)) 2) (cbrt (cbrt x)) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (cbrt (sqrt x))) 4) (pow (cbrt (cbrt (sqrt x))) 4) 1 (pow (cbrt (cbrt x)) 4) (pow (cbrt (pow (cbrt (cbrt x)) 2)) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (sqrt (cbrt x))) 4) (pow (cbrt (sqrt (cbrt x))) 4) 1 (pow (cbrt (cbrt x)) 4) (pow (cbrt (cbrt (cbrt x))) 8) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (cbrt x)) 2) (pow (cbrt (cbrt x)) 2) 1 (pow (cbrt (cbrt x)) 4) (log (pow (cbrt (cbrt x)) 4)) (exp (pow (cbrt (cbrt x)) 4)) (* (cbrt (pow (cbrt (cbrt x)) 4)) (cbrt (pow (cbrt (cbrt x)) 4))) (cbrt (pow (cbrt (cbrt x)) 4)) (* x (cbrt x)) (sqrt (pow (cbrt (cbrt x)) 4)) (sqrt (pow (cbrt (cbrt x)) 4)) (pow (cbrt (cbrt x)) 2) (pow (cbrt (cbrt x)) 2) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (pow (cbrt (cbrt x)) 2)) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (pow (cbrt (cbrt (cbrt x))) 2) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (* (cbrt x) (cbrt x)))) (exp (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (cbrt x)) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 2) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (pow (cbrt (cbrt x)) 2) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow (pow x 1/9) 4) (pow (pow x 1/9) 4) (* (pow (pow (/ -1 x) -2) 2/9) (cbrt (pow (cbrt -1) 4))) (pow x 1/9) (pow x 1/9) (* (cbrt (cbrt -1)) (pow (exp 1/9) (neg (log (/ -1 x))))) (pow x 2/9) (pow x 2/9) (* (pow (pow (/ -1 x) -2) 1/9) (cbrt (pow (cbrt -1) 2))) (cbrt x) (cbrt x) (* (cbrt (exp (neg (log (/ -1 x))))) (cbrt -1)) 2.521 * * * [progress]: adding candidates to table 2.666 * * [progress]: iteration 4 / 4 2.666 * * * [progress]: picking best candidate 2.729 * * * * [pick]: Picked # 2.729 * * * [progress]: localizing error 2.751 * * * [progress]: generating rewritten candidates 2.751 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 2.756 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 1 2) 2.758 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1) 2.763 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 1 1) 2.768 * * * [progress]: generating series expansions 2.768 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 2.768 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0 2.769 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 2.769 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.769 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.769 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.769 * [taylor]: Taking taylor expansion of 1/9 in x 2.769 * [taylor]: Taking taylor expansion of (log x) in x 2.769 * [taylor]: Taking taylor expansion of x in x 2.769 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 2.769 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.769 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.769 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.769 * [taylor]: Taking taylor expansion of 1/9 in x 2.769 * [taylor]: Taking taylor expansion of (log x) in x 2.769 * [taylor]: Taking taylor expansion of x in x 2.778 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0 2.778 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 2.778 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.778 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.778 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.778 * [taylor]: Taking taylor expansion of 1/9 in x 2.778 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.778 * [taylor]: Taking taylor expansion of x in x 2.778 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 2.778 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.778 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.778 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.778 * [taylor]: Taking taylor expansion of 1/9 in x 2.778 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.778 * [taylor]: Taking taylor expansion of x in x 2.788 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in (x) around 0 2.788 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 2.788 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.788 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.788 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.788 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.788 * [taylor]: Taking taylor expansion of 1/9 in x 2.788 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.788 * [taylor]: Taking taylor expansion of x in x 2.789 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.789 * [taylor]: Taking taylor expansion of 1/3 in x 2.789 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.789 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.789 * [taylor]: Taking taylor expansion of -1 in x 2.789 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 2.789 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.789 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.789 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.789 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.789 * [taylor]: Taking taylor expansion of 1/9 in x 2.789 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.789 * [taylor]: Taking taylor expansion of x in x 2.789 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.789 * [taylor]: Taking taylor expansion of 1/3 in x 2.789 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.789 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.789 * [taylor]: Taking taylor expansion of -1 in x 2.817 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 1 2) 2.817 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.817 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.817 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.817 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.817 * [taylor]: Taking taylor expansion of 1/9 in x 2.817 * [taylor]: Taking taylor expansion of (log x) in x 2.817 * [taylor]: Taking taylor expansion of x in x 2.817 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.817 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.817 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.817 * [taylor]: Taking taylor expansion of 1/9 in x 2.817 * [taylor]: Taking taylor expansion of (log x) in x 2.817 * [taylor]: Taking taylor expansion of x in x 2.824 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.824 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.824 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.824 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.824 * [taylor]: Taking taylor expansion of 1/9 in x 2.824 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.824 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.824 * [taylor]: Taking taylor expansion of x in x 2.824 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.824 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.824 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.825 * [taylor]: Taking taylor expansion of 1/9 in x 2.825 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.825 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.825 * [taylor]: Taking taylor expansion of x in x 2.832 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 2.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.832 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.832 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.832 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.832 * [taylor]: Taking taylor expansion of 1/9 in x 2.832 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.832 * [taylor]: Taking taylor expansion of x in x 2.832 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.832 * [taylor]: Taking taylor expansion of 1/3 in x 2.832 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.832 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.832 * [taylor]: Taking taylor expansion of -1 in x 2.832 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.832 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.832 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.832 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.832 * [taylor]: Taking taylor expansion of 1/9 in x 2.832 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.832 * [taylor]: Taking taylor expansion of x in x 2.833 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.833 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.833 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.833 * [taylor]: Taking taylor expansion of 1/3 in x 2.833 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.833 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.833 * [taylor]: Taking taylor expansion of -1 in x 2.850 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1) 2.850 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.851 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.851 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.851 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.851 * [taylor]: Taking taylor expansion of 1/9 in x 2.851 * [taylor]: Taking taylor expansion of (log x) in x 2.851 * [taylor]: Taking taylor expansion of x in x 2.851 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.851 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.851 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.851 * [taylor]: Taking taylor expansion of 1/9 in x 2.851 * [taylor]: Taking taylor expansion of (log x) in x 2.851 * [taylor]: Taking taylor expansion of x in x 2.858 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.858 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.858 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.858 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.858 * [taylor]: Taking taylor expansion of 1/9 in x 2.858 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.858 * [taylor]: Taking taylor expansion of x in x 2.858 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.858 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.858 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.858 * [taylor]: Taking taylor expansion of 1/9 in x 2.858 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.858 * [taylor]: Taking taylor expansion of x in x 2.865 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 2.865 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.865 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.865 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.865 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.865 * [taylor]: Taking taylor expansion of 1/9 in x 2.865 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.865 * [taylor]: Taking taylor expansion of x in x 2.866 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.866 * [taylor]: Taking taylor expansion of 1/3 in x 2.866 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.866 * [taylor]: Taking taylor expansion of -1 in x 2.866 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.866 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.866 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.866 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.866 * [taylor]: Taking taylor expansion of 1/9 in x 2.866 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.866 * [taylor]: Taking taylor expansion of x in x 2.866 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.866 * [taylor]: Taking taylor expansion of 1/3 in x 2.866 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.866 * [taylor]: Taking taylor expansion of -1 in x 2.885 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 1 1) 2.885 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 2.885 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 2.885 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 2.885 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 2.885 * [taylor]: Taking taylor expansion of 1/9 in x 2.885 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.885 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.885 * [taylor]: Taking taylor expansion of x in x 2.885 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 2.885 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 2.885 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 2.885 * [taylor]: Taking taylor expansion of 1/9 in x 2.885 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 2.885 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.885 * [taylor]: Taking taylor expansion of x in x 2.896 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 2.896 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.896 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.896 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.896 * [taylor]: Taking taylor expansion of 1/9 in x 2.896 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.896 * [taylor]: Taking taylor expansion of x in x 2.896 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.896 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.896 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.896 * [taylor]: Taking taylor expansion of 1/9 in x 2.896 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.896 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.896 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.896 * [taylor]: Taking taylor expansion of x in x 2.904 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 2.904 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 2.904 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.904 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.904 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.904 * [taylor]: Taking taylor expansion of 1/9 in x 2.904 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.904 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.904 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.904 * [taylor]: Taking taylor expansion of x in x 2.905 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 2.905 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 2.905 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 2.905 * [taylor]: Taking taylor expansion of 1/3 in x 2.905 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 2.905 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.905 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.905 * [taylor]: Taking taylor expansion of -1 in x 2.905 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 2.905 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 2.905 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 2.905 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 2.905 * [taylor]: Taking taylor expansion of 1/9 in x 2.905 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 2.905 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 2.905 * [taylor]: Taking taylor expansion of (pow x 2) in x 2.905 * [taylor]: Taking taylor expansion of x in x 2.906 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 2.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 2.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 2.906 * [taylor]: Taking taylor expansion of 1/3 in x 2.906 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 2.906 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 2.906 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.906 * [taylor]: Taking taylor expansion of -1 in x 2.927 * * * [progress]: simplifying candidates 2.928 * [simplify]: Simplifying using # : (* (log (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (* (log (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (* 1/3 4) (* 1 4) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (* (cbrt 4) (cbrt 4))) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (sqrt 4)) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 1) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (* (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))) 4) (pow (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (pow (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (pow (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (pow 1 4) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4) (log (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (exp (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (* (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4))) (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (* (* (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (sqrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (sqrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (/ 4 2)) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (/ 4 2)) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt 1)) (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt 1) (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (exp (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (* (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))) (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (* (* (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (log (cbrt (* (cbrt x) (cbrt x)))) (exp (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (cbrt x)) (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (pow (exp (* 1/9 (+ (log 1) (log x)))) 4) (pow (exp (* 1/9 (- (log 1) (log (/ 1 x))))) 4) (* (pow (pow (cbrt -1) 4) 1/3) (pow (exp (* 1/9 (- (log 1) (log (/ -1 x))))) 4)) (exp (* 1/9 (+ (log 1) (log x)))) (exp (* 1/9 (- (log 1) (log (/ 1 x))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (exp (* 1/9 (+ (log 1) (log x)))) (exp (* 1/9 (- (log 1) (log (/ 1 x))))) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (exp (* 1/9 (+ (log 1) (* 2 (log x))))) (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x)))))) (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x))))))) 2.931 * * [simplify]: iteration 0 : 106 enodes (cost 793 ) 2.944 * * [simplify]: iteration 1 : 215 enodes (cost 744 ) 2.977 * * [simplify]: iteration 2 : 492 enodes (cost 629 ) 3.045 * * [simplify]: iteration 3 : 1343 enodes (cost 600 ) 3.372 * * [simplify]: iteration 4 : 4906 enodes (cost 586 ) 4.344 * * [simplify]: iteration done : 5000 enodes (cost 586 ) 4.345 * [simplify]: Simplified to: (log (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (log (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) 4/3 4 (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (* (cbrt 4) (cbrt 4))) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2) (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 4) (pow (cbrt (cbrt (cbrt x))) 4) (pow (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 8) (pow (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 4) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2) 1 (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4) (log (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (exp (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (* (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4))) (cbrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 4) (sqrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (sqrt (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 4)) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2) (pow (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))) 2) (log (cbrt (cbrt x))) (exp (cbrt (cbrt x))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))) 1 (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (pow (cbrt (cbrt (cbrt x))) 2) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (log (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (exp (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (cbrt x))) (pow (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) 2) (cbrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (sqrt (cbrt (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))))) (log (cbrt (* (cbrt x) (cbrt x)))) (exp (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt x)) (cbrt (cbrt x)) (pow (cbrt (cbrt (* (cbrt x) (cbrt x)))) 2) (cbrt (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (pow x 4/9) (pow x 4/9) (* (pow (pow (/ -1 x) -2) 2/9) (cbrt (pow (cbrt -1) 4))) (pow x 1/9) (pow x 1/9) (* (cbrt (cbrt -1)) (pow (/ 1 (/ -1 x)) 1/9)) (pow x 1/9) (pow x 1/9) (* (cbrt (cbrt -1)) (pow (/ 1 (/ -1 x)) 1/9)) (pow x 2/9) (pow x 2/9) (* (cbrt (pow (cbrt -1) 2)) (pow (/ -1 x) -2/9)) 4.345 * * * [progress]: adding candidates to table 4.479 * [progress]: [Phase 3 of 3] Extracting. 4.479 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # #) 4.486 * * * [regime-changes]: Trying 1 branch expressions: (x) 4.486 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # #) 4.582 * * * [regime]: Found split indices: #