0.763 * [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.037 * * [simplify]: iteration  1 :  20  enodes  (cost  4 )
0.038 * * [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.054 * * [simplify]: iteration  5 :  2128  enodes  (cost  4 )
0.106 * * [simplify]: iteration  6 :  5002  enodes  (cost  4 )
0.106 * [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.118 * * * [progress]: generating rewritten candidates
0.118 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.314 * * * [progress]: generating series expansions
0.314 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.319 * [approximate]: Taking taylor expansion of (* x (sqrt 2)) in (x) around 0
0.320 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.320 * [taylor]: Taking taylor expansion of 2 in x
0.320 * [taylor]: Taking taylor expansion of (* x (sqrt 2)) in x
0.320 * [taylor]: Taking taylor expansion of x in x
0.320 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.320 * [taylor]: Taking taylor expansion of 2 in x
0.323 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.323 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.323 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.323 * [taylor]: Taking taylor expansion of 2 in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.323 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.323 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.323 * [taylor]: Taking taylor expansion of 2 in x
0.323 * [taylor]: Taking taylor expansion of x in x
0.325 * [approximate]: Taking taylor expansion of (/ (sqrt 2) x) in (x) around 0
0.325 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.325 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.325 * [taylor]: Taking taylor expansion of 2 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.325 * [taylor]: Taking taylor expansion of (/ (sqrt 2) x) in x
0.325 * [taylor]: Taking taylor expansion of (sqrt 2) in x
0.325 * [taylor]: Taking taylor expansion of 2 in x
0.325 * [taylor]: Taking taylor expansion of x in x
0.326 * * * [progress]: simplifying candidates
0.327 * [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.330 * * [simplify]: iteration  0 :  127  enodes  (cost  240 )
0.332 * * [simplify]: iteration  1 :  372  enodes  (cost  235 )
0.344 * * [simplify]: iteration  2 :  2508  enodes  (cost  225 )
0.514 * * [simplify]: iteration  3 :  5002  enodes  (cost  225 )
0.516 * [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.516 * * * [progress]: adding candidates to table
0.582 * * [progress]: iteration 2 / 4
0.582 * * * [progress]: picking best candidate
0.603 * * * * [pick]: Picked  #<alt (λ (x) (* (sqrt (pow (* (cbrt x) (cbrt x)) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
0.603 * * * [progress]: localizing error
0.615 * * * [progress]: generating rewritten candidates
0.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
0.617 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.620 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.622 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 1)
0.633 * * * [progress]: generating series expansions
0.633 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
0.634 * [approximate]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in (x) around 0
0.634 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
0.634 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
0.634 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
0.634 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.634 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
0.634 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.634 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.634 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.634 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.634 * [taylor]: Taking taylor expansion of (log x) in x
0.634 * [taylor]: Taking taylor expansion of x in x
0.635 * [taylor]: Taking taylor expansion of (pow (pow x 6004799503160661.0) 1.1102230246251565e-16) in x
0.635 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0)))) in x
0.635 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 6004799503160661.0))) in x
0.635 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.635 * [taylor]: Taking taylor expansion of (log (pow x 6004799503160661.0)) in x
0.635 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.635 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.635 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.635 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.635 * [taylor]: Taking taylor expansion of (log x) in x
0.635 * [taylor]: Taking taylor expansion of x in x
0.649 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in (x) around 0
0.649 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.649 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.649 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.649 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.649 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.650 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.650 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.650 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.650 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.650 * [taylor]: Taking taylor expansion of (log x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.650 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.650 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.650 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.650 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.650 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.650 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.650 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.650 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.650 * [taylor]: Taking taylor expansion of (log x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.666 * [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.666 * [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.666 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
0.666 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
0.666 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
0.666 * [taylor]: Taking taylor expansion of 1.0 in x
0.666 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
0.666 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
0.666 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
0.666 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
0.666 * [taylor]: Taking taylor expansion of 2.0 in x
0.666 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
0.667 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.667 * [taylor]: Taking taylor expansion of -1 in x
0.667 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.667 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.667 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.667 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.667 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.667 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.667 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.667 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.667 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.667 * [taylor]: Taking taylor expansion of (log x) in x
0.667 * [taylor]: Taking taylor expansion of x in x
0.668 * [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.668 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2.0) 1.0) in x
0.668 * [taylor]: Taking taylor expansion of (exp (* 1.0 (log (pow (cbrt -1) 2.0)))) in x
0.668 * [taylor]: Taking taylor expansion of (* 1.0 (log (pow (cbrt -1) 2.0))) in x
0.668 * [taylor]: Taking taylor expansion of 1.0 in x
0.668 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2.0)) in x
0.668 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2.0) in x
0.668 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (cbrt -1)))) in x
0.668 * [taylor]: Taking taylor expansion of (* 2.0 (log (cbrt -1))) in x
0.668 * [taylor]: Taking taylor expansion of 2.0 in x
0.668 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
0.668 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.668 * [taylor]: Taking taylor expansion of -1 in x
0.668 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 6004799503160661.0)) 1.1102230246251565e-16) in x
0.669 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0))))) in x
0.669 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 6004799503160661.0)))) in x
0.669 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
0.669 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 6004799503160661.0))) in x
0.669 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6004799503160661.0)) in x
0.669 * [taylor]: Taking taylor expansion of (pow x 6004799503160661.0) in x
0.669 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log x))) in x
0.669 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log x)) in x
0.669 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
0.669 * [taylor]: Taking taylor expansion of (log x) in x
0.669 * [taylor]: Taking taylor expansion of x in x
0.703 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.704 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
0.704 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
0.704 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
0.704 * [taylor]: Taking taylor expansion of 2.0 in x
0.704 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.704 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.704 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.704 * [taylor]: Taking taylor expansion of 1/3 in x
0.704 * [taylor]: Taking taylor expansion of (log x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.704 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
0.704 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
0.704 * [taylor]: Taking taylor expansion of 2.0 in x
0.704 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.704 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.704 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.704 * [taylor]: Taking taylor expansion of 1/3 in x
0.704 * [taylor]: Taking taylor expansion of (log x) in x
0.704 * [taylor]: Taking taylor expansion of x in x
0.717 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
0.717 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
0.717 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
0.717 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
0.717 * [taylor]: Taking taylor expansion of 2.0 in x
0.717 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.717 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.717 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.717 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.717 * [taylor]: Taking taylor expansion of 1/3 in x
0.717 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.717 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.717 * [taylor]: Taking taylor expansion of x in x
0.718 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
0.718 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
0.718 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
0.718 * [taylor]: Taking taylor expansion of 2.0 in x
0.718 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.718 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.718 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.718 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.718 * [taylor]: Taking taylor expansion of 1/3 in x
0.718 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.718 * [taylor]: Taking taylor expansion of x in x
0.734 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
0.734 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
0.734 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
0.734 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.734 * [taylor]: Taking taylor expansion of 2.0 in x
0.734 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.734 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.734 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.734 * [taylor]: Taking taylor expansion of -1 in x
0.734 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.734 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.734 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.734 * [taylor]: Taking taylor expansion of 1/3 in x
0.734 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.734 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.734 * [taylor]: Taking taylor expansion of x in x
0.735 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
0.735 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
0.735 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.735 * [taylor]: Taking taylor expansion of 2.0 in x
0.735 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.735 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.735 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.735 * [taylor]: Taking taylor expansion of -1 in x
0.735 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.735 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.735 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.735 * [taylor]: Taking taylor expansion of 1/3 in x
0.735 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.735 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.735 * [taylor]: Taking taylor expansion of x in x
0.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.754 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
0.754 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
0.754 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
0.754 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
0.754 * [taylor]: Taking taylor expansion of 2.0 in x
0.754 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.754 * [taylor]: Taking taylor expansion of 1/3 in x
0.754 * [taylor]: Taking taylor expansion of (log x) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.754 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
0.754 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
0.754 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
0.754 * [taylor]: Taking taylor expansion of 2.0 in x
0.754 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
0.754 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.754 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.754 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.754 * [taylor]: Taking taylor expansion of 1/3 in x
0.754 * [taylor]: Taking taylor expansion of (log x) in x
0.754 * [taylor]: Taking taylor expansion of x in x
0.767 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
0.767 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
0.767 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
0.767 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
0.767 * [taylor]: Taking taylor expansion of 2.0 in x
0.767 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.767 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.767 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.767 * [taylor]: Taking taylor expansion of 1/3 in x
0.767 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.768 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
0.768 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
0.768 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
0.768 * [taylor]: Taking taylor expansion of 2.0 in x
0.768 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
0.768 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.768 * [taylor]: Taking taylor expansion of 1/3 in x
0.768 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.768 * [taylor]: Taking taylor expansion of x in x
0.781 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
0.781 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
0.781 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
0.781 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.781 * [taylor]: Taking taylor expansion of 2.0 in x
0.781 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.781 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.781 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.781 * [taylor]: Taking taylor expansion of -1 in x
0.781 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.782 * [taylor]: Taking taylor expansion of 1/3 in x
0.782 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.782 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
0.782 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
0.782 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
0.782 * [taylor]: Taking taylor expansion of 2.0 in x
0.782 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
0.782 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.782 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.782 * [taylor]: Taking taylor expansion of -1 in x
0.782 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.782 * [taylor]: Taking taylor expansion of 1/3 in x
0.782 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.782 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.782 * [taylor]: Taking taylor expansion of x in x
0.800 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 1)
0.801 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
0.801 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.801 * [taylor]: Taking taylor expansion of 1/3 in x
0.801 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.801 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.801 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
0.801 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
0.801 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
0.801 * [taylor]: Taking taylor expansion of 1/3 in x
0.801 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
0.801 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.801 * [taylor]: Taking taylor expansion of x in x
0.808 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
0.808 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.808 * [taylor]: Taking taylor expansion of 1/3 in x
0.808 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.808 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.808 * [taylor]: Taking taylor expansion of 1/3 in x
0.808 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.808 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.808 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.808 * [taylor]: Taking taylor expansion of x in x
0.818 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
0.818 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.818 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.818 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.818 * [taylor]: Taking taylor expansion of -1 in x
0.818 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.818 * [taylor]: Taking taylor expansion of 1/3 in x
0.818 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.818 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.818 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.818 * [taylor]: Taking taylor expansion of x in x
0.818 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
0.818 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
0.818 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.818 * [taylor]: Taking taylor expansion of -1 in x
0.818 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
0.818 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
0.818 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
0.818 * [taylor]: Taking taylor expansion of 1/3 in x
0.819 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
0.819 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
0.819 * [taylor]: Taking taylor expansion of (pow x 2) in x
0.819 * [taylor]: Taking taylor expansion of x in x
0.828 * * * [progress]: simplifying candidates
0.830 * [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)) 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))
  (* (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))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (exp (* 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 (* 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)
  (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)
  (exp (* 1/3 (+ (log 1) (* 2 (log x)))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 x))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
0.834 * * [simplify]: iteration  0 :  288  enodes  (cost  534 )
0.840 * * [simplify]: iteration  1 :  1017  enodes  (cost  500 )
0.860 * * [simplify]: iteration  2 :  4315  enodes  (cost  451 )
0.953 * * [simplify]: iteration  3 :  5001  enodes  (cost  448 )
0.957 * [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)))
  (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))
  (cbrt x)
  (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))
  (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))
  (cbrt x)
  (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))
  2/3
  2
  (* x x)
  (pow (cbrt x) 2)
  2
  (* 2 (log (cbrt x)))
  (* 2 (log (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* x x)
  (fabs (cbrt x))
  (fabs (cbrt x))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow (cbrt x) 2)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  1
  (pow (cbrt x) 2)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (cbrt x)
  (cbrt x)
  2/3
  2
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (cbrt x)
  (pow (cbrt (cbrt x)) 5)
  (pow (cbrt x) 3/2)
  (cbrt x)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow (cbrt x) 2)
  (pow (cbrt (cbrt x)) 4)
  (pow (cbrt x) 3/2)
  (pow (cbrt x) 2)
  (pow x 0.6666666666666666)
  (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))
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (pow x 2/3)
  (pow x 2/3)
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 x)))))))
0.957 * * * [progress]: adding candidates to table
1.150 * * [progress]: iteration 3 / 4
1.150 * * * [progress]: picking best candidate
1.185 * * * * [pick]: Picked  #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>
1.185 * * * [progress]: localizing error
1.193 * * * [progress]: generating rewritten candidates
1.193 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2)
1.196 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 1)
1.199 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
1.201 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1)
1.204 * * * [progress]: generating series expansions
1.204 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2)
1.204 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.204 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.204 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.204 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.204 * [taylor]: Taking taylor expansion of 2.0 in x
1.204 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.205 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.205 * [taylor]: Taking taylor expansion of 1/3 in x
1.205 * [taylor]: Taking taylor expansion of (log x) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.205 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.205 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.205 * [taylor]: Taking taylor expansion of 2.0 in x
1.205 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.205 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.205 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.205 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.205 * [taylor]: Taking taylor expansion of 1/3 in x
1.205 * [taylor]: Taking taylor expansion of (log x) in x
1.205 * [taylor]: Taking taylor expansion of x in x
1.218 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.218 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.218 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.218 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.218 * [taylor]: Taking taylor expansion of 2.0 in x
1.218 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.218 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.218 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.218 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.218 * [taylor]: Taking taylor expansion of 1/3 in x
1.218 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.218 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.218 * [taylor]: Taking taylor expansion of x in x
1.219 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.219 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.219 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.219 * [taylor]: Taking taylor expansion of 2.0 in x
1.219 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) 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.232 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.232 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.232 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.232 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.232 * [taylor]: Taking taylor expansion of 2.0 in x
1.232 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.232 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.232 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.232 * [taylor]: Taking taylor expansion of -1 in x
1.233 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.233 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.233 * [taylor]: Taking taylor expansion of 1/3 in x
1.233 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.233 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.233 * [taylor]: Taking taylor expansion of x in x
1.233 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.233 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.233 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.233 * [taylor]: Taking taylor expansion of 2.0 in x
1.233 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.233 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.233 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.233 * [taylor]: Taking taylor expansion of -1 in x
1.233 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.233 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.234 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.234 * [taylor]: Taking taylor expansion of 1/3 in x
1.234 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.234 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.234 * [taylor]: Taking taylor expansion of x in x
1.251 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 1)
1.251 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.251 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.251 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.251 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.251 * [taylor]: Taking taylor expansion of 2.0 in x
1.251 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.251 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.251 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.251 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.251 * [taylor]: Taking taylor expansion of 1/3 in x
1.251 * [taylor]: Taking taylor expansion of (log x) in x
1.251 * [taylor]: Taking taylor expansion of x in x
1.252 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.252 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.252 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.252 * [taylor]: Taking taylor expansion of 2.0 in x
1.252 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.252 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.252 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.252 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.252 * [taylor]: Taking taylor expansion of 1/3 in x
1.252 * [taylor]: Taking taylor expansion of (log x) in x
1.252 * [taylor]: Taking taylor expansion of x in x
1.267 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.267 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.267 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.267 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.267 * [taylor]: Taking taylor expansion of 2.0 in x
1.267 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.267 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.267 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.267 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.267 * [taylor]: Taking taylor expansion of 1/3 in x
1.267 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.267 * [taylor]: Taking taylor expansion of x in x
1.268 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.268 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.268 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.268 * [taylor]: Taking taylor expansion of 2.0 in x
1.268 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.268 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.268 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.268 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.268 * [taylor]: Taking taylor expansion of 1/3 in x
1.268 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.268 * [taylor]: Taking taylor expansion of x in x
1.281 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.281 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.281 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.281 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.281 * [taylor]: Taking taylor expansion of 2.0 in x
1.281 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.281 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.282 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.282 * [taylor]: Taking taylor expansion of -1 in x
1.282 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.282 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.282 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.282 * [taylor]: Taking taylor expansion of 1/3 in x
1.282 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.282 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.282 * [taylor]: Taking taylor expansion of x in x
1.282 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.282 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.282 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.282 * [taylor]: Taking taylor expansion of 2.0 in x
1.282 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.282 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.282 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.282 * [taylor]: Taking taylor expansion of -1 in x
1.282 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.283 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.283 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.283 * [taylor]: Taking taylor expansion of 1/3 in x
1.283 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.283 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.283 * [taylor]: Taking taylor expansion of x in x
1.300 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
1.300 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.300 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.300 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.300 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.300 * [taylor]: Taking taylor expansion of 2.0 in x
1.300 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.300 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.300 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.300 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.300 * [taylor]: Taking taylor expansion of 1/3 in x
1.300 * [taylor]: Taking taylor expansion of (log x) in x
1.300 * [taylor]: Taking taylor expansion of x in x
1.301 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.301 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.301 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.301 * [taylor]: Taking taylor expansion of 2.0 in x
1.301 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.301 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.301 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.301 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.301 * [taylor]: Taking taylor expansion of 1/3 in x
1.301 * [taylor]: Taking taylor expansion of (log x) in x
1.301 * [taylor]: Taking taylor expansion of x in x
1.314 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.314 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.314 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.314 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.314 * [taylor]: Taking taylor expansion of 2.0 in x
1.314 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.314 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.314 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.314 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.314 * [taylor]: Taking taylor expansion of 1/3 in x
1.314 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.314 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.314 * [taylor]: Taking taylor expansion of x in x
1.315 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.315 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.315 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.315 * [taylor]: Taking taylor expansion of 2.0 in x
1.315 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.315 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.315 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.315 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.315 * [taylor]: Taking taylor expansion of 1/3 in x
1.315 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.315 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.315 * [taylor]: Taking taylor expansion of x in x
1.328 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.328 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.328 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.328 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.328 * [taylor]: Taking taylor expansion of 2.0 in x
1.328 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.328 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.329 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.329 * [taylor]: Taking taylor expansion of -1 in x
1.329 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.329 * [taylor]: Taking taylor expansion of 1/3 in x
1.329 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.329 * [taylor]: Taking taylor expansion of x in x
1.329 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.329 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.329 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.329 * [taylor]: Taking taylor expansion of 2.0 in x
1.329 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.329 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.329 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.329 * [taylor]: Taking taylor expansion of -1 in x
1.330 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.330 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.330 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.330 * [taylor]: Taking taylor expansion of 1/3 in x
1.330 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.330 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.330 * [taylor]: Taking taylor expansion of x in x
1.347 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1)
1.348 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.348 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.348 * [taylor]: Taking taylor expansion of 1/3 in x
1.348 * [taylor]: Taking taylor expansion of (log x) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.348 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.348 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.348 * [taylor]: Taking taylor expansion of 1/3 in x
1.348 * [taylor]: Taking taylor expansion of (log x) in x
1.348 * [taylor]: Taking taylor expansion of x in x
1.356 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.356 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.356 * [taylor]: Taking taylor expansion of 1/3 in x
1.356 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.356 * [taylor]: Taking taylor expansion of x in x
1.356 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.356 * [taylor]: Taking taylor expansion of 1/3 in x
1.356 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.356 * [taylor]: Taking taylor expansion of x in x
1.362 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.363 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.363 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.363 * [taylor]: Taking taylor expansion of -1 in x
1.363 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.363 * [taylor]: Taking taylor expansion of 1/3 in x
1.363 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.363 * [taylor]: Taking taylor expansion of x in x
1.363 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.363 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.363 * [taylor]: Taking taylor expansion of -1 in x
1.363 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.363 * [taylor]: Taking taylor expansion of 1/3 in x
1.363 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.363 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.363 * [taylor]: Taking taylor expansion of x in x
1.371 * * * [progress]: simplifying candidates
1.373 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (* (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))
  (* (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))
  (* (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))
  (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))))
  (exp (* 0.6666666666666666 (- (log 1) (log (/ 1 x)))))
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (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)
  (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)
  (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.376 * * [simplify]: iteration  0 :  139  enodes  (cost  366 )
1.379 * * [simplify]: iteration  1 :  370  enodes  (cost  350 )
1.385 * * [simplify]: iteration  2 :  1180  enodes  (cost  316 )
1.417 * * [simplify]: iteration  3 :  5002  enodes  (cost  309 )
1.420 * [simplify]: Simplified to:
   (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))
  (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))
  (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))
  (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)
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x))))))
1.420 * * * [progress]: adding candidates to table
1.580 * * [progress]: iteration 4 / 4
1.580 * * * [progress]: picking best candidate
1.624 * * * * [pick]: Picked  #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))>
1.624 * * * [progress]: localizing error
1.639 * * * [progress]: generating rewritten candidates
1.639 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 2)
1.642 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2)
1.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1)
1.647 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 2 1)
1.652 * * * [progress]: generating series expansions
1.652 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 2)
1.652 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0
1.652 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.652 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.652 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.652 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.652 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.652 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.652 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.652 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.652 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.652 * [taylor]: Taking taylor expansion of (log x) in x
1.652 * [taylor]: Taking taylor expansion of x in x
1.652 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.652 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.653 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.653 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.653 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.653 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.653 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.653 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.653 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.653 * [taylor]: Taking taylor expansion of (log x) in x
1.653 * [taylor]: Taking taylor expansion of x in x
1.666 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.666 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.666 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.666 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.666 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.666 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.666 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.666 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.666 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.666 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.666 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.666 * [taylor]: Taking taylor expansion of (log x) in x
1.666 * [taylor]: Taking taylor expansion of x in x
1.667 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.667 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.667 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.667 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.667 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.667 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.667 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.667 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.667 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.667 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.667 * [taylor]: Taking taylor expansion of (log x) in x
1.668 * [taylor]: Taking taylor expansion of x in x
1.683 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.683 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.683 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.683 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.683 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.683 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.683 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.683 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.683 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.683 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.683 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.683 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.683 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.683 * [taylor]: Taking taylor expansion of -1 in x
1.684 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.684 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.684 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.684 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.684 * [taylor]: Taking taylor expansion of (log x) in x
1.684 * [taylor]: Taking taylor expansion of x in x
1.685 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.685 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.685 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.685 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.685 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.685 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.685 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.685 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.685 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.685 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.685 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.685 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.685 * [taylor]: Taking taylor expansion of -1 in x
1.685 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.685 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.685 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.685 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.685 * [taylor]: Taking taylor expansion of (log x) in x
1.685 * [taylor]: Taking taylor expansion of x in x
1.717 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2)
1.717 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0
1.717 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.717 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.717 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.717 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.717 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.717 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.717 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.717 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.717 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.717 * [taylor]: Taking taylor expansion of (log x) in x
1.717 * [taylor]: Taking taylor expansion of x in x
1.717 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.717 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.717 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.717 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.717 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.717 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.717 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.718 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.718 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.718 * [taylor]: Taking taylor expansion of (log x) in x
1.718 * [taylor]: Taking taylor expansion of x in x
1.733 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.733 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.733 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.733 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.733 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.733 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.733 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.733 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.733 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.733 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.733 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.733 * [taylor]: Taking taylor expansion of (log x) in x
1.733 * [taylor]: Taking taylor expansion of x in x
1.733 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.733 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.733 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.733 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.733 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.733 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.733 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.733 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.733 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.733 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.733 * [taylor]: Taking taylor expansion of (log x) in x
1.734 * [taylor]: Taking taylor expansion of x in x
1.749 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.749 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.749 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.749 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.749 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.749 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.749 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.749 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.749 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.749 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.749 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.749 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.749 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.749 * [taylor]: Taking taylor expansion of -1 in x
1.749 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.749 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.749 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.749 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.749 * [taylor]: Taking taylor expansion of (log x) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.750 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.750 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.750 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.750 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.750 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.750 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.750 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.750 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.750 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.750 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.750 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.750 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.751 * [taylor]: Taking taylor expansion of -1 in x
1.751 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.751 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.751 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.751 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.751 * [taylor]: Taking taylor expansion of (log x) in x
1.751 * [taylor]: Taking taylor expansion of x in x
1.782 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1)
1.782 * [approximate]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in (x) around 0
1.782 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.782 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.782 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.782 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.782 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.782 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.782 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.783 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.783 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.783 * [taylor]: Taking taylor expansion of (log x) in x
1.783 * [taylor]: Taking taylor expansion of x in x
1.783 * [taylor]: Taking taylor expansion of (pow (pow x 2001599834386887.0) 1.1102230246251565e-16) in x
1.783 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0)))) in x
1.783 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (pow x 2001599834386887.0))) in x
1.783 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.783 * [taylor]: Taking taylor expansion of (log (pow x 2001599834386887.0)) in x
1.783 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.783 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.783 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.783 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.783 * [taylor]: Taking taylor expansion of (log x) in x
1.783 * [taylor]: Taking taylor expansion of x in x
1.796 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.796 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.796 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.796 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.796 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.796 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.796 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.796 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.796 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.796 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.796 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.796 * [taylor]: Taking taylor expansion of (log x) in x
1.796 * [taylor]: Taking taylor expansion of x in x
1.797 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.797 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0))))) in x
1.797 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ 1 (pow x 2001599834386887.0)))) in x
1.797 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.797 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2001599834386887.0))) in x
1.797 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2001599834386887.0)) in x
1.797 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.797 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.797 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.797 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.797 * [taylor]: Taking taylor expansion of (log x) in x
1.797 * [taylor]: Taking taylor expansion of x in x
1.812 * [approximate]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in (x) around 0
1.812 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.812 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.812 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.812 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.812 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.812 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.812 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.812 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.812 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.812 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.812 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.812 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.812 * [taylor]: Taking taylor expansion of -1 in x
1.813 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.813 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.813 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.813 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.813 * [taylor]: Taking taylor expansion of (log x) in x
1.813 * [taylor]: Taking taylor expansion of x in x
1.814 * [taylor]: Taking taylor expansion of (pow (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) 1.1102230246251565e-16) in x
1.814 * [taylor]: Taking taylor expansion of (exp (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))))) in x
1.814 * [taylor]: Taking taylor expansion of (* 1.1102230246251565e-16 (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)))) in x
1.814 * [taylor]: Taking taylor expansion of 1.1102230246251565e-16 in x
1.814 * [taylor]: Taking taylor expansion of (log (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0))) in x
1.814 * [taylor]: Taking taylor expansion of (/ (pow (cbrt -1) 6004799503160661.0) (pow x 2001599834386887.0)) in x
1.814 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 6004799503160661.0) in x
1.814 * [taylor]: Taking taylor expansion of (exp (* 6004799503160661.0 (log (cbrt -1)))) in x
1.814 * [taylor]: Taking taylor expansion of (* 6004799503160661.0 (log (cbrt -1))) in x
1.814 * [taylor]: Taking taylor expansion of 6004799503160661.0 in x
1.814 * [taylor]: Taking taylor expansion of (log (cbrt -1)) in x
1.814 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.814 * [taylor]: Taking taylor expansion of -1 in x
1.814 * [taylor]: Taking taylor expansion of (pow x 2001599834386887.0) in x
1.814 * [taylor]: Taking taylor expansion of (exp (* 2001599834386887.0 (log x))) in x
1.814 * [taylor]: Taking taylor expansion of (* 2001599834386887.0 (log x)) in x
1.814 * [taylor]: Taking taylor expansion of 2001599834386887.0 in x
1.814 * [taylor]: Taking taylor expansion of (log x) in x
1.814 * [taylor]: Taking taylor expansion of x in x
1.847 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 2 1)
1.847 * [approximate]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in (x) around 0
1.847 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.847 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.847 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.847 * [taylor]: Taking taylor expansion of 2.0 in x
1.847 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.847 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.847 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.847 * [taylor]: Taking taylor expansion of 1/3 in x
1.847 * [taylor]: Taking taylor expansion of (log x) in x
1.847 * [taylor]: Taking taylor expansion of x in x
1.848 * [taylor]: Taking taylor expansion of (pow (pow x 1/3) 2.0) in x
1.848 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow x 1/3)))) in x
1.848 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow x 1/3))) in x
1.848 * [taylor]: Taking taylor expansion of 2.0 in x
1.848 * [taylor]: Taking taylor expansion of (log (pow x 1/3)) in x
1.848 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.848 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.848 * [taylor]: Taking taylor expansion of 1/3 in x
1.848 * [taylor]: Taking taylor expansion of (log x) in x
1.848 * [taylor]: Taking taylor expansion of x in x
1.861 * [approximate]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in (x) around 0
1.861 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.861 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.861 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.861 * [taylor]: Taking taylor expansion of 2.0 in x
1.861 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.861 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.861 * [taylor]: Taking taylor expansion of 1/3 in x
1.861 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.861 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.861 * [taylor]: Taking taylor expansion of x in x
1.862 * [taylor]: Taking taylor expansion of (pow (pow (/ 1 x) 1/3) 2.0) in x
1.862 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (pow (/ 1 x) 1/3)))) in x
1.862 * [taylor]: Taking taylor expansion of (* 2.0 (log (pow (/ 1 x) 1/3))) in x
1.862 * [taylor]: Taking taylor expansion of 2.0 in x
1.862 * [taylor]: Taking taylor expansion of (log (pow (/ 1 x) 1/3)) in x
1.862 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.862 * [taylor]: Taking taylor expansion of 1/3 in x
1.862 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.862 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.862 * [taylor]: Taking taylor expansion of x in x
1.875 * [approximate]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in (x) around 0
1.875 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.875 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.875 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.875 * [taylor]: Taking taylor expansion of 2.0 in x
1.875 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.875 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.875 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.875 * [taylor]: Taking taylor expansion of -1 in x
1.875 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.875 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.876 * [taylor]: Taking taylor expansion of 1/3 in x
1.876 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.876 * [taylor]: Taking taylor expansion of (pow (* (cbrt -1) (pow (/ 1 x) 1/3)) 2.0) in x
1.876 * [taylor]: Taking taylor expansion of (exp (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3))))) in x
1.876 * [taylor]: Taking taylor expansion of (* 2.0 (log (* (cbrt -1) (pow (/ 1 x) 1/3)))) in x
1.876 * [taylor]: Taking taylor expansion of 2.0 in x
1.876 * [taylor]: Taking taylor expansion of (log (* (cbrt -1) (pow (/ 1 x) 1/3))) in x
1.876 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.876 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.876 * [taylor]: Taking taylor expansion of -1 in x
1.876 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.876 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.876 * [taylor]: Taking taylor expansion of 1/3 in x
1.876 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.894 * * * [progress]: simplifying candidates
1.896 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt 1) 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow 1 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt 1)
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt 1) 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow 1 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt 1)
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt 1) 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow 1 2.0))
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt 1)
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (* (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 (* 0.2222222222222222 (+ (log 1) (log x))))
  (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16)
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (exp (* 0.2222222222222222 (+ (log 1) (log x))))
  (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16)
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (exp (* 0.2222222222222222 (+ (log 1) (log x))))
  (pow (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ 1 x)))))) 1.1102230246251565e-16)
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (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.900 * * [simplify]: iteration  0 :  203  enodes  (cost  537 )
1.903 * * [simplify]: iteration  1 :  518  enodes  (cost  512 )
1.911 * * [simplify]: iteration  2 :  1791  enodes  (cost  474 )
1.952 * * [simplify]: iteration  3 :  5001  enodes  (cost  457 )
1.956 * [simplify]: Simplified to:
   (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (pow (cbrt x) 2.0)
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (pow (cbrt x) 2.0)
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (log (cbrt (pow (cbrt x) 2.0)))
  (exp (cbrt (pow (cbrt x) 2.0)))
  (cbrt (pow (cbrt (* (cbrt x) (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  (cbrt (pow (cbrt (sqrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (* (cbrt (cbrt x)) (cbrt (cbrt x))) 2.0))
  (cbrt (pow (cbrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  (cbrt (pow (sqrt (cbrt x)) 2.0))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  (cbrt (sqrt (pow (cbrt x) 2.0)))
  1
  (cbrt (pow (cbrt x) 2.0))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (cbrt (pow (cbrt x) (/ 2.0 2)))
  (* (cbrt (cbrt (pow (cbrt x) 2.0))) (cbrt (cbrt (pow (cbrt x) 2.0))))
  (cbrt (cbrt (pow (cbrt x) 2.0)))
  (pow (cbrt x) 2.0)
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (sqrt (cbrt (pow (cbrt x) 2.0)))
  (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))
  (cbrt x)
  (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 0.2222222222222222)
  (pow (pow x 2001599834386887.0) (* 2 (/ 1.1102230246251565e-16 2)))
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (pow x 0.2222222222222222)
  (pow (pow x 2001599834386887.0) (* 2 (/ 1.1102230246251565e-16 2)))
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (pow x 0.2222222222222222)
  (pow (pow x 2001599834386887.0) (* 2 (/ 1.1102230246251565e-16 2)))
  (pow (* (pow (pow (cbrt -1) 6004799503160661.0) 1.0) (/ 1 (exp (* 2001599834386887.0 (+ (log 1) (log (/ -1 x))))))) 1.1102230246251565e-16)
  (pow x 0.6666666666666666)
  (pow x 0.6666666666666666)
  (pow (* (cbrt -1) (exp (* 1/3 (- (log 1) (log (/ -1 x)))))) 2.0)
1.956 * * * [progress]: adding candidates to table
2.225 * [progress]: [Phase 3 of 3] Extracting.
2.225 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.228 * * * [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.228 * * * * [regimes]: Trying to branch on (pow x 2.0) from (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.305 * * * * [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))))))>)
2.335 * * * * [regimes]: Trying to branch on (+ (pow x 2.0) (pow x 2.0)) from (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.413 * * * * [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))))))>)
2.446 * * * * [regimes]: Trying to branch on (sqrt (+ (pow x 2.0) (pow x 2.0))) from (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.527 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.609 * * * [regime]: Found split indices: #<option (#s(si 0 136) #s(si 6 255))>
2.610 * [binary-search]: Improving bounds with binary search for x and (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.627 * [regimes]: Found splitpoints: (#s(sp 0 x 1.66592993967514e-310) #s(sp 6 x +nan.0)) , with alts (#<alt (λ (x) (* -1 (* x (sqrt 2))))> #<alt (λ (x) (sqrt (+ (pow x 2.0) (pow x 2.0))))> #<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) (* (sqrt (pow (* (pow (cbrt (cbrt x)) 5) (cbrt (cbrt x))) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (pow (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))) 2.0) (pow (cbrt (cbrt x)) 2.0))))))> #<alt (λ (x) (* (sqrt (pow (* (cbrt (* (cbrt x) (cbrt x))) (pow (cbrt (cbrt x)) 4)) 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) (* x (sqrt 2)))> #<alt (λ (x) (* (fabs (* (pow (sqrt (cbrt x)) 2.0) (pow (sqrt (cbrt x)) 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) (* (fabs (cbrt (+ (pow x 2.0) (pow x 2.0)))) (sqrt (cbrt (+ (pow x 2.0) (pow x 2.0))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (exp (log (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (pow (cbrt x) 2.0)) (sqrt (+ (pow (cbrt x) 2.0) (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))))))> #<alt (λ (x) (* (fabs (* (* (cbrt (pow (cbrt x) 2.0)) (cbrt (pow (cbrt x) 2.0))) (cbrt (pow (cbrt x) 2.0)))) (sqrt (+ (pow (cbrt x) 2.0) (pow (cbrt x) 2.0)))))>)
2.629 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (if (<= x 1.66592993967514e-310) (* -1 (* x (sqrt 2))) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))
2.629 * * [simplify]: iteration  0 :  20  enodes  (cost  13 )
2.630 * * [simplify]: iteration  1 :  26  enodes  (cost  13 )
2.630 * * [simplify]: iteration  2 :  26  enodes  (cost  13 )
2.630 * [simplify]: Simplified to:
   (if (<= x 1.66592993967514e-310) (* -1 (* x (sqrt 2))) (* (sqrt (pow x (/ 2.0 2))) (sqrt (+ (pow x (/ 2.0 2)) (pow x (/ 2.0 2))))))
4.787 * [regime-testing]: End program error score: 0.39257275597075847