0.720 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.024 * * * [progress]: [2/2] Setting up program.
0.028 * [progress]: [Phase 2 of 3] Improving.
0.031 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (sqrt (+ (pow x 2.0) (pow x 2.0)))
0.035 * * [simplify]: iteration  0 :  10  enodes  (cost  4 )
0.036 * * [simplify]: iteration  1 :  20  enodes  (cost  4 )
0.037 * * [simplify]: iteration  2 :  49  enodes  (cost  4 )
0.039 * * [simplify]: iteration  3 :  144  enodes  (cost  4 )
0.042 * * [simplify]: iteration  4 :  473  enodes  (cost  4 )
0.053 * * [simplify]: iteration  5 :  2128  enodes  (cost  4 )
0.106 * * [simplify]: iteration  6 :  5002  enodes  (cost  4 )
0.107 * [simplify]: Simplified to:
   (sqrt (+ (pow x 2.0) (pow x 2.0)))
0.108 * * [progress]: iteration 1 / 4
0.108 * * * [progress]: picking best candidate
0.111 * * * * [pick]: Picked  #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))>
0.111 * * * [progress]: localizing error
0.119 * * * [progress]: generating rewritten candidates
0.119 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
0.312 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.323 * * * [progress]: generating series expansions
0.323 * * * * [progress]: [ 1 / 2 ] generating series at (2)
0.327 * [approximate]: Taking taylor expansion of (* x (sqrt 2)) in (x) around 0
0.328 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.328 * [taylor]: Taking taylor expansion of x in x
0.328 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.328 * [taylor]: Taking taylor expansion of 2 in x
0.329 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.329 * [taylor]: Taking taylor expansion of x in x
0.329 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.329 * [taylor]: Taking taylor expansion of 2 in x
0.331 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.331 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.331 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.331 * [taylor]: Taking taylor expansion of 2 in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.331 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.331 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.331 * [taylor]: Taking taylor expansion of 2 in x
0.331 * [taylor]: Taking taylor expansion of x in x
0.333 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.333 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.333 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.333 * [taylor]: Taking taylor expansion of 2 in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.333 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.333 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.333 * [taylor]: Taking taylor expansion of 2 in x
0.333 * [taylor]: Taking taylor expansion of x in x
0.334 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.334 * [approximate]: Taking taylor expansion of (* 2 (pow x 2)) in (x) around 0
0.334 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.334 * [taylor]: Taking taylor expansion of 2 in x
0.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.334 * [taylor]: Taking taylor expansion of (* 2 (pow x 2)) in x
0.334 * [taylor]: Taking taylor expansion of 2 in x
0.334 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.334 * [taylor]: Taking taylor expansion of x in x
0.335 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in (x) around 0
0.335 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.335 * [taylor]: Taking taylor expansion of 2 in x
0.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.335 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.335 * [taylor]: Taking taylor expansion of x in x
0.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.336 * [taylor]: Taking taylor expansion of 2 in x
0.336 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.336 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.336 * [taylor]: Taking taylor expansion of x in x
0.337 * [approximate]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in (x) around 0
0.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.337 * [taylor]: Taking taylor expansion of 2 in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.337 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (pow x 2))) in x
0.337 * [taylor]: Taking taylor expansion of 2 in x
0.337 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.337 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.337 * [taylor]: Taking taylor expansion of x in x
0.338 * * * [progress]: simplifying candidates
0.339 * [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))))
  (* (exp (pow x 2.0)) (exp (pow x 2.0)))
  (log (+ (pow x 2.0) (pow x 2.0)))
  (exp (+ (pow x 2.0) (pow x 2.0)))
  (* (cbrt (+ (pow x 2.0) (pow x 2.0))) (cbrt (+ (pow x 2.0) (pow x 2.0))))
  (cbrt (+ (pow x 2.0) (pow x 2.0)))
  (* (* (+ (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)))
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (+ (pow (pow x 2.0) 3) (pow (pow x 2.0) 3))
  (+ (* (pow x 2.0) (pow x 2.0)) (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0))))
  (- (* (pow x 2.0) (pow x 2.0)) (* (pow x 2.0) (pow x 2.0)))
  (- (pow x 2.0) (pow x 2.0))
  (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0))
  (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))
  (+ (pow x 2.0) (pow x 2.0))
  (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0)))
  (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))
  (+ (pow x 2.0) (pow x 2.0))
  (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))
  (+ (pow (* (cbrt x) (cbrt x)) 2.0) (pow (* (cbrt x) (cbrt x)) 2.0))
  (+ (pow (sqrt x) 2.0) (pow (sqrt x) 2.0))
  (+ (pow 1 2.0) (pow 1 2.0))
  (+ (pow 1 2.0) 1)
  (+ (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))) (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))
  (+ (sqrt (pow x 2.0)) (sqrt (pow x 2.0)))
  (+ 1 (pow 1 2.0))
  (+ 1 1)
  (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2)))
  (+ (pow 1 2.0) 1)
  (+ 1 1)
  (+ (pow 1 2.0) 1)
  (+ 1 1)
  (* x (sqrt 2))
  (* x (sqrt 2))
  (* -1 (* x (sqrt 2)))
  (* 2 (pow x 2))
  (* 2 (pow x 2))
  (* 2 (pow x 2))
0.343 * * [simplify]: iteration  0 :  149  enodes  (cost  334 )
0.347 * * [simplify]: iteration  1 :  494  enodes  (cost  319 )
0.361 * * [simplify]: iteration  2 :  3175  enodes  (cost  309 )
0.568 * * [simplify]: iteration  3 :  5001  enodes  (cost  308 )
0.571 * [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))))
  (exp (* 2 (pow x 2.0)))
  (log (* 2 (pow x 2.0)))
  (exp (* 2 (pow x 2.0)))
  (* (cbrt (+ (pow x 2.0) (pow x 2.0))) (cbrt (+ (pow x 2.0) (pow x 2.0))))
  (cbrt (+ (pow x 2.0) (pow x 2.0)))
  (pow (* 2 (pow x 2.0)) 3)
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (sqrt (+ (pow x 2.0) (pow x 2.0)))
  (* 2 (pow (pow x 2.0) 3))
  (pow x (* 2 2.0))
  0
  0
  (* 2 (pow (cbrt x) 2.0))
  (* 2 (pow (sqrt x) 2.0))
  (* 2 (pow x 2.0))
  (* 2 (cbrt (pow x 2.0)))
  (* 2 (sqrt (pow x 2.0)))
  (* 2 (pow x 2.0))
  (* 2 (pow x (/ 2.0 2)))
  (* 2 (pow (* (cbrt x) (cbrt x)) 2.0))
  (* 2 (pow (sqrt x) 2.0))
  2
  2
  (* 2 (* (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))
  (* 2 (sqrt (pow x 2.0)))
  2
  2
  (* 2 (pow x (/ 2.0 2)))
  2
  2
  2
  2
  (* x (sqrt 2))
  (* x (sqrt 2))
  (* -1 (* x (sqrt 2)))
  (* 2 (pow x 2))
  (* 2 (pow x 2))
  (* 2 (pow x 2))
0.571 * * * [progress]: adding candidates to table
0.676 * * [progress]: iteration 2 / 4
0.676 * * * [progress]: picking best candidate
0.701 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
0.701 * * * [progress]: localizing error
0.714 * * * [progress]: generating rewritten candidates
0.714 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.716 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1)
0.717 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1 1)
0.718 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1 2)
0.720 * * * [progress]: generating series expansions
0.720 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.720 * [approximate]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in (x) around 0
0.721 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
0.721 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
0.721 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
0.721 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.721 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
0.721 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.721 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.721 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.721 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.721 * [taylor]: Taking taylor expansion of (log x) in x
0.721 * [taylor]: Taking taylor expansion of x in x
0.721 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
0.722 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
0.722 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
0.722 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.722 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
0.722 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.722 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.722 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.722 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.722 * [taylor]: Taking taylor expansion of (log x) in x
0.722 * [taylor]: Taking taylor expansion of x in x
0.737 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in (x) around 0
0.737 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.737 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.737 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.737 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.737 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.737 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.737 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.737 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.737 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.737 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.737 * [taylor]: Taking taylor expansion of (log x) in x
0.737 * [taylor]: Taking taylor expansion of x in x
0.738 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.738 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.738 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.738 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.738 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.738 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.738 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.738 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.738 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.738 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.738 * [taylor]: Taking taylor expansion of (log x) in x
0.738 * [taylor]: Taking taylor expansion of x in x
0.756 * [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
0.756 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x
0.756 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
0.756 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
0.756 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
0.756 * [taylor]: Taking taylor expansion of 1.0 in x
0.757 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
0.757 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
0.757 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
0.757 * [taylor]: Taking taylor expansion of 2.0 in x
0.757 * [taylor]: Taking taylor expansion of (log (cbrt -1)) 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 6004799503160661.0)) 1.1102230246251565e-16) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.757 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.757 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.757 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.757 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.757 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.757 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.757 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.757 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.757 * [taylor]: Taking taylor expansion of (log x) in x
0.758 * [taylor]: Taking taylor expansion of x in x
0.758 * [taylor]: Taking taylor expansion of (* (pow (pow (cbrt -1) 2.0) 1.0) (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16)) in x
0.758 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
0.758 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
0.758 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
0.758 * [taylor]: Taking taylor expansion of 1.0 in x
0.758 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
0.758 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
0.758 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
0.758 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
0.758 * [taylor]: Taking taylor expansion of 2.0 in x
0.758 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
0.758 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.758 * [taylor]: Taking taylor expansion of -1 in x
0.759 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.759 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.759 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.759 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.759 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.759 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.759 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.759 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.759 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.759 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.759 * [taylor]: Taking taylor expansion of (log x) in x
0.759 * [taylor]: Taking taylor expansion of x in x
0.794 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1)
0.794 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.794 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.794 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.794 * [taylor]: Taking taylor expansion of 1/3 in x
0.794 * [taylor]: Taking taylor expansion of (log x) in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.794 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.794 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.794 * [taylor]: Taking taylor expansion of 1/3 in x
0.794 * [taylor]: Taking taylor expansion of (log x) in x
0.794 * [taylor]: Taking taylor expansion of x in x
0.800 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.800 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.800 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.800 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.800 * [taylor]: Taking taylor expansion of 1/3 in x
0.800 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.800 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.801 * [taylor]: Taking taylor expansion of 1/3 in x
0.801 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.807 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.808 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.808 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.808 * [taylor]: Taking taylor expansion of -1 in x
0.808 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.808 * [taylor]: Taking taylor expansion of 1/3 in x
0.808 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.808 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.808 * [taylor]: Taking taylor expansion of -1 in x
0.808 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.808 * [taylor]: Taking taylor expansion of 1/3 in x
0.808 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.808 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.816 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1 1)
0.816 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.816 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.816 * [taylor]: Taking taylor expansion of 1/3 in x
0.816 * [taylor]: Taking taylor expansion of (log x) in x
0.816 * [taylor]: Taking taylor expansion of x in x
0.816 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.816 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.816 * [taylor]: Taking taylor expansion of 1/3 in x
0.817 * [taylor]: Taking taylor expansion of (log x) in x
0.817 * [taylor]: Taking taylor expansion of x in x
0.822 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.822 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.823 * [taylor]: Taking taylor expansion of 1/3 in x
0.823 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.823 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.823 * [taylor]: Taking taylor expansion of 1/3 in x
0.823 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.823 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.823 * [taylor]: Taking taylor expansion of x in x
0.829 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.829 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.829 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.829 * [taylor]: Taking taylor expansion of -1 in x
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.830 * [taylor]: Taking taylor expansion of 1/3 in x
0.830 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.830 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.830 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.830 * [taylor]: Taking taylor expansion of -1 in x
0.830 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.830 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.830 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.830 * [taylor]: Taking taylor expansion of 1/3 in x
0.830 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.830 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.830 * [taylor]: Taking taylor expansion of x in x
0.840 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1 2)
0.840 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.840 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.840 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.840 * [taylor]: Taking taylor expansion of 1/3 in x
0.840 * [taylor]: Taking taylor expansion of (log x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.840 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.840 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.840 * [taylor]: Taking taylor expansion of 1/3 in x
0.840 * [taylor]: Taking taylor expansion of (log x) in x
0.840 * [taylor]: Taking taylor expansion of x in x
0.846 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.846 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.846 * [taylor]: Taking taylor expansion of 1/3 in x
0.846 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.846 * [taylor]: Taking taylor expansion of x in x
0.847 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.847 * [taylor]: Taking taylor expansion of 1/3 in x
0.847 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.847 * [taylor]: Taking taylor expansion of x in x
0.853 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.853 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.853 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.853 * [taylor]: Taking taylor expansion of 1/3 in x
0.853 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.853 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.853 * [taylor]: Taking taylor expansion of x in x
0.853 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.853 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.853 * [taylor]: Taking taylor expansion of -1 in x
0.854 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.854 * [taylor]: Taking taylor expansion of 1/3 in x
0.854 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.854 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.854 * [taylor]: Taking taylor expansion of x in x
0.861 * * * [progress]: simplifying candidates
0.862 * [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))))))
0.865 * * [simplify]: iteration  0 :  149  enodes  (cost  281 )
0.868 * * [simplify]: iteration  1 :  307  enodes  (cost  265 )
0.871 * * [simplify]: iteration  2 :  752  enodes  (cost  231 )
0.883 * * [simplify]: iteration  3 :  2300  enodes  (cost  225 )
0.990 * * [simplify]: iteration  4 :  5002  enodes  (cost  225 )
0.991 * [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))))))
0.992 * * * [progress]: adding candidates to table
1.112 * * [progress]: iteration 3 / 4
1.112 * * * [progress]: picking best candidate
1.144 * * * * [pick]: Picked  #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
1.144 * * * [progress]: localizing error
1.156 * * * [progress]: generating rewritten candidates
1.156 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1)
1.157 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1 1)
1.158 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
1.159 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
1.163 * * * [progress]: generating series expansions
1.163 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1)
1.163 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.163 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.163 * [taylor]: Taking taylor expansion of 1/3 in x
1.163 * [taylor]: Taking taylor expansion of (log x) in x
1.163 * [taylor]: Taking taylor expansion of x in x
1.163 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.163 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.163 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.163 * [taylor]: Taking taylor expansion of 1/3 in x
1.163 * [taylor]: Taking taylor expansion of (log x) in x
1.163 * [taylor]: Taking taylor expansion of x in x
1.169 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.169 * [taylor]: Taking taylor expansion of 1/3 in x
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.169 * [taylor]: Taking taylor expansion of 1/3 in x
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.176 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.176 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.176 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.176 * [taylor]: Taking taylor expansion of -1 in x
1.176 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.176 * [taylor]: Taking taylor expansion of 1/3 in x
1.176 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.176 * [taylor]: Taking taylor expansion of x in x
1.176 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.176 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.176 * [taylor]: Taking taylor expansion of -1 in x
1.176 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.176 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.176 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.176 * [taylor]: Taking taylor expansion of 1/3 in x
1.176 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.176 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.177 * [taylor]: Taking taylor expansion of x in x
1.184 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1 1)
1.184 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.184 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.184 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.184 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.184 * [taylor]: Taking taylor expansion of 1/3 in x
1.184 * [taylor]: Taking taylor expansion of (log x) in x
1.184 * [taylor]: Taking taylor expansion of x in x
1.185 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.185 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.185 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.185 * [taylor]: Taking taylor expansion of 1/3 in x
1.185 * [taylor]: Taking taylor expansion of (log x) in x
1.185 * [taylor]: Taking taylor expansion of x in x
1.191 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.191 * [taylor]: Taking taylor expansion of 1/3 in x
1.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.191 * [taylor]: Taking taylor expansion of x in x
1.191 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.191 * [taylor]: Taking taylor expansion of 1/3 in x
1.191 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.191 * [taylor]: Taking taylor expansion of x in x
1.197 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.197 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.197 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.197 * [taylor]: Taking taylor expansion of -1 in x
1.197 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.198 * [taylor]: Taking taylor expansion of 1/3 in x
1.198 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.198 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.198 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.198 * [taylor]: Taking taylor expansion of -1 in x
1.198 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.198 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.198 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.198 * [taylor]: Taking taylor expansion of 1/3 in x
1.198 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.198 * [taylor]: Taking taylor expansion of x in x
1.206 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
1.206 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.206 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.206 * [taylor]: Taking taylor expansion of 1/3 in x
1.206 * [taylor]: Taking taylor expansion of (log x) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.206 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.206 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.206 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.206 * [taylor]: Taking taylor expansion of 1/3 in x
1.206 * [taylor]: Taking taylor expansion of (log x) in x
1.206 * [taylor]: Taking taylor expansion of x in x
1.212 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.212 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.212 * [taylor]: Taking taylor expansion of 1/3 in x
1.212 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.212 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.212 * [taylor]: Taking taylor expansion of x in x
1.213 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.213 * [taylor]: Taking taylor expansion of 1/3 in x
1.213 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.213 * [taylor]: Taking taylor expansion of x in x
1.219 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.219 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.219 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.219 * [taylor]: Taking taylor expansion of -1 in x
1.219 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.219 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.219 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.219 * [taylor]: Taking taylor expansion of 1/3 in x
1.219 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.219 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.219 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.219 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.220 * [taylor]: Taking taylor expansion of -1 in x
1.220 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.220 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.220 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.220 * [taylor]: Taking taylor expansion of 1/3 in x
1.220 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.220 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.220 * [taylor]: Taking taylor expansion of x in x
1.227 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
1.228 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.228 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.228 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.228 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.228 * [taylor]: Taking taylor expansion of 2.0 in x
1.228 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.228 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.228 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.228 * [taylor]: Taking taylor expansion of 1/3 in x
1.228 * [taylor]: Taking taylor expansion of (log x) in x
1.228 * [taylor]: Taking taylor expansion of x in x
1.228 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.228 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.228 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.228 * [taylor]: Taking taylor expansion of 2.0 in x
1.228 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.228 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.228 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.228 * [taylor]: Taking taylor expansion of 1/3 in x
1.228 * [taylor]: Taking taylor expansion of (log x) in x
1.228 * [taylor]: Taking taylor expansion of x in x
1.243 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.243 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.243 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.243 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.243 * [taylor]: Taking taylor expansion of 2.0 in x
1.243 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.243 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.243 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.243 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.243 * [taylor]: Taking taylor expansion of 1/3 in x
1.243 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.243 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.243 * [taylor]: Taking taylor expansion of x in x
1.244 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.244 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.244 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.244 * [taylor]: Taking taylor expansion of 2.0 in x
1.244 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.244 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.244 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.244 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.244 * [taylor]: Taking taylor expansion of 1/3 in x
1.244 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.244 * [taylor]: Taking taylor expansion of x in x
1.257 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.257 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.258 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.258 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.258 * [taylor]: Taking taylor expansion of 2.0 in x
1.258 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.258 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.258 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.258 * [taylor]: Taking taylor expansion of -1 in x
1.258 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.258 * [taylor]: Taking taylor expansion of 1/3 in x
1.258 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.258 * [taylor]: Taking taylor expansion of x in x
1.258 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.258 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.258 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.258 * [taylor]: Taking taylor expansion of 2.0 in x
1.258 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.258 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.258 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.258 * [taylor]: Taking taylor expansion of -1 in x
1.259 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.259 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.259 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.259 * [taylor]: Taking taylor expansion of 1/3 in x
1.259 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.259 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.259 * [taylor]: Taking taylor expansion of x in x
1.276 * * * [progress]: simplifying candidates
1.277 * [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.280 * * [simplify]: iteration  0 :  139  enodes  (cost  258 )
1.282 * * [simplify]: iteration  1 :  370  enodes  (cost  242 )
1.288 * * [simplify]: iteration  2 :  1180  enodes  (cost  204 )
1.319 * * [simplify]: iteration  3 :  5001  enodes  (cost  199 )
1.321 * [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.321 * * * [progress]: adding candidates to table
1.436 * * [progress]: iteration 4 / 4
1.436 * * * [progress]: picking best candidate
1.477 * * * * [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.477 * * * [progress]: localizing error
1.493 * * * [progress]: generating rewritten candidates
1.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2 1)
1.495 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 1 2)
1.496 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1 1)
1.497 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1 1)
1.499 * * * [progress]: generating series expansions
1.499 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2 1)
1.499 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.499 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.499 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.499 * [taylor]: Taking taylor expansion of 1/3 in x
1.499 * [taylor]: Taking taylor expansion of (log x) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.499 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.499 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.499 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.499 * [taylor]: Taking taylor expansion of 1/3 in x
1.499 * [taylor]: Taking taylor expansion of (log x) in x
1.499 * [taylor]: Taking taylor expansion of x in x
1.505 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.506 * [taylor]: Taking taylor expansion of 1/3 in x
1.506 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.506 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.506 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.506 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.506 * [taylor]: Taking taylor expansion of 1/3 in x
1.506 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.506 * [taylor]: Taking taylor expansion of x in x
1.512 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.512 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.512 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.512 * [taylor]: Taking taylor expansion of -1 in x
1.512 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.512 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.512 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.512 * [taylor]: Taking taylor expansion of 1/3 in x
1.513 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.513 * [taylor]: Taking taylor expansion of x in x
1.513 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.513 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.513 * [taylor]: Taking taylor expansion of -1 in x
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.513 * [taylor]: Taking taylor expansion of 1/3 in x
1.513 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.513 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.513 * [taylor]: Taking taylor expansion of x in x
1.521 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 1 2)
1.521 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.521 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.521 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.521 * [taylor]: Taking taylor expansion of 1/3 in x
1.521 * [taylor]: Taking taylor expansion of (log x) in x
1.521 * [taylor]: Taking taylor expansion of x in x
1.521 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.521 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.521 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.521 * [taylor]: Taking taylor expansion of 1/3 in x
1.521 * [taylor]: Taking taylor expansion of (log x) in x
1.521 * [taylor]: Taking taylor expansion of x in x
1.527 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.527 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.527 * [taylor]: Taking taylor expansion of 1/3 in x
1.527 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.527 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.527 * [taylor]: Taking taylor expansion of x in x
1.527 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.527 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.527 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.527 * [taylor]: Taking taylor expansion of 1/3 in x
1.527 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.528 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.528 * [taylor]: Taking taylor expansion of x in x
1.534 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.534 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.534 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.534 * [taylor]: Taking taylor expansion of -1 in x
1.534 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.534 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.534 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.534 * [taylor]: Taking taylor expansion of 1/3 in x
1.534 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.534 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.534 * [taylor]: Taking taylor expansion of x in x
1.535 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.535 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.535 * [taylor]: Taking taylor expansion of -1 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.535 * [taylor]: Taking taylor expansion of x in x
1.543 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1 1)
1.543 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.543 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.543 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.543 * [taylor]: Taking taylor expansion of 1/3 in x
1.543 * [taylor]: Taking taylor expansion of (log x) in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.543 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.543 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.543 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.543 * [taylor]: Taking taylor expansion of 1/3 in x
1.543 * [taylor]: Taking taylor expansion of (log x) in x
1.543 * [taylor]: Taking taylor expansion of x in x
1.551 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.551 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.551 * [taylor]: Taking taylor expansion of 1/3 in x
1.551 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.551 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.551 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.551 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.551 * [taylor]: Taking taylor expansion of 1/3 in x
1.551 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.551 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.551 * [taylor]: Taking taylor expansion of x in x
1.557 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.557 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.557 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.557 * [taylor]: Taking taylor expansion of -1 in x
1.558 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.558 * [taylor]: Taking taylor expansion of 1/3 in x
1.558 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.558 * [taylor]: Taking taylor expansion of x in x
1.558 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.558 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.558 * [taylor]: Taking taylor expansion of -1 in x
1.558 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.558 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.558 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.558 * [taylor]: Taking taylor expansion of 1/3 in x
1.558 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.558 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.558 * [taylor]: Taking taylor expansion of x in x
1.566 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1 1)
1.566 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.566 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.566 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.566 * [taylor]: Taking taylor expansion of 1/3 in x
1.566 * [taylor]: Taking taylor expansion of (log x) in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.566 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.566 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.566 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.566 * [taylor]: Taking taylor expansion of 1/3 in x
1.566 * [taylor]: Taking taylor expansion of (log x) in x
1.566 * [taylor]: Taking taylor expansion of x in x
1.572 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.572 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.572 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.572 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.572 * [taylor]: Taking taylor expansion of 1/3 in x
1.572 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.572 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.572 * [taylor]: Taking taylor expansion of x in x
1.573 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.573 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.573 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.573 * [taylor]: Taking taylor expansion of 1/3 in x
1.573 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.573 * [taylor]: Taking taylor expansion of x in x
1.579 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.579 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.579 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.579 * [taylor]: Taking taylor expansion of -1 in x
1.579 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.579 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.579 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.579 * [taylor]: Taking taylor expansion of 1/3 in x
1.579 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.579 * [taylor]: Taking taylor expansion of x in x
1.579 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.579 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.580 * [taylor]: Taking taylor expansion of -1 in x
1.580 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.580 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.580 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.580 * [taylor]: Taking taylor expansion of 1/3 in x
1.580 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.580 * [taylor]: Taking taylor expansion of x in x
1.588 * * * [progress]: simplifying candidates
1.589 * [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))
  (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/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) (log x))))
  (exp (* 1/3 (- (log 1) (log (/ 1 x)))))
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
1.591 * * [simplify]: iteration  0 :  59  enodes  (cost  204 )
1.592 * * [simplify]: iteration  1 :  101  enodes  (cost  188 )
1.594 * * [simplify]: iteration  2 :  205  enodes  (cost  148 )
1.597 * * [simplify]: iteration  3 :  559  enodes  (cost  144 )
1.612 * * [simplify]: iteration  4 :  2708  enodes  (cost  128 )
1.705 * * [simplify]: iteration  5 :  5002  enodes  (cost  128 )
1.706 * [simplify]: Simplified to:
   (* 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))
  (* 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 1/3)
  (pow x 1/3)
  (/ (cbrt -1) (pow (/ -1 x) 1/3))
  (pow x 1/3)
  (pow x 1/3)
  (/ (cbrt -1) (pow (/ -1 x) 1/3))
  (pow x 1/3)
  (pow x 1/3)
  (/ (cbrt -1) (pow (/ -1 x) 1/3))
  (pow x 1/3)
  (pow x 1/3)
  (/ (cbrt -1) (pow (/ -1 x) 1/3))
1.707 * * * [progress]: adding candidates to table
1.811 * [progress]: [Phase 3 of 3] Extracting.
1.811 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
1.814 * * * [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)
1.814 * * * * [regimes]: Trying to branch on (pow x 2.0) from (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
1.888 * * * * [regimes]: Trying to branch on (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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))>)
1.922 * * * * [regimes]: Trying to branch on (+ (pow x 2.0) (pow x 2.0)) from (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
1.998 * * * * [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) (* (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (sqrt (+ (pow x 2.0) (pow x 2.0))))))>)
2.031 * * * * [regimes]: Trying to branch on (sqrt (+ (pow x 2.0) (pow x 2.0))) from (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.109 * * * * [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.145 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.225 * * * [regime]: Found split indices: #<option (#s(si 7 115) #s(si 4 255))>
2.226 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.240 * [regimes]: Found splitpoints: (#s(sp 7 x -1.7415863520255e-310) #s(sp 4 x +nan.0)) , with alts (#<alt (λ (x) (* (fabs (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (pow (* (pow (cbrt x) 1/2) (pow (cbrt x) 1/2)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))> #<alt (λ (x) (* (* (fabs (cbrt (pow (* (cbrt x) (cbrt x)) 2.0))) (sqrt (cbrt (pow (* (cbrt x) (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 (sqrt x)) (cbrt (sqrt x))) 2.0)))))> #<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (cbrt (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 (cbrt x))) (cbrt (cbrt x))) 2.0)))))> #<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))))))> #<alt (λ (x) (* (fabs (cbrt (pow x 2.0))) (sqrt (+ (cbrt (pow x 2.0)) (cbrt (pow x 2.0))))))> #<alt (λ (x) (* (exp (log (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.241 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x -1.7415863520255e-310) (* -1 (* x (sqrt 2))) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))
2.242 * * [simplify]: iteration  0 :  20  enodes  (cost  13 )
2.242 * * [simplify]: iteration  1 :  26  enodes  (cost  13 )
2.242 * * [simplify]: iteration  2 :  26  enodes  (cost  13 )
2.242 * [simplify]: Simplified to:
   (if (<= x -1.7415863520255e-310) (* -1 (* x (sqrt 2))) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))
4.275 * [regime-testing]: Baseline error score: 1.4524520307137834
4.276 * [regime-testing]: Oracle error score: 0.10913864233029129
4.278 * [regime-testing]: End program error score: 0.39603315102086095