12.381 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.013 * * * [progress]: [2/2] Setting up program.
0.014 * [progress]: [Phase 2 of 3] Improving.
0.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.015 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.016 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
0.019 * * [simplify]: iteration  2 :  39  enodes  (cost  8 )
0.025 * * [simplify]: iteration  3 :  77  enodes  (cost  8 )
0.038 * * [simplify]: iteration  4 :  124  enodes  (cost  8 )
0.063 * * [simplify]: iteration  5 :  164  enodes  (cost  8 )
0.097 * * [simplify]: iteration  6 :  220  enodes  (cost  8 )
0.194 * * [simplify]: iteration  7 :  324  enodes  (cost  8 )
0.300 * * [simplify]: iteration  8 :  370  enodes  (cost  8 )
0.369 * * [simplify]: iteration  9 :  371  enodes  (cost  8 )
0.428 * * [simplify]: iteration  done :  371  enodes  (cost  8 )
0.428 * [simplify]: Simplified to:
   (- 1.0 (* (fma 0.12 x 0.253) x))
0.430 * * [progress]: iteration 1 / 4
0.430 * * * [progress]: picking best candidate
0.432 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (fma 0.12 x 0.253) x)))>
0.432 * * * [progress]: localizing error
0.437 * * * [progress]: generating rewritten candidates
0.437 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.440 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.444 * * * [progress]: generating series expansions
0.444 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.444 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
0.444 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.444 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.444 * [taylor]: Taking taylor expansion of 0.12 in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of 0.253 in x
0.444 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.444 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.444 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.444 * [taylor]: Taking taylor expansion of 0.12 in x
0.444 * [taylor]: Taking taylor expansion of x in x
0.444 * [taylor]: Taking taylor expansion of 0.253 in x
0.461 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
0.461 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.461 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.461 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.461 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.462 * [taylor]: Taking taylor expansion of 0.12 in x
0.462 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.462 * [taylor]: Taking taylor expansion of 0.253 in x
0.462 * [taylor]: Taking taylor expansion of x in x
0.463 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.463 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.463 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.463 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.463 * [taylor]: Taking taylor expansion of 0.12 in x
0.463 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.463 * [taylor]: Taking taylor expansion of x in x
0.463 * [taylor]: Taking taylor expansion of 0.253 in x
0.463 * [taylor]: Taking taylor expansion of x in x
0.483 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
0.483 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.483 * [taylor]: Taking taylor expansion of -1 in x
0.483 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.484 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.484 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.484 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.484 * [taylor]: Taking taylor expansion of 0.12 in x
0.484 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.484 * [taylor]: Taking taylor expansion of -1 in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.484 * [taylor]: Taking taylor expansion of 0.253 in x
0.484 * [taylor]: Taking taylor expansion of x in x
0.485 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.485 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.485 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.485 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.485 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.485 * [taylor]: Taking taylor expansion of 0.12 in x
0.485 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.485 * [taylor]: Taking taylor expansion of -1 in x
0.485 * [taylor]: Taking taylor expansion of x in x
0.486 * [taylor]: Taking taylor expansion of 0.253 in x
0.486 * [taylor]: Taking taylor expansion of x in x
0.508 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.508 * [approximate]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in (x) around 0
0.508 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x
0.508 * [taylor]: Taking taylor expansion of 1.0 in x
0.508 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.508 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.508 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.508 * [taylor]: Taking taylor expansion of 0.12 in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of 0.253 in x
0.508 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x
0.508 * [taylor]: Taking taylor expansion of 1.0 in x
0.508 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.508 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.508 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.508 * [taylor]: Taking taylor expansion of 0.12 in x
0.508 * [taylor]: Taking taylor expansion of x in x
0.508 * [taylor]: Taking taylor expansion of 0.253 in x
0.517 * [approximate]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0
0.517 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x
0.517 * [taylor]: Taking taylor expansion of 1.0 in x
0.517 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.517 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.517 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.517 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.517 * [taylor]: Taking taylor expansion of 0.12 in x
0.517 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.517 * [taylor]: Taking taylor expansion of x in x
0.518 * [taylor]: Taking taylor expansion of 0.253 in x
0.518 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x
0.519 * [taylor]: Taking taylor expansion of 1.0 in x
0.519 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.519 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.519 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.519 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.519 * [taylor]: Taking taylor expansion of 0.12 in x
0.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.519 * [taylor]: Taking taylor expansion of 0.253 in x
0.519 * [taylor]: Taking taylor expansion of x in x
0.527 * [approximate]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in (x) around 0
0.527 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x
0.527 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.527 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.527 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.527 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.528 * [taylor]: Taking taylor expansion of 0.12 in x
0.528 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.528 * [taylor]: Taking taylor expansion of -1 in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [taylor]: Taking taylor expansion of 0.253 in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.529 * [taylor]: Taking taylor expansion of 1.0 in x
0.529 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x
0.529 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.529 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.529 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.529 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.529 * [taylor]: Taking taylor expansion of 0.12 in x
0.529 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.529 * [taylor]: Taking taylor expansion of -1 in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.530 * [taylor]: Taking taylor expansion of 0.253 in x
0.530 * [taylor]: Taking taylor expansion of x in x
0.531 * [taylor]: Taking taylor expansion of 1.0 in x
0.536 * * * [progress]: simplifying candidates
0.537 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (* (fma 0.12 x 0.253) x))
  (log1p (* (fma 0.12 x 0.253) x))
  (* (fma 0.12 x 0.253) x)
  (+ (log (fma 0.12 x 0.253)) (log x))
  (log (* (fma 0.12 x 0.253) x))
  (exp (* (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)) (* (* x x) x))
  (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))
  (cbrt (* (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))
  (sqrt (* (fma 0.12 x 0.253) x))
  (sqrt (* (fma 0.12 x 0.253) x))
  (* (sqrt (fma 0.12 x 0.253)) (sqrt x))
  (* (sqrt (fma 0.12 x 0.253)) (sqrt x))
  (* (fma 0.12 x 0.253) (* (cbrt x) (cbrt x)))
  (* (fma 0.12 x 0.253) (sqrt x))
  (* (fma 0.12 x 0.253) 1)
  (* (cbrt (fma 0.12 x 0.253)) x)
  (* (sqrt (fma 0.12 x 0.253)) x)
  (* (fma 0.12 x 0.253) x)
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* x (fma 0.12 x 0.253))))
  (fma (- x) (fma 0.12 x 0.253) (* x (fma 0.12 x 0.253)))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* x (fma 0.12 x 0.253))))
  (fma (- x) (fma 0.12 x 0.253) (* x (fma 0.12 x 0.253)))
  (fma 1 1.0 (- (* x (fma 0.12 x 0.253))))
  (fma (- x) (fma 0.12 x 0.253) (* x (fma 0.12 x 0.253)))
  (expm1 (- 1.0 (* (fma 0.12 x 0.253) x)))
  (log1p (- 1.0 (* (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))
  (/ (exp 1.0) (exp (* (fma 0.12 x 0.253) x)))
  (log (- 1.0 (* (fma 0.12 x 0.253) x)))
  (exp (- 1.0 (* (fma 0.12 x 0.253) x)))
  (* (cbrt (- 1.0 (* (fma 0.12 x 0.253) x))) (cbrt (- 1.0 (* (fma 0.12 x 0.253) x))))
  (cbrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (* (* (- 1.0 (* (fma 0.12 x 0.253) x)) (- 1.0 (* (fma 0.12 x 0.253) x))) (- 1.0 (* (fma 0.12 x 0.253) x)))
  (sqrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (sqrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (- (pow 1.0 3) (pow (* (fma 0.12 x 0.253) x) 3))
  (+ (* 1.0 1.0) (+ (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)) (* 1.0 (* (fma 0.12 x 0.253) x))))
  (- (* (fma 0.12 x 0.253) x))
  (- (* 1.0 1.0) (* (* (fma 0.12 x 0.253) x) (* (fma 0.12 x 0.253) x)))
  (+ 1.0 (* (fma 0.12 x 0.253) x))
  (- (* (fma 0.12 x 0.253) x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
  (- 1.0 (+ (* 0.12 (pow x 2)) (* 0.253 x)))
0.539 * * [simplify]: iteration  0 :  74  enodes  (cost  529 )
0.557 * * [simplify]: iteration  1 :  157  enodes  (cost  499 )
0.598 * * [simplify]: iteration  2 :  492  enodes  (cost  438 )
1.187 * * [simplify]: iteration  3 :  2195  enodes  (cost  431 )
2.760 * * [simplify]: iteration  done :  5001  enodes  (cost  431 )
2.760 * [simplify]: Simplified to:
   (expm1 (* (fma 0.12 x 0.253) x))
  (log1p (* (fma 0.12 x 0.253) x))
  (* (fma 0.12 x 0.253) x)
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (exp (* (fma 0.12 x 0.253) x))
  (pow (* (fma 0.12 x 0.253) x) 3)
  (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))
  (cbrt (* (fma 0.12 x 0.253) x))
  (pow (* (fma 0.12 x 0.253) x) 3)
  (sqrt (* (fma 0.12 x 0.253) x))
  (sqrt (* (fma 0.12 x 0.253) x))
  (* (sqrt (fma 0.12 x 0.253)) (sqrt x))
  (* (sqrt (fma 0.12 x 0.253)) (sqrt x))
  (* (fma 0.12 x 0.253) (* (cbrt x) (cbrt x)))
  (* (fma 0.12 x 0.253) (sqrt x))
  (fma 0.12 x 0.253)
  (* (cbrt (fma 0.12 x 0.253)) x)
  (* (sqrt (fma 0.12 x 0.253)) x)
  (* (fma 0.12 x 0.253) x)
  (fma (- (fma 0.12 x 0.253)) x (pow (cbrt 1.0) 3))
  (* x (* 0 (fma 0.12 x 0.253)))
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (* x (* 0 (fma 0.12 x 0.253)))
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (* x (* 0 (fma 0.12 x 0.253)))
  (expm1 (- 1.0 (* (fma 0.12 x 0.253) x)))
  (log1p (- 1.0 (* (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))
  (exp (- 1.0 (* (fma 0.12 x 0.253) x)))
  (log (- 1.0 (* (fma 0.12 x 0.253) x)))
  (exp (- 1.0 (* (fma 0.12 x 0.253) x)))
  (* (cbrt (- 1.0 (* (fma 0.12 x 0.253) x))) (cbrt (- 1.0 (* (fma 0.12 x 0.253) x))))
  (cbrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (pow (- 1.0 (* (fma 0.12 x 0.253) x)) 3)
  (sqrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (sqrt (- 1.0 (* (fma 0.12 x 0.253) x)))
  (- (pow 1.0 3) (pow (* (fma 0.12 x 0.253) x) 3))
  (fma (* (fma 0.12 x 0.253) x) (fma (fma 0.12 x 0.253) x 1.0) (* 1.0 1.0))
  (- (* (fma 0.12 x 0.253) x))
  (* (fma (fma 0.12 x 0.253) x 1.0) (- 1.0 (* (fma 0.12 x 0.253) x)))
  (fma (fma 0.12 x 0.253) x 1.0)
  (- (* (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)
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (- 1.0 (* (fma 0.12 x 0.253) x))
2.761 * * * [progress]: adding candidates to table
2.849 * * [progress]: iteration 2 / 4
2.849 * * * [progress]: picking best candidate
2.858 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))))>
2.858 * * * [progress]: localizing error
2.867 * * * [progress]: generating rewritten candidates
2.867 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.868 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.869 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
2.869 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.887 * * * [progress]: generating series expansions
2.887 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.887 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
2.887 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.887 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.887 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.887 * [taylor]: Taking taylor expansion of 1/3 in x
2.887 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.887 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.887 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.887 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.887 * [taylor]: Taking taylor expansion of 0.12 in x
2.887 * [taylor]: Taking taylor expansion of x in x
2.887 * [taylor]: Taking taylor expansion of 0.253 in x
2.890 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.890 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.890 * [taylor]: Taking taylor expansion of 1/3 in x
2.890 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.890 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.890 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.890 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.890 * [taylor]: Taking taylor expansion of 0.12 in x
2.890 * [taylor]: Taking taylor expansion of x in x
2.890 * [taylor]: Taking taylor expansion of 0.253 in x
2.930 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
2.930 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.930 * [taylor]: Taking taylor expansion of 1/3 in x
2.930 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.930 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.930 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.930 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.931 * [taylor]: Taking taylor expansion of 0.12 in x
2.931 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.931 * [taylor]: Taking taylor expansion of x in x
2.931 * [taylor]: Taking taylor expansion of 0.253 in x
2.933 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.933 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.933 * [taylor]: Taking taylor expansion of 1/3 in x
2.933 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.933 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.933 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.933 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.933 * [taylor]: Taking taylor expansion of 0.12 in x
2.933 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.933 * [taylor]: Taking taylor expansion of x in x
2.933 * [taylor]: Taking taylor expansion of 0.253 in x
2.964 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
2.964 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.964 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.964 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.964 * [taylor]: Taking taylor expansion of 1/3 in x
2.964 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.964 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.964 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.964 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.964 * [taylor]: Taking taylor expansion of 0.12 in x
2.964 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.964 * [taylor]: Taking taylor expansion of -1 in x
2.964 * [taylor]: Taking taylor expansion of x in x
2.965 * [taylor]: Taking taylor expansion of 0.253 in x
2.968 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.968 * [taylor]: Taking taylor expansion of 1/3 in x
2.968 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.968 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.968 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.968 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.968 * [taylor]: Taking taylor expansion of 0.12 in x
2.968 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.968 * [taylor]: Taking taylor expansion of -1 in x
2.968 * [taylor]: Taking taylor expansion of x in x
2.968 * [taylor]: Taking taylor expansion of 0.253 in x
3.008 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
3.008 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
3.008 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
3.008 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
3.008 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
3.008 * [taylor]: Taking taylor expansion of 1/3 in x
3.008 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
3.008 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.008 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.008 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.008 * [taylor]: Taking taylor expansion of 0.12 in x
3.008 * [taylor]: Taking taylor expansion of x in x
3.008 * [taylor]: Taking taylor expansion of 0.253 in x
3.011 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
3.011 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
3.011 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
3.011 * [taylor]: Taking taylor expansion of 1/3 in x
3.011 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
3.011 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.011 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.011 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.011 * [taylor]: Taking taylor expansion of 0.12 in x
3.011 * [taylor]: Taking taylor expansion of x in x
3.011 * [taylor]: Taking taylor expansion of 0.253 in x
3.047 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
3.047 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
3.047 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
3.047 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
3.047 * [taylor]: Taking taylor expansion of 1/3 in x
3.047 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
3.047 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.047 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.047 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.047 * [taylor]: Taking taylor expansion of 0.12 in x
3.047 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.047 * [taylor]: Taking taylor expansion of x in x
3.048 * [taylor]: Taking taylor expansion of 0.253 in x
3.049 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
3.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
3.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
3.049 * [taylor]: Taking taylor expansion of 1/3 in x
3.049 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
3.049 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.050 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.050 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.050 * [taylor]: Taking taylor expansion of 0.12 in x
3.050 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.050 * [taylor]: Taking taylor expansion of x in x
3.050 * [taylor]: Taking taylor expansion of 0.253 in x
3.083 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
3.083 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
3.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
3.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
3.083 * [taylor]: Taking taylor expansion of 1/3 in x
3.083 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
3.083 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.083 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.083 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.083 * [taylor]: Taking taylor expansion of 0.12 in x
3.083 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.083 * [taylor]: Taking taylor expansion of -1 in x
3.083 * [taylor]: Taking taylor expansion of x in x
3.083 * [taylor]: Taking taylor expansion of 0.253 in x
3.086 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
3.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
3.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
3.086 * [taylor]: Taking taylor expansion of 1/3 in x
3.086 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
3.086 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.086 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.086 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.086 * [taylor]: Taking taylor expansion of 0.12 in x
3.086 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.086 * [taylor]: Taking taylor expansion of -1 in x
3.087 * [taylor]: Taking taylor expansion of x in x
3.087 * [taylor]: Taking taylor expansion of 0.253 in x
3.123 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
3.123 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
3.123 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
3.123 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
3.123 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
3.123 * [taylor]: Taking taylor expansion of 1/3 in x
3.123 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
3.123 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.123 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.123 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.124 * [taylor]: Taking taylor expansion of 0.12 in x
3.124 * [taylor]: Taking taylor expansion of x in x
3.124 * [taylor]: Taking taylor expansion of 0.253 in x
3.126 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
3.126 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
3.126 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
3.126 * [taylor]: Taking taylor expansion of 1/3 in x
3.126 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
3.126 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.126 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.126 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.126 * [taylor]: Taking taylor expansion of 0.12 in x
3.126 * [taylor]: Taking taylor expansion of x in x
3.126 * [taylor]: Taking taylor expansion of 0.253 in x
3.166 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
3.166 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
3.166 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
3.166 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
3.166 * [taylor]: Taking taylor expansion of 1/3 in x
3.166 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
3.166 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.166 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.166 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.166 * [taylor]: Taking taylor expansion of 0.12 in x
3.166 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.166 * [taylor]: Taking taylor expansion of x in x
3.166 * [taylor]: Taking taylor expansion of 0.253 in x
3.168 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
3.168 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
3.168 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
3.168 * [taylor]: Taking taylor expansion of 1/3 in x
3.168 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
3.168 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.168 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.168 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.168 * [taylor]: Taking taylor expansion of 0.12 in x
3.168 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.168 * [taylor]: Taking taylor expansion of x in x
3.169 * [taylor]: Taking taylor expansion of 0.253 in x
3.199 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
3.199 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
3.199 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
3.199 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
3.199 * [taylor]: Taking taylor expansion of 1/3 in x
3.199 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
3.199 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.199 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.199 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.199 * [taylor]: Taking taylor expansion of 0.12 in x
3.199 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.199 * [taylor]: Taking taylor expansion of -1 in x
3.199 * [taylor]: Taking taylor expansion of x in x
3.200 * [taylor]: Taking taylor expansion of 0.253 in x
3.203 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
3.203 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
3.203 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
3.203 * [taylor]: Taking taylor expansion of 1/3 in x
3.203 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
3.203 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.203 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.203 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.203 * [taylor]: Taking taylor expansion of 0.12 in x
3.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.203 * [taylor]: Taking taylor expansion of -1 in x
3.203 * [taylor]: Taking taylor expansion of x in x
3.203 * [taylor]: Taking taylor expansion of 0.253 in x
3.243 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
3.244 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
3.244 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.244 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.244 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.244 * [taylor]: Taking taylor expansion of 0.12 in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of 0.253 in x
3.244 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
3.244 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
3.244 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
3.244 * [taylor]: Taking taylor expansion of 0.12 in x
3.244 * [taylor]: Taking taylor expansion of x in x
3.244 * [taylor]: Taking taylor expansion of 0.253 in x
3.261 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
3.261 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
3.261 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.261 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.261 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.262 * [taylor]: Taking taylor expansion of 0.12 in x
3.262 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.262 * [taylor]: Taking taylor expansion of x in x
3.262 * [taylor]: Taking taylor expansion of 0.253 in x
3.262 * [taylor]: Taking taylor expansion of x in x
3.263 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
3.263 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
3.263 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
3.263 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
3.263 * [taylor]: Taking taylor expansion of 0.12 in x
3.263 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.263 * [taylor]: Taking taylor expansion of x in x
3.263 * [taylor]: Taking taylor expansion of 0.253 in x
3.263 * [taylor]: Taking taylor expansion of x in x
3.278 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
3.278 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
3.278 * [taylor]: Taking taylor expansion of -1 in x
3.278 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
3.278 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.279 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.279 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.279 * [taylor]: Taking taylor expansion of 0.12 in x
3.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.279 * [taylor]: Taking taylor expansion of -1 in x
3.279 * [taylor]: Taking taylor expansion of x in x
3.279 * [taylor]: Taking taylor expansion of 0.253 in x
3.279 * [taylor]: Taking taylor expansion of x in x
3.280 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
3.280 * [taylor]: Taking taylor expansion of -1 in x
3.280 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
3.280 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
3.280 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
3.280 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
3.280 * [taylor]: Taking taylor expansion of 0.12 in x
3.280 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.280 * [taylor]: Taking taylor expansion of -1 in x
3.280 * [taylor]: Taking taylor expansion of x in x
3.281 * [taylor]: Taking taylor expansion of 0.253 in x
3.281 * [taylor]: Taking taylor expansion of x in x
3.306 * * * [progress]: simplifying candidates
3.307 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (log1p (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (+ (+ (log (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253)))) (+ (log (cbrt (fma 0.12 x 0.253))) (log x)))
  (+ (+ (log (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253)))) (log (* (cbrt (fma 0.12 x 0.253)) x)))
  (+ (log (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (+ (log (cbrt (fma 0.12 x 0.253))) (log x)))
  (+ (log (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (log (* (cbrt (fma 0.12 x 0.253)) x)))
  (log (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (exp (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (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) (* (* x x) x)))
  (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (* (* (* (cbrt (fma 0.12 x 0.253)) x) (* (cbrt (fma 0.12 x 0.253)) x)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (fma 0.12 x 0.253) (* (* x x) x)))
  (* (* (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (* (* (cbrt (fma 0.12 x 0.253)) x) (* (cbrt (fma 0.12 x 0.253)) x)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))) (cbrt (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))))
  (cbrt (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (sqrt (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (sqrt (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
3.312 * * [simplify]: iteration  0 :  115  enodes  (cost  1441 )
3.331 * * [simplify]: iteration  1 :  289  enodes  (cost  1376 )
3.392 * * [simplify]: iteration  2 :  991  enodes  (cost  1027 )
3.974 * * [simplify]: iteration  3 :  4053  enodes  (cost  809 )
4.999 * * [simplify]: iteration  done :  5001  enodes  (cost  809 )
5.000 * [simplify]: Simplified to:
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (fma 0.12 x 0.253) x))
  (log1p (* (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) x)
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (exp (* (fma 0.12 x 0.253) x))
  (pow (* (fma 0.12 x 0.253) x) 3)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))
  (cbrt (* (fma 0.12 x 0.253) x))
  (pow (* (fma 0.12 x 0.253) x) 3)
  (sqrt (* (fma 0.12 x 0.253) x))
  (sqrt (* (fma 0.12 x 0.253) x))
  (fma 0.12 x 0.253)
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (+ (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))) (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)))
  (+ (fma (/ (cbrt (exp (+ (log 0.12) (log x)))) x) 0.7027777777777777 (cbrt (exp (+ (log 0.12) (log x))))) (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))))
  (+ (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))))
  (+ (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))) (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)))
  (+ (fma (/ (cbrt (exp (+ (log 0.12) (log x)))) x) 0.7027777777777777 (cbrt (exp (+ (log 0.12) (log x))))) (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))))
  (+ (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))))
  (+ (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))) (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)))
  (+ (fma (/ (cbrt (exp (+ (log 0.12) (log x)))) x) 0.7027777777777777 (cbrt (exp (+ (log 0.12) (log x))))) (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))))
  (+ (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))) (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))))
  (* (fma 0.12 x 0.253) x)
  (* (fma 0.12 x 0.253) x)
  (* (fma 0.12 x 0.253) x)
5.000 * * * [progress]: adding candidates to table
5.182 * * [progress]: iteration 3 / 4
5.182 * * * [progress]: picking best candidate
5.191 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))))>
5.191 * * * [progress]: localizing error
5.200 * * * [progress]: generating rewritten candidates
5.200 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
5.201 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
5.201 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
5.202 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
5.211 * * * [progress]: generating series expansions
5.211 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
5.212 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
5.212 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.212 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.212 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.212 * [taylor]: Taking taylor expansion of 1/3 in x
5.212 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.212 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.212 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.212 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.212 * [taylor]: Taking taylor expansion of 0.12 in x
5.212 * [taylor]: Taking taylor expansion of x in x
5.212 * [taylor]: Taking taylor expansion of 0.253 in x
5.214 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.214 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.214 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.214 * [taylor]: Taking taylor expansion of 1/3 in x
5.214 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.214 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.215 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.215 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.215 * [taylor]: Taking taylor expansion of 0.12 in x
5.215 * [taylor]: Taking taylor expansion of x in x
5.215 * [taylor]: Taking taylor expansion of 0.253 in x
5.253 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
5.254 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.254 * [taylor]: Taking taylor expansion of 1/3 in x
5.254 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.254 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.254 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.254 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.254 * [taylor]: Taking taylor expansion of 0.12 in x
5.254 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.254 * [taylor]: Taking taylor expansion of x in x
5.254 * [taylor]: Taking taylor expansion of 0.253 in x
5.256 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.256 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.256 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.256 * [taylor]: Taking taylor expansion of 1/3 in x
5.256 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.256 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.256 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.256 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.256 * [taylor]: Taking taylor expansion of 0.12 in x
5.256 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.256 * [taylor]: Taking taylor expansion of x in x
5.257 * [taylor]: Taking taylor expansion of 0.253 in x
5.286 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
5.286 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.286 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.286 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.286 * [taylor]: Taking taylor expansion of 1/3 in x
5.286 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.286 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.286 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.286 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.286 * [taylor]: Taking taylor expansion of 0.12 in x
5.286 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.286 * [taylor]: Taking taylor expansion of -1 in x
5.286 * [taylor]: Taking taylor expansion of x in x
5.287 * [taylor]: Taking taylor expansion of 0.253 in x
5.290 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.290 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.290 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.290 * [taylor]: Taking taylor expansion of 1/3 in x
5.290 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.290 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.290 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.290 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.290 * [taylor]: Taking taylor expansion of 0.12 in x
5.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.290 * [taylor]: Taking taylor expansion of -1 in x
5.290 * [taylor]: Taking taylor expansion of x in x
5.290 * [taylor]: Taking taylor expansion of 0.253 in x
5.329 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
5.329 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
5.329 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.329 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.329 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.329 * [taylor]: Taking taylor expansion of 1/3 in x
5.329 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.329 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.329 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.329 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.329 * [taylor]: Taking taylor expansion of 0.12 in x
5.329 * [taylor]: Taking taylor expansion of x in x
5.329 * [taylor]: Taking taylor expansion of 0.253 in x
5.331 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.332 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.332 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.332 * [taylor]: Taking taylor expansion of 1/3 in x
5.332 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.332 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.332 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.332 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.332 * [taylor]: Taking taylor expansion of 0.12 in x
5.332 * [taylor]: Taking taylor expansion of x in x
5.332 * [taylor]: Taking taylor expansion of 0.253 in x
5.367 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
5.367 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.367 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.367 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.367 * [taylor]: Taking taylor expansion of 1/3 in x
5.367 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.367 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.367 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.367 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.367 * [taylor]: Taking taylor expansion of 0.12 in x
5.367 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.367 * [taylor]: Taking taylor expansion of x in x
5.368 * [taylor]: Taking taylor expansion of 0.253 in x
5.369 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.369 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.369 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.369 * [taylor]: Taking taylor expansion of 1/3 in x
5.369 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.369 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.370 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.370 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.370 * [taylor]: Taking taylor expansion of 0.12 in x
5.370 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.370 * [taylor]: Taking taylor expansion of x in x
5.370 * [taylor]: Taking taylor expansion of 0.253 in x
5.402 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
5.402 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.402 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.402 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.402 * [taylor]: Taking taylor expansion of 1/3 in x
5.402 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.402 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.402 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.402 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.402 * [taylor]: Taking taylor expansion of 0.12 in x
5.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.403 * [taylor]: Taking taylor expansion of -1 in x
5.403 * [taylor]: Taking taylor expansion of x in x
5.403 * [taylor]: Taking taylor expansion of 0.253 in x
5.406 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.406 * [taylor]: Taking taylor expansion of 1/3 in x
5.406 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.406 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.406 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.406 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.406 * [taylor]: Taking taylor expansion of 0.12 in x
5.406 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.406 * [taylor]: Taking taylor expansion of -1 in x
5.406 * [taylor]: Taking taylor expansion of x in x
5.406 * [taylor]: Taking taylor expansion of 0.253 in x
5.442 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
5.442 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
5.442 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.442 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.442 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.442 * [taylor]: Taking taylor expansion of 1/3 in x
5.442 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.442 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.442 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.442 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.442 * [taylor]: Taking taylor expansion of 0.12 in x
5.442 * [taylor]: Taking taylor expansion of x in x
5.442 * [taylor]: Taking taylor expansion of 0.253 in x
5.444 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
5.444 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
5.444 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
5.444 * [taylor]: Taking taylor expansion of 1/3 in x
5.444 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
5.445 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.445 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.445 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.445 * [taylor]: Taking taylor expansion of 0.12 in x
5.445 * [taylor]: Taking taylor expansion of x in x
5.445 * [taylor]: Taking taylor expansion of 0.253 in x
5.483 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
5.483 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.483 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.483 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.483 * [taylor]: Taking taylor expansion of 1/3 in x
5.483 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.483 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.484 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.484 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.484 * [taylor]: Taking taylor expansion of 0.12 in x
5.484 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.484 * [taylor]: Taking taylor expansion of x in x
5.484 * [taylor]: Taking taylor expansion of 0.253 in x
5.486 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.486 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.486 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.486 * [taylor]: Taking taylor expansion of 1/3 in x
5.486 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.486 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.486 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.486 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.486 * [taylor]: Taking taylor expansion of 0.12 in x
5.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.486 * [taylor]: Taking taylor expansion of x in x
5.486 * [taylor]: Taking taylor expansion of 0.253 in x
5.516 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
5.516 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.516 * [taylor]: Taking taylor expansion of 1/3 in x
5.516 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.516 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.516 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.516 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.516 * [taylor]: Taking taylor expansion of 0.12 in x
5.516 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.516 * [taylor]: Taking taylor expansion of -1 in x
5.516 * [taylor]: Taking taylor expansion of x in x
5.516 * [taylor]: Taking taylor expansion of 0.253 in x
5.519 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.519 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.519 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.519 * [taylor]: Taking taylor expansion of 1/3 in x
5.519 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.519 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.519 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.519 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.519 * [taylor]: Taking taylor expansion of 0.12 in x
5.519 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.520 * [taylor]: Taking taylor expansion of -1 in x
5.520 * [taylor]: Taking taylor expansion of x in x
5.520 * [taylor]: Taking taylor expansion of 0.253 in x
5.562 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
5.562 * [approximate]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in (x) around 0
5.562 * [taylor]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in x
5.562 * [taylor]: Taking taylor expansion of x in x
5.562 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 x 0.253) 2) 1/3) in x
5.562 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 x 0.253) 2)))) in x
5.562 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 x 0.253) 2))) in x
5.562 * [taylor]: Taking taylor expansion of 1/3 in x
5.562 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 x 0.253) 2)) in x
5.562 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x
5.562 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.562 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.562 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.562 * [taylor]: Taking taylor expansion of 0.12 in x
5.562 * [taylor]: Taking taylor expansion of x in x
5.562 * [taylor]: Taking taylor expansion of 0.253 in x
5.565 * [taylor]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in x
5.565 * [taylor]: Taking taylor expansion of x in x
5.565 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 x 0.253) 2) 1/3) in x
5.565 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 x 0.253) 2)))) in x
5.565 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 x 0.253) 2))) in x
5.565 * [taylor]: Taking taylor expansion of 1/3 in x
5.565 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 x 0.253) 2)) in x
5.565 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x
5.565 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.565 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.565 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.565 * [taylor]: Taking taylor expansion of 0.12 in x
5.565 * [taylor]: Taking taylor expansion of x in x
5.565 * [taylor]: Taking taylor expansion of 0.253 in x
5.675 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in (x) around 0
5.675 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in x
5.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.675 * [taylor]: Taking taylor expansion of x in x
5.675 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3) in x
5.675 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2)))) in x
5.675 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2))) in x
5.675 * [taylor]: Taking taylor expansion of 1/3 in x
5.675 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ 1 x) 0.253) 2)) in x
5.675 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x
5.675 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.675 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.675 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.675 * [taylor]: Taking taylor expansion of 0.12 in x
5.675 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.675 * [taylor]: Taking taylor expansion of x in x
5.676 * [taylor]: Taking taylor expansion of 0.253 in x
5.678 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in x
5.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.678 * [taylor]: Taking taylor expansion of x in x
5.678 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3) in x
5.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2)))) in x
5.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2))) in x
5.678 * [taylor]: Taking taylor expansion of 1/3 in x
5.678 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ 1 x) 0.253) 2)) in x
5.678 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x
5.678 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.678 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.678 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.678 * [taylor]: Taking taylor expansion of 0.12 in x
5.678 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.678 * [taylor]: Taking taylor expansion of x in x
5.679 * [taylor]: Taking taylor expansion of 0.253 in x
5.724 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3))) in (x) around 0
5.724 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3))) in x
5.724 * [taylor]: Taking taylor expansion of -1 in x
5.724 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3)) in x
5.724 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.724 * [taylor]: Taking taylor expansion of x in x
5.725 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3) in x
5.725 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2)))) in x
5.725 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2))) in x
5.725 * [taylor]: Taking taylor expansion of 1/3 in x
5.725 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ -1 x) 0.253) 2)) in x
5.725 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x
5.725 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.725 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.725 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.725 * [taylor]: Taking taylor expansion of 0.12 in x
5.725 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.725 * [taylor]: Taking taylor expansion of -1 in x
5.725 * [taylor]: Taking taylor expansion of x in x
5.725 * [taylor]: Taking taylor expansion of 0.253 in x
5.728 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3))) in x
5.728 * [taylor]: Taking taylor expansion of -1 in x
5.728 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3)) in x
5.728 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.728 * [taylor]: Taking taylor expansion of x in x
5.728 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3) in x
5.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2)))) in x
5.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2))) in x
5.728 * [taylor]: Taking taylor expansion of 1/3 in x
5.728 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ -1 x) 0.253) 2)) in x
5.728 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x
5.728 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.728 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.728 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.728 * [taylor]: Taking taylor expansion of 0.12 in x
5.728 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.728 * [taylor]: Taking taylor expansion of -1 in x
5.728 * [taylor]: Taking taylor expansion of x in x
5.729 * [taylor]: Taking taylor expansion of 0.253 in x
5.775 * * * [progress]: simplifying candidates
5.776 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (log1p (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (+ (log (cbrt (fma 0.12 x 0.253))) (+ (log (cbrt (fma 0.12 x 0.253))) (log x)))
  (+ (log (cbrt (fma 0.12 x 0.253))) (log (* (cbrt (fma 0.12 x 0.253)) x)))
  (log (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (exp (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (fma 0.12 x 0.253) (* (fma 0.12 x 0.253) (* (* x x) x)))
  (* (fma 0.12 x 0.253) (* (* (* (cbrt (fma 0.12 x 0.253)) x) (* (cbrt (fma 0.12 x 0.253)) x)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)) (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))) (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (sqrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (sqrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* x (pow 0.064009 1/3)) (+ (* 0.3162055335968379 (* (pow x 2) (pow 0.064009 1/3))) (* 0.12498242434657625 (* (pow x 3) (pow 0.064009 1/3))))) (* 0.0006144863999999999 (* (pow x 3) (pow (/ 1 (pow 0.064009 5)) 1/3))))
  (- (+ (* x (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ 1 x))))))) (+ (* 2.4694830246913577 (/ (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ 1 x)))))) x)) (* 1.4055555555555554 (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ 1 x))))))))) (* 0.0006144863999999999 (/ (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ 1 x)))))) (* (pow 0.0144 2) x))))
  (- (+ (* 1.4055555555555554 (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ -1 x))))))) (+ (* 2.4694830246913577 (/ (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ -1 x)))))) x)) (* (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ -1 x)))))) x))) (* 0.0006144863999999999 (/ (exp (* 1/3 (- (log 0.0144) (* 2 (log (/ -1 x)))))) (* (pow 0.0144 2) x))))
5.781 * * [simplify]: iteration  0 :  157  enodes  (cost  1356 )
5.814 * * [simplify]: iteration  1 :  392  enodes  (cost  1298 )
5.900 * * [simplify]: iteration  2 :  1264  enodes  (cost  1195 )
6.371 * * [simplify]: iteration  3 :  4899  enodes  (cost  1012 )
7.299 * * [simplify]: iteration  done :  5000  enodes  (cost  1012 )
7.299 * [simplify]: Simplified to:
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (log1p (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (fma 2 (log (cbrt (fma 0.12 x 0.253))) (log x))
  (fma 2 (log (cbrt (fma 0.12 x 0.253))) (log x))
  (fma 2 (log (cbrt (fma 0.12 x 0.253))) (log x))
  (exp (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow x 3))
  (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow x 3))
  (* (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow x 3))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))
  (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (sqrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (sqrt (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))
  (fma (cbrt 0.253) (* x 0.15810276679841895) (+ (cbrt 0.253) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma 0.7027777777777777 (/ (cbrt (exp (+ (log 0.12) (log x)))) x) (cbrt (exp (+ (log 0.12) (log x))))))
  (fma 0.7027777777777777 (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (fma (cbrt 0.253) (* x 0.15810276679841895) (+ (cbrt 0.253) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma 0.7027777777777777 (/ (cbrt (exp (+ (log 0.12) (log x)))) x) (cbrt (exp (+ (log 0.12) (log x))))))
  (fma 0.7027777777777777 (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (fma (cbrt 0.253) (* x 0.15810276679841895) (+ (cbrt 0.253) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma 0.7027777777777777 (/ (cbrt (exp (+ (log 0.12) (log x)))) x) (cbrt (exp (+ (log 0.12) (log x))))))
  (fma 0.7027777777777777 (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (fma (cbrt 0.064009) (+ x (* 0.3162055335968379 (* x x))) (* (pow x 3) (- (* (cbrt 0.064009) 0.12498242434657625) (* (cbrt (/ 1 (pow 0.064009 5))) 0.0006144863999999999))))
  (+ (* (cbrt (exp (fma (log x) 2 (log 0.0144)))) (+ x 1.4055555555555554)) (* (/ (cbrt (exp (fma (log x) 2 (log 0.0144)))) x) (- 2.4694830246913577 (/ 0.0006144863999999999 (pow 0.0144 2)))))
  (+ (* (cbrt (exp (fma (log (/ -1 x)) -2 (log 0.0144)))) (+ x 1.4055555555555554)) (* (/ (cbrt (exp (fma (log (/ -1 x)) -2 (log 0.0144)))) x) (- 2.4694830246913577 (/ 0.0006144863999999999 (pow 0.0144 2)))))
7.300 * * * [progress]: adding candidates to table
7.523 * * [progress]: iteration 4 / 4
7.523 * * * [progress]: picking best candidate
7.534 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))))>
7.534 * * * [progress]: localizing error
7.543 * * * [progress]: generating rewritten candidates
7.543 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
7.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
7.544 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
7.545 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
7.583 * * * [progress]: generating series expansions
7.583 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
7.583 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
7.583 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.583 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.583 * [taylor]: Taking taylor expansion of 1/3 in x
7.583 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.583 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.583 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.583 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.583 * [taylor]: Taking taylor expansion of 0.12 in x
7.583 * [taylor]: Taking taylor expansion of x in x
7.583 * [taylor]: Taking taylor expansion of 0.253 in x
7.586 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.586 * [taylor]: Taking taylor expansion of 1/3 in x
7.586 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.586 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.586 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.586 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.586 * [taylor]: Taking taylor expansion of 0.12 in x
7.586 * [taylor]: Taking taylor expansion of x in x
7.586 * [taylor]: Taking taylor expansion of 0.253 in x
7.622 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.622 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.622 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.622 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.622 * [taylor]: Taking taylor expansion of 1/3 in x
7.622 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.622 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.623 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.623 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.623 * [taylor]: Taking taylor expansion of 0.12 in x
7.623 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.623 * [taylor]: Taking taylor expansion of x in x
7.623 * [taylor]: Taking taylor expansion of 0.253 in x
7.625 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.625 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.625 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.625 * [taylor]: Taking taylor expansion of 1/3 in x
7.625 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.625 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.625 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.625 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.625 * [taylor]: Taking taylor expansion of 0.12 in x
7.625 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.625 * [taylor]: Taking taylor expansion of x in x
7.625 * [taylor]: Taking taylor expansion of 0.253 in x
7.660 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.660 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.660 * [taylor]: Taking taylor expansion of 1/3 in x
7.660 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.660 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.660 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.660 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.660 * [taylor]: Taking taylor expansion of 0.12 in x
7.660 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.660 * [taylor]: Taking taylor expansion of -1 in x
7.660 * [taylor]: Taking taylor expansion of x in x
7.661 * [taylor]: Taking taylor expansion of 0.253 in x
7.664 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.664 * [taylor]: Taking taylor expansion of 1/3 in x
7.664 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.664 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.664 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.664 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.664 * [taylor]: Taking taylor expansion of 0.12 in x
7.664 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.664 * [taylor]: Taking taylor expansion of -1 in x
7.664 * [taylor]: Taking taylor expansion of x in x
7.664 * [taylor]: Taking taylor expansion of 0.253 in x
7.701 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
7.701 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
7.701 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.701 * [taylor]: Taking taylor expansion of 1/3 in x
7.701 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.701 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.701 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.701 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.701 * [taylor]: Taking taylor expansion of 0.12 in x
7.701 * [taylor]: Taking taylor expansion of x in x
7.701 * [taylor]: Taking taylor expansion of 0.253 in x
7.703 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.703 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.703 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.703 * [taylor]: Taking taylor expansion of 1/3 in x
7.703 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.703 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.703 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.703 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.703 * [taylor]: Taking taylor expansion of 0.12 in x
7.703 * [taylor]: Taking taylor expansion of x in x
7.703 * [taylor]: Taking taylor expansion of 0.253 in x
7.745 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.745 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.745 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.745 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.745 * [taylor]: Taking taylor expansion of 1/3 in x
7.745 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.745 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.745 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.745 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.745 * [taylor]: Taking taylor expansion of 0.12 in x
7.746 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.746 * [taylor]: Taking taylor expansion of x in x
7.746 * [taylor]: Taking taylor expansion of 0.253 in x
7.748 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.748 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.748 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.748 * [taylor]: Taking taylor expansion of 1/3 in x
7.748 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.748 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.748 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.748 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.748 * [taylor]: Taking taylor expansion of 0.12 in x
7.748 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.748 * [taylor]: Taking taylor expansion of x in x
7.748 * [taylor]: Taking taylor expansion of 0.253 in x
7.778 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.779 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.779 * [taylor]: Taking taylor expansion of 1/3 in x
7.779 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.779 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.779 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.779 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.779 * [taylor]: Taking taylor expansion of 0.12 in x
7.779 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.779 * [taylor]: Taking taylor expansion of -1 in x
7.779 * [taylor]: Taking taylor expansion of x in x
7.779 * [taylor]: Taking taylor expansion of 0.253 in x
7.782 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.782 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.782 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.782 * [taylor]: Taking taylor expansion of 1/3 in x
7.782 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.782 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.782 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.782 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.782 * [taylor]: Taking taylor expansion of 0.12 in x
7.782 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.782 * [taylor]: Taking taylor expansion of -1 in x
7.782 * [taylor]: Taking taylor expansion of x in x
7.783 * [taylor]: Taking taylor expansion of 0.253 in x
7.825 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.825 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
7.825 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.825 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.825 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.825 * [taylor]: Taking taylor expansion of 1/3 in x
7.825 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.825 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.825 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.825 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.825 * [taylor]: Taking taylor expansion of 0.12 in x
7.825 * [taylor]: Taking taylor expansion of x in x
7.825 * [taylor]: Taking taylor expansion of 0.253 in x
7.827 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.827 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.827 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.827 * [taylor]: Taking taylor expansion of 1/3 in x
7.827 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.827 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.828 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.828 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.828 * [taylor]: Taking taylor expansion of 0.12 in x
7.828 * [taylor]: Taking taylor expansion of x in x
7.828 * [taylor]: Taking taylor expansion of 0.253 in x
7.864 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.865 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.865 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.865 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.865 * [taylor]: Taking taylor expansion of 1/3 in x
7.865 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.865 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.865 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.865 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.865 * [taylor]: Taking taylor expansion of 0.12 in x
7.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.865 * [taylor]: Taking taylor expansion of x in x
7.865 * [taylor]: Taking taylor expansion of 0.253 in x
7.867 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.867 * [taylor]: Taking taylor expansion of 1/3 in x
7.867 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.867 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.867 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.867 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.867 * [taylor]: Taking taylor expansion of 0.12 in x
7.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.867 * [taylor]: Taking taylor expansion of x in x
7.868 * [taylor]: Taking taylor expansion of 0.253 in x
7.904 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.904 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.904 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.904 * [taylor]: Taking taylor expansion of 1/3 in x
7.904 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.904 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.904 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.904 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.904 * [taylor]: Taking taylor expansion of 0.12 in x
7.904 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.904 * [taylor]: Taking taylor expansion of -1 in x
7.904 * [taylor]: Taking taylor expansion of x in x
7.904 * [taylor]: Taking taylor expansion of 0.253 in x
7.907 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.907 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.907 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.907 * [taylor]: Taking taylor expansion of 1/3 in x
7.907 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.907 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.907 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.907 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.907 * [taylor]: Taking taylor expansion of 0.12 in x
7.908 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.908 * [taylor]: Taking taylor expansion of -1 in x
7.908 * [taylor]: Taking taylor expansion of x in x
7.908 * [taylor]: Taking taylor expansion of 0.253 in x
7.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
7.945 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
7.945 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.945 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.945 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.945 * [taylor]: Taking taylor expansion of 0.12 in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of 0.253 in x
7.945 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.945 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.945 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.945 * [taylor]: Taking taylor expansion of 0.12 in x
7.945 * [taylor]: Taking taylor expansion of x in x
7.945 * [taylor]: Taking taylor expansion of 0.253 in x
7.968 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
7.969 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
7.969 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.969 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.969 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.969 * [taylor]: Taking taylor expansion of 0.12 in x
7.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.969 * [taylor]: Taking taylor expansion of x in x
7.969 * [taylor]: Taking taylor expansion of 0.253 in x
7.969 * [taylor]: Taking taylor expansion of x in x
7.970 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
7.970 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.970 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.970 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.970 * [taylor]: Taking taylor expansion of 0.12 in x
7.970 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.970 * [taylor]: Taking taylor expansion of x in x
7.970 * [taylor]: Taking taylor expansion of 0.253 in x
7.970 * [taylor]: Taking taylor expansion of x in x
7.986 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
7.986 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
7.986 * [taylor]: Taking taylor expansion of -1 in x
7.986 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
7.986 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.986 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.986 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.986 * [taylor]: Taking taylor expansion of 0.12 in x
7.986 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.986 * [taylor]: Taking taylor expansion of -1 in x
7.986 * [taylor]: Taking taylor expansion of x in x
7.986 * [taylor]: Taking taylor expansion of 0.253 in x
7.986 * [taylor]: Taking taylor expansion of x in x
7.987 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
7.987 * [taylor]: Taking taylor expansion of -1 in x
7.987 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
7.987 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.988 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.988 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.988 * [taylor]: Taking taylor expansion of 0.12 in x
7.988 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.988 * [taylor]: Taking taylor expansion of -1 in x
7.988 * [taylor]: Taking taylor expansion of x in x
7.988 * [taylor]: Taking taylor expansion of 0.253 in x
7.988 * [taylor]: Taking taylor expansion of x in x
8.010 * * * [progress]: simplifying candidates
8.012 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt 1)
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (log1p (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (+ (log (cbrt (fma 0.12 x 0.253))) (+ (+ (log (cbrt (fma 0.12 x 0.253))) (log (cbrt (fma 0.12 x 0.253)))) (log x)))
  (+ (log (cbrt (fma 0.12 x 0.253))) (+ (log (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (log x)))
  (+ (log (cbrt (fma 0.12 x 0.253))) (log (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (log (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (exp (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (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)) (* (* x x) x)))
  (* (fma 0.12 x 0.253) (* (* (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253)))) (* (* x x) x)))
  (* (fma 0.12 x 0.253) (* (* (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (* (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (* (* (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)) (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))) (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (sqrt (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x)))
  (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (sqrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (sqrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (- (+ (* 0.15810276679841895 (* (pow 0.253 1/3) x)) (+ (pow 0.253 1/3) (* 0.012498242434657622 (* (pow 0.253 1/3) (pow x 2))))) (* 0.0024 (* (pow (/ 1 (pow 0.253 5)) 1/3) (pow x 2))))
  (- (+ (* 0.24694830246913577 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (pow x 2))) (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) x)) (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log 0.12) (log (/ 1 x))))) (* (pow 0.12 2) (pow x 2)))))
  (- (+ (* 0.7027777777777777 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) x)) (+ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* 0.24694830246913577 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (pow x 2))))) (* 0.010668166666666666 (/ (exp (* 1/3 (- (log (- 0.12)) (log (/ -1 x))))) (* (pow x 2) (pow -0.12 2)))))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
  (+ (* 0.12 (pow x 2)) (* 0.253 x))
8.016 * * [simplify]: iteration  0 :  118  enodes  (cost  1459 )
8.042 * * [simplify]: iteration  1 :  295  enodes  (cost  1141 )
8.120 * * [simplify]: iteration  2 :  984  enodes  (cost  981 )
8.651 * * [simplify]: iteration  3 :  3748  enodes  (cost  867 )
9.643 * * [simplify]: iteration  done :  5000  enodes  (cost  867 )
9.644 * [simplify]: Simplified to:
   (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (cbrt (fma 0.12 x 0.253)))
  (log1p (cbrt (fma 0.12 x 0.253)))
  (log (cbrt (fma 0.12 x 0.253)))
  (exp (cbrt (fma 0.12 x 0.253)))
  (cbrt (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  (cbrt (sqrt (fma 0.12 x 0.253)))
  1
  (cbrt (fma 0.12 x 0.253))
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (cbrt (cbrt (fma 0.12 x 0.253))))
  (cbrt (cbrt (fma 0.12 x 0.253)))
  (fma 0.12 x 0.253)
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (sqrt (cbrt (fma 0.12 x 0.253)))
  (expm1 (* (fma 0.12 x 0.253) x))
  (log1p (* (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)
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (log (* (fma 0.12 x 0.253) x))
  (pow (exp (fma 0.12 x 0.253)) x)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (pow (* (fma 0.12 x 0.253) x) 3)
  (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x)))
  (cbrt (* (fma 0.12 x 0.253) x))
  (pow (* (fma 0.12 x 0.253) x) 3)
  (sqrt (* (fma 0.12 x 0.253) x))
  (sqrt (* (fma 0.12 x 0.253) x))
  (fma 0.12 x 0.253)
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (cbrt (sqrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (fma 0.12 x 0.253) x)
  (* (cbrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (sqrt (cbrt (fma 0.12 x 0.253))) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))
  (* (fma 0.12 x 0.253) x)
  (+ (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma (/ (cbrt (exp (+ (log x) (log 0.12)))) x) 0.7027777777777777 (cbrt (exp (+ (log x) (log 0.12))))))
  (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (+ (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma (/ (cbrt (exp (+ (log x) (log 0.12)))) x) 0.7027777777777777 (cbrt (exp (+ (log x) (log 0.12))))))
  (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (+ (fma (* x (cbrt 0.253)) 0.15810276679841895 (cbrt 0.253)) (* (* x x) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow 0.12 2)))) (fma (/ (cbrt (exp (+ (log x) (log 0.12)))) x) 0.7027777777777777 (cbrt (exp (+ (log x) (log 0.12))))))
  (+ (* (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) (* x x)) (- 0.24694830246913577 (/ 0.010668166666666666 (pow -0.12 2)))) (fma (/ (cbrt (exp (- (log (- 0.12)) (log (/ -1 x))))) x) 0.7027777777777777 (cbrt (exp (- (log (- 0.12)) (log (/ -1 x)))))))
  (* (fma 0.12 x 0.253) x)
  (* (fma 0.12 x 0.253) x)
  (* (fma 0.12 x 0.253) x)
9.644 * * * [progress]: adding candidates to table
9.845 * [progress]: [Phase 3 of 3] Extracting.
9.845 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- 1.0 (* (fma 0.12 x 0.253) x)))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))))))> #<alt (λ (x) (- 1.0 (* (sqrt (* (fma 0.12 x 0.253) x)) (sqrt (* (fma 0.12 x 0.253) x)))))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (cbrt (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow x 3))))))> #<alt (λ (x) (- 1.0 (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x)))))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))))> #<alt (λ (x) (- 1.0 (* (sqrt (fma 0.12 x 0.253)) (* (sqrt (fma 0.12 x 0.253)) x))))>)
9.846 * * * [regime-changes]: Trying 1 branch expressions: (x)
9.846 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- 1.0 (* (fma 0.12 x 0.253) x)))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))) (cbrt (* (cbrt (fma 0.12 x 0.253)) (* (cbrt (fma 0.12 x 0.253)) x)))))))> #<alt (λ (x) (- 1.0 (* (sqrt (* (fma 0.12 x 0.253) x)) (sqrt (* (fma 0.12 x 0.253) x)))))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (cbrt (* (* (fma 0.12 x 0.253) (fma 0.12 x 0.253)) (pow x 3))))))> #<alt (λ (x) (- 1.0 (* (* (cbrt (* (fma 0.12 x 0.253) x)) (cbrt (* (fma 0.12 x 0.253) x))) (cbrt (* (fma 0.12 x 0.253) x)))))> #<alt (λ (x) (- 1.0 (* (cbrt (fma 0.12 x 0.253)) (* (* (cbrt (fma 0.12 x 0.253)) (cbrt (fma 0.12 x 0.253))) x))))> #<alt (λ (x) (- 1.0 (* (sqrt (fma 0.12 x 0.253)) (* (sqrt (fma 0.12 x 0.253)) x))))>)
9.868 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.868 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (* (fma 0.12 x 0.253) x))
9.869 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
9.869 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
9.869 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
9.869 * [simplify]: Simplified to:
   (- 1.0 (* (fma 0.12 x 0.253) x))
10.412 * [regime-testing]: Baseline error score: 0.09055155995685553
10.412 * [regime-testing]: Oracle error score: 0.03291935593135234
10.413 * [regime-testing]: End program error score: 0.09055155995685553