3.717 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.014 * * * [progress]: [2/2] Setting up program.
0.015 * [progress]: [Phase 2 of 3] Improving.
0.016 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.016 * [simplify]: Sending expressions to egg_math:
 (- h0 (* h1 (+ h2 (* h1 h3))))
0.018 * * [simplify]: iteration  0 :  19  enodes  (cost  4 )
0.020 * * [simplify]: iteration  1 :  45  enodes  (cost  4 )
0.021 * * [simplify]: iteration  2 :  82  enodes  (cost  3 )
0.023 * * [simplify]: iteration  3 :  127  enodes  (cost  3 )
0.026 * * [simplify]: iteration  4 :  168  enodes  (cost  3 )
0.029 * * [simplify]: iteration  5 :  224  enodes  (cost  3 )
0.032 * * [simplify]: iteration  6 :  359  enodes  (cost  3 )
0.037 * * [simplify]: iteration  7 :  666  enodes  (cost  3 )
0.041 * * [simplify]: iteration  8 :  763  enodes  (cost  3 )
0.045 * * [simplify]: iteration  9 :  763  enodes  (cost  3 )
0.045 * [simplify]: Simplified to:
   (fma (- x) (fma 0.12 x 0.253) 1.0)
0.047 * * [progress]: iteration 1 / 4
0.047 * * * [progress]: picking best candidate
0.050 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (+ 0.253 (* x 0.12)))))>
0.050 * * * [progress]: localizing error
0.056 * * * [progress]: generating rewritten candidates
0.056 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.076 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 2)
0.082 * * * [progress]: generating series expansions
0.082 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.082 * [approximate]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in (x) around 0
0.082 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.082 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.082 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.082 * [taylor]: Taking taylor expansion of 0.12 in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of 0.253 in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of (* (+ (* 0.12 x) 0.253) x) in x
0.082 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.082 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.082 * [taylor]: Taking taylor expansion of 0.12 in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.082 * [taylor]: Taking taylor expansion of 0.253 in x
0.082 * [taylor]: Taking taylor expansion of x in x
0.098 * [approximate]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in (x) around 0
0.098 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.099 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.099 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.099 * [taylor]: Taking taylor expansion of 0.12 in x
0.099 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.099 * [taylor]: Taking taylor expansion of 0.253 in x
0.099 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of (/ (+ (* 0.12 (/ 1 x)) 0.253) x) in x
0.100 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.100 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.100 * [taylor]: Taking taylor expansion of 0.12 in x
0.100 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.100 * [taylor]: Taking taylor expansion of 0.253 in x
0.100 * [taylor]: Taking taylor expansion of x in x
0.114 * [approximate]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in (x) around 0
0.115 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.115 * [taylor]: Taking taylor expansion of -1 in x
0.115 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.115 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.115 * [taylor]: Taking taylor expansion of 0.253 in x
0.115 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.115 * [taylor]: Taking taylor expansion of 0.12 in x
0.115 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.115 * [taylor]: Taking taylor expansion of x in x
0.116 * [taylor]: Taking taylor expansion of (* -1 (/ (- 0.253 (* 0.12 (/ 1 x))) x)) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [taylor]: Taking taylor expansion of (/ (- 0.253 (* 0.12 (/ 1 x))) x) in x
0.116 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.116 * [taylor]: Taking taylor expansion of 0.253 in x
0.116 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.116 * [taylor]: Taking taylor expansion of 0.12 in x
0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.116 * [taylor]: Taking taylor expansion of x in x
0.117 * [taylor]: Taking taylor expansion of x in x
0.144 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 2)
0.144 * [approximate]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in (x) around 0
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.144 * [taylor]: Taking taylor expansion of 0.12 in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 0.253 in x
0.144 * [taylor]: Taking taylor expansion of (+ (* 0.12 x) 0.253) in x
0.144 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.144 * [taylor]: Taking taylor expansion of 0.12 in x
0.144 * [taylor]: Taking taylor expansion of x in x
0.144 * [taylor]: Taking taylor expansion of 0.253 in x
0.151 * [approximate]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in (x) around 0
0.151 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.151 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.151 * [taylor]: Taking taylor expansion of 0.12 in x
0.151 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.151 * [taylor]: Taking taylor expansion of x in x
0.151 * [taylor]: Taking taylor expansion of 0.253 in x
0.152 * [taylor]: Taking taylor expansion of (+ (* 0.12 (/ 1 x)) 0.253) in x
0.152 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.152 * [taylor]: Taking taylor expansion of 0.12 in x
0.152 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.152 * [taylor]: Taking taylor expansion of x in x
0.152 * [taylor]: Taking taylor expansion of 0.253 in x
0.161 * [approximate]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in (x) around 0
0.161 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.161 * [taylor]: Taking taylor expansion of 0.253 in x
0.161 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.161 * [taylor]: Taking taylor expansion of 0.12 in x
0.161 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.161 * [taylor]: Taking taylor expansion of x in x
0.161 * [taylor]: Taking taylor expansion of (- 0.253 (* 0.12 (/ 1 x))) in x
0.161 * [taylor]: Taking taylor expansion of 0.253 in x
0.162 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.162 * [taylor]: Taking taylor expansion of 0.12 in x
0.162 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.162 * [taylor]: Taking taylor expansion of x in x
0.173 * * * [progress]: simplifying candidates
0.174 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (+ 0.253 (* x 0.12))))
  (log1p (* x (+ 0.253 (* x 0.12))))
  (* x (+ 0.253 (* x 0.12)))
  (+ (log x) (log (+ 0.253 (* x 0.12))))
  (log (* x (+ 0.253 (* x 0.12))))
  (exp (* x (+ 0.253 (* x 0.12))))
  (* (* (* x x) x) (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12))))
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (* (* (* x (+ 0.253 (* x 0.12))) (* x (+ 0.253 (* x 0.12)))) (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* (sqrt x) (sqrt (+ 0.253 (* x 0.12))))
  (* x 0.253)
  (* x (* x 0.12))
  (* 0.253 x)
  (* (* x 0.12) x)
  (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  (* x 1)
  (* (cbrt x) (+ 0.253 (* x 0.12)))
  (* (sqrt x) (+ 0.253 (* x 0.12)))
  (* x (+ 0.253 (* x 0.12)))
  (* x (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* x (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12))))
  (expm1 (+ 0.253 (* x 0.12)))
  (log1p (+ 0.253 (* x 0.12)))
  (* (exp 0.253) (exp (* x 0.12)))
  (log (+ 0.253 (* x 0.12)))
  (exp (+ 0.253 (* x 0.12)))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (* (* (+ 0.253 (* x 0.12)) (+ 0.253 (* x 0.12))) (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow 0.253 3) (pow (* x 0.12) 3))
  (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12))))
  (- (* 0.253 0.253) (* (* x 0.12) (* x 0.12)))
  (- 0.253 (* x 0.12))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
  (+ (* 0.12 x) 0.253)
0.174 * [simplify]: Sending expressions to egg_math:
 (expm1 (* h0 (+ h1 (* h0 h2))))
 (log1p (* h0 (+ h1 (* h0 h2))))
 (* h0 (+ h1 (* h0 h2)))
 (+ (log h0) (log (+ h1 (* h0 h2))))
 (log (* h0 (+ h1 (* h0 h2))))
 (exp (* h0 (+ h1 (* h0 h2))))
 (* (* (* h0 h0) h0) (* (* (+ h1 (* h0 h2)) (+ h1 (* h0 h2))) (+ h1 (* h0 h2))))
 (* (cbrt (* h0 (+ h1 (* h0 h2)))) (cbrt (* h0 (+ h1 (* h0 h2)))))
 (cbrt (* h0 (+ h1 (* h0 h2))))
 (* (* (* h0 (+ h1 (* h0 h2))) (* h0 (+ h1 (* h0 h2)))) (* h0 (+ h1 (* h0 h2))))
 (sqrt (* h0 (+ h1 (* h0 h2))))
 (sqrt (* h0 (+ h1 (* h0 h2))))
 (* (sqrt h0) (sqrt (+ h1 (* h0 h2))))
 (* (sqrt h0) (sqrt (+ h1 (* h0 h2))))
 (* h0 h1)
 (* h0 (* h0 h2))
 (* h1 h0)
 (* (* h0 h2) h0)
 (* h0 (* (cbrt (+ h1 (* h0 h2))) (cbrt (+ h1 (* h0 h2)))))
 (* h0 (sqrt (+ h1 (* h0 h2))))
 (* h0 1)
 (* (cbrt h0) (+ h1 (* h0 h2)))
 (* (sqrt h0) (+ h1 (* h0 h2)))
 (* h0 (+ h1 (* h0 h2)))
 (* h0 (+ (pow h1 3) (pow (* h0 h2) 3)))
 (* h0 (- (* h1 h1) (* (* h0 h2) (* h0 h2))))
 (expm1 (+ h1 (* h0 h2)))
 (log1p (+ h1 (* h0 h2)))
 (* (exp h1) (exp (* h0 h2)))
 (log (+ h1 (* h0 h2)))
 (exp (+ h1 (* h0 h2)))
 (* (cbrt (+ h1 (* h0 h2))) (cbrt (+ h1 (* h0 h2))))
 (cbrt (+ h1 (* h0 h2)))
 (* (* (+ h1 (* h0 h2)) (+ h1 (* h0 h2))) (+ h1 (* h0 h2)))
 (sqrt (+ h1 (* h0 h2)))
 (sqrt (+ h1 (* h0 h2)))
 (+ (pow h1 3) (pow (* h0 h2) 3))
 (+ (* h1 h1) (- (* (* h0 h2) (* h0 h2)) (* h1 (* h0 h2))))
 (- (* h1 h1) (* (* h0 h2) (* h0 h2)))
 (- h1 (* h0 h2))
 (+ (* h2 (pow h0 2)) (* h1 h0))
 (+ (* h2 (pow h0 2)) (* h1 h0))
 (+ (* h2 (pow h0 2)) (* h1 h0))
 (+ (* h2 h0) h1)
 (+ (* h2 h0) h1)
 (+ (* h2 h0) h1)
0.177 * * [simplify]: iteration  0 :  175  enodes  (cost  184 )
0.182 * * [simplify]: iteration  1 :  809  enodes  (cost  150 )
0.202 * * [simplify]: iteration  2 :  4290  enodes  (cost  148 )
0.289 * * [simplify]: iteration  3 :  5001  enodes  (cost  148 )
0.291 * [simplify]: Simplified to:
   (expm1 (* x (+ 0.253 (* x 0.12))))
  (log1p (* x (+ 0.253 (* x 0.12))))
  (* x (fma 0.12 x 0.253))
  (log (* x (+ 0.253 (* x 0.12))))
  (log (* x (+ 0.253 (* x 0.12))))
  (pow (exp x) (fma 0.12 x 0.253))
  (pow (* x (fma 0.12 x 0.253)) 3)
  (* (cbrt (* x (+ 0.253 (* x 0.12)))) (cbrt (* x (+ 0.253 (* x 0.12)))))
  (cbrt (* x (+ 0.253 (* x 0.12))))
  (pow (* x (fma 0.12 x 0.253)) 3)
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (sqrt (* x (+ 0.253 (* x 0.12))))
  (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2))
  (* (sqrt (+ 0.253 (* x 0.12))) (pow x 1/2))
  (* x 0.253)
  (* x (* x 0.12))
  (* x 0.253)
  (* x (* x 0.12))
  (* x (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12)))))
  (* x (sqrt (+ 0.253 (* x 0.12))))
  x
  (* (cbrt x) (fma 0.12 x 0.253))
  (* (sqrt x) (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (+ (pow 0.253 3) (pow (* x 0.12) 3)))
  (* (* x (fma 0.12 x 0.253)) (- 0.253 (* x 0.12)))
  (expm1 (+ 0.253 (* x 0.12)))
  (log1p (+ 0.253 (* x 0.12)))
  (exp (fma 0.12 x 0.253))
  (log (fma 0.12 x 0.253))
  (exp (fma 0.12 x 0.253))
  (* (cbrt (+ 0.253 (* x 0.12))) (cbrt (+ 0.253 (* x 0.12))))
  (cbrt (+ 0.253 (* x 0.12)))
  (pow (fma 0.12 x 0.253) 3)
  (sqrt (+ 0.253 (* x 0.12)))
  (sqrt (+ 0.253 (* x 0.12)))
  (+ (pow 0.253 3) (pow (* x 0.12) 3))
  (fma (* x 0.12) (- (* x 0.12) 0.253) (* 0.253 0.253))
  (* (fma 0.12 x 0.253) (- 0.253 (* x 0.12)))
  (- 0.253 (* x 0.12))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (fma 0.12 x 0.253)
  (fma 0.12 x 0.253)
  (fma 0.12 x 0.253)
0.291 * * * [progress]: adding candidates to table
0.380 * * [progress]: iteration 2 / 4
0.380 * * * [progress]: picking best candidate
0.391 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* x (fma 0.12 x 0.253))))>
0.391 * * * [progress]: localizing error
0.396 * * * [progress]: generating rewritten candidates
0.396 * * * * [progress]: [ 1 / 1 ] rewriting at (2 2)
0.403 * * * [progress]: generating series expansions
0.403 * * * * [progress]: [ 1 / 1 ] generating series at (2 2)
0.403 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
0.403 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.403 * [taylor]: Taking taylor expansion of x in x
0.403 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.404 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.404 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.404 * [taylor]: Taking taylor expansion of 0.12 in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of 0.253 in x
0.404 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.404 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.404 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.404 * [taylor]: Taking taylor expansion of 0.12 in x
0.404 * [taylor]: Taking taylor expansion of x in x
0.404 * [taylor]: Taking taylor expansion of 0.253 in x
0.420 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
0.420 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.420 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.420 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.420 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.420 * [taylor]: Taking taylor expansion of 0.12 in x
0.421 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of 0.253 in x
0.421 * [taylor]: Taking taylor expansion of x in x
0.421 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.422 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.422 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.422 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.422 * [taylor]: Taking taylor expansion of 0.12 in x
0.422 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.422 * [taylor]: Taking taylor expansion of 0.253 in x
0.422 * [taylor]: Taking taylor expansion of x in x
0.441 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
0.441 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.441 * [taylor]: Taking taylor expansion of -1 in x
0.441 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.441 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.441 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.441 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.441 * [taylor]: Taking taylor expansion of 0.12 in x
0.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.441 * [taylor]: Taking taylor expansion of -1 in x
0.441 * [taylor]: Taking taylor expansion of x in x
0.442 * [taylor]: Taking taylor expansion of 0.253 in x
0.442 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.443 * [taylor]: Taking taylor expansion of -1 in x
0.443 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.443 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.443 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.443 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.443 * [taylor]: Taking taylor expansion of 0.12 in x
0.443 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.443 * [taylor]: Taking taylor expansion of -1 in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.443 * [taylor]: Taking taylor expansion of 0.253 in x
0.443 * [taylor]: Taking taylor expansion of x in x
0.464 * * * [progress]: simplifying candidates
0.465 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (* x (fma 0.12 x 0.253)))
  (log1p (* x (fma 0.12 x 0.253)))
  (* x (fma 0.12 x 0.253))
  (+ (log x) (log (fma 0.12 x 0.253)))
  (log (* x (fma 0.12 x 0.253)))
  (exp (* x (fma 0.12 x 0.253)))
  (* (* (* x x) x) (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)))
  (* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253))))
  (cbrt (* x (fma 0.12 x 0.253)))
  (* (* (* x (fma 0.12 x 0.253)) (* x (fma 0.12 x 0.253))) (* x (fma 0.12 x 0.253)))
  (sqrt (* x (fma 0.12 x 0.253)))
  (sqrt (* x (fma 0.12 x 0.253)))
  (* (sqrt x) (sqrt (fma 0.12 x 0.253)))
  (* (sqrt x) (sqrt (fma 0.12 x 0.253)))
  (* x (* 0.12 x))
  (* x 0.253)
  (* (* 0.12 x) x)
  (* 0.253 x)
  (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (* x (sqrt (fma 0.12 x 0.253)))
  (* x 1)
  (* (cbrt x) (fma 0.12 x 0.253))
  (* (sqrt x) (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
0.465 * [simplify]: Sending expressions to egg_math:
 (expm1 (* h0 (fma h1 h0 h2)))
 (log1p (* h0 (fma h1 h0 h2)))
 (* h0 (fma h1 h0 h2))
 (+ (log h0) (log (fma h1 h0 h2)))
 (log (* h0 (fma h1 h0 h2)))
 (exp (* h0 (fma h1 h0 h2)))
 (* (* (* h0 h0) h0) (* (* (fma h1 h0 h2) (fma h1 h0 h2)) (fma h1 h0 h2)))
 (* (cbrt (* h0 (fma h1 h0 h2))) (cbrt (* h0 (fma h1 h0 h2))))
 (cbrt (* h0 (fma h1 h0 h2)))
 (* (* (* h0 (fma h1 h0 h2)) (* h0 (fma h1 h0 h2))) (* h0 (fma h1 h0 h2)))
 (sqrt (* h0 (fma h1 h0 h2)))
 (sqrt (* h0 (fma h1 h0 h2)))
 (* (sqrt h0) (sqrt (fma h1 h0 h2)))
 (* (sqrt h0) (sqrt (fma h1 h0 h2)))
 (* h0 (* h1 h0))
 (* h0 h2)
 (* (* h1 h0) h0)
 (* h2 h0)
 (* h0 (* (cbrt (fma h1 h0 h2)) (cbrt (fma h1 h0 h2))))
 (* h0 (sqrt (fma h1 h0 h2)))
 (* h0 1)
 (* (cbrt h0) (fma h1 h0 h2))
 (* (sqrt h0) (fma h1 h0 h2))
 (* h0 (fma h1 h0 h2))
 (+ (* h1 (pow h0 2)) (* h2 h0))
 (+ (* h1 (pow h0 2)) (* h2 h0))
 (+ (* h1 (pow h0 2)) (* h2 h0))
0.468 * * [simplify]: iteration  0 :  82  enodes  (cost  89 )
0.470 * * [simplify]: iteration  1 :  345  enodes  (cost  76 )
0.478 * * [simplify]: iteration  2 :  1707  enodes  (cost  76 )
0.513 * * [simplify]: iteration  3 :  5003  enodes  (cost  76 )
0.514 * [simplify]: Simplified to:
   (expm1 (* x (fma 0.12 x 0.253)))
  (log1p (* x (fma 0.12 x 0.253)))
  (* x (fma 0.12 x 0.253))
  (log (* x (fma 0.12 x 0.253)))
  (log (* x (fma 0.12 x 0.253)))
  (exp (* x (fma 0.12 x 0.253)))
  (pow (* x (fma 0.12 x 0.253)) 3)
  (* (cbrt (* x (fma 0.12 x 0.253))) (cbrt (* x (fma 0.12 x 0.253))))
  (cbrt (* x (fma 0.12 x 0.253)))
  (pow (* x (fma 0.12 x 0.253)) 3)
  (sqrt (* x (fma 0.12 x 0.253)))
  (sqrt (* x (fma 0.12 x 0.253)))
  (* (sqrt (fma 0.12 x 0.253)) (pow x 1/2))
  (* (sqrt (fma 0.12 x 0.253)) (pow x 1/2))
  (* x (* 0.12 x))
  (* x 0.253)
  (* x (* 0.12 x))
  (* x 0.253)
  (* x (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (* x (sqrt (fma 0.12 x 0.253)))
  x
  (* (cbrt x) (fma 0.12 x 0.253))
  (* (sqrt x) (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
0.514 * * * [progress]: adding candidates to table
0.554 * * [progress]: iteration 3 / 4
0.554 * * * [progress]: picking best candidate
0.563 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (* (cbrt x) (cbrt x)) (* (cbrt x) (fma 0.12 x 0.253)))))>
0.563 * * * [progress]: localizing error
0.572 * * * [progress]: generating rewritten candidates
0.572 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
0.573 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
0.574 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
0.574 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
0.587 * * * [progress]: generating series expansions
0.587 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
0.587 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.587 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.587 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.587 * [taylor]: Taking taylor expansion of 1/3 in x
0.587 * [taylor]: Taking taylor expansion of (log x) in x
0.587 * [taylor]: Taking taylor expansion of x in x
0.588 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.588 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.588 * [taylor]: Taking taylor expansion of 1/3 in x
0.588 * [taylor]: Taking taylor expansion of (log x) in x
0.588 * [taylor]: Taking taylor expansion of x in x
0.640 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.640 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.640 * [taylor]: Taking taylor expansion of 1/3 in x
0.640 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.640 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.640 * [taylor]: Taking taylor expansion of x in x
0.641 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.641 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.641 * [taylor]: Taking taylor expansion of 1/3 in x
0.641 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.641 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.641 * [taylor]: Taking taylor expansion of x in x
0.697 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.697 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.697 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.697 * [taylor]: Taking taylor expansion of -1 in x
0.697 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.697 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.698 * [taylor]: Taking taylor expansion of 1/3 in x
0.698 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.698 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.698 * [taylor]: Taking taylor expansion of x in x
0.698 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.698 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.698 * [taylor]: Taking taylor expansion of -1 in x
0.699 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.699 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.699 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.699 * [taylor]: Taking taylor expansion of 1/3 in x
0.699 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.699 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.699 * [taylor]: Taking taylor expansion of x in x
0.766 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
0.766 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.766 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.766 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.766 * [taylor]: Taking taylor expansion of 1/3 in x
0.766 * [taylor]: Taking taylor expansion of (log x) in x
0.766 * [taylor]: Taking taylor expansion of x in x
0.767 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.767 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.767 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.767 * [taylor]: Taking taylor expansion of 1/3 in x
0.767 * [taylor]: Taking taylor expansion of (log x) in x
0.767 * [taylor]: Taking taylor expansion of x in x
0.814 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.814 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.814 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.814 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.814 * [taylor]: Taking taylor expansion of 1/3 in x
0.814 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.814 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.814 * [taylor]: Taking taylor expansion of x in x
0.815 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.815 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.815 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.815 * [taylor]: Taking taylor expansion of 1/3 in x
0.815 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.815 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.815 * [taylor]: Taking taylor expansion of x in x
0.870 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
0.870 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.870 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.870 * [taylor]: Taking taylor expansion of -1 in x
0.870 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.870 * [taylor]: Taking taylor expansion of 1/3 in x
0.870 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.870 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.870 * [taylor]: Taking taylor expansion of x in x
0.871 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
0.871 * [taylor]: Taking taylor expansion of (cbrt -1) in x
0.871 * [taylor]: Taking taylor expansion of -1 in x
0.872 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.872 * [taylor]: Taking taylor expansion of 1/3 in x
0.872 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.872 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.872 * [taylor]: Taking taylor expansion of x in x
0.938 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
0.938 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
0.938 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.938 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.938 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.938 * [taylor]: Taking taylor expansion of 1/3 in x
0.938 * [taylor]: Taking taylor expansion of (log x) in x
0.938 * [taylor]: Taking taylor expansion of x in x
0.939 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
0.939 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
0.939 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
0.939 * [taylor]: Taking taylor expansion of 1/3 in x
0.939 * [taylor]: Taking taylor expansion of (log x) in x
0.939 * [taylor]: Taking taylor expansion of x in x
0.985 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
0.985 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.985 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.985 * [taylor]: Taking taylor expansion of 1/3 in x
0.985 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.985 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.985 * [taylor]: Taking taylor expansion of x in x
0.986 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
0.986 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
0.986 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
0.986 * [taylor]: Taking taylor expansion of 1/3 in x
0.986 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
0.986 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.986 * [taylor]: Taking taylor expansion of x in x
1.041 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.041 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.041 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.041 * [taylor]: Taking taylor expansion of -1 in x
1.042 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.042 * [taylor]: Taking taylor expansion of 1/3 in x
1.042 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.042 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.042 * [taylor]: Taking taylor expansion of x in x
1.043 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.043 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.043 * [taylor]: Taking taylor expansion of -1 in x
1.044 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.044 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.044 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.044 * [taylor]: Taking taylor expansion of 1/3 in x
1.044 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.044 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.044 * [taylor]: Taking taylor expansion of x in x
1.111 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
1.111 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
1.111 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.111 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.111 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.111 * [taylor]: Taking taylor expansion of 1/3 in x
1.111 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.111 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.111 * [taylor]: Taking taylor expansion of x in x
1.112 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.112 * [taylor]: Taking taylor expansion of 1/3 in x
1.112 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.112 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.112 * [taylor]: Taking taylor expansion of x in x
1.169 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.169 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.169 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.169 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.169 * [taylor]: Taking taylor expansion of 1/3 in x
1.169 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.169 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.169 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.169 * [taylor]: Taking taylor expansion of x in x
1.170 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.170 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.170 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.170 * [taylor]: Taking taylor expansion of 1/3 in x
1.170 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.170 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.170 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.170 * [taylor]: Taking taylor expansion of x in x
1.224 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in (x) around 0
1.224 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.224 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.224 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.224 * [taylor]: Taking taylor expansion of -1 in x
1.225 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.225 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.225 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.225 * [taylor]: Taking taylor expansion of 1/3 in x
1.225 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.225 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.225 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.225 * [taylor]: Taking taylor expansion of x in x
1.226 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow x 2)) 1/3)) in x
1.226 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
1.226 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.226 * [taylor]: Taking taylor expansion of -1 in x
1.227 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.227 * [taylor]: Taking taylor expansion of 1/3 in x
1.227 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.227 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.227 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.227 * [taylor]: Taking taylor expansion of x in x
1.304 * * * [progress]: simplifying candidates
1.305 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (cbrt x) (cbrt x)))
  (log1p (* (cbrt x) (cbrt x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* x x)
  (* (cbrt x) (cbrt x))
  (+ 1 1)
  (+ (log (cbrt x)) (log (cbrt x)))
  (log (* (cbrt x) (cbrt x)))
  (exp (* (cbrt x) (cbrt x)))
  (* x x)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (* (* (* (cbrt x) (cbrt x)) (* (cbrt x) (cbrt x))) (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (sqrt (* (cbrt x) (cbrt x)))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt x) (cbrt x))
  (* (* (cbrt (cbrt x)) (cbrt (cbrt x))) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 1 1)
  (* (cbrt x) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (cbrt (sqrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* (sqrt (cbrt x)) (sqrt (cbrt x)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (* (cbrt x) (cbrt 1))
  (* (cbrt x) (* (cbrt (cbrt x)) (cbrt (cbrt x))))
  (* (cbrt x) (sqrt (cbrt x)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (cbrt x))
  (* (cbrt (sqrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (* (cbrt (cbrt x)) (cbrt x))
  (* (sqrt (cbrt x)) (cbrt x))
  (* (cbrt x) (cbrt x))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
1.305 * [simplify]: Sending expressions to egg_math:
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (* (cbrt h0) (cbrt h0)))
 (log1p (* (cbrt h0) (cbrt h0)))
 (+ 1/3 1/3)
 (+ 1 1)
 (* h0 h0)
 (* (cbrt h0) (cbrt h0))
 (+ 1 1)
 (+ (log (cbrt h0)) (log (cbrt h0)))
 (log (* (cbrt h0) (cbrt h0)))
 (exp (* (cbrt h0) (cbrt h0)))
 (* h0 h0)
 (* (cbrt (* (cbrt h0) (cbrt h0))) (cbrt (* (cbrt h0) (cbrt h0))))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (* (* (* (cbrt h0) (cbrt h0)) (* (cbrt h0) (cbrt h0))) (* (cbrt h0) (cbrt h0)))
 (sqrt (* (cbrt h0) (cbrt h0)))
 (sqrt (* (cbrt h0) (cbrt h0)))
 (* (cbrt (* (cbrt h0) (cbrt h0))) (cbrt (* (cbrt h0) (cbrt h0))))
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt 1) (cbrt 1))
 (* (cbrt h0) (cbrt h0))
 (* (* (cbrt (cbrt h0)) (cbrt (cbrt h0))) (* (cbrt (cbrt h0)) (cbrt (cbrt h0))))
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* 1 1)
 (* (cbrt h0) (cbrt h0))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (cbrt (sqrt h0)))
 (* (cbrt (sqrt h0)) (sqrt (cbrt h0)))
 (* (cbrt (sqrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (cbrt (sqrt h0)))
 (* (sqrt (cbrt h0)) (cbrt (sqrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* (sqrt (cbrt h0)) (sqrt (cbrt h0)))
 (* 2 1/3)
 (* 2 1)
 (* (cbrt h0) (cbrt (* (cbrt h0) (cbrt h0))))
 (* (cbrt h0) (cbrt (sqrt h0)))
 (* (cbrt h0) (cbrt 1))
 (* (cbrt h0) (* (cbrt (cbrt h0)) (cbrt (cbrt h0))))
 (* (cbrt h0) (sqrt (cbrt h0)))
 (* (cbrt h0) 1)
 (* (cbrt (cbrt h0)) (cbrt h0))
 (* (cbrt (sqrt h0)) (cbrt h0))
 (* (cbrt h0) (cbrt h0))
 (* (cbrt (cbrt h0)) (cbrt h0))
 (* (sqrt (cbrt h0)) (cbrt h0))
 (* (cbrt h0) (cbrt h0))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (pow h0 2/3)
 (pow (/ 1 h0) -2/3)
 (* (pow (cbrt -1) 2) (pow (pow h0 2) 1/3))
1.309 * * [simplify]: iteration  0 :  119  enodes  (cost  308 )
1.312 * * [simplify]: iteration  1 :  477  enodes  (cost  281 )
1.326 * * [simplify]: iteration  2 :  2972  enodes  (cost  258 )
1.391 * * [simplify]: iteration  3 :  5001  enodes  (cost  255 )
1.398 * [simplify]: Simplified to:
   (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (cbrt x) (cbrt x)))
  (log1p (* (cbrt x) (cbrt x)))
  2/3
  2
  (pow x 2)
  (pow x 2/3)
  2
  (* 2/3 (log x))
  (* 2/3 (log x))
  (exp (pow x 2/3))
  (pow x 2)
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (cbrt (* (cbrt x) (cbrt x)))
  (pow x 2)
  (fabs (pow x 1/3))
  (fabs (pow x 1/3))
  (* (cbrt (* (cbrt x) (cbrt x))) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  1
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (pow x 1/3)
  (pow x 1/3)
  1
  (pow x 2/3)
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (cbrt (sqrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (* (cbrt (sqrt x)) (sqrt (cbrt x)))
  (pow x 1/3)
  (pow x 1/3)
  2/3
  2
  (* (cbrt x) (cbrt (* (cbrt x) (cbrt x))))
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 1/3)
  (pow (cbrt (cbrt x)) 5)
  (pow (sqrt (cbrt x)) 3)
  (pow x 1/3)
  (pow (cbrt (cbrt x)) 4)
  (* (cbrt x) (cbrt (sqrt x)))
  (pow x 2/3)
  (pow (cbrt (cbrt x)) 4)
  (pow (sqrt (cbrt x)) 3)
  (pow x 2/3)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (* (pow (cbrt -1) 2) (pow (pow x 2) 1/3))
1.399 * * * [progress]: adding candidates to table
1.628 * * [progress]: iteration 4 / 4
1.628 * * * [progress]: picking best candidate
1.641 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))>
1.642 * * * [progress]: localizing error
1.652 * * * [progress]: generating rewritten candidates
1.652 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1)
1.655 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
1.655 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
1.682 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
1.696 * * * [progress]: generating series expansions
1.696 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1)
1.696 * [approximate]: Taking taylor expansion of (pow (pow x 2) 1/3) in (x) around 0
1.696 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.696 * [taylor]: Taking taylor expansion of 1/3 in x
1.696 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.696 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.696 * [taylor]: Taking taylor expansion of x in x
1.698 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
1.698 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
1.698 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
1.698 * [taylor]: Taking taylor expansion of 1/3 in x
1.698 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
1.698 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.698 * [taylor]: Taking taylor expansion of x in x
1.749 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.749 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.749 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.749 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.749 * [taylor]: Taking taylor expansion of 1/3 in x
1.749 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.749 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.749 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.749 * [taylor]: Taking taylor expansion of x in x
1.750 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.750 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.750 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.750 * [taylor]: Taking taylor expansion of 1/3 in x
1.750 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.750 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.750 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.750 * [taylor]: Taking taylor expansion of x in x
1.810 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in (x) around 0
1.811 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.811 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.811 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.811 * [taylor]: Taking taylor expansion of 1/3 in x
1.811 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.811 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.811 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.811 * [taylor]: Taking taylor expansion of x in x
1.812 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
1.812 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
1.812 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
1.812 * [taylor]: Taking taylor expansion of 1/3 in x
1.812 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
1.812 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
1.812 * [taylor]: Taking taylor expansion of (pow x 2) in x
1.812 * [taylor]: Taking taylor expansion of x in x
1.872 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
1.872 * [approximate]: Taking taylor expansion of (pow x 1/3) in (x) around 0
1.872 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.872 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.872 * [taylor]: Taking taylor expansion of 1/3 in x
1.872 * [taylor]: Taking taylor expansion of (log x) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.873 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
1.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
1.873 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
1.873 * [taylor]: Taking taylor expansion of 1/3 in x
1.873 * [taylor]: Taking taylor expansion of (log x) in x
1.873 * [taylor]: Taking taylor expansion of x in x
1.929 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 1/3) in (x) around 0
1.929 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.929 * [taylor]: Taking taylor expansion of 1/3 in x
1.929 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.929 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.929 * [taylor]: Taking taylor expansion of x in x
1.930 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.930 * [taylor]: Taking taylor expansion of 1/3 in x
1.930 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.930 * [taylor]: Taking taylor expansion of x in x
1.981 * [approximate]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in (x) around 0
1.982 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.982 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.982 * [taylor]: Taking taylor expansion of -1 in x
1.982 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.982 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.982 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.982 * [taylor]: Taking taylor expansion of 1/3 in x
1.982 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.982 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.982 * [taylor]: Taking taylor expansion of x in x
1.983 * [taylor]: Taking taylor expansion of (* (cbrt -1) (pow (/ 1 x) 1/3)) in x
1.983 * [taylor]: Taking taylor expansion of (cbrt -1) in x
1.983 * [taylor]: Taking taylor expansion of -1 in x
1.984 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
1.984 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
1.984 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
1.984 * [taylor]: Taking taylor expansion of 1/3 in x
1.984 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
1.984 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.984 * [taylor]: Taking taylor expansion of x in x
2.053 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
2.053 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
2.053 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
2.053 * [taylor]: Taking taylor expansion of x in x
2.053 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.053 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.053 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.053 * [taylor]: Taking taylor expansion of 0.12 in x
2.053 * [taylor]: Taking taylor expansion of x in x
2.053 * [taylor]: Taking taylor expansion of 0.253 in x
2.053 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
2.053 * [taylor]: Taking taylor expansion of x in x
2.053 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.053 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.054 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.054 * [taylor]: Taking taylor expansion of 0.12 in x
2.054 * [taylor]: Taking taylor expansion of x in x
2.054 * [taylor]: Taking taylor expansion of 0.253 in x
2.070 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
2.070 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
2.070 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.070 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.070 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.070 * [taylor]: Taking taylor expansion of 0.12 in x
2.070 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.070 * [taylor]: Taking taylor expansion of x in x
2.070 * [taylor]: Taking taylor expansion of 0.253 in x
2.070 * [taylor]: Taking taylor expansion of x in x
2.071 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
2.071 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.071 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.071 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.071 * [taylor]: Taking taylor expansion of 0.12 in x
2.071 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.071 * [taylor]: Taking taylor expansion of x in x
2.071 * [taylor]: Taking taylor expansion of 0.253 in x
2.071 * [taylor]: Taking taylor expansion of x in x
2.093 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) x) in (x) around 0
2.093 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) x) in x
2.093 * [taylor]: Taking taylor expansion of (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) in x
2.093 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.093 * [taylor]: Taking taylor expansion of -1 in x
2.094 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.094 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.094 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.094 * [taylor]: Taking taylor expansion of 0.12 in x
2.094 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.094 * [taylor]: Taking taylor expansion of -1 in x
2.094 * [taylor]: Taking taylor expansion of x in x
2.095 * [taylor]: Taking taylor expansion of 0.253 in x
2.095 * [taylor]: Taking taylor expansion of x in x
2.097 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) x) in x
2.097 * [taylor]: Taking taylor expansion of (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) in x
2.097 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.097 * [taylor]: Taking taylor expansion of -1 in x
2.098 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.098 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.098 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.098 * [taylor]: Taking taylor expansion of 0.12 in x
2.098 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.098 * [taylor]: Taking taylor expansion of -1 in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.098 * [taylor]: Taking taylor expansion of 0.253 in x
2.098 * [taylor]: Taking taylor expansion of x in x
2.132 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
2.132 * [approximate]: Taking taylor expansion of (* (pow x 1/3) (fma 0.12 x 0.253)) in (x) around 0
2.132 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (fma 0.12 x 0.253)) in x
2.132 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.132 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.132 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.132 * [taylor]: Taking taylor expansion of 1/3 in x
2.132 * [taylor]: Taking taylor expansion of (log x) in x
2.132 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.133 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.133 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.133 * [taylor]: Taking taylor expansion of 0.12 in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [taylor]: Taking taylor expansion of 0.253 in x
2.133 * [taylor]: Taking taylor expansion of (* (pow x 1/3) (fma 0.12 x 0.253)) in x
2.133 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
2.133 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
2.133 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
2.133 * [taylor]: Taking taylor expansion of 1/3 in x
2.133 * [taylor]: Taking taylor expansion of (log x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.134 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.134 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.134 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.134 * [taylor]: Taking taylor expansion of 0.12 in x
2.134 * [taylor]: Taking taylor expansion of x in x
2.134 * [taylor]: Taking taylor expansion of 0.253 in x
2.227 * [approximate]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (fma 0.12 (/ 1 x) 0.253)) in (x) around 0
2.227 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (fma 0.12 (/ 1 x) 0.253)) in x
2.227 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.227 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.227 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.227 * [taylor]: Taking taylor expansion of 1/3 in x
2.227 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.227 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.227 * [taylor]: Taking taylor expansion of x in x
2.228 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.228 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.228 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.228 * [taylor]: Taking taylor expansion of 0.12 in x
2.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [taylor]: Taking taylor expansion of 0.253 in x
2.228 * [taylor]: Taking taylor expansion of (* (pow (/ 1 x) 1/3) (fma 0.12 (/ 1 x) 0.253)) in x
2.228 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.228 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.228 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.228 * [taylor]: Taking taylor expansion of 1/3 in x
2.228 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.228 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.229 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.229 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.229 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.229 * [taylor]: Taking taylor expansion of 0.12 in x
2.229 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.229 * [taylor]: Taking taylor expansion of x in x
2.229 * [taylor]: Taking taylor expansion of 0.253 in x
2.539 * [approximate]: Taking taylor expansion of (* (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) (pow (/ 1 x) 1/3)) in (x) around 0
2.539 * [taylor]: Taking taylor expansion of (* (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) (pow (/ 1 x) 1/3)) in x
2.539 * [taylor]: Taking taylor expansion of (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) in x
2.539 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.539 * [taylor]: Taking taylor expansion of -1 in x
2.540 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.541 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.541 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.541 * [taylor]: Taking taylor expansion of 0.12 in x
2.541 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.541 * [taylor]: Taking taylor expansion of -1 in x
2.541 * [taylor]: Taking taylor expansion of x in x
2.541 * [taylor]: Taking taylor expansion of 0.253 in x
2.541 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.541 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.541 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.541 * [taylor]: Taking taylor expansion of 1/3 in x
2.541 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.542 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.542 * [taylor]: Taking taylor expansion of x in x
2.543 * [taylor]: Taking taylor expansion of (* (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) (pow (/ 1 x) 1/3)) in x
2.543 * [taylor]: Taking taylor expansion of (* (cbrt -1) (fma 0.12 (/ -1 x) 0.253)) in x
2.543 * [taylor]: Taking taylor expansion of (cbrt -1) in x
2.543 * [taylor]: Taking taylor expansion of -1 in x
2.544 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.544 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.544 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.544 * [taylor]: Taking taylor expansion of 0.12 in x
2.544 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.544 * [taylor]: Taking taylor expansion of -1 in x
2.544 * [taylor]: Taking taylor expansion of x in x
2.545 * [taylor]: Taking taylor expansion of 0.253 in x
2.545 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
2.545 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
2.545 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
2.545 * [taylor]: Taking taylor expansion of 1/3 in x
2.545 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
2.545 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.545 * [taylor]: Taking taylor expansion of x in x
2.671 * * * [progress]: simplifying candidates
2.672 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (expm1 (cbrt (pow x 2)))
  (log1p (cbrt (pow x 2)))
  (log (cbrt (pow x 2)))
  (exp (cbrt (pow x 2)))
  (cbrt (pow (* (cbrt x) (cbrt x)) 2))
  (cbrt (pow (cbrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow (sqrt x) 2))
  (cbrt (pow 1 2))
  (cbrt (pow x 2))
  (cbrt x)
  (cbrt x)
  (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt 1)
  (cbrt (pow x 2))
  (cbrt (pow x (/ 2 2)))
  (cbrt (pow x (/ 2 2)))
  (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (* (* (cbrt (pow x 2)) (cbrt (pow x 2))) (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (* (cbrt x) (cbrt x)))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  (cbrt 1)
  (cbrt x)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  (* (* (cbrt x) (cbrt x)) (cbrt x))
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (log1p (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (+ (log (cbrt (pow x 2))) (+ (log (cbrt x)) (log (fma 0.12 x 0.253))))
  (+ (log (cbrt (pow x 2))) (log (* (cbrt x) (fma 0.12 x 0.253))))
  (log (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (exp (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (pow x 2) (* x (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253))))
  (* (pow x 2) (* (* (* (cbrt x) (fma 0.12 x 0.253)) (* (cbrt x) (fma 0.12 x 0.253))) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))) (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))
  (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (* (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))) (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))) (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (sqrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (sqrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (cbrt (pow x 2)) (* (cbrt x) (* 0.12 x)))
  (* (cbrt (pow x 2)) (* (cbrt x) 0.253))
  (* (cbrt (pow x 2)) (* (* 0.12 x) (cbrt x)))
  (* (cbrt (pow x 2)) (* 0.253 (cbrt x)))
  (* (* (cbrt x) (* 0.12 x)) (cbrt (pow x 2)))
  (* (* (cbrt x) 0.253) (cbrt (pow x 2)))
  (* (* (* 0.12 x) (cbrt x)) (cbrt (pow x 2)))
  (* (* 0.253 (cbrt x)) (cbrt (pow x 2)))
  (* (cbrt (pow x 2)) (cbrt x))
  (* (cbrt (pow (cbrt x) 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow (sqrt x) 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt x) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (sqrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x (/ 2 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (sqrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (expm1 (* (cbrt x) (fma 0.12 x 0.253)))
  (log1p (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt x) (fma 0.12 x 0.253))
  (+ (log (cbrt x)) (log (fma 0.12 x 0.253)))
  (log (* (cbrt x) (fma 0.12 x 0.253)))
  (exp (* (cbrt x) (fma 0.12 x 0.253)))
  (* x (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (fma 0.12 x 0.253)))
  (* (cbrt (* (cbrt x) (fma 0.12 x 0.253))) (cbrt (* (cbrt x) (fma 0.12 x 0.253))))
  (cbrt (* (cbrt x) (fma 0.12 x 0.253)))
  (* (* (* (cbrt x) (fma 0.12 x 0.253)) (* (cbrt x) (fma 0.12 x 0.253))) (* (cbrt x) (fma 0.12 x 0.253)))
  (sqrt (* (cbrt x) (fma 0.12 x 0.253)))
  (sqrt (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (sqrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (cbrt (sqrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (sqrt (cbrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (sqrt (cbrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (cbrt x) (* 0.12 x))
  (* (cbrt x) 0.253)
  (* (* 0.12 x) (cbrt x))
  (* 0.253 (cbrt x))
  (* (cbrt x) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (* (cbrt x) (sqrt (fma 0.12 x 0.253)))
  (* (cbrt x) 1)
  (* (cbrt (cbrt x)) (fma 0.12 x 0.253))
  (* (cbrt (sqrt x)) (fma 0.12 x 0.253))
  (* (cbrt x) (fma 0.12 x 0.253))
  (* (cbrt (cbrt x)) (fma 0.12 x 0.253))
  (* (sqrt (cbrt x)) (fma 0.12 x 0.253))
  (* (cbrt x) (fma 0.12 x 0.253))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (- (+ (* 0.253 (* (cbrt -1) x)) (* 0.12 (* (cbrt -1) (pow x 2)))))
  (+ (* 0.253 (pow x 1/3)) (* 0.12 (pow (pow x 4) 1/3)))
  (+ (* 0.253 (pow x 1/3)) (* 0.12 (pow (pow x 4) 1/3)))
  (+ (* 0.253 (* (pow (* -1 x) 1/3) (cbrt -1))) (* 0.12 (* (pow (* -1 (pow x 4)) 1/3) (cbrt -1))))
2.673 * [simplify]: Sending expressions to egg_math:
 (expm1 (cbrt (pow h0 2)))
 (log1p (cbrt (pow h0 2)))
 (log (cbrt (pow h0 2)))
 (exp (cbrt (pow h0 2)))
 (cbrt (pow (* (cbrt h0) (cbrt h0)) 2))
 (cbrt (pow (cbrt h0) 2))
 (cbrt (pow (sqrt h0) 2))
 (cbrt (pow (sqrt h0) 2))
 (cbrt (pow 1 2))
 (cbrt (pow h0 2))
 (cbrt h0)
 (cbrt h0)
 (cbrt (* (cbrt (pow h0 2)) (cbrt (pow h0 2))))
 (cbrt (cbrt (pow h0 2)))
 (cbrt (sqrt (pow h0 2)))
 (cbrt (sqrt (pow h0 2)))
 (cbrt 1)
 (cbrt (pow h0 2))
 (cbrt (pow h0 (/ 2 2)))
 (cbrt (pow h0 (/ 2 2)))
 (* (cbrt (cbrt (pow h0 2))) (cbrt (cbrt (pow h0 2))))
 (cbrt (cbrt (pow h0 2)))
 (* (* (cbrt (pow h0 2)) (cbrt (pow h0 2))) (cbrt (pow h0 2)))
 (sqrt (cbrt (pow h0 2)))
 (sqrt (cbrt (pow h0 2)))
 (expm1 (cbrt h0))
 (log1p (cbrt h0))
 (log (cbrt h0))
 (exp (cbrt h0))
 (cbrt (* (cbrt h0) (cbrt h0)))
 (cbrt (cbrt h0))
 (cbrt (sqrt h0))
 (cbrt (sqrt h0))
 (cbrt 1)
 (cbrt h0)
 (* (cbrt (cbrt h0)) (cbrt (cbrt h0)))
 (cbrt (cbrt h0))
 (* (* (cbrt h0) (cbrt h0)) (cbrt h0))
 (sqrt (cbrt h0))
 (sqrt (cbrt h0))
 (expm1 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (log1p (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (+ (log (cbrt (pow h0 2))) (+ (log (cbrt h0)) (log (fma h1 h0 h2))))
 (+ (log (cbrt (pow h0 2))) (log (* (cbrt h0) (fma h1 h0 h2))))
 (log (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (exp (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (* (pow h0 2) (* h0 (* (* (fma h1 h0 h2) (fma h1 h0 h2)) (fma h1 h0 h2))))
 (* (pow h0 2) (* (* (* (cbrt h0) (fma h1 h0 h2)) (* (cbrt h0) (fma h1 h0 h2))) (* (cbrt h0) (fma h1 h0 h2))))
 (* (cbrt (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))) (cbrt (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))))
 (cbrt (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (* (* (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))) (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))) (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (sqrt (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (sqrt (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2))))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (* h1 h0)))
 (* (cbrt (pow h0 2)) (* (cbrt h0) h2))
 (* (cbrt (pow h0 2)) (* (* h1 h0) (cbrt h0)))
 (* (cbrt (pow h0 2)) (* h2 (cbrt h0)))
 (* (* (cbrt h0) (* h1 h0)) (cbrt (pow h0 2)))
 (* (* (cbrt h0) h2) (cbrt (pow h0 2)))
 (* (* (* h1 h0) (cbrt h0)) (cbrt (pow h0 2)))
 (* (* h2 (cbrt h0)) (cbrt (pow h0 2)))
 (* (cbrt (pow h0 2)) (cbrt h0))
 (* (cbrt (pow (cbrt h0) 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow (sqrt h0) 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt h0) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (cbrt (pow h0 2))) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (sqrt (pow h0 2))) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow h0 (/ 2 2))) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (cbrt (pow h0 2))) (* (cbrt h0) (fma h1 h0 h2)))
 (* (sqrt (cbrt (pow h0 2))) (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (pow h0 2)) (* (cbrt h0) (fma h1 h0 h2)))
 (expm1 (* (cbrt h0) (fma h1 h0 h2)))
 (log1p (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt h0) (fma h1 h0 h2))
 (+ (log (cbrt h0)) (log (fma h1 h0 h2)))
 (log (* (cbrt h0) (fma h1 h0 h2)))
 (exp (* (cbrt h0) (fma h1 h0 h2)))
 (* h0 (* (* (fma h1 h0 h2) (fma h1 h0 h2)) (fma h1 h0 h2)))
 (* (cbrt (* (cbrt h0) (fma h1 h0 h2))) (cbrt (* (cbrt h0) (fma h1 h0 h2))))
 (cbrt (* (cbrt h0) (fma h1 h0 h2)))
 (* (* (* (cbrt h0) (fma h1 h0 h2)) (* (cbrt h0) (fma h1 h0 h2))) (* (cbrt h0) (fma h1 h0 h2)))
 (sqrt (* (cbrt h0) (fma h1 h0 h2)))
 (sqrt (* (cbrt h0) (fma h1 h0 h2)))
 (* (cbrt (sqrt h0)) (sqrt (fma h1 h0 h2)))
 (* (cbrt (sqrt h0)) (sqrt (fma h1 h0 h2)))
 (* (sqrt (cbrt h0)) (sqrt (fma h1 h0 h2)))
 (* (sqrt (cbrt h0)) (sqrt (fma h1 h0 h2)))
 (* (cbrt h0) (* h1 h0))
 (* (cbrt h0) h2)
 (* (* h1 h0) (cbrt h0))
 (* h2 (cbrt h0))
 (* (cbrt h0) (* (cbrt (fma h1 h0 h2)) (cbrt (fma h1 h0 h2))))
 (* (cbrt h0) (sqrt (fma h1 h0 h2)))
 (* (cbrt h0) 1)
 (* (cbrt (cbrt h0)) (fma h1 h0 h2))
 (* (cbrt (sqrt h0)) (fma h1 h0 h2))
 (* (cbrt h0) (fma h1 h0 h2))
 (* (cbrt (cbrt h0)) (fma h1 h0 h2))
 (* (sqrt (cbrt h0)) (fma h1 h0 h2))
 (* (cbrt h0) (fma h1 h0 h2))
 (pow h0 2/3)
 (pow (/ 1 h0) -2/3)
 (pow (/ -1 h0) -2/3)
 (pow h0 1/3)
 (pow (/ 1 h0) -1/3)
 (* (pow (* -1 h0) 1/3) (cbrt -1))
 (+ (* h1 (pow h0 2)) (* h2 h0))
 (+ (* h1 (pow h0 2)) (* h2 h0))
 (- (+ (* h2 (* (cbrt -1) h0)) (* h1 (* (cbrt -1) (pow h0 2)))))
 (+ (* h2 (pow h0 1/3)) (* h1 (pow (pow h0 4) 1/3)))
 (+ (* h2 (pow h0 1/3)) (* h1 (pow (pow h0 4) 1/3)))
 (+ (* h2 (* (pow (* -1 h0) 1/3) (cbrt -1))) (* h1 (* (pow (* -1 (pow h0 4)) 1/3) (cbrt -1))))
2.678 * * [simplify]: iteration  0 :  310  enodes  (cost  526 )
2.685 * * [simplify]: iteration  1 :  1230  enodes  (cost  477 )
2.712 * * [simplify]: iteration  2 :  5002  enodes  (cost  455 )
2.715 * [simplify]: Simplified to:
   (expm1 (cbrt (pow x 2)))
  (log1p (cbrt (pow x 2)))
  (log (cbrt (pow x 2)))
  (exp (cbrt (pow x 2)))
  (cbrt (pow (* (cbrt x) (cbrt x)) 2))
  (cbrt (pow (cbrt x) 2))
  (pow x 1/3)
  (pow x 1/3)
  1
  (cbrt (pow x 2))
  (pow x 1/3)
  (pow x 1/3)
  (cbrt (* (cbrt (pow x 2)) (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  (cbrt (sqrt (pow x 2)))
  1
  (cbrt (pow x 2))
  (pow x 1/3)
  (pow x 1/3)
  (* (cbrt (cbrt (pow x 2))) (cbrt (cbrt (pow x 2))))
  (cbrt (cbrt (pow x 2)))
  (pow x 2)
  (sqrt (cbrt (pow x 2)))
  (sqrt (cbrt (pow x 2)))
  (expm1 (cbrt x))
  (log1p (cbrt x))
  (log (cbrt x))
  (exp (cbrt x))
  (cbrt (pow (cbrt x) 2))
  (cbrt (cbrt x))
  (cbrt (sqrt x))
  (cbrt (sqrt x))
  1
  (pow x 1/3)
  (* (cbrt (cbrt x)) (cbrt (cbrt x)))
  (cbrt (cbrt x))
  x
  (sqrt (cbrt x))
  (sqrt (cbrt x))
  (expm1 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (log1p (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (log (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (log (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (log (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (exp (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (pow (fma 0.12 x 0.253) 3) (pow x 3))
  (* (pow (fma 0.12 x 0.253) 3) (pow x 3))
  (* (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))) (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))
  (cbrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (pow (fma 0.12 x 0.253) 3) (pow x 3))
  (sqrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (sqrt (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253))))
  (* (pow x 4/3) (* 0.12 (cbrt (pow x 2))))
  (* (cbrt (pow x 2)) (* 0.253 (cbrt x)))
  (* (pow x 4/3) (* 0.12 (cbrt (pow x 2))))
  (* (cbrt (pow x 2)) (* 0.253 (cbrt x)))
  (* (pow x 4/3) (* 0.12 (cbrt (pow x 2))))
  (* (cbrt (pow x 2)) (* 0.253 (cbrt x)))
  (* (pow x 4/3) (* 0.12 (cbrt (pow x 2))))
  (* (cbrt (pow x 2)) (* 0.253 (cbrt x)))
  (* (cbrt (pow x 2)) (cbrt x))
  (* (cbrt (pow (cbrt x) 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (fma 0.12 x 0.253) (pow x 2/3))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (fma 0.12 x 0.253) (pow x 2/3))
  (* (cbrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (sqrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (fma 0.12 x 0.253) (pow x 2/3))
  (* (cbrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (sqrt (cbrt (pow x 2))) (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))
  (expm1 (* (cbrt x) (fma 0.12 x 0.253)))
  (log1p (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt x) (fma 0.12 x 0.253))
  (log (* (cbrt x) (fma 0.12 x 0.253)))
  (log (* (cbrt x) (fma 0.12 x 0.253)))
  (exp (* (cbrt x) (fma 0.12 x 0.253)))
  (* x (pow (fma 0.12 x 0.253) 3))
  (* (cbrt (* (cbrt x) (fma 0.12 x 0.253))) (cbrt (* (cbrt x) (fma 0.12 x 0.253))))
  (cbrt (* (cbrt x) (fma 0.12 x 0.253)))
  (* x (pow (fma 0.12 x 0.253) 3))
  (sqrt (* (cbrt x) (fma 0.12 x 0.253)))
  (sqrt (* (cbrt x) (fma 0.12 x 0.253)))
  (* (cbrt (sqrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (cbrt (sqrt x)) (sqrt (fma 0.12 x 0.253)))
  (* (sqrt (fma 0.12 x 0.253)) (pow (pow x 1/3) 1/2))
  (* (sqrt (fma 0.12 x 0.253)) (pow (pow x 1/3) 1/2))
  (* (pow x 4/3) 0.12)
  (* 0.253 (pow x 1/3))
  (* (pow x 4/3) 0.12)
  (* 0.253 (pow x 1/3))
  (* (cbrt x) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (* (cbrt x) (sqrt (fma 0.12 x 0.253)))
  (pow x 1/3)
  (* (cbrt (cbrt x)) (fma 0.12 x 0.253))
  (* (cbrt (sqrt x)) (fma 0.12 x 0.253))
  (* (cbrt x) (fma 0.12 x 0.253))
  (* (cbrt (cbrt x)) (fma 0.12 x 0.253))
  (* (sqrt (cbrt x)) (fma 0.12 x 0.253))
  (* (cbrt x) (fma 0.12 x 0.253))
  (pow x 2/3)
  (pow (/ 1 x) -2/3)
  (pow (/ -1 x) -2/3)
  (pow x 1/3)
  (pow (/ 1 x) -1/3)
  (* (pow (* -1 x) 1/3) (cbrt -1))
  (* x (fma 0.12 x 0.253))
  (* x (fma 0.12 x 0.253))
  (* x (- (- (* 0.253 (cbrt -1))) (* (* 0.12 (cbrt -1)) x)))
  (fma 0.253 (pow x 1/3) (* 0.12 (pow (pow x 4) 1/3)))
  (fma 0.253 (pow x 1/3) (* 0.12 (pow (pow x 4) 1/3)))
  (* (cbrt -1) (+ (* 0.253 (pow (* -1 x) 1/3)) (* 0.12 (pow (* -1 (pow x 4)) 1/3))))
2.715 * * * [progress]: adding candidates to table
2.970 * [progress]: [Phase 3 of 3] Extracting.
2.970 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 1.0 (* x (cbrt (pow (fma 0.12 x 0.253) 3)))))> #<alt (λ (x) (- 1.0 (* (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (fma 0.12 x 0.253))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* (cbrt x) (cbrt x)) (* (expm1 (log1p (cbrt x))) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* x (sqrt (+ 0.253 (* x 0.12)))) (sqrt (+ 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (/ (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* x (fma 0.12 x 0.253))))>)
2.972 * * * [regime-changes]: Trying 2 branch expressions: ((* x (+ 0.253 (* x 0.12))) x)
2.972 * * * * [regimes]: Trying to branch on (* x (+ 0.253 (* x 0.12))) from (#<alt (λ (x) (- 1.0 (* x (cbrt (pow (fma 0.12 x 0.253) 3)))))> #<alt (λ (x) (- 1.0 (* (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (fma 0.12 x 0.253))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* (cbrt x) (cbrt x)) (* (expm1 (log1p (cbrt x))) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* x (sqrt (+ 0.253 (* x 0.12)))) (sqrt (+ 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (/ (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* x (fma 0.12 x 0.253))))>)
3.001 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 1.0 (* x (cbrt (pow (fma 0.12 x 0.253) 3)))))> #<alt (λ (x) (- 1.0 (* (sqrt (* x (+ 0.253 (* x 0.12)))) (sqrt (* x (+ 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt (* (cbrt x) (cbrt x))) (* (cbrt (cbrt x)) (fma 0.12 x 0.253))))))> #<alt (λ (x) (- 1.0 (* (cbrt (pow x 2)) (* (cbrt x) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* (cbrt x) (cbrt x)) (* (expm1 (log1p (cbrt x))) (fma 0.12 x 0.253)))))> #<alt (λ (x) (- 1.0 (* (* x (sqrt (+ 0.253 (* x 0.12)))) (sqrt (+ 0.253 (* x 0.12))))))> #<alt (λ (x) (- 1.0 (/ (* x (+ (pow 0.253 3) (pow (* x 0.12) 3))) (+ (* 0.253 0.253) (- (* (* x 0.12) (* x 0.12)) (* 0.253 (* x 0.12)))))))> #<alt (λ (x) (- 1.0 (* x (fma 0.12 x 0.253))))>)
3.026 * * * [regime]: Found split indices: #<option (#s(si 7 255))>
3.026 * [simplify]: Simplifying using  #<procedure:simplify-batch-egg> :
   (- 1.0 (* x (fma 0.12 x 0.253)))
3.027 * [simplify]: Sending expressions to egg_math:
 (- h0 (* h1 (fma h2 h1 h3)))
3.027 * * [simplify]: iteration  0 :  8  enodes  (cost  3 )
3.027 * * [simplify]: iteration  1 :  8  enodes  (cost  3 )
3.027 * [simplify]: Simplified to:
   (- 1.0 (* x (fma 0.12 x 0.253)))
3.665 * [regime-testing]: Baseline error score: 0.08567481972187578
3.666 * [regime-testing]: Oracle error score: 0.024219017433999648
3.667 * [regime-testing]: End program error score: 0.08567481972187578