6.795 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (- (cbrt (+ x 1.0)) (cbrt x)) 0.027 * * [simplify]: iteration 0 : 9 enodes (cost 4 ) 0.028 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 0.029 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 0.029 * [simplify]: Simplified to: (- (cbrt (+ x 1.0)) (cbrt x)) 0.029 * * [progress]: iteration 1 / 4 0.029 * * * [progress]: picking best candidate 0.032 * * * * [pick]: Picked # 0.032 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.044 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.045 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.049 * * * [progress]: generating series expansions 0.049 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.049 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0 0.049 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.049 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.049 * [taylor]: Taking taylor expansion of 1/3 in x 0.049 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.049 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.049 * [taylor]: Taking taylor expansion of 1.0 in x 0.049 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.049 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.049 * [taylor]: Taking taylor expansion of 1/3 in x 0.049 * [taylor]: Taking taylor expansion of (log x) in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.050 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.050 * [taylor]: Taking taylor expansion of 1/3 in x 0.050 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.050 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of 1.0 in x 0.050 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.050 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.050 * [taylor]: Taking taylor expansion of 1/3 in x 0.050 * [taylor]: Taking taylor expansion of (log x) in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.053 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0 0.053 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 0.053 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.053 * [taylor]: Taking taylor expansion of 1/3 in x 0.053 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.053 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.053 * [taylor]: Taking taylor expansion of 1/3 in x 0.053 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.053 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x 0.053 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.053 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.053 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.053 * [taylor]: Taking taylor expansion of 1/3 in x 0.053 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.053 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.053 * [taylor]: Taking taylor expansion of 1.0 in x 0.053 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.053 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.054 * [taylor]: Taking taylor expansion of 1/3 in x 0.054 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.054 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.058 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0 0.058 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 0.058 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.058 * [taylor]: Taking taylor expansion of 1/3 in x 0.058 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.058 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.058 * [taylor]: Taking taylor expansion of 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 (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.058 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.058 * [taylor]: Taking taylor expansion of -1 in x 0.059 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x 0.059 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.059 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of 1.0 in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.059 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.059 * [taylor]: Taking taylor expansion of -1 in x 0.059 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.063 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.063 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 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.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.064 * [taylor]: Taking taylor expansion of x in x 0.069 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.069 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.069 * [taylor]: Taking taylor expansion of 1/3 in x 0.069 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.069 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.069 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.070 * [taylor]: Taking taylor expansion of 1/3 in x 0.070 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.076 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.076 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.076 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.076 * [taylor]: Taking taylor expansion of -1 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.077 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.077 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.077 * [taylor]: Taking taylor expansion of -1 in x 0.077 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.077 * [taylor]: Taking taylor expansion of 1/3 in x 0.077 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.077 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.077 * [taylor]: Taking taylor expansion of x in x 0.084 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.084 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 0.084 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.084 * [taylor]: Taking taylor expansion of 1/3 in x 0.084 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.084 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of 1.0 in x 0.085 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.085 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.085 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.085 * [taylor]: Taking taylor expansion of 1/3 in x 0.085 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.085 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.085 * [taylor]: Taking taylor expansion of x in x 0.085 * [taylor]: Taking taylor expansion of 1.0 in x 0.086 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0 0.086 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.086 * [taylor]: Taking taylor expansion of 1/3 in x 0.086 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.086 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.086 * [taylor]: Taking taylor expansion of 1.0 in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.086 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x 0.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x 0.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x 0.087 * [taylor]: Taking taylor expansion of 1/3 in x 0.087 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x 0.087 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x 0.087 * [taylor]: Taking taylor expansion of 1.0 in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.088 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 0.088 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.088 * [taylor]: Taking taylor expansion of 1/3 in x 0.088 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.088 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.088 * [taylor]: Taking taylor expansion of 1.0 in x 0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.088 * [taylor]: Taking taylor expansion of x in x 0.088 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.089 * [taylor]: Taking taylor expansion of 1/3 in x 0.089 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.089 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.089 * [taylor]: Taking taylor expansion of 1.0 in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.090 * * * [progress]: simplifying candidates 0.091 * [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.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (exp (* 1/3 (+ (log 1) (log x)))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))))) (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x)) (* 0.06172839506172839 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2)))) (- (+ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (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 (/ (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)))) (- (+ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2)))) 0.095 * * [simplify]: iteration 0 : 290 enodes (cost 405 ) 0.100 * * [simplify]: iteration 1 : 908 enodes (cost 390 ) 0.118 * * [simplify]: iteration 2 : 4235 enodes (cost 335 ) 0.206 * * [simplify]: iteration 3 : 5002 enodes (cost 332 ) 0.208 * [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 (pow x 1/3)) (- (* (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 (pow x 1/3)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (pow x 1/3) (* (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 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))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (- (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (+ (* 0.3333333333333333 x) 1))) (- (* (pow x 1/3) (pow 1 1/3)) (* -1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))))) (+ (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (/ (* 0.06172839506172839 (* (pow x 1/3) (pow 1 1/3))) (pow x 3))) (- (* (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (- (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (- (log -1) (log (/ -1 x))))))) (pow x 1/3) (pow x 1/3) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (+ (* (pow x 2) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))) (* (+ (* 0.3333333333333333 x) 1) (pow 1.0 1/3))) (+ (* (pow x 1/3) (pow 1 1/3)) (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (pow x 1/3) (pow 1 1/3)) (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) 0.208 * * * [progress]: adding candidates to table 0.291 * * [progress]: iteration 2 / 4 0.291 * * * [progress]: picking best candidate 0.309 * * * * [pick]: Picked # 0.309 * * * [progress]: localizing error 0.320 * * * [progress]: generating rewritten candidates 0.320 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 0.326 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2) 0.327 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1) 0.328 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2) 0.333 * * * [progress]: generating series expansions 0.333 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 0.333 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 0.333 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.333 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.333 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.333 * [taylor]: Taking taylor expansion of 1/3 in x 0.333 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.333 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.333 * [taylor]: Taking taylor expansion of x in x 0.334 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.334 * [taylor]: Taking taylor expansion of 1/3 in x 0.334 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.334 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.334 * [taylor]: Taking taylor expansion of x in x 0.340 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 0.340 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.340 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.340 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.340 * [taylor]: Taking taylor expansion of 1/3 in x 0.340 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.340 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.340 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.340 * [taylor]: Taking taylor expansion of x in x 0.341 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.341 * [taylor]: Taking taylor expansion of 1/3 in x 0.341 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.341 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.341 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.341 * [taylor]: Taking taylor expansion of x in x 0.348 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 0.348 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 0.348 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.348 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.348 * [taylor]: Taking taylor expansion of -1 in x 0.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.348 * [taylor]: Taking taylor expansion of 1/3 in x 0.348 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.348 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.348 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.348 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 0.348 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.348 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.348 * [taylor]: Taking taylor expansion of -1 in x 0.348 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.348 * [taylor]: Taking taylor expansion of 1/3 in x 0.348 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.348 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.348 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.348 * [taylor]: Taking taylor expansion of x in x 0.358 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2) 0.358 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.358 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.358 * [taylor]: Taking taylor expansion of 1/3 in x 0.358 * [taylor]: Taking taylor expansion of (log x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.358 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.358 * [taylor]: Taking taylor expansion of 1/3 in x 0.358 * [taylor]: Taking taylor expansion of (log x) in x 0.358 * [taylor]: Taking taylor expansion of x in x 0.364 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.364 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.365 * [taylor]: Taking taylor expansion of 1/3 in x 0.365 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.365 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.365 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.365 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.365 * [taylor]: Taking taylor expansion of 1/3 in x 0.365 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.365 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.365 * [taylor]: Taking taylor expansion of x in x 0.371 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.371 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.371 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.371 * [taylor]: Taking taylor expansion of -1 in x 0.371 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.371 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.371 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.371 * [taylor]: Taking taylor expansion of 1/3 in x 0.371 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.371 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.371 * [taylor]: Taking taylor expansion of x in x 0.372 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.372 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.372 * [taylor]: Taking taylor expansion of -1 in x 0.372 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.372 * [taylor]: Taking taylor expansion of 1/3 in x 0.372 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.372 * [taylor]: Taking taylor expansion of x in x 0.380 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1) 0.380 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.380 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.380 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.380 * [taylor]: Taking taylor expansion of 1/3 in x 0.380 * [taylor]: Taking taylor expansion of (log x) in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.380 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.380 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.380 * [taylor]: Taking taylor expansion of 1/3 in x 0.380 * [taylor]: Taking taylor expansion of (log x) in x 0.380 * [taylor]: Taking taylor expansion of x in x 0.386 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.386 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of 1/3 in x 0.386 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.386 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.386 * [taylor]: Taking taylor expansion of 1/3 in x 0.386 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.386 * [taylor]: Taking taylor expansion of x in x 0.393 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.393 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.393 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.393 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.393 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.393 * [taylor]: Taking taylor expansion of 1/3 in x 0.393 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.393 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.393 * [taylor]: Taking taylor expansion of x in x 0.393 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.393 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.393 * [taylor]: Taking taylor expansion of -1 in x 0.393 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.394 * [taylor]: Taking taylor expansion of 1/3 in x 0.394 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.394 * [taylor]: Taking taylor expansion of x in x 0.401 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2) 0.401 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.401 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.401 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.401 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.401 * [taylor]: Taking taylor expansion of 1/3 in x 0.401 * [taylor]: Taking taylor expansion of (log x) in x 0.401 * [taylor]: Taking taylor expansion of x in x 0.402 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.402 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.402 * [taylor]: Taking taylor expansion of 1/3 in x 0.402 * [taylor]: Taking taylor expansion of (log x) in x 0.402 * [taylor]: Taking taylor expansion of x in x 0.408 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.408 * [taylor]: Taking taylor expansion of 1/3 in x 0.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.408 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.408 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.408 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.408 * [taylor]: Taking taylor expansion of 1/3 in x 0.408 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.408 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.408 * [taylor]: Taking taylor expansion of x in x 0.414 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0 0.414 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.414 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.414 * [taylor]: Taking taylor expansion of -1 in x 0.414 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.414 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.414 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.414 * [taylor]: Taking taylor expansion of 1/3 in x 0.415 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.415 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x 0.415 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.415 * [taylor]: Taking taylor expansion of -1 in x 0.415 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.415 * [taylor]: Taking taylor expansion of 1/3 in x 0.415 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.415 * [taylor]: Taking taylor expansion of x in x 0.424 * * * [progress]: simplifying candidates 0.425 * [simplify]: Simplifying using # : (+ 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)) (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)) (exp (* 1/3 (+ (log 1) (* 2 (log x))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (+ (log 1) (log x)))) (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.429 * * [simplify]: iteration 0 : 148 enodes (cost 349 ) 0.432 * * [simplify]: iteration 1 : 479 enodes (cost 322 ) 0.444 * * [simplify]: iteration 2 : 2283 enodes (cost 265 ) 0.495 * * [simplify]: iteration 3 : 5001 enodes (cost 252 ) 0.497 * [simplify]: Simplified to: 2/3 2 (* x x) (pow x 2/3) 2 (* 2 (log (cbrt x))) (* 2 (log (cbrt x))) (exp (* (cbrt x) (cbrt x))) (* x x) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))) (* x x) (fabs (cbrt x)) (fabs (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))) 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 x) (cbrt (* (cbrt x) (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) (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)) (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)) (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)) (pow x 2/3) (pow x 2/3) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))) (cbrt x) (cbrt x) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (cbrt x) (cbrt x) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (cbrt x) (cbrt x) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 0.498 * * * [progress]: adding candidates to table 0.613 * * [progress]: iteration 3 / 4 0.613 * * * [progress]: picking best candidate 0.663 * * * * [pick]: Picked # 0.663 * * * [progress]: localizing error 0.680 * * * [progress]: generating rewritten candidates 0.680 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2) 0.681 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2) 0.683 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1) 0.684 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 0.700 * * * [progress]: generating series expansions 0.700 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2) 0.700 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 0.700 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.700 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.700 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.700 * [taylor]: Taking taylor expansion of 1/9 in x 0.700 * [taylor]: Taking taylor expansion of (log x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.700 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.700 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.700 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.700 * [taylor]: Taking taylor expansion of 1/9 in x 0.700 * [taylor]: Taking taylor expansion of (log x) in x 0.700 * [taylor]: Taking taylor expansion of x in x 0.706 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 0.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of 1/9 in x 0.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.706 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.706 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.706 * [taylor]: Taking taylor expansion of 1/9 in x 0.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.706 * [taylor]: Taking taylor expansion of x in x 0.712 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 0.713 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.713 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.713 * [taylor]: Taking taylor expansion of 1/3 in x 0.713 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.713 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.713 * [taylor]: Taking taylor expansion of -1 in x 0.713 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.713 * [taylor]: Taking taylor expansion of 1/9 in x 0.713 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.713 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.713 * [taylor]: Taking taylor expansion of x in x 0.713 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.713 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.713 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.713 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.713 * [taylor]: Taking taylor expansion of 1/3 in x 0.713 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.713 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.713 * [taylor]: Taking taylor expansion of -1 in x 0.714 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.714 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.714 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.714 * [taylor]: Taking taylor expansion of 1/9 in x 0.714 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.714 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.714 * [taylor]: Taking taylor expansion of x in x 0.731 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2) 0.731 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 0.731 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.731 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.731 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.731 * [taylor]: Taking taylor expansion of 1/9 in x 0.731 * [taylor]: Taking taylor expansion of (log x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.731 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.731 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.731 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.731 * [taylor]: Taking taylor expansion of 1/9 in x 0.731 * [taylor]: Taking taylor expansion of (log x) in x 0.731 * [taylor]: Taking taylor expansion of x in x 0.737 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 0.737 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.737 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.737 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.737 * [taylor]: Taking taylor expansion of 1/9 in x 0.737 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.738 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.738 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.738 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.738 * [taylor]: Taking taylor expansion of 1/9 in x 0.738 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.738 * [taylor]: Taking taylor expansion of x in x 0.744 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 0.744 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.744 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.744 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.744 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.744 * [taylor]: Taking taylor expansion of 1/3 in x 0.744 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.744 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.744 * [taylor]: Taking taylor expansion of -1 in x 0.744 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.744 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.744 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.744 * [taylor]: Taking taylor expansion of 1/9 in x 0.744 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.744 * [taylor]: Taking taylor expansion of x in x 0.745 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.745 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.745 * [taylor]: Taking taylor expansion of 1/3 in x 0.745 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.745 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.745 * [taylor]: Taking taylor expansion of -1 in x 0.745 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.745 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.745 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.745 * [taylor]: Taking taylor expansion of 1/9 in x 0.745 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.745 * [taylor]: Taking taylor expansion of x in x 0.760 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1) 0.760 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 0.760 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.760 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.760 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.760 * [taylor]: Taking taylor expansion of 1/9 in x 0.760 * [taylor]: Taking taylor expansion of (log x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.760 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 0.760 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 0.760 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 0.760 * [taylor]: Taking taylor expansion of 1/9 in x 0.760 * [taylor]: Taking taylor expansion of (log x) in x 0.760 * [taylor]: Taking taylor expansion of x in x 0.766 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 0.766 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.766 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.766 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.766 * [taylor]: Taking taylor expansion of 1/9 in x 0.766 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.767 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.767 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.767 * [taylor]: Taking taylor expansion of 1/9 in x 0.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.767 * [taylor]: Taking taylor expansion of x in x 0.773 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 0.773 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.773 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.773 * [taylor]: Taking taylor expansion of 1/3 in x 0.773 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.773 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.773 * [taylor]: Taking taylor expansion of -1 in x 0.773 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.774 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.774 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.774 * [taylor]: Taking taylor expansion of 1/9 in x 0.774 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.774 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 0.774 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 0.774 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 0.774 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 0.774 * [taylor]: Taking taylor expansion of 1/3 in x 0.774 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 0.774 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.774 * [taylor]: Taking taylor expansion of -1 in x 0.774 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 0.774 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 0.774 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 0.774 * [taylor]: Taking taylor expansion of 1/9 in x 0.774 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.774 * [taylor]: Taking taylor expansion of x in x 0.789 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 0.789 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 0.789 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.789 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.789 * [taylor]: Taking taylor expansion of 1/3 in x 0.789 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.789 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.789 * [taylor]: Taking taylor expansion of x in x 0.790 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.790 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.790 * [taylor]: Taking taylor expansion of 1/3 in x 0.790 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.790 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.790 * [taylor]: Taking taylor expansion of x in x 0.796 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 0.796 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.796 * [taylor]: Taking taylor expansion of 1/3 in x 0.796 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.796 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.796 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.796 * [taylor]: Taking taylor expansion of x in x 0.796 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.797 * [taylor]: Taking taylor expansion of 1/3 in x 0.797 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.797 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.797 * [taylor]: Taking taylor expansion of x in x 0.803 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0 0.804 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 0.804 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.804 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.804 * [taylor]: Taking taylor expansion of -1 in x 0.804 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.804 * [taylor]: Taking taylor expansion of 1/3 in x 0.804 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.804 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.804 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x 0.804 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.804 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.804 * [taylor]: Taking taylor expansion of -1 in x 0.804 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.804 * [taylor]: Taking taylor expansion of 1/3 in x 0.804 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.804 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.804 * [taylor]: Taking taylor expansion of x in x 0.815 * * * [progress]: simplifying candidates 0.817 * [simplify]: Simplifying using # : (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))) (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))) (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))) (+ 1 (+ (+ 1/3 1/3) 1/3)) (+ 1 (+ (* 2 1/3) 1/3)) (* x (* (* (cbrt x) (cbrt x)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (+ (log (cbrt x)) (+ (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x)))) (log (cbrt (cbrt x))))) (+ (log (cbrt x)) (+ (log (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (log (cbrt (cbrt x))))) (+ (log (cbrt x)) (log (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (log (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (exp (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (* x (* (* (cbrt x) (cbrt x)) (cbrt x))) (* x (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt x))) (* x (* (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (* (cbrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (cbrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))) (cbrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (* (* (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (sqrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (sqrt (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt (sqrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (sqrt (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt 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) (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/3 (+ (log 1) (* 2 (log x))))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))) 0.821 * * [simplify]: iteration 0 : 214 enodes (cost 600 ) 0.825 * * [simplify]: iteration 1 : 612 enodes (cost 533 ) 0.840 * * [simplify]: iteration 2 : 2703 enodes (cost 407 ) 0.905 * * [simplify]: iteration 3 : 5001 enodes (cost 299 ) 0.907 * [simplify]: Simplified to: (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) 2 2 (* x x) (pow (cbrt (cbrt x)) 6) (pow (cbrt (cbrt x)) 6) (pow (cbrt (cbrt x)) 6) (* 6 (log (cbrt (cbrt x)))) (* 6 (log (cbrt (cbrt x)))) (* 6 (log (cbrt (cbrt x)))) (* 6 (log (cbrt (cbrt x)))) (pow (exp (cbrt x)) (cbrt x)) (* x x) (* x x) (* x x) (pow (cbrt (cbrt x)) 4) (cbrt (* (cbrt x) (cbrt x))) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (pow (cbrt (cbrt x)) 4) (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 5) (pow (cbrt (cbrt x)) 4) (* (cbrt (sqrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (pow (cbrt (cbrt x)) 6) (pow (cbrt (cbrt x)) 4) (* (sqrt (cbrt x)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))) (pow (cbrt (cbrt x)) 6) (pow x 1/9) (pow x 1/9) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (pow x 1/9) (pow x 1/9) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (pow x 1/9) (pow x 1/9) (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x)))))) (pow x 2/3) (pow x 2/3) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))) 0.907 * * * [progress]: adding candidates to table 1.013 * * [progress]: iteration 4 / 4 1.013 * * * [progress]: picking best candidate 1.067 * * * * [pick]: Picked # 1.067 * * * [progress]: localizing error 1.090 * * * [progress]: generating rewritten candidates 1.090 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 2 1) 1.092 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 2 1 2 1) 1.093 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 2 1 1 1) 1.095 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2) 1.098 * * * [progress]: generating series expansions 1.098 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 2 1) 1.098 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.098 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.098 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.098 * [taylor]: Taking taylor expansion of 1/9 in x 1.098 * [taylor]: Taking taylor expansion of (log x) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.098 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.098 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.098 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.098 * [taylor]: Taking taylor expansion of 1/9 in x 1.098 * [taylor]: Taking taylor expansion of (log x) in x 1.098 * [taylor]: Taking taylor expansion of x in x 1.104 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.104 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.104 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.104 * [taylor]: Taking taylor expansion of 1/9 in x 1.104 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.104 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.104 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.104 * [taylor]: Taking taylor expansion of 1/9 in x 1.104 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.104 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.104 * [taylor]: Taking taylor expansion of x in x 1.110 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 1.110 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.110 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.111 * [taylor]: Taking taylor expansion of 1/3 in x 1.111 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.111 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.111 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.111 * [taylor]: Taking taylor expansion of 1/9 in x 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.111 * [taylor]: Taking taylor expansion of x in x 1.111 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.111 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.111 * [taylor]: Taking taylor expansion of 1/3 in x 1.111 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.111 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.111 * [taylor]: Taking taylor expansion of -1 in x 1.111 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.111 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.111 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.111 * [taylor]: Taking taylor expansion of 1/9 in x 1.111 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.111 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.112 * [taylor]: Taking taylor expansion of x in x 1.127 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 2 1 2 1) 1.127 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.127 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.127 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.127 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.127 * [taylor]: Taking taylor expansion of 1/9 in x 1.127 * [taylor]: Taking taylor expansion of (log x) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.127 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.127 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.127 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.127 * [taylor]: Taking taylor expansion of 1/9 in x 1.127 * [taylor]: Taking taylor expansion of (log x) in x 1.127 * [taylor]: Taking taylor expansion of x in x 1.133 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.133 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.133 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.133 * [taylor]: Taking taylor expansion of 1/9 in x 1.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.133 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.133 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.133 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.133 * [taylor]: Taking taylor expansion of 1/9 in x 1.133 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.133 * [taylor]: Taking taylor expansion of x in x 1.139 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 1.140 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.140 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.140 * [taylor]: Taking taylor expansion of 1/3 in x 1.140 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.140 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.140 * [taylor]: Taking taylor expansion of -1 in x 1.140 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.140 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.140 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.140 * [taylor]: Taking taylor expansion of 1/9 in x 1.140 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.140 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.140 * [taylor]: Taking taylor expansion of x in x 1.140 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.140 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.140 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.140 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.140 * [taylor]: Taking taylor expansion of 1/3 in x 1.140 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.140 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.140 * [taylor]: Taking taylor expansion of -1 in x 1.140 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.140 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.141 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.141 * [taylor]: Taking taylor expansion of 1/9 in x 1.141 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.141 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.141 * [taylor]: Taking taylor expansion of x in x 1.158 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 2 1 1 1) 1.158 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.158 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.159 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.159 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.159 * [taylor]: Taking taylor expansion of 1/9 in x 1.159 * [taylor]: Taking taylor expansion of (log x) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.159 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.159 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.159 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.159 * [taylor]: Taking taylor expansion of 1/9 in x 1.159 * [taylor]: Taking taylor expansion of (log x) in x 1.159 * [taylor]: Taking taylor expansion of x in x 1.164 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.165 * [taylor]: Taking taylor expansion of 1/9 in x 1.165 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.165 * [taylor]: Taking taylor expansion of x in x 1.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.165 * [taylor]: Taking taylor expansion of 1/9 in x 1.165 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.165 * [taylor]: Taking taylor expansion of x in x 1.171 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 1.171 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.171 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.171 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.171 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.171 * [taylor]: Taking taylor expansion of 1/3 in x 1.171 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.171 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.171 * [taylor]: Taking taylor expansion of -1 in x 1.171 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.171 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.171 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.171 * [taylor]: Taking taylor expansion of 1/9 in x 1.171 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.171 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.171 * [taylor]: Taking taylor expansion of x in x 1.172 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.172 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.172 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.172 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.172 * [taylor]: Taking taylor expansion of 1/3 in x 1.172 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.172 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.172 * [taylor]: Taking taylor expansion of -1 in x 1.172 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.172 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.172 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.172 * [taylor]: Taking taylor expansion of 1/9 in x 1.172 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.172 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.172 * [taylor]: Taking taylor expansion of x in x 1.187 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2) 1.187 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.187 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.187 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.188 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.188 * [taylor]: Taking taylor expansion of 1/9 in x 1.188 * [taylor]: Taking taylor expansion of (log x) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.188 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.188 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.188 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.188 * [taylor]: Taking taylor expansion of 1/9 in x 1.188 * [taylor]: Taking taylor expansion of (log x) in x 1.188 * [taylor]: Taking taylor expansion of x in x 1.193 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.194 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.194 * [taylor]: Taking taylor expansion of 1/9 in x 1.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.194 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.194 * [taylor]: Taking taylor expansion of 1/9 in x 1.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.194 * [taylor]: Taking taylor expansion of x in x 1.200 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0 1.200 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.200 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.200 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.200 * [taylor]: Taking taylor expansion of 1/3 in x 1.200 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.200 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.200 * [taylor]: Taking taylor expansion of -1 in x 1.200 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.200 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.200 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.200 * [taylor]: Taking taylor expansion of 1/9 in x 1.200 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.200 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.200 * [taylor]: Taking taylor expansion of x in x 1.201 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x 1.201 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.201 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.201 * [taylor]: Taking taylor expansion of 1/3 in x 1.201 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.201 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.201 * [taylor]: Taking taylor expansion of -1 in x 1.201 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.201 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.201 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.201 * [taylor]: Taking taylor expansion of 1/9 in x 1.201 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.201 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.201 * [taylor]: Taking taylor expansion of x in x 1.216 * * * [progress]: simplifying candidates 1.217 * [simplify]: Simplifying using # : (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))) (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))) (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))) (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))) (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) (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)))))) 1.220 * * [simplify]: iteration 0 : 74 enodes (cost 344 ) 1.222 * * [simplify]: iteration 1 : 124 enodes (cost 320 ) 1.224 * * [simplify]: iteration 2 : 265 enodes (cost 280 ) 1.229 * * [simplify]: iteration 3 : 806 enodes (cost 280 ) 1.253 * * [simplify]: iteration 4 : 4397 enodes (cost 264 ) 1.397 * * [simplify]: iteration 5 : 5001 enodes (cost 248 ) 1.399 * [simplify]: Simplified to: (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (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 x)))) (cbrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))) 1 (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))) (cbrt x) (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))) (pow x 1/9) (pow x 1/9) (/ (pow (cbrt -1) 1/3) (pow (/ -1 x) 1/9)) (pow x 1/9) (pow x 1/9) (/ (pow (cbrt -1) 1/3) (pow (/ -1 x) 1/9)) (pow x 1/9) (pow x 1/9) (/ (pow (cbrt -1) 1/3) (pow (/ -1 x) 1/9)) (pow x 1/9) (pow x 1/9) (/ (pow (cbrt -1) 1/3) (pow (/ -1 x) 1/9)) 1.400 * * * [progress]: adding candidates to table 1.496 * [progress]: [Phase 3 of 3] Extracting. 1.496 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # # #) 1.502 * * * [regime-changes]: Trying 2 branch expressions: ((- (cbrt (+ x 1.0)) (cbrt x)) x) 1.502 * * * * [regimes]: Trying to branch on (- (cbrt (+ x 1.0)) (cbrt x)) from (# # # # # # # # # # # # # # # # # # #) 1.595 * * * * [regimes]: Trying to branch on (- (cbrt (+ x 1.0)) (cbrt x)) from (# #) 1.626 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # # #) 1.717 * * * [regime]: Found split indices: #