324.618 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (- (cbrt (+ x 1.0)) (cbrt x)) 0.032 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.032 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 0.033 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 0.034 * * [simplify]: iteration done : 10 enodes (cost 7 ) 0.034 * [simplify]: Simplified to: (- (cbrt (+ x 1.0)) (cbrt x)) 0.035 * * [progress]: iteration 1 / 4 0.035 * * * [progress]: picking best candidate 0.037 * * * * [pick]: Picked # 0.037 * * * [progress]: localizing error 0.044 * * * [progress]: generating rewritten candidates 0.044 * * * * [progress]: [ 1 / 3 ] rewriting at (2) 0.053 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2) 0.054 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 0.058 * * * [progress]: generating series expansions 0.058 * * * * [progress]: [ 1 / 3 ] generating series at (2) 0.058 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0 0.059 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.059 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.059 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of 1.0 in x 0.059 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x 0.059 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.059 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.059 * [taylor]: Taking taylor expansion of 1.0 in x 0.059 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.059 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.059 * [taylor]: Taking taylor expansion of 1/3 in x 0.059 * [taylor]: Taking taylor expansion of (log x) in x 0.059 * [taylor]: Taking taylor expansion of x in x 0.063 * [approximate]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0 0.063 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.063 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.063 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.063 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of (- (pow (+ (/ 1 x) 1.0) 1/3) (pow (/ 1 x) 1/3)) in x 0.063 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.063 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.063 * [taylor]: Taking taylor expansion of 1/3 in x 0.063 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.063 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.063 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.063 * [taylor]: Taking taylor expansion of x in x 0.063 * [taylor]: Taking taylor expansion of 1.0 in x 0.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.064 * [taylor]: Taking taylor expansion of 1/3 in x 0.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.064 * [taylor]: Taking taylor expansion of x in x 0.069 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in (x) around 0 0.069 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.069 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.070 * [taylor]: Taking taylor expansion of 1/3 in x 0.070 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.070 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of 1.0 in x 0.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.070 * [taylor]: Taking taylor expansion of x in x 0.070 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) 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.070 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.070 * [taylor]: Taking taylor expansion of -1 in x 0.070 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (pow (/ 1 x) 1/3) (cbrt -1))) in x 0.070 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.070 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.070 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.070 * [taylor]: Taking taylor expansion of 1/3 in x 0.070 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.070 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.070 * [taylor]: Taking taylor expansion of 1.0 in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.071 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.071 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.071 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.071 * [taylor]: Taking taylor expansion of 1/3 in x 0.071 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.071 * [taylor]: Taking taylor expansion of x in x 0.071 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.071 * [taylor]: Taking taylor expansion of -1 in x 0.075 * * * * [progress]: [ 2 / 3 ] generating series at (2 2) 0.075 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 0.075 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.075 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.075 * [taylor]: Taking taylor expansion of 1/3 in x 0.075 * [taylor]: Taking taylor expansion of (log x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.075 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 0.075 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 0.075 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 0.075 * [taylor]: Taking taylor expansion of 1/3 in x 0.075 * [taylor]: Taking taylor expansion of (log x) in x 0.075 * [taylor]: Taking taylor expansion of x in x 0.082 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 0.082 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.082 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.082 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.082 * [taylor]: Taking taylor expansion of 1/3 in x 0.082 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.082 * [taylor]: Taking taylor expansion of x in x 0.083 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.083 * [taylor]: Taking taylor expansion of 1/3 in x 0.083 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.083 * [taylor]: Taking taylor expansion of x in x 0.090 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 0.090 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.090 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.090 * [taylor]: Taking taylor expansion of 1/3 in x 0.090 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.091 * [taylor]: Taking taylor expansion of -1 in x 0.091 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 0.091 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 0.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 0.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 0.091 * [taylor]: Taking taylor expansion of 1/3 in x 0.091 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.091 * [taylor]: Taking taylor expansion of x in x 0.091 * [taylor]: Taking taylor expansion of (cbrt -1) in x 0.091 * [taylor]: Taking taylor expansion of -1 in x 0.100 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 0.100 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0 0.100 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.100 * [taylor]: Taking taylor expansion of 1/3 in x 0.100 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.100 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.100 * [taylor]: Taking taylor expansion of x in x 0.100 * [taylor]: Taking taylor expansion of 1.0 in x 0.100 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x 0.100 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x 0.100 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x 0.100 * [taylor]: Taking taylor expansion of 1/3 in x 0.100 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x 0.100 * [taylor]: Taking taylor expansion of (+ x 1.0) in x 0.101 * [taylor]: Taking taylor expansion of x in x 0.101 * [taylor]: Taking taylor expansion of 1.0 in x 0.102 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in (x) around 0 0.102 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.102 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.102 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.102 * [taylor]: Taking taylor expansion of 1/3 in x 0.102 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.102 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.102 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.102 * [taylor]: Taking taylor expansion of x in x 0.102 * [taylor]: Taking taylor expansion of 1.0 in x 0.103 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) 1.0) 1/3) in x 0.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) 1.0)))) in x 0.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) 1.0))) in x 0.103 * [taylor]: Taking taylor expansion of 1/3 in x 0.103 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) 1.0)) in x 0.103 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1.0) in x 0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.103 * [taylor]: Taking taylor expansion of x in x 0.103 * [taylor]: Taking taylor expansion of 1.0 in x 0.105 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0 0.105 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.105 * [taylor]: Taking taylor expansion of 1/3 in x 0.105 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.105 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.105 * [taylor]: Taking taylor expansion of 1.0 in x 0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.105 * [taylor]: Taking taylor expansion of x in x 0.105 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x 0.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x 0.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x 0.105 * [taylor]: Taking taylor expansion of 1/3 in x 0.105 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x 0.105 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x 0.106 * [taylor]: Taking taylor expansion of 1.0 in x 0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.106 * [taylor]: Taking taylor expansion of x in x 0.107 * * * [progress]: simplifying candidates 0.108 * [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.109 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.110 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 0.111 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 0.112 * * [simplify]: iteration 3 : 16 enodes (cost 8 ) 0.119 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 0.121 * * [simplify]: iteration 5 : 25 enodes (cost 8 ) 0.124 * * [simplify]: iteration 6 : 29 enodes (cost 8 ) 0.128 * * [simplify]: iteration 7 : 45 enodes (cost 8 ) 0.133 * * [simplify]: iteration 8 : 49 enodes (cost 8 ) 0.138 * * [simplify]: iteration 9 : 54 enodes (cost 8 ) 0.145 * * [simplify]: iteration 10 : 61 enodes (cost 8 ) 0.152 * * [simplify]: iteration 11 : 80 enodes (cost 8 ) 0.163 * * [simplify]: iteration 12 : 101 enodes (cost 8 ) 0.181 * * [simplify]: iteration 13 : 113 enodes (cost 8 ) 0.196 * * [simplify]: iteration 14 : 116 enodes (cost 8 ) 0.209 * * [simplify]: iteration done : 116 enodes (cost 8 ) 0.209 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.210 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.211 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 0.212 * * [simplify]: iteration done : 11 enodes (cost 8 ) 0.213 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.214 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.215 * * [simplify]: iteration 2 : 16 enodes (cost 8 ) 0.217 * * [simplify]: iteration 3 : 19 enodes (cost 8 ) 0.219 * * [simplify]: iteration 4 : 25 enodes (cost 8 ) 0.221 * * [simplify]: iteration 5 : 29 enodes (cost 8 ) 0.225 * * [simplify]: iteration 6 : 45 enodes (cost 8 ) 0.230 * * [simplify]: iteration 7 : 49 enodes (cost 8 ) 0.239 * * [simplify]: iteration 8 : 54 enodes (cost 8 ) 0.245 * * [simplify]: iteration 9 : 61 enodes (cost 8 ) 0.253 * * [simplify]: iteration 10 : 79 enodes (cost 8 ) 0.263 * * [simplify]: iteration 11 : 100 enodes (cost 8 ) 0.277 * * [simplify]: iteration 12 : 113 enodes (cost 8 ) 0.291 * * [simplify]: iteration 13 : 116 enodes (cost 8 ) 0.308 * * [simplify]: iteration done : 116 enodes (cost 8 ) 0.309 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 0.310 * * [simplify]: iteration 1 : 11 enodes (cost 17 ) 0.311 * * [simplify]: iteration 2 : 12 enodes (cost 17 ) 0.312 * * [simplify]: iteration done : 12 enodes (cost 17 ) 0.313 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.313 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 0.314 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 0.315 * * [simplify]: iteration done : 11 enodes (cost 8 ) 0.316 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 0.317 * * [simplify]: iteration 1 : 12 enodes (cost 23 ) 0.319 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.323 * * [simplify]: iteration 3 : 70 enodes (cost 9 ) 0.338 * * [simplify]: iteration 4 : 179 enodes (cost 9 ) 0.404 * * [simplify]: iteration 5 : 507 enodes (cost 9 ) 0.875 * * [simplify]: iteration 6 : 1717 enodes (cost 9 ) 3.604 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 3.605 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 3.606 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 3.607 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 3.608 * * [simplify]: iteration done : 11 enodes (cost 8 ) 3.608 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 3.609 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 3.610 * * [simplify]: iteration 2 : 11 enodes (cost 8 ) 3.611 * * [simplify]: iteration done : 11 enodes (cost 8 ) 3.612 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 3.613 * * [simplify]: iteration 1 : 25 enodes (cost 5 ) 3.615 * * [simplify]: iteration 2 : 42 enodes (cost 5 ) 3.620 * * [simplify]: iteration 3 : 62 enodes (cost 3 ) 3.633 * * [simplify]: iteration 4 : 91 enodes (cost 1 ) 3.646 * * [simplify]: iteration 5 : 174 enodes (cost 1 ) 3.705 * * [simplify]: iteration 6 : 440 enodes (cost 1 ) 4.207 * * [simplify]: iteration 7 : 1548 enodes (cost 1 ) 6.131 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 6.132 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 6.134 * * [simplify]: iteration 1 : 18 enodes (cost 20 ) 6.136 * * [simplify]: iteration 2 : 26 enodes (cost 20 ) 6.140 * * [simplify]: iteration 3 : 29 enodes (cost 18 ) 6.144 * * [simplify]: iteration 4 : 30 enodes (cost 18 ) 6.147 * * [simplify]: iteration done : 30 enodes (cost 18 ) 6.148 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 6.148 * * [simplify]: iteration done : 3 enodes (cost 3 ) 6.149 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 6.150 * * [simplify]: iteration 1 : 14 enodes (cost 15 ) 6.151 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 6.154 * * [simplify]: iteration 3 : 36 enodes (cost 15 ) 6.160 * * [simplify]: iteration 4 : 61 enodes (cost 15 ) 6.175 * * [simplify]: iteration 5 : 102 enodes (cost 15 ) 6.199 * * [simplify]: iteration 6 : 166 enodes (cost 15 ) 6.254 * * [simplify]: iteration 7 : 334 enodes (cost 15 ) 7.014 * * [simplify]: iteration 8 : 1644 enodes (cost 15 ) 13.205 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 13.206 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.206 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 13.207 * * [simplify]: iteration done : 8 enodes (cost 7 ) 13.208 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.209 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 13.209 * * [simplify]: iteration done : 10 enodes (cost 9 ) 13.210 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.211 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 13.212 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 13.213 * * [simplify]: iteration done : 12 enodes (cost 9 ) 13.214 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.214 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 13.216 * * [simplify]: iteration done : 10 enodes (cost 9 ) 13.216 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.217 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 13.218 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 13.219 * * [simplify]: iteration done : 12 enodes (cost 9 ) 13.220 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.221 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 13.222 * * [simplify]: iteration done : 10 enodes (cost 9 ) 13.223 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.224 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 13.225 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 13.226 * * [simplify]: iteration done : 12 enodes (cost 9 ) 13.227 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.228 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 13.228 * * [simplify]: iteration done : 10 enodes (cost 9 ) 13.229 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.230 * * [simplify]: iteration 1 : 11 enodes (cost 9 ) 13.231 * * [simplify]: iteration 2 : 12 enodes (cost 9 ) 13.232 * * [simplify]: iteration done : 12 enodes (cost 9 ) 13.233 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.233 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.234 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 13.235 * * [simplify]: iteration done : 10 enodes (cost 7 ) 13.236 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.236 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.237 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 13.238 * * [simplify]: iteration done : 10 enodes (cost 7 ) 13.239 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 13.239 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 13.240 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 13.241 * * [simplify]: iteration done : 10 enodes (cost 7 ) 13.242 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.242 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.243 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.243 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.243 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.244 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.244 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 13.245 * * [simplify]: iteration done : 4 enodes (cost 6 ) 13.245 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.246 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.246 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.246 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.247 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.247 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.248 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 13.248 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 13.249 * * [simplify]: iteration done : 4 enodes (cost 1 ) 13.249 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 13.249 * * [simplify]: iteration done : 2 enodes (cost 2 ) 13.250 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 13.250 * * [simplify]: iteration done : 4 enodes (cost 7 ) 13.251 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 13.251 * * [simplify]: iteration done : 3 enodes (cost 3 ) 13.252 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 13.252 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 13.253 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 13.254 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 13.255 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 13.256 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 13.257 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 13.265 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 13.274 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 13.317 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 13.788 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 16.221 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 16.222 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.222 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.223 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 16.223 * * [simplify]: iteration done : 3 enodes (cost 3 ) 16.224 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.224 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.225 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.225 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.226 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.226 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.227 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 16.228 * * [simplify]: iteration 1 : 7 enodes (cost 10 ) 16.228 * * [simplify]: iteration done : 7 enodes (cost 10 ) 16.229 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.229 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.230 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.230 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.231 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.231 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.232 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 16.232 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 16.233 * * [simplify]: iteration done : 6 enodes (cost 5 ) 16.234 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.234 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 16.234 * * [simplify]: iteration done : 4 enodes (cost 1 ) 16.235 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.235 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 16.236 * * [simplify]: iteration done : 5 enodes (cost 4 ) 16.236 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 16.236 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 16.237 * * [simplify]: iteration done : 4 enodes (cost 1 ) 16.237 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 16.238 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 16.238 * * [simplify]: iteration done : 5 enodes (cost 4 ) 16.239 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 16.240 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 16.243 * * [simplify]: iteration 2 : 30 enodes (cost 8 ) 16.247 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 16.254 * * [simplify]: iteration 4 : 88 enodes (cost 8 ) 16.281 * * [simplify]: iteration 5 : 208 enodes (cost 8 ) 16.377 * * [simplify]: iteration 6 : 613 enodes (cost 8 ) 17.310 * * [simplify]: iteration 7 : 2441 enodes (cost 8 ) 19.277 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 19.278 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 19.279 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 19.281 * * [simplify]: iteration 2 : 31 enodes (cost 10 ) 19.286 * * [simplify]: iteration 3 : 44 enodes (cost 10 ) 19.293 * * [simplify]: iteration 4 : 64 enodes (cost 10 ) 19.308 * * [simplify]: iteration 5 : 85 enodes (cost 10 ) 19.324 * * [simplify]: iteration 6 : 102 enodes (cost 10 ) 19.337 * * [simplify]: iteration 7 : 125 enodes (cost 10 ) 19.361 * * [simplify]: iteration 8 : 168 enodes (cost 10 ) 19.397 * * [simplify]: iteration 9 : 230 enodes (cost 10 ) 19.430 * * [simplify]: iteration 10 : 231 enodes (cost 10 ) 19.459 * * [simplify]: iteration done : 231 enodes (cost 10 ) 19.460 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 19.461 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 19.462 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 19.464 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 19.472 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 19.484 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 19.508 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 19.562 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 20.480 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 26.717 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 26.717 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 26.718 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 26.718 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 26.719 * * [simplify]: iteration done : 7 enodes (cost 4 ) 26.720 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 26.720 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 26.721 * * [simplify]: iteration done : 7 enodes (cost 11 ) 26.722 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 26.722 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 26.723 * * [simplify]: iteration done : 6 enodes (cost 5 ) 26.723 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 26.724 * * [simplify]: iteration 1 : 8 enodes (cost 14 ) 26.725 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 26.726 * * [simplify]: iteration 3 : 15 enodes (cost 3 ) 26.728 * * [simplify]: iteration 4 : 21 enodes (cost 3 ) 26.730 * * [simplify]: iteration 5 : 31 enodes (cost 3 ) 26.734 * * [simplify]: iteration 6 : 54 enodes (cost 3 ) 26.747 * * [simplify]: iteration 7 : 110 enodes (cost 3 ) 26.790 * * [simplify]: iteration 8 : 319 enodes (cost 3 ) 27.248 * * [simplify]: iteration 9 : 1259 enodes (cost 3 ) 29.541 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 29.542 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.543 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 29.543 * * [simplify]: iteration done : 6 enodes (cost 5 ) 29.544 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.544 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 29.545 * * [simplify]: iteration done : 6 enodes (cost 5 ) 29.546 * * [simplify]: iteration 0 : 29 enodes (cost 44 ) 29.550 * * [simplify]: iteration 1 : 79 enodes (cost 39 ) 29.568 * * [simplify]: iteration 2 : 222 enodes (cost 34 ) 29.640 * * [simplify]: iteration 3 : 690 enodes (cost 29 ) 30.196 * * [simplify]: iteration 4 : 2462 enodes (cost 28 ) 31.535 * * [simplify]: iteration done : 5001 enodes (cost 28 ) 31.536 * * [simplify]: iteration 0 : 24 enodes (cost 48 ) 31.539 * * [simplify]: iteration 1 : 58 enodes (cost 42 ) 31.548 * * [simplify]: iteration 2 : 142 enodes (cost 33 ) 31.595 * * [simplify]: iteration 3 : 436 enodes (cost 19 ) 31.994 * * [simplify]: iteration 4 : 2069 enodes (cost 16 ) 32.854 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 32.855 * * [simplify]: iteration 0 : 28 enodes (cost 59 ) 32.860 * * [simplify]: iteration 1 : 60 enodes (cost 55 ) 32.868 * * [simplify]: iteration 2 : 133 enodes (cost 54 ) 32.898 * * [simplify]: iteration 3 : 372 enodes (cost 32 ) 33.072 * * [simplify]: iteration 4 : 1269 enodes (cost 21 ) 33.719 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 33.719 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 33.721 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 33.731 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 33.734 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 33.740 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 33.756 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 33.810 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 33.995 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 35.372 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 37.151 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 37.151 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 37.153 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 37.155 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 37.161 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 37.169 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 37.196 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 37.307 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 37.804 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 39.749 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 39.750 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 39.751 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 39.754 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 39.760 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 39.786 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 39.856 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 40.144 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 41.529 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 42.821 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 42.822 * * [simplify]: iteration 0 : 23 enodes (cost 35 ) 42.825 * * [simplify]: iteration 1 : 60 enodes (cost 31 ) 42.836 * * [simplify]: iteration 2 : 190 enodes (cost 28 ) 42.894 * * [simplify]: iteration 3 : 639 enodes (cost 26 ) 43.575 * * [simplify]: iteration 4 : 2541 enodes (cost 25 ) 44.889 * * [simplify]: iteration done : 5001 enodes (cost 25 ) 44.890 * * [simplify]: iteration 0 : 19 enodes (cost 42 ) 44.893 * * [simplify]: iteration 1 : 44 enodes (cost 36 ) 44.899 * * [simplify]: iteration 2 : 97 enodes (cost 27 ) 44.919 * * [simplify]: iteration 3 : 255 enodes (cost 13 ) 45.028 * * [simplify]: iteration 4 : 904 enodes (cost 13 ) 46.523 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 46.524 * * [simplify]: iteration 0 : 21 enodes (cost 45 ) 46.528 * * [simplify]: iteration 1 : 46 enodes (cost 42 ) 46.533 * * [simplify]: iteration 2 : 100 enodes (cost 42 ) 46.550 * * [simplify]: iteration 3 : 263 enodes (cost 21 ) 46.669 * * [simplify]: iteration 4 : 947 enodes (cost 13 ) 47.566 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 47.566 * [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 (+ (* (cbrt (+ x 1.0)) (+ (cbrt x) (cbrt (+ x 1.0)))) (* (cbrt x) (cbrt x))) (neg (cbrt x)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x)) (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))) (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))) (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))) (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x)) (neg (cbrt x)) (log (cbrt x)) (exp (cbrt x)) (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)) (cbrt (sqrt x)) (cbrt (sqrt x)) 1 (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (log (cbrt (+ x 1.0))) (exp (cbrt (+ x 1.0))) (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt (+ x 1.0))) 1 (cbrt (+ x 1.0)) 1 (cbrt (+ x 1.0)) (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* 1.0 (- 1.0 x)) (* x x))) (cbrt (- (* x x) (* 1.0 1.0))) (cbrt (- x 1.0)) (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0))) (+ x 1.0) (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt (+ x 1.0))) (+ (* (cbrt 1.0) (+ (* x (+ 0.3333333333333333 (* 0.05555555555555555 x))) 1)) (- (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) -1/6) (cbrt x))) (* (/ (cbrt x) x) (+ 0.3333333333333333 (- (/ 0.06172839506172839 (pow x 2)) (/ 0.1111111111111111 x)))) (+ (cbrt x) (- (* (- 0.3333333333333333 (/ 0.1111111111111111 x)) (/ (cbrt x) x)) (* (cbrt (* x -1)) (cbrt -1)))) (cbrt x) (cbrt x) (cbrt x) (+ (* (* (pow x 2) (cbrt (/ 1 (pow 1.0 5)))) -1/6) (* (+ 1 (* x (+ 0.3333333333333333 (* 0.05555555555555555 x)))) (cbrt 1.0))) (+ (cbrt x) (* (/ (cbrt x) x) (- 0.3333333333333333 (/ 0.1111111111111111 x)))) (+ (* (- 0.3333333333333333 (/ 0.1111111111111111 x)) (/ (cbrt x) x)) (cbrt x)) 47.567 * * * [progress]: adding candidates to table 47.653 * * [progress]: iteration 2 / 4 47.653 * * * [progress]: picking best candidate 47.664 * * * * [pick]: Picked # 47.664 * * * [progress]: localizing error 47.676 * * * [progress]: generating rewritten candidates 47.676 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 47.678 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1) 47.680 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 47.681 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 47.690 * * * [progress]: generating series expansions 47.690 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 47.690 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 47.690 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.690 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.690 * [taylor]: Taking taylor expansion of 1/3 in x 47.690 * [taylor]: Taking taylor expansion of (log x) in x 47.690 * [taylor]: Taking taylor expansion of x in x 47.690 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.690 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.690 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.690 * [taylor]: Taking taylor expansion of 1/3 in x 47.690 * [taylor]: Taking taylor expansion of (log x) in x 47.690 * [taylor]: Taking taylor expansion of x in x 47.697 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 47.697 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.697 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.697 * [taylor]: Taking taylor expansion of 1/3 in x 47.697 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.697 * [taylor]: Taking taylor expansion of x in x 47.698 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.698 * [taylor]: Taking taylor expansion of 1/3 in x 47.698 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.698 * [taylor]: Taking taylor expansion of x in x 47.706 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 47.706 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.706 * [taylor]: Taking taylor expansion of 1/3 in x 47.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.706 * [taylor]: Taking taylor expansion of x in x 47.706 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.706 * [taylor]: Taking taylor expansion of -1 in x 47.706 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.706 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.706 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.706 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.706 * [taylor]: Taking taylor expansion of 1/3 in x 47.706 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.706 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.706 * [taylor]: Taking taylor expansion of x in x 47.706 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.706 * [taylor]: Taking taylor expansion of -1 in x 47.720 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1) 47.720 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 47.720 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.720 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.720 * [taylor]: Taking taylor expansion of 1/3 in x 47.720 * [taylor]: Taking taylor expansion of (log x) in x 47.720 * [taylor]: Taking taylor expansion of x in x 47.720 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.720 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.720 * [taylor]: Taking taylor expansion of 1/3 in x 47.720 * [taylor]: Taking taylor expansion of (log x) in x 47.720 * [taylor]: Taking taylor expansion of x in x 47.727 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 47.727 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.727 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.727 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.727 * [taylor]: Taking taylor expansion of 1/3 in x 47.727 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.727 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.728 * [taylor]: Taking taylor expansion of x in x 47.728 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.728 * [taylor]: Taking taylor expansion of 1/3 in x 47.728 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.728 * [taylor]: Taking taylor expansion of x in x 47.736 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 47.736 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.736 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.736 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.736 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.736 * [taylor]: Taking taylor expansion of 1/3 in x 47.736 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.736 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.737 * [taylor]: Taking taylor expansion of x in x 47.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.737 * [taylor]: Taking taylor expansion of -1 in x 47.737 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.737 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.737 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.737 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.737 * [taylor]: Taking taylor expansion of 1/3 in x 47.737 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.737 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.737 * [taylor]: Taking taylor expansion of x in x 47.737 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.737 * [taylor]: Taking taylor expansion of -1 in x 47.746 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 47.746 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 47.746 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.746 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.746 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.746 * [taylor]: Taking taylor expansion of 1/3 in x 47.746 * [taylor]: Taking taylor expansion of (log x) in x 47.746 * [taylor]: Taking taylor expansion of x in x 47.747 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 47.747 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 47.747 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 47.747 * [taylor]: Taking taylor expansion of 1/3 in x 47.747 * [taylor]: Taking taylor expansion of (log x) in x 47.747 * [taylor]: Taking taylor expansion of x in x 47.754 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 47.754 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.754 * [taylor]: Taking taylor expansion of 1/3 in x 47.754 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.754 * [taylor]: Taking taylor expansion of x in x 47.755 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.755 * [taylor]: Taking taylor expansion of 1/3 in x 47.755 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.755 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.755 * [taylor]: Taking taylor expansion of x in x 47.763 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 47.763 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.763 * [taylor]: Taking taylor expansion of 1/3 in x 47.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.763 * [taylor]: Taking taylor expansion of x in x 47.763 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.763 * [taylor]: Taking taylor expansion of -1 in x 47.763 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 47.763 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 47.763 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 47.763 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 47.763 * [taylor]: Taking taylor expansion of 1/3 in x 47.763 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 47.763 * [taylor]: Taking taylor expansion of (/ 1 x) in x 47.763 * [taylor]: Taking taylor expansion of x in x 47.764 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.764 * [taylor]: Taking taylor expansion of -1 in x 47.773 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 47.773 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0 47.773 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 47.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 47.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 47.773 * [taylor]: Taking taylor expansion of 1/3 in x 47.773 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 47.773 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.773 * [taylor]: Taking taylor expansion of x in x 47.773 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x 47.773 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x 47.773 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x 47.773 * [taylor]: Taking taylor expansion of 1/3 in x 47.773 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 47.773 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.773 * [taylor]: Taking taylor expansion of x in x 47.782 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0 47.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 47.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 47.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 47.782 * [taylor]: Taking taylor expansion of 1/3 in x 47.782 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 47.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 47.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.782 * [taylor]: Taking taylor expansion of x in x 47.782 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 47.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 47.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 47.782 * [taylor]: Taking taylor expansion of 1/3 in x 47.782 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 47.782 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 47.782 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.782 * [taylor]: Taking taylor expansion of x in x 47.791 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in (x) around 0 47.791 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 47.791 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 47.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 47.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 47.791 * [taylor]: Taking taylor expansion of 1/3 in x 47.791 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 47.791 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 47.791 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.791 * [taylor]: Taking taylor expansion of x in x 47.791 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 47.791 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.791 * [taylor]: Taking taylor expansion of -1 in x 47.791 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/3) (pow (cbrt -1) 2)) in x 47.791 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x 47.791 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x 47.791 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x 47.791 * [taylor]: Taking taylor expansion of 1/3 in x 47.791 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 47.791 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 47.791 * [taylor]: Taking taylor expansion of (pow x 2) in x 47.791 * [taylor]: Taking taylor expansion of x in x 47.792 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 47.792 * [taylor]: Taking taylor expansion of (cbrt -1) in x 47.792 * [taylor]: Taking taylor expansion of -1 in x 47.803 * * * [progress]: simplifying candidates 47.804 * [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)) 47.805 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.805 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.806 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.806 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.807 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 47.807 * * [simplify]: iteration done : 4 enodes (cost 6 ) 47.807 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.808 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.808 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.809 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.809 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.809 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.810 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 47.811 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 47.811 * * [simplify]: iteration done : 4 enodes (cost 1 ) 47.811 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 47.812 * * [simplify]: iteration done : 2 enodes (cost 2 ) 47.812 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 47.813 * * [simplify]: iteration done : 4 enodes (cost 7 ) 47.813 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 47.813 * * [simplify]: iteration done : 3 enodes (cost 3 ) 47.818 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 47.819 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 47.819 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 47.820 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 47.821 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 47.822 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 47.824 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 47.827 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 47.835 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 47.882 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 48.350 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 50.757 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 50.757 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.758 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.758 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.758 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.759 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.759 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.760 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.760 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.761 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 50.761 * * [simplify]: iteration done : 4 enodes (cost 6 ) 50.762 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.762 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.763 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.763 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.764 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.764 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.764 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.765 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 50.765 * * [simplify]: iteration done : 4 enodes (cost 1 ) 50.765 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 50.766 * * [simplify]: iteration done : 2 enodes (cost 2 ) 50.766 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 50.767 * * [simplify]: iteration done : 4 enodes (cost 7 ) 50.767 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 50.767 * * [simplify]: iteration done : 3 enodes (cost 3 ) 50.768 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 50.769 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 50.769 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 50.770 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 50.771 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 50.772 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 50.773 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 50.776 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 50.785 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 50.833 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 51.300 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 53.687 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 53.687 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.688 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.688 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.688 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.689 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.689 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.690 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.696 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.696 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 53.697 * * [simplify]: iteration done : 4 enodes (cost 6 ) 53.697 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.698 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.698 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.698 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.699 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.699 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.700 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.700 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 53.700 * * [simplify]: iteration done : 4 enodes (cost 1 ) 53.701 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 53.701 * * [simplify]: iteration done : 2 enodes (cost 2 ) 53.702 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 53.702 * * [simplify]: iteration done : 4 enodes (cost 7 ) 53.703 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 53.703 * * [simplify]: iteration done : 3 enodes (cost 3 ) 53.703 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 53.704 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 53.704 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 53.705 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 53.706 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 53.707 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 53.709 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 53.711 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 53.720 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 53.765 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 54.238 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 56.640 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 56.641 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.641 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.642 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 56.642 * * [simplify]: iteration done : 3 enodes (cost 3 ) 56.642 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.643 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 56.643 * * [simplify]: iteration done : 5 enodes (cost 1 ) 56.644 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.644 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.644 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.645 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.645 * * [simplify]: iteration done : 2 enodes (cost 3 ) 56.646 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 56.646 * * [simplify]: iteration done : 3 enodes (cost 5 ) 56.646 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 56.647 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 56.647 * * [simplify]: iteration done : 6 enodes (cost 1 ) 56.648 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 56.648 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 56.649 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 56.649 * * [simplify]: iteration done : 7 enodes (cost 5 ) 56.650 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 56.650 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 56.651 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 56.652 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 56.653 * * [simplify]: iteration done : 9 enodes (cost 5 ) 56.653 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 56.654 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 56.655 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 56.656 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 56.658 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 56.663 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 56.690 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 56.784 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 57.654 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 59.986 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 59.987 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 59.987 * * [simplify]: iteration done : 2 enodes (cost 3 ) 59.988 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 59.988 * * [simplify]: iteration done : 5 enodes (cost 13 ) 59.989 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 59.989 * * [simplify]: iteration done : 4 enodes (cost 6 ) 59.990 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 59.991 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 59.993 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 59.997 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 60.007 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 60.014 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 60.025 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 60.069 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 60.200 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 61.298 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 63.040 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 63.041 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 63.041 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 63.042 * * [simplify]: iteration done : 5 enodes (cost 3 ) 63.042 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 63.043 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 63.043 * * [simplify]: iteration done : 5 enodes (cost 3 ) 63.044 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 63.044 * * [simplify]: iteration done : 5 enodes (cost 13 ) 63.045 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 63.045 * * [simplify]: iteration done : 4 enodes (cost 7 ) 63.046 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 63.046 * * [simplify]: iteration done : 4 enodes (cost 7 ) 63.047 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 63.047 * * [simplify]: iteration done : 4 enodes (cost 7 ) 63.048 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 63.048 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 63.049 * * [simplify]: iteration done : 5 enodes (cost 1 ) 63.049 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 63.050 * * [simplify]: iteration done : 3 enodes (cost 5 ) 63.050 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 63.051 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 63.052 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 63.054 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 63.056 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 63.067 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 63.078 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 63.124 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 63.472 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 65.031 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 65.032 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.032 * * [simplify]: iteration done : 4 enodes (cost 7 ) 65.033 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.033 * * [simplify]: iteration done : 4 enodes (cost 2 ) 65.034 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.034 * * [simplify]: iteration done : 4 enodes (cost 2 ) 65.035 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 65.035 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 65.035 * * [simplify]: iteration done : 4 enodes (cost 1 ) 65.036 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 65.036 * * [simplify]: iteration done : 3 enodes (cost 5 ) 65.037 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.037 * * [simplify]: iteration done : 4 enodes (cost 7 ) 65.038 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.039 * * [simplify]: iteration done : 4 enodes (cost 7 ) 65.039 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 65.040 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 65.040 * * [simplify]: iteration done : 7 enodes (cost 7 ) 65.041 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 65.041 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 65.042 * * [simplify]: iteration done : 7 enodes (cost 7 ) 65.043 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 65.043 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 65.044 * * [simplify]: iteration done : 7 enodes (cost 7 ) 65.044 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 65.045 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 65.046 * * [simplify]: iteration done : 7 enodes (cost 7 ) 65.046 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.047 * * [simplify]: iteration done : 4 enodes (cost 2 ) 65.047 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 65.048 * * [simplify]: iteration done : 4 enodes (cost 2 ) 65.048 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.049 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 65.049 * * [simplify]: iteration done : 5 enodes (cost 1 ) 65.049 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.050 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 65.050 * * [simplify]: iteration done : 6 enodes (cost 1 ) 65.051 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 65.051 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 65.052 * * [simplify]: iteration done : 6 enodes (cost 9 ) 65.052 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 65.053 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 65.053 * * [simplify]: iteration done : 6 enodes (cost 6 ) 65.054 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 65.055 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 65.055 * * [simplify]: iteration done : 8 enodes (cost 4 ) 65.056 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 65.056 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 65.057 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 65.059 * * [simplify]: iteration done : 10 enodes (cost 10 ) 65.059 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.060 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 65.060 * * [simplify]: iteration done : 5 enodes (cost 6 ) 65.061 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 65.061 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 65.062 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 65.063 * * [simplify]: iteration done : 10 enodes (cost 2 ) 65.063 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.064 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 65.064 * * [simplify]: iteration done : 5 enodes (cost 6 ) 65.065 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 65.065 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 65.066 * * [simplify]: iteration done : 6 enodes (cost 6 ) 65.067 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 65.067 * * [simplify]: iteration done : 3 enodes (cost 5 ) 65.067 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.068 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 65.068 * * [simplify]: iteration done : 5 enodes (cost 6 ) 65.069 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 65.069 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 65.070 * * [simplify]: iteration done : 5 enodes (cost 6 ) 65.070 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 65.071 * * [simplify]: iteration done : 3 enodes (cost 5 ) 65.071 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 65.072 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 65.075 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 65.078 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 65.084 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 65.103 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 65.157 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 65.340 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 66.703 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 68.458 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 68.458 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 68.460 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 68.463 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 68.468 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 68.481 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 68.509 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 68.618 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 69.112 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 70.820 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 70.821 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 70.822 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 70.825 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 70.831 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 70.851 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 70.925 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 71.204 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 72.555 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 73.789 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 73.790 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 73.791 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 73.800 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 73.803 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 73.809 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 73.825 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 73.878 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 74.062 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 75.420 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 77.189 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 77.190 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 77.191 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 77.194 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 77.198 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 77.207 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 77.234 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 77.341 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 77.826 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 79.755 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 79.755 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 79.757 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 79.760 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 79.766 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 79.791 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 79.861 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 80.147 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 81.514 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 82.765 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 82.766 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 82.767 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 82.770 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 82.773 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 82.779 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 82.795 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 82.847 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 83.030 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 84.387 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 86.151 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 86.152 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 86.153 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 86.156 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 86.161 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 86.169 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 86.201 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 86.309 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 86.803 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 88.511 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 88.512 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 88.514 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 88.516 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 88.522 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 88.543 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 88.611 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 88.893 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 90.261 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 91.510 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 91.511 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 91.512 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 91.516 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 91.522 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 91.543 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 91.595 * * [simplify]: iteration 5 : 315 enodes (cost 3 ) 91.777 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 92.963 * * [simplify]: iteration 7 : 2939 enodes (cost 3 ) 94.353 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 94.354 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 94.356 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 94.358 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 94.368 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 94.411 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 94.552 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 95.648 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 96.919 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 96.920 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 96.922 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 96.926 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 96.937 * * [simplify]: iteration 3 : 189 enodes (cost 11 ) 96.996 * * [simplify]: iteration 4 : 553 enodes (cost 10 ) 97.602 * * [simplify]: iteration 5 : 2139 enodes (cost 10 ) 98.761 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 98.762 * [simplify]: Simplified to: (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)) 2/3 2 (* x x) (* (cbrt x) (cbrt x)) 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 (* (cbrt x) (cbrt x)) (pow (cbrt (cbrt x)) 4) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt x) (cbrt x) 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))) (cbrt x) (cbrt x) 2/3 2 (* (cbrt x) (cbrt (* (cbrt x) (cbrt x)))) (* (cbrt x) (cbrt (sqrt x))) (* 1 (cbrt x)) (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt x) (sqrt (cbrt x))) (cbrt x) (* (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)) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (cbrt x) (pow x 2/3) (pow x 2/3) (* (cbrt (* x x)) (pow (cbrt -1) 2)) 98.767 * * * [progress]: adding candidates to table 98.874 * * [progress]: iteration 3 / 4 98.874 * * * [progress]: picking best candidate 98.904 * * * * [pick]: Picked # 98.904 * * * [progress]: localizing error 98.921 * * * [progress]: generating rewritten candidates 98.921 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2) 98.926 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2) 98.931 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1) 98.935 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2) 98.937 * * * [progress]: generating series expansions 98.937 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2) 98.937 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 98.937 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 98.937 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 98.937 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 98.937 * [taylor]: Taking taylor expansion of 1/9 in x 98.938 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 98.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.938 * [taylor]: Taking taylor expansion of x in x 98.938 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 98.938 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 98.938 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 98.938 * [taylor]: Taking taylor expansion of 1/9 in x 98.938 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 98.938 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.938 * [taylor]: Taking taylor expansion of x in x 98.946 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 98.946 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.946 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.946 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.946 * [taylor]: Taking taylor expansion of 1/9 in x 98.946 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.946 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.946 * [taylor]: Taking taylor expansion of x in x 98.946 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.946 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.946 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.946 * [taylor]: Taking taylor expansion of 1/9 in x 98.946 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.946 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.946 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.946 * [taylor]: Taking taylor expansion of x in x 98.954 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 98.955 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 98.955 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.955 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.955 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.955 * [taylor]: Taking taylor expansion of 1/9 in x 98.955 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.955 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.955 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.955 * [taylor]: Taking taylor expansion of x in x 98.955 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 98.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 98.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 98.955 * [taylor]: Taking taylor expansion of 1/3 in x 98.955 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 98.955 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 98.955 * [taylor]: Taking taylor expansion of (cbrt -1) in x 98.955 * [taylor]: Taking taylor expansion of -1 in x 98.956 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 98.956 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.956 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.956 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.956 * [taylor]: Taking taylor expansion of 1/9 in x 98.956 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.956 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.956 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.956 * [taylor]: Taking taylor expansion of x in x 98.956 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 98.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 98.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 98.956 * [taylor]: Taking taylor expansion of 1/3 in x 98.956 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 98.956 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 98.956 * [taylor]: Taking taylor expansion of (cbrt -1) in x 98.956 * [taylor]: Taking taylor expansion of -1 in x 98.982 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2) 98.982 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 98.982 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 98.982 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 98.982 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 98.982 * [taylor]: Taking taylor expansion of 1/9 in x 98.982 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 98.982 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.982 * [taylor]: Taking taylor expansion of x in x 98.983 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 98.983 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 98.983 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 98.983 * [taylor]: Taking taylor expansion of 1/9 in x 98.983 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 98.983 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.983 * [taylor]: Taking taylor expansion of x in x 98.990 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 98.990 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.990 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.990 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.990 * [taylor]: Taking taylor expansion of 1/9 in x 98.990 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.990 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.990 * [taylor]: Taking taylor expansion of x in x 98.990 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.990 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.990 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.990 * [taylor]: Taking taylor expansion of 1/9 in x 98.990 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.991 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.991 * [taylor]: Taking taylor expansion of x in x 98.999 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 98.999 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 98.999 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 98.999 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 98.999 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 98.999 * [taylor]: Taking taylor expansion of 1/9 in x 98.999 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 98.999 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 98.999 * [taylor]: Taking taylor expansion of (pow x 2) in x 98.999 * [taylor]: Taking taylor expansion of x in x 98.999 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 98.999 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 99.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 99.000 * [taylor]: Taking taylor expansion of 1/3 in x 99.000 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 99.000 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 99.000 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.000 * [taylor]: Taking taylor expansion of -1 in x 99.000 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 99.000 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 99.000 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 99.000 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 99.000 * [taylor]: Taking taylor expansion of 1/9 in x 99.000 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 99.000 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 99.000 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.000 * [taylor]: Taking taylor expansion of x in x 99.001 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 99.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 99.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 99.001 * [taylor]: Taking taylor expansion of 1/3 in x 99.001 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 99.001 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 99.001 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.001 * [taylor]: Taking taylor expansion of -1 in x 99.024 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1) 99.024 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 99.024 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 99.024 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 99.024 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 99.024 * [taylor]: Taking taylor expansion of 1/9 in x 99.024 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 99.024 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.024 * [taylor]: Taking taylor expansion of x in x 99.024 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 99.024 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 99.024 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 99.024 * [taylor]: Taking taylor expansion of 1/9 in x 99.024 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 99.024 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.024 * [taylor]: Taking taylor expansion of x in x 99.032 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 99.032 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 99.032 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 99.032 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 99.032 * [taylor]: Taking taylor expansion of 1/9 in x 99.032 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 99.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 99.032 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.032 * [taylor]: Taking taylor expansion of x in x 99.032 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 99.032 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 99.032 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 99.032 * [taylor]: Taking taylor expansion of 1/9 in x 99.032 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 99.032 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 99.032 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.032 * [taylor]: Taking taylor expansion of x in x 99.040 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 99.040 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 99.040 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 99.040 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 99.040 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 99.040 * [taylor]: Taking taylor expansion of 1/9 in x 99.040 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 99.040 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 99.040 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.040 * [taylor]: Taking taylor expansion of x in x 99.041 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 99.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 99.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 99.041 * [taylor]: Taking taylor expansion of 1/3 in x 99.041 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 99.041 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 99.041 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.041 * [taylor]: Taking taylor expansion of -1 in x 99.041 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 99.041 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 99.041 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 99.041 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 99.041 * [taylor]: Taking taylor expansion of 1/9 in x 99.041 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 99.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 99.041 * [taylor]: Taking taylor expansion of (pow x 2) in x 99.041 * [taylor]: Taking taylor expansion of x in x 99.042 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 99.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 99.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 99.042 * [taylor]: Taking taylor expansion of 1/3 in x 99.042 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 99.042 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 99.042 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.042 * [taylor]: Taking taylor expansion of -1 in x 99.064 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2) 99.064 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0 99.064 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 99.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 99.064 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 99.064 * [taylor]: Taking taylor expansion of 1/3 in x 99.064 * [taylor]: Taking taylor expansion of (log x) in x 99.064 * [taylor]: Taking taylor expansion of x in x 99.064 * [taylor]: Taking taylor expansion of (pow x 1/3) in x 99.065 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x 99.065 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x 99.065 * [taylor]: Taking taylor expansion of 1/3 in x 99.065 * [taylor]: Taking taylor expansion of (log x) in x 99.065 * [taylor]: Taking taylor expansion of x in x 99.072 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0 99.072 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 99.072 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 99.072 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 99.072 * [taylor]: Taking taylor expansion of 1/3 in x 99.072 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 99.072 * [taylor]: Taking taylor expansion of (/ 1 x) in x 99.072 * [taylor]: Taking taylor expansion of x in x 99.073 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 99.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 99.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 99.073 * [taylor]: Taking taylor expansion of 1/3 in x 99.073 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 99.073 * [taylor]: Taking taylor expansion of (/ 1 x) in x 99.073 * [taylor]: Taking taylor expansion of x in x 99.083 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in (x) around 0 99.083 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 99.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 99.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 99.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 99.084 * [taylor]: Taking taylor expansion of 1/3 in x 99.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 99.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 99.084 * [taylor]: Taking taylor expansion of x in x 99.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.084 * [taylor]: Taking taylor expansion of -1 in x 99.084 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (cbrt -1)) in x 99.084 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x 99.084 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x 99.084 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x 99.084 * [taylor]: Taking taylor expansion of 1/3 in x 99.084 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x 99.084 * [taylor]: Taking taylor expansion of (/ 1 x) in x 99.084 * [taylor]: Taking taylor expansion of x in x 99.084 * [taylor]: Taking taylor expansion of (cbrt -1) in x 99.084 * [taylor]: Taking taylor expansion of -1 in x 99.093 * * * [progress]: simplifying candidates 99.094 * [simplify]: Simplifying using # : (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 (* (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 (* (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)) (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/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/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)) 99.095 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 99.095 * * [simplify]: iteration done : 5 enodes (cost 7 ) 99.096 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 99.096 * * [simplify]: iteration done : 5 enodes (cost 7 ) 99.097 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.097 * * [simplify]: iteration done : 3 enodes (cost 3 ) 99.098 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 99.098 * * [simplify]: iteration done : 3 enodes (cost 3 ) 99.098 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 99.099 * * [simplify]: iteration done : 6 enodes (cost 15 ) 99.100 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 99.100 * * [simplify]: iteration done : 5 enodes (cost 7 ) 99.101 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 99.101 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 99.102 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 99.103 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 99.105 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 99.107 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 99.111 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 99.121 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 99.168 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 99.620 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 101.947 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 101.947 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 101.948 * * [simplify]: iteration done : 5 enodes (cost 7 ) 101.949 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 101.949 * * [simplify]: iteration done : 5 enodes (cost 7 ) 101.950 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 101.950 * * [simplify]: iteration done : 5 enodes (cost 7 ) 101.951 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 101.951 * * [simplify]: iteration done : 5 enodes (cost 7 ) 101.952 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 101.952 * * [simplify]: iteration done : 3 enodes (cost 3 ) 101.953 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 101.953 * * [simplify]: iteration done : 3 enodes (cost 3 ) 101.954 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 101.954 * * [simplify]: iteration done : 6 enodes (cost 15 ) 101.955 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 101.955 * * [simplify]: iteration done : 5 enodes (cost 7 ) 101.956 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 101.957 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 101.958 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 101.959 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 101.960 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 101.962 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 101.966 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 101.976 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 102.023 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 102.466 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 104.785 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 104.786 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.786 * * [simplify]: iteration done : 5 enodes (cost 7 ) 104.787 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.787 * * [simplify]: iteration done : 5 enodes (cost 7 ) 104.788 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.788 * * [simplify]: iteration done : 5 enodes (cost 7 ) 104.789 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.790 * * [simplify]: iteration done : 5 enodes (cost 7 ) 104.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.790 * * [simplify]: iteration done : 3 enodes (cost 3 ) 104.791 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 104.791 * * [simplify]: iteration done : 3 enodes (cost 3 ) 104.792 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 104.792 * * [simplify]: iteration done : 6 enodes (cost 15 ) 104.793 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 104.793 * * [simplify]: iteration done : 5 enodes (cost 7 ) 104.794 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 104.795 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 104.796 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 104.797 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 104.798 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 104.801 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 104.808 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 104.818 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 104.864 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 105.305 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 107.631 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 107.632 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 107.632 * * [simplify]: iteration done : 5 enodes (cost 7 ) 107.633 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 107.633 * * [simplify]: iteration done : 5 enodes (cost 7 ) 107.634 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.634 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.635 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.635 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.635 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 107.636 * * [simplify]: iteration done : 4 enodes (cost 6 ) 107.636 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.637 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.637 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.638 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.638 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.638 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.639 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 107.639 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 107.639 * * [simplify]: iteration done : 4 enodes (cost 1 ) 107.640 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 107.640 * * [simplify]: iteration done : 2 enodes (cost 2 ) 107.641 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 107.641 * * [simplify]: iteration done : 4 enodes (cost 7 ) 107.642 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 107.642 * * [simplify]: iteration done : 3 enodes (cost 3 ) 107.642 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 107.643 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 107.644 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 107.645 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 107.645 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 107.646 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 107.648 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 107.651 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 107.659 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 107.706 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 108.159 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 110.487 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 110.488 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.489 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.489 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 110.489 * * [simplify]: iteration done : 3 enodes (cost 3 ) 110.490 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 110.491 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 110.495 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 110.501 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 110.522 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 110.573 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 110.753 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 111.931 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 113.280 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 113.280 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 113.282 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 113.285 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 113.294 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 113.338 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 113.479 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 114.371 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 115.646 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 115.646 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 115.649 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 115.659 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 115.670 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 115.723 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 116.521 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 117.885 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 117.886 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 117.891 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 117.894 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 117.900 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 117.917 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 117.968 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 118.149 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 119.348 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 120.725 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 120.726 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 120.727 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 120.730 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 120.739 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 120.784 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 120.926 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 121.820 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 123.117 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 123.118 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 123.120 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 123.125 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 123.136 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 123.189 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 123.802 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 125.144 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 125.145 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 125.147 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 125.150 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 125.156 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 125.172 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 125.223 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 125.404 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 126.584 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 127.942 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 127.943 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 127.950 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 127.953 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 127.967 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 128.008 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 128.154 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 129.068 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 130.375 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 130.376 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 130.378 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 130.383 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 130.394 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 130.447 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 131.057 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 132.619 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 132.620 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 132.621 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 132.624 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 132.627 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 132.633 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 132.653 * * [simplify]: iteration 5 : 171 enodes (cost 2 ) 132.702 * * [simplify]: iteration 6 : 353 enodes (cost 2 ) 132.891 * * [simplify]: iteration 7 : 904 enodes (cost 2 ) 134.275 * * [simplify]: iteration 8 : 3078 enodes (cost 2 ) 136.062 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 136.063 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 136.064 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 136.067 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 136.071 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 136.079 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 136.112 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 136.219 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 136.704 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 138.417 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 138.418 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 138.419 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 138.422 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 138.428 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 138.449 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 138.517 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 138.796 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 140.142 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 141.390 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 141.391 * [simplify]: Simplified to: (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (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 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) (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)) x (sqrt (cbrt x)) (sqrt (cbrt x)) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (cbrt x) (cbrt x) (cbrt x) 141.391 * * * [progress]: adding candidates to table 141.479 * * [progress]: iteration 4 / 4 141.479 * * * [progress]: picking best candidate 141.508 * * * * [pick]: Picked # 141.508 * * * [progress]: localizing error 141.534 * * * [progress]: generating rewritten candidates 141.534 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 141.539 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2 1) 141.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1 1) 141.549 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1 2) 141.554 * * * [progress]: generating series expansions 141.554 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 141.554 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 141.554 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.554 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.554 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.554 * [taylor]: Taking taylor expansion of 1/9 in x 141.554 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.554 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.554 * [taylor]: Taking taylor expansion of x in x 141.554 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.554 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.554 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.554 * [taylor]: Taking taylor expansion of 1/9 in x 141.554 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.554 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.555 * [taylor]: Taking taylor expansion of x in x 141.562 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 141.562 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.562 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.562 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.562 * [taylor]: Taking taylor expansion of 1/9 in x 141.562 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.562 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.562 * [taylor]: Taking taylor expansion of x in x 141.562 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.562 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.562 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.562 * [taylor]: Taking taylor expansion of 1/9 in x 141.562 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.562 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.562 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.563 * [taylor]: Taking taylor expansion of x in x 141.570 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 141.570 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.570 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.571 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.571 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.571 * [taylor]: Taking taylor expansion of 1/9 in x 141.571 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.571 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.571 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.571 * [taylor]: Taking taylor expansion of x in x 141.571 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.571 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.571 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.571 * [taylor]: Taking taylor expansion of 1/3 in x 141.571 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.571 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.571 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.571 * [taylor]: Taking taylor expansion of -1 in x 141.572 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.572 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.572 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.572 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.572 * [taylor]: Taking taylor expansion of 1/9 in x 141.572 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.572 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.572 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.572 * [taylor]: Taking taylor expansion of x in x 141.572 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.572 * [taylor]: Taking taylor expansion of 1/3 in x 141.572 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.572 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.572 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.572 * [taylor]: Taking taylor expansion of -1 in x 141.595 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2 1) 141.595 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 141.595 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.595 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.595 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.595 * [taylor]: Taking taylor expansion of 1/9 in x 141.595 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.595 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.595 * [taylor]: Taking taylor expansion of x in x 141.596 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.596 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.596 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.596 * [taylor]: Taking taylor expansion of 1/9 in x 141.596 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.596 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.596 * [taylor]: Taking taylor expansion of x in x 141.603 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 141.603 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.603 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.603 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.603 * [taylor]: Taking taylor expansion of 1/9 in x 141.603 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.603 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.603 * [taylor]: Taking taylor expansion of x in x 141.603 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.603 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.603 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.603 * [taylor]: Taking taylor expansion of 1/9 in x 141.603 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.603 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.604 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.604 * [taylor]: Taking taylor expansion of x in x 141.612 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 141.612 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.612 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.612 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.612 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.612 * [taylor]: Taking taylor expansion of 1/9 in x 141.612 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.612 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.612 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.612 * [taylor]: Taking taylor expansion of x in x 141.612 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.612 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.612 * [taylor]: Taking taylor expansion of 1/3 in x 141.612 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.612 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.612 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.612 * [taylor]: Taking taylor expansion of -1 in x 141.613 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.613 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.613 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.613 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.613 * [taylor]: Taking taylor expansion of 1/9 in x 141.613 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.613 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.613 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.613 * [taylor]: Taking taylor expansion of x in x 141.613 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.613 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.613 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.613 * [taylor]: Taking taylor expansion of 1/3 in x 141.613 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.613 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.613 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.613 * [taylor]: Taking taylor expansion of -1 in x 141.639 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1 1) 141.640 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 141.640 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.640 * [taylor]: Taking taylor expansion of 1/9 in x 141.640 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.640 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.640 * [taylor]: Taking taylor expansion of x in x 141.640 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.640 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.640 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.640 * [taylor]: Taking taylor expansion of 1/9 in x 141.640 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.640 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.640 * [taylor]: Taking taylor expansion of x in x 141.648 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 141.648 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.648 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.648 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.648 * [taylor]: Taking taylor expansion of 1/9 in x 141.648 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.648 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.648 * [taylor]: Taking taylor expansion of x in x 141.648 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.648 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.648 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.648 * [taylor]: Taking taylor expansion of 1/9 in x 141.648 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.648 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.648 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.648 * [taylor]: Taking taylor expansion of x in x 141.656 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 141.656 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.657 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.657 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.657 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.657 * [taylor]: Taking taylor expansion of 1/9 in x 141.657 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.657 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.657 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.657 * [taylor]: Taking taylor expansion of x in x 141.657 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.657 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.657 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.657 * [taylor]: Taking taylor expansion of 1/3 in x 141.657 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.657 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.657 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.657 * [taylor]: Taking taylor expansion of -1 in x 141.658 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.658 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.658 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.658 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.658 * [taylor]: Taking taylor expansion of 1/9 in x 141.658 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.658 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.658 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.658 * [taylor]: Taking taylor expansion of x in x 141.658 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.658 * [taylor]: Taking taylor expansion of 1/3 in x 141.658 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.658 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.658 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.658 * [taylor]: Taking taylor expansion of -1 in x 141.680 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1 2) 141.680 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0 141.680 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.680 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.680 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.680 * [taylor]: Taking taylor expansion of 1/9 in x 141.680 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.680 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.680 * [taylor]: Taking taylor expansion of x in x 141.681 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x 141.681 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x 141.681 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x 141.681 * [taylor]: Taking taylor expansion of 1/9 in x 141.681 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x 141.681 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.681 * [taylor]: Taking taylor expansion of x in x 141.688 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0 141.688 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.688 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.688 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.688 * [taylor]: Taking taylor expansion of 1/9 in x 141.688 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.688 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.688 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.688 * [taylor]: Taking taylor expansion of x in x 141.689 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.689 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.689 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.689 * [taylor]: Taking taylor expansion of 1/9 in x 141.689 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.689 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.689 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.689 * [taylor]: Taking taylor expansion of x in x 141.697 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (x) around 0 141.697 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.697 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.697 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.697 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.697 * [taylor]: Taking taylor expansion of 1/9 in x 141.697 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.697 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.697 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.697 * [taylor]: Taking taylor expansion of x in x 141.698 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.698 * [taylor]: Taking taylor expansion of 1/3 in x 141.698 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.698 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.698 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.698 * [taylor]: Taking taylor expansion of -1 in x 141.698 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow x 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in x 141.698 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x 141.698 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x 141.698 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x 141.698 * [taylor]: Taking taylor expansion of 1/9 in x 141.698 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x 141.698 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 141.698 * [taylor]: Taking taylor expansion of (pow x 2) in x 141.698 * [taylor]: Taking taylor expansion of x in x 141.699 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x 141.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x 141.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x 141.699 * [taylor]: Taking taylor expansion of 1/3 in x 141.699 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x 141.699 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x 141.699 * [taylor]: Taking taylor expansion of (cbrt -1) in x 141.699 * [taylor]: Taking taylor expansion of -1 in x 141.721 * * * [progress]: simplifying candidates 141.722 * [simplify]: Simplifying using # : (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 (* (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 (* (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 (* (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)))) (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/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/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/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))))))) 141.722 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.723 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.723 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.724 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.724 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 141.725 * * [simplify]: iteration done : 3 enodes (cost 3 ) 141.725 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 141.726 * * [simplify]: iteration done : 3 enodes (cost 3 ) 141.726 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 141.727 * * [simplify]: iteration done : 6 enodes (cost 15 ) 141.728 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.728 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.729 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 141.729 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 141.730 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 141.735 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 141.736 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 141.738 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 141.742 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 141.752 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 141.797 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 142.235 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 144.550 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 144.551 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.552 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.552 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.553 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.553 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.554 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.555 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.555 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.556 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 144.556 * * [simplify]: iteration done : 3 enodes (cost 3 ) 144.556 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 144.557 * * [simplify]: iteration done : 3 enodes (cost 3 ) 144.557 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 144.558 * * [simplify]: iteration done : 6 enodes (cost 15 ) 144.558 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.559 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.560 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 144.560 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 144.561 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 144.562 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 144.564 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 144.567 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 144.570 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 144.580 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 144.626 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 145.068 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 147.384 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 147.384 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.385 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.386 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.386 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.387 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.388 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.388 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.389 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.390 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.390 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.390 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.391 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.391 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 147.392 * * [simplify]: iteration done : 6 enodes (cost 15 ) 147.393 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.393 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.394 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 147.394 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 147.395 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 147.397 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 147.398 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 147.401 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 147.404 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 147.413 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 147.459 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 147.901 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 150.222 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 150.223 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 150.224 * * [simplify]: iteration done : 5 enodes (cost 7 ) 150.224 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 150.225 * * [simplify]: iteration done : 5 enodes (cost 7 ) 150.225 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 150.226 * * [simplify]: iteration done : 5 enodes (cost 7 ) 150.226 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 150.227 * * [simplify]: iteration done : 5 enodes (cost 7 ) 150.227 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 150.228 * * [simplify]: iteration done : 3 enodes (cost 3 ) 150.228 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 150.228 * * [simplify]: iteration done : 3 enodes (cost 3 ) 150.229 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 150.230 * * [simplify]: iteration done : 6 enodes (cost 15 ) 150.230 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 150.234 * * [simplify]: iteration done : 5 enodes (cost 7 ) 150.234 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 150.235 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 150.236 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 150.237 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 150.239 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 150.241 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 150.244 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 150.254 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 150.299 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 150.746 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 153.068 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 153.069 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 153.069 * * [simplify]: iteration done : 5 enodes (cost 7 ) 153.070 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 153.070 * * [simplify]: iteration done : 5 enodes (cost 7 ) 153.071 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 153.073 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 153.076 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 153.081 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 153.098 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 153.158 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 153.340 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 154.740 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 156.108 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 156.109 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 156.111 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 156.113 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 156.129 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 156.169 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 156.317 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 157.224 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 158.529 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 158.530 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 158.532 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 158.537 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 158.549 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 158.603 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 159.216 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 160.575 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 160.576 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 160.577 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 160.581 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 160.586 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 160.606 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 160.654 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 160.841 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 162.041 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 163.424 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 163.425 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 163.427 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 163.429 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 163.438 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 163.482 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 163.624 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 164.536 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 165.842 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 165.843 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 165.846 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 165.851 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 165.868 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 165.919 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 166.533 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 167.890 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 167.890 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 167.892 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 167.895 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 167.906 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 167.922 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 167.974 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 168.154 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 169.348 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 170.942 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 170.943 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 170.945 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 170.947 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 170.957 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 171.000 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 171.141 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 172.059 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 173.376 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 173.377 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 173.385 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 173.390 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 173.401 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 173.456 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 174.075 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 175.432 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 175.433 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 175.434 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 175.438 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 175.443 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 175.460 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 175.511 * * [simplify]: iteration 5 : 311 enodes (cost 3 ) 175.694 * * [simplify]: iteration 6 : 883 enodes (cost 3 ) 176.893 * * [simplify]: iteration 7 : 2953 enodes (cost 3 ) 178.262 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 178.263 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 178.264 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 178.267 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 178.276 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 178.322 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 178.470 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 179.365 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 180.662 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 180.663 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 180.666 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 180.671 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 180.682 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 180.738 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 181.361 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 182.711 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 182.711 * [simplify]: Simplified to: (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (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 x) (cbrt x)) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) (pow x 2/9) (pow x 2/9) (* (pow (/ -1 x) -2/9) (cbrt (pow (cbrt -1) 2))) 182.712 * * * [progress]: adding candidates to table 182.806 * [progress]: [Phase 3 of 3] Extracting. 182.806 * * [regime]: Finding splitpoints for: (# # # # # # # # # # #) 182.811 * * * [regime-changes]: Trying 2 branch expressions: ((- (cbrt (+ x 1.0)) (cbrt x)) x) 182.811 * * * * [regimes]: Trying to branch on (- (cbrt (+ x 1.0)) (cbrt x)) from (# # # # # # # # # # #) 182.878 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # #) 182.943 * * * [regime]: Found split indices: #