11.840 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.012 * * * [progress]: [2/2] Setting up program.
0.013 * [progress]: [Phase 2 of 3] Improving.
0.014 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (* x (+ 0.253 (* x 0.12))))
0.014 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.015 * * [simplify]: iteration  1 :  19  enodes  (cost  9 )
0.018 * * [simplify]: iteration  2 :  39  enodes  (cost  8 )
0.023 * * [simplify]: iteration  3 :  77  enodes  (cost  8 )
0.035 * * [simplify]: iteration  4 :  124  enodes  (cost  8 )
0.058 * * [simplify]: iteration  5 :  164  enodes  (cost  8 )
0.093 * * [simplify]: iteration  6 :  220  enodes  (cost  8 )
0.185 * * [simplify]: iteration  7 :  322  enodes  (cost  8 )
0.247 * * [simplify]: iteration  8 :  371  enodes  (cost  8 )
0.304 * * [simplify]: iteration  9 :  372  enodes  (cost  8 )
0.361 * * [simplify]: iteration  done :  372  enodes  (cost  8 )
0.361 * [simplify]: Simplified to:
   (- 1.0 (* (fma 0.12 x 0.253) x))
0.364 * * [progress]: iteration 1 / 4
0.364 * * * [progress]: picking best candidate
0.365 * * * * [pick]: Picked  #<alt (λ (x) (- 1.0 (* (fma 0.12 x 0.253) x)))>
0.365 * * * [progress]: localizing error
0.370 * * * [progress]: generating rewritten candidates
0.370 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.373 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.377 * * * [progress]: generating series expansions
0.377 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.377 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
0.377 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.377 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.377 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.377 * [taylor]: Taking taylor expansion of 0.12 in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of 0.253 in x
0.377 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.377 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.377 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.377 * [taylor]: Taking taylor expansion of 0.12 in x
0.377 * [taylor]: Taking taylor expansion of x in x
0.377 * [taylor]: Taking taylor expansion of 0.253 in x
0.394 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
0.394 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.394 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.394 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.394 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.394 * [taylor]: Taking taylor expansion of 0.12 in x
0.394 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.394 * [taylor]: Taking taylor expansion of x in x
0.395 * [taylor]: Taking taylor expansion of 0.253 in x
0.395 * [taylor]: Taking taylor expansion of x in x
0.396 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.396 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.396 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.396 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.396 * [taylor]: Taking taylor expansion of 0.12 in x
0.396 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.396 * [taylor]: Taking taylor expansion of 0.253 in x
0.396 * [taylor]: Taking taylor expansion of x in x
0.411 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
0.411 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.411 * [taylor]: Taking taylor expansion of -1 in x
0.411 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.411 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.411 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.411 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.411 * [taylor]: Taking taylor expansion of 0.12 in x
0.411 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.411 * [taylor]: Taking taylor expansion of -1 in x
0.411 * [taylor]: Taking taylor expansion of x in x
0.411 * [taylor]: Taking taylor expansion of 0.253 in x
0.412 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
0.413 * [taylor]: Taking taylor expansion of -1 in x
0.413 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.413 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.413 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.413 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.413 * [taylor]: Taking taylor expansion of 0.12 in x
0.413 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.413 * [taylor]: Taking taylor expansion of -1 in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.413 * [taylor]: Taking taylor expansion of 0.253 in x
0.413 * [taylor]: Taking taylor expansion of x in x
0.441 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.441 * [approximate]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in (x) around 0
0.441 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x
0.441 * [taylor]: Taking taylor expansion of 1.0 in x
0.441 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.441 * [taylor]: Taking taylor expansion of x in x
0.441 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.441 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.441 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.441 * [taylor]: Taking taylor expansion of 0.12 in x
0.441 * [taylor]: Taking taylor expansion of x in x
0.441 * [taylor]: Taking taylor expansion of 0.253 in x
0.441 * [taylor]: Taking taylor expansion of (- 1.0 (* x (fma 0.12 x 0.253))) in x
0.441 * [taylor]: Taking taylor expansion of 1.0 in x
0.441 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
0.441 * [taylor]: Taking taylor expansion of x in x
0.441 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
0.441 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
0.441 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
0.441 * [taylor]: Taking taylor expansion of 0.12 in x
0.441 * [taylor]: Taking taylor expansion of x in x
0.441 * [taylor]: Taking taylor expansion of 0.253 in x
0.449 * [approximate]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in (x) around 0
0.450 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x
0.450 * [taylor]: Taking taylor expansion of 1.0 in x
0.450 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.450 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.450 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.450 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.450 * [taylor]: Taking taylor expansion of 0.12 in x
0.450 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.450 * [taylor]: Taking taylor expansion of 0.253 in x
0.450 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of (- 1.0 (/ (fma 0.12 (/ 1 x) 0.253) x)) in x
0.451 * [taylor]: Taking taylor expansion of 1.0 in x
0.451 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
0.451 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
0.451 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
0.451 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
0.451 * [taylor]: Taking taylor expansion of 0.12 in x
0.451 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.451 * [taylor]: Taking taylor expansion of 0.253 in x
0.451 * [taylor]: Taking taylor expansion of x in x
0.459 * [approximate]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in (x) around 0
0.459 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x
0.460 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
0.460 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
0.460 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
0.460 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
0.460 * [taylor]: Taking taylor expansion of 0.12 in x
0.460 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.460 * [taylor]: Taking taylor expansion of -1 in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.460 * [taylor]: Taking taylor expansion of 0.253 in x
0.460 * [taylor]: Taking taylor expansion of x in x
0.461 * [taylor]: Taking taylor expansion of 1.0 in x
0.461 * [taylor]: Taking taylor expansion of (+ (/ (fma 0.12 (/ -1 x) 0.253) x) 1.0) in x
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.461 * [taylor]: Taking taylor expansion of 0.12 in x
0.461 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.461 * [taylor]: Taking taylor expansion of -1 in x
0.461 * [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 1.0 in x
0.468 * * * [progress]: simplifying candidates
0.469 * [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.471 * * [simplify]: iteration  0 :  74  enodes  (cost  529 )
0.482 * * [simplify]: iteration  1 :  157  enodes  (cost  499 )
0.525 * * [simplify]: iteration  2 :  490  enodes  (cost  438 )
1.088 * * [simplify]: iteration  3 :  2192  enodes  (cost  431 )
2.397 * * [simplify]: iteration  done :  5000  enodes  (cost  431 )
2.398 * [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 (* (fma 0.12 x 0.253) 0))
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (* x (* (fma 0.12 x 0.253) 0))
  (- 1.0 (* (fma 0.12 x 0.253) x))
  (* x (* (fma 0.12 x 0.253) 0))
  (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.398 * * * [progress]: adding candidates to table
2.474 * * [progress]: iteration 2 / 4
2.474 * * * [progress]: picking best candidate
2.483 * * * * [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.483 * * * [progress]: localizing error
2.493 * * * [progress]: generating rewritten candidates
2.493 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
2.494 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
2.494 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
2.495 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
2.513 * * * [progress]: generating series expansions
2.513 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
2.513 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
2.513 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.513 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.513 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.513 * [taylor]: Taking taylor expansion of 1/3 in x
2.513 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.513 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.513 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.513 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.513 * [taylor]: Taking taylor expansion of 0.12 in x
2.513 * [taylor]: Taking taylor expansion of x in x
2.513 * [taylor]: Taking taylor expansion of 0.253 in x
2.516 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.516 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.516 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.516 * [taylor]: Taking taylor expansion of 1/3 in x
2.516 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.516 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.516 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.516 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.516 * [taylor]: Taking taylor expansion of 0.12 in x
2.516 * [taylor]: Taking taylor expansion of x in x
2.516 * [taylor]: Taking taylor expansion of 0.253 in x
2.552 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
2.553 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.553 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.553 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.553 * [taylor]: Taking taylor expansion of 1/3 in x
2.553 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.553 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.553 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.553 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.553 * [taylor]: Taking taylor expansion of 0.12 in x
2.553 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.553 * [taylor]: Taking taylor expansion of x in x
2.553 * [taylor]: Taking taylor expansion of 0.253 in x
2.555 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.555 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.555 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.555 * [taylor]: Taking taylor expansion of 1/3 in x
2.555 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.555 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.555 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.555 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.555 * [taylor]: Taking taylor expansion of 0.12 in x
2.555 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.555 * [taylor]: Taking taylor expansion of x in x
2.555 * [taylor]: Taking taylor expansion of 0.253 in x
2.589 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
2.589 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.589 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.589 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.589 * [taylor]: Taking taylor expansion of 1/3 in x
2.589 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.589 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.589 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.589 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.589 * [taylor]: Taking taylor expansion of 0.12 in x
2.589 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.589 * [taylor]: Taking taylor expansion of -1 in x
2.589 * [taylor]: Taking taylor expansion of x in x
2.589 * [taylor]: Taking taylor expansion of 0.253 in x
2.592 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.592 * [taylor]: Taking taylor expansion of 1/3 in x
2.592 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.592 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.592 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.593 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.593 * [taylor]: Taking taylor expansion of 0.12 in x
2.593 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.593 * [taylor]: Taking taylor expansion of -1 in x
2.593 * [taylor]: Taking taylor expansion of x in x
2.593 * [taylor]: Taking taylor expansion of 0.253 in x
2.629 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
2.629 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
2.629 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.630 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.630 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.630 * [taylor]: Taking taylor expansion of 1/3 in x
2.630 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.630 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.630 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.630 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.630 * [taylor]: Taking taylor expansion of 0.12 in x
2.630 * [taylor]: Taking taylor expansion of x in x
2.630 * [taylor]: Taking taylor expansion of 0.253 in x
2.632 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.632 * [taylor]: Taking taylor expansion of 1/3 in x
2.632 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.632 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.632 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.632 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.632 * [taylor]: Taking taylor expansion of 0.12 in x
2.633 * [taylor]: Taking taylor expansion of x in x
2.633 * [taylor]: Taking taylor expansion of 0.253 in x
2.674 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
2.674 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.674 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.674 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.674 * [taylor]: Taking taylor expansion of 1/3 in x
2.674 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.674 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.674 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.674 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.674 * [taylor]: Taking taylor expansion of 0.12 in x
2.674 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.674 * [taylor]: Taking taylor expansion of x in x
2.674 * [taylor]: Taking taylor expansion of 0.253 in x
2.676 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.676 * [taylor]: Taking taylor expansion of 1/3 in x
2.676 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.676 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.676 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.676 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.676 * [taylor]: Taking taylor expansion of 0.12 in x
2.676 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.676 * [taylor]: Taking taylor expansion of x in x
2.677 * [taylor]: Taking taylor expansion of 0.253 in x
2.707 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
2.707 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.707 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.707 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.707 * [taylor]: Taking taylor expansion of 1/3 in x
2.707 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.707 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.707 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.707 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.707 * [taylor]: Taking taylor expansion of 0.12 in x
2.707 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.707 * [taylor]: Taking taylor expansion of -1 in x
2.707 * [taylor]: Taking taylor expansion of x in x
2.708 * [taylor]: Taking taylor expansion of 0.253 in x
2.710 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.710 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.710 * [taylor]: Taking taylor expansion of 1/3 in x
2.710 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.710 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.711 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.711 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.711 * [taylor]: Taking taylor expansion of 0.12 in x
2.711 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.711 * [taylor]: Taking taylor expansion of -1 in x
2.711 * [taylor]: Taking taylor expansion of x in x
2.711 * [taylor]: Taking taylor expansion of 0.253 in x
2.753 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
2.753 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
2.753 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.753 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.753 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.753 * [taylor]: Taking taylor expansion of 1/3 in x
2.753 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.753 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.753 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.754 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.754 * [taylor]: Taking taylor expansion of 0.12 in x
2.754 * [taylor]: Taking taylor expansion of x in x
2.754 * [taylor]: Taking taylor expansion of 0.253 in x
2.756 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
2.756 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
2.756 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
2.756 * [taylor]: Taking taylor expansion of 1/3 in x
2.756 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
2.756 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.756 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.756 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.756 * [taylor]: Taking taylor expansion of 0.12 in x
2.756 * [taylor]: Taking taylor expansion of x in x
2.756 * [taylor]: Taking taylor expansion of 0.253 in x
2.792 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
2.792 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.792 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.792 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.792 * [taylor]: Taking taylor expansion of 1/3 in x
2.792 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.792 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.792 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.792 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.792 * [taylor]: Taking taylor expansion of 0.12 in x
2.792 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.792 * [taylor]: Taking taylor expansion of x in x
2.793 * [taylor]: Taking taylor expansion of 0.253 in x
2.794 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
2.794 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
2.794 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
2.794 * [taylor]: Taking taylor expansion of 1/3 in x
2.794 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
2.794 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.795 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.795 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.795 * [taylor]: Taking taylor expansion of 0.12 in x
2.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.795 * [taylor]: Taking taylor expansion of x in x
2.795 * [taylor]: Taking taylor expansion of 0.253 in x
2.831 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
2.831 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.831 * [taylor]: Taking taylor expansion of 1/3 in x
2.831 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.831 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.831 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.831 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.831 * [taylor]: Taking taylor expansion of 0.12 in x
2.831 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.831 * [taylor]: Taking taylor expansion of -1 in x
2.831 * [taylor]: Taking taylor expansion of x in x
2.831 * [taylor]: Taking taylor expansion of 0.253 in x
2.834 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
2.834 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
2.834 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
2.834 * [taylor]: Taking taylor expansion of 1/3 in x
2.834 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
2.834 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.834 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.834 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.834 * [taylor]: Taking taylor expansion of 0.12 in x
2.834 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.834 * [taylor]: Taking taylor expansion of -1 in x
2.834 * [taylor]: Taking taylor expansion of x in x
2.835 * [taylor]: Taking taylor expansion of 0.253 in x
2.870 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
2.870 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
2.870 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
2.870 * [taylor]: Taking taylor expansion of x in x
2.870 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.871 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.871 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.871 * [taylor]: Taking taylor expansion of 0.12 in x
2.871 * [taylor]: Taking taylor expansion of x in x
2.871 * [taylor]: Taking taylor expansion of 0.253 in x
2.871 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
2.871 * [taylor]: Taking taylor expansion of x in x
2.871 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
2.871 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
2.871 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
2.871 * [taylor]: Taking taylor expansion of 0.12 in x
2.871 * [taylor]: Taking taylor expansion of x in x
2.871 * [taylor]: Taking taylor expansion of 0.253 in x
2.887 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
2.887 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
2.887 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.888 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.888 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.888 * [taylor]: Taking taylor expansion of 0.12 in x
2.888 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.888 * [taylor]: Taking taylor expansion of 0.253 in x
2.888 * [taylor]: Taking taylor expansion of x in x
2.889 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
2.889 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
2.889 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
2.889 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
2.889 * [taylor]: Taking taylor expansion of 0.12 in x
2.889 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.889 * [taylor]: Taking taylor expansion of x in x
2.889 * [taylor]: Taking taylor expansion of 0.253 in x
2.889 * [taylor]: Taking taylor expansion of x in x
2.910 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
2.910 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
2.910 * [taylor]: Taking taylor expansion of -1 in x
2.910 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
2.910 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.910 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.910 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.910 * [taylor]: Taking taylor expansion of 0.12 in x
2.910 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.910 * [taylor]: Taking taylor expansion of -1 in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.910 * [taylor]: Taking taylor expansion of 0.253 in x
2.910 * [taylor]: Taking taylor expansion of x in x
2.911 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
2.912 * [taylor]: Taking taylor expansion of -1 in x
2.912 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
2.912 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
2.912 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
2.912 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
2.912 * [taylor]: Taking taylor expansion of 0.12 in x
2.912 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.912 * [taylor]: Taking taylor expansion of -1 in x
2.912 * [taylor]: Taking taylor expansion of x in x
2.912 * [taylor]: Taking taylor expansion of 0.253 in x
2.912 * [taylor]: Taking taylor expansion of x in x
2.934 * * * [progress]: simplifying candidates
2.935 * [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))
2.940 * * [simplify]: iteration  0 :  115  enodes  (cost  1441 )
2.958 * * [simplify]: iteration  1 :  289  enodes  (cost  1376 )
3.022 * * [simplify]: iteration  2 :  991  enodes  (cost  1027 )
3.683 * * [simplify]: iteration  3 :  4049  enodes  (cost  809 )
4.518 * * [simplify]: iteration  done :  5000  enodes  (cost  809 )
4.519 * [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)))) (pow x 2)) (- 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)))) (pow x 2)) (- 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)))) (pow x 2)) (- 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)
4.519 * * * [progress]: adding candidates to table
4.693 * * [progress]: iteration 3 / 4
4.693 * * * [progress]: picking best candidate
4.702 * * * * [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)))))>
4.702 * * * [progress]: localizing error
4.711 * * * [progress]: generating rewritten candidates
4.711 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 2 1)
4.711 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1)
4.712 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
4.712 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
4.725 * * * [progress]: generating series expansions
4.725 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 2 1)
4.725 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
4.725 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.726 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.726 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.726 * [taylor]: Taking taylor expansion of 1/3 in x
4.726 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.726 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.726 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.726 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.726 * [taylor]: Taking taylor expansion of 0.12 in x
4.726 * [taylor]: Taking taylor expansion of x in x
4.726 * [taylor]: Taking taylor expansion of 0.253 in x
4.728 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.728 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.728 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.728 * [taylor]: Taking taylor expansion of 1/3 in x
4.728 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.728 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.729 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.729 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.729 * [taylor]: Taking taylor expansion of 0.12 in x
4.729 * [taylor]: Taking taylor expansion of x in x
4.729 * [taylor]: Taking taylor expansion of 0.253 in x
4.765 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
4.766 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
4.766 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
4.766 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
4.766 * [taylor]: Taking taylor expansion of 1/3 in x
4.766 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
4.766 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
4.766 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
4.766 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
4.766 * [taylor]: Taking taylor expansion of 0.12 in x
4.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.766 * [taylor]: Taking taylor expansion of x in x
4.766 * [taylor]: Taking taylor expansion of 0.253 in x
4.768 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
4.768 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
4.768 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
4.768 * [taylor]: Taking taylor expansion of 1/3 in x
4.768 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
4.768 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
4.768 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
4.768 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
4.768 * [taylor]: Taking taylor expansion of 0.12 in x
4.768 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.768 * [taylor]: Taking taylor expansion of x in x
4.769 * [taylor]: Taking taylor expansion of 0.253 in x
4.805 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
4.805 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
4.805 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
4.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
4.805 * [taylor]: Taking taylor expansion of 1/3 in x
4.805 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
4.805 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
4.805 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
4.805 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
4.805 * [taylor]: Taking taylor expansion of 0.12 in x
4.805 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.805 * [taylor]: Taking taylor expansion of -1 in x
4.805 * [taylor]: Taking taylor expansion of x in x
4.806 * [taylor]: Taking taylor expansion of 0.253 in x
4.808 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
4.808 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
4.808 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
4.809 * [taylor]: Taking taylor expansion of 1/3 in x
4.809 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
4.809 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
4.809 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
4.809 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
4.809 * [taylor]: Taking taylor expansion of 0.12 in x
4.809 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.809 * [taylor]: Taking taylor expansion of -1 in x
4.809 * [taylor]: Taking taylor expansion of x in x
4.809 * [taylor]: Taking taylor expansion of 0.253 in x
4.846 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1)
4.846 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
4.846 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.846 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.846 * [taylor]: Taking taylor expansion of 1/3 in x
4.846 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.846 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.846 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.846 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.846 * [taylor]: Taking taylor expansion of 0.12 in x
4.846 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of 0.253 in x
4.849 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.849 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.849 * [taylor]: Taking taylor expansion of 1/3 in x
4.849 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.849 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.849 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.849 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.849 * [taylor]: Taking taylor expansion of 0.12 in x
4.849 * [taylor]: Taking taylor expansion of x in x
4.849 * [taylor]: Taking taylor expansion of 0.253 in x
4.890 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
4.891 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
4.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
4.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
4.891 * [taylor]: Taking taylor expansion of 1/3 in x
4.891 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
4.891 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
4.891 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
4.891 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
4.891 * [taylor]: Taking taylor expansion of 0.12 in x
4.891 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.891 * [taylor]: Taking taylor expansion of x in x
4.891 * [taylor]: Taking taylor expansion of 0.253 in x
4.893 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
4.893 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
4.893 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
4.893 * [taylor]: Taking taylor expansion of 1/3 in x
4.893 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
4.893 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
4.893 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
4.893 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
4.893 * [taylor]: Taking taylor expansion of 0.12 in x
4.893 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.893 * [taylor]: Taking taylor expansion of x in x
4.894 * [taylor]: Taking taylor expansion of 0.253 in x
4.925 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
4.925 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
4.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
4.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
4.925 * [taylor]: Taking taylor expansion of 1/3 in x
4.925 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
4.925 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
4.925 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
4.925 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
4.925 * [taylor]: Taking taylor expansion of 0.12 in x
4.925 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.925 * [taylor]: Taking taylor expansion of -1 in x
4.925 * [taylor]: Taking taylor expansion of x in x
4.926 * [taylor]: Taking taylor expansion of 0.253 in x
4.929 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
4.929 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
4.929 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
4.929 * [taylor]: Taking taylor expansion of 1/3 in x
4.929 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
4.929 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
4.929 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
4.929 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
4.929 * [taylor]: Taking taylor expansion of 0.12 in x
4.929 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.929 * [taylor]: Taking taylor expansion of -1 in x
4.929 * [taylor]: Taking taylor expansion of x in x
4.929 * [taylor]: Taking taylor expansion of 0.253 in x
4.972 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
4.972 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
4.972 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.972 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.972 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.972 * [taylor]: Taking taylor expansion of 1/3 in x
4.973 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.973 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.973 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.973 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.973 * [taylor]: Taking taylor expansion of 0.12 in x
4.973 * [taylor]: Taking taylor expansion of x in x
4.973 * [taylor]: Taking taylor expansion of 0.253 in x
4.975 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
4.975 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
4.975 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
4.975 * [taylor]: Taking taylor expansion of 1/3 in x
4.975 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
4.975 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
4.975 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
4.975 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
4.975 * [taylor]: Taking taylor expansion of 0.12 in x
4.975 * [taylor]: Taking taylor expansion of x in x
4.975 * [taylor]: Taking taylor expansion of 0.253 in x
5.012 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
5.012 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.012 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.012 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.012 * [taylor]: Taking taylor expansion of 1/3 in x
5.012 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.012 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.012 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.012 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.012 * [taylor]: Taking taylor expansion of 0.12 in x
5.012 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.012 * [taylor]: Taking taylor expansion of x in x
5.012 * [taylor]: Taking taylor expansion of 0.253 in x
5.014 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
5.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
5.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
5.014 * [taylor]: Taking taylor expansion of 1/3 in x
5.014 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
5.014 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.014 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.014 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.015 * [taylor]: Taking taylor expansion of 0.12 in x
5.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.015 * [taylor]: Taking taylor expansion of x in x
5.015 * [taylor]: Taking taylor expansion of 0.253 in x
5.045 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
5.045 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.045 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.045 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.045 * [taylor]: Taking taylor expansion of 1/3 in x
5.045 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.045 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.045 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.045 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.045 * [taylor]: Taking taylor expansion of 0.12 in x
5.045 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.045 * [taylor]: Taking taylor expansion of -1 in x
5.045 * [taylor]: Taking taylor expansion of x in x
5.045 * [taylor]: Taking taylor expansion of 0.253 in x
5.055 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
5.055 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
5.055 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
5.055 * [taylor]: Taking taylor expansion of 1/3 in x
5.055 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
5.055 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.055 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.055 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.055 * [taylor]: Taking taylor expansion of 0.12 in x
5.055 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.055 * [taylor]: Taking taylor expansion of -1 in x
5.055 * [taylor]: Taking taylor expansion of x in x
5.056 * [taylor]: Taking taylor expansion of 0.253 in x
5.092 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
5.092 * [approximate]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in (x) around 0
5.092 * [taylor]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.092 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 x 0.253) 2) 1/3) in x
5.092 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 x 0.253) 2)))) in x
5.092 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 x 0.253) 2))) in x
5.092 * [taylor]: Taking taylor expansion of 1/3 in x
5.092 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 x 0.253) 2)) in x
5.092 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x
5.092 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.092 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.092 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.092 * [taylor]: Taking taylor expansion of 0.12 in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.092 * [taylor]: Taking taylor expansion of 0.253 in x
5.095 * [taylor]: Taking taylor expansion of (* x (pow (pow (fma 0.12 x 0.253) 2) 1/3)) in x
5.095 * [taylor]: Taking taylor expansion of x in x
5.095 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 x 0.253) 2) 1/3) in x
5.095 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 x 0.253) 2)))) in x
5.095 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 x 0.253) 2))) in x
5.095 * [taylor]: Taking taylor expansion of 1/3 in x
5.095 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 x 0.253) 2)) in x
5.095 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 2) in x
5.095 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
5.095 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
5.095 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
5.095 * [taylor]: Taking taylor expansion of 0.12 in x
5.095 * [taylor]: Taking taylor expansion of x in x
5.095 * [taylor]: Taking taylor expansion of 0.253 in x
5.203 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in (x) around 0
5.204 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in x
5.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.204 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3) in x
5.204 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2)))) in x
5.204 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2))) in x
5.204 * [taylor]: Taking taylor expansion of 1/3 in x
5.204 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ 1 x) 0.253) 2)) in x
5.204 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x
5.204 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.204 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.204 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.204 * [taylor]: Taking taylor expansion of 0.12 in x
5.204 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.204 * [taylor]: Taking taylor expansion of x in x
5.210 * [taylor]: Taking taylor expansion of 0.253 in x
5.213 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3)) in x
5.213 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.213 * [taylor]: Taking taylor expansion of x in x
5.213 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ 1 x) 0.253) 2) 1/3) in x
5.213 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2)))) in x
5.213 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ 1 x) 0.253) 2))) in x
5.213 * [taylor]: Taking taylor expansion of 1/3 in x
5.213 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ 1 x) 0.253) 2)) in x
5.213 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 2) in x
5.213 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
5.214 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
5.214 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
5.214 * [taylor]: Taking taylor expansion of 0.12 in x
5.214 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.214 * [taylor]: Taking taylor expansion of x in x
5.214 * [taylor]: Taking taylor expansion of 0.253 in x
5.254 * [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.254 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3))) in x
5.254 * [taylor]: Taking taylor expansion of -1 in x
5.254 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3)) 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 (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3) in x
5.254 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2)))) in x
5.254 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2))) in x
5.254 * [taylor]: Taking taylor expansion of 1/3 in x
5.255 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ -1 x) 0.253) 2)) in x
5.255 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x
5.255 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.255 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.255 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.255 * [taylor]: Taking taylor expansion of 0.12 in x
5.255 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.255 * [taylor]: Taking taylor expansion of -1 in x
5.255 * [taylor]: Taking taylor expansion of x in x
5.255 * [taylor]: Taking taylor expansion of 0.253 in x
5.258 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3))) in x
5.258 * [taylor]: Taking taylor expansion of -1 in x
5.258 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3)) in x
5.258 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.258 * [taylor]: Taking taylor expansion of x in x
5.258 * [taylor]: Taking taylor expansion of (pow (pow (fma 0.12 (/ -1 x) 0.253) 2) 1/3) in x
5.258 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2)))) in x
5.258 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (fma 0.12 (/ -1 x) 0.253) 2))) in x
5.258 * [taylor]: Taking taylor expansion of 1/3 in x
5.258 * [taylor]: Taking taylor expansion of (log (pow (fma 0.12 (/ -1 x) 0.253) 2)) in x
5.258 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 2) in x
5.258 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
5.258 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
5.258 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
5.258 * [taylor]: Taking taylor expansion of 0.12 in x
5.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.258 * [taylor]: Taking taylor expansion of -1 in x
5.258 * [taylor]: Taking taylor expansion of x in x
5.259 * [taylor]: Taking taylor expansion of 0.253 in x
5.311 * * * [progress]: simplifying candidates
5.313 * [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.317 * * [simplify]: iteration  0 :  157  enodes  (cost  1356 )
5.342 * * [simplify]: iteration  1 :  392  enodes  (cost  1298 )
5.424 * * [simplify]: iteration  2 :  1264  enodes  (cost  1195 )
5.903 * * [simplify]: iteration  3 :  4897  enodes  (cost  1012 )
6.713 * * [simplify]: iteration  done :  5000  enodes  (cost  1012 )
6.714 * [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) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5))))))))
  (+ (* (/ (cbrt (exp (+ (log 0.12) (log x)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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)))))
6.714 * * * [progress]: adding candidates to table
6.932 * * [progress]: iteration 4 / 4
6.932 * * * [progress]: picking best candidate
6.942 * * * * [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))))>
6.943 * * * [progress]: localizing error
6.951 * * * [progress]: generating rewritten candidates
6.951 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1 2)
6.951 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2 1 1)
6.952 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
6.952 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
6.990 * * * [progress]: generating series expansions
6.990 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1 2)
6.990 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
6.990 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
6.990 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
6.990 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
6.991 * [taylor]: Taking taylor expansion of 1/3 in x
6.991 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
6.991 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
6.991 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
6.991 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
6.991 * [taylor]: Taking taylor expansion of 0.12 in x
6.991 * [taylor]: Taking taylor expansion of x in x
6.991 * [taylor]: Taking taylor expansion of 0.253 in x
6.993 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
6.993 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
6.993 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
6.993 * [taylor]: Taking taylor expansion of 1/3 in x
6.993 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
6.993 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
6.994 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
6.994 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
6.994 * [taylor]: Taking taylor expansion of 0.12 in x
6.994 * [taylor]: Taking taylor expansion of x in x
6.994 * [taylor]: Taking taylor expansion of 0.253 in x
7.030 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.030 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.030 * [taylor]: Taking taylor expansion of 1/3 in x
7.030 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.030 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.030 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.030 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.030 * [taylor]: Taking taylor expansion of 0.12 in x
7.030 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.030 * [taylor]: Taking taylor expansion of x in x
7.031 * [taylor]: Taking taylor expansion of 0.253 in x
7.032 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.033 * [taylor]: Taking taylor expansion of 1/3 in x
7.033 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.033 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.033 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.033 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.033 * [taylor]: Taking taylor expansion of 0.12 in x
7.033 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.033 * [taylor]: Taking taylor expansion of x in x
7.033 * [taylor]: Taking taylor expansion of 0.253 in x
7.069 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.069 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.069 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.069 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.069 * [taylor]: Taking taylor expansion of 1/3 in x
7.069 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.069 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.069 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.069 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.069 * [taylor]: Taking taylor expansion of 0.12 in x
7.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.069 * [taylor]: Taking taylor expansion of -1 in x
7.069 * [taylor]: Taking taylor expansion of x in x
7.070 * [taylor]: Taking taylor expansion of 0.253 in x
7.073 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.073 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.073 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.073 * [taylor]: Taking taylor expansion of 1/3 in x
7.073 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.073 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.073 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.073 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.073 * [taylor]: Taking taylor expansion of 0.12 in x
7.073 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.073 * [taylor]: Taking taylor expansion of -1 in x
7.073 * [taylor]: Taking taylor expansion of x in x
7.073 * [taylor]: Taking taylor expansion of 0.253 in x
7.110 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2 1 1)
7.110 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
7.110 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.110 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.110 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.110 * [taylor]: Taking taylor expansion of 1/3 in x
7.110 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.110 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.110 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.110 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.110 * [taylor]: Taking taylor expansion of 0.12 in x
7.110 * [taylor]: Taking taylor expansion of x in x
7.110 * [taylor]: Taking taylor expansion of 0.253 in x
7.112 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.112 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.112 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.112 * [taylor]: Taking taylor expansion of 1/3 in x
7.112 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.112 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.112 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.113 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.113 * [taylor]: Taking taylor expansion of 0.12 in x
7.113 * [taylor]: Taking taylor expansion of x in x
7.113 * [taylor]: Taking taylor expansion of 0.253 in x
7.154 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.155 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.155 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.155 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.155 * [taylor]: Taking taylor expansion of 1/3 in x
7.155 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.155 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.155 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.155 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.155 * [taylor]: Taking taylor expansion of 0.12 in x
7.155 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.155 * [taylor]: Taking taylor expansion of x in x
7.155 * [taylor]: Taking taylor expansion of 0.253 in x
7.157 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.157 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.157 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.157 * [taylor]: Taking taylor expansion of 1/3 in x
7.157 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.157 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.157 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.157 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.157 * [taylor]: Taking taylor expansion of 0.12 in x
7.157 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.157 * [taylor]: Taking taylor expansion of x in x
7.157 * [taylor]: Taking taylor expansion of 0.253 in x
7.188 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.188 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.188 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.188 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.188 * [taylor]: Taking taylor expansion of 1/3 in x
7.188 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.188 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.188 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.188 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.188 * [taylor]: Taking taylor expansion of 0.12 in x
7.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.188 * [taylor]: Taking taylor expansion of -1 in x
7.188 * [taylor]: Taking taylor expansion of x in x
7.188 * [taylor]: Taking taylor expansion of 0.253 in x
7.191 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.191 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.191 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.191 * [taylor]: Taking taylor expansion of 1/3 in x
7.191 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.191 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.191 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.192 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.192 * [taylor]: Taking taylor expansion of 0.12 in x
7.192 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.192 * [taylor]: Taking taylor expansion of -1 in x
7.192 * [taylor]: Taking taylor expansion of x in x
7.192 * [taylor]: Taking taylor expansion of 0.253 in x
7.234 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
7.235 * [approximate]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in (x) around 0
7.235 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.235 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.235 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.235 * [taylor]: Taking taylor expansion of 1/3 in x
7.235 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.235 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.235 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.235 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.235 * [taylor]: Taking taylor expansion of 0.12 in x
7.235 * [taylor]: Taking taylor expansion of x in x
7.235 * [taylor]: Taking taylor expansion of 0.253 in x
7.237 * [taylor]: Taking taylor expansion of (pow (fma 0.12 x 0.253) 1/3) in x
7.237 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 x 0.253)))) in x
7.237 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 x 0.253))) in x
7.237 * [taylor]: Taking taylor expansion of 1/3 in x
7.237 * [taylor]: Taking taylor expansion of (log (fma 0.12 x 0.253)) in x
7.237 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.237 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.237 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.237 * [taylor]: Taking taylor expansion of 0.12 in x
7.237 * [taylor]: Taking taylor expansion of x in x
7.237 * [taylor]: Taking taylor expansion of 0.253 in x
7.274 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in (x) around 0
7.274 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.274 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.274 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.274 * [taylor]: Taking taylor expansion of 1/3 in x
7.274 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.274 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.274 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.274 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.274 * [taylor]: Taking taylor expansion of 0.12 in x
7.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.274 * [taylor]: Taking taylor expansion of x in x
7.274 * [taylor]: Taking taylor expansion of 0.253 in x
7.276 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ 1 x) 0.253) 1/3) in x
7.276 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ 1 x) 0.253)))) in x
7.276 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ 1 x) 0.253))) in x
7.276 * [taylor]: Taking taylor expansion of 1/3 in x
7.276 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ 1 x) 0.253)) in x
7.276 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.276 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.276 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.276 * [taylor]: Taking taylor expansion of 0.12 in x
7.276 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.276 * [taylor]: Taking taylor expansion of x in x
7.277 * [taylor]: Taking taylor expansion of 0.253 in x
7.312 * [approximate]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in (x) around 0
7.313 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.313 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.313 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.313 * [taylor]: Taking taylor expansion of 1/3 in x
7.313 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.313 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.313 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.313 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.313 * [taylor]: Taking taylor expansion of 0.12 in x
7.313 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.313 * [taylor]: Taking taylor expansion of -1 in x
7.313 * [taylor]: Taking taylor expansion of x in x
7.313 * [taylor]: Taking taylor expansion of 0.253 in x
7.316 * [taylor]: Taking taylor expansion of (pow (fma 0.12 (/ -1 x) 0.253) 1/3) in x
7.316 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (fma 0.12 (/ -1 x) 0.253)))) in x
7.316 * [taylor]: Taking taylor expansion of (* 1/3 (log (fma 0.12 (/ -1 x) 0.253))) in x
7.316 * [taylor]: Taking taylor expansion of 1/3 in x
7.316 * [taylor]: Taking taylor expansion of (log (fma 0.12 (/ -1 x) 0.253)) in x
7.316 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.316 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.316 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.316 * [taylor]: Taking taylor expansion of 0.12 in x
7.316 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.316 * [taylor]: Taking taylor expansion of -1 in x
7.316 * [taylor]: Taking taylor expansion of x in x
7.317 * [taylor]: Taking taylor expansion of 0.253 in x
7.354 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
7.354 * [approximate]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in (x) around 0
7.354 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
7.354 * [taylor]: Taking taylor expansion of x in x
7.354 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.355 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.355 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.355 * [taylor]: Taking taylor expansion of 0.12 in x
7.355 * [taylor]: Taking taylor expansion of x in x
7.355 * [taylor]: Taking taylor expansion of 0.253 in x
7.355 * [taylor]: Taking taylor expansion of (* x (fma 0.12 x 0.253)) in x
7.355 * [taylor]: Taking taylor expansion of x in x
7.355 * [taylor]: Taking taylor expansion of (fma 0.12 x 0.253) in x
7.355 * [taylor]: Rewrote expression to (+ (* 0.12 x) 0.253)
7.355 * [taylor]: Taking taylor expansion of (* 0.12 x) in x
7.355 * [taylor]: Taking taylor expansion of 0.12 in x
7.355 * [taylor]: Taking taylor expansion of x in x
7.355 * [taylor]: Taking taylor expansion of 0.253 in x
7.372 * [approximate]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in (x) around 0
7.372 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
7.372 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.372 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.372 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.373 * [taylor]: Taking taylor expansion of 0.12 in x
7.373 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.373 * [taylor]: Taking taylor expansion of x in x
7.373 * [taylor]: Taking taylor expansion of 0.253 in x
7.373 * [taylor]: Taking taylor expansion of x in x
7.374 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ 1 x) 0.253) x) in x
7.374 * [taylor]: Taking taylor expansion of (fma 0.12 (/ 1 x) 0.253) in x
7.374 * [taylor]: Rewrote expression to (+ (* 0.12 (/ 1 x)) 0.253)
7.374 * [taylor]: Taking taylor expansion of (* 0.12 (/ 1 x)) in x
7.374 * [taylor]: Taking taylor expansion of 0.12 in x
7.374 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.374 * [taylor]: Taking taylor expansion of x in x
7.374 * [taylor]: Taking taylor expansion of 0.253 in x
7.374 * [taylor]: Taking taylor expansion of x in x
7.396 * [approximate]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in (x) around 0
7.396 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
7.396 * [taylor]: Taking taylor expansion of -1 in x
7.396 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
7.396 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.396 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.396 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.396 * [taylor]: Taking taylor expansion of 0.12 in x
7.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.396 * [taylor]: Taking taylor expansion of -1 in x
7.396 * [taylor]: Taking taylor expansion of x in x
7.397 * [taylor]: Taking taylor expansion of 0.253 in x
7.397 * [taylor]: Taking taylor expansion of x in x
7.398 * [taylor]: Taking taylor expansion of (* -1 (/ (fma 0.12 (/ -1 x) 0.253) x)) in x
7.398 * [taylor]: Taking taylor expansion of -1 in x
7.399 * [taylor]: Taking taylor expansion of (/ (fma 0.12 (/ -1 x) 0.253) x) in x
7.399 * [taylor]: Taking taylor expansion of (fma 0.12 (/ -1 x) 0.253) in x
7.399 * [taylor]: Rewrote expression to (+ (* 0.12 (/ -1 x)) 0.253)
7.399 * [taylor]: Taking taylor expansion of (* 0.12 (/ -1 x)) in x
7.399 * [taylor]: Taking taylor expansion of 0.12 in x
7.399 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.399 * [taylor]: Taking taylor expansion of -1 in x
7.399 * [taylor]: Taking taylor expansion of x in x
7.400 * [taylor]: Taking taylor expansion of 0.253 in x
7.400 * [taylor]: Taking taylor expansion of x in x
7.422 * * * [progress]: simplifying candidates
7.423 * [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))
7.428 * * [simplify]: iteration  0 :  118  enodes  (cost  1459 )
7.452 * * [simplify]: iteration  1 :  295  enodes  (cost  1141 )
7.522 * * [simplify]: iteration  2 :  984  enodes  (cost  981 )
8.008 * * [simplify]: iteration  3 :  3735  enodes  (cost  867 )
8.893 * * [simplify]: iteration  done :  5000  enodes  (cost  867 )
8.894 * [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)) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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)) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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)) (* (pow x 2) (- (* 0.012498242434657622 (cbrt 0.253)) (* 0.0024 (cbrt (/ 1 (pow 0.253 5)))))))
  (+ (* (/ (cbrt (exp (+ (log x) (log 0.12)))) (pow x 2)) (- 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))))) (pow x 2)) (- 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)
8.894 * * * [progress]: adding candidates to table
9.088 * [progress]: [Phase 3 of 3] Extracting.
9.088 * * [regime]: Finding splitpoints for: (#<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 (* (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 (* (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 (* (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 (* (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 (* (sqrt (fma 0.12 x 0.253)) (* (sqrt (fma 0.12 x 0.253)) x))))>)
9.089 * * * [regime-changes]: Trying 1 branch expressions: (x)
9.089 * * * * [regimes]: Trying to branch on x from (#<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 (* (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 (* (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 (* (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 (* (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 (* (sqrt (fma 0.12 x 0.253)) (* (sqrt (fma 0.12 x 0.253)) x))))>)
9.112 * * * [regime]: Found split indices: #<option (#s(si 4 255))>
9.112 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- 1.0 (* (fma 0.12 x 0.253) x))
9.112 * * [simplify]: iteration  0 :  7  enodes  (cost  8 )
9.112 * * [simplify]: iteration  1 :  8  enodes  (cost  8 )
9.113 * * [simplify]: iteration  done :  8  enodes  (cost  8 )
9.113 * [simplify]: Simplified to:
   (- 1.0 (* (fma 0.12 x 0.253) x))
9.649 * [regime-testing]: Baseline error score: 0.09055155995685553
9.650 * [regime-testing]: Oracle error score: 0.03291935593135234
9.651 * [regime-testing]: End program error score: 0.09055155995685553