5.451 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: Extracting # 3 : cost  0
0.039 * * [simplify]: Extracting # 4 : cost  0
0.039 * * [simplify]: Extracting # 5 : cost  0
0.039 * * [simplify]: Extracting # 6 : cost  0
0.039 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.041 * * [simplify]: Extracting # 0 : cost  0
0.041 * * [simplify]: Extracting # 1 : cost  0
0.041 * * [simplify]: Extracting # 2 : cost  0
0.041 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.045 * * [simplify]: Extracting # 0 : cost  0
0.045 * * [simplify]: Extracting # 1 : cost  0
0.045 * * [simplify]: Extracting # 2 : cost  0
0.045 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: iteration  3 :  46  enodes  (cost  7 )
0.067 * * [simplify]: Extracting # 0 : cost  0
0.068 * * [simplify]: Extracting # 1 : cost  0
0.068 * * [simplify]: Extracting # 2 : cost  0
0.068 * * [simplify]: Extracting # 3 : cost  0
0.068 * * [simplify]: Extracting # 4 : cost  0
0.068 * * [simplify]: Extracting # 5 : cost  0
0.068 * * [simplify]: iteration  4 :  76  enodes  (cost  6 )
0.091 * * [simplify]: Extracting # 0 : cost  0
0.091 * * [simplify]: Extracting # 1 : cost  0
0.091 * * [simplify]: Extracting # 2 : cost  0
0.091 * * [simplify]: Extracting # 3 : cost  0
0.091 * * [simplify]: Extracting # 4 : cost  0
0.092 * * [simplify]: iteration  5 :  138  enodes  (cost  6 )
0.172 * * [simplify]: Extracting # 0 : cost  0
0.173 * * [simplify]: Extracting # 1 : cost  0
0.173 * * [simplify]: Extracting # 2 : cost  0
0.174 * * [simplify]: Extracting # 3 : cost  0
0.175 * * [simplify]: Extracting # 4 : cost  0
0.175 * * [simplify]: Extracting # 5 : cost  0
0.176 * * [simplify]: iteration  6 :  383  enodes  (cost  6 )
0.802 * * [simplify]: Extracting # 0 : cost  0
0.805 * * [simplify]: Extracting # 1 : cost  0
0.808 * * [simplify]: Extracting # 2 : cost  0
0.810 * * [simplify]: Extracting # 3 : cost  0
0.812 * * [simplify]: Extracting # 4 : cost  0
0.815 * * [simplify]: iteration  7 :  1359  enodes  (cost  6 )
5.181 * * [simplify]: Extracting # 0 : cost  0
5.195 * * [simplify]: Extracting # 1 : cost  0
5.202 * * [simplify]: Extracting # 2 : cost  0
5.217 * * [simplify]: Extracting # 3 : cost  0
5.224 * * [simplify]: Extracting # 4 : cost  0
5.230 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
5.230 * [simplify]: Simplified to:
  (exp (fma x x (- 1.0)))
5.236 * * [progress]: iteration 1 / 4
5.236 * * * [progress]: picking best candidate
5.238 * * * * [pick]: Picked  #<alt (λ (x) (exp (fma x x (- 1.0))))>
5.238 * * * [progress]: localizing error
5.244 * * * [progress]: generating rewritten candidates
5.244 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.247 * * * [progress]: generating series expansions
5.247 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.248 * [backup-simplify]: Simplify (exp (fma x x (- 1.0))) into (exp (fma x x (- 1.0)))
5.248 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0
5.248 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
5.248 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
5.249 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
5.249 * [taylor]: Taking taylor expansion of (* x x) in x
5.249 * [taylor]: Taking taylor expansion of x in x
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [taylor]: Taking taylor expansion of x in x
5.249 * [backup-simplify]: Simplify 0 into 0
5.249 * [backup-simplify]: Simplify 1 into 1
5.249 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.249 * [taylor]: Taking taylor expansion of 1.0 in x
5.249 * [backup-simplify]: Simplify 1.0 into 1.0
5.250 * [backup-simplify]: Simplify (* 0 0) into 0
5.250 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.250 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.251 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.251 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
5.251 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
5.251 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
5.251 * [taylor]: Taking taylor expansion of (* x x) in x
5.251 * [taylor]: Taking taylor expansion of x in x
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify 1 into 1
5.251 * [taylor]: Taking taylor expansion of x in x
5.251 * [backup-simplify]: Simplify 0 into 0
5.251 * [backup-simplify]: Simplify 1 into 1
5.251 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.251 * [taylor]: Taking taylor expansion of 1.0 in x
5.251 * [backup-simplify]: Simplify 1.0 into 1.0
5.251 * [backup-simplify]: Simplify (* 0 0) into 0
5.252 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.252 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.253 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.253 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.254 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.254 * [backup-simplify]: Simplify (- 0) into 0
5.254 * [backup-simplify]: Simplify (+ 0 0) into 0
5.255 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
5.255 * [backup-simplify]: Simplify 0 into 0
5.255 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.256 * [backup-simplify]: Simplify (- 0) into 0
5.256 * [backup-simplify]: Simplify (+ 1 0) into 1
5.259 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
5.259 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.260 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.260 * [backup-simplify]: Simplify (- 0) into 0
5.260 * [backup-simplify]: Simplify (+ 0 0) into 0
5.262 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
5.262 * [backup-simplify]: Simplify 0 into 0
5.263 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.263 * [backup-simplify]: Simplify (- 0) into 0
5.263 * [backup-simplify]: Simplify (+ 0 0) into 0
5.268 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0)))
5.269 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
5.271 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
5.272 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.272 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0
5.272 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
5.272 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
5.272 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
5.272 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.272 * [taylor]: Taking taylor expansion of x in x
5.272 * [backup-simplify]: Simplify 0 into 0
5.272 * [backup-simplify]: Simplify 1 into 1
5.272 * [backup-simplify]: Simplify (/ 1 1) into 1
5.272 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.272 * [taylor]: Taking taylor expansion of x in x
5.272 * [backup-simplify]: Simplify 0 into 0
5.272 * [backup-simplify]: Simplify 1 into 1
5.273 * [backup-simplify]: Simplify (/ 1 1) into 1
5.273 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.273 * [taylor]: Taking taylor expansion of 1.0 in x
5.273 * [backup-simplify]: Simplify 1.0 into 1.0
5.273 * [backup-simplify]: Simplify (* 1 1) into 1
5.273 * [backup-simplify]: Simplify (+ 1 0) into 1
5.274 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.274 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
5.274 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
5.274 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
5.274 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.274 * [taylor]: Taking taylor expansion of x in x
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 1 into 1
5.274 * [backup-simplify]: Simplify (/ 1 1) into 1
5.274 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.274 * [taylor]: Taking taylor expansion of x in x
5.274 * [backup-simplify]: Simplify 0 into 0
5.274 * [backup-simplify]: Simplify 1 into 1
5.274 * [backup-simplify]: Simplify (/ 1 1) into 1
5.274 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.274 * [taylor]: Taking taylor expansion of 1.0 in x
5.274 * [backup-simplify]: Simplify 1.0 into 1.0
5.275 * [backup-simplify]: Simplify (* 1 1) into 1
5.275 * [backup-simplify]: Simplify (+ 1 0) into 1
5.275 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.276 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0)))
5.277 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.277 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0
5.277 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
5.277 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
5.277 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
5.277 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.277 * [taylor]: Taking taylor expansion of -1 in x
5.277 * [backup-simplify]: Simplify -1 into -1
5.277 * [taylor]: Taking taylor expansion of x in x
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 1 into 1
5.277 * [backup-simplify]: Simplify (/ -1 1) into -1
5.277 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.277 * [taylor]: Taking taylor expansion of -1 in x
5.277 * [backup-simplify]: Simplify -1 into -1
5.277 * [taylor]: Taking taylor expansion of x in x
5.277 * [backup-simplify]: Simplify 0 into 0
5.277 * [backup-simplify]: Simplify 1 into 1
5.278 * [backup-simplify]: Simplify (/ -1 1) into -1
5.278 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.278 * [taylor]: Taking taylor expansion of 1.0 in x
5.278 * [backup-simplify]: Simplify 1.0 into 1.0
5.278 * [backup-simplify]: Simplify (* -1 -1) into 1
5.278 * [backup-simplify]: Simplify (+ 1 0) into 1
5.279 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.279 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
5.279 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
5.279 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
5.279 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.279 * [taylor]: Taking taylor expansion of -1 in x
5.279 * [backup-simplify]: Simplify -1 into -1
5.279 * [taylor]: Taking taylor expansion of x in x
5.279 * [backup-simplify]: Simplify 0 into 0
5.279 * [backup-simplify]: Simplify 1 into 1
5.279 * [backup-simplify]: Simplify (/ -1 1) into -1
5.279 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.279 * [taylor]: Taking taylor expansion of -1 in x
5.279 * [backup-simplify]: Simplify -1 into -1
5.279 * [taylor]: Taking taylor expansion of x in x
5.279 * [backup-simplify]: Simplify 0 into 0
5.279 * [backup-simplify]: Simplify 1 into 1
5.280 * [backup-simplify]: Simplify (/ -1 1) into -1
5.280 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.280 * [taylor]: Taking taylor expansion of 1.0 in x
5.280 * [backup-simplify]: Simplify 1.0 into 1.0
5.280 * [backup-simplify]: Simplify (* -1 -1) into 1
5.280 * [backup-simplify]: Simplify (+ 1 0) into 1
5.280 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.281 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.281 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0)))
5.281 * * * [progress]: simplifying candidates
5.282 * [simplify]: Simplifying:
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0)))))
  (exp (sqrt (fma x x (- 1.0))))
  (exp 1)
  (exp (* x x))
  (exp (- 1.0))
  (log (exp (fma x x (- 1.0))))
  (exp (exp (fma x x (- 1.0))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (* (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
5.283 * * [simplify]: Extracting # 0 : cost  0
5.283 * * [simplify]: Extracting # 1 : cost  0
5.283 * * [simplify]: Extracting # 2 : cost  0
5.283 * * [simplify]: Extracting # 3 : cost  0
5.283 * * [simplify]: Extracting # 4 : cost  0
5.283 * * [simplify]: Extracting # 5 : cost  0
5.283 * * [simplify]: Extracting # 6 : cost  0
5.283 * * [simplify]: Extracting # 7 : cost  0
5.283 * * [simplify]: Extracting # 8 : cost  0
5.283 * * [simplify]: Extracting # 9 : cost  0
5.284 * * [simplify]: Extracting # 10 : cost  0
5.284 * * [simplify]: iteration  0 :  34  enodes  (cost  147 )
5.297 * * [simplify]: Extracting # 0 : cost  0
5.298 * * [simplify]: Extracting # 1 : cost  0
5.298 * * [simplify]: Extracting # 2 : cost  0
5.298 * * [simplify]: Extracting # 3 : cost  0
5.298 * * [simplify]: iteration  1 :  63  enodes  (cost  142 )
5.322 * * [simplify]: Extracting # 0 : cost  0
5.323 * * [simplify]: Extracting # 1 : cost  0
5.323 * * [simplify]: Extracting # 2 : cost  0
5.323 * * [simplify]: Extracting # 3 : cost  0
5.323 * * [simplify]: Extracting # 4 : cost  0
5.323 * * [simplify]: iteration  2 :  136  enodes  (cost  129 )
5.361 * * [simplify]: Extracting # 0 : cost  0
5.362 * * [simplify]: Extracting # 1 : cost  0
5.362 * * [simplify]: Extracting # 2 : cost  0
5.362 * * [simplify]: Extracting # 3 : cost  0
5.363 * * [simplify]: iteration  3 :  360  enodes  (cost  125 )
5.729 * * [simplify]: Extracting # 0 : cost  0
5.730 * * [simplify]: Extracting # 1 : cost  0
5.731 * * [simplify]: Extracting # 2 : cost  0
5.732 * * [simplify]: Extracting # 3 : cost  0
5.733 * * [simplify]: Extracting # 4 : cost  0
5.734 * * [simplify]: iteration  4 :  1068  enodes  (cost  124 )
7.058 * * [simplify]: Extracting # 0 : cost  0
7.061 * * [simplify]: Extracting # 1 : cost  0
7.065 * * [simplify]: Extracting # 2 : cost  0
7.071 * * [simplify]: Extracting # 3 : cost  0
7.076 * * [simplify]: Extracting # 4 : cost  0
7.080 * * [simplify]: Extracting # 5 : cost  0
7.085 * * [simplify]: iteration  5 :  2997  enodes  (cost  123 )
8.309 * * [simplify]: Extracting # 0 : cost  0
8.314 * * [simplify]: Extracting # 1 : cost  0
8.319 * * [simplify]: Extracting # 2 : cost  0
8.324 * * [simplify]: Extracting # 3 : cost  0
8.328 * * [simplify]: Extracting # 4 : cost  0
8.333 * * [simplify]: iteration done:  5000  enodes  (cost  123 )
8.333 * [simplify]: Simplified to:
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0)))))
  (exp (sqrt (fma x x (- 1.0))))
  E
  (exp (* x x))
  (exp (- 1.0))
  (- (pow x 2) 1.0)
  (exp (exp (fma x x (- 1.0))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (pow (exp (fma x x (- 1.0))) 3)
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (/ (fma x x (fma 1/2 (pow x 4) 1)) (exp 1.0))
  (exp (- (pow x 2) 1.0))
  (exp (- (pow x 2) 1.0))
8.333 * * * [progress]: adding candidates to table
8.396 * * [progress]: iteration 2 / 4
8.396 * * * [progress]: picking best candidate
8.400 * * * * [pick]: Picked  #<alt (λ (x) (cbrt (pow (exp (fma x x (- 1.0))) 3)))>
8.400 * * * [progress]: localizing error
8.414 * * * [progress]: generating rewritten candidates
8.414 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
8.418 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
8.427 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
8.434 * * * [progress]: generating series expansions
8.434 * * * * [progress]: [ 1 / 3 ] generating series at (2)
8.435 * [backup-simplify]: Simplify (cbrt (pow (exp (fma x x (- 1.0))) 3)) into (exp (fma x x (- 1.0)))
8.435 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0
8.435 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.435 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.435 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.435 * [taylor]: Taking taylor expansion of (* x x) in x
8.435 * [taylor]: Taking taylor expansion of x in x
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify 1 into 1
8.435 * [taylor]: Taking taylor expansion of x in x
8.436 * [backup-simplify]: Simplify 0 into 0
8.436 * [backup-simplify]: Simplify 1 into 1
8.436 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.436 * [taylor]: Taking taylor expansion of 1.0 in x
8.436 * [backup-simplify]: Simplify 1.0 into 1.0
8.436 * [backup-simplify]: Simplify (* 0 0) into 0
8.437 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.438 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.439 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.439 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.439 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.439 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.439 * [taylor]: Taking taylor expansion of (* x x) in x
8.439 * [taylor]: Taking taylor expansion of x in x
8.439 * [backup-simplify]: Simplify 0 into 0
8.439 * [backup-simplify]: Simplify 1 into 1
8.439 * [taylor]: Taking taylor expansion of x in x
8.439 * [backup-simplify]: Simplify 0 into 0
8.439 * [backup-simplify]: Simplify 1 into 1
8.439 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.439 * [taylor]: Taking taylor expansion of 1.0 in x
8.439 * [backup-simplify]: Simplify 1.0 into 1.0
8.440 * [backup-simplify]: Simplify (* 0 0) into 0
8.440 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.441 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.442 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.443 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.443 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
8.444 * [backup-simplify]: Simplify (- 0) into 0
8.444 * [backup-simplify]: Simplify (+ 0 0) into 0
8.445 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
8.445 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
8.447 * [backup-simplify]: Simplify (- 0) into 0
8.447 * [backup-simplify]: Simplify (+ 1 0) into 1
8.449 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
8.450 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.451 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
8.451 * [backup-simplify]: Simplify (- 0) into 0
8.451 * [backup-simplify]: Simplify (+ 0 0) into 0
8.453 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.453 * [backup-simplify]: Simplify 0 into 0
8.454 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.454 * [backup-simplify]: Simplify (- 0) into 0
8.460 * [backup-simplify]: Simplify (+ 0 0) into 0
8.465 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0)))
8.466 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
8.469 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
8.469 * [backup-simplify]: Simplify (cbrt (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3)) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.469 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0
8.469 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.469 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.469 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.469 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.469 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.469 * [taylor]: Taking taylor expansion of x in x
8.469 * [backup-simplify]: Simplify 0 into 0
8.469 * [backup-simplify]: Simplify 1 into 1
8.470 * [backup-simplify]: Simplify (/ 1 1) into 1
8.470 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.470 * [taylor]: Taking taylor expansion of x in x
8.470 * [backup-simplify]: Simplify 0 into 0
8.470 * [backup-simplify]: Simplify 1 into 1
8.470 * [backup-simplify]: Simplify (/ 1 1) into 1
8.470 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.470 * [taylor]: Taking taylor expansion of 1.0 in x
8.470 * [backup-simplify]: Simplify 1.0 into 1.0
8.470 * [backup-simplify]: Simplify (* 1 1) into 1
8.470 * [backup-simplify]: Simplify (+ 1 0) into 1
8.471 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.471 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.471 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.471 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.471 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.471 * [taylor]: Taking taylor expansion of x in x
8.471 * [backup-simplify]: Simplify 0 into 0
8.471 * [backup-simplify]: Simplify 1 into 1
8.471 * [backup-simplify]: Simplify (/ 1 1) into 1
8.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.471 * [taylor]: Taking taylor expansion of x in x
8.471 * [backup-simplify]: Simplify 0 into 0
8.471 * [backup-simplify]: Simplify 1 into 1
8.472 * [backup-simplify]: Simplify (/ 1 1) into 1
8.472 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.472 * [taylor]: Taking taylor expansion of 1.0 in x
8.472 * [backup-simplify]: Simplify 1.0 into 1.0
8.472 * [backup-simplify]: Simplify (* 1 1) into 1
8.472 * [backup-simplify]: Simplify (+ 1 0) into 1
8.472 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.473 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.473 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.473 * [backup-simplify]: Simplify 0 into 0
8.474 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0)))
8.475 * [backup-simplify]: Simplify (cbrt (pow (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) 3)) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.475 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0
8.475 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.475 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.475 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.475 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.475 * [taylor]: Taking taylor expansion of -1 in x
8.475 * [backup-simplify]: Simplify -1 into -1
8.475 * [taylor]: Taking taylor expansion of x in x
8.475 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify 1 into 1
8.475 * [backup-simplify]: Simplify (/ -1 1) into -1
8.475 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.475 * [taylor]: Taking taylor expansion of -1 in x
8.475 * [backup-simplify]: Simplify -1 into -1
8.475 * [taylor]: Taking taylor expansion of x in x
8.475 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify 1 into 1
8.476 * [backup-simplify]: Simplify (/ -1 1) into -1
8.476 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.476 * [taylor]: Taking taylor expansion of 1.0 in x
8.476 * [backup-simplify]: Simplify 1.0 into 1.0
8.476 * [backup-simplify]: Simplify (* -1 -1) into 1
8.477 * [backup-simplify]: Simplify (+ 1 0) into 1
8.477 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.477 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.477 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.477 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.477 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.477 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.477 * [taylor]: Taking taylor expansion of -1 in x
8.477 * [backup-simplify]: Simplify -1 into -1
8.478 * [taylor]: Taking taylor expansion of x in x
8.478 * [backup-simplify]: Simplify 0 into 0
8.478 * [backup-simplify]: Simplify 1 into 1
8.478 * [backup-simplify]: Simplify (/ -1 1) into -1
8.478 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.478 * [taylor]: Taking taylor expansion of -1 in x
8.478 * [backup-simplify]: Simplify -1 into -1
8.478 * [taylor]: Taking taylor expansion of x in x
8.478 * [backup-simplify]: Simplify 0 into 0
8.478 * [backup-simplify]: Simplify 1 into 1
8.478 * [backup-simplify]: Simplify (/ -1 1) into -1
8.478 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.478 * [taylor]: Taking taylor expansion of 1.0 in x
8.478 * [backup-simplify]: Simplify 1.0 into 1.0
8.479 * [backup-simplify]: Simplify (* -1 -1) into 1
8.479 * [backup-simplify]: Simplify (+ 1 0) into 1
8.479 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.480 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify 0 into 0
8.480 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0)))
8.480 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
8.481 * [backup-simplify]: Simplify (pow (exp (fma x x (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3)
8.481 * [approximate]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in (x) around 0
8.481 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in x
8.481 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.481 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.481 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.481 * [taylor]: Taking taylor expansion of (* x x) in x
8.481 * [taylor]: Taking taylor expansion of x in x
8.481 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify 1 into 1
8.481 * [taylor]: Taking taylor expansion of x in x
8.481 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify 1 into 1
8.481 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.481 * [taylor]: Taking taylor expansion of 1.0 in x
8.481 * [backup-simplify]: Simplify 1.0 into 1.0
8.481 * [backup-simplify]: Simplify (* 0 0) into 0
8.481 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.482 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.482 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.483 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 3) in x
8.483 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.483 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.483 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.483 * [taylor]: Taking taylor expansion of (* x x) in x
8.483 * [taylor]: Taking taylor expansion of x in x
8.483 * [backup-simplify]: Simplify 0 into 0
8.483 * [backup-simplify]: Simplify 1 into 1
8.483 * [taylor]: Taking taylor expansion of x in x
8.483 * [backup-simplify]: Simplify 0 into 0
8.483 * [backup-simplify]: Simplify 1 into 1
8.483 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.483 * [taylor]: Taking taylor expansion of 1.0 in x
8.483 * [backup-simplify]: Simplify 1.0 into 1.0
8.483 * [backup-simplify]: Simplify (* 0 0) into 0
8.483 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.484 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.485 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.486 * [backup-simplify]: Simplify (* (exp (- 1.0)) (exp (- 1.0))) into (pow (exp (- 1.0)) 2)
8.488 * [backup-simplify]: Simplify (* (exp (- 1.0)) (pow (exp (- 1.0)) 2)) into (pow (exp (- 1.0)) 3)
8.489 * [backup-simplify]: Simplify (pow (exp (- 1.0)) 3) into (pow (exp (- 1.0)) 3)
8.489 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
8.489 * [backup-simplify]: Simplify (- 0) into 0
8.490 * [backup-simplify]: Simplify (+ 0 0) into 0
8.491 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
8.492 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (exp (- 1.0)))) into 0
8.493 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (* 0 (pow (exp (- 1.0)) 2))) into 0
8.493 * [backup-simplify]: Simplify 0 into 0
8.493 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
8.494 * [backup-simplify]: Simplify (- 0) into 0
8.494 * [backup-simplify]: Simplify (+ 1 0) into 1
8.498 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
8.503 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (exp (- 1.0))) (+ (* 0 0) (* (exp (- 1.0)) (exp (- 1.0))))) into (* 2 (pow (exp (- 1.0)) 2))
8.513 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (* (exp (- 1.0)) (pow (exp (- 1.0)) 2)))) into (* 3 (pow (exp (- 1.0)) 3))
8.515 * [backup-simplify]: Simplify (* 3 (pow (exp (- 1.0)) 3)) into (* 3 (pow (exp (- 1.0)) 3))
8.516 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
8.516 * [backup-simplify]: Simplify (- 0) into 0
8.516 * [backup-simplify]: Simplify (+ 0 0) into 0
8.519 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.520 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 (exp (- 1.0))) (+ (* (exp (- 1.0)) 0) (* 0 (exp (- 1.0)))))) into 0
8.522 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) 0) (+ (* 0 (* 2 (pow (exp (- 1.0)) 2))) (+ (* (exp (- 1.0)) 0) (* 0 (pow (exp (- 1.0)) 2))))) into 0
8.522 * [backup-simplify]: Simplify 0 into 0
8.523 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.523 * [backup-simplify]: Simplify (- 0) into 0
8.524 * [backup-simplify]: Simplify (+ 0 0) into 0
8.532 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0)))
8.545 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 1/2 (exp (- 1.0)))) (+ (* 0 0) (+ (* (exp (- 1.0)) (exp (- 1.0))) (+ (* 0 0) (* (* 1/2 (exp (- 1.0))) (exp (- 1.0))))))) into (* 2 (pow (exp (- 1.0)) 2))
8.563 * [backup-simplify]: Simplify (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (+ (* (exp (- 1.0)) (* 2 (pow (exp (- 1.0)) 2))) (+ (* 0 0) (* (* 1/2 (exp (- 1.0))) (pow (exp (- 1.0)) 2)))))) into (* 9/2 (pow (exp (- 1.0)) 3))
8.566 * [backup-simplify]: Simplify (* 9/2 (pow (exp (- 1.0)) 3)) into (* 9/2 (pow (exp (- 1.0)) 3))
8.572 * [backup-simplify]: Simplify (+ (* (* 9/2 (pow (exp (- 1.0)) 3)) (pow x 4)) (+ (* (* 3 (pow (exp (- 1.0)) 3)) (pow x 2)) (pow (exp (- 1.0)) 3))) into (+ (pow (exp (- 1.0)) 3) (+ (* 9/2 (* (pow x 4) (pow (exp (- 1.0)) 3))) (* 3 (* (pow x 2) (pow (exp (- 1.0)) 3)))))
8.572 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3)
8.572 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in (x) around 0
8.572 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in x
8.572 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.572 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.572 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.573 * [taylor]: Taking taylor expansion of x in x
8.573 * [backup-simplify]: Simplify 0 into 0
8.573 * [backup-simplify]: Simplify 1 into 1
8.573 * [backup-simplify]: Simplify (/ 1 1) into 1
8.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.573 * [taylor]: Taking taylor expansion of x in x
8.573 * [backup-simplify]: Simplify 0 into 0
8.573 * [backup-simplify]: Simplify 1 into 1
8.574 * [backup-simplify]: Simplify (/ 1 1) into 1
8.574 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.574 * [taylor]: Taking taylor expansion of 1.0 in x
8.574 * [backup-simplify]: Simplify 1.0 into 1.0
8.574 * [backup-simplify]: Simplify (* 1 1) into 1
8.574 * [backup-simplify]: Simplify (+ 1 0) into 1
8.575 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.575 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) in x
8.575 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.575 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.575 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.575 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.575 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.575 * [taylor]: Taking taylor expansion of x in x
8.575 * [backup-simplify]: Simplify 0 into 0
8.575 * [backup-simplify]: Simplify 1 into 1
8.576 * [backup-simplify]: Simplify (/ 1 1) into 1
8.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.576 * [taylor]: Taking taylor expansion of x in x
8.576 * [backup-simplify]: Simplify 0 into 0
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [backup-simplify]: Simplify (/ 1 1) into 1
8.576 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.576 * [taylor]: Taking taylor expansion of 1.0 in x
8.576 * [backup-simplify]: Simplify 1.0 into 1.0
8.577 * [backup-simplify]: Simplify (* 1 1) into 1
8.577 * [backup-simplify]: Simplify (+ 1 0) into 1
8.577 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.583 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)
8.584 * [backup-simplify]: Simplify (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3)
8.584 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3)
8.585 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) into 0
8.587 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) into 0
8.587 * [backup-simplify]: Simplify 0 into 0
8.588 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) into 0
8.589 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))) into 0
8.589 * [backup-simplify]: Simplify 0 into 0
8.591 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))))) into 0
8.593 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))))) into 0
8.593 * [backup-simplify]: Simplify 0 into 0
8.595 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))))) into 0
8.597 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))))) into 0
8.597 * [backup-simplify]: Simplify 0 into 0
8.599 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))))))) into 0
8.602 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))))))) into 0
8.602 * [backup-simplify]: Simplify 0 into 0
8.604 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))))))) into 0
8.607 * [backup-simplify]: Simplify (+ (* (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2)))))))) into 0
8.607 * [backup-simplify]: Simplify 0 into 0
8.608 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3)
8.608 * [backup-simplify]: Simplify (pow (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) 3) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3)
8.608 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in (x) around 0
8.608 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in x
8.608 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.608 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.609 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.609 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.609 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.609 * [taylor]: Taking taylor expansion of -1 in x
8.609 * [backup-simplify]: Simplify -1 into -1
8.609 * [taylor]: Taking taylor expansion of x in x
8.609 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify 1 into 1
8.609 * [backup-simplify]: Simplify (/ -1 1) into -1
8.609 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.609 * [taylor]: Taking taylor expansion of -1 in x
8.609 * [backup-simplify]: Simplify -1 into -1
8.609 * [taylor]: Taking taylor expansion of x in x
8.609 * [backup-simplify]: Simplify 0 into 0
8.609 * [backup-simplify]: Simplify 1 into 1
8.610 * [backup-simplify]: Simplify (/ -1 1) into -1
8.610 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.610 * [taylor]: Taking taylor expansion of 1.0 in x
8.610 * [backup-simplify]: Simplify 1.0 into 1.0
8.610 * [backup-simplify]: Simplify (* -1 -1) into 1
8.611 * [backup-simplify]: Simplify (+ 1 0) into 1
8.611 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.611 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) in x
8.611 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.611 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.611 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.611 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.611 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.612 * [taylor]: Taking taylor expansion of -1 in x
8.612 * [backup-simplify]: Simplify -1 into -1
8.612 * [taylor]: Taking taylor expansion of x in x
8.612 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify 1 into 1
8.612 * [backup-simplify]: Simplify (/ -1 1) into -1
8.612 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.612 * [taylor]: Taking taylor expansion of -1 in x
8.612 * [backup-simplify]: Simplify -1 into -1
8.612 * [taylor]: Taking taylor expansion of x in x
8.612 * [backup-simplify]: Simplify 0 into 0
8.612 * [backup-simplify]: Simplify 1 into 1
8.613 * [backup-simplify]: Simplify (/ -1 1) into -1
8.613 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.613 * [taylor]: Taking taylor expansion of 1.0 in x
8.613 * [backup-simplify]: Simplify 1.0 into 1.0
8.613 * [backup-simplify]: Simplify (* -1 -1) into 1
8.613 * [backup-simplify]: Simplify (+ 1 0) into 1
8.614 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.615 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)
8.616 * [backup-simplify]: Simplify (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3)
8.617 * [backup-simplify]: Simplify (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3)
8.618 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) into 0
8.619 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) into 0
8.619 * [backup-simplify]: Simplify 0 into 0
8.620 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) into 0
8.621 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))) into 0
8.622 * [backup-simplify]: Simplify 0 into 0
8.623 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))))) into 0
8.625 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))))) into 0
8.625 * [backup-simplify]: Simplify 0 into 0
8.627 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))))) into 0
8.629 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))))) into 0
8.629 * [backup-simplify]: Simplify 0 into 0
8.632 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))))))) into 0
8.634 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))))))) into 0
8.634 * [backup-simplify]: Simplify 0 into 0
8.637 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))))))) into 0
8.640 * [backup-simplify]: Simplify (+ (* (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2)))))))) into 0
8.640 * [backup-simplify]: Simplify 0 into 0
8.640 * [backup-simplify]: Simplify (pow (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) 3) into (pow (exp (fma x x (- 1.0))) 3)
8.640 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
8.641 * [backup-simplify]: Simplify (exp (fma x x (- 1.0))) into (exp (fma x x (- 1.0)))
8.641 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0
8.641 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.641 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.641 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.641 * [taylor]: Taking taylor expansion of (* x x) in x
8.641 * [taylor]: Taking taylor expansion of x in x
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify 1 into 1
8.641 * [taylor]: Taking taylor expansion of x in x
8.641 * [backup-simplify]: Simplify 0 into 0
8.641 * [backup-simplify]: Simplify 1 into 1
8.641 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.641 * [taylor]: Taking taylor expansion of 1.0 in x
8.641 * [backup-simplify]: Simplify 1.0 into 1.0
8.642 * [backup-simplify]: Simplify (* 0 0) into 0
8.642 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.643 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.644 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.644 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.644 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.644 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.644 * [taylor]: Taking taylor expansion of (* x x) in x
8.644 * [taylor]: Taking taylor expansion of x in x
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 1 into 1
8.644 * [taylor]: Taking taylor expansion of x in x
8.644 * [backup-simplify]: Simplify 0 into 0
8.644 * [backup-simplify]: Simplify 1 into 1
8.644 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.644 * [taylor]: Taking taylor expansion of 1.0 in x
8.644 * [backup-simplify]: Simplify 1.0 into 1.0
8.645 * [backup-simplify]: Simplify (* 0 0) into 0
8.645 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.646 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.646 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.647 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.648 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
8.648 * [backup-simplify]: Simplify (- 0) into 0
8.648 * [backup-simplify]: Simplify (+ 0 0) into 0
8.649 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
8.649 * [backup-simplify]: Simplify 0 into 0
8.650 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
8.650 * [backup-simplify]: Simplify (- 0) into 0
8.650 * [backup-simplify]: Simplify (+ 1 0) into 1
8.652 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
8.653 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.654 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
8.654 * [backup-simplify]: Simplify (- 0) into 0
8.654 * [backup-simplify]: Simplify (+ 0 0) into 0
8.656 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.656 * [backup-simplify]: Simplify 0 into 0
8.656 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.657 * [backup-simplify]: Simplify (- 0) into 0
8.657 * [backup-simplify]: Simplify (+ 0 0) into 0
8.662 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/2 (exp (- 1.0)))
8.663 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
8.665 * [backup-simplify]: Simplify (+ (* (* 1/2 (exp (- 1.0))) (pow x 4)) (+ (* (exp (- 1.0)) (pow x 2)) (exp (- 1.0)))) into (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
8.665 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.665 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0
8.665 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.665 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.665 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.665 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.665 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.665 * [taylor]: Taking taylor expansion of x in x
8.665 * [backup-simplify]: Simplify 0 into 0
8.665 * [backup-simplify]: Simplify 1 into 1
8.666 * [backup-simplify]: Simplify (/ 1 1) into 1
8.666 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.666 * [taylor]: Taking taylor expansion of x in x
8.666 * [backup-simplify]: Simplify 0 into 0
8.666 * [backup-simplify]: Simplify 1 into 1
8.666 * [backup-simplify]: Simplify (/ 1 1) into 1
8.666 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.666 * [taylor]: Taking taylor expansion of 1.0 in x
8.666 * [backup-simplify]: Simplify 1.0 into 1.0
8.666 * [backup-simplify]: Simplify (* 1 1) into 1
8.666 * [backup-simplify]: Simplify (+ 1 0) into 1
8.667 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.667 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.667 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.667 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.667 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.667 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.667 * [taylor]: Taking taylor expansion of x in x
8.667 * [backup-simplify]: Simplify 0 into 0
8.667 * [backup-simplify]: Simplify 1 into 1
8.667 * [backup-simplify]: Simplify (/ 1 1) into 1
8.668 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.668 * [taylor]: Taking taylor expansion of x in x
8.668 * [backup-simplify]: Simplify 0 into 0
8.668 * [backup-simplify]: Simplify 1 into 1
8.668 * [backup-simplify]: Simplify (/ 1 1) into 1
8.668 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.668 * [taylor]: Taking taylor expansion of 1.0 in x
8.668 * [backup-simplify]: Simplify 1.0 into 1.0
8.668 * [backup-simplify]: Simplify (* 1 1) into 1
8.668 * [backup-simplify]: Simplify (+ 1 0) into 1
8.669 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.669 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.669 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify 0 into 0
8.669 * [backup-simplify]: Simplify 0 into 0
8.670 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0)))
8.670 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.670 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0
8.670 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.670 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.670 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.670 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.670 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.670 * [taylor]: Taking taylor expansion of -1 in x
8.670 * [backup-simplify]: Simplify -1 into -1
8.670 * [taylor]: Taking taylor expansion of x in x
8.670 * [backup-simplify]: Simplify 0 into 0
8.671 * [backup-simplify]: Simplify 1 into 1
8.671 * [backup-simplify]: Simplify (/ -1 1) into -1
8.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.671 * [taylor]: Taking taylor expansion of -1 in x
8.671 * [backup-simplify]: Simplify -1 into -1
8.671 * [taylor]: Taking taylor expansion of x in x
8.671 * [backup-simplify]: Simplify 0 into 0
8.671 * [backup-simplify]: Simplify 1 into 1
8.671 * [backup-simplify]: Simplify (/ -1 1) into -1
8.671 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.671 * [taylor]: Taking taylor expansion of 1.0 in x
8.671 * [backup-simplify]: Simplify 1.0 into 1.0
8.672 * [backup-simplify]: Simplify (* -1 -1) into 1
8.672 * [backup-simplify]: Simplify (+ 1 0) into 1
8.672 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.672 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.672 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.672 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.672 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.672 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.672 * [taylor]: Taking taylor expansion of -1 in x
8.672 * [backup-simplify]: Simplify -1 into -1
8.672 * [taylor]: Taking taylor expansion of x in x
8.672 * [backup-simplify]: Simplify 0 into 0
8.673 * [backup-simplify]: Simplify 1 into 1
8.673 * [backup-simplify]: Simplify (/ -1 1) into -1
8.673 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.673 * [taylor]: Taking taylor expansion of -1 in x
8.673 * [backup-simplify]: Simplify -1 into -1
8.673 * [taylor]: Taking taylor expansion of x in x
8.673 * [backup-simplify]: Simplify 0 into 0
8.673 * [backup-simplify]: Simplify 1 into 1
8.673 * [backup-simplify]: Simplify (/ -1 1) into -1
8.673 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.673 * [taylor]: Taking taylor expansion of 1.0 in x
8.673 * [backup-simplify]: Simplify 1.0 into 1.0
8.673 * [backup-simplify]: Simplify (* -1 -1) into 1
8.674 * [backup-simplify]: Simplify (+ 1 0) into 1
8.674 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.675 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify 0 into 0
8.675 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0)))
8.675 * * * [progress]: simplifying candidates
8.676 * [simplify]: Simplifying:
  (expm1 (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (log1p (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (log (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (exp (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt (pow (exp (* x x)) 3))
  (cbrt (pow (exp (- 1.0)) 3))
  (cbrt (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3))
  (cbrt (pow (cbrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (fma x x (- 1.0))) 3))
  (cbrt (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3))))
  (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt (pow (exp (* x x)) 3))
  (cbrt (pow (exp (- 1.0)) 3))
  (cbrt (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3))
  (cbrt (pow (cbrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow (sqrt (exp (fma x x (- 1.0)))) 3))
  (cbrt (pow 1 3))
  (cbrt (pow (exp (fma x x (- 1.0))) 3))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt 1)
  (cbrt (pow (exp (fma x x (- 1.0))) 3))
  (cbrt (pow (exp (fma x x (- 1.0))) (/ 3 2)))
  (cbrt (pow (exp (fma x x (- 1.0))) (/ 3 2)))
  (* (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3))))
  (cbrt (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (* (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3))) (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (sqrt (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (sqrt (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (expm1 (pow (exp (fma x x (- 1.0))) 3))
  (log1p (pow (exp (fma x x (- 1.0))) 3))
  (* (fma x x (- 1.0)) 3)
  (* (log (exp (fma x x (- 1.0)))) 3)
  (* 1 3)
  (* (cbrt (fma x x (- 1.0))) 3)
  (* (sqrt (fma x x (- 1.0))) 3)
  (* (fma x x (- 1.0)) 3)
  (pow (exp (fma x x (- 1.0))) (* (cbrt 3) (cbrt 3)))
  (pow (exp (fma x x (- 1.0))) (sqrt 3))
  (pow (exp (fma x x (- 1.0))) 1)
  (pow (exp (* x x)) 3)
  (pow (exp (- 1.0)) 3)
  (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3)
  (pow (cbrt (exp (fma x x (- 1.0)))) 3)
  (pow (sqrt (exp (fma x x (- 1.0)))) 3)
  (pow (sqrt (exp (fma x x (- 1.0)))) 3)
  (pow 1 3)
  (pow (exp (fma x x (- 1.0))) 3)
  (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))))
  (log (pow (exp (fma x x (- 1.0))) 3))
  (exp (pow (exp (fma x x (- 1.0))) 3))
  (* (cbrt (pow (exp (fma x x (- 1.0))) 3)) (cbrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt (pow (exp (fma x x (- 1.0))) 3))
  (* (* (pow (exp (fma x x (- 1.0))) 3) (pow (exp (fma x x (- 1.0))) 3)) (pow (exp (fma x x (- 1.0))) 3))
  (pow (exp (* x x)) 3)
  (pow (exp (- 1.0)) 3)
  (pow (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 3)
  (pow (cbrt (exp (fma x x (- 1.0)))) 3)
  (pow (sqrt (exp (fma x x (- 1.0)))) 3)
  (pow (sqrt (exp (fma x x (- 1.0)))) 3)
  (pow 1 3)
  (pow (exp (fma x x (- 1.0))) 3)
  (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0))))
  (sqrt (pow (exp (fma x x (- 1.0))) 3))
  (sqrt (pow (exp (fma x x (- 1.0))) 3))
  (pow (exp (fma x x (- 1.0))) (/ 3 2))
  (pow (exp (fma x x (- 1.0))) (/ 3 2))
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0)))))
  (exp (sqrt (fma x x (- 1.0))))
  (exp 1)
  (exp (* x x))
  (exp (- 1.0))
  (log (exp (fma x x (- 1.0))))
  (exp (exp (fma x x (- 1.0))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (* (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
  (+ (pow (exp (- 1.0)) 3) (+ (* 9/2 (* (pow x 4) (pow (exp (- 1.0)) 3))) (* 3 (* (pow x 2) (pow (exp (- 1.0)) 3)))))
  (pow (exp (fma x x (- 1.0))) 3)
  (pow (exp (fma x x (- 1.0))) 3)
  (+ (* (pow x 2) (exp (- 1.0))) (+ (exp (- 1.0)) (* 1/2 (* (pow x 4) (exp (- 1.0))))))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
8.678 * * [simplify]: Extracting # 0 : cost  0
8.678 * * [simplify]: Extracting # 1 : cost  0
8.678 * * [simplify]: Extracting # 2 : cost  0
8.678 * * [simplify]: Extracting # 3 : cost  0
8.678 * * [simplify]: Extracting # 4 : cost  0
8.678 * * [simplify]: Extracting # 5 : cost  0
8.678 * * [simplify]: Extracting # 6 : cost  0
8.678 * * [simplify]: Extracting # 7 : cost  0
8.678 * * [simplify]: Extracting # 8 : cost  0
8.679 * * [simplify]: Extracting # 9 : cost  0
8.679 * * [simplify]: Extracting # 10 : cost  0
8.679 * * [simplify]: iteration  0 :  90  enodes  (cost  975 )
8.712 * * [simplify]: Extracting # 0 : cost  0
8.713 * * [simplify]: Extracting # 1 : cost  0
8.713 * * [simplify]: Extracting # 2 : cost  0
8.713 * * [simplify]: Extracting # 3 : cost  0
8.713 * * [simplify]: Extracting # 4 : cost  0
8.713 * * [simplify]: iteration  1 :  185  enodes  (cost  778 )
8.786 * * [simplify]: Extracting # 0 : cost  0
8.787 * * [simplify]: Extracting # 1 : cost  0
8.788 * * [simplify]: Extracting # 2 : cost  0
8.789 * * [simplify]: Extracting # 3 : cost  0
8.790 * * [simplify]: Extracting # 4 : cost  0
8.791 * * [simplify]: iteration  2 :  531  enodes  (cost  714 )
9.554 * * [simplify]: Extracting # 0 : cost  0
9.558 * * [simplify]: Extracting # 1 : cost  0
9.566 * * [simplify]: Extracting # 2 : cost  0
9.569 * * [simplify]: Extracting # 3 : cost  0
9.572 * * [simplify]: Extracting # 4 : cost  0
9.575 * * [simplify]: iteration  3 :  3076  enodes  (cost  693 )
11.590 * * [simplify]: Extracting # 0 : cost  0
11.596 * * [simplify]: Extracting # 1 : cost  0
11.604 * * [simplify]: Extracting # 2 : cost  0
11.611 * * [simplify]: Extracting # 3 : cost  0
11.620 * * [simplify]: Extracting # 4 : cost  0
11.626 * * [simplify]: iteration done:  5000  enodes  (cost  690 )
11.627 * [simplify]: Simplified to:
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  (fma x x (- 1.0))
  (exp (exp (fma x x (- 1.0))))
  (exp (* x x))
  (exp (- 1.0))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  1
  (exp (fma x x (- 1.0)))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (exp (* x x))
  (exp (- 1.0))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  1
  (exp (fma x x (- 1.0)))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3)))
  (cbrt (sqrt (pow (exp (fma x x (- 1.0))) 3)))
  1
  (exp (fma x x (- 1.0)))
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (pow (exp (fma x x (- 1.0))) 3)
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (expm1 (pow (exp (fma x x (- 1.0))) 3))
  (log1p (pow (exp (fma x x (- 1.0))) 3))
  (* 3 (fma x x (- 1.0)))
  (* 3 (fma x x (- 1.0)))
  3
  (* (cbrt (fma x x (- 1.0))) 3)
  (* (sqrt (fma x x (- 1.0))) 3)
  (* 3 (fma x x (- 1.0)))
  (pow (exp (fma x x (- 1.0))) (* (cbrt 3) (cbrt 3)))
  (pow (exp (fma x x (- 1.0))) (sqrt 3))
  (exp (fma x x (- 1.0)))
  (pow (exp (* x x)) 3)
  (pow (exp (- 1.0)) 3)
  (exp (* 2 (fma x x (- 1.0))))
  (exp (fma x x (- 1.0)))
  (pow (exp (fma x x (- 1.0))) 3/2)
  (pow (exp (fma x x (- 1.0))) 3/2)
  1
  (pow (exp (fma x x (- 1.0))) 3)
  (exp (* 2 (fma x x (- 1.0))))
  (* 3 (fma x x (- 1.0)))
  (exp (pow (exp (fma x x (- 1.0))) 3))
  (exp (* 2 (fma x x (- 1.0))))
  (exp (fma x x (- 1.0)))
  (pow (pow (exp (fma x x (- 1.0))) 3) 3)
  (pow (exp (* x x)) 3)
  (pow (exp (- 1.0)) 3)
  (exp (* 2 (fma x x (- 1.0))))
  (exp (fma x x (- 1.0)))
  (pow (exp (fma x x (- 1.0))) 3/2)
  (pow (exp (fma x x (- 1.0))) 3/2)
  1
  (pow (exp (fma x x (- 1.0))) 3)
  (exp (* 2 (fma x x (- 1.0))))
  (sqrt (pow (exp (fma x x (- 1.0))) 3))
  (sqrt (pow (exp (fma x x (- 1.0))) 3))
  (pow (exp (fma x x (- 1.0))) 3/2)
  (pow (exp (fma x x (- 1.0))) 3/2)
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  (exp (* (cbrt (fma x x (- 1.0))) (cbrt (fma x x (- 1.0)))))
  (exp (sqrt (fma x x (- 1.0))))
  E
  (exp (* x x))
  (exp (- 1.0))
  (fma x x (- 1.0))
  (exp (exp (fma x x (- 1.0))))
  (cbrt (exp (* 2 (fma x x (- 1.0)))))
  (cbrt (exp (fma x x (- 1.0))))
  (pow (exp (fma x x (- 1.0))) 3)
  (sqrt (exp (fma x x (- 1.0))))
  (sqrt (exp (fma x x (- 1.0))))
  (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1)))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
  (* (pow (exp (- 1.0)) 3) (fma (* 3 x) x (fma (pow x 4) 9/2 1)))
  (pow (exp (fma x x (- 1.0))) 3)
  (pow (exp (fma x x (- 1.0))) 3)
  (* (exp (- 1.0)) (fma x x (fma (pow x 4) 1/2 1)))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
11.627 * * * [progress]: adding candidates to table
11.795 * [progress]: [Phase 3 of 3] Extracting.
11.795 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (cbrt (pow (exp (fma x x (- 1.0))) 3)))> #<alt (λ (x) (exp (fma x x (- 1.0))))>)
11.795 * * * [regime-changes]: Trying 1 branch expressions: (x)
11.795 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (cbrt (pow (exp (fma x x (- 1.0))) 3)))> #<alt (λ (x) (exp (fma x x (- 1.0))))>)
11.811 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.811 * [simplify]: Simplifying:
  (exp (fma x x (- 1.0)))
11.811 * * [simplify]: Extracting # 0 : cost  0
11.811 * * [simplify]: Extracting # 1 : cost  0
11.811 * * [simplify]: Extracting # 2 : cost  0
11.811 * * [simplify]: Extracting # 3 : cost  0
11.811 * * [simplify]: Extracting # 4 : cost  0
11.811 * * [simplify]: Extracting # 5 : cost  0
11.811 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
11.812 * * [simplify]: Extracting # 0 : cost  0
11.812 * * [simplify]: iteration done:  5  enodes  (cost  6 )
11.812 * [simplify]: Simplified to:
  (exp (fma x x (- 1.0)))
13.356 * [regime-testing]: Baseline error score: 0.020063030347839565
13.358 * [regime-testing]: Oracle error score: 0.01890441113721876
13.365 * [regime-testing]: End program error score: 0.020063030347839565