0.748 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.023 * * * [progress]: [2/2] Setting up program.
0.027 * [progress]: [Phase 2 of 3] Improving.
0.030 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (+ (pow x 2.0) (pow x 2.0)))
0.597 * * [simplify]: iteration  0 :  10  enodes  (cost  4 )
0.599 * * [simplify]: iteration  1 :  20  enodes  (cost  4 )
0.600 * * [simplify]: iteration  2 :  49  enodes  (cost  4 )
0.601 * * [simplify]: iteration  3 :  144  enodes  (cost  4 )
0.605 * * [simplify]: iteration  4 :  473  enodes  (cost  4 )
0.617 * * [simplify]: iteration  5 :  2128  enodes  (cost  4 )
0.669 * * [simplify]: iteration  6 :  5002  enodes  (cost  4 )
0.669 * [simplify]: Simplified to:
   (sqrt (+ (pow x 2.0) (pow x 2.0)))
0.671 * * [progress]: iteration 1 / 4
0.671 * * * [progress]: picking best candidate
0.674 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))>
0.674 * * * [progress]: localizing error
0.681 * * * [progress]: generating rewritten candidates
0.681 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.694 * * * [progress]: generating series expansions
0.694 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.699 * [approximate]: Taking taylor expansion of (* x (sqrt 2)) in (x) around 0
0.699 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.700 * [taylor]: Taking taylor expansion of 2 in x
0.700 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.700 * [taylor]: Taking taylor expansion of x in x
0.700 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.700 * [taylor]: Taking taylor expansion of 2 in x
0.702 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.702 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.702 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.702 * [taylor]: Taking taylor expansion of 2 in x
0.702 * [taylor]: Taking taylor expansion of x in x
0.702 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.702 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.703 * [taylor]: Taking taylor expansion of 2 in x
0.703 * [taylor]: Taking taylor expansion of x in x
0.704 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.704 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.704 * [taylor]: Taking taylor expansion of 2 in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.704 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.704 * [taylor]: Taking taylor expansion of 2 in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.705 * * * [progress]: simplifying candidates
0.706 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (exp (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (* (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))))
  (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (* (* (sqrt (+ (pow x 2.0) (pow x 2.0))) (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (* (cbrt (+ (pow x 2.0) (pow x 2.0))) (cbrt (+ (pow x 2.0) (pow x 2.0)))))
  (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt 1)
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))
  (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))
  (sqrt (pow (sqrt x) 2.0))
  (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0)))
  (sqrt (pow 1 2.0))
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))
  (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))
  (sqrt (sqrt (pow x 2.0)))
  (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0))))
  (sqrt 1)
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (pow x (/ 2.0 2)))
  (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (pow (sqrt x) 2.0))
  (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0)))
  (sqrt (pow x 2.0))
  (sqrt (+ (pow 1 2.0) (pow 1 2.0)))
  (sqrt (pow x 2.0))
  (sqrt (+ (pow 1 2.0) 1))
  (sqrt (cbrt (pow x 2.0)))
  (sqrt (+ (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))))
  (sqrt (sqrt (pow x 2.0)))
  (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0))))
  (sqrt (pow x 2.0))
  (sqrt (+ 1 (pow 1 2.0)))
  (sqrt (pow x 2.0))
  (sqrt (+ 1 1))
  (sqrt (pow x (/ 2.0 2)))
  (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))
  (sqrt (+ (pow 1 2.0) 1))
  (sqrt (pow x 2.0))
  (sqrt (+ 1 1))
  (sqrt (pow x 2.0))
  (sqrt (+ (pow 1 2.0) 1))
  (sqrt (pow x 2.0))
  (sqrt (+ 1 1))
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt (+ (pow (pow x 2.0) 3) (pow (pow x 2.0) 3)))
  (sqrt (+ (* (pow x 2.0) (pow x 2.0)) (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0)))))
  (sqrt (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0))))
  (sqrt (- (pow x 2.0) (pow x 2.0)))
  (/ 1 2)
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (* x (sqrt 2))
  (* x (sqrt 2))
  (* -1 (* x (sqrt 2)))
0.709 * * [simplify]: iteration  0 :  127  enodes  (cost  240 )
0.712 * * [simplify]: iteration  1 :  372  enodes  (cost  235 )
0.723 * * [simplify]: iteration  2 :  2508  enodes  (cost  225 )
0.893 * * [simplify]: iteration  3 :  5002  enodes  (cost  225 )
0.916 * [simplify]: Simplified to:
   (log (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (exp (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (* (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0)))))
  (cbrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (pow (sqrt (+ (pow x 2.0) (pow x 2.0))) 3)
  (fabs (cbrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  1
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))
  (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))
  (sqrt (pow (sqrt x) 2.0))
  (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0)))
  1
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (fabs (cbrt (pow x 2.0)))
  (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))
  (sqrt (sqrt (pow x 2.0)))
  (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0))))
  1
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (pow x (/ 2.0 2)))
  (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (pow (sqrt x) 2.0))
  (sqrt (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0)))
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (cbrt (pow x 2.0)))
  (sqrt (+ (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))))
  (sqrt (sqrt (pow x 2.0)))
  (sqrt (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0))))
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x (/ 2.0 2)))
  (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt 2)
  (sqrt (pow x 2.0))
  (sqrt (+ (pow (pow x 2.0) 3) (pow (pow x 2.0) 3)))
  (fabs (pow x 2.0))
  (sqrt (- (pow x 2.0) (pow x 2.0)))
  (sqrt (- (pow x 2.0) (pow x 2.0)))
  1/2
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))
  (* x (sqrt 2))
  (* x (sqrt 2))
  (* -1 (* x (sqrt 2)))
0.916 * * * [progress]: adding candidates to table
0.984 * * [progress]: iteration 2 / 4
0.984 * * * [progress]: picking best candidate
1.005 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
1.005 * * * [progress]: localizing error
1.018 * * * [progress]: generating rewritten candidates
1.018 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
1.020 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
1.022 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
1.023 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
1.025 * * * [progress]: generating series expansions
1.025 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
1.025 * [approximate]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in (x) around 0
1.025 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
1.025 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
1.025 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
1.025 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.025 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
1.025 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.025 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.025 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.025 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.025 * [taylor]: Taking taylor expansion of (log x) in x
1.025 * [taylor]: Taking taylor expansion of x in x
1.026 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
1.026 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
1.026 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
1.026 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.026 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
1.026 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.026 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.026 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.026 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.026 * [taylor]: Taking taylor expansion of (log x) in x
1.026 * [taylor]: Taking taylor expansion of x in x
1.041 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in (x) around 0
1.041 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
1.041 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
1.041 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
1.041 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.041 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
1.041 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
1.041 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.041 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.041 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.041 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.041 * [taylor]: Taking taylor expansion of (log x) in x
1.041 * [taylor]: Taking taylor expansion of x in x
1.042 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
1.042 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
1.042 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
1.042 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.042 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
1.042 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
1.042 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.042 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.042 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.042 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.042 * [taylor]: Taking taylor expansion of (log x) in x
1.042 * [taylor]: Taking taylor expansion of x in x
1.058 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in (x) around 0
1.058 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x
1.058 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
1.058 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
1.058 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
1.058 * [taylor]: Taking taylor expansion of 1.0 in x
1.058 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
1.058 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
1.058 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
1.058 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
1.058 * [taylor]: Taking taylor expansion of 2.0 in x
1.058 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.061 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.061 * [taylor]: Taking taylor expansion of -1 in x
1.062 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
1.062 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
1.062 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
1.062 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.062 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
1.062 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
1.062 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.062 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.062 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.062 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.062 * [taylor]: Taking taylor expansion of (log x) in x
1.062 * [taylor]: Taking taylor expansion of x in x
1.063 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x
1.063 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
1.063 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
1.063 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
1.063 * [taylor]: Taking taylor expansion of 1.0 in x
1.063 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
1.063 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
1.063 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
1.063 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
1.063 * [taylor]: Taking taylor expansion of 2.0 in x
1.063 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.063 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.063 * [taylor]: Taking taylor expansion of -1 in x
1.063 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
1.063 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
1.063 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
1.063 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.063 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
1.063 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
1.063 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
1.063 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
1.063 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
1.063 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.063 * [taylor]: Taking taylor expansion of (log x) in x
1.063 * [taylor]: Taking taylor expansion of x in x
1.099 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
1.099 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.099 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.099 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.099 * [taylor]: Taking taylor expansion of 1/3 in x
1.099 * [taylor]: Taking taylor expansion of (log x) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.099 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.099 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.099 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.099 * [taylor]: Taking taylor expansion of 1/3 in x
1.099 * [taylor]: Taking taylor expansion of (log x) in x
1.099 * [taylor]: Taking taylor expansion of x in x
1.105 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.105 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.106 * [taylor]: Taking taylor expansion of 1/3 in x
1.106 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.106 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.106 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.106 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.106 * [taylor]: Taking taylor expansion of 1/3 in x
1.106 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.106 * [taylor]: Taking taylor expansion of x in x
1.112 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.112 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.112 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.112 * [taylor]: Taking taylor expansion of -1 in x
1.113 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.113 * [taylor]: Taking taylor expansion of 1/3 in x
1.113 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.113 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.113 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.113 * [taylor]: Taking taylor expansion of -1 in x
1.113 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.113 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.113 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.113 * [taylor]: Taking taylor expansion of 1/3 in x
1.113 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.113 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.113 * [taylor]: Taking taylor expansion of x in x
1.121 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
1.121 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.121 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.121 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.121 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.121 * [taylor]: Taking taylor expansion of 1/3 in x
1.121 * [taylor]: Taking taylor expansion of (log x) in x
1.121 * [taylor]: Taking taylor expansion of x in x
1.122 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.122 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.122 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.122 * [taylor]: Taking taylor expansion of 1/3 in x
1.122 * [taylor]: Taking taylor expansion of (log x) in x
1.122 * [taylor]: Taking taylor expansion of x in x
1.128 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.128 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.128 * [taylor]: Taking taylor expansion of 1/3 in x
1.128 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.128 * [taylor]: Taking taylor expansion of x in x
1.128 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.128 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.128 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.128 * [taylor]: Taking taylor expansion of 1/3 in x
1.128 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.128 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.128 * [taylor]: Taking taylor expansion of x in x
1.135 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.135 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.135 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.135 * [taylor]: Taking taylor expansion of -1 in x
1.135 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.135 * [taylor]: Taking taylor expansion of 1/3 in x
1.135 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.135 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.135 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.135 * [taylor]: Taking taylor expansion of -1 in x
1.135 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.135 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.135 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.135 * [taylor]: Taking taylor expansion of 1/3 in x
1.135 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.135 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.135 * [taylor]: Taking taylor expansion of x in x
1.144 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
1.144 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.144 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.144 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.144 * [taylor]: Taking taylor expansion of 1/3 in x
1.144 * [taylor]: Taking taylor expansion of (log x) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.144 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.144 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.144 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.144 * [taylor]: Taking taylor expansion of 1/3 in x
1.144 * [taylor]: Taking taylor expansion of (log x) in x
1.144 * [taylor]: Taking taylor expansion of x in x
1.150 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.150 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.150 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.150 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.150 * [taylor]: Taking taylor expansion of 1/3 in x
1.150 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.150 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.150 * [taylor]: Taking taylor expansion of x in x
1.152 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.152 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.152 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.152 * [taylor]: Taking taylor expansion of 1/3 in x
1.152 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.152 * [taylor]: Taking taylor expansion of x in x
1.159 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.159 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.159 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.159 * [taylor]: Taking taylor expansion of -1 in x
1.159 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.159 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.159 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.159 * [taylor]: Taking taylor expansion of 1/3 in x
1.159 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.159 * [taylor]: Taking taylor expansion of x in x
1.159 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.159 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.160 * [taylor]: Taking taylor expansion of -1 in x
1.160 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.160 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.160 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.160 * [taylor]: Taking taylor expansion of 1/3 in x
1.160 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.160 * [taylor]: Taking taylor expansion of x in x
1.168 * * * [progress]: simplifying candidates
1.169 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))))
  (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (* (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (* (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)) (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))))
  (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt 1)
  (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))
  (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2)))
  (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2)))
  (/ 2.0 2)
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (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))
  (exp (* 0.6666666666666666 (+ (log 1) (log x))))
  (pow (/ 1 (exp (* 6004799503160661.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16)
  (* (pow (/ 1 (pow (exp (* 6004799503160661.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0))
  (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))))))
1.172 * * [simplify]: iteration  0 :  149  enodes  (cost  281 )
1.174 * * [simplify]: iteration  1 :  307  enodes  (cost  265 )
1.178 * * [simplify]: iteration  2 :  752  enodes  (cost  231 )
1.190 * * [simplify]: iteration  3 :  2300  enodes  (cost  225 )
1.296 * * [simplify]: iteration  4 :  5002  enodes  (cost  225 )
1.297 * [simplify]: Simplified to:
   (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (exp (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))))
  (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (pow (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) 3)
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (pow (cbrt x) 2.0))
  (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (cbrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  1
  (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))
  (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2)))
  (sqrt (pow (* (cbrt x) (cbrt x)) (/ 2.0 2)))
  (/ 2.0 2)
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (sqrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))
  (* 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))
  (* 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))
  (* 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 0.6666666666666666)
  (pow (pow x 6004799503160661.0) (* 2 (* 2 (/ (/ 1.1102230246251565e-16 2) 2))))
  (* (pow (/ 1 (pow (exp (* 6004799503160661.0 (+ (log 1) (log (/ -1 x))))) 1.0)) 1.1102230246251565e-16) (pow (pow (cbrt -1) 2.0) 1.0))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (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 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
1.298 * * * [progress]: adding candidates to table
1.429 * * [progress]: iteration 3 / 4
1.429 * * * [progress]: picking best candidate
1.467 * * * * [pick]: Picked  #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
1.467 * * * [progress]: localizing error
1.478 * * * [progress]: generating rewritten candidates
1.478 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
1.479 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
1.480 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.481 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.485 * * * [progress]: generating series expansions
1.485 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
1.485 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.485 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.485 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.485 * [taylor]: Taking taylor expansion of 1/3 in x
1.485 * [taylor]: Taking taylor expansion of (log x) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.485 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.485 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.485 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.485 * [taylor]: Taking taylor expansion of 1/3 in x
1.485 * [taylor]: Taking taylor expansion of (log x) in x
1.485 * [taylor]: Taking taylor expansion of x in x
1.491 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.492 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.492 * [taylor]: Taking taylor expansion of 1/3 in x
1.492 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.492 * [taylor]: Taking taylor expansion of x in x
1.492 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.492 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.492 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.492 * [taylor]: Taking taylor expansion of 1/3 in x
1.492 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.492 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.492 * [taylor]: Taking taylor expansion of x in x
1.498 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.498 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.498 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.498 * [taylor]: Taking taylor expansion of -1 in x
1.498 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.498 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.498 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.498 * [taylor]: Taking taylor expansion of 1/3 in x
1.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.499 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.499 * [taylor]: Taking taylor expansion of -1 in x
1.499 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.499 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.499 * [taylor]: Taking taylor expansion of 1/3 in x
1.499 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.499 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.507 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
1.507 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.507 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.507 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.507 * [taylor]: Taking taylor expansion of 1/3 in x
1.507 * [taylor]: Taking taylor expansion of (log x) in x
1.507 * [taylor]: Taking taylor expansion of x in x
1.507 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.507 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.507 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.507 * [taylor]: Taking taylor expansion of 1/3 in x
1.508 * [taylor]: Taking taylor expansion of (log x) in x
1.508 * [taylor]: Taking taylor expansion of x in x
1.513 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.513 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.514 * [taylor]: Taking taylor expansion of 1/3 in x
1.514 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.514 * [taylor]: Taking taylor expansion of x in x
1.514 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.514 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.514 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.514 * [taylor]: Taking taylor expansion of 1/3 in x
1.514 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.514 * [taylor]: Taking taylor expansion of x in x
1.520 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.520 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.520 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.520 * [taylor]: Taking taylor expansion of -1 in x
1.520 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.520 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.520 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.520 * [taylor]: Taking taylor expansion of 1/3 in x
1.520 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.520 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.520 * [taylor]: Taking taylor expansion of x in x
1.521 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.521 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.521 * [taylor]: Taking taylor expansion of -1 in x
1.521 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.521 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.521 * [taylor]: Taking taylor expansion of 1/3 in x
1.521 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.521 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.521 * [taylor]: Taking taylor expansion of x in x
1.529 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.529 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.529 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.529 * [taylor]: Taking taylor expansion of 1/3 in x
1.529 * [taylor]: Taking taylor expansion of (log x) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.529 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.529 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.529 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.529 * [taylor]: Taking taylor expansion of 1/3 in x
1.529 * [taylor]: Taking taylor expansion of (log x) in x
1.529 * [taylor]: Taking taylor expansion of x in x
1.535 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.535 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.535 * [taylor]: Taking taylor expansion of 1/3 in x
1.535 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.535 * [taylor]: Taking taylor expansion of x in x
1.535 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.535 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.535 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.535 * [taylor]: Taking taylor expansion of 1/3 in x
1.535 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.535 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.536 * [taylor]: Taking taylor expansion of x in x
1.542 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.542 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.542 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.542 * [taylor]: Taking taylor expansion of -1 in x
1.542 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.542 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.542 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.542 * [taylor]: Taking taylor expansion of 1/3 in x
1.542 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.542 * [taylor]: Taking taylor expansion of x in x
1.542 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.542 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.542 * [taylor]: Taking taylor expansion of -1 in x
1.543 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.543 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.543 * [taylor]: Taking taylor expansion of 1/3 in x
1.543 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.551 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.551 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.551 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.551 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.551 * [taylor]: Taking taylor expansion of 2.0 in x
1.551 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.551 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.551 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.551 * [taylor]: Taking taylor expansion of 1/3 in x
1.551 * [taylor]: Taking taylor expansion of (log x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.551 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.551 * [taylor]: Taking taylor expansion of 2.0 in x
1.551 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.551 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.551 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.551 * [taylor]: Taking taylor expansion of 1/3 in x
1.551 * [taylor]: Taking taylor expansion of (log x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.567 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.567 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.567 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.567 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.567 * [taylor]: Taking taylor expansion of 2.0 in x
1.567 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.567 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.567 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.567 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.567 * [taylor]: Taking taylor expansion of 1/3 in x
1.567 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.567 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.567 * [taylor]: Taking taylor expansion of x in x
1.568 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.568 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.568 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.568 * [taylor]: Taking taylor expansion of 2.0 in x
1.568 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.568 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.568 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.568 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.568 * [taylor]: Taking taylor expansion of 1/3 in x
1.568 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.568 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.568 * [taylor]: Taking taylor expansion of x in x
1.581 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.581 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.581 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.582 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.582 * [taylor]: Taking taylor expansion of 2.0 in x
1.582 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.582 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.582 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.582 * [taylor]: Taking taylor expansion of -1 in x
1.582 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.582 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.582 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.582 * [taylor]: Taking taylor expansion of 1/3 in x
1.582 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.582 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.582 * [taylor]: Taking taylor expansion of x in x
1.582 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.582 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.582 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.582 * [taylor]: Taking taylor expansion of 2.0 in x
1.582 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.582 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.582 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.582 * [taylor]: Taking taylor expansion of -1 in x
1.583 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.583 * [taylor]: Taking taylor expansion of 1/3 in x
1.583 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.583 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.583 * [taylor]: Taking taylor expansion of x in x
1.601 * * * [progress]: simplifying candidates
1.602 * [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))
  (* (log (cbrt x)) 2.0)
  (* (log (cbrt x)) 2.0)
  (* 1/3 2.0)
  (* 1 2.0)
  (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0)))
  (pow (cbrt x) (sqrt 2.0))
  (pow (cbrt x) 1)
  (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)
  (pow (cbrt (cbrt x)) 2.0)
  (pow (cbrt (sqrt x)) 2.0)
  (pow (cbrt (sqrt x)) 2.0)
  (pow (cbrt 1) 2.0)
  (pow (cbrt x) 2.0)
  (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)
  (pow (cbrt (cbrt x)) 2.0)
  (pow (sqrt (cbrt x)) 2.0)
  (pow (sqrt (cbrt x)) 2.0)
  (pow 1 2.0)
  (pow (cbrt x) 2.0)
  (log (pow (cbrt x) 2.0))
  (exp (pow (cbrt x) 2.0))
  (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt x) 2.0))
  (* (* (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)) (pow (cbrt x) 2.0))
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (pow (cbrt x) 2.0))
  (pow (cbrt x) (/ 2.0 2))
  (pow (cbrt x) (/ 2.0 2))
  (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 (* 0.6666666666666666 (+ (log 1) (log x))))
  (exp (* 0.6666666666666666 (- (log 1) (log (/ 1 x)))))
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
1.605 * * [simplify]: iteration  0 :  139  enodes  (cost  258 )
1.607 * * [simplify]: iteration  1 :  370  enodes  (cost  242 )
1.613 * * [simplify]: iteration  2 :  1180  enodes  (cost  204 )
1.644 * * [simplify]: iteration  3 :  5001  enodes  (cost  199 )
1.646 * [simplify]: Simplified to:
   (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
  (pow (cbrt x) 1/2)
  (pow (cbrt x) 1/2)
  (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
  (pow (cbrt x) 1/2)
  (pow (cbrt x) 1/2)
  (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
  (pow (cbrt x) 1/2)
  (pow (cbrt x) 1/2)
  (log (pow (cbrt x) 2.0))
  (log (pow (cbrt x) 2.0))
  (* 1/3 2.0)
  2.0
  (pow (cbrt x) (* (cbrt 2.0) (cbrt 2.0)))
  (pow (cbrt x) (sqrt 2.0))
  (pow x 1/3)
  (pow (cbrt (* (cbrt x) (cbrt x))) 2.0)
  (pow (cbrt (cbrt x)) 2.0)
  (pow (cbrt (sqrt x)) 2.0)
  (pow (cbrt (sqrt x)) 2.0)
  1
  (pow (cbrt x) 2.0)
  (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0)
  (pow (cbrt (cbrt x)) 2.0)
  (pow (sqrt (cbrt x)) 2.0)
  (pow (sqrt (cbrt x)) 2.0)
  1
  (pow (cbrt x) 2.0)
  (log (pow (cbrt x) 2.0))
  (exp (pow (cbrt x) 2.0))
  (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt x) 2.0))
  (pow (pow (cbrt x) 2.0) 3)
  (sqrt (pow (cbrt x) 2.0))
  (sqrt (pow (cbrt x) 2.0))
  (pow (cbrt x) (/ 2.0 2))
  (pow (cbrt x) (/ 2.0 2))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (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 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
1.647 * * * [progress]: adding candidates to table
1.771 * * [progress]: iteration 4 / 4
1.771 * * * [progress]: picking best candidate
1.811 * * * * [pick]: Picked  #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))>
1.812 * * * [progress]: localizing error
1.827 * * * [progress]: generating rewritten candidates
1.827 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 1)
1.831 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
1.833 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 2 1)
1.834 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1 1 1 2)
1.836 * * * [progress]: generating series expansions
1.836 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 1)
1.836 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/9) in (x) around 0
1.836 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
1.836 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
1.836 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
1.836 * [taylor]: Taking taylor expansion of 1/9 in x
1.836 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.836 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.836 * [taylor]: Taking taylor expansion of x in x
1.837 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/9) in x
1.837 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow x 2)))) in x
1.837 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow x 2))) in x
1.837 * [taylor]: Taking taylor expansion of 1/9 in x
1.837 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.837 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.837 * [taylor]: Taking taylor expansion of x in x
1.843 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in (x) around 0
1.843 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.843 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.844 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.844 * [taylor]: Taking taylor expansion of 1/9 in x
1.844 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.844 * [taylor]: Taking taylor expansion of x in x
1.844 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.844 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.844 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.844 * [taylor]: Taking taylor expansion of 1/9 in x
1.844 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.844 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.844 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.844 * [taylor]: Taking taylor expansion of x in x
1.851 * [approximate]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in (x) around 0
1.851 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
1.851 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
1.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
1.851 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
1.851 * [taylor]: Taking taylor expansion of 1/3 in x
1.851 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
1.851 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.851 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.851 * [taylor]: Taking taylor expansion of -1 in x
1.852 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.852 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.852 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.852 * [taylor]: Taking taylor expansion of 1/9 in x
1.852 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.852 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.852 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.852 * [taylor]: Taking taylor expansion of x in x
1.852 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2) 1/3) (pow (/ 1 (pow x 2)) 1/9)) in x
1.852 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in x
1.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in x
1.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in x
1.852 * [taylor]: Taking taylor expansion of 1/3 in x
1.852 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in x
1.852 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.852 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.852 * [taylor]: Taking taylor expansion of -1 in x
1.853 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/9) in x
1.853 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow x 2))))) in x
1.853 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow x 2)))) in x
1.853 * [taylor]: Taking taylor expansion of 1/9 in x
1.853 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.853 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.853 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.853 * [taylor]: Taking taylor expansion of x in x
1.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
1.872 * [approximate]: Taking taylor expansion of (pow x 1/9) in (x) around 0
1.872 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.872 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.872 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.872 * [taylor]: Taking taylor expansion of 1/9 in x
1.872 * [taylor]: Taking taylor expansion of (log x) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [taylor]: Taking taylor expansion of (pow x 1/9) in x
1.872 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log x))) in x
1.872 * [taylor]: Taking taylor expansion of (* 1/9 (log x)) in x
1.872 * [taylor]: Taking taylor expansion of 1/9 in x
1.872 * [taylor]: Taking taylor expansion of (log x) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.878 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/9) in (x) around 0
1.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.878 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.878 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.878 * [taylor]: Taking taylor expansion of 1/9 in x
1.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.878 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.878 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.878 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.878 * [taylor]: Taking taylor expansion of 1/9 in x
1.878 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.878 * [taylor]: Taking taylor expansion of x in x
1.886 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in (x) around 0
1.887 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.887 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.887 * [taylor]: Taking taylor expansion of 1/3 in x
1.887 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.887 * [taylor]: Taking taylor expansion of -1 in x
1.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.887 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.887 * [taylor]: Taking taylor expansion of 1/9 in x
1.887 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.887 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.887 * [taylor]: Taking taylor expansion of x in x
1.887 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 1/3) (pow (/ 1 x) 1/9)) in x
1.887 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 1/3) in x
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (cbrt -1)))) in x
1.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (cbrt -1))) in x
1.887 * [taylor]: Taking taylor expansion of 1/3 in x
1.887 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.887 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.887 * [taylor]: Taking taylor expansion of -1 in x
1.887 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/9) in x
1.887 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 x)))) in x
1.887 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 x))) in x
1.888 * [taylor]: Taking taylor expansion of 1/9 in x
1.888 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.903 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 2 1)
1.904 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.904 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.904 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.904 * [taylor]: Taking taylor expansion of 1/3 in x
1.904 * [taylor]: Taking taylor expansion of (log x) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.904 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.904 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.904 * [taylor]: Taking taylor expansion of 1/3 in x
1.904 * [taylor]: Taking taylor expansion of (log x) in x
1.904 * [taylor]: Taking taylor expansion of x in x
1.910 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.910 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.910 * [taylor]: Taking taylor expansion of 1/3 in x
1.910 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.910 * [taylor]: Taking taylor expansion of x in x
1.910 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.910 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.910 * [taylor]: Taking taylor expansion of 1/3 in x
1.910 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.910 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.910 * [taylor]: Taking taylor expansion of x in x
1.917 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.917 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.917 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.917 * [taylor]: Taking taylor expansion of -1 in x
1.917 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.917 * [taylor]: Taking taylor expansion of 1/3 in x
1.917 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.917 * [taylor]: Taking taylor expansion of x in x
1.917 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.917 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.917 * [taylor]: Taking taylor expansion of -1 in x
1.917 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.917 * [taylor]: Taking taylor expansion of 1/3 in x
1.917 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.917 * [taylor]: Taking taylor expansion of x in x
1.925 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1 1 1 2)
1.925 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.925 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.925 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.925 * [taylor]: Taking taylor expansion of 1/3 in x
1.925 * [taylor]: Taking taylor expansion of (log x) in x
1.925 * [taylor]: Taking taylor expansion of x in x
1.926 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.926 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.926 * [taylor]: Taking taylor expansion of 1/3 in x
1.926 * [taylor]: Taking taylor expansion of (log x) in x
1.926 * [taylor]: Taking taylor expansion of x in x
1.932 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.932 * [taylor]: Taking taylor expansion of 1/3 in x
1.932 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.932 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.932 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.932 * [taylor]: Taking taylor expansion of 1/3 in x
1.932 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.932 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.932 * [taylor]: Taking taylor expansion of x in x
1.939 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.939 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.939 * [taylor]: Taking taylor expansion of -1 in x
1.939 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.939 * [taylor]: Taking taylor expansion of 1/3 in x
1.939 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.939 * [taylor]: Taking taylor expansion of x in x
1.939 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.939 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.939 * [taylor]: Taking taylor expansion of -1 in x
1.939 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.939 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.939 * [taylor]: Taking taylor expansion of 1/3 in x
1.939 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.939 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.939 * [taylor]: Taking taylor expansion of x in x
1.947 * * * [progress]: simplifying candidates
1.948 * [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)))
  (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 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))
  (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) (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/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))))))
1.951 * * [simplify]: iteration  0 :  147  enodes  (cost  266 )
1.953 * * [simplify]: iteration  1 :  289  enodes  (cost  242 )
1.957 * * [simplify]: iteration  2 :  847  enodes  (cost  200 )
1.979 * * [simplify]: iteration  3 :  4355  enodes  (cost  187 )
2.146 * * [simplify]: iteration  4 :  5001  enodes  (cost  187 )
2.148 * [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)))
  (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 (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)))
  (pow x 1/3)
  (sqrt (cbrt (cbrt x)))
  (sqrt (cbrt (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))
  (* 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 1/9)
  (pow x 1/9)
  (* (pow (cbrt -1) 1/3) (exp (* 1/9 (- (log 1) (log (/ -1 x))))))
  (pow x 1/3)
  (pow x 1/3)
  (* (* (cbrt -1) 1) (pow (pow (/ -1 x) -2) 1/6))
  (pow x 1/3)
  (pow x 1/3)
  (* (* (cbrt -1) 1) (pow (pow (/ -1 x) -2) 1/6))
2.148 * * * [progress]: adding candidates to table
2.265 * [progress]: [Phase 3 of 3] Extracting.
2.265 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))))) 2.0)))))> #<alt (λ (x) (* (* (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.268 * * * [regime-changes]: Trying 4 branch expressions: ((pow x 2.0) (+ (pow x 2.0) (pow x 2.0)) (sqrt (+ (pow x 2.0) (pow x 2.0))) x)
2.268 * * * * [regimes]: Trying to branch on (pow x 2.0) from (#<alt (λ (x) (* (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))))) 2.0)))))> #<alt (λ (x) (* (* (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.348 * * * * [regimes]: Trying to branch on (pow x 2.0) from (#<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.381 * * * * [regimes]: Trying to branch on (+ (pow x 2.0) (pow x 2.0)) from (#<alt (λ (x) (* (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))))) 2.0)))))> #<alt (λ (x) (* (* (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.463 * * * * [regimes]: Trying to branch on (+ (pow x 2.0) (pow x 2.0)) from (#<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.500 * * * * [regimes]: Trying to branch on (sqrt (+ (pow x 2.0) (pow x 2.0))) from (#<alt (λ (x) (* (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))))) 2.0)))))> #<alt (λ (x) (* (* (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.585 * * * * [regimes]: Trying to branch on (sqrt (+ (pow x 2.0) (pow x 2.0))) from (#<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.622 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (sqrt (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (* (cbrt (* (cbrt x) (cbrt x))) (* (* (cbrt (cbrt (cbrt x))) (cbrt (cbrt (cbrt x)))) (cbrt (cbrt (cbrt x))))) 2.0)))))> #<alt (λ (x) (* (* (* (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (cbrt (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.697 * * * [regime]: Found split indices: #<option (#s(si 3 255))>
2.698 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0))))
2.699 * * [simplify]: iteration  0 :  9  enodes  (cost  10 )
2.699 * * [simplify]: iteration  1 :  9  enodes  (cost  10 )
2.699 * [simplify]: Simplified to:
   (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0))))
4.817 * [regime-testing]: End program error score: 1.352944335986989