35.534 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.060 * [progress]: [Phase 2 of 3] Improving.
0.061 * [simplify]: Simplifying:
  (- (exp x) 1.0)
0.061 * * [simplify]: iteration 0: 4 enodes
0.062 * * [simplify]: iteration 1: 6 enodes
0.063 * * [simplify]: iteration 2: 7 enodes
0.064 * * [simplify]: iteration complete: 7 enodes
0.064 * * [simplify]: Extracting #0: cost 1 inf + 0
0.064 * * [simplify]: Extracting #1: cost 4 inf + 0
0.064 * * [simplify]: Extracting #2: cost 3 inf + 42
0.064 * * [simplify]: Extracting #3: cost 2 inf + 43
0.064 * * [simplify]: Extracting #4: cost 0 inf + 226
0.064 * [simplify]: Simplified to:
  (- (exp x) 1.0)
0.064 * * [progress]: iteration 1 / 4
0.064 * * * [progress]: picking best candidate
0.067 * * * * [pick]: Picked  #<alt (λ (x) (- (exp x) 1.0))>
0.068 * * * [progress]: localizing error
0.074 * * * [progress]: generating rewritten candidates
0.074 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.095 * * * [progress]: generating series expansions
0.095 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.095 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
0.095 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.095 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.095 * [taylor]: Taking taylor expansion of (exp x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (exp 0) into 1
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [backup-simplify]: Simplify 1.0 into 1.0
0.095 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.095 * [taylor]: Taking taylor expansion of (exp x) in x
0.095 * [taylor]: Taking taylor expansion of x in x
0.095 * [backup-simplify]: Simplify 0 into 0
0.095 * [backup-simplify]: Simplify 1 into 1
0.095 * [backup-simplify]: Simplify (exp 0) into 1
0.095 * [taylor]: Taking taylor expansion of 1.0 in x
0.095 * [backup-simplify]: Simplify 1.0 into 1.0
0.096 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.097 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.097 * [backup-simplify]: Simplify 0 into 0
0.098 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.099 * [backup-simplify]: Simplify (- 0) into 0
0.099 * [backup-simplify]: Simplify (+ 1 0) into 1
0.099 * [backup-simplify]: Simplify 1 into 1
0.102 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.102 * [backup-simplify]: Simplify (- 0) into 0
0.103 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.103 * [backup-simplify]: Simplify 1/2 into 1/2
0.106 * [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.107 * [backup-simplify]: Simplify (- 0) into 0
0.107 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.107 * [backup-simplify]: Simplify 1/6 into 1/6
0.108 * [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.108 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.108 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.108 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.108 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.108 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.108 * [taylor]: Taking taylor expansion of x in x
0.108 * [backup-simplify]: Simplify 0 into 0
0.108 * [backup-simplify]: Simplify 1 into 1
0.108 * [backup-simplify]: Simplify (/ 1 1) into 1
0.108 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.108 * [taylor]: Taking taylor expansion of 1.0 in x
0.108 * [backup-simplify]: Simplify 1.0 into 1.0
0.108 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.108 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.109 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.109 * [taylor]: Taking taylor expansion of x in x
0.109 * [backup-simplify]: Simplify 0 into 0
0.109 * [backup-simplify]: Simplify 1 into 1
0.109 * [backup-simplify]: Simplify (/ 1 1) into 1
0.109 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.109 * [taylor]: Taking taylor expansion of 1.0 in x
0.109 * [backup-simplify]: Simplify 1.0 into 1.0
0.110 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.110 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.110 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.111 * [backup-simplify]: Simplify (- 0) into 0
0.111 * [backup-simplify]: Simplify (+ 0 0) into 0
0.111 * [backup-simplify]: Simplify 0 into 0
0.111 * [backup-simplify]: Simplify (- 0) into 0
0.112 * [backup-simplify]: Simplify (+ 0 0) into 0
0.112 * [backup-simplify]: Simplify 0 into 0
0.112 * [backup-simplify]: Simplify (- 0) into 0
0.113 * [backup-simplify]: Simplify (+ 0 0) into 0
0.113 * [backup-simplify]: Simplify 0 into 0
0.113 * [backup-simplify]: Simplify (- 0) into 0
0.114 * [backup-simplify]: Simplify (+ 0 0) into 0
0.114 * [backup-simplify]: Simplify 0 into 0
0.114 * [backup-simplify]: Simplify (- 0) into 0
0.115 * [backup-simplify]: Simplify (+ 0 0) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.115 * [backup-simplify]: Simplify (- 0) into 0
0.115 * [backup-simplify]: Simplify (+ 0 0) into 0
0.115 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
0.116 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
0.116 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.116 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.116 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.116 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.116 * [taylor]: Taking taylor expansion of -1 in x
0.116 * [backup-simplify]: Simplify -1 into -1
0.116 * [taylor]: Taking taylor expansion of x in x
0.116 * [backup-simplify]: Simplify 0 into 0
0.116 * [backup-simplify]: Simplify 1 into 1
0.116 * [backup-simplify]: Simplify (/ -1 1) into -1
0.116 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.116 * [taylor]: Taking taylor expansion of 1.0 in x
0.116 * [backup-simplify]: Simplify 1.0 into 1.0
0.117 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.117 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.117 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.117 * [taylor]: Taking taylor expansion of -1 in x
0.117 * [backup-simplify]: Simplify -1 into -1
0.117 * [taylor]: Taking taylor expansion of x in x
0.117 * [backup-simplify]: Simplify 0 into 0
0.117 * [backup-simplify]: Simplify 1 into 1
0.117 * [backup-simplify]: Simplify (/ -1 1) into -1
0.117 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.117 * [taylor]: Taking taylor expansion of 1.0 in x
0.117 * [backup-simplify]: Simplify 1.0 into 1.0
0.118 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.118 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.118 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
0.119 * [backup-simplify]: Simplify (- 0) into 0
0.119 * [backup-simplify]: Simplify (+ 0 0) into 0
0.119 * [backup-simplify]: Simplify 0 into 0
0.120 * [backup-simplify]: Simplify (- 0) into 0
0.120 * [backup-simplify]: Simplify (+ 0 0) into 0
0.120 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (- 0) into 0
0.121 * [backup-simplify]: Simplify (+ 0 0) into 0
0.121 * [backup-simplify]: Simplify 0 into 0
0.121 * [backup-simplify]: Simplify (- 0) into 0
0.122 * [backup-simplify]: Simplify (+ 0 0) into 0
0.122 * [backup-simplify]: Simplify 0 into 0
0.122 * [backup-simplify]: Simplify (- 0) into 0
0.123 * [backup-simplify]: Simplify (+ 0 0) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.123 * [backup-simplify]: Simplify (- 0) into 0
0.123 * [backup-simplify]: Simplify (+ 0 0) into 0
0.123 * [backup-simplify]: Simplify 0 into 0
0.124 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
0.124 * * * [progress]: simplifying candidates
0.125 * [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.126 * * [simplify]: iteration 0: 66 enodes
0.166 * * [simplify]: iteration 1: 149 enodes
0.226 * * [simplify]: iteration 2: 428 enodes
0.561 * * [simplify]: iteration 3: 2110 enodes
1.763 * * [simplify]: iteration complete: 5000 enodes
1.763 * * [simplify]: Extracting #0: cost 18 inf + 0
1.771 * * [simplify]: Extracting #1: cost 411 inf + 1
1.776 * * [simplify]: Extracting #2: cost 922 inf + 9210
1.793 * * [simplify]: Extracting #3: cost 454 inf + 62484
1.831 * * [simplify]: Extracting #4: cost 179 inf + 115778
1.864 * * [simplify]: Extracting #5: cost 26 inf + 146543
1.901 * * [simplify]: Extracting #6: cost 0 inf + 153960
1.944 * [simplify]: Simplified to:
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  0
  (- (exp x) 1.0)
  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 1.0 (+ 1.0 (exp x)) (* (exp x) (exp x)))
  (- 1.0)
  (* (+ (exp x) 1.0) (- (exp x) 1.0))
  (+ 1.0 (exp x))
  (+ (sqrt (exp x)) (sqrt 1.0))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (fma (* x x) (fma 1/6 x 1/2) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
1.946 * * * [progress]: adding candidates to table
2.034 * * [progress]: iteration 2 / 4
2.034 * * * [progress]: picking best candidate
2.045 * * * * [pick]: Picked  #<alt (λ (x) (fma (* x x) (fma 1/6 x 1/2) x))>
2.045 * * * [progress]: localizing error
2.064 * * * [progress]: generating rewritten candidates
2.064 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.065 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.066 * * * [progress]: generating series expansions
2.066 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.066 * [backup-simplify]: Simplify (fma 1/6 x 1/2) into (fma 1/6 x 1/2)
2.066 * [approximate]: Taking taylor expansion of (fma 1/6 x 1/2) in (x) around 0
2.066 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
2.066 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
2.067 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.067 * [taylor]: Taking taylor expansion of 1/6 in x
2.067 * [backup-simplify]: Simplify 1/6 into 1/6
2.067 * [taylor]: Taking taylor expansion of x in x
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [taylor]: Taking taylor expansion of 1/2 in x
2.067 * [backup-simplify]: Simplify 1/2 into 1/2
2.067 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
2.067 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
2.067 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.067 * [taylor]: Taking taylor expansion of 1/6 in x
2.067 * [backup-simplify]: Simplify 1/6 into 1/6
2.067 * [taylor]: Taking taylor expansion of x in x
2.067 * [backup-simplify]: Simplify 0 into 0
2.067 * [backup-simplify]: Simplify 1 into 1
2.067 * [taylor]: Taking taylor expansion of 1/2 in x
2.067 * [backup-simplify]: Simplify 1/2 into 1/2
2.068 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.068 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.069 * [backup-simplify]: Simplify 1/2 into 1/2
2.069 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.070 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.070 * [backup-simplify]: Simplify 1/6 into 1/6
2.071 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
2.071 * [backup-simplify]: Simplify (+ 0 0) into 0
2.071 * [backup-simplify]: Simplify 0 into 0
2.073 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
2.073 * [backup-simplify]: Simplify (+ 0 0) into 0
2.073 * [backup-simplify]: Simplify 0 into 0
2.075 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
2.075 * [backup-simplify]: Simplify (+ 0 0) into 0
2.075 * [backup-simplify]: Simplify 0 into 0
2.077 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
2.077 * [backup-simplify]: Simplify (+ 0 0) into 0
2.077 * [backup-simplify]: Simplify 0 into 0
2.079 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
2.079 * [backup-simplify]: Simplify (+ 0 0) into 0
2.079 * [backup-simplify]: Simplify 0 into 0
2.081 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
2.082 * [backup-simplify]: Simplify (+ 0 0) into 0
2.082 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2)
2.082 * [backup-simplify]: Simplify (fma 1/6 (/ 1 x) 1/2) into (fma 1/6 (/ 1 x) 1/2)
2.082 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in (x) around 0
2.082 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
2.082 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
2.082 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.082 * [taylor]: Taking taylor expansion of 1/6 in x
2.082 * [backup-simplify]: Simplify 1/6 into 1/6
2.082 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.082 * [taylor]: Taking taylor expansion of x in x
2.082 * [backup-simplify]: Simplify 0 into 0
2.082 * [backup-simplify]: Simplify 1 into 1
2.083 * [backup-simplify]: Simplify (/ 1 1) into 1
2.083 * [taylor]: Taking taylor expansion of 1/2 in x
2.083 * [backup-simplify]: Simplify 1/2 into 1/2
2.083 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
2.083 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
2.083 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.083 * [taylor]: Taking taylor expansion of 1/6 in x
2.083 * [backup-simplify]: Simplify 1/6 into 1/6
2.083 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.083 * [taylor]: Taking taylor expansion of x in x
2.083 * [backup-simplify]: Simplify 0 into 0
2.083 * [backup-simplify]: Simplify 1 into 1
2.084 * [backup-simplify]: Simplify (/ 1 1) into 1
2.084 * [taylor]: Taking taylor expansion of 1/2 in x
2.084 * [backup-simplify]: Simplify 1/2 into 1/2
2.084 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.085 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.085 * [backup-simplify]: Simplify 1/6 into 1/6
2.086 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.086 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.087 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.087 * [backup-simplify]: Simplify 1/2 into 1/2
2.088 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.089 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.089 * [backup-simplify]: Simplify (+ 0 0) into 0
2.089 * [backup-simplify]: Simplify 0 into 0
2.090 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.091 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
2.092 * [backup-simplify]: Simplify (+ 0 0) into 0
2.092 * [backup-simplify]: Simplify 0 into 0
2.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.095 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
2.095 * [backup-simplify]: Simplify (+ 0 0) into 0
2.095 * [backup-simplify]: Simplify 0 into 0
2.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.098 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
2.098 * [backup-simplify]: Simplify (+ 0 0) into 0
2.098 * [backup-simplify]: Simplify 0 into 0
2.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.101 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
2.102 * [backup-simplify]: Simplify (+ 0 0) into 0
2.102 * [backup-simplify]: Simplify 0 into 0
2.103 * [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
2.105 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
2.105 * [backup-simplify]: Simplify (+ 0 0) into 0
2.105 * [backup-simplify]: Simplify 0 into 0
2.105 * [backup-simplify]: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2)
2.106 * [backup-simplify]: Simplify (fma 1/6 (/ 1 (- x)) 1/2) into (fma 1/6 (/ -1 x) 1/2)
2.106 * [approximate]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in (x) around 0
2.106 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
2.106 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
2.106 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
2.106 * [taylor]: Taking taylor expansion of 1/6 in x
2.106 * [backup-simplify]: Simplify 1/6 into 1/6
2.106 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.106 * [taylor]: Taking taylor expansion of -1 in x
2.106 * [backup-simplify]: Simplify -1 into -1
2.106 * [taylor]: Taking taylor expansion of x in x
2.106 * [backup-simplify]: Simplify 0 into 0
2.106 * [backup-simplify]: Simplify 1 into 1
2.106 * [backup-simplify]: Simplify (/ -1 1) into -1
2.107 * [taylor]: Taking taylor expansion of 1/2 in x
2.107 * [backup-simplify]: Simplify 1/2 into 1/2
2.107 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
2.107 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
2.107 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
2.107 * [taylor]: Taking taylor expansion of 1/6 in x
2.107 * [backup-simplify]: Simplify 1/6 into 1/6
2.107 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.107 * [taylor]: Taking taylor expansion of -1 in x
2.107 * [backup-simplify]: Simplify -1 into -1
2.107 * [taylor]: Taking taylor expansion of x in x
2.107 * [backup-simplify]: Simplify 0 into 0
2.107 * [backup-simplify]: Simplify 1 into 1
2.107 * [backup-simplify]: Simplify (/ -1 1) into -1
2.107 * [taylor]: Taking taylor expansion of 1/2 in x
2.107 * [backup-simplify]: Simplify 1/2 into 1/2
2.108 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
2.108 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.108 * [backup-simplify]: Simplify -1/6 into -1/6
2.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.113 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
2.113 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.114 * [backup-simplify]: Simplify 1/2 into 1/2
2.114 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.115 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
2.115 * [backup-simplify]: Simplify (+ 0 0) into 0
2.115 * [backup-simplify]: Simplify 0 into 0
2.116 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.117 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
2.117 * [backup-simplify]: Simplify (+ 0 0) into 0
2.117 * [backup-simplify]: Simplify 0 into 0
2.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.118 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
2.119 * [backup-simplify]: Simplify (+ 0 0) into 0
2.119 * [backup-simplify]: Simplify 0 into 0
2.119 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.120 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
2.120 * [backup-simplify]: Simplify (+ 0 0) into 0
2.120 * [backup-simplify]: Simplify 0 into 0
2.121 * [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
2.122 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
2.122 * [backup-simplify]: Simplify (+ 0 0) into 0
2.122 * [backup-simplify]: Simplify 0 into 0
2.123 * [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
2.124 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
2.124 * [backup-simplify]: Simplify (+ 0 0) into 0
2.124 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2)
2.125 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.125 * [backup-simplify]: Simplify (fma (* x x) (fma 1/6 x 1/2) x) into (fma (pow x 2) (fma 1/6 x 1/2) x)
2.125 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in (x) around 0
2.125 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
2.125 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
2.125 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
2.125 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.125 * [taylor]: Taking taylor expansion of x in x
2.125 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify 1 into 1
2.125 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
2.125 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
2.125 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.125 * [taylor]: Taking taylor expansion of 1/6 in x
2.125 * [backup-simplify]: Simplify 1/6 into 1/6
2.125 * [taylor]: Taking taylor expansion of x in x
2.125 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify 1 into 1
2.125 * [taylor]: Taking taylor expansion of 1/2 in x
2.125 * [backup-simplify]: Simplify 1/2 into 1/2
2.125 * [taylor]: Taking taylor expansion of x in x
2.125 * [backup-simplify]: Simplify 0 into 0
2.125 * [backup-simplify]: Simplify 1 into 1
2.125 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
2.125 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
2.125 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
2.125 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.126 * [taylor]: Taking taylor expansion of x in x
2.126 * [backup-simplify]: Simplify 0 into 0
2.126 * [backup-simplify]: Simplify 1 into 1
2.126 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
2.126 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
2.126 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
2.126 * [taylor]: Taking taylor expansion of 1/6 in x
2.126 * [backup-simplify]: Simplify 1/6 into 1/6
2.126 * [taylor]: Taking taylor expansion of x in x
2.126 * [backup-simplify]: Simplify 0 into 0
2.126 * [backup-simplify]: Simplify 1 into 1
2.126 * [taylor]: Taking taylor expansion of 1/2 in x
2.126 * [backup-simplify]: Simplify 1/2 into 1/2
2.126 * [taylor]: Taking taylor expansion of x in x
2.126 * [backup-simplify]: Simplify 0 into 0
2.126 * [backup-simplify]: Simplify 1 into 1
2.126 * [backup-simplify]: Simplify (+ 0 0) into 0
2.126 * [backup-simplify]: Simplify 0 into 0
2.126 * [backup-simplify]: Simplify (+ 0 1) into 1
2.126 * [backup-simplify]: Simplify 1 into 1
2.127 * [backup-simplify]: Simplify (* 1 1) into 1
2.127 * [backup-simplify]: Simplify (* 1/6 0) into 0
2.127 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.128 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
2.128 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.128 * [backup-simplify]: Simplify 1/2 into 1/2
2.128 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
2.129 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.129 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.130 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
2.130 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.130 * [backup-simplify]: Simplify 1/6 into 1/6
2.130 * [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))))
2.130 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))
2.130 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in (x) around 0
2.130 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
2.130 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
2.130 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
2.130 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.130 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.130 * [taylor]: Taking taylor expansion of x in x
2.130 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 1 into 1
2.131 * [backup-simplify]: Simplify (* 1 1) into 1
2.131 * [backup-simplify]: Simplify (/ 1 1) into 1
2.131 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
2.131 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
2.131 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.131 * [taylor]: Taking taylor expansion of 1/6 in x
2.131 * [backup-simplify]: Simplify 1/6 into 1/6
2.131 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.131 * [taylor]: Taking taylor expansion of x in x
2.131 * [backup-simplify]: Simplify 0 into 0
2.131 * [backup-simplify]: Simplify 1 into 1
2.131 * [backup-simplify]: Simplify (/ 1 1) into 1
2.131 * [taylor]: Taking taylor expansion of 1/2 in x
2.132 * [backup-simplify]: Simplify 1/2 into 1/2
2.132 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.132 * [taylor]: Taking taylor expansion of x in x
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 1 into 1
2.132 * [backup-simplify]: Simplify (/ 1 1) into 1
2.132 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
2.132 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
2.132 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
2.132 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.132 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.132 * [taylor]: Taking taylor expansion of x in x
2.132 * [backup-simplify]: Simplify 0 into 0
2.132 * [backup-simplify]: Simplify 1 into 1
2.132 * [backup-simplify]: Simplify (* 1 1) into 1
2.133 * [backup-simplify]: Simplify (/ 1 1) into 1
2.133 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
2.133 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
2.133 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
2.133 * [taylor]: Taking taylor expansion of 1/6 in x
2.133 * [backup-simplify]: Simplify 1/6 into 1/6
2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 1 into 1
2.133 * [backup-simplify]: Simplify (/ 1 1) into 1
2.133 * [taylor]: Taking taylor expansion of 1/2 in x
2.133 * [backup-simplify]: Simplify 1/2 into 1/2
2.133 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.133 * [taylor]: Taking taylor expansion of x in x
2.133 * [backup-simplify]: Simplify 0 into 0
2.133 * [backup-simplify]: Simplify 1 into 1
2.134 * [backup-simplify]: Simplify (/ 1 1) into 1
2.134 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
2.134 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.134 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.135 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.135 * [backup-simplify]: Simplify 1/6 into 1/6
2.135 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.136 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
2.136 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.136 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.137 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.137 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
2.138 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.138 * [backup-simplify]: Simplify 1/2 into 1/2
2.138 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.139 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
2.139 * [backup-simplify]: Simplify (+ 0 0) into 0
2.140 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.140 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
2.142 * [backup-simplify]: Simplify (+ 0 1) into 1
2.142 * [backup-simplify]: Simplify 1 into 1
2.143 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
2.143 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma 1/6 (/ 1 (- x)) 1/2) (/ 1 (- x))) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))
2.143 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in (x) around 0
2.143 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
2.143 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
2.143 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
2.143 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.143 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.143 * [taylor]: Taking taylor expansion of x in x
2.143 * [backup-simplify]: Simplify 0 into 0
2.143 * [backup-simplify]: Simplify 1 into 1
2.144 * [backup-simplify]: Simplify (* 1 1) into 1
2.144 * [backup-simplify]: Simplify (/ 1 1) into 1
2.144 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
2.144 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
2.144 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
2.144 * [taylor]: Taking taylor expansion of 1/6 in x
2.144 * [backup-simplify]: Simplify 1/6 into 1/6
2.144 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.144 * [taylor]: Taking taylor expansion of -1 in x
2.144 * [backup-simplify]: Simplify -1 into -1
2.144 * [taylor]: Taking taylor expansion of x in x
2.144 * [backup-simplify]: Simplify 0 into 0
2.144 * [backup-simplify]: Simplify 1 into 1
2.145 * [backup-simplify]: Simplify (/ -1 1) into -1
2.145 * [taylor]: Taking taylor expansion of 1/2 in x
2.145 * [backup-simplify]: Simplify 1/2 into 1/2
2.145 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.145 * [taylor]: Taking taylor expansion of -1 in x
2.145 * [backup-simplify]: Simplify -1 into -1
2.145 * [taylor]: Taking taylor expansion of x in x
2.145 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (/ -1 1) into -1
2.146 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
2.146 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
2.146 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
2.146 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.146 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.146 * [taylor]: Taking taylor expansion of x in x
2.146 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify 1 into 1
2.146 * [backup-simplify]: Simplify (* 1 1) into 1
2.147 * [backup-simplify]: Simplify (/ 1 1) into 1
2.147 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
2.147 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
2.147 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
2.147 * [taylor]: Taking taylor expansion of 1/6 in x
2.147 * [backup-simplify]: Simplify 1/6 into 1/6
2.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.147 * [taylor]: Taking taylor expansion of -1 in x
2.147 * [backup-simplify]: Simplify -1 into -1
2.147 * [taylor]: Taking taylor expansion of x in x
2.147 * [backup-simplify]: Simplify 0 into 0
2.147 * [backup-simplify]: Simplify 1 into 1
2.147 * [backup-simplify]: Simplify (/ -1 1) into -1
2.147 * [taylor]: Taking taylor expansion of 1/2 in x
2.147 * [backup-simplify]: Simplify 1/2 into 1/2
2.147 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.147 * [taylor]: Taking taylor expansion of -1 in x
2.148 * [backup-simplify]: Simplify -1 into -1
2.148 * [taylor]: Taking taylor expansion of x in x
2.148 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify 1 into 1
2.148 * [backup-simplify]: Simplify (/ -1 1) into -1
2.149 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
2.149 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.149 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
2.150 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.150 * [backup-simplify]: Simplify -1/6 into -1/6
2.151 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.151 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
2.152 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.153 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.153 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.154 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
2.155 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.155 * [backup-simplify]: Simplify 1/2 into 1/2
2.156 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.157 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
2.157 * [backup-simplify]: Simplify (+ 0 0) into 0
2.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
2.161 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.161 * [backup-simplify]: Simplify -1 into -1
2.162 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
2.162 * * * [progress]: simplifying candidates
2.163 * [simplify]: Simplifying:
  (expm1 (fma 1/6 x 1/2))
  (log1p (fma 1/6 x 1/2))
  (* 1/6 x)
  (log (fma 1/6 x 1/2))
  (exp (fma 1/6 x 1/2))
  (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))
  (cbrt (fma 1/6 x 1/2))
  (* (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)) (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (expm1 (fma (* x x) (fma 1/6 x 1/2) x))
  (log1p (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* x x) (fma 1/6 x 1/2))
  (log (fma (* x x) (fma 1/6 x 1/2) x))
  (exp (fma (* x x) (fma 1/6 x 1/2) x))
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* (fma (* x x) (fma 1/6 x 1/2) x) (fma (* x x) (fma 1/6 x 1/2) x)) (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
2.163 * * [simplify]: iteration 0: 35 enodes
2.174 * * [simplify]: iteration 1: 64 enodes
2.210 * * [simplify]: iteration 2: 244 enodes
2.463 * * [simplify]: iteration 3: 1292 enodes
3.188 * * [simplify]: iteration complete: 5000 enodes
3.188 * * [simplify]: Extracting #0: cost 20 inf + 0
3.191 * * [simplify]: Extracting #1: cost 297 inf + 0
3.204 * * [simplify]: Extracting #2: cost 763 inf + 14895
3.255 * * [simplify]: Extracting #3: cost 651 inf + 93590
3.309 * * [simplify]: Extracting #4: cost 63 inf + 186967
3.393 * * [simplify]: Extracting #5: cost 10 inf + 196510
3.468 * * [simplify]: Extracting #6: cost 0 inf + 199040
3.541 * [simplify]: Simplified to:
  (expm1 (fma x 1/6 1/2))
  (log1p (fma x 1/6 1/2))
  (* 1/6 x)
  (log (fma x 1/6 1/2))
  (exp (fma x 1/6 1/2))
  (* (cbrt (fma x 1/6 1/2)) (cbrt (fma x 1/6 1/2)))
  (cbrt (fma x 1/6 1/2))
  (* (fma x 1/6 1/2) (* (fma x 1/6 1/2) (fma x 1/6 1/2)))
  (sqrt (fma x 1/6 1/2))
  (sqrt (fma x 1/6 1/2))
  (expm1 (fma x (* (fma x 1/6 1/2) x) x))
  (log1p (fma x (* (fma x 1/6 1/2) x) x))
  (* (* x x) (fma x 1/6 1/2))
  (log (fma x (* (fma x 1/6 1/2) x) x))
  (exp (fma x (* (fma x 1/6 1/2) x) x))
  (* (cbrt (fma x (* (fma x 1/6 1/2) x) x)) (cbrt (fma x (* (fma x 1/6 1/2) x) x)))
  (cbrt (fma x (* (fma x 1/6 1/2) x) x))
  (* (* (fma x (* (fma x 1/6 1/2) x) x) (fma x (* (fma x 1/6 1/2) x) x)) (fma x (* (fma x 1/6 1/2) x) x))
  (sqrt (fma x (* (fma x 1/6 1/2) x) x))
  (sqrt (fma x (* (fma x 1/6 1/2) x) x))
  (fma x 1/6 1/2)
  (fma x 1/6 1/2)
  (fma x 1/6 1/2)
  (fma x (* (fma x 1/6 1/2) x) x)
  (fma x (* (fma x 1/6 1/2) x) x)
  (fma x (* (fma x 1/6 1/2) x) x)
3.542 * * * [progress]: adding candidates to table
3.696 * * [progress]: iteration 3 / 4
3.696 * * * [progress]: picking best candidate
3.710 * * * * [pick]: Picked  #<alt (λ (x) (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))>
3.710 * * * [progress]: localizing error
3.731 * * * [progress]: generating rewritten candidates
3.731 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
3.735 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2)
3.735 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
3.736 * * * [progress]: generating series expansions
3.736 * * * * [progress]: [ 1 / 3 ] generating series at (2)
3.736 * [backup-simplify]: Simplify (exp (log (fma (* x x) (fma 1/6 x 1/2) x))) into (fma (pow x 2) (fma 1/6 x 1/2) x)
3.736 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in (x) around 0
3.736 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
3.736 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
3.736 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
3.736 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.736 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.737 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.737 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.737 * [taylor]: Taking taylor expansion of 1/6 in x
3.737 * [backup-simplify]: Simplify 1/6 into 1/6
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of 1/2 in x
3.737 * [backup-simplify]: Simplify 1/2 into 1/2
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
3.737 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
3.737 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
3.737 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.737 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.737 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.737 * [taylor]: Taking taylor expansion of 1/6 in x
3.737 * [backup-simplify]: Simplify 1/6 into 1/6
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.737 * [taylor]: Taking taylor expansion of 1/2 in x
3.737 * [backup-simplify]: Simplify 1/2 into 1/2
3.737 * [taylor]: Taking taylor expansion of x in x
3.737 * [backup-simplify]: Simplify 0 into 0
3.737 * [backup-simplify]: Simplify 1 into 1
3.738 * [backup-simplify]: Simplify (+ 0 0) into 0
3.738 * [backup-simplify]: Simplify 0 into 0
3.738 * [backup-simplify]: Simplify (+ 0 1) into 1
3.738 * [backup-simplify]: Simplify 1 into 1
3.738 * [backup-simplify]: Simplify (* 1 1) into 1
3.739 * [backup-simplify]: Simplify (* 1/6 0) into 0
3.739 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.739 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
3.740 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.740 * [backup-simplify]: Simplify 1/2 into 1/2
3.740 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
3.740 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.741 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.741 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
3.742 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.742 * [backup-simplify]: Simplify 1/6 into 1/6
3.742 * [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))))
3.742 * [backup-simplify]: Simplify (exp (log (fma (* (/ 1 x) (/ 1 x)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)))) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))
3.742 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in (x) around 0
3.742 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
3.742 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
3.742 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
3.742 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.742 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.742 * [taylor]: Taking taylor expansion of x in x
3.743 * [backup-simplify]: Simplify 0 into 0
3.743 * [backup-simplify]: Simplify 1 into 1
3.743 * [backup-simplify]: Simplify (* 1 1) into 1
3.743 * [backup-simplify]: Simplify (/ 1 1) into 1
3.743 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.743 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.743 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.743 * [taylor]: Taking taylor expansion of 1/6 in x
3.743 * [backup-simplify]: Simplify 1/6 into 1/6
3.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.743 * [taylor]: Taking taylor expansion of x in x
3.743 * [backup-simplify]: Simplify 0 into 0
3.743 * [backup-simplify]: Simplify 1 into 1
3.744 * [backup-simplify]: Simplify (/ 1 1) into 1
3.744 * [taylor]: Taking taylor expansion of 1/2 in x
3.744 * [backup-simplify]: Simplify 1/2 into 1/2
3.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.744 * [taylor]: Taking taylor expansion of x in x
3.744 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify 1 into 1
3.744 * [backup-simplify]: Simplify (/ 1 1) into 1
3.744 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
3.744 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
3.744 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
3.744 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.744 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.744 * [taylor]: Taking taylor expansion of x in x
3.744 * [backup-simplify]: Simplify 0 into 0
3.744 * [backup-simplify]: Simplify 1 into 1
3.744 * [backup-simplify]: Simplify (* 1 1) into 1
3.745 * [backup-simplify]: Simplify (/ 1 1) into 1
3.745 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.745 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.745 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.745 * [taylor]: Taking taylor expansion of 1/6 in x
3.745 * [backup-simplify]: Simplify 1/6 into 1/6
3.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.745 * [taylor]: Taking taylor expansion of x in x
3.745 * [backup-simplify]: Simplify 0 into 0
3.745 * [backup-simplify]: Simplify 1 into 1
3.745 * [backup-simplify]: Simplify (/ 1 1) into 1
3.745 * [taylor]: Taking taylor expansion of 1/2 in x
3.745 * [backup-simplify]: Simplify 1/2 into 1/2
3.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.745 * [taylor]: Taking taylor expansion of x in x
3.745 * [backup-simplify]: Simplify 0 into 0
3.745 * [backup-simplify]: Simplify 1 into 1
3.746 * [backup-simplify]: Simplify (/ 1 1) into 1
3.746 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
3.746 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.746 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
3.747 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.747 * [backup-simplify]: Simplify 1/6 into 1/6
3.747 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.748 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
3.748 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.748 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.749 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.750 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
3.750 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.750 * [backup-simplify]: Simplify 1/2 into 1/2
3.752 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.753 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
3.753 * [backup-simplify]: Simplify (+ 0 0) into 0
3.754 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.755 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.756 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
3.756 * [backup-simplify]: Simplify (+ 0 1) into 1
3.756 * [backup-simplify]: Simplify 1 into 1
3.757 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
3.758 * [backup-simplify]: Simplify (exp (log (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma 1/6 (/ 1 (- x)) 1/2) (/ 1 (- x))))) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))
3.758 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in (x) around 0
3.758 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
3.758 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
3.758 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
3.758 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.758 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.758 * [taylor]: Taking taylor expansion of x in x
3.758 * [backup-simplify]: Simplify 0 into 0
3.758 * [backup-simplify]: Simplify 1 into 1
3.758 * [backup-simplify]: Simplify (* 1 1) into 1
3.759 * [backup-simplify]: Simplify (/ 1 1) into 1
3.759 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.759 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.759 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.759 * [taylor]: Taking taylor expansion of 1/6 in x
3.759 * [backup-simplify]: Simplify 1/6 into 1/6
3.759 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.759 * [taylor]: Taking taylor expansion of -1 in x
3.759 * [backup-simplify]: Simplify -1 into -1
3.759 * [taylor]: Taking taylor expansion of x in x
3.759 * [backup-simplify]: Simplify 0 into 0
3.759 * [backup-simplify]: Simplify 1 into 1
3.760 * [backup-simplify]: Simplify (/ -1 1) into -1
3.760 * [taylor]: Taking taylor expansion of 1/2 in x
3.760 * [backup-simplify]: Simplify 1/2 into 1/2
3.760 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.760 * [taylor]: Taking taylor expansion of -1 in x
3.760 * [backup-simplify]: Simplify -1 into -1
3.760 * [taylor]: Taking taylor expansion of x in x
3.760 * [backup-simplify]: Simplify 0 into 0
3.760 * [backup-simplify]: Simplify 1 into 1
3.760 * [backup-simplify]: Simplify (/ -1 1) into -1
3.760 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
3.761 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
3.761 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
3.761 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.761 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.761 * [taylor]: Taking taylor expansion of x in x
3.761 * [backup-simplify]: Simplify 0 into 0
3.761 * [backup-simplify]: Simplify 1 into 1
3.761 * [backup-simplify]: Simplify (* 1 1) into 1
3.762 * [backup-simplify]: Simplify (/ 1 1) into 1
3.762 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.762 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.762 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.762 * [taylor]: Taking taylor expansion of 1/6 in x
3.762 * [backup-simplify]: Simplify 1/6 into 1/6
3.762 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.762 * [taylor]: Taking taylor expansion of -1 in x
3.762 * [backup-simplify]: Simplify -1 into -1
3.762 * [taylor]: Taking taylor expansion of x in x
3.762 * [backup-simplify]: Simplify 0 into 0
3.762 * [backup-simplify]: Simplify 1 into 1
3.763 * [backup-simplify]: Simplify (/ -1 1) into -1
3.763 * [taylor]: Taking taylor expansion of 1/2 in x
3.763 * [backup-simplify]: Simplify 1/2 into 1/2
3.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.763 * [taylor]: Taking taylor expansion of -1 in x
3.763 * [backup-simplify]: Simplify -1 into -1
3.763 * [taylor]: Taking taylor expansion of x in x
3.763 * [backup-simplify]: Simplify 0 into 0
3.763 * [backup-simplify]: Simplify 1 into 1
3.763 * [backup-simplify]: Simplify (/ -1 1) into -1
3.764 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
3.764 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.765 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
3.769 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.769 * [backup-simplify]: Simplify -1/6 into -1/6
3.770 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.770 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
3.770 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.771 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.771 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.772 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
3.772 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.772 * [backup-simplify]: Simplify 1/2 into 1/2
3.773 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.774 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
3.774 * [backup-simplify]: Simplify (+ 0 0) into 0
3.774 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.775 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
3.776 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.776 * [backup-simplify]: Simplify -1 into -1
3.777 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
3.777 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2)
3.777 * [backup-simplify]: Simplify (fma 1/6 x 1/2) into (fma 1/6 x 1/2)
3.777 * [approximate]: Taking taylor expansion of (fma 1/6 x 1/2) in (x) around 0
3.777 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.777 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.777 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.777 * [taylor]: Taking taylor expansion of 1/6 in x
3.777 * [backup-simplify]: Simplify 1/6 into 1/6
3.777 * [taylor]: Taking taylor expansion of x in x
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 1 into 1
3.777 * [taylor]: Taking taylor expansion of 1/2 in x
3.777 * [backup-simplify]: Simplify 1/2 into 1/2
3.777 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.777 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.777 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.777 * [taylor]: Taking taylor expansion of 1/6 in x
3.777 * [backup-simplify]: Simplify 1/6 into 1/6
3.777 * [taylor]: Taking taylor expansion of x in x
3.777 * [backup-simplify]: Simplify 0 into 0
3.777 * [backup-simplify]: Simplify 1 into 1
3.777 * [taylor]: Taking taylor expansion of 1/2 in x
3.777 * [backup-simplify]: Simplify 1/2 into 1/2
3.778 * [backup-simplify]: Simplify (* 1/6 0) into 0
3.778 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.778 * [backup-simplify]: Simplify 1/2 into 1/2
3.779 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
3.779 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.779 * [backup-simplify]: Simplify 1/6 into 1/6
3.780 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
3.780 * [backup-simplify]: Simplify (+ 0 0) into 0
3.780 * [backup-simplify]: Simplify 0 into 0
3.780 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
3.781 * [backup-simplify]: Simplify (+ 0 0) into 0
3.781 * [backup-simplify]: Simplify 0 into 0
3.782 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
3.782 * [backup-simplify]: Simplify (+ 0 0) into 0
3.782 * [backup-simplify]: Simplify 0 into 0
3.783 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
3.783 * [backup-simplify]: Simplify (+ 0 0) into 0
3.783 * [backup-simplify]: Simplify 0 into 0
3.784 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
3.785 * [backup-simplify]: Simplify (+ 0 0) into 0
3.785 * [backup-simplify]: Simplify 0 into 0
3.786 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
3.787 * [backup-simplify]: Simplify (+ 0 0) into 0
3.787 * [backup-simplify]: Simplify 0 into 0
3.787 * [backup-simplify]: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2)
3.787 * [backup-simplify]: Simplify (fma 1/6 (/ 1 x) 1/2) into (fma 1/6 (/ 1 x) 1/2)
3.787 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in (x) around 0
3.787 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.788 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.788 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.788 * [taylor]: Taking taylor expansion of 1/6 in x
3.788 * [backup-simplify]: Simplify 1/6 into 1/6
3.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.788 * [taylor]: Taking taylor expansion of x in x
3.788 * [backup-simplify]: Simplify 0 into 0
3.788 * [backup-simplify]: Simplify 1 into 1
3.788 * [backup-simplify]: Simplify (/ 1 1) into 1
3.788 * [taylor]: Taking taylor expansion of 1/2 in x
3.788 * [backup-simplify]: Simplify 1/2 into 1/2
3.788 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.789 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.789 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.789 * [taylor]: Taking taylor expansion of 1/6 in x
3.789 * [backup-simplify]: Simplify 1/6 into 1/6
3.789 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.789 * [taylor]: Taking taylor expansion of x in x
3.789 * [backup-simplify]: Simplify 0 into 0
3.789 * [backup-simplify]: Simplify 1 into 1
3.789 * [backup-simplify]: Simplify (/ 1 1) into 1
3.789 * [taylor]: Taking taylor expansion of 1/2 in x
3.789 * [backup-simplify]: Simplify 1/2 into 1/2
3.790 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
3.790 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.790 * [backup-simplify]: Simplify 1/6 into 1/6
3.791 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.792 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
3.792 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.792 * [backup-simplify]: Simplify 1/2 into 1/2
3.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.794 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
3.795 * [backup-simplify]: Simplify (+ 0 0) into 0
3.795 * [backup-simplify]: Simplify 0 into 0
3.796 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.797 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
3.797 * [backup-simplify]: Simplify (+ 0 0) into 0
3.797 * [backup-simplify]: Simplify 0 into 0
3.798 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.799 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
3.800 * [backup-simplify]: Simplify (+ 0 0) into 0
3.800 * [backup-simplify]: Simplify 0 into 0
3.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.802 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
3.803 * [backup-simplify]: Simplify (+ 0 0) into 0
3.803 * [backup-simplify]: Simplify 0 into 0
3.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.805 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
3.806 * [backup-simplify]: Simplify (+ 0 0) into 0
3.806 * [backup-simplify]: Simplify 0 into 0
3.807 * [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.809 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
3.809 * [backup-simplify]: Simplify (+ 0 0) into 0
3.809 * [backup-simplify]: Simplify 0 into 0
3.809 * [backup-simplify]: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2)
3.810 * [backup-simplify]: Simplify (fma 1/6 (/ 1 (- x)) 1/2) into (fma 1/6 (/ -1 x) 1/2)
3.810 * [approximate]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in (x) around 0
3.810 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.810 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.810 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.810 * [taylor]: Taking taylor expansion of 1/6 in x
3.810 * [backup-simplify]: Simplify 1/6 into 1/6
3.810 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.810 * [taylor]: Taking taylor expansion of -1 in x
3.810 * [backup-simplify]: Simplify -1 into -1
3.810 * [taylor]: Taking taylor expansion of x in x
3.810 * [backup-simplify]: Simplify 0 into 0
3.810 * [backup-simplify]: Simplify 1 into 1
3.811 * [backup-simplify]: Simplify (/ -1 1) into -1
3.811 * [taylor]: Taking taylor expansion of 1/2 in x
3.811 * [backup-simplify]: Simplify 1/2 into 1/2
3.811 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.811 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.811 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.811 * [taylor]: Taking taylor expansion of 1/6 in x
3.811 * [backup-simplify]: Simplify 1/6 into 1/6
3.811 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.811 * [taylor]: Taking taylor expansion of -1 in x
3.811 * [backup-simplify]: Simplify -1 into -1
3.811 * [taylor]: Taking taylor expansion of x in x
3.811 * [backup-simplify]: Simplify 0 into 0
3.811 * [backup-simplify]: Simplify 1 into 1
3.811 * [backup-simplify]: Simplify (/ -1 1) into -1
3.811 * [taylor]: Taking taylor expansion of 1/2 in x
3.812 * [backup-simplify]: Simplify 1/2 into 1/2
3.812 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
3.813 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.813 * [backup-simplify]: Simplify -1/6 into -1/6
3.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.814 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
3.815 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.815 * [backup-simplify]: Simplify 1/2 into 1/2
3.816 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.817 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
3.817 * [backup-simplify]: Simplify (+ 0 0) into 0
3.818 * [backup-simplify]: Simplify 0 into 0
3.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.820 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
3.820 * [backup-simplify]: Simplify (+ 0 0) into 0
3.820 * [backup-simplify]: Simplify 0 into 0
3.821 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.823 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
3.823 * [backup-simplify]: Simplify (+ 0 0) into 0
3.823 * [backup-simplify]: Simplify 0 into 0
3.824 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.826 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
3.826 * [backup-simplify]: Simplify (+ 0 0) into 0
3.826 * [backup-simplify]: Simplify 0 into 0
3.827 * [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.829 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
3.829 * [backup-simplify]: Simplify (+ 0 0) into 0
3.830 * [backup-simplify]: Simplify 0 into 0
3.831 * [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.832 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
3.833 * [backup-simplify]: Simplify (+ 0 0) into 0
3.833 * [backup-simplify]: Simplify 0 into 0
3.833 * [backup-simplify]: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2)
3.834 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
3.834 * [backup-simplify]: Simplify (fma (* x x) (fma 1/6 x 1/2) x) into (fma (pow x 2) (fma 1/6 x 1/2) x)
3.834 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in (x) around 0
3.834 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
3.834 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
3.834 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
3.834 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.834 * [taylor]: Taking taylor expansion of x in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.834 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.834 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.834 * [taylor]: Taking taylor expansion of 1/6 in x
3.834 * [backup-simplify]: Simplify 1/6 into 1/6
3.834 * [taylor]: Taking taylor expansion of x in x
3.834 * [backup-simplify]: Simplify 0 into 0
3.834 * [backup-simplify]: Simplify 1 into 1
3.834 * [taylor]: Taking taylor expansion of 1/2 in x
3.835 * [backup-simplify]: Simplify 1/2 into 1/2
3.835 * [taylor]: Taking taylor expansion of x in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.835 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
3.835 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
3.835 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
3.835 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.835 * [taylor]: Taking taylor expansion of x in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.835 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
3.835 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
3.835 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
3.835 * [taylor]: Taking taylor expansion of 1/6 in x
3.835 * [backup-simplify]: Simplify 1/6 into 1/6
3.835 * [taylor]: Taking taylor expansion of x in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.835 * [taylor]: Taking taylor expansion of 1/2 in x
3.835 * [backup-simplify]: Simplify 1/2 into 1/2
3.835 * [taylor]: Taking taylor expansion of x in x
3.835 * [backup-simplify]: Simplify 0 into 0
3.835 * [backup-simplify]: Simplify 1 into 1
3.836 * [backup-simplify]: Simplify (+ 0 0) into 0
3.836 * [backup-simplify]: Simplify 0 into 0
3.837 * [backup-simplify]: Simplify (+ 0 1) into 1
3.837 * [backup-simplify]: Simplify 1 into 1
3.837 * [backup-simplify]: Simplify (* 1 1) into 1
3.837 * [backup-simplify]: Simplify (* 1/6 0) into 0
3.838 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.838 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
3.839 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.839 * [backup-simplify]: Simplify 1/2 into 1/2
3.840 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
3.840 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.841 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.842 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
3.842 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.842 * [backup-simplify]: Simplify 1/6 into 1/6
3.843 * [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))))
3.843 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))
3.843 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in (x) around 0
3.843 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
3.843 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
3.843 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
3.843 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.843 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.843 * [taylor]: Taking taylor expansion of x in x
3.843 * [backup-simplify]: Simplify 0 into 0
3.843 * [backup-simplify]: Simplify 1 into 1
3.844 * [backup-simplify]: Simplify (* 1 1) into 1
3.844 * [backup-simplify]: Simplify (/ 1 1) into 1
3.844 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.845 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.845 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.845 * [taylor]: Taking taylor expansion of 1/6 in x
3.845 * [backup-simplify]: Simplify 1/6 into 1/6
3.845 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.845 * [taylor]: Taking taylor expansion of x in x
3.845 * [backup-simplify]: Simplify 0 into 0
3.845 * [backup-simplify]: Simplify 1 into 1
3.845 * [backup-simplify]: Simplify (/ 1 1) into 1
3.846 * [taylor]: Taking taylor expansion of 1/2 in x
3.846 * [backup-simplify]: Simplify 1/2 into 1/2
3.846 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.846 * [taylor]: Taking taylor expansion of x in x
3.846 * [backup-simplify]: Simplify 0 into 0
3.846 * [backup-simplify]: Simplify 1 into 1
3.846 * [backup-simplify]: Simplify (/ 1 1) into 1
3.846 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
3.846 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
3.847 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
3.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.847 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.847 * [taylor]: Taking taylor expansion of x in x
3.847 * [backup-simplify]: Simplify 0 into 0
3.847 * [backup-simplify]: Simplify 1 into 1
3.847 * [backup-simplify]: Simplify (* 1 1) into 1
3.848 * [backup-simplify]: Simplify (/ 1 1) into 1
3.848 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
3.848 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
3.848 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
3.848 * [taylor]: Taking taylor expansion of 1/6 in x
3.848 * [backup-simplify]: Simplify 1/6 into 1/6
3.848 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.848 * [taylor]: Taking taylor expansion of x in x
3.848 * [backup-simplify]: Simplify 0 into 0
3.848 * [backup-simplify]: Simplify 1 into 1
3.849 * [backup-simplify]: Simplify (/ 1 1) into 1
3.849 * [taylor]: Taking taylor expansion of 1/2 in x
3.849 * [backup-simplify]: Simplify 1/2 into 1/2
3.849 * [taylor]: Taking taylor expansion of (/ 1 x) in x
3.849 * [taylor]: Taking taylor expansion of x in x
3.849 * [backup-simplify]: Simplify 0 into 0
3.849 * [backup-simplify]: Simplify 1 into 1
3.849 * [backup-simplify]: Simplify (/ 1 1) into 1
3.850 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
3.850 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.851 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
3.852 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
3.852 * [backup-simplify]: Simplify 1/6 into 1/6
3.852 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.853 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
3.854 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.854 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.855 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.856 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
3.856 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.856 * [backup-simplify]: Simplify 1/2 into 1/2
3.857 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.858 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
3.859 * [backup-simplify]: Simplify (+ 0 0) into 0
3.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.861 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
3.862 * [backup-simplify]: Simplify (+ 0 1) into 1
3.862 * [backup-simplify]: Simplify 1 into 1
3.863 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
3.863 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma 1/6 (/ 1 (- x)) 1/2) (/ 1 (- x))) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))
3.863 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in (x) around 0
3.863 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
3.864 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
3.864 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
3.864 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.864 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.864 * [taylor]: Taking taylor expansion of x in x
3.864 * [backup-simplify]: Simplify 0 into 0
3.864 * [backup-simplify]: Simplify 1 into 1
3.864 * [backup-simplify]: Simplify (* 1 1) into 1
3.865 * [backup-simplify]: Simplify (/ 1 1) into 1
3.865 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.865 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.865 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.865 * [taylor]: Taking taylor expansion of 1/6 in x
3.865 * [backup-simplify]: Simplify 1/6 into 1/6
3.865 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.865 * [taylor]: Taking taylor expansion of -1 in x
3.865 * [backup-simplify]: Simplify -1 into -1
3.865 * [taylor]: Taking taylor expansion of x in x
3.865 * [backup-simplify]: Simplify 0 into 0
3.865 * [backup-simplify]: Simplify 1 into 1
3.866 * [backup-simplify]: Simplify (/ -1 1) into -1
3.866 * [taylor]: Taking taylor expansion of 1/2 in x
3.866 * [backup-simplify]: Simplify 1/2 into 1/2
3.866 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.866 * [taylor]: Taking taylor expansion of -1 in x
3.866 * [backup-simplify]: Simplify -1 into -1
3.866 * [taylor]: Taking taylor expansion of x in x
3.866 * [backup-simplify]: Simplify 0 into 0
3.866 * [backup-simplify]: Simplify 1 into 1
3.866 * [backup-simplify]: Simplify (/ -1 1) into -1
3.866 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
3.867 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
3.867 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
3.867 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
3.867 * [taylor]: Taking taylor expansion of (pow x 2) in x
3.867 * [taylor]: Taking taylor expansion of x in x
3.867 * [backup-simplify]: Simplify 0 into 0
3.867 * [backup-simplify]: Simplify 1 into 1
3.867 * [backup-simplify]: Simplify (* 1 1) into 1
3.868 * [backup-simplify]: Simplify (/ 1 1) into 1
3.868 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
3.868 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
3.868 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
3.868 * [taylor]: Taking taylor expansion of 1/6 in x
3.868 * [backup-simplify]: Simplify 1/6 into 1/6
3.868 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.868 * [taylor]: Taking taylor expansion of -1 in x
3.868 * [backup-simplify]: Simplify -1 into -1
3.868 * [taylor]: Taking taylor expansion of x in x
3.868 * [backup-simplify]: Simplify 0 into 0
3.868 * [backup-simplify]: Simplify 1 into 1
3.868 * [backup-simplify]: Simplify (/ -1 1) into -1
3.869 * [taylor]: Taking taylor expansion of 1/2 in x
3.869 * [backup-simplify]: Simplify 1/2 into 1/2
3.869 * [taylor]: Taking taylor expansion of (/ -1 x) in x
3.869 * [taylor]: Taking taylor expansion of -1 in x
3.869 * [backup-simplify]: Simplify -1 into -1
3.869 * [taylor]: Taking taylor expansion of x in x
3.869 * [backup-simplify]: Simplify 0 into 0
3.869 * [backup-simplify]: Simplify 1 into 1
3.869 * [backup-simplify]: Simplify (/ -1 1) into -1
3.870 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
3.870 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.871 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
3.871 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
3.871 * [backup-simplify]: Simplify -1/6 into -1/6
3.872 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
3.873 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
3.873 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
3.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
3.875 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
3.876 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
3.876 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
3.876 * [backup-simplify]: Simplify 1/2 into 1/2
3.877 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.878 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
3.879 * [backup-simplify]: Simplify (+ 0 0) into 0
3.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
3.880 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
3.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
3.882 * [backup-simplify]: Simplify (+ 0 -1) into -1
3.882 * [backup-simplify]: Simplify -1 into -1
3.883 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
3.884 * * * [progress]: simplifying candidates
3.885 * [simplify]: Simplifying:
  (expm1 (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (log1p (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp 1)
  (exp (* (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x))) (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x)))))
  (exp (sqrt (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp 1)
  (exp (log (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))))
  (exp (log (cbrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp (log (sqrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp (log (sqrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp (log 1))
  (exp (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (log (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (* (cbrt (exp (log (fma (* x x) (fma 1/6 x 1/2) x)))) (cbrt (exp (log (fma (* x x) (fma 1/6 x 1/2) x)))))
  (cbrt (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (* (* (exp (log (fma (* x x) (fma 1/6 x 1/2) x))) (exp (log (fma (* x x) (fma 1/6 x 1/2) x)))) (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (sqrt (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (sqrt (exp (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (expm1 (fma 1/6 x 1/2))
  (log1p (fma 1/6 x 1/2))
  (* 1/6 x)
  (log (fma 1/6 x 1/2))
  (exp (fma 1/6 x 1/2))
  (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))
  (cbrt (fma 1/6 x 1/2))
  (* (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)) (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (expm1 (fma (* x x) (fma 1/6 x 1/2) x))
  (log1p (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* x x) (fma 1/6 x 1/2))
  (log (fma (* x x) (fma 1/6 x 1/2) x))
  (exp (fma (* x x) (fma 1/6 x 1/2) x))
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* (fma (* x x) (fma 1/6 x 1/2) x) (fma (* x x) (fma 1/6 x 1/2) x)) (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
3.886 * * [simplify]: iteration 0: 60 enodes
3.899 * * [simplify]: iteration 1: 102 enodes
3.931 * * [simplify]: iteration 2: 321 enodes
4.301 * * [simplify]: iteration 3: 1727 enodes
5.423 * * [simplify]: iteration complete: 5000 enodes
5.423 * * [simplify]: Extracting #0: cost 24 inf + 0
5.426 * * [simplify]: Extracting #1: cost 376 inf + 2
5.432 * * [simplify]: Extracting #2: cost 646 inf + 5312
5.448 * * [simplify]: Extracting #3: cost 512 inf + 43261
5.481 * * [simplify]: Extracting #4: cost 76 inf + 115439
5.525 * * [simplify]: Extracting #5: cost 2 inf + 135776
5.567 * * [simplify]: Extracting #6: cost 0 inf + 136824
5.634 * [simplify]: Simplified to:
  (expm1 (fma (* x x) (fma 1/6 x 1/2) x))
  (log1p (fma (* x x) (fma 1/6 x 1/2) x))
  E
  (exp (* (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x))) (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x)))))
  (exp (sqrt (log (fma (* x x) (fma 1/6 x 1/2) x))))
  E
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  1
  (fma (* x x) (fma 1/6 x 1/2) x)
  (log (fma (* x x) (fma 1/6 x 1/2) x))
  (exp (fma (* x x) (fma 1/6 x 1/2) x))
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* (fma (* x x) (fma 1/6 x 1/2) x) (fma (* x x) (fma 1/6 x 1/2) x)) (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (expm1 (fma 1/6 x 1/2))
  (log1p (fma 1/6 x 1/2))
  (* x 1/6)
  (log (fma 1/6 x 1/2))
  (exp (fma 1/6 x 1/2))
  (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))
  (cbrt (fma 1/6 x 1/2))
  (* (fma 1/6 x 1/2) (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)))
  (sqrt (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (expm1 (fma (* x x) (fma 1/6 x 1/2) x))
  (log1p (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* x x) (fma 1/6 x 1/2))
  (log (fma (* x x) (fma 1/6 x 1/2) x))
  (exp (fma (* x x) (fma 1/6 x 1/2) x))
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* (fma (* x x) (fma 1/6 x 1/2) x) (fma (* x x) (fma 1/6 x 1/2) x)) (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (fma (* x x) (fma 1/6 x 1/2) x)
  (fma (* x x) (fma 1/6 x 1/2) x)
  (fma (* x x) (fma 1/6 x 1/2) x)
  (fma 1/6 x 1/2)
  (fma 1/6 x 1/2)
  (fma 1/6 x 1/2)
  (fma (* x x) (fma 1/6 x 1/2) x)
  (fma (* x x) (fma 1/6 x 1/2) x)
  (fma (* x x) (fma 1/6 x 1/2) x)
5.636 * * * [progress]: adding candidates to table
5.853 * * [progress]: iteration 4 / 4
5.853 * * * [progress]: picking best candidate
5.868 * * * * [pick]: Picked  #<alt (λ (x) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))>
5.868 * * * [progress]: localizing error
5.903 * * * [progress]: generating rewritten candidates
5.904 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
5.909 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1 2)
5.909 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
5.911 * * * [progress]: generating series expansions
5.911 * * * * [progress]: [ 1 / 3 ] generating series at (2)
5.911 * [backup-simplify]: Simplify (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))) into (pow E (log (fma (pow x 2) (fma 1/6 x 1/2) x)))
5.911 * [approximate]: Taking taylor expansion of (pow E (log (fma (pow x 2) (fma 1/6 x 1/2) x))) in (x) around 0
5.912 * [taylor]: Taking taylor expansion of (pow E (log (fma (pow x 2) (fma 1/6 x 1/2) x))) in x
5.912 * [taylor]: Taking taylor expansion of (exp (* (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (log E))) in x
5.912 * [taylor]: Taking taylor expansion of (* (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (log E)) in x
5.912 * [taylor]: Taking taylor expansion of (log (fma (pow x 2) (fma 1/6 x 1/2) x)) in x
5.912 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
5.912 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
5.912 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
5.912 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.912 * [taylor]: Taking taylor expansion of x in x
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 1 into 1
5.912 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
5.912 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
5.912 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
5.912 * [taylor]: Taking taylor expansion of 1/6 in x
5.912 * [backup-simplify]: Simplify 1/6 into 1/6
5.912 * [taylor]: Taking taylor expansion of x in x
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 1 into 1
5.912 * [taylor]: Taking taylor expansion of 1/2 in x
5.912 * [backup-simplify]: Simplify 1/2 into 1/2
5.912 * [taylor]: Taking taylor expansion of x in x
5.912 * [backup-simplify]: Simplify 0 into 0
5.912 * [backup-simplify]: Simplify 1 into 1
5.913 * [backup-simplify]: Simplify (+ 0 0) into 0
5.913 * [backup-simplify]: Simplify (+ 0 1) into 1
5.914 * [backup-simplify]: Simplify (log 1) into 0
5.914 * [taylor]: Taking taylor expansion of (log E) in x
5.914 * [taylor]: Taking taylor expansion of E in x
5.914 * [backup-simplify]: Simplify E into E
5.914 * [backup-simplify]: Simplify (log E) into 1
5.914 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
5.914 * [backup-simplify]: Simplify (* (log x) 1) into (log x)
5.914 * [backup-simplify]: Simplify (exp (log x)) into x
5.914 * [taylor]: Taking taylor expansion of (pow E (log (fma (pow x 2) (fma 1/6 x 1/2) x))) in x
5.914 * [taylor]: Taking taylor expansion of (exp (* (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (log E))) in x
5.915 * [taylor]: Taking taylor expansion of (* (log (fma (pow x 2) (fma 1/6 x 1/2) x)) (log E)) in x
5.915 * [taylor]: Taking taylor expansion of (log (fma (pow x 2) (fma 1/6 x 1/2) x)) in x
5.915 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
5.915 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
5.915 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
5.915 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [backup-simplify]: Simplify 0 into 0
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
5.915 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
5.915 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
5.915 * [taylor]: Taking taylor expansion of 1/6 in x
5.915 * [backup-simplify]: Simplify 1/6 into 1/6
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [backup-simplify]: Simplify 0 into 0
5.915 * [backup-simplify]: Simplify 1 into 1
5.915 * [taylor]: Taking taylor expansion of 1/2 in x
5.915 * [backup-simplify]: Simplify 1/2 into 1/2
5.915 * [taylor]: Taking taylor expansion of x in x
5.915 * [backup-simplify]: Simplify 0 into 0
5.915 * [backup-simplify]: Simplify 1 into 1
5.916 * [backup-simplify]: Simplify (+ 0 0) into 0
5.916 * [backup-simplify]: Simplify (+ 0 1) into 1
5.916 * [backup-simplify]: Simplify (log 1) into 0
5.916 * [taylor]: Taking taylor expansion of (log E) in x
5.916 * [taylor]: Taking taylor expansion of E in x
5.916 * [backup-simplify]: Simplify E into E
5.916 * [backup-simplify]: Simplify (log E) into 1
5.917 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
5.917 * [backup-simplify]: Simplify (* (log x) 1) into (log x)
5.917 * [backup-simplify]: Simplify (exp (log x)) into x
5.917 * [backup-simplify]: Simplify x into x
5.918 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
5.919 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.919 * [backup-simplify]: Simplify (* 1 1) into 1
5.920 * [backup-simplify]: Simplify (* 1/6 0) into 0
5.920 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.920 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
5.921 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.922 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1 1)))) 1) into 1/2
5.922 * [backup-simplify]: Simplify (+ (* (log x) 0) (* 1/2 1)) into 1/2
5.923 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 1/2 1) 1)))) into (* 1/2 x)
5.923 * [backup-simplify]: Simplify (* 1/2 x) into (* 1/2 x)
5.924 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
5.926 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.927 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
5.928 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.929 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
5.929 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.932 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/6) 1)) (pow 1 1)))) 2) into 1/24
5.933 * [backup-simplify]: Simplify (+ (* (log x) 0) (+ (* 1/2 0) (* 1/24 1))) into 1/24
5.934 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow 1/24 1) 1)))) into (* 1/6 x)
5.935 * [backup-simplify]: Simplify (* 1/6 x) into (* 1/6 x)
5.935 * [backup-simplify]: Simplify (+ (* (* 1/6 x) (pow x 2)) (+ (* (* 1/2 x) x) x)) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
5.935 * [backup-simplify]: Simplify (pow E (log (fma (* (/ 1 x) (/ 1 x)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)))) into (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))))
5.935 * [approximate]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)))) in (x) around 0
5.935 * [taylor]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)))) in x
5.935 * [taylor]: Taking taylor expansion of (exp (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) (log E))) in x
5.935 * [taylor]: Taking taylor expansion of (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) (log E)) in x
5.935 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) in x
5.935 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
5.936 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
5.936 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
5.936 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.936 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.936 * [taylor]: Taking taylor expansion of x in x
5.936 * [backup-simplify]: Simplify 0 into 0
5.936 * [backup-simplify]: Simplify 1 into 1
5.936 * [backup-simplify]: Simplify (* 1 1) into 1
5.937 * [backup-simplify]: Simplify (/ 1 1) into 1
5.937 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
5.937 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
5.937 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
5.937 * [taylor]: Taking taylor expansion of 1/6 in x
5.937 * [backup-simplify]: Simplify 1/6 into 1/6
5.937 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.937 * [taylor]: Taking taylor expansion of x in x
5.937 * [backup-simplify]: Simplify 0 into 0
5.937 * [backup-simplify]: Simplify 1 into 1
5.937 * [backup-simplify]: Simplify (/ 1 1) into 1
5.937 * [taylor]: Taking taylor expansion of 1/2 in x
5.937 * [backup-simplify]: Simplify 1/2 into 1/2
5.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.938 * [taylor]: Taking taylor expansion of x in x
5.938 * [backup-simplify]: Simplify 0 into 0
5.938 * [backup-simplify]: Simplify 1 into 1
5.938 * [backup-simplify]: Simplify (/ 1 1) into 1
5.938 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
5.939 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.939 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
5.940 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.940 * [backup-simplify]: Simplify (log 1/6) into (log 1/6)
5.940 * [taylor]: Taking taylor expansion of (log E) in x
5.940 * [taylor]: Taking taylor expansion of E in x
5.940 * [backup-simplify]: Simplify E into E
5.940 * [backup-simplify]: Simplify (log E) into 1
5.941 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log 1/6)) into (- (log 1/6) (* 3 (log x)))
5.941 * [backup-simplify]: Simplify (* (- (log 1/6) (* 3 (log x))) 1) into (- (log 1/6) (* 3 (log x)))
5.942 * [backup-simplify]: Simplify (exp (- (log 1/6) (* 3 (log x)))) into (exp (- (log 1/6) (* 3 (log x))))
5.942 * [taylor]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)))) in x
5.942 * [taylor]: Taking taylor expansion of (exp (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) (log E))) in x
5.942 * [taylor]: Taking taylor expansion of (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) (log E)) in x
5.942 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))) in x
5.942 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
5.942 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
5.942 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
5.942 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.942 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.942 * [taylor]: Taking taylor expansion of x in x
5.942 * [backup-simplify]: Simplify 0 into 0
5.942 * [backup-simplify]: Simplify 1 into 1
5.943 * [backup-simplify]: Simplify (* 1 1) into 1
5.943 * [backup-simplify]: Simplify (/ 1 1) into 1
5.943 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
5.943 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
5.943 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
5.943 * [taylor]: Taking taylor expansion of 1/6 in x
5.943 * [backup-simplify]: Simplify 1/6 into 1/6
5.943 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.943 * [taylor]: Taking taylor expansion of x in x
5.943 * [backup-simplify]: Simplify 0 into 0
5.943 * [backup-simplify]: Simplify 1 into 1
5.944 * [backup-simplify]: Simplify (/ 1 1) into 1
5.944 * [taylor]: Taking taylor expansion of 1/2 in x
5.944 * [backup-simplify]: Simplify 1/2 into 1/2
5.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.944 * [taylor]: Taking taylor expansion of x in x
5.944 * [backup-simplify]: Simplify 0 into 0
5.944 * [backup-simplify]: Simplify 1 into 1
5.944 * [backup-simplify]: Simplify (/ 1 1) into 1
5.944 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
5.945 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.945 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
5.946 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
5.946 * [backup-simplify]: Simplify (log 1/6) into (log 1/6)
5.946 * [taylor]: Taking taylor expansion of (log E) in x
5.946 * [taylor]: Taking taylor expansion of E in x
5.946 * [backup-simplify]: Simplify E into E
5.946 * [backup-simplify]: Simplify (log E) into 1
5.947 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log 1/6)) into (- (log 1/6) (* 3 (log x)))
5.947 * [backup-simplify]: Simplify (* (- (log 1/6) (* 3 (log x))) 1) into (- (log 1/6) (* 3 (log x)))
5.948 * [backup-simplify]: Simplify (exp (- (log 1/6) (* 3 (log x)))) into (exp (- (log 1/6) (* 3 (log x))))
5.948 * [backup-simplify]: Simplify (exp (- (log 1/6) (* 3 (log x)))) into (exp (- (log 1/6) (* 3 (log x))))
5.949 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log 1/6)) into (- (log 1/6) (* 3 (log x)))
5.950 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.951 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.952 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
5.952 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.954 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.954 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
5.955 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
5.956 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow 1/6 1)))) 1) into 3
5.957 * [backup-simplify]: Simplify (+ (* (- (log 1/6) (* 3 (log x))) 0) (* 3 1)) into 3
5.958 * [backup-simplify]: Simplify (* (exp (- (log 1/6) (* 3 (log x)))) (+ (* (/ (pow 3 1) 1)))) into (* 3 (exp (- (log 1/6) (* 3 (log x)))))
5.959 * [backup-simplify]: Simplify (* 3 (exp (- (log 1/6) (* 3 (log x))))) into (* 3 (exp (- (log 1/6) (* 3 (log x)))))
5.959 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log 1/6)) into (- (log 1/6) (* 3 (log x)))
5.962 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
5.963 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.964 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
5.964 * [backup-simplify]: Simplify (+ 0 0) into 0
5.972 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
5.973 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
5.974 * [backup-simplify]: Simplify (+ 0 1) into 1
5.977 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow 1/6 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1/6 1)))) 2) into 3/2
5.979 * [backup-simplify]: Simplify (+ (* (- (log 1/6) (* 3 (log x))) 0) (+ (* 3 0) (* 3/2 1))) into 3/2
5.980 * [backup-simplify]: Simplify (* (exp (- (log 1/6) (* 3 (log x)))) (+ (* (/ (pow 3 2) 2)) (* (/ (pow 3/2 1) 1)))) into (* 6 (exp (- (log 1/6) (* 3 (log x)))))
5.981 * [backup-simplify]: Simplify (* 6 (exp (- (log 1/6) (* 3 (log x))))) into (* 6 (exp (- (log 1/6) (* 3 (log x)))))
5.983 * [backup-simplify]: Simplify (+ (* (* 6 (exp (- (log 1/6) (* 3 (log (/ 1 x)))))) (pow (/ 1 x) 2)) (+ (* (* 3 (exp (- (log 1/6) (* 3 (log (/ 1 x)))))) (/ 1 x)) (exp (- (log 1/6) (* 3 (log (/ 1 x))))))) into (+ (* 6 (/ (exp (- (log 1/6) (* 3 (log (/ 1 x))))) (pow x 2))) (+ (* 3 (/ (exp (- (log 1/6) (* 3 (log (/ 1 x))))) x)) (exp (- (log 1/6) (* 3 (log (/ 1 x)))))))
5.983 * [backup-simplify]: Simplify (pow E (log (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma 1/6 (/ 1 (- x)) 1/2) (/ 1 (- x))))) into (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))))
5.983 * [approximate]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)))) in (x) around 0
5.983 * [taylor]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)))) in x
5.983 * [taylor]: Taking taylor expansion of (exp (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) (log E))) in x
5.983 * [taylor]: Taking taylor expansion of (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) (log E)) in x
5.983 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) in x
5.983 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
5.984 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
5.984 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
5.984 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.984 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.984 * [taylor]: Taking taylor expansion of x in x
5.984 * [backup-simplify]: Simplify 0 into 0
5.984 * [backup-simplify]: Simplify 1 into 1
5.984 * [backup-simplify]: Simplify (* 1 1) into 1
5.985 * [backup-simplify]: Simplify (/ 1 1) into 1
5.985 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
5.985 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
5.985 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
5.985 * [taylor]: Taking taylor expansion of 1/6 in x
5.985 * [backup-simplify]: Simplify 1/6 into 1/6
5.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.985 * [taylor]: Taking taylor expansion of -1 in x
5.985 * [backup-simplify]: Simplify -1 into -1
5.985 * [taylor]: Taking taylor expansion of x in x
5.985 * [backup-simplify]: Simplify 0 into 0
5.985 * [backup-simplify]: Simplify 1 into 1
5.985 * [backup-simplify]: Simplify (/ -1 1) into -1
5.985 * [taylor]: Taking taylor expansion of 1/2 in x
5.985 * [backup-simplify]: Simplify 1/2 into 1/2
5.985 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.985 * [taylor]: Taking taylor expansion of -1 in x
5.985 * [backup-simplify]: Simplify -1 into -1
5.985 * [taylor]: Taking taylor expansion of x in x
5.985 * [backup-simplify]: Simplify 0 into 0
5.985 * [backup-simplify]: Simplify 1 into 1
5.986 * [backup-simplify]: Simplify (/ -1 1) into -1
5.987 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
5.987 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
5.987 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
5.988 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
5.988 * [backup-simplify]: Simplify (log -1/6) into (log -1/6)
5.988 * [taylor]: Taking taylor expansion of (log E) in x
5.988 * [taylor]: Taking taylor expansion of E in x
5.988 * [backup-simplify]: Simplify E into E
5.988 * [backup-simplify]: Simplify (log E) into 1
5.989 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log -1/6)) into (- (log -1/6) (* 3 (log x)))
5.990 * [backup-simplify]: Simplify (* (- (log -1/6) (* 3 (log x))) 1) into (- (log -1/6) (* 3 (log x)))
5.990 * [backup-simplify]: Simplify (exp (- (log -1/6) (* 3 (log x)))) into (exp (- (log -1/6) (* 3 (log x))))
5.990 * [taylor]: Taking taylor expansion of (pow E (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)))) in x
5.990 * [taylor]: Taking taylor expansion of (exp (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) (log E))) in x
5.990 * [taylor]: Taking taylor expansion of (* (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) (log E)) in x
5.990 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))) in x
5.990 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
5.990 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
5.990 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
5.990 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
5.990 * [taylor]: Taking taylor expansion of (pow x 2) in x
5.990 * [taylor]: Taking taylor expansion of x in x
5.990 * [backup-simplify]: Simplify 0 into 0
5.991 * [backup-simplify]: Simplify 1 into 1
5.991 * [backup-simplify]: Simplify (* 1 1) into 1
5.991 * [backup-simplify]: Simplify (/ 1 1) into 1
5.991 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
5.991 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
5.991 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
5.991 * [taylor]: Taking taylor expansion of 1/6 in x
5.991 * [backup-simplify]: Simplify 1/6 into 1/6
5.991 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.991 * [taylor]: Taking taylor expansion of -1 in x
5.991 * [backup-simplify]: Simplify -1 into -1
5.991 * [taylor]: Taking taylor expansion of x in x
5.992 * [backup-simplify]: Simplify 0 into 0
5.992 * [backup-simplify]: Simplify 1 into 1
5.992 * [backup-simplify]: Simplify (/ -1 1) into -1
5.992 * [taylor]: Taking taylor expansion of 1/2 in x
5.992 * [backup-simplify]: Simplify 1/2 into 1/2
5.992 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.992 * [taylor]: Taking taylor expansion of -1 in x
5.992 * [backup-simplify]: Simplify -1 into -1
5.992 * [taylor]: Taking taylor expansion of x in x
5.992 * [backup-simplify]: Simplify 0 into 0
5.992 * [backup-simplify]: Simplify 1 into 1
5.992 * [backup-simplify]: Simplify (/ -1 1) into -1
5.993 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
5.993 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
5.993 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
5.994 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
5.994 * [backup-simplify]: Simplify (log -1/6) into (log -1/6)
5.994 * [taylor]: Taking taylor expansion of (log E) in x
5.994 * [taylor]: Taking taylor expansion of E in x
5.994 * [backup-simplify]: Simplify E into E
5.994 * [backup-simplify]: Simplify (log E) into 1
5.994 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log -1/6)) into (- (log -1/6) (* 3 (log x)))
5.995 * [backup-simplify]: Simplify (* (- (log -1/6) (* 3 (log x))) 1) into (- (log -1/6) (* 3 (log x)))
5.995 * [backup-simplify]: Simplify (exp (- (log -1/6) (* 3 (log x)))) into (exp (- (log -1/6) (* 3 (log x))))
5.995 * [backup-simplify]: Simplify (exp (- (log -1/6) (* 3 (log x)))) into (exp (- (log -1/6) (* 3 (log x))))
5.996 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log -1/6)) into (- (log -1/6) (* 3 (log x)))
5.997 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow E 1)))) 1) into 0
5.997 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.998 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
5.998 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
5.999 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
5.999 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.999 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
6.000 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.001 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1/2) 1)) (pow -1/6 1)))) 1) into -3
6.001 * [backup-simplify]: Simplify (+ (* (- (log -1/6) (* 3 (log x))) 0) (* -3 1)) into (- 3)
6.002 * [backup-simplify]: Simplify (* (exp (- (log -1/6) (* 3 (log x)))) (+ (* (/ (pow (- 3) 1) 1)))) into (* -3 (exp (- (log -1/6) (* 3 (log x)))))
6.002 * [backup-simplify]: Simplify (* -3 (exp (- (log -1/6) (* 3 (log x))))) into (* -3 (exp (- (log -1/6) (* 3 (log x)))))
6.003 * [backup-simplify]: Simplify (+ (* (- 3) (log x)) (log -1/6)) into (- (log -1/6) (* 3 (log x)))
6.005 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow E 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow E 1)))) 2) into 0
6.005 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.006 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
6.006 * [backup-simplify]: Simplify (+ 0 0) into 0
6.007 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.007 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.008 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
6.008 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.010 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1/2) 2)) (pow -1/6 2))) (* 1 (/ (* 1 (pow (* 2 -1) 1)) (pow -1/6 1)))) 2) into 3/2
6.011 * [backup-simplify]: Simplify (+ (* (- (log -1/6) (* 3 (log x))) 0) (+ (* -3 0) (* 3/2 1))) into 3/2
6.012 * [backup-simplify]: Simplify (* (exp (- (log -1/6) (* 3 (log x)))) (+ (* (/ (pow (- 3) 2) 2)) (* (/ (pow 3/2 1) 1)))) into (* 6 (exp (- (log -1/6) (* 3 (log x)))))
6.012 * [backup-simplify]: Simplify (* 6 (exp (- (log -1/6) (* 3 (log x))))) into (* 6 (exp (- (log -1/6) (* 3 (log x)))))
6.013 * [backup-simplify]: Simplify (+ (* (* 6 (exp (- (log -1/6) (* 3 (log (/ 1 (- x))))))) (pow (/ 1 (- x)) 2)) (+ (* (* -3 (exp (- (log -1/6) (* 3 (log (/ 1 (- x))))))) (/ 1 (- x))) (exp (- (log -1/6) (* 3 (log (/ 1 (- x)))))))) into (+ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) (+ (* 6 (/ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) (pow x 2))) (* 3 (/ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) x))))
6.013 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1 2)
6.014 * [backup-simplify]: Simplify (fma 1/6 x 1/2) into (fma 1/6 x 1/2)
6.014 * [approximate]: Taking taylor expansion of (fma 1/6 x 1/2) in (x) around 0
6.014 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
6.014 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
6.014 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
6.014 * [taylor]: Taking taylor expansion of 1/6 in x
6.014 * [backup-simplify]: Simplify 1/6 into 1/6
6.014 * [taylor]: Taking taylor expansion of x in x
6.014 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify 1 into 1
6.014 * [taylor]: Taking taylor expansion of 1/2 in x
6.014 * [backup-simplify]: Simplify 1/2 into 1/2
6.014 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
6.014 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
6.014 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
6.014 * [taylor]: Taking taylor expansion of 1/6 in x
6.014 * [backup-simplify]: Simplify 1/6 into 1/6
6.014 * [taylor]: Taking taylor expansion of x in x
6.014 * [backup-simplify]: Simplify 0 into 0
6.014 * [backup-simplify]: Simplify 1 into 1
6.014 * [taylor]: Taking taylor expansion of 1/2 in x
6.014 * [backup-simplify]: Simplify 1/2 into 1/2
6.014 * [backup-simplify]: Simplify (* 1/6 0) into 0
6.015 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.015 * [backup-simplify]: Simplify 1/2 into 1/2
6.015 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
6.015 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.015 * [backup-simplify]: Simplify 1/6 into 1/6
6.016 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 1) (* 0 0))) into 0
6.016 * [backup-simplify]: Simplify (+ 0 0) into 0
6.016 * [backup-simplify]: Simplify 0 into 0
6.017 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
6.017 * [backup-simplify]: Simplify (+ 0 0) into 0
6.017 * [backup-simplify]: Simplify 0 into 0
6.018 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
6.018 * [backup-simplify]: Simplify (+ 0 0) into 0
6.018 * [backup-simplify]: Simplify 0 into 0
6.019 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
6.019 * [backup-simplify]: Simplify (+ 0 0) into 0
6.019 * [backup-simplify]: Simplify 0 into 0
6.020 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
6.020 * [backup-simplify]: Simplify (+ 0 0) into 0
6.020 * [backup-simplify]: Simplify 0 into 0
6.021 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
6.022 * [backup-simplify]: Simplify (+ 0 0) into 0
6.022 * [backup-simplify]: Simplify 0 into 0
6.022 * [backup-simplify]: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2)
6.022 * [backup-simplify]: Simplify (fma 1/6 (/ 1 x) 1/2) into (fma 1/6 (/ 1 x) 1/2)
6.022 * [approximate]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in (x) around 0
6.022 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
6.022 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
6.022 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
6.022 * [taylor]: Taking taylor expansion of 1/6 in x
6.022 * [backup-simplify]: Simplify 1/6 into 1/6
6.022 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.022 * [taylor]: Taking taylor expansion of x in x
6.022 * [backup-simplify]: Simplify 0 into 0
6.022 * [backup-simplify]: Simplify 1 into 1
6.022 * [backup-simplify]: Simplify (/ 1 1) into 1
6.022 * [taylor]: Taking taylor expansion of 1/2 in x
6.022 * [backup-simplify]: Simplify 1/2 into 1/2
6.023 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
6.023 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
6.023 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
6.023 * [taylor]: Taking taylor expansion of 1/6 in x
6.023 * [backup-simplify]: Simplify 1/6 into 1/6
6.023 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.023 * [taylor]: Taking taylor expansion of x in x
6.023 * [backup-simplify]: Simplify 0 into 0
6.023 * [backup-simplify]: Simplify 1 into 1
6.023 * [backup-simplify]: Simplify (/ 1 1) into 1
6.023 * [taylor]: Taking taylor expansion of 1/2 in x
6.023 * [backup-simplify]: Simplify 1/2 into 1/2
6.023 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.024 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.024 * [backup-simplify]: Simplify 1/6 into 1/6
6.024 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.025 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
6.025 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.025 * [backup-simplify]: Simplify 1/2 into 1/2
6.025 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.026 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
6.026 * [backup-simplify]: Simplify (+ 0 0) into 0
6.026 * [backup-simplify]: Simplify 0 into 0
6.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.027 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.028 * [backup-simplify]: Simplify (+ 0 0) into 0
6.028 * [backup-simplify]: Simplify 0 into 0
6.028 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.029 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.029 * [backup-simplify]: Simplify (+ 0 0) into 0
6.029 * [backup-simplify]: Simplify 0 into 0
6.030 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.031 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.031 * [backup-simplify]: Simplify (+ 0 0) into 0
6.031 * [backup-simplify]: Simplify 0 into 0
6.031 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.032 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.033 * [backup-simplify]: Simplify (+ 0 0) into 0
6.033 * [backup-simplify]: Simplify 0 into 0
6.033 * [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
6.034 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.034 * [backup-simplify]: Simplify (+ 0 0) into 0
6.034 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2)
6.035 * [backup-simplify]: Simplify (fma 1/6 (/ 1 (- x)) 1/2) into (fma 1/6 (/ -1 x) 1/2)
6.035 * [approximate]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in (x) around 0
6.035 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
6.035 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
6.035 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
6.035 * [taylor]: Taking taylor expansion of 1/6 in x
6.035 * [backup-simplify]: Simplify 1/6 into 1/6
6.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.035 * [taylor]: Taking taylor expansion of -1 in x
6.035 * [backup-simplify]: Simplify -1 into -1
6.035 * [taylor]: Taking taylor expansion of x in x
6.035 * [backup-simplify]: Simplify 0 into 0
6.035 * [backup-simplify]: Simplify 1 into 1
6.035 * [backup-simplify]: Simplify (/ -1 1) into -1
6.035 * [taylor]: Taking taylor expansion of 1/2 in x
6.035 * [backup-simplify]: Simplify 1/2 into 1/2
6.035 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
6.035 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
6.035 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
6.035 * [taylor]: Taking taylor expansion of 1/6 in x
6.035 * [backup-simplify]: Simplify 1/6 into 1/6
6.035 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.036 * [taylor]: Taking taylor expansion of -1 in x
6.036 * [backup-simplify]: Simplify -1 into -1
6.036 * [taylor]: Taking taylor expansion of x in x
6.036 * [backup-simplify]: Simplify 0 into 0
6.036 * [backup-simplify]: Simplify 1 into 1
6.036 * [backup-simplify]: Simplify (/ -1 1) into -1
6.036 * [taylor]: Taking taylor expansion of 1/2 in x
6.036 * [backup-simplify]: Simplify 1/2 into 1/2
6.036 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
6.036 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
6.037 * [backup-simplify]: Simplify -1/6 into -1/6
6.037 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.037 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
6.038 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.038 * [backup-simplify]: Simplify 1/2 into 1/2
6.038 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.039 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
6.039 * [backup-simplify]: Simplify (+ 0 0) into 0
6.039 * [backup-simplify]: Simplify 0 into 0
6.040 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.040 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
6.041 * [backup-simplify]: Simplify (+ 0 0) into 0
6.041 * [backup-simplify]: Simplify 0 into 0
6.041 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.042 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
6.042 * [backup-simplify]: Simplify (+ 0 0) into 0
6.042 * [backup-simplify]: Simplify 0 into 0
6.043 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.044 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
6.044 * [backup-simplify]: Simplify (+ 0 0) into 0
6.044 * [backup-simplify]: Simplify 0 into 0
6.045 * [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
6.046 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
6.046 * [backup-simplify]: Simplify (+ 0 0) into 0
6.046 * [backup-simplify]: Simplify 0 into 0
6.047 * [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
6.048 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))))) into 0
6.048 * [backup-simplify]: Simplify (+ 0 0) into 0
6.048 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2)
6.049 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
6.049 * [backup-simplify]: Simplify (fma (* x x) (fma 1/6 x 1/2) x) into (fma (pow x 2) (fma 1/6 x 1/2) x)
6.049 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in (x) around 0
6.049 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
6.049 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
6.049 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
6.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.049 * [taylor]: Taking taylor expansion of x in x
6.049 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify 1 into 1
6.049 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
6.049 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
6.049 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
6.049 * [taylor]: Taking taylor expansion of 1/6 in x
6.049 * [backup-simplify]: Simplify 1/6 into 1/6
6.049 * [taylor]: Taking taylor expansion of x in x
6.049 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify 1 into 1
6.049 * [taylor]: Taking taylor expansion of 1/2 in x
6.049 * [backup-simplify]: Simplify 1/2 into 1/2
6.049 * [taylor]: Taking taylor expansion of x in x
6.049 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify 1 into 1
6.049 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma 1/6 x 1/2) x) in x
6.049 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma 1/6 x 1/2)) x)
6.049 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma 1/6 x 1/2)) in x
6.049 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.049 * [taylor]: Taking taylor expansion of x in x
6.049 * [backup-simplify]: Simplify 0 into 0
6.049 * [backup-simplify]: Simplify 1 into 1
6.049 * [taylor]: Taking taylor expansion of (fma 1/6 x 1/2) in x
6.049 * [taylor]: Rewrote expression to (+ (* 1/6 x) 1/2)
6.049 * [taylor]: Taking taylor expansion of (* 1/6 x) in x
6.050 * [taylor]: Taking taylor expansion of 1/6 in x
6.050 * [backup-simplify]: Simplify 1/6 into 1/6
6.050 * [taylor]: Taking taylor expansion of x in x
6.050 * [backup-simplify]: Simplify 0 into 0
6.050 * [backup-simplify]: Simplify 1 into 1
6.050 * [taylor]: Taking taylor expansion of 1/2 in x
6.050 * [backup-simplify]: Simplify 1/2 into 1/2
6.050 * [taylor]: Taking taylor expansion of x in x
6.050 * [backup-simplify]: Simplify 0 into 0
6.050 * [backup-simplify]: Simplify 1 into 1
6.050 * [backup-simplify]: Simplify (+ 0 0) into 0
6.050 * [backup-simplify]: Simplify 0 into 0
6.050 * [backup-simplify]: Simplify (+ 0 1) into 1
6.050 * [backup-simplify]: Simplify 1 into 1
6.051 * [backup-simplify]: Simplify (* 1 1) into 1
6.051 * [backup-simplify]: Simplify (* 1/6 0) into 0
6.051 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.051 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
6.052 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.052 * [backup-simplify]: Simplify 1/2 into 1/2
6.052 * [backup-simplify]: Simplify (+ (* 1/6 1) (* 0 0)) into 1/6
6.052 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.053 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.053 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
6.054 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.054 * [backup-simplify]: Simplify 1/6 into 1/6
6.054 * [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))))
6.054 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x))
6.054 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in (x) around 0
6.054 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
6.054 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
6.054 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
6.054 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.054 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.054 * [taylor]: Taking taylor expansion of x in x
6.054 * [backup-simplify]: Simplify 0 into 0
6.054 * [backup-simplify]: Simplify 1 into 1
6.055 * [backup-simplify]: Simplify (* 1 1) into 1
6.055 * [backup-simplify]: Simplify (/ 1 1) into 1
6.055 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
6.055 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
6.055 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
6.055 * [taylor]: Taking taylor expansion of 1/6 in x
6.055 * [backup-simplify]: Simplify 1/6 into 1/6
6.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.055 * [taylor]: Taking taylor expansion of x in x
6.055 * [backup-simplify]: Simplify 0 into 0
6.055 * [backup-simplify]: Simplify 1 into 1
6.055 * [backup-simplify]: Simplify (/ 1 1) into 1
6.055 * [taylor]: Taking taylor expansion of 1/2 in x
6.055 * [backup-simplify]: Simplify 1/2 into 1/2
6.055 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.055 * [taylor]: Taking taylor expansion of x in x
6.055 * [backup-simplify]: Simplify 0 into 0
6.055 * [backup-simplify]: Simplify 1 into 1
6.056 * [backup-simplify]: Simplify (/ 1 1) into 1
6.056 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2) (/ 1 x)) in x
6.056 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) (/ 1 x))
6.056 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ 1 x) 1/2)) in x
6.056 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.056 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.056 * [taylor]: Taking taylor expansion of x in x
6.056 * [backup-simplify]: Simplify 0 into 0
6.056 * [backup-simplify]: Simplify 1 into 1
6.056 * [backup-simplify]: Simplify (* 1 1) into 1
6.056 * [backup-simplify]: Simplify (/ 1 1) into 1
6.056 * [taylor]: Taking taylor expansion of (fma 1/6 (/ 1 x) 1/2) in x
6.057 * [taylor]: Rewrote expression to (+ (* 1/6 (/ 1 x)) 1/2)
6.057 * [taylor]: Taking taylor expansion of (* 1/6 (/ 1 x)) in x
6.057 * [taylor]: Taking taylor expansion of 1/6 in x
6.057 * [backup-simplify]: Simplify 1/6 into 1/6
6.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.057 * [taylor]: Taking taylor expansion of x in x
6.057 * [backup-simplify]: Simplify 0 into 0
6.057 * [backup-simplify]: Simplify 1 into 1
6.057 * [backup-simplify]: Simplify (/ 1 1) into 1
6.057 * [taylor]: Taking taylor expansion of 1/2 in x
6.057 * [backup-simplify]: Simplify 1/2 into 1/2
6.057 * [taylor]: Taking taylor expansion of (/ 1 x) in x
6.057 * [taylor]: Taking taylor expansion of x in x
6.057 * [backup-simplify]: Simplify 0 into 0
6.057 * [backup-simplify]: Simplify 1 into 1
6.057 * [backup-simplify]: Simplify (/ 1 1) into 1
6.058 * [backup-simplify]: Simplify (* 1/6 1) into 1/6
6.058 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.058 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
6.058 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
6.058 * [backup-simplify]: Simplify 1/6 into 1/6
6.059 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.059 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 1)) into 0
6.060 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.060 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.061 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
6.061 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.061 * [backup-simplify]: Simplify 1/2 into 1/2
6.062 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.062 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 1))) into 0
6.063 * [backup-simplify]: Simplify (+ 0 0) into 0
6.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.064 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
6.065 * [backup-simplify]: Simplify (+ 0 1) into 1
6.065 * [backup-simplify]: Simplify 1 into 1
6.065 * [backup-simplify]: Simplify (+ (* 1 (/ 1 (/ 1 x))) (+ (* 1/2 (pow (/ 1 (/ 1 x)) 2)) (* 1/6 (pow (/ 1 (/ 1 x)) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
6.066 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma 1/6 (/ 1 (- x)) 1/2) (/ 1 (- x))) into (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x))
6.066 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in (x) around 0
6.066 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
6.066 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
6.066 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
6.066 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.066 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.066 * [taylor]: Taking taylor expansion of x in x
6.066 * [backup-simplify]: Simplify 0 into 0
6.066 * [backup-simplify]: Simplify 1 into 1
6.066 * [backup-simplify]: Simplify (* 1 1) into 1
6.067 * [backup-simplify]: Simplify (/ 1 1) into 1
6.067 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
6.067 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
6.067 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
6.067 * [taylor]: Taking taylor expansion of 1/6 in x
6.067 * [backup-simplify]: Simplify 1/6 into 1/6
6.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.067 * [taylor]: Taking taylor expansion of -1 in x
6.067 * [backup-simplify]: Simplify -1 into -1
6.067 * [taylor]: Taking taylor expansion of x in x
6.067 * [backup-simplify]: Simplify 0 into 0
6.067 * [backup-simplify]: Simplify 1 into 1
6.067 * [backup-simplify]: Simplify (/ -1 1) into -1
6.067 * [taylor]: Taking taylor expansion of 1/2 in x
6.067 * [backup-simplify]: Simplify 1/2 into 1/2
6.067 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.067 * [taylor]: Taking taylor expansion of -1 in x
6.067 * [backup-simplify]: Simplify -1 into -1
6.067 * [taylor]: Taking taylor expansion of x in x
6.067 * [backup-simplify]: Simplify 0 into 0
6.067 * [backup-simplify]: Simplify 1 into 1
6.068 * [backup-simplify]: Simplify (/ -1 1) into -1
6.068 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2) (/ -1 x)) in x
6.068 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) (/ -1 x))
6.068 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma 1/6 (/ -1 x) 1/2)) in x
6.068 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
6.068 * [taylor]: Taking taylor expansion of (pow x 2) in x
6.068 * [taylor]: Taking taylor expansion of x in x
6.068 * [backup-simplify]: Simplify 0 into 0
6.068 * [backup-simplify]: Simplify 1 into 1
6.068 * [backup-simplify]: Simplify (* 1 1) into 1
6.069 * [backup-simplify]: Simplify (/ 1 1) into 1
6.069 * [taylor]: Taking taylor expansion of (fma 1/6 (/ -1 x) 1/2) in x
6.069 * [taylor]: Rewrote expression to (+ (* 1/6 (/ -1 x)) 1/2)
6.069 * [taylor]: Taking taylor expansion of (* 1/6 (/ -1 x)) in x
6.069 * [taylor]: Taking taylor expansion of 1/6 in x
6.069 * [backup-simplify]: Simplify 1/6 into 1/6
6.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.069 * [taylor]: Taking taylor expansion of -1 in x
6.069 * [backup-simplify]: Simplify -1 into -1
6.069 * [taylor]: Taking taylor expansion of x in x
6.069 * [backup-simplify]: Simplify 0 into 0
6.069 * [backup-simplify]: Simplify 1 into 1
6.069 * [backup-simplify]: Simplify (/ -1 1) into -1
6.069 * [taylor]: Taking taylor expansion of 1/2 in x
6.069 * [backup-simplify]: Simplify 1/2 into 1/2
6.069 * [taylor]: Taking taylor expansion of (/ -1 x) in x
6.069 * [taylor]: Taking taylor expansion of -1 in x
6.069 * [backup-simplify]: Simplify -1 into -1
6.069 * [taylor]: Taking taylor expansion of x in x
6.070 * [backup-simplify]: Simplify 0 into 0
6.070 * [backup-simplify]: Simplify 1 into 1
6.073 * [backup-simplify]: Simplify (/ -1 1) into -1
6.074 * [backup-simplify]: Simplify (* 1/6 -1) into -1/6
6.074 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
6.075 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
6.075 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
6.075 * [backup-simplify]: Simplify -1/6 into -1/6
6.076 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
6.076 * [backup-simplify]: Simplify (+ (* 1/6 0) (* 0 -1)) into 0
6.077 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
6.077 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.078 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.078 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
6.079 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
6.079 * [backup-simplify]: Simplify 1/2 into 1/2
6.080 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.080 * [backup-simplify]: Simplify (+ (* 1/6 0) (+ (* 0 0) (* 0 -1))) into 0
6.080 * [backup-simplify]: Simplify (+ 0 0) into 0
6.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.082 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
6.083 * [backup-simplify]: Simplify (+ 0 -1) into -1
6.083 * [backup-simplify]: Simplify -1 into -1
6.083 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (/ 1 (- x)))) (+ (* 1/2 (pow (/ 1 (/ 1 (- x))) 2)) (* -1/6 (pow (/ 1 (/ 1 (- x))) 3)))) into (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
6.083 * * * [progress]: simplifying candidates
6.084 * [simplify]: Simplifying:
  (expm1 (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (log1p (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (* 1 (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (* (log E) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (* (log E) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (* 1 (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow E 1)
  (pow E (* (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x))) (cbrt (log (fma (* x x) (fma 1/6 x 1/2) x)))))
  (pow E (sqrt (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (pow E 1)
  (pow E (log (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))))
  (pow E (log (cbrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (pow E (log (sqrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (pow E (log (sqrt (fma (* x x) (fma 1/6 x 1/2) x))))
  (pow E (log 1))
  (pow E (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow (* (cbrt E) (cbrt E)) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow (cbrt E) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow (sqrt E) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow (sqrt E) (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow 1 (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (pow E (log (fma (* x x) (fma 1/6 x 1/2) x)))
  (log (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (exp (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (* (cbrt (pow E (log (fma (* x x) (fma 1/6 x 1/2) x)))) (cbrt (pow E (log (fma (* x x) (fma 1/6 x 1/2) x)))))
  (cbrt (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (* (* (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x)))) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (sqrt (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (sqrt (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))
  (pow E (/ (log (fma (* x x) (fma 1/6 x 1/2) x)) 2))
  (pow E (/ (log (fma (* x x) (fma 1/6 x 1/2) x)) 2))
  (expm1 (fma 1/6 x 1/2))
  (log1p (fma 1/6 x 1/2))
  (* 1/6 x)
  (log (fma 1/6 x 1/2))
  (exp (fma 1/6 x 1/2))
  (* (cbrt (fma 1/6 x 1/2)) (cbrt (fma 1/6 x 1/2)))
  (cbrt (fma 1/6 x 1/2))
  (* (* (fma 1/6 x 1/2) (fma 1/6 x 1/2)) (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (sqrt (fma 1/6 x 1/2))
  (expm1 (fma (* x x) (fma 1/6 x 1/2) x))
  (log1p (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* x x) (fma 1/6 x 1/2))
  (log (fma (* x x) (fma 1/6 x 1/2) x))
  (exp (fma (* x x) (fma 1/6 x 1/2) x))
  (* (cbrt (fma (* x x) (fma 1/6 x 1/2) x)) (cbrt (fma (* x x) (fma 1/6 x 1/2) x)))
  (cbrt (fma (* x x) (fma 1/6 x 1/2) x))
  (* (* (fma (* x x) (fma 1/6 x 1/2) x) (fma (* x x) (fma 1/6 x 1/2) x)) (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (sqrt (fma (* x x) (fma 1/6 x 1/2) x))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ (* 6 (/ (exp (- (log 1/6) (* 3 (log (/ 1 x))))) (pow x 2))) (+ (* 3 (/ (exp (- (log 1/6) (* 3 (log (/ 1 x))))) x)) (exp (- (log 1/6) (* 3 (log (/ 1 x)))))))
  (+ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) (+ (* 6 (/ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) (pow x 2))) (* 3 (/ (exp (- (log -1/6) (* 3 (log (/ -1 x))))) x))))
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ (* 1/6 x) 1/2)
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
  (+ x (+ (* 1/6 (pow x 3)) (* 1/2 (pow x 2))))
6.085 * * [simplify]: iteration 0: 100 enodes
6.108 * * [simplify]: iteration 1: 237 enodes
6.201 * * [simplify]: iteration 2: 798 enodes
7.575 * * [simplify]: iteration 3: 4729 enodes
8.525 * * [simplify]: iteration complete: 5000 enodes
8.525 * * [simplify]: Extracting #0: cost 41 inf + 0
8.526 * * [simplify]: Extracting #1: cost 405 inf + 2
8.528 * * [simplify]: Extracting #2: cost 1043 inf + 2132
8.538 * * [simplify]: Extracting #3: cost 910 inf + 46726
8.589 * * [simplify]: Extracting #4: cost 332 inf + 192360
8.636 * * [simplify]: Extracting #5: cost 41 inf + 336662
8.729 * * [simplify]: Extracting #6: cost 1 inf + 364124
8.802 * * [simplify]: Extracting #7: cost 0 inf + 364211
8.880 * [simplify]: Simplified to:
  (expm1 (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (log1p (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  E
  (pow E (* (cbrt (log (fma (fma x 1/6 1/2) (* x x) x))) (cbrt (log (fma (fma x 1/6 1/2) (* x x) x)))))
  (pow E (sqrt (log (fma (fma x 1/6 1/2) (* x x) x))))
  E
  (* (pow E (log (cbrt (fma (fma x 1/6 1/2) (* x x) x)))) (pow E (log (cbrt (fma (fma x 1/6 1/2) (* x x) x)))))
  (pow E (log (cbrt (fma (fma x 1/6 1/2) (* x x) x))))
  (pow E (log (sqrt (fma (fma x 1/6 1/2) (* x x) x))))
  (pow E (log (sqrt (fma (fma x 1/6 1/2) (* x x) x))))
  1
  (pow E (log (fma (fma x 1/6 1/2) (* x x) x)))
  (pow (* (cbrt E) (cbrt E)) (log (fma (fma x 1/6 1/2) (* x x) x)))
  (pow (cbrt E) (log (fma (fma x 1/6 1/2) (* x x) x)))
  (pow (sqrt E) (log (fma (fma x 1/6 1/2) (* x x) x)))
  (pow (sqrt E) (log (fma (fma x 1/6 1/2) (* x x) x)))
  1
  (pow E (log (fma (fma x 1/6 1/2) (* x x) x)))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  (exp (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (* (cbrt (pow E (log (fma (fma x 1/6 1/2) (* x x) x)))) (cbrt (pow E (log (fma (fma x 1/6 1/2) (* x x) x)))))
  (cbrt (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (* (* (* (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x)))) (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))) (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))) (* (* (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x)))) (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))) (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))))
  (sqrt (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (sqrt (pow E (log (fma (fma x 1/6 1/2) (* x x) x))))
  (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))
  (pow E (* 1/2 (log (fma (fma x 1/6 1/2) (* x x) x))))
  (expm1 (fma x 1/6 1/2))
  (log1p (fma x 1/6 1/2))
  (* 1/6 x)
  (log (fma x 1/6 1/2))
  (exp (fma x 1/6 1/2))
  (* (cbrt (fma x 1/6 1/2)) (cbrt (fma x 1/6 1/2)))
  (cbrt (fma x 1/6 1/2))
  (* (fma x 1/6 1/2) (* (fma x 1/6 1/2) (fma x 1/6 1/2)))
  (sqrt (fma x 1/6 1/2))
  (sqrt (fma x 1/6 1/2))
  (expm1 (fma (fma x 1/6 1/2) (* x x) x))
  (log1p (fma (fma x 1/6 1/2) (* x x) x))
  (* (* x x) (fma x 1/6 1/2))
  (log (fma (fma x 1/6 1/2) (* x x) x))
  (exp (fma (fma x 1/6 1/2) (* x x) x))
  (* (cbrt (fma (fma x 1/6 1/2) (* x x) x)) (cbrt (fma (fma x 1/6 1/2) (* x x) x)))
  (cbrt (fma (fma x 1/6 1/2) (* x x) x))
  (* (* (fma (fma x 1/6 1/2) (* x x) x) (fma (fma x 1/6 1/2) (* x x) x)) (fma (fma x 1/6 1/2) (* x x) x))
  (sqrt (fma (fma x 1/6 1/2) (* x x) x))
  (sqrt (fma (fma x 1/6 1/2) (* x x) x))
  (+ (* (* x x) (fma x 1/6 1/2)) x)
  (+ (fma (/ 6 x) (/ (/ 1/6 (* (/ 1 x) (* (/ 1 x) (/ 1 x)))) x) (/ 1/6 (* (/ 1 x) (* (/ 1 x) (/ 1 x))))) (/ 1/2 (* x (* (/ 1 x) (* (/ 1 x) (/ 1 x))))))
  (fma (/ 6 x) (/ (/ -1/6 (* (/ -1 x) (* (/ -1 x) (/ -1 x)))) x) (+ (* (/ 3 x) (/ -1/6 (* (/ -1 x) (* (/ -1 x) (/ -1 x))))) (/ -1/6 (* (/ -1 x) (* (/ -1 x) (/ -1 x))))))
  (fma x 1/6 1/2)
  (fma x 1/6 1/2)
  (fma x 1/6 1/2)
  (+ (* (* x x) (fma x 1/6 1/2)) x)
  (+ (* (* x x) (fma x 1/6 1/2)) x)
  (+ (* (* x x) (fma x 1/6 1/2)) x)
8.882 * * * [progress]: adding candidates to table
9.168 * [progress]: [Phase 3 of 3] Extracting.
9.168 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (fma (* x x) (fma 1/6 x 1/2) x))> #<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.169 * * * [regime-changes]: Trying 3 branch expressions: ((exp x) (- (exp x) 1.0) x)
9.169 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (fma (* x x) (fma 1/6 x 1/2) x))> #<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.224 * * * * [regimes]: Trying to branch on (exp x) from (#<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.267 * * * * [regimes]: Trying to branch on (- (exp x) 1.0) from (#<alt (λ (x) (fma (* x x) (fma 1/6 x 1/2) x))> #<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.322 * * * * [regimes]: Trying to branch on (- (exp x) 1.0) from (#<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.364 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (fma (* x x) (fma 1/6 x 1/2) x))> #<alt (λ (x) (- (exp x) 1.0))> #<alt (λ (x) (pow E (log (fma (* x x) (fma 1/6 x 1/2) x))))> #<alt (λ (x) (log (exp (- (exp x) 1.0))))>)
9.409 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
9.409 * [simplify]: Simplifying:
  (fma (* x x) (fma 1/6 x 1/2) x)
9.409 * * [simplify]: iteration 0: 6 enodes
9.409 * * [simplify]: iteration complete: 6 enodes
9.409 * * [simplify]: Extracting #0: cost 1 inf + 0
9.409 * * [simplify]: Extracting #1: cost 4 inf + 0
9.409 * * [simplify]: Extracting #2: cost 5 inf + 1
9.409 * * [simplify]: Extracting #3: cost 0 inf + 255
9.409 * [simplify]: Simplified to:
  (fma (* x x) (fma 1/6 x 1/2) x)
12.563 * [regime-testing]: Baseline error score: 0.3728739816039603
12.582 * [regime-testing]: Oracle error score: 0.052187464291366246
12.615 * [regime-testing]: End program error score: 0.3728739816039603
12.708 * [regime-testing]: Target error score: 0.38554958659166433