22.977 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.022 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying:
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.024 * * [simplify]: Extracting # 0 : cost  0
0.024 * * [simplify]: Extracting # 1 : cost  0
0.024 * * [simplify]: Extracting # 2 : cost  0
0.024 * * [simplify]: Extracting # 3 : cost  0
0.024 * * [simplify]: Extracting # 4 : cost  0
0.024 * * [simplify]: Extracting # 5 : cost  0
0.024 * * [simplify]: Extracting # 6 : cost  0
0.024 * * [simplify]: iteration  0 :  10  enodes  (cost  25 )
0.030 * * [simplify]: Extracting # 0 : cost  0
0.030 * * [simplify]: Extracting # 1 : cost  0
0.030 * * [simplify]: Extracting # 2 : cost  0
0.031 * * [simplify]: iteration  1 :  32  enodes  (cost  25 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: Extracting # 3 : cost  0
0.053 * * [simplify]: Extracting # 4 : cost  0
0.054 * * [simplify]: iteration  2 :  168  enodes  (cost  23 )
0.250 * * [simplify]: Extracting # 0 : cost  0
0.252 * * [simplify]: Extracting # 1 : cost  0
0.254 * * [simplify]: Extracting # 2 : cost  0
0.256 * * [simplify]: Extracting # 3 : cost  0
0.258 * * [simplify]: Extracting # 4 : cost  0
0.260 * * [simplify]: iteration  3 :  894  enodes  (cost  19 )
3.790 * * [simplify]: Extracting # 0 : cost  0
3.806 * * [simplify]: Extracting # 1 : cost  0
3.812 * * [simplify]: Extracting # 2 : cost  0
3.818 * * [simplify]: Extracting # 3 : cost  0
3.822 * * [simplify]: Extracting # 4 : cost  0
3.827 * * [simplify]: iteration  4 :  3353  enodes  (cost  15 )
6.016 * * [simplify]: Extracting # 0 : cost  0
6.021 * * [simplify]: Extracting # 1 : cost  0
6.026 * * [simplify]: Extracting # 2 : cost  0
6.031 * * [simplify]: Extracting # 3 : cost  0
6.035 * * [simplify]: Extracting # 4 : cost  0
6.043 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
6.043 * [simplify]: Simplified to:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
6.047 * * [progress]: iteration 1 / 4
6.047 * * * [progress]: picking best candidate
6.050 * * * * [pick]: Picked  #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>
6.050 * * * [progress]: localizing error
6.062 * * * [progress]: generating rewritten candidates
6.062 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2 1 2)
6.076 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
6.161 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1)
6.190 * * * [progress]: generating series expansions
6.190 * * * * [progress]: [ 1 / 3 ] generating series at (2 2 1 2)
6.190 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2))
6.190 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
6.190 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.190 * [taylor]: Taking taylor expansion of 1.0 in i
6.190 * [backup-simplify]: Simplify 1.0 into 1.0
6.190 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.190 * [taylor]: Taking taylor expansion of i in i
6.190 * [backup-simplify]: Simplify 0 into 0
6.190 * [backup-simplify]: Simplify 1 into 1
6.191 * [backup-simplify]: Simplify (* 1 1) into 1
6.191 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.191 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.191 * [taylor]: Taking taylor expansion of 1.0 in i
6.192 * [backup-simplify]: Simplify 1.0 into 1.0
6.192 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.192 * [taylor]: Taking taylor expansion of i in i
6.192 * [backup-simplify]: Simplify 0 into 0
6.192 * [backup-simplify]: Simplify 1 into 1
6.192 * [backup-simplify]: Simplify (* 1 1) into 1
6.193 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.193 * [backup-simplify]: Simplify 1.0 into 1.0
6.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.194 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
6.194 * [backup-simplify]: Simplify 0 into 0
6.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.196 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.196 * [backup-simplify]: Simplify 0 into 0
6.198 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.199 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.199 * [backup-simplify]: Simplify 0 into 0
6.200 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.201 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.201 * [backup-simplify]: Simplify 0 into 0
6.202 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.203 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.203 * [backup-simplify]: Simplify 0 into 0
6.205 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.206 * [backup-simplify]: Simplify 0 into 0
6.206 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.207 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2))
6.207 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.207 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.207 * [taylor]: Taking taylor expansion of 1.0 in i
6.207 * [backup-simplify]: Simplify 1.0 into 1.0
6.207 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.207 * [taylor]: Taking taylor expansion of i in i
6.207 * [backup-simplify]: Simplify 0 into 0
6.207 * [backup-simplify]: Simplify 1 into 1
6.207 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.207 * [taylor]: Taking taylor expansion of 1.0 in i
6.207 * [backup-simplify]: Simplify 1.0 into 1.0
6.207 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.207 * [taylor]: Taking taylor expansion of i in i
6.207 * [backup-simplify]: Simplify 0 into 0
6.207 * [backup-simplify]: Simplify 1 into 1
6.208 * [backup-simplify]: Simplify (* 1 1) into 1
6.208 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.208 * [backup-simplify]: Simplify 1.0 into 1.0
6.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.210 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.210 * [backup-simplify]: Simplify 0 into 0
6.210 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.211 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.211 * [backup-simplify]: Simplify 0 into 0
6.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.214 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.214 * [backup-simplify]: Simplify 0 into 0
6.215 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.216 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.216 * [backup-simplify]: Simplify 0 into 0
6.218 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.219 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.219 * [backup-simplify]: Simplify 0 into 0
6.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.223 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.223 * [backup-simplify]: Simplify 0 into 0
6.223 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.223 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2))
6.223 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.223 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.223 * [taylor]: Taking taylor expansion of 1.0 in i
6.223 * [backup-simplify]: Simplify 1.0 into 1.0
6.223 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.223 * [taylor]: Taking taylor expansion of i in i
6.223 * [backup-simplify]: Simplify 0 into 0
6.224 * [backup-simplify]: Simplify 1 into 1
6.224 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.224 * [taylor]: Taking taylor expansion of 1.0 in i
6.224 * [backup-simplify]: Simplify 1.0 into 1.0
6.224 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.224 * [taylor]: Taking taylor expansion of i in i
6.224 * [backup-simplify]: Simplify 0 into 0
6.224 * [backup-simplify]: Simplify 1 into 1
6.224 * [backup-simplify]: Simplify (* 1 1) into 1
6.225 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.225 * [backup-simplify]: Simplify 1.0 into 1.0
6.225 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.226 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.226 * [backup-simplify]: Simplify 0 into 0
6.227 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.228 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.228 * [backup-simplify]: Simplify 0 into 0
6.229 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.230 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.230 * [backup-simplify]: Simplify 0 into 0
6.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.237 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.238 * [backup-simplify]: Simplify 0 into 0
6.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.241 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.241 * [backup-simplify]: Simplify 0 into 0
6.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.244 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.244 * [backup-simplify]: Simplify 0 into 0
6.244 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
6.245 * * * * [progress]: [ 2 / 3 ] generating series at (2)
6.246 * [backup-simplify]: Simplify (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) into (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2)))))
6.246 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in (i) around 0
6.246 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.246 * [taylor]: Taking taylor expansion of 0.25 in i
6.246 * [backup-simplify]: Simplify 0.25 into 0.25
6.246 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.246 * [taylor]: Taking taylor expansion of 4.0 in i
6.246 * [backup-simplify]: Simplify 4.0 into 4.0
6.246 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.246 * [taylor]: Taking taylor expansion of 1.0 in i
6.246 * [backup-simplify]: Simplify 1.0 into 1.0
6.246 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.246 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.246 * [taylor]: Taking taylor expansion of i in i
6.246 * [backup-simplify]: Simplify 0 into 0
6.246 * [backup-simplify]: Simplify 1 into 1
6.246 * [backup-simplify]: Simplify (* 1 1) into 1
6.247 * [backup-simplify]: Simplify (/ 1 1) into 1
6.247 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.248 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.249 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.249 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.249 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.249 * [taylor]: Taking taylor expansion of 0.25 in i
6.249 * [backup-simplify]: Simplify 0.25 into 0.25
6.249 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.249 * [taylor]: Taking taylor expansion of 4.0 in i
6.249 * [backup-simplify]: Simplify 4.0 into 4.0
6.249 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.249 * [taylor]: Taking taylor expansion of 1.0 in i
6.249 * [backup-simplify]: Simplify 1.0 into 1.0
6.249 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.249 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.249 * [taylor]: Taking taylor expansion of i in i
6.249 * [backup-simplify]: Simplify 0 into 0
6.249 * [backup-simplify]: Simplify 1 into 1
6.250 * [backup-simplify]: Simplify (* 1 1) into 1
6.250 * [backup-simplify]: Simplify (/ 1 1) into 1
6.250 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.250 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.251 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.251 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.252 * [backup-simplify]: Simplify -0.25 into -0.25
6.252 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.252 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.253 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.253 * [backup-simplify]: Simplify (- 0) into 0
6.253 * [backup-simplify]: Simplify (+ 0 0) into 0
6.254 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))))) into 0
6.254 * [backup-simplify]: Simplify 0 into 0
6.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.255 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.255 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.256 * [backup-simplify]: Simplify (- 0) into 0
6.256 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.259 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 1.0)
6.259 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.260 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.260 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.261 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.261 * [backup-simplify]: Simplify (- 0) into 0
6.262 * [backup-simplify]: Simplify (+ 0 0) into 0
6.262 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 1.0) (/ 0 (- 1.0))))) into 0
6.262 * [backup-simplify]: Simplify 0 into 0
6.263 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.264 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.265 * [backup-simplify]: Simplify (- 0) into 0
6.265 * [backup-simplify]: Simplify (+ 0 0) into 0
6.269 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 1.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
6.269 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.271 * [backup-simplify]: Simplify (+ (* (- 4.0) (pow i 6)) (+ (* (- 1.0) (pow i 4)) (* -0.25 (pow i 2)))) into (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
6.271 * [backup-simplify]: Simplify (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* (/ 1 i) (/ 1 i)))) (* 2.0 2.0))) into (/ 0.25 (- 4.0 (* 1.0 (pow i 2))))
6.271 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.271 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.272 * [taylor]: Taking taylor expansion of 0.25 in i
6.272 * [backup-simplify]: Simplify 0.25 into 0.25
6.272 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.272 * [taylor]: Taking taylor expansion of 4.0 in i
6.272 * [backup-simplify]: Simplify 4.0 into 4.0
6.272 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.272 * [taylor]: Taking taylor expansion of 1.0 in i
6.272 * [backup-simplify]: Simplify 1.0 into 1.0
6.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.272 * [taylor]: Taking taylor expansion of i in i
6.272 * [backup-simplify]: Simplify 0 into 0
6.272 * [backup-simplify]: Simplify 1 into 1
6.272 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.272 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.272 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.272 * [taylor]: Taking taylor expansion of 0.25 in i
6.272 * [backup-simplify]: Simplify 0.25 into 0.25
6.272 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.272 * [taylor]: Taking taylor expansion of 4.0 in i
6.272 * [backup-simplify]: Simplify 4.0 into 4.0
6.272 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.272 * [taylor]: Taking taylor expansion of 1.0 in i
6.272 * [backup-simplify]: Simplify 1.0 into 1.0
6.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.273 * [taylor]: Taking taylor expansion of i in i
6.273 * [backup-simplify]: Simplify 0 into 0
6.273 * [backup-simplify]: Simplify 1 into 1
6.273 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.273 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.273 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.273 * [backup-simplify]: Simplify (+ 0 0) into 0
6.274 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.274 * [backup-simplify]: Simplify 0 into 0
6.274 * [backup-simplify]: Simplify (* 1 1) into 1
6.274 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.275 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.275 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.279 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.279 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.281 * [backup-simplify]: Simplify (- 0) into 0
6.281 * [backup-simplify]: Simplify (+ 0 0) into 0
6.283 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.283 * [backup-simplify]: Simplify 0 into 0
6.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.285 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.285 * [backup-simplify]: Simplify (- 0) into 0
6.286 * [backup-simplify]: Simplify (+ 0 0) into 0
6.293 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.015625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.00390625
6.293 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.293 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.294 * [backup-simplify]: Simplify (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))) (* 2.0 2.0))) into (/ 0.25 (- 4.0 (* 1.0 (pow i 2))))
6.294 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.294 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.294 * [taylor]: Taking taylor expansion of 0.25 in i
6.294 * [backup-simplify]: Simplify 0.25 into 0.25
6.294 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.294 * [taylor]: Taking taylor expansion of 4.0 in i
6.294 * [backup-simplify]: Simplify 4.0 into 4.0
6.295 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.295 * [taylor]: Taking taylor expansion of 1.0 in i
6.295 * [backup-simplify]: Simplify 1.0 into 1.0
6.295 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.295 * [taylor]: Taking taylor expansion of i in i
6.295 * [backup-simplify]: Simplify 0 into 0
6.295 * [backup-simplify]: Simplify 1 into 1
6.295 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.296 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.296 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.296 * [taylor]: Taking taylor expansion of 0.25 in i
6.296 * [backup-simplify]: Simplify 0.25 into 0.25
6.296 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.296 * [taylor]: Taking taylor expansion of 4.0 in i
6.296 * [backup-simplify]: Simplify 4.0 into 4.0
6.296 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.296 * [taylor]: Taking taylor expansion of 1.0 in i
6.296 * [backup-simplify]: Simplify 1.0 into 1.0
6.296 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.296 * [taylor]: Taking taylor expansion of i in i
6.296 * [backup-simplify]: Simplify 0 into 0
6.296 * [backup-simplify]: Simplify 1 into 1
6.296 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.297 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.297 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.297 * [backup-simplify]: Simplify (+ 0 0) into 0
6.298 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.298 * [backup-simplify]: Simplify 0 into 0
6.299 * [backup-simplify]: Simplify (* 1 1) into 1
6.299 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.299 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.300 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.305 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.305 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.305 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.306 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.306 * [backup-simplify]: Simplify (- 0) into 0
6.307 * [backup-simplify]: Simplify (+ 0 0) into 0
6.309 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.309 * [backup-simplify]: Simplify 0 into 0
6.310 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.311 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.311 * [backup-simplify]: Simplify (- 0) into 0
6.311 * [backup-simplify]: Simplify (+ 0 0) into 0
6.318 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.015625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.00390625
6.318 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.318 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 0.0625)) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.319 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1)
6.319 * [backup-simplify]: Simplify (- (* 2.0 2.0) (/ 1.0 (* i i))) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
6.319 * [approximate]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in (i) around 0
6.319 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.319 * [taylor]: Taking taylor expansion of 4.0 in i
6.319 * [backup-simplify]: Simplify 4.0 into 4.0
6.319 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.319 * [taylor]: Taking taylor expansion of 1.0 in i
6.319 * [backup-simplify]: Simplify 1.0 into 1.0
6.319 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.319 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.319 * [taylor]: Taking taylor expansion of i in i
6.319 * [backup-simplify]: Simplify 0 into 0
6.319 * [backup-simplify]: Simplify 1 into 1
6.320 * [backup-simplify]: Simplify (* 1 1) into 1
6.320 * [backup-simplify]: Simplify (/ 1 1) into 1
6.320 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.320 * [taylor]: Taking taylor expansion of 4.0 in i
6.320 * [backup-simplify]: Simplify 4.0 into 4.0
6.320 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.320 * [taylor]: Taking taylor expansion of 1.0 in i
6.320 * [backup-simplify]: Simplify 1.0 into 1.0
6.320 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.320 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.320 * [taylor]: Taking taylor expansion of i in i
6.321 * [backup-simplify]: Simplify 0 into 0
6.321 * [backup-simplify]: Simplify 1 into 1
6.321 * [backup-simplify]: Simplify (* 1 1) into 1
6.321 * [backup-simplify]: Simplify (/ 1 1) into 1
6.322 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.322 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.323 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.323 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.324 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.325 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.325 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.326 * [backup-simplify]: Simplify (- 0) into 0
6.326 * [backup-simplify]: Simplify (+ 0 0) into 0
6.326 * [backup-simplify]: Simplify 0 into 0
6.327 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.328 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.329 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.329 * [backup-simplify]: Simplify (- 0) into 0
6.330 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.330 * [backup-simplify]: Simplify 4.0 into 4.0
6.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.332 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.333 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.333 * [backup-simplify]: Simplify (- 0) into 0
6.334 * [backup-simplify]: Simplify (+ 0 0) into 0
6.334 * [backup-simplify]: Simplify 0 into 0
6.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.336 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.338 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.338 * [backup-simplify]: Simplify (- 0) into 0
6.338 * [backup-simplify]: Simplify (+ 0 0) into 0
6.338 * [backup-simplify]: Simplify 0 into 0
6.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.341 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.342 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.342 * [backup-simplify]: Simplify (- 0) into 0
6.343 * [backup-simplify]: Simplify (+ 0 0) into 0
6.343 * [backup-simplify]: Simplify 0 into 0
6.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.345 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.347 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.347 * [backup-simplify]: Simplify (- 0) into 0
6.348 * [backup-simplify]: Simplify (+ 0 0) into 0
6.348 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.351 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.352 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.353 * [backup-simplify]: Simplify (- 0) into 0
6.353 * [backup-simplify]: Simplify (+ 0 0) into 0
6.353 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.356 * [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
6.358 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.359 * [backup-simplify]: Simplify (- 0) into 0
6.359 * [backup-simplify]: Simplify (+ 0 0) into 0
6.359 * [backup-simplify]: Simplify 0 into 0
6.360 * [backup-simplify]: Simplify (+ 4.0 (* (- 1.0) (pow (/ 1 i) 2))) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
6.364 * [backup-simplify]: Simplify (- (* 2.0 2.0) (/ 1.0 (* (/ 1 i) (/ 1 i)))) into (- 4.0 (* 1.0 (pow i 2)))
6.364 * [approximate]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in (i) around 0
6.364 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.364 * [taylor]: Taking taylor expansion of 4.0 in i
6.364 * [backup-simplify]: Simplify 4.0 into 4.0
6.364 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.364 * [taylor]: Taking taylor expansion of 1.0 in i
6.365 * [backup-simplify]: Simplify 1.0 into 1.0
6.365 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.365 * [taylor]: Taking taylor expansion of i in i
6.365 * [backup-simplify]: Simplify 0 into 0
6.365 * [backup-simplify]: Simplify 1 into 1
6.365 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.365 * [taylor]: Taking taylor expansion of 4.0 in i
6.365 * [backup-simplify]: Simplify 4.0 into 4.0
6.365 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.365 * [taylor]: Taking taylor expansion of 1.0 in i
6.365 * [backup-simplify]: Simplify 1.0 into 1.0
6.365 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.365 * [taylor]: Taking taylor expansion of i in i
6.365 * [backup-simplify]: Simplify 0 into 0
6.365 * [backup-simplify]: Simplify 1 into 1
6.366 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.366 * [backup-simplify]: Simplify 4.0 into 4.0
6.366 * [backup-simplify]: Simplify (+ 0 0) into 0
6.366 * [backup-simplify]: Simplify 0 into 0
6.366 * [backup-simplify]: Simplify (* 1 1) into 1
6.367 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.367 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.368 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.368 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.369 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.370 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.370 * [backup-simplify]: Simplify (- 0) into 0
6.371 * [backup-simplify]: Simplify (+ 0 0) into 0
6.371 * [backup-simplify]: Simplify 0 into 0
6.371 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.372 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.373 * [backup-simplify]: Simplify (- 0) into 0
6.373 * [backup-simplify]: Simplify (+ 0 0) into 0
6.373 * [backup-simplify]: Simplify 0 into 0
6.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.375 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.376 * [backup-simplify]: Simplify (- 0) into 0
6.376 * [backup-simplify]: Simplify (+ 0 0) into 0
6.376 * [backup-simplify]: Simplify 0 into 0
6.377 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.379 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.379 * [backup-simplify]: Simplify (- 0) into 0
6.379 * [backup-simplify]: Simplify (+ 0 0) into 0
6.379 * [backup-simplify]: Simplify 0 into 0
6.381 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.382 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.382 * [backup-simplify]: Simplify (- 0) into 0
6.383 * [backup-simplify]: Simplify (+ 0 0) into 0
6.383 * [backup-simplify]: Simplify 0 into 0
6.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.386 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.386 * [backup-simplify]: Simplify (- 0) into 0
6.387 * [backup-simplify]: Simplify (+ 0 0) into 0
6.387 * [backup-simplify]: Simplify 0 into 0
6.387 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 i) 2)) 4.0) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
6.388 * [backup-simplify]: Simplify (- (* 2.0 2.0) (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))) into (- 4.0 (* 1.0 (pow i 2)))
6.388 * [approximate]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in (i) around 0
6.388 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.388 * [taylor]: Taking taylor expansion of 4.0 in i
6.388 * [backup-simplify]: Simplify 4.0 into 4.0
6.388 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.388 * [taylor]: Taking taylor expansion of 1.0 in i
6.388 * [backup-simplify]: Simplify 1.0 into 1.0
6.388 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.388 * [taylor]: Taking taylor expansion of i in i
6.388 * [backup-simplify]: Simplify 0 into 0
6.388 * [backup-simplify]: Simplify 1 into 1
6.388 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.388 * [taylor]: Taking taylor expansion of 4.0 in i
6.388 * [backup-simplify]: Simplify 4.0 into 4.0
6.388 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.388 * [taylor]: Taking taylor expansion of 1.0 in i
6.388 * [backup-simplify]: Simplify 1.0 into 1.0
6.388 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.388 * [taylor]: Taking taylor expansion of i in i
6.389 * [backup-simplify]: Simplify 0 into 0
6.389 * [backup-simplify]: Simplify 1 into 1
6.389 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.389 * [backup-simplify]: Simplify 4.0 into 4.0
6.389 * [backup-simplify]: Simplify (+ 0 0) into 0
6.389 * [backup-simplify]: Simplify 0 into 0
6.390 * [backup-simplify]: Simplify (* 1 1) into 1
6.390 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.391 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.392 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.392 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.393 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.393 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.394 * [backup-simplify]: Simplify (- 0) into 0
6.394 * [backup-simplify]: Simplify (+ 0 0) into 0
6.394 * [backup-simplify]: Simplify 0 into 0
6.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.396 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.396 * [backup-simplify]: Simplify (- 0) into 0
6.396 * [backup-simplify]: Simplify (+ 0 0) into 0
6.397 * [backup-simplify]: Simplify 0 into 0
6.397 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.399 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.399 * [backup-simplify]: Simplify (- 0) into 0
6.399 * [backup-simplify]: Simplify (+ 0 0) into 0
6.399 * [backup-simplify]: Simplify 0 into 0
6.400 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.402 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.402 * [backup-simplify]: Simplify (- 0) into 0
6.402 * [backup-simplify]: Simplify (+ 0 0) into 0
6.402 * [backup-simplify]: Simplify 0 into 0
6.404 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.405 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.406 * [backup-simplify]: Simplify (- 0) into 0
6.406 * [backup-simplify]: Simplify (+ 0 0) into 0
6.406 * [backup-simplify]: Simplify 0 into 0
6.407 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.409 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.410 * [backup-simplify]: Simplify (- 0) into 0
6.410 * [backup-simplify]: Simplify (+ 0 0) into 0
6.410 * [backup-simplify]: Simplify 0 into 0
6.411 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 (- i)) 2)) 4.0) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
6.411 * * * [progress]: simplifying candidates
6.414 * [simplify]: Simplifying:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (- (log 1.0) (+ (log i) (log i)))
  (- (log 1.0) (log (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log1p (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 1)
  (- 1)
  (- 1)
  (- (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 0 (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- 0 (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- 0 (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log 1) (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- (log 1) (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- (log 1) (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (exp (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (* (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))) (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))))
  (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (* (* (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 1)
  (- (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
  (/ (* (cbrt 1) (cbrt 1)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (cbrt 1) (* 2.0 2.0))
  (/ (sqrt 1) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (sqrt 1) (* 2.0 2.0))
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ 1 (* 2.0 2.0))
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 1)
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (cbrt 1))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (sqrt 1))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 1)
  (/ 1 (* (- (pow (* 2.0 2.0) 3) (pow (/ 1.0 (* i i)) 3)) (* 2.0 2.0)))
  (/ 1 (* (- (* (* 2.0 2.0) (* 2.0 2.0)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) (* 2.0 2.0)))
  (fma 2.0 2.0 (- (* (cbrt (/ 1.0 (* i i))) (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))))))
  (fma (- (cbrt (/ 1.0 (* i i)))) (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))) (* (cbrt (/ 1.0 (* i i))) (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))))
  (fma 2.0 2.0 (- (* (sqrt (/ 1.0 (* i i))) (sqrt (/ 1.0 (* i i))))))
  (fma (- (sqrt (/ 1.0 (* i i)))) (sqrt (/ 1.0 (* i i))) (* (sqrt (/ 1.0 (* i i))) (sqrt (/ 1.0 (* i i)))))
  (fma 2.0 2.0 (- (* (/ (cbrt 1.0) i) (/ (* (cbrt 1.0) (cbrt 1.0)) i))))
  (fma (- (/ (cbrt 1.0) i)) (/ (* (cbrt 1.0) (cbrt 1.0)) i) (* (/ (cbrt 1.0) i) (/ (* (cbrt 1.0) (cbrt 1.0)) i)))
  (fma 2.0 2.0 (- (* (/ (sqrt 1.0) i) (/ (sqrt 1.0) i))))
  (fma (- (/ (sqrt 1.0) i)) (/ (sqrt 1.0) i) (* (/ (sqrt 1.0) i) (/ (sqrt 1.0) i)))
  (fma 2.0 2.0 (- (* (/ 1.0 i) (/ 1 i))))
  (fma (- (/ 1.0 i)) (/ 1 i) (* (/ 1.0 i) (/ 1 i)))
  (fma 2.0 2.0 (- (* (/ 1.0 (* i i)) 1)))
  (fma (- (/ 1.0 (* i i))) 1 (* (/ 1.0 (* i i)) 1))
  (fma 2.0 2.0 (- (* (/ 1 (* i i)) 1.0)))
  (fma (- (/ 1 (* i i))) 1.0 (* (/ 1 (* i i)) 1.0))
  (expm1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (log1p (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (- (/ 1.0 (* i i)))
  (/ (exp (* 2.0 2.0)) (exp (/ 1.0 (* i i))))
  (log (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (exp (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (- (pow (* 2.0 2.0) 3) (pow (/ 1.0 (* i i)) 3))
  (+ (* (* 2.0 2.0) (* 2.0 2.0)) (+ (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (* (* 2.0 2.0) (/ 1.0 (* i i)))))
  (- (/ 1.0 (* i i)))
  (- (* (* 2.0 2.0) (* 2.0 2.0)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i))))
  (+ (* 2.0 2.0) (/ 1.0 (* i i)))
  (+ 2.0 (sqrt (/ 1.0 (* i i))))
  (- 2.0 (sqrt (/ 1.0 (* i i))))
  (+ 2.0 (/ (sqrt 1.0) i))
  (- 2.0 (/ (sqrt 1.0) i))
  (- (/ 1.0 (* i i)))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
6.419 * * [simplify]: Extracting # 0 : cost  0
6.419 * * [simplify]: Extracting # 1 : cost  0
6.419 * * [simplify]: Extracting # 2 : cost  0
6.420 * * [simplify]: Extracting # 3 : cost  0
6.420 * * [simplify]: Extracting # 4 : cost  0
6.421 * * [simplify]: Extracting # 5 : cost  0
6.421 * * [simplify]: Extracting # 6 : cost  0
6.422 * * [simplify]: Extracting # 7 : cost  0
6.422 * * [simplify]: Extracting # 8 : cost  0
6.423 * * [simplify]: Extracting # 9 : cost  0
6.423 * * [simplify]: iteration  0 :  189  enodes  (cost  1478 )
6.489 * * [simplify]: Extracting # 0 : cost  0
6.491 * * [simplify]: Extracting # 1 : cost  0
6.492 * * [simplify]: Extracting # 2 : cost  0
6.492 * * [simplify]: Extracting # 3 : cost  0
6.493 * * [simplify]: Extracting # 4 : cost  0
6.494 * * [simplify]: iteration  1 :  450  enodes  (cost  1301 )
6.806 * * [simplify]: Extracting # 0 : cost  0
6.810 * * [simplify]: Extracting # 1 : cost  0
6.812 * * [simplify]: Extracting # 2 : cost  0
6.815 * * [simplify]: Extracting # 3 : cost  0
6.818 * * [simplify]: Extracting # 4 : cost  0
6.820 * * [simplify]: iteration  2 :  1356  enodes  (cost  1104 )
8.076 * * [simplify]: Extracting # 0 : cost  0
8.090 * * [simplify]: Extracting # 1 : cost  0
8.110 * * [simplify]: Extracting # 2 : cost  0
8.122 * * [simplify]: Extracting # 3 : cost  0
8.133 * * [simplify]: Extracting # 4 : cost  0
8.145 * * [simplify]: iteration done:  5000  enodes  (cost  1051 )
8.146 * [simplify]: Simplified to:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (pow (/ 1.0 (* i i)) 3)
  (pow (/ 1.0 (* i i)) 3)
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ 1.0 (* i i)) 3)
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ (/ 1 i) i)
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log1p (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  -1
  -1
  -1
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (exp (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (/ 1 (* (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3) (pow 2.0 6)))
  (/ 1 (* (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3) (pow 2.0 6)))
  (/ 1 (* (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3) (pow 2.0 6)))
  (* (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))) (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))))
  (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (/ 1 (* (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3) (pow 2.0 6)))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  -1
  (* (* 2.0 2.0) (fma 2.0 (- 2.0) (/ 1.0 (* i i))))
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) 2.0)
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) 2.0)
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1 2.0) 2.0)
  (/ (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (* 2.0 2.0))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))
  (/ (/ 1 (* 2.0 2.0)) (- (pow 2.0 6) (pow (/ 1.0 (* i i)) 3)))
  (/ 1 (+ (pow 2.0 6) (* (* 2.0 2.0) (- (/ (* 1.0 1.0) (pow i 4))))))
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (- (* 2.0 2.0) (/ (/ (pow (cbrt 1.0) 3) i) i))
  (* (/ (* (cbrt 1.0) (cbrt 1.0)) i) (+ (- (/ (cbrt 1.0) i)) (/ (cbrt 1.0) i)))
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  0
  (expm1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (log1p (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (- (/ 1.0 (* i i)))
  (exp (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (log (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (exp (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (* (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))) (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i)))))
  (cbrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3)
  (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (sqrt (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (- (pow 2.0 6) (pow (/ 1.0 (* i i)) 3))
  (fma 2.0 (pow 2.0 3) (* (/ 1.0 (* i i)) (fma 2.0 2.0 (/ 1.0 (* i i)))))
  (- (/ 1.0 (* i i)))
  (- (* (pow 2.0 3) 2.0) (/ (* 1.0 1.0) (pow i 4)))
  (fma 2.0 2.0 (/ 1.0 (* i i)))
  (+ 2.0 (sqrt (/ 1.0 (* i i))))
  (- 2.0 (sqrt (/ 1.0 (* i i))))
  (+ 2.0 (/ (sqrt 1.0) i))
  (- 2.0 (/ (sqrt 1.0) i))
  (- (/ 1.0 (* i i)))
  (/ 1.0 (* i i))
  (/ 1.0 (* i i))
  (/ 1.0 (* i i))
  (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (+ 0.0625 (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))))
  (+ 0.0625 (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))))
  (- 4.0 (/ 1.0 (* i i)))
  (- 4.0 (/ 1.0 (* i i)))
  (- 4.0 (/ 1.0 (* i i)))
8.147 * * * [progress]: adding candidates to table
8.362 * * [progress]: iteration 2 / 4
8.362 * * * [progress]: picking best candidate
8.368 * * * * [pick]: Picked  #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (/ (/ 1 2.0) 2.0)))>
8.368 * * * [progress]: localizing error
8.381 * * * [progress]: generating rewritten candidates
8.381 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 2 3 1)
8.390 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
8.401 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 2)
8.405 * * * [progress]: generating series expansions
8.406 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 2 3 1)
8.406 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2))
8.406 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
8.406 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
8.406 * [taylor]: Taking taylor expansion of 1.0 in i
8.406 * [backup-simplify]: Simplify 1.0 into 1.0
8.406 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.406 * [taylor]: Taking taylor expansion of i in i
8.406 * [backup-simplify]: Simplify 0 into 0
8.406 * [backup-simplify]: Simplify 1 into 1
8.407 * [backup-simplify]: Simplify (* 1 1) into 1
8.407 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
8.407 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
8.407 * [taylor]: Taking taylor expansion of 1.0 in i
8.407 * [backup-simplify]: Simplify 1.0 into 1.0
8.407 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.407 * [taylor]: Taking taylor expansion of i in i
8.408 * [backup-simplify]: Simplify 0 into 0
8.408 * [backup-simplify]: Simplify 1 into 1
8.408 * [backup-simplify]: Simplify (* 1 1) into 1
8.408 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
8.409 * [backup-simplify]: Simplify 1.0 into 1.0
8.409 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.410 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
8.410 * [backup-simplify]: Simplify 0 into 0
8.411 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.412 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.412 * [backup-simplify]: Simplify 0 into 0
8.413 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.414 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.414 * [backup-simplify]: Simplify 0 into 0
8.416 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.417 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.417 * [backup-simplify]: Simplify 0 into 0
8.417 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.418 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.418 * [backup-simplify]: Simplify 0 into 0
8.419 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.420 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.420 * [backup-simplify]: Simplify 0 into 0
8.420 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
8.420 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2))
8.420 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
8.420 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.420 * [taylor]: Taking taylor expansion of 1.0 in i
8.420 * [backup-simplify]: Simplify 1.0 into 1.0
8.420 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.420 * [taylor]: Taking taylor expansion of i in i
8.420 * [backup-simplify]: Simplify 0 into 0
8.420 * [backup-simplify]: Simplify 1 into 1
8.420 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.420 * [taylor]: Taking taylor expansion of 1.0 in i
8.420 * [backup-simplify]: Simplify 1.0 into 1.0
8.420 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.420 * [taylor]: Taking taylor expansion of i in i
8.420 * [backup-simplify]: Simplify 0 into 0
8.420 * [backup-simplify]: Simplify 1 into 1
8.420 * [backup-simplify]: Simplify (* 1 1) into 1
8.421 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.421 * [backup-simplify]: Simplify 1.0 into 1.0
8.421 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.422 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.422 * [backup-simplify]: Simplify 0 into 0
8.422 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.423 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.423 * [backup-simplify]: Simplify 0 into 0
8.423 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.424 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.424 * [backup-simplify]: Simplify 0 into 0
8.425 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.425 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.425 * [backup-simplify]: Simplify 0 into 0
8.426 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.427 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.427 * [backup-simplify]: Simplify 0 into 0
8.428 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.429 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.429 * [backup-simplify]: Simplify 0 into 0
8.429 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
8.429 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2))
8.429 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
8.429 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.429 * [taylor]: Taking taylor expansion of 1.0 in i
8.429 * [backup-simplify]: Simplify 1.0 into 1.0
8.429 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.429 * [taylor]: Taking taylor expansion of i in i
8.429 * [backup-simplify]: Simplify 0 into 0
8.429 * [backup-simplify]: Simplify 1 into 1
8.429 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.429 * [taylor]: Taking taylor expansion of 1.0 in i
8.429 * [backup-simplify]: Simplify 1.0 into 1.0
8.429 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.429 * [taylor]: Taking taylor expansion of i in i
8.429 * [backup-simplify]: Simplify 0 into 0
8.429 * [backup-simplify]: Simplify 1 into 1
8.429 * [backup-simplify]: Simplify (* 1 1) into 1
8.430 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.430 * [backup-simplify]: Simplify 1.0 into 1.0
8.430 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.431 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.431 * [backup-simplify]: Simplify 0 into 0
8.431 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.432 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.432 * [backup-simplify]: Simplify 0 into 0
8.433 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.433 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.433 * [backup-simplify]: Simplify 0 into 0
8.434 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.435 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.435 * [backup-simplify]: Simplify 0 into 0
8.435 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.436 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.436 * [backup-simplify]: Simplify 0 into 0
8.437 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.438 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.438 * [backup-simplify]: Simplify 0 into 0
8.438 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
8.438 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
8.438 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))))
8.438 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in (i) around 0
8.439 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in i
8.439 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
8.439 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
8.439 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.439 * [taylor]: Taking taylor expansion of 2.0 in i
8.439 * [backup-simplify]: Simplify 2.0 into 2.0
8.439 * [taylor]: Taking taylor expansion of 2.0 in i
8.439 * [backup-simplify]: Simplify 2.0 into 2.0
8.439 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
8.439 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
8.439 * [taylor]: Taking taylor expansion of 1.0 in i
8.439 * [backup-simplify]: Simplify 1.0 into 1.0
8.439 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.439 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.439 * [taylor]: Taking taylor expansion of i in i
8.439 * [backup-simplify]: Simplify 0 into 0
8.439 * [backup-simplify]: Simplify 1 into 1
8.439 * [backup-simplify]: Simplify (* 1 1) into 1
8.439 * [backup-simplify]: Simplify (/ 1 1) into 1
8.440 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.440 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.440 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.441 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
8.441 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in i
8.441 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
8.441 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
8.441 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.441 * [taylor]: Taking taylor expansion of 2.0 in i
8.441 * [backup-simplify]: Simplify 2.0 into 2.0
8.441 * [taylor]: Taking taylor expansion of 2.0 in i
8.441 * [backup-simplify]: Simplify 2.0 into 2.0
8.441 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
8.441 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
8.441 * [taylor]: Taking taylor expansion of 1.0 in i
8.441 * [backup-simplify]: Simplify 1.0 into 1.0
8.441 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.441 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.441 * [taylor]: Taking taylor expansion of i in i
8.441 * [backup-simplify]: Simplify 0 into 0
8.441 * [backup-simplify]: Simplify 1 into 1
8.442 * [backup-simplify]: Simplify (* 1 1) into 1
8.442 * [backup-simplify]: Simplify (/ 1 1) into 1
8.442 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.442 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.443 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.443 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
8.444 * [backup-simplify]: Simplify -1.0 into -1.0
8.444 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.444 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.445 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.445 * [backup-simplify]: Simplify (- 0) into 0
8.445 * [backup-simplify]: Simplify (+ 0 0) into 0
8.446 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))))) into 0
8.446 * [backup-simplify]: Simplify 0 into 0
8.446 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.447 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.447 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.448 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.448 * [backup-simplify]: Simplify (- 0) into 0
8.448 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.451 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
8.451 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
8.451 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.452 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.452 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.453 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.453 * [backup-simplify]: Simplify (- 0) into 0
8.454 * [backup-simplify]: Simplify (+ 0 0) into 0
8.455 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
8.455 * [backup-simplify]: Simplify 0 into 0
8.455 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.456 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.456 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.457 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.457 * [backup-simplify]: Simplify (- 0) into 0
8.457 * [backup-simplify]: Simplify (+ 0 0) into 0
8.461 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
8.462 * [backup-simplify]: Simplify (- 16.0) into (- 16.0)
8.462 * [backup-simplify]: Simplify (+ (* (- 16.0) (pow i 6)) (+ (* (- 4.0) (pow i 4)) (* -1.0 (pow i 2)))) into (- (+ (* 1.0 (pow i 2)) (+ (* 4.0 (pow i 4)) (* 16.0 (pow i 6)))))
8.463 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* (/ 1 i) (/ 1 i)))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2)))))
8.463 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in (i) around 0
8.463 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
8.463 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.463 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.463 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.463 * [taylor]: Taking taylor expansion of 2.0 in i
8.463 * [backup-simplify]: Simplify 2.0 into 2.0
8.463 * [taylor]: Taking taylor expansion of 2.0 in i
8.463 * [backup-simplify]: Simplify 2.0 into 2.0
8.463 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.463 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.463 * [taylor]: Taking taylor expansion of 1.0 in i
8.463 * [backup-simplify]: Simplify 1.0 into 1.0
8.463 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.463 * [taylor]: Taking taylor expansion of i in i
8.463 * [backup-simplify]: Simplify 0 into 0
8.463 * [backup-simplify]: Simplify 1 into 1
8.463 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.464 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.464 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
8.464 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
8.464 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.464 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.464 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.464 * [taylor]: Taking taylor expansion of 2.0 in i
8.464 * [backup-simplify]: Simplify 2.0 into 2.0
8.464 * [taylor]: Taking taylor expansion of 2.0 in i
8.464 * [backup-simplify]: Simplify 2.0 into 2.0
8.464 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.464 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.464 * [taylor]: Taking taylor expansion of 1.0 in i
8.464 * [backup-simplify]: Simplify 1.0 into 1.0
8.464 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.464 * [taylor]: Taking taylor expansion of i in i
8.464 * [backup-simplify]: Simplify 0 into 0
8.464 * [backup-simplify]: Simplify 1 into 1
8.465 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.465 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.465 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
8.465 * [backup-simplify]: Simplify 0.25 into 0.25
8.466 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.466 * [backup-simplify]: Simplify (+ 0 0) into 0
8.466 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)))) into 0
8.466 * [backup-simplify]: Simplify 0 into 0
8.467 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.467 * [backup-simplify]: Simplify (* 1 1) into 1
8.467 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.468 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.468 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.471 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.0625
8.471 * [backup-simplify]: Simplify 0.0625 into 0.0625
8.472 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
8.472 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.473 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.473 * [backup-simplify]: Simplify (- 0) into 0
8.473 * [backup-simplify]: Simplify (+ 0 0) into 0
8.474 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.0625 (/ 0 4.0)))) into 0
8.474 * [backup-simplify]: Simplify 0 into 0
8.475 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
8.475 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.476 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.476 * [backup-simplify]: Simplify (- 0) into 0
8.476 * [backup-simplify]: Simplify (+ 0 0) into 0
8.480 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
8.480 * [backup-simplify]: Simplify 0.015625 into 0.015625
8.480 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 i) 4)) (+ (* 0.0625 (pow (/ 1 i) 2)) 0.25)) into (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
8.480 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2)))))
8.481 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in (i) around 0
8.481 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
8.481 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.481 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.481 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.481 * [taylor]: Taking taylor expansion of 2.0 in i
8.481 * [backup-simplify]: Simplify 2.0 into 2.0
8.481 * [taylor]: Taking taylor expansion of 2.0 in i
8.481 * [backup-simplify]: Simplify 2.0 into 2.0
8.481 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.481 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.481 * [taylor]: Taking taylor expansion of 1.0 in i
8.481 * [backup-simplify]: Simplify 1.0 into 1.0
8.481 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.481 * [taylor]: Taking taylor expansion of i in i
8.481 * [backup-simplify]: Simplify 0 into 0
8.481 * [backup-simplify]: Simplify 1 into 1
8.482 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.482 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.482 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
8.483 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
8.483 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.483 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.483 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.483 * [taylor]: Taking taylor expansion of 2.0 in i
8.483 * [backup-simplify]: Simplify 2.0 into 2.0
8.483 * [taylor]: Taking taylor expansion of 2.0 in i
8.483 * [backup-simplify]: Simplify 2.0 into 2.0
8.483 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.483 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.483 * [taylor]: Taking taylor expansion of 1.0 in i
8.483 * [backup-simplify]: Simplify 1.0 into 1.0
8.483 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.483 * [taylor]: Taking taylor expansion of i in i
8.483 * [backup-simplify]: Simplify 0 into 0
8.483 * [backup-simplify]: Simplify 1 into 1
8.484 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.484 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.485 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
8.485 * [backup-simplify]: Simplify 0.25 into 0.25
8.485 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.486 * [backup-simplify]: Simplify (+ 0 0) into 0
8.487 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)))) into 0
8.487 * [backup-simplify]: Simplify 0 into 0
8.488 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.488 * [backup-simplify]: Simplify (* 1 1) into 1
8.488 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.489 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.490 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.494 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.0625
8.494 * [backup-simplify]: Simplify 0.0625 into 0.0625
8.495 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
8.496 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.497 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.497 * [backup-simplify]: Simplify (- 0) into 0
8.497 * [backup-simplify]: Simplify (+ 0 0) into 0
8.499 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.0625 (/ 0 4.0)))) into 0
8.499 * [backup-simplify]: Simplify 0 into 0
8.505 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
8.506 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.507 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.508 * [backup-simplify]: Simplify (- 0) into 0
8.508 * [backup-simplify]: Simplify (+ 0 0) into 0
8.514 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
8.514 * [backup-simplify]: Simplify 0.015625 into 0.015625
8.515 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 4)) (+ (* 0.0625 (pow (/ 1 (- i)) 2)) 0.25)) into (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
8.515 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 2)
8.515 * [backup-simplify]: Simplify (fma 2.0 2.0 (- (/ 1.0 (* i i)))) into (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))
8.515 * [approximate]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in (i) around 0
8.515 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
8.515 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
8.515 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.516 * [taylor]: Taking taylor expansion of 2.0 in i
8.516 * [backup-simplify]: Simplify 2.0 into 2.0
8.516 * [taylor]: Taking taylor expansion of 2.0 in i
8.516 * [backup-simplify]: Simplify 2.0 into 2.0
8.516 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
8.516 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
8.516 * [taylor]: Taking taylor expansion of 1.0 in i
8.516 * [backup-simplify]: Simplify 1.0 into 1.0
8.516 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.516 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.516 * [taylor]: Taking taylor expansion of i in i
8.516 * [backup-simplify]: Simplify 0 into 0
8.516 * [backup-simplify]: Simplify 1 into 1
8.516 * [backup-simplify]: Simplify (* 1 1) into 1
8.517 * [backup-simplify]: Simplify (/ 1 1) into 1
8.517 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
8.517 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
8.517 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.517 * [taylor]: Taking taylor expansion of 2.0 in i
8.517 * [backup-simplify]: Simplify 2.0 into 2.0
8.517 * [taylor]: Taking taylor expansion of 2.0 in i
8.517 * [backup-simplify]: Simplify 2.0 into 2.0
8.517 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
8.517 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
8.517 * [taylor]: Taking taylor expansion of 1.0 in i
8.517 * [backup-simplify]: Simplify 1.0 into 1.0
8.517 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
8.517 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.517 * [taylor]: Taking taylor expansion of i in i
8.517 * [backup-simplify]: Simplify 0 into 0
8.517 * [backup-simplify]: Simplify 1 into 1
8.517 * [backup-simplify]: Simplify (* 1 1) into 1
8.518 * [backup-simplify]: Simplify (/ 1 1) into 1
8.518 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.518 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.519 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.519 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.519 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
8.520 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.520 * [backup-simplify]: Simplify (- 0) into 0
8.521 * [backup-simplify]: Simplify (+ 0 0) into 0
8.521 * [backup-simplify]: Simplify 0 into 0
8.521 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.521 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.522 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.523 * [backup-simplify]: Simplify (- 0) into 0
8.523 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.523 * [backup-simplify]: Simplify 4.0 into 4.0
8.524 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.524 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.525 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.525 * [backup-simplify]: Simplify (- 0) into 0
8.526 * [backup-simplify]: Simplify (+ 0 0) into 0
8.526 * [backup-simplify]: Simplify 0 into 0
8.526 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.527 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.528 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.528 * [backup-simplify]: Simplify (- 0) into 0
8.529 * [backup-simplify]: Simplify (+ 0 0) into 0
8.529 * [backup-simplify]: Simplify 0 into 0
8.529 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
8.530 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.531 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.532 * [backup-simplify]: Simplify (- 0) into 0
8.532 * [backup-simplify]: Simplify (+ 0 0) into 0
8.532 * [backup-simplify]: Simplify 0 into 0
8.533 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
8.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
8.535 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.535 * [backup-simplify]: Simplify (- 0) into 0
8.535 * [backup-simplify]: Simplify (+ 0 0) into 0
8.535 * [backup-simplify]: Simplify 0 into 0
8.536 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))))) into 0
8.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.538 * [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
8.539 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
8.539 * [backup-simplify]: Simplify (- 0) into 0
8.539 * [backup-simplify]: Simplify (+ 0 0) into 0
8.539 * [backup-simplify]: Simplify 0 into 0
8.540 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))))) into 0
8.541 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
8.541 * [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
8.543 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
8.543 * [backup-simplify]: Simplify (- 0) into 0
8.543 * [backup-simplify]: Simplify (+ 0 0) into 0
8.543 * [backup-simplify]: Simplify 0 into 0
8.543 * [backup-simplify]: Simplify (+ 4.0 (* (- 1.0) (pow (/ 1 i) 2))) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
8.544 * [backup-simplify]: Simplify (fma 2.0 2.0 (- (/ 1.0 (* (/ 1 i) (/ 1 i))))) into (fma 2.0 2.0 (- (* 1.0 (pow i 2))))
8.544 * [approximate]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in (i) around 0
8.544 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.544 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.544 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.544 * [taylor]: Taking taylor expansion of 2.0 in i
8.544 * [backup-simplify]: Simplify 2.0 into 2.0
8.544 * [taylor]: Taking taylor expansion of 2.0 in i
8.544 * [backup-simplify]: Simplify 2.0 into 2.0
8.544 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.544 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.544 * [taylor]: Taking taylor expansion of 1.0 in i
8.544 * [backup-simplify]: Simplify 1.0 into 1.0
8.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.544 * [taylor]: Taking taylor expansion of i in i
8.544 * [backup-simplify]: Simplify 0 into 0
8.544 * [backup-simplify]: Simplify 1 into 1
8.544 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.544 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.544 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.544 * [taylor]: Taking taylor expansion of 2.0 in i
8.544 * [backup-simplify]: Simplify 2.0 into 2.0
8.544 * [taylor]: Taking taylor expansion of 2.0 in i
8.544 * [backup-simplify]: Simplify 2.0 into 2.0
8.544 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.544 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.544 * [taylor]: Taking taylor expansion of 1.0 in i
8.544 * [backup-simplify]: Simplify 1.0 into 1.0
8.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.544 * [taylor]: Taking taylor expansion of i in i
8.544 * [backup-simplify]: Simplify 0 into 0
8.544 * [backup-simplify]: Simplify 1 into 1
8.545 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.545 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.545 * [backup-simplify]: Simplify 4.0 into 4.0
8.545 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.546 * [backup-simplify]: Simplify (+ 0 0) into 0
8.546 * [backup-simplify]: Simplify 0 into 0
8.546 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.546 * [backup-simplify]: Simplify (* 1 1) into 1
8.547 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.547 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.547 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.548 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.548 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
8.549 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.549 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.550 * [backup-simplify]: Simplify (- 0) into 0
8.550 * [backup-simplify]: Simplify (+ 0 0) into 0
8.550 * [backup-simplify]: Simplify 0 into 0
8.551 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
8.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.553 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.554 * [backup-simplify]: Simplify (- 0) into 0
8.554 * [backup-simplify]: Simplify (+ 0 0) into 0
8.554 * [backup-simplify]: Simplify 0 into 0
8.555 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))))) into 0
8.556 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.557 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.558 * [backup-simplify]: Simplify (- 0) into 0
8.558 * [backup-simplify]: Simplify (+ 0 0) into 0
8.558 * [backup-simplify]: Simplify 0 into 0
8.560 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))))) into 0
8.561 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.562 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.562 * [backup-simplify]: Simplify (- 0) into 0
8.563 * [backup-simplify]: Simplify (+ 0 0) into 0
8.563 * [backup-simplify]: Simplify 0 into 0
8.564 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))))))) into 0
8.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.567 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.567 * [backup-simplify]: Simplify (- 0) into 0
8.568 * [backup-simplify]: Simplify (+ 0 0) into 0
8.568 * [backup-simplify]: Simplify 0 into 0
8.570 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))))))) into 0
8.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.573 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.573 * [backup-simplify]: Simplify (- 0) into 0
8.573 * [backup-simplify]: Simplify (+ 0 0) into 0
8.573 * [backup-simplify]: Simplify 0 into 0
8.574 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 i) 2)) 4.0) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
8.575 * [backup-simplify]: Simplify (fma 2.0 2.0 (- (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))))) into (fma 2.0 2.0 (- (* 1.0 (pow i 2))))
8.575 * [approximate]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in (i) around 0
8.575 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.575 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.575 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.575 * [taylor]: Taking taylor expansion of 2.0 in i
8.575 * [backup-simplify]: Simplify 2.0 into 2.0
8.575 * [taylor]: Taking taylor expansion of 2.0 in i
8.575 * [backup-simplify]: Simplify 2.0 into 2.0
8.575 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.575 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.575 * [taylor]: Taking taylor expansion of 1.0 in i
8.575 * [backup-simplify]: Simplify 1.0 into 1.0
8.575 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.575 * [taylor]: Taking taylor expansion of i in i
8.575 * [backup-simplify]: Simplify 0 into 0
8.575 * [backup-simplify]: Simplify 1 into 1
8.575 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
8.575 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
8.575 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
8.575 * [taylor]: Taking taylor expansion of 2.0 in i
8.575 * [backup-simplify]: Simplify 2.0 into 2.0
8.576 * [taylor]: Taking taylor expansion of 2.0 in i
8.576 * [backup-simplify]: Simplify 2.0 into 2.0
8.576 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
8.576 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
8.576 * [taylor]: Taking taylor expansion of 1.0 in i
8.576 * [backup-simplify]: Simplify 1.0 into 1.0
8.576 * [taylor]: Taking taylor expansion of (pow i 2) in i
8.576 * [taylor]: Taking taylor expansion of i in i
8.576 * [backup-simplify]: Simplify 0 into 0
8.576 * [backup-simplify]: Simplify 1 into 1
8.576 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
8.577 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
8.577 * [backup-simplify]: Simplify 4.0 into 4.0
8.577 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
8.578 * [backup-simplify]: Simplify (+ 0 0) into 0
8.578 * [backup-simplify]: Simplify 0 into 0
8.578 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
8.579 * [backup-simplify]: Simplify (* 1 1) into 1
8.579 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
8.580 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.580 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
8.581 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
8.582 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
8.583 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
8.583 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
8.584 * [backup-simplify]: Simplify (- 0) into 0
8.584 * [backup-simplify]: Simplify (+ 0 0) into 0
8.584 * [backup-simplify]: Simplify 0 into 0
8.585 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
8.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
8.587 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
8.587 * [backup-simplify]: Simplify (- 0) into 0
8.588 * [backup-simplify]: Simplify (+ 0 0) into 0
8.588 * [backup-simplify]: Simplify 0 into 0
8.589 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))))) into 0
8.590 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.591 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
8.592 * [backup-simplify]: Simplify (- 0) into 0
8.592 * [backup-simplify]: Simplify (+ 0 0) into 0
8.592 * [backup-simplify]: Simplify 0 into 0
8.593 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))))) into 0
8.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.596 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
8.596 * [backup-simplify]: Simplify (- 0) into 0
8.596 * [backup-simplify]: Simplify (+ 0 0) into 0
8.596 * [backup-simplify]: Simplify 0 into 0
8.598 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))))))) into 0
8.599 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.601 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
8.601 * [backup-simplify]: Simplify (- 0) into 0
8.602 * [backup-simplify]: Simplify (+ 0 0) into 0
8.602 * [backup-simplify]: Simplify 0 into 0
8.603 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))))))) into 0
8.605 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.606 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
8.607 * [backup-simplify]: Simplify (- 0) into 0
8.607 * [backup-simplify]: Simplify (+ 0 0) into 0
8.607 * [backup-simplify]: Simplify 0 into 0
8.608 * [backup-simplify]: Simplify (+ (* (- 1.0) (pow (/ 1 (- i)) 2)) 4.0) into (- 4.0 (* 1.0 (/ 1 (pow i 2))))
8.608 * * * [progress]: simplifying candidates
8.610 * [simplify]: Simplifying:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (- (log 1.0) (+ (log i) (log i)))
  (- (log 1.0) (log (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (log1p (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- 1)
  (- (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- 0 (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- (log 1) (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (log (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (exp (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (* (* 1 1) 1) (* (* (fma 2.0 2.0 (- (/ 1.0 (* i i)))) (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (* (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (* (* (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- 1)
  (- (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (/ (cbrt 1) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (cbrt 1) (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (sqrt 1) (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (/ (sqrt 1) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (sqrt 1) (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (sqrt 1) (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ 1 (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 1)
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 1)
  (/ 1 (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 1)
  (/ (fma 2.0 2.0 (- (/ 1.0 (* i i)))) (cbrt 1))
  (/ (fma 2.0 2.0 (- (/ 1.0 (* i i)))) (sqrt 1))
  (/ (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 1)
  (expm1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (log1p (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* 2.0 2.0)
  (log (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (exp (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* (* (fma 2.0 2.0 (- (/ 1.0 (* i i)))) (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (- (+ (* 1.0 (pow i 2)) (+ (* 4.0 (pow i 4)) (* 16.0 (pow i 6)))))
  (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
  (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
  (- 4.0 (* 1.0 (/ 1 (pow i 2))))
8.613 * * [simplify]: Extracting # 0 : cost  0
8.613 * * [simplify]: Extracting # 1 : cost  0
8.613 * * [simplify]: Extracting # 2 : cost  0
8.613 * * [simplify]: Extracting # 3 : cost  0
8.614 * * [simplify]: Extracting # 4 : cost  0
8.614 * * [simplify]: Extracting # 5 : cost  0
8.614 * * [simplify]: Extracting # 6 : cost  0
8.615 * * [simplify]: Extracting # 7 : cost  0
8.615 * * [simplify]: Extracting # 8 : cost  0
8.615 * * [simplify]: iteration  0 :  122  enodes  (cost  963 )
8.650 * * [simplify]: Extracting # 0 : cost  0
8.650 * * [simplify]: Extracting # 1 : cost  0
8.651 * * [simplify]: Extracting # 2 : cost  0
8.651 * * [simplify]: Extracting # 3 : cost  0
8.652 * * [simplify]: Extracting # 4 : cost  0
8.652 * * [simplify]: iteration  1 :  233  enodes  (cost  897 )
8.734 * * [simplify]: Extracting # 0 : cost  0
8.735 * * [simplify]: Extracting # 1 : cost  0
8.736 * * [simplify]: Extracting # 2 : cost  0
8.737 * * [simplify]: Extracting # 3 : cost  0
8.738 * * [simplify]: Extracting # 4 : cost  0
8.739 * * [simplify]: iteration  2 :  522  enodes  (cost  807 )
9.099 * * [simplify]: Extracting # 0 : cost  0
9.103 * * [simplify]: Extracting # 1 : cost  0
9.106 * * [simplify]: Extracting # 2 : cost  0
9.115 * * [simplify]: Extracting # 3 : cost  0
9.118 * * [simplify]: Extracting # 4 : cost  0
9.121 * * [simplify]: iteration  3 :  1489  enodes  (cost  807 )
10.864 * * [simplify]: Extracting # 0 : cost  0
10.878 * * [simplify]: Extracting # 1 : cost  0
10.888 * * [simplify]: Extracting # 2 : cost  0
10.901 * * [simplify]: Extracting # 3 : cost  0
10.910 * * [simplify]: Extracting # 4 : cost  0
10.915 * * [simplify]: iteration done:  5000  enodes  (cost  806 )
10.916 * [simplify]: Simplified to:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (pow 1.0 3) (pow i 6))
  (/ (pow 1.0 3) (pow i 6))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (/ (pow 1.0 3) (pow i 6))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ (/ 1 i) i)
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (log1p (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  -1
  (- (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (exp (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (pow (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) 3)
  (* (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))))
  (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (pow (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))) 3)
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  -1
  (fma (- 2.0) 2.0 (/ (/ 1.0 i) i))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  1
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  (fma 2.0 2.0 (- (/ 1.0 (* i i))))
  (expm1 (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (log1p (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* 2.0 2.0)
  (log (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (exp (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (* (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i))))))
  (cbrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (pow (fma 2.0 2.0 (- (/ 1.0 (* i i)))) 3)
  (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (sqrt (fma 2.0 2.0 (- (/ 1.0 (* i i)))))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6)))))
  (+ (/ 0.0625 (* i i)) (+ 0.25 (/ 0.015625 (pow i 4))))
  (+ (/ 0.0625 (* i i)) (+ 0.25 (/ 0.015625 (pow i 4))))
  (- 4.0 (/ 1.0 (* i i)))
  (- 4.0 (/ 1.0 (* i i)))
  (- 4.0 (/ 1.0 (* i i)))
10.916 * * * [progress]: adding candidates to table
11.124 * * [progress]: iteration 3 / 4
11.124 * * * [progress]: picking best candidate
11.132 * * * * [pick]: Picked  #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))>
11.132 * * * [progress]: localizing error
11.147 * * * [progress]: generating rewritten candidates
11.147 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 3 1)
11.158 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2 3 1 1 1)
11.167 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 3 1 1)
11.185 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
11.202 * * * [progress]: generating series expansions
11.202 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 3 1)
11.202 * [backup-simplify]: Simplify (log (exp (/ 1.0 (* i i)))) into (/ 1.0 (pow i 2))
11.202 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
11.202 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.202 * [taylor]: Taking taylor expansion of 1.0 in i
11.202 * [backup-simplify]: Simplify 1.0 into 1.0
11.202 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.202 * [taylor]: Taking taylor expansion of i in i
11.202 * [backup-simplify]: Simplify 0 into 0
11.202 * [backup-simplify]: Simplify 1 into 1
11.203 * [backup-simplify]: Simplify (* 1 1) into 1
11.203 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.203 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.203 * [taylor]: Taking taylor expansion of 1.0 in i
11.204 * [backup-simplify]: Simplify 1.0 into 1.0
11.204 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.204 * [taylor]: Taking taylor expansion of i in i
11.204 * [backup-simplify]: Simplify 0 into 0
11.204 * [backup-simplify]: Simplify 1 into 1
11.204 * [backup-simplify]: Simplify (* 1 1) into 1
11.204 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.205 * [backup-simplify]: Simplify 1.0 into 1.0
11.205 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.206 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
11.206 * [backup-simplify]: Simplify 0 into 0
11.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.208 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.208 * [backup-simplify]: Simplify 0 into 0
11.209 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.210 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.210 * [backup-simplify]: Simplify 0 into 0
11.211 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.212 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.213 * [backup-simplify]: Simplify 0 into 0
11.214 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.215 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.215 * [backup-simplify]: Simplify 0 into 0
11.217 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.218 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.218 * [backup-simplify]: Simplify 0 into 0
11.218 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
11.218 * [backup-simplify]: Simplify (log (exp (/ 1.0 (* (/ 1 i) (/ 1 i))))) into (* 1.0 (pow i 2))
11.218 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
11.218 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.218 * [taylor]: Taking taylor expansion of 1.0 in i
11.218 * [backup-simplify]: Simplify 1.0 into 1.0
11.218 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.219 * [taylor]: Taking taylor expansion of i in i
11.219 * [backup-simplify]: Simplify 0 into 0
11.219 * [backup-simplify]: Simplify 1 into 1
11.219 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.219 * [taylor]: Taking taylor expansion of 1.0 in i
11.219 * [backup-simplify]: Simplify 1.0 into 1.0
11.219 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.219 * [taylor]: Taking taylor expansion of i in i
11.219 * [backup-simplify]: Simplify 0 into 0
11.219 * [backup-simplify]: Simplify 1 into 1
11.219 * [backup-simplify]: Simplify (* 1 1) into 1
11.220 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.220 * [backup-simplify]: Simplify 1.0 into 1.0
11.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.230 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.230 * [backup-simplify]: Simplify 0 into 0
11.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.232 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.232 * [backup-simplify]: Simplify 0 into 0
11.233 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.234 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.234 * [backup-simplify]: Simplify 0 into 0
11.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.236 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.237 * [backup-simplify]: Simplify 0 into 0
11.238 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.240 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.240 * [backup-simplify]: Simplify 0 into 0
11.241 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.243 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.243 * [backup-simplify]: Simplify 0 into 0
11.243 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
11.244 * [backup-simplify]: Simplify (log (exp (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))))) into (* 1.0 (pow i 2))
11.244 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
11.244 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.244 * [taylor]: Taking taylor expansion of 1.0 in i
11.244 * [backup-simplify]: Simplify 1.0 into 1.0
11.244 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.244 * [taylor]: Taking taylor expansion of i in i
11.244 * [backup-simplify]: Simplify 0 into 0
11.244 * [backup-simplify]: Simplify 1 into 1
11.244 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.244 * [taylor]: Taking taylor expansion of 1.0 in i
11.244 * [backup-simplify]: Simplify 1.0 into 1.0
11.244 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.244 * [taylor]: Taking taylor expansion of i in i
11.244 * [backup-simplify]: Simplify 0 into 0
11.244 * [backup-simplify]: Simplify 1 into 1
11.245 * [backup-simplify]: Simplify (* 1 1) into 1
11.245 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.245 * [backup-simplify]: Simplify 1.0 into 1.0
11.246 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.246 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.247 * [backup-simplify]: Simplify 0 into 0
11.248 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.249 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.249 * [backup-simplify]: Simplify 0 into 0
11.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.251 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.251 * [backup-simplify]: Simplify 0 into 0
11.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.254 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.254 * [backup-simplify]: Simplify 0 into 0
11.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.256 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.257 * [backup-simplify]: Simplify 0 into 0
11.258 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.260 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.260 * [backup-simplify]: Simplify 0 into 0
11.260 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
11.260 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2 3 1 1 1)
11.260 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2))
11.260 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
11.260 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.260 * [taylor]: Taking taylor expansion of 1.0 in i
11.260 * [backup-simplify]: Simplify 1.0 into 1.0
11.260 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.260 * [taylor]: Taking taylor expansion of i in i
11.260 * [backup-simplify]: Simplify 0 into 0
11.261 * [backup-simplify]: Simplify 1 into 1
11.261 * [backup-simplify]: Simplify (* 1 1) into 1
11.261 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.261 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.261 * [taylor]: Taking taylor expansion of 1.0 in i
11.261 * [backup-simplify]: Simplify 1.0 into 1.0
11.262 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.262 * [taylor]: Taking taylor expansion of i in i
11.262 * [backup-simplify]: Simplify 0 into 0
11.262 * [backup-simplify]: Simplify 1 into 1
11.262 * [backup-simplify]: Simplify (* 1 1) into 1
11.262 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.263 * [backup-simplify]: Simplify 1.0 into 1.0
11.263 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.264 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
11.264 * [backup-simplify]: Simplify 0 into 0
11.265 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.266 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.266 * [backup-simplify]: Simplify 0 into 0
11.267 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.268 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.268 * [backup-simplify]: Simplify 0 into 0
11.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.270 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.270 * [backup-simplify]: Simplify 0 into 0
11.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.273 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.273 * [backup-simplify]: Simplify 0 into 0
11.274 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.275 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.275 * [backup-simplify]: Simplify 0 into 0
11.275 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
11.276 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2))
11.276 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
11.276 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.276 * [taylor]: Taking taylor expansion of 1.0 in i
11.276 * [backup-simplify]: Simplify 1.0 into 1.0
11.276 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.276 * [taylor]: Taking taylor expansion of i in i
11.276 * [backup-simplify]: Simplify 0 into 0
11.276 * [backup-simplify]: Simplify 1 into 1
11.276 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.276 * [taylor]: Taking taylor expansion of 1.0 in i
11.276 * [backup-simplify]: Simplify 1.0 into 1.0
11.276 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.276 * [taylor]: Taking taylor expansion of i in i
11.276 * [backup-simplify]: Simplify 0 into 0
11.276 * [backup-simplify]: Simplify 1 into 1
11.276 * [backup-simplify]: Simplify (* 1 1) into 1
11.277 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.277 * [backup-simplify]: Simplify 1.0 into 1.0
11.277 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.278 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.278 * [backup-simplify]: Simplify 0 into 0
11.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.279 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.279 * [backup-simplify]: Simplify 0 into 0
11.279 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.280 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.280 * [backup-simplify]: Simplify 0 into 0
11.281 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.281 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.281 * [backup-simplify]: Simplify 0 into 0
11.282 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.283 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.283 * [backup-simplify]: Simplify 0 into 0
11.284 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.285 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.285 * [backup-simplify]: Simplify 0 into 0
11.285 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
11.285 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2))
11.285 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
11.285 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.285 * [taylor]: Taking taylor expansion of 1.0 in i
11.285 * [backup-simplify]: Simplify 1.0 into 1.0
11.285 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.285 * [taylor]: Taking taylor expansion of i in i
11.285 * [backup-simplify]: Simplify 0 into 0
11.285 * [backup-simplify]: Simplify 1 into 1
11.285 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.285 * [taylor]: Taking taylor expansion of 1.0 in i
11.285 * [backup-simplify]: Simplify 1.0 into 1.0
11.285 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.285 * [taylor]: Taking taylor expansion of i in i
11.285 * [backup-simplify]: Simplify 0 into 0
11.285 * [backup-simplify]: Simplify 1 into 1
11.286 * [backup-simplify]: Simplify (* 1 1) into 1
11.286 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.286 * [backup-simplify]: Simplify 1.0 into 1.0
11.286 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.287 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.287 * [backup-simplify]: Simplify 0 into 0
11.287 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.288 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.288 * [backup-simplify]: Simplify 0 into 0
11.288 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.289 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.289 * [backup-simplify]: Simplify 0 into 0
11.290 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.291 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.291 * [backup-simplify]: Simplify 0 into 0
11.291 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.292 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
11.292 * [backup-simplify]: Simplify 0 into 0
11.293 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.294 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
11.294 * [backup-simplify]: Simplify 0 into 0
11.294 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
11.294 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 3 1 1)
11.294 * [backup-simplify]: Simplify (exp (/ 1.0 (* i i))) into (exp (/ 1.0 (pow i 2)))
11.294 * [approximate]: Taking taylor expansion of (exp (/ 1.0 (pow i 2))) in (i) around 0
11.294 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (pow i 2))) in i
11.294 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.294 * [taylor]: Taking taylor expansion of 1.0 in i
11.294 * [backup-simplify]: Simplify 1.0 into 1.0
11.294 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.294 * [taylor]: Taking taylor expansion of i in i
11.294 * [backup-simplify]: Simplify 0 into 0
11.294 * [backup-simplify]: Simplify 1 into 1
11.295 * [backup-simplify]: Simplify (* 1 1) into 1
11.295 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.295 * [backup-simplify]: Simplify (exp (/ 1.0 (pow i 2))) into (exp (/ 1.0 (pow i 2)))
11.295 * [taylor]: Taking taylor expansion of (exp (/ 1.0 (pow i 2))) in i
11.295 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
11.295 * [taylor]: Taking taylor expansion of 1.0 in i
11.295 * [backup-simplify]: Simplify 1.0 into 1.0
11.295 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.295 * [taylor]: Taking taylor expansion of i in i
11.295 * [backup-simplify]: Simplify 0 into 0
11.295 * [backup-simplify]: Simplify 1 into 1
11.296 * [backup-simplify]: Simplify (* 1 1) into 1
11.296 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
11.296 * [backup-simplify]: Simplify (exp (/ 1.0 (pow i 2))) into (exp (/ 1.0 (pow i 2)))
11.296 * [backup-simplify]: Simplify (exp (/ 1.0 (pow i 2))) into (exp (/ 1.0 (pow i 2)))
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify 0 into 0
11.296 * [backup-simplify]: Simplify (exp (/ 1.0 (pow i 2))) into (exp (/ 1.0 (pow i 2)))
11.297 * [backup-simplify]: Simplify (exp (/ 1.0 (* (/ 1 i) (/ 1 i)))) into (exp (* 1.0 (pow i 2)))
11.297 * [approximate]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in (i) around 0
11.297 * [taylor]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in i
11.297 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.297 * [taylor]: Taking taylor expansion of 1.0 in i
11.297 * [backup-simplify]: Simplify 1.0 into 1.0
11.297 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.297 * [taylor]: Taking taylor expansion of i in i
11.297 * [backup-simplify]: Simplify 0 into 0
11.297 * [backup-simplify]: Simplify 1 into 1
11.297 * [backup-simplify]: Simplify (* 1 1) into 1
11.297 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.297 * [backup-simplify]: Simplify (exp 0) into 1
11.297 * [taylor]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in i
11.297 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.297 * [taylor]: Taking taylor expansion of 1.0 in i
11.297 * [backup-simplify]: Simplify 1.0 into 1.0
11.297 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.297 * [taylor]: Taking taylor expansion of i in i
11.297 * [backup-simplify]: Simplify 0 into 0
11.297 * [backup-simplify]: Simplify 1 into 1
11.298 * [backup-simplify]: Simplify (* 1 1) into 1
11.298 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.298 * [backup-simplify]: Simplify (exp 0) into 1
11.298 * [backup-simplify]: Simplify 1 into 1
11.299 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
11.299 * [backup-simplify]: Simplify 0 into 0
11.302 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1.0 1) 1)))) into 1.0
11.302 * [backup-simplify]: Simplify 1.0 into 1.0
11.302 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.303 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.304 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1.0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.304 * [backup-simplify]: Simplify 0 into 0
11.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.306 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.320 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1.0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1.0 2) 2)) (* (/ (pow 0 1) 1)))) into 0.5
11.320 * [backup-simplify]: Simplify 0.5 into 0.5
11.321 * [backup-simplify]: Simplify (+ (* 0.5 (pow (/ 1 i) 4)) (+ (* 1.0 (pow (/ 1 i) 2)) 1)) into (+ (* 0.5 (/ 1 (pow i 4))) (+ (* 1.0 (/ 1 (pow i 2))) 1))
11.321 * [backup-simplify]: Simplify (exp (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))) into (exp (* 1.0 (pow i 2)))
11.321 * [approximate]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in (i) around 0
11.321 * [taylor]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in i
11.321 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.321 * [taylor]: Taking taylor expansion of 1.0 in i
11.321 * [backup-simplify]: Simplify 1.0 into 1.0
11.321 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.321 * [taylor]: Taking taylor expansion of i in i
11.321 * [backup-simplify]: Simplify 0 into 0
11.321 * [backup-simplify]: Simplify 1 into 1
11.322 * [backup-simplify]: Simplify (* 1 1) into 1
11.322 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.322 * [backup-simplify]: Simplify (exp 0) into 1
11.322 * [taylor]: Taking taylor expansion of (exp (* 1.0 (pow i 2))) in i
11.322 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.322 * [taylor]: Taking taylor expansion of 1.0 in i
11.322 * [backup-simplify]: Simplify 1.0 into 1.0
11.322 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.322 * [taylor]: Taking taylor expansion of i in i
11.323 * [backup-simplify]: Simplify 0 into 0
11.323 * [backup-simplify]: Simplify 1 into 1
11.323 * [backup-simplify]: Simplify (* 1 1) into 1
11.323 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.323 * [backup-simplify]: Simplify (exp 0) into 1
11.324 * [backup-simplify]: Simplify 1 into 1
11.325 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 1) 1)))) into 0
11.325 * [backup-simplify]: Simplify 0 into 0
11.330 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 1.0 1) 1)))) into 1.0
11.330 * [backup-simplify]: Simplify 1.0 into 1.0
11.331 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.332 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.334 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 1.0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
11.334 * [backup-simplify]: Simplify 0 into 0
11.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.336 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.349 * [backup-simplify]: Simplify (* (exp 0) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 1.0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 1.0 2) 2)) (* (/ (pow 0 1) 1)))) into 0.5
11.349 * [backup-simplify]: Simplify 0.5 into 0.5
11.350 * [backup-simplify]: Simplify (+ (* 0.5 (pow (/ 1 (- i)) 4)) (+ (* 1.0 (pow (/ 1 (- i)) 2)) 1)) into (+ (* 0.5 (/ 1 (pow i 4))) (+ (* 1.0 (/ 1 (pow i 2))) 1))
11.350 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
11.350 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))))
11.350 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in (i) around 0
11.350 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in i
11.350 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
11.350 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
11.350 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.350 * [taylor]: Taking taylor expansion of 2.0 in i
11.350 * [backup-simplify]: Simplify 2.0 into 2.0
11.350 * [taylor]: Taking taylor expansion of 2.0 in i
11.350 * [backup-simplify]: Simplify 2.0 into 2.0
11.351 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
11.351 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
11.351 * [taylor]: Taking taylor expansion of 1.0 in i
11.351 * [backup-simplify]: Simplify 1.0 into 1.0
11.351 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
11.351 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.351 * [taylor]: Taking taylor expansion of i in i
11.351 * [backup-simplify]: Simplify 0 into 0
11.351 * [backup-simplify]: Simplify 1 into 1
11.351 * [backup-simplify]: Simplify (* 1 1) into 1
11.352 * [backup-simplify]: Simplify (/ 1 1) into 1
11.352 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.352 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
11.353 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
11.354 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
11.354 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2)))))) in i
11.354 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (/ 1 (pow i 2))))) in i
11.354 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (/ 1 (pow i 2)))))
11.354 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.355 * [taylor]: Taking taylor expansion of 2.0 in i
11.355 * [backup-simplify]: Simplify 2.0 into 2.0
11.355 * [taylor]: Taking taylor expansion of 2.0 in i
11.355 * [backup-simplify]: Simplify 2.0 into 2.0
11.355 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (pow i 2)))) in i
11.355 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
11.355 * [taylor]: Taking taylor expansion of 1.0 in i
11.355 * [backup-simplify]: Simplify 1.0 into 1.0
11.355 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
11.355 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.355 * [taylor]: Taking taylor expansion of i in i
11.355 * [backup-simplify]: Simplify 0 into 0
11.355 * [backup-simplify]: Simplify 1 into 1
11.355 * [backup-simplify]: Simplify (* 1 1) into 1
11.356 * [backup-simplify]: Simplify (/ 1 1) into 1
11.356 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.356 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
11.357 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
11.358 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
11.358 * [backup-simplify]: Simplify -1.0 into -1.0
11.361 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
11.362 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.363 * [backup-simplify]: Simplify (- 0) into 0
11.363 * [backup-simplify]: Simplify (+ 0 0) into 0
11.363 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))))) into 0
11.363 * [backup-simplify]: Simplify 0 into 0
11.364 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
11.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.365 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.365 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.365 * [backup-simplify]: Simplify (- 0) into 0
11.366 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
11.368 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
11.369 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
11.369 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
11.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.370 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.371 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
11.371 * [backup-simplify]: Simplify (- 0) into 0
11.371 * [backup-simplify]: Simplify (+ 0 0) into 0
11.372 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
11.372 * [backup-simplify]: Simplify 0 into 0
11.373 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
11.373 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.374 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
11.375 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
11.375 * [backup-simplify]: Simplify (- 0) into 0
11.375 * [backup-simplify]: Simplify (+ 0 0) into 0
11.379 * [backup-simplify]: Simplify (- (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
11.379 * [backup-simplify]: Simplify (- 16.0) into (- 16.0)
11.380 * [backup-simplify]: Simplify (+ (* (- 16.0) (pow i 6)) (+ (* (- 4.0) (pow i 4)) (* -1.0 (pow i 2)))) into (- (+ (* 1.0 (pow i 2)) (+ (* 4.0 (pow i 4)) (* 16.0 (pow i 6)))))
11.380 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* (/ 1 i) (/ 1 i)))))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2)))))
11.380 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in (i) around 0
11.380 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
11.380 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
11.381 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
11.381 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.381 * [taylor]: Taking taylor expansion of 2.0 in i
11.381 * [backup-simplify]: Simplify 2.0 into 2.0
11.381 * [taylor]: Taking taylor expansion of 2.0 in i
11.381 * [backup-simplify]: Simplify 2.0 into 2.0
11.381 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
11.381 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.381 * [taylor]: Taking taylor expansion of 1.0 in i
11.381 * [backup-simplify]: Simplify 1.0 into 1.0
11.381 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.381 * [taylor]: Taking taylor expansion of i in i
11.381 * [backup-simplify]: Simplify 0 into 0
11.381 * [backup-simplify]: Simplify 1 into 1
11.381 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
11.381 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
11.382 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
11.382 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
11.382 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
11.382 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
11.382 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.382 * [taylor]: Taking taylor expansion of 2.0 in i
11.382 * [backup-simplify]: Simplify 2.0 into 2.0
11.382 * [taylor]: Taking taylor expansion of 2.0 in i
11.382 * [backup-simplify]: Simplify 2.0 into 2.0
11.382 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
11.382 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.382 * [taylor]: Taking taylor expansion of 1.0 in i
11.382 * [backup-simplify]: Simplify 1.0 into 1.0
11.382 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.382 * [taylor]: Taking taylor expansion of i in i
11.382 * [backup-simplify]: Simplify 0 into 0
11.382 * [backup-simplify]: Simplify 1 into 1
11.382 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
11.382 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
11.383 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
11.383 * [backup-simplify]: Simplify 0.25 into 0.25
11.383 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
11.383 * [backup-simplify]: Simplify (+ 0 0) into 0
11.384 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)))) into 0
11.384 * [backup-simplify]: Simplify 0 into 0
11.384 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
11.385 * [backup-simplify]: Simplify (* 1 1) into 1
11.385 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.385 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
11.386 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
11.388 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.0625
11.388 * [backup-simplify]: Simplify 0.0625 into 0.0625
11.389 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
11.390 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.391 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.391 * [backup-simplify]: Simplify (- 0) into 0
11.391 * [backup-simplify]: Simplify (+ 0 0) into 0
11.393 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.0625 (/ 0 4.0)))) into 0
11.393 * [backup-simplify]: Simplify 0 into 0
11.394 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
11.395 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.396 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.396 * [backup-simplify]: Simplify (- 0) into 0
11.397 * [backup-simplify]: Simplify (+ 0 0) into 0
11.402 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
11.402 * [backup-simplify]: Simplify 0.015625 into 0.015625
11.403 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 i) 4)) (+ (* 0.0625 (pow (/ 1 i) 2)) 0.25)) into (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
11.403 * [backup-simplify]: Simplify (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i))))))))) into (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2)))))
11.403 * [approximate]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in (i) around 0
11.403 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
11.403 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
11.404 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
11.404 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.404 * [taylor]: Taking taylor expansion of 2.0 in i
11.404 * [backup-simplify]: Simplify 2.0 into 2.0
11.404 * [taylor]: Taking taylor expansion of 2.0 in i
11.404 * [backup-simplify]: Simplify 2.0 into 2.0
11.404 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
11.404 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.404 * [taylor]: Taking taylor expansion of 1.0 in i
11.404 * [backup-simplify]: Simplify 1.0 into 1.0
11.404 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.404 * [taylor]: Taking taylor expansion of i in i
11.404 * [backup-simplify]: Simplify 0 into 0
11.404 * [backup-simplify]: Simplify 1 into 1
11.404 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
11.405 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
11.405 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
11.405 * [taylor]: Taking taylor expansion of (/ 1 (fma 2.0 2.0 (- (* 1.0 (pow i 2))))) in i
11.405 * [taylor]: Taking taylor expansion of (fma 2.0 2.0 (- (* 1.0 (pow i 2)))) in i
11.405 * [taylor]: Rewrote expression to (+ (* 2.0 2.0) (- (* 1.0 (pow i 2))))
11.406 * [taylor]: Taking taylor expansion of (* 2.0 2.0) in i
11.406 * [taylor]: Taking taylor expansion of 2.0 in i
11.406 * [backup-simplify]: Simplify 2.0 into 2.0
11.406 * [taylor]: Taking taylor expansion of 2.0 in i
11.406 * [backup-simplify]: Simplify 2.0 into 2.0
11.406 * [taylor]: Taking taylor expansion of (- (* 1.0 (pow i 2))) in i
11.406 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
11.406 * [taylor]: Taking taylor expansion of 1.0 in i
11.406 * [backup-simplify]: Simplify 1.0 into 1.0
11.406 * [taylor]: Taking taylor expansion of (pow i 2) in i
11.406 * [taylor]: Taking taylor expansion of i in i
11.406 * [backup-simplify]: Simplify 0 into 0
11.406 * [backup-simplify]: Simplify 1 into 1
11.406 * [backup-simplify]: Simplify (* 2.0 2.0) into 4.0
11.407 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
11.407 * [backup-simplify]: Simplify (/ 1 4.0) into 0.25
11.407 * [backup-simplify]: Simplify 0.25 into 0.25
11.408 * [backup-simplify]: Simplify (+ (* 2.0 0) (* 0 2.0)) into 0
11.408 * [backup-simplify]: Simplify (+ 0 0) into 0
11.409 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)))) into 0
11.409 * [backup-simplify]: Simplify 0 into 0
11.410 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (* 0 2.0))) into 0
11.410 * [backup-simplify]: Simplify (* 1 1) into 1
11.411 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
11.411 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
11.412 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
11.416 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.0625
11.417 * [backup-simplify]: Simplify 0.0625 into 0.0625
11.418 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0)))) into 0
11.419 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
11.419 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
11.420 * [backup-simplify]: Simplify (- 0) into 0
11.420 * [backup-simplify]: Simplify (+ 0 0) into 0
11.422 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.0625 (/ 0 4.0)))) into 0
11.422 * [backup-simplify]: Simplify 0 into 0
11.423 * [backup-simplify]: Simplify (+ (* 2.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 2.0))))) into 0
11.424 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
11.425 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
11.425 * [backup-simplify]: Simplify (- 0) into 0
11.425 * [backup-simplify]: Simplify (+ 0 0) into 0
11.429 * [backup-simplify]: Simplify (- (+ (* 0.25 (/ 0 4.0)) (* 0 (/ 0 4.0)) (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
11.429 * [backup-simplify]: Simplify 0.015625 into 0.015625
11.429 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 4)) (+ (* 0.0625 (pow (/ 1 (- i)) 2)) 0.25)) into (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
11.429 * * * [progress]: simplifying candidates
11.431 * [simplify]: Simplifying:
  (expm1 (log (exp (/ 1.0 (* i i)))))
  (log1p (log (exp (/ 1.0 (* i i)))))
  (log (* (cbrt (exp (/ 1.0 (* i i)))) (cbrt (exp (/ 1.0 (* i i))))))
  (log (cbrt (exp (/ 1.0 (* i i)))))
  (log (sqrt (exp (/ 1.0 (* i i)))))
  (log (sqrt (exp (/ 1.0 (* i i)))))
  (log 1)
  (log (exp (/ 1.0 (* i i))))
  (log (exp (/ 1.0 (* i i))))
  (log (exp (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))))
  (log (exp (sqrt (/ 1.0 (* i i)))))
  (log (exp (/ (* (cbrt 1.0) (cbrt 1.0)) i)))
  (log (exp (/ (sqrt 1.0) i)))
  (log (exp (/ 1 i)))
  (log (exp 1))
  (log (exp 1.0))
  (log (log (exp (/ 1.0 (* i i)))))
  (exp (log (exp (/ 1.0 (* i i)))))
  (* (cbrt (log (exp (/ 1.0 (* i i))))) (cbrt (log (exp (/ 1.0 (* i i))))))
  (cbrt (log (exp (/ 1.0 (* i i)))))
  (* (* (log (exp (/ 1.0 (* i i)))) (log (exp (/ 1.0 (* i i))))) (log (exp (/ 1.0 (* i i)))))
  (sqrt (log (exp (/ 1.0 (* i i)))))
  (sqrt (log (exp (/ 1.0 (* i i)))))
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (- (log 1.0) (+ (log i) (log i)))
  (- (log 1.0) (log (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (exp (/ 1.0 (* i i))))
  (log1p (exp (/ 1.0 (* i i))))
  (exp (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))))
  (exp (sqrt (/ 1.0 (* i i))))
  (exp (/ (* (cbrt 1.0) (cbrt 1.0)) i))
  (exp (/ (sqrt 1.0) i))
  (exp (/ 1 i))
  (exp 1)
  (exp 1.0)
  (log (exp (/ 1.0 (* i i))))
  (exp (exp (/ 1.0 (* i i))))
  (* (cbrt (exp (/ 1.0 (* i i)))) (cbrt (exp (/ 1.0 (* i i)))))
  (cbrt (exp (/ 1.0 (* i i))))
  (* (* (exp (/ 1.0 (* i i))) (exp (/ 1.0 (* i i)))) (exp (/ 1.0 (* i i))))
  (sqrt (exp (/ 1.0 (* i i))))
  (sqrt (exp (/ 1.0 (* i i))))
  (expm1 (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (log1p (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (- 1)
  (- (log (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (- 0 (log (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (- (log 1) (log (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (log (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (exp (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (* (* 1 1) 1) (* (* (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))) (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (* (cbrt (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))) (cbrt (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))))
  (cbrt (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (* (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))) (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (- 1)
  (- (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))))
  (/ (cbrt 1) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (cbrt 1) (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))
  (/ (sqrt 1) (* (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))))
  (/ (sqrt 1) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (sqrt 1) (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (sqrt 1) (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))
  (/ 1 (* (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ 1 1)
  (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))
  (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))
  (/ (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))) 1)
  (/ 1 (* (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (cbrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))))
  (/ 1 1)
  (/ (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))) (cbrt 1))
  (/ (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))) (sqrt 1))
  (/ (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i)))))) 1)
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (exp (/ 1.0 (pow i 2)))
  (+ (* 0.5 (/ 1 (pow i 4))) (+ (* 1.0 (/ 1 (pow i 2))) 1))
  (+ (* 0.5 (/ 1 (pow i 4))) (+ (* 1.0 (/ 1 (pow i 2))) 1))
  (- (+ (* 1.0 (pow i 2)) (+ (* 4.0 (pow i 4)) (* 16.0 (pow i 6)))))
  (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
  (+ (* 0.015625 (/ 1 (pow i 4))) (+ (* 0.0625 (/ 1 (pow i 2))) 0.25))
11.433 * * [simplify]: Extracting # 0 : cost  0
11.433 * * [simplify]: Extracting # 1 : cost  0
11.433 * * [simplify]: Extracting # 2 : cost  0
11.433 * * [simplify]: Extracting # 3 : cost  0
11.433 * * [simplify]: Extracting # 4 : cost  0
11.434 * * [simplify]: Extracting # 5 : cost  0
11.434 * * [simplify]: Extracting # 6 : cost  0
11.434 * * [simplify]: Extracting # 7 : cost  0
11.434 * * [simplify]: Extracting # 8 : cost  0
11.434 * * [simplify]: Extracting # 9 : cost  0
11.434 * * [simplify]: Extracting # 10 : cost  0
11.435 * * [simplify]: iteration  0 :  157  enodes  (cost  1285 )
11.484 * * [simplify]: Extracting # 0 : cost  0
11.485 * * [simplify]: Extracting # 1 : cost  0
11.485 * * [simplify]: Extracting # 2 : cost  0
11.486 * * [simplify]: Extracting # 3 : cost  0
11.486 * * [simplify]: iteration  1 :  282  enodes  (cost  1078 )
11.598 * * [simplify]: Extracting # 0 : cost  0
11.599 * * [simplify]: Extracting # 1 : cost  0
11.600 * * [simplify]: Extracting # 2 : cost  0
11.601 * * [simplify]: Extracting # 3 : cost  0
11.602 * * [simplify]: Extracting # 4 : cost  0
11.603 * * [simplify]: iteration  2 :  601  enodes  (cost  981 )
11.978 * * [simplify]: Extracting # 0 : cost  0
11.980 * * [simplify]: Extracting # 1 : cost  0
11.981 * * [simplify]: Extracting # 2 : cost  0
11.983 * * [simplify]: Extracting # 3 : cost  0
11.984 * * [simplify]: Extracting # 4 : cost  0
11.986 * * [simplify]: iteration  3 :  1614  enodes  (cost  981 )
13.650 * * [simplify]: Extracting # 0 : cost  0
13.657 * * [simplify]: Extracting # 1 : cost  0
13.663 * * [simplify]: Extracting # 2 : cost  0
13.668 * * [simplify]: Extracting # 3 : cost  0
13.672 * * [simplify]: Extracting # 4 : cost  0
13.680 * * [simplify]: iteration done:  5000  enodes  (cost  980 )
13.681 * [simplify]: Simplified to:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (* 2 (log (cbrt (exp (/ 1.0 (* i i))))))
  (log (cbrt (exp (/ 1.0 (* i i)))))
  (log (sqrt (exp (/ 1.0 (* i i)))))
  (log (sqrt (exp (/ 1.0 (* i i)))))
  0
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (* (cbrt (/ 1.0 (pow i 2))) (cbrt (/ 1.0 (pow i 2))))
  (sqrt (/ 1.0 (* i i)))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  1
  1.0
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (* (cbrt (/ 1.0 (pow i 2))) (cbrt (/ 1.0 (pow i 2))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ (/ 1.0 i) i) 3)
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (pow (/ (/ 1.0 i) i) 3)
  (pow (/ (/ 1.0 i) i) 3)
  (* (cbrt (/ 1.0 (pow i 2))) (cbrt (/ 1.0 (pow i 2))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ (/ 1.0 i) i) 3)
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (exp (/ 1.0 (* i i))))
  (log1p (exp (/ 1.0 (* i i))))
  (exp (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i)))))
  (exp (sqrt (/ 1.0 (* i i))))
  (exp (/ (* (cbrt 1.0) (cbrt 1.0)) i))
  (exp (/ (sqrt 1.0) i))
  (exp (/ 1 i))
  E
  (exp 1.0)
  (/ (/ 1.0 i) i)
  (exp (exp (/ 1.0 (* i i))))
  (* (cbrt (exp (/ 1.0 (* i i)))) (cbrt (exp (/ 1.0 (* i i)))))
  (cbrt (exp (/ 1.0 (* i i))))
  (pow (exp (/ 1.0 (* i i))) 3)
  (sqrt (exp (/ 1.0 (* i i))))
  (sqrt (exp (/ 1.0 (* i i))))
  (expm1 (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (log1p (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  -1
  (- (log (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (- (log (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (exp (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (pow (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))) 3)
  (* (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))) (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))))
  (cbrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (pow (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))) 3)
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (sqrt (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  -1
  (fma 2.0 (- 2.0) (/ 1.0 (* i i)))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  1
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))
  (/ 1 (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))
  (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))
  (/ (/ 1 (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2)))))) (cbrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  (/ 1 (sqrt (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))))
  1
  (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))
  (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))
  (fma 2.0 2.0 (- (/ 1.0 (pow i 2))))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (exp (/ 1.0 (* i i)))
  (+ (+ (/ (/ 1.0 i) i) 1) (/ 0.5 (pow i 4)))
  (+ (+ (/ (/ 1.0 i) i) 1) (/ 0.5 (pow i 4)))
  (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6)))))
  (+ (/ 0.015625 (pow i 4)) (+ (/ 0.0625 (* i i)) 0.25))
  (+ (/ 0.015625 (pow i 4)) (+ (/ 0.0625 (* i i)) 0.25))
13.681 * * * [progress]: adding candidates to table
13.971 * * [progress]: iteration 4 / 4
13.971 * * * [progress]: picking best candidate
13.974 * * * * [pick]: Picked  #<alt (λ (i) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)))>
13.974 * * * [progress]: localizing error
14.003 * * * [progress]: generating rewritten candidates
14.003 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1 3 3)
14.017 * * * [progress]: generating series expansions
14.017 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1 3 3)
14.017 * [backup-simplify]: Simplify (* 16.0 (pow i 6)) into (* 16.0 (pow i 6))
14.017 * [approximate]: Taking taylor expansion of (* 16.0 (pow i 6)) in (i) around 0
14.017 * [taylor]: Taking taylor expansion of (* 16.0 (pow i 6)) in i
14.017 * [taylor]: Taking taylor expansion of 16.0 in i
14.017 * [backup-simplify]: Simplify 16.0 into 16.0
14.017 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.018 * [taylor]: Taking taylor expansion of i in i
14.018 * [backup-simplify]: Simplify 0 into 0
14.018 * [backup-simplify]: Simplify 1 into 1
14.018 * [taylor]: Taking taylor expansion of (* 16.0 (pow i 6)) in i
14.018 * [taylor]: Taking taylor expansion of 16.0 in i
14.018 * [backup-simplify]: Simplify 16.0 into 16.0
14.018 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.018 * [taylor]: Taking taylor expansion of i in i
14.018 * [backup-simplify]: Simplify 0 into 0
14.018 * [backup-simplify]: Simplify 1 into 1
14.018 * [backup-simplify]: Simplify (* 1 1) into 1
14.018 * [backup-simplify]: Simplify (* 1 1) into 1
14.019 * [backup-simplify]: Simplify (* 1 1) into 1
14.019 * [backup-simplify]: Simplify (* 16.0 1) into 16.0
14.019 * [backup-simplify]: Simplify 16.0 into 16.0
14.019 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.020 * [backup-simplify]: Simplify (+ (* 16.0 0) (* 0 1)) into 0
14.021 * [backup-simplify]: Simplify 0 into 0
14.021 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.023 * [backup-simplify]: Simplify (+ (* 16.0 0) (+ (* 0 0) (* 0 1))) into 0
14.023 * [backup-simplify]: Simplify 0 into 0
14.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.025 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.026 * [backup-simplify]: Simplify (+ (* 16.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.026 * [backup-simplify]: Simplify 0 into 0
14.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.029 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.031 * [backup-simplify]: Simplify (+ (* 16.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.031 * [backup-simplify]: Simplify 0 into 0
14.032 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.034 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.036 * [backup-simplify]: Simplify (+ (* 16.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.036 * [backup-simplify]: Simplify 0 into 0
14.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.040 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.041 * [backup-simplify]: Simplify (+ (* 16.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.041 * [backup-simplify]: Simplify 0 into 0
14.041 * [backup-simplify]: Simplify (* 16.0 (pow i 6)) into (* 16.0 (pow i 6))
14.042 * [backup-simplify]: Simplify (* 16.0 (pow (/ 1 i) 6)) into (/ 16.0 (pow i 6))
14.042 * [approximate]: Taking taylor expansion of (/ 16.0 (pow i 6)) in (i) around 0
14.042 * [taylor]: Taking taylor expansion of (/ 16.0 (pow i 6)) in i
14.042 * [taylor]: Taking taylor expansion of 16.0 in i
14.042 * [backup-simplify]: Simplify 16.0 into 16.0
14.042 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.042 * [taylor]: Taking taylor expansion of i in i
14.042 * [backup-simplify]: Simplify 0 into 0
14.042 * [backup-simplify]: Simplify 1 into 1
14.042 * [backup-simplify]: Simplify (* 1 1) into 1
14.043 * [backup-simplify]: Simplify (* 1 1) into 1
14.043 * [backup-simplify]: Simplify (* 1 1) into 1
14.043 * [backup-simplify]: Simplify (/ 16.0 1) into 16.0
14.043 * [taylor]: Taking taylor expansion of (/ 16.0 (pow i 6)) in i
14.043 * [taylor]: Taking taylor expansion of 16.0 in i
14.044 * [backup-simplify]: Simplify 16.0 into 16.0
14.044 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.044 * [taylor]: Taking taylor expansion of i in i
14.044 * [backup-simplify]: Simplify 0 into 0
14.044 * [backup-simplify]: Simplify 1 into 1
14.044 * [backup-simplify]: Simplify (* 1 1) into 1
14.044 * [backup-simplify]: Simplify (* 1 1) into 1
14.045 * [backup-simplify]: Simplify (* 1 1) into 1
14.045 * [backup-simplify]: Simplify (/ 16.0 1) into 16.0
14.045 * [backup-simplify]: Simplify 16.0 into 16.0
14.045 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.046 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.047 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)))) into 0
14.047 * [backup-simplify]: Simplify 0 into 0
14.047 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.049 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.049 * [backup-simplify]: Simplify 0 into 0
14.049 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.050 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.051 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.051 * [backup-simplify]: Simplify 0 into 0
14.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.052 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.053 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.053 * [backup-simplify]: Simplify 0 into 0
14.054 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.056 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.056 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.056 * [backup-simplify]: Simplify 0 into 0
14.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.060 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.061 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.061 * [backup-simplify]: Simplify 0 into 0
14.061 * [backup-simplify]: Simplify (* 16.0 (pow (/ 1 (/ 1 i)) 6)) into (* 16.0 (pow i 6))
14.062 * [backup-simplify]: Simplify (* 16.0 (pow (/ 1 (- i)) 6)) into (/ 16.0 (pow i 6))
14.062 * [approximate]: Taking taylor expansion of (/ 16.0 (pow i 6)) in (i) around 0
14.062 * [taylor]: Taking taylor expansion of (/ 16.0 (pow i 6)) in i
14.062 * [taylor]: Taking taylor expansion of 16.0 in i
14.062 * [backup-simplify]: Simplify 16.0 into 16.0
14.062 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.062 * [taylor]: Taking taylor expansion of i in i
14.062 * [backup-simplify]: Simplify 0 into 0
14.062 * [backup-simplify]: Simplify 1 into 1
14.062 * [backup-simplify]: Simplify (* 1 1) into 1
14.062 * [backup-simplify]: Simplify (* 1 1) into 1
14.063 * [backup-simplify]: Simplify (* 1 1) into 1
14.063 * [backup-simplify]: Simplify (/ 16.0 1) into 16.0
14.064 * [taylor]: Taking taylor expansion of (/ 16.0 (pow i 6)) in i
14.064 * [taylor]: Taking taylor expansion of 16.0 in i
14.064 * [backup-simplify]: Simplify 16.0 into 16.0
14.064 * [taylor]: Taking taylor expansion of (pow i 6) in i
14.064 * [taylor]: Taking taylor expansion of i in i
14.064 * [backup-simplify]: Simplify 0 into 0
14.064 * [backup-simplify]: Simplify 1 into 1
14.064 * [backup-simplify]: Simplify (* 1 1) into 1
14.064 * [backup-simplify]: Simplify (* 1 1) into 1
14.065 * [backup-simplify]: Simplify (* 1 1) into 1
14.065 * [backup-simplify]: Simplify (/ 16.0 1) into 16.0
14.065 * [backup-simplify]: Simplify 16.0 into 16.0
14.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.066 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.067 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
14.068 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)))) into 0
14.068 * [backup-simplify]: Simplify 0 into 0
14.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.070 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
14.071 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.071 * [backup-simplify]: Simplify 0 into 0
14.072 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.073 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.074 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
14.075 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.075 * [backup-simplify]: Simplify 0 into 0
14.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.077 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.078 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
14.079 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.079 * [backup-simplify]: Simplify 0 into 0
14.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.081 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.083 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
14.083 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.084 * [backup-simplify]: Simplify 0 into 0
14.085 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.086 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.088 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
14.088 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 16.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
14.089 * [backup-simplify]: Simplify 0 into 0
14.089 * [backup-simplify]: Simplify (* 16.0 (pow (/ 1 (/ 1 (- i))) 6)) into (* 16.0 (pow i 6))
14.089 * * * [progress]: simplifying candidates
14.090 * [simplify]: Simplifying:
  (expm1 (* 16.0 (pow i 6)))
  (log1p (* 16.0 (pow i 6)))
  (+ (log 16.0) (* (log i) 6))
  (+ (log 16.0) (* (log i) 6))
  (+ (log 16.0) (log (pow i 6)))
  (log (* 16.0 (pow i 6)))
  (exp (* 16.0 (pow i 6)))
  (* (* (* 16.0 16.0) 16.0) (* (* (pow i 6) (pow i 6)) (pow i 6)))
  (* (cbrt (* 16.0 (pow i 6))) (cbrt (* 16.0 (pow i 6))))
  (cbrt (* 16.0 (pow i 6)))
  (* (* (* 16.0 (pow i 6)) (* 16.0 (pow i 6))) (* 16.0 (pow i 6)))
  (sqrt (* 16.0 (pow i 6)))
  (sqrt (* 16.0 (pow i 6)))
  (* (sqrt 16.0) (pow (sqrt i) 6))
  (* (sqrt 16.0) (pow (sqrt i) 6))
  (* (sqrt 16.0) (sqrt (pow i 6)))
  (* (sqrt 16.0) (sqrt (pow i 6)))
  (* (sqrt 16.0) (pow i (/ 6 2)))
  (* (sqrt 16.0) (pow i (/ 6 2)))
  (* 16.0 (pow (* (cbrt i) (cbrt i)) 6))
  (* 16.0 (pow (sqrt i) 6))
  (* 16.0 (pow 1 6))
  (* 16.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 16.0 (sqrt (pow i 6)))
  (* 16.0 1)
  (* 16.0 (pow i (/ 6 2)))
  (* (cbrt 16.0) (pow i 6))
  (* (sqrt 16.0) (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
14.091 * * [simplify]: Extracting # 0 : cost  0
14.091 * * [simplify]: Extracting # 1 : cost  0
14.091 * * [simplify]: Extracting # 2 : cost  0
14.091 * * [simplify]: Extracting # 3 : cost  0
14.091 * * [simplify]: Extracting # 4 : cost  0
14.091 * * [simplify]: Extracting # 5 : cost  0
14.091 * * [simplify]: Extracting # 6 : cost  0
14.092 * * [simplify]: iteration  0 :  52  enodes  (cost  233 )
14.122 * * [simplify]: Extracting # 0 : cost  0
14.122 * * [simplify]: Extracting # 1 : cost  0
14.122 * * [simplify]: Extracting # 2 : cost  0
14.122 * * [simplify]: Extracting # 3 : cost  0
14.122 * * [simplify]: Extracting # 4 : cost  0
14.123 * * [simplify]: iteration  1 :  102  enodes  (cost  210 )
14.161 * * [simplify]: Extracting # 0 : cost  0
14.162 * * [simplify]: Extracting # 1 : cost  0
14.162 * * [simplify]: Extracting # 2 : cost  0
14.162 * * [simplify]: Extracting # 3 : cost  0
14.163 * * [simplify]: iteration  2 :  243  enodes  (cost  198 )
14.407 * * [simplify]: Extracting # 0 : cost  0
14.409 * * [simplify]: Extracting # 1 : cost  0
14.411 * * [simplify]: Extracting # 2 : cost  0
14.413 * * [simplify]: Extracting # 3 : cost  0
14.414 * * [simplify]: Extracting # 4 : cost  0
14.416 * * [simplify]: iteration  3 :  907  enodes  (cost  193 )
15.679 * * [simplify]: Extracting # 0 : cost  0
15.686 * * [simplify]: Extracting # 1 : cost  0
15.692 * * [simplify]: Extracting # 2 : cost  0
15.698 * * [simplify]: Extracting # 3 : cost  0
15.706 * * [simplify]: Extracting # 4 : cost  0
15.725 * * [simplify]: iteration done:  5001  enodes  (cost  192 )
15.725 * [simplify]: Simplified to:
  (expm1 (* 16.0 (pow i 6)))
  (log1p (* 16.0 (pow i 6)))
  (log (* 16.0 (pow i 6)))
  (log (* 16.0 (pow i 6)))
  (log (* 16.0 (pow i 6)))
  (log (* 16.0 (pow i 6)))
  (exp (* 16.0 (pow i 6)))
  (pow (* 16.0 (pow i 6)) 3)
  (* (cbrt (* 16.0 (pow i 6))) (cbrt (* 16.0 (pow i 6))))
  (cbrt (* 16.0 (pow i 6)))
  (pow (* 16.0 (pow i 6)) 3)
  (sqrt (* 16.0 (pow i 6)))
  (sqrt (* 16.0 (pow i 6)))
  (* (pow i 3) (sqrt 16.0))
  (* (pow i 3) (sqrt 16.0))
  (* (sqrt 16.0) (sqrt (pow i 6)))
  (* (sqrt 16.0) (sqrt (pow i 6)))
  (* (pow i 3) (sqrt 16.0))
  (* (pow i 3) (sqrt 16.0))
  (* 16.0 (pow (cbrt i) 12))
  (* 16.0 (pow i 3))
  16.0
  (* 16.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 16.0 (sqrt (pow i 6)))
  16.0
  (* 16.0 (pow i 3))
  (* (cbrt 16.0) (pow i 6))
  (* (sqrt 16.0) (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
  (* 16.0 (pow i 6))
15.725 * * * [progress]: adding candidates to table
15.831 * [progress]: [Phase 3 of 3] Extracting.
15.831 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)))> #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))>)
15.832 * * * [regime-changes]: Trying 1 branch expressions: (i)
15.832 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)))> #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))>)
15.869 * * * [regime]: Found split indices: #<option (#s(si 0 134) #s(si 1 255))>
15.871 * [binary-search]: Improving bounds with binary search for i and (#<alt (λ (i) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)))> #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))>)
15.939 * [regimes]: Found splitpoints: (#s(sp 0 i 0.03786223385988405) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)))> #<alt (λ (i) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))>)
15.939 * [simplify]: Simplifying:
  (if (<= i 0.03786223385988405) (* (- (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (/ (/ 1 2.0) 2.0)) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))
15.940 * * [simplify]: Extracting # 0 : cost  0
15.940 * * [simplify]: Extracting # 1 : cost  0
15.940 * * [simplify]: Extracting # 2 : cost  0
15.940 * * [simplify]: Extracting # 3 : cost  0
15.940 * * [simplify]: Extracting # 4 : cost  0
15.940 * * [simplify]: Extracting # 5 : cost  0
15.940 * * [simplify]: Extracting # 6 : cost  0
15.940 * * [simplify]: Extracting # 7 : cost  0
15.940 * * [simplify]: Extracting # 8 : cost  0
15.940 * * [simplify]: Extracting # 9 : cost  0
15.940 * * [simplify]: Extracting # 10 : cost  0
15.940 * * [simplify]: Extracting # 11 : cost  0
15.940 * * [simplify]: Extracting # 12 : cost  0
15.940 * * [simplify]: Extracting # 13 : cost  0
15.940 * * [simplify]: Extracting # 14 : cost  0
15.940 * * [simplify]: iteration  0 :  28  enodes  (cost  45 )
15.942 * * [simplify]: Extracting # 0 : cost  0
15.942 * * [simplify]: Extracting # 1 : cost  0
15.942 * * [simplify]: Extracting # 2 : cost  0
15.942 * * [simplify]: iteration  1 :  35  enodes  (cost  45 )
15.944 * * [simplify]: Extracting # 0 : cost  0
15.944 * * [simplify]: Extracting # 1 : cost  0
15.944 * * [simplify]: Extracting # 2 : cost  0
15.944 * * [simplify]: iteration  2 :  39  enodes  (cost  45 )
15.946 * * [simplify]: Extracting # 0 : cost  0
15.946 * * [simplify]: Extracting # 1 : cost  0
15.946 * * [simplify]: Extracting # 2 : cost  0
15.946 * * [simplify]: iteration  3 :  42  enodes  (cost  45 )
15.949 * * [simplify]: Extracting # 0 : cost  0
15.949 * * [simplify]: Extracting # 1 : cost  0
15.949 * * [simplify]: Extracting # 2 : cost  0
15.949 * * [simplify]: Extracting # 3 : cost  0
15.949 * * [simplify]: Extracting # 4 : cost  0
15.949 * * [simplify]: iteration  4 :  45  enodes  (cost  44 )
15.951 * * [simplify]: Extracting # 0 : cost  0
15.951 * * [simplify]: iteration done:  45  enodes  (cost  44 )
15.951 * [simplify]: Simplified to:
  (if (<= i 0.03786223385988405) (* (/ (/ -1 2.0) 2.0) (fma 1.0 (* i i) (fma 4.0 (pow i 4) (* 16.0 (pow i 6))))) (* (/ 1 (fma 2.0 2.0 (- (log (exp (/ 1.0 (* i i))))))) (/ (/ 1 2.0) 2.0)))
17.692 * [regime-testing]: Baseline error score: 15.29761292336275
17.695 * [regime-testing]: Oracle error score: 0.03436789487560571
17.699 * [regime-testing]: End program error score: 0.03436789487560571