20.758 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.047 * [simplify]: Simplifying:
  (exp (- (- 1.0 (* x x))))
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: Extracting # 3 : cost  0
0.047 * * [simplify]: Extracting # 4 : cost  0
0.047 * * [simplify]: Extracting # 5 : cost  0
0.047 * * [simplify]: Extracting # 6 : cost  0
0.047 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.049 * * [simplify]: Extracting # 0 : cost  0
0.049 * * [simplify]: Extracting # 1 : cost  0
0.049 * * [simplify]: Extracting # 2 : cost  0
0.049 * * [simplify]: iteration  1 :  11  enodes  (cost  7 )
0.054 * * [simplify]: Extracting # 0 : cost  0
0.054 * * [simplify]: Extracting # 1 : cost  0
0.054 * * [simplify]: Extracting # 2 : cost  0
0.054 * * [simplify]: iteration  2 :  25  enodes  (cost  7 )
0.063 * * [simplify]: Extracting # 0 : cost  0
0.064 * * [simplify]: Extracting # 1 : cost  0
0.064 * * [simplify]: Extracting # 2 : cost  0
0.064 * * [simplify]: iteration  3 :  46  enodes  (cost  7 )
0.081 * * [simplify]: Extracting # 0 : cost  0
0.081 * * [simplify]: Extracting # 1 : cost  0
0.081 * * [simplify]: Extracting # 2 : cost  0
0.081 * * [simplify]: Extracting # 3 : cost  0
0.082 * * [simplify]: Extracting # 4 : cost  0
0.082 * * [simplify]: Extracting # 5 : cost  0
0.082 * * [simplify]: iteration  4 :  76  enodes  (cost  6 )
0.111 * * [simplify]: Extracting # 0 : cost  0
0.111 * * [simplify]: Extracting # 1 : cost  0
0.111 * * [simplify]: Extracting # 2 : cost  0
0.111 * * [simplify]: Extracting # 3 : cost  0
0.112 * * [simplify]: Extracting # 4 : cost  0
0.112 * * [simplify]: iteration  5 :  138  enodes  (cost  6 )
0.196 * * [simplify]: Extracting # 0 : cost  0
0.197 * * [simplify]: Extracting # 1 : cost  0
0.198 * * [simplify]: Extracting # 2 : cost  0
0.199 * * [simplify]: Extracting # 3 : cost  0
0.199 * * [simplify]: Extracting # 4 : cost  0
0.200 * * [simplify]: Extracting # 5 : cost  0
0.201 * * [simplify]: iteration  6 :  383  enodes  (cost  6 )
0.785 * * [simplify]: Extracting # 0 : cost  0
0.786 * * [simplify]: Extracting # 1 : cost  0
0.787 * * [simplify]: Extracting # 2 : cost  0
0.788 * * [simplify]: Extracting # 3 : cost  0
0.793 * * [simplify]: Extracting # 4 : cost  0
0.794 * * [simplify]: iteration  7 :  1359  enodes  (cost  6 )
5.303 * * [simplify]: Extracting # 0 : cost  0
5.312 * * [simplify]: Extracting # 1 : cost  0
5.319 * * [simplify]: Extracting # 2 : cost  0
5.322 * * [simplify]: Extracting # 3 : cost  0
5.329 * * [simplify]: Extracting # 4 : cost  0
5.332 * * [simplify]: iteration done:  5000  enodes  (cost  6 )
5.332 * [simplify]: Simplified to:
  (exp (fma x x (- 1.0)))
5.335 * * [progress]: iteration 1 / 4
5.335 * * * [progress]: picking best candidate
5.337 * * * * [pick]: Picked  #<alt (λ (x) (exp (fma x x (- 1.0))))>
5.337 * * * [progress]: localizing error
5.343 * * * [progress]: generating rewritten candidates
5.343 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
5.346 * * * [progress]: generating series expansions
5.346 * * * * [progress]: [ 1 / 1 ] generating series at (2)
5.346 * [backup-simplify]: Simplify (exp (fma x x (- 1.0))) into (exp (fma x x (- 1.0)))
5.346 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0
5.346 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
5.346 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
5.348 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
5.348 * [taylor]: Taking taylor expansion of (* x x) in x
5.348 * [taylor]: Taking taylor expansion of x in x
5.348 * [backup-simplify]: Simplify 0 into 0
5.348 * [backup-simplify]: Simplify 1 into 1
5.348 * [taylor]: Taking taylor expansion of x in x
5.349 * [backup-simplify]: Simplify 0 into 0
5.349 * [backup-simplify]: Simplify 1 into 1
5.349 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.349 * [taylor]: Taking taylor expansion of 1.0 in x
5.349 * [backup-simplify]: Simplify 1.0 into 1.0
5.349 * [backup-simplify]: Simplify (* 0 0) into 0
5.350 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.350 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.351 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.351 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
5.351 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
5.352 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
5.352 * [taylor]: Taking taylor expansion of (* x x) in x
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [taylor]: Taking taylor expansion of x in x
5.352 * [backup-simplify]: Simplify 0 into 0
5.352 * [backup-simplify]: Simplify 1 into 1
5.352 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.352 * [taylor]: Taking taylor expansion of 1.0 in x
5.352 * [backup-simplify]: Simplify 1.0 into 1.0
5.352 * [backup-simplify]: Simplify (* 0 0) into 0
5.352 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.353 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
5.354 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.355 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.356 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
5.356 * [backup-simplify]: Simplify (- 0) into 0
5.357 * [backup-simplify]: Simplify (+ 0 0) into 0
5.358 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
5.358 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
5.359 * [backup-simplify]: Simplify (- 0) into 0
5.359 * [backup-simplify]: Simplify (+ 1 0) into 1
5.364 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
5.365 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
5.366 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
5.366 * [backup-simplify]: Simplify (- 0) into 0
5.367 * [backup-simplify]: Simplify (+ 0 0) into 0
5.369 * [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.370 * [backup-simplify]: Simplify 0 into 0
5.371 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.371 * [backup-simplify]: Simplify (- 0) into 0
5.371 * [backup-simplify]: Simplify (+ 0 0) into 0
5.380 * [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.382 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
5.385 * [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.386 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.386 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0
5.386 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
5.386 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
5.386 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
5.386 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.386 * [taylor]: Taking taylor expansion of x in x
5.386 * [backup-simplify]: Simplify 0 into 0
5.386 * [backup-simplify]: Simplify 1 into 1
5.386 * [backup-simplify]: Simplify (/ 1 1) into 1
5.386 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.386 * [taylor]: Taking taylor expansion of x in x
5.387 * [backup-simplify]: Simplify 0 into 0
5.387 * [backup-simplify]: Simplify 1 into 1
5.387 * [backup-simplify]: Simplify (/ 1 1) into 1
5.387 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.387 * [taylor]: Taking taylor expansion of 1.0 in x
5.387 * [backup-simplify]: Simplify 1.0 into 1.0
5.387 * [backup-simplify]: Simplify (* 1 1) into 1
5.388 * [backup-simplify]: Simplify (+ 1 0) into 1
5.388 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.388 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
5.388 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
5.388 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
5.388 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
5.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.388 * [taylor]: Taking taylor expansion of x in x
5.388 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify (/ 1 1) into 1
5.389 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.389 * [taylor]: Taking taylor expansion of x in x
5.389 * [backup-simplify]: Simplify 0 into 0
5.389 * [backup-simplify]: Simplify 1 into 1
5.389 * [backup-simplify]: Simplify (/ 1 1) into 1
5.389 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.389 * [taylor]: Taking taylor expansion of 1.0 in x
5.389 * [backup-simplify]: Simplify 1.0 into 1.0
5.390 * [backup-simplify]: Simplify (* 1 1) into 1
5.390 * [backup-simplify]: Simplify (+ 1 0) into 1
5.390 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.391 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.391 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0)))
5.392 * [backup-simplify]: Simplify (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.392 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0
5.392 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
5.392 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
5.392 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
5.392 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.393 * [taylor]: Taking taylor expansion of -1 in x
5.393 * [backup-simplify]: Simplify -1 into -1
5.393 * [taylor]: Taking taylor expansion of x in x
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 1 into 1
5.393 * [backup-simplify]: Simplify (/ -1 1) into -1
5.393 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.393 * [taylor]: Taking taylor expansion of -1 in x
5.393 * [backup-simplify]: Simplify -1 into -1
5.393 * [taylor]: Taking taylor expansion of x in x
5.393 * [backup-simplify]: Simplify 0 into 0
5.393 * [backup-simplify]: Simplify 1 into 1
5.394 * [backup-simplify]: Simplify (/ -1 1) into -1
5.394 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.394 * [taylor]: Taking taylor expansion of 1.0 in x
5.394 * [backup-simplify]: Simplify 1.0 into 1.0
5.394 * [backup-simplify]: Simplify (* -1 -1) into 1
5.394 * [backup-simplify]: Simplify (+ 1 0) into 1
5.395 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.395 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
5.395 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
5.395 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
5.395 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
5.395 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.395 * [taylor]: Taking taylor expansion of -1 in x
5.395 * [backup-simplify]: Simplify -1 into -1
5.395 * [taylor]: Taking taylor expansion of x in x
5.395 * [backup-simplify]: Simplify 0 into 0
5.395 * [backup-simplify]: Simplify 1 into 1
5.396 * [backup-simplify]: Simplify (/ -1 1) into -1
5.396 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.396 * [taylor]: Taking taylor expansion of -1 in x
5.396 * [backup-simplify]: Simplify -1 into -1
5.396 * [taylor]: Taking taylor expansion of x in x
5.396 * [backup-simplify]: Simplify 0 into 0
5.396 * [backup-simplify]: Simplify 1 into 1
5.396 * [backup-simplify]: Simplify (/ -1 1) into -1
5.396 * [taylor]: Taking taylor expansion of (- 1.0) in x
5.396 * [taylor]: Taking taylor expansion of 1.0 in x
5.396 * [backup-simplify]: Simplify 1.0 into 1.0
5.397 * [backup-simplify]: Simplify (* -1 -1) into 1
5.397 * [backup-simplify]: Simplify (+ 1 0) into 1
5.398 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.398 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.399 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0)))
5.399 * * * [progress]: simplifying candidates
5.400 * [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.400 * * [simplify]: Extracting # 0 : cost  0
5.400 * * [simplify]: Extracting # 1 : cost  0
5.400 * * [simplify]: Extracting # 2 : cost  0
5.400 * * [simplify]: Extracting # 3 : cost  0
5.401 * * [simplify]: Extracting # 4 : cost  0
5.401 * * [simplify]: Extracting # 5 : cost  0
5.401 * * [simplify]: Extracting # 6 : cost  0
5.401 * * [simplify]: Extracting # 7 : cost  0
5.401 * * [simplify]: Extracting # 8 : cost  0
5.401 * * [simplify]: Extracting # 9 : cost  0
5.401 * * [simplify]: Extracting # 10 : cost  0
5.401 * * [simplify]: iteration  0 :  34  enodes  (cost  147 )
5.414 * * [simplify]: Extracting # 0 : cost  0
5.414 * * [simplify]: Extracting # 1 : cost  0
5.414 * * [simplify]: Extracting # 2 : cost  0
5.415 * * [simplify]: Extracting # 3 : cost  0
5.415 * * [simplify]: iteration  1 :  63  enodes  (cost  142 )
5.440 * * [simplify]: Extracting # 0 : cost  0
5.440 * * [simplify]: Extracting # 1 : cost  0
5.441 * * [simplify]: Extracting # 2 : cost  0
5.441 * * [simplify]: Extracting # 3 : cost  0
5.441 * * [simplify]: Extracting # 4 : cost  0
5.441 * * [simplify]: iteration  2 :  136  enodes  (cost  129 )
5.515 * * [simplify]: Extracting # 0 : cost  0
5.516 * * [simplify]: Extracting # 1 : cost  0
5.517 * * [simplify]: Extracting # 2 : cost  0
5.517 * * [simplify]: Extracting # 3 : cost  0
5.518 * * [simplify]: iteration  3 :  360  enodes  (cost  125 )
5.955 * * [simplify]: Extracting # 0 : cost  0
5.958 * * [simplify]: Extracting # 1 : cost  0
5.960 * * [simplify]: Extracting # 2 : cost  0
5.961 * * [simplify]: Extracting # 3 : cost  0
5.963 * * [simplify]: Extracting # 4 : cost  0
5.965 * * [simplify]: iteration  4 :  1068  enodes  (cost  124 )
7.119 * * [simplify]: Extracting # 0 : cost  0
7.122 * * [simplify]: Extracting # 1 : cost  0
7.125 * * [simplify]: Extracting # 2 : cost  0
7.127 * * [simplify]: Extracting # 3 : cost  0
7.130 * * [simplify]: Extracting # 4 : cost  0
7.132 * * [simplify]: Extracting # 5 : cost  0
7.135 * * [simplify]: iteration  5 :  2997  enodes  (cost  123 )
8.534 * * [simplify]: Extracting # 0 : cost  0
8.545 * * [simplify]: Extracting # 1 : cost  0
8.550 * * [simplify]: Extracting # 2 : cost  0
8.555 * * [simplify]: Extracting # 3 : cost  0
8.560 * * [simplify]: Extracting # 4 : cost  0
8.565 * * [simplify]: iteration done:  5000  enodes  (cost  123 )
8.565 * [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.566 * * * [progress]: adding candidates to table
8.605 * * [progress]: iteration 2 / 4
8.605 * * * [progress]: picking best candidate
8.607 * * * * [pick]: Picked  #<alt (λ (x) (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))>
8.608 * * * [progress]: localizing error
8.620 * * * [progress]: generating rewritten candidates
8.620 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
8.624 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
8.626 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1)
8.629 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
8.676 * * * [progress]: generating series expansions
8.676 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
8.677 * [backup-simplify]: Simplify (cbrt (exp (fma x x (- 1.0)))) into (pow (exp (fma x x (- 1.0))) 1/3)
8.677 * [approximate]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in (x) around 0
8.677 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
8.677 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
8.677 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
8.677 * [taylor]: Taking taylor expansion of 1/3 in x
8.677 * [backup-simplify]: Simplify 1/3 into 1/3
8.677 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
8.677 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.677 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.677 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.677 * [taylor]: Taking taylor expansion of (* x x) in x
8.677 * [taylor]: Taking taylor expansion of x in x
8.677 * [backup-simplify]: Simplify 0 into 0
8.677 * [backup-simplify]: Simplify 1 into 1
8.677 * [taylor]: Taking taylor expansion of x in x
8.677 * [backup-simplify]: Simplify 0 into 0
8.677 * [backup-simplify]: Simplify 1 into 1
8.677 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.677 * [taylor]: Taking taylor expansion of 1.0 in x
8.677 * [backup-simplify]: Simplify 1.0 into 1.0
8.678 * [backup-simplify]: Simplify (* 0 0) into 0
8.678 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.679 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.679 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.680 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
8.681 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
8.681 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.681 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
8.681 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
8.681 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
8.681 * [taylor]: Taking taylor expansion of 1/3 in x
8.681 * [backup-simplify]: Simplify 1/3 into 1/3
8.681 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
8.681 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.681 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.681 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.681 * [taylor]: Taking taylor expansion of (* x x) in x
8.681 * [taylor]: Taking taylor expansion of x in x
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.681 * [taylor]: Taking taylor expansion of x in x
8.681 * [backup-simplify]: Simplify 0 into 0
8.681 * [backup-simplify]: Simplify 1 into 1
8.681 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.681 * [taylor]: Taking taylor expansion of 1.0 in x
8.681 * [backup-simplify]: Simplify 1.0 into 1.0
8.682 * [backup-simplify]: Simplify (* 0 0) into 0
8.682 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.682 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.683 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.684 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
8.684 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
8.684 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.685 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.685 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
8.686 * [backup-simplify]: Simplify (- 0) into 0
8.686 * [backup-simplify]: Simplify (+ 0 0) into 0
8.687 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
8.688 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (- 1.0)) 1)))) 1) into 0
8.688 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- 1.0))) into 0
8.689 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 1) 1)))) into 0
8.689 * [backup-simplify]: Simplify 0 into 0
8.690 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
8.690 * [backup-simplify]: Simplify (- 0) into 0
8.690 * [backup-simplify]: Simplify (+ 1 0) into 1
8.694 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
8.707 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 1)))) 2) into 1
8.708 * [backup-simplify]: Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 1/3
8.710 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -0.3333333333333333))
8.710 * [backup-simplify]: Simplify (* 1/3 (exp -0.3333333333333333)) into (* 1/3 (exp -0.3333333333333333))
8.711 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
8.711 * [backup-simplify]: Simplify (- 0) into 0
8.711 * [backup-simplify]: Simplify (+ 0 0) into 0
8.713 * [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.716 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 1)))) 6) into 0
8.717 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
8.719 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.719 * [backup-simplify]: Simplify 0 into 0
8.719 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.720 * [backup-simplify]: Simplify (- 0) into 0
8.720 * [backup-simplify]: Simplify (+ 0 0) into 0
8.725 * [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.767 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (- 1.0)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* 1 (pow (* 2 (exp (- 1.0))) 2)) (pow (exp (- 1.0)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp (- 1.0)))) 1)) (pow (exp (- 1.0)) 1)))) 24) into 0
8.768 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
8.775 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -0.3333333333333333))
8.776 * [backup-simplify]: Simplify (* 1/18 (exp -0.3333333333333333)) into (* 1/18 (exp -0.3333333333333333))
8.778 * [backup-simplify]: Simplify (+ (* (* 1/18 (exp -0.3333333333333333)) (pow x 4)) (+ (* (* 1/3 (exp -0.3333333333333333)) (pow x 2)) (exp -0.3333333333333333))) into (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
8.779 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3)
8.779 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in (x) around 0
8.779 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
8.779 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
8.779 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
8.779 * [taylor]: Taking taylor expansion of 1/3 in x
8.779 * [backup-simplify]: Simplify 1/3 into 1/3
8.779 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
8.779 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.779 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.779 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.780 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.780 * [taylor]: Taking taylor expansion of x in x
8.780 * [backup-simplify]: Simplify 0 into 0
8.780 * [backup-simplify]: Simplify 1 into 1
8.780 * [backup-simplify]: Simplify (/ 1 1) into 1
8.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.780 * [taylor]: Taking taylor expansion of x in x
8.780 * [backup-simplify]: Simplify 0 into 0
8.780 * [backup-simplify]: Simplify 1 into 1
8.780 * [backup-simplify]: Simplify (/ 1 1) into 1
8.781 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.781 * [taylor]: Taking taylor expansion of 1.0 in x
8.781 * [backup-simplify]: Simplify 1.0 into 1.0
8.781 * [backup-simplify]: Simplify (* 1 1) into 1
8.782 * [backup-simplify]: Simplify (+ 1 0) into 1
8.782 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.783 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
8.783 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.783 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
8.783 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
8.784 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
8.784 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
8.784 * [taylor]: Taking taylor expansion of 1/3 in x
8.784 * [backup-simplify]: Simplify 1/3 into 1/3
8.784 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
8.784 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
8.784 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
8.784 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
8.784 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
8.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.784 * [taylor]: Taking taylor expansion of x in x
8.784 * [backup-simplify]: Simplify 0 into 0
8.784 * [backup-simplify]: Simplify 1 into 1
8.784 * [backup-simplify]: Simplify (/ 1 1) into 1
8.784 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.784 * [taylor]: Taking taylor expansion of x in x
8.784 * [backup-simplify]: Simplify 0 into 0
8.784 * [backup-simplify]: Simplify 1 into 1
8.785 * [backup-simplify]: Simplify (/ 1 1) into 1
8.785 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.785 * [taylor]: Taking taylor expansion of 1.0 in x
8.785 * [backup-simplify]: Simplify 1.0 into 1.0
8.785 * [backup-simplify]: Simplify (* 1 1) into 1
8.786 * [backup-simplify]: Simplify (+ 1 0) into 1
8.786 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.786 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
8.787 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
8.787 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
8.788 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
8.789 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 1) into 0
8.790 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into 0
8.791 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
8.791 * [backup-simplify]: Simplify 0 into 0
8.793 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 2) into 0
8.794 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))) into 0
8.796 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.796 * [backup-simplify]: Simplify 0 into 0
8.800 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 6) into 0
8.801 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))) into 0
8.803 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.803 * [backup-simplify]: Simplify 0 into 0
8.809 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 24) into 0
8.810 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))) into 0
8.813 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.813 * [backup-simplify]: Simplify 0 into 0
8.822 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 120) into 0
8.824 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))))) into 0
8.828 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.828 * [backup-simplify]: Simplify 0 into 0
8.843 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 720) into 0
8.845 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))))) into 0
8.850 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.850 * [backup-simplify]: Simplify 0 into 0
8.851 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
8.851 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0)))) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3)
8.851 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in (x) around 0
8.851 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
8.851 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
8.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
8.852 * [taylor]: Taking taylor expansion of 1/3 in x
8.852 * [backup-simplify]: Simplify 1/3 into 1/3
8.852 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
8.852 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.852 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.852 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.852 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.852 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.852 * [taylor]: Taking taylor expansion of -1 in x
8.852 * [backup-simplify]: Simplify -1 into -1
8.852 * [taylor]: Taking taylor expansion of x in x
8.852 * [backup-simplify]: Simplify 0 into 0
8.852 * [backup-simplify]: Simplify 1 into 1
8.852 * [backup-simplify]: Simplify (/ -1 1) into -1
8.852 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.852 * [taylor]: Taking taylor expansion of -1 in x
8.853 * [backup-simplify]: Simplify -1 into -1
8.853 * [taylor]: Taking taylor expansion of x in x
8.853 * [backup-simplify]: Simplify 0 into 0
8.853 * [backup-simplify]: Simplify 1 into 1
8.853 * [backup-simplify]: Simplify (/ -1 1) into -1
8.853 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.853 * [taylor]: Taking taylor expansion of 1.0 in x
8.853 * [backup-simplify]: Simplify 1.0 into 1.0
8.853 * [backup-simplify]: Simplify (* -1 -1) into 1
8.854 * [backup-simplify]: Simplify (+ 1 0) into 1
8.854 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.855 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
8.855 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.856 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
8.856 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
8.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
8.856 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
8.856 * [taylor]: Taking taylor expansion of 1/3 in x
8.856 * [backup-simplify]: Simplify 1/3 into 1/3
8.856 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
8.856 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
8.856 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
8.856 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
8.856 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
8.856 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.856 * [taylor]: Taking taylor expansion of -1 in x
8.856 * [backup-simplify]: Simplify -1 into -1
8.856 * [taylor]: Taking taylor expansion of x in x
8.856 * [backup-simplify]: Simplify 0 into 0
8.856 * [backup-simplify]: Simplify 1 into 1
8.857 * [backup-simplify]: Simplify (/ -1 1) into -1
8.857 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.857 * [taylor]: Taking taylor expansion of -1 in x
8.857 * [backup-simplify]: Simplify -1 into -1
8.857 * [taylor]: Taking taylor expansion of x in x
8.857 * [backup-simplify]: Simplify 0 into 0
8.857 * [backup-simplify]: Simplify 1 into 1
8.857 * [backup-simplify]: Simplify (/ -1 1) into -1
8.857 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.857 * [taylor]: Taking taylor expansion of 1.0 in x
8.857 * [backup-simplify]: Simplify 1.0 into 1.0
8.858 * [backup-simplify]: Simplify (* -1 -1) into 1
8.858 * [backup-simplify]: Simplify (+ 1 0) into 1
8.858 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.859 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
8.859 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
8.860 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
8.860 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
8.862 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 1) into 0
8.862 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into 0
8.863 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
8.863 * [backup-simplify]: Simplify 0 into 0
8.866 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 2) into 0
8.867 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))) into 0
8.872 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.872 * [backup-simplify]: Simplify 0 into 0
8.876 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 6) into 0
8.877 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))) into 0
8.879 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.879 * [backup-simplify]: Simplify 0 into 0
8.885 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 24) into 0
8.887 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))) into 0
8.890 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.890 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 120) into 0
8.902 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))))) into 0
8.905 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.906 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 720) into 0
8.919 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))))) into 0
8.925 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
8.925 * [backup-simplify]: Simplify 0 into 0
8.925 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
8.926 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
8.926 * [backup-simplify]: Simplify (cbrt (exp (fma x x (- 1.0)))) into (pow (exp (fma x x (- 1.0))) 1/3)
8.926 * [approximate]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in (x) around 0
8.926 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
8.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
8.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
8.926 * [taylor]: Taking taylor expansion of 1/3 in x
8.926 * [backup-simplify]: Simplify 1/3 into 1/3
8.926 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
8.926 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.926 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.927 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.927 * [taylor]: Taking taylor expansion of (* x x) in x
8.927 * [taylor]: Taking taylor expansion of x in x
8.927 * [backup-simplify]: Simplify 0 into 0
8.927 * [backup-simplify]: Simplify 1 into 1
8.927 * [taylor]: Taking taylor expansion of x in x
8.927 * [backup-simplify]: Simplify 0 into 0
8.927 * [backup-simplify]: Simplify 1 into 1
8.927 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.927 * [taylor]: Taking taylor expansion of 1.0 in x
8.927 * [backup-simplify]: Simplify 1.0 into 1.0
8.927 * [backup-simplify]: Simplify (* 0 0) into 0
8.927 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.928 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.929 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.930 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
8.931 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
8.931 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.931 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
8.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
8.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
8.931 * [taylor]: Taking taylor expansion of 1/3 in x
8.932 * [backup-simplify]: Simplify 1/3 into 1/3
8.932 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
8.932 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
8.932 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
8.932 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
8.932 * [taylor]: Taking taylor expansion of (* x x) in x
8.932 * [taylor]: Taking taylor expansion of x in x
8.932 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify 1 into 1
8.932 * [taylor]: Taking taylor expansion of x in x
8.932 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify 1 into 1
8.932 * [taylor]: Taking taylor expansion of (- 1.0) in x
8.932 * [taylor]: Taking taylor expansion of 1.0 in x
8.932 * [backup-simplify]: Simplify 1.0 into 1.0
8.933 * [backup-simplify]: Simplify (* 0 0) into 0
8.933 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.934 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.934 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
8.936 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
8.936 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
8.937 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.937 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
8.938 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
8.938 * [backup-simplify]: Simplify (- 0) into 0
8.938 * [backup-simplify]: Simplify (+ 0 0) into 0
8.939 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
8.940 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (- 1.0)) 1)))) 1) into 0
8.940 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- 1.0))) into 0
8.941 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 1) 1)))) into 0
8.941 * [backup-simplify]: Simplify 0 into 0
8.941 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
8.942 * [backup-simplify]: Simplify (- 0) into 0
8.942 * [backup-simplify]: Simplify (+ 1 0) into 1
8.944 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
8.953 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 1)))) 2) into 1
8.953 * [backup-simplify]: Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 1/3
8.955 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -0.3333333333333333))
8.956 * [backup-simplify]: Simplify (* 1/3 (exp -0.3333333333333333)) into (* 1/3 (exp -0.3333333333333333))
8.957 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
8.957 * [backup-simplify]: Simplify (- 0) into 0
8.957 * [backup-simplify]: Simplify (+ 0 0) into 0
8.959 * [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.962 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 1)))) 6) into 0
8.963 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
8.964 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
8.964 * [backup-simplify]: Simplify 0 into 0
8.965 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
8.965 * [backup-simplify]: Simplify (- 0) into 0
8.965 * [backup-simplify]: Simplify (+ 0 0) into 0
8.970 * [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)))
9.004 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (- 1.0)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* 1 (pow (* 2 (exp (- 1.0))) 2)) (pow (exp (- 1.0)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp (- 1.0)))) 1)) (pow (exp (- 1.0)) 1)))) 24) into 0
9.005 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
9.012 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -0.3333333333333333))
9.012 * [backup-simplify]: Simplify (* 1/18 (exp -0.3333333333333333)) into (* 1/18 (exp -0.3333333333333333))
9.014 * [backup-simplify]: Simplify (+ (* (* 1/18 (exp -0.3333333333333333)) (pow x 4)) (+ (* (* 1/3 (exp -0.3333333333333333)) (pow x 2)) (exp -0.3333333333333333))) into (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
9.015 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3)
9.015 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in (x) around 0
9.015 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
9.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
9.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
9.015 * [taylor]: Taking taylor expansion of 1/3 in x
9.015 * [backup-simplify]: Simplify 1/3 into 1/3
9.015 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
9.015 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.015 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.015 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.015 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.015 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.015 * [taylor]: Taking taylor expansion of x in x
9.015 * [backup-simplify]: Simplify 0 into 0
9.015 * [backup-simplify]: Simplify 1 into 1
9.016 * [backup-simplify]: Simplify (/ 1 1) into 1
9.016 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.016 * [taylor]: Taking taylor expansion of x in x
9.016 * [backup-simplify]: Simplify 0 into 0
9.016 * [backup-simplify]: Simplify 1 into 1
9.016 * [backup-simplify]: Simplify (/ 1 1) into 1
9.016 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.016 * [taylor]: Taking taylor expansion of 1.0 in x
9.016 * [backup-simplify]: Simplify 1.0 into 1.0
9.017 * [backup-simplify]: Simplify (* 1 1) into 1
9.017 * [backup-simplify]: Simplify (+ 1 0) into 1
9.017 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.018 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
9.018 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.019 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.019 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
9.019 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
9.019 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
9.019 * [taylor]: Taking taylor expansion of 1/3 in x
9.019 * [backup-simplify]: Simplify 1/3 into 1/3
9.019 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
9.019 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.019 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.019 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.019 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.019 * [taylor]: Taking taylor expansion of x in x
9.019 * [backup-simplify]: Simplify 0 into 0
9.019 * [backup-simplify]: Simplify 1 into 1
9.019 * [backup-simplify]: Simplify (/ 1 1) into 1
9.019 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.020 * [taylor]: Taking taylor expansion of x in x
9.020 * [backup-simplify]: Simplify 0 into 0
9.020 * [backup-simplify]: Simplify 1 into 1
9.020 * [backup-simplify]: Simplify (/ 1 1) into 1
9.020 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.020 * [taylor]: Taking taylor expansion of 1.0 in x
9.020 * [backup-simplify]: Simplify 1.0 into 1.0
9.020 * [backup-simplify]: Simplify (* 1 1) into 1
9.021 * [backup-simplify]: Simplify (+ 1 0) into 1
9.021 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.021 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
9.022 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.022 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.023 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.024 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 1) into 0
9.025 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into 0
9.026 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
9.026 * [backup-simplify]: Simplify 0 into 0
9.028 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 2) into 0
9.029 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))) into 0
9.030 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.031 * [backup-simplify]: Simplify 0 into 0
9.034 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 6) into 0
9.035 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))) into 0
9.037 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.037 * [backup-simplify]: Simplify 0 into 0
9.043 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 24) into 0
9.045 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))) into 0
9.047 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.047 * [backup-simplify]: Simplify 0 into 0
9.056 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 120) into 0
9.058 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))))) into 0
9.061 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.061 * [backup-simplify]: Simplify 0 into 0
9.075 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 720) into 0
9.077 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))))) into 0
9.082 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.082 * [backup-simplify]: Simplify 0 into 0
9.083 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
9.083 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0)))) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3)
9.083 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in (x) around 0
9.083 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
9.083 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
9.083 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
9.083 * [taylor]: Taking taylor expansion of 1/3 in x
9.083 * [backup-simplify]: Simplify 1/3 into 1/3
9.084 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
9.084 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.084 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.084 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.084 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.084 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.084 * [taylor]: Taking taylor expansion of -1 in x
9.084 * [backup-simplify]: Simplify -1 into -1
9.084 * [taylor]: Taking taylor expansion of x in x
9.084 * [backup-simplify]: Simplify 0 into 0
9.084 * [backup-simplify]: Simplify 1 into 1
9.084 * [backup-simplify]: Simplify (/ -1 1) into -1
9.084 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.084 * [taylor]: Taking taylor expansion of -1 in x
9.084 * [backup-simplify]: Simplify -1 into -1
9.084 * [taylor]: Taking taylor expansion of x in x
9.084 * [backup-simplify]: Simplify 0 into 0
9.084 * [backup-simplify]: Simplify 1 into 1
9.085 * [backup-simplify]: Simplify (/ -1 1) into -1
9.085 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.085 * [taylor]: Taking taylor expansion of 1.0 in x
9.085 * [backup-simplify]: Simplify 1.0 into 1.0
9.085 * [backup-simplify]: Simplify (* -1 -1) into 1
9.086 * [backup-simplify]: Simplify (+ 1 0) into 1
9.089 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.090 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
9.090 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.091 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.091 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
9.091 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
9.091 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
9.091 * [taylor]: Taking taylor expansion of 1/3 in x
9.091 * [backup-simplify]: Simplify 1/3 into 1/3
9.091 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
9.091 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.091 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.091 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.091 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.091 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.091 * [taylor]: Taking taylor expansion of -1 in x
9.091 * [backup-simplify]: Simplify -1 into -1
9.092 * [taylor]: Taking taylor expansion of x in x
9.092 * [backup-simplify]: Simplify 0 into 0
9.092 * [backup-simplify]: Simplify 1 into 1
9.092 * [backup-simplify]: Simplify (/ -1 1) into -1
9.092 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.092 * [taylor]: Taking taylor expansion of -1 in x
9.092 * [backup-simplify]: Simplify -1 into -1
9.092 * [taylor]: Taking taylor expansion of x in x
9.092 * [backup-simplify]: Simplify 0 into 0
9.092 * [backup-simplify]: Simplify 1 into 1
9.092 * [backup-simplify]: Simplify (/ -1 1) into -1
9.092 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.093 * [taylor]: Taking taylor expansion of 1.0 in x
9.093 * [backup-simplify]: Simplify 1.0 into 1.0
9.093 * [backup-simplify]: Simplify (* -1 -1) into 1
9.093 * [backup-simplify]: Simplify (+ 1 0) into 1
9.094 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.094 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
9.095 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.095 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.096 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.097 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 1) into 0
9.098 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into 0
9.099 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
9.099 * [backup-simplify]: Simplify 0 into 0
9.101 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 2) into 0
9.102 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))) into 0
9.103 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.103 * [backup-simplify]: Simplify 0 into 0
9.107 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 6) into 0
9.109 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))) into 0
9.111 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.111 * [backup-simplify]: Simplify 0 into 0
9.117 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 24) into 0
9.119 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))) into 0
9.122 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.122 * [backup-simplify]: Simplify 0 into 0
9.131 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 120) into 0
9.133 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))))) into 0
9.137 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.137 * [backup-simplify]: Simplify 0 into 0
9.152 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 720) into 0
9.155 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))))) into 0
9.160 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.160 * [backup-simplify]: Simplify 0 into 0
9.161 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
9.161 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1)
9.161 * [backup-simplify]: Simplify (cbrt (exp (fma x x (- 1.0)))) into (pow (exp (fma x x (- 1.0))) 1/3)
9.161 * [approximate]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in (x) around 0
9.161 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
9.161 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
9.161 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
9.161 * [taylor]: Taking taylor expansion of 1/3 in x
9.161 * [backup-simplify]: Simplify 1/3 into 1/3
9.161 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
9.162 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
9.162 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
9.162 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
9.162 * [taylor]: Taking taylor expansion of (* x x) in x
9.162 * [taylor]: Taking taylor expansion of x in x
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify 1 into 1
9.162 * [taylor]: Taking taylor expansion of x in x
9.162 * [backup-simplify]: Simplify 0 into 0
9.162 * [backup-simplify]: Simplify 1 into 1
9.162 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.162 * [taylor]: Taking taylor expansion of 1.0 in x
9.162 * [backup-simplify]: Simplify 1.0 into 1.0
9.162 * [backup-simplify]: Simplify (* 0 0) into 0
9.163 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.163 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
9.164 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.166 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
9.166 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
9.167 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
9.167 * [taylor]: Taking taylor expansion of (pow (exp (fma x x (- 1.0))) 1/3) in x
9.167 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma x x (- 1.0)))))) in x
9.167 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma x x (- 1.0))))) in x
9.167 * [taylor]: Taking taylor expansion of 1/3 in x
9.167 * [backup-simplify]: Simplify 1/3 into 1/3
9.167 * [taylor]: Taking taylor expansion of (log (exp (fma x x (- 1.0)))) in x
9.167 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
9.167 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
9.167 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
9.167 * [taylor]: Taking taylor expansion of (* x x) in x
9.167 * [taylor]: Taking taylor expansion of x in x
9.167 * [backup-simplify]: Simplify 0 into 0
9.167 * [backup-simplify]: Simplify 1 into 1
9.167 * [taylor]: Taking taylor expansion of x in x
9.167 * [backup-simplify]: Simplify 0 into 0
9.167 * [backup-simplify]: Simplify 1 into 1
9.167 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.167 * [taylor]: Taking taylor expansion of 1.0 in x
9.167 * [backup-simplify]: Simplify 1.0 into 1.0
9.168 * [backup-simplify]: Simplify (* 0 0) into 0
9.168 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.169 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
9.169 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.171 * [backup-simplify]: Simplify (log (exp (- 1.0))) into (- 1.0)
9.171 * [backup-simplify]: Simplify (* 1/3 (- 1.0)) into -0.3333333333333333
9.172 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
9.172 * [backup-simplify]: Simplify (exp -0.3333333333333333) into (exp -0.3333333333333333)
9.173 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
9.173 * [backup-simplify]: Simplify (- 0) into 0
9.173 * [backup-simplify]: Simplify (+ 0 0) into 0
9.174 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
9.176 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (- 1.0)) 1)))) 1) into 0
9.176 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (- 1.0))) into 0
9.177 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 1) 1)))) into 0
9.177 * [backup-simplify]: Simplify 0 into 0
9.178 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
9.178 * [backup-simplify]: Simplify (- 0) into 0
9.179 * [backup-simplify]: Simplify (+ 1 0) into 1
9.182 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
9.194 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 1)))) 2) into 1
9.195 * [backup-simplify]: Simplify (+ (* 1/3 1) (+ (* 0 0) (* 0 (- 1.0)))) into 1/3
9.198 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1/3 1) 1)))) into (* 1/3 (exp -0.3333333333333333))
9.199 * [backup-simplify]: Simplify (* 1/3 (exp -0.3333333333333333)) into (* 1/3 (exp -0.3333333333333333))
9.200 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
9.200 * [backup-simplify]: Simplify (- 0) into 0
9.201 * [backup-simplify]: Simplify (+ 0 0) into 0
9.203 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.207 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 1)))) 6) into 0
9.208 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0))))) into 0
9.211 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.211 * [backup-simplify]: Simplify 0 into 0
9.215 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.216 * [backup-simplify]: Simplify (- 0) into 0
9.216 * [backup-simplify]: Simplify (+ 0 0) into 0
9.223 * [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)))
9.254 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (- 1.0)) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 (exp (- 1.0))) 1)) (pow (exp (- 1.0)) 3))) (* -3 (/ (* 1 (pow (* 2 (exp (- 1.0))) 2)) (pow (exp (- 1.0)) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (- 1.0)) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 (* 1/2 (exp (- 1.0)))) 1)) (pow (exp (- 1.0)) 1)))) 24) into 0
9.256 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 1) (+ (* 0 0) (* 0 (- 1.0)))))) into 0
9.262 * [backup-simplify]: Simplify (* (exp -0.3333333333333333) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1/3 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1/3 2) 2)) (* (/ (pow 0 1) 1)))) into (* 1/18 (exp -0.3333333333333333))
9.263 * [backup-simplify]: Simplify (* 1/18 (exp -0.3333333333333333)) into (* 1/18 (exp -0.3333333333333333))
9.265 * [backup-simplify]: Simplify (+ (* (* 1/18 (exp -0.3333333333333333)) (pow x 4)) (+ (* (* 1/3 (exp -0.3333333333333333)) (pow x 2)) (exp -0.3333333333333333))) into (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
9.266 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3)
9.266 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in (x) around 0
9.266 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
9.266 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
9.266 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
9.266 * [taylor]: Taking taylor expansion of 1/3 in x
9.266 * [backup-simplify]: Simplify 1/3 into 1/3
9.266 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
9.266 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.266 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.266 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.266 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.266 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.266 * [taylor]: Taking taylor expansion of x in x
9.266 * [backup-simplify]: Simplify 0 into 0
9.266 * [backup-simplify]: Simplify 1 into 1
9.267 * [backup-simplify]: Simplify (/ 1 1) into 1
9.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.267 * [taylor]: Taking taylor expansion of x in x
9.267 * [backup-simplify]: Simplify 0 into 0
9.267 * [backup-simplify]: Simplify 1 into 1
9.267 * [backup-simplify]: Simplify (/ 1 1) into 1
9.267 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.267 * [taylor]: Taking taylor expansion of 1.0 in x
9.267 * [backup-simplify]: Simplify 1.0 into 1.0
9.268 * [backup-simplify]: Simplify (* 1 1) into 1
9.268 * [backup-simplify]: Simplify (+ 1 0) into 1
9.268 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.269 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
9.269 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.270 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.270 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1/3) in x
9.270 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))))) in x
9.270 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) in x
9.270 * [taylor]: Taking taylor expansion of 1/3 in x
9.270 * [backup-simplify]: Simplify 1/3 into 1/3
9.270 * [taylor]: Taking taylor expansion of (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) in x
9.270 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.270 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.270 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.270 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.270 * [taylor]: Taking taylor expansion of x in x
9.270 * [backup-simplify]: Simplify 0 into 0
9.270 * [backup-simplify]: Simplify 1 into 1
9.270 * [backup-simplify]: Simplify (/ 1 1) into 1
9.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.270 * [taylor]: Taking taylor expansion of x in x
9.270 * [backup-simplify]: Simplify 0 into 0
9.270 * [backup-simplify]: Simplify 1 into 1
9.271 * [backup-simplify]: Simplify (/ 1 1) into 1
9.271 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.271 * [taylor]: Taking taylor expansion of 1.0 in x
9.271 * [backup-simplify]: Simplify 1.0 into 1.0
9.271 * [backup-simplify]: Simplify (* 1 1) into 1
9.271 * [backup-simplify]: Simplify (+ 1 0) into 1
9.272 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.272 * [backup-simplify]: Simplify (log (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (fma (/ 1 x) (/ 1 x) (- 1.0))
9.273 * [backup-simplify]: Simplify (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))) into (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.273 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.274 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0))))
9.275 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 1) into 0
9.276 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))) into 0
9.277 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
9.277 * [backup-simplify]: Simplify 0 into 0
9.279 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 2) into 0
9.280 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))) into 0
9.281 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.281 * [backup-simplify]: Simplify 0 into 0
9.285 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 6) into 0
9.286 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))) into 0
9.288 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.288 * [backup-simplify]: Simplify 0 into 0
9.293 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 24) into 0
9.295 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))) into 0
9.298 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.298 * [backup-simplify]: Simplify 0 into 0
9.307 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 120) into 0
9.309 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0)))))))) into 0
9.312 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.312 * [backup-simplify]: Simplify 0 into 0
9.330 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) 1)))) 720) into 0
9.331 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ 1 x) (/ 1 x) (- 1.0))))))))) into 0
9.335 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ 1 x) (/ 1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.335 * [backup-simplify]: Simplify 0 into 0
9.335 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
9.336 * [backup-simplify]: Simplify (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0)))) into (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3)
9.336 * [approximate]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in (x) around 0
9.336 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
9.336 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
9.336 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
9.336 * [taylor]: Taking taylor expansion of 1/3 in x
9.336 * [backup-simplify]: Simplify 1/3 into 1/3
9.336 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
9.336 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.336 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.336 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.336 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.336 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.336 * [taylor]: Taking taylor expansion of -1 in x
9.336 * [backup-simplify]: Simplify -1 into -1
9.336 * [taylor]: Taking taylor expansion of x in x
9.336 * [backup-simplify]: Simplify 0 into 0
9.336 * [backup-simplify]: Simplify 1 into 1
9.337 * [backup-simplify]: Simplify (/ -1 1) into -1
9.337 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.337 * [taylor]: Taking taylor expansion of -1 in x
9.337 * [backup-simplify]: Simplify -1 into -1
9.337 * [taylor]: Taking taylor expansion of x in x
9.337 * [backup-simplify]: Simplify 0 into 0
9.337 * [backup-simplify]: Simplify 1 into 1
9.337 * [backup-simplify]: Simplify (/ -1 1) into -1
9.337 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.337 * [taylor]: Taking taylor expansion of 1.0 in x
9.337 * [backup-simplify]: Simplify 1.0 into 1.0
9.337 * [backup-simplify]: Simplify (* -1 -1) into 1
9.338 * [backup-simplify]: Simplify (+ 1 0) into 1
9.338 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.338 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
9.339 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.339 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.339 * [taylor]: Taking taylor expansion of (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1/3) in x
9.339 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))))) in x
9.339 * [taylor]: Taking taylor expansion of (* 1/3 (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0))))) in x
9.339 * [taylor]: Taking taylor expansion of 1/3 in x
9.339 * [backup-simplify]: Simplify 1/3 into 1/3
9.339 * [taylor]: Taking taylor expansion of (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) in x
9.339 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.339 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.339 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.339 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.339 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.339 * [taylor]: Taking taylor expansion of -1 in x
9.339 * [backup-simplify]: Simplify -1 into -1
9.339 * [taylor]: Taking taylor expansion of x in x
9.339 * [backup-simplify]: Simplify 0 into 0
9.339 * [backup-simplify]: Simplify 1 into 1
9.340 * [backup-simplify]: Simplify (/ -1 1) into -1
9.340 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.340 * [taylor]: Taking taylor expansion of -1 in x
9.340 * [backup-simplify]: Simplify -1 into -1
9.340 * [taylor]: Taking taylor expansion of x in x
9.340 * [backup-simplify]: Simplify 0 into 0
9.340 * [backup-simplify]: Simplify 1 into 1
9.340 * [backup-simplify]: Simplify (/ -1 1) into -1
9.340 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.340 * [taylor]: Taking taylor expansion of 1.0 in x
9.340 * [backup-simplify]: Simplify 1.0 into 1.0
9.340 * [backup-simplify]: Simplify (* -1 -1) into 1
9.340 * [backup-simplify]: Simplify (+ 1 0) into 1
9.341 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.341 * [backup-simplify]: Simplify (log (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (fma (/ -1 x) (/ -1 x) (- 1.0))
9.341 * [backup-simplify]: Simplify (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))) into (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.342 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.342 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0))))
9.343 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 1) into 0
9.343 * [backup-simplify]: Simplify (+ (* 1/3 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))) into 0
9.344 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 1) 1)))) into 0
9.344 * [backup-simplify]: Simplify 0 into 0
9.346 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 2) into 0
9.347 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))) into 0
9.349 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.349 * [backup-simplify]: Simplify 0 into 0
9.352 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 6) into 0
9.353 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))) into 0
9.354 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.354 * [backup-simplify]: Simplify 0 into 0
9.359 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 24) into 0
9.361 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))) into 0
9.363 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.363 * [backup-simplify]: Simplify 0 into 0
9.372 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 120) into 0
9.374 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0)))))))) into 0
9.377 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.377 * [backup-simplify]: Simplify 0 into 0
9.391 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) 1)))) 720) into 0
9.393 * [backup-simplify]: Simplify (+ (* 1/3 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fma (/ -1 x) (/ -1 x) (- 1.0))))))))) into 0
9.398 * [backup-simplify]: Simplify (* (exp (* 1/3 (fma (/ -1 x) (/ -1 x) (- 1.0)))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
9.398 * [backup-simplify]: Simplify 0 into 0
9.399 * [backup-simplify]: Simplify (exp (* 1/3 (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0)))) into (exp (* 1/3 (fma x x (- 1.0))))
9.399 * * * * [progress]: [ 4 / 4 ] generating series at (2)
9.400 * [backup-simplify]: Simplify (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))) into (exp (fma x x (- 1.0)))
9.400 * [approximate]: Taking taylor expansion of (exp (fma x x (- 1.0))) in (x) around 0
9.400 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
9.400 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
9.400 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
9.400 * [taylor]: Taking taylor expansion of (* x x) in x
9.400 * [taylor]: Taking taylor expansion of x in x
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 1 into 1
9.400 * [taylor]: Taking taylor expansion of x in x
9.400 * [backup-simplify]: Simplify 0 into 0
9.400 * [backup-simplify]: Simplify 1 into 1
9.400 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.400 * [taylor]: Taking taylor expansion of 1.0 in x
9.400 * [backup-simplify]: Simplify 1.0 into 1.0
9.401 * [backup-simplify]: Simplify (* 0 0) into 0
9.401 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.402 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
9.402 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.402 * [taylor]: Taking taylor expansion of (exp (fma x x (- 1.0))) in x
9.402 * [taylor]: Taking taylor expansion of (fma x x (- 1.0)) in x
9.402 * [taylor]: Rewrote expression to (+ (* x x) (- 1.0))
9.402 * [taylor]: Taking taylor expansion of (* x x) in x
9.402 * [taylor]: Taking taylor expansion of x in x
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 1 into 1
9.403 * [taylor]: Taking taylor expansion of x in x
9.403 * [backup-simplify]: Simplify 0 into 0
9.403 * [backup-simplify]: Simplify 1 into 1
9.403 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.403 * [taylor]: Taking taylor expansion of 1.0 in x
9.403 * [backup-simplify]: Simplify 1.0 into 1.0
9.403 * [backup-simplify]: Simplify (* 0 0) into 0
9.403 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
9.404 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
9.405 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.405 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.406 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 0)) into 0
9.406 * [backup-simplify]: Simplify (- 0) into 0
9.407 * [backup-simplify]: Simplify (+ 0 0) into 0
9.408 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 1) 1)))) into 0
9.408 * [backup-simplify]: Simplify 0 into 0
9.408 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 0))) into 1
9.409 * [backup-simplify]: Simplify (- 0) into 0
9.409 * [backup-simplify]: Simplify (+ 1 0) into 1
9.412 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1 1) 1)))) into (exp (- 1.0))
9.413 * [backup-simplify]: Simplify (exp (- 1.0)) into (exp (- 1.0))
9.414 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 0)))) into 0
9.414 * [backup-simplify]: Simplify (- 0) into 0
9.414 * [backup-simplify]: Simplify (+ 0 0) into 0
9.416 * [backup-simplify]: Simplify (* (exp (- 1.0)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1 1) 1)) (* (/ (pow 0 1) 1)))) into 0
9.416 * [backup-simplify]: Simplify 0 into 0
9.417 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
9.418 * [backup-simplify]: Simplify (- 0) into 0
9.418 * [backup-simplify]: Simplify (+ 0 0) into 0
9.425 * [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)))
9.426 * [backup-simplify]: Simplify (* 1/2 (exp (- 1.0))) into (* 1/2 (exp (- 1.0)))
9.429 * [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))))))
9.430 * [backup-simplify]: Simplify (* (* (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))) (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) (cbrt (exp (fma (/ 1 x) (/ 1 x) (- 1.0))))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.430 * [approximate]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in (x) around 0
9.431 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.431 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.431 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.431 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.431 * [taylor]: Taking taylor expansion of x in x
9.431 * [backup-simplify]: Simplify 0 into 0
9.431 * [backup-simplify]: Simplify 1 into 1
9.431 * [backup-simplify]: Simplify (/ 1 1) into 1
9.431 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.431 * [taylor]: Taking taylor expansion of x in x
9.431 * [backup-simplify]: Simplify 0 into 0
9.431 * [backup-simplify]: Simplify 1 into 1
9.432 * [backup-simplify]: Simplify (/ 1 1) into 1
9.432 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.432 * [taylor]: Taking taylor expansion of 1.0 in x
9.432 * [backup-simplify]: Simplify 1.0 into 1.0
9.432 * [backup-simplify]: Simplify (* 1 1) into 1
9.436 * [backup-simplify]: Simplify (+ 1 0) into 1
9.436 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.436 * [taylor]: Taking taylor expansion of (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) in x
9.436 * [taylor]: Taking taylor expansion of (fma (/ 1 x) (/ 1 x) (- 1.0)) in x
9.437 * [taylor]: Rewrote expression to (+ (* (/ 1 x) (/ 1 x)) (- 1.0))
9.437 * [taylor]: Taking taylor expansion of (* (/ 1 x) (/ 1 x)) in x
9.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.437 * [taylor]: Taking taylor expansion of x in x
9.437 * [backup-simplify]: Simplify 0 into 0
9.437 * [backup-simplify]: Simplify 1 into 1
9.437 * [backup-simplify]: Simplify (/ 1 1) into 1
9.437 * [taylor]: Taking taylor expansion of (/ 1 x) in x
9.437 * [taylor]: Taking taylor expansion of x in x
9.437 * [backup-simplify]: Simplify 0 into 0
9.437 * [backup-simplify]: Simplify 1 into 1
9.437 * [backup-simplify]: Simplify (/ 1 1) into 1
9.437 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.437 * [taylor]: Taking taylor expansion of 1.0 in x
9.438 * [backup-simplify]: Simplify 1.0 into 1.0
9.438 * [backup-simplify]: Simplify (* 1 1) into 1
9.438 * [backup-simplify]: Simplify (+ 1 0) into 1
9.439 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.439 * [backup-simplify]: Simplify (exp (fma (/ 1 x) (/ 1 x) (- 1.0))) into (exp (fma (/ 1 x) (/ 1 x) (- 1.0)))
9.439 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify 0 into 0
9.439 * [backup-simplify]: Simplify 0 into 0
9.440 * [backup-simplify]: Simplify (exp (fma (/ 1 (/ 1 x)) (/ 1 (/ 1 x)) (- 1.0))) into (exp (fma x x (- 1.0)))
9.441 * [backup-simplify]: Simplify (* (* (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0)))) (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))))) (cbrt (exp (fma (/ 1 (- x)) (/ 1 (- x)) (- 1.0))))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.441 * [approximate]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in (x) around 0
9.441 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.441 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.441 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.441 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.441 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.442 * [taylor]: Taking taylor expansion of -1 in x
9.442 * [backup-simplify]: Simplify -1 into -1
9.442 * [taylor]: Taking taylor expansion of x in x
9.442 * [backup-simplify]: Simplify 0 into 0
9.442 * [backup-simplify]: Simplify 1 into 1
9.442 * [backup-simplify]: Simplify (/ -1 1) into -1
9.442 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.442 * [taylor]: Taking taylor expansion of -1 in x
9.442 * [backup-simplify]: Simplify -1 into -1
9.442 * [taylor]: Taking taylor expansion of x in x
9.442 * [backup-simplify]: Simplify 0 into 0
9.442 * [backup-simplify]: Simplify 1 into 1
9.442 * [backup-simplify]: Simplify (/ -1 1) into -1
9.442 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.443 * [taylor]: Taking taylor expansion of 1.0 in x
9.443 * [backup-simplify]: Simplify 1.0 into 1.0
9.443 * [backup-simplify]: Simplify (* -1 -1) into 1
9.443 * [backup-simplify]: Simplify (+ 1 0) into 1
9.444 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.444 * [taylor]: Taking taylor expansion of (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) in x
9.444 * [taylor]: Taking taylor expansion of (fma (/ -1 x) (/ -1 x) (- 1.0)) in x
9.444 * [taylor]: Rewrote expression to (+ (* (/ -1 x) (/ -1 x)) (- 1.0))
9.444 * [taylor]: Taking taylor expansion of (* (/ -1 x) (/ -1 x)) in x
9.444 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.444 * [taylor]: Taking taylor expansion of -1 in x
9.444 * [backup-simplify]: Simplify -1 into -1
9.444 * [taylor]: Taking taylor expansion of x in x
9.444 * [backup-simplify]: Simplify 0 into 0
9.444 * [backup-simplify]: Simplify 1 into 1
9.444 * [backup-simplify]: Simplify (/ -1 1) into -1
9.444 * [taylor]: Taking taylor expansion of (/ -1 x) in x
9.444 * [taylor]: Taking taylor expansion of -1 in x
9.444 * [backup-simplify]: Simplify -1 into -1
9.444 * [taylor]: Taking taylor expansion of x in x
9.444 * [backup-simplify]: Simplify 0 into 0
9.444 * [backup-simplify]: Simplify 1 into 1
9.445 * [backup-simplify]: Simplify (/ -1 1) into -1
9.445 * [taylor]: Taking taylor expansion of (- 1.0) in x
9.445 * [taylor]: Taking taylor expansion of 1.0 in x
9.445 * [backup-simplify]: Simplify 1.0 into 1.0
9.445 * [backup-simplify]: Simplify (* -1 -1) into 1
9.446 * [backup-simplify]: Simplify (+ 1 0) into 1
9.446 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.446 * [backup-simplify]: Simplify (exp (fma (/ -1 x) (/ -1 x) (- 1.0))) into (exp (fma (/ -1 x) (/ -1 x) (- 1.0)))
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify 0 into 0
9.447 * [backup-simplify]: Simplify (exp (fma (/ -1 (/ 1 (- x))) (/ -1 (/ 1 (- x))) (- 1.0))) into (exp (fma x x (- 1.0)))
9.447 * * * [progress]: simplifying candidates
9.449 * [simplify]: Simplifying:
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (log (cbrt (exp (fma x x (- 1.0)))))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt 1)
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (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)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (log (cbrt (exp (fma x x (- 1.0)))))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt 1)
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (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)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (log (cbrt (exp (fma x x (- 1.0)))))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt 1)
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (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)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))
  (log1p (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))
  (+ (+ 1/3 1/3) 1/3)
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1/3) 1/3)
  (+ (* 2 1) 1)
  (* (* (exp (fma x x (- 1.0))) (exp (fma x x (- 1.0)))) (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)))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))))
  (+ (+ 1 1) 1)
  (+ 2 1)
  (+ (+ 1 1) 1)
  (+ (* 2 1) 1)
  (+ (+ (log (cbrt (exp (fma x x (- 1.0))))) (log (cbrt (exp (fma x x (- 1.0)))))) (log (cbrt (exp (fma x x (- 1.0))))))
  (+ (log (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))) (log (cbrt (exp (fma x x (- 1.0))))))
  (log (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))
  (exp (* (* (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))))
  (* (* (* (* (cbrt (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)))))) (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))) (exp (fma x x (- 1.0))))
  (* (cbrt (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))))) (cbrt (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0)))))))
  (cbrt (* (* (cbrt (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)))) (cbrt (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))))) (cbrt (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))))))
  (sqrt (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))
  (sqrt (* (* (cbrt (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)))) (cbrt (sqrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (sqrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (sqrt (cbrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (sqrt (cbrt (exp (fma x x (- 1.0))))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (* x x))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (* (cbrt (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))))) (cbrt (sqrt (exp (fma x x (- 1.0))))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt 1))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0)))))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (sqrt (cbrt (exp (fma x x (- 1.0))))))
  (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) 1)
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0)))))
  (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
  (exp (* 1/3 (fma x x (- 1.0))))
  (exp (* 1/3 (fma x x (- 1.0))))
  (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
  (exp (* 1/3 (fma x x (- 1.0))))
  (exp (* 1/3 (fma x x (- 1.0))))
  (+ (* 1/3 (* (exp -0.3333333333333333) (pow x 2))) (+ (exp -0.3333333333333333) (* 1/18 (* (exp -0.3333333333333333) (pow x 4)))))
  (exp (* 1/3 (fma x x (- 1.0))))
  (exp (* 1/3 (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)))
9.452 * * [simplify]: Extracting # 0 : cost  0
9.452 * * [simplify]: Extracting # 1 : cost  0
9.452 * * [simplify]: Extracting # 2 : cost  0
9.452 * * [simplify]: Extracting # 3 : cost  0
9.453 * * [simplify]: Extracting # 4 : cost  0
9.453 * * [simplify]: Extracting # 5 : cost  0
9.453 * * [simplify]: Extracting # 6 : cost  0
9.453 * * [simplify]: Extracting # 7 : cost  0
9.453 * * [simplify]: Extracting # 8 : cost  0
9.453 * * [simplify]: iteration  0 :  83  enodes  (cost  1376 )
9.481 * * [simplify]: Extracting # 0 : cost  0
9.482 * * [simplify]: Extracting # 1 : cost  0
9.482 * * [simplify]: Extracting # 2 : cost  0
9.482 * * [simplify]: iteration  1 :  178  enodes  (cost  1308 )
9.542 * * [simplify]: Extracting # 0 : cost  0
9.543 * * [simplify]: Extracting # 1 : cost  0
9.543 * * [simplify]: Extracting # 2 : cost  0
9.544 * * [simplify]: Extracting # 3 : cost  0
9.544 * * [simplify]: Extracting # 4 : cost  0
9.545 * * [simplify]: iteration  2 :  427  enodes  (cost  982 )
9.753 * * [simplify]: Extracting # 0 : cost  0
9.754 * * [simplify]: Extracting # 1 : cost  0
9.755 * * [simplify]: Extracting # 2 : cost  0
9.755 * * [simplify]: Extracting # 3 : cost  0
9.756 * * [simplify]: Extracting # 4 : cost  0
9.757 * * [simplify]: iteration  3 :  889  enodes  (cost  902 )
10.429 * * [simplify]: Extracting # 0 : cost  0
10.433 * * [simplify]: Extracting # 1 : cost  0
10.437 * * [simplify]: Extracting # 2 : cost  0
10.440 * * [simplify]: Extracting # 3 : cost  0
10.444 * * [simplify]: Extracting # 4 : cost  0
10.449 * * [simplify]: iteration  4 :  2559  enodes  (cost  795 )
11.808 * * [simplify]: Extracting # 0 : cost  0
11.816 * * [simplify]: Extracting # 1 : cost  0
11.828 * * [simplify]: Extracting # 2 : cost  0
11.836 * * [simplify]: Extracting # 3 : cost  0
11.844 * * [simplify]: Extracting # 4 : cost  0
11.852 * * [simplify]: iteration done:  5001  enodes  (cost  791 )
11.853 * [simplify]: Simplified to:
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (* 1/3 (fma x x (- 1.0)))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (pow (exp (fma x x (- 1.0))) 2/3))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  1
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (exp (fma x x (- 1.0)))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (* 1/3 (fma x x (- 1.0)))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (pow (exp (fma x x (- 1.0))) 2/3))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  1
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (exp (fma x x (- 1.0)))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (cbrt (exp (fma x x (- 1.0)))))
  (log1p (cbrt (exp (fma x x (- 1.0)))))
  (* 1/3 (fma x x (- 1.0)))
  (exp (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (exp (* x x)))
  (cbrt (exp (- 1.0)))
  (cbrt (pow (exp (fma x x (- 1.0))) 2/3))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  (cbrt (sqrt (exp (fma x x (- 1.0)))))
  1
  (cbrt (exp (fma x x (- 1.0))))
  (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0))))))
  (cbrt (cbrt (exp (fma x x (- 1.0)))))
  (exp (fma x x (- 1.0)))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (sqrt (cbrt (exp (fma x x (- 1.0)))))
  (expm1 (exp (fma x x (- 1.0))))
  (log1p (exp (fma x x (- 1.0))))
  1
  3
  3
  3
  1
  3
  (pow (exp (fma x x (- 1.0))) 3)
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
  3
  3
  3
  3
  (fma x x (- 1.0))
  (fma x x (- 1.0))
  (fma x x (- 1.0))
  (exp (exp (fma x x (- 1.0))))
  (pow (exp (fma x x (- 1.0))) 3)
  (pow (exp (fma x x (- 1.0))) 3)
  (pow (exp (fma x x (- 1.0))) 2/3)
  (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))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (sqrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (sqrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (sqrt (cbrt (exp (fma x x (- 1.0))))))
  (* (cbrt (exp (fma x x (- 1.0)))) (sqrt (cbrt (exp (fma x x (- 1.0))))))
  (* (pow (exp (fma x x (- 1.0))) 2/3) (cbrt (exp (* x x))))
  (* (cbrt (pow (exp (fma x x (- 1.0))) 2/3)) (pow (exp (fma x x (- 1.0))) 2/3))
  (* (cbrt (sqrt (exp (fma x x (- 1.0))))) (pow (exp (fma x x (- 1.0))) 2/3))
  (pow (exp (fma x x (- 1.0))) 2/3)
  (* (* (cbrt (cbrt (exp (fma x x (- 1.0))))) (cbrt (cbrt (exp (fma x x (- 1.0)))))) (pow (exp (fma x x (- 1.0))) 2/3))
  (* (sqrt (cbrt (exp (fma x x (- 1.0))))) (pow (exp (fma x x (- 1.0))) 2/3))
  (pow (exp (fma x x (- 1.0))) 2/3)
  (pow (exp (fma x x (- 1.0))) 2/3)
  (* (exp -0.3333333333333333) (fma 1/3 (* x x) (fma (pow x 4) 1/18 1)))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (exp (fma x x (- 1.0))))
  (* (exp -0.3333333333333333) (fma 1/3 (* x x) (fma (pow x 4) 1/18 1)))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (exp (fma x x (- 1.0))))
  (* (exp -0.3333333333333333) (fma 1/3 (* x x) (fma (pow x 4) 1/18 1)))
  (cbrt (exp (fma x x (- 1.0))))
  (cbrt (exp (fma x x (- 1.0))))
  (/ (fma x x (fma 1/2 (pow x 4) 1)) (exp 1.0))
  (exp (fma x x (- 1.0)))
  (exp (fma x x (- 1.0)))
11.854 * * * [progress]: adding candidates to table
12.116 * [progress]: [Phase 3 of 3] Extracting.
12.116 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))> #<alt (λ (x) (exp (fma x x (- 1.0))))>)
12.116 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.116 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (* (* (cbrt (exp (fma x x (- 1.0)))) (cbrt (exp (fma x x (- 1.0))))) (cbrt (exp (fma x x (- 1.0))))))> #<alt (λ (x) (exp (fma x x (- 1.0))))>)
12.134 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.134 * [simplify]: Simplifying:
  (exp (fma x x (- 1.0)))
12.134 * * [simplify]: Extracting # 0 : cost  0
12.134 * * [simplify]: Extracting # 1 : cost  0
12.134 * * [simplify]: Extracting # 2 : cost  0
12.134 * * [simplify]: Extracting # 3 : cost  0
12.134 * * [simplify]: Extracting # 4 : cost  0
12.134 * * [simplify]: Extracting # 5 : cost  0
12.134 * * [simplify]: iteration  0 :  5  enodes  (cost  6 )
12.135 * * [simplify]: Extracting # 0 : cost  0
12.135 * * [simplify]: iteration done:  5  enodes  (cost  6 )
12.135 * [simplify]: Simplified to:
  (exp (fma x x (- 1.0)))
13.622 * [regime-testing]: Baseline error score: 0.01815151322136087
13.624 * [regime-testing]: Oracle error score: 0.016195317656335764
13.628 * [regime-testing]: End program error score: 0.01815151322136087