8.584 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.026 * * * [progress]: [2/2] Setting up program. 0.029 * [progress]: [Phase 2 of 3] Improving. 0.029 * [simplify]: Simplifying using # : (- (cbrt (+ x 1.0)) (cbrt x)) 0.030 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.030 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.031 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.032 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.032 * [simplify]: Simplified to: (- (cbrt (+ x 1.0)) (cbrt x)) 0.033 * * [progress]: iteration 1 / 4 0.033 * * * [progress]: picking best candidate 0.035 * * * * [pick]: Picked # 0.035 * * * [progress]: localizing error 0.041 * * * [progress]: generating rewritten candidates 0.041 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.050 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.051 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.055 * * * [progress]: generating series expansions 0.055 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.055 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0 0.055 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.055 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.055 * [taylor]: Taking taylor expansion of 1/3 in x 0.055 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.055 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of 1.0 in x 0.056 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.056 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.056 * [taylor]: Taking taylor expansion of 1/3 in x 0.056 * [taylor]: Taking taylor expansion of (log x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.056 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.056 * [taylor]: Taking taylor expansion of 1/3 in x 0.056 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.056 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of 1.0 in x 0.056 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.056 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.056 * [taylor]: Taking taylor expansion of 1/3 in x 0.056 * [taylor]: Taking taylor expansion of (log x) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.060 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0 0.060 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.060 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.060 * [taylor]: Taking taylor expansion of 1/3 in x 0.060 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.060 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of 1.0 in x 0.060 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.060 * [taylor]: Taking taylor expansion of 1/3 in x 0.060 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.061 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.061 * [taylor]: Taking taylor expansion of 1/3 in x 0.061 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.061 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.061 * [taylor]: Taking taylor expansion of 1.0 in x 0.061 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.061 * [taylor]: Taking taylor expansion of 1/3 in x 0.061 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.061 * [taylor]: Taking taylor expansion of x in x 0.066 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in (x) around 0 0.066 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.066 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.066 * [taylor]: Taking taylor expansion of 1/3 in x 0.066 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.066 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of 1.0 in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.066 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.066 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.066 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.066 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.066 * [taylor]: Taking taylor expansion of 1/3 in x 0.066 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.066 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.066 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.067 * [taylor]: Taking taylor expansion of -1 in x 0.067 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.067 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.067 * [taylor]: Taking taylor expansion of 1/3 in x 0.067 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.067 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of 1.0 in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.067 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.067 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.067 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.067 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.067 * [taylor]: Taking taylor expansion of 1/3 in x 0.067 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.067 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.067 * [taylor]: Taking taylor expansion of x in x 0.068 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.068 * [taylor]: Taking taylor expansion of -1 in x 0.072 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.072 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.072 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.072 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.072 * [taylor]: Taking taylor expansion of 1/3 in x 0.072 * [taylor]: Taking taylor expansion of (log x) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.072 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.072 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.072 * [taylor]: Taking taylor expansion of 1/3 in x 0.072 * [taylor]: Taking taylor expansion of (log x) in x 0.072 * [taylor]: Taking taylor expansion of x in x 0.079 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.079 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.079 * [taylor]: Taking taylor expansion of 1/3 in x 0.079 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.079 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.079 * [taylor]: Taking taylor expansion of x in x 0.079 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.080 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.080 * [taylor]: Taking taylor expansion of 1/3 in x 0.080 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.080 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.080 * [taylor]: Taking taylor expansion of x in x 0.087 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.087 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.087 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.087 * [taylor]: Taking taylor expansion of 1/3 in x 0.087 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.087 * [taylor]: Taking taylor expansion of -1 in x 0.087 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.087 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.087 * [taylor]: Taking taylor expansion of 1/3 in x 0.087 * [taylor]: Taking taylor expansion of (log (/ 1 x)) 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 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.088 * [taylor]: Taking taylor expansion of -1 in x 0.096 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.096 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 0.096 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.096 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.096 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.096 * [taylor]: Taking taylor expansion of 1/3 in x 0.096 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.096 * [taylor]: Taking taylor expansion of (+ x 1.0) 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 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.097 * [taylor]: Taking taylor expansion of 1/3 in x 0.097 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.097 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.097 * [taylor]: Taking taylor expansion of x in x 0.097 * [taylor]: Taking taylor expansion of 1.0 in x 0.098 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 0.098 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.098 * [taylor]: Taking taylor expansion of 1/3 in x 0.098 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.098 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 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.098 * [taylor]: Taking taylor expansion of 1.0 in x 0.099 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.099 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.099 * [taylor]: Taking taylor expansion of 1/3 in x 0.099 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.099 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.099 * [taylor]: Taking taylor expansion of x in x 0.099 * [taylor]: Taking taylor expansion of 1.0 in x 0.101 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 0.101 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.101 * [taylor]: Taking taylor expansion of 1/3 in x 0.101 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.101 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.101 * [taylor]: Taking taylor expansion of 1.0 in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.101 * [taylor]: Taking taylor expansion of 1/3 in x 0.101 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.101 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.101 * [taylor]: Taking taylor expansion of 1.0 in x 0.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.103 * * * [progress]: simplifying candidates 0.104 * [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.111 * * [simplify]: iteration 0 : 133 enodes (cost 716 ) 0.129 * * [simplify]: iteration 1 : 292 enodes (cost 651 ) 0.173 * * [simplify]: iteration 2 : 739 enodes (cost 604 ) 0.297 * * [simplify]: iteration 3 : 1931 enodes (cost 527 ) 0.690 * * [simplify]: iteration done : 5000 enodes (cost 518 ) 0.691 * [simplify]: Simplified to: (exp (- (cbrt (+ x 1.0)) (cbrt x))) (log (- (cbrt (+ x 1.0)) (cbrt x))) (exp (- (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (+ 0 1.0) (+ (* (cbrt x) (cbrt x)) (* (+ (cbrt (+ x 1.0)) (cbrt x)) (cbrt (+ x 1.0)))) (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 (+ (* x x) (* 1.0 (- 1.0 x)))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (+ (- (* (* (cbrt (/ 1 (pow 1.0 5))) (pow x 2)) -1/6) (cbrt x)) (* (cbrt 1.0) (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))))) (* (/ (cbrt x) x) (+ (/ 0.06172839506172839 (* x x)) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (cbrt (exp (neg (log (/ -1 x))))) (- (exp (* 1/3 (log -1))) (cbrt -1))) (* (/ (cbrt (exp (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (cbrt x) (cbrt x) (* (cbrt (exp (neg (log (/ -1 x))))) (cbrt -1)) (+ (* (cbrt 1.0) (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x))))) (* (* (cbrt (/ 1 (pow 1.0 5))) (pow x 2)) -1/6)) (+ (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (cbrt x)) (+ (* (/ (cbrt (exp (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (cbrt (exp (- (log -1) (log (/ -1 x)))))) 0.691 * * * [progress]: adding candidates to table 0.780 * * [progress]: iteration 2 / 4 0.780 * * * [progress]: picking best candidate 0.793 * * * * [pick]: Picked # 0.793 * * * [progress]: localizing error 0.809 * * * [progress]: generating rewritten candidates 0.809 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2) 0.810 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 0.812 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 0.813 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 0.821 * * * [progress]: generating series expansions 0.821 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2) 0.821 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.821 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.821 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.821 * [taylor]: Taking taylor expansion of 1/3 in x 0.821 * [taylor]: Taking taylor expansion of (log x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.821 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.821 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.821 * [taylor]: Taking taylor expansion of 1/3 in x 0.821 * [taylor]: Taking taylor expansion of (log x) in x 0.821 * [taylor]: Taking taylor expansion of x in x 0.828 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.828 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.828 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.828 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.828 * [taylor]: Taking taylor expansion of 1/3 in x 0.828 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.828 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.828 * [taylor]: Taking taylor expansion of x in x 0.829 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.829 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.829 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.829 * [taylor]: Taking taylor expansion of 1/3 in x 0.829 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.829 * [taylor]: Taking taylor expansion of x in x 0.836 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.836 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.836 * [taylor]: Taking taylor expansion of 1/3 in x 0.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.836 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.836 * [taylor]: Taking taylor expansion of -1 in x 0.836 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.836 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.836 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.836 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.836 * [taylor]: Taking taylor expansion of 1/3 in x 0.836 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.836 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.836 * [taylor]: Taking taylor expansion of x in x 0.837 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.837 * [taylor]: Taking taylor expansion of -1 in x 0.845 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 0.845 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.845 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.845 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.845 * [taylor]: Taking taylor expansion of 1/3 in x 0.845 * [taylor]: Taking taylor expansion of (log x) in x 0.845 * [taylor]: Taking taylor expansion of x in x 0.846 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.846 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.846 * [taylor]: Taking taylor expansion of 1/3 in x 0.846 * [taylor]: Taking taylor expansion of (log x) in x 0.846 * [taylor]: Taking taylor expansion of x in x 0.852 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.852 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.852 * [taylor]: Taking taylor expansion of 1/3 in x 0.852 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.852 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.852 * [taylor]: Taking taylor expansion of x in x 0.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.853 * [taylor]: Taking taylor expansion of 1/3 in x 0.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.853 * [taylor]: Taking taylor expansion of x in x 0.860 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.860 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.860 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.860 * [taylor]: Taking taylor expansion of 1/3 in x 0.860 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.860 * [taylor]: Taking taylor expansion of x in x 0.860 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.860 * [taylor]: Taking taylor expansion of -1 in x 0.860 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.860 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.860 * [taylor]: Taking taylor expansion of 1/3 in x 0.860 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.860 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.861 * [taylor]: Taking taylor expansion of x in x 0.861 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.861 * [taylor]: Taking taylor expansion of -1 in x 0.870 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 0.870 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.870 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.870 * [taylor]: Taking taylor expansion of 1/3 in x 0.870 * [taylor]: Taking taylor expansion of (log x) in x 0.870 * [taylor]: Taking taylor expansion of x in x 0.870 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.870 * [taylor]: Taking taylor expansion of 1/3 in x 0.870 * [taylor]: Taking taylor expansion of (log x) in x 0.870 * [taylor]: Taking taylor expansion of x in x 0.877 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.877 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.878 * [taylor]: Taking taylor expansion of 1/3 in x 0.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.878 * [taylor]: Taking taylor expansion of 1/3 in x 0.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.878 * [taylor]: Taking taylor expansion of x in x 0.885 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.885 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.885 * [taylor]: Taking taylor expansion of 1/3 in x 0.885 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.885 * [taylor]: Taking taylor expansion of x in x 0.885 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.885 * [taylor]: Taking taylor expansion of -1 in x 0.885 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.886 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.886 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.886 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.886 * [taylor]: Taking taylor expansion of 1/3 in x 0.886 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.886 * [taylor]: Taking taylor expansion of x in x 0.886 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.886 * [taylor]: Taking taylor expansion of -1 in x 0.894 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 0.895 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 0.895 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.895 * [taylor]: Taking taylor expansion of 1/3 in x 0.895 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.895 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.895 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 0.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 0.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 0.895 * [taylor]: Taking taylor expansion of 1/3 in x 0.895 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 0.895 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.895 * [taylor]: Taking taylor expansion of x in x 0.906 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 0.906 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.906 * [taylor]: Taking taylor expansion of 1/3 in x 0.906 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.906 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.906 * [taylor]: Taking taylor expansion of x in x 0.906 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.906 * [taylor]: Taking taylor expansion of 1/3 in x 0.906 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.906 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.906 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.906 * [taylor]: Taking taylor expansion of x in x 0.914 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 0.914 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 0.914 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.914 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.914 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.914 * [taylor]: Taking taylor expansion of 1/3 in x 0.914 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.914 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.914 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.914 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.915 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.915 * [taylor]: Taking taylor expansion of -1 in x 0.915 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 0.915 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 0.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 0.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 0.915 * [taylor]: Taking taylor expansion of 1/3 in x 0.915 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 0.915 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 0.915 * [taylor]: Taking taylor expansion of (pow x 2) in x 0.915 * [taylor]: Taking taylor expansion of x in x 0.915 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 0.915 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.915 * [taylor]: Taking taylor expansion of -1 in x 0.926 * * * [progress]: simplifying candidates 0.927 * [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.930 * * [simplify]: iteration 0 : 76 enodes (cost 590 ) 0.939 * * [simplify]: iteration 1 : 151 enodes (cost 526 ) 0.960 * * [simplify]: iteration 2 : 449 enodes (cost 466 ) 1.052 * * [simplify]: iteration 3 : 1164 enodes (cost 417 ) 1.235 * * [simplify]: iteration 4 : 2497 enodes (cost 378 ) 1.648 * * [simplify]: iteration done : 5001 enodes (cost 378 ) 1.649 * [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 (pow x 2/3)) (log (pow x 2/3)) (exp (pow x 2/3)) (* x x) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (cbrt (pow x 2/3)) (* x x) (fabs (cbrt x)) (fabs (cbrt x)) (* (cbrt (pow x 2/3)) (cbrt (pow x 2/3))) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) 1 (pow x 2/3) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 1 (pow x 2/3) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (* (sqrt (cbrt x)) (cbrt (sqrt x))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (pow x 2/3))) (* (cbrt (sqrt x)) (cbrt x)) (cbrt x) (* (cbrt (cbrt x)) (pow (cbrt (cbrt x)) 4)) (pow (sqrt (cbrt x)) 3) (cbrt x) (pow (cbrt (cbrt x)) 4) (* (cbrt (sqrt x)) (cbrt 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.649 * * * [progress]: adding candidates to table 1.772 * * [progress]: iteration 3 / 4 1.772 * * * [progress]: picking best candidate 1.798 * * * * [pick]: Picked # 1.798 * * * [progress]: localizing error 1.816 * * * [progress]: generating rewritten candidates 1.816 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 1.821 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1) 1.822 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 1.827 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 1.829 * * * [progress]: generating series expansions 1.829 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 1.830 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0 1.830 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 1.830 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.830 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.830 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.830 * [taylor]: Taking taylor expansion of 1/9 in x 1.830 * [taylor]: Taking taylor expansion of (log x) in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.830 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 1.830 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.830 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.830 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.830 * [taylor]: Taking taylor expansion of 1/9 in x 1.830 * [taylor]: Taking taylor expansion of (log x) in x 1.830 * [taylor]: Taking taylor expansion of x in x 1.839 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0 1.839 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 1.839 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.839 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.839 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.839 * [taylor]: Taking taylor expansion of 1/9 in x 1.839 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.839 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.839 * [taylor]: Taking taylor expansion of x in x 1.839 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 1.839 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.839 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.839 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.840 * [taylor]: Taking taylor expansion of 1/9 in x 1.840 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.840 * [taylor]: Taking taylor expansion of x in x 1.849 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in (x) around 0 1.849 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 1.849 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.849 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.849 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.849 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.849 * [taylor]: Taking taylor expansion of 1/9 in x 1.849 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.849 * [taylor]: Taking taylor expansion of x in x 1.850 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.850 * [taylor]: Taking taylor expansion of 1/3 in x 1.850 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.850 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.850 * [taylor]: Taking taylor expansion of -1 in x 1.850 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 1.850 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.850 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.850 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.850 * [taylor]: Taking taylor expansion of 1/9 in x 1.850 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.850 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.850 * [taylor]: Taking taylor expansion of x in x 1.850 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.850 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.851 * [taylor]: Taking taylor expansion of 1/3 in x 1.851 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.851 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.851 * [taylor]: Taking taylor expansion of -1 in x 1.875 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1) 1.875 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 1.875 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.875 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.875 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.875 * [taylor]: Taking taylor expansion of 1/9 in x 1.876 * [taylor]: Taking taylor expansion of (log x) in x 1.876 * [taylor]: Taking taylor expansion of x in x 1.876 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 1.876 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 1.876 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 1.876 * [taylor]: Taking taylor expansion of 1/9 in x 1.876 * [taylor]: Taking taylor expansion of (log x) in x 1.876 * [taylor]: Taking taylor expansion of x in x 1.885 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 1.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.886 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.886 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.886 * [taylor]: Taking taylor expansion of 1/9 in x 1.886 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.886 * [taylor]: Taking taylor expansion of x in x 1.886 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.886 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.886 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.886 * [taylor]: Taking taylor expansion of 1/9 in x 1.886 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.886 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.886 * [taylor]: Taking taylor expansion of x in x 1.893 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 1.893 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.893 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.893 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.893 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.893 * [taylor]: Taking taylor expansion of 1/9 in x 1.893 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.893 * [taylor]: Taking taylor expansion of x in x 1.894 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.894 * [taylor]: Taking taylor expansion of 1/3 in x 1.894 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.894 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.894 * [taylor]: Taking taylor expansion of -1 in x 1.894 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 1.894 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 1.894 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 1.894 * [taylor]: Taking taylor expansion of 1/9 in x 1.894 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.894 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.894 * [taylor]: Taking taylor expansion of x in x 1.894 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 1.894 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 1.894 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 1.894 * [taylor]: Taking taylor expansion of 1/3 in x 1.894 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 1.894 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.894 * [taylor]: Taking taylor expansion of -1 in x 1.912 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 1.912 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 1.912 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 1.912 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 1.912 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 1.912 * [taylor]: Taking taylor expansion of 1/9 in x 1.912 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.912 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.912 * [taylor]: Taking taylor expansion of x in x 1.913 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 1.913 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 1.913 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 1.913 * [taylor]: Taking taylor expansion of 1/9 in x 1.913 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 1.913 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.913 * [taylor]: Taking taylor expansion of x in x 1.920 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 1.920 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 1.920 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 1.920 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 1.920 * [taylor]: Taking taylor expansion of 1/9 in x 1.920 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.920 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.920 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.920 * [taylor]: Taking taylor expansion of x in x 1.920 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 1.920 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 1.920 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 1.920 * [taylor]: Taking taylor expansion of 1/9 in x 1.921 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.921 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.921 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.921 * [taylor]: Taking taylor expansion of x in x 1.928 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 1.928 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 1.928 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 1.928 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 1.928 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 1.928 * [taylor]: Taking taylor expansion of 1/9 in x 1.928 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.928 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.928 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.928 * [taylor]: Taking taylor expansion of x in x 1.929 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 1.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 1.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 1.929 * [taylor]: Taking taylor expansion of 1/3 in x 1.929 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 1.929 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.929 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.929 * [taylor]: Taking taylor expansion of -1 in x 1.929 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 1.929 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 1.929 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 1.929 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 1.929 * [taylor]: Taking taylor expansion of 1/9 in x 1.929 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 1.929 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 1.929 * [taylor]: Taking taylor expansion of (pow x 2) in x 1.929 * [taylor]: Taking taylor expansion of x in x 1.930 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 1.930 * [taylor]: Taking taylor expansion of 1/3 in x 1.930 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 1.930 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 1.930 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.930 * [taylor]: Taking taylor expansion of -1 in x 1.951 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 1.951 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 1.951 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.951 * [taylor]: Taking taylor expansion of 1/3 in x 1.951 * [taylor]: Taking taylor expansion of (log x) in x 1.951 * [taylor]: Taking taylor expansion of x in x 1.951 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 1.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 1.951 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 1.951 * [taylor]: Taking taylor expansion of 1/3 in x 1.951 * [taylor]: Taking taylor expansion of (log x) in x 1.951 * [taylor]: Taking taylor expansion of x in x 1.958 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 1.958 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.958 * [taylor]: Taking taylor expansion of 1/3 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 (/ 1 x) 1/3) in x 1.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.958 * [taylor]: Taking taylor expansion of 1/3 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.966 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 1.966 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 1.966 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.966 * [taylor]: Taking taylor expansion of 1/3 in x 1.966 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.966 * [taylor]: Taking taylor expansion of x in x 1.966 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.966 * [taylor]: Taking taylor expansion of -1 in x 1.967 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 1.967 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 1.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 1.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 1.967 * [taylor]: Taking taylor expansion of 1/3 in x 1.967 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 1.967 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1.967 * [taylor]: Taking taylor expansion of x in x 1.967 * [taylor]: Taking taylor expansion of (cbrt -1) in x 1.967 * [taylor]: Taking taylor expansion of -1 in x 1.976 * * * [progress]: simplifying candidates 1.977 * [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)) 1.983 * * [simplify]: iteration 0 : 111 enodes (cost 584 ) 1.997 * * [simplify]: iteration 1 : 241 enodes (cost 541 ) 2.026 * * [simplify]: iteration 2 : 570 enodes (cost 468 ) 2.121 * * [simplify]: iteration 3 : 1648 enodes (cost 427 ) 2.670 * * [simplify]: iteration done : 5000 enodes (cost 422 ) 2.670 * [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.671 * * * [progress]: adding candidates to table 2.806 * * [progress]: iteration 4 / 4 2.806 * * * [progress]: picking best candidate 2.870 * * * * [pick]: Picked # 2.870 * * * [progress]: localizing error 2.893 * * * [progress]: generating rewritten candidates 2.893 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2) 2.897 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2 2) 2.899 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 2.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2 1) 2.907 * * * [progress]: generating series expansions 2.907 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2) 2.907 * [approximate]: Taking taylor expansion of (pow (pow x 1/9) 4) in (x) around 0 2.907 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 2.907 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.907 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.907 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.907 * [taylor]: Taking taylor expansion of 1/9 in x 2.907 * [taylor]: Taking taylor expansion of (log x) in x 2.907 * [taylor]: Taking taylor expansion of x in x 2.908 * [taylor]: Taking taylor expansion of (pow (pow x 1/9) 4) in x 2.908 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.908 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.908 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.908 * [taylor]: Taking taylor expansion of 1/9 in x 2.908 * [taylor]: Taking taylor expansion of (log x) in x 2.908 * [taylor]: Taking taylor expansion of x in x 2.917 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in (x) around 0 2.917 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 2.917 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.917 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.917 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.917 * [taylor]: Taking taylor expansion of 1/9 in x 2.917 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.917 * [taylor]: Taking taylor expansion of x in x 2.918 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/9) 4) in x 2.918 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.918 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.918 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.918 * [taylor]: Taking taylor expansion of 1/9 in x 2.918 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.918 * [taylor]: Taking taylor expansion of x in x 2.928 * [approximate]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in (x) around 0 2.928 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 2.928 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.928 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.928 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.928 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.928 * [taylor]: Taking taylor expansion of 1/9 in x 2.928 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.928 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.928 * [taylor]: Taking taylor expansion of x in x 2.928 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.928 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.928 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.928 * [taylor]: Taking taylor expansion of 1/3 in x 2.928 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.928 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.928 * [taylor]: Taking taylor expansion of -1 in x 2.929 * [taylor]: Taking taylor expansion of (pow (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) 4) in x 2.929 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.929 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.929 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.929 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.929 * [taylor]: Taking taylor expansion of 1/9 in x 2.929 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.929 * [taylor]: Taking taylor expansion of x in x 2.929 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.929 * [taylor]: Taking taylor expansion of 1/3 in x 2.929 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.929 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.929 * [taylor]: Taking taylor expansion of -1 in x 2.953 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2 2) 2.953 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.954 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.954 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.954 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.954 * [taylor]: Taking taylor expansion of 1/9 in x 2.954 * [taylor]: Taking taylor expansion of (log x) in x 2.954 * [taylor]: Taking taylor expansion of x in x 2.954 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.954 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.954 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.954 * [taylor]: Taking taylor expansion of 1/9 in x 2.954 * [taylor]: Taking taylor expansion of (log x) in x 2.954 * [taylor]: Taking taylor expansion of x in x 2.961 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.961 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.961 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.961 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.961 * [taylor]: Taking taylor expansion of 1/9 in x 2.961 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.961 * [taylor]: Taking taylor expansion of x in x 2.961 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.961 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.961 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.961 * [taylor]: Taking taylor expansion of 1/9 in x 2.961 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.961 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.961 * [taylor]: Taking taylor expansion of x in x 2.968 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 2.968 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.968 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.968 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.968 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.968 * [taylor]: Taking taylor expansion of 1/9 in x 2.968 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.968 * [taylor]: Taking taylor expansion of x in x 2.969 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.969 * [taylor]: Taking taylor expansion of 1/3 in x 2.969 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.969 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.969 * [taylor]: Taking taylor expansion of -1 in x 2.969 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 2.969 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.969 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.969 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.969 * [taylor]: Taking taylor expansion of 1/9 in x 2.969 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.969 * [taylor]: Taking taylor expansion of x in x 2.969 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 2.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 2.969 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 2.969 * [taylor]: Taking taylor expansion of 1/3 in x 2.969 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 2.969 * [taylor]: Taking taylor expansion of (cbrt -1) in x 2.969 * [taylor]: Taking taylor expansion of -1 in x 2.991 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 2.991 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0 2.991 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.991 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.991 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.991 * [taylor]: Taking taylor expansion of 1/9 in x 2.991 * [taylor]: Taking taylor expansion of (log x) in x 2.991 * [taylor]: Taking taylor expansion of x in x 2.991 * [taylor]: Taking taylor expansion of (pow x 1/9) in x 2.991 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x 2.991 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x 2.991 * [taylor]: Taking taylor expansion of 1/9 in x 2.991 * [taylor]: Taking taylor expansion of (log x) in x 2.991 * [taylor]: Taking taylor expansion of x in x 2.998 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0 2.998 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.998 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.998 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.998 * [taylor]: Taking taylor expansion of 1/9 in x 2.998 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.998 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.998 * [taylor]: Taking taylor expansion of x in x 2.998 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 2.998 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 2.998 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 2.998 * [taylor]: Taking taylor expansion of 1/9 in x 2.998 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 2.999 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.999 * [taylor]: Taking taylor expansion of x in x 3.006 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in (x) around 0 3.006 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 3.006 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.006 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.006 * [taylor]: Taking taylor expansion of 1/9 in x 3.006 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.006 * [taylor]: Taking taylor expansion of x in x 3.006 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.006 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.006 * [taylor]: Taking taylor expansion of 1/3 in x 3.006 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.006 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.006 * [taylor]: Taking taylor expansion of -1 in x 3.006 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/9) (pow (cbrt -1) 1/3)) in x 3.006 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x 3.006 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x 3.006 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x 3.006 * [taylor]: Taking taylor expansion of 1/9 in x 3.006 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 3.006 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.006 * [taylor]: Taking taylor expansion of x in x 3.007 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x 3.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x 3.007 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x 3.007 * [taylor]: Taking taylor expansion of 1/3 in x 3.007 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x 3.007 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.007 * [taylor]: Taking taylor expansion of -1 in x 3.024 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2 1) 3.024 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 3.024 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 3.025 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 3.025 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 3.025 * [taylor]: Taking taylor expansion of 1/9 in x 3.025 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 3.025 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.025 * [taylor]: Taking taylor expansion of x in x 3.025 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 3.025 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 3.025 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 3.025 * [taylor]: Taking taylor expansion of 1/9 in x 3.025 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 3.025 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.025 * [taylor]: Taking taylor expansion of x in x 3.032 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 3.032 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 3.032 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 3.032 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 3.033 * [taylor]: Taking taylor expansion of 1/9 in x 3.033 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 3.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.033 * [taylor]: Taking taylor expansion of x in x 3.033 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 3.033 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 3.033 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 3.033 * [taylor]: Taking taylor expansion of 1/9 in x 3.033 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 3.033 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.033 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.033 * [taylor]: Taking taylor expansion of x in x 3.041 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 3.041 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 3.041 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 3.041 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 3.041 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 3.041 * [taylor]: Taking taylor expansion of 1/9 in x 3.041 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 3.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.041 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.041 * [taylor]: Taking taylor expansion of x in x 3.041 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 3.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 3.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 3.041 * [taylor]: Taking taylor expansion of 1/3 in x 3.041 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 3.041 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 3.041 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.041 * [taylor]: Taking taylor expansion of -1 in x 3.042 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 3.042 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 3.042 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 3.042 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 3.042 * [taylor]: Taking taylor expansion of 1/9 in x 3.042 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 3.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 3.042 * [taylor]: Taking taylor expansion of (pow x 2) in x 3.042 * [taylor]: Taking taylor expansion of x in x 3.042 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 3.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 3.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 3.042 * [taylor]: Taking taylor expansion of 1/3 in x 3.042 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 3.042 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 3.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x 3.042 * [taylor]: Taking taylor expansion of -1 in x 3.064 * * * [progress]: simplifying candidates 3.065 * [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))) (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)))) (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))))))) 3.068 * * [simplify]: iteration 0 : 101 enodes (cost 627 ) 3.084 * * [simplify]: iteration 1 : 216 enodes (cost 582 ) 3.110 * * [simplify]: iteration 2 : 520 enodes (cost 503 ) 3.199 * * [simplify]: iteration 3 : 1552 enodes (cost 468 ) 3.844 * * [simplify]: iteration done : 5001 enodes (cost 463 ) 3.844 * [simplify]: Simplified to: (* (log (cbrt (cbrt x))) 4) (* (log (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 (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 (pow (cbrt (cbrt x)) 4) 3) (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))) (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)))) (pow (pow x 1/9) 4) (pow (pow x 1/9) 4) (* (cbrt (pow (cbrt -1) 4)) (pow (pow (/ -1 x) -2) 2/9)) (pow x 1/9) (pow x 1/9) (* (cbrt (cbrt -1)) (pow (exp 1/9) (neg (log (/ -1 x))))) (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) (* (cbrt (pow (cbrt -1) 2)) (pow (pow (/ -1 x) -2) 1/9)) 3.845 * * * [progress]: adding candidates to table 3.979 * [progress]: [Phase 3 of 3] Extracting. 3.979 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # # # # # # #) 3.985 * * * [regime-changes]: Trying 1 branch expressions: (x) 3.985 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # # # # # # #) 4.080 * * * [regime]: Found split indices: #