27.336 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.062 * * * [progress]: [2/2] Setting up program.
0.066 * [progress]: [Phase 2 of 3] Improving.
0.066 * [simplify]: Simplifying:
  (/ (exp x) (- (exp x) 1.0))
0.067 * * [simplify]: iteration 0: 5 enodes
0.069 * * [simplify]: iteration 1: 7 enodes
0.071 * * [simplify]: iteration 2: 8 enodes
0.073 * * [simplify]: iteration complete: 8 enodes
0.073 * * [simplify]: Extracting #0: cost 1 inf + 0
0.073 * * [simplify]: Extracting #1: cost 3 inf + 0
0.073 * * [simplify]: Extracting #2: cost 6 inf + 0
0.073 * * [simplify]: Extracting #3: cost 3 inf + 43
0.073 * * [simplify]: Extracting #4: cost 0 inf + 378
0.074 * [simplify]: Simplified to:
  (/ (exp x) (- (exp x) 1.0))
0.074 * * [progress]: iteration 1 / 4
0.074 * * * [progress]: picking best candidate
0.079 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (- (exp x) 1.0)))>
0.079 * * * [progress]: localizing error
0.091 * * * [progress]: generating rewritten candidates
0.091 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
0.106 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
0.147 * * * [progress]: generating series expansions
0.148 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
0.148 * [backup-simplify]: Simplify (- (exp x) 1.0) into (- (exp x) 1.0)
0.148 * [approximate]: Taking taylor expansion of (- (exp x) 1.0) in (x) around 0
0.148 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.148 * [taylor]: Taking taylor expansion of (exp x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (exp 0) into 1
0.148 * [taylor]: Taking taylor expansion of 1.0 in x
0.148 * [backup-simplify]: Simplify 1.0 into 1.0
0.148 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.148 * [taylor]: Taking taylor expansion of (exp x) in x
0.148 * [taylor]: Taking taylor expansion of x in x
0.148 * [backup-simplify]: Simplify 0 into 0
0.148 * [backup-simplify]: Simplify 1 into 1
0.148 * [backup-simplify]: Simplify (exp 0) into 1
0.148 * [taylor]: Taking taylor expansion of 1.0 in x
0.148 * [backup-simplify]: Simplify 1.0 into 1.0
0.149 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.150 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.150 * [backup-simplify]: Simplify 0 into 0
0.151 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.152 * [backup-simplify]: Simplify (- 0) into 0
0.152 * [backup-simplify]: Simplify (+ 1 0) into 1
0.152 * [backup-simplify]: Simplify 1 into 1
0.154 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.154 * [backup-simplify]: Simplify (- 0) into 0
0.154 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.154 * [backup-simplify]: Simplify 1/2 into 1/2
0.157 * [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.157 * [backup-simplify]: Simplify (- 0) into 0
0.157 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.158 * [backup-simplify]: Simplify 1/6 into 1/6
0.158 * [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.159 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.159 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in (x) around 0
0.159 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.159 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.159 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.159 * [taylor]: Taking taylor expansion of x in x
0.159 * [backup-simplify]: Simplify 0 into 0
0.159 * [backup-simplify]: Simplify 1 into 1
0.159 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.160 * [taylor]: Taking taylor expansion of 1.0 in x
0.160 * [backup-simplify]: Simplify 1.0 into 1.0
0.160 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.160 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.160 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.160 * [taylor]: Taking taylor expansion of x in x
0.160 * [backup-simplify]: Simplify 0 into 0
0.160 * [backup-simplify]: Simplify 1 into 1
0.160 * [backup-simplify]: Simplify (/ 1 1) into 1
0.160 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.160 * [taylor]: Taking taylor expansion of 1.0 in x
0.160 * [backup-simplify]: Simplify 1.0 into 1.0
0.161 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.161 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.161 * [backup-simplify]: Simplify (- (exp (/ 1 x)) 1.0) into (- (exp (/ 1 x)) 1.0)
0.161 * [backup-simplify]: Simplify (- 0) into 0
0.162 * [backup-simplify]: Simplify (+ 0 0) into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.162 * [backup-simplify]: Simplify (- 0) into 0
0.162 * [backup-simplify]: Simplify (+ 0 0) into 0
0.162 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify (- 0) into 0
0.163 * [backup-simplify]: Simplify (+ 0 0) into 0
0.163 * [backup-simplify]: Simplify 0 into 0
0.163 * [backup-simplify]: Simplify (- 0) into 0
0.164 * [backup-simplify]: Simplify (+ 0 0) into 0
0.164 * [backup-simplify]: Simplify 0 into 0
0.164 * [backup-simplify]: Simplify (- 0) into 0
0.164 * [backup-simplify]: Simplify (+ 0 0) into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (- 0) into 0
0.165 * [backup-simplify]: Simplify (+ 0 0) into 0
0.165 * [backup-simplify]: Simplify 0 into 0
0.165 * [backup-simplify]: Simplify (- (exp (/ 1 (/ 1 x))) 1.0) into (- (exp x) 1.0)
0.165 * [backup-simplify]: Simplify (- (exp (/ 1 (- x))) 1.0) into (- (exp (/ -1 x)) 1.0)
0.166 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in (x) around 0
0.166 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.166 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.166 * [taylor]: Taking taylor expansion of -1 in x
0.166 * [backup-simplify]: Simplify -1 into -1
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.166 * [backup-simplify]: Simplify (/ -1 1) into -1
0.166 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.166 * [taylor]: Taking taylor expansion of 1.0 in x
0.166 * [backup-simplify]: Simplify 1.0 into 1.0
0.166 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.166 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.166 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.166 * [taylor]: Taking taylor expansion of -1 in x
0.166 * [backup-simplify]: Simplify -1 into -1
0.166 * [taylor]: Taking taylor expansion of x in x
0.166 * [backup-simplify]: Simplify 0 into 0
0.166 * [backup-simplify]: Simplify 1 into 1
0.167 * [backup-simplify]: Simplify (/ -1 1) into -1
0.167 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.167 * [taylor]: Taking taylor expansion of 1.0 in x
0.167 * [backup-simplify]: Simplify 1.0 into 1.0
0.167 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.168 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.168 * [backup-simplify]: Simplify (- (exp (/ -1 x)) 1.0) into (- (exp (/ -1 x)) 1.0)
0.168 * [backup-simplify]: Simplify (- 0) into 0
0.168 * [backup-simplify]: Simplify (+ 0 0) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.169 * [backup-simplify]: Simplify (- 0) into 0
0.169 * [backup-simplify]: Simplify (+ 0 0) into 0
0.169 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (- 0) into 0
0.170 * [backup-simplify]: Simplify (+ 0 0) into 0
0.170 * [backup-simplify]: Simplify 0 into 0
0.170 * [backup-simplify]: Simplify (- 0) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.171 * [backup-simplify]: Simplify 0 into 0
0.171 * [backup-simplify]: Simplify (- 0) into 0
0.171 * [backup-simplify]: Simplify (+ 0 0) into 0
0.171 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify (- 0) into 0
0.172 * [backup-simplify]: Simplify (+ 0 0) into 0
0.172 * [backup-simplify]: Simplify 0 into 0
0.172 * [backup-simplify]: Simplify (- (exp (/ -1 (/ 1 (- x)))) 1.0) into (- (exp x) 1.0)
0.172 * * * * [progress]: [ 2 / 2 ] generating series at (2)
0.173 * [backup-simplify]: Simplify (/ (exp x) (- (exp x) 1.0)) into (/ (exp x) (- (exp x) 1.0))
0.173 * [approximate]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in (x) around 0
0.173 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.173 * [taylor]: Taking taylor expansion of (exp x) in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (exp 0) into 1
0.173 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.173 * [taylor]: Taking taylor expansion of (exp x) in x
0.173 * [taylor]: Taking taylor expansion of x in x
0.173 * [backup-simplify]: Simplify 0 into 0
0.173 * [backup-simplify]: Simplify 1 into 1
0.173 * [backup-simplify]: Simplify (exp 0) into 1
0.173 * [taylor]: Taking taylor expansion of 1.0 in x
0.173 * [backup-simplify]: Simplify 1.0 into 1.0
0.173 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.174 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.175 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.175 * [backup-simplify]: Simplify (- 0) into 0
0.176 * [backup-simplify]: Simplify (+ 1 0) into 1
0.176 * [backup-simplify]: Simplify (/ 1 1) into 1
0.176 * [taylor]: Taking taylor expansion of (/ (exp x) (- (exp x) 1.0)) in x
0.176 * [taylor]: Taking taylor expansion of (exp x) in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (exp 0) into 1
0.176 * [taylor]: Taking taylor expansion of (- (exp x) 1.0) in x
0.176 * [taylor]: Taking taylor expansion of (exp x) in x
0.176 * [taylor]: Taking taylor expansion of x in x
0.176 * [backup-simplify]: Simplify 0 into 0
0.176 * [backup-simplify]: Simplify 1 into 1
0.176 * [backup-simplify]: Simplify (exp 0) into 1
0.176 * [taylor]: Taking taylor expansion of 1.0 in x
0.176 * [backup-simplify]: Simplify 1.0 into 1.0
0.177 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.177 * [backup-simplify]: Simplify (+ 1 (- 1.0)) into 0
0.178 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.179 * [backup-simplify]: Simplify (- 0) into 0
0.179 * [backup-simplify]: Simplify (+ 1 0) into 1
0.179 * [backup-simplify]: Simplify (/ 1 1) into 1
0.179 * [backup-simplify]: Simplify 1 into 1
0.180 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
0.182 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.182 * [backup-simplify]: Simplify (- 0) into 0
0.182 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
0.183 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
0.183 * [backup-simplify]: Simplify 1/2 into 1/2
0.184 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
0.186 * [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.187 * [backup-simplify]: Simplify (- 0) into 0
0.187 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
0.188 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
0.188 * [backup-simplify]: Simplify 1/12 into 1/12
0.188 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
0.189 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0))
0.189 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in (x) around 0
0.189 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.189 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.189 * [backup-simplify]: Simplify 0 into 0
0.189 * [backup-simplify]: Simplify 1 into 1
0.189 * [backup-simplify]: Simplify (/ 1 1) into 1
0.189 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.189 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.189 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.189 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.189 * [taylor]: Taking taylor expansion of x in x
0.190 * [backup-simplify]: Simplify 0 into 0
0.190 * [backup-simplify]: Simplify 1 into 1
0.190 * [backup-simplify]: Simplify (/ 1 1) into 1
0.190 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.190 * [taylor]: Taking taylor expansion of 1.0 in x
0.190 * [backup-simplify]: Simplify 1.0 into 1.0
0.190 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.191 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.191 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0))
0.191 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) in x
0.191 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.191 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.191 * [taylor]: Taking taylor expansion of x in x
0.191 * [backup-simplify]: Simplify 0 into 0
0.191 * [backup-simplify]: Simplify 1 into 1
0.191 * [backup-simplify]: Simplify (/ 1 1) into 1
0.191 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.192 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 1.0) in x
0.192 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
0.192 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.192 * [taylor]: Taking taylor expansion of x in x
0.192 * [backup-simplify]: Simplify 0 into 0
0.192 * [backup-simplify]: Simplify 1 into 1
0.192 * [backup-simplify]: Simplify (/ 1 1) into 1
0.192 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
0.192 * [taylor]: Taking taylor expansion of 1.0 in x
0.192 * [backup-simplify]: Simplify 1.0 into 1.0
0.192 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.193 * [backup-simplify]: Simplify (+ (exp (/ 1 x)) (- 1.0)) into (- (exp (/ 1 x)) 1.0)
0.193 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0))
0.193 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) into (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0))
0.194 * [backup-simplify]: Simplify (- 0) into 0
0.194 * [backup-simplify]: Simplify (+ 0 0) into 0
0.194 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.194 * [backup-simplify]: Simplify 0 into 0
0.195 * [backup-simplify]: Simplify (- 0) into 0
0.195 * [backup-simplify]: Simplify (+ 0 0) into 0
0.195 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.195 * [backup-simplify]: Simplify 0 into 0
0.196 * [backup-simplify]: Simplify (- 0) into 0
0.196 * [backup-simplify]: Simplify (+ 0 0) into 0
0.197 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.197 * [backup-simplify]: Simplify 0 into 0
0.197 * [backup-simplify]: Simplify (- 0) into 0
0.197 * [backup-simplify]: Simplify (+ 0 0) into 0
0.198 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.198 * [backup-simplify]: Simplify 0 into 0
0.199 * [backup-simplify]: Simplify (- 0) into 0
0.199 * [backup-simplify]: Simplify (+ 0 0) into 0
0.200 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.200 * [backup-simplify]: Simplify 0 into 0
0.200 * [backup-simplify]: Simplify (- 0) into 0
0.200 * [backup-simplify]: Simplify (+ 0 0) into 0
0.201 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ 1 x)) 1.0)) (+ (* (/ (exp (/ 1 x)) (- (exp (/ 1 x)) 1.0)) (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ 1 x)) 1.0))))) into 0
0.201 * [backup-simplify]: Simplify 0 into 0
0.201 * [backup-simplify]: Simplify (/ (exp (/ 1 (/ 1 x))) (- (exp (/ 1 (/ 1 x))) 1.0)) into (/ (exp x) (- (exp x) 1.0))
0.202 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (- (exp (/ 1 (- x))) 1.0)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0))
0.202 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in (x) around 0
0.202 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.202 * [taylor]: Taking taylor expansion of -1 in x
0.202 * [backup-simplify]: Simplify -1 into -1
0.202 * [taylor]: Taking taylor expansion of x in x
0.202 * [backup-simplify]: Simplify 0 into 0
0.202 * [backup-simplify]: Simplify 1 into 1
0.202 * [backup-simplify]: Simplify (/ -1 1) into -1
0.202 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.202 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.202 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.202 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.203 * [taylor]: Taking taylor expansion of -1 in x
0.203 * [backup-simplify]: Simplify -1 into -1
0.203 * [taylor]: Taking taylor expansion of x in x
0.203 * [backup-simplify]: Simplify 0 into 0
0.203 * [backup-simplify]: Simplify 1 into 1
0.203 * [backup-simplify]: Simplify (/ -1 1) into -1
0.203 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.203 * [taylor]: Taking taylor expansion of 1.0 in x
0.203 * [backup-simplify]: Simplify 1.0 into 1.0
0.203 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.204 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.204 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0))
0.204 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) in x
0.204 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.204 * [taylor]: Taking taylor expansion of -1 in x
0.204 * [backup-simplify]: Simplify -1 into -1
0.204 * [taylor]: Taking taylor expansion of x in x
0.204 * [backup-simplify]: Simplify 0 into 0
0.204 * [backup-simplify]: Simplify 1 into 1
0.205 * [backup-simplify]: Simplify (/ -1 1) into -1
0.205 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.205 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 1.0) in x
0.205 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
0.205 * [taylor]: Taking taylor expansion of (/ -1 x) in x
0.205 * [taylor]: Taking taylor expansion of -1 in x
0.205 * [backup-simplify]: Simplify -1 into -1
0.205 * [taylor]: Taking taylor expansion of x in x
0.205 * [backup-simplify]: Simplify 0 into 0
0.205 * [backup-simplify]: Simplify 1 into 1
0.205 * [backup-simplify]: Simplify (/ -1 1) into -1
0.205 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
0.205 * [taylor]: Taking taylor expansion of 1.0 in x
0.205 * [backup-simplify]: Simplify 1.0 into 1.0
0.206 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.206 * [backup-simplify]: Simplify (+ (exp (/ -1 x)) (- 1.0)) into (- (exp (/ -1 x)) 1.0)
0.206 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0))
0.206 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) into (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0))
0.207 * [backup-simplify]: Simplify (- 0) into 0
0.207 * [backup-simplify]: Simplify (+ 0 0) into 0
0.207 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.207 * [backup-simplify]: Simplify 0 into 0
0.208 * [backup-simplify]: Simplify (- 0) into 0
0.208 * [backup-simplify]: Simplify (+ 0 0) into 0
0.209 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.209 * [backup-simplify]: Simplify 0 into 0
0.209 * [backup-simplify]: Simplify (- 0) into 0
0.210 * [backup-simplify]: Simplify (+ 0 0) into 0
0.210 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.210 * [backup-simplify]: Simplify 0 into 0
0.211 * [backup-simplify]: Simplify (- 0) into 0
0.211 * [backup-simplify]: Simplify (+ 0 0) into 0
0.212 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.212 * [backup-simplify]: Simplify 0 into 0
0.212 * [backup-simplify]: Simplify (- 0) into 0
0.212 * [backup-simplify]: Simplify (+ 0 0) into 0
0.213 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.213 * [backup-simplify]: Simplify 0 into 0
0.213 * [backup-simplify]: Simplify (- 0) into 0
0.214 * [backup-simplify]: Simplify (+ 0 0) into 0
0.214 * [backup-simplify]: Simplify (- (/ 0 (- (exp (/ -1 x)) 1.0)) (+ (* (/ (exp (/ -1 x)) (- (exp (/ -1 x)) 1.0)) (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))) (* 0 (/ 0 (- (exp (/ -1 x)) 1.0))))) into 0
0.215 * [backup-simplify]: Simplify 0 into 0
0.215 * [backup-simplify]: Simplify (/ (exp (/ -1 (/ 1 (- x)))) (- (exp (/ -1 (/ 1 (- x)))) 1.0)) into (/ (exp x) (- (exp x) 1.0))
0.215 * * * [progress]: simplifying candidates
0.216 * [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)
  (expm1 (/ (exp x) (- (exp x) 1.0)))
  (log1p (/ (exp x) (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (log (/ (exp x) (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0)))
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (- (exp x))
  (- (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (- (exp x) 1.0)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  (/ 1 1)
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (/ (exp x) 1)
  (/ (exp x) (+ (sqrt (exp x)) (sqrt 1.0)))
  (/ (exp x) 1)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (- (pow (exp x) 3) (pow 1.0 3)))
  (/ (exp x) (- (* (exp x) (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)
  (+ (* 1/12 x) (+ (/ 1 x) 1/2))
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
0.218 * * [simplify]: iteration 0: 117 enodes
0.251 * * [simplify]: iteration 1: 252 enodes
0.359 * * [simplify]: iteration 2: 672 enodes
0.750 * * [simplify]: iteration 3: 2050 enodes
1.438 * * [simplify]: iteration complete: 5001 enodes
1.438 * * [simplify]: Extracting #0: cost 61 inf + 0
1.441 * * [simplify]: Extracting #1: cost 919 inf + 1
1.455 * * [simplify]: Extracting #2: cost 1581 inf + 40631
1.505 * * [simplify]: Extracting #3: cost 637 inf + 261085
1.582 * * [simplify]: Extracting #4: cost 67 inf + 400345
1.642 * * [simplify]: Extracting #5: cost 3 inf + 419757
1.704 * * [simplify]: Extracting #6: cost 0 inf + 421026
1.780 * [simplify]: Simplified to:
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (- (exp x) 1.0)
  (fma 1.0 -1 1.0)
  (expm1 (- (exp x) 1.0))
  (log1p (- (exp x) 1.0))
  (- 1.0)
  (- 1.0)
  (- 1.0)
  (exp (- (exp x) 1.0))
  (log (- (exp x) 1.0))
  (exp (- (exp x) 1.0))
  (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0)))
  (cbrt (- (exp x) 1.0))
  (* (* (- (exp x) 1.0) (- (exp x) 1.0)) (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (sqrt (- (exp x) 1.0))
  (- (exp (fma 2 x x)) (* (* 1.0 1.0) 1.0))
  (fma (exp x) (exp x) (* (+ (exp x) 1.0) 1.0))
  (- 1.0)
  (* (+ (exp x) 1.0) (- (exp x) 1.0))
  (+ (exp x) 1.0)
  (+ (sqrt 1.0) (sqrt (exp x)))
  (- (sqrt (exp x)) (sqrt 1.0))
  (- (exp x) 1.0)
  (- 1.0)
  (expm1 (/ (exp x) (- (exp x) 1.0)))
  (log1p (/ (exp x) (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (- x (log (- (exp x) 1.0)))
  (exp (/ (exp x) (- (exp x) 1.0)))
  (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0)))
  (* (cbrt (/ (exp x) (- (exp x) 1.0))) (cbrt (/ (exp x) (- (exp x) 1.0))))
  (cbrt (/ (exp x) (- (exp x) 1.0)))
  (* (* (/ (exp x) (- (exp x) 1.0)) (/ (exp x) (- (exp x) 1.0))) (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (sqrt (/ (exp x) (- (exp x) 1.0)))
  (- (exp x))
  (- (- (exp x) 1.0))
  (* (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))) (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0))))
  (/ (cbrt (exp x)) (cbrt (- (exp x) 1.0)))
  (* (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0))) (cbrt (exp x)))
  (/ (cbrt (exp x)) (sqrt (- (exp x) 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (* (/ (cbrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x)))) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (sqrt (exp x)) (cbrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (/ (sqrt (exp x)) (sqrt (- (exp x) 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ (sqrt (exp x)) (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (sqrt (exp x)) (- (sqrt (exp x)) (sqrt 1.0)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (- (exp x) 1.0))
  (/ 1 (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (cbrt (- (exp x) 1.0)))
  (/ 1 (sqrt (- (exp x) 1.0)))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (+ (sqrt 1.0) (sqrt (exp x))))
  (/ (exp x) (- (sqrt (exp x)) (sqrt 1.0)))
  1
  (/ (exp x) (- (exp x) 1.0))
  (/ 1 (- (exp x) 1.0))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (* (cbrt (- (exp x) 1.0)) (cbrt (- (exp x) 1.0))))
  (/ (exp x) (sqrt (- (exp x) 1.0)))
  (exp x)
  (/ (exp x) (+ (sqrt 1.0) (sqrt (exp x))))
  (exp x)
  (/ (- (exp x) 1.0) (cbrt (exp x)))
  (/ (- (exp x) 1.0) (sqrt (exp x)))
  (/ (- (exp x) 1.0) (exp x))
  (/ (exp x) (- (* (* (exp x) (exp x)) (exp x)) (* (* 1.0 (sqrt 1.0)) (* 1.0 (sqrt 1.0)))))
  (/ (/ (exp x) (+ (exp x) 1.0)) (- (exp x) 1.0))
  (fma (* x x) (fma x 1/6 1/2) x)
  (- (exp x) 1.0)
  (- (exp x) 1.0)
  (+ (fma x 1/12 (/ 1 x)) 1/2)
  (/ (exp x) (- (exp x) 1.0))
  (/ (exp x) (- (exp x) 1.0))
1.786 * * * [progress]: adding candidates to table
2.112 * * [progress]: iteration 2 / 4
2.112 * * * [progress]: picking best candidate
2.118 * * * * [pick]: Picked  #<alt (λ (x) (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))>
2.118 * * * [progress]: localizing error
2.132 * * * [progress]: generating rewritten candidates
2.132 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 2)
2.133 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2)
2.133 * * * * [progress]: [ 3 / 3 ] rewriting at (2)
2.139 * * * [progress]: generating series expansions
2.139 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 2)
2.139 * [backup-simplify]: Simplify (fma x 1/6 1/2) into (fma x 1/6 1/2)
2.139 * [approximate]: Taking taylor expansion of (fma x 1/6 1/2) in (x) around 0
2.139 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.139 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.139 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.139 * [taylor]: Taking taylor expansion of x in x
2.139 * [backup-simplify]: Simplify 0 into 0
2.139 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of 1/6 in x
2.140 * [backup-simplify]: Simplify 1/6 into 1/6
2.140 * [taylor]: Taking taylor expansion of 1/2 in x
2.140 * [backup-simplify]: Simplify 1/2 into 1/2
2.140 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.140 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.140 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.140 * [taylor]: Taking taylor expansion of x in x
2.140 * [backup-simplify]: Simplify 0 into 0
2.140 * [backup-simplify]: Simplify 1 into 1
2.140 * [taylor]: Taking taylor expansion of 1/6 in x
2.140 * [backup-simplify]: Simplify 1/6 into 1/6
2.140 * [taylor]: Taking taylor expansion of 1/2 in x
2.140 * [backup-simplify]: Simplify 1/2 into 1/2
2.140 * [backup-simplify]: Simplify (* 0 1/6) into 0
2.141 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.141 * [backup-simplify]: Simplify 1/2 into 1/2
2.142 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6
2.142 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.142 * [backup-simplify]: Simplify 1/6 into 1/6
2.143 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/6))) into 0
2.143 * [backup-simplify]: Simplify (+ 0 0) into 0
2.144 * [backup-simplify]: Simplify 0 into 0
2.145 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/6)))) into 0
2.145 * [backup-simplify]: Simplify (+ 0 0) into 0
2.145 * [backup-simplify]: Simplify 0 into 0
2.146 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
2.147 * [backup-simplify]: Simplify (+ 0 0) into 0
2.147 * [backup-simplify]: Simplify 0 into 0
2.148 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
2.149 * [backup-simplify]: Simplify (+ 0 0) into 0
2.149 * [backup-simplify]: Simplify 0 into 0
2.150 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
2.151 * [backup-simplify]: Simplify (+ 0 0) into 0
2.151 * [backup-simplify]: Simplify 0 into 0
2.152 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
2.153 * [backup-simplify]: Simplify (+ 0 0) into 0
2.153 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify (+ (* 1/6 x) 1/2) into (+ (* 1/6 x) 1/2)
2.153 * [backup-simplify]: Simplify (fma (/ 1 x) 1/6 1/2) into (fma (/ 1 x) 1/6 1/2)
2.153 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in (x) around 0
2.153 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.153 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.153 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.153 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.153 * [taylor]: Taking taylor expansion of x in x
2.153 * [backup-simplify]: Simplify 0 into 0
2.153 * [backup-simplify]: Simplify 1 into 1
2.154 * [backup-simplify]: Simplify (/ 1 1) into 1
2.154 * [taylor]: Taking taylor expansion of 1/6 in x
2.154 * [backup-simplify]: Simplify 1/6 into 1/6
2.154 * [taylor]: Taking taylor expansion of 1/2 in x
2.154 * [backup-simplify]: Simplify 1/2 into 1/2
2.154 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.154 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.154 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.154 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.154 * [taylor]: Taking taylor expansion of x in x
2.154 * [backup-simplify]: Simplify 0 into 0
2.154 * [backup-simplify]: Simplify 1 into 1
2.155 * [backup-simplify]: Simplify (/ 1 1) into 1
2.155 * [taylor]: Taking taylor expansion of 1/6 in x
2.155 * [backup-simplify]: Simplify 1/6 into 1/6
2.155 * [taylor]: Taking taylor expansion of 1/2 in x
2.155 * [backup-simplify]: Simplify 1/2 into 1/2
2.155 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.156 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.156 * [backup-simplify]: Simplify 1/6 into 1/6
2.156 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.157 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0
2.157 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.157 * [backup-simplify]: Simplify 1/2 into 1/2
2.158 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.158 * [backup-simplify]: Simplify (+ 0 0) into 0
2.158 * [backup-simplify]: Simplify 0 into 0
2.159 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0
2.160 * [backup-simplify]: Simplify (+ 0 0) into 0
2.160 * [backup-simplify]: Simplify 0 into 0
2.160 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
2.161 * [backup-simplify]: Simplify (+ 0 0) into 0
2.161 * [backup-simplify]: Simplify 0 into 0
2.162 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.163 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
2.163 * [backup-simplify]: Simplify (+ 0 0) into 0
2.163 * [backup-simplify]: Simplify 0 into 0
2.164 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
2.165 * [backup-simplify]: Simplify (+ 0 0) into 0
2.165 * [backup-simplify]: Simplify 0 into 0
2.165 * [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.166 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
2.166 * [backup-simplify]: Simplify (+ 0 0) into 0
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify (+ 1/2 (* 1/6 (/ 1 (/ 1 x)))) into (+ (* 1/6 x) 1/2)
2.167 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 1/6 1/2) into (fma (/ -1 x) 1/6 1/2)
2.167 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in (x) around 0
2.167 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.167 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.167 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.167 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.167 * [taylor]: Taking taylor expansion of -1 in x
2.167 * [backup-simplify]: Simplify -1 into -1
2.167 * [taylor]: Taking taylor expansion of x in x
2.167 * [backup-simplify]: Simplify 0 into 0
2.167 * [backup-simplify]: Simplify 1 into 1
2.167 * [backup-simplify]: Simplify (/ -1 1) into -1
2.167 * [taylor]: Taking taylor expansion of 1/6 in x
2.167 * [backup-simplify]: Simplify 1/6 into 1/6
2.167 * [taylor]: Taking taylor expansion of 1/2 in x
2.167 * [backup-simplify]: Simplify 1/2 into 1/2
2.167 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.167 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.167 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.167 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.167 * [taylor]: Taking taylor expansion of -1 in x
2.168 * [backup-simplify]: Simplify -1 into -1
2.168 * [taylor]: Taking taylor expansion of x in x
2.168 * [backup-simplify]: Simplify 0 into 0
2.168 * [backup-simplify]: Simplify 1 into 1
2.168 * [backup-simplify]: Simplify (/ -1 1) into -1
2.168 * [taylor]: Taking taylor expansion of 1/6 in x
2.168 * [backup-simplify]: Simplify 1/6 into 1/6
2.168 * [taylor]: Taking taylor expansion of 1/2 in x
2.168 * [backup-simplify]: Simplify 1/2 into 1/2
2.168 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
2.168 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.168 * [backup-simplify]: Simplify -1/6 into -1/6
2.169 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.169 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0
2.170 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.170 * [backup-simplify]: Simplify 1/2 into 1/2
2.170 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.171 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.171 * [backup-simplify]: Simplify (+ 0 0) into 0
2.171 * [backup-simplify]: Simplify 0 into 0
2.172 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.172 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))) into 0
2.173 * [backup-simplify]: Simplify (+ 0 0) into 0
2.173 * [backup-simplify]: Simplify 0 into 0
2.173 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.174 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))) into 0
2.174 * [backup-simplify]: Simplify (+ 0 0) into 0
2.174 * [backup-simplify]: Simplify 0 into 0
2.179 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.181 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))) into 0
2.181 * [backup-simplify]: Simplify (+ 0 0) into 0
2.181 * [backup-simplify]: Simplify 0 into 0
2.182 * [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.183 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6))))))) into 0
2.183 * [backup-simplify]: Simplify (+ 0 0) into 0
2.183 * [backup-simplify]: Simplify 0 into 0
2.184 * [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.185 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/6)))))))) into 0
2.185 * [backup-simplify]: Simplify (+ 0 0) into 0
2.185 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify (+ 1/2 (* -1/6 (/ 1 (/ 1 (- x))))) into (+ (* 1/6 x) 1/2)
2.186 * * * * [progress]: [ 2 / 3 ] generating series at (2 2)
2.186 * [backup-simplify]: Simplify (fma (* x x) (fma x 1/6 1/2) x) into (fma (pow x 2) (fma x 1/6 1/2) x)
2.186 * [approximate]: Taking taylor expansion of (fma (pow x 2) (fma x 1/6 1/2) x) in (x) around 0
2.186 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma x 1/6 1/2) x) in x
2.186 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma x 1/6 1/2)) x)
2.186 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma x 1/6 1/2)) in x
2.186 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.186 * [taylor]: Taking taylor expansion of x in x
2.186 * [backup-simplify]: Simplify 0 into 0
2.186 * [backup-simplify]: Simplify 1 into 1
2.186 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.187 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.187 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.187 * [taylor]: Taking taylor expansion of x in x
2.187 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [taylor]: Taking taylor expansion of 1/6 in x
2.187 * [backup-simplify]: Simplify 1/6 into 1/6
2.187 * [taylor]: Taking taylor expansion of 1/2 in x
2.187 * [backup-simplify]: Simplify 1/2 into 1/2
2.187 * [taylor]: Taking taylor expansion of x in x
2.187 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma x 1/6 1/2) x) in x
2.187 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma x 1/6 1/2)) x)
2.187 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma x 1/6 1/2)) in x
2.187 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.187 * [taylor]: Taking taylor expansion of x in x
2.187 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.187 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.187 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.187 * [taylor]: Taking taylor expansion of x in x
2.187 * [backup-simplify]: Simplify 0 into 0
2.187 * [backup-simplify]: Simplify 1 into 1
2.187 * [taylor]: Taking taylor expansion of 1/6 in x
2.187 * [backup-simplify]: Simplify 1/6 into 1/6
2.188 * [taylor]: Taking taylor expansion of 1/2 in x
2.188 * [backup-simplify]: Simplify 1/2 into 1/2
2.188 * [taylor]: Taking taylor expansion of x in x
2.188 * [backup-simplify]: Simplify 0 into 0
2.188 * [backup-simplify]: Simplify 1 into 1
2.188 * [backup-simplify]: Simplify (+ 0 0) into 0
2.188 * [backup-simplify]: Simplify 0 into 0
2.189 * [backup-simplify]: Simplify (+ 0 1) into 1
2.189 * [backup-simplify]: Simplify 1 into 1
2.189 * [backup-simplify]: Simplify (* 1 1) into 1
2.189 * [backup-simplify]: Simplify (* 0 1/6) into 0
2.190 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.191 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
2.191 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.191 * [backup-simplify]: Simplify 1/2 into 1/2
2.192 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6
2.192 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.194 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
2.194 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.194 * [backup-simplify]: Simplify 1/6 into 1/6
2.195 * [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.195 * [backup-simplify]: Simplify (fma (* (/ 1 x) (/ 1 x)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) into (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x))
2.195 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) in (x) around 0
2.195 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) in x
2.195 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) (/ 1 x))
2.195 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) in x
2.195 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.195 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.195 * [taylor]: Taking taylor expansion of x in x
2.195 * [backup-simplify]: Simplify 0 into 0
2.195 * [backup-simplify]: Simplify 1 into 1
2.196 * [backup-simplify]: Simplify (* 1 1) into 1
2.196 * [backup-simplify]: Simplify (/ 1 1) into 1
2.196 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.196 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.196 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.196 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.196 * [taylor]: Taking taylor expansion of x in x
2.196 * [backup-simplify]: Simplify 0 into 0
2.196 * [backup-simplify]: Simplify 1 into 1
2.197 * [backup-simplify]: Simplify (/ 1 1) into 1
2.197 * [taylor]: Taking taylor expansion of 1/6 in x
2.197 * [backup-simplify]: Simplify 1/6 into 1/6
2.197 * [taylor]: Taking taylor expansion of 1/2 in x
2.197 * [backup-simplify]: Simplify 1/2 into 1/2
2.197 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.197 * [taylor]: Taking taylor expansion of x in x
2.197 * [backup-simplify]: Simplify 0 into 0
2.197 * [backup-simplify]: Simplify 1 into 1
2.197 * [backup-simplify]: Simplify (/ 1 1) into 1
2.197 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) in x
2.198 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) (/ 1 x))
2.198 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) in x
2.198 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.198 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.198 * [taylor]: Taking taylor expansion of x in x
2.198 * [backup-simplify]: Simplify 0 into 0
2.198 * [backup-simplify]: Simplify 1 into 1
2.198 * [backup-simplify]: Simplify (* 1 1) into 1
2.198 * [backup-simplify]: Simplify (/ 1 1) into 1
2.199 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.199 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.199 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.199 * [taylor]: Taking taylor expansion of x in x
2.199 * [backup-simplify]: Simplify 0 into 0
2.199 * [backup-simplify]: Simplify 1 into 1
2.199 * [backup-simplify]: Simplify (/ 1 1) into 1
2.199 * [taylor]: Taking taylor expansion of 1/6 in x
2.199 * [backup-simplify]: Simplify 1/6 into 1/6
2.199 * [taylor]: Taking taylor expansion of 1/2 in x
2.199 * [backup-simplify]: Simplify 1/2 into 1/2
2.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.199 * [taylor]: Taking taylor expansion of x in x
2.199 * [backup-simplify]: Simplify 0 into 0
2.199 * [backup-simplify]: Simplify 1 into 1
2.200 * [backup-simplify]: Simplify (/ 1 1) into 1
2.200 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.201 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.201 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.202 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.202 * [backup-simplify]: Simplify 1/6 into 1/6
2.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.203 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0
2.204 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.205 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.206 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
2.207 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.207 * [backup-simplify]: Simplify 1/2 into 1/2
2.208 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.209 * [backup-simplify]: Simplify (+ 0 0) into 0
2.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.211 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.212 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
2.212 * [backup-simplify]: Simplify (+ 0 1) into 1
2.213 * [backup-simplify]: Simplify 1 into 1
2.213 * [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.214 * [backup-simplify]: Simplify (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma (/ 1 (- x)) 1/6 1/2) (/ 1 (- x))) into (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x))
2.214 * [approximate]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)) in (x) around 0
2.214 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)) in x
2.214 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) (/ -1 x))
2.214 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) in x
2.214 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.214 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.214 * [taylor]: Taking taylor expansion of x in x
2.214 * [backup-simplify]: Simplify 0 into 0
2.214 * [backup-simplify]: Simplify 1 into 1
2.214 * [backup-simplify]: Simplify (* 1 1) into 1
2.215 * [backup-simplify]: Simplify (/ 1 1) into 1
2.215 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.215 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.215 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.215 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.215 * [taylor]: Taking taylor expansion of -1 in x
2.215 * [backup-simplify]: Simplify -1 into -1
2.215 * [taylor]: Taking taylor expansion of x in x
2.215 * [backup-simplify]: Simplify 0 into 0
2.215 * [backup-simplify]: Simplify 1 into 1
2.216 * [backup-simplify]: Simplify (/ -1 1) into -1
2.216 * [taylor]: Taking taylor expansion of 1/6 in x
2.216 * [backup-simplify]: Simplify 1/6 into 1/6
2.216 * [taylor]: Taking taylor expansion of 1/2 in x
2.216 * [backup-simplify]: Simplify 1/2 into 1/2
2.216 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.216 * [taylor]: Taking taylor expansion of -1 in x
2.216 * [backup-simplify]: Simplify -1 into -1
2.216 * [taylor]: Taking taylor expansion of x in x
2.216 * [backup-simplify]: Simplify 0 into 0
2.216 * [backup-simplify]: Simplify 1 into 1
2.216 * [backup-simplify]: Simplify (/ -1 1) into -1
2.216 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)) in x
2.217 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) (/ -1 x))
2.217 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) in x
2.217 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.217 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.217 * [taylor]: Taking taylor expansion of x in x
2.217 * [backup-simplify]: Simplify 0 into 0
2.217 * [backup-simplify]: Simplify 1 into 1
2.217 * [backup-simplify]: Simplify (* 1 1) into 1
2.217 * [backup-simplify]: Simplify (/ 1 1) into 1
2.218 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.218 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.218 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.218 * [taylor]: Taking taylor expansion of -1 in x
2.218 * [backup-simplify]: Simplify -1 into -1
2.218 * [taylor]: Taking taylor expansion of x in x
2.218 * [backup-simplify]: Simplify 0 into 0
2.218 * [backup-simplify]: Simplify 1 into 1
2.218 * [backup-simplify]: Simplify (/ -1 1) into -1
2.218 * [taylor]: Taking taylor expansion of 1/6 in x
2.218 * [backup-simplify]: Simplify 1/6 into 1/6
2.218 * [taylor]: Taking taylor expansion of 1/2 in x
2.218 * [backup-simplify]: Simplify 1/2 into 1/2
2.218 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.219 * [taylor]: Taking taylor expansion of -1 in x
2.219 * [backup-simplify]: Simplify -1 into -1
2.219 * [taylor]: Taking taylor expansion of x in x
2.219 * [backup-simplify]: Simplify 0 into 0
2.219 * [backup-simplify]: Simplify 1 into 1
2.219 * [backup-simplify]: Simplify (/ -1 1) into -1
2.220 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
2.220 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.220 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
2.221 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.221 * [backup-simplify]: Simplify -1/6 into -1/6
2.221 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.222 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0
2.222 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.222 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.223 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.223 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
2.224 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.224 * [backup-simplify]: Simplify 1/2 into 1/2
2.224 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.225 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.225 * [backup-simplify]: Simplify (+ 0 0) into 0
2.226 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.226 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
2.227 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.227 * [backup-simplify]: Simplify -1 into -1
2.227 * [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.227 * * * * [progress]: [ 3 / 3 ] generating series at (2)
2.228 * [backup-simplify]: Simplify (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)) into (/ (exp x) (fma (pow x 2) (fma x 1/6 1/2) x))
2.228 * [approximate]: Taking taylor expansion of (/ (exp x) (fma (pow x 2) (fma x 1/6 1/2) x)) in (x) around 0
2.228 * [taylor]: Taking taylor expansion of (/ (exp x) (fma (pow x 2) (fma x 1/6 1/2) x)) in x
2.228 * [taylor]: Taking taylor expansion of (exp x) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 1 into 1
2.228 * [backup-simplify]: Simplify (exp 0) into 1
2.228 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma x 1/6 1/2) x) in x
2.228 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma x 1/6 1/2)) x)
2.228 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma x 1/6 1/2)) in x
2.228 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 1 into 1
2.228 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.228 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.228 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 1 into 1
2.228 * [taylor]: Taking taylor expansion of 1/6 in x
2.228 * [backup-simplify]: Simplify 1/6 into 1/6
2.228 * [taylor]: Taking taylor expansion of 1/2 in x
2.228 * [backup-simplify]: Simplify 1/2 into 1/2
2.228 * [taylor]: Taking taylor expansion of x in x
2.228 * [backup-simplify]: Simplify 0 into 0
2.228 * [backup-simplify]: Simplify 1 into 1
2.228 * [backup-simplify]: Simplify (+ 0 0) into 0
2.229 * [backup-simplify]: Simplify (+ 0 1) into 1
2.229 * [backup-simplify]: Simplify (/ 1 1) into 1
2.229 * [taylor]: Taking taylor expansion of (/ (exp x) (fma (pow x 2) (fma x 1/6 1/2) x)) in x
2.229 * [taylor]: Taking taylor expansion of (exp x) in x
2.229 * [taylor]: Taking taylor expansion of x in x
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 1 into 1
2.229 * [backup-simplify]: Simplify (exp 0) into 1
2.229 * [taylor]: Taking taylor expansion of (fma (pow x 2) (fma x 1/6 1/2) x) in x
2.229 * [taylor]: Rewrote expression to (+ (* (pow x 2) (fma x 1/6 1/2)) x)
2.229 * [taylor]: Taking taylor expansion of (* (pow x 2) (fma x 1/6 1/2)) in x
2.229 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.229 * [taylor]: Taking taylor expansion of x in x
2.229 * [backup-simplify]: Simplify 0 into 0
2.229 * [backup-simplify]: Simplify 1 into 1
2.229 * [taylor]: Taking taylor expansion of (fma x 1/6 1/2) in x
2.230 * [taylor]: Rewrote expression to (+ (* x 1/6) 1/2)
2.230 * [taylor]: Taking taylor expansion of (* x 1/6) in x
2.230 * [taylor]: Taking taylor expansion of x in x
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [taylor]: Taking taylor expansion of 1/6 in x
2.230 * [backup-simplify]: Simplify 1/6 into 1/6
2.230 * [taylor]: Taking taylor expansion of 1/2 in x
2.230 * [backup-simplify]: Simplify 1/2 into 1/2
2.230 * [taylor]: Taking taylor expansion of x in x
2.230 * [backup-simplify]: Simplify 0 into 0
2.230 * [backup-simplify]: Simplify 1 into 1
2.230 * [backup-simplify]: Simplify (+ 0 0) into 0
2.231 * [backup-simplify]: Simplify (+ 0 1) into 1
2.231 * [backup-simplify]: Simplify (/ 1 1) into 1
2.231 * [backup-simplify]: Simplify 1 into 1
2.232 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 1) 1)))) into 1
2.232 * [backup-simplify]: Simplify (* 1 1) into 1
2.233 * [backup-simplify]: Simplify (* 0 1/6) into 0
2.233 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.234 * [backup-simplify]: Simplify (* 1 1/2) into 1/2
2.234 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.235 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 1/2 1)))) into 1/2
2.235 * [backup-simplify]: Simplify 1/2 into 1/2
2.236 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 1 2) 2)) (* (/ (pow 0 1) 1)))) into 1/2
2.237 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/6)) into 1/6
2.238 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.238 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.239 * [backup-simplify]: Simplify (+ (* 1 1/6) (* 0 1/2)) into 1/6
2.239 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.240 * [backup-simplify]: Simplify (- (/ 1/2 1) (+ (* 1 (/ 1/6 1)) (* 1/2 (/ 1/2 1)))) into 1/12
2.240 * [backup-simplify]: Simplify 1/12 into 1/12
2.240 * [backup-simplify]: Simplify (+ (* 1/12 x) (+ 1/2 (* 1 (/ 1 x)))) into (+ (* 1/12 x) (+ (/ 1 x) 1/2))
2.240 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) (fma (* (/ 1 x) (/ 1 x)) (fma (/ 1 x) 1/6 1/2) (/ 1 x))) into (/ (exp (/ 1 x)) (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)))
2.241 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 x)) (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x))) in (x) around 0
2.241 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x))) in x
2.241 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.241 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.241 * [taylor]: Taking taylor expansion of x in x
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify 1 into 1
2.241 * [backup-simplify]: Simplify (/ 1 1) into 1
2.241 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.241 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) in x
2.241 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) (/ 1 x))
2.241 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) in x
2.241 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.241 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.241 * [taylor]: Taking taylor expansion of x in x
2.241 * [backup-simplify]: Simplify 0 into 0
2.241 * [backup-simplify]: Simplify 1 into 1
2.241 * [backup-simplify]: Simplify (* 1 1) into 1
2.242 * [backup-simplify]: Simplify (/ 1 1) into 1
2.242 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.242 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.242 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.242 * [taylor]: Taking taylor expansion of x in x
2.242 * [backup-simplify]: Simplify 0 into 0
2.242 * [backup-simplify]: Simplify 1 into 1
2.242 * [backup-simplify]: Simplify (/ 1 1) into 1
2.242 * [taylor]: Taking taylor expansion of 1/6 in x
2.242 * [backup-simplify]: Simplify 1/6 into 1/6
2.242 * [taylor]: Taking taylor expansion of 1/2 in x
2.242 * [backup-simplify]: Simplify 1/2 into 1/2
2.242 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.242 * [taylor]: Taking taylor expansion of x in x
2.242 * [backup-simplify]: Simplify 0 into 0
2.242 * [backup-simplify]: Simplify 1 into 1
2.242 * [backup-simplify]: Simplify (/ 1 1) into 1
2.243 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.243 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.243 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.244 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.244 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) 1/6) into (* 6 (exp (/ 1 x)))
2.244 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 x)) (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x))) in x
2.244 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x
2.244 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.244 * [taylor]: Taking taylor expansion of x in x
2.244 * [backup-simplify]: Simplify 0 into 0
2.244 * [backup-simplify]: Simplify 1 into 1
2.244 * [backup-simplify]: Simplify (/ 1 1) into 1
2.244 * [backup-simplify]: Simplify (exp (/ 1 x)) into (exp (/ 1 x))
2.244 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2) (/ 1 x)) in x
2.244 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) (/ 1 x))
2.244 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ 1 x) 1/6 1/2)) in x
2.244 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.244 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.244 * [taylor]: Taking taylor expansion of x in x
2.244 * [backup-simplify]: Simplify 0 into 0
2.244 * [backup-simplify]: Simplify 1 into 1
2.245 * [backup-simplify]: Simplify (* 1 1) into 1
2.245 * [backup-simplify]: Simplify (/ 1 1) into 1
2.245 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/6 1/2) in x
2.245 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/6) 1/2)
2.245 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/6) in x
2.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.245 * [taylor]: Taking taylor expansion of x in x
2.245 * [backup-simplify]: Simplify 0 into 0
2.245 * [backup-simplify]: Simplify 1 into 1
2.245 * [backup-simplify]: Simplify (/ 1 1) into 1
2.245 * [taylor]: Taking taylor expansion of 1/6 in x
2.245 * [backup-simplify]: Simplify 1/6 into 1/6
2.245 * [taylor]: Taking taylor expansion of 1/2 in x
2.245 * [backup-simplify]: Simplify 1/2 into 1/2
2.245 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.245 * [taylor]: Taking taylor expansion of x in x
2.245 * [backup-simplify]: Simplify 0 into 0
2.245 * [backup-simplify]: Simplify 1 into 1
2.246 * [backup-simplify]: Simplify (/ 1 1) into 1
2.246 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.246 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.246 * [backup-simplify]: Simplify (* 1 1/6) into 1/6
2.247 * [backup-simplify]: Simplify (+ 1/6 0) into 1/6
2.247 * [backup-simplify]: Simplify (/ (exp (/ 1 x)) 1/6) into (* 6 (exp (/ 1 x)))
2.247 * [backup-simplify]: Simplify (* 6 (exp (/ 1 x))) into (* 6 (exp (/ 1 x)))
2.247 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.248 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/6)) into 0
2.248 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.248 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.249 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.249 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 1/6)) into 1/2
2.250 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.250 * [backup-simplify]: Simplify (- (/ 0 1/6) (+ (* (* 6 (exp (/ 1 x))) (/ 1/2 1/6)))) into (- (* 18 (exp (/ 1 x))))
2.250 * [backup-simplify]: Simplify (- (* 18 (exp (/ 1 x)))) into (- (* 18 (exp (/ 1 x))))
2.251 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.251 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.252 * [backup-simplify]: Simplify (+ 0 0) into 0
2.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.253 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 1/6))) into 0
2.254 * [backup-simplify]: Simplify (+ 0 1) into 1
2.255 * [backup-simplify]: Simplify (- (/ 0 1/6) (+ (* (* 6 (exp (/ 1 x))) (/ 1 1/6)) (* (- (* 18 (exp (/ 1 x)))) (/ 1/2 1/6)))) into (* 18 (exp (/ 1 x)))
2.255 * [backup-simplify]: Simplify (* 18 (exp (/ 1 x))) into (* 18 (exp (/ 1 x)))
2.256 * [backup-simplify]: Simplify (+ (* (* 18 (exp (/ 1 (/ 1 x)))) (pow (/ 1 x) 5)) (+ (* (- (* 18 (exp (/ 1 (/ 1 x))))) (pow (/ 1 x) 4)) (* (* 6 (exp (/ 1 (/ 1 x)))) (pow (/ 1 x) 3)))) into (- (+ (* 18 (/ (exp x) (pow x 5))) (* 6 (/ (exp x) (pow x 3)))) (* 18 (/ (exp x) (pow x 4))))
2.256 * [backup-simplify]: Simplify (/ (exp (/ 1 (- x))) (fma (* (/ 1 (- x)) (/ 1 (- x))) (fma (/ 1 (- x)) 1/6 1/2) (/ 1 (- x)))) into (/ (exp (/ -1 x)) (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)))
2.256 * [approximate]: Taking taylor expansion of (/ (exp (/ -1 x)) (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x))) in (x) around 0
2.256 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x))) in x
2.256 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.256 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.256 * [taylor]: Taking taylor expansion of -1 in x
2.256 * [backup-simplify]: Simplify -1 into -1
2.256 * [taylor]: Taking taylor expansion of x in x
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.256 * [backup-simplify]: Simplify (/ -1 1) into -1
2.256 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.256 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)) in x
2.256 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) (/ -1 x))
2.256 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) in x
2.256 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.256 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.256 * [taylor]: Taking taylor expansion of x in x
2.256 * [backup-simplify]: Simplify 0 into 0
2.256 * [backup-simplify]: Simplify 1 into 1
2.257 * [backup-simplify]: Simplify (* 1 1) into 1
2.257 * [backup-simplify]: Simplify (/ 1 1) into 1
2.257 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.257 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.257 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.257 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.257 * [taylor]: Taking taylor expansion of -1 in x
2.257 * [backup-simplify]: Simplify -1 into -1
2.257 * [taylor]: Taking taylor expansion of x in x
2.257 * [backup-simplify]: Simplify 0 into 0
2.257 * [backup-simplify]: Simplify 1 into 1
2.258 * [backup-simplify]: Simplify (/ -1 1) into -1
2.258 * [taylor]: Taking taylor expansion of 1/6 in x
2.258 * [backup-simplify]: Simplify 1/6 into 1/6
2.258 * [taylor]: Taking taylor expansion of 1/2 in x
2.258 * [backup-simplify]: Simplify 1/2 into 1/2
2.258 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.258 * [taylor]: Taking taylor expansion of -1 in x
2.258 * [backup-simplify]: Simplify -1 into -1
2.258 * [taylor]: Taking taylor expansion of x in x
2.258 * [backup-simplify]: Simplify 0 into 0
2.258 * [backup-simplify]: Simplify 1 into 1
2.258 * [backup-simplify]: Simplify (/ -1 1) into -1
2.258 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
2.259 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.259 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
2.259 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.259 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) -1/6) into (* -6 (exp (/ -1 x)))
2.259 * [taylor]: Taking taylor expansion of (/ (exp (/ -1 x)) (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x))) in x
2.259 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x
2.259 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.259 * [taylor]: Taking taylor expansion of -1 in x
2.259 * [backup-simplify]: Simplify -1 into -1
2.259 * [taylor]: Taking taylor expansion of x in x
2.259 * [backup-simplify]: Simplify 0 into 0
2.259 * [backup-simplify]: Simplify 1 into 1
2.260 * [backup-simplify]: Simplify (/ -1 1) into -1
2.260 * [backup-simplify]: Simplify (exp (/ -1 x)) into (exp (/ -1 x))
2.260 * [taylor]: Taking taylor expansion of (fma (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2) (/ -1 x)) in x
2.260 * [taylor]: Rewrote expression to (+ (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) (/ -1 x))
2.260 * [taylor]: Taking taylor expansion of (* (/ 1 (pow x 2)) (fma (/ -1 x) 1/6 1/2)) in x
2.260 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
2.260 * [taylor]: Taking taylor expansion of (pow x 2) in x
2.260 * [taylor]: Taking taylor expansion of x in x
2.260 * [backup-simplify]: Simplify 0 into 0
2.260 * [backup-simplify]: Simplify 1 into 1
2.260 * [backup-simplify]: Simplify (* 1 1) into 1
2.261 * [backup-simplify]: Simplify (/ 1 1) into 1
2.261 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/6 1/2) in x
2.261 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/6) 1/2)
2.261 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/6) in x
2.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.261 * [taylor]: Taking taylor expansion of -1 in x
2.261 * [backup-simplify]: Simplify -1 into -1
2.261 * [taylor]: Taking taylor expansion of x in x
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 1 into 1
2.261 * [backup-simplify]: Simplify (/ -1 1) into -1
2.261 * [taylor]: Taking taylor expansion of 1/6 in x
2.261 * [backup-simplify]: Simplify 1/6 into 1/6
2.261 * [taylor]: Taking taylor expansion of 1/2 in x
2.261 * [backup-simplify]: Simplify 1/2 into 1/2
2.261 * [taylor]: Taking taylor expansion of (/ -1 x) in x
2.261 * [taylor]: Taking taylor expansion of -1 in x
2.261 * [backup-simplify]: Simplify -1 into -1
2.261 * [taylor]: Taking taylor expansion of x in x
2.261 * [backup-simplify]: Simplify 0 into 0
2.261 * [backup-simplify]: Simplify 1 into 1
2.262 * [backup-simplify]: Simplify (/ -1 1) into -1
2.262 * [backup-simplify]: Simplify (* -1 1/6) into -1/6
2.262 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.263 * [backup-simplify]: Simplify (* 1 -1/6) into -1/6
2.263 * [backup-simplify]: Simplify (+ -1/6 0) into -1/6
2.263 * [backup-simplify]: Simplify (/ (exp (/ -1 x)) -1/6) into (* -6 (exp (/ -1 x)))
2.263 * [backup-simplify]: Simplify (* -6 (exp (/ -1 x))) into (* -6 (exp (/ -1 x)))
2.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
2.264 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/6)) into 0
2.265 * [backup-simplify]: Simplify (+ 0 1/2) into 1/2
2.265 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
2.265 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
2.266 * [backup-simplify]: Simplify (+ (* 1 1/2) (* 0 -1/6)) into 1/2
2.266 * [backup-simplify]: Simplify (+ 1/2 0) into 1/2
2.267 * [backup-simplify]: Simplify (- (/ 0 -1/6) (+ (* (* -6 (exp (/ -1 x))) (/ 1/2 -1/6)))) into (- (* 18 (exp (/ -1 x))))
2.267 * [backup-simplify]: Simplify (- (* 18 (exp (/ -1 x)))) into (- (* 18 (exp (/ -1 x))))
2.267 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.268 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/6))) into 0
2.268 * [backup-simplify]: Simplify (+ 0 0) into 0
2.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
2.269 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
2.270 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 1/2) (* 0 -1/6))) into 0
2.270 * [backup-simplify]: Simplify (+ 0 -1) into -1
2.271 * [backup-simplify]: Simplify (- (/ 0 -1/6) (+ (* (* -6 (exp (/ -1 x))) (/ -1 -1/6)) (* (- (* 18 (exp (/ -1 x)))) (/ 1/2 -1/6)))) into (- (* 18 (exp (/ -1 x))))
2.271 * [backup-simplify]: Simplify (- (* 18 (exp (/ -1 x)))) into (- (* 18 (exp (/ -1 x))))
2.272 * [backup-simplify]: Simplify (+ (* (- (* 18 (exp (/ -1 (/ 1 (- x)))))) (pow (/ 1 (- x)) 5)) (+ (* (- (* 18 (exp (/ -1 (/ 1 (- x)))))) (pow (/ 1 (- x)) 4)) (* (* -6 (exp (/ -1 (/ 1 (- x))))) (pow (/ 1 (- x)) 3)))) into (- (+ (* 18 (/ (exp x) (pow x 5))) (* 6 (/ (exp x) (pow x 3)))) (* 18 (/ (exp x) (pow x 4))))
2.272 * * * [progress]: simplifying candidates
2.273 * [simplify]: Simplifying:
  (expm1 (fma x 1/6 1/2))
  (log1p (fma x 1/6 1/2))
  (* x 1/6)
  (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 x) (fma x 1/6 1/2) x))
  (log1p (fma (* x x) (fma x 1/6 1/2) x))
  (* (* x x) (fma x 1/6 1/2))
  (log (fma (* x x) (fma x 1/6 1/2) x))
  (exp (fma (* x x) (fma x 1/6 1/2) x))
  (* (cbrt (fma (* x x) (fma x 1/6 1/2) x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x)))
  (cbrt (fma (* x x) (fma x 1/6 1/2) x))
  (* (* (fma (* x x) (fma x 1/6 1/2) x) (fma (* x x) (fma x 1/6 1/2) x)) (fma (* x x) (fma x 1/6 1/2) x))
  (sqrt (fma (* x x) (fma x 1/6 1/2) x))
  (sqrt (fma (* x x) (fma x 1/6 1/2) x))
  (expm1 (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (log1p (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (- x (log (fma (* x x) (fma x 1/6 1/2) x)))
  (log (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (exp (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (* (* (exp x) (exp x)) (exp x)) (* (* (fma (* x x) (fma x 1/6 1/2) x) (fma (* x x) (fma x 1/6 1/2) x)) (fma (* x x) (fma x 1/6 1/2) x)))
  (* (cbrt (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))) (cbrt (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))))
  (cbrt (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (* (* (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)) (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))) (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (sqrt (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (sqrt (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))
  (- (exp x))
  (- (fma (* x x) (fma x 1/6 1/2) x))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (* (cbrt (fma (* x x) (fma x 1/6 1/2) x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x))))
  (/ (cbrt (exp x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (cbrt (exp x)) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (* (cbrt (exp x)) (cbrt (exp x))) 1)
  (/ (cbrt (exp x)) (fma (* x x) (fma x 1/6 1/2) x))
  (/ (sqrt (exp x)) (* (cbrt (fma (* x x) (fma x 1/6 1/2) x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x))))
  (/ (sqrt (exp x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (sqrt (exp x)) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (sqrt (exp x)) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (sqrt (exp x)) 1)
  (/ (sqrt (exp x)) (fma (* x x) (fma x 1/6 1/2) x))
  (/ 1 (* (cbrt (fma (* x x) (fma x 1/6 1/2) x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x))))
  (/ (exp x) (cbrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ 1 (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (exp x) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ 1 1)
  (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))
  (/ 1 (fma (* x x) (fma x 1/6 1/2) x))
  (/ (fma (* x x) (fma x 1/6 1/2) x) (exp x))
  (/ (exp x) (* (cbrt (fma (* x x) (fma x 1/6 1/2) x)) (cbrt (fma (* x x) (fma x 1/6 1/2) x))))
  (/ (exp x) (sqrt (fma (* x x) (fma x 1/6 1/2) x)))
  (/ (exp x) 1)
  (/ (fma (* x x) (fma x 1/6 1/2) x) (cbrt (exp x)))
  (/ (fma (* x x) (fma x 1/6 1/2) x) (sqrt (exp x)))
  (/ (fma (* x x) (fma x 1/6 1/2) x) (exp 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))))
  (+ (* 1/12 x) (+ (/ 1 x) 1/2))
  (- (+ (* 18 (/ (exp x) (pow x 5))) (* 6 (/ (exp x) (pow x 3)))) (* 18 (/ (exp x) (pow x 4))))
  (- (+ (* 18 (/ (exp x) (pow x 5))) (* 6 (/ (exp x) (pow x 3)))) (* 18 (/ (exp x) (pow x 4))))
2.274 * * [simplify]: iteration 0: 98 enodes
2.296 * * [simplify]: iteration 1: 191 enodes
2.350 * * [simplify]: iteration 2: 586 enodes
2.744 * * [simplify]: iteration 3: 2404 enodes
4.518 * * [simplify]: iteration complete: 5023 enodes
4.518 * * [simplify]: Extracting #0: cost 55 inf + 0
4.519 * * [simplify]: Extracting #1: cost 409 inf + 1
4.523 * * [simplify]: Extracting #2: cost 1296 inf + 701
4.535 * * [simplify]: Extracting #3: cost 1353 inf + 48123
4.581 * * [simplify]: Extracting #4: cost 376 inf + 210879
4.643 * * [simplify]: Extracting #5: cost 23 inf + 294989
4.697 * * [simplify]: Extracting #6: cost 0 inf + 305223
4.752 * [simplify]: Simplified to:
  (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))
  (* (fma 1/6 x 1/2) (* x 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 (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (log1p (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (- x (log (fma x (* x (fma 1/6 x 1/2)) x)))
  (- x (log (fma x (* x (fma 1/6 x 1/2)) x)))
  (exp (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (* (* (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)) (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x))) (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (* (cbrt (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x))) (cbrt (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x))))
  (cbrt (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (* (* (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)) (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x))) (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (sqrt (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (sqrt (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x)))
  (- (exp x))
  (fma (- x) (* (fma 1/6 x 1/2) x) (- x))
  (* (/ (cbrt (exp x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x))) (/ (cbrt (exp x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x))))
  (/ (cbrt (exp x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (* (/ (cbrt (exp x)) (sqrt (fma x (* x (fma 1/6 x 1/2)) x))) (cbrt (exp x)))
  (/ (cbrt (exp x)) (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (* (cbrt (exp x)) (cbrt (exp x)))
  (/ (cbrt (exp x)) (fma x (* x (fma 1/6 x 1/2)) x))
  (/ (/ (sqrt (exp x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x))) (cbrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ (sqrt (exp x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ (sqrt (exp x)) (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (sqrt (exp x))
  (/ (sqrt (exp x)) (fma x (* x (fma 1/6 x 1/2)) x))
  (/ 1 (* (cbrt (fma x (* x (fma 1/6 x 1/2)) x)) (cbrt (fma x (* x (fma 1/6 x 1/2)) x))))
  (/ (exp x) (cbrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ 1 (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ (exp x) (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  1
  (/ (exp x) (fma x (* x (fma 1/6 x 1/2)) x))
  (/ 1 (fma x (* x (fma 1/6 x 1/2)) x))
  (/ (fma x (* x (fma 1/6 x 1/2)) x) (exp x))
  (/ (/ (exp x) (cbrt (fma x (* x (fma 1/6 x 1/2)) x))) (cbrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (/ (exp x) (sqrt (fma x (* x (fma 1/6 x 1/2)) x)))
  (exp x)
  (/ (fma x (* x (fma 1/6 x 1/2)) x) (cbrt (exp x)))
  (/ (fma x (* x (fma 1/6 x 1/2)) x) (sqrt (exp x)))
  (/ (fma x (* x (fma 1/6 x 1/2)) x) (exp 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)
  (fma 1/12 x (+ (/ 1 x) 1/2))
  (fma (/ (exp x) x) (/ 6 (* x x)) (- (/ (* (exp x) 18) (pow x 5)) (/ (/ (* (exp x) 18) (* x x)) (* x x))))
  (fma (/ (exp x) x) (/ 6 (* x x)) (- (/ (* (exp x) 18) (pow x 5)) (/ (/ (* (exp x) 18) (* x x)) (* x x))))
4.756 * * * [progress]: adding candidates to table
5.079 * * [progress]: iteration 3 / 4
5.079 * * * [progress]: picking best candidate
5.083 * * * * [pick]: Picked  #<alt (λ (x) (+ (fma x 1/12 (/ 1 x)) 1/2))>
5.083 * * * [progress]: localizing error
5.090 * * * [progress]: generating rewritten candidates
5.090 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
5.091 * * * [progress]: generating series expansions
5.091 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
5.091 * [backup-simplify]: Simplify (fma x 1/12 (/ 1 x)) into (fma x 1/12 (/ 1 x))
5.091 * [approximate]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in (x) around 0
5.091 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
5.091 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
5.091 * [taylor]: Taking taylor expansion of (* x 1/12) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.091 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify 1 into 1
5.091 * [taylor]: Taking taylor expansion of 1/12 in x
5.091 * [backup-simplify]: Simplify 1/12 into 1/12
5.091 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.091 * [taylor]: Taking taylor expansion of x in x
5.091 * [backup-simplify]: Simplify 0 into 0
5.091 * [backup-simplify]: Simplify 1 into 1
5.092 * [backup-simplify]: Simplify (/ 1 1) into 1
5.092 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
5.092 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
5.092 * [taylor]: Taking taylor expansion of (* x 1/12) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.092 * [backup-simplify]: Simplify 0 into 0
5.092 * [backup-simplify]: Simplify 1 into 1
5.092 * [taylor]: Taking taylor expansion of 1/12 in x
5.092 * [backup-simplify]: Simplify 1/12 into 1/12
5.092 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.092 * [taylor]: Taking taylor expansion of x in x
5.092 * [backup-simplify]: Simplify 0 into 0
5.092 * [backup-simplify]: Simplify 1 into 1
5.092 * [backup-simplify]: Simplify (/ 1 1) into 1
5.092 * [backup-simplify]: Simplify (+ 0 1) into 1
5.093 * [backup-simplify]: Simplify 1 into 1
5.093 * [backup-simplify]: Simplify (* 0 1/12) into 0
5.093 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.094 * [backup-simplify]: Simplify (+ 0 0) into 0
5.094 * [backup-simplify]: Simplify 0 into 0
5.094 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/12)) into 1/12
5.095 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.095 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
5.095 * [backup-simplify]: Simplify 1/12 into 1/12
5.095 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/12))) into 0
5.096 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.096 * [backup-simplify]: Simplify (+ 0 0) into 0
5.096 * [backup-simplify]: Simplify 0 into 0
5.097 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/12)))) into 0
5.098 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.098 * [backup-simplify]: Simplify (+ 0 0) into 0
5.098 * [backup-simplify]: Simplify 0 into 0
5.099 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
5.099 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.099 * [backup-simplify]: Simplify (+ 0 0) into 0
5.099 * [backup-simplify]: Simplify 0 into 0
5.100 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
5.101 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.101 * [backup-simplify]: Simplify (+ 0 0) into 0
5.101 * [backup-simplify]: Simplify 0 into 0
5.102 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
5.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
5.103 * [backup-simplify]: Simplify (+ 0 0) into 0
5.103 * [backup-simplify]: Simplify 0 into 0
5.104 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
5.105 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.105 * [backup-simplify]: Simplify (+ 0 0) into 0
5.105 * [backup-simplify]: Simplify 0 into 0
5.105 * [backup-simplify]: Simplify (+ (* 1/12 x) (* 1 (/ 1 x))) into (+ (* 1/12 x) (/ 1 x))
5.105 * [backup-simplify]: Simplify (fma (/ 1 x) 1/12 (/ 1 (/ 1 x))) into (fma (/ 1 x) 1/12 x)
5.105 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in (x) around 0
5.105 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
5.106 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
5.106 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
5.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.106 * [taylor]: Taking taylor expansion of x in x
5.106 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify 1 into 1
5.106 * [backup-simplify]: Simplify (/ 1 1) into 1
5.106 * [taylor]: Taking taylor expansion of 1/12 in x
5.106 * [backup-simplify]: Simplify 1/12 into 1/12
5.106 * [taylor]: Taking taylor expansion of x in x
5.106 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify 1 into 1
5.106 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
5.106 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
5.106 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
5.106 * [taylor]: Taking taylor expansion of (/ 1 x) in x
5.106 * [taylor]: Taking taylor expansion of x in x
5.106 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify 1 into 1
5.106 * [backup-simplify]: Simplify (/ 1 1) into 1
5.106 * [taylor]: Taking taylor expansion of 1/12 in x
5.106 * [backup-simplify]: Simplify 1/12 into 1/12
5.106 * [taylor]: Taking taylor expansion of x in x
5.106 * [backup-simplify]: Simplify 0 into 0
5.106 * [backup-simplify]: Simplify 1 into 1
5.107 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
5.107 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
5.107 * [backup-simplify]: Simplify 1/12 into 1/12
5.108 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
5.108 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/12)) into 0
5.108 * [backup-simplify]: Simplify (+ 0 0) into 0
5.108 * [backup-simplify]: Simplify 0 into 0
5.109 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.109 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/12))) into 0
5.110 * [backup-simplify]: Simplify (+ 0 1) into 1
5.110 * [backup-simplify]: Simplify 1 into 1
5.110 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.111 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))) into 0
5.111 * [backup-simplify]: Simplify (+ 0 0) into 0
5.111 * [backup-simplify]: Simplify 0 into 0
5.112 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
5.113 * [backup-simplify]: Simplify (+ 0 0) into 0
5.113 * [backup-simplify]: Simplify 0 into 0
5.113 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.114 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
5.114 * [backup-simplify]: Simplify (+ 0 0) into 0
5.114 * [backup-simplify]: Simplify 0 into 0
5.115 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
5.116 * [backup-simplify]: Simplify (+ 0 0) into 0
5.116 * [backup-simplify]: Simplify 0 into 0
5.117 * [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
5.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
5.118 * [backup-simplify]: Simplify (+ 0 0) into 0
5.118 * [backup-simplify]: Simplify 0 into 0
5.119 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))))) into 0
5.120 * [backup-simplify]: Simplify (+ 0 0) into 0
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* 1/12 (/ 1 (/ 1 x)))) into (+ (* 1/12 x) (/ 1 x))
5.120 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 1/12 (/ 1 (/ 1 (- x)))) into (fma (/ -1 x) 1/12 (* -1 x))
5.120 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in (x) around 0
5.120 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
5.120 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
5.120 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
5.120 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.120 * [taylor]: Taking taylor expansion of -1 in x
5.120 * [backup-simplify]: Simplify -1 into -1
5.120 * [taylor]: Taking taylor expansion of x in x
5.120 * [backup-simplify]: Simplify 0 into 0
5.120 * [backup-simplify]: Simplify 1 into 1
5.121 * [backup-simplify]: Simplify (/ -1 1) into -1
5.121 * [taylor]: Taking taylor expansion of 1/12 in x
5.121 * [backup-simplify]: Simplify 1/12 into 1/12
5.121 * [taylor]: Taking taylor expansion of (* -1 x) in x
5.121 * [taylor]: Taking taylor expansion of -1 in x
5.121 * [backup-simplify]: Simplify -1 into -1
5.121 * [taylor]: Taking taylor expansion of x in x
5.121 * [backup-simplify]: Simplify 0 into 0
5.121 * [backup-simplify]: Simplify 1 into 1
5.121 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
5.121 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
5.121 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
5.121 * [taylor]: Taking taylor expansion of (/ -1 x) in x
5.121 * [taylor]: Taking taylor expansion of -1 in x
5.121 * [backup-simplify]: Simplify -1 into -1
5.121 * [taylor]: Taking taylor expansion of x in x
5.121 * [backup-simplify]: Simplify 0 into 0
5.121 * [backup-simplify]: Simplify 1 into 1
5.121 * [backup-simplify]: Simplify (/ -1 1) into -1
5.121 * [taylor]: Taking taylor expansion of 1/12 in x
5.121 * [backup-simplify]: Simplify 1/12 into 1/12
5.121 * [taylor]: Taking taylor expansion of (* -1 x) in x
5.121 * [taylor]: Taking taylor expansion of -1 in x
5.121 * [backup-simplify]: Simplify -1 into -1
5.121 * [taylor]: Taking taylor expansion of x in x
5.121 * [backup-simplify]: Simplify 0 into 0
5.122 * [backup-simplify]: Simplify 1 into 1
5.122 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
5.122 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
5.122 * [backup-simplify]: Simplify -1/12 into -1/12
5.123 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
5.123 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/12)) into 0
5.123 * [backup-simplify]: Simplify (* -1 0) into 0
5.124 * [backup-simplify]: Simplify (+ 0 0) into 0
5.124 * [backup-simplify]: Simplify 0 into 0
5.124 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.125 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/12))) into 0
5.125 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
5.126 * [backup-simplify]: Simplify (+ 0 -1) into -1
5.126 * [backup-simplify]: Simplify -1 into -1
5.127 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.128 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))) into 0
5.129 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
5.129 * [backup-simplify]: Simplify (+ 0 0) into 0
5.129 * [backup-simplify]: Simplify 0 into 0
5.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.131 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
5.133 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
5.133 * [backup-simplify]: Simplify (+ 0 0) into 0
5.133 * [backup-simplify]: Simplify 0 into 0
5.134 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
5.135 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
5.137 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
5.137 * [backup-simplify]: Simplify (+ 0 0) into 0
5.137 * [backup-simplify]: Simplify 0 into 0
5.138 * [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
5.140 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
5.141 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
5.142 * [backup-simplify]: Simplify (+ 0 0) into 0
5.142 * [backup-simplify]: Simplify 0 into 0
5.143 * [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
5.145 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
5.146 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
5.147 * [backup-simplify]: Simplify (+ 0 0) into 0
5.147 * [backup-simplify]: Simplify 0 into 0
5.148 * [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)) (* 0 (/ 0 1)))) into 0
5.150 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))))) into 0
5.151 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
5.152 * [backup-simplify]: Simplify (+ 0 0) into 0
5.152 * [backup-simplify]: Simplify 0 into 0
5.152 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) (* -1/12 (/ 1 (/ 1 (- x))))) into (+ (* 1/12 x) (/ 1 x))
5.152 * * * [progress]: simplifying candidates
5.153 * [simplify]: Simplifying:
  (expm1 (fma x 1/12 (/ 1 x)))
  (log1p (fma x 1/12 (/ 1 x)))
  (* x 1/12)
  (log (fma x 1/12 (/ 1 x)))
  (exp (fma x 1/12 (/ 1 x)))
  (* (cbrt (fma x 1/12 (/ 1 x))) (cbrt (fma x 1/12 (/ 1 x))))
  (cbrt (fma x 1/12 (/ 1 x)))
  (* (* (fma x 1/12 (/ 1 x)) (fma x 1/12 (/ 1 x))) (fma x 1/12 (/ 1 x)))
  (sqrt (fma x 1/12 (/ 1 x)))
  (sqrt (fma x 1/12 (/ 1 x)))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
5.153 * * [simplify]: iteration 0: 17 enodes
5.157 * * [simplify]: iteration 1: 23 enodes
5.161 * * [simplify]: iteration 2: 40 enodes
5.171 * * [simplify]: iteration 3: 130 enodes
5.228 * * [simplify]: iteration 4: 457 enodes
5.860 * * [simplify]: iteration 5: 2167 enodes
7.340 * * [simplify]: iteration complete: 5000 enodes
7.340 * * [simplify]: Extracting #0: cost 10 inf + 0
7.341 * * [simplify]: Extracting #1: cost 134 inf + 0
7.345 * * [simplify]: Extracting #2: cost 504 inf + 47
7.353 * * [simplify]: Extracting #3: cost 382 inf + 10270
7.401 * * [simplify]: Extracting #4: cost 90 inf + 54909
7.480 * * [simplify]: Extracting #5: cost 2 inf + 74250
7.543 * * [simplify]: Extracting #6: cost 0 inf + 75198
7.657 * [simplify]: Simplified to:
  (expm1 (fma 1/12 x (/ 1 x)))
  (log1p (fma 1/12 x (/ 1 x)))
  (* x 1/12)
  (log (fma 1/12 x (/ 1 x)))
  (exp (fma 1/12 x (/ 1 x)))
  (* (cbrt (fma 1/12 x (/ 1 x))) (cbrt (fma 1/12 x (/ 1 x))))
  (cbrt (fma 1/12 x (/ 1 x)))
  (* (fma 1/12 x (/ 1 x)) (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))))
  (sqrt (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (fma 1/12 x (/ 1 x))
  (fma 1/12 x (/ 1 x))
  (fma 1/12 x (/ 1 x))
7.658 * * * [progress]: adding candidates to table
7.695 * * [progress]: iteration 4 / 4
7.695 * * * [progress]: picking best candidate
7.703 * * * * [pick]: Picked  #<alt (λ (x) (+ (expm1 (log1p (fma x 1/12 (/ 1 x)))) 1/2))>
7.703 * * * [progress]: localizing error
7.716 * * * [progress]: generating rewritten candidates
7.716 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
7.717 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1)
7.717 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
7.718 * * * [progress]: generating series expansions
7.718 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
7.718 * [backup-simplify]: Simplify (expm1 (log1p (fma x 1/12 (/ 1 x)))) into (expm1 (log1p (fma x 1/12 (/ 1 x))))
7.718 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma x 1/12 (/ 1 x)))) in (x) around 0
7.718 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma x 1/12 (/ 1 x)))) in x
7.718 * [taylor]: Rewrote expression to (- (exp (log1p (fma x 1/12 (/ 1 x)))) 1)
7.718 * [taylor]: Taking taylor expansion of (exp (log1p (fma x 1/12 (/ 1 x)))) in x
7.718 * [taylor]: Taking taylor expansion of (log1p (fma x 1/12 (/ 1 x))) in x
7.718 * [taylor]: Rewrote expression to (log (+ 1 (fma x 1/12 (/ 1 x))))
7.718 * [taylor]: Taking taylor expansion of (+ 1 (fma x 1/12 (/ 1 x))) in x
7.718 * [taylor]: Taking taylor expansion of 1 in x
7.718 * [backup-simplify]: Simplify 1 into 1
7.718 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.718 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.718 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.718 * [taylor]: Taking taylor expansion of x in x
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.718 * [taylor]: Taking taylor expansion of 1/12 in x
7.718 * [backup-simplify]: Simplify 1/12 into 1/12
7.718 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.718 * [taylor]: Taking taylor expansion of x in x
7.718 * [backup-simplify]: Simplify 0 into 0
7.718 * [backup-simplify]: Simplify 1 into 1
7.719 * [backup-simplify]: Simplify (/ 1 1) into 1
7.719 * [backup-simplify]: Simplify (+ 0 1) into 1
7.720 * [backup-simplify]: Simplify (+ 0 1) into 1
7.720 * [backup-simplify]: Simplify (log 1) into 0
7.720 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.720 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.721 * [backup-simplify]: Simplify (exp (- (log x))) into (exp (- (log x)))
7.721 * [taylor]: Taking taylor expansion of 1 in x
7.721 * [backup-simplify]: Simplify 1 into 1
7.721 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma x 1/12 (/ 1 x)))) in x
7.721 * [taylor]: Rewrote expression to (- (exp (log1p (fma x 1/12 (/ 1 x)))) 1)
7.721 * [taylor]: Taking taylor expansion of (exp (log1p (fma x 1/12 (/ 1 x)))) in x
7.721 * [taylor]: Taking taylor expansion of (log1p (fma x 1/12 (/ 1 x))) in x
7.721 * [taylor]: Rewrote expression to (log (+ 1 (fma x 1/12 (/ 1 x))))
7.721 * [taylor]: Taking taylor expansion of (+ 1 (fma x 1/12 (/ 1 x))) in x
7.721 * [taylor]: Taking taylor expansion of 1 in x
7.721 * [backup-simplify]: Simplify 1 into 1
7.721 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.721 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.721 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.721 * [taylor]: Taking taylor expansion of x in x
7.721 * [backup-simplify]: Simplify 0 into 0
7.721 * [backup-simplify]: Simplify 1 into 1
7.721 * [taylor]: Taking taylor expansion of 1/12 in x
7.721 * [backup-simplify]: Simplify 1/12 into 1/12
7.722 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.722 * [taylor]: Taking taylor expansion of x in x
7.722 * [backup-simplify]: Simplify 0 into 0
7.722 * [backup-simplify]: Simplify 1 into 1
7.722 * [backup-simplify]: Simplify (/ 1 1) into 1
7.722 * [backup-simplify]: Simplify (+ 0 1) into 1
7.722 * [backup-simplify]: Simplify (+ 0 1) into 1
7.723 * [backup-simplify]: Simplify (log 1) into 0
7.723 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.723 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.723 * [backup-simplify]: Simplify (exp (- (log x))) into (exp (- (log x)))
7.723 * [taylor]: Taking taylor expansion of 1 in x
7.723 * [backup-simplify]: Simplify 1 into 1
7.724 * [backup-simplify]: Simplify (- 1) into -1
7.724 * [backup-simplify]: Simplify (+ (exp (- (log x))) -1) into (- (exp (- (log x))) 1)
7.724 * [backup-simplify]: Simplify (- (exp (- (log x))) 1) into (- (exp (- (log x))) 1)
7.724 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.724 * [backup-simplify]: Simplify (* 0 1/12) into 0
7.725 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.725 * [backup-simplify]: Simplify (+ 0 0) into 0
7.726 * [backup-simplify]: Simplify (+ 1 0) into 1
7.727 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.728 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 1 1) 1)))) into (exp (- (log x)))
7.728 * [backup-simplify]: Simplify (- 0) into 0
7.728 * [backup-simplify]: Simplify (+ (exp (- (log x))) 0) into (exp (- (log x)))
7.728 * [backup-simplify]: Simplify (exp (- (log x))) into (exp (- (log x)))
7.729 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.729 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/12)) into 1/12
7.730 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.731 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.731 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.734 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/12) 1)) (pow 1 1)))) 2) into -5/12
7.735 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 1 2) 2)) (* (/ (pow -5/12 1) 1)))) into (* 1/12 (exp (- (log x))))
7.736 * [backup-simplify]: Simplify (- 0) into 0
7.736 * [backup-simplify]: Simplify (+ (* 1/12 (exp (- (log x)))) 0) into (* 1/12 (exp (- (log x))))
7.736 * [backup-simplify]: Simplify (* 1/12 (exp (- (log x)))) into (* 1/12 (exp (- (log x))))
7.737 * [backup-simplify]: Simplify (+ (* (* 1/12 (exp (- (log x)))) (pow x 2)) (+ (* (exp (- (log x))) x) (- (exp (- (log x))) 1))) into (- (+ (* x (exp (- (log x)))) (+ (* 1/12 (* (pow x 2) (exp (- (log x))))) (exp (- (log x))))) 1)
7.737 * [backup-simplify]: Simplify (expm1 (log1p (fma (/ 1 x) 1/12 (/ 1 (/ 1 x))))) into (expm1 (log1p (fma (/ 1 x) 1/12 x)))
7.737 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma (/ 1 x) 1/12 x))) in (x) around 0
7.737 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma (/ 1 x) 1/12 x))) in x
7.737 * [taylor]: Rewrote expression to (- (exp (log1p (fma (/ 1 x) 1/12 x))) 1)
7.737 * [taylor]: Taking taylor expansion of (exp (log1p (fma (/ 1 x) 1/12 x))) in x
7.737 * [taylor]: Taking taylor expansion of (log1p (fma (/ 1 x) 1/12 x)) in x
7.737 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 1 x) 1/12 x)))
7.737 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 1 x) 1/12 x)) in x
7.737 * [taylor]: Taking taylor expansion of 1 in x
7.737 * [backup-simplify]: Simplify 1 into 1
7.737 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.738 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.738 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.738 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.738 * [taylor]: Taking taylor expansion of x in x
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 1 into 1
7.738 * [backup-simplify]: Simplify (/ 1 1) into 1
7.738 * [taylor]: Taking taylor expansion of 1/12 in x
7.738 * [backup-simplify]: Simplify 1/12 into 1/12
7.738 * [taylor]: Taking taylor expansion of x in x
7.738 * [backup-simplify]: Simplify 0 into 0
7.738 * [backup-simplify]: Simplify 1 into 1
7.739 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
7.739 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.740 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.740 * [backup-simplify]: Simplify (log 1/12) into (log 1/12)
7.741 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.742 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.742 * [backup-simplify]: Simplify (exp (- (log 1/12) (log x))) into (exp (- (log 1/12) (log x)))
7.742 * [taylor]: Taking taylor expansion of 1 in x
7.742 * [backup-simplify]: Simplify 1 into 1
7.742 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma (/ 1 x) 1/12 x))) in x
7.742 * [taylor]: Rewrote expression to (- (exp (log1p (fma (/ 1 x) 1/12 x))) 1)
7.742 * [taylor]: Taking taylor expansion of (exp (log1p (fma (/ 1 x) 1/12 x))) in x
7.742 * [taylor]: Taking taylor expansion of (log1p (fma (/ 1 x) 1/12 x)) in x
7.742 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 1 x) 1/12 x)))
7.742 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 1 x) 1/12 x)) in x
7.742 * [taylor]: Taking taylor expansion of 1 in x
7.743 * [backup-simplify]: Simplify 1 into 1
7.743 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.743 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.743 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.743 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.743 * [taylor]: Taking taylor expansion of x in x
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 1 into 1
7.743 * [backup-simplify]: Simplify (/ 1 1) into 1
7.743 * [taylor]: Taking taylor expansion of 1/12 in x
7.743 * [backup-simplify]: Simplify 1/12 into 1/12
7.743 * [taylor]: Taking taylor expansion of x in x
7.743 * [backup-simplify]: Simplify 0 into 0
7.743 * [backup-simplify]: Simplify 1 into 1
7.744 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
7.744 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.745 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.745 * [backup-simplify]: Simplify (log 1/12) into (log 1/12)
7.746 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.747 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.747 * [backup-simplify]: Simplify (exp (- (log 1/12) (log x))) into (exp (- (log 1/12) (log x)))
7.747 * [taylor]: Taking taylor expansion of 1 in x
7.747 * [backup-simplify]: Simplify 1 into 1
7.748 * [backup-simplify]: Simplify (- 1) into -1
7.748 * [backup-simplify]: Simplify (+ (exp (- (log 1/12) (log x))) -1) into (- (exp (- (log 1/12) (log x))) 1)
7.748 * [backup-simplify]: Simplify (- (exp (- (log 1/12) (log x))) 1) into (- (exp (- (log 1/12) (log x))) 1)
7.749 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.751 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/12)) into 0
7.751 * [backup-simplify]: Simplify (+ 0 0) into 0
7.752 * [backup-simplify]: Simplify (+ 1 0) into 1
7.753 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1/12 1)))) 1) into 12
7.754 * [backup-simplify]: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 12 1) 1)))) into (* 12 (exp (- (log 1/12) (log x))))
7.755 * [backup-simplify]: Simplify (- 0) into 0
7.755 * [backup-simplify]: Simplify (+ (* 12 (exp (- (log 1/12) (log x)))) 0) into (* 12 (exp (- (log 1/12) (log x))))
7.756 * [backup-simplify]: Simplify (* 12 (exp (- (log 1/12) (log x)))) into (* 12 (exp (- (log 1/12) (log x))))
7.756 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.757 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.758 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.759 * [backup-simplify]: Simplify (+ 0 1) into 1
7.759 * [backup-simplify]: Simplify (+ 0 1) into 1
7.762 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1/12 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1/12 1)))) 2) into -60
7.763 * [backup-simplify]: Simplify (* (exp (- (log 1/12) (log x))) (+ (* (/ (pow 12 2) 2)) (* (/ (pow -60 1) 1)))) into (* 12 (exp (- (log 1/12) (log x))))
7.764 * [backup-simplify]: Simplify (- 0) into 0
7.764 * [backup-simplify]: Simplify (+ (* 12 (exp (- (log 1/12) (log x)))) 0) into (* 12 (exp (- (log 1/12) (log x))))
7.765 * [backup-simplify]: Simplify (* 12 (exp (- (log 1/12) (log x)))) into (* 12 (exp (- (log 1/12) (log x))))
7.766 * [backup-simplify]: Simplify (+ (* (* 12 (exp (- (log 1/12) (log (/ 1 x))))) (pow (/ 1 x) 2)) (+ (* (* 12 (exp (- (log 1/12) (log (/ 1 x))))) (/ 1 x)) (- (exp (- (log 1/12) (log (/ 1 x)))) 1))) into (- (+ (* 12 (/ (exp (- (log 1/12) (log (/ 1 x)))) x)) (+ (exp (- (log 1/12) (log (/ 1 x)))) (* 12 (/ (exp (- (log 1/12) (log (/ 1 x)))) (pow x 2))))) 1)
7.766 * [backup-simplify]: Simplify (expm1 (log1p (fma (/ 1 (- x)) 1/12 (/ 1 (/ 1 (- x)))))) into (expm1 (log1p (fma (/ -1 x) 1/12 (* -1 x))))
7.766 * [approximate]: Taking taylor expansion of (expm1 (log1p (fma (/ -1 x) 1/12 (* -1 x)))) in (x) around 0
7.766 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma (/ -1 x) 1/12 (* -1 x)))) in x
7.766 * [taylor]: Rewrote expression to (- (exp (log1p (fma (/ -1 x) 1/12 (* -1 x)))) 1)
7.766 * [taylor]: Taking taylor expansion of (exp (log1p (fma (/ -1 x) 1/12 (* -1 x)))) in x
7.766 * [taylor]: Taking taylor expansion of (log1p (fma (/ -1 x) 1/12 (* -1 x))) in x
7.766 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ -1 x) 1/12 (* -1 x))))
7.766 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ -1 x) 1/12 (* -1 x))) in x
7.766 * [taylor]: Taking taylor expansion of 1 in x
7.766 * [backup-simplify]: Simplify 1 into 1
7.766 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.766 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.766 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.766 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.766 * [taylor]: Taking taylor expansion of -1 in x
7.766 * [backup-simplify]: Simplify -1 into -1
7.766 * [taylor]: Taking taylor expansion of x in x
7.766 * [backup-simplify]: Simplify 0 into 0
7.766 * [backup-simplify]: Simplify 1 into 1
7.767 * [backup-simplify]: Simplify (/ -1 1) into -1
7.767 * [taylor]: Taking taylor expansion of 1/12 in x
7.767 * [backup-simplify]: Simplify 1/12 into 1/12
7.767 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.767 * [taylor]: Taking taylor expansion of -1 in x
7.767 * [backup-simplify]: Simplify -1 into -1
7.767 * [taylor]: Taking taylor expansion of x in x
7.767 * [backup-simplify]: Simplify 0 into 0
7.767 * [backup-simplify]: Simplify 1 into 1
7.767 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
7.767 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
7.768 * [backup-simplify]: Simplify (+ 0 -1/12) into -1/12
7.768 * [backup-simplify]: Simplify (log -1/12) into (log -1/12)
7.768 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.769 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.769 * [backup-simplify]: Simplify (exp (- (log -1/12) (log x))) into (exp (- (log -1/12) (log x)))
7.769 * [taylor]: Taking taylor expansion of 1 in x
7.769 * [backup-simplify]: Simplify 1 into 1
7.769 * [taylor]: Taking taylor expansion of (expm1 (log1p (fma (/ -1 x) 1/12 (* -1 x)))) in x
7.769 * [taylor]: Rewrote expression to (- (exp (log1p (fma (/ -1 x) 1/12 (* -1 x)))) 1)
7.769 * [taylor]: Taking taylor expansion of (exp (log1p (fma (/ -1 x) 1/12 (* -1 x)))) in x
7.769 * [taylor]: Taking taylor expansion of (log1p (fma (/ -1 x) 1/12 (* -1 x))) in x
7.769 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ -1 x) 1/12 (* -1 x))))
7.769 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ -1 x) 1/12 (* -1 x))) in x
7.769 * [taylor]: Taking taylor expansion of 1 in x
7.769 * [backup-simplify]: Simplify 1 into 1
7.770 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.770 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.770 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.770 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.770 * [taylor]: Taking taylor expansion of -1 in x
7.770 * [backup-simplify]: Simplify -1 into -1
7.770 * [taylor]: Taking taylor expansion of x in x
7.770 * [backup-simplify]: Simplify 0 into 0
7.770 * [backup-simplify]: Simplify 1 into 1
7.770 * [backup-simplify]: Simplify (/ -1 1) into -1
7.770 * [taylor]: Taking taylor expansion of 1/12 in x
7.770 * [backup-simplify]: Simplify 1/12 into 1/12
7.770 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.770 * [taylor]: Taking taylor expansion of -1 in x
7.770 * [backup-simplify]: Simplify -1 into -1
7.770 * [taylor]: Taking taylor expansion of x in x
7.770 * [backup-simplify]: Simplify 0 into 0
7.770 * [backup-simplify]: Simplify 1 into 1
7.770 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
7.771 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
7.771 * [backup-simplify]: Simplify (+ 0 -1/12) into -1/12
7.771 * [backup-simplify]: Simplify (log -1/12) into (log -1/12)
7.772 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.772 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.773 * [backup-simplify]: Simplify (exp (- (log -1/12) (log x))) into (exp (- (log -1/12) (log x)))
7.773 * [taylor]: Taking taylor expansion of 1 in x
7.773 * [backup-simplify]: Simplify 1 into 1
7.773 * [backup-simplify]: Simplify (- 1) into -1
7.773 * [backup-simplify]: Simplify (+ (exp (- (log -1/12) (log x))) -1) into (- (exp (- (log -1/12) (log x))) 1)
7.774 * [backup-simplify]: Simplify (- (exp (- (log -1/12) (log x))) 1) into (- (exp (- (log -1/12) (log x))) 1)
7.774 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.775 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/12)) into 0
7.775 * [backup-simplify]: Simplify (* -1 0) into 0
7.776 * [backup-simplify]: Simplify (+ 0 0) into 0
7.776 * [backup-simplify]: Simplify (+ 1 0) into 1
7.777 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1/12 1)))) 1) into -12
7.777 * [backup-simplify]: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow -12 1) 1)))) into (* -12 (exp (- (log -1/12) (log x))))
7.777 * [backup-simplify]: Simplify (- 0) into 0
7.778 * [backup-simplify]: Simplify (+ (* -12 (exp (- (log -1/12) (log x)))) 0) into (- (* 12 (exp (- (log -1/12) (log x)))))
7.778 * [backup-simplify]: Simplify (- (* 12 (exp (- (log -1/12) (log x))))) into (- (* 12 (exp (- (log -1/12) (log x)))))
7.779 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.780 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.780 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
7.780 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.781 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.782 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1/12 2))) (* 1 (/ (* 1 (pow (* 2 -1) 1)) (pow -1/12 1)))) 2) into -60
7.783 * [backup-simplify]: Simplify (* (exp (- (log -1/12) (log x))) (+ (* (/ (pow -12 2) 2)) (* (/ (pow -60 1) 1)))) into (* 12 (exp (- (log -1/12) (log x))))
7.784 * [backup-simplify]: Simplify (- 0) into 0
7.784 * [backup-simplify]: Simplify (+ (* 12 (exp (- (log -1/12) (log x)))) 0) into (* 12 (exp (- (log -1/12) (log x))))
7.784 * [backup-simplify]: Simplify (* 12 (exp (- (log -1/12) (log x)))) into (* 12 (exp (- (log -1/12) (log x))))
7.785 * [backup-simplify]: Simplify (+ (* (* 12 (exp (- (log -1/12) (log (/ 1 (- x)))))) (pow (/ 1 (- x)) 2)) (+ (* (- (* 12 (exp (- (log -1/12) (log (/ 1 (- x))))))) (/ 1 (- x))) (- (exp (- (log -1/12) (log (/ 1 (- x))))) 1))) into (- (+ (* 12 (/ (exp (- (log -1/12) (log (/ -1 x)))) x)) (+ (* 12 (/ (exp (- (log -1/12) (log (/ -1 x)))) (pow x 2))) (exp (- (log -1/12) (log (/ -1 x)))))) 1)
7.785 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1)
7.786 * [backup-simplify]: Simplify (fma x 1/12 (/ 1 x)) into (fma x 1/12 (/ 1 x))
7.786 * [approximate]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in (x) around 0
7.786 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.786 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.786 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.786 * [taylor]: Taking taylor expansion of 1/12 in x
7.786 * [backup-simplify]: Simplify 1/12 into 1/12
7.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.786 * [backup-simplify]: Simplify (/ 1 1) into 1
7.786 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.786 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.786 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.786 * [taylor]: Taking taylor expansion of 1/12 in x
7.786 * [backup-simplify]: Simplify 1/12 into 1/12
7.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.786 * [taylor]: Taking taylor expansion of x in x
7.786 * [backup-simplify]: Simplify 0 into 0
7.786 * [backup-simplify]: Simplify 1 into 1
7.787 * [backup-simplify]: Simplify (/ 1 1) into 1
7.787 * [backup-simplify]: Simplify (+ 0 1) into 1
7.787 * [backup-simplify]: Simplify 1 into 1
7.787 * [backup-simplify]: Simplify (* 0 1/12) into 0
7.788 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.788 * [backup-simplify]: Simplify (+ 0 0) into 0
7.788 * [backup-simplify]: Simplify 0 into 0
7.788 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/12)) into 1/12
7.789 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.789 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.789 * [backup-simplify]: Simplify 1/12 into 1/12
7.790 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (* 0 1/12))) into 0
7.790 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.790 * [backup-simplify]: Simplify (+ 0 0) into 0
7.790 * [backup-simplify]: Simplify 0 into 0
7.791 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (* 0 1/12)))) into 0
7.792 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.792 * [backup-simplify]: Simplify (+ 0 0) into 0
7.792 * [backup-simplify]: Simplify 0 into 0
7.793 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
7.793 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.793 * [backup-simplify]: Simplify (+ 0 0) into 0
7.793 * [backup-simplify]: Simplify 0 into 0
7.794 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
7.795 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.795 * [backup-simplify]: Simplify (+ 0 0) into 0
7.795 * [backup-simplify]: Simplify 0 into 0
7.796 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
7.796 * [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
7.797 * [backup-simplify]: Simplify (+ 0 0) into 0
7.797 * [backup-simplify]: Simplify 0 into 0
7.798 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
7.799 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.800 * [backup-simplify]: Simplify (+ 0 0) into 0
7.800 * [backup-simplify]: Simplify 0 into 0
7.800 * [backup-simplify]: Simplify (+ (* 1/12 x) (* 1 (/ 1 x))) into (+ (* 1/12 x) (/ 1 x))
7.800 * [backup-simplify]: Simplify (fma (/ 1 x) 1/12 (/ 1 (/ 1 x))) into (fma (/ 1 x) 1/12 x)
7.800 * [approximate]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in (x) around 0
7.800 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.800 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.800 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.800 * [taylor]: Taking taylor expansion of x in x
7.801 * [backup-simplify]: Simplify 0 into 0
7.801 * [backup-simplify]: Simplify 1 into 1
7.801 * [backup-simplify]: Simplify (/ 1 1) into 1
7.801 * [taylor]: Taking taylor expansion of 1/12 in x
7.801 * [backup-simplify]: Simplify 1/12 into 1/12
7.801 * [taylor]: Taking taylor expansion of x in x
7.801 * [backup-simplify]: Simplify 0 into 0
7.801 * [backup-simplify]: Simplify 1 into 1
7.801 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.801 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.801 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.801 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.801 * [taylor]: Taking taylor expansion of x in x
7.801 * [backup-simplify]: Simplify 0 into 0
7.801 * [backup-simplify]: Simplify 1 into 1
7.802 * [backup-simplify]: Simplify (/ 1 1) into 1
7.802 * [taylor]: Taking taylor expansion of 1/12 in x
7.802 * [backup-simplify]: Simplify 1/12 into 1/12
7.802 * [taylor]: Taking taylor expansion of x in x
7.802 * [backup-simplify]: Simplify 0 into 0
7.802 * [backup-simplify]: Simplify 1 into 1
7.802 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
7.803 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.803 * [backup-simplify]: Simplify 1/12 into 1/12
7.803 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.804 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/12)) into 0
7.805 * [backup-simplify]: Simplify (+ 0 0) into 0
7.805 * [backup-simplify]: Simplify 0 into 0
7.805 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.807 * [backup-simplify]: Simplify (+ 0 1) into 1
7.807 * [backup-simplify]: Simplify 1 into 1
7.808 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))) into 0
7.814 * [backup-simplify]: Simplify (+ 0 0) into 0
7.814 * [backup-simplify]: Simplify 0 into 0
7.815 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
7.816 * [backup-simplify]: Simplify (+ 0 0) into 0
7.816 * [backup-simplify]: Simplify 0 into 0
7.817 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
7.818 * [backup-simplify]: Simplify (+ 0 0) into 0
7.818 * [backup-simplify]: Simplify 0 into 0
7.818 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.819 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
7.820 * [backup-simplify]: Simplify (+ 0 0) into 0
7.820 * [backup-simplify]: Simplify 0 into 0
7.820 * [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
7.821 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
7.821 * [backup-simplify]: Simplify (+ 0 0) into 0
7.821 * [backup-simplify]: Simplify 0 into 0
7.822 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))))) into 0
7.823 * [backup-simplify]: Simplify (+ 0 0) into 0
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) (* 1/12 (/ 1 (/ 1 x)))) into (+ (* 1/12 x) (/ 1 x))
7.824 * [backup-simplify]: Simplify (fma (/ 1 (- x)) 1/12 (/ 1 (/ 1 (- x)))) into (fma (/ -1 x) 1/12 (* -1 x))
7.824 * [approximate]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in (x) around 0
7.824 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.824 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.824 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.824 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.824 * [taylor]: Taking taylor expansion of -1 in x
7.824 * [backup-simplify]: Simplify -1 into -1
7.824 * [taylor]: Taking taylor expansion of x in x
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.824 * [backup-simplify]: Simplify (/ -1 1) into -1
7.824 * [taylor]: Taking taylor expansion of 1/12 in x
7.824 * [backup-simplify]: Simplify 1/12 into 1/12
7.824 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.824 * [taylor]: Taking taylor expansion of -1 in x
7.824 * [backup-simplify]: Simplify -1 into -1
7.824 * [taylor]: Taking taylor expansion of x in x
7.824 * [backup-simplify]: Simplify 0 into 0
7.824 * [backup-simplify]: Simplify 1 into 1
7.825 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.825 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.825 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.825 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.825 * [taylor]: Taking taylor expansion of -1 in x
7.825 * [backup-simplify]: Simplify -1 into -1
7.825 * [taylor]: Taking taylor expansion of x in x
7.825 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (/ -1 1) into -1
7.825 * [taylor]: Taking taylor expansion of 1/12 in x
7.825 * [backup-simplify]: Simplify 1/12 into 1/12
7.825 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.825 * [taylor]: Taking taylor expansion of -1 in x
7.825 * [backup-simplify]: Simplify -1 into -1
7.825 * [taylor]: Taking taylor expansion of x in x
7.825 * [backup-simplify]: Simplify 0 into 0
7.825 * [backup-simplify]: Simplify 1 into 1
7.825 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
7.826 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
7.826 * [backup-simplify]: Simplify -1/12 into -1/12
7.826 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.827 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/12)) into 0
7.827 * [backup-simplify]: Simplify (* -1 0) into 0
7.827 * [backup-simplify]: Simplify (+ 0 0) into 0
7.827 * [backup-simplify]: Simplify 0 into 0
7.828 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.828 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.829 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
7.829 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.829 * [backup-simplify]: Simplify -1 into -1
7.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.832 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))) into 0
7.833 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
7.833 * [backup-simplify]: Simplify (+ 0 0) into 0
7.833 * [backup-simplify]: Simplify 0 into 0
7.834 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.836 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))) into 0
7.837 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
7.837 * [backup-simplify]: Simplify (+ 0 0) into 0
7.837 * [backup-simplify]: Simplify 0 into 0
7.838 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.840 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))) into 0
7.841 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
7.841 * [backup-simplify]: Simplify (+ 0 0) into 0
7.841 * [backup-simplify]: Simplify 0 into 0
7.842 * [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
7.844 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))) into 0
7.845 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
7.846 * [backup-simplify]: Simplify (+ 0 0) into 0
7.846 * [backup-simplify]: Simplify 0 into 0
7.847 * [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
7.848 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12)))))))) into 0
7.850 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
7.850 * [backup-simplify]: Simplify (+ 0 0) into 0
7.850 * [backup-simplify]: Simplify 0 into 0
7.851 * [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)) (* 0 (/ 0 1)))) into 0
7.853 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1/12))))))))) into 0
7.855 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
7.856 * [backup-simplify]: Simplify (+ 0 0) into 0
7.856 * [backup-simplify]: Simplify 0 into 0
7.856 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) (* -1/12 (/ 1 (/ 1 (- x))))) into (+ (* 1/12 x) (/ 1 x))
7.856 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
7.856 * [backup-simplify]: Simplify (log1p (fma x 1/12 (/ 1 x))) into (log1p (fma x 1/12 (/ 1 x)))
7.856 * [approximate]: Taking taylor expansion of (log1p (fma x 1/12 (/ 1 x))) in (x) around 0
7.856 * [taylor]: Taking taylor expansion of (log1p (fma x 1/12 (/ 1 x))) in x
7.856 * [taylor]: Rewrote expression to (log (+ 1 (fma x 1/12 (/ 1 x))))
7.856 * [taylor]: Taking taylor expansion of (+ 1 (fma x 1/12 (/ 1 x))) in x
7.856 * [taylor]: Taking taylor expansion of 1 in x
7.856 * [backup-simplify]: Simplify 1 into 1
7.856 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.857 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.857 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.857 * [taylor]: Taking taylor expansion of x in x
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify 1 into 1
7.857 * [taylor]: Taking taylor expansion of 1/12 in x
7.857 * [backup-simplify]: Simplify 1/12 into 1/12
7.857 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.857 * [taylor]: Taking taylor expansion of x in x
7.857 * [backup-simplify]: Simplify 0 into 0
7.857 * [backup-simplify]: Simplify 1 into 1
7.857 * [backup-simplify]: Simplify (/ 1 1) into 1
7.857 * [backup-simplify]: Simplify (+ 0 1) into 1
7.857 * [backup-simplify]: Simplify (+ 0 1) into 1
7.858 * [backup-simplify]: Simplify (log 1) into 0
7.858 * [taylor]: Taking taylor expansion of (log1p (fma x 1/12 (/ 1 x))) in x
7.858 * [taylor]: Rewrote expression to (log (+ 1 (fma x 1/12 (/ 1 x))))
7.858 * [taylor]: Taking taylor expansion of (+ 1 (fma x 1/12 (/ 1 x))) in x
7.858 * [taylor]: Taking taylor expansion of 1 in x
7.858 * [backup-simplify]: Simplify 1 into 1
7.858 * [taylor]: Taking taylor expansion of (fma x 1/12 (/ 1 x)) in x
7.858 * [taylor]: Rewrote expression to (+ (* x 1/12) (/ 1 x))
7.858 * [taylor]: Taking taylor expansion of (* x 1/12) in x
7.858 * [taylor]: Taking taylor expansion of x in x
7.858 * [backup-simplify]: Simplify 0 into 0
7.858 * [backup-simplify]: Simplify 1 into 1
7.858 * [taylor]: Taking taylor expansion of 1/12 in x
7.858 * [backup-simplify]: Simplify 1/12 into 1/12
7.858 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.858 * [taylor]: Taking taylor expansion of x in x
7.858 * [backup-simplify]: Simplify 0 into 0
7.858 * [backup-simplify]: Simplify 1 into 1
7.858 * [backup-simplify]: Simplify (/ 1 1) into 1
7.859 * [backup-simplify]: Simplify (+ 0 1) into 1
7.859 * [backup-simplify]: Simplify (+ 0 1) into 1
7.859 * [backup-simplify]: Simplify (log 1) into 0
7.859 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
7.859 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
7.860 * [backup-simplify]: Simplify (* 0 1/12) into 0
7.860 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.860 * [backup-simplify]: Simplify (+ 0 0) into 0
7.861 * [backup-simplify]: Simplify (+ 1 0) into 1
7.861 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1
7.861 * [backup-simplify]: Simplify 1 into 1
7.862 * [backup-simplify]: Simplify (+ (* 0 0) (* 1 1/12)) into 1/12
7.862 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.863 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.863 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.864 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 1/12) 1)) (pow 1 1)))) 2) into -5/12
7.864 * [backup-simplify]: Simplify -5/12 into -5/12
7.865 * [backup-simplify]: Simplify (+ (* -5/12 (pow x 2)) (+ (* 1 x) (- (log x)))) into (- x (+ (* 5/12 (pow x 2)) (log x)))
7.865 * [backup-simplify]: Simplify (log1p (fma (/ 1 x) 1/12 (/ 1 (/ 1 x)))) into (log1p (fma (/ 1 x) 1/12 x))
7.865 * [approximate]: Taking taylor expansion of (log1p (fma (/ 1 x) 1/12 x)) in (x) around 0
7.865 * [taylor]: Taking taylor expansion of (log1p (fma (/ 1 x) 1/12 x)) in x
7.865 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 1 x) 1/12 x)))
7.865 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 1 x) 1/12 x)) in x
7.865 * [taylor]: Taking taylor expansion of 1 in x
7.865 * [backup-simplify]: Simplify 1 into 1
7.865 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.865 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.865 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.865 * [taylor]: Taking taylor expansion of x in x
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 1 into 1
7.865 * [backup-simplify]: Simplify (/ 1 1) into 1
7.865 * [taylor]: Taking taylor expansion of 1/12 in x
7.865 * [backup-simplify]: Simplify 1/12 into 1/12
7.865 * [taylor]: Taking taylor expansion of x in x
7.865 * [backup-simplify]: Simplify 0 into 0
7.865 * [backup-simplify]: Simplify 1 into 1
7.866 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
7.866 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.866 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.867 * [backup-simplify]: Simplify (log 1/12) into (log 1/12)
7.867 * [taylor]: Taking taylor expansion of (log1p (fma (/ 1 x) 1/12 x)) in x
7.867 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ 1 x) 1/12 x)))
7.867 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ 1 x) 1/12 x)) in x
7.867 * [taylor]: Taking taylor expansion of 1 in x
7.867 * [backup-simplify]: Simplify 1 into 1
7.867 * [taylor]: Taking taylor expansion of (fma (/ 1 x) 1/12 x) in x
7.867 * [taylor]: Rewrote expression to (+ (* (/ 1 x) 1/12) x)
7.867 * [taylor]: Taking taylor expansion of (* (/ 1 x) 1/12) in x
7.867 * [taylor]: Taking taylor expansion of (/ 1 x) in x
7.867 * [taylor]: Taking taylor expansion of x in x
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 1 into 1
7.867 * [backup-simplify]: Simplify (/ 1 1) into 1
7.867 * [taylor]: Taking taylor expansion of 1/12 in x
7.867 * [backup-simplify]: Simplify 1/12 into 1/12
7.867 * [taylor]: Taking taylor expansion of x in x
7.867 * [backup-simplify]: Simplify 0 into 0
7.867 * [backup-simplify]: Simplify 1 into 1
7.867 * [backup-simplify]: Simplify (* 1 1/12) into 1/12
7.868 * [backup-simplify]: Simplify (+ 1/12 0) into 1/12
7.868 * [backup-simplify]: Simplify (+ 0 1/12) into 1/12
7.868 * [backup-simplify]: Simplify (log 1/12) into (log 1/12)
7.869 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log 1/12)) into (- (log 1/12) (log x))
7.869 * [backup-simplify]: Simplify (- (log 1/12) (log x)) into (- (log 1/12) (log x))
7.870 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
7.870 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1/12)) into 0
7.870 * [backup-simplify]: Simplify (+ 0 0) into 0
7.870 * [backup-simplify]: Simplify (+ 1 0) into 1
7.871 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1/12 1)))) 1) into 12
7.871 * [backup-simplify]: Simplify 12 into 12
7.872 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.872 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.873 * [backup-simplify]: Simplify (+ 0 1) into 1
7.873 * [backup-simplify]: Simplify (+ 0 1) into 1
7.874 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1/12 2))) (* 1 (/ (* 1 (pow (* 2 1) 1)) (pow 1/12 1)))) 2) into -60
7.874 * [backup-simplify]: Simplify -60 into -60
7.875 * [backup-simplify]: Simplify (+ (* -60 (pow (/ 1 x) 2)) (+ (* 12 (/ 1 x)) (- (log 1/12) (log (/ 1 x))))) into (- (+ (* 12 (/ 1 x)) (log 1/12)) (+ (log (/ 1 x)) (* 60 (/ 1 (pow x 2)))))
7.875 * [backup-simplify]: Simplify (log1p (fma (/ 1 (- x)) 1/12 (/ 1 (/ 1 (- x))))) into (log1p (fma (/ -1 x) 1/12 (* -1 x)))
7.875 * [approximate]: Taking taylor expansion of (log1p (fma (/ -1 x) 1/12 (* -1 x))) in (x) around 0
7.875 * [taylor]: Taking taylor expansion of (log1p (fma (/ -1 x) 1/12 (* -1 x))) in x
7.875 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ -1 x) 1/12 (* -1 x))))
7.875 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ -1 x) 1/12 (* -1 x))) in x
7.875 * [taylor]: Taking taylor expansion of 1 in x
7.875 * [backup-simplify]: Simplify 1 into 1
7.875 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.875 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.875 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.875 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.875 * [taylor]: Taking taylor expansion of -1 in x
7.875 * [backup-simplify]: Simplify -1 into -1
7.875 * [taylor]: Taking taylor expansion of x in x
7.875 * [backup-simplify]: Simplify 0 into 0
7.875 * [backup-simplify]: Simplify 1 into 1
7.876 * [backup-simplify]: Simplify (/ -1 1) into -1
7.876 * [taylor]: Taking taylor expansion of 1/12 in x
7.876 * [backup-simplify]: Simplify 1/12 into 1/12
7.876 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.876 * [taylor]: Taking taylor expansion of -1 in x
7.876 * [backup-simplify]: Simplify -1 into -1
7.876 * [taylor]: Taking taylor expansion of x in x
7.876 * [backup-simplify]: Simplify 0 into 0
7.876 * [backup-simplify]: Simplify 1 into 1
7.876 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
7.876 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
7.877 * [backup-simplify]: Simplify (+ 0 -1/12) into -1/12
7.877 * [backup-simplify]: Simplify (log -1/12) into (log -1/12)
7.877 * [taylor]: Taking taylor expansion of (log1p (fma (/ -1 x) 1/12 (* -1 x))) in x
7.877 * [taylor]: Rewrote expression to (log (+ 1 (fma (/ -1 x) 1/12 (* -1 x))))
7.877 * [taylor]: Taking taylor expansion of (+ 1 (fma (/ -1 x) 1/12 (* -1 x))) in x
7.877 * [taylor]: Taking taylor expansion of 1 in x
7.877 * [backup-simplify]: Simplify 1 into 1
7.877 * [taylor]: Taking taylor expansion of (fma (/ -1 x) 1/12 (* -1 x)) in x
7.877 * [taylor]: Rewrote expression to (+ (* (/ -1 x) 1/12) (* -1 x))
7.877 * [taylor]: Taking taylor expansion of (* (/ -1 x) 1/12) in x
7.877 * [taylor]: Taking taylor expansion of (/ -1 x) in x
7.877 * [taylor]: Taking taylor expansion of -1 in x
7.877 * [backup-simplify]: Simplify -1 into -1
7.877 * [taylor]: Taking taylor expansion of x in x
7.877 * [backup-simplify]: Simplify 0 into 0
7.877 * [backup-simplify]: Simplify 1 into 1
7.878 * [backup-simplify]: Simplify (/ -1 1) into -1
7.878 * [taylor]: Taking taylor expansion of 1/12 in x
7.878 * [backup-simplify]: Simplify 1/12 into 1/12
7.878 * [taylor]: Taking taylor expansion of (* -1 x) in x
7.878 * [taylor]: Taking taylor expansion of -1 in x
7.878 * [backup-simplify]: Simplify -1 into -1
7.878 * [taylor]: Taking taylor expansion of x in x
7.878 * [backup-simplify]: Simplify 0 into 0
7.878 * [backup-simplify]: Simplify 1 into 1
7.878 * [backup-simplify]: Simplify (* -1 1/12) into -1/12
7.878 * [backup-simplify]: Simplify (+ -1/12 0) into -1/12
7.879 * [backup-simplify]: Simplify (+ 0 -1/12) into -1/12
7.879 * [backup-simplify]: Simplify (log -1/12) into (log -1/12)
7.879 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1/12)) into (- (log -1/12) (log x))
7.880 * [backup-simplify]: Simplify (- (log -1/12) (log x)) into (- (log -1/12) (log x))
7.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
7.881 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 1/12)) into 0
7.881 * [backup-simplify]: Simplify (* -1 0) into 0
7.882 * [backup-simplify]: Simplify (+ 0 0) into 0
7.882 * [backup-simplify]: Simplify (+ 1 0) into 1
7.883 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1/12 1)))) 1) into -12
7.883 * [backup-simplify]: Simplify -12 into -12
7.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
7.885 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 1/12))) into 0
7.886 * [backup-simplify]: Simplify (+ (* -1 1) (* 0 0)) into -1
7.887 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.887 * [backup-simplify]: Simplify (+ 0 -1) into -1
7.890 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1/12 2))) (* 1 (/ (* 1 (pow (* 2 -1) 1)) (pow -1/12 1)))) 2) into -60
7.890 * [backup-simplify]: Simplify -60 into -60
7.891 * [backup-simplify]: Simplify (+ (* -60 (pow (/ 1 (- x)) 2)) (+ (* -12 (/ 1 (- x))) (- (log -1/12) (log (/ 1 (- x)))))) into (- (+ (log -1/12) (* 12 (/ 1 x))) (+ (log (/ -1 x)) (* 60 (/ 1 (pow x 2)))))
7.891 * * * [progress]: simplifying candidates
7.892 * [simplify]: Simplifying:
  (exp (log1p (fma x 1/12 (/ 1 x))))
  (expm1 (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (log1p (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (log (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (exp (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (* (cbrt (expm1 (log1p (fma x 1/12 (/ 1 x))))) (cbrt (expm1 (log1p (fma x 1/12 (/ 1 x))))))
  (cbrt (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (* (* (expm1 (log1p (fma x 1/12 (/ 1 x)))) (expm1 (log1p (fma x 1/12 (/ 1 x))))) (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (sqrt (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (sqrt (expm1 (log1p (fma x 1/12 (/ 1 x)))))
  (expm1 (fma x 1/12 (/ 1 x)))
  (log1p (fma x 1/12 (/ 1 x)))
  (* x 1/12)
  (log (fma x 1/12 (/ 1 x)))
  (exp (fma x 1/12 (/ 1 x)))
  (* (cbrt (fma x 1/12 (/ 1 x))) (cbrt (fma x 1/12 (/ 1 x))))
  (cbrt (fma x 1/12 (/ 1 x)))
  (* (* (fma x 1/12 (/ 1 x)) (fma x 1/12 (/ 1 x))) (fma x 1/12 (/ 1 x)))
  (sqrt (fma x 1/12 (/ 1 x)))
  (sqrt (fma x 1/12 (/ 1 x)))
  (+ 1 (fma x 1/12 (/ 1 x)))
  (expm1 (log1p (fma x 1/12 (/ 1 x))))
  (log1p (log1p (fma x 1/12 (/ 1 x))))
  (log (log1p (fma x 1/12 (/ 1 x))))
  (exp (log1p (fma x 1/12 (/ 1 x))))
  (* (cbrt (log1p (fma x 1/12 (/ 1 x)))) (cbrt (log1p (fma x 1/12 (/ 1 x)))))
  (cbrt (log1p (fma x 1/12 (/ 1 x))))
  (* (* (log1p (fma x 1/12 (/ 1 x))) (log1p (fma x 1/12 (/ 1 x)))) (log1p (fma x 1/12 (/ 1 x))))
  (sqrt (log1p (fma x 1/12 (/ 1 x))))
  (sqrt (log1p (fma x 1/12 (/ 1 x))))
  (- (+ (* x (exp (- (log x)))) (+ (* 1/12 (* (pow x 2) (exp (- (log x))))) (exp (- (log x))))) 1)
  (- (+ (* 12 (/ (exp (- (log 1/12) (log (/ 1 x)))) x)) (+ (exp (- (log 1/12) (log (/ 1 x)))) (* 12 (/ (exp (- (log 1/12) (log (/ 1 x)))) (pow x 2))))) 1)
  (- (+ (* 12 (/ (exp (- (log -1/12) (log (/ -1 x)))) x)) (+ (* 12 (/ (exp (- (log -1/12) (log (/ -1 x)))) (pow x 2))) (exp (- (log -1/12) (log (/ -1 x)))))) 1)
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (+ (* 1/12 x) (/ 1 x))
  (- x (+ (* 5/12 (pow x 2)) (log x)))
  (- (+ (* 12 (/ 1 x)) (log 1/12)) (+ (log (/ 1 x)) (* 60 (/ 1 (pow x 2)))))
  (- (+ (log -1/12) (* 12 (/ 1 x))) (+ (log (/ -1 x)) (* 60 (/ 1 (pow x 2)))))
7.894 * * [simplify]: iteration 0: 87 enodes
7.932 * * [simplify]: iteration 1: 192 enodes
7.994 * * [simplify]: iteration 2: 506 enodes
8.309 * * [simplify]: iteration 3: 1582 enodes
10.732 * * [simplify]: iteration 4: 4611 enodes
11.764 * * [simplify]: iteration complete: 5000 enodes
11.764 * * [simplify]: Extracting #0: cost 24 inf + 0
11.765 * * [simplify]: Extracting #1: cost 252 inf + 0
11.769 * * [simplify]: Extracting #2: cost 851 inf + 1705
11.786 * * [simplify]: Extracting #3: cost 471 inf + 55910
11.836 * * [simplify]: Extracting #4: cost 52 inf + 121348
11.892 * * [simplify]: Extracting #5: cost 0 inf + 129267
11.976 * [simplify]: Simplified to:
  (exp (log1p (fma 1/12 x (/ 1 x))))
  (expm1 (fma 1/12 x (/ 1 x)))
  (log1p (fma 1/12 x (/ 1 x)))
  (log (fma 1/12 x (/ 1 x)))
  (exp (fma 1/12 x (/ 1 x)))
  (* (cbrt (fma 1/12 x (/ 1 x))) (cbrt (fma 1/12 x (/ 1 x))))
  (cbrt (fma 1/12 x (/ 1 x)))
  (* (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))) (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (expm1 (fma 1/12 x (/ 1 x)))
  (log1p (fma 1/12 x (/ 1 x)))
  (* x 1/12)
  (log (fma 1/12 x (/ 1 x)))
  (exp (fma 1/12 x (/ 1 x)))
  (* (cbrt (fma 1/12 x (/ 1 x))) (cbrt (fma 1/12 x (/ 1 x))))
  (cbrt (fma 1/12 x (/ 1 x)))
  (* (* (fma 1/12 x (/ 1 x)) (fma 1/12 x (/ 1 x))) (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (sqrt (fma 1/12 x (/ 1 x)))
  (+ (fma x 1/12 1) (/ 1 x))
  (fma 1/12 x (/ 1 x))
  (log1p (log1p (fma 1/12 x (/ 1 x))))
  (log (log1p (fma 1/12 x (/ 1 x))))
  (exp (log1p (fma 1/12 x (/ 1 x))))
  (* (cbrt (log1p (fma 1/12 x (/ 1 x)))) (cbrt (log1p (fma 1/12 x (/ 1 x)))))
  (cbrt (log1p (fma 1/12 x (/ 1 x))))
  (* (* (log1p (fma 1/12 x (/ 1 x))) (log1p (fma 1/12 x (/ 1 x)))) (log1p (fma 1/12 x (/ 1 x))))
  (sqrt (log1p (fma 1/12 x (/ 1 x))))
  (sqrt (log1p (fma 1/12 x (/ 1 x))))
  (fma (fma (* x 1/12) x x) (/ 1 x) (- (/ 1 x) 1))
  (fma x 1/12 (- (/ (/ x x) x) (- 1 (/ x x))))
  (+ -1 (fma (/ (/ -1/12 (/ -1 x)) x) (+ 12 (/ 12 x)) (/ -1/12 (/ -1 x))))
  (fma 1/12 x (/ 1 x))
  (fma 1/12 x (/ 1 x))
  (fma 1/12 x (/ 1 x))
  (- x (fma x (* 5/12 x) (log x)))
  (+ (+ (log 1/12) (/ 12 x)) (- (log x) (/ (/ 60 x) x)))
  (fma (/ 60 x) (/ -1 x) (- (/ 12 x) (- (log (/ -1 x)) (log -1/12))))
11.979 * * * [progress]: adding candidates to table
12.221 * [progress]: [Phase 3 of 3] Extracting.
12.221 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+ (expm1 (+ (+ (log 1/12) (/ 12 x)) (- (log x) (/ (/ 60 x) x)))) 1/2))> #<alt (λ (x) (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))> #<alt (λ (x) (+ (fma x 1/12 (/ 1 x)) 1/2))>)
12.221 * * * [regime-changes]: Trying 1 branch expressions: (x)
12.221 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+ (expm1 (+ (+ (log 1/12) (/ 12 x)) (- (log x) (/ (/ 60 x) x)))) 1/2))> #<alt (λ (x) (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x)))> #<alt (λ (x) (+ (fma x 1/12 (/ 1 x)) 1/2))>)
12.274 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
12.274 * [simplify]: Simplifying:
  (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))
12.275 * * [simplify]: iteration 0: 8 enodes
12.275 * * [simplify]: iteration complete: 8 enodes
12.275 * * [simplify]: Extracting #0: cost 1 inf + 0
12.275 * * [simplify]: Extracting #1: cost 3 inf + 0
12.275 * * [simplify]: Extracting #2: cost 6 inf + 0
12.275 * * [simplify]: Extracting #3: cost 7 inf + 1
12.276 * * [simplify]: Extracting #4: cost 0 inf + 589
12.276 * [simplify]: Simplified to:
  (/ (exp x) (fma (* x x) (fma x 1/6 1/2) x))
15.508 * [regime-testing]: Baseline error score: 0.8902118279185796
15.525 * [regime-testing]: Oracle error score: 0.737773301764786
15.544 * [regime-testing]: End program error score: 0.8902118279185796
15.654 * [regime-testing]: Target error score: 41.15519055100397