47.525 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying:
  (- (exp x) 1.0)
0.046 * * [simplify]: iteration 0: 4 enodes
0.047 * * [simplify]: iteration 1: 6 enodes
0.048 * * [simplify]: iteration 2: 7 enodes
0.049 * * [simplify]: iteration complete: 7 enodes
0.049 * * [simplify]: Extracting #0: cost 1 inf + 0
0.049 * * [simplify]: Extracting #1: cost 4 inf + 0
0.049 * * [simplify]: Extracting #2: cost 3 inf + 42
0.049 * * [simplify]: Extracting #3: cost 2 inf + 43
0.049 * * [simplify]: Extracting #4: cost 0 inf + 226
0.050 * [simplify]: Simplified to:
  (- (exp x) 1.0)
0.050 * * [progress]: iteration 1 / 4
0.050 * * * [progress]: picking best candidate
0.053 * * * * [pick]: Picked  #<alt (λ (x) (- (exp x) 1.0))>
0.053 * * * [progress]: localizing error
0.058 * * * [progress]: generating rewritten candidates
0.058 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.068 * * * [progress]: generating series expansions
0.068 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.068 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
0.069 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 1 into 1
0.069 * [backup-simplify]: Simplify (exp 0) into 1
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [backup-simplify]: Simplify 1.0 into 1.0
0.069 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.069 * [taylor]: Taking taylor expansion of (exp x) in x
0.069 * [taylor]: Taking taylor expansion of x in x
0.069 * [backup-simplify]: Simplify 0 into 0
0.069 * [backup-simplify]: Simplify 1 into 1
0.069 * [backup-simplify]: Simplify (exp 0) into 1
0.069 * [taylor]: Taking taylor expansion of 1.0 in x
0.069 * [backup-simplify]: Simplify 1.0 into 1.0
0.069 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.070 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.070 * [backup-simplify]: Simplify 0 into 0
0.070 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.071 * [backup-simplify]: Simplify (- 0) into 0
0.071 * [backup-simplify]: Simplify (+ 1 0) into 1
0.071 * [backup-simplify]: Simplify 1 into 1
0.072 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.072 * [backup-simplify]: Simplify (- 0) into 0
0.072 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.072 * [backup-simplify]: Simplify 1/2 into 1/2
0.074 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
0.074 * [backup-simplify]: Simplify (- 0) into 0
0.074 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.074 * [backup-simplify]: Simplify 1/6 into 1/6
0.074 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 3)) (+ (* 1/2 (pow x 2)) (* 1 x))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
0.075 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.075 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify 1 into 1
0.075 * [backup-simplify]: Simplify (/ 1 1) into 1
0.075 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.075 * [backup-simplify]: Simplify 1.0 into 1.0
0.075 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.075 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.075 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.075 * [taylor]: Taking taylor expansion of x in x
0.075 * [backup-simplify]: Simplify 0 into 0
0.075 * [backup-simplify]: Simplify 1 into 1
0.075 * [backup-simplify]: Simplify (/ 1 1) into 1
0.075 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.075 * [taylor]: Taking taylor expansion of 1.0 in x
0.076 * [backup-simplify]: Simplify 1.0 into 1.0
0.076 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.076 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.076 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.076 * [backup-simplify]: Simplify (- 0) into 0
0.077 * [backup-simplify]: Simplify (+ 0 0) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (- 0) into 0
0.077 * [backup-simplify]: Simplify (+ 0 0) into 0
0.077 * [backup-simplify]: Simplify 0 into 0
0.077 * [backup-simplify]: Simplify (- 0) into 0
0.078 * [backup-simplify]: Simplify (+ 0 0) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (- 0) into 0
0.078 * [backup-simplify]: Simplify (+ 0 0) into 0
0.078 * [backup-simplify]: Simplify 0 into 0
0.078 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (- 0) into 0
0.079 * [backup-simplify]: Simplify (+ 0 0) into 0
0.079 * [backup-simplify]: Simplify 0 into 0
0.079 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
0.079 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
0.079 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.079 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.079 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.079 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.080 * [taylor]: Taking taylor expansion of -1 in x
0.080 * [backup-simplify]: Simplify -1 into -1
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify (/ -1 1) into -1
0.080 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * [backup-simplify]: Simplify 1.0 into 1.0
0.080 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.080 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.080 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.080 * [taylor]: Taking taylor expansion of -1 in x
0.080 * [backup-simplify]: Simplify -1 into -1
0.080 * [taylor]: Taking taylor expansion of x in x
0.080 * [backup-simplify]: Simplify 0 into 0
0.080 * [backup-simplify]: Simplify 1 into 1
0.080 * [backup-simplify]: Simplify (/ -1 1) into -1
0.080 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.080 * [taylor]: Taking taylor expansion of 1.0 in x
0.080 * [backup-simplify]: Simplify 1.0 into 1.0
0.081 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.081 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.081 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
0.081 * [backup-simplify]: Simplify (- 0) into 0
0.082 * [backup-simplify]: Simplify (+ 0 0) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (- 0) into 0
0.082 * [backup-simplify]: Simplify (+ 0 0) into 0
0.082 * [backup-simplify]: Simplify 0 into 0
0.082 * [backup-simplify]: Simplify (- 0) into 0
0.083 * [backup-simplify]: Simplify (+ 0 0) into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (- 0) into 0
0.083 * [backup-simplify]: Simplify (+ 0 0) into 0
0.083 * [backup-simplify]: Simplify 0 into 0
0.083 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (+ 0 0) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (- 0) into 0
0.084 * [backup-simplify]: Simplify (+ 0 0) into 0
0.084 * [backup-simplify]: Simplify 0 into 0
0.084 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
0.084 * * * [progress]: simplifying candidates
0.085 * [simplify]: Simplifying:
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (* (cbrt (exp x)) (cbrt (exp x))) (cbrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma (sqrt (exp x)) (sqrt (exp x)) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (fma 1 (exp x) (- (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0)))))
  (fma (- (cbrt 1.0)) (* (cbrt 1.0) (cbrt 1.0)) (* (cbrt 1.0) (* (cbrt 1.0) (cbrt 1.0))))
  (fma 1 (exp x) (- (* (sqrt 1.0) (sqrt 1.0))))
  (fma (- (sqrt 1.0)) (sqrt 1.0) (* (sqrt 1.0) (sqrt 1.0)))
  (fma 1 (exp x) (- (* 1.0 1)))
  (fma (- 1.0) 1 (* 1.0 1))
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (/ (exp (exp x)) (exp 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (pow (exp x) 3) (pow 1.0 3))
  (+ (* (exp x) (exp x)) (+ (* 1.0 1.0) (* (exp x) 1.0)))
  (- 1.0)
  (- (* (exp x) (exp x)) (* 1.0 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (- (exp x) 1.0)
  (- (exp x) 1.0)
0.085 * * [simplify]: iteration 0: 66 enodes
0.101 * * [simplify]: iteration 1: 149 enodes
0.180 * * [simplify]: iteration 2: 311 enodes
0.315 * * [simplify]: iteration 3: 858 enodes
0.960 * * [simplify]: iteration 4: 2205 enodes
2.481 * * [simplify]: iteration complete: 5001 enodes
2.481 * * [simplify]: Extracting #0: cost 18 inf + 0
2.484 * * [simplify]: Extracting #1: cost 295 inf + 0
2.488 * * [simplify]: Extracting #2: cost 853 inf + 1705
2.497 * * [simplify]: Extracting #3: cost 791 inf + 34792
2.538 * * [simplify]: Extracting #4: cost 433 inf + 136079
2.611 * * [simplify]: Extracting #5: cost 60 inf + 226585
2.689 * * [simplify]: Extracting #6: cost 4 inf + 240811
2.769 * * [simplify]: Extracting #7: cost 0 inf + 242343
2.832 * [simplify]: Simplified to:
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (- (exp x) 1.0) (* (- (exp x) 1.0) (- (exp x) 1.0)))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))
  (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))
  (- 1.0)
  (- (exp (+ x x)) (* 1.0 1.0))
  (+ 1.0 (exp x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (fma (* x (fma x 1/6 1/2)) x x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
2.834 * * * [progress]: adding candidates to table
2.930 * * [progress]: iteration 2 / 4
2.930 * * * [progress]: picking best candidate
2.950 * * * * [pick]: Picked  #<alt (λ (x) (fma (* x (fma x 1/6 1/2)) x x))>
2.951 * * * [progress]: localizing error
2.959 * * * [progress]: generating rewritten candidates
2.959 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
2.965 * * * [progress]: generating series expansions
2.965 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
2.965 * [backup-simplify]: Simplify (* x (fma x 1/6 1/2)) into (* x (fma x 1/6 1/2))
2.965 * [approximate]: Taking taylor expansion of (* x (fma x 1/6 1/2)) in (x) around 0
2.965 * [taylor]: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x
2.965 * [taylor]: Taking taylor expansion of x in x
2.965 * [backup-simplify]: Simplify 0 into 0
2.965 * [backup-simplify]: Simplify 1 into 1
2.966 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.966 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.967 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.967 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify 1 into 1
2.967 * [taylor]: Taking taylor expansion of 1/6 in x
2.967 * [backup-simplify]: Simplify 1/6 into 1/6
2.967 * [taylor]: Taking taylor expansion of 1/2 in x
2.967 * [backup-simplify]: Simplify 1/2 into 1/2
2.967 * [taylor]: Taking taylor expansion of (* x (fma x 1/6 1/2)) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.967 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify 1 into 1
2.967 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.967 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.967 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.967 * [taylor]: Taking taylor expansion of x in x
2.967 * [backup-simplify]: Simplify 0 into 0
2.967 * [backup-simplify]: Simplify 1 into 1
2.967 * [taylor]: Taking taylor expansion of 1/6 in x
2.967 * [backup-simplify]: Simplify 1/6 into 1/6
2.967 * [taylor]: Taking taylor expansion of 1/2 in x
2.967 * [backup-simplify]: Simplify 1/2 into 1/2
2.967 * [backup-simplify]: Simplify (* 0 1/6) into 0
2.968 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.968 * [backup-simplify]: Simplify (* 0 1/2) into 0
2.968 * [backup-simplify]: Simplify 0 into 0
2.968 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6
2.969 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.969 * [backup-simplify]: Simplify (+ (* 0 1/6) (* 1 1/2)) into 1/2
2.969 * [backup-simplify]: Simplify 1/2 into 1/2
2.970 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0
2.970 * [backup-simplify]: Simplify (+ 0 0) into 0
2.971 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1/6) (* 0 1/2))) into 1/6
2.971 * [backup-simplify]: Simplify 1/6 into 1/6
2.971 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/6)))) into 0
2.972 * [backup-simplify]: Simplify (+ 0 0) into 0
2.972 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1/6) (* 0 1/2)))) into 0
2.972 * [backup-simplify]: Simplify 0 into 0
2.973 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
2.973 * [backup-simplify]: Simplify (+ 0 0) into 0
2.974 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))) into 0
2.974 * [backup-simplify]: Simplify 0 into 0
2.975 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
2.975 * [backup-simplify]: Simplify (+ 0 0) into 0
2.976 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))) into 0
2.977 * [backup-simplify]: Simplify 0 into 0
2.978 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
2.978 * [backup-simplify]: Simplify (+ 0 0) into 0
2.980 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))) into 0
2.980 * [backup-simplify]: Simplify 0 into 0
2.982 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
2.982 * [backup-simplify]: Simplify (+ 0 0) into 0
2.984 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2)))))))) into 0
2.984 * [backup-simplify]: Simplify 0 into 0
2.986 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))))) into 0
2.987 * [backup-simplify]: Simplify (+ 0 0) into 0
2.989 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/6) (* 0 1/2))))))))) into 0
2.989 * [backup-simplify]: Simplify 0 into 0
2.990 * [backup-simplify]: Simplify (+ (* 1/6 (pow x 2)) (* 1/2 x)) into (+ (* 1/2 x) (* 1/6 (pow x 2)))
2.990 * [backup-simplify]: Simplify (* (/ 1 x) (fma (/ 1 x) 1/6 1/2)) into (/ (fma (/ 1 x) 1/6 1/2) x)
2.990 * [approximate]: Taking taylor expansion of (/ (fma (/ 1 x) 1/6 1/2) x) in (x) around 0
2.990 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 1/6 1/2) x) in x
2.990 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.990 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.990 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.990 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.990 * [taylor]: Taking taylor expansion of x in x
2.990 * [backup-simplify]: Simplify 0 into 0
2.990 * [backup-simplify]: Simplify 1 into 1
2.991 * [backup-simplify]: Simplify (/ 1 1) into 1
2.991 * [taylor]: Taking taylor expansion of 1/6 in x
2.991 * [backup-simplify]: Simplify 1/6 into 1/6
2.991 * [taylor]: Taking taylor expansion of 1/2 in x
2.991 * [backup-simplify]: Simplify 1/2 into 1/2
2.991 * [taylor]: Taking taylor expansion of x in x
2.991 * [backup-simplify]: Simplify 0 into 0
2.991 * [backup-simplify]: Simplify 1 into 1
2.991 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.992 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.992 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.992 * [taylor]: Taking taylor expansion of (/ (fma (/ 1 x) 1/6 1/2) x) in x
2.992 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.992 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.992 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.992 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.992 * [taylor]: Taking taylor expansion of x in x
2.993 * [backup-simplify]: Simplify 0 into 0
2.993 * [backup-simplify]: Simplify 1 into 1
2.993 * [backup-simplify]: Simplify (/ 1 1) into 1
2.993 * [taylor]: Taking taylor expansion of 1/6 in x
2.993 * [backup-simplify]: Simplify 1/6 into 1/6
2.993 * [taylor]: Taking taylor expansion of 1/2 in x
2.993 * [backup-simplify]: Simplify 1/2 into 1/2
2.993 * [taylor]: Taking taylor expansion of x in x
2.993 * [backup-simplify]: Simplify 0 into 0
2.993 * [backup-simplify]: Simplify 1 into 1
2.994 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.994 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.994 * [backup-simplify]: Simplify (/ 1/6 1) into 1/6
2.994 * [backup-simplify]: Simplify 1/6 into 1/6
2.995 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.996 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0
2.996 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.997 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1/6 (/ 0 1)))) into 1/2
2.997 * [backup-simplify]: Simplify 1/2 into 1/2
2.998 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0
3.000 * [backup-simplify]: Simplify (+ 0 0) into 0
3.001 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
3.001 * [backup-simplify]: Simplify 0 into 0
3.002 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.003 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0
3.003 * [backup-simplify]: Simplify (+ 0 0) into 0
3.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.005 * [backup-simplify]: Simplify 0 into 0
3.006 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
3.007 * [backup-simplify]: Simplify (+ 0 0) into 0
3.008 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.008 * [backup-simplify]: Simplify 0 into 0
3.009 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.011 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
3.011 * [backup-simplify]: Simplify (+ 0 0) into 0
3.012 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.013 * [backup-simplify]: Simplify 0 into 0
3.013 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
3.015 * [backup-simplify]: Simplify (+ 0 0) into 0
3.017 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.017 * [backup-simplify]: Simplify 0 into 0
3.018 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
3.020 * [backup-simplify]: Simplify (+ 0 0) into 0
3.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.022 * [backup-simplify]: Simplify 0 into 0
3.022 * [backup-simplify]: Simplify (+ (* 1/2 (/ 1 (/ 1 x))) (* 1/6 (pow (/ 1 (/ 1 x)) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2)))
3.022 * [backup-simplify]: Simplify (* (/ 1 (- x)) (fma (/ 1 (- x)) 1/6 1/2)) into (* -1 (/ (fma (/ -1 x) 1/6 1/2) x))
3.022 * [approximate]: Taking taylor expansion of (* -1 (/ (fma (/ -1 x) 1/6 1/2) x)) in (x) around 0
3.022 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 x) 1/6 1/2) x)) in x
3.022 * [taylor]: Taking taylor expansion of -1 in x
3.022 * [backup-simplify]: Simplify -1 into -1
3.022 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 1/6 1/2) x) in x
3.022 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
3.023 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
3.023 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
3.023 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.023 * [taylor]: Taking taylor expansion of -1 in x
3.023 * [backup-simplify]: Simplify -1 into -1
3.023 * [taylor]: Taking taylor expansion of x in x
3.023 * [backup-simplify]: Simplify 0 into 0
3.023 * [backup-simplify]: Simplify 1 into 1
3.023 * [backup-simplify]: Simplify (/ -1 1) into -1
3.023 * [taylor]: Taking taylor expansion of 1/6 in x
3.023 * [backup-simplify]: Simplify 1/6 into 1/6
3.023 * [taylor]: Taking taylor expansion of 1/2 in x
3.023 * [backup-simplify]: Simplify 1/2 into 1/2
3.023 * [taylor]: Taking taylor expansion of x in x
3.023 * [backup-simplify]: Simplify 0 into 0
3.023 * [backup-simplify]: Simplify 1 into 1
3.024 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
3.024 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.025 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
3.025 * [taylor]: Taking taylor expansion of (* -1 (/ (fma (/ -1 x) 1/6 1/2) x)) in x
3.025 * [taylor]: Taking taylor expansion of -1 in x
3.025 * [backup-simplify]: Simplify -1 into -1
3.025 * [taylor]: Taking taylor expansion of (/ (fma (/ -1 x) 1/6 1/2) x) in x
3.025 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
3.025 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
3.025 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
3.025 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.025 * [taylor]: Taking taylor expansion of -1 in x
3.025 * [backup-simplify]: Simplify -1 into -1
3.025 * [taylor]: Taking taylor expansion of x in x
3.025 * [backup-simplify]: Simplify 0 into 0
3.025 * [backup-simplify]: Simplify 1 into 1
3.026 * [backup-simplify]: Simplify (/ -1 1) into -1
3.026 * [taylor]: Taking taylor expansion of 1/6 in x
3.026 * [backup-simplify]: Simplify 1/6 into 1/6
3.026 * [taylor]: Taking taylor expansion of 1/2 in x
3.026 * [backup-simplify]: Simplify 1/2 into 1/2
3.026 * [taylor]: Taking taylor expansion of x in x
3.026 * [backup-simplify]: Simplify 0 into 0
3.026 * [backup-simplify]: Simplify 1 into 1
3.032 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
3.033 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.033 * [backup-simplify]: Simplify (/ -1/6 1) into -1/6
3.034 * [backup-simplify]: Simplify (* -1 -1/6) into 1/6
3.034 * [backup-simplify]: Simplify 1/6 into 1/6
3.035 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.035 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0
3.036 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.037 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* -1/6 (/ 0 1)))) into 1/2
3.038 * [backup-simplify]: Simplify (+ (* -1 1/2) (* 0 -1/6)) into -1/2
3.038 * [backup-simplify]: Simplify -1/2 into -1/2
3.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.040 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0
3.040 * [backup-simplify]: Simplify (+ 0 0) into 0
3.042 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)))) into 0
3.043 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
3.043 * [backup-simplify]: Simplify 0 into 0
3.044 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.045 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0
3.045 * [backup-simplify]: Simplify (+ 0 0) into 0
3.046 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.048 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))) into 0
3.048 * [backup-simplify]: Simplify 0 into 0
3.049 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.050 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
3.051 * [backup-simplify]: Simplify (+ 0 0) into 0
3.052 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.054 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))) into 0
3.054 * [backup-simplify]: Simplify 0 into 0
3.055 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.056 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
3.056 * [backup-simplify]: Simplify (+ 0 0) into 0
3.058 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.059 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))) into 0
3.060 * [backup-simplify]: Simplify 0 into 0
3.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.062 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
3.063 * [backup-simplify]: Simplify (+ 0 0) into 0
3.064 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.066 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6))))))) into 0
3.066 * [backup-simplify]: Simplify 0 into 0
3.067 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.069 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
3.069 * [backup-simplify]: Simplify (+ 0 0) into 0
3.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1/6 (/ 0 1)) (* 1/2 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.073 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1/2) (* 0 -1/6)))))))) into 0
3.073 * [backup-simplify]: Simplify 0 into 0
3.073 * [backup-simplify]: Simplify (+ (* -1/2 (/ 1 (/ 1 (- x)))) (* 1/6 (pow (/ 1 (/ 1 (- x))) 2))) into (+ (* 1/2 x) (* 1/6 (pow x 2)))
3.073 * * * [progress]: simplifying candidates
3.074 * [simplify]: Simplifying:
  (expm1 (* x (fma x 1/6 1/2)))
  (log1p (* x (fma x 1/6 1/2)))
  (* x (fma x 1/6 1/2))
  (+ (log x) (log (fma x 1/6 1/2)))
  (log (* x (fma x 1/6 1/2)))
  (exp (* x (fma x 1/6 1/2)))
  (* (* (* x x) x) (* (* (fma x 1/6 1/2) (fma x 1/6 1/2)) (fma x 1/6 1/2)))
  (* (cbrt (* x (fma x 1/6 1/2))) (cbrt (* x (fma x 1/6 1/2))))
  (cbrt (* x (fma x 1/6 1/2)))
  (* (* (* x (fma x 1/6 1/2)) (* x (fma x 1/6 1/2))) (* x (fma x 1/6 1/2)))
  (sqrt (* x (fma x 1/6 1/2)))
  (sqrt (* x (fma x 1/6 1/2)))
  (* (sqrt x) (sqrt (fma x 1/6 1/2)))
  (* (sqrt x) (sqrt (fma x 1/6 1/2)))
  (* x (* x 1/6))
  (* x 1/2)
  (* (* x 1/6) x)
  (* 1/2 x)
  (* x (* (cbrt (fma x 1/6 1/2)) (cbrt (fma x 1/6 1/2))))
  (* x (sqrt (fma x 1/6 1/2)))
  (* x 1)
  (* (cbrt x) (fma x 1/6 1/2))
  (* (sqrt x) (fma x 1/6 1/2))
  (* x (fma x 1/6 1/2))
  (+ (* 1/2 x) (* 1/6 (pow x 2)))
  (+ (* 1/2 x) (* 1/6 (pow x 2)))
  (+ (* 1/2 x) (* 1/6 (pow x 2)))
3.075 * * [simplify]: iteration 0: 43 enodes
3.094 * * [simplify]: iteration 1: 92 enodes
3.136 * * [simplify]: iteration 2: 244 enodes
3.391 * * [simplify]: iteration 3: 1290 enodes
4.592 * * [simplify]: iteration complete: 5008 enodes
4.592 * * [simplify]: Extracting #0: cost 17 inf + 0
4.595 * * [simplify]: Extracting #1: cost 386 inf + 1
4.607 * * [simplify]: Extracting #2: cost 1378 inf + 16603
4.671 * * [simplify]: Extracting #3: cost 903 inf + 197487
4.753 * * [simplify]: Extracting #4: cost 14 inf + 383832
4.881 * * [simplify]: Extracting #5: cost 0 inf + 387366
5.031 * [simplify]: Simplified to:
  (expm1 (* (fma 1/6 x 1/2) x))
  (log1p (* (fma 1/6 x 1/2) x))
  (* (fma 1/6 x 1/2) x)
  (log (* (fma 1/6 x 1/2) x))
  (log (* (fma 1/6 x 1/2) x))
  (exp (* (fma 1/6 x 1/2) x))
  (* (* (fma 1/6 x 1/2) x) (* (* (fma 1/6 x 1/2) x) (* (fma 1/6 x 1/2) x)))
  (* (cbrt (* (fma 1/6 x 1/2) x)) (cbrt (* (fma 1/6 x 1/2) x)))
  (cbrt (* (fma 1/6 x 1/2) x))
  (* (* (fma 1/6 x 1/2) x) (* (* (fma 1/6 x 1/2) x) (* (fma 1/6 x 1/2) x)))
  (sqrt (* (fma 1/6 x 1/2) x))
  (sqrt (* (fma 1/6 x 1/2) x))
  (* (sqrt (fma 1/6 x 1/2)) (sqrt x))
  (* (sqrt (fma 1/6 x 1/2)) (sqrt x))
  (* x (* x 1/6))
  (* 1/2 x)
  (* x (* x 1/6))
  (* 1/2 x)
  (* (* (cbrt (fma 1/6 x 1/2)) x) (cbrt (fma 1/6 x 1/2)))
  (* (sqrt (fma 1/6 x 1/2)) x)
  x
  (* (cbrt x) (fma 1/6 x 1/2))
  (* (sqrt x) (fma 1/6 x 1/2))
  (* (fma 1/6 x 1/2) x)
  (* (fma 1/6 x 1/2) x)
  (* (fma 1/6 x 1/2) x)
  (* (fma 1/6 x 1/2) x)
5.032 * * * [progress]: adding candidates to table
5.127 * * [progress]: iteration 3 / 4
5.128 * * * [progress]: picking best candidate
5.142 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))>
5.142 * * * [progress]: localizing error
5.164 * * * [progress]: generating rewritten candidates
5.164 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1)
5.182 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
5.183 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 3 1)
5.193 * * * * [progress]: [ 4 / 4 ] rewriting at (2)
5.221 * * * [progress]: generating series expansions
5.221 * * * * [progress]: [ 1 / 4 ] generating series at (2 1)
5.222 * [backup-simplify]: Simplify (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) into (- (exp (* 3 x)) 1.0)
5.222 * [approximate]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in (x) around 0
5.222 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
5.222 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
5.222 * [taylor]: Taking taylor expansion of (* 3 x) in x
5.222 * [taylor]: Taking taylor expansion of 3 in x
5.222 * [backup-simplify]: Simplify 3 into 3
5.222 * [taylor]: Taking taylor expansion of x in x
5.222 * [backup-simplify]: Simplify 0 into 0
5.222 * [backup-simplify]: Simplify 1 into 1
5.222 * [backup-simplify]: Simplify (* 3 0) into 0
5.223 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
5.223 * [backup-simplify]: Simplify (exp 0) into 1
5.223 * [taylor]: Taking taylor expansion of 1.0 in x
5.223 * [backup-simplify]: Simplify 1.0 into 1.0
5.223 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
5.223 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
5.223 * [taylor]: Taking taylor expansion of (* 3 x) in x
5.223 * [taylor]: Taking taylor expansion of 3 in x
5.223 * [backup-simplify]: Simplify 3 into 3
5.223 * [taylor]: Taking taylor expansion of x in x
5.223 * [backup-simplify]: Simplify 0 into 0
5.223 * [backup-simplify]: Simplify 1 into 1
5.223 * [backup-simplify]: Simplify (* 3 0) into 0
5.223 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
5.223 * [backup-simplify]: Simplify (exp 0) into 1
5.224 * [taylor]: Taking taylor expansion of 1.0 in x
5.224 * [backup-simplify]: Simplify 1.0 into 1.0
5.224 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.224 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
5.224 * [backup-simplify]: Simplify 0 into 0
5.225 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
5.225 * [backup-simplify]: Simplify (- 0) into 0
5.226 * [backup-simplify]: Simplify (+ 3 0) into 3
5.226 * [backup-simplify]: Simplify 3 into 3
5.226 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
5.227 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
5.227 * [backup-simplify]: Simplify (- 0) into 0
5.228 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
5.228 * [backup-simplify]: Simplify 9/2 into 9/2
5.228 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.230 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 3) 6)) (* (/ (pow 3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 9/2
5.230 * [backup-simplify]: Simplify (- 0) into 0
5.230 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
5.230 * [backup-simplify]: Simplify 9/2 into 9/2
5.231 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 3)) (+ (* 9/2 (pow x 2)) (* 3 x))) into (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))
5.231 * [backup-simplify]: Simplify (- (exp (* 3 (/ 1 x))) (* 1.0 (* 1.0 1.0))) into (- (exp (/ 3 x)) 1.0)
5.231 * [approximate]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in (x) around 0
5.231 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
5.231 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
5.231 * [taylor]: Taking taylor expansion of (/ 3 x) in x
5.231 * [taylor]: Taking taylor expansion of 3 in x
5.231 * [backup-simplify]: Simplify 3 into 3
5.231 * [taylor]: Taking taylor expansion of x in x
5.231 * [backup-simplify]: Simplify 0 into 0
5.231 * [backup-simplify]: Simplify 1 into 1
5.232 * [backup-simplify]: Simplify (/ 3 1) into 3
5.232 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
5.232 * [taylor]: Taking taylor expansion of 1.0 in x
5.232 * [backup-simplify]: Simplify 1.0 into 1.0
5.232 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
5.232 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
5.232 * [taylor]: Taking taylor expansion of (/ 3 x) in x
5.232 * [taylor]: Taking taylor expansion of 3 in x
5.232 * [backup-simplify]: Simplify 3 into 3
5.232 * [taylor]: Taking taylor expansion of x in x
5.232 * [backup-simplify]: Simplify 0 into 0
5.232 * [backup-simplify]: Simplify 1 into 1
5.232 * [backup-simplify]: Simplify (/ 3 1) into 3
5.232 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
5.232 * [taylor]: Taking taylor expansion of 1.0 in x
5.232 * [backup-simplify]: Simplify 1.0 into 1.0
5.232 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.233 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) (- 1.0)) into (- (exp (/ 3 x)) 1.0)
5.233 * [backup-simplify]: Simplify (- (exp (/ 3 x)) 1.0) into (- (exp (/ 3 x)) 1.0)
5.233 * [backup-simplify]: Simplify (- 0) into 0
5.233 * [backup-simplify]: Simplify (+ 0 0) into 0
5.233 * [backup-simplify]: Simplify 0 into 0
5.234 * [backup-simplify]: Simplify (- 0) into 0
5.234 * [backup-simplify]: Simplify (+ 0 0) into 0
5.234 * [backup-simplify]: Simplify 0 into 0
5.234 * [backup-simplify]: Simplify (- 0) into 0
5.235 * [backup-simplify]: Simplify (+ 0 0) into 0
5.235 * [backup-simplify]: Simplify 0 into 0
5.235 * [backup-simplify]: Simplify (- 0) into 0
5.235 * [backup-simplify]: Simplify (+ 0 0) into 0
5.235 * [backup-simplify]: Simplify 0 into 0
5.236 * [backup-simplify]: Simplify (- 0) into 0
5.236 * [backup-simplify]: Simplify (+ 0 0) into 0
5.236 * [backup-simplify]: Simplify 0 into 0
5.236 * [backup-simplify]: Simplify (- 0) into 0
5.237 * [backup-simplify]: Simplify (+ 0 0) into 0
5.237 * [backup-simplify]: Simplify 0 into 0
5.237 * [backup-simplify]: Simplify (- (exp (/ 3 (/ 1 x))) 1.0) into (- (exp (* 3 x)) 1.0)
5.238 * [backup-simplify]: Simplify (- (exp (* 3 (/ 1 (- x)))) (* 1.0 (* 1.0 1.0))) into (- (exp (/ -3 x)) 1.0)
5.238 * [approximate]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in (x) around 0
5.238 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
5.238 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
5.238 * [taylor]: Taking taylor expansion of (/ -3 x) in x
5.238 * [taylor]: Taking taylor expansion of -3 in x
5.238 * [backup-simplify]: Simplify -3 into -3
5.238 * [taylor]: Taking taylor expansion of x in x
5.238 * [backup-simplify]: Simplify 0 into 0
5.238 * [backup-simplify]: Simplify 1 into 1
5.239 * [backup-simplify]: Simplify (/ -3 1) into -3
5.239 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
5.239 * [taylor]: Taking taylor expansion of 1.0 in x
5.239 * [backup-simplify]: Simplify 1.0 into 1.0
5.239 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
5.239 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
5.239 * [taylor]: Taking taylor expansion of (/ -3 x) in x
5.239 * [taylor]: Taking taylor expansion of -3 in x
5.239 * [backup-simplify]: Simplify -3 into -3
5.239 * [taylor]: Taking taylor expansion of x in x
5.239 * [backup-simplify]: Simplify 0 into 0
5.239 * [backup-simplify]: Simplify 1 into 1
5.239 * [backup-simplify]: Simplify (/ -3 1) into -3
5.240 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
5.240 * [taylor]: Taking taylor expansion of 1.0 in x
5.240 * [backup-simplify]: Simplify 1.0 into 1.0
5.240 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.241 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (- 1.0)) into (- (exp (/ -3 x)) 1.0)
5.241 * [backup-simplify]: Simplify (- (exp (/ -3 x)) 1.0) into (- (exp (/ -3 x)) 1.0)
5.241 * [backup-simplify]: Simplify (- 0) into 0
5.242 * [backup-simplify]: Simplify (+ 0 0) into 0
5.242 * [backup-simplify]: Simplify 0 into 0
5.242 * [backup-simplify]: Simplify (- 0) into 0
5.243 * [backup-simplify]: Simplify (+ 0 0) into 0
5.243 * [backup-simplify]: Simplify 0 into 0
5.243 * [backup-simplify]: Simplify (- 0) into 0
5.243 * [backup-simplify]: Simplify (+ 0 0) into 0
5.243 * [backup-simplify]: Simplify 0 into 0
5.244 * [backup-simplify]: Simplify (- 0) into 0
5.244 * [backup-simplify]: Simplify (+ 0 0) into 0
5.244 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify (- 0) into 0
5.245 * [backup-simplify]: Simplify (+ 0 0) into 0
5.245 * [backup-simplify]: Simplify 0 into 0
5.245 * [backup-simplify]: Simplify (- 0) into 0
5.246 * [backup-simplify]: Simplify (+ 0 0) into 0
5.246 * [backup-simplify]: Simplify 0 into 0
5.246 * [backup-simplify]: Simplify (- (exp (/ -3 (/ 1 (- x)))) 1.0) into (- (exp (* 3 x)) 1.0)
5.246 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
5.246 * [backup-simplify]: Simplify (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) into (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0)))
5.246 * [approximate]: Taking taylor expansion of (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))) in (x) around 0
5.246 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))) in x
5.247 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) (* 1.0 (+ (exp x) 1.0)))
5.247 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
5.247 * [taylor]: Taking taylor expansion of (exp x) in x
5.247 * [taylor]: Taking taylor expansion of x in x
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 1 into 1
5.247 * [backup-simplify]: Simplify (exp 0) into 1
5.247 * [taylor]: Taking taylor expansion of (exp x) in x
5.247 * [taylor]: Taking taylor expansion of x in x
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 1 into 1
5.247 * [backup-simplify]: Simplify (exp 0) into 1
5.247 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp x) 1.0)) in x
5.247 * [taylor]: Taking taylor expansion of 1.0 in x
5.247 * [backup-simplify]: Simplify 1.0 into 1.0
5.247 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.247 * [taylor]: Taking taylor expansion of (exp x) in x
5.247 * [taylor]: Taking taylor expansion of x in x
5.247 * [backup-simplify]: Simplify 0 into 0
5.247 * [backup-simplify]: Simplify 1 into 1
5.247 * [backup-simplify]: Simplify (exp 0) into 1
5.247 * [taylor]: Taking taylor expansion of 1.0 in x
5.247 * [backup-simplify]: Simplify 1.0 into 1.0
5.247 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))) in x
5.248 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) (* 1.0 (+ (exp x) 1.0)))
5.248 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
5.248 * [taylor]: Taking taylor expansion of (exp x) in x
5.248 * [taylor]: Taking taylor expansion of x in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.248 * [backup-simplify]: Simplify (exp 0) into 1
5.248 * [taylor]: Taking taylor expansion of (exp x) in x
5.248 * [taylor]: Taking taylor expansion of x in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.248 * [backup-simplify]: Simplify (exp 0) into 1
5.248 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp x) 1.0)) in x
5.248 * [taylor]: Taking taylor expansion of 1.0 in x
5.248 * [backup-simplify]: Simplify 1.0 into 1.0
5.248 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.248 * [taylor]: Taking taylor expansion of (exp x) in x
5.248 * [taylor]: Taking taylor expansion of x in x
5.248 * [backup-simplify]: Simplify 0 into 0
5.248 * [backup-simplify]: Simplify 1 into 1
5.248 * [backup-simplify]: Simplify (exp 0) into 1
5.248 * [taylor]: Taking taylor expansion of 1.0 in x
5.248 * [backup-simplify]: Simplify 1.0 into 1.0
5.249 * [backup-simplify]: Simplify (* 1 1) into 1
5.249 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
5.250 * [backup-simplify]: Simplify (* 1.0 2.0) into 2.0
5.250 * [backup-simplify]: Simplify (+ 1 2.0) into 3.0
5.250 * [backup-simplify]: Simplify 3.0 into 3.0
5.252 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.253 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.253 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
5.254 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.255 * [backup-simplify]: Simplify (+ 1 0) into 1
5.256 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 2.0)) into 1.0
5.257 * [backup-simplify]: Simplify (+ 2 1.0) into 3.0
5.257 * [backup-simplify]: Simplify 3.0 into 3.0
5.258 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.260 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.261 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
5.263 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.263 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.266 * [backup-simplify]: Simplify (+ (* 1.0 1/2) (+ (* 0 1) (* 0 2.0))) into 0.5
5.266 * [backup-simplify]: Simplify (+ 2 0.5) into 2.5
5.266 * [backup-simplify]: Simplify 2.5 into 2.5
5.266 * [backup-simplify]: Simplify (+ (* 2.5 (pow x 2)) (+ (* 3.0 x) 3.0)) into (+ (* 3.0 x) (+ (* 2.5 (pow x 2)) 3.0))
5.267 * [backup-simplify]: Simplify (fma (exp (/ 1 x)) (exp (/ 1 x)) (* (+ 1.0 (exp (/ 1 x))) 1.0)) into (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0)))
5.267 * [approximate]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))) in (x) around 0
5.267 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))) in x
5.267 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (* 1.0 (+ (exp (/ 1 x)) 1.0)))
5.267 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
5.267 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.267 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.267 * [taylor]: Taking taylor expansion of x in x
5.267 * [backup-simplify]: Simplify 0 into 0
5.267 * [backup-simplify]: Simplify 1 into 1
5.268 * [backup-simplify]: Simplify (/ 1 1) into 1
5.268 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.268 * [taylor]: Taking taylor expansion of x in x
5.268 * [backup-simplify]: Simplify 0 into 0
5.268 * [backup-simplify]: Simplify 1 into 1
5.268 * [backup-simplify]: Simplify (/ 1 1) into 1
5.268 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.268 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ 1 x)) 1.0)) in x
5.268 * [taylor]: Taking taylor expansion of 1.0 in x
5.268 * [backup-simplify]: Simplify 1.0 into 1.0
5.268 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.268 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.268 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.268 * [taylor]: Taking taylor expansion of x in x
5.268 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 1 into 1
5.269 * [backup-simplify]: Simplify (/ 1 1) into 1
5.269 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.269 * [taylor]: Taking taylor expansion of 1.0 in x
5.269 * [backup-simplify]: Simplify 1.0 into 1.0
5.269 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))) in x
5.269 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (* 1.0 (+ (exp (/ 1 x)) 1.0)))
5.269 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
5.269 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.269 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.269 * [taylor]: Taking taylor expansion of x in x
5.269 * [backup-simplify]: Simplify 0 into 0
5.269 * [backup-simplify]: Simplify 1 into 1
5.270 * [backup-simplify]: Simplify (/ 1 1) into 1
5.270 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.270 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.270 * [taylor]: Taking taylor expansion of x in x
5.270 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify 1 into 1
5.270 * [backup-simplify]: Simplify (/ 1 1) into 1
5.270 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.270 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ 1 x)) 1.0)) in x
5.270 * [taylor]: Taking taylor expansion of 1.0 in x
5.270 * [backup-simplify]: Simplify 1.0 into 1.0
5.270 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.270 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.270 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.270 * [taylor]: Taking taylor expansion of x in x
5.270 * [backup-simplify]: Simplify 0 into 0
5.270 * [backup-simplify]: Simplify 1 into 1
5.271 * [backup-simplify]: Simplify (/ 1 1) into 1
5.271 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.271 * [taylor]: Taking taylor expansion of 1.0 in x
5.271 * [backup-simplify]: Simplify 1.0 into 1.0
5.271 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
5.271 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0)
5.271 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ 1 x)) 1.0)) into (* 1.0 (+ (exp (/ 1 x)) 1.0))
5.271 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (* 1.0 (+ (exp (/ 1 x)) 1.0))) into (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))
5.271 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)) into (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))
5.272 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
5.272 * [backup-simplify]: Simplify (+ 0 0) into 0
5.272 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (+ (exp (/ 1 x)) 1.0))) into 0
5.275 * [backup-simplify]: Simplify (+ 0 0) into 0
5.275 * [backup-simplify]: Simplify 0 into 0
5.276 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
5.276 * [backup-simplify]: Simplify (+ 0 0) into 0
5.277 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))) into 0
5.277 * [backup-simplify]: Simplify (+ 0 0) into 0
5.277 * [backup-simplify]: Simplify 0 into 0
5.278 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
5.278 * [backup-simplify]: Simplify (+ 0 0) into 0
5.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0))))) into 0
5.279 * [backup-simplify]: Simplify (+ 0 0) into 0
5.279 * [backup-simplify]: Simplify 0 into 0
5.280 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
5.280 * [backup-simplify]: Simplify (+ 0 0) into 0
5.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))))) into 0
5.281 * [backup-simplify]: Simplify (+ 0 0) into 0
5.281 * [backup-simplify]: Simplify 0 into 0
5.283 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
5.283 * [backup-simplify]: Simplify (+ 0 0) into 0
5.284 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0))))))) into 0
5.284 * [backup-simplify]: Simplify (+ 0 0) into 0
5.284 * [backup-simplify]: Simplify 0 into 0
5.285 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
5.286 * [backup-simplify]: Simplify (+ 0 0) into 0
5.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))))))) into 0
5.287 * [backup-simplify]: Simplify (+ 0 0) into 0
5.287 * [backup-simplify]: Simplify 0 into 0
5.288 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 (/ 1 x))) 2) (+ (* 1.0 (exp (/ 1 (/ 1 x)))) 1.0)) into (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0))
5.288 * [backup-simplify]: Simplify (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) (* (+ 1.0 (exp (/ 1 (- x)))) 1.0)) into (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0)))
5.288 * [approximate]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))) in (x) around 0
5.288 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))) in x
5.288 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) (* 1.0 (+ (exp (/ -1 x)) 1.0)))
5.288 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
5.288 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.288 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.288 * [taylor]: Taking taylor expansion of -1 in x
5.288 * [backup-simplify]: Simplify -1 into -1
5.288 * [taylor]: Taking taylor expansion of x in x
5.288 * [backup-simplify]: Simplify 0 into 0
5.288 * [backup-simplify]: Simplify 1 into 1
5.288 * [backup-simplify]: Simplify (/ -1 1) into -1
5.289 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.289 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.289 * [taylor]: Taking taylor expansion of -1 in x
5.289 * [backup-simplify]: Simplify -1 into -1
5.289 * [taylor]: Taking taylor expansion of x in x
5.289 * [backup-simplify]: Simplify 0 into 0
5.289 * [backup-simplify]: Simplify 1 into 1
5.289 * [backup-simplify]: Simplify (/ -1 1) into -1
5.289 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.289 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ -1 x)) 1.0)) in x
5.289 * [taylor]: Taking taylor expansion of 1.0 in x
5.289 * [backup-simplify]: Simplify 1.0 into 1.0
5.289 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.289 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.289 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.289 * [taylor]: Taking taylor expansion of -1 in x
5.289 * [backup-simplify]: Simplify -1 into -1
5.289 * [taylor]: Taking taylor expansion of x in x
5.289 * [backup-simplify]: Simplify 0 into 0
5.289 * [backup-simplify]: Simplify 1 into 1
5.289 * [backup-simplify]: Simplify (/ -1 1) into -1
5.289 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.290 * [taylor]: Taking taylor expansion of 1.0 in x
5.290 * [backup-simplify]: Simplify 1.0 into 1.0
5.290 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))) in x
5.290 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) (* 1.0 (+ (exp (/ -1 x)) 1.0)))
5.290 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
5.290 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.290 * [taylor]: Taking taylor expansion of -1 in x
5.290 * [backup-simplify]: Simplify -1 into -1
5.290 * [taylor]: Taking taylor expansion of x in x
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 1 into 1
5.290 * [backup-simplify]: Simplify (/ -1 1) into -1
5.290 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.290 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.290 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.290 * [taylor]: Taking taylor expansion of -1 in x
5.290 * [backup-simplify]: Simplify -1 into -1
5.290 * [taylor]: Taking taylor expansion of x in x
5.290 * [backup-simplify]: Simplify 0 into 0
5.290 * [backup-simplify]: Simplify 1 into 1
5.291 * [backup-simplify]: Simplify (/ -1 1) into -1
5.291 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.291 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ -1 x)) 1.0)) in x
5.291 * [taylor]: Taking taylor expansion of 1.0 in x
5.291 * [backup-simplify]: Simplify 1.0 into 1.0
5.291 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.291 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.291 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.291 * [taylor]: Taking taylor expansion of -1 in x
5.291 * [backup-simplify]: Simplify -1 into -1
5.291 * [taylor]: Taking taylor expansion of x in x
5.291 * [backup-simplify]: Simplify 0 into 0
5.291 * [backup-simplify]: Simplify 1 into 1
5.291 * [backup-simplify]: Simplify (/ -1 1) into -1
5.291 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.291 * [taylor]: Taking taylor expansion of 1.0 in x
5.291 * [backup-simplify]: Simplify 1.0 into 1.0
5.291 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
5.291 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0)
5.292 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ -1 x)) 1.0)) into (* 1.0 (+ (exp (/ -1 x)) 1.0))
5.292 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) (* 1.0 (+ (exp (/ -1 x)) 1.0))) into (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))
5.292 * [backup-simplify]: Simplify (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))) into (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))
5.292 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
5.292 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (+ (exp (/ -1 x)) 1.0))) into 0
5.293 * [backup-simplify]: Simplify (+ 0 0) into 0
5.293 * [backup-simplify]: Simplify 0 into 0
5.294 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
5.294 * [backup-simplify]: Simplify (+ 0 0) into 0
5.294 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))) into 0
5.295 * [backup-simplify]: Simplify (+ 0 0) into 0
5.295 * [backup-simplify]: Simplify 0 into 0
5.295 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
5.295 * [backup-simplify]: Simplify (+ 0 0) into 0
5.296 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0))))) into 0
5.296 * [backup-simplify]: Simplify (+ 0 0) into 0
5.296 * [backup-simplify]: Simplify 0 into 0
5.297 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
5.298 * [backup-simplify]: Simplify (+ 0 0) into 0
5.298 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))))) into 0
5.299 * [backup-simplify]: Simplify (+ 0 0) into 0
5.299 * [backup-simplify]: Simplify 0 into 0
5.300 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
5.300 * [backup-simplify]: Simplify (+ 0 0) into 0
5.301 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0))))))) into 0
5.302 * [backup-simplify]: Simplify (+ 0 0) into 0
5.302 * [backup-simplify]: Simplify 0 into 0
5.303 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
5.303 * [backup-simplify]: Simplify (+ 0 0) into 0
5.305 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))))))) into 0
5.305 * [backup-simplify]: Simplify (+ 0 0) into 0
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify (+ (* 1.0 (exp (/ -1 (/ 1 (- x))))) (+ 1.0 (pow (exp (/ -1 (/ 1 (- x)))) 2))) into (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0))
5.305 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 3 1)
5.305 * [backup-simplify]: Simplify (+ 1.0 (exp x)) into (+ (exp x) 1.0)
5.305 * [approximate]: Taking taylor expansion of (+ (exp x) 1.0) in (x) around 0
5.305 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.305 * [taylor]: Taking taylor expansion of (exp x) in x
5.305 * [taylor]: Taking taylor expansion of x in x
5.305 * [backup-simplify]: Simplify 0 into 0
5.305 * [backup-simplify]: Simplify 1 into 1
5.305 * [backup-simplify]: Simplify (exp 0) into 1
5.305 * [taylor]: Taking taylor expansion of 1.0 in x
5.306 * [backup-simplify]: Simplify 1.0 into 1.0
5.306 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.306 * [taylor]: Taking taylor expansion of (exp x) in x
5.306 * [taylor]: Taking taylor expansion of x in x
5.306 * [backup-simplify]: Simplify 0 into 0
5.306 * [backup-simplify]: Simplify 1 into 1
5.306 * [backup-simplify]: Simplify (exp 0) into 1
5.306 * [taylor]: Taking taylor expansion of 1.0 in x
5.306 * [backup-simplify]: Simplify 1.0 into 1.0
5.306 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
5.306 * [backup-simplify]: Simplify 2.0 into 2.0
5.307 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.307 * [backup-simplify]: Simplify (+ 1 0) into 1
5.307 * [backup-simplify]: Simplify 1 into 1
5.308 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.308 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.308 * [backup-simplify]: Simplify 1/2 into 1/2
5.308 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* 1 x) 2.0)) into (+ x (+ (* 1/2 (pow x 2)) 2.0))
5.308 * [backup-simplify]: Simplify (+ 1.0 (exp (/ 1 x))) into (+ (exp (/ 1 x)) 1.0)
5.308 * [approximate]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in (x) around 0
5.308 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.308 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.308 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.308 * [taylor]: Taking taylor expansion of x in x
5.309 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (/ 1 1) into 1
5.309 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.309 * [taylor]: Taking taylor expansion of 1.0 in x
5.309 * [backup-simplify]: Simplify 1.0 into 1.0
5.309 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.309 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.309 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.309 * [taylor]: Taking taylor expansion of x in x
5.309 * [backup-simplify]: Simplify 0 into 0
5.309 * [backup-simplify]: Simplify 1 into 1
5.309 * [backup-simplify]: Simplify (/ 1 1) into 1
5.309 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.309 * [taylor]: Taking taylor expansion of 1.0 in x
5.309 * [backup-simplify]: Simplify 1.0 into 1.0
5.309 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0)
5.309 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0)
5.310 * [backup-simplify]: Simplify (+ 0 0) into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify (+ 0 0) into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.310 * [backup-simplify]: Simplify (+ 0 0) into 0
5.310 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ 0 0) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ 0 0) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ 0 0) into 0
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify (+ (exp (/ 1 (/ 1 x))) 1.0) into (+ (exp x) 1.0)
5.311 * [backup-simplify]: Simplify (+ 1.0 (exp (/ 1 (- x)))) into (+ (exp (/ -1 x)) 1.0)
5.311 * [approximate]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in (x) around 0
5.311 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.311 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.311 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.311 * [taylor]: Taking taylor expansion of -1 in x
5.311 * [backup-simplify]: Simplify -1 into -1
5.311 * [taylor]: Taking taylor expansion of x in x
5.311 * [backup-simplify]: Simplify 0 into 0
5.311 * [backup-simplify]: Simplify 1 into 1
5.312 * [backup-simplify]: Simplify (/ -1 1) into -1
5.312 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.312 * [taylor]: Taking taylor expansion of 1.0 in x
5.312 * [backup-simplify]: Simplify 1.0 into 1.0
5.312 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.312 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.312 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.312 * [taylor]: Taking taylor expansion of -1 in x
5.312 * [backup-simplify]: Simplify -1 into -1
5.312 * [taylor]: Taking taylor expansion of x in x
5.312 * [backup-simplify]: Simplify 0 into 0
5.312 * [backup-simplify]: Simplify 1 into 1
5.312 * [backup-simplify]: Simplify (/ -1 1) into -1
5.312 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.312 * [taylor]: Taking taylor expansion of 1.0 in x
5.312 * [backup-simplify]: Simplify 1.0 into 1.0
5.312 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0)
5.313 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0)
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.313 * [backup-simplify]: Simplify 0 into 0
5.313 * [backup-simplify]: Simplify (+ 0 0) into 0
5.313 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ 0 0) into 0
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ 0 0) into 0
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ 0 0) into 0
5.314 * [backup-simplify]: Simplify 0 into 0
5.314 * [backup-simplify]: Simplify (+ (exp (/ -1 (/ 1 (- x)))) 1.0) into (+ (exp x) 1.0)
5.314 * * * * [progress]: [ 4 / 4 ] generating series at (2)
5.315 * [backup-simplify]: Simplify (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) into (/ (- (exp (* 3 x)) 1.0) (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))))
5.315 * [approximate]: Taking taylor expansion of (/ (- (exp (* 3 x)) 1.0) (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0)))) in (x) around 0
5.315 * [taylor]: Taking taylor expansion of (/ (- (exp (* 3 x)) 1.0) (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0)))) in x
5.315 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
5.315 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
5.315 * [taylor]: Taking taylor expansion of (* 3 x) in x
5.315 * [taylor]: Taking taylor expansion of 3 in x
5.315 * [backup-simplify]: Simplify 3 into 3
5.315 * [taylor]: Taking taylor expansion of x in x
5.315 * [backup-simplify]: Simplify 0 into 0
5.315 * [backup-simplify]: Simplify 1 into 1
5.315 * [backup-simplify]: Simplify (* 3 0) into 0
5.316 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
5.316 * [backup-simplify]: Simplify (exp 0) into 1
5.316 * [taylor]: Taking taylor expansion of 1.0 in x
5.316 * [backup-simplify]: Simplify 1.0 into 1.0
5.316 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))) in x
5.316 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) (* 1.0 (+ (exp x) 1.0)))
5.316 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
5.316 * [taylor]: Taking taylor expansion of (exp x) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (exp 0) into 1
5.316 * [taylor]: Taking taylor expansion of (exp x) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (exp 0) into 1
5.316 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp x) 1.0)) in x
5.316 * [taylor]: Taking taylor expansion of 1.0 in x
5.316 * [backup-simplify]: Simplify 1.0 into 1.0
5.316 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.316 * [taylor]: Taking taylor expansion of (exp x) in x
5.316 * [taylor]: Taking taylor expansion of x in x
5.316 * [backup-simplify]: Simplify 0 into 0
5.316 * [backup-simplify]: Simplify 1 into 1
5.316 * [backup-simplify]: Simplify (exp 0) into 1
5.316 * [taylor]: Taking taylor expansion of 1.0 in x
5.316 * [backup-simplify]: Simplify 1.0 into 1.0
5.317 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.317 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
5.318 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
5.318 * [backup-simplify]: Simplify (- 0) into 0
5.318 * [backup-simplify]: Simplify (+ 3 0) into 3
5.319 * [backup-simplify]: Simplify (* 1 1) into 1
5.319 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
5.319 * [backup-simplify]: Simplify (* 1.0 2.0) into 2.0
5.319 * [backup-simplify]: Simplify (+ 1 2.0) into 3.0
5.320 * [backup-simplify]: Simplify (/ 3 3.0) into 1.0
5.320 * [taylor]: Taking taylor expansion of (/ (- (exp (* 3 x)) 1.0) (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0)))) in x
5.320 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
5.320 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
5.320 * [taylor]: Taking taylor expansion of (* 3 x) in x
5.320 * [taylor]: Taking taylor expansion of 3 in x
5.320 * [backup-simplify]: Simplify 3 into 3
5.320 * [taylor]: Taking taylor expansion of x in x
5.320 * [backup-simplify]: Simplify 0 into 0
5.320 * [backup-simplify]: Simplify 1 into 1
5.320 * [backup-simplify]: Simplify (* 3 0) into 0
5.321 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
5.321 * [backup-simplify]: Simplify (exp 0) into 1
5.321 * [taylor]: Taking taylor expansion of 1.0 in x
5.321 * [backup-simplify]: Simplify 1.0 into 1.0
5.321 * [taylor]: Taking taylor expansion of (fma (exp x) (exp x) (* 1.0 (+ (exp x) 1.0))) in x
5.321 * [taylor]: Rewrote expression to (+ (* (exp x) (exp x)) (* 1.0 (+ (exp x) 1.0)))
5.321 * [taylor]: Taking taylor expansion of (* (exp x) (exp x)) in x
5.321 * [taylor]: Taking taylor expansion of (exp x) in x
5.321 * [taylor]: Taking taylor expansion of x in x
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 1 into 1
5.321 * [backup-simplify]: Simplify (exp 0) into 1
5.321 * [taylor]: Taking taylor expansion of (exp x) in x
5.321 * [taylor]: Taking taylor expansion of x in x
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 1 into 1
5.321 * [backup-simplify]: Simplify (exp 0) into 1
5.321 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp x) 1.0)) in x
5.321 * [taylor]: Taking taylor expansion of 1.0 in x
5.321 * [backup-simplify]: Simplify 1.0 into 1.0
5.321 * [taylor]: Taking taylor expansion of (+ (exp x) 1.0) in x
5.321 * [taylor]: Taking taylor expansion of (exp x) in x
5.321 * [taylor]: Taking taylor expansion of x in x
5.321 * [backup-simplify]: Simplify 0 into 0
5.321 * [backup-simplify]: Simplify 1 into 1
5.321 * [backup-simplify]: Simplify (exp 0) into 1
5.321 * [taylor]: Taking taylor expansion of 1.0 in x
5.321 * [backup-simplify]: Simplify 1.0 into 1.0
5.322 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.322 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
5.323 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
5.323 * [backup-simplify]: Simplify (- 0) into 0
5.323 * [backup-simplify]: Simplify (+ 3 0) into 3
5.323 * [backup-simplify]: Simplify (* 1 1) into 1
5.324 * [backup-simplify]: Simplify (+ 1 1.0) into 2.0
5.324 * [backup-simplify]: Simplify (* 1.0 2.0) into 2.0
5.324 * [backup-simplify]: Simplify (+ 1 2.0) into 3.0
5.325 * [backup-simplify]: Simplify (/ 3 3.0) into 1.0
5.325 * [backup-simplify]: Simplify 1.0 into 1.0
5.325 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
5.326 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
5.326 * [backup-simplify]: Simplify (- 0) into 0
5.327 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
5.327 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.328 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.328 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
5.329 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
5.329 * [backup-simplify]: Simplify (+ 1 0) into 1
5.330 * [backup-simplify]: Simplify (+ (* 1.0 1) (* 0 2.0)) into 1.0
5.331 * [backup-simplify]: Simplify (+ 2 1.0) into 3.0
5.334 * [backup-simplify]: Simplify (- (/ 9/2 3.0) (+ (* 1.0 (/ 3.0 3.0)))) into 0.5
5.334 * [backup-simplify]: Simplify 0.5 into 0.5
5.335 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.337 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 3) 6)) (* (/ (pow 3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 9/2
5.338 * [backup-simplify]: Simplify (- 0) into 0
5.338 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
5.340 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.342 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.343 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
5.344 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
5.345 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.347 * [backup-simplify]: Simplify (+ (* 1.0 1/2) (+ (* 0 1) (* 0 2.0))) into 0.5
5.348 * [backup-simplify]: Simplify (+ 2 0.5) into 2.5
5.353 * [backup-simplify]: Simplify (- (/ 9/2 3.0) (+ (* 1.0 (/ 2.5 3.0)) (* 0.5 (/ 3.0 3.0)))) into 0.16666666666666652
5.353 * [backup-simplify]: Simplify 0.16666666666666652 into 0.16666666666666652
5.353 * [backup-simplify]: Simplify (+ (* 0.16666666666666652 (pow x 3)) (+ (* 0.5 (pow x 2)) (* 1.0 x))) into (+ (* 1.0 x) (+ (* 0.16666666666666652 (pow x 3)) (* 0.5 (pow x 2))))
5.354 * [backup-simplify]: Simplify (/ (- (exp (* 3 (/ 1 x))) (* 1.0 (* 1.0 1.0))) (fma (exp (/ 1 x)) (exp (/ 1 x)) (* (+ 1.0 (exp (/ 1 x))) 1.0))) into (/ (- (exp (/ 3 x)) 1.0) (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))))
5.354 * [approximate]: Taking taylor expansion of (/ (- (exp (/ 3 x)) 1.0) (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0)))) in (x) around 0
5.354 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 3 x)) 1.0) (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0)))) in x
5.354 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
5.354 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
5.354 * [taylor]: Taking taylor expansion of (/ 3 x) in x
5.354 * [taylor]: Taking taylor expansion of 3 in x
5.355 * [backup-simplify]: Simplify 3 into 3
5.355 * [taylor]: Taking taylor expansion of x in x
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify 1 into 1
5.355 * [backup-simplify]: Simplify (/ 3 1) into 3
5.355 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
5.355 * [taylor]: Taking taylor expansion of 1.0 in x
5.355 * [backup-simplify]: Simplify 1.0 into 1.0
5.355 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))) in x
5.355 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (* 1.0 (+ (exp (/ 1 x)) 1.0)))
5.355 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
5.355 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.355 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.355 * [taylor]: Taking taylor expansion of x in x
5.355 * [backup-simplify]: Simplify 0 into 0
5.355 * [backup-simplify]: Simplify 1 into 1
5.355 * [backup-simplify]: Simplify (/ 1 1) into 1
5.355 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.355 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [backup-simplify]: Simplify (/ 1 1) into 1
5.356 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.356 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ 1 x)) 1.0)) in x
5.356 * [taylor]: Taking taylor expansion of 1.0 in x
5.356 * [backup-simplify]: Simplify 1.0 into 1.0
5.356 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.356 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.356 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.356 * [taylor]: Taking taylor expansion of x in x
5.356 * [backup-simplify]: Simplify 0 into 0
5.356 * [backup-simplify]: Simplify 1 into 1
5.356 * [backup-simplify]: Simplify (/ 1 1) into 1
5.356 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.356 * [taylor]: Taking taylor expansion of 1.0 in x
5.356 * [backup-simplify]: Simplify 1.0 into 1.0
5.357 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.357 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) (- 1.0)) into (- (exp (/ 3 x)) 1.0)
5.357 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
5.357 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0)
5.357 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ 1 x)) 1.0)) into (* 1.0 (+ (exp (/ 1 x)) 1.0))
5.357 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (* 1.0 (+ (exp (/ 1 x)) 1.0))) into (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))
5.358 * [backup-simplify]: Simplify (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) into (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))
5.358 * [taylor]: Taking taylor expansion of (/ (- (exp (/ 3 x)) 1.0) (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0)))) in x
5.358 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
5.358 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
5.358 * [taylor]: Taking taylor expansion of (/ 3 x) in x
5.358 * [taylor]: Taking taylor expansion of 3 in x
5.358 * [backup-simplify]: Simplify 3 into 3
5.358 * [taylor]: Taking taylor expansion of x in x
5.358 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify 1 into 1
5.358 * [backup-simplify]: Simplify (/ 3 1) into 3
5.358 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
5.358 * [taylor]: Taking taylor expansion of 1.0 in x
5.358 * [backup-simplify]: Simplify 1.0 into 1.0
5.358 * [taylor]: Taking taylor expansion of (fma (exp (/ 1 x)) (exp (/ 1 x)) (* 1.0 (+ (exp (/ 1 x)) 1.0))) in x
5.358 * [taylor]: Rewrote expression to (+ (* (exp (/ 1 x)) (exp (/ 1 x))) (* 1.0 (+ (exp (/ 1 x)) 1.0)))
5.358 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (exp (/ 1 x))) in x
5.358 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.358 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.358 * [taylor]: Taking taylor expansion of x in x
5.358 * [backup-simplify]: Simplify 0 into 0
5.358 * [backup-simplify]: Simplify 1 into 1
5.359 * [backup-simplify]: Simplify (/ 1 1) into 1
5.359 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.359 * [taylor]: Taking taylor expansion of x in x
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify 1 into 1
5.359 * [backup-simplify]: Simplify (/ 1 1) into 1
5.359 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.359 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ 1 x)) 1.0)) in x
5.359 * [taylor]: Taking taylor expansion of 1.0 in x
5.359 * [backup-simplify]: Simplify 1.0 into 1.0
5.359 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) 1.0) in x
5.359 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
5.359 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.359 * [taylor]: Taking taylor expansion of x in x
5.359 * [backup-simplify]: Simplify 0 into 0
5.359 * [backup-simplify]: Simplify 1 into 1
5.360 * [backup-simplify]: Simplify (/ 1 1) into 1
5.360 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
5.360 * [taylor]: Taking taylor expansion of 1.0 in x
5.360 * [backup-simplify]: Simplify 1.0 into 1.0
5.360 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.360 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) (- 1.0)) into (- (exp (/ 3 x)) 1.0)
5.360 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
5.360 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) 1.0) into (+ (exp (/ 1 x)) 1.0)
5.360 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ 1 x)) 1.0)) into (* 1.0 (+ (exp (/ 1 x)) 1.0))
5.361 * [backup-simplify]: Simplify (+ (pow (exp (/ 1 x)) 2) (* 1.0 (+ (exp (/ 1 x)) 1.0))) into (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))
5.361 * [backup-simplify]: Simplify (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) into (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))
5.361 * [backup-simplify]: Simplify (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) into (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))
5.361 * [backup-simplify]: Simplify (- 0) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.362 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
5.362 * [backup-simplify]: Simplify (+ 0 0) into 0
5.362 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (+ (exp (/ 1 x)) 1.0))) into 0
5.363 * [backup-simplify]: Simplify (+ 0 0) into 0
5.363 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.363 * [backup-simplify]: Simplify 0 into 0
5.364 * [backup-simplify]: Simplify (- 0) into 0
5.364 * [backup-simplify]: Simplify (+ 0 0) into 0
5.364 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
5.365 * [backup-simplify]: Simplify (+ 0 0) into 0
5.365 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))) into 0
5.366 * [backup-simplify]: Simplify (+ 0 0) into 0
5.366 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.366 * [backup-simplify]: Simplify 0 into 0
5.367 * [backup-simplify]: Simplify (- 0) into 0
5.367 * [backup-simplify]: Simplify (+ 0 0) into 0
5.368 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
5.368 * [backup-simplify]: Simplify (+ 0 0) into 0
5.369 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0))))) into 0
5.369 * [backup-simplify]: Simplify (+ 0 0) into 0
5.370 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.370 * [backup-simplify]: Simplify 0 into 0
5.370 * [backup-simplify]: Simplify (- 0) into 0
5.370 * [backup-simplify]: Simplify (+ 0 0) into 0
5.371 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
5.371 * [backup-simplify]: Simplify (+ 0 0) into 0
5.372 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))))) into 0
5.373 * [backup-simplify]: Simplify (+ 0 0) into 0
5.374 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.374 * [backup-simplify]: Simplify 0 into 0
5.374 * [backup-simplify]: Simplify (- 0) into 0
5.374 * [backup-simplify]: Simplify (+ 0 0) into 0
5.375 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
5.376 * [backup-simplify]: Simplify (+ 0 0) into 0
5.377 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0))))))) into 0
5.377 * [backup-simplify]: Simplify (+ 0 0) into 0
5.378 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.378 * [backup-simplify]: Simplify 0 into 0
5.382 * [backup-simplify]: Simplify (- 0) into 0
5.382 * [backup-simplify]: Simplify (+ 0 0) into 0
5.384 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
5.384 * [backup-simplify]: Simplify (+ 0 0) into 0
5.385 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ 1 x)) 1.0)))))))) into 0
5.386 * [backup-simplify]: Simplify (+ 0 0) into 0
5.387 * [backup-simplify]: Simplify (- (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (+ (* (/ (- (exp (/ 3 x)) 1.0) (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0))) (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))) (* 0 (/ 0 (+ (pow (exp (/ 1 x)) 2) (+ (* 1.0 (exp (/ 1 x))) 1.0)))))) into 0
5.387 * [backup-simplify]: Simplify 0 into 0
5.388 * [backup-simplify]: Simplify (/ (- (exp (/ 3 (/ 1 x))) 1.0) (+ (pow (exp (/ 1 (/ 1 x))) 2) (+ (* 1.0 (exp (/ 1 (/ 1 x)))) 1.0))) into (/ (- (exp (* 3 x)) 1.0) (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0)))
5.388 * [backup-simplify]: Simplify (/ (- (exp (* 3 (/ 1 (- x)))) (* 1.0 (* 1.0 1.0))) (fma (exp (/ 1 (- x))) (exp (/ 1 (- x))) (* (+ 1.0 (exp (/ 1 (- x)))) 1.0))) into (/ (- (exp (/ -3 x)) 1.0) (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))))
5.388 * [approximate]: Taking taylor expansion of (/ (- (exp (/ -3 x)) 1.0) (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0)))) in (x) around 0
5.388 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -3 x)) 1.0) (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0)))) in x
5.389 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
5.389 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
5.389 * [taylor]: Taking taylor expansion of (/ -3 x) in x
5.389 * [taylor]: Taking taylor expansion of -3 in x
5.389 * [backup-simplify]: Simplify -3 into -3
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 (/ -3 1) into -3
5.389 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
5.389 * [taylor]: Taking taylor expansion of 1.0 in x
5.389 * [backup-simplify]: Simplify 1.0 into 1.0
5.389 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))) in x
5.389 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) (* 1.0 (+ (exp (/ -1 x)) 1.0)))
5.389 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
5.389 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.389 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.389 * [taylor]: Taking taylor expansion of -1 in x
5.389 * [backup-simplify]: Simplify -1 into -1
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.390 * [backup-simplify]: Simplify (/ -1 1) into -1
5.390 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.390 * [taylor]: Taking taylor expansion of -1 in x
5.390 * [backup-simplify]: Simplify -1 into -1
5.390 * [taylor]: Taking taylor expansion of x in x
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 1 into 1
5.390 * [backup-simplify]: Simplify (/ -1 1) into -1
5.390 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.390 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ -1 x)) 1.0)) in x
5.390 * [taylor]: Taking taylor expansion of 1.0 in x
5.390 * [backup-simplify]: Simplify 1.0 into 1.0
5.390 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.390 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.390 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.390 * [taylor]: Taking taylor expansion of -1 in x
5.390 * [backup-simplify]: Simplify -1 into -1
5.390 * [taylor]: Taking taylor expansion of x in x
5.390 * [backup-simplify]: Simplify 0 into 0
5.390 * [backup-simplify]: Simplify 1 into 1
5.391 * [backup-simplify]: Simplify (/ -1 1) into -1
5.391 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.391 * [taylor]: Taking taylor expansion of 1.0 in x
5.391 * [backup-simplify]: Simplify 1.0 into 1.0
5.391 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
5.391 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (- 1.0)) into (- (exp (/ -3 x)) 1.0)
5.391 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
5.391 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0)
5.392 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ -1 x)) 1.0)) into (* 1.0 (+ (exp (/ -1 x)) 1.0))
5.392 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) (* 1.0 (+ (exp (/ -1 x)) 1.0))) into (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))
5.392 * [backup-simplify]: Simplify (/ (- (exp (/ -3 x)) 1.0) (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) into (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2))))
5.392 * [taylor]: Taking taylor expansion of (/ (- (exp (/ -3 x)) 1.0) (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0)))) in x
5.392 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
5.392 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
5.392 * [taylor]: Taking taylor expansion of (/ -3 x) in x
5.392 * [taylor]: Taking taylor expansion of -3 in x
5.392 * [backup-simplify]: Simplify -3 into -3
5.392 * [taylor]: Taking taylor expansion of x in x
5.392 * [backup-simplify]: Simplify 0 into 0
5.392 * [backup-simplify]: Simplify 1 into 1
5.392 * [backup-simplify]: Simplify (/ -3 1) into -3
5.393 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
5.393 * [taylor]: Taking taylor expansion of 1.0 in x
5.393 * [backup-simplify]: Simplify 1.0 into 1.0
5.393 * [taylor]: Taking taylor expansion of (fma (exp (/ -1 x)) (exp (/ -1 x)) (* 1.0 (+ (exp (/ -1 x)) 1.0))) in x
5.393 * [taylor]: Rewrote expression to (+ (* (exp (/ -1 x)) (exp (/ -1 x))) (* 1.0 (+ (exp (/ -1 x)) 1.0)))
5.393 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (exp (/ -1 x))) in x
5.393 * [taylor]: Taking taylor expansion of (exp (/ -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 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.393 * [taylor]: Taking taylor expansion of (exp (/ -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.394 * [backup-simplify]: Simplify (/ -1 1) into -1
5.394 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
5.394 * [taylor]: Taking taylor expansion of (* 1.0 (+ (exp (/ -1 x)) 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 * [taylor]: Taking taylor expansion of (+ (exp (/ -1 x)) 1.0) in x
5.394 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
5.394 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.394 * [taylor]: Taking taylor expansion of -1 in x
5.394 * [backup-simplify]: Simplify -1 into -1
5.394 * [taylor]: Taking taylor expansion of x in x
5.394 * [backup-simplify]: Simplify 0 into 0
5.394 * [backup-simplify]: Simplify 1 into 1
5.394 * [backup-simplify]: Simplify (/ -1 1) into -1
5.394 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 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.0) into (- 1.0)
5.395 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (- 1.0)) into (- (exp (/ -3 x)) 1.0)
5.395 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
5.395 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) 1.0) into (+ (exp (/ -1 x)) 1.0)
5.395 * [backup-simplify]: Simplify (* 1.0 (+ (exp (/ -1 x)) 1.0)) into (* 1.0 (+ (exp (/ -1 x)) 1.0))
5.395 * [backup-simplify]: Simplify (+ (pow (exp (/ -1 x)) 2) (* 1.0 (+ (exp (/ -1 x)) 1.0))) into (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))
5.395 * [backup-simplify]: Simplify (/ (- (exp (/ -3 x)) 1.0) (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) into (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2))))
5.396 * [backup-simplify]: Simplify (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) into (/ (- (exp (/ -3 x)) 1.0) (+ (pow (exp (/ -1 x)) 2) (+ (* 1.0 (exp (/ -1 x))) 1.0)))
5.396 * [backup-simplify]: Simplify (- 0) into 0
5.396 * [backup-simplify]: Simplify (+ 0 0) into 0
5.396 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
5.397 * [backup-simplify]: Simplify (+ 0 0) into 0
5.397 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 (+ (exp (/ -1 x)) 1.0))) into 0
5.397 * [backup-simplify]: Simplify (+ 0 0) into 0
5.398 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.398 * [backup-simplify]: Simplify 0 into 0
5.398 * [backup-simplify]: Simplify (- 0) into 0
5.398 * [backup-simplify]: Simplify (+ 0 0) into 0
5.399 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
5.399 * [backup-simplify]: Simplify (+ 0 0) into 0
5.400 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))) into 0
5.400 * [backup-simplify]: Simplify (+ 0 0) into 0
5.401 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.401 * [backup-simplify]: Simplify 0 into 0
5.401 * [backup-simplify]: Simplify (- 0) into 0
5.401 * [backup-simplify]: Simplify (+ 0 0) into 0
5.402 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
5.402 * [backup-simplify]: Simplify (+ 0 0) into 0
5.403 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0))))) into 0
5.403 * [backup-simplify]: Simplify (+ 0 0) into 0
5.404 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.404 * [backup-simplify]: Simplify 0 into 0
5.405 * [backup-simplify]: Simplify (- 0) into 0
5.405 * [backup-simplify]: Simplify (+ 0 0) into 0
5.406 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
5.406 * [backup-simplify]: Simplify (+ 0 0) into 0
5.407 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))))) into 0
5.407 * [backup-simplify]: Simplify (+ 0 0) into 0
5.408 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.408 * [backup-simplify]: Simplify 0 into 0
5.409 * [backup-simplify]: Simplify (- 0) into 0
5.409 * [backup-simplify]: Simplify (+ 0 0) into 0
5.410 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
5.410 * [backup-simplify]: Simplify (+ 0 0) into 0
5.411 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0))))))) into 0
5.412 * [backup-simplify]: Simplify (+ 0 0) into 0
5.413 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.413 * [backup-simplify]: Simplify 0 into 0
5.414 * [backup-simplify]: Simplify (- 0) into 0
5.414 * [backup-simplify]: Simplify (+ 0 0) into 0
5.415 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
5.415 * [backup-simplify]: Simplify (+ 0 0) into 0
5.417 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (+ (exp (/ -1 x)) 1.0)))))))) into 0
5.417 * [backup-simplify]: Simplify (+ 0 0) into 0
5.418 * [backup-simplify]: Simplify (- (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2)))) (+ (* (/ (- (exp (/ -3 x)) 1.0) (+ (* 1.0 (exp (/ -1 x))) (+ 1.0 (pow (exp (/ -1 x)) 2)))) (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))) (* 0 (/ 0 (+ 1.0 (+ (* 1.0 (exp (/ -1 x))) (pow (exp (/ -1 x)) 2))))))) into 0
5.419 * [backup-simplify]: Simplify 0 into 0
5.419 * [backup-simplify]: Simplify (/ (- (exp (/ -3 (/ 1 (- x)))) 1.0) (+ (pow (exp (/ -1 (/ 1 (- x)))) 2) (+ (* 1.0 (exp (/ -1 (/ 1 (- x))))) 1.0))) into (/ (- (exp (* 3 x)) 1.0) (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0)))
5.419 * * * [progress]: simplifying candidates
5.420 * [simplify]: Simplifying:
  (fma (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x)))) (cbrt (exp (* 3 x))) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (fma (sqrt (exp (* 3 x))) (sqrt (exp (* 3 x))) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (fma 1 (exp (* 3 x)) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (expm1 (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (log1p (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (/ (exp (exp (* 3 x))) (exp (* 1.0 (* 1.0 1.0))))
  (log (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (exp (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (* (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (* (* (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (- (pow (exp (* 3 x)) 3) (pow (* 1.0 (* 1.0 1.0)) 3))
  (+ (* (exp (* 3 x)) (exp (* 3 x))) (+ (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* (exp (* 3 x)) (exp (* 3 x))) (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))))
  (+ (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (expm1 (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (log1p (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (* (exp x) (exp x))
  (log (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (exp (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (* (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (* (* (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (expm1 (+ 1.0 (exp x)))
  (log1p (+ 1.0 (exp x)))
  (* (exp 1.0) (exp (exp x)))
  (log (+ 1.0 (exp x)))
  (exp (+ 1.0 (exp x)))
  (* (cbrt (+ 1.0 (exp x))) (cbrt (+ 1.0 (exp x))))
  (cbrt (+ 1.0 (exp x)))
  (* (* (+ 1.0 (exp x)) (+ 1.0 (exp x))) (+ 1.0 (exp x)))
  (sqrt (+ 1.0 (exp x)))
  (sqrt (+ 1.0 (exp x)))
  (+ (pow 1.0 3) (pow (exp x) 3))
  (+ (* 1.0 1.0) (- (* (exp x) (exp x)) (* 1.0 (exp x))))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (- 1.0 (exp x))
  (+ 1.0 (exp x))
  (expm1 (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (log1p (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (- (log (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (log (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (log (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (exp (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (* (* (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (* (* (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (* (cbrt (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))) (cbrt (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))))
  (cbrt (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (* (* (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (sqrt (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (sqrt (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (- (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (- (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ (exp (* 3 x)) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ (* 1.0 (* 1.0 1.0)) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ (* (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))) (* (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))))
  (/ (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (* (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (* (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))) 1)
  (/ (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (* (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))))
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) 1)
  (/ (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ 1 (* (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))))
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ 1 (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ 1 1)
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ 1 (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))
  (/ (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (* (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))) (cbrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)))))
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (sqrt (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0))))
  (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) 1)
  (/ (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (/ (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (/ (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (* (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (+ (* (exp (* 3 x)) (exp (* 3 x))) (+ (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))))
  (* (fma (exp x) (exp x) (* (+ 1.0 (exp x)) 1.0)) (+ (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))
  (- (exp (* 3 x)) 1.0)
  (- (exp (* 3 x)) 1.0)
  (+ (* 3.0 x) (+ (* 2.5 (pow x 2)) 3.0))
  (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0))
  (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0))
  (+ x (+ (* 1/2 (pow x 2)) 2.0))
  (+ (exp x) 1.0)
  (+ (exp x) 1.0)
  (+ (* 1.0 x) (+ (* 0.16666666666666652 (pow x 3)) (* 0.5 (pow x 2))))
  (/ (- (exp (* 3 x)) 1.0) (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0)))
  (/ (- (exp (* 3 x)) 1.0) (+ (pow (exp x) 2) (+ (* 1.0 (exp x)) 1.0)))
5.422 * * [simplify]: iteration 0: 148 enodes
5.471 * * [simplify]: iteration 1: 373 enodes
5.625 * * [simplify]: iteration 2: 1140 enodes
6.588 * * [simplify]: iteration 3: 4281 enodes
7.769 * * [simplify]: iteration complete: 5000 enodes
7.769 * * [simplify]: Extracting #0: cost 78 inf + 0
7.770 * * [simplify]: Extracting #1: cost 499 inf + 1
7.777 * * [simplify]: Extracting #2: cost 983 inf + 10648
7.808 * * [simplify]: Extracting #3: cost 522 inf + 161519
7.900 * * [simplify]: Extracting #4: cost 89 inf + 327194
8.008 * * [simplify]: Extracting #5: cost 3 inf + 360841
8.146 * * [simplify]: Extracting #6: cost 0 inf + 361547
8.232 * [simplify]: Simplified to:
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (* (+ (- 1.0) 1.0) (* 1.0 1.0))
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (* (+ (- 1.0) 1.0) (* 1.0 1.0))
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (* (+ (- 1.0) 1.0) (* 1.0 1.0))
  (expm1 (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (log1p (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (- (* (* 1.0 1.0) 1.0))
  (- (* (* 1.0 1.0) 1.0))
  (- (* (* 1.0 1.0) 1.0))
  (exp (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (log (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (exp (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (* (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (* (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (* (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (- (exp (* x 9)) (* 1.0 (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0)))))
  (fma (exp (* 3 x)) (exp (* 3 x)) (* (* (* 1.0 1.0) 1.0) (+ (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (- (* (* 1.0 1.0) 1.0))
  (- (exp (* x 6)) (* (* 1.0 1.0) (* (* 1.0 1.0) (* 1.0 1.0))))
  (fma 1.0 (* 1.0 1.0) (exp (* 3 x)))
  (- (* (* 1.0 1.0) 1.0))
  (expm1 (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (log1p (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (exp (+ x x))
  (log (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (exp (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (* (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (* (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (* (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (expm1 (+ (exp x) 1.0))
  (log1p (+ (exp x) 1.0))
  (exp (+ 1.0 (exp x)))
  (log (+ (exp x) 1.0))
  (exp (+ 1.0 (exp x)))
  (* (cbrt (+ (exp x) 1.0)) (cbrt (+ (exp x) 1.0)))
  (cbrt (+ (exp x) 1.0))
  (* (+ (exp x) 1.0) (* (+ (exp x) 1.0) (+ (exp x) 1.0)))
  (sqrt (+ (exp x) 1.0))
  (sqrt (+ (exp x) 1.0))
  (fma 1.0 (* 1.0 1.0) (exp (fma 2 x x)))
  (fma (- (exp x) 1.0) (exp x) (* 1.0 1.0))
  (- (* 1.0 1.0) (exp (+ x x)))
  (- 1.0 (exp x))
  (+ (exp x) 1.0)
  (expm1 (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (log1p (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (log (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (log (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (exp (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (* (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (* (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (* (cbrt (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))) (cbrt (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (cbrt (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (* (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (* (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (sqrt (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (sqrt (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (fma (* 1.0 1.0) 1.0 (- (exp (* 3 x))))
  (- (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ (exp (* 3 x)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ (* (* 1.0 1.0) 1.0) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (* (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))) (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (* (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (* (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (/ (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (* (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (/ (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (/ (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (/ (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (/ (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ (/ 1 (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (/ 1 (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  1
  (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ 1 (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (/ (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (* (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))) (cbrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))))
  (/ (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)) (sqrt (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))))
  (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))
  (/ (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (cbrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (/ (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (sqrt (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0))))
  (/ (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (- (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))
  (* (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)) (fma (exp (* 3 x)) (exp (* 3 x)) (* (* (* 1.0 1.0) 1.0) (+ (exp (* 3 x)) (* (* 1.0 1.0) 1.0)))))
  (* (fma 1.0 (* 1.0 1.0) (exp (* 3 x))) (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0)))
  (fma (* x x) 9/2 (* x (fma (* x x) 9/2 3)))
  (- (exp (* 3 x)) 1.0)
  (- (exp (* 3 x)) 1.0)
  (+ (* x (fma 2.5 x 3.0)) 3.0)
  (fma (exp x) 1.0 (fma (exp x) (exp x) 1.0))
  (fma (exp x) 1.0 (fma (exp x) (exp x) 1.0))
  (fma (fma x 1/2 1) x 2.0)
  (+ (exp x) 1.0)
  (+ (exp x) 1.0)
  (fma (* x x) (fma 0.16666666666666652 x 0.5) (* 1.0 x))
  (/ (- (exp (* 3 x)) 1.0) (fma (exp x) 1.0 (fma (exp x) (exp x) 1.0)))
  (/ (- (exp (* 3 x)) 1.0) (fma (exp x) 1.0 (fma (exp x) (exp x) 1.0)))
8.247 * * * [progress]: adding candidates to table
8.789 * * [progress]: iteration 4 / 4
8.789 * * * [progress]: picking best candidate
8.793 * * * * [pick]: Picked  #<alt (λ (x) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (/ (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x))) 1.0))))>
8.794 * * * [progress]: localizing error
8.831 * * * [progress]: generating rewritten candidates
8.831 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 3 1 2)
8.838 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 3 1 1)
8.845 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
8.859 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 3 1 1 2)
8.888 * * * [progress]: generating series expansions
8.888 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 3 1 2)
8.888 * [backup-simplify]: Simplify (- 1.0 (exp x)) into (- 1.0 (exp x))
8.888 * [approximate]: Taking taylor expansion of (- 1.0 (exp x)) in (x) around 0
8.888 * [taylor]: Taking taylor expansion of (- 1.0 (exp x)) in x
8.888 * [taylor]: Taking taylor expansion of 1.0 in x
8.888 * [backup-simplify]: Simplify 1.0 into 1.0
8.888 * [taylor]: Taking taylor expansion of (exp x) in x
8.888 * [taylor]: Taking taylor expansion of x in x
8.888 * [backup-simplify]: Simplify 0 into 0
8.888 * [backup-simplify]: Simplify 1 into 1
8.888 * [backup-simplify]: Simplify (exp 0) into 1
8.888 * [taylor]: Taking taylor expansion of (- 1.0 (exp x)) in x
8.888 * [taylor]: Taking taylor expansion of 1.0 in x
8.888 * [backup-simplify]: Simplify 1.0 into 1.0
8.888 * [taylor]: Taking taylor expansion of (exp x) in x
8.888 * [taylor]: Taking taylor expansion of x in x
8.888 * [backup-simplify]: Simplify 0 into 0
8.888 * [backup-simplify]: Simplify 1 into 1
8.888 * [backup-simplify]: Simplify (exp 0) into 1
8.889 * [backup-simplify]: Simplify (- 1) into -1
8.889 * [backup-simplify]: Simplify (+ 1.0 -1) into 0
8.889 * [backup-simplify]: Simplify 0 into 0
8.890 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.890 * [backup-simplify]: Simplify (- 1) into -1
8.891 * [backup-simplify]: Simplify (+ 0 -1) into -1
8.891 * [backup-simplify]: Simplify -1 into -1
8.892 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.892 * [backup-simplify]: Simplify (- 1/2) into -1/2
8.892 * [backup-simplify]: Simplify (+ 0 -1/2) into -1/2
8.892 * [backup-simplify]: Simplify -1/2 into -1/2
8.894 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
8.894 * [backup-simplify]: Simplify (- 1/6) into -1/6
8.894 * [backup-simplify]: Simplify (+ 0 -1/6) into -1/6
8.894 * [backup-simplify]: Simplify -1/6 into -1/6
8.894 * [backup-simplify]: Simplify (+ (* -1/6 (pow x 3)) (+ (* -1/2 (pow x 2)) (* -1 x))) into (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
8.895 * [backup-simplify]: Simplify (- 1.0 (exp (/ 1 x))) into (- 1.0 (exp (/ 1 x)))
8.895 * [approximate]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in (x) around 0
8.895 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in x
8.895 * [taylor]: Taking taylor expansion of 1.0 in x
8.895 * [backup-simplify]: Simplify 1.0 into 1.0
8.895 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.895 * [taylor]: Taking taylor expansion of x in x
8.895 * [backup-simplify]: Simplify 0 into 0
8.895 * [backup-simplify]: Simplify 1 into 1
8.895 * [backup-simplify]: Simplify (/ 1 1) into 1
8.895 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.895 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ 1 x))) in x
8.895 * [taylor]: Taking taylor expansion of 1.0 in x
8.895 * [backup-simplify]: Simplify 1.0 into 1.0
8.895 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.895 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.895 * [taylor]: Taking taylor expansion of x in x
8.895 * [backup-simplify]: Simplify 0 into 0
8.895 * [backup-simplify]: Simplify 1 into 1
8.895 * [backup-simplify]: Simplify (/ 1 1) into 1
8.895 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.896 * [backup-simplify]: Simplify (- (exp (/ 1 x))) into (- (exp (/ 1 x)))
8.896 * [backup-simplify]: Simplify (+ 1.0 (- (exp (/ 1 x)))) into (- 1.0 (exp (/ 1 x)))
8.896 * [backup-simplify]: Simplify (- 1.0 (exp (/ 1 x))) into (- 1.0 (exp (/ 1 x)))
8.896 * [backup-simplify]: Simplify (- 0) into 0
8.896 * [backup-simplify]: Simplify (+ 0 0) into 0
8.896 * [backup-simplify]: Simplify 0 into 0
8.896 * [backup-simplify]: Simplify (- 0) into 0
8.897 * [backup-simplify]: Simplify (+ 0 0) into 0
8.897 * [backup-simplify]: Simplify 0 into 0
8.897 * [backup-simplify]: Simplify (- 0) into 0
8.897 * [backup-simplify]: Simplify (+ 0 0) into 0
8.897 * [backup-simplify]: Simplify 0 into 0
8.897 * [backup-simplify]: Simplify (- 0) into 0
8.898 * [backup-simplify]: Simplify (+ 0 0) into 0
8.898 * [backup-simplify]: Simplify 0 into 0
8.898 * [backup-simplify]: Simplify (- 0) into 0
8.898 * [backup-simplify]: Simplify (+ 0 0) into 0
8.898 * [backup-simplify]: Simplify 0 into 0
8.898 * [backup-simplify]: Simplify (- 0) into 0
8.899 * [backup-simplify]: Simplify (+ 0 0) into 0
8.899 * [backup-simplify]: Simplify 0 into 0
8.899 * [backup-simplify]: Simplify (- 1.0 (exp (/ 1 (/ 1 x)))) into (- 1.0 (exp x))
8.899 * [backup-simplify]: Simplify (- 1.0 (exp (/ 1 (- x)))) into (- 1.0 (exp (/ -1 x)))
8.899 * [approximate]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in (x) around 0
8.899 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in x
8.899 * [taylor]: Taking taylor expansion of 1.0 in x
8.899 * [backup-simplify]: Simplify 1.0 into 1.0
8.899 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.899 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.899 * [taylor]: Taking taylor expansion of -1 in x
8.899 * [backup-simplify]: Simplify -1 into -1
8.899 * [taylor]: Taking taylor expansion of x in x
8.899 * [backup-simplify]: Simplify 0 into 0
8.899 * [backup-simplify]: Simplify 1 into 1
8.899 * [backup-simplify]: Simplify (/ -1 1) into -1
8.899 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.900 * [taylor]: Taking taylor expansion of (- 1.0 (exp (/ -1 x))) in x
8.900 * [taylor]: Taking taylor expansion of 1.0 in x
8.900 * [backup-simplify]: Simplify 1.0 into 1.0
8.900 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.900 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.900 * [taylor]: Taking taylor expansion of -1 in x
8.900 * [backup-simplify]: Simplify -1 into -1
8.900 * [taylor]: Taking taylor expansion of x in x
8.900 * [backup-simplify]: Simplify 0 into 0
8.900 * [backup-simplify]: Simplify 1 into 1
8.900 * [backup-simplify]: Simplify (/ -1 1) into -1
8.900 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.900 * [backup-simplify]: Simplify (- (exp (/ -1 x))) into (- (exp (/ -1 x)))
8.900 * [backup-simplify]: Simplify (+ 1.0 (- (exp (/ -1 x)))) into (- 1.0 (exp (/ -1 x)))
8.900 * [backup-simplify]: Simplify (- 1.0 (exp (/ -1 x))) into (- 1.0 (exp (/ -1 x)))
8.901 * [backup-simplify]: Simplify (- 0) into 0
8.901 * [backup-simplify]: Simplify (+ 0 0) into 0
8.901 * [backup-simplify]: Simplify 0 into 0
8.901 * [backup-simplify]: Simplify (- 0) into 0
8.901 * [backup-simplify]: Simplify (+ 0 0) into 0
8.901 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify (- 0) into 0
8.902 * [backup-simplify]: Simplify (+ 0 0) into 0
8.902 * [backup-simplify]: Simplify 0 into 0
8.902 * [backup-simplify]: Simplify (- 0) into 0
8.902 * [backup-simplify]: Simplify (+ 0 0) into 0
8.902 * [backup-simplify]: Simplify 0 into 0
8.903 * [backup-simplify]: Simplify (- 0) into 0
8.903 * [backup-simplify]: Simplify (+ 0 0) into 0
8.903 * [backup-simplify]: Simplify 0 into 0
8.903 * [backup-simplify]: Simplify (- 0) into 0
8.903 * [backup-simplify]: Simplify (+ 0 0) into 0
8.903 * [backup-simplify]: Simplify 0 into 0
8.903 * [backup-simplify]: Simplify (- 1.0 (exp (/ -1 (/ 1 (- x))))) into (- 1.0 (exp x))
8.903 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 3 1 1)
8.904 * [backup-simplify]: Simplify (- (* 1.0 1.0) (* (exp x) (exp x))) into (- 1.0 (pow (exp x) 2))
8.904 * [approximate]: Taking taylor expansion of (- 1.0 (pow (exp x) 2)) in (x) around 0
8.904 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp x) 2)) in x
8.904 * [taylor]: Taking taylor expansion of 1.0 in x
8.904 * [backup-simplify]: Simplify 1.0 into 1.0
8.904 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
8.904 * [taylor]: Taking taylor expansion of (exp x) in x
8.904 * [taylor]: Taking taylor expansion of x in x
8.904 * [backup-simplify]: Simplify 0 into 0
8.904 * [backup-simplify]: Simplify 1 into 1
8.904 * [backup-simplify]: Simplify (exp 0) into 1
8.904 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp x) 2)) in x
8.904 * [taylor]: Taking taylor expansion of 1.0 in x
8.904 * [backup-simplify]: Simplify 1.0 into 1.0
8.904 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
8.904 * [taylor]: Taking taylor expansion of (exp x) in x
8.904 * [taylor]: Taking taylor expansion of x in x
8.904 * [backup-simplify]: Simplify 0 into 0
8.904 * [backup-simplify]: Simplify 1 into 1
8.904 * [backup-simplify]: Simplify (exp 0) into 1
8.905 * [backup-simplify]: Simplify (* 1 1) into 1
8.905 * [backup-simplify]: Simplify (- 1) into -1
8.905 * [backup-simplify]: Simplify (+ 1.0 -1) into 0
8.905 * [backup-simplify]: Simplify 0 into 0
8.906 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.906 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
8.906 * [backup-simplify]: Simplify (- 2) into -2
8.907 * [backup-simplify]: Simplify (+ 0 -2) into -2
8.907 * [backup-simplify]: Simplify -2 into -2
8.909 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.909 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
8.910 * [backup-simplify]: Simplify (- 2) into -2
8.910 * [backup-simplify]: Simplify (+ 0 -2) into -2
8.910 * [backup-simplify]: Simplify -2 into -2
8.913 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 3) 6)) (* (/ (pow 1 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 1/6
8.914 * [backup-simplify]: Simplify (+ (* 1 1/6) (+ (* 1 1/2) (+ (* 1/2 1) (* 1/6 1)))) into 4/3
8.914 * [backup-simplify]: Simplify (- 4/3) into -4/3
8.915 * [backup-simplify]: Simplify (+ 0 -4/3) into -4/3
8.915 * [backup-simplify]: Simplify -4/3 into -4/3
8.915 * [backup-simplify]: Simplify (+ (* -4/3 (pow x 3)) (+ (* -2 (pow x 2)) (* -2 x))) into (- (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2)))))
8.916 * [backup-simplify]: Simplify (- (* 1.0 1.0) (* (exp (/ 1 x)) (exp (/ 1 x)))) into (- 1.0 (pow (exp (/ 1 x)) 2))
8.916 * [approximate]: Taking taylor expansion of (- 1.0 (pow (exp (/ 1 x)) 2)) in (x) around 0
8.916 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp (/ 1 x)) 2)) in x
8.916 * [taylor]: Taking taylor expansion of 1.0 in x
8.916 * [backup-simplify]: Simplify 1.0 into 1.0
8.916 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
8.916 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.916 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.916 * [taylor]: Taking taylor expansion of x in x
8.916 * [backup-simplify]: Simplify 0 into 0
8.916 * [backup-simplify]: Simplify 1 into 1
8.917 * [backup-simplify]: Simplify (/ 1 1) into 1
8.917 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.917 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp (/ 1 x)) 2)) in x
8.917 * [taylor]: Taking taylor expansion of 1.0 in x
8.917 * [backup-simplify]: Simplify 1.0 into 1.0
8.917 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
8.917 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.917 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.917 * [taylor]: Taking taylor expansion of x in x
8.917 * [backup-simplify]: Simplify 0 into 0
8.917 * [backup-simplify]: Simplify 1 into 1
8.917 * [backup-simplify]: Simplify (/ 1 1) into 1
8.917 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.918 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
8.918 * [backup-simplify]: Simplify (- (pow (exp (/ 1 x)) 2)) into (- (pow (exp (/ 1 x)) 2))
8.918 * [backup-simplify]: Simplify (+ 1.0 (- (pow (exp (/ 1 x)) 2))) into (- 1.0 (pow (exp (/ 1 x)) 2))
8.918 * [backup-simplify]: Simplify (- 1.0 (pow (exp (/ 1 x)) 2)) into (- 1.0 (pow (exp (/ 1 x)) 2))
8.918 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
8.918 * [backup-simplify]: Simplify (- 0) into 0
8.919 * [backup-simplify]: Simplify (+ 0 0) into 0
8.919 * [backup-simplify]: Simplify 0 into 0
8.919 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
8.919 * [backup-simplify]: Simplify (- 0) into 0
8.920 * [backup-simplify]: Simplify (+ 0 0) into 0
8.920 * [backup-simplify]: Simplify 0 into 0
8.920 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
8.921 * [backup-simplify]: Simplify (- 0) into 0
8.921 * [backup-simplify]: Simplify (+ 0 0) into 0
8.921 * [backup-simplify]: Simplify 0 into 0
8.922 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
8.922 * [backup-simplify]: Simplify (- 0) into 0
8.922 * [backup-simplify]: Simplify (+ 0 0) into 0
8.922 * [backup-simplify]: Simplify 0 into 0
8.924 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
8.924 * [backup-simplify]: Simplify (- 0) into 0
8.924 * [backup-simplify]: Simplify (+ 0 0) into 0
8.924 * [backup-simplify]: Simplify 0 into 0
8.925 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
8.926 * [backup-simplify]: Simplify (- 0) into 0
8.926 * [backup-simplify]: Simplify (+ 0 0) into 0
8.926 * [backup-simplify]: Simplify 0 into 0
8.926 * [backup-simplify]: Simplify (- 1.0 (pow (exp (/ 1 (/ 1 x))) 2)) into (- 1.0 (pow (exp x) 2))
8.927 * [backup-simplify]: Simplify (- (* 1.0 1.0) (* (exp (/ 1 (- x))) (exp (/ 1 (- x))))) into (- 1.0 (pow (exp (/ -1 x)) 2))
8.927 * [approximate]: Taking taylor expansion of (- 1.0 (pow (exp (/ -1 x)) 2)) in (x) around 0
8.927 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp (/ -1 x)) 2)) 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 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
8.927 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.927 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.927 * [taylor]: Taking taylor expansion of -1 in x
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 * [backup-simplify]: Simplify (/ -1 1) into -1
8.927 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.927 * [taylor]: Taking taylor expansion of (- 1.0 (pow (exp (/ -1 x)) 2)) 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 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
8.927 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.927 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.927 * [taylor]: Taking taylor expansion of -1 in x
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.928 * [backup-simplify]: Simplify (/ -1 1) into -1
8.928 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.928 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
8.928 * [backup-simplify]: Simplify (- (pow (exp (/ -1 x)) 2)) into (- (pow (exp (/ -1 x)) 2))
8.928 * [backup-simplify]: Simplify (+ 1.0 (- (pow (exp (/ -1 x)) 2))) into (- 1.0 (pow (exp (/ -1 x)) 2))
8.928 * [backup-simplify]: Simplify (- 1.0 (pow (exp (/ -1 x)) 2)) into (- 1.0 (pow (exp (/ -1 x)) 2))
8.928 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
8.929 * [backup-simplify]: Simplify (- 0) into 0
8.929 * [backup-simplify]: Simplify (+ 0 0) into 0
8.929 * [backup-simplify]: Simplify 0 into 0
8.929 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
8.929 * [backup-simplify]: Simplify (- 0) into 0
8.930 * [backup-simplify]: Simplify (+ 0 0) into 0
8.930 * [backup-simplify]: Simplify 0 into 0
8.930 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
8.930 * [backup-simplify]: Simplify (- 0) into 0
8.931 * [backup-simplify]: Simplify (+ 0 0) into 0
8.931 * [backup-simplify]: Simplify 0 into 0
8.932 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
8.932 * [backup-simplify]: Simplify (- 0) into 0
8.932 * [backup-simplify]: Simplify (+ 0 0) into 0
8.932 * [backup-simplify]: Simplify 0 into 0
8.933 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
8.933 * [backup-simplify]: Simplify (- 0) into 0
8.934 * [backup-simplify]: Simplify (+ 0 0) into 0
8.934 * [backup-simplify]: Simplify 0 into 0
8.935 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
8.935 * [backup-simplify]: Simplify (- 0) into 0
8.935 * [backup-simplify]: Simplify (+ 0 0) into 0
8.935 * [backup-simplify]: Simplify 0 into 0
8.936 * [backup-simplify]: Simplify (- 1.0 (pow (exp (/ -1 (/ 1 (- x)))) 2)) into (- 1.0 (pow (exp x) 2))
8.936 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
8.936 * [backup-simplify]: Simplify (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) into (- (exp (* 3 x)) 1.0)
8.936 * [approximate]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in (x) around 0
8.936 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
8.936 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
8.936 * [taylor]: Taking taylor expansion of (* 3 x) in x
8.936 * [taylor]: Taking taylor expansion of 3 in x
8.936 * [backup-simplify]: Simplify 3 into 3
8.936 * [taylor]: Taking taylor expansion of x in x
8.936 * [backup-simplify]: Simplify 0 into 0
8.936 * [backup-simplify]: Simplify 1 into 1
8.937 * [backup-simplify]: Simplify (* 3 0) into 0
8.937 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
8.937 * [backup-simplify]: Simplify (exp 0) into 1
8.937 * [taylor]: Taking taylor expansion of 1.0 in x
8.937 * [backup-simplify]: Simplify 1.0 into 1.0
8.937 * [taylor]: Taking taylor expansion of (- (exp (* 3 x)) 1.0) in x
8.937 * [taylor]: Taking taylor expansion of (exp (* 3 x)) in x
8.937 * [taylor]: Taking taylor expansion of (* 3 x) in x
8.937 * [taylor]: Taking taylor expansion of 3 in x
8.937 * [backup-simplify]: Simplify 3 into 3
8.937 * [taylor]: Taking taylor expansion of x in x
8.937 * [backup-simplify]: Simplify 0 into 0
8.937 * [backup-simplify]: Simplify 1 into 1
8.938 * [backup-simplify]: Simplify (* 3 0) into 0
8.938 * [backup-simplify]: Simplify (+ (* 3 1) (* 0 0)) into 3
8.938 * [backup-simplify]: Simplify (exp 0) into 1
8.938 * [taylor]: Taking taylor expansion of 1.0 in x
8.938 * [backup-simplify]: Simplify 1.0 into 1.0
8.938 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.939 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
8.939 * [backup-simplify]: Simplify 0 into 0
8.940 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 1) 1)))) into 3
8.940 * [backup-simplify]: Simplify (- 0) into 0
8.940 * [backup-simplify]: Simplify (+ 3 0) into 3
8.940 * [backup-simplify]: Simplify 3 into 3
8.941 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 1) (* 0 0))) into 0
8.942 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 0 1) 1)))) into 9/2
8.942 * [backup-simplify]: Simplify (- 0) into 0
8.942 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
8.942 * [backup-simplify]: Simplify 9/2 into 9/2
8.943 * [backup-simplify]: Simplify (+ (* 3 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
8.944 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 3 3) 6)) (* (/ (pow 3 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 9/2
8.945 * [backup-simplify]: Simplify (- 0) into 0
8.945 * [backup-simplify]: Simplify (+ 9/2 0) into 9/2
8.945 * [backup-simplify]: Simplify 9/2 into 9/2
8.945 * [backup-simplify]: Simplify (+ (* 9/2 (pow x 3)) (+ (* 9/2 (pow x 2)) (* 3 x))) into (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))
8.946 * [backup-simplify]: Simplify (- (exp (* 3 (/ 1 x))) (* 1.0 (* 1.0 1.0))) into (- (exp (/ 3 x)) 1.0)
8.946 * [approximate]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in (x) around 0
8.946 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
8.946 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
8.946 * [taylor]: Taking taylor expansion of (/ 3 x) in x
8.946 * [taylor]: Taking taylor expansion of 3 in x
8.946 * [backup-simplify]: Simplify 3 into 3
8.946 * [taylor]: Taking taylor expansion of x in x
8.946 * [backup-simplify]: Simplify 0 into 0
8.946 * [backup-simplify]: Simplify 1 into 1
8.947 * [backup-simplify]: Simplify (/ 3 1) into 3
8.947 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
8.947 * [taylor]: Taking taylor expansion of 1.0 in x
8.947 * [backup-simplify]: Simplify 1.0 into 1.0
8.947 * [taylor]: Taking taylor expansion of (- (exp (/ 3 x)) 1.0) in x
8.947 * [taylor]: Taking taylor expansion of (exp (/ 3 x)) in x
8.947 * [taylor]: Taking taylor expansion of (/ 3 x) in x
8.947 * [taylor]: Taking taylor expansion of 3 in x
8.947 * [backup-simplify]: Simplify 3 into 3
8.947 * [taylor]: Taking taylor expansion of x in x
8.947 * [backup-simplify]: Simplify 0 into 0
8.947 * [backup-simplify]: Simplify 1 into 1
8.947 * [backup-simplify]: Simplify (/ 3 1) into 3
8.948 * [backup-simplify]: Simplify (exp (/ 3 x)) into (exp (/ 3 x))
8.948 * [taylor]: Taking taylor expansion of 1.0 in x
8.948 * [backup-simplify]: Simplify 1.0 into 1.0
8.948 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.948 * [backup-simplify]: Simplify (+ (exp (/ 3 x)) (- 1.0)) into (- (exp (/ 3 x)) 1.0)
8.949 * [backup-simplify]: Simplify (- (exp (/ 3 x)) 1.0) into (- (exp (/ 3 x)) 1.0)
8.949 * [backup-simplify]: Simplify (- 0) into 0
8.949 * [backup-simplify]: Simplify (+ 0 0) into 0
8.949 * [backup-simplify]: Simplify 0 into 0
8.950 * [backup-simplify]: Simplify (- 0) into 0
8.950 * [backup-simplify]: Simplify (+ 0 0) into 0
8.950 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify (- 0) into 0
8.951 * [backup-simplify]: Simplify (+ 0 0) into 0
8.951 * [backup-simplify]: Simplify 0 into 0
8.951 * [backup-simplify]: Simplify (- 0) into 0
8.952 * [backup-simplify]: Simplify (+ 0 0) into 0
8.952 * [backup-simplify]: Simplify 0 into 0
8.952 * [backup-simplify]: Simplify (- 0) into 0
8.952 * [backup-simplify]: Simplify (+ 0 0) into 0
8.953 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify (- 0) into 0
8.953 * [backup-simplify]: Simplify (+ 0 0) into 0
8.953 * [backup-simplify]: Simplify 0 into 0
8.953 * [backup-simplify]: Simplify (- (exp (/ 3 (/ 1 x))) 1.0) into (- (exp (* 3 x)) 1.0)
8.954 * [backup-simplify]: Simplify (- (exp (* 3 (/ 1 (- x)))) (* 1.0 (* 1.0 1.0))) into (- (exp (/ -3 x)) 1.0)
8.955 * [approximate]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in (x) around 0
8.955 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
8.955 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
8.955 * [taylor]: Taking taylor expansion of (/ -3 x) in x
8.955 * [taylor]: Taking taylor expansion of -3 in x
8.955 * [backup-simplify]: Simplify -3 into -3
8.955 * [taylor]: Taking taylor expansion of x in x
8.955 * [backup-simplify]: Simplify 0 into 0
8.955 * [backup-simplify]: Simplify 1 into 1
8.955 * [backup-simplify]: Simplify (/ -3 1) into -3
8.955 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
8.955 * [taylor]: Taking taylor expansion of 1.0 in x
8.955 * [backup-simplify]: Simplify 1.0 into 1.0
8.955 * [taylor]: Taking taylor expansion of (- (exp (/ -3 x)) 1.0) in x
8.955 * [taylor]: Taking taylor expansion of (exp (/ -3 x)) in x
8.955 * [taylor]: Taking taylor expansion of (/ -3 x) in x
8.955 * [taylor]: Taking taylor expansion of -3 in x
8.955 * [backup-simplify]: Simplify -3 into -3
8.956 * [taylor]: Taking taylor expansion of x in x
8.956 * [backup-simplify]: Simplify 0 into 0
8.956 * [backup-simplify]: Simplify 1 into 1
8.956 * [backup-simplify]: Simplify (/ -3 1) into -3
8.956 * [backup-simplify]: Simplify (exp (/ -3 x)) into (exp (/ -3 x))
8.956 * [taylor]: Taking taylor expansion of 1.0 in x
8.956 * [backup-simplify]: Simplify 1.0 into 1.0
8.957 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.957 * [backup-simplify]: Simplify (+ (exp (/ -3 x)) (- 1.0)) into (- (exp (/ -3 x)) 1.0)
8.957 * [backup-simplify]: Simplify (- (exp (/ -3 x)) 1.0) into (- (exp (/ -3 x)) 1.0)
8.958 * [backup-simplify]: Simplify (- 0) into 0
8.958 * [backup-simplify]: Simplify (+ 0 0) into 0
8.958 * [backup-simplify]: Simplify 0 into 0
8.958 * [backup-simplify]: Simplify (- 0) into 0
8.959 * [backup-simplify]: Simplify (+ 0 0) into 0
8.959 * [backup-simplify]: Simplify 0 into 0
8.959 * [backup-simplify]: Simplify (- 0) into 0
8.959 * [backup-simplify]: Simplify (+ 0 0) into 0
8.960 * [backup-simplify]: Simplify 0 into 0
8.960 * [backup-simplify]: Simplify (- 0) into 0
8.960 * [backup-simplify]: Simplify (+ 0 0) into 0
8.960 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify (- 0) into 0
8.961 * [backup-simplify]: Simplify (+ 0 0) into 0
8.961 * [backup-simplify]: Simplify 0 into 0
8.961 * [backup-simplify]: Simplify (- 0) into 0
8.962 * [backup-simplify]: Simplify (+ 0 0) into 0
8.962 * [backup-simplify]: Simplify 0 into 0
8.962 * [backup-simplify]: Simplify (- (exp (/ -3 (/ 1 (- x)))) 1.0) into (- (exp (* 3 x)) 1.0)
8.962 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 3 1 1 2)
8.962 * [backup-simplify]: Simplify (* (exp x) (exp x)) into (pow (exp x) 2)
8.962 * [approximate]: Taking taylor expansion of (pow (exp x) 2) in (x) around 0
8.962 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
8.962 * [taylor]: Taking taylor expansion of (exp x) in x
8.962 * [taylor]: Taking taylor expansion of x in x
8.962 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 1 into 1
8.963 * [backup-simplify]: Simplify (exp 0) into 1
8.963 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x
8.963 * [taylor]: Taking taylor expansion of (exp x) in x
8.963 * [taylor]: Taking taylor expansion of x in x
8.963 * [backup-simplify]: Simplify 0 into 0
8.963 * [backup-simplify]: Simplify 1 into 1
8.963 * [backup-simplify]: Simplify (exp 0) into 1
8.963 * [backup-simplify]: Simplify (* 1 1) into 1
8.963 * [backup-simplify]: Simplify 1 into 1
8.964 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
8.965 * [backup-simplify]: Simplify (+ (* 1 1) (* 1 1)) into 2
8.965 * [backup-simplify]: Simplify 2 into 2
8.966 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
8.967 * [backup-simplify]: Simplify (+ (* 1 1/2) (+ (* 1 1) (* 1/2 1))) into 2
8.967 * [backup-simplify]: Simplify 2 into 2
8.968 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* 2 x) 1)) into (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
8.968 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
8.968 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in (x) around 0
8.968 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
8.968 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.968 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.968 * [taylor]: Taking taylor expansion of x in x
8.968 * [backup-simplify]: Simplify 0 into 0
8.968 * [backup-simplify]: Simplify 1 into 1
8.968 * [backup-simplify]: Simplify (/ 1 1) into 1
8.968 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.969 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x
8.969 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
8.969 * [taylor]: Taking taylor expansion of (/ 1 x) in x
8.969 * [taylor]: Taking taylor expansion of x in x
8.969 * [backup-simplify]: Simplify 0 into 0
8.969 * [backup-simplify]: Simplify 1 into 1
8.969 * [backup-simplify]: Simplify (/ 1 1) into 1
8.969 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
8.969 * [backup-simplify]: Simplify (* (exp (/ 1 x)) (exp (/ 1 x))) into (pow (exp (/ 1 x)) 2)
8.970 * [backup-simplify]: Simplify (pow (exp (/ 1 x)) 2) into (pow (exp (/ 1 x)) 2)
8.970 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (* 0 (exp (/ 1 x)))) into 0
8.970 * [backup-simplify]: Simplify 0 into 0
8.976 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))) into 0
8.976 * [backup-simplify]: Simplify 0 into 0
8.978 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))) into 0
8.978 * [backup-simplify]: Simplify 0 into 0
8.979 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))) into 0
8.979 * [backup-simplify]: Simplify 0 into 0
8.981 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x)))))))) into 0
8.981 * [backup-simplify]: Simplify 0 into 0
8.984 * [backup-simplify]: Simplify (+ (* (exp (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ 1 x))))))))) into 0
8.984 * [backup-simplify]: Simplify 0 into 0
8.984 * [backup-simplify]: Simplify (pow (exp (/ 1 (/ 1 x))) 2) into (pow (exp x) 2)
8.984 * [backup-simplify]: Simplify (* (exp (/ 1 (- x))) (exp (/ 1 (- x)))) into (pow (exp (/ -1 x)) 2)
8.984 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in (x) around 0
8.984 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
8.984 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.984 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.984 * [taylor]: Taking taylor expansion of -1 in x
8.984 * [backup-simplify]: Simplify -1 into -1
8.984 * [taylor]: Taking taylor expansion of x in x
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.985 * [backup-simplify]: Simplify (/ -1 1) into -1
8.985 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.985 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x
8.985 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
8.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
8.985 * [taylor]: Taking taylor expansion of -1 in x
8.985 * [backup-simplify]: Simplify -1 into -1
8.985 * [taylor]: Taking taylor expansion of x in x
8.985 * [backup-simplify]: Simplify 0 into 0
8.985 * [backup-simplify]: Simplify 1 into 1
8.986 * [backup-simplify]: Simplify (/ -1 1) into -1
8.986 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
8.986 * [backup-simplify]: Simplify (* (exp (/ -1 x)) (exp (/ -1 x))) into (pow (exp (/ -1 x)) 2)
8.986 * [backup-simplify]: Simplify (pow (exp (/ -1 x)) 2) into (pow (exp (/ -1 x)) 2)
8.986 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (* 0 (exp (/ -1 x)))) into 0
8.987 * [backup-simplify]: Simplify 0 into 0
8.987 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))) into 0
8.987 * [backup-simplify]: Simplify 0 into 0
8.988 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))) into 0
8.988 * [backup-simplify]: Simplify 0 into 0
8.989 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))) into 0
8.989 * [backup-simplify]: Simplify 0 into 0
8.991 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x)))))))) into 0
8.991 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify (+ (* (exp (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (exp (/ -1 x))))))))) into 0
8.993 * [backup-simplify]: Simplify 0 into 0
8.993 * [backup-simplify]: Simplify (pow (exp (/ -1 (/ 1 (- x)))) 2) into (pow (exp x) 2)
8.993 * * * [progress]: simplifying candidates
8.996 * [simplify]: Simplifying:
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma (sqrt 1.0) (sqrt 1.0) (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (fma 1 1.0 (- (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x))))))
  (fma (- (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (* (cbrt (exp x)) (cbrt (exp x)))))
  (fma 1 1.0 (- (* (sqrt (exp x)) (sqrt (exp x)))))
  (fma (- (sqrt (exp x))) (sqrt (exp x)) (* (sqrt (exp x)) (sqrt (exp x))))
  (fma 1 1.0 (- (* (exp x) 1)))
  (fma (- (exp x)) 1 (* (exp x) 1))
  (expm1 (- 1.0 (exp x)))
  (log1p (- 1.0 (exp x)))
  (- (exp x))
  (- (exp x))
  (- (exp x))
  (/ (exp 1.0) (exp (exp x)))
  (log (- 1.0 (exp x)))
  (exp (- 1.0 (exp x)))
  (* (cbrt (- 1.0 (exp x))) (cbrt (- 1.0 (exp x))))
  (cbrt (- 1.0 (exp x)))
  (* (* (- 1.0 (exp x)) (- 1.0 (exp x))) (- 1.0 (exp x)))
  (sqrt (- 1.0 (exp x)))
  (sqrt (- 1.0 (exp x)))
  (- (pow 1.0 3) (pow (exp x) 3))
  (+ (* 1.0 1.0) (+ (* (exp x) (exp x)) (* 1.0 (exp x))))
  (- (exp x))
  (- (* 1.0 1.0) (* (exp x) (exp x)))
  (+ 1.0 (exp x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt 1.0) (sqrt (exp x)))
  (- 1.0 (exp x))
  (- (exp x))
  (fma 1.0 1.0 (- (* (exp x) (exp x))))
  (fma (- (exp x)) (exp x) (* (exp x) (exp x)))
  (expm1 (- (* 1.0 1.0) (* (exp x) (exp x))))
  (log1p (- (* 1.0 1.0) (* (exp x) (exp x))))
  (- (* (exp x) (exp x)))
  (/ (exp (* 1.0 1.0)) (exp (* (exp x) (exp x))))
  (log (- (* 1.0 1.0) (* (exp x) (exp x))))
  (exp (- (* 1.0 1.0) (* (exp x) (exp x))))
  (* (cbrt (- (* 1.0 1.0) (* (exp x) (exp x)))) (cbrt (- (* 1.0 1.0) (* (exp x) (exp x)))))
  (cbrt (- (* 1.0 1.0) (* (exp x) (exp x))))
  (* (* (- (* 1.0 1.0) (* (exp x) (exp x))) (- (* 1.0 1.0) (* (exp x) (exp x)))) (- (* 1.0 1.0) (* (exp x) (exp x))))
  (sqrt (- (* 1.0 1.0) (* (exp x) (exp x))))
  (sqrt (- (* 1.0 1.0) (* (exp x) (exp x))))
  (- (pow (* 1.0 1.0) 3) (pow (* (exp x) (exp x)) 3))
  (+ (* (* 1.0 1.0) (* 1.0 1.0)) (+ (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (* 1.0 1.0) (* (exp x) (exp x)))))
  (- (* (exp x) (exp x)))
  (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (* (exp x) (exp x)) (* (exp x) (exp x))))
  (+ (* 1.0 1.0) (* (exp x) (exp x)))
  (+ 1.0 (exp x))
  (- 1.0 (exp x))
  (- (* (exp x) (exp x)))
  (fma (* (cbrt (exp (* 3 x))) (cbrt (exp (* 3 x)))) (cbrt (exp (* 3 x))) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (fma (sqrt (exp (* 3 x))) (sqrt (exp (* 3 x))) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (fma 1 (exp (* 3 x)) (- (* (* 1.0 1.0) 1.0)))
  (fma (- (* 1.0 1.0)) 1.0 (* (* 1.0 1.0) 1.0))
  (expm1 (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (log1p (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (/ (exp (exp (* 3 x))) (exp (* 1.0 (* 1.0 1.0))))
  (log (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (exp (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (* (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (cbrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (* (* (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))) (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (sqrt (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))))
  (- (pow (exp (* 3 x)) 3) (pow (* 1.0 (* 1.0 1.0)) 3))
  (+ (* (exp (* 3 x)) (exp (* 3 x))) (+ (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))) (* (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))))
  (- (* 1.0 (* 1.0 1.0)))
  (- (* (exp (* 3 x)) (exp (* 3 x))) (* (* 1.0 (* 1.0 1.0)) (* 1.0 (* 1.0 1.0))))
  (+ (exp (* 3 x)) (* 1.0 (* 1.0 1.0)))
  (- (* 1.0 (* 1.0 1.0)))
  (expm1 (* (exp x) (exp x)))
  (log1p (* (exp x) (exp x)))
  (+ 1 1)
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (* (exp x) (exp x))
  (* (exp (* (cbrt x) (cbrt x))) (exp (* (cbrt x) (cbrt x))))
  (* (exp (sqrt x)) (exp (sqrt x)))
  (* (exp 1) (exp 1))
  (+ 1 1)
  (+ x x)
  (log (* (exp x) (exp x)))
  (exp (* (exp x) (exp x)))
  (* (* (* (exp x) (exp x)) (exp x)) (* (* (exp x) (exp x)) (exp x)))
  (* (cbrt (* (exp x) (exp x))) (cbrt (* (exp x) (exp x))))
  (cbrt (* (exp x) (exp x)))
  (* (* (* (exp x) (exp x)) (* (exp x) (exp x))) (* (exp x) (exp x)))
  (sqrt (* (exp x) (exp x)))
  (sqrt (* (exp x) (exp x)))
  (* (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* 1 1)
  (* (exp x) (exp x))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* (sqrt (exp x)) (sqrt (exp x)))
  (* 2 1)
  (* 2 (cbrt x))
  (* 2 (sqrt x))
  (* 2 x)
  (* (exp x) (* (cbrt (exp x)) (cbrt (exp x))))
  (* (exp x) (sqrt (exp x)))
  (* (exp x) 1)
  (* (cbrt (exp x)) (exp x))
  (* (sqrt (exp x)) (exp x))
  (* (exp x) (exp x))
  (- (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2)))))
  (- 1.0 (exp x))
  (- 1.0 (exp x))
  (- (+ (* 2 x) (+ (* 4/3 (pow x 3)) (* 2 (pow x 2)))))
  (- 1.0 (pow (exp x) 2))
  (- 1.0 (pow (exp x) 2))
  (+ (* 3 x) (+ (* 9/2 (pow x 3)) (* 9/2 (pow x 2))))
  (- (exp (* 3 x)) 1.0)
  (- (exp (* 3 x)) 1.0)
  (+ (* 2 x) (+ (* 2 (pow x 2)) 1))
  (pow (exp x) 2)
  (pow (exp x) 2)
9.000 * * [simplify]: iteration 0: 177 enodes
9.083 * * [simplify]: iteration 1: 445 enodes
9.326 * * [simplify]: iteration 2: 1291 enodes
10.580 * * [simplify]: iteration complete: 5000 enodes
10.581 * * [simplify]: Extracting #0: cost 74 inf + 0
10.583 * * [simplify]: Extracting #1: cost 509 inf + 2
10.602 * * [simplify]: Extracting #2: cost 1214 inf + 7520
10.640 * * [simplify]: Extracting #3: cost 847 inf + 101481
10.696 * * [simplify]: Extracting #4: cost 200 inf + 286044
10.761 * * [simplify]: Extracting #5: cost 10 inf + 342992
10.822 * * [simplify]: Extracting #6: cost 0 inf + 345602
10.892 * [simplify]: Simplified to:
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (exp x))
  (fma (exp x) -1 (exp x))
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (exp x))
  (fma (exp x) -1 (exp x))
  (- (* (* (cbrt 1.0) (cbrt 1.0)) (cbrt 1.0)) (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (- 1.0 (exp x))
  (fma (exp x) -1 (exp x))
  (expm1 (- 1.0 (exp x)))
  (log1p (- 1.0 (exp x)))
  (- (exp x))
  (- (exp x))
  (- (exp x))
  (exp (- 1.0 (exp x)))
  (log (- 1.0 (exp x)))
  (exp (- 1.0 (exp x)))
  (* (cbrt (- 1.0 (exp x))) (cbrt (- 1.0 (exp x))))
  (cbrt (- 1.0 (exp x)))
  (* (- 1.0 (exp x)) (* (- 1.0 (exp x)) (- 1.0 (exp x))))
  (sqrt (- 1.0 (exp x)))
  (sqrt (- 1.0 (exp x)))
  (- (* (* 1.0 1.0) 1.0) (exp (fma 2 x x)))
  (fma (exp x) (+ 1.0 (exp x)) (* 1.0 1.0))
  (- (exp x))
  (* (+ 1.0 (exp x)) (- 1.0 (exp x)))
  (+ 1.0 (exp x))
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt 1.0) (sqrt (exp x)))
  (- 1.0 (exp x))
  (- (exp x))
  (* (+ 1.0 (exp x)) (- 1.0 (exp x)))
  (* (exp x) (fma (exp x) -1 (exp x)))
  (expm1 (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (log1p (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (- (exp (+ x x)))
  (exp (- (* 1.0 1.0) (exp (+ x x))))
  (log (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (exp (- (* 1.0 1.0) (exp (+ x x))))
  (* (cbrt (* (+ 1.0 (exp x)) (- 1.0 (exp x)))) (cbrt (* (+ 1.0 (exp x)) (- 1.0 (exp x)))))
  (cbrt (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (* (* (* (+ 1.0 (exp x)) (- 1.0 (exp x))) (* (+ 1.0 (exp x)) (- 1.0 (exp x)))) (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (sqrt (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (sqrt (* (+ 1.0 (exp x)) (- 1.0 (exp x))))
  (- (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)) (* (exp (fma 2 x x)) (exp (fma 2 x x))))
  (fma (* 1.0 1.0) (* 1.0 1.0) (* (exp (+ x x)) (+ (exp (+ x x)) (* 1.0 1.0))))
  (- (exp (+ x x)))
  (- (* (* 1.0 1.0) (* 1.0 1.0)) (* (exp (+ x x)) (exp (+ x x))))
  (fma (exp x) (exp x) (* 1.0 1.0))
  (+ 1.0 (exp x))
  (- 1.0 (exp x))
  (- (exp (+ x x)))
  (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))
  (- (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))
  (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))
  (- (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))
  (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))
  (- (* (* 1.0 1.0) 1.0) (* (* 1.0 1.0) 1.0))
  (expm1 (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (log1p (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (* (* 1.0 1.0) (- 1.0))
  (* (* 1.0 1.0) (- 1.0))
  (* (* 1.0 1.0) (- 1.0))
  (exp (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (log (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (exp (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (* (cbrt (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))) (cbrt (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))))
  (cbrt (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (* (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)) (* (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)) (- (exp (* x 3)) (* (* 1.0 1.0) 1.0))))
  (sqrt (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (sqrt (- (exp (* x 3)) (* (* 1.0 1.0) 1.0)))
  (- (exp (* 3 (* x 3))) (* (* (* (* 1.0 1.0) (* 1.0 1.0)) (* (* 1.0 1.0) (* 1.0 1.0))) 1.0))
  (fma (exp (* x 3)) (exp (* x 3)) (* (* (* 1.0 1.0) 1.0) (+ (* (* 1.0 1.0) 1.0) (exp (* x 3)))))
  (* (* 1.0 1.0) (- 1.0))
  (- (exp (* x 6)) (* (* (* 1.0 1.0) (* 1.0 1.0)) (* 1.0 1.0)))
  (fma (* 1.0 1.0) 1.0 (exp (* x 3)))
  (* (* 1.0 1.0) (- 1.0))
  (expm1 (exp (+ x x)))
  (log1p (exp (+ x x)))
  2
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (exp (+ x x))
  (exp (* (cbrt x) (+ (cbrt x) (cbrt x))))
  (exp (+ (sqrt x) (sqrt x)))
  (* E E)
  2
  (+ x x)
  (+ x x)
  (exp (exp (+ x x)))
  (* (exp (fma 2 x x)) (exp (fma 2 x x)))
  (* (cbrt (exp (+ x x))) (cbrt (exp (+ x x))))
  (cbrt (exp (+ x x)))
  (* (exp (fma 2 x x)) (exp (fma 2 x x)))
  (fabs (exp x))
  (fabs (exp x))
  (* (cbrt (exp x)) (exp x))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (exp x)
  (exp x)
  1
  (exp (+ x x))
  (exp x)
  (exp x)
  2
  (+ (cbrt x) (cbrt x))
  (+ (sqrt x) (sqrt x))
  (+ x x)
  (* (* (cbrt (exp x)) (cbrt (exp x))) (exp x))
  (* (sqrt (exp x)) (exp x))
  (exp x)
  (* (cbrt (exp x)) (exp x))
  (* (sqrt (exp x)) (exp x))
  (exp (+ x x))
  (- (fma 1/6 (* (* x x) x) (fma (* x x) 1/2 x)))
  (- 1.0 (exp x))
  (- 1.0 (exp x))
  (- (* x -2) (* (* x x) (+ (* 4/3 x) 2)))
  (- 1.0 (exp (+ x x)))
  (- 1.0 (exp (+ x x)))
  (fma (fma (* x x) x (* x x)) 9/2 (* x 3))
  (- (exp (* x 3)) 1.0)
  (- (exp (* x 3)) 1.0)
  (fma 2 x (fma (* x x) 2 1))
  (exp (+ x x))
  (exp (+ x x))
10.904 * * * [progress]: adding candidates to table
11.459 * [progress]: [Phase 3 of 3] Extracting.
11.459 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (/ (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x))) 1.0))))> #<alt (λ (x) (fma (* x (fma x 1/6 1/2)) x x))>)
11.459 * * * [regime-changes]: Trying 1 branch expressions: (x)
11.459 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (/ (- (exp (* 3 x)) (* 1.0 (* 1.0 1.0))) (fma (exp x) (exp x) (* (/ (- (* 1.0 1.0) (* (exp x) (exp x))) (- 1.0 (exp x))) 1.0))))> #<alt (λ (x) (fma (* x (fma x 1/6 1/2)) x x))>)
11.482 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
11.482 * [simplify]: Simplifying:
  (fma (* x (fma x 1/6 1/2)) x x)
11.482 * * [simplify]: iteration 0: 6 enodes
11.482 * * [simplify]: iteration 1: 7 enodes
11.483 * * [simplify]: iteration complete: 7 enodes
11.483 * * [simplify]: Extracting #0: cost 1 inf + 0
11.483 * * [simplify]: Extracting #1: cost 3 inf + 0
11.483 * * [simplify]: Extracting #2: cost 3 inf + 1
11.483 * * [simplify]: Extracting #3: cost 5 inf + 1
11.483 * * [simplify]: Extracting #4: cost 0 inf + 312
11.483 * [simplify]: Simplified to:
  (fma (* (fma x 1/6 1/2) x) x x)
13.974 * [regime-testing]: Baseline error score: 0.48092142222431666
13.992 * [regime-testing]: Oracle error score: 0.09652167614940656
14.025 * [regime-testing]: End program error score: 0.48092142222431666
14.105 * [regime-testing]: Target error score: 0.4928036043962521