14.473 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.043 * * * [progress]: [2/2] Setting up program.
0.046 * [progress]: [Phase 2 of 3] Improving.
0.046 * [simplify]: Simplifying:
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.047 * * [simplify]: Extracting # 0 : cost  0
0.047 * * [simplify]: Extracting # 1 : cost  0
0.047 * * [simplify]: Extracting # 2 : cost  0
0.047 * * [simplify]: Extracting # 3 : cost  0
0.047 * * [simplify]: Extracting # 4 : cost  0
0.047 * * [simplify]: Extracting # 5 : cost  0
0.047 * * [simplify]: Extracting # 6 : cost  0
0.047 * * [simplify]: iteration  0 :  10  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.052 * * [simplify]: iteration  1 :  32  enodes  (cost  25 )
0.071 * * [simplify]: Extracting # 0 : cost  0
0.071 * * [simplify]: Extracting # 1 : cost  0
0.072 * * [simplify]: Extracting # 2 : cost  0
0.072 * * [simplify]: Extracting # 3 : cost  0
0.072 * * [simplify]: Extracting # 4 : cost  0
0.073 * * [simplify]: iteration  2 :  168  enodes  (cost  23 )
0.251 * * [simplify]: Extracting # 0 : cost  0
0.253 * * [simplify]: Extracting # 1 : cost  0
0.255 * * [simplify]: Extracting # 2 : cost  0
0.257 * * [simplify]: Extracting # 3 : cost  0
0.258 * * [simplify]: Extracting # 4 : cost  0
0.259 * * [simplify]: iteration  3 :  894  enodes  (cost  19 )
3.926 * * [simplify]: Extracting # 0 : cost  0
3.936 * * [simplify]: Extracting # 1 : cost  0
3.939 * * [simplify]: Extracting # 2 : cost  0
3.942 * * [simplify]: Extracting # 3 : cost  0
3.944 * * [simplify]: Extracting # 4 : cost  0
3.947 * * [simplify]: iteration  4 :  3353  enodes  (cost  15 )
6.024 * * [simplify]: Extracting # 0 : cost  0
6.032 * * [simplify]: Extracting # 1 : cost  0
6.042 * * [simplify]: Extracting # 2 : cost  0
6.051 * * [simplify]: Extracting # 3 : cost  0
6.060 * * [simplify]: Extracting # 4 : cost  0
6.069 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
6.069 * [simplify]: Simplified to:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
6.075 * * [progress]: iteration 1 / 4
6.076 * * * [progress]: picking best candidate
6.081 * * * * [pick]: Picked  #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>
6.081 * * * [progress]: localizing error
6.107 * * * [progress]: generating rewritten candidates
6.107 * * * * [progress]: [ 1 / 2 ] rewriting at (2)
6.234 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1 2)
6.254 * * * [progress]: generating series expansions
6.254 * * * * [progress]: [ 1 / 2 ] generating series at (2)
6.256 * [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.256 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in (i) around 0
6.256 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.256 * [taylor]: Taking taylor expansion of 0.25 in i
6.256 * [backup-simplify]: Simplify 0.25 into 0.25
6.256 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.256 * [taylor]: Taking taylor expansion of 4.0 in i
6.256 * [backup-simplify]: Simplify 4.0 into 4.0
6.256 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.256 * [taylor]: Taking taylor expansion of 1.0 in i
6.256 * [backup-simplify]: Simplify 1.0 into 1.0
6.256 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.256 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.256 * [taylor]: Taking taylor expansion of i in i
6.256 * [backup-simplify]: Simplify 0 into 0
6.256 * [backup-simplify]: Simplify 1 into 1
6.257 * [backup-simplify]: Simplify (* 1 1) into 1
6.257 * [backup-simplify]: Simplify (/ 1 1) into 1
6.258 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.258 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.259 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.260 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.260 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.260 * [taylor]: Taking taylor expansion of 0.25 in i
6.260 * [backup-simplify]: Simplify 0.25 into 0.25
6.260 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.260 * [taylor]: Taking taylor expansion of 4.0 in i
6.260 * [backup-simplify]: Simplify 4.0 into 4.0
6.260 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.260 * [taylor]: Taking taylor expansion of 1.0 in i
6.260 * [backup-simplify]: Simplify 1.0 into 1.0
6.260 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.260 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.260 * [taylor]: Taking taylor expansion of i in i
6.260 * [backup-simplify]: Simplify 0 into 0
6.261 * [backup-simplify]: Simplify 1 into 1
6.261 * [backup-simplify]: Simplify (* 1 1) into 1
6.261 * [backup-simplify]: Simplify (/ 1 1) into 1
6.262 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.262 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.263 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.263 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.263 * [backup-simplify]: Simplify -0.25 into -0.25
6.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.264 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.264 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.265 * [backup-simplify]: Simplify (- 0) into 0
6.265 * [backup-simplify]: Simplify (+ 0 0) into 0
6.266 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))))) into 0
6.266 * [backup-simplify]: Simplify 0 into 0
6.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.267 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.267 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.267 * [backup-simplify]: Simplify (- 0) into 0
6.268 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.271 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 1.0)
6.271 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.272 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.273 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.273 * [backup-simplify]: Simplify (- 0) into 0
6.273 * [backup-simplify]: Simplify (+ 0 0) into 0
6.274 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 1.0) (/ 0 (- 1.0))))) into 0
6.274 * [backup-simplify]: Simplify 0 into 0
6.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.276 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.276 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.277 * [backup-simplify]: Simplify (- 0) into 0
6.277 * [backup-simplify]: Simplify (+ 0 0) into 0
6.281 * [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.282 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.284 * [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.285 * [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.285 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.285 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.285 * [taylor]: Taking taylor expansion of 0.25 in i
6.285 * [backup-simplify]: Simplify 0.25 into 0.25
6.285 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.285 * [taylor]: Taking taylor expansion of 4.0 in i
6.285 * [backup-simplify]: Simplify 4.0 into 4.0
6.285 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.285 * [taylor]: Taking taylor expansion of 1.0 in i
6.285 * [backup-simplify]: Simplify 1.0 into 1.0
6.285 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.285 * [taylor]: Taking taylor expansion of i in i
6.285 * [backup-simplify]: Simplify 0 into 0
6.285 * [backup-simplify]: Simplify 1 into 1
6.286 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.286 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.286 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.287 * [taylor]: Taking taylor expansion of 0.25 in i
6.287 * [backup-simplify]: Simplify 0.25 into 0.25
6.287 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.287 * [taylor]: Taking taylor expansion of 4.0 in i
6.287 * [backup-simplify]: Simplify 4.0 into 4.0
6.287 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.287 * [taylor]: Taking taylor expansion of 1.0 in i
6.287 * [backup-simplify]: Simplify 1.0 into 1.0
6.287 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.287 * [taylor]: Taking taylor expansion of i in i
6.287 * [backup-simplify]: Simplify 0 into 0
6.287 * [backup-simplify]: Simplify 1 into 1
6.287 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.288 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.288 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.288 * [backup-simplify]: Simplify (+ 0 0) into 0
6.289 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.289 * [backup-simplify]: Simplify 0 into 0
6.290 * [backup-simplify]: Simplify (* 1 1) into 1
6.290 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.291 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.292 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.297 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.297 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.298 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.298 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.299 * [backup-simplify]: Simplify (- 0) into 0
6.299 * [backup-simplify]: Simplify (+ 0 0) into 0
6.301 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.301 * [backup-simplify]: Simplify 0 into 0
6.302 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.303 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.303 * [backup-simplify]: Simplify (- 0) into 0
6.304 * [backup-simplify]: Simplify (+ 0 0) into 0
6.310 * [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.310 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.311 * [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.312 * [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.312 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.312 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.312 * [taylor]: Taking taylor expansion of 0.25 in i
6.312 * [backup-simplify]: Simplify 0.25 into 0.25
6.312 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.312 * [taylor]: Taking taylor expansion of 4.0 in i
6.312 * [backup-simplify]: Simplify 4.0 into 4.0
6.312 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.312 * [taylor]: Taking taylor expansion of 1.0 in i
6.312 * [backup-simplify]: Simplify 1.0 into 1.0
6.312 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.312 * [taylor]: Taking taylor expansion of i in i
6.312 * [backup-simplify]: Simplify 0 into 0
6.312 * [backup-simplify]: Simplify 1 into 1
6.312 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.312 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.312 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.312 * [taylor]: Taking taylor expansion of 0.25 in i
6.313 * [backup-simplify]: Simplify 0.25 into 0.25
6.313 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.313 * [taylor]: Taking taylor expansion of 4.0 in i
6.313 * [backup-simplify]: Simplify 4.0 into 4.0
6.313 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.313 * [taylor]: Taking taylor expansion of 1.0 in i
6.313 * [backup-simplify]: Simplify 1.0 into 1.0
6.313 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.313 * [taylor]: Taking taylor expansion of i in i
6.313 * [backup-simplify]: Simplify 0 into 0
6.313 * [backup-simplify]: Simplify 1 into 1
6.313 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.313 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.313 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.314 * [backup-simplify]: Simplify (+ 0 0) into 0
6.314 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.314 * [backup-simplify]: Simplify 0 into 0
6.314 * [backup-simplify]: Simplify (* 1 1) into 1
6.315 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.315 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.315 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.318 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.319 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.319 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.319 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.320 * [backup-simplify]: Simplify (- 0) into 0
6.320 * [backup-simplify]: Simplify (+ 0 0) into 0
6.321 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.321 * [backup-simplify]: Simplify 0 into 0
6.322 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.322 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.322 * [backup-simplify]: Simplify (- 0) into 0
6.323 * [backup-simplify]: Simplify (+ 0 0) into 0
6.327 * [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.327 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.327 * [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.327 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1 2)
6.328 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2))
6.328 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
6.328 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.328 * [taylor]: Taking taylor expansion of 1.0 in i
6.328 * [backup-simplify]: Simplify 1.0 into 1.0
6.328 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.328 * [taylor]: Taking taylor expansion of i in i
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify 1 into 1
6.328 * [backup-simplify]: Simplify (* 1 1) into 1
6.328 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.328 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.328 * [taylor]: Taking taylor expansion of 1.0 in i
6.328 * [backup-simplify]: Simplify 1.0 into 1.0
6.328 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.328 * [taylor]: Taking taylor expansion of i in i
6.328 * [backup-simplify]: Simplify 0 into 0
6.328 * [backup-simplify]: Simplify 1 into 1
6.329 * [backup-simplify]: Simplify (* 1 1) into 1
6.329 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.329 * [backup-simplify]: Simplify 1.0 into 1.0
6.330 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.330 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
6.330 * [backup-simplify]: Simplify 0 into 0
6.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.331 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.331 * [backup-simplify]: Simplify 0 into 0
6.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.333 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.333 * [backup-simplify]: Simplify 0 into 0
6.333 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.334 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.334 * [backup-simplify]: Simplify 0 into 0
6.335 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.335 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.335 * [backup-simplify]: Simplify 0 into 0
6.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.337 * [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.337 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.337 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2))
6.337 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.337 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.337 * [taylor]: Taking taylor expansion of 1.0 in i
6.337 * [backup-simplify]: Simplify 1.0 into 1.0
6.337 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.337 * [taylor]: Taking taylor expansion of i in i
6.337 * [backup-simplify]: Simplify 0 into 0
6.337 * [backup-simplify]: Simplify 1 into 1
6.337 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.337 * [taylor]: Taking taylor expansion of 1.0 in i
6.337 * [backup-simplify]: Simplify 1.0 into 1.0
6.337 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.337 * [taylor]: Taking taylor expansion of i in i
6.337 * [backup-simplify]: Simplify 0 into 0
6.338 * [backup-simplify]: Simplify 1 into 1
6.338 * [backup-simplify]: Simplify (* 1 1) into 1
6.338 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.338 * [backup-simplify]: Simplify 1.0 into 1.0
6.339 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.339 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.339 * [backup-simplify]: Simplify 0 into 0
6.340 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.340 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.340 * [backup-simplify]: Simplify 0 into 0
6.341 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.341 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.341 * [backup-simplify]: Simplify 0 into 0
6.342 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.346 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.346 * [backup-simplify]: Simplify 0 into 0
6.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.348 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.348 * [backup-simplify]: Simplify 0 into 0
6.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.350 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.350 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.350 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2))
6.350 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.350 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.350 * [taylor]: Taking taylor expansion of 1.0 in i
6.350 * [backup-simplify]: Simplify 1.0 into 1.0
6.350 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.350 * [taylor]: Taking taylor expansion of i in i
6.350 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify 1 into 1
6.350 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.350 * [taylor]: Taking taylor expansion of 1.0 in i
6.350 * [backup-simplify]: Simplify 1.0 into 1.0
6.350 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.350 * [taylor]: Taking taylor expansion of i in i
6.350 * [backup-simplify]: Simplify 0 into 0
6.350 * [backup-simplify]: Simplify 1 into 1
6.351 * [backup-simplify]: Simplify (* 1 1) into 1
6.351 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.351 * [backup-simplify]: Simplify 1.0 into 1.0
6.352 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.352 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.352 * [backup-simplify]: Simplify 0 into 0
6.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.353 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.353 * [backup-simplify]: Simplify 0 into 0
6.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.355 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.355 * [backup-simplify]: Simplify 0 into 0
6.355 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.356 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.356 * [backup-simplify]: Simplify 0 into 0
6.357 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.358 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.358 * [backup-simplify]: Simplify 0 into 0
6.359 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.360 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.360 * [backup-simplify]: Simplify 0 into 0
6.360 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
6.360 * * * [progress]: simplifying candidates
6.361 * [simplify]: Simplifying:
  (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)))
  (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)
  (- (+ (* 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))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
6.363 * * [simplify]: Extracting # 0 : cost  0
6.363 * * [simplify]: Extracting # 1 : cost  0
6.363 * * [simplify]: Extracting # 2 : cost  0
6.363 * * [simplify]: Extracting # 3 : cost  0
6.363 * * [simplify]: Extracting # 4 : cost  0
6.364 * * [simplify]: Extracting # 5 : cost  0
6.364 * * [simplify]: Extracting # 6 : cost  0
6.364 * * [simplify]: Extracting # 7 : cost  0
6.364 * * [simplify]: Extracting # 8 : cost  0
6.364 * * [simplify]: Extracting # 9 : cost  0
6.365 * * [simplify]: Extracting # 10 : cost  0
6.365 * * [simplify]: Extracting # 11 : cost  0
6.365 * * [simplify]: iteration  0 :  136  enodes  (cost  944 )
6.403 * * [simplify]: Extracting # 0 : cost  0
6.403 * * [simplify]: Extracting # 1 : cost  0
6.403 * * [simplify]: Extracting # 2 : cost  0
6.404 * * [simplify]: Extracting # 3 : cost  0
6.404 * * [simplify]: Extracting # 4 : cost  0
6.404 * * [simplify]: iteration  1 :  322  enodes  (cost  853 )
6.555 * * [simplify]: Extracting # 0 : cost  0
6.558 * * [simplify]: Extracting # 1 : cost  0
6.559 * * [simplify]: Extracting # 2 : cost  0
6.561 * * [simplify]: Extracting # 3 : cost  0
6.563 * * [simplify]: Extracting # 4 : cost  0
6.565 * * [simplify]: iteration  2 :  943  enodes  (cost  732 )
8.080 * * [simplify]: Extracting # 0 : cost  0
8.085 * * [simplify]: Extracting # 1 : cost  0
8.088 * * [simplify]: Extracting # 2 : cost  0
8.092 * * [simplify]: Extracting # 3 : cost  0
8.096 * * [simplify]: Extracting # 4 : cost  0
8.099 * * [simplify]: iteration  3 :  3845  enodes  (cost  730 )
9.439 * * [simplify]: Extracting # 0 : cost  0
9.445 * * [simplify]: Extracting # 1 : cost  0
9.457 * * [simplify]: Extracting # 2 : cost  0
9.462 * * [simplify]: Extracting # 3 : cost  0
9.472 * * [simplify]: iteration done:  5001  enodes  (cost  730 )
9.473 * [simplify]: Simplified to:
  (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))))
  (pow (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) 3)
  (pow (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) 3)
  (pow (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) 3)
  (* (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))))
  (pow (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) 3)
  (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
  (* (* (fma 2.0 (- 2.0) (/ 1.0 (* i i))) 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))))
  (/ (/ 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 (- (* 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 (* (- (pow 2.0 6) (pow (/ 1.0 (pow i 2)) 3)) (* 2.0 2.0)))
  (/ (/ 1 (- (pow 2.0 4) (/ (* 1.0 1.0) (pow i 4)))) (* 2.0 2.0))
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (log (/ 1.0 (pow i 2)))
  (log (/ 1.0 (pow i 2)))
  (log (/ 1.0 (pow i 2)))
  (exp (/ 1.0 (* i i)))
  (pow (/ 1.0 (pow i 2)) 3)
  (pow (/ 1.0 (pow i 2)) 3)
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ 1.0 (pow i 2)) 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)
  (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (+ (+ (/ 0.015625 (* i i)) 0.0625) (/ 0.00390625 (pow i 4)))
  (+ (+ (/ 0.015625 (* i i)) 0.0625) (/ 0.00390625 (pow i 4)))
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
  (/ (/ 1.0 i) i)
9.474 * * * [progress]: adding candidates to table
9.595 * * [progress]: iteration 2 / 4
9.595 * * * [progress]: picking best candidate
9.599 * * * * [pick]: Picked  #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))>
9.599 * * * [progress]: localizing error
9.622 * * * [progress]: generating rewritten candidates
9.622 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 3)
9.623 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 3 3)
9.639 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1)
9.640 * * * [progress]: generating series expansions
9.640 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 3)
9.640 * [backup-simplify]: Simplify (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) into (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))
9.641 * [approximate]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in (i) around 0
9.641 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.641 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.641 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.641 * [taylor]: Taking taylor expansion of 1.0 in i
9.641 * [backup-simplify]: Simplify 1.0 into 1.0
9.641 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.641 * [taylor]: Taking taylor expansion of i in i
9.641 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify 1 into 1
9.641 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.641 * [taylor]: Taking taylor expansion of 4.0 in i
9.641 * [backup-simplify]: Simplify 4.0 into 4.0
9.641 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.641 * [taylor]: Taking taylor expansion of i in i
9.641 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify 1 into 1
9.641 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.641 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.641 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.641 * [taylor]: Taking taylor expansion of 1.0 in i
9.641 * [backup-simplify]: Simplify 1.0 into 1.0
9.641 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.641 * [taylor]: Taking taylor expansion of i in i
9.641 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify 1 into 1
9.641 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.641 * [taylor]: Taking taylor expansion of 4.0 in i
9.641 * [backup-simplify]: Simplify 4.0 into 4.0
9.641 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.641 * [taylor]: Taking taylor expansion of i in i
9.641 * [backup-simplify]: Simplify 0 into 0
9.641 * [backup-simplify]: Simplify 1 into 1
9.642 * [backup-simplify]: Simplify (* 1 1) into 1
9.642 * [backup-simplify]: Simplify (* 1 1) into 1
9.643 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.643 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.643 * [backup-simplify]: Simplify 1.0 into 1.0
9.643 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.644 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.644 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.645 * [backup-simplify]: Simplify (+ 0 0) into 0
9.645 * [backup-simplify]: Simplify 0 into 0
9.645 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.646 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.646 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.647 * [backup-simplify]: Simplify (* 1 1) into 1
9.647 * [backup-simplify]: Simplify (* 1 1) into 1
9.647 * [backup-simplify]: Simplify (* 1 1) into 1
9.647 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.648 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.648 * [backup-simplify]: Simplify 4.0 into 4.0
9.648 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.649 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.650 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.650 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.651 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.651 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.651 * [backup-simplify]: Simplify (+ 0 0) into 0
9.651 * [backup-simplify]: Simplify 0 into 0
9.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.653 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.653 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.654 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.655 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.656 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.656 * [backup-simplify]: Simplify (+ 0 0) into 0
9.656 * [backup-simplify]: Simplify 0 into 0
9.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.657 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.659 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.668 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.669 * [backup-simplify]: Simplify (+ 0 0) into 0
9.669 * [backup-simplify]: Simplify 0 into 0
9.670 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.672 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.675 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.675 * [backup-simplify]: Simplify (+ 0 0) into 0
9.675 * [backup-simplify]: Simplify 0 into 0
9.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.678 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.682 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.682 * [backup-simplify]: Simplify (+ 0 0) into 0
9.682 * [backup-simplify]: Simplify 0 into 0
9.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.685 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.690 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.690 * [backup-simplify]: Simplify (+ 0 0) into 0
9.690 * [backup-simplify]: Simplify 0 into 0
9.691 * [backup-simplify]: Simplify (+ (* 4.0 (pow i 6)) (* 1.0 (pow i 4))) into (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.691 * [backup-simplify]: Simplify (fma 1.0 (pow (/ 1 i) 4) (* 4.0 (pow (/ 1 i) 6))) into (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6)))
9.691 * [approximate]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in (i) around 0
9.691 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.692 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.692 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.692 * [taylor]: Taking taylor expansion of 1.0 in i
9.692 * [backup-simplify]: Simplify 1.0 into 1.0
9.692 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.692 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.692 * [taylor]: Taking taylor expansion of i in i
9.692 * [backup-simplify]: Simplify 0 into 0
9.692 * [backup-simplify]: Simplify 1 into 1
9.692 * [backup-simplify]: Simplify (/ 1 1) into 1
9.692 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.692 * [taylor]: Taking taylor expansion of 4.0 in i
9.692 * [backup-simplify]: Simplify 4.0 into 4.0
9.692 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.692 * [taylor]: Taking taylor expansion of i in i
9.693 * [backup-simplify]: Simplify 0 into 0
9.693 * [backup-simplify]: Simplify 1 into 1
9.693 * [backup-simplify]: Simplify (* 1 1) into 1
9.693 * [backup-simplify]: Simplify (* 1 1) into 1
9.694 * [backup-simplify]: Simplify (* 1 1) into 1
9.694 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.694 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.694 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.694 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.694 * [taylor]: Taking taylor expansion of 1.0 in i
9.695 * [backup-simplify]: Simplify 1.0 into 1.0
9.695 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.695 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.695 * [taylor]: Taking taylor expansion of i in i
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [backup-simplify]: Simplify 1 into 1
9.695 * [backup-simplify]: Simplify (/ 1 1) into 1
9.695 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.695 * [taylor]: Taking taylor expansion of 4.0 in i
9.695 * [backup-simplify]: Simplify 4.0 into 4.0
9.695 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.695 * [taylor]: Taking taylor expansion of i in i
9.695 * [backup-simplify]: Simplify 0 into 0
9.695 * [backup-simplify]: Simplify 1 into 1
9.696 * [backup-simplify]: Simplify (* 1 1) into 1
9.696 * [backup-simplify]: Simplify (* 1 1) into 1
9.696 * [backup-simplify]: Simplify (* 1 1) into 1
9.697 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.697 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.698 * [backup-simplify]: Simplify 4.0 into 4.0
9.698 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.699 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.700 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.701 * [backup-simplify]: Simplify (+ 0 0) into 0
9.701 * [backup-simplify]: Simplify 0 into 0
9.701 * [backup-simplify]: Simplify (* 1 1) into 1
9.702 * [backup-simplify]: Simplify (* 1 1) into 1
9.702 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.703 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.704 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.706 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.706 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.706 * [backup-simplify]: Simplify 1.0 into 1.0
9.707 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.708 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.709 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.710 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.711 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.714 * [backup-simplify]: Simplify (+ 0 0) into 0
9.714 * [backup-simplify]: Simplify 0 into 0
9.715 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.716 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.718 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.720 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.723 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.723 * [backup-simplify]: Simplify (+ 0 0) into 0
9.723 * [backup-simplify]: Simplify 0 into 0
9.724 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.727 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.729 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.732 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.733 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.733 * [backup-simplify]: Simplify (+ 0 0) into 0
9.733 * [backup-simplify]: Simplify 0 into 0
9.734 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.737 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.738 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.741 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.743 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.744 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.744 * [backup-simplify]: Simplify (+ 0 0) into 0
9.744 * [backup-simplify]: Simplify 0 into 0
9.745 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.747 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.748 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.750 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.751 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.753 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.755 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.756 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.757 * [backup-simplify]: Simplify (+ 0 0) into 0
9.757 * [backup-simplify]: Simplify 0 into 0
9.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.760 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.761 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.763 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.765 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.766 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.768 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 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
9.768 * [backup-simplify]: Simplify (+ 0 0) into 0
9.768 * [backup-simplify]: Simplify 0 into 0
9.769 * [backup-simplify]: Simplify (+ (* 1.0 (pow (/ 1 (/ 1 i)) 4)) (* 4.0 (pow (/ 1 (/ 1 i)) 6))) into (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.769 * [backup-simplify]: Simplify (fma 1.0 (pow (/ 1 (- i)) 4) (* 4.0 (pow (/ 1 (- i)) 6))) into (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6)))
9.769 * [approximate]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in (i) around 0
9.769 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
9.769 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
9.769 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
9.769 * [taylor]: Taking taylor expansion of 1.0 in i
9.769 * [backup-simplify]: Simplify 1.0 into 1.0
9.769 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
9.769 * [taylor]: Taking taylor expansion of (/ -1 i) in i
9.769 * [taylor]: Taking taylor expansion of -1 in i
9.769 * [backup-simplify]: Simplify -1 into -1
9.769 * [taylor]: Taking taylor expansion of i in i
9.769 * [backup-simplify]: Simplify 0 into 0
9.769 * [backup-simplify]: Simplify 1 into 1
9.770 * [backup-simplify]: Simplify (/ -1 1) into -1
9.770 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.770 * [taylor]: Taking taylor expansion of 4.0 in i
9.770 * [backup-simplify]: Simplify 4.0 into 4.0
9.770 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.770 * [taylor]: Taking taylor expansion of i in i
9.770 * [backup-simplify]: Simplify 0 into 0
9.770 * [backup-simplify]: Simplify 1 into 1
9.770 * [backup-simplify]: Simplify (* 1 1) into 1
9.771 * [backup-simplify]: Simplify (* 1 1) into 1
9.771 * [backup-simplify]: Simplify (* 1 1) into 1
9.771 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.771 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
9.771 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
9.771 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
9.771 * [taylor]: Taking taylor expansion of 1.0 in i
9.771 * [backup-simplify]: Simplify 1.0 into 1.0
9.771 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
9.771 * [taylor]: Taking taylor expansion of (/ -1 i) in i
9.771 * [taylor]: Taking taylor expansion of -1 in i
9.771 * [backup-simplify]: Simplify -1 into -1
9.771 * [taylor]: Taking taylor expansion of i in i
9.771 * [backup-simplify]: Simplify 0 into 0
9.771 * [backup-simplify]: Simplify 1 into 1
9.772 * [backup-simplify]: Simplify (/ -1 1) into -1
9.772 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.772 * [taylor]: Taking taylor expansion of 4.0 in i
9.772 * [backup-simplify]: Simplify 4.0 into 4.0
9.772 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.772 * [taylor]: Taking taylor expansion of i in i
9.772 * [backup-simplify]: Simplify 0 into 0
9.772 * [backup-simplify]: Simplify 1 into 1
9.772 * [backup-simplify]: Simplify (* 1 1) into 1
9.772 * [backup-simplify]: Simplify (* 1 1) into 1
9.773 * [backup-simplify]: Simplify (* 1 1) into 1
9.773 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.773 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.773 * [backup-simplify]: Simplify 4.0 into 4.0
9.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.775 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.775 * [backup-simplify]: Simplify (+ 0 0) into 0
9.775 * [backup-simplify]: Simplify 0 into 0
9.775 * [backup-simplify]: Simplify (* -1 -1) into 1
9.776 * [backup-simplify]: Simplify (* 1 1) into 1
9.776 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.777 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.778 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.778 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.778 * [backup-simplify]: Simplify 1.0 into 1.0
9.779 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.779 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
9.780 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.780 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.782 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.782 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.783 * [backup-simplify]: Simplify (+ 0 0) into 0
9.783 * [backup-simplify]: Simplify 0 into 0
9.783 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.784 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
9.784 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.785 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.786 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.788 * [backup-simplify]: Simplify (+ 0 0) into 0
9.788 * [backup-simplify]: Simplify 0 into 0
9.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.792 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
9.793 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.794 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.794 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.796 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.797 * [backup-simplify]: Simplify (+ 0 0) into 0
9.797 * [backup-simplify]: Simplify 0 into 0
9.797 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.799 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
9.800 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.801 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.804 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.807 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.807 * [backup-simplify]: Simplify (+ 0 0) into 0
9.807 * [backup-simplify]: Simplify 0 into 0
9.808 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.810 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
9.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.813 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.814 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.816 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.819 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.819 * [backup-simplify]: Simplify (+ 0 0) into 0
9.819 * [backup-simplify]: Simplify 0 into 0
9.820 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.822 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
9.824 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.825 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.827 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.829 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 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
9.833 * [backup-simplify]: Simplify (+ 0 0) into 0
9.833 * [backup-simplify]: Simplify 0 into 0
9.833 * [backup-simplify]: Simplify (+ (* 1.0 (pow (/ 1 (/ 1 (- i))) 4)) (* 4.0 (pow (/ 1 (/ 1 (- i))) 6))) into (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.834 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 3 3)
9.834 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
9.834 * [approximate]: Taking taylor expansion of (* 4.0 (pow i 6)) in (i) around 0
9.834 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.834 * [taylor]: Taking taylor expansion of 4.0 in i
9.834 * [backup-simplify]: Simplify 4.0 into 4.0
9.834 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.834 * [taylor]: Taking taylor expansion of i in i
9.834 * [backup-simplify]: Simplify 0 into 0
9.834 * [backup-simplify]: Simplify 1 into 1
9.834 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.834 * [taylor]: Taking taylor expansion of 4.0 in i
9.834 * [backup-simplify]: Simplify 4.0 into 4.0
9.834 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.834 * [taylor]: Taking taylor expansion of i in i
9.834 * [backup-simplify]: Simplify 0 into 0
9.834 * [backup-simplify]: Simplify 1 into 1
9.835 * [backup-simplify]: Simplify (* 1 1) into 1
9.835 * [backup-simplify]: Simplify (* 1 1) into 1
9.836 * [backup-simplify]: Simplify (* 1 1) into 1
9.836 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.836 * [backup-simplify]: Simplify 4.0 into 4.0
9.837 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.838 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.839 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.839 * [backup-simplify]: Simplify 0 into 0
9.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.844 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.844 * [backup-simplify]: Simplify 0 into 0
9.845 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.846 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.847 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.848 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.848 * [backup-simplify]: Simplify 0 into 0
9.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.852 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.853 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.855 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.855 * [backup-simplify]: Simplify 0 into 0
9.857 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.858 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.862 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.862 * [backup-simplify]: Simplify 0 into 0
9.863 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.865 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.867 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.869 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.869 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
9.869 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 i) 6)) into (/ 4.0 (pow i 6))
9.869 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
9.869 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.869 * [taylor]: Taking taylor expansion of 4.0 in i
9.869 * [backup-simplify]: Simplify 4.0 into 4.0
9.869 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.870 * [taylor]: Taking taylor expansion of i in i
9.870 * [backup-simplify]: Simplify 0 into 0
9.870 * [backup-simplify]: Simplify 1 into 1
9.870 * [backup-simplify]: Simplify (* 1 1) into 1
9.871 * [backup-simplify]: Simplify (* 1 1) into 1
9.871 * [backup-simplify]: Simplify (* 1 1) into 1
9.871 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.871 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.871 * [taylor]: Taking taylor expansion of 4.0 in i
9.872 * [backup-simplify]: Simplify 4.0 into 4.0
9.872 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.872 * [taylor]: Taking taylor expansion of i in i
9.872 * [backup-simplify]: Simplify 0 into 0
9.872 * [backup-simplify]: Simplify 1 into 1
9.872 * [backup-simplify]: Simplify (* 1 1) into 1
9.872 * [backup-simplify]: Simplify (* 1 1) into 1
9.873 * [backup-simplify]: Simplify (* 1 1) into 1
9.873 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.873 * [backup-simplify]: Simplify 4.0 into 4.0
9.874 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.875 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.876 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.876 * [backup-simplify]: Simplify 0 into 0
9.877 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.879 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.880 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.880 * [backup-simplify]: Simplify 0 into 0
9.881 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.882 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.885 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.885 * [backup-simplify]: Simplify 0 into 0
9.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.889 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.890 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.890 * [backup-simplify]: Simplify 0 into 0
9.891 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.893 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.894 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.896 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.896 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.899 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.901 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.902 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.902 * [backup-simplify]: Simplify 0 into 0
9.902 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 i)) 6)) into (* 4.0 (pow i 6))
9.903 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (- i)) 6)) into (/ 4.0 (pow i 6))
9.903 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
9.903 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.903 * [taylor]: Taking taylor expansion of 4.0 in i
9.903 * [backup-simplify]: Simplify 4.0 into 4.0
9.903 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.903 * [taylor]: Taking taylor expansion of i in i
9.903 * [backup-simplify]: Simplify 0 into 0
9.903 * [backup-simplify]: Simplify 1 into 1
9.903 * [backup-simplify]: Simplify (* 1 1) into 1
9.904 * [backup-simplify]: Simplify (* 1 1) into 1
9.904 * [backup-simplify]: Simplify (* 1 1) into 1
9.905 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.905 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.905 * [taylor]: Taking taylor expansion of 4.0 in i
9.905 * [backup-simplify]: Simplify 4.0 into 4.0
9.905 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.905 * [taylor]: Taking taylor expansion of i in i
9.905 * [backup-simplify]: Simplify 0 into 0
9.905 * [backup-simplify]: Simplify 1 into 1
9.905 * [backup-simplify]: Simplify (* 1 1) into 1
9.906 * [backup-simplify]: Simplify (* 1 1) into 1
9.906 * [backup-simplify]: Simplify (* 1 1) into 1
9.907 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.907 * [backup-simplify]: Simplify 4.0 into 4.0
9.907 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.908 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.910 * [backup-simplify]: Simplify 0 into 0
9.911 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.912 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.914 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.914 * [backup-simplify]: Simplify 0 into 0
9.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.916 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.919 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.919 * [backup-simplify]: Simplify 0 into 0
9.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.921 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.923 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.924 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.924 * [backup-simplify]: Simplify 0 into 0
9.925 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.927 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.928 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.929 * [backup-simplify]: Simplify 0 into 0
9.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.933 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.934 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.935 * [backup-simplify]: Simplify 0 into 0
9.936 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 (- i))) 6)) into (* 4.0 (pow i 6))
9.936 * * * * [progress]: [ 3 / 3 ] generating series at (2 1)
9.936 * [backup-simplify]: Simplify (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) into (fma 0.25 (pow i 2) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
9.936 * [approximate]: Taking taylor expansion of (fma 0.25 (pow i 2) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) in (i) around 0
9.936 * [taylor]: Taking taylor expansion of (fma 0.25 (pow i 2) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) in i
9.937 * [taylor]: Rewrote expression to (+ (* 0.25 (pow i 2)) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
9.937 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
9.937 * [taylor]: Taking taylor expansion of 0.25 in i
9.937 * [backup-simplify]: Simplify 0.25 into 0.25
9.937 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.937 * [taylor]: Taking taylor expansion of i in i
9.937 * [backup-simplify]: Simplify 0 into 0
9.937 * [backup-simplify]: Simplify 1 into 1
9.937 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.937 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.937 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.937 * [taylor]: Taking taylor expansion of 1.0 in i
9.937 * [backup-simplify]: Simplify 1.0 into 1.0
9.937 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.937 * [taylor]: Taking taylor expansion of i in i
9.937 * [backup-simplify]: Simplify 0 into 0
9.937 * [backup-simplify]: Simplify 1 into 1
9.937 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.937 * [taylor]: Taking taylor expansion of 4.0 in i
9.937 * [backup-simplify]: Simplify 4.0 into 4.0
9.937 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.937 * [taylor]: Taking taylor expansion of i in i
9.937 * [backup-simplify]: Simplify 0 into 0
9.937 * [backup-simplify]: Simplify 1 into 1
9.938 * [taylor]: Taking taylor expansion of (fma 0.25 (pow i 2) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) in i
9.938 * [taylor]: Rewrote expression to (+ (* 0.25 (pow i 2)) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
9.938 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
9.938 * [taylor]: Taking taylor expansion of 0.25 in i
9.938 * [backup-simplify]: Simplify 0.25 into 0.25
9.938 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.938 * [taylor]: Taking taylor expansion of i in i
9.938 * [backup-simplify]: Simplify 0 into 0
9.938 * [backup-simplify]: Simplify 1 into 1
9.938 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.938 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.938 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.938 * [taylor]: Taking taylor expansion of 1.0 in i
9.938 * [backup-simplify]: Simplify 1.0 into 1.0
9.938 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.938 * [taylor]: Taking taylor expansion of i in i
9.938 * [backup-simplify]: Simplify 0 into 0
9.938 * [backup-simplify]: Simplify 1 into 1
9.938 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.938 * [taylor]: Taking taylor expansion of 4.0 in i
9.938 * [backup-simplify]: Simplify 4.0 into 4.0
9.938 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.938 * [taylor]: Taking taylor expansion of i in i
9.938 * [backup-simplify]: Simplify 0 into 0
9.938 * [backup-simplify]: Simplify 1 into 1
9.939 * [backup-simplify]: Simplify (* 1 1) into 1
9.939 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
9.940 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
9.940 * [backup-simplify]: Simplify 0.25 into 0.25
9.940 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.941 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0
9.942 * [backup-simplify]: Simplify (+ 0 0) into 0
9.942 * [backup-simplify]: Simplify 0 into 0
9.942 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.943 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0
9.944 * [backup-simplify]: Simplify (* 1 1) into 1
9.944 * [backup-simplify]: Simplify (* 1 1) into 1
9.948 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.949 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.950 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.950 * [backup-simplify]: Simplify 1.0 into 1.0
9.951 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.952 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.953 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.954 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.955 * [backup-simplify]: Simplify (+ 0 0) into 0
9.955 * [backup-simplify]: Simplify (+ 0 0) into 0
9.955 * [backup-simplify]: Simplify 0 into 0
9.956 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.957 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.958 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.959 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.960 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.961 * [backup-simplify]: Simplify (* 1 1) into 1
9.961 * [backup-simplify]: Simplify (* 1 1) into 1
9.962 * [backup-simplify]: Simplify (* 1 1) into 1
9.962 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.963 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.963 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.963 * [backup-simplify]: Simplify 4.0 into 4.0
9.964 * [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))))
9.964 * [backup-simplify]: Simplify (fma 0.25 (* (/ 1 i) (/ 1 i)) (fma 1.0 (pow (/ 1 i) 4) (* 4.0 (pow (/ 1 i) 6)))) into (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))))
9.964 * [approximate]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6)))) in (i) around 0
9.964 * [taylor]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6)))) in i
9.964 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))))
9.965 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.965 * [taylor]: Taking taylor expansion of 0.25 in i
9.965 * [backup-simplify]: Simplify 0.25 into 0.25
9.965 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.965 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.965 * [taylor]: Taking taylor expansion of i in i
9.965 * [backup-simplify]: Simplify 0 into 0
9.965 * [backup-simplify]: Simplify 1 into 1
9.965 * [backup-simplify]: Simplify (* 1 1) into 1
9.966 * [backup-simplify]: Simplify (/ 1 1) into 1
9.966 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.966 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.966 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.966 * [taylor]: Taking taylor expansion of 1.0 in i
9.966 * [backup-simplify]: Simplify 1.0 into 1.0
9.966 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.966 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.966 * [taylor]: Taking taylor expansion of i in i
9.966 * [backup-simplify]: Simplify 0 into 0
9.966 * [backup-simplify]: Simplify 1 into 1
9.966 * [backup-simplify]: Simplify (/ 1 1) into 1
9.967 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.967 * [taylor]: Taking taylor expansion of 4.0 in i
9.967 * [backup-simplify]: Simplify 4.0 into 4.0
9.967 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.967 * [taylor]: Taking taylor expansion of i in i
9.967 * [backup-simplify]: Simplify 0 into 0
9.967 * [backup-simplify]: Simplify 1 into 1
9.967 * [backup-simplify]: Simplify (* 1 1) into 1
9.967 * [backup-simplify]: Simplify (* 1 1) into 1
9.968 * [backup-simplify]: Simplify (* 1 1) into 1
9.968 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.968 * [taylor]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6)))) in i
9.969 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))))
9.969 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.969 * [taylor]: Taking taylor expansion of 0.25 in i
9.969 * [backup-simplify]: Simplify 0.25 into 0.25
9.969 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.969 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.969 * [taylor]: Taking taylor expansion of i in i
9.969 * [backup-simplify]: Simplify 0 into 0
9.969 * [backup-simplify]: Simplify 1 into 1
9.969 * [backup-simplify]: Simplify (* 1 1) into 1
9.970 * [backup-simplify]: Simplify (/ 1 1) into 1
9.970 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.970 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.970 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.970 * [taylor]: Taking taylor expansion of 1.0 in i
9.970 * [backup-simplify]: Simplify 1.0 into 1.0
9.970 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.970 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.970 * [taylor]: Taking taylor expansion of i in i
9.970 * [backup-simplify]: Simplify 0 into 0
9.970 * [backup-simplify]: Simplify 1 into 1
9.970 * [backup-simplify]: Simplify (/ 1 1) into 1
9.970 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.970 * [taylor]: Taking taylor expansion of 4.0 in i
9.970 * [backup-simplify]: Simplify 4.0 into 4.0
9.971 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.971 * [taylor]: Taking taylor expansion of i in i
9.971 * [backup-simplify]: Simplify 0 into 0
9.971 * [backup-simplify]: Simplify 1 into 1
9.971 * [backup-simplify]: Simplify (* 1 1) into 1
9.972 * [backup-simplify]: Simplify (* 1 1) into 1
9.972 * [backup-simplify]: Simplify (* 1 1) into 1
9.973 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.973 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.973 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.974 * [backup-simplify]: Simplify 4.0 into 4.0
9.974 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.975 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.976 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.977 * [backup-simplify]: Simplify (+ 0 0) into 0
9.977 * [backup-simplify]: Simplify (+ 0 0) into 0
9.977 * [backup-simplify]: Simplify 0 into 0
9.977 * [backup-simplify]: Simplify (* 1 1) into 1
9.978 * [backup-simplify]: Simplify (* 1 1) into 1
9.978 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.981 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.982 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.982 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.983 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.983 * [backup-simplify]: Simplify 1.0 into 1.0
9.984 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.984 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.985 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.985 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.987 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.988 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.989 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.990 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.990 * [backup-simplify]: Simplify (+ 0 0) into 0
9.991 * [backup-simplify]: Simplify (+ 0 0) into 0
9.991 * [backup-simplify]: Simplify 0 into 0
9.991 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
9.992 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.993 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.994 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.995 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.997 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.000 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.000 * [backup-simplify]: Simplify (+ 0 0) into 0
10.001 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
10.001 * [backup-simplify]: Simplify 0.25 into 0.25
10.001 * [backup-simplify]: Simplify (+ (* 0.25 (pow (/ 1 (/ 1 i)) 2)) (+ (* 1.0 (pow (/ 1 (/ 1 i)) 4)) (* 4.0 (pow (/ 1 (/ 1 i)) 6)))) into (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
10.002 * [backup-simplify]: Simplify (fma 0.25 (* (/ 1 (- i)) (/ 1 (- i))) (fma 1.0 (pow (/ 1 (- i)) 4) (* 4.0 (pow (/ 1 (- i)) 6)))) into (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))))
10.002 * [approximate]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6)))) in (i) around 0
10.002 * [taylor]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6)))) in i
10.002 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))))
10.002 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
10.002 * [taylor]: Taking taylor expansion of 0.25 in i
10.002 * [backup-simplify]: Simplify 0.25 into 0.25
10.002 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
10.002 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.003 * [taylor]: Taking taylor expansion of i in i
10.003 * [backup-simplify]: Simplify 0 into 0
10.003 * [backup-simplify]: Simplify 1 into 1
10.003 * [backup-simplify]: Simplify (* 1 1) into 1
10.003 * [backup-simplify]: Simplify (/ 1 1) into 1
10.003 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
10.004 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
10.004 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
10.004 * [taylor]: Taking taylor expansion of 1.0 in i
10.004 * [backup-simplify]: Simplify 1.0 into 1.0
10.004 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
10.004 * [taylor]: Taking taylor expansion of (/ -1 i) in i
10.004 * [taylor]: Taking taylor expansion of -1 in i
10.004 * [backup-simplify]: Simplify -1 into -1
10.004 * [taylor]: Taking taylor expansion of i in i
10.004 * [backup-simplify]: Simplify 0 into 0
10.004 * [backup-simplify]: Simplify 1 into 1
10.004 * [backup-simplify]: Simplify (/ -1 1) into -1
10.004 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.005 * [taylor]: Taking taylor expansion of 4.0 in i
10.005 * [backup-simplify]: Simplify 4.0 into 4.0
10.005 * [taylor]: Taking taylor expansion of (pow i 6) in i
10.005 * [taylor]: Taking taylor expansion of i in i
10.005 * [backup-simplify]: Simplify 0 into 0
10.005 * [backup-simplify]: Simplify 1 into 1
10.005 * [backup-simplify]: Simplify (* 1 1) into 1
10.006 * [backup-simplify]: Simplify (* 1 1) into 1
10.006 * [backup-simplify]: Simplify (* 1 1) into 1
10.006 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.007 * [taylor]: Taking taylor expansion of (fma 0.25 (/ 1 (pow i 2)) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6)))) in i
10.007 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))))
10.007 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
10.007 * [taylor]: Taking taylor expansion of 0.25 in i
10.007 * [backup-simplify]: Simplify 0.25 into 0.25
10.007 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
10.007 * [taylor]: Taking taylor expansion of (pow i 2) in i
10.007 * [taylor]: Taking taylor expansion of i in i
10.007 * [backup-simplify]: Simplify 0 into 0
10.007 * [backup-simplify]: Simplify 1 into 1
10.007 * [backup-simplify]: Simplify (* 1 1) into 1
10.008 * [backup-simplify]: Simplify (/ 1 1) into 1
10.008 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
10.008 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
10.008 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
10.008 * [taylor]: Taking taylor expansion of 1.0 in i
10.008 * [backup-simplify]: Simplify 1.0 into 1.0
10.008 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
10.008 * [taylor]: Taking taylor expansion of (/ -1 i) in i
10.008 * [taylor]: Taking taylor expansion of -1 in i
10.008 * [backup-simplify]: Simplify -1 into -1
10.008 * [taylor]: Taking taylor expansion of i in i
10.008 * [backup-simplify]: Simplify 0 into 0
10.008 * [backup-simplify]: Simplify 1 into 1
10.009 * [backup-simplify]: Simplify (/ -1 1) into -1
10.009 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.009 * [taylor]: Taking taylor expansion of 4.0 in i
10.009 * [backup-simplify]: Simplify 4.0 into 4.0
10.009 * [taylor]: Taking taylor expansion of (pow i 6) in i
10.009 * [taylor]: Taking taylor expansion of i in i
10.009 * [backup-simplify]: Simplify 0 into 0
10.009 * [backup-simplify]: Simplify 1 into 1
10.009 * [backup-simplify]: Simplify (* 1 1) into 1
10.010 * [backup-simplify]: Simplify (* 1 1) into 1
10.010 * [backup-simplify]: Simplify (* 1 1) into 1
10.011 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.011 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
10.012 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
10.012 * [backup-simplify]: Simplify 4.0 into 4.0
10.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.013 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.014 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.015 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
10.015 * [backup-simplify]: Simplify (+ 0 0) into 0
10.016 * [backup-simplify]: Simplify (+ 0 0) into 0
10.016 * [backup-simplify]: Simplify 0 into 0
10.016 * [backup-simplify]: Simplify (* -1 -1) into 1
10.016 * [backup-simplify]: Simplify (* 1 1) into 1
10.017 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
10.018 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.019 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.020 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.021 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.021 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.022 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
10.022 * [backup-simplify]: Simplify 1.0 into 1.0
10.022 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.023 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
10.024 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.024 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
10.026 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.027 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.029 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.029 * [backup-simplify]: Simplify (+ 0 0) into 0
10.029 * [backup-simplify]: Simplify (+ 0 0) into 0
10.029 * [backup-simplify]: Simplify 0 into 0
10.030 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
10.031 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.032 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
10.033 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.034 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
10.035 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.037 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.038 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.039 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.040 * [backup-simplify]: Simplify (+ 0 0) into 0
10.040 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
10.040 * [backup-simplify]: Simplify 0.25 into 0.25
10.041 * [backup-simplify]: Simplify (+ (* 0.25 (pow (/ 1 (/ 1 (- i))) 2)) (+ (* 1.0 (pow (/ 1 (/ 1 (- i))) 4)) (* 4.0 (pow (/ 1 (/ 1 (- i))) 6)))) into (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
10.041 * * * [progress]: simplifying candidates
10.042 * [simplify]: Simplifying:
  (expm1 (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (log1p (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (* 1.0 (pow i 4))
  (log (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (exp (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (* (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (* (* (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (sqrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (sqrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (expm1 (* 4.0 (pow i 6)))
  (log1p (* 4.0 (pow i 6)))
  (+ (log 4.0) (* (log i) 6))
  (+ (log 4.0) (* (log i) 6))
  (+ (log 4.0) (log (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (exp (* 4.0 (pow i 6)))
  (* (* (* 4.0 4.0) 4.0) (* (* (pow i 6) (pow i 6)) (pow i 6)))
  (* (cbrt (* 4.0 (pow i 6))) (cbrt (* 4.0 (pow i 6))))
  (cbrt (* 4.0 (pow i 6)))
  (* (* (* 4.0 (pow i 6)) (* 4.0 (pow i 6))) (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (* (sqrt 4.0) (pow (sqrt i) 6))
  (* (sqrt 4.0) (pow (sqrt i) 6))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (pow i (/ 6 2)))
  (* (sqrt 4.0) (pow i (/ 6 2)))
  (* 4.0 (pow (* (cbrt i) (cbrt i)) 6))
  (* 4.0 (pow (sqrt i) 6))
  (* 4.0 (pow 1 6))
  (* 4.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 4.0 (sqrt (pow i 6)))
  (* 4.0 1)
  (* 4.0 (pow i (/ 6 2)))
  (* (cbrt 4.0) (pow i 6))
  (* (sqrt 4.0) (pow i 6))
  (* 4.0 (pow i 6))
  (expm1 (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (log1p (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (* 0.25 (* i i))
  (log (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (exp (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (* (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))) (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))
  (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (* (* (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))) (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (sqrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (sqrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
  (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
  (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
  (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
  (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))
10.044 * * [simplify]: Extracting # 0 : cost  0
10.044 * * [simplify]: Extracting # 1 : cost  0
10.045 * * [simplify]: Extracting # 2 : cost  0
10.045 * * [simplify]: Extracting # 3 : cost  0
10.045 * * [simplify]: Extracting # 4 : cost  0
10.045 * * [simplify]: Extracting # 5 : cost  0
10.046 * * [simplify]: Extracting # 6 : cost  0
10.046 * * [simplify]: Extracting # 7 : cost  0
10.046 * * [simplify]: iteration  0 :  83  enodes  (cost  651 )
10.067 * * [simplify]: Extracting # 0 : cost  0
10.067 * * [simplify]: Extracting # 1 : cost  0
10.067 * * [simplify]: Extracting # 2 : cost  0
10.068 * * [simplify]: Extracting # 3 : cost  0
10.068 * * [simplify]: Extracting # 4 : cost  0
10.068 * * [simplify]: iteration  1 :  152  enodes  (cost  619 )
10.139 * * [simplify]: Extracting # 0 : cost  0
10.140 * * [simplify]: Extracting # 1 : cost  0
10.141 * * [simplify]: Extracting # 2 : cost  0
10.142 * * [simplify]: Extracting # 3 : cost  0
10.143 * * [simplify]: Extracting # 4 : cost  0
10.144 * * [simplify]: iteration  2 :  375  enodes  (cost  557 )
10.439 * * [simplify]: Extracting # 0 : cost  0
10.440 * * [simplify]: Extracting # 1 : cost  0
10.442 * * [simplify]: Extracting # 2 : cost  0
10.444 * * [simplify]: Extracting # 3 : cost  0
10.446 * * [simplify]: Extracting # 4 : cost  0
10.456 * * [simplify]: iteration  3 :  1589  enodes  (cost  550 )
11.578 * * [simplify]: Extracting # 0 : cost  0
11.585 * * [simplify]: Extracting # 1 : cost  0
11.592 * * [simplify]: Extracting # 2 : cost  0
11.601 * * [simplify]: Extracting # 3 : cost  0
11.607 * * [simplify]: Extracting # 4 : cost  0
11.617 * * [simplify]: iteration done:  5001  enodes  (cost  550 )
11.618 * [simplify]: Simplified to:
  (expm1 (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (log1p (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (* 1.0 (pow i 4))
  (log (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (exp (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (* (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (cbrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (pow (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) 3)
  (sqrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (sqrt (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (expm1 (* 4.0 (pow i 6)))
  (log1p (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (log (* 4.0 (pow i 6)))
  (exp (* 4.0 (pow i 6)))
  (pow (* 4.0 (pow i 6)) 3)
  (* (cbrt (* 4.0 (pow i 6))) (cbrt (* 4.0 (pow i 6))))
  (cbrt (* 4.0 (pow i 6)))
  (pow (* 4.0 (pow i 6)) 3)
  (sqrt (* 4.0 (pow i 6)))
  (sqrt (* 4.0 (pow i 6)))
  (* (pow i 3) (sqrt 4.0))
  (* (pow i 3) (sqrt 4.0))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (sqrt 4.0) (sqrt (pow i 6)))
  (* (pow i 3) (sqrt 4.0))
  (* (pow i 3) (sqrt 4.0))
  (* (pow i 4) 4.0)
  (* 4.0 (pow i 3))
  4.0
  (* 4.0 (* (cbrt (pow i 6)) (cbrt (pow i 6))))
  (* 4.0 (sqrt (pow i 6)))
  4.0
  (* 4.0 (pow i 3))
  (* (cbrt 4.0) (pow i 6))
  (* (sqrt 4.0) (pow i 6))
  (* 4.0 (pow i 6))
  (expm1 (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (log1p (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (* 0.25 (* i i))
  (log (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (exp (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (* (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))) (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))
  (cbrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (pow (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))) 3)
  (sqrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (sqrt (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))
  (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))
  (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (* 4.0 (pow i 6))
  (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
  (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
11.619 * * * [progress]: adding candidates to table
11.824 * * [progress]: iteration 3 / 4
11.824 * * * [progress]: picking best candidate
11.827 * * * * [pick]: Picked  #<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))>
11.827 * * * [progress]: localizing error
11.841 * * * [progress]: generating rewritten candidates
11.841 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1)
11.940 * * * * [progress]: [ 2 / 3 ] rewriting at (2)
12.132 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1)
12.190 * * * [progress]: generating series expansions
12.190 * * * * [progress]: [ 1 / 3 ] generating series at (2 1)
12.190 * [backup-simplify]: Simplify (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) into (* 0.25 (pow i 2))
12.191 * [approximate]: Taking taylor expansion of (* 0.25 (pow i 2)) in (i) around 0
12.191 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
12.191 * [taylor]: Taking taylor expansion of 0.25 in i
12.191 * [backup-simplify]: Simplify 0.25 into 0.25
12.191 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.191 * [taylor]: Taking taylor expansion of i in i
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 1 into 1
12.191 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
12.191 * [taylor]: Taking taylor expansion of 0.25 in i
12.191 * [backup-simplify]: Simplify 0.25 into 0.25
12.191 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.191 * [taylor]: Taking taylor expansion of i in i
12.191 * [backup-simplify]: Simplify 0 into 0
12.191 * [backup-simplify]: Simplify 1 into 1
12.192 * [backup-simplify]: Simplify (* 1 1) into 1
12.192 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
12.192 * [backup-simplify]: Simplify 0.25 into 0.25
12.193 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.194 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0
12.194 * [backup-simplify]: Simplify 0 into 0
12.195 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.196 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0
12.196 * [backup-simplify]: Simplify 0 into 0
12.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.198 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.198 * [backup-simplify]: Simplify 0 into 0
12.199 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.201 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.201 * [backup-simplify]: Simplify 0 into 0
12.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.205 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.205 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.209 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.209 * [backup-simplify]: Simplify 0 into 0
12.209 * [backup-simplify]: Simplify (* 0.25 (pow i 2)) into (* 0.25 (pow i 2))
12.210 * [backup-simplify]: Simplify (/ (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* 2.0 (/ 1 i)) (* 2.0 (/ 1 i)))) into (/ 0.25 (pow i 2))
12.210 * [approximate]: Taking taylor expansion of (/ 0.25 (pow i 2)) in (i) around 0
12.210 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i
12.210 * [taylor]: Taking taylor expansion of 0.25 in i
12.210 * [backup-simplify]: Simplify 0.25 into 0.25
12.210 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.210 * [taylor]: Taking taylor expansion of i in i
12.210 * [backup-simplify]: Simplify 0 into 0
12.210 * [backup-simplify]: Simplify 1 into 1
12.210 * [backup-simplify]: Simplify (* 1 1) into 1
12.211 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25
12.211 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i
12.211 * [taylor]: Taking taylor expansion of 0.25 in i
12.211 * [backup-simplify]: Simplify 0.25 into 0.25
12.211 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.211 * [taylor]: Taking taylor expansion of i in i
12.211 * [backup-simplify]: Simplify 0 into 0
12.211 * [backup-simplify]: Simplify 1 into 1
12.211 * [backup-simplify]: Simplify (* 1 1) into 1
12.212 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25
12.212 * [backup-simplify]: Simplify 0.25 into 0.25
12.213 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.219 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)))) into 0
12.219 * [backup-simplify]: Simplify 0 into 0
12.220 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.220 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.220 * [backup-simplify]: Simplify 0 into 0
12.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.222 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.222 * [backup-simplify]: Simplify 0 into 0
12.222 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.223 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.223 * [backup-simplify]: Simplify 0 into 0
12.224 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.225 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.225 * [backup-simplify]: Simplify 0 into 0
12.225 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.226 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.226 * [backup-simplify]: Simplify 0 into 0
12.226 * [backup-simplify]: Simplify (* 0.25 (pow (/ 1 (/ 1 i)) 2)) into (* 0.25 (pow i 2))
12.227 * [backup-simplify]: Simplify (/ (* (* (/ 1 (- i)) (/ 1 (- i))) (* (/ 1 (- i)) (/ 1 (- i)))) (* (* 2.0 (/ 1 (- i))) (* 2.0 (/ 1 (- i))))) into (/ 0.25 (pow i 2))
12.227 * [approximate]: Taking taylor expansion of (/ 0.25 (pow i 2)) in (i) around 0
12.227 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i
12.227 * [taylor]: Taking taylor expansion of 0.25 in i
12.227 * [backup-simplify]: Simplify 0.25 into 0.25
12.227 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.227 * [taylor]: Taking taylor expansion of i in i
12.227 * [backup-simplify]: Simplify 0 into 0
12.227 * [backup-simplify]: Simplify 1 into 1
12.227 * [backup-simplify]: Simplify (* 1 1) into 1
12.227 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25
12.227 * [taylor]: Taking taylor expansion of (/ 0.25 (pow i 2)) in i
12.228 * [taylor]: Taking taylor expansion of 0.25 in i
12.228 * [backup-simplify]: Simplify 0.25 into 0.25
12.228 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.228 * [taylor]: Taking taylor expansion of i in i
12.228 * [backup-simplify]: Simplify 0 into 0
12.228 * [backup-simplify]: Simplify 1 into 1
12.228 * [backup-simplify]: Simplify (* 1 1) into 1
12.228 * [backup-simplify]: Simplify (/ 0.25 1) into 0.25
12.228 * [backup-simplify]: Simplify 0.25 into 0.25
12.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.229 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)))) into 0
12.229 * [backup-simplify]: Simplify 0 into 0
12.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.230 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.230 * [backup-simplify]: Simplify 0 into 0
12.231 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.232 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.232 * [backup-simplify]: Simplify 0 into 0
12.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.233 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.233 * [backup-simplify]: Simplify 0 into 0
12.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.234 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.234 * [backup-simplify]: Simplify 0 into 0
12.235 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.236 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.25 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.236 * [backup-simplify]: Simplify 0 into 0
12.236 * [backup-simplify]: Simplify (* 0.25 (pow (/ 1 (/ 1 (- i))) 2)) into (* 0.25 (pow i 2))
12.236 * * * * [progress]: [ 2 / 3 ] generating series at (2)
12.236 * [backup-simplify]: Simplify (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) into (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)))
12.236 * [approximate]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in (i) around 0
12.236 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
12.237 * [taylor]: Taking taylor expansion of 0.25 in i
12.237 * [backup-simplify]: Simplify 0.25 into 0.25
12.237 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
12.237 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.237 * [taylor]: Taking taylor expansion of i in i
12.237 * [backup-simplify]: Simplify 0 into 0
12.237 * [backup-simplify]: Simplify 1 into 1
12.237 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
12.237 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
12.237 * [taylor]: Taking taylor expansion of 4.0 in i
12.237 * [backup-simplify]: Simplify 4.0 into 4.0
12.237 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.237 * [taylor]: Taking taylor expansion of i in i
12.237 * [backup-simplify]: Simplify 0 into 0
12.237 * [backup-simplify]: Simplify 1 into 1
12.237 * [taylor]: Taking taylor expansion of 1.0 in i
12.237 * [backup-simplify]: Simplify 1.0 into 1.0
12.237 * [backup-simplify]: Simplify (* 1 1) into 1
12.237 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
12.238 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
12.238 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
12.239 * [taylor]: Taking taylor expansion of (* 0.25 (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0))) in i
12.239 * [taylor]: Taking taylor expansion of 0.25 in i
12.239 * [backup-simplify]: Simplify 0.25 into 0.25
12.239 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4.0 (pow i 2)) 1.0)) in i
12.239 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.239 * [taylor]: Taking taylor expansion of i in i
12.239 * [backup-simplify]: Simplify 0 into 0
12.239 * [backup-simplify]: Simplify 1 into 1
12.239 * [taylor]: Taking taylor expansion of (- (* 4.0 (pow i 2)) 1.0) in i
12.239 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 2)) in i
12.239 * [taylor]: Taking taylor expansion of 4.0 in i
12.239 * [backup-simplify]: Simplify 4.0 into 4.0
12.239 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.239 * [taylor]: Taking taylor expansion of i in i
12.239 * [backup-simplify]: Simplify 0 into 0
12.239 * [backup-simplify]: Simplify 1 into 1
12.239 * [taylor]: Taking taylor expansion of 1.0 in i
12.239 * [backup-simplify]: Simplify 1.0 into 1.0
12.239 * [backup-simplify]: Simplify (* 1 1) into 1
12.239 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
12.240 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
12.240 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
12.241 * [backup-simplify]: Simplify (* 0.25 -1.0) into -0.25
12.241 * [backup-simplify]: Simplify -0.25 into -0.25
12.241 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.241 * [backup-simplify]: Simplify (- 0) into 0
12.242 * [backup-simplify]: Simplify (+ 0 0) into 0
12.242 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
12.243 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 -1.0)) into 0
12.243 * [backup-simplify]: Simplify 0 into 0
12.243 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.244 * [backup-simplify]: Simplify (* 1 1) into 1
12.244 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.244 * [backup-simplify]: Simplify (- 0) into 0
12.244 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.247 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
12.249 * [backup-simplify]: Simplify (+ (* 0.25 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
12.249 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
12.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.250 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.251 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.251 * [backup-simplify]: Simplify (- 0) into 0
12.251 * [backup-simplify]: Simplify (+ 0 0) into 0
12.252 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
12.253 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
12.253 * [backup-simplify]: Simplify 0 into 0
12.254 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.256 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
12.257 * [backup-simplify]: Simplify (- 0) into 0
12.257 * [backup-simplify]: Simplify (+ 0 0) into 0
12.264 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
12.269 * [backup-simplify]: Simplify (+ (* 0.25 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
12.269 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
12.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)))))
12.272 * [backup-simplify]: Simplify (/ (/ (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) (* (* 2.0 (/ 1 i)) (* 2.0 (/ 1 i)))) (- (* (* 2.0 (/ 1 i)) (* 2.0 (/ 1 i))) 1.0)) into (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)))
12.272 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
12.272 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
12.272 * [taylor]: Taking taylor expansion of 0.25 in i
12.272 * [backup-simplify]: Simplify 0.25 into 0.25
12.272 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
12.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.272 * [taylor]: Taking taylor expansion of i in i
12.272 * [backup-simplify]: Simplify 0 into 0
12.272 * [backup-simplify]: Simplify 1 into 1
12.272 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
12.272 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
12.272 * [taylor]: Taking taylor expansion of 4.0 in i
12.272 * [backup-simplify]: Simplify 4.0 into 4.0
12.272 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.272 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.272 * [taylor]: Taking taylor expansion of i in i
12.272 * [backup-simplify]: Simplify 0 into 0
12.272 * [backup-simplify]: Simplify 1 into 1
12.273 * [backup-simplify]: Simplify (* 1 1) into 1
12.273 * [backup-simplify]: Simplify (/ 1 1) into 1
12.273 * [taylor]: Taking taylor expansion of 1.0 in i
12.273 * [backup-simplify]: Simplify 1.0 into 1.0
12.273 * [backup-simplify]: Simplify (* 1 1) into 1
12.274 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.274 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.275 * [backup-simplify]: Simplify (* 1 4.0) into 4.0
12.275 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
12.275 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
12.275 * [taylor]: Taking taylor expansion of 0.25 in i
12.275 * [backup-simplify]: Simplify 0.25 into 0.25
12.275 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
12.275 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.275 * [taylor]: Taking taylor expansion of i in i
12.275 * [backup-simplify]: Simplify 0 into 0
12.276 * [backup-simplify]: Simplify 1 into 1
12.276 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
12.276 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
12.276 * [taylor]: Taking taylor expansion of 4.0 in i
12.276 * [backup-simplify]: Simplify 4.0 into 4.0
12.276 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.276 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.276 * [taylor]: Taking taylor expansion of i in i
12.276 * [backup-simplify]: Simplify 0 into 0
12.276 * [backup-simplify]: Simplify 1 into 1
12.276 * [backup-simplify]: Simplify (* 1 1) into 1
12.276 * [backup-simplify]: Simplify (/ 1 1) into 1
12.277 * [taylor]: Taking taylor expansion of 1.0 in i
12.277 * [backup-simplify]: Simplify 1.0 into 1.0
12.277 * [backup-simplify]: Simplify (* 1 1) into 1
12.277 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.278 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.278 * [backup-simplify]: Simplify (* 1 4.0) into 4.0
12.279 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
12.279 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.280 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.281 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.281 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.282 * [backup-simplify]: Simplify (+ 0 0) into 0
12.282 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.283 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4.0)) into 0
12.284 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
12.284 * [backup-simplify]: Simplify 0 into 0
12.285 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.286 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.287 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
12.287 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
12.288 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
12.289 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.292 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4.0))) into (- 1.0)
12.295 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
12.296 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.296 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.297 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.297 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.298 * [backup-simplify]: Simplify (- 0) into 0
12.298 * [backup-simplify]: Simplify (+ 0 0) into 0
12.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.299 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0)))) into 0
12.300 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
12.300 * [backup-simplify]: Simplify 0 into 0
12.301 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.302 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.303 * [backup-simplify]: Simplify (- 0) into 0
12.303 * [backup-simplify]: Simplify (+ 0 0) into 0
12.304 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.305 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0))))) into 0
12.309 * [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
12.309 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.309 * [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))
12.310 * [backup-simplify]: Simplify (/ (/ (* (* (/ 1 (- i)) (/ 1 (- i))) (* (/ 1 (- i)) (/ 1 (- i)))) (* (* 2.0 (/ 1 (- i))) (* 2.0 (/ 1 (- i))))) (- (* (* 2.0 (/ 1 (- i))) (* 2.0 (/ 1 (- i)))) 1.0)) into (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)))
12.310 * [approximate]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in (i) around 0
12.310 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
12.310 * [taylor]: Taking taylor expansion of 0.25 in i
12.310 * [backup-simplify]: Simplify 0.25 into 0.25
12.310 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
12.310 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.310 * [taylor]: Taking taylor expansion of i in i
12.310 * [backup-simplify]: Simplify 0 into 0
12.310 * [backup-simplify]: Simplify 1 into 1
12.310 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
12.310 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
12.310 * [taylor]: Taking taylor expansion of 4.0 in i
12.310 * [backup-simplify]: Simplify 4.0 into 4.0
12.310 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.310 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.310 * [taylor]: Taking taylor expansion of i in i
12.310 * [backup-simplify]: Simplify 0 into 0
12.310 * [backup-simplify]: Simplify 1 into 1
12.310 * [backup-simplify]: Simplify (* 1 1) into 1
12.310 * [backup-simplify]: Simplify (/ 1 1) into 1
12.310 * [taylor]: Taking taylor expansion of 1.0 in i
12.310 * [backup-simplify]: Simplify 1.0 into 1.0
12.311 * [backup-simplify]: Simplify (* 1 1) into 1
12.311 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.311 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.312 * [backup-simplify]: Simplify (* 1 4.0) into 4.0
12.312 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
12.312 * [taylor]: Taking taylor expansion of (/ 0.25 (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0))) in i
12.312 * [taylor]: Taking taylor expansion of 0.25 in i
12.312 * [backup-simplify]: Simplify 0.25 into 0.25
12.312 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4.0 (/ 1 (pow i 2))) 1.0)) in i
12.312 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.312 * [taylor]: Taking taylor expansion of i in i
12.312 * [backup-simplify]: Simplify 0 into 0
12.312 * [backup-simplify]: Simplify 1 into 1
12.312 * [taylor]: Taking taylor expansion of (- (* 4.0 (/ 1 (pow i 2))) 1.0) in i
12.312 * [taylor]: Taking taylor expansion of (* 4.0 (/ 1 (pow i 2))) in i
12.312 * [taylor]: Taking taylor expansion of 4.0 in i
12.312 * [backup-simplify]: Simplify 4.0 into 4.0
12.312 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.312 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.312 * [taylor]: Taking taylor expansion of i in i
12.312 * [backup-simplify]: Simplify 0 into 0
12.312 * [backup-simplify]: Simplify 1 into 1
12.312 * [backup-simplify]: Simplify (* 1 1) into 1
12.313 * [backup-simplify]: Simplify (/ 1 1) into 1
12.313 * [taylor]: Taking taylor expansion of 1.0 in i
12.313 * [backup-simplify]: Simplify 1.0 into 1.0
12.313 * [backup-simplify]: Simplify (* 1 1) into 1
12.313 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
12.314 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
12.314 * [backup-simplify]: Simplify (* 1 4.0) into 4.0
12.314 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
12.314 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.315 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.315 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.316 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
12.316 * [backup-simplify]: Simplify (+ 0 0) into 0
12.316 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.317 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4.0)) into 0
12.317 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
12.317 * [backup-simplify]: Simplify 0 into 0
12.318 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.318 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.319 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
12.319 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
12.320 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
12.320 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.322 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4.0))) into (- 1.0)
12.328 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
12.328 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.329 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.330 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.330 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.331 * [backup-simplify]: Simplify (- 0) into 0
12.331 * [backup-simplify]: Simplify (+ 0 0) into 0
12.331 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.332 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0)))) into 0
12.333 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
12.333 * [backup-simplify]: Simplify 0 into 0
12.334 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.335 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.335 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.336 * [backup-simplify]: Simplify (- 0) into 0
12.336 * [backup-simplify]: Simplify (+ 0 0) into 0
12.336 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.337 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4.0))))) into 0
12.341 * [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
12.341 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.342 * [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))
12.342 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1)
12.342 * [backup-simplify]: Simplify (* (* i i) (* i i)) into (pow i 4)
12.342 * [approximate]: Taking taylor expansion of (pow i 4) in (i) around 0
12.342 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.342 * [taylor]: Taking taylor expansion of i in i
12.342 * [backup-simplify]: Simplify 0 into 0
12.342 * [backup-simplify]: Simplify 1 into 1
12.342 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.342 * [taylor]: Taking taylor expansion of i in i
12.342 * [backup-simplify]: Simplify 0 into 0
12.342 * [backup-simplify]: Simplify 1 into 1
12.343 * [backup-simplify]: Simplify (* 1 1) into 1
12.343 * [backup-simplify]: Simplify (* 1 1) into 1
12.343 * [backup-simplify]: Simplify 1 into 1
12.343 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.344 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.344 * [backup-simplify]: Simplify 0 into 0
12.344 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.345 * [backup-simplify]: Simplify 0 into 0
12.345 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.346 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.346 * [backup-simplify]: Simplify 0 into 0
12.347 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.349 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.349 * [backup-simplify]: Simplify 0 into 0
12.350 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.351 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.351 * [backup-simplify]: Simplify 0 into 0
12.353 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.354 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.354 * [backup-simplify]: Simplify 0 into 0
12.355 * [backup-simplify]: Simplify (* 1 (pow i 4)) into (pow i 4)
12.355 * [backup-simplify]: Simplify (* (* (/ 1 i) (/ 1 i)) (* (/ 1 i) (/ 1 i))) into (/ 1 (pow i 4))
12.355 * [approximate]: Taking taylor expansion of (/ 1 (pow i 4)) in (i) around 0
12.355 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.355 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.355 * [taylor]: Taking taylor expansion of i in i
12.355 * [backup-simplify]: Simplify 0 into 0
12.355 * [backup-simplify]: Simplify 1 into 1
12.356 * [backup-simplify]: Simplify (* 1 1) into 1
12.356 * [backup-simplify]: Simplify (* 1 1) into 1
12.356 * [backup-simplify]: Simplify (/ 1 1) into 1
12.356 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.356 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.356 * [taylor]: Taking taylor expansion of i in i
12.356 * [backup-simplify]: Simplify 0 into 0
12.356 * [backup-simplify]: Simplify 1 into 1
12.357 * [backup-simplify]: Simplify (* 1 1) into 1
12.357 * [backup-simplify]: Simplify (* 1 1) into 1
12.358 * [backup-simplify]: Simplify (/ 1 1) into 1
12.358 * [backup-simplify]: Simplify 1 into 1
12.358 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.359 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.360 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.360 * [backup-simplify]: Simplify 0 into 0
12.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.361 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.362 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.362 * [backup-simplify]: Simplify 0 into 0
12.363 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.364 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.366 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.366 * [backup-simplify]: Simplify 0 into 0
12.367 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.368 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.369 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.369 * [backup-simplify]: Simplify 0 into 0
12.370 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.372 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.373 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.373 * [backup-simplify]: Simplify 0 into 0
12.374 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.376 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.377 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.377 * [backup-simplify]: Simplify 0 into 0
12.377 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 i)) 4)) into (pow i 4)
12.378 * [backup-simplify]: Simplify (* (* (/ 1 (- i)) (/ 1 (- i))) (* (/ 1 (- i)) (/ 1 (- i)))) into (/ 1 (pow i 4))
12.378 * [approximate]: Taking taylor expansion of (/ 1 (pow i 4)) in (i) around 0
12.378 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.378 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.378 * [taylor]: Taking taylor expansion of i in i
12.378 * [backup-simplify]: Simplify 0 into 0
12.378 * [backup-simplify]: Simplify 1 into 1
12.378 * [backup-simplify]: Simplify (* 1 1) into 1
12.379 * [backup-simplify]: Simplify (* 1 1) into 1
12.379 * [backup-simplify]: Simplify (/ 1 1) into 1
12.379 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.379 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.379 * [taylor]: Taking taylor expansion of i in i
12.379 * [backup-simplify]: Simplify 0 into 0
12.379 * [backup-simplify]: Simplify 1 into 1
12.380 * [backup-simplify]: Simplify (* 1 1) into 1
12.380 * [backup-simplify]: Simplify (* 1 1) into 1
12.380 * [backup-simplify]: Simplify (/ 1 1) into 1
12.380 * [backup-simplify]: Simplify 1 into 1
12.381 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.382 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.383 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.383 * [backup-simplify]: Simplify 0 into 0
12.383 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.384 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.385 * [backup-simplify]: Simplify 0 into 0
12.386 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.387 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.387 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.387 * [backup-simplify]: Simplify 0 into 0
12.388 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.389 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.389 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.389 * [backup-simplify]: Simplify 0 into 0
12.390 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.391 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.391 * [backup-simplify]: Simplify 0 into 0
12.392 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.393 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.394 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.394 * [backup-simplify]: Simplify 0 into 0
12.394 * [backup-simplify]: Simplify (* 1 (pow (/ 1 (/ 1 (- i))) 4)) into (pow i 4)
12.394 * * * [progress]: simplifying candidates
12.398 * [simplify]: Simplifying:
  (expm1 (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (log1p (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i))))
  (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i))))
  (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i))))
  (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i))))
  (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i))))
  (- (+ (+ (log i) (log i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i))))
  (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i))))
  (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i))))
  (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i))))
  (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i))))
  (- (+ (log (* i i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i))))
  (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i))))
  (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i))))
  (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i))))
  (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i))))
  (- (+ (log (* i i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i))))
  (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i))))
  (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i))))
  (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i))))
  (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i))))
  (- (log (* (* i i) (* i i))) (log (* (* 2.0 i) (* 2.0 i))))
  (log (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (exp (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i))))
  (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i))))
  (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i))))
  (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))))
  (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (* (* (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (- (* (* i i) (* i i)))
  (- (* (* 2.0 i) (* 2.0 i)))
  (/ (* i i) (* 2.0 i))
  (/ (* i i) (* 2.0 i))
  (/ 1 (* (* 2.0 i) (* 2.0 i)))
  (/ (* (* 2.0 i) (* 2.0 i)) (* (* i i) (* i i)))
  (/ (* (* i i) (* i i)) (* 2.0 i))
  (/ (* (* 2.0 i) (* 2.0 i)) (* i i))
  (expm1 (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (log1p (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (+ (log i) (log i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (+ (log i) (log i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (+ (log i) (log i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (log (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (log (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (+ (log (* i i)) (log (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (log (* (* i i) (* i i))) (+ (+ (log 2.0) (log i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (+ (log 2.0) (log i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (log (* (* i i) (* i i))) (+ (log (* 2.0 i)) (log (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (- (log (* (* i i) (* i i))) (log (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (log (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (log (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (log (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (exp (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 2.0) 2.0) (* (* i i) i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 2.0) 2.0) (* (* i i) i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)) (* (* (* 2.0 i) (* 2.0 i)) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i))) (* (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (* (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (* (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (cbrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (cbrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (* (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (sqrt (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (- (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (- (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) 1)
  (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) 1)
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))) (- (* 2.0 i) (sqrt 1.0)))
  (/ (/ (* i i) (* 2.0 i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (/ (* i i) (* 2.0 i)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* i i) (* 2.0 i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* i i) (* 2.0 i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* i i) (* 2.0 i)) 1)
  (/ (/ (* i i) (* 2.0 i)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (/ (* i i) (* 2.0 i)) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (/ (* i i) (* 2.0 i)) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 1)
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ 1 (+ (* 2.0 i) (sqrt 1.0)))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* 2.0 i) (sqrt 1.0)))
  (/ (* (* i i) (* i i)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (* i i) (* i i)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (* i i) (* i i)) 1)
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (* (* i i) (* i i)) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) 1)
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (+ (* 2.0 i) (sqrt 1.0)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (sqrt (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i)))))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (* i i) (* 2.0 i)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ 1 (* (* 2.0 i) (* 2.0 i))))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (pow (* (* 2.0 i) (* 2.0 i)) 3) (pow 1.0 3)))
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* (* 2.0 i) (* 2.0 i)) (* (* 2.0 i) (* 2.0 i))) (* 1.0 1.0)))
  (* (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* 2.0 i) (* 2.0 i)))
  (expm1 (* (* i i) (* i i)))
  (log1p (* (* i i) (* i i)))
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ 2 (+ 1 1))
  (+ 2 2)
  (+ 2 (+ 1 1))
  (+ 2 (* 2 1))
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) 2)
  (+ (+ 1 1) (+ 1 1))
  (+ (+ 1 1) (* 2 1))
  (+ 1 1)
  (+ 1 1)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) 2)
  (+ (* 2 1) (+ 1 1))
  (+ (* 2 1) (* 2 1))
  (* i i)
  (* i i)
  (* (* i i) (* i i))
  (* (* i i) (* i i))
  (* i i)
  (* i i)
  (* i i)
  (* (* i i) (* i i))
  (* (* i i) (* i i))
  (* i i)
  (+ 1 1)
  (+ 1 1)
  (+ (+ (log i) (log i)) (+ (log i) (log i)))
  (+ (+ (log i) (log i)) (log (* i i)))
  (+ (log (* i i)) (+ (log i) (log i)))
  (+ (log (* i i)) (log (* i i)))
  (log (* (* i i) (* i i)))
  (exp (* (* i i) (* i i)))
  (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) i) (* (* i i) i)))
  (* (* (* (* i i) i) (* (* i i) i)) (* (* (* i i) (* i i)) (* i i)))
  (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) i) (* (* i i) i)))
  (* (* (* (* i i) (* i i)) (* i i)) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (* (* i i) (* i i))) (cbrt (* (* i i) (* i i))))
  (cbrt (* (* i i) (* i i)))
  (* (* (* (* i i) (* i i)) (* (* i i) (* i i))) (* (* i i) (* i i)))
  (sqrt (* (* i i) (* i i)))
  (sqrt (* (* i i) (* i i)))
  (* i i)
  (* i i)
  (* i i)
  (* i i)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 2)
  (* 2 (+ 1 1))
  (* 2 (+ 1 1))
  (* 2 1)
  (* 2 1)
  (* 2 (* 2 1))
  (* (* i i) i)
  (* i (* i i))
  (* 0.25 (pow i 2))
  (* 0.25 (pow i 2))
  (* 0.25 (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))
  (pow i 4)
  (pow i 4)
  (pow i 4)
12.406 * * [simplify]: Extracting # 0 : cost  0
12.406 * * [simplify]: Extracting # 1 : cost  0
12.407 * * [simplify]: Extracting # 2 : cost  0
12.407 * * [simplify]: Extracting # 3 : cost  0
12.408 * * [simplify]: Extracting # 4 : cost  0
12.408 * * [simplify]: Extracting # 5 : cost  0
12.408 * * [simplify]: Extracting # 6 : cost  0
12.409 * * [simplify]: Extracting # 7 : cost  0
12.409 * * [simplify]: Extracting # 8 : cost  0
12.410 * * [simplify]: Extracting # 9 : cost  0
12.410 * * [simplify]: iteration  0 :  283  enodes  (cost  6866 )
12.508 * * [simplify]: Extracting # 0 : cost  0
12.509 * * [simplify]: Extracting # 1 : cost  0
12.510 * * [simplify]: Extracting # 2 : cost  0
12.511 * * [simplify]: Extracting # 3 : cost  0
12.512 * * [simplify]: Extracting # 4 : cost  0
12.513 * * [simplify]: iteration  1 :  651  enodes  (cost  4618 )
13.244 * * [simplify]: Extracting # 0 : cost  0
13.248 * * [simplify]: Extracting # 1 : cost  0
13.255 * * [simplify]: Extracting # 2 : cost  0
13.261 * * [simplify]: Extracting # 3 : cost  0
13.268 * * [simplify]: Extracting # 4 : cost  0
13.273 * * [simplify]: Extracting # 5 : cost  0
13.277 * * [simplify]: iteration  2 :  3160  enodes  (cost  3064 )
14.624 * * [simplify]: Extracting # 0 : cost  0
14.636 * * [simplify]: Extracting # 1 : cost  0
14.649 * * [simplify]: Extracting # 2 : cost  0
14.662 * * [simplify]: Extracting # 3 : cost  0
14.674 * * [simplify]: iteration done:  5000  enodes  (cost  2978 )
14.676 * [simplify]: Simplified to:
  (expm1 (* (* (/ i 2.0) (/ i 2.0)) 1))
  (log1p (* (* (/ i 2.0) (/ i 2.0)) 1))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (* 2 (log (/ (/ i 1) 2.0)))
  (exp (* (* (/ i 2.0) (/ i 2.0)) 1))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)))
  (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))
  (/ (pow i 12) (pow (* i 2.0) 6))
  (fabs (/ (/ i 1) 2.0))
  (fabs (/ (/ i 1) 2.0))
  (- (pow i 4))
  (- (* (* 2.0 i) (* 2.0 i)))
  (/ (/ i 1) 2.0)
  (/ (/ i 1) 2.0)
  (/ 1 (* (* 2.0 i) (* 2.0 i)))
  (/ (* (* 2.0 i) (* 2.0 i)) (pow i 4))
  (/ (pow i 4) (* 2.0 i))
  (* (/ 2.0 1) (/ 2.0 1))
  (expm1 (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (log1p (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (fma 2 (log (/ (/ i 1) 2.0)) (- (log (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (exp (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (* (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0))) (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0))))
  (cbrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (pow (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)) 3)
  (sqrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (sqrt (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0)))
  (- (* (* (/ i 2.0) (/ i 2.0)) 1))
  (- (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (/ (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (/ (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1))))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (* (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (fma 2.0 i (sqrt 1.0))) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)))
  (/ (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)) (- (* 2.0 i) (sqrt 1.0)))
  (/ (fabs (/ (/ i 1) 2.0)) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (fabs (/ (/ i 1) 2.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (fabs (/ (/ i 1) 2.0)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (fabs (/ (/ i 1) 2.0)) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (fabs (/ (/ i 1) 2.0))
  (/ (fabs (/ (/ i 1) 2.0)) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (fabs (/ (/ i 1) 2.0)) (fma 2.0 i (sqrt 1.0)))
  (/ (fabs (/ (/ i 1) 2.0)) (- (* 2.0 i) (sqrt 1.0)))
  (/ i (* (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))) (/ 2.0 1)))
  (/ (/ (/ i 1) 2.0) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (/ i 1) 2.0) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ (/ i 1) 2.0) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ i 1) 2.0)
  (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ i (* (fma 2.0 i (sqrt 1.0)) (/ 2.0 1)))
  (/ (/ (/ i 1) 2.0) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ 1 (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  1
  (* (/ (/ i 2.0) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (/ (/ i 1) 2.0))
  (/ 1 (fma 2.0 i (sqrt 1.0)))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (- (* 2.0 i) (sqrt 1.0)))
  (/ (pow i 4) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (pow i 4) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (pow i 4)
  (/ 1 (+ (pow (* i 2.0) 4) (* (- 1.0) (* 2.0 (* i (* 2.0 i))))))
  (/ (pow i 4) (fma 2.0 i (sqrt 1.0)))
  (/ (/ 1 (* (* 2.0 i) (* 2.0 i))) (- (* 2.0 i) (sqrt 1.0)))
  (/ 1 (- (* (* 2.0 i) (* 2.0 i)) 1.0))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* (/ i 2.0) (/ i 2.0)) 1))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (* (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)) (cbrt (- (* (* 2.0 i) (* 2.0 i)) 1.0))))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (sqrt (- (* (* 2.0 i) (* 2.0 i)) 1.0)))
  (* (* (/ i 2.0) (/ i 2.0)) 1)
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (fma 2.0 i (sqrt 1.0)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (cbrt (* (* (/ i 2.0) (/ i 2.0)) 1)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (fabs (/ (/ i 1) 2.0)))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (/ (/ i 1) 2.0))
  (/ (- (* (* 2.0 i) (* 2.0 i)) 1.0) (* (* (/ i 2.0) (/ i 2.0)) 1))
  (+ (pow (* i 2.0) 4) (* (- 1.0) (* 2.0 (* i (* 2.0 i)))))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (- (pow (* 2.0 i) 6) (pow 1.0 3)))
  (/ (* (* (/ i 2.0) (/ i 2.0)) 1) (fma 1.0 (- 1.0) (pow (* i 2.0) 4)))
  (+ (pow (* i 2.0) 4) (* (- 1.0) (* 2.0 (* i (* 2.0 i)))))
  (expm1 (pow i 4))
  (log1p (pow i 4))
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  4
  4
  4
  4
  2
  2
  4
  4
  4
  4
  (* i i)
  (* i i)
  (pow i 4)
  (pow i 4)
  (* i i)
  (* i i)
  (* i i)
  (pow i 4)
  (pow i 4)
  (* i i)
  2
  2
  (log (pow i 4))
  (log (pow i 4))
  (log (pow i 4))
  (log (pow i 4))
  (log (pow i 4))
  (exp (pow i 4))
  (pow i 12)
  (pow i 12)
  (pow i 12)
  (pow i 12)
  (* (cbrt (pow i 4)) (cbrt (pow i 4)))
  (cbrt (pow i 4))
  (pow i 12)
  (fabs (pow i 2))
  (fabs (pow i 2))
  (* i i)
  (* i i)
  (* i i)
  (* i i)
  4
  4
  2
  2
  4
  4
  4
  2
  2
  4
  (pow i 3)
  (pow i 3)
  (* 0.25 (pow i 2))
  (* 0.25 (pow i 2))
  (* 0.25 (pow i 2))
  (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (+ (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))) 0.0625)
  (+ (+ (/ 0.015625 (* i i)) (/ 0.00390625 (pow i 4))) 0.0625)
  (pow i 4)
  (pow i 4)
  (pow i 4)
14.678 * * * [progress]: adding candidates to table
14.947 * [progress]: [Phase 3 of 3] Extracting.
14.947 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))> #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))> #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>)
14.948 * * * [regime-changes]: Trying 2 branch expressions: ((/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) i)
14.948 * * * * [regimes]: Trying to branch on (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)) from (#<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))> #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))> #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>)
14.968 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))> #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))> #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>)
14.990 * * * [regime]: Found split indices: #<option (#s(si 2 255))>
14.990 * [simplify]: Simplifying:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
14.990 * * [simplify]: Extracting # 0 : cost  0
14.990 * * [simplify]: Extracting # 1 : cost  0
14.990 * * [simplify]: Extracting # 2 : cost  0
14.990 * * [simplify]: Extracting # 3 : cost  0
14.990 * * [simplify]: Extracting # 4 : cost  0
14.990 * * [simplify]: Extracting # 5 : cost  0
14.990 * * [simplify]: Extracting # 6 : cost  0
14.991 * * [simplify]: iteration  0 :  10  enodes  (cost  15 )
14.992 * * [simplify]: Extracting # 0 : cost  0
14.992 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
14.994 * * [simplify]: Extracting # 0 : cost  0
14.994 * * [simplify]: iteration done:  13  enodes  (cost  15 )
14.994 * [simplify]: Simplified to:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
16.439 * [regime-testing]: Baseline error score: 0.3418049021546386
16.441 * [regime-testing]: Oracle error score: 0.0030003750468808603
16.446 * [regime-testing]: End program error score: 0.3418049021546386