4.699 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.017 * * * [progress]: [2/2] Setting up program.
0.019 * [progress]: [Phase 2 of 3] Improving.
0.019 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (cbrt (+ x 1.0)) (cbrt x))
0.021 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
0.023 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.024 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.024 * [simplify]: Simplified to:
   (- (cbrt (+ x 1.0)) (cbrt x))
0.024 * * [progress]: iteration 1 / 4
0.024 * * * [progress]: picking best candidate
0.026 * * * * [pick]: Picked  #<alt (λ (x) (- (cbrt (+ x 1.0)) (cbrt x)))>
0.026 * * * [progress]: localizing error
0.031 * * * [progress]: generating rewritten candidates
0.031 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.035 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.036 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.038 * * * [progress]: generating series expansions
0.038 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.038 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
0.038 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.038 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.038 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.038 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.038 * [taylor]: Taking taylor expansion of 1/3 in x
0.038 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.038 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.038 * [taylor]: Taking taylor expansion of x in x
0.038 * [taylor]: Taking taylor expansion of 1.0 in x
0.040 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.041 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.041 * [taylor]: Taking taylor expansion of 1/3 in x
0.041 * [taylor]: Taking taylor expansion of (log x) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.041 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.041 * [taylor]: Taking taylor expansion of 1/3 in x
0.041 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.041 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.041 * [taylor]: Taking taylor expansion of x in x
0.041 * [taylor]: Taking taylor expansion of 1.0 in x
0.043 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.043 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.043 * [taylor]: Taking taylor expansion of 1/3 in x
0.043 * [taylor]: Taking taylor expansion of (log x) in x
0.043 * [taylor]: Taking taylor expansion of x in x
0.091 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
0.091 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.091 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.091 * [taylor]: Taking taylor expansion of 1/3 in x
0.091 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.091 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.091 * [taylor]: Taking taylor expansion of 1.0 in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.092 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.092 * [taylor]: Taking taylor expansion of 1/3 in x
0.092 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.092 * [taylor]: Taking taylor expansion of x in x
0.093 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.093 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.093 * [taylor]: Taking taylor expansion of 1/3 in x
0.093 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.093 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.093 * [taylor]: Taking taylor expansion of 1.0 in x
0.093 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.093 * [taylor]: Taking taylor expansion of x in x
0.094 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.094 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.094 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.094 * [taylor]: Taking taylor expansion of 1/3 in x
0.094 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.094 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.094 * [taylor]: Taking taylor expansion of x in x
0.143 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
0.143 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.143 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.143 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.143 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.143 * [taylor]: Taking taylor expansion of 1/3 in x
0.143 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.143 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.143 * [taylor]: Taking taylor expansion of 1.0 in x
0.143 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.143 * [taylor]: Taking taylor expansion of x in x
0.145 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.145 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.145 * [taylor]: Taking taylor expansion of -1 in x
0.146 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.146 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.146 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.146 * [taylor]: Taking taylor expansion of 1/3 in x
0.146 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.146 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.146 * [taylor]: Taking taylor expansion of x in x
0.147 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.147 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.147 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.147 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.147 * [taylor]: Taking taylor expansion of 1/3 in x
0.147 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.147 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.147 * [taylor]: Taking taylor expansion of 1.0 in x
0.147 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.147 * [taylor]: Taking taylor expansion of x in x
0.149 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.149 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.149 * [taylor]: Taking taylor expansion of -1 in x
0.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.150 * [taylor]: Taking taylor expansion of 1/3 in x
0.150 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.150 * [taylor]: Taking taylor expansion of x in x
0.184 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.184 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.184 * [taylor]: Taking taylor expansion of 1/3 in x
0.184 * [taylor]: Taking taylor expansion of (log x) in x
0.184 * [taylor]: Taking taylor expansion of x in x
0.185 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.185 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.185 * [taylor]: Taking taylor expansion of 1/3 in x
0.185 * [taylor]: Taking taylor expansion of (log x) in x
0.185 * [taylor]: Taking taylor expansion of x in x
0.235 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.236 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.236 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.236 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.236 * [taylor]: Taking taylor expansion of 1/3 in x
0.236 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.236 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.236 * [taylor]: Taking taylor expansion of x in x
0.236 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.237 * [taylor]: Taking taylor expansion of 1/3 in x
0.237 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.237 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.237 * [taylor]: Taking taylor expansion of x in x
0.290 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.290 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.290 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.290 * [taylor]: Taking taylor expansion of -1 in x
0.291 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.291 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.291 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.291 * [taylor]: Taking taylor expansion of 1/3 in x
0.291 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.291 * [taylor]: Taking taylor expansion of x in x
0.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.292 * [taylor]: Taking taylor expansion of -1 in x
0.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.293 * [taylor]: Taking taylor expansion of 1/3 in x
0.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.293 * [taylor]: Taking taylor expansion of x in x
0.359 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.359 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0
0.360 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.360 * [taylor]: Taking taylor expansion of 1/3 in x
0.360 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.360 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.360 * [taylor]: Taking taylor expansion of x in x
0.360 * [taylor]: Taking taylor expansion of 1.0 in x
0.362 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.362 * [taylor]: Taking taylor expansion of 1/3 in x
0.362 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.362 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.362 * [taylor]: Taking taylor expansion of x in x
0.362 * [taylor]: Taking taylor expansion of 1.0 in x
0.394 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0
0.394 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.395 * [taylor]: Taking taylor expansion of 1/3 in x
0.395 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.395 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.395 * [taylor]: Taking taylor expansion of 1.0 in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.396 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.396 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.396 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.396 * [taylor]: Taking taylor expansion of 1/3 in x
0.396 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.396 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.396 * [taylor]: Taking taylor expansion of 1.0 in x
0.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.415 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
0.415 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.415 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.415 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.415 * [taylor]: Taking taylor expansion of 1/3 in x
0.415 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.415 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.415 * [taylor]: Taking taylor expansion of 1.0 in x
0.415 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.415 * [taylor]: Taking taylor expansion of x in x
0.417 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.417 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.417 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.417 * [taylor]: Taking taylor expansion of 1/3 in x
0.417 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.417 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.417 * [taylor]: Taking taylor expansion of 1.0 in x
0.417 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.417 * [taylor]: Taking taylor expansion of x in x
0.446 * * * [progress]: simplifying candidates
0.446 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (- (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt x))
  (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))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (pow x 1/3)))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))) (* (pow (* -1 x) 1/3) (cbrt -1))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))))
0.450 * * [simplify]: iteration  0 :  238  enodes  (cost  172 )
0.454 * * [simplify]: iteration  1 :  790  enodes  (cost  167 )
0.470 * * [simplify]: iteration  2 :  3656  enodes  (cost  145 )
0.571 * * [simplify]: iteration  3 :  5001  enodes  (cost  145 )
0.572 * [simplify]: Simplified to:
   (+ 0 1.0)
  (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))
  (- (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt x))
  (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))
  (+ (- (* (pow x 2) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))) (pow x 1/3)) (* (+ (* 0.3333333333333333 x) 1) (pow 1.0 1/3)))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (+ (- (* (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (* (pow (* -1 x) 1/3) (cbrt -1))) (exp (* 1/3 (- (log -1) (log (/ -1 x))))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (+ (* (pow x 2) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))) (* (+ (* 0.3333333333333333 x) 1) (pow 1.0 1/3)))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (pow (/ 1 x) -1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (+ (* (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (exp (* 1/3 (- (log -1) (log (/ -1 x))))))
0.572 * * * [progress]: adding candidates to table
0.617 * * [progress]: iteration 2 / 4
0.617 * * * [progress]: picking best candidate
0.632 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))>
0.632 * * * [progress]: localizing error
0.643 * * * [progress]: generating rewritten candidates
0.643 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.651 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
0.652 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2)
0.653 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1)
0.655 * * * [progress]: generating series expansions
0.655 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.655 * [approximate]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 2) 1/3) (pow (pow x 2) 1/3)) in (x) around 0
0.655 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 2) 1/3) (pow (pow x 2) 1/3)) in x
0.655 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 2) 1/3) in x
0.655 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1.0) 2)))) in x
0.655 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1.0) 2))) in x
0.655 * [taylor]: Taking taylor expansion of 1/3 in x
0.655 * [taylor]: Taking taylor expansion of (log (pow (+ x 1.0) 2)) in x
0.655 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x
0.655 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.655 * [taylor]: Taking taylor expansion of x in x
0.655 * [taylor]: Taking taylor expansion of 1.0 in x
0.658 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.658 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.658 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.658 * [taylor]: Taking taylor expansion of 1/3 in x
0.658 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.658 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.658 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of (- (pow (pow (+ x 1.0) 2) 1/3) (pow (pow x 2) 1/3)) in x
0.659 * [taylor]: Taking taylor expansion of (pow (pow (+ x 1.0) 2) 1/3) in x
0.659 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x 1.0) 2)))) in x
0.659 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x 1.0) 2))) in x
0.659 * [taylor]: Taking taylor expansion of 1/3 in x
0.659 * [taylor]: Taking taylor expansion of (log (pow (+ x 1.0) 2)) in x
0.659 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 2) in x
0.659 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.659 * [taylor]: Taking taylor expansion of x in x
0.659 * [taylor]: Taking taylor expansion of 1.0 in x
0.661 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.661 * [taylor]: Taking taylor expansion of 1/3 in x
0.661 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.661 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.661 * [taylor]: Taking taylor expansion of x in x
0.716 * [approximate]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 2) 1/3) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
0.716 * [taylor]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 2) 1/3) (pow (/ 1 (pow x 2)) 1/3)) in x
0.716 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 2) 1/3) in x
0.716 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 1.0 (/ 1 x)) 2)))) in x
0.716 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 1.0 (/ 1 x)) 2))) in x
0.716 * [taylor]: Taking taylor expansion of 1/3 in x
0.716 * [taylor]: Taking taylor expansion of (log (pow (+ 1.0 (/ 1 x)) 2)) in x
0.716 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 2) in x
0.716 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.716 * [taylor]: Taking taylor expansion of 1.0 in x
0.716 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.716 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.718 * [taylor]: Taking taylor expansion of 1/3 in x
0.718 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.718 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.718 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.719 * [taylor]: Taking taylor expansion of (- (pow (pow (+ 1.0 (/ 1 x)) 2) 1/3) (pow (/ 1 (pow x 2)) 1/3)) in x
0.719 * [taylor]: Taking taylor expansion of (pow (pow (+ 1.0 (/ 1 x)) 2) 1/3) in x
0.719 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ 1.0 (/ 1 x)) 2)))) in x
0.719 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ 1.0 (/ 1 x)) 2))) in x
0.719 * [taylor]: Taking taylor expansion of 1/3 in x
0.719 * [taylor]: Taking taylor expansion of (log (pow (+ 1.0 (/ 1 x)) 2)) in x
0.719 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 2) in x
0.719 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.719 * [taylor]: Taking taylor expansion of 1.0 in x
0.719 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.719 * [taylor]: Taking taylor expansion of x in x
0.720 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.720 * [taylor]: Taking taylor expansion of 1/3 in x
0.720 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.720 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.720 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.777 * [approximate]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3))) in (x) around 0
0.777 * [taylor]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3))) in x
0.777 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x
0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
0.777 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x
0.777 * [taylor]: Taking taylor expansion of 1/3 in x
0.777 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
0.777 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
0.777 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.777 * [taylor]: Taking taylor expansion of 1.0 in x
0.777 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.777 * [taylor]: Taking taylor expansion of x in x
0.779 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.779 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.779 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.779 * [taylor]: Taking taylor expansion of -1 in x
0.779 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.779 * [taylor]: Taking taylor expansion of 1/3 in x
0.779 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.779 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.780 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.780 * [taylor]: Taking taylor expansion of x in x
0.781 * [taylor]: Taking taylor expansion of (- (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3))) in x
0.781 * [taylor]: Taking taylor expansion of (pow (pow (- 1.0 (/ 1 x)) 2) 1/3) in x
0.781 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2)))) in x
0.781 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (- 1.0 (/ 1 x)) 2))) in x
0.781 * [taylor]: Taking taylor expansion of 1/3 in x
0.781 * [taylor]: Taking taylor expansion of (log (pow (- 1.0 (/ 1 x)) 2)) in x
0.781 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 2) in x
0.781 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.781 * [taylor]: Taking taylor expansion of 1.0 in x
0.781 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.781 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.782 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.782 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.782 * [taylor]: Taking taylor expansion of -1 in x
0.783 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.783 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.783 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.783 * [taylor]: Taking taylor expansion of 1/3 in x
0.783 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.783 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.783 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.783 * [taylor]: Taking taylor expansion of x in x
0.829 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
0.829 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.830 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.830 * [taylor]: Taking taylor expansion of 1/3 in x
0.830 * [taylor]: Taking taylor expansion of (log x) in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.830 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.830 * [taylor]: Taking taylor expansion of 1/3 in x
0.830 * [taylor]: Taking taylor expansion of (log x) in x
0.831 * [taylor]: Taking taylor expansion of x in x
0.884 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.884 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.884 * [taylor]: Taking taylor expansion of 1/3 in x
0.884 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.884 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.884 * [taylor]: Taking taylor expansion of x in x
0.885 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.885 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.885 * [taylor]: Taking taylor expansion of 1/3 in x
0.885 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.885 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.885 * [taylor]: Taking taylor expansion of x in x
0.937 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.937 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.937 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.937 * [taylor]: Taking taylor expansion of -1 in x
0.937 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.937 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.937 * [taylor]: Taking taylor expansion of 1/3 in x
0.937 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.939 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.939 * [taylor]: Taking taylor expansion of -1 in x
0.939 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.939 * [taylor]: Taking taylor expansion of 1/3 in x
0.939 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.940 * [taylor]: Taking taylor expansion of x in x
1.006 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2)
1.006 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.006 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.006 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.006 * [taylor]: Taking taylor expansion of 1/3 in x
1.006 * [taylor]: Taking taylor expansion of (log x) in x
1.006 * [taylor]: Taking taylor expansion of x in x
1.006 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.007 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.007 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.007 * [taylor]: Taking taylor expansion of 1/3 in x
1.007 * [taylor]: Taking taylor expansion of (log x) in x
1.007 * [taylor]: Taking taylor expansion of x in x
1.059 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.059 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.059 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.059 * [taylor]: Taking taylor expansion of 1/3 in x
1.059 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.059 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.059 * [taylor]: Taking taylor expansion of x in x
1.060 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.060 * [taylor]: Taking taylor expansion of 1/3 in x
1.060 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.060 * [taylor]: Taking taylor expansion of x in x
1.115 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.115 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.116 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.116 * [taylor]: Taking taylor expansion of -1 in x
1.116 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.116 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.116 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.116 * [taylor]: Taking taylor expansion of 1/3 in x
1.116 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.117 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.118 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.118 * [taylor]: Taking taylor expansion of -1 in x
1.118 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.118 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.118 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.118 * [taylor]: Taking taylor expansion of 1/3 in x
1.118 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.118 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.118 * [taylor]: Taking taylor expansion of x in x
1.186 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1)
1.186 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.186 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.186 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.186 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.186 * [taylor]: Taking taylor expansion of 1/3 in x
1.186 * [taylor]: Taking taylor expansion of (log x) in x
1.186 * [taylor]: Taking taylor expansion of x in x
1.187 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.187 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.187 * [taylor]: Taking taylor expansion of 1/3 in x
1.187 * [taylor]: Taking taylor expansion of (log x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.234 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.234 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.234 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.234 * [taylor]: Taking taylor expansion of 1/3 in x
1.234 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.234 * [taylor]: Taking taylor expansion of x in x
1.235 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.235 * [taylor]: Taking taylor expansion of 1/3 in x
1.235 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.235 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.235 * [taylor]: Taking taylor expansion of x in x
1.292 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.292 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.292 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.292 * [taylor]: Taking taylor expansion of -1 in x
1.293 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.293 * [taylor]: Taking taylor expansion of 1/3 in x
1.293 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.293 * [taylor]: Taking taylor expansion of x in x
1.294 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.294 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.294 * [taylor]: Taking taylor expansion of -1 in x
1.295 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.295 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.295 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.295 * [taylor]: Taking taylor expansion of 1/3 in x
1.295 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.295 * [taylor]: Taking taylor expansion of x in x
1.363 * * * [progress]: simplifying candidates
1.363 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (pow (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) 3) (pow (* (cbrt x) (cbrt x)) 3))
  (+ (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (+ (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))))
  (- (* (cbrt x) (cbrt x)))
  (- (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (* (cbrt x) (cbrt x)))
  (- (+ (* 0.5555555555555556 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.6666666666666666 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (* 0.6666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))) (pow x 2/3)))
  (- (+ (* 0.04938271604938271 (pow (/ 1 (pow x 7)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ -1 x) -2/3)) (+ (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
1.367 * * [simplify]: iteration  0 :  212  enodes  (cost  174 )
1.371 * * [simplify]: iteration  1 :  695  enodes  (cost  160 )
1.384 * * [simplify]: iteration  2 :  2405  enodes  (cost  141 )
1.440 * * [simplify]: iteration  3 :  5001  enodes  (cost  141 )
1.441 * [simplify]: Simplified to:
   (* (+ (+ x 1.0) x) (- (+ x 1.0) x))
  (+ (pow x 4/3) (* (cbrt (+ x 1.0)) (+ (+ x 1.0) (* (pow x 2/3) (cbrt (+ x 1.0))))))
  (- (pow x 2/3))
  (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (pow x 2/3))
  (+ (- (* (* x x) (- (* (pow 1.0 1/3) 0.5555555555555556) (* (pow (/ 1 (pow 1.0 5)) 1/3) 0.6666666666666666))) (pow x 2/3)) (* (+ (* 0.6666666666666666 x) 1) (pow 1.0 1/3)))
  (- (+ (* 0.04938271604938271 (pow (/ 1 (pow x 7)) 1/3)) (* 0.6666666666666666 (pow (/ 1 x) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3)))
  (- (+ (* 0.6666666666666666 (pow (/ 1 x) 1/3)) (pow (/ -1 x) -2/3)) (+ (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3)) (* 0.1111111111111111 (pow (/ 1 (pow x 4)) 1/3))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
1.441 * * * [progress]: adding candidates to table
1.499 * * [progress]: iteration 3 / 4
1.499 * * * [progress]: picking best candidate
1.512 * * * * [pick]: Picked  #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))>
1.513 * * * [progress]: localizing error
1.529 * * * [progress]: generating rewritten candidates
1.529 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
1.533 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
1.542 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
1.555 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
1.556 * * * [progress]: generating series expansions
1.556 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
1.557 * [approximate]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in (x) around 0
1.557 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
1.557 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
1.557 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
1.557 * [taylor]: Taking taylor expansion of 1/3 in x
1.557 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
1.557 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
1.557 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.557 * [taylor]: Taking taylor expansion of x in x
1.557 * [taylor]: Taking taylor expansion of 1.0 in x
1.559 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
1.559 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
1.559 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
1.559 * [taylor]: Taking taylor expansion of 1/3 in x
1.559 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
1.559 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
1.559 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.559 * [taylor]: Taking taylor expansion of x in x
1.559 * [taylor]: Taking taylor expansion of 1.0 in x
1.684 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
1.684 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
1.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
1.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
1.684 * [taylor]: Taking taylor expansion of 1/3 in x
1.684 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
1.684 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
1.684 * [taylor]: Taking taylor expansion of 1.0 in x
1.684 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.684 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.684 * [taylor]: Taking taylor expansion of x in x
1.686 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
1.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
1.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
1.686 * [taylor]: Taking taylor expansion of 1/3 in x
1.686 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
1.686 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
1.686 * [taylor]: Taking taylor expansion of 1.0 in x
1.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.686 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.686 * [taylor]: Taking taylor expansion of x in x
1.800 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
1.800 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
1.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
1.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
1.801 * [taylor]: Taking taylor expansion of 1/3 in x
1.801 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
1.801 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.801 * [taylor]: Taking taylor expansion of 1.0 in x
1.801 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.801 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.801 * [taylor]: Taking taylor expansion of x in x
1.803 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
1.803 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
1.803 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
1.804 * [taylor]: Taking taylor expansion of 1/3 in x
1.804 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
1.804 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
1.804 * [taylor]: Taking taylor expansion of 1.0 in x
1.804 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
1.804 * [taylor]: Taking taylor expansion of (pow x 3) in x
1.804 * [taylor]: Taking taylor expansion of x in x
1.931 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
1.932 * [approximate]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in (x) around 0
1.932 * [taylor]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in x
1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
1.932 * [taylor]: Taking taylor expansion of 1/3 in x
1.932 * [taylor]: Taking taylor expansion of (log (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
1.932 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
1.932 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
1.932 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.932 * [taylor]: Taking taylor expansion of 1.0 in x
1.932 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.932 * [taylor]: Taking taylor expansion of 1.0 in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.935 * [taylor]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in x
1.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
1.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
1.935 * [taylor]: Taking taylor expansion of 1/3 in x
1.935 * [taylor]: Taking taylor expansion of (log (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
1.935 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
1.935 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
1.935 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.935 * [taylor]: Taking taylor expansion of x in x
1.935 * [taylor]: Taking taylor expansion of 1.0 in x
1.935 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
1.935 * [taylor]: Taking taylor expansion of 1.0 in x
1.935 * [taylor]: Taking taylor expansion of x in x
1.979 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in (x) around 0
1.979 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in x
1.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
1.979 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
1.979 * [taylor]: Taking taylor expansion of 1/3 in x
1.979 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
1.979 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
1.979 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
1.979 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.979 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.979 * [taylor]: Taking taylor expansion of x in x
1.980 * [taylor]: Taking taylor expansion of 1.0 in x
1.980 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.980 * [taylor]: Taking taylor expansion of 1.0 in x
1.980 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.980 * [taylor]: Taking taylor expansion of x in x
1.981 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in x
1.981 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
1.981 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
1.981 * [taylor]: Taking taylor expansion of 1/3 in x
1.981 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
1.981 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
1.981 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
1.981 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.981 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.981 * [taylor]: Taking taylor expansion of x in x
1.982 * [taylor]: Taking taylor expansion of 1.0 in x
1.982 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
1.982 * [taylor]: Taking taylor expansion of 1.0 in x
1.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.982 * [taylor]: Taking taylor expansion of x in x
2.013 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in (x) around 0
2.014 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in x
2.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
2.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
2.014 * [taylor]: Taking taylor expansion of 1/3 in x
2.014 * [taylor]: Taking taylor expansion of (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
2.014 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
2.014 * [taylor]: Taking taylor expansion of 1.0 in x
2.014 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
2.014 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.014 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.014 * [taylor]: Taking taylor expansion of x in x
2.014 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.014 * [taylor]: Taking taylor expansion of 1.0 in x
2.014 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.014 * [taylor]: Taking taylor expansion of x in x
2.016 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in x
2.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
2.016 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
2.016 * [taylor]: Taking taylor expansion of 1/3 in x
2.016 * [taylor]: Taking taylor expansion of (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
2.016 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
2.016 * [taylor]: Taking taylor expansion of 1.0 in x
2.016 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
2.016 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.016 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.016 * [taylor]: Taking taylor expansion of x in x
2.016 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.016 * [taylor]: Taking taylor expansion of 1.0 in x
2.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.016 * [taylor]: Taking taylor expansion of x in x
2.039 * * * * [progress]: [ 3 / 4 ] generating series at (2)
2.039 * [approximate]: Taking taylor expansion of (- (pow (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) 1/3) (pow x 1/3)) in (x) around 0
2.040 * [taylor]: Taking taylor expansion of (- (pow (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) 1/3) (pow x 1/3)) in x
2.040 * [taylor]: Taking taylor expansion of (pow (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) 1/3) in x
2.040 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x)))))) in x
2.040 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
2.040 * [taylor]: Taking taylor expansion of 1/3 in x
2.040 * [taylor]: Taking taylor expansion of (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
2.040 * [taylor]: Taking taylor expansion of (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
2.040 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
2.040 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.040 * [taylor]: Taking taylor expansion of x in x
2.040 * [taylor]: Taking taylor expansion of 1.0 in x
2.040 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
2.040 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
2.040 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.040 * [taylor]: Taking taylor expansion of x in x
2.040 * [taylor]: Taking taylor expansion of 1.0 in x
2.040 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.040 * [taylor]: Taking taylor expansion of 1.0 in x
2.040 * [taylor]: Taking taylor expansion of x in x
2.043 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.043 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.043 * [taylor]: Taking taylor expansion of 1/3 in x
2.043 * [taylor]: Taking taylor expansion of (log x) in x
2.043 * [taylor]: Taking taylor expansion of x in x
2.044 * [taylor]: Taking taylor expansion of (- (pow (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) 1/3) (pow x 1/3)) in x
2.044 * [taylor]: Taking taylor expansion of (pow (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) 1/3) in x
2.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x)))))) in x
2.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
2.044 * [taylor]: Taking taylor expansion of 1/3 in x
2.044 * [taylor]: Taking taylor expansion of (log (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
2.044 * [taylor]: Taking taylor expansion of (/ (+ (pow x 3) 1.0) (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
2.044 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
2.044 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.044 * [taylor]: Taking taylor expansion of x in x
2.044 * [taylor]: Taking taylor expansion of 1.0 in x
2.044 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
2.044 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
2.044 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.044 * [taylor]: Taking taylor expansion of x in x
2.044 * [taylor]: Taking taylor expansion of 1.0 in x
2.044 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
2.044 * [taylor]: Taking taylor expansion of 1.0 in x
2.044 * [taylor]: Taking taylor expansion of x in x
2.047 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.047 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.047 * [taylor]: Taking taylor expansion of 1/3 in x
2.047 * [taylor]: Taking taylor expansion of (log x) in x
2.047 * [taylor]: Taking taylor expansion of x in x
2.093 * [approximate]: Taking taylor expansion of (- (pow (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
2.093 * [taylor]: Taking taylor expansion of (- (pow (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) 1/3) (pow (/ 1 x) 1/3)) in x
2.093 * [taylor]: Taking taylor expansion of (pow (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) 1/3) in x
2.093 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))))) in x
2.093 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
2.093 * [taylor]: Taking taylor expansion of 1/3 in x
2.093 * [taylor]: Taking taylor expansion of (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
2.093 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
2.093 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
2.093 * [taylor]: Taking taylor expansion of 1.0 in x
2.093 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.093 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.093 * [taylor]: Taking taylor expansion of x in x
2.094 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
2.094 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
2.094 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.094 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.095 * [taylor]: Taking taylor expansion of 1.0 in x
2.095 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.095 * [taylor]: Taking taylor expansion of 1.0 in x
2.095 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.095 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.097 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.097 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.097 * [taylor]: Taking taylor expansion of 1/3 in x
2.097 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.097 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.097 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (- (pow (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) 1/3) (pow (/ 1 x) 1/3)) in x
2.098 * [taylor]: Taking taylor expansion of (pow (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) 1/3) in x
2.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))))) in x
2.098 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
2.098 * [taylor]: Taking taylor expansion of 1/3 in x
2.098 * [taylor]: Taking taylor expansion of (log (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
2.098 * [taylor]: Taking taylor expansion of (/ (+ 1.0 (/ 1 (pow x 3))) (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
2.098 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
2.098 * [taylor]: Taking taylor expansion of 1.0 in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.098 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.098 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
2.098 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
2.098 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.098 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.099 * [taylor]: Taking taylor expansion of 1.0 in x
2.099 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.099 * [taylor]: Taking taylor expansion of 1.0 in x
2.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.101 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.101 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.101 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.101 * [taylor]: Taking taylor expansion of 1/3 in x
2.101 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.101 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.101 * [taylor]: Taking taylor expansion of x in x
2.173 * [approximate]: Taking taylor expansion of (- (pow (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
2.173 * [taylor]: Taking taylor expansion of (- (pow (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.173 * [taylor]: Taking taylor expansion of (pow (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) 1/3) in x
2.173 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))))) in x
2.173 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
2.173 * [taylor]: Taking taylor expansion of 1/3 in x
2.173 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
2.173 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
2.173 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
2.173 * [taylor]: Taking taylor expansion of 1.0 in x
2.173 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.173 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.173 * [taylor]: Taking taylor expansion of x in x
2.174 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
2.174 * [taylor]: Taking taylor expansion of 1.0 in x
2.174 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
2.174 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.174 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.174 * [taylor]: Taking taylor expansion of x in x
2.174 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.174 * [taylor]: Taking taylor expansion of 1.0 in x
2.174 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.174 * [taylor]: Taking taylor expansion of x in x
2.177 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.177 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.177 * [taylor]: Taking taylor expansion of -1 in x
2.178 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.178 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.178 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.178 * [taylor]: Taking taylor expansion of 1/3 in x
2.178 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.178 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.178 * [taylor]: Taking taylor expansion of x in x
2.179 * [taylor]: Taking taylor expansion of (- (pow (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.179 * [taylor]: Taking taylor expansion of (pow (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) 1/3) in x
2.179 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))))) in x
2.179 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
2.179 * [taylor]: Taking taylor expansion of 1/3 in x
2.179 * [taylor]: Taking taylor expansion of (log (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
2.179 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 (pow x 3))) (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
2.179 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
2.179 * [taylor]: Taking taylor expansion of 1.0 in x
2.179 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.179 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.179 * [taylor]: Taking taylor expansion of x in x
2.180 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
2.180 * [taylor]: Taking taylor expansion of 1.0 in x
2.180 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
2.180 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.180 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.180 * [taylor]: Taking taylor expansion of x in x
2.180 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
2.180 * [taylor]: Taking taylor expansion of 1.0 in x
2.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.180 * [taylor]: Taking taylor expansion of x in x
2.183 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.183 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.183 * [taylor]: Taking taylor expansion of -1 in x
2.184 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.184 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.184 * [taylor]: Taking taylor expansion of 1/3 in x
2.184 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.184 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.184 * [taylor]: Taking taylor expansion of x in x
2.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.227 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
2.227 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.227 * [taylor]: Taking taylor expansion of 1/3 in x
2.227 * [taylor]: Taking taylor expansion of (log x) in x
2.227 * [taylor]: Taking taylor expansion of x in x
2.227 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.228 * [taylor]: Taking taylor expansion of 1/3 in x
2.228 * [taylor]: Taking taylor expansion of (log x) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.280 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
2.280 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.281 * [taylor]: Taking taylor expansion of 1/3 in x
2.281 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.281 * [taylor]: Taking taylor expansion of x in x
2.281 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.281 * [taylor]: Taking taylor expansion of 1/3 in x
2.281 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.282 * [taylor]: Taking taylor expansion of x in x
2.338 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
2.338 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.338 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.338 * [taylor]: Taking taylor expansion of -1 in x
2.339 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.339 * [taylor]: Taking taylor expansion of 1/3 in x
2.339 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.339 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.339 * [taylor]: Taking taylor expansion of x in x
2.340 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.340 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.340 * [taylor]: Taking taylor expansion of -1 in x
2.341 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.341 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.341 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.341 * [taylor]: Taking taylor expansion of 1/3 in x
2.341 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.341 * [taylor]: Taking taylor expansion of x in x
2.409 * * * [progress]: simplifying candidates
2.410 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3)))
  (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0))))))
  (cbrt (- (* (* x x) (* x x)) (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0)))))
  (cbrt (- (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (- (pow (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) 3) (pow (cbrt x) 3))
  (+ (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (+ (* (cbrt x) (cbrt x)) (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))
  (- (cbrt x))
  (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x)))
  (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
  (- (cbrt x))
  (- (+ (pow 1.0 1/3) (+ (* 0.05555555555555555 (* (pow x 6) (pow 1.0 1/3))) (* 0.3333333333333333 (* (pow x 3) (pow 1.0 1/3))))) (* 1/6 (* (pow x 6) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow x 2))) (pow (/ 1 x) -1)) (* 0.1111111111111111 (/ 1 (pow x 5))))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (+ (* 0.38888888888888884 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ 1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ -1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (- (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.1111111111111111 (* (pow x 2) (pow 1.0 1/3))) (pow x 1/3)))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x)) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (pow x 2))) (* (pow (* -1 x) 1/3) (cbrt -1))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
2.415 * * [simplify]: iteration  0 :  435  enodes  (cost  338 )
2.423 * * [simplify]: iteration  1 :  1593  enodes  (cost  331 )
2.455 * * [simplify]: iteration  2 :  5001  enodes  (cost  310 )
2.457 * [simplify]: Simplified to:
   (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3)))
  (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0))))))
  (cbrt (- (* (* x x) (* x x)) (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0)))))
  (cbrt (- (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (+ (pow (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) 3) (- x))
  (+ (pow x 2/3) (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))
  (- (cbrt x))
  (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x)))
  (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))
  (- (cbrt x))
  (+ (* (+ (* 0.3333333333333333 (pow x 3)) 1) (pow 1.0 1/3)) (* (pow x 6) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))))
  (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ 1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ -1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (+ (* (pow 1.0 1/3) (- (+ (* 0.3333333333333333 x) 1) (* 0.1111111111111111 (pow x 2)))) (- (cbrt x)))
  (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3)))
  (+ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (+ (* (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (- (* (pow (* -1 x) 1/3) (cbrt -1)))))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
2.457 * * * [progress]: adding candidates to table
2.549 * * [progress]: iteration 4 / 4
2.549 * * * [progress]: picking best candidate
2.584 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))>
2.584 * * * [progress]: localizing error
2.607 * * * [progress]: generating rewritten candidates
2.607 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 1)
2.611 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1)
2.614 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1)
2.618 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
2.624 * * * [progress]: generating series expansions
2.624 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 1)
2.625 * [approximate]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in (x) around 0
2.625 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
2.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
2.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
2.625 * [taylor]: Taking taylor expansion of 1/3 in x
2.625 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
2.625 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
2.625 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.625 * [taylor]: Taking taylor expansion of x in x
2.625 * [taylor]: Taking taylor expansion of 1.0 in x
2.627 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
2.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
2.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
2.628 * [taylor]: Taking taylor expansion of 1/3 in x
2.628 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
2.628 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
2.628 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.628 * [taylor]: Taking taylor expansion of x in x
2.628 * [taylor]: Taking taylor expansion of 1.0 in x
2.758 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
2.758 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
2.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
2.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
2.758 * [taylor]: Taking taylor expansion of 1/3 in x
2.758 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
2.758 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
2.758 * [taylor]: Taking taylor expansion of 1.0 in x
2.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.758 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.758 * [taylor]: Taking taylor expansion of x in x
2.760 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
2.760 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
2.760 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
2.760 * [taylor]: Taking taylor expansion of 1/3 in x
2.760 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
2.760 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
2.760 * [taylor]: Taking taylor expansion of 1.0 in x
2.760 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.760 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.760 * [taylor]: Taking taylor expansion of x in x
2.870 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
2.870 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
2.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
2.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
2.870 * [taylor]: Taking taylor expansion of 1/3 in x
2.870 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
2.870 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
2.870 * [taylor]: Taking taylor expansion of 1.0 in x
2.870 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.870 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.870 * [taylor]: Taking taylor expansion of x in x
2.873 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
2.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
2.873 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
2.873 * [taylor]: Taking taylor expansion of 1/3 in x
2.873 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
2.873 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
2.873 * [taylor]: Taking taylor expansion of 1.0 in x
2.873 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
2.873 * [taylor]: Taking taylor expansion of (pow x 3) in x
2.873 * [taylor]: Taking taylor expansion of x in x
3.000 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1)
3.001 * [approximate]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in (x) around 0
3.001 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
3.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
3.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
3.001 * [taylor]: Taking taylor expansion of 1/3 in x
3.001 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
3.001 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
3.001 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.001 * [taylor]: Taking taylor expansion of x in x
3.001 * [taylor]: Taking taylor expansion of 1.0 in x
3.003 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
3.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
3.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
3.003 * [taylor]: Taking taylor expansion of 1/3 in x
3.003 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
3.003 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
3.003 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.003 * [taylor]: Taking taylor expansion of x in x
3.003 * [taylor]: Taking taylor expansion of 1.0 in x
3.133 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
3.133 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
3.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
3.133 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
3.133 * [taylor]: Taking taylor expansion of 1/3 in x
3.133 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
3.133 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
3.133 * [taylor]: Taking taylor expansion of 1.0 in x
3.134 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.134 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.134 * [taylor]: Taking taylor expansion of x in x
3.135 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
3.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
3.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
3.135 * [taylor]: Taking taylor expansion of 1/3 in x
3.135 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
3.135 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
3.135 * [taylor]: Taking taylor expansion of 1.0 in x
3.135 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.135 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.135 * [taylor]: Taking taylor expansion of x in x
3.245 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
3.245 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
3.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
3.245 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
3.245 * [taylor]: Taking taylor expansion of 1/3 in x
3.245 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
3.245 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
3.245 * [taylor]: Taking taylor expansion of 1.0 in x
3.245 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.245 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.248 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
3.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
3.248 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
3.248 * [taylor]: Taking taylor expansion of 1/3 in x
3.248 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
3.248 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
3.248 * [taylor]: Taking taylor expansion of 1.0 in x
3.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.248 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.248 * [taylor]: Taking taylor expansion of x in x
3.379 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1)
3.379 * [approximate]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in (x) around 0
3.379 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
3.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
3.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
3.379 * [taylor]: Taking taylor expansion of 1/3 in x
3.379 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
3.379 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
3.379 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.379 * [taylor]: Taking taylor expansion of x in x
3.379 * [taylor]: Taking taylor expansion of 1.0 in x
3.381 * [taylor]: Taking taylor expansion of (pow (+ (pow x 3) 1.0) 1/3) in x
3.381 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (pow x 3) 1.0)))) in x
3.381 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (pow x 3) 1.0))) in x
3.381 * [taylor]: Taking taylor expansion of 1/3 in x
3.381 * [taylor]: Taking taylor expansion of (log (+ (pow x 3) 1.0)) in x
3.381 * [taylor]: Taking taylor expansion of (+ (pow x 3) 1.0) in x
3.381 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.381 * [taylor]: Taking taylor expansion of x in x
3.381 * [taylor]: Taking taylor expansion of 1.0 in x
3.512 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
3.512 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
3.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
3.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
3.512 * [taylor]: Taking taylor expansion of 1/3 in x
3.512 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
3.512 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
3.512 * [taylor]: Taking taylor expansion of 1.0 in x
3.512 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.512 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.512 * [taylor]: Taking taylor expansion of x in x
3.513 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 (pow x 3))) 1/3) in x
3.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 (pow x 3)))))) in x
3.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 (pow x 3))))) in x
3.513 * [taylor]: Taking taylor expansion of 1/3 in x
3.513 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 (pow x 3)))) in x
3.513 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 (pow x 3))) in x
3.513 * [taylor]: Taking taylor expansion of 1.0 in x
3.513 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.513 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.513 * [taylor]: Taking taylor expansion of x in x
3.623 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in (x) around 0
3.623 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
3.623 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
3.623 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
3.623 * [taylor]: Taking taylor expansion of 1/3 in x
3.623 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
3.623 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
3.623 * [taylor]: Taking taylor expansion of 1.0 in x
3.623 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.623 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.623 * [taylor]: Taking taylor expansion of x in x
3.626 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 (pow x 3))) 1/3) in x
3.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 (pow x 3)))))) in x
3.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 (pow x 3))))) in x
3.626 * [taylor]: Taking taylor expansion of 1/3 in x
3.626 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 (pow x 3)))) in x
3.626 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 (pow x 3))) in x
3.626 * [taylor]: Taking taylor expansion of 1.0 in x
3.626 * [taylor]: Taking taylor expansion of (/ 1 (pow x 3)) in x
3.626 * [taylor]: Taking taylor expansion of (pow x 3) in x
3.626 * [taylor]: Taking taylor expansion of x in x
3.753 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
3.754 * [approximate]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in (x) around 0
3.754 * [taylor]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in x
3.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
3.754 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
3.754 * [taylor]: Taking taylor expansion of 1/3 in x
3.754 * [taylor]: Taking taylor expansion of (log (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
3.754 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
3.754 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.754 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.754 * [taylor]: Taking taylor expansion of x in x
3.754 * [taylor]: Taking taylor expansion of 1.0 in x
3.754 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.754 * [taylor]: Taking taylor expansion of 1.0 in x
3.754 * [taylor]: Taking taylor expansion of x in x
3.757 * [taylor]: Taking taylor expansion of (pow (- (+ (pow x 2) 1.0) (* 1.0 x)) 1/3) in x
3.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x))))) in x
3.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (pow x 2) 1.0) (* 1.0 x)))) in x
3.757 * [taylor]: Taking taylor expansion of 1/3 in x
3.757 * [taylor]: Taking taylor expansion of (log (- (+ (pow x 2) 1.0) (* 1.0 x))) in x
3.757 * [taylor]: Taking taylor expansion of (- (+ (pow x 2) 1.0) (* 1.0 x)) in x
3.757 * [taylor]: Taking taylor expansion of (+ (pow x 2) 1.0) in x
3.757 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.757 * [taylor]: Taking taylor expansion of x in x
3.757 * [taylor]: Taking taylor expansion of 1.0 in x
3.757 * [taylor]: Taking taylor expansion of (* 1.0 x) in x
3.757 * [taylor]: Taking taylor expansion of 1.0 in x
3.757 * [taylor]: Taking taylor expansion of x in x
3.808 * [approximate]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in (x) around 0
3.808 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in x
3.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
3.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
3.808 * [taylor]: Taking taylor expansion of 1/3 in x
3.808 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
3.808 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
3.808 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.808 * [taylor]: Taking taylor expansion of x in x
3.809 * [taylor]: Taking taylor expansion of 1.0 in x
3.809 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.809 * [taylor]: Taking taylor expansion of 1.0 in x
3.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.809 * [taylor]: Taking taylor expansion of x in x
3.810 * [taylor]: Taking taylor expansion of (pow (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) 1/3) in x
3.810 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))))) in x
3.810 * [taylor]: Taking taylor expansion of (* 1/3 (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))))) in x
3.810 * [taylor]: Taking taylor expansion of 1/3 in x
3.810 * [taylor]: Taking taylor expansion of (log (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x)))) in x
3.811 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (pow x 2)) 1.0) (* 1.0 (/ 1 x))) in x
3.811 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) 1.0) in x
3.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.811 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.811 * [taylor]: Taking taylor expansion of x in x
3.811 * [taylor]: Taking taylor expansion of 1.0 in x
3.811 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.811 * [taylor]: Taking taylor expansion of 1.0 in x
3.811 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.811 * [taylor]: Taking taylor expansion of x in x
3.837 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in (x) around 0
3.837 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in x
3.837 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
3.837 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
3.837 * [taylor]: Taking taylor expansion of 1/3 in x
3.837 * [taylor]: Taking taylor expansion of (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
3.837 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
3.837 * [taylor]: Taking taylor expansion of 1.0 in x
3.837 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
3.837 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.837 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.837 * [taylor]: Taking taylor expansion of x in x
3.838 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.838 * [taylor]: Taking taylor expansion of 1.0 in x
3.838 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.838 * [taylor]: Taking taylor expansion of x in x
3.839 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) 1/3) in x
3.839 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))))) in x
3.839 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))))) in x
3.839 * [taylor]: Taking taylor expansion of 1/3 in x
3.839 * [taylor]: Taking taylor expansion of (log (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))))) in x
3.839 * [taylor]: Taking taylor expansion of (+ 1.0 (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x)))) in x
3.839 * [taylor]: Taking taylor expansion of 1.0 in x
3.839 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (* 1.0 (/ 1 x))) in x
3.840 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.840 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.840 * [taylor]: Taking taylor expansion of x in x
3.840 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 x)) in x
3.840 * [taylor]: Taking taylor expansion of 1.0 in x
3.840 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.840 * [taylor]: Taking taylor expansion of x in x
3.863 * * * [progress]: simplifying candidates
3.863 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3)))
  (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0))))))
  (cbrt (- (* (* x x) (* x x)) (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0)))))
  (cbrt (- (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (- (+ (pow 1.0 1/3) (+ (* 0.05555555555555555 (* (pow x 6) (pow 1.0 1/3))) (* 0.3333333333333333 (* (pow x 3) (pow 1.0 1/3))))) (* 1/6 (* (pow x 6) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow x 2))) (pow (/ 1 x) -1)) (* 0.1111111111111111 (/ 1 (pow x 5))))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (+ (pow 1.0 1/3) (+ (* 0.05555555555555555 (* (pow x 6) (pow 1.0 1/3))) (* 0.3333333333333333 (* (pow x 3) (pow 1.0 1/3))))) (* 1/6 (* (pow x 6) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow x 2))) (pow (/ 1 x) -1)) (* 0.1111111111111111 (/ 1 (pow x 5))))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (+ (pow 1.0 1/3) (+ (* 0.05555555555555555 (* (pow x 6) (pow 1.0 1/3))) (* 0.3333333333333333 (* (pow x 3) (pow 1.0 1/3))))) (* 1/6 (* (pow x 6) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ 1 (pow x 2))) (pow (/ 1 x) -1)) (* 0.1111111111111111 (/ 1 (pow x 5))))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (+ (* 0.38888888888888884 (* (pow x 2) (pow 1.0 1/3))) (pow 1.0 1/3)) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ 1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ -1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
3.868 * * [simplify]: iteration  0 :  302  enodes  (cost  368 )
3.873 * * [simplify]: iteration  1 :  1068  enodes  (cost  352 )
3.897 * * [simplify]: iteration  2 :  5001  enodes  (cost  349 )
3.899 * [simplify]: Simplified to:
   (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (+ x 1.0))
  (cbrt (+ (pow (pow x 3) 3) (pow (pow 1.0 3) 3)))
  (cbrt (+ (* (pow x 3) (pow x 3)) (- (* (pow 1.0 3) (pow 1.0 3)) (* (pow x 3) (pow 1.0 3)))))
  (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3))))
  (cbrt (- (pow x 3) (pow 1.0 3)))
  (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3)))
  (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0))))))
  (cbrt (- (* (* x x) (* x x)) (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0)))))
  (cbrt (- (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (+ (* (+ (* 0.3333333333333333 (pow x 3)) 1) (pow 1.0 1/3)) (* (pow x 6) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))))
  (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (+ (* (+ (* 0.3333333333333333 (pow x 3)) 1) (pow 1.0 1/3)) (* (pow x 6) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))))
  (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (+ (* (+ (* 0.3333333333333333 (pow x 3)) 1) (pow 1.0 1/3)) (* (pow x 6) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))))
  (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x))
  (- (+ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (* 3 (log (/ -1 x)))))) (pow x 6))))
  (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ 1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
  (- (+ (* 0.2222222222222222 (pow (/ 1 (pow x 4)) 1/3)) (pow (/ -1 x) -2/3)) (* 0.3333333333333333 (pow (/ 1 x) 1/3)))
3.899 * * * [progress]: adding candidates to table
4.072 * [progress]: [Phase 3 of 3] Extracting.
4.072 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (/ (/ (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (cbrt (+ x 1.0)) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 1/3)) (cbrt x))))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)))> #<alt (λ (x) (- (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1)))))> #<alt (λ (x) (/ (- (* (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))> #<alt (λ (x) (/ (- (* (/ (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) (* x 1.0)))) (cbrt (+ x 1.0))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))) (cbrt x)))>)
4.081 * * * [regime-changes]: Trying 1 branch expressions: (x)
4.081 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (/ (/ (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (cbrt (+ x 1.0)) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 1/3)) (cbrt x))))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)))> #<alt (λ (x) (- (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1)))))> #<alt (λ (x) (/ (- (* (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))> #<alt (λ (x) (/ (- (* (/ (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) (* x 1.0)))) (cbrt (+ x 1.0))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))) (cbrt x)))>)
4.158 * * * [regime]: Found split indices: #<option (#s(si 7 55) #s(si 3 200) #s(si 0 255))>
4.162 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (/ (/ (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (cbrt (+ x 1.0)) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 1/3)) (cbrt x))))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)))> #<alt (λ (x) (- (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1)))))> #<alt (λ (x) (/ (- (* (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))> #<alt (λ (x) (/ (- (* (/ (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) (* x 1.0)))) (cbrt (+ x 1.0))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))) (cbrt x)))>)
4.279 * [regimes]: Found splitpoints: (#s(sp 7 x -4.495023653592418e+61) #s(sp 3 x 9.776879829956754e-05) #s(sp 0 x +nan.0)) , with alts (#<alt (λ (x) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (/ (/ (* (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3)) (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (pow x 2/3))) (+ (cbrt (+ x 1.0)) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (pow (+ (* x x) (- (* 1.0 1.0) (* x 1.0))) 1/3)) (cbrt x))))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)))> #<alt (λ (x) (- (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1)))))> #<alt (λ (x) (/ (- (* (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))))> #<alt (λ (x) (/ (- (* (/ (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) (* x 1.0)))) (cbrt (+ x 1.0))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (/ (- (* (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (/ (/ (cbrt (- (* (pow x 3) (pow x 3)) (* (pow 1.0 3) (pow 1.0 3)))) (cbrt (- (pow x 3) (pow 1.0 3)))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0)))))) (* (cbrt x) (cbrt x))) (+ (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x))))> #<alt (λ (x) (- (/ (+ (+ x (/ (- 0.1111111111111111) (pow x 5))) (/ (/ 0.3333333333333333 x) x)) (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))) (cbrt x)))> #<alt (λ (x) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (- (- (* (+ (* 0.38888888888888884 (pow x 2)) 1) (pow 1.0 1/3)) (* 0.16666666666666666 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))) (* 0.3333333333333333 (* x (pow 1.0 1/3))))) (cbrt x)))>)
4.280 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -4.495023653592418e+61) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))) (if (<= x 9.776879829956754e-05) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))))))
4.281 * * [simplify]: iteration  0 :  78  enodes  (cost  59 )
4.281 * * [simplify]: iteration  1 :  85  enodes  (cost  59 )
4.281 * * [simplify]: iteration  2 :  85  enodes  (cost  59 )
4.282 * [simplify]: Simplified to:
   (if (<= x -4.495023653592418e+61) (- (+ (* 0.3333333333333333 (pow (/ 1 (pow x 2)) 1/3)) (* 0.06172839506172839 (pow (/ 1 (pow x 8)) 1/3))) (* 0.1111111111111111 (pow (/ 1 (pow x 5)) 1/3))) (if (<= x 9.776879829956754e-05) (- (/ (cbrt (+ (pow x 3) (pow 1.0 3))) (/ (cbrt (+ (pow (* x x) 3) (pow (- (* 1.0 1.0) (* x 1.0)) 3))) (cbrt (+ (* (* x x) (* x x)) (- (* (- (* 1.0 1.0) (* x 1.0)) (- (* 1.0 1.0) (* x 1.0))) (* (* x x) (- (* 1.0 1.0) (* x 1.0)))))))) (cbrt x)) (/ (+ 0 1.0) (+ (pow x 2/3) (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x)))))))
5.598 * [regime-testing]: Baseline error score: 30.621597928582393
5.599 * [regime-testing]: Oracle error score: 11.673410483826977
5.601 * [regime-testing]: End program error score: 11.808139759827576