5.156 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.019 * * * [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.025 * * [simplify]: iteration  1 :  10  enodes  (cost  4 )
0.025 * * [simplify]: iteration  2 :  10  enodes  (cost  4 )
0.026 * [simplify]: Simplified to:
   (- (cbrt (+ x 1.0)) (cbrt x))
0.026 * * [progress]: iteration 1 / 4
0.026 * * * [progress]: picking best candidate
0.028 * * * * [pick]: Picked  #<alt (λ (x) (- (cbrt (+ x 1.0)) (cbrt x)))>
0.028 * * * [progress]: localizing error
0.033 * * * [progress]: generating rewritten candidates
0.033 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.041 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
0.042 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
0.046 * * * [progress]: generating series expansions
0.046 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.046 * [approximate]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in (x) around 0
0.046 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.046 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.046 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.046 * [taylor]: Taking taylor expansion of 1/3 in x
0.046 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.046 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.046 * [taylor]: Taking taylor expansion of 1.0 in x
0.046 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.046 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.046 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.046 * [taylor]: Taking taylor expansion of 1/3 in x
0.046 * [taylor]: Taking taylor expansion of (log x) in x
0.046 * [taylor]: Taking taylor expansion of x in x
0.047 * [taylor]: Taking taylor expansion of (- (pow (+ x 1.0) 1/3) (pow x 1/3)) in x
0.047 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.047 * [taylor]: Taking taylor expansion of 1/3 in x
0.047 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.047 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.047 * [taylor]: Taking taylor expansion of 1.0 in x
0.047 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.047 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.047 * [taylor]: Taking taylor expansion of 1/3 in x
0.047 * [taylor]: Taking taylor expansion of (log x) in x
0.047 * [taylor]: Taking taylor expansion of x in x
0.050 * [approximate]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in (x) around 0
0.050 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.050 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.050 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.050 * [taylor]: Taking taylor expansion of 1/3 in x
0.050 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.050 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.050 * [taylor]: Taking taylor expansion of 1.0 in x
0.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.050 * [taylor]: Taking taylor expansion of x in x
0.050 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.051 * [taylor]: Taking taylor expansion of 1/3 in x
0.051 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.051 * [taylor]: Taking taylor expansion of (- (pow (+ 1.0 (/ 1 x)) 1/3) (pow (/ 1 x) 1/3)) in x
0.051 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.051 * [taylor]: Taking taylor expansion of 1/3 in x
0.051 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.051 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.051 * [taylor]: Taking taylor expansion of 1.0 in x
0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.051 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.051 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.051 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.051 * [taylor]: Taking taylor expansion of 1/3 in x
0.051 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.051 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.051 * [taylor]: Taking taylor expansion of x in x
0.055 * [approximate]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in (x) around 0
0.055 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.055 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.056 * [taylor]: Taking taylor expansion of 1/3 in x
0.056 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of 1.0 in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.056 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.056 * [taylor]: Taking taylor expansion of -1 in x
0.056 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of 1/3 in x
0.056 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.056 * [taylor]: Taking taylor expansion of (- (pow (- 1.0 (/ 1 x)) 1/3) (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.056 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.056 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.056 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.056 * [taylor]: Taking taylor expansion of 1/3 in x
0.056 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.056 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.056 * [taylor]: Taking taylor expansion of 1.0 in x
0.056 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.056 * [taylor]: Taking taylor expansion of x in x
0.057 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.057 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.057 * [taylor]: Taking taylor expansion of -1 in x
0.057 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.057 * [taylor]: Taking taylor expansion of 1/3 in x
0.057 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.057 * [taylor]: Taking taylor expansion of x in x
0.061 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
0.061 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.061 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.061 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.061 * [taylor]: Taking taylor expansion of 1/3 in x
0.061 * [taylor]: Taking taylor expansion of (log x) in x
0.061 * [taylor]: Taking taylor expansion of x in x
0.061 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.061 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.061 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.061 * [taylor]: Taking taylor expansion of 1/3 in x
0.061 * [taylor]: Taking taylor expansion of (log x) in x
0.061 * [taylor]: Taking taylor expansion of x in x
0.068 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.068 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.068 * [taylor]: Taking taylor expansion of 1/3 in x
0.068 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.068 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.068 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.068 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.068 * [taylor]: Taking taylor expansion of 1/3 in x
0.068 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.068 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.068 * [taylor]: Taking taylor expansion of x in x
0.074 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.074 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.075 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.077 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.078 * [taylor]: Taking taylor expansion of 1/3 in x
0.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.078 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.078 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.078 * [taylor]: Taking taylor expansion of -1 in x
0.078 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.078 * [taylor]: Taking taylor expansion of 1/3 in x
0.078 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.078 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.078 * [taylor]: Taking taylor expansion of x in x
0.086 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
0.086 * [approximate]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in (x) around 0
0.086 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.086 * [taylor]: Taking taylor expansion of 1/3 in x
0.086 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.086 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.086 * [taylor]: Taking taylor expansion of x in x
0.086 * [taylor]: Taking taylor expansion of 1.0 in x
0.087 * [taylor]: Taking taylor expansion of (pow (+ x 1.0) 1/3) in x
0.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x 1.0)))) in x
0.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x 1.0))) in x
0.087 * [taylor]: Taking taylor expansion of 1/3 in x
0.087 * [taylor]: Taking taylor expansion of (log (+ x 1.0)) in x
0.087 * [taylor]: Taking taylor expansion of (+ x 1.0) in x
0.087 * [taylor]: Taking taylor expansion of x in x
0.087 * [taylor]: Taking taylor expansion of 1.0 in x
0.088 * [approximate]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in (x) around 0
0.088 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.088 * [taylor]: Taking taylor expansion of 1/3 in x
0.088 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.088 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.088 * [taylor]: Taking taylor expansion of 1.0 in x
0.088 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.088 * [taylor]: Taking taylor expansion of x in x
0.088 * [taylor]: Taking taylor expansion of (pow (+ 1.0 (/ 1 x)) 1/3) in x
0.088 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ 1.0 (/ 1 x))))) in x
0.088 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ 1.0 (/ 1 x)))) in x
0.088 * [taylor]: Taking taylor expansion of 1/3 in x
0.088 * [taylor]: Taking taylor expansion of (log (+ 1.0 (/ 1 x))) in x
0.089 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 x)) in x
0.089 * [taylor]: Taking taylor expansion of 1.0 in x
0.089 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.089 * [taylor]: Taking taylor expansion of x in x
0.090 * [approximate]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in (x) around 0
0.090 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.090 * [taylor]: Taking taylor expansion of 1/3 in x
0.090 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.090 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.090 * [taylor]: Taking taylor expansion of 1.0 in x
0.090 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.090 * [taylor]: Taking taylor expansion of x in x
0.090 * [taylor]: Taking taylor expansion of (pow (- 1.0 (/ 1 x)) 1/3) in x
0.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (- 1.0 (/ 1 x))))) in x
0.090 * [taylor]: Taking taylor expansion of (* 1/3 (log (- 1.0 (/ 1 x)))) in x
0.090 * [taylor]: Taking taylor expansion of 1/3 in x
0.090 * [taylor]: Taking taylor expansion of (log (- 1.0 (/ 1 x))) in x
0.090 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 x)) in x
0.091 * [taylor]: Taking taylor expansion of 1.0 in x
0.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.091 * [taylor]: Taking taylor expansion of x in x
0.092 * * * [progress]: simplifying candidates
0.093 * [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))) (+ (exp (* 1/3 (+ (log 1) (log x)))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x)) (* 0.06172839506172839 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 3)))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2))))
  (- (+ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x))) (+ (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2))) (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (- (+ (* 0.05555555555555555 (* (pow x 2) (pow 1.0 1/3))) (+ (* 0.3333333333333333 (* x (pow 1.0 1/3))) (pow 1.0 1/3))) (* 1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3))))
  (- (+ (* 0.3333333333333333 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 1) (log (/ 1 x)))))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) (pow x 2))))
  (- (+ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (* 0.3333333333333333 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) x))) (* 0.1111111111111111 (/ (exp (* 1/3 (- (log (neg 1)) (log (/ -1 x))))) (pow x 2))))
0.097 * * [simplify]: iteration  0 :  290  enodes  (cost  405 )
0.102 * * [simplify]: iteration  1 :  908  enodes  (cost  390 )
0.120 * * [simplify]: iteration  2 :  4235  enodes  (cost  335 )
0.208 * * [simplify]: iteration  3 :  5002  enodes  (cost  332 )
0.211 * [simplify]: Simplified to:
   (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (log (- (cbrt (+ x 1.0)) (cbrt x)))
  (exp (- (cbrt (+ x 1.0)) (cbrt x)))
  (* (cbrt (- (cbrt (+ x 1.0)) (cbrt x))) (cbrt (- (cbrt (+ x 1.0)) (cbrt x))))
  (cbrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (pow (- (cbrt (+ x 1.0)) (cbrt x)) 3)
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (sqrt (- (cbrt (+ x 1.0)) (cbrt x)))
  (+ 1.0 0)
  (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (cbrt x)))
  (neg (pow x 1/3))
  (- (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))) (* (cbrt x) (cbrt x)))
  (+ (cbrt (+ x 1.0)) (cbrt x))
  (+ (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (sqrt (+ x 1.0))) (sqrt (cbrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (cbrt (sqrt x)))
  (+ (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (sqrt (cbrt (+ x 1.0))) (sqrt (cbrt x)))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (- (cbrt (+ x 1.0)) (cbrt x))
  (neg (pow x 1/3))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt (+ x 1.0)))
  (exp (cbrt (+ x 1.0)))
  (cbrt (* (cbrt (+ x 1.0)) (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  (cbrt (sqrt (+ x 1.0)))
  1
  (cbrt (+ x 1.0))
  1
  (cbrt (+ x 1.0))
  (cbrt (+ (pow x 3) (pow 1.0 3)))
  (cbrt (+ (* x x) (- (* 1.0 1.0) (* x 1.0))))
  (cbrt (- (* x x) (* 1.0 1.0)))
  (cbrt (- x 1.0))
  (* (cbrt (cbrt (+ x 1.0))) (cbrt (cbrt (+ x 1.0))))
  (cbrt (cbrt (+ x 1.0)))
  (+ x 1.0)
  (sqrt (cbrt (+ x 1.0)))
  (sqrt (cbrt (+ x 1.0)))
  (- (* (pow 1.0 1/3) (+ (* 0.05555555555555555 (pow x 2)) (+ (* 0.3333333333333333 x) 1))) (- (* (pow x 1/3) (pow 1 1/3)) (* -1/6 (* (pow x 2) (pow (/ 1 (pow 1.0 5)) 1/3)))))
  (+ (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (/ (* 0.06172839506172839 (* (pow x 1/3) (pow 1 1/3))) (pow x 3)))
  (- (* (/ (exp (* 1/3 (- (log -1) (log (/ -1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))) (- (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) (exp (* 1/3 (- (log -1) (log (/ -1 x)))))))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (+ (* (pow x 2) (- (* (pow 1.0 1/3) 0.05555555555555555) (* (pow (/ 1 (pow 1.0 5)) 1/3) 1/6))) (* (+ (* 0.3333333333333333 x) 1) (pow 1.0 1/3)))
  (+ (* (pow x 1/3) (pow 1 1/3)) (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))))
  (+ (* (pow x 1/3) (pow 1 1/3)) (* (/ (exp (* 1/3 (- (log 1) (log (/ 1 x))))) x) (- 0.3333333333333333 (/ 0.1111111111111111 x))))
0.211 * * * [progress]: adding candidates to table
0.290 * * [progress]: iteration 2 / 4
0.290 * * * [progress]: picking best candidate
0.298 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (cbrt x)))))>
0.298 * * * [progress]: localizing error
0.310 * * * [progress]: generating rewritten candidates
0.310 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.311 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
0.314 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 2)
0.315 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
0.322 * * * [progress]: generating series expansions
0.322 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.322 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.322 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.322 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.322 * [taylor]: Taking taylor expansion of 1/3 in x
0.322 * [taylor]: Taking taylor expansion of (log x) in x
0.322 * [taylor]: Taking taylor expansion of x in x
0.322 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.322 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.322 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.323 * [taylor]: Taking taylor expansion of 1/3 in x
0.323 * [taylor]: Taking taylor expansion of (log x) in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.328 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.329 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.329 * [taylor]: Taking taylor expansion of 1/3 in x
0.329 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.329 * [taylor]: Taking taylor expansion of 1/3 in x
0.329 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.336 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.336 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.336 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.336 * [taylor]: Taking taylor expansion of -1 in x
0.336 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.336 * [taylor]: Taking taylor expansion of 1/3 in x
0.336 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.336 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.336 * [taylor]: Taking taylor expansion of -1 in x
0.336 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.337 * [taylor]: Taking taylor expansion of 1/3 in x
0.337 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.344 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
0.344 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.344 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.344 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.344 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.344 * [taylor]: Taking taylor expansion of 1/3 in x
0.344 * [taylor]: Taking taylor expansion of (log x) in x
0.344 * [taylor]: Taking taylor expansion of x in x
0.345 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.345 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.345 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.345 * [taylor]: Taking taylor expansion of 1/3 in x
0.345 * [taylor]: Taking taylor expansion of (log x) in x
0.345 * [taylor]: Taking taylor expansion of x in x
0.351 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.351 * [taylor]: Taking taylor expansion of 1/3 in x
0.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.351 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.351 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.351 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.351 * [taylor]: Taking taylor expansion of 1/3 in x
0.351 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.351 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.351 * [taylor]: Taking taylor expansion of x in x
0.357 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.357 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.357 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.357 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.358 * [taylor]: Taking taylor expansion of 1/3 in x
0.358 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.358 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.358 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.358 * [taylor]: Taking taylor expansion of -1 in x
0.358 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.358 * [taylor]: Taking taylor expansion of 1/3 in x
0.358 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.358 * [taylor]: Taking taylor expansion of x in x
0.366 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 2)
0.366 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.366 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.366 * [taylor]: Taking taylor expansion of 1/3 in x
0.366 * [taylor]: Taking taylor expansion of (log x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.366 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.366 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.366 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.366 * [taylor]: Taking taylor expansion of 1/3 in x
0.366 * [taylor]: Taking taylor expansion of (log x) in x
0.366 * [taylor]: Taking taylor expansion of x in x
0.372 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.372 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.372 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.372 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.372 * [taylor]: Taking taylor expansion of 1/3 in x
0.372 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.372 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.372 * [taylor]: Taking taylor expansion of x in x
0.372 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.373 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.373 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.373 * [taylor]: Taking taylor expansion of 1/3 in x
0.373 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.373 * [taylor]: Taking taylor expansion of x in x
0.379 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.379 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.379 * [taylor]: Taking taylor expansion of -1 in x
0.379 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.379 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.379 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.379 * [taylor]: Taking taylor expansion of 1/3 in x
0.379 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.379 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.379 * [taylor]: Taking taylor expansion of x in x
0.379 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.379 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.379 * [taylor]: Taking taylor expansion of -1 in x
0.380 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.380 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.380 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.380 * [taylor]: Taking taylor expansion of 1/3 in x
0.380 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.380 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.380 * [taylor]: Taking taylor expansion of x in x
0.387 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
0.387 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
0.387 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.387 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.387 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.387 * [taylor]: Taking taylor expansion of 1/3 in x
0.387 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.387 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.388 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.388 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.388 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.388 * [taylor]: Taking taylor expansion of 1/3 in x
0.388 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.388 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.388 * [taylor]: Taking taylor expansion of x in x
0.394 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
0.394 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.394 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.394 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.394 * [taylor]: Taking taylor expansion of 1/3 in x
0.394 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.394 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.394 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.395 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.395 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.395 * [taylor]: Taking taylor expansion of 1/3 in x
0.395 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.395 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.395 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.403 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
0.403 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.403 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.403 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.403 * [taylor]: Taking taylor expansion of -1 in x
0.403 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.403 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.403 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.403 * [taylor]: Taking taylor expansion of 1/3 in x
0.403 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.403 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.403 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.404 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.404 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.404 * [taylor]: Taking taylor expansion of -1 in x
0.404 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.404 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.404 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.404 * [taylor]: Taking taylor expansion of 1/3 in x
0.404 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.404 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.404 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.413 * * * [progress]: simplifying candidates
0.414 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/3 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
0.418 * * [simplify]: iteration  0 :  148  enodes  (cost  349 )
0.421 * * [simplify]: iteration  1 :  471  enodes  (cost  322 )
0.433 * * [simplify]: iteration  2 :  2276  enodes  (cost  265 )
0.483 * * [simplify]: iteration  3 :  5002  enodes  (cost  252 )
0.485 * [simplify]: Simplified to:
   (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  2/3
  2
  (* x x)
  (pow x 2/3)
  2
  (* 2 (log (cbrt x)))
  (* 2 (log (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* x x)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (pow x 2/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (pow (cbrt (cbrt x)) 5)
  (pow (sqrt (cbrt x)) 3)
  (cbrt x)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (pow (sqrt (cbrt x)) 3)
  (pow x 2/3)
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (cbrt x)
  (cbrt x)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (pow x 2/3)
  (pow x 2/3)
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
0.486 * * * [progress]: adding candidates to table
0.600 * * [progress]: iteration 3 / 4
0.600 * * * [progress]: picking best candidate
0.642 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x)))))))>
0.642 * * * [progress]: localizing error
0.658 * * * [progress]: generating rewritten candidates
0.658 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2)
0.662 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 2)
0.666 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 1 1)
0.670 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1 2)
0.671 * * * [progress]: generating series expansions
0.671 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2)
0.671 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
0.671 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.671 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.671 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.671 * [taylor]: Taking taylor expansion of 1/9 in x
0.671 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.671 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.671 * [taylor]: Taking taylor expansion of x in x
0.672 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.672 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.672 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.672 * [taylor]: Taking taylor expansion of 1/9 in x
0.672 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.672 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.672 * [taylor]: Taking taylor expansion of x in x
0.678 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
0.678 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.678 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.678 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.678 * [taylor]: Taking taylor expansion of 1/9 in x
0.678 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.678 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.678 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.678 * [taylor]: Taking taylor expansion of x in x
0.678 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.678 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.678 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.678 * [taylor]: Taking taylor expansion of 1/9 in x
0.679 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.679 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.679 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.679 * [taylor]: Taking taylor expansion of x in x
0.685 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
0.685 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.685 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.685 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.685 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.685 * [taylor]: Taking taylor expansion of 1/3 in x
0.685 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.685 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.685 * [taylor]: Taking taylor expansion of -1 in x
0.686 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.686 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.686 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.686 * [taylor]: Taking taylor expansion of 1/9 in x
0.686 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.686 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.686 * [taylor]: Taking taylor expansion of x in x
0.686 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.686 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.686 * [taylor]: Taking taylor expansion of 1/3 in x
0.686 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.686 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.686 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.686 * [taylor]: Taking taylor expansion of -1 in x
0.687 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.687 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.687 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.687 * [taylor]: Taking taylor expansion of 1/9 in x
0.687 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.687 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.687 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.687 * [taylor]: Taking taylor expansion of x in x
0.707 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 2)
0.707 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
0.707 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.707 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.707 * [taylor]: Taking taylor expansion of 1/9 in x
0.707 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.707 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.707 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.707 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.707 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.707 * [taylor]: Taking taylor expansion of 1/9 in x
0.707 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.707 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.707 * [taylor]: Taking taylor expansion of x in x
0.714 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
0.714 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.714 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.714 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.714 * [taylor]: Taking taylor expansion of 1/9 in x
0.714 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.714 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.714 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.714 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.714 * [taylor]: Taking taylor expansion of 1/9 in x
0.714 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.714 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.714 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.714 * [taylor]: Taking taylor expansion of x in x
0.721 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
0.721 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.722 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.722 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.722 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.722 * [taylor]: Taking taylor expansion of 1/3 in x
0.722 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.722 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.722 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.722 * [taylor]: Taking taylor expansion of -1 in x
0.722 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.722 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.722 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.722 * [taylor]: Taking taylor expansion of 1/9 in x
0.722 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.722 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.722 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.723 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.723 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.723 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.723 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.723 * [taylor]: Taking taylor expansion of 1/3 in x
0.723 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.723 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.723 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.723 * [taylor]: Taking taylor expansion of -1 in x
0.723 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.723 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.723 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.723 * [taylor]: Taking taylor expansion of 1/9 in x
0.723 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.723 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.723 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.723 * [taylor]: Taking taylor expansion of x in x
0.742 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 1 1)
0.742 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
0.742 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.742 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.742 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.742 * [taylor]: Taking taylor expansion of 1/9 in x
0.742 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.742 * [taylor]: Taking taylor expansion of x in x
0.743 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
0.743 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
0.743 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
0.743 * [taylor]: Taking taylor expansion of 1/9 in x
0.743 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.743 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.743 * [taylor]: Taking taylor expansion of x in x
0.750 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
0.750 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.750 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.750 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.750 * [taylor]: Taking taylor expansion of 1/9 in x
0.750 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.750 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.750 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.750 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.750 * [taylor]: Taking taylor expansion of 1/9 in x
0.750 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.750 * [taylor]: Taking taylor expansion of x in x
0.757 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
0.757 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.757 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.757 * [taylor]: Taking taylor expansion of 1/3 in x
0.757 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.757 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.757 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.757 * [taylor]: Taking taylor expansion of -1 in x
0.757 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.757 * [taylor]: Taking taylor expansion of 1/9 in x
0.758 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
0.758 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
0.758 * [taylor]: Taking taylor expansion of 1/3 in x
0.758 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
0.758 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.758 * [taylor]: Taking taylor expansion of -1 in x
0.758 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
0.758 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
0.758 * [taylor]: Taking taylor expansion of 1/9 in x
0.758 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.777 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1 2)
0.777 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.777 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.777 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.778 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.778 * [taylor]: Taking taylor expansion of 1/3 in x
0.778 * [taylor]: Taking taylor expansion of (log x) in x
0.778 * [taylor]: Taking taylor expansion of x in x
0.778 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.778 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.778 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.778 * [taylor]: Taking taylor expansion of 1/3 in x
0.778 * [taylor]: Taking taylor expansion of (log x) in x
0.778 * [taylor]: Taking taylor expansion of x in x
0.784 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.784 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.784 * [taylor]: Taking taylor expansion of 1/3 in x
0.784 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.784 * [taylor]: Taking taylor expansion of x in x
0.784 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.784 * [taylor]: Taking taylor expansion of 1/3 in x
0.784 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.784 * [taylor]: Taking taylor expansion of x in x
0.792 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.792 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.792 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.792 * [taylor]: Taking taylor expansion of -1 in x
0.792 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.792 * [taylor]: Taking taylor expansion of 1/3 in x
0.792 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.792 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.792 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.792 * [taylor]: Taking taylor expansion of -1 in x
0.792 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.792 * [taylor]: Taking taylor expansion of 1/3 in x
0.792 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.792 * [taylor]: Taking taylor expansion of x in x
0.800 * * * [progress]: simplifying candidates
0.801 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (exp (* 1/9 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x)))))))
  (exp (* 1/9 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x)))))))
  (exp (* 1/9 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x)))))))
  (exp (* 1/3 (+ (log 1) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
0.804 * * [simplify]: iteration  0 :  114  enodes  (cost  285 )
0.806 * * [simplify]: iteration  1 :  227  enodes  (cost  251 )
0.809 * * [simplify]: iteration  2 :  718  enodes  (cost  205 )
0.828 * * [simplify]: iteration  3 :  3809  enodes  (cost  190 )
0.983 * * [simplify]: iteration  4 :  5001  enodes  (cost  190 )
0.985 * [simplify]: Simplified to:
   (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt x))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt x))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (log (cbrt (* (cbrt x) (cbrt x))))
  (exp (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt x))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (sqrt (cbrt (* (cbrt x) (cbrt x))))
  (* 1/3 (log x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (pow x 2/9)
  (pow x 2/9)
  (* (* (pow (pow (cbrt -1) 2) 1/3) 1) (pow (/ -1 x) -2/9))
  (pow x 2/9)
  (pow x 2/9)
  (* (* (pow (pow (cbrt -1) 2) 1/3) 1) (pow (/ -1 x) -2/9))
  (pow x 2/9)
  (pow x 2/9)
  (* (* (pow (pow (cbrt -1) 2) 1/3) 1) (pow (/ -1 x) -2/9))
  (pow x 1/3)
  (pow x 1/3)
  (* (* (cbrt -1) 1) (pow (pow (/ -1 x) -2) 1/6))
0.985 * * * [progress]: adding candidates to table
1.068 * * [progress]: iteration 4 / 4
1.068 * * * [progress]: picking best candidate
1.118 * * * * [pick]: Picked  #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))))>
1.118 * * * [progress]: localizing error
1.134 * * * [progress]: generating rewritten candidates
1.134 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 2)
1.136 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 2 1 2)
1.138 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2 2 1 1)
1.139 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2 1)
1.152 * * * [progress]: generating series expansions
1.152 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 2)
1.152 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
1.152 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.152 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.152 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.152 * [taylor]: Taking taylor expansion of 1/9 in x
1.152 * [taylor]: Taking taylor expansion of (log x) in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.152 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.152 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.152 * [taylor]: Taking taylor expansion of 1/9 in x
1.152 * [taylor]: Taking taylor expansion of (log x) in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.158 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.158 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.158 * [taylor]: Taking taylor expansion of 1/9 in x
1.158 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.158 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.158 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.158 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.158 * [taylor]: Taking taylor expansion of 1/9 in x
1.158 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.158 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.158 * [taylor]: Taking taylor expansion of x in x
1.164 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
1.165 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.165 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.165 * [taylor]: Taking taylor expansion of 1/3 in x
1.165 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.165 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.165 * [taylor]: Taking taylor expansion of -1 in x
1.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.165 * [taylor]: Taking taylor expansion of 1/9 in x
1.165 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.165 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.165 * [taylor]: Taking taylor expansion of x in x
1.165 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.165 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.165 * [taylor]: Taking taylor expansion of 1/3 in x
1.165 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.165 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.165 * [taylor]: Taking taylor expansion of -1 in x
1.165 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.165 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.165 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.165 * [taylor]: Taking taylor expansion of 1/9 in x
1.165 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.166 * [taylor]: Taking taylor expansion of x in x
1.181 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 2 1 2)
1.181 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
1.181 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.181 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.181 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.181 * [taylor]: Taking taylor expansion of 1/9 in x
1.181 * [taylor]: Taking taylor expansion of (log x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.181 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.181 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.181 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.181 * [taylor]: Taking taylor expansion of 1/9 in x
1.181 * [taylor]: Taking taylor expansion of (log x) in x
1.181 * [taylor]: Taking taylor expansion of x in x
1.187 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
1.187 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.187 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.187 * [taylor]: Taking taylor expansion of 1/9 in x
1.187 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.187 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.187 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.187 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.187 * [taylor]: Taking taylor expansion of 1/9 in x
1.187 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.187 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.187 * [taylor]: Taking taylor expansion of x in x
1.193 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
1.193 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.193 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.193 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.193 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.193 * [taylor]: Taking taylor expansion of 1/3 in x
1.193 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.193 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.193 * [taylor]: Taking taylor expansion of -1 in x
1.194 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.194 * [taylor]: Taking taylor expansion of 1/9 in x
1.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.194 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.194 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.194 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.194 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.194 * [taylor]: Taking taylor expansion of 1/3 in x
1.194 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.194 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.194 * [taylor]: Taking taylor expansion of -1 in x
1.194 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.194 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.194 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.194 * [taylor]: Taking taylor expansion of 1/9 in x
1.194 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.194 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.194 * [taylor]: Taking taylor expansion of x in x
1.210 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2 2 1 1)
1.210 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
1.210 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.210 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.210 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.210 * [taylor]: Taking taylor expansion of 1/9 in x
1.210 * [taylor]: Taking taylor expansion of (log x) in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.210 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.210 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.210 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.210 * [taylor]: Taking taylor expansion of 1/9 in x
1.210 * [taylor]: Taking taylor expansion of (log x) in x
1.210 * [taylor]: Taking taylor expansion of x in x
1.216 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
1.216 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.216 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.216 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.216 * [taylor]: Taking taylor expansion of 1/9 in x
1.216 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.216 * [taylor]: Taking taylor expansion of x in x
1.216 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.216 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.216 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.216 * [taylor]: Taking taylor expansion of 1/9 in x
1.216 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.216 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.216 * [taylor]: Taking taylor expansion of x in x
1.222 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
1.222 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.222 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.222 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.222 * [taylor]: Taking taylor expansion of 1/3 in x
1.222 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.222 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.222 * [taylor]: Taking taylor expansion of -1 in x
1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.223 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.223 * [taylor]: Taking taylor expansion of 1/9 in x
1.223 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.223 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.223 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.223 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.223 * [taylor]: Taking taylor expansion of 1/3 in x
1.223 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.223 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.223 * [taylor]: Taking taylor expansion of -1 in x
1.223 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.223 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.223 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.223 * [taylor]: Taking taylor expansion of 1/9 in x
1.223 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.223 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.223 * [taylor]: Taking taylor expansion of x in x
1.240 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2 1)
1.241 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
1.241 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
1.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
1.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
1.241 * [taylor]: Taking taylor expansion of 1/9 in x
1.241 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.241 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.241 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
1.241 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
1.241 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
1.241 * [taylor]: Taking taylor expansion of 1/9 in x
1.241 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.241 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.241 * [taylor]: Taking taylor expansion of x in x
1.247 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
1.247 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.248 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.248 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.248 * [taylor]: Taking taylor expansion of 1/9 in x
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.248 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.248 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.248 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.248 * [taylor]: Taking taylor expansion of 1/9 in x
1.248 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.248 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.248 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.248 * [taylor]: Taking taylor expansion of x in x
1.255 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
1.255 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
1.255 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
1.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
1.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
1.255 * [taylor]: Taking taylor expansion of 1/3 in x
1.255 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
1.255 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.255 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.255 * [taylor]: Taking taylor expansion of -1 in x
1.255 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.255 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.255 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.255 * [taylor]: Taking taylor expansion of 1/9 in x
1.255 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.255 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.255 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.255 * [taylor]: Taking taylor expansion of x in x
1.256 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
1.256 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
1.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
1.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
1.256 * [taylor]: Taking taylor expansion of 1/3 in x
1.256 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
1.256 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.256 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.256 * [taylor]: Taking taylor expansion of -1 in x
1.256 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.256 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.256 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.256 * [taylor]: Taking taylor expansion of 1/9 in x
1.256 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.256 * [taylor]: Taking taylor expansion of x in x
1.274 * * * [progress]: simplifying candidates
1.276 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt 1))
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt 1))
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt 1))
  (cbrt (cbrt x))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt 1)
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (+ 1 1)
  (+ (log (cbrt (cbrt x))) (log (cbrt (cbrt x))))
  (log (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (exp (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (cbrt x))
  (* (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (sqrt (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt 1)) (cbrt (cbrt 1)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* 1 1)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (cbrt x))) (cbrt (cbrt (sqrt x))))
  (* (sqrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (sqrt (cbrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (cbrt x)) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt x)) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt 1)))
  (* (cbrt (cbrt x)) (cbrt (* (cbrt (cbrt x)) (cbrt (cbrt x)))))
  (* (cbrt (cbrt x)) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt 1))
  (* (cbrt (cbrt x)) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))))
  (* (cbrt (cbrt x)) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) 1)
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt x)))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt x)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt x)))
  (* (cbrt (sqrt (cbrt x))) (cbrt (cbrt x)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt x)))
  (* (sqrt (cbrt (cbrt x))) (cbrt (cbrt x)))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (exp (* 1/9 (+ (log 1) (log x))))
  (exp (* 1/9 (- (log 1) (log (/ 1 x)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/9 (+ (log 1) (log x))))
  (exp (* 1/9 (- (log 1) (log (/ 1 x)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/9 (+ (log 1) (log x))))
  (exp (* 1/9 (- (log 1) (log (/ 1 x)))))
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (exp (* 1/9 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x)))))))
1.280 * * [simplify]: iteration  0 :  178  enodes  (cost  687 )
1.283 * * [simplify]: iteration  1 :  548  enodes  (cost  646 )
1.297 * * [simplify]: iteration  2 :  2604  enodes  (cost  562 )
1.351 * * [simplify]: iteration  3 :  5001  enodes  (cost  549 )
1.354 * [simplify]: Simplified to:
   (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  1
  (cbrt (cbrt x))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  1
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt x)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  1
  (cbrt (cbrt x))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  1
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt x)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  (log (cbrt (cbrt x)))
  (exp (cbrt (cbrt x)))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (cbrt (sqrt x)))
  (cbrt (cbrt (sqrt x)))
  1
  (cbrt (cbrt x))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  (cbrt (sqrt (cbrt x)))
  1
  (cbrt (cbrt x))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt (cbrt x)))
  (cbrt x)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (cbrt x)))
  2/3
  2
  (pow (cbrt (cbrt x)) 6)
  (pow (sqrt (cbrt (cbrt x))) 4)
  2
  (* 2 (log (cbrt (cbrt x))))
  (* 2 (log (cbrt (cbrt x))))
  (exp (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (pow (cbrt (cbrt x)) 6)
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (cbrt (cbrt (* (cbrt x) (cbrt x))))
  (pow (cbrt (cbrt x)) 6)
  (fabs (cbrt (cbrt x)))
  (fabs (cbrt (cbrt x)))
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  1
  (pow (sqrt (cbrt (cbrt x))) 4)
  (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  1
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  1
  (pow (sqrt (cbrt (cbrt x))) 4)
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (cbrt (sqrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (cbrt (sqrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (cbrt (sqrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (* (cbrt (sqrt (cbrt x))) (sqrt (cbrt (cbrt x))))
  (cbrt (cbrt x))
  (cbrt (cbrt x))
  2/3
  2
  (* (cbrt (cbrt x)) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt x)) (cbrt (cbrt (sqrt x))))
  (cbrt (cbrt x))
  (* (cbrt (cbrt x)) (cbrt (cbrt (* (cbrt x) (cbrt x)))))
  (* (cbrt (cbrt x)) (cbrt (sqrt (cbrt x))))
  (cbrt (cbrt x))
  (pow (cbrt (cbrt (cbrt x))) 5)
  (pow (sqrt (cbrt (cbrt x))) 3)
  (cbrt (cbrt x))
  (pow (cbrt (cbrt (cbrt x))) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt (sqrt x))))
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (* (cbrt (cbrt x)) (cbrt (sqrt (cbrt x))))
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow (cbrt (cbrt (cbrt x))) 4)
  (pow (sqrt (cbrt (cbrt x))) 3)
  (pow (sqrt (cbrt (cbrt x))) 4)
  (pow x 1/9)
  (pow x 1/9)
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (pow x 1/9)
  (pow x 1/9)
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (pow x 1/9)
  (pow x 1/9)
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (pow x 2/9)
  (pow x 2/9)
  (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 x)))))))
1.355 * * * [progress]: adding candidates to table
1.494 * [progress]: [Phase 3 of 3] Extracting.
1.494 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (* (* (cbrt -1) 1) (pow (pow (/ -1 x) -2) 1/6))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (pow (+ x 1.0) 1/3) (cbrt x)))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (pow (cbrt (cbrt (cbrt x))) 4) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))) (cbrt (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 1/9))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (exp (log (cbrt (* (cbrt x) (cbrt x)))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (cbrt (* x x)))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt x) (cbrt (sqrt x))) (cbrt (sqrt x))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (pow x 1/3)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))) (cbrt (* (cbrt x) (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (pow (cbrt (cbrt (cbrt x))) 4)) (cbrt (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x)))))))))>)
1.501 * * * [regime-changes]: Trying 1 branch expressions: (x)
1.501 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (* (* (cbrt -1) 1) (pow (pow (/ -1 x) -2) 1/6))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x)))))))> #<alt (λ (x) (- (pow (+ x 1.0) 1/3) (cbrt x)))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (pow (cbrt (cbrt (cbrt x))) 4) (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x))))) (cbrt (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (pow x 1/9))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (exp (log (cbrt (* (cbrt x) (cbrt x)))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (* (sqrt (cbrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt (* (cbrt x) (cbrt x)))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (cbrt (* x x)))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt x) (cbrt (sqrt x))) (cbrt (sqrt x))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x)))) (cbrt (* (cbrt x) (pow x 1/3)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x))))))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (sqrt x)) (cbrt (sqrt x))) (* (cbrt (sqrt x)) (cbrt (sqrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (cbrt (cbrt (* (cbrt x) (cbrt x))))) (cbrt (cbrt (* (cbrt x) (cbrt x)))))) (cbrt (* (cbrt x) (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt (* (cbrt x) (cbrt x)))) (pow (cbrt (cbrt (cbrt x))) 4)) (cbrt (cbrt x)))))))> #<alt (λ (x) (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x)))))))))>)
1.584 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
1.584 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))))
1.585 * * [simplify]: iteration  0 :  22  enodes  (cost  20 )
1.585 * * [simplify]: iteration  1 :  26  enodes  (cost  20 )
1.585 * * [simplify]: iteration  2 :  26  enodes  (cost  20 )
1.585 * [simplify]: Simplified to:
   (/ (+ 1.0 0) (+ (* (cbrt (+ x 1.0)) (+ (cbrt (+ x 1.0)) (cbrt x))) (* (cbrt x) (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))))))
3.879 * [regime-testing]: End program error score: 0.5832366700766108