3.923 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.020 * * * [progress]: [2/2] Setting up program.
0.022 * [progress]: [Phase 2 of 3] Improving.
0.022 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- (cbrt (+ x 1.0)) (cbrt x))
0.024 * * [simplify]: iteration  0 :  9  enodes  (cost  4 )
0.026 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.027 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.027 * [simplify]: Simplified to:
   (- (cbrt (+ x 1.0)) (cbrt x))
0.027 * * [progress]: iteration 1 / 4
0.027 * * * [progress]: picking best candidate
0.029 * * * * [pick]: Picked  #<alt (λ (x) (- (cbrt (+ x 1.0)) (cbrt x)))>
0.029 * * * [progress]: localizing error
0.035 * * * [progress]: generating rewritten candidates
0.035 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.042 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.044 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.047 * * * [progress]: generating series expansions
0.047 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.047 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
0.047 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.048 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.048 * [taylor]: Taking taylor expansion of 1/3 in x
0.048 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.048 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.048 * [taylor]: Taking taylor expansion of x in x
0.048 * [taylor]: Taking taylor expansion of 1.0 in x
0.051 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.051 * [taylor]: Taking taylor expansion of 1/3 in x
0.051 * [taylor]: Taking taylor expansion of (log x) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.052 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.052 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.052 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.052 * [taylor]: Taking taylor expansion of 1/3 in x
0.052 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.052 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.052 * [taylor]: Taking taylor expansion of x in x
0.052 * [taylor]: Taking taylor expansion of 1.0 in x
0.054 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.054 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.054 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.054 * [taylor]: Taking taylor expansion of 1/3 in x
0.054 * [taylor]: Taking taylor expansion of (log x) in x
0.054 * [taylor]: Taking taylor expansion of x in x
0.103 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
0.103 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.103 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.103 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.103 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.103 * [taylor]: Taking taylor expansion of 1/3 in x
0.103 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.103 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.103 * [taylor]: Taking taylor expansion of 1.0 in x
0.103 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.103 * [taylor]: Taking taylor expansion of x in x
0.104 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.105 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.105 * [taylor]: Taking taylor expansion of 1/3 in x
0.105 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.105 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.105 * [taylor]: Taking taylor expansion of x in x
0.105 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.105 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.105 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.106 * [taylor]: Taking taylor expansion of 1/3 in x
0.106 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.106 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.106 * [taylor]: Taking taylor expansion of 1.0 in x
0.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.106 * [taylor]: Taking taylor expansion of x in x
0.107 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.107 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.107 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.107 * [taylor]: Taking taylor expansion of 1/3 in x
0.107 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.107 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.107 * [taylor]: Taking taylor expansion of x in x
0.159 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
0.159 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.159 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.159 * [taylor]: Taking taylor expansion of 1/3 in x
0.159 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.159 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of 1.0 in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.161 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.161 * [taylor]: Taking taylor expansion of -1 in x
0.162 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.162 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.162 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.162 * [taylor]: Taking taylor expansion of 1/3 in x
0.162 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.163 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.163 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.163 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.163 * [taylor]: Taking taylor expansion of 1/3 in x
0.163 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.163 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.163 * [taylor]: Taking taylor expansion of 1.0 in x
0.163 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.163 * [taylor]: Taking taylor expansion of x in x
0.165 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.165 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.165 * [taylor]: Taking taylor expansion of -1 in x
0.166 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.166 * [taylor]: Taking taylor expansion of 1/3 in x
0.166 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.166 * [taylor]: Taking taylor expansion of x in x
0.200 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.200 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.200 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.200 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.200 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.200 * [taylor]: Taking taylor expansion of 1/3 in x
0.201 * [taylor]: Taking taylor expansion of (log x) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.201 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.201 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.201 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.201 * [taylor]: Taking taylor expansion of 1/3 in x
0.201 * [taylor]: Taking taylor expansion of (log x) in x
0.201 * [taylor]: Taking taylor expansion of x in x
0.254 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.254 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.254 * [taylor]: Taking taylor expansion of 1/3 in x
0.254 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.254 * [taylor]: Taking taylor expansion of x in x
0.255 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.255 * [taylor]: Taking taylor expansion of 1/3 in x
0.255 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.255 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.255 * [taylor]: Taking taylor expansion of x in x
0.305 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.305 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.305 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.305 * [taylor]: Taking taylor expansion of -1 in x
0.306 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.306 * [taylor]: Taking taylor expansion of 1/3 in x
0.306 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.306 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.306 * [taylor]: Taking taylor expansion of x in x
0.307 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.307 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.307 * [taylor]: Taking taylor expansion of -1 in x
0.314 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.314 * [taylor]: Taking taylor expansion of 1/3 in x
0.314 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.314 * [taylor]: Taking taylor expansion of x in x
0.375 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.375 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0
0.375 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.375 * [taylor]: Taking taylor expansion of 1/3 in x
0.375 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.375 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.375 * [taylor]: Taking taylor expansion of x in x
0.375 * [taylor]: Taking taylor expansion of 1.0 in x
0.377 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.377 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.377 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.377 * [taylor]: Taking taylor expansion of 1/3 in x
0.377 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.377 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.378 * [taylor]: Taking taylor expansion of x in x
0.378 * [taylor]: Taking taylor expansion of 1.0 in x
0.417 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0
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.418 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.418 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.418 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.418 * [taylor]: Taking taylor expansion of 1/3 in x
0.418 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.418 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.418 * [taylor]: Taking taylor expansion of 1.0 in x
0.418 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.418 * [taylor]: Taking taylor expansion of x in x
0.437 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
0.437 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.437 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.437 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.437 * [taylor]: Taking taylor expansion of 1/3 in x
0.437 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.437 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.437 * [taylor]: Taking taylor expansion of 1.0 in x
0.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.437 * [taylor]: Taking taylor expansion of x in x
0.439 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.439 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.439 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.439 * [taylor]: Taking taylor expansion of 1/3 in x
0.439 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.439 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.439 * [taylor]: Taking taylor expansion of 1.0 in x
0.439 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.439 * [taylor]: Taking taylor expansion of x in x
0.463 * * * [progress]: simplifying candidates
0.464 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (+ (* 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.469 * * [simplify]: iteration  0 :  287  enodes  (cost  358 )
0.474 * * [simplify]: iteration  1 :  934  enodes  (cost  344 )
0.495 * * [simplify]: iteration  2 :  4839  enodes  (cost  322 )
0.624 * * [simplify]: iteration  3 :  5001  enodes  (cost  322 )
0.632 * [simplify]: Simplified to:
   (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ 0 1.0)
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (+ x 1.0)
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (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.632 * * * [progress]: adding candidates to table
0.751 * * [progress]: iteration 2 / 4
0.751 * * * [progress]: picking best candidate
0.777 * * * * [pick]: Picked  #<alt (λ (x) (exp (log (- (cbrt (+ x 1.0)) (cbrt x)))))>
0.777 * * * [progress]: localizing error
0.786 * * * [progress]: generating rewritten candidates
0.786 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.794 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
0.802 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2)
0.803 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.808 * * * [progress]: generating series expansions
0.808 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.808 * [approximate]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in (x) around 0
0.808 * [taylor]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in x
0.808 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.808 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.808 * [taylor]: Taking taylor expansion of 1/3 in x
0.808 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.808 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of 1.0 in x
0.811 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.811 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.811 * [taylor]: Taking taylor expansion of 1/3 in x
0.811 * [taylor]: Taking taylor expansion of (log x) in x
0.811 * [taylor]: Taking taylor expansion of x in x
0.812 * [taylor]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in x
0.812 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.812 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.812 * [taylor]: Taking taylor expansion of 1/3 in x
0.812 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.812 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.812 * [taylor]: Taking taylor expansion of x in x
0.812 * [taylor]: Taking taylor expansion of 1.0 in x
0.814 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.814 * [taylor]: Taking taylor expansion of 1/3 in x
0.814 * [taylor]: Taking taylor expansion of (log x) in x
0.814 * [taylor]: Taking taylor expansion of x in x
0.878 * [approximate]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in (x) around 0
0.878 * [taylor]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in x
0.878 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.878 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.878 * [taylor]: Taking taylor expansion of 1/3 in x
0.878 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.878 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.878 * [taylor]: Taking taylor expansion of 1.0 in x
0.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.878 * [taylor]: Taking taylor expansion of x in x
0.879 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.879 * [taylor]: Taking taylor expansion of 1/3 in x
0.879 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.879 * [taylor]: Taking taylor expansion of x in x
0.889 * [taylor]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in x
0.889 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.889 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.889 * [taylor]: Taking taylor expansion of 1/3 in x
0.889 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.889 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.889 * [taylor]: Taking taylor expansion of 1.0 in x
0.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.889 * [taylor]: Taking taylor expansion of x in x
0.890 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.890 * [taylor]: Taking taylor expansion of 1/3 in x
0.890 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.890 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.890 * [taylor]: Taking taylor expansion of x in x
0.948 * [approximate]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in (x) around 0
0.948 * [taylor]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.948 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.948 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.948 * [taylor]: Taking taylor expansion of 1/3 in x
0.948 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.948 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.948 * [taylor]: Taking taylor expansion of 1.0 in x
0.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.948 * [taylor]: Taking taylor expansion of x in x
0.950 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.950 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.950 * [taylor]: Taking taylor expansion of -1 in x
0.951 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.951 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.951 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.951 * [taylor]: Taking taylor expansion of 1/3 in x
0.951 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.951 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.951 * [taylor]: Taking taylor expansion of x in x
0.954 * [taylor]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.954 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.954 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.954 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.954 * [taylor]: Taking taylor expansion of 1/3 in x
0.954 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.954 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.954 * [taylor]: Taking taylor expansion of 1.0 in x
0.954 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.954 * [taylor]: Taking taylor expansion of x in x
0.956 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.956 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.956 * [taylor]: Taking taylor expansion of -1 in x
0.957 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.957 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.957 * [taylor]: Taking taylor expansion of 1/3 in x
0.957 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.957 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.957 * [taylor]: Taking taylor expansion of x in x
1.002 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
1.002 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
1.002 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.002 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.002 * [taylor]: Taking taylor expansion of 1/3 in x
1.002 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.002 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.002 * [taylor]: Taking taylor expansion of x in x
1.002 * [taylor]: Taking taylor expansion of 1.0 in x
1.004 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.004 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.004 * [taylor]: Taking taylor expansion of 1/3 in x
1.004 * [taylor]: Taking taylor expansion of (log x) in x
1.004 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.005 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.005 * [taylor]: Taking taylor expansion of 1/3 in x
1.005 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.005 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.005 * [taylor]: Taking taylor expansion of x in x
1.005 * [taylor]: Taking taylor expansion of 1.0 in x
1.007 * [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.056 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
1.056 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
1.056 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.056 * [taylor]: Taking taylor expansion of 1/3 in x
1.056 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.056 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.056 * [taylor]: Taking taylor expansion of 1.0 in x
1.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.056 * [taylor]: Taking taylor expansion of x in x
1.057 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.057 * [taylor]: Taking taylor expansion of 1/3 in x
1.057 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.057 * [taylor]: Taking taylor expansion of x in x
1.058 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
1.058 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.058 * [taylor]: Taking taylor expansion of 1/3 in x
1.058 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.058 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.058 * [taylor]: Taking taylor expansion of 1.0 in x
1.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.058 * [taylor]: Taking taylor expansion of x in x
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.111 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
1.111 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.112 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.112 * [taylor]: Taking taylor expansion of 1/3 in x
1.112 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.112 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.112 * [taylor]: Taking taylor expansion of 1.0 in x
1.112 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.114 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.114 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.114 * [taylor]: Taking taylor expansion of -1 in x
1.114 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.115 * [taylor]: Taking taylor expansion of 1/3 in x
1.115 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.115 * [taylor]: Taking taylor expansion of x in x
1.115 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.115 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.115 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.115 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.116 * [taylor]: Taking taylor expansion of 1/3 in x
1.116 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.116 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.116 * [taylor]: Taking taylor expansion of 1.0 in x
1.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.116 * [taylor]: Taking taylor expansion of x in x
1.118 * [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.153 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2)
1.153 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.153 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.153 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.153 * [taylor]: Taking taylor expansion of 1/3 in x
1.153 * [taylor]: Taking taylor expansion of (log x) in x
1.153 * [taylor]: Taking taylor expansion of x in x
1.154 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.154 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.154 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.154 * [taylor]: Taking taylor expansion of 1/3 in x
1.154 * [taylor]: Taking taylor expansion of (log x) in x
1.154 * [taylor]: Taking taylor expansion of x in x
1.206 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.206 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.206 * [taylor]: Taking taylor expansion of 1/3 in x
1.206 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.206 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.207 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.207 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.207 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.207 * [taylor]: Taking taylor expansion of 1/3 in x
1.207 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.207 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.207 * [taylor]: Taking taylor expansion of x in x
1.257 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.257 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.257 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.257 * [taylor]: Taking taylor expansion of -1 in x
1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.258 * [taylor]: Taking taylor expansion of 1/3 in x
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.259 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.259 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.259 * [taylor]: Taking taylor expansion of -1 in x
1.260 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.260 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.260 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.260 * [taylor]: Taking taylor expansion of 1/3 in x
1.260 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.260 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.260 * [taylor]: Taking taylor expansion of x in x
1.327 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
1.327 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0
1.327 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.327 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.327 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.327 * [taylor]: Taking taylor expansion of 1/3 in x
1.327 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.327 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.327 * [taylor]: Taking taylor expansion of x in x
1.327 * [taylor]: Taking taylor expansion of 1.0 in x
1.329 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.330 * [taylor]: Taking taylor expansion of 1/3 in x
1.330 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.330 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.330 * [taylor]: Taking taylor expansion of 1.0 in x
1.368 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0
1.368 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.369 * [taylor]: Taking taylor expansion of 1/3 in x
1.369 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.369 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.369 * [taylor]: Taking taylor expansion of 1.0 in x
1.369 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.369 * [taylor]: Taking taylor expansion of x in x
1.370 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.370 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.370 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.370 * [taylor]: Taking taylor expansion of 1/3 in x
1.370 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.370 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.370 * [taylor]: Taking taylor expansion of 1.0 in x
1.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.370 * [taylor]: Taking taylor expansion of x in x
1.388 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
1.389 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.389 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.389 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.389 * [taylor]: Taking taylor expansion of 1/3 in x
1.389 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.389 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.389 * [taylor]: Taking taylor expansion of 1.0 in x
1.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.389 * [taylor]: Taking taylor expansion of x in x
1.391 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.391 * [taylor]: Taking taylor expansion of 1/3 in x
1.391 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.391 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.391 * [taylor]: Taking taylor expansion of 1.0 in x
1.391 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.391 * [taylor]: Taking taylor expansion of x in x
1.415 * * * [progress]: simplifying candidates
1.416 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))))
  (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log 1)
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log 1)
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)))
  (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))
  (log (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))))
  (log (+ (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (exp (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (* (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))))
  (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (* (* (log (- (cbrt (+ x 1.0)) (cbrt x))) (log (- (cbrt (+ x 1.0)) (cbrt x)))) (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (- (+ (* 0.05555555555555555 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* (/ x (- (pow 1.0 1/3) (pow x 1/3))) (pow 1.0 1/3))) (log (- (pow 1.0 1/3) (pow x 1/3))))) (+ (* 0.05555555555555555 (* (/ (pow x 2) (pow (- (pow 1.0 1/3) (pow x 1/3)) 2)) (pow (pow 1.0 2) 1/3))) (* 1/6 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 0.18518518518518517 (/ 1 (pow x 2))) (+ (log (/ 1 x)) (log (* 0.3333333333333333 (pow x 1/3))))) (+ (* 0.006172839506172839 (/ 1 (* (pow x 2) (pow 0.3333333333333333 2)))) (* 0.3333333333333333 (/ 1 x))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* x (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (log (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow x 2) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (* 0.05555555555555555 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (* (pow x 2) (pow (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))) 2))))))
  (- (+ (* 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))))
1.423 * * [simplify]: iteration  0 :  467  enodes  (cost  711 )
1.431 * * [simplify]: iteration  1 :  1664  enodes  (cost  676 )
1.461 * * [simplify]: iteration  2 :  5001  enodes  (cost  672 )
1.471 * [simplify]: Simplified to:
   (* 2 (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))))
  (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  0
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  0
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)))
  (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))
  (log (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))))
  (log (+ (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (* (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))))
  (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (pow (log (- (cbrt (+ x 1.0)) (cbrt x))) 3)
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ x (- 1.0 x))
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))
  (neg (pow x 1/3))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (pow x 1/3))
  (log (pow x 1/3))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (+ x 1.0)
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3)))) (* 0.3333333333333333 (/ x (- (pow 1.0 1/3) (pow x 1/3)))))) (- (log (- (pow 1.0 1/3) (pow x 1/3))) (+ (* 0.05555555555555555 (* (/ (pow x 2) (pow (- (pow 1.0 1/3) (pow x 1/3)) 2)) (pow (pow 1.0 2) 1/3))) (* 1/6 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow (/ 1 (pow 1.0 5)) 1/3))))))
  (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* x (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (log (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow x 2) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (* 0.05555555555555555 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (* (pow x 2) (pow (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))) 2))))))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (* 0.3333333333333333 x))) (- (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))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (* 0.3333333333333333 x))) (+ (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))))
1.472 * * * [progress]: adding candidates to table
1.676 * * [progress]: iteration 3 / 4
1.676 * * * [progress]: picking best candidate
1.717 * * * * [pick]: Picked  #<alt (λ (x) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (cbrt x))) 3))))>
1.717 * * * [progress]: localizing error
1.728 * * * [progress]: generating rewritten candidates
1.729 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1 1)
1.737 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1 1)
1.745 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1 1 2)
1.746 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 1 1)
1.751 * * * [progress]: generating series expansions
1.751 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1 1)
1.751 * [approximate]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in (x) around 0
1.751 * [taylor]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in x
1.751 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.751 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.751 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.751 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.751 * [taylor]: Taking taylor expansion of 1/3 in x
1.751 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.751 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.751 * [taylor]: Taking taylor expansion of 1.0 in x
1.754 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.754 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.754 * [taylor]: Taking taylor expansion of 1/3 in x
1.754 * [taylor]: Taking taylor expansion of (log x) in x
1.754 * [taylor]: Taking taylor expansion of x in x
1.755 * [taylor]: Taking taylor expansion of (log (- (pow (+ x 1.0) 1/3) (pow x 1/3))) in x
1.755 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.755 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.755 * [taylor]: Taking taylor expansion of 1/3 in x
1.755 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.755 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.755 * [taylor]: Taking taylor expansion of x in x
1.755 * [taylor]: Taking taylor expansion of 1.0 in x
1.757 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.757 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.757 * [taylor]: Taking taylor expansion of 1/3 in x
1.757 * [taylor]: Taking taylor expansion of (log x) in x
1.757 * [taylor]: Taking taylor expansion of x in x
1.820 * [approximate]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in (x) around 0
1.820 * [taylor]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in x
1.820 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
1.820 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.820 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.820 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.820 * [taylor]: Taking taylor expansion of 1/3 in x
1.820 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.820 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.820 * [taylor]: Taking taylor expansion of 1.0 in x
1.820 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.820 * [taylor]: Taking taylor expansion of x in x
1.821 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.821 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.821 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.821 * [taylor]: Taking taylor expansion of 1/3 in x
1.821 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.821 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.821 * [taylor]: Taking taylor expansion of x in x
1.831 * [taylor]: Taking taylor expansion of (log (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3))) in x
1.831 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
1.831 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
1.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
1.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
1.831 * [taylor]: Taking taylor expansion of 1/3 in x
1.831 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
1.831 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
1.831 * [taylor]: Taking taylor expansion of 1.0 in x
1.831 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.831 * [taylor]: Taking taylor expansion of x in x
1.832 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.832 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.832 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.832 * [taylor]: Taking taylor expansion of 1/3 in x
1.832 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.832 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.832 * [taylor]: Taking taylor expansion of x in x
1.891 * [approximate]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in (x) around 0
1.891 * [taylor]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.891 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.891 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.891 * [taylor]: Taking taylor expansion of 1/3 in x
1.892 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.892 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.892 * [taylor]: Taking taylor expansion of 1.0 in x
1.892 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.892 * [taylor]: Taking taylor expansion of x in x
1.894 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.894 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.894 * [taylor]: Taking taylor expansion of -1 in x
1.895 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.895 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.895 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.895 * [taylor]: Taking taylor expansion of 1/3 in x
1.895 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.895 * [taylor]: Taking taylor expansion of x in x
1.898 * [taylor]: Taking taylor expansion of (log (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.898 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.898 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
1.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
1.898 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
1.898 * [taylor]: Taking taylor expansion of 1/3 in x
1.898 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
1.898 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
1.898 * [taylor]: Taking taylor expansion of 1.0 in x
1.898 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.898 * [taylor]: Taking taylor expansion of x in x
1.900 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.900 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.900 * [taylor]: Taking taylor expansion of -1 in x
1.901 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.901 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.901 * [taylor]: Taking taylor expansion of 1/3 in x
1.901 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.901 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.901 * [taylor]: Taking taylor expansion of x in x
1.951 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1 1)
1.951 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
1.952 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.952 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.952 * [taylor]: Taking taylor expansion of 1/3 in x
1.952 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.952 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.952 * [taylor]: Taking taylor expansion of x in x
1.952 * [taylor]: Taking taylor expansion of 1.0 in x
1.954 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.954 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.954 * [taylor]: Taking taylor expansion of 1/3 in x
1.954 * [taylor]: Taking taylor expansion of (log x) in x
1.954 * [taylor]: Taking taylor expansion of x in x
1.954 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
1.954 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
1.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
1.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
1.955 * [taylor]: Taking taylor expansion of 1/3 in x
1.955 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
1.955 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
1.955 * [taylor]: Taking taylor expansion of x in x
1.955 * [taylor]: Taking taylor expansion of 1.0 in x
1.957 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.957 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.957 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.957 * [taylor]: Taking taylor expansion of 1/3 in x
1.957 * [taylor]: Taking taylor expansion of (log x) in x
1.957 * [taylor]: Taking taylor expansion of x in x
2.000 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
2.000 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.000 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.000 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.000 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.000 * [taylor]: Taking taylor expansion of 1/3 in x
2.000 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.000 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.000 * [taylor]: Taking taylor expansion of 1.0 in x
2.000 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.000 * [taylor]: Taking taylor expansion of x in x
2.001 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.001 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.001 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.001 * [taylor]: Taking taylor expansion of 1/3 in x
2.001 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.001 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.001 * [taylor]: Taking taylor expansion of x in x
2.002 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.002 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.002 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.002 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.002 * [taylor]: Taking taylor expansion of 1/3 in x
2.002 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.002 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.002 * [taylor]: Taking taylor expansion of 1.0 in x
2.002 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.002 * [taylor]: Taking taylor expansion of x in x
2.003 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.003 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.003 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.003 * [taylor]: Taking taylor expansion of 1/3 in x
2.004 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.004 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.004 * [taylor]: Taking taylor expansion of x in x
2.057 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
2.057 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.057 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.057 * [taylor]: Taking taylor expansion of 1/3 in x
2.057 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.057 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.057 * [taylor]: Taking taylor expansion of 1.0 in x
2.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.057 * [taylor]: Taking taylor expansion of x in x
2.059 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.059 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.059 * [taylor]: Taking taylor expansion of -1 in x
2.060 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.060 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.060 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.060 * [taylor]: Taking taylor expansion of 1/3 in x
2.060 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.060 * [taylor]: Taking taylor expansion of x in x
2.061 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.061 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.061 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.061 * [taylor]: Taking taylor expansion of 1/3 in x
2.061 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.061 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.061 * [taylor]: Taking taylor expansion of 1.0 in x
2.061 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.061 * [taylor]: Taking taylor expansion of x in x
2.063 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.063 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.063 * [taylor]: Taking taylor expansion of -1 in x
2.064 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.064 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.064 * [taylor]: Taking taylor expansion of 1/3 in x
2.064 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.064 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.064 * [taylor]: Taking taylor expansion of x in x
2.098 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1 1 2)
2.098 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
2.098 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.098 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.098 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.098 * [taylor]: Taking taylor expansion of 1/3 in x
2.098 * [taylor]: Taking taylor expansion of (log x) in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.099 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.099 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.099 * [taylor]: Taking taylor expansion of 1/3 in x
2.099 * [taylor]: Taking taylor expansion of (log x) in x
2.099 * [taylor]: Taking taylor expansion of x in x
2.152 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
2.152 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.152 * [taylor]: Taking taylor expansion of 1/3 in x
2.152 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.152 * [taylor]: Taking taylor expansion of x in x
2.153 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.153 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.153 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.153 * [taylor]: Taking taylor expansion of 1/3 in x
2.153 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.210 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
2.210 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.210 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.210 * [taylor]: Taking taylor expansion of -1 in x
2.211 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.211 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.211 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.211 * [taylor]: Taking taylor expansion of 1/3 in x
2.211 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.211 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.211 * [taylor]: Taking taylor expansion of x in x
2.212 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.212 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.212 * [taylor]: Taking taylor expansion of -1 in x
2.212 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.213 * [taylor]: Taking taylor expansion of 1/3 in x
2.213 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.213 * [taylor]: Taking taylor expansion of x in x
2.280 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 1 1)
2.280 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0
2.280 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.280 * [taylor]: Taking taylor expansion of 1/3 in x
2.280 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.280 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.280 * [taylor]: Taking taylor expansion of x in x
2.280 * [taylor]: Taking taylor expansion of 1.0 in x
2.283 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.283 * [taylor]: Taking taylor expansion of 1/3 in x
2.283 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.283 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.283 * [taylor]: Taking taylor expansion of x in x
2.283 * [taylor]: Taking taylor expansion of 1.0 in x
2.316 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0
2.316 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.316 * [taylor]: Taking taylor expansion of 1/3 in x
2.316 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.316 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.316 * [taylor]: Taking taylor expansion of 1.0 in x
2.316 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.316 * [taylor]: Taking taylor expansion of x in x
2.317 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.317 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.317 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.317 * [taylor]: Taking taylor expansion of 1/3 in x
2.317 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.317 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.317 * [taylor]: Taking taylor expansion of 1.0 in x
2.317 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.318 * [taylor]: Taking taylor expansion of x in x
2.336 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
2.337 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.337 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.337 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.337 * [taylor]: Taking taylor expansion of 1/3 in x
2.337 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.337 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.337 * [taylor]: Taking taylor expansion of 1.0 in x
2.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.337 * [taylor]: Taking taylor expansion of x in x
2.345 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.345 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.345 * [taylor]: Taking taylor expansion of 1/3 in x
2.346 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.346 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.346 * [taylor]: Taking taylor expansion of 1.0 in x
2.346 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.346 * [taylor]: Taking taylor expansion of x in x
2.370 * * * [progress]: simplifying candidates
2.372 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))))
  (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log 1)
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log 1)
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)))
  (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))
  (log (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))))
  (log (+ (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (exp (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (* (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))))
  (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (* (* (log (- (cbrt (+ x 1.0)) (cbrt x))) (log (- (cbrt (+ x 1.0)) (cbrt x)))) (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (* (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (- (+ (* 0.05555555555555555 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* (/ x (- (pow 1.0 1/3) (pow x 1/3))) (pow 1.0 1/3))) (log (- (pow 1.0 1/3) (pow x 1/3))))) (+ (* 0.05555555555555555 (* (/ (pow x 2) (pow (- (pow 1.0 1/3) (pow x 1/3)) 2)) (pow (pow 1.0 2) 1/3))) (* 1/6 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 0.18518518518518517 (/ 1 (pow x 2))) (+ (log (/ 1 x)) (log (* 0.3333333333333333 (pow x 1/3))))) (+ (* 0.006172839506172839 (/ 1 (* (pow x 2) (pow 0.3333333333333333 2)))) (* 0.3333333333333333 (/ 1 x))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* x (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (log (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow x 2) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (* 0.05555555555555555 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (* (pow x 2) (pow (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))) 2))))))
  (- (+ (* 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))))
2.378 * * [simplify]: iteration  0 :  467  enodes  (cost  711 )
2.386 * * [simplify]: iteration  1 :  1664  enodes  (cost  676 )
2.415 * * [simplify]: iteration  2 :  5001  enodes  (cost  672 )
2.419 * [simplify]: Simplified to:
   (* 2 (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))))
  (log (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (log (sqrt (- (cbrt (+ x 1.0)) (cbrt x))))
  0
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x))))
  (log (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x))))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (cbrt 1))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  0
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3)))
  (log (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x)))))
  (log (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))))
  (log (+ (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (* (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))) (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x)))))
  (cbrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (pow (log (- (cbrt (+ x 1.0)) (cbrt x))) 3)
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (sqrt (log (- (cbrt (+ x 1.0)) (cbrt x))))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ x (- 1.0 x))
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))
  (neg (pow x 1/3))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (pow x 1/3))
  (log (pow x 1/3))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt 1)
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (+ x 1.0)
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3)))) (* 0.3333333333333333 (/ x (- (pow 1.0 1/3) (pow x 1/3)))))) (- (log (- (pow 1.0 1/3) (pow x 1/3))) (+ (* 0.05555555555555555 (* (/ (pow x 2) (pow (- (pow 1.0 1/3) (pow x 1/3)) 2)) (pow (pow 1.0 2) 1/3))) (* 1/6 (* (/ (pow x 2) (- (pow 1.0 1/3) (pow x 1/3))) (pow (/ 1 (pow 1.0 5)) 1/3))))))
  (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* x (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (log (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow x 2) (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1)))))) (* 0.05555555555555555 (/ (pow (exp (* 1/3 (- (log -1) (log (/ -1 x))))) 2) (* (pow x 2) (pow (- (exp (* 1/3 (- (log -1) (log (/ -1 x))))) (* (pow (* -1 x) 1/3) (cbrt -1))) 2))))))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (* 0.3333333333333333 x))) (- (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))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (* 0.3333333333333333 x))) (+ (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))))
2.420 * * * [progress]: adding candidates to table
2.672 * * [progress]: iteration 4 / 4
2.672 * * * [progress]: picking best candidate
2.723 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))))>
2.723 * * * [progress]: localizing error
2.731 * * * [progress]: generating rewritten candidates
2.731 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
2.739 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1)
2.747 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2)
2.748 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2)
2.755 * * * [progress]: generating series expansions
2.755 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
2.755 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
2.755 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
2.755 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.755 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.755 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.755 * [taylor]: Taking taylor expansion of 1/3 in x
2.755 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.755 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.755 * [taylor]: Taking taylor expansion of x in x
2.755 * [taylor]: Taking taylor expansion of 1.0 in x
2.758 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.758 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.758 * [taylor]: Taking taylor expansion of 1/3 in x
2.758 * [taylor]: Taking taylor expansion of (log x) in x
2.758 * [taylor]: Taking taylor expansion of x in x
2.759 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
2.759 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.759 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.759 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.759 * [taylor]: Taking taylor expansion of 1/3 in x
2.759 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.759 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.759 * [taylor]: Taking taylor expansion of x in x
2.759 * [taylor]: Taking taylor expansion of 1.0 in x
2.761 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.761 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.761 * [taylor]: Taking taylor expansion of 1/3 in x
2.761 * [taylor]: Taking taylor expansion of (log x) in x
2.761 * [taylor]: Taking taylor expansion of x in x
2.805 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
2.805 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.805 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.805 * [taylor]: Taking taylor expansion of 1/3 in x
2.805 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.805 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.805 * [taylor]: Taking taylor expansion of 1.0 in x
2.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.805 * [taylor]: Taking taylor expansion of x in x
2.806 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.806 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.806 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.806 * [taylor]: Taking taylor expansion of 1/3 in x
2.806 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.806 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.806 * [taylor]: Taking taylor expansion of x in x
2.807 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.807 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.807 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.807 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.807 * [taylor]: Taking taylor expansion of 1/3 in x
2.807 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.807 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.807 * [taylor]: Taking taylor expansion of 1.0 in x
2.807 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.807 * [taylor]: Taking taylor expansion of x in x
2.809 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.809 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.809 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.809 * [taylor]: Taking taylor expansion of 1/3 in x
2.809 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.809 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.809 * [taylor]: Taking taylor expansion of x in x
2.864 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
2.864 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.864 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.864 * [taylor]: Taking taylor expansion of 1/3 in x
2.864 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.864 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.864 * [taylor]: Taking taylor expansion of 1.0 in x
2.864 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.864 * [taylor]: Taking taylor expansion of x in x
2.866 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.866 * [taylor]: Taking taylor expansion of -1 in x
2.867 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.867 * [taylor]: Taking taylor expansion of 1/3 in x
2.867 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.867 * [taylor]: Taking taylor expansion of x in x
2.868 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
2.868 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
2.868 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
2.868 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
2.868 * [taylor]: Taking taylor expansion of 1/3 in x
2.868 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
2.868 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
2.868 * [taylor]: Taking taylor expansion of 1.0 in x
2.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.868 * [taylor]: Taking taylor expansion of x in x
2.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
2.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.870 * [taylor]: Taking taylor expansion of -1 in x
2.871 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.871 * [taylor]: Taking taylor expansion of 1/3 in x
2.871 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.871 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.871 * [taylor]: Taking taylor expansion of x in x
2.906 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1)
2.906 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
2.906 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
2.906 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.906 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.906 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.906 * [taylor]: Taking taylor expansion of 1/3 in x
2.906 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.906 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.906 * [taylor]: Taking taylor expansion of x in x
2.906 * [taylor]: Taking taylor expansion of 1.0 in x
2.908 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.908 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.908 * [taylor]: Taking taylor expansion of 1/3 in x
2.908 * [taylor]: Taking taylor expansion of (log x) in x
2.908 * [taylor]: Taking taylor expansion of x in x
2.909 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
2.909 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
2.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
2.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
2.909 * [taylor]: Taking taylor expansion of 1/3 in x
2.909 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
2.909 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
2.909 * [taylor]: Taking taylor expansion of x in x
2.909 * [taylor]: Taking taylor expansion of 1.0 in x
2.911 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.911 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.911 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.911 * [taylor]: Taking taylor expansion of 1/3 in x
2.911 * [taylor]: Taking taylor expansion of (log x) in x
2.911 * [taylor]: Taking taylor expansion of x in x
2.962 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
2.962 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.962 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.962 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.962 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.962 * [taylor]: Taking taylor expansion of 1/3 in x
2.962 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.962 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.962 * [taylor]: Taking taylor expansion of 1.0 in x
2.962 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.962 * [taylor]: Taking taylor expansion of x in x
2.963 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.963 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.963 * [taylor]: Taking taylor expansion of 1/3 in x
2.963 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.963 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.963 * [taylor]: Taking taylor expansion of x in x
2.964 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
2.964 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
2.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
2.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
2.964 * [taylor]: Taking taylor expansion of 1/3 in x
2.964 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
2.964 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
2.964 * [taylor]: Taking taylor expansion of 1.0 in x
2.964 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.964 * [taylor]: Taking taylor expansion of x in x
2.965 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.965 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.966 * [taylor]: Taking taylor expansion of 1/3 in x
2.966 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.966 * [taylor]: Taking taylor expansion of x in x
3.021 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
3.021 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
3.021 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
3.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
3.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
3.021 * [taylor]: Taking taylor expansion of 1/3 in x
3.021 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
3.021 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.022 * [taylor]: Taking taylor expansion of 1.0 in x
3.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.022 * [taylor]: Taking taylor expansion of x in x
3.024 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.024 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.024 * [taylor]: Taking taylor expansion of -1 in x
3.024 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.025 * [taylor]: Taking taylor expansion of 1/3 in x
3.025 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.025 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.025 * [taylor]: Taking taylor expansion of x in x
3.025 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
3.025 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
3.025 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
3.025 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
3.026 * [taylor]: Taking taylor expansion of 1/3 in x
3.026 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
3.026 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
3.026 * [taylor]: Taking taylor expansion of 1.0 in x
3.026 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.026 * [taylor]: Taking taylor expansion of x in x
3.028 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.028 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.028 * [taylor]: Taking taylor expansion of -1 in x
3.028 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.028 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.028 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.028 * [taylor]: Taking taylor expansion of 1/3 in x
3.028 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.029 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.029 * [taylor]: Taking taylor expansion of x in x
3.063 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2)
3.063 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
3.063 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.063 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.063 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.063 * [taylor]: Taking taylor expansion of 1/3 in x
3.063 * [taylor]: Taking taylor expansion of (log x) in x
3.063 * [taylor]: Taking taylor expansion of x in x
3.064 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.064 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.064 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.064 * [taylor]: Taking taylor expansion of 1/3 in x
3.064 * [taylor]: Taking taylor expansion of (log x) in x
3.064 * [taylor]: Taking taylor expansion of x in x
3.119 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
3.119 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.119 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.119 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.119 * [taylor]: Taking taylor expansion of 1/3 in x
3.119 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.119 * [taylor]: Taking taylor expansion of x in x
3.120 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.120 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.120 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.120 * [taylor]: Taking taylor expansion of 1/3 in x
3.120 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.120 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.120 * [taylor]: Taking taylor expansion of x in x
3.179 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
3.179 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.179 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.179 * [taylor]: Taking taylor expansion of -1 in x
3.180 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.180 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.180 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.180 * [taylor]: Taking taylor expansion of 1/3 in x
3.180 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.180 * [taylor]: Taking taylor expansion of x in x
3.181 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.181 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.181 * [taylor]: Taking taylor expansion of -1 in x
3.181 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.181 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.181 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.181 * [taylor]: Taking taylor expansion of 1/3 in x
3.182 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.182 * [taylor]: Taking taylor expansion of x in x
3.244 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2)
3.244 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
3.244 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.244 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.245 * [taylor]: Taking taylor expansion of 1/3 in x
3.245 * [taylor]: Taking taylor expansion of (log x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.245 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
3.245 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
3.245 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
3.245 * [taylor]: Taking taylor expansion of 1/3 in x
3.245 * [taylor]: Taking taylor expansion of (log x) in x
3.245 * [taylor]: Taking taylor expansion of x in x
3.301 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
3.301 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.301 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.301 * [taylor]: Taking taylor expansion of 1/3 in x
3.301 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.301 * [taylor]: Taking taylor expansion of x in x
3.302 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.302 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.302 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.302 * [taylor]: Taking taylor expansion of 1/3 in x
3.302 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.302 * [taylor]: Taking taylor expansion of x in x
3.359 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
3.360 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.360 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.360 * [taylor]: Taking taylor expansion of -1 in x
3.360 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.360 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.360 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.360 * [taylor]: Taking taylor expansion of 1/3 in x
3.360 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.360 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.360 * [taylor]: Taking taylor expansion of x in x
3.361 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
3.361 * [taylor]: Taking taylor expansion of (cbrt -1) in x
3.361 * [taylor]: Taking taylor expansion of -1 in x
3.362 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
3.362 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
3.362 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
3.362 * [taylor]: Taking taylor expansion of 1/3 in x
3.362 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
3.362 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.362 * [taylor]: Taking taylor expansion of x in x
3.432 * * * [progress]: simplifying candidates
3.433 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (/ (exp (cbrt (+ x 1.0))) (exp (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (* (- (cbrt (+ x 1.0)) (cbrt x)) (- (cbrt (+ x 1.0)) (cbrt x))) (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (- (pow (cbrt (+ x 1.0)) 3) (pow (cbrt x) 3))
  (+ (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (+ (* (cbrt x) (cbrt x)) (* (cbrt (+ x 1.0)) (cbrt x))))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (- (+ (* 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))))
  (- (+ (* 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))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
3.438 * * [simplify]: iteration  0 :  234  enodes  (cost  488 )
3.442 * * [simplify]: iteration  1 :  748  enodes  (cost  464 )
3.459 * * [simplify]: iteration  2 :  3971  enodes  (cost  438 )
3.561 * * [simplify]: iteration  3 :  5002  enodes  (cost  438 )
3.564 * [simplify]: Simplified to:
   (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ 0 1.0)
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ 0 1.0)
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))
  (neg (cbrt x))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (+ (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (+ (* 0.3333333333333333 x) 1))) (- (* -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)))
  (+ (- (* (/ (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 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (+ (* 0.3333333333333333 x) 1))) (- (* -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)))
  (+ (- (* (/ (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 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
3.565 * * * [progress]: adding candidates to table
3.950 * [progress]: [Phase 3 of 3] Extracting.
3.950 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (exp (cbrt (pow (log (- (+ (* 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)))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1))))))> #<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) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))))> #<alt (λ (x) (exp (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))))> #<alt (λ (x) (exp (log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (exp (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x)))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))))> #<alt (λ (x) (exp (cbrt (pow (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2)))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (cbrt (+ x 1.0)) (log (exp (cbrt x)))))> #<alt (λ (x) (exp (log (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (exp (log (- (+ (* 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))))))>)
3.954 * * * [regime-changes]: Trying 1 branch expressions: (x)
3.954 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (exp (cbrt (pow (log (- (+ (* 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)))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1))))))> #<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) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))))> #<alt (λ (x) (exp (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))))> #<alt (λ (x) (exp (log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (exp (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x)))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))))> #<alt (λ (x) (exp (cbrt (pow (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2)))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (cbrt (+ x 1.0)) (log (exp (cbrt x)))))> #<alt (λ (x) (exp (log (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (exp (log (- (+ (* 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))))))>)
4.038 * * * [regime]: Found split indices: #<option (#s(si 14 45) #s(si 9 182) #s(si 4 255))>
4.038 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (exp (cbrt (pow (log (- (+ (* 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)))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1))))))> #<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) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))))> #<alt (λ (x) (exp (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))))> #<alt (λ (x) (exp (log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (exp (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x)))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))))> #<alt (λ (x) (exp (cbrt (pow (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2)))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (cbrt (+ x 1.0)) (log (exp (cbrt x)))))> #<alt (λ (x) (exp (log (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (exp (log (- (+ (* 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))))))>)
4.130 * [regimes]: Found splitpoints: (#s(sp 14 x -4.4208943159679293e+61) #s(sp 9 x 3.230600590589438e-06) #s(sp 4 x +nan.0)) , with alts (#<alt (λ (x) (exp (cbrt (pow (log (- (+ (* 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)))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (pow (* -1 x) 1/3) (cbrt -1))))))> #<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) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3))))> #<alt (λ (x) (exp (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2))))))> #<alt (λ (x) (exp (log (/ (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x))) (+ (cbrt (+ x 1.0)) (cbrt x))))))> #<alt (λ (x) (exp (log (- (* (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x)))))> #<alt (λ (x) (exp (cbrt (pow (log (- (* (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0)))) (cbrt (cbrt (+ x 1.0)))) (cbrt x))) 3))))> #<alt (λ (x) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))))> #<alt (λ (x) (exp (cbrt (pow (+ (+ (+ (log (* 0.3333333333333333 (pow x 1/3))) (- (/ (/ 0.18518518518518517 x) x) (log x))) (/ (neg 0.3333333333333333) x)) (/ (neg 0.006172839506172839) (* (pow x 2) (pow 0.3333333333333333 2)))) 3))))> #<alt (λ (x) (* (sqrt (- (cbrt (+ x 1.0)) (cbrt x))) (sqrt (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (cbrt (+ x 1.0)) (log (exp (cbrt x)))))> #<alt (λ (x) (exp (log (- (cbrt (+ x 1.0)) (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (exp (log (- (+ (* 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))))))>)
4.130 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -4.4208943159679293e+61) (exp (log (- (+ (* 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 3.230600590589438e-06) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3)))))
4.131 * * [simplify]: iteration  0 :  63  enodes  (cost  42 )
4.132 * * [simplify]: iteration  1 :  67  enodes  (cost  42 )
4.132 * * [simplify]: iteration  2 :  67  enodes  (cost  42 )
4.132 * [simplify]: Simplified to:
   (if (<= x -4.4208943159679293e+61) (exp (log (- (+ (* 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 3.230600590589438e-06) (exp (cbrt (pow (log (- (cbrt (+ x 1.0)) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))) 3))) (/ (+ 0 1.0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (pow x 2/3)))))
5.705 * [regime-testing]: Baseline error score: 29.884417734574516
5.706 * [regime-testing]: Oracle error score: 11.59832095705924
5.707 * [regime-testing]: End program error score: 11.829605309686437