34.733 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.036 * * * [progress]: [2/2] Setting up program.
0.039 * [progress]: [Phase 2 of 3] Improving.
0.039 * [simplify]: Simplifying:
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0))
0.039 * * [simplify]: Extracting # 0 : cost  0
0.039 * * [simplify]: Extracting # 1 : cost  0
0.039 * * [simplify]: Extracting # 2 : cost  0
0.039 * * [simplify]: Extracting # 3 : cost  0
0.039 * * [simplify]: Extracting # 4 : cost  0
0.039 * * [simplify]: Extracting # 5 : cost  0
0.039 * * [simplify]: Extracting # 6 : cost  0
0.039 * * [simplify]: iteration  0 :  10  enodes  (cost  25 )
0.042 * * [simplify]: Extracting # 0 : cost  0
0.042 * * [simplify]: Extracting # 1 : cost  0
0.042 * * [simplify]: Extracting # 2 : cost  0
0.042 * * [simplify]: iteration  1 :  32  enodes  (cost  25 )
0.052 * * [simplify]: Extracting # 0 : cost  0
0.052 * * [simplify]: Extracting # 1 : cost  0
0.052 * * [simplify]: Extracting # 2 : cost  0
0.053 * * [simplify]: Extracting # 3 : cost  0
0.053 * * [simplify]: Extracting # 4 : cost  0
0.053 * * [simplify]: iteration  2 :  168  enodes  (cost  23 )
0.227 * * [simplify]: Extracting # 0 : cost  0
0.228 * * [simplify]: Extracting # 1 : cost  0
0.229 * * [simplify]: Extracting # 2 : cost  0
0.230 * * [simplify]: Extracting # 3 : cost  0
0.231 * * [simplify]: Extracting # 4 : cost  0
0.232 * * [simplify]: iteration  3 :  894  enodes  (cost  19 )
4.068 * * [simplify]: Extracting # 0 : cost  0
4.077 * * [simplify]: Extracting # 1 : cost  0
4.079 * * [simplify]: Extracting # 2 : cost  0
4.082 * * [simplify]: Extracting # 3 : cost  0
4.085 * * [simplify]: Extracting # 4 : cost  0
4.087 * * [simplify]: iteration  4 :  3353  enodes  (cost  15 )
6.379 * * [simplify]: Extracting # 0 : cost  0
6.387 * * [simplify]: Extracting # 1 : cost  0
6.397 * * [simplify]: Extracting # 2 : cost  0
6.406 * * [simplify]: Extracting # 3 : cost  0
6.415 * * [simplify]: Extracting # 4 : cost  0
6.422 * * [simplify]: iteration done:  5000  enodes  (cost  15 )
6.422 * [simplify]: Simplified to:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
6.429 * * [progress]: iteration 1 / 4
6.429 * * * [progress]: picking best candidate
6.432 * * * * [pick]: Picked  #<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))>
6.432 * * * [progress]: localizing error
6.440 * * * [progress]: generating rewritten candidates
6.441 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 2)
6.449 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
6.529 * * * [progress]: generating series expansions
6.529 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 2)
6.529 * [backup-simplify]: Simplify (/ 1.0 (* i i)) into (/ 1.0 (pow i 2))
6.529 * [approximate]: Taking taylor expansion of (/ 1.0 (pow i 2)) in (i) around 0
6.529 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.529 * [taylor]: Taking taylor expansion of 1.0 in i
6.529 * [backup-simplify]: Simplify 1.0 into 1.0
6.529 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.529 * [taylor]: Taking taylor expansion of i in i
6.529 * [backup-simplify]: Simplify 0 into 0
6.530 * [backup-simplify]: Simplify 1 into 1
6.530 * [backup-simplify]: Simplify (* 1 1) into 1
6.530 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.530 * [taylor]: Taking taylor expansion of (/ 1.0 (pow i 2)) in i
6.530 * [taylor]: Taking taylor expansion of 1.0 in i
6.530 * [backup-simplify]: Simplify 1.0 into 1.0
6.530 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.530 * [taylor]: Taking taylor expansion of i in i
6.531 * [backup-simplify]: Simplify 0 into 0
6.531 * [backup-simplify]: Simplify 1 into 1
6.531 * [backup-simplify]: Simplify (* 1 1) into 1
6.531 * [backup-simplify]: Simplify (/ 1.0 1) into 1.0
6.531 * [backup-simplify]: Simplify 1.0 into 1.0
6.532 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.532 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)))) into 0
6.532 * [backup-simplify]: Simplify 0 into 0
6.533 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.534 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.534 * [backup-simplify]: Simplify 0 into 0
6.535 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.536 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.536 * [backup-simplify]: Simplify 0 into 0
6.537 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.538 * [backup-simplify]: Simplify 0 into 0
6.540 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.541 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.541 * [backup-simplify]: Simplify 0 into 0
6.542 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.543 * [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.543 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.544 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 i) (/ 1 i))) into (* 1.0 (pow i 2))
6.544 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.544 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.544 * [taylor]: Taking taylor expansion of 1.0 in i
6.544 * [backup-simplify]: Simplify 1.0 into 1.0
6.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.544 * [taylor]: Taking taylor expansion of i in i
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 1 into 1
6.544 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.544 * [taylor]: Taking taylor expansion of 1.0 in i
6.544 * [backup-simplify]: Simplify 1.0 into 1.0
6.544 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.544 * [taylor]: Taking taylor expansion of i in i
6.544 * [backup-simplify]: Simplify 0 into 0
6.544 * [backup-simplify]: Simplify 1 into 1
6.545 * [backup-simplify]: Simplify (* 1 1) into 1
6.545 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.545 * [backup-simplify]: Simplify 1.0 into 1.0
6.546 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.547 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.547 * [backup-simplify]: Simplify 0 into 0
6.548 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.549 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.549 * [backup-simplify]: Simplify 0 into 0
6.550 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.551 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.551 * [backup-simplify]: Simplify 0 into 0
6.552 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.554 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.554 * [backup-simplify]: Simplify 0 into 0
6.555 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.557 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.557 * [backup-simplify]: Simplify 0 into 0
6.558 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.560 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 i) 2)) into (/ 1.0 (pow i 2))
6.561 * [backup-simplify]: Simplify (/ 1.0 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 1.0 (pow i 2))
6.561 * [approximate]: Taking taylor expansion of (* 1.0 (pow i 2)) in (i) around 0
6.561 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.561 * [taylor]: Taking taylor expansion of 1.0 in i
6.561 * [backup-simplify]: Simplify 1.0 into 1.0
6.561 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.561 * [taylor]: Taking taylor expansion of i in i
6.561 * [backup-simplify]: Simplify 0 into 0
6.561 * [backup-simplify]: Simplify 1 into 1
6.561 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.561 * [taylor]: Taking taylor expansion of 1.0 in i
6.561 * [backup-simplify]: Simplify 1.0 into 1.0
6.561 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.561 * [taylor]: Taking taylor expansion of i in i
6.561 * [backup-simplify]: Simplify 0 into 0
6.561 * [backup-simplify]: Simplify 1 into 1
6.562 * [backup-simplify]: Simplify (* 1 1) into 1
6.562 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.562 * [backup-simplify]: Simplify 1.0 into 1.0
6.563 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.563 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.563 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.565 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.566 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.567 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.568 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.570 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.570 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.572 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.572 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.576 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.576 * [backup-simplify]: Simplify 0 into 0
6.576 * [backup-simplify]: Simplify (* 1.0 (pow (/ 1 (- i)) 2)) into (/ 1.0 (pow i 2))
6.576 * * * * [progress]: [ 2 / 2 ] generating series at (2)
6.577 * [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.577 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in (i) around 0
6.577 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.577 * [taylor]: Taking taylor expansion of 0.25 in i
6.577 * [backup-simplify]: Simplify 0.25 into 0.25
6.577 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.577 * [taylor]: Taking taylor expansion of 4.0 in i
6.577 * [backup-simplify]: Simplify 4.0 into 4.0
6.577 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.577 * [taylor]: Taking taylor expansion of 1.0 in i
6.577 * [backup-simplify]: Simplify 1.0 into 1.0
6.577 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.577 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.577 * [taylor]: Taking taylor expansion of i in i
6.577 * [backup-simplify]: Simplify 0 into 0
6.577 * [backup-simplify]: Simplify 1 into 1
6.578 * [backup-simplify]: Simplify (* 1 1) into 1
6.578 * [backup-simplify]: Simplify (/ 1 1) into 1
6.579 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.579 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.580 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.581 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.581 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (/ 1 (pow i 2))))) in i
6.581 * [taylor]: Taking taylor expansion of 0.25 in i
6.581 * [backup-simplify]: Simplify 0.25 into 0.25
6.581 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (/ 1 (pow i 2)))) in i
6.581 * [taylor]: Taking taylor expansion of 4.0 in i
6.581 * [backup-simplify]: Simplify 4.0 into 4.0
6.581 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (pow i 2))) in i
6.581 * [taylor]: Taking taylor expansion of 1.0 in i
6.581 * [backup-simplify]: Simplify 1.0 into 1.0
6.581 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.582 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.582 * [taylor]: Taking taylor expansion of i in i
6.582 * [backup-simplify]: Simplify 0 into 0
6.582 * [backup-simplify]: Simplify 1 into 1
6.582 * [backup-simplify]: Simplify (* 1 1) into 1
6.582 * [backup-simplify]: Simplify (/ 1 1) into 1
6.583 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.583 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.584 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.585 * [backup-simplify]: Simplify (/ 0.25 (- 1.0)) into -0.25
6.585 * [backup-simplify]: Simplify -0.25 into -0.25
6.586 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.587 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.588 * [backup-simplify]: Simplify (- 0) into 0
6.588 * [backup-simplify]: Simplify (+ 0 0) into 0
6.588 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))))) into 0
6.589 * [backup-simplify]: Simplify 0 into 0
6.589 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.590 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.590 * [backup-simplify]: Simplify (- 0) into 0
6.591 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.593 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 4.0 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 1.0)
6.594 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.595 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.595 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.596 * [backup-simplify]: Simplify (- 0) into 0
6.596 * [backup-simplify]: Simplify (+ 0 0) into 0
6.597 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -0.25 (/ 0 (- 1.0))) (* 0 (/ 4.0 (- 1.0))) (* (- 1.0) (/ 0 (- 1.0))))) into 0
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.599 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.599 * [backup-simplify]: Simplify (- 0) into 0
6.599 * [backup-simplify]: Simplify (+ 0 0) into 0
6.603 * [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.603 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
6.604 * [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.605 * [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.605 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.605 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.605 * [taylor]: Taking taylor expansion of 0.25 in i
6.605 * [backup-simplify]: Simplify 0.25 into 0.25
6.605 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.605 * [taylor]: Taking taylor expansion of 4.0 in i
6.605 * [backup-simplify]: Simplify 4.0 into 4.0
6.605 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.605 * [taylor]: Taking taylor expansion of 1.0 in i
6.605 * [backup-simplify]: Simplify 1.0 into 1.0
6.605 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.605 * [taylor]: Taking taylor expansion of i in i
6.605 * [backup-simplify]: Simplify 0 into 0
6.605 * [backup-simplify]: Simplify 1 into 1
6.606 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.606 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.606 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.606 * [taylor]: Taking taylor expansion of 0.25 in i
6.606 * [backup-simplify]: Simplify 0.25 into 0.25
6.606 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.606 * [taylor]: Taking taylor expansion of 4.0 in i
6.606 * [backup-simplify]: Simplify 4.0 into 4.0
6.606 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.606 * [taylor]: Taking taylor expansion of 1.0 in i
6.606 * [backup-simplify]: Simplify 1.0 into 1.0
6.606 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.606 * [taylor]: Taking taylor expansion of i in i
6.606 * [backup-simplify]: Simplify 0 into 0
6.606 * [backup-simplify]: Simplify 1 into 1
6.606 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.607 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.607 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.607 * [backup-simplify]: Simplify (+ 0 0) into 0
6.607 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.607 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (* 1 1) into 1
6.608 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.608 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.609 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.611 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.612 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.612 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.612 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.615 * [backup-simplify]: Simplify (- 0) into 0
6.616 * [backup-simplify]: Simplify (+ 0 0) into 0
6.617 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.617 * [backup-simplify]: Simplify 0 into 0
6.617 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.618 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.618 * [backup-simplify]: Simplify (- 0) into 0
6.618 * [backup-simplify]: Simplify (+ 0 0) into 0
6.624 * [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.625 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.625 * [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.626 * [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.626 * [approximate]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in (i) around 0
6.626 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.626 * [taylor]: Taking taylor expansion of 0.25 in i
6.627 * [backup-simplify]: Simplify 0.25 into 0.25
6.627 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.627 * [taylor]: Taking taylor expansion of 4.0 in i
6.627 * [backup-simplify]: Simplify 4.0 into 4.0
6.627 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.627 * [taylor]: Taking taylor expansion of 1.0 in i
6.627 * [backup-simplify]: Simplify 1.0 into 1.0
6.627 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.627 * [taylor]: Taking taylor expansion of i in i
6.627 * [backup-simplify]: Simplify 0 into 0
6.627 * [backup-simplify]: Simplify 1 into 1
6.627 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.628 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.628 * [taylor]: Taking taylor expansion of (/ 0.25 (- 4.0 (* 1.0 (pow i 2)))) in i
6.628 * [taylor]: Taking taylor expansion of 0.25 in i
6.628 * [backup-simplify]: Simplify 0.25 into 0.25
6.628 * [taylor]: Taking taylor expansion of (- 4.0 (* 1.0 (pow i 2))) in i
6.628 * [taylor]: Taking taylor expansion of 4.0 in i
6.628 * [backup-simplify]: Simplify 4.0 into 4.0
6.628 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 2)) in i
6.628 * [taylor]: Taking taylor expansion of 1.0 in i
6.628 * [backup-simplify]: Simplify 1.0 into 1.0
6.628 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.628 * [taylor]: Taking taylor expansion of i in i
6.628 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify 1 into 1
6.629 * [backup-simplify]: Simplify (+ 4.0 0) into 4.0
6.629 * [backup-simplify]: Simplify (/ 0.25 4.0) into 0.0625
6.629 * [backup-simplify]: Simplify 0.0625 into 0.0625
6.630 * [backup-simplify]: Simplify (+ 0 0) into 0
6.631 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)))) into 0
6.631 * [backup-simplify]: Simplify 0 into 0
6.632 * [backup-simplify]: Simplify (* 1 1) into 1
6.632 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
6.632 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
6.633 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
6.638 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ (- 1.0) 4.0)) (* 0 (/ 0 4.0)))) into 0.015625
6.638 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.639 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.640 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
6.640 * [backup-simplify]: Simplify (- 0) into 0
6.640 * [backup-simplify]: Simplify (+ 0 0) into 0
6.641 * [backup-simplify]: Simplify (- (/ 0 4.0) (+ (* 0.0625 (/ 0 4.0)) (* 0 (/ (- 1.0) 4.0)) (* 0.015625 (/ 0 4.0)))) into 0
6.641 * [backup-simplify]: Simplify 0 into 0
6.642 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.642 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
6.643 * [backup-simplify]: Simplify (- 0) into 0
6.643 * [backup-simplify]: Simplify (+ 0 0) into 0
6.647 * [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.647 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.647 * [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.647 * * * [progress]: simplifying candidates
6.648 * [simplify]: Simplifying:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (- (log 1.0) (+ (log i) (log i)))
  (- (log 1.0) (log (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 1.0 1.0) 1.0) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (* (* (/ 1.0 (* i i)) (/ 1.0 (* i i))) (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log1p (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 1)
  (- 1)
  (- 1)
  (- (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 0 (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- 0 (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- 0 (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log 1) (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (+ (log 2.0) (log 2.0))))
  (- (log 1) (+ (log (- (* 2.0 2.0) (/ 1.0 (* i i)))) (log (* 2.0 2.0))))
  (- (log 1) (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (exp (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (* (* (* 2.0 2.0) 2.0) (* (* 2.0 2.0) 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (- (* 2.0 2.0) (/ 1.0 (* i i)))) (* (* (* 2.0 2.0) (* 2.0 2.0)) (* 2.0 2.0))))
  (/ (* (* 1 1) 1) (* (* (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (* (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))) (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))))
  (cbrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (* (* (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (sqrt (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- 1)
  (- (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
  (/ (* (cbrt 1) (cbrt 1)) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (cbrt 1) (* 2.0 2.0))
  (/ (sqrt 1) (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (sqrt 1) (* 2.0 2.0))
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ 1 (* 2.0 2.0))
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 1)
  (/ 1 (- (* 2.0 2.0) (/ 1.0 (* i i))))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (cbrt 1))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) (sqrt 1))
  (/ (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 1)
  (/ 1 (* (- (pow (* 2.0 2.0) 3) (pow (/ 1.0 (* i i)) 3)) (* 2.0 2.0)))
  (/ 1 (* (- (* (* 2.0 2.0) (* 2.0 2.0)) (* (/ 1.0 (* i i)) (/ 1.0 (* i i)))) (* 2.0 2.0)))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
6.649 * * [simplify]: Extracting # 0 : cost  0
6.650 * * [simplify]: Extracting # 1 : cost  0
6.650 * * [simplify]: Extracting # 2 : cost  0
6.650 * * [simplify]: Extracting # 3 : cost  0
6.650 * * [simplify]: Extracting # 4 : cost  0
6.650 * * [simplify]: Extracting # 5 : cost  0
6.650 * * [simplify]: Extracting # 6 : cost  0
6.651 * * [simplify]: Extracting # 7 : cost  0
6.651 * * [simplify]: Extracting # 8 : cost  0
6.651 * * [simplify]: Extracting # 9 : cost  0
6.651 * * [simplify]: Extracting # 10 : cost  0
6.651 * * [simplify]: iteration  0 :  136  enodes  (cost  944 )
6.703 * * [simplify]: Extracting # 0 : cost  0
6.704 * * [simplify]: Extracting # 1 : cost  0
6.704 * * [simplify]: Extracting # 2 : cost  0
6.705 * * [simplify]: Extracting # 3 : cost  0
6.705 * * [simplify]: Extracting # 4 : cost  0
6.705 * * [simplify]: iteration  1 :  320  enodes  (cost  853 )
6.853 * * [simplify]: Extracting # 0 : cost  0
6.854 * * [simplify]: Extracting # 1 : cost  0
6.855 * * [simplify]: Extracting # 2 : cost  0
6.856 * * [simplify]: Extracting # 3 : cost  0
6.857 * * [simplify]: Extracting # 4 : cost  0
6.858 * * [simplify]: iteration  2 :  931  enodes  (cost  732 )
8.141 * * [simplify]: Extracting # 0 : cost  0
8.147 * * [simplify]: Extracting # 1 : cost  0
8.162 * * [simplify]: Extracting # 2 : cost  0
8.166 * * [simplify]: Extracting # 3 : cost  0
8.170 * * [simplify]: Extracting # 4 : cost  0
8.173 * * [simplify]: iteration  3 :  3820  enodes  (cost  730 )
9.565 * * [simplify]: Extracting # 0 : cost  0
9.570 * * [simplify]: Extracting # 1 : cost  0
9.579 * * [simplify]: Extracting # 2 : cost  0
9.589 * * [simplify]: iteration done:  5000  enodes  (cost  730 )
9.590 * [simplify]: Simplified to:
  (expm1 (/ 1.0 (* i i)))
  (log1p (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (log (/ 1.0 (* i i)))
  (exp (/ 1.0 (* i i)))
  (pow (/ 1.0 (* i i)) 3)
  (pow (/ 1.0 (* i i)) 3)
  (* (cbrt (/ 1.0 (* i i))) (cbrt (/ 1.0 (* i i))))
  (cbrt (/ 1.0 (* i i)))
  (pow (/ 1.0 (* i i)) 3)
  (sqrt (/ 1.0 (* i i)))
  (sqrt (/ 1.0 (* i i)))
  (- 1.0)
  (- (* i i))
  (/ (* (cbrt 1.0) (cbrt 1.0)) i)
  (/ (cbrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ (sqrt 1.0) i)
  (/ 1 i)
  (/ 1.0 i)
  (/ 1 (* i i))
  (/ (* i i) 1.0)
  (/ 1.0 i)
  (/ (* i i) (cbrt 1.0))
  (/ (* i i) (sqrt 1.0))
  (/ (* i i) 1.0)
  (expm1 (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (log1p (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  -1
  -1
  -1
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (- (log (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (exp (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))
  (/ 1 (pow (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 3))
  (/ 1 (pow (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)) 3))
  (/ 1 (pow (* (- (* 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))))
  (/ 1 (pow (* (- (* 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
  (* (* 2.0 (fma 2.0 (- 2.0) (/ 1.0 (* i i)))) 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 (* 2.0 2.0)) (- (pow 2.0 6) (pow (/ 1.0 (* i i)) 3)))
  (/ (/ 1 2.0) (* (- (pow 2.0 4) (/ (* 1.0 1.0) (pow i 4))) 2.0))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (/ 1.0 (pow i 2))
  (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6)))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
9.591 * * * [progress]: adding candidates to table
9.741 * * [progress]: iteration 2 / 4
9.741 * * * [progress]: picking best candidate
9.750 * * * * [pick]: Picked  #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))>
9.750 * * * [progress]: localizing error
9.778 * * * [progress]: generating rewritten candidates
9.778 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 3 3)
9.800 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1)
9.801 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 3)
9.802 * * * [progress]: generating series expansions
9.802 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 3 3)
9.803 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
9.803 * [approximate]: Taking taylor expansion of (* 4.0 (pow i 6)) in (i) around 0
9.803 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.803 * [taylor]: Taking taylor expansion of 4.0 in i
9.803 * [backup-simplify]: Simplify 4.0 into 4.0
9.803 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.803 * [taylor]: Taking taylor expansion of i in i
9.803 * [backup-simplify]: Simplify 0 into 0
9.803 * [backup-simplify]: Simplify 1 into 1
9.803 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.803 * [taylor]: Taking taylor expansion of 4.0 in i
9.803 * [backup-simplify]: Simplify 4.0 into 4.0
9.803 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.803 * [taylor]: Taking taylor expansion of i in i
9.803 * [backup-simplify]: Simplify 0 into 0
9.803 * [backup-simplify]: Simplify 1 into 1
9.803 * [backup-simplify]: Simplify (* 1 1) into 1
9.804 * [backup-simplify]: Simplify (* 1 1) into 1
9.804 * [backup-simplify]: Simplify (* 1 1) into 1
9.804 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.804 * [backup-simplify]: Simplify 4.0 into 4.0
9.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.805 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.806 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.806 * [backup-simplify]: Simplify 0 into 0
9.806 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.807 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.808 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.808 * [backup-simplify]: Simplify 0 into 0
9.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.809 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.810 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.810 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.810 * [backup-simplify]: Simplify 0 into 0
9.811 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.812 * [backup-simplify]: Simplify (+ (* 1 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 1))))) into 0
9.814 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.814 * [backup-simplify]: Simplify 0 into 0
9.815 * [backup-simplify]: Simplify (+ (* 1 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 1)))))) into 0
9.818 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.819 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.819 * [backup-simplify]: Simplify 0 into 0
9.820 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 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.823 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.825 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.825 * [backup-simplify]: Simplify 0 into 0
9.825 * [backup-simplify]: Simplify (* 4.0 (pow i 6)) into (* 4.0 (pow i 6))
9.825 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 i) 6)) into (/ 4.0 (pow i 6))
9.825 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
9.825 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.825 * [taylor]: Taking taylor expansion of 4.0 in i
9.825 * [backup-simplify]: Simplify 4.0 into 4.0
9.825 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.826 * [taylor]: Taking taylor expansion of i in i
9.826 * [backup-simplify]: Simplify 0 into 0
9.826 * [backup-simplify]: Simplify 1 into 1
9.826 * [backup-simplify]: Simplify (* 1 1) into 1
9.826 * [backup-simplify]: Simplify (* 1 1) into 1
9.827 * [backup-simplify]: Simplify (* 1 1) into 1
9.827 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.827 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.827 * [taylor]: Taking taylor expansion of 4.0 in i
9.827 * [backup-simplify]: Simplify 4.0 into 4.0
9.827 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.827 * [taylor]: Taking taylor expansion of i in i
9.827 * [backup-simplify]: Simplify 0 into 0
9.827 * [backup-simplify]: Simplify 1 into 1
9.828 * [backup-simplify]: Simplify (* 1 1) into 1
9.828 * [backup-simplify]: Simplify (* 1 1) into 1
9.828 * [backup-simplify]: Simplify (* 1 1) into 1
9.828 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.829 * [backup-simplify]: Simplify 4.0 into 4.0
9.829 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.829 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.830 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.830 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.830 * [backup-simplify]: Simplify 0 into 0
9.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.831 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.832 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.832 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.832 * [backup-simplify]: Simplify 0 into 0
9.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.833 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.834 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.835 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.835 * [backup-simplify]: Simplify 0 into 0
9.835 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.836 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.837 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.837 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.837 * [backup-simplify]: Simplify 0 into 0
9.838 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.839 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.840 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.840 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.840 * [backup-simplify]: Simplify 0 into 0
9.841 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.842 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.843 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.843 * [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.843 * [backup-simplify]: Simplify 0 into 0
9.843 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 i)) 6)) into (* 4.0 (pow i 6))
9.844 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (- i)) 6)) into (/ 4.0 (pow i 6))
9.844 * [approximate]: Taking taylor expansion of (/ 4.0 (pow i 6)) in (i) around 0
9.844 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.844 * [taylor]: Taking taylor expansion of 4.0 in i
9.844 * [backup-simplify]: Simplify 4.0 into 4.0
9.844 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.844 * [taylor]: Taking taylor expansion of i in i
9.844 * [backup-simplify]: Simplify 0 into 0
9.844 * [backup-simplify]: Simplify 1 into 1
9.844 * [backup-simplify]: Simplify (* 1 1) into 1
9.844 * [backup-simplify]: Simplify (* 1 1) into 1
9.845 * [backup-simplify]: Simplify (* 1 1) into 1
9.845 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.845 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.845 * [taylor]: Taking taylor expansion of 4.0 in i
9.845 * [backup-simplify]: Simplify 4.0 into 4.0
9.845 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.845 * [taylor]: Taking taylor expansion of i in i
9.845 * [backup-simplify]: Simplify 0 into 0
9.845 * [backup-simplify]: Simplify 1 into 1
9.845 * [backup-simplify]: Simplify (* 1 1) into 1
9.845 * [backup-simplify]: Simplify (* 1 1) into 1
9.846 * [backup-simplify]: Simplify (* 1 1) into 1
9.846 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.846 * [backup-simplify]: Simplify 4.0 into 4.0
9.846 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.847 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.848 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.848 * [backup-simplify]: Simplify 0 into 0
9.848 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.849 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.850 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.850 * [backup-simplify]: Simplify 0 into 0
9.850 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.851 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.852 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.852 * [backup-simplify]: Simplify 0 into 0
9.853 * [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.854 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.855 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.855 * [backup-simplify]: Simplify 0 into 0
9.855 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.856 * [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.859 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.859 * [backup-simplify]: Simplify 0 into 0
9.860 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.862 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.864 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.865 * [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.865 * [backup-simplify]: Simplify 0 into 0
9.866 * [backup-simplify]: Simplify (* 4.0 (pow (/ 1 (/ 1 (- i))) 6)) into (* 4.0 (pow i 6))
9.866 * * * * [progress]: [ 2 / 3 ] generating series at (2 1)
9.866 * [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.866 * [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.866 * [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.866 * [taylor]: Rewrote expression to (+ (* 0.25 (pow i 2)) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
9.866 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
9.866 * [taylor]: Taking taylor expansion of 0.25 in i
9.867 * [backup-simplify]: Simplify 0.25 into 0.25
9.867 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.867 * [taylor]: Taking taylor expansion of i in i
9.867 * [backup-simplify]: Simplify 0 into 0
9.867 * [backup-simplify]: Simplify 1 into 1
9.867 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.867 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.867 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.867 * [taylor]: Taking taylor expansion of 1.0 in i
9.867 * [backup-simplify]: Simplify 1.0 into 1.0
9.867 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.867 * [taylor]: Taking taylor expansion of i in i
9.867 * [backup-simplify]: Simplify 0 into 0
9.867 * [backup-simplify]: Simplify 1 into 1
9.867 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.867 * [taylor]: Taking taylor expansion of 4.0 in i
9.867 * [backup-simplify]: Simplify 4.0 into 4.0
9.867 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.867 * [taylor]: Taking taylor expansion of i in i
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [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.868 * [taylor]: Rewrote expression to (+ (* 0.25 (pow i 2)) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))
9.868 * [taylor]: Taking taylor expansion of (* 0.25 (pow i 2)) in i
9.868 * [taylor]: Taking taylor expansion of 0.25 in i
9.868 * [backup-simplify]: Simplify 0.25 into 0.25
9.868 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.868 * [taylor]: Taking taylor expansion of i in i
9.868 * [backup-simplify]: Simplify 0 into 0
9.868 * [backup-simplify]: Simplify 1 into 1
9.868 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.868 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.868 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.868 * [taylor]: Taking taylor expansion of 1.0 in i
9.868 * [backup-simplify]: Simplify 1.0 into 1.0
9.869 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.869 * [taylor]: Taking taylor expansion of i in i
9.869 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify 1 into 1
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.869 * [taylor]: Taking taylor expansion of i in i
9.869 * [backup-simplify]: Simplify 0 into 0
9.869 * [backup-simplify]: Simplify 1 into 1
9.869 * [backup-simplify]: Simplify (* 1 1) into 1
9.870 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
9.870 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
9.870 * [backup-simplify]: Simplify 0.25 into 0.25
9.871 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.872 * [backup-simplify]: Simplify (+ (* 0.25 0) (* 0 1)) into 0
9.872 * [backup-simplify]: Simplify (+ 0 0) into 0
9.872 * [backup-simplify]: Simplify 0 into 0
9.874 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.875 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (* 0 1))) into 0
9.875 * [backup-simplify]: Simplify (* 1 1) into 1
9.876 * [backup-simplify]: Simplify (* 1 1) into 1
9.876 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.877 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.877 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.877 * [backup-simplify]: Simplify 1.0 into 1.0
9.878 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.879 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.880 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.881 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.882 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.882 * [backup-simplify]: Simplify (+ 0 0) into 0
9.882 * [backup-simplify]: Simplify (+ 0 0) into 0
9.882 * [backup-simplify]: Simplify 0 into 0
9.884 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.885 * [backup-simplify]: Simplify (+ (* 0.25 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.886 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.887 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.888 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.888 * [backup-simplify]: Simplify (* 1 1) into 1
9.889 * [backup-simplify]: Simplify (* 1 1) into 1
9.889 * [backup-simplify]: Simplify (* 1 1) into 1
9.890 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.890 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.891 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.891 * [backup-simplify]: Simplify 4.0 into 4.0
9.891 * [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.892 * [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.892 * [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.892 * [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.892 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))))
9.892 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.892 * [taylor]: Taking taylor expansion of 0.25 in i
9.892 * [backup-simplify]: Simplify 0.25 into 0.25
9.892 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.892 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.892 * [taylor]: Taking taylor expansion of i in i
9.892 * [backup-simplify]: Simplify 0 into 0
9.893 * [backup-simplify]: Simplify 1 into 1
9.893 * [backup-simplify]: Simplify (* 1 1) into 1
9.893 * [backup-simplify]: Simplify (/ 1 1) into 1
9.893 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.894 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.894 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.894 * [taylor]: Taking taylor expansion of 1.0 in i
9.894 * [backup-simplify]: Simplify 1.0 into 1.0
9.894 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.894 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.894 * [taylor]: Taking taylor expansion of i in i
9.894 * [backup-simplify]: Simplify 0 into 0
9.894 * [backup-simplify]: Simplify 1 into 1
9.894 * [backup-simplify]: Simplify (/ 1 1) into 1
9.894 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.894 * [taylor]: Taking taylor expansion of 4.0 in i
9.894 * [backup-simplify]: Simplify 4.0 into 4.0
9.894 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.894 * [taylor]: Taking taylor expansion of i in i
9.894 * [backup-simplify]: Simplify 0 into 0
9.894 * [backup-simplify]: Simplify 1 into 1
9.895 * [backup-simplify]: Simplify (* 1 1) into 1
9.895 * [backup-simplify]: Simplify (* 1 1) into 1
9.896 * [backup-simplify]: Simplify (* 1 1) into 1
9.896 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.896 * [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.896 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))))
9.896 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.896 * [taylor]: Taking taylor expansion of 0.25 in i
9.896 * [backup-simplify]: Simplify 0.25 into 0.25
9.896 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.896 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.897 * [taylor]: Taking taylor expansion of i in i
9.897 * [backup-simplify]: Simplify 0 into 0
9.897 * [backup-simplify]: Simplify 1 into 1
9.897 * [backup-simplify]: Simplify (* 1 1) into 1
9.897 * [backup-simplify]: Simplify (/ 1 1) into 1
9.897 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
9.898 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
9.898 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
9.898 * [taylor]: Taking taylor expansion of 1.0 in i
9.898 * [backup-simplify]: Simplify 1.0 into 1.0
9.898 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
9.898 * [taylor]: Taking taylor expansion of (/ 1 i) in i
9.898 * [taylor]: Taking taylor expansion of i in i
9.898 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify 1 into 1
9.898 * [backup-simplify]: Simplify (/ 1 1) into 1
9.898 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.898 * [taylor]: Taking taylor expansion of 4.0 in i
9.898 * [backup-simplify]: Simplify 4.0 into 4.0
9.898 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.898 * [taylor]: Taking taylor expansion of i in i
9.898 * [backup-simplify]: Simplify 0 into 0
9.898 * [backup-simplify]: Simplify 1 into 1
9.899 * [backup-simplify]: Simplify (* 1 1) into 1
9.899 * [backup-simplify]: Simplify (* 1 1) into 1
9.900 * [backup-simplify]: Simplify (* 1 1) into 1
9.900 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.901 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.901 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.901 * [backup-simplify]: Simplify 4.0 into 4.0
9.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.902 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.903 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.904 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.904 * [backup-simplify]: Simplify (+ 0 0) into 0
9.904 * [backup-simplify]: Simplify (+ 0 0) into 0
9.904 * [backup-simplify]: Simplify 0 into 0
9.905 * [backup-simplify]: Simplify (* 1 1) into 1
9.905 * [backup-simplify]: Simplify (* 1 1) into 1
9.905 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.906 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.907 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.907 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.907 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.908 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.908 * [backup-simplify]: Simplify 1.0 into 1.0
9.908 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
9.909 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.912 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.913 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.913 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.914 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.915 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.915 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.915 * [backup-simplify]: Simplify (+ 0 0) into 0
9.916 * [backup-simplify]: Simplify (+ 0 0) into 0
9.916 * [backup-simplify]: Simplify 0 into 0
9.916 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
9.916 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.917 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.918 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.919 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.920 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.921 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.921 * [backup-simplify]: Simplify (+ 0 0) into 0
9.921 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
9.921 * [backup-simplify]: Simplify 0.25 into 0.25
9.922 * [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))))
9.922 * [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.922 * [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.922 * [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.922 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))))
9.922 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.922 * [taylor]: Taking taylor expansion of 0.25 in i
9.922 * [backup-simplify]: Simplify 0.25 into 0.25
9.922 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.922 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.922 * [taylor]: Taking taylor expansion of i in i
9.922 * [backup-simplify]: Simplify 0 into 0
9.922 * [backup-simplify]: Simplify 1 into 1
9.923 * [backup-simplify]: Simplify (* 1 1) into 1
9.923 * [backup-simplify]: Simplify (/ 1 1) into 1
9.923 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
9.923 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
9.923 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
9.923 * [taylor]: Taking taylor expansion of 1.0 in i
9.923 * [backup-simplify]: Simplify 1.0 into 1.0
9.923 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
9.923 * [taylor]: Taking taylor expansion of (/ -1 i) in i
9.923 * [taylor]: Taking taylor expansion of -1 in i
9.923 * [backup-simplify]: Simplify -1 into -1
9.923 * [taylor]: Taking taylor expansion of i in i
9.923 * [backup-simplify]: Simplify 0 into 0
9.923 * [backup-simplify]: Simplify 1 into 1
9.923 * [backup-simplify]: Simplify (/ -1 1) into -1
9.923 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.923 * [taylor]: Taking taylor expansion of 4.0 in i
9.923 * [backup-simplify]: Simplify 4.0 into 4.0
9.923 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.923 * [taylor]: Taking taylor expansion of i in i
9.924 * [backup-simplify]: Simplify 0 into 0
9.924 * [backup-simplify]: Simplify 1 into 1
9.924 * [backup-simplify]: Simplify (* 1 1) into 1
9.924 * [backup-simplify]: Simplify (* 1 1) into 1
9.924 * [backup-simplify]: Simplify (* 1 1) into 1
9.925 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.925 * [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.925 * [taylor]: Rewrote expression to (+ (* 0.25 (/ 1 (pow i 2))) (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))))
9.925 * [taylor]: Taking taylor expansion of (* 0.25 (/ 1 (pow i 2))) in i
9.925 * [taylor]: Taking taylor expansion of 0.25 in i
9.925 * [backup-simplify]: Simplify 0.25 into 0.25
9.925 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
9.925 * [taylor]: Taking taylor expansion of (pow i 2) in i
9.925 * [taylor]: Taking taylor expansion of i in i
9.925 * [backup-simplify]: Simplify 0 into 0
9.925 * [backup-simplify]: Simplify 1 into 1
9.925 * [backup-simplify]: Simplify (* 1 1) into 1
9.925 * [backup-simplify]: Simplify (/ 1 1) into 1
9.925 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
9.925 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
9.925 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
9.925 * [taylor]: Taking taylor expansion of 1.0 in i
9.925 * [backup-simplify]: Simplify 1.0 into 1.0
9.926 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
9.926 * [taylor]: Taking taylor expansion of (/ -1 i) in i
9.926 * [taylor]: Taking taylor expansion of -1 in i
9.926 * [backup-simplify]: Simplify -1 into -1
9.926 * [taylor]: Taking taylor expansion of i in i
9.926 * [backup-simplify]: Simplify 0 into 0
9.926 * [backup-simplify]: Simplify 1 into 1
9.926 * [backup-simplify]: Simplify (/ -1 1) into -1
9.926 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
9.926 * [taylor]: Taking taylor expansion of 4.0 in i
9.926 * [backup-simplify]: Simplify 4.0 into 4.0
9.926 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.926 * [taylor]: Taking taylor expansion of i in i
9.926 * [backup-simplify]: Simplify 0 into 0
9.926 * [backup-simplify]: Simplify 1 into 1
9.926 * [backup-simplify]: Simplify (* 1 1) into 1
9.926 * [backup-simplify]: Simplify (* 1 1) into 1
9.927 * [backup-simplify]: Simplify (* 1 1) into 1
9.927 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
9.927 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.928 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.928 * [backup-simplify]: Simplify 4.0 into 4.0
9.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.928 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.929 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.929 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
9.929 * [backup-simplify]: Simplify (+ 0 0) into 0
9.930 * [backup-simplify]: Simplify (+ 0 0) into 0
9.930 * [backup-simplify]: Simplify 0 into 0
9.930 * [backup-simplify]: Simplify (* -1 -1) into 1
9.930 * [backup-simplify]: Simplify (* 1 1) into 1
9.930 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.931 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.932 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.933 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.933 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.934 * [backup-simplify]: Simplify (+ 0 1.0) into 1.0
9.934 * [backup-simplify]: Simplify 1.0 into 1.0
9.935 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
9.936 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
9.936 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.937 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.938 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.939 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.940 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.941 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.942 * [backup-simplify]: Simplify (+ 0 0) into 0
9.942 * [backup-simplify]: Simplify (+ 0 0) into 0
9.942 * [backup-simplify]: Simplify 0 into 0
9.943 * [backup-simplify]: Simplify (* 0.25 1) into 0.25
9.944 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.944 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
9.945 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.946 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.947 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.949 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.950 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.951 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
9.951 * [backup-simplify]: Simplify (+ 0 0) into 0
9.952 * [backup-simplify]: Simplify (+ 0.25 0) into 0.25
9.952 * [backup-simplify]: Simplify 0.25 into 0.25
9.952 * [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))))
9.952 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 3)
9.953 * [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.953 * [approximate]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in (i) around 0
9.953 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.953 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.953 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.953 * [taylor]: Taking taylor expansion of 1.0 in i
9.953 * [backup-simplify]: Simplify 1.0 into 1.0
9.953 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.953 * [taylor]: Taking taylor expansion of i in i
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.953 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.953 * [taylor]: Taking taylor expansion of 4.0 in i
9.953 * [backup-simplify]: Simplify 4.0 into 4.0
9.953 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.953 * [taylor]: Taking taylor expansion of i in i
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.953 * [taylor]: Taking taylor expansion of (fma 1.0 (pow i 4) (* 4.0 (pow i 6))) in i
9.953 * [taylor]: Rewrote expression to (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
9.953 * [taylor]: Taking taylor expansion of (* 1.0 (pow i 4)) in i
9.953 * [taylor]: Taking taylor expansion of 1.0 in i
9.953 * [backup-simplify]: Simplify 1.0 into 1.0
9.953 * [taylor]: Taking taylor expansion of (pow i 4) in i
9.953 * [taylor]: Taking taylor expansion of i in i
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.953 * [taylor]: Taking taylor expansion of (* 4.0 (pow i 6)) in i
9.953 * [taylor]: Taking taylor expansion of 4.0 in i
9.953 * [backup-simplify]: Simplify 4.0 into 4.0
9.953 * [taylor]: Taking taylor expansion of (pow i 6) in i
9.953 * [taylor]: Taking taylor expansion of i in i
9.953 * [backup-simplify]: Simplify 0 into 0
9.953 * [backup-simplify]: Simplify 1 into 1
9.954 * [backup-simplify]: Simplify (* 1 1) into 1
9.954 * [backup-simplify]: Simplify (* 1 1) into 1
9.954 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
9.955 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
9.955 * [backup-simplify]: Simplify 1.0 into 1.0
9.955 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.956 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.956 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
9.956 * [backup-simplify]: Simplify (+ 0 0) into 0
9.956 * [backup-simplify]: Simplify 0 into 0
9.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.957 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.958 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
9.958 * [backup-simplify]: Simplify (* 1 1) into 1
9.958 * [backup-simplify]: Simplify (* 1 1) into 1
9.959 * [backup-simplify]: Simplify (* 1 1) into 1
9.959 * [backup-simplify]: Simplify (* 4.0 1) into 4.0
9.959 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
9.959 * [backup-simplify]: Simplify 4.0 into 4.0
9.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.960 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.961 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.961 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.962 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
9.963 * [backup-simplify]: Simplify (+ (* 4.0 0) (* 0 1)) into 0
9.963 * [backup-simplify]: Simplify (+ 0 0) into 0
9.963 * [backup-simplify]: Simplify 0 into 0
9.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.964 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.965 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.966 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.967 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
9.967 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (* 0 1))) into 0
9.967 * [backup-simplify]: Simplify (+ 0 0) into 0
9.967 * [backup-simplify]: Simplify 0 into 0
9.968 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.969 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.970 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.970 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.971 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.972 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
9.972 * [backup-simplify]: Simplify (+ 0 0) into 0
9.972 * [backup-simplify]: Simplify 0 into 0
9.973 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.974 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.975 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
9.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.976 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.977 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.978 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
9.978 * [backup-simplify]: Simplify (+ 0 0) into 0
9.978 * [backup-simplify]: Simplify 0 into 0
9.979 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.980 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.982 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
9.983 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.984 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.986 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.988 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
9.988 * [backup-simplify]: Simplify (+ 0 0) into 0
9.988 * [backup-simplify]: Simplify 0 into 0
9.990 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.992 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
9.994 * [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.996 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 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 0) (+ (* 0 0) (* 0 1))))))) into 0
9.999 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.001 * [backup-simplify]: Simplify (+ (* 4.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.001 * [backup-simplify]: Simplify (+ 0 0) into 0
10.001 * [backup-simplify]: Simplify 0 into 0
10.002 * [backup-simplify]: Simplify (+ (* 4.0 (pow i 6)) (* 1.0 (pow i 4))) into (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))
10.002 * [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)))
10.002 * [approximate]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in (i) around 0
10.003 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
10.003 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
10.003 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
10.003 * [taylor]: Taking taylor expansion of 1.0 in i
10.003 * [backup-simplify]: Simplify 1.0 into 1.0
10.003 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
10.003 * [taylor]: Taking taylor expansion of (/ 1 i) 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.004 * [backup-simplify]: Simplify (/ 1 1) into 1
10.004 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.004 * [taylor]: Taking taylor expansion of 4.0 in i
10.004 * [backup-simplify]: Simplify 4.0 into 4.0
10.004 * [taylor]: Taking taylor expansion of (pow i 6) in i
10.004 * [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.007 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.007 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ 1 i) 4) (/ 4.0 (pow i 6))) in i
10.007 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ 1 i) 4)) (/ 4.0 (pow i 6)))
10.007 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ 1 i) 4)) in i
10.007 * [taylor]: Taking taylor expansion of 1.0 in i
10.007 * [backup-simplify]: Simplify 1.0 into 1.0
10.007 * [taylor]: Taking taylor expansion of (pow (/ 1 i) 4) in i
10.007 * [taylor]: Taking taylor expansion of (/ 1 i) 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.008 * [backup-simplify]: Simplify (/ 1 1) into 1
10.008 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.008 * [taylor]: Taking taylor expansion of 4.0 in i
10.008 * [backup-simplify]: Simplify 4.0 into 4.0
10.008 * [taylor]: Taking taylor expansion of (pow i 6) in i
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.008 * [backup-simplify]: Simplify (* 1 1) into 1
10.009 * [backup-simplify]: Simplify (* 1 1) into 1
10.009 * [backup-simplify]: Simplify (* 1 1) into 1
10.009 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.010 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
10.010 * [backup-simplify]: Simplify 4.0 into 4.0
10.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.011 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.012 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.013 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
10.013 * [backup-simplify]: Simplify (+ 0 0) into 0
10.013 * [backup-simplify]: Simplify 0 into 0
10.014 * [backup-simplify]: Simplify (* 1 1) into 1
10.014 * [backup-simplify]: Simplify (* 1 1) into 1
10.014 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
10.015 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.016 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.017 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.018 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.019 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.019 * [backup-simplify]: Simplify 1.0 into 1.0
10.019 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
10.020 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.021 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.021 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
10.022 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.023 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.024 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.025 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.026 * [backup-simplify]: Simplify (+ 0 0) into 0
10.026 * [backup-simplify]: Simplify 0 into 0
10.027 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.028 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.032 * [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.036 * [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 into 0
10.041 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.042 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.043 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.044 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.045 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.046 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.048 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.049 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.049 * [backup-simplify]: Simplify (+ 0 0) into 0
10.049 * [backup-simplify]: Simplify 0 into 0
10.050 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.051 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.053 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.054 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.055 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.057 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.059 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.060 * [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
10.060 * [backup-simplify]: Simplify (+ 0 0) into 0
10.060 * [backup-simplify]: Simplify 0 into 0
10.061 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.063 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.064 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.065 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.067 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.069 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.071 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.072 * [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
10.072 * [backup-simplify]: Simplify (+ 0 0) into 0
10.072 * [backup-simplify]: Simplify 0 into 0
10.073 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.075 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.076 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.078 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.080 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.082 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.084 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.085 * [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
10.085 * [backup-simplify]: Simplify (+ 0 0) into 0
10.085 * [backup-simplify]: Simplify 0 into 0
10.086 * [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)))
10.086 * [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)))
10.086 * [approximate]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in (i) around 0
10.086 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
10.087 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
10.087 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
10.087 * [taylor]: Taking taylor expansion of 1.0 in i
10.087 * [backup-simplify]: Simplify 1.0 into 1.0
10.087 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
10.087 * [taylor]: Taking taylor expansion of (/ -1 i) in i
10.087 * [taylor]: Taking taylor expansion of -1 in i
10.087 * [backup-simplify]: Simplify -1 into -1
10.087 * [taylor]: Taking taylor expansion of i in i
10.087 * [backup-simplify]: Simplify 0 into 0
10.087 * [backup-simplify]: Simplify 1 into 1
10.087 * [backup-simplify]: Simplify (/ -1 1) into -1
10.087 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.087 * [taylor]: Taking taylor expansion of 4.0 in i
10.087 * [backup-simplify]: Simplify 4.0 into 4.0
10.087 * [taylor]: Taking taylor expansion of (pow i 6) in i
10.088 * [taylor]: Taking taylor expansion of i in i
10.088 * [backup-simplify]: Simplify 0 into 0
10.088 * [backup-simplify]: Simplify 1 into 1
10.088 * [backup-simplify]: Simplify (* 1 1) into 1
10.088 * [backup-simplify]: Simplify (* 1 1) into 1
10.089 * [backup-simplify]: Simplify (* 1 1) into 1
10.089 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.089 * [taylor]: Taking taylor expansion of (fma 1.0 (pow (/ -1 i) 4) (/ 4.0 (pow i 6))) in i
10.089 * [taylor]: Rewrote expression to (+ (* 1.0 (pow (/ -1 i) 4)) (/ 4.0 (pow i 6)))
10.089 * [taylor]: Taking taylor expansion of (* 1.0 (pow (/ -1 i) 4)) in i
10.089 * [taylor]: Taking taylor expansion of 1.0 in i
10.089 * [backup-simplify]: Simplify 1.0 into 1.0
10.089 * [taylor]: Taking taylor expansion of (pow (/ -1 i) 4) in i
10.090 * [taylor]: Taking taylor expansion of (/ -1 i) in i
10.090 * [taylor]: Taking taylor expansion of -1 in i
10.090 * [backup-simplify]: Simplify -1 into -1
10.090 * [taylor]: Taking taylor expansion of i in i
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [backup-simplify]: Simplify 1 into 1
10.090 * [backup-simplify]: Simplify (/ -1 1) into -1
10.090 * [taylor]: Taking taylor expansion of (/ 4.0 (pow i 6)) in i
10.090 * [taylor]: Taking taylor expansion of 4.0 in i
10.090 * [backup-simplify]: Simplify 4.0 into 4.0
10.090 * [taylor]: Taking taylor expansion of (pow i 6) in i
10.090 * [taylor]: Taking taylor expansion of i in i
10.090 * [backup-simplify]: Simplify 0 into 0
10.090 * [backup-simplify]: Simplify 1 into 1
10.091 * [backup-simplify]: Simplify (* 1 1) into 1
10.091 * [backup-simplify]: Simplify (* 1 1) into 1
10.091 * [backup-simplify]: Simplify (* 1 1) into 1
10.092 * [backup-simplify]: Simplify (/ 4.0 1) into 4.0
10.092 * [backup-simplify]: Simplify (+ 0 4.0) into 4.0
10.093 * [backup-simplify]: Simplify 4.0 into 4.0
10.093 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.094 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.094 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.095 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)))) into 0
10.096 * [backup-simplify]: Simplify (+ 0 0) into 0
10.096 * [backup-simplify]: Simplify 0 into 0
10.096 * [backup-simplify]: Simplify (* -1 -1) into 1
10.097 * [backup-simplify]: Simplify (* 1 1) into 1
10.097 * [backup-simplify]: Simplify (* 1.0 1) into 1.0
10.098 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.100 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.101 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.101 * [backup-simplify]: Simplify (+ 1.0 0) into 1.0
10.101 * [backup-simplify]: Simplify 1.0 into 1.0
10.102 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
10.103 * [backup-simplify]: Simplify (+ (* -1 0) (* 0 -1)) into 0
10.103 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
10.104 * [backup-simplify]: Simplify (+ (* 1.0 0) (* 0 1)) into 0
10.105 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.106 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.107 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.108 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.109 * [backup-simplify]: Simplify (+ 0 0) into 0
10.109 * [backup-simplify]: Simplify 0 into 0
10.110 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.111 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (* 0 -1))) into 0
10.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
10.113 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (* 0 1))) into 0
10.115 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.118 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.119 * [backup-simplify]: Simplify (+ 0 0) into 0
10.119 * [backup-simplify]: Simplify 0 into 0
10.120 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.121 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
10.122 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.123 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
10.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.128 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4.0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.129 * [backup-simplify]: Simplify (+ 0 0) into 0
10.129 * [backup-simplify]: Simplify 0 into 0
10.130 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.131 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
10.132 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.133 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
10.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.138 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.139 * [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
10.140 * [backup-simplify]: Simplify (+ 0 0) into 0
10.140 * [backup-simplify]: Simplify 0 into 0
10.141 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
10.142 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))))) into 0
10.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.145 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
10.147 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.148 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
10.151 * [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
10.151 * [backup-simplify]: Simplify (+ 0 0) into 0
10.151 * [backup-simplify]: Simplify 0 into 0
10.152 * [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
10.154 * [backup-simplify]: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))))) into 0
10.156 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.157 * [backup-simplify]: Simplify (+ (* 1.0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
10.160 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.164 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
10.165 * [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
10.165 * [backup-simplify]: Simplify (+ 0 0) into 0
10.165 * [backup-simplify]: Simplify 0 into 0
10.166 * [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)))
10.166 * * * [progress]: simplifying candidates
10.167 * [simplify]: Simplifying:
  (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)))))
  (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))))
  (* 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))))
  (+ (* 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)))
10.169 * * [simplify]: Extracting # 0 : cost  0
10.169 * * [simplify]: Extracting # 1 : cost  0
10.170 * * [simplify]: Extracting # 2 : cost  0
10.170 * * [simplify]: Extracting # 3 : cost  0
10.170 * * [simplify]: Extracting # 4 : cost  0
10.170 * * [simplify]: Extracting # 5 : cost  0
10.171 * * [simplify]: Extracting # 6 : cost  0
10.171 * * [simplify]: iteration  0 :  83  enodes  (cost  651 )
10.198 * * [simplify]: Extracting # 0 : cost  0
10.199 * * [simplify]: Extracting # 1 : cost  0
10.199 * * [simplify]: Extracting # 2 : cost  0
10.199 * * [simplify]: Extracting # 3 : cost  0
10.199 * * [simplify]: Extracting # 4 : cost  0
10.199 * * [simplify]: iteration  1 :  152  enodes  (cost  619 )
10.254 * * [simplify]: Extracting # 0 : cost  0
10.255 * * [simplify]: Extracting # 1 : cost  0
10.255 * * [simplify]: Extracting # 2 : cost  0
10.256 * * [simplify]: Extracting # 3 : cost  0
10.257 * * [simplify]: iteration  2 :  375  enodes  (cost  557 )
10.595 * * [simplify]: Extracting # 0 : cost  0
10.600 * * [simplify]: Extracting # 1 : cost  0
10.604 * * [simplify]: Extracting # 2 : cost  0
10.607 * * [simplify]: Extracting # 3 : cost  0
10.611 * * [simplify]: Extracting # 4 : cost  0
10.614 * * [simplify]: iteration  3 :  1585  enodes  (cost  550 )
11.688 * * [simplify]: Extracting # 0 : cost  0
11.693 * * [simplify]: Extracting # 1 : cost  0
11.700 * * [simplify]: Extracting # 2 : cost  0
11.706 * * [simplify]: Extracting # 3 : cost  0
11.712 * * [simplify]: Extracting # 4 : cost  0
11.718 * * [simplify]: iteration done:  5000  enodes  (cost  550 )
11.718 * [simplify]: Simplified to:
  (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))
  (* 4.0 (pow i 4))
  (* 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)))))
  (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))))
  (* 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))))
  (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)))
11.718 * * * [progress]: adding candidates to table
11.966 * * [progress]: iteration 3 / 4
11.966 * * * [progress]: picking best candidate
11.970 * * * * [pick]: Picked  #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))>
11.970 * * * [progress]: localizing error
11.983 * * * [progress]: generating rewritten candidates
11.983 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
11.991 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
11.999 * * * * [progress]: [ 3 / 4 ] rewriting at (2)
12.080 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
12.096 * * * [progress]: generating series expansions
12.096 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
12.096 * [backup-simplify]: Simplify (/ 0.015625 (* i i)) into (/ 0.015625 (pow i 2))
12.096 * [approximate]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0
12.096 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
12.096 * [taylor]: Taking taylor expansion of 0.015625 in i
12.096 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.096 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.096 * [taylor]: Taking taylor expansion of i in i
12.096 * [backup-simplify]: Simplify 0 into 0
12.096 * [backup-simplify]: Simplify 1 into 1
12.097 * [backup-simplify]: Simplify (* 1 1) into 1
12.097 * [backup-simplify]: Simplify (/ 0.015625 1) into 0.015625
12.097 * [taylor]: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
12.097 * [taylor]: Taking taylor expansion of 0.015625 in i
12.097 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.097 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.097 * [taylor]: Taking taylor expansion of i in i
12.097 * [backup-simplify]: Simplify 0 into 0
12.097 * [backup-simplify]: Simplify 1 into 1
12.098 * [backup-simplify]: Simplify (* 1 1) into 1
12.098 * [backup-simplify]: Simplify (/ 0.015625 1) into 0.015625
12.098 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.098 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.099 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0
12.099 * [backup-simplify]: Simplify 0 into 0
12.099 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.100 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.100 * [backup-simplify]: Simplify 0 into 0
12.101 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.106 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.107 * [backup-simplify]: Simplify 0 into 0
12.108 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.109 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.109 * [backup-simplify]: Simplify 0 into 0
12.110 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.112 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.112 * [backup-simplify]: Simplify 0 into 0
12.112 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.113 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.113 * [backup-simplify]: Simplify 0 into 0
12.113 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
12.113 * [backup-simplify]: Simplify (/ 0.015625 (* (/ 1 i) (/ 1 i))) into (* 0.015625 (pow i 2))
12.113 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
12.113 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.114 * [taylor]: Taking taylor expansion of 0.015625 in i
12.114 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.114 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.114 * [taylor]: Taking taylor expansion of i in i
12.114 * [backup-simplify]: Simplify 0 into 0
12.114 * [backup-simplify]: Simplify 1 into 1
12.114 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.114 * [taylor]: Taking taylor expansion of 0.015625 in i
12.114 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.114 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.114 * [taylor]: Taking taylor expansion of i in i
12.114 * [backup-simplify]: Simplify 0 into 0
12.114 * [backup-simplify]: Simplify 1 into 1
12.114 * [backup-simplify]: Simplify (* 1 1) into 1
12.114 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.114 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.115 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.115 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.115 * [backup-simplify]: Simplify 0 into 0
12.116 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.116 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.116 * [backup-simplify]: Simplify 0 into 0
12.117 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.117 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.117 * [backup-simplify]: Simplify 0 into 0
12.118 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.119 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.119 * [backup-simplify]: Simplify 0 into 0
12.120 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.120 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.120 * [backup-simplify]: Simplify 0 into 0
12.121 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.122 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.122 * [backup-simplify]: Simplify 0 into 0
12.122 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
12.122 * [backup-simplify]: Simplify (/ 0.015625 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 0.015625 (pow i 2))
12.122 * [approximate]: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
12.122 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.122 * [taylor]: Taking taylor expansion of 0.015625 in i
12.122 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.122 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.122 * [taylor]: Taking taylor expansion of i in i
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 1 into 1
12.123 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.123 * [taylor]: Taking taylor expansion of 0.015625 in i
12.123 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.123 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.123 * [taylor]: Taking taylor expansion of i in i
12.123 * [backup-simplify]: Simplify 0 into 0
12.123 * [backup-simplify]: Simplify 1 into 1
12.123 * [backup-simplify]: Simplify (* 1 1) into 1
12.123 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.123 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.124 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.124 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.124 * [backup-simplify]: Simplify 0 into 0
12.125 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.125 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.125 * [backup-simplify]: Simplify 0 into 0
12.126 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.126 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.126 * [backup-simplify]: Simplify 0 into 0
12.127 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.128 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.128 * [backup-simplify]: Simplify 0 into 0
12.128 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.129 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.129 * [backup-simplify]: Simplify 0 into 0
12.130 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.131 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.131 * [backup-simplify]: Simplify 0 into 0
12.131 * [backup-simplify]: Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2))
12.131 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
12.131 * [backup-simplify]: Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4))
12.131 * [approximate]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0
12.131 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
12.132 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.132 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.132 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.132 * [taylor]: Taking taylor expansion of i in i
12.132 * [backup-simplify]: Simplify 0 into 0
12.132 * [backup-simplify]: Simplify 1 into 1
12.132 * [backup-simplify]: Simplify (* 1 1) into 1
12.132 * [backup-simplify]: Simplify (* 1 1) into 1
12.132 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
12.132 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
12.132 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.132 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.132 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.132 * [taylor]: Taking taylor expansion of i in i
12.133 * [backup-simplify]: Simplify 0 into 0
12.133 * [backup-simplify]: Simplify 1 into 1
12.133 * [backup-simplify]: Simplify (* 1 1) into 1
12.133 * [backup-simplify]: Simplify (* 1 1) into 1
12.133 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
12.133 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.134 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.135 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
12.135 * [backup-simplify]: Simplify 0 into 0
12.135 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.136 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.136 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.136 * [backup-simplify]: Simplify 0 into 0
12.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.137 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.138 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.138 * [backup-simplify]: Simplify 0 into 0
12.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.139 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.140 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.140 * [backup-simplify]: Simplify 0 into 0
12.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.141 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.142 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.142 * [backup-simplify]: Simplify 0 into 0
12.143 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.144 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.145 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.145 * [backup-simplify]: Simplify 0 into 0
12.145 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
12.145 * [backup-simplify]: Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4))
12.146 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
12.146 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.146 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.146 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.146 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.146 * [taylor]: Taking taylor expansion of i in i
12.146 * [backup-simplify]: Simplify 0 into 0
12.146 * [backup-simplify]: Simplify 1 into 1
12.146 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.146 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.146 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.146 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.146 * [taylor]: Taking taylor expansion of i in i
12.146 * [backup-simplify]: Simplify 0 into 0
12.146 * [backup-simplify]: Simplify 1 into 1
12.147 * [backup-simplify]: Simplify (* 1 1) into 1
12.147 * [backup-simplify]: Simplify (* 1 1) into 1
12.147 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
12.147 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.148 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.149 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.149 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
12.149 * [backup-simplify]: Simplify 0 into 0
12.150 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.151 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.152 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
12.152 * [backup-simplify]: Simplify 0 into 0
12.153 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.154 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.156 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.156 * [backup-simplify]: Simplify 0 into 0
12.157 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.158 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.159 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.159 * [backup-simplify]: Simplify 0 into 0
12.161 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.162 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.164 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.164 * [backup-simplify]: Simplify 0 into 0
12.165 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.167 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.169 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.169 * [backup-simplify]: Simplify 0 into 0
12.169 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
12.169 * [backup-simplify]: Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4))
12.169 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
12.169 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.169 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.169 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.169 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.169 * [taylor]: Taking taylor expansion of i in i
12.170 * [backup-simplify]: Simplify 0 into 0
12.170 * [backup-simplify]: Simplify 1 into 1
12.170 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.170 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.170 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.170 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.170 * [taylor]: Taking taylor expansion of i in i
12.170 * [backup-simplify]: Simplify 0 into 0
12.170 * [backup-simplify]: Simplify 1 into 1
12.170 * [backup-simplify]: Simplify (* 1 1) into 1
12.171 * [backup-simplify]: Simplify (* 1 1) into 1
12.171 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
12.171 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.172 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.173 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.174 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
12.174 * [backup-simplify]: Simplify 0 into 0
12.175 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.176 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.177 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
12.177 * [backup-simplify]: Simplify 0 into 0
12.178 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.179 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.180 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.180 * [backup-simplify]: Simplify 0 into 0
12.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.181 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.182 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.182 * [backup-simplify]: Simplify 0 into 0
12.183 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.184 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.184 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.184 * [backup-simplify]: Simplify 0 into 0
12.185 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.186 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.187 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.187 * [backup-simplify]: Simplify 0 into 0
12.187 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4))
12.187 * * * * [progress]: [ 3 / 4 ] generating series at (2)
12.187 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
12.187 * [approximate]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in (i) around 0
12.188 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in i
12.188 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
12.188 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.188 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.188 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.188 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.188 * [taylor]: Taking taylor expansion of i in i
12.188 * [backup-simplify]: Simplify 0 into 0
12.188 * [backup-simplify]: Simplify 1 into 1
12.188 * [backup-simplify]: Simplify (* 1 1) into 1
12.188 * [backup-simplify]: Simplify (* 1 1) into 1
12.188 * [backup-simplify]: Simplify (/ 1 1) into 1
12.188 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
12.188 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
12.188 * [taylor]: Taking taylor expansion of 0.015625 in i
12.188 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.188 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.189 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.189 * [taylor]: Taking taylor expansion of i in i
12.189 * [backup-simplify]: Simplify 0 into 0
12.189 * [backup-simplify]: Simplify 1 into 1
12.189 * [backup-simplify]: Simplify (* 1 1) into 1
12.189 * [backup-simplify]: Simplify (/ 1 1) into 1
12.189 * [taylor]: Taking taylor expansion of 0.0625 in i
12.189 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.189 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)) in i
12.189 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 4))) in i
12.189 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.189 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.189 * [taylor]: Taking taylor expansion of (/ 1 (pow i 4)) in i
12.189 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.189 * [taylor]: Taking taylor expansion of i in i
12.189 * [backup-simplify]: Simplify 0 into 0
12.189 * [backup-simplify]: Simplify 1 into 1
12.189 * [backup-simplify]: Simplify (* 1 1) into 1
12.190 * [backup-simplify]: Simplify (* 1 1) into 1
12.190 * [backup-simplify]: Simplify (/ 1 1) into 1
12.190 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
12.190 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
12.190 * [taylor]: Taking taylor expansion of 0.015625 in i
12.190 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.190 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.190 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.190 * [taylor]: Taking taylor expansion of i in i
12.190 * [backup-simplify]: Simplify 0 into 0
12.190 * [backup-simplify]: Simplify 1 into 1
12.190 * [backup-simplify]: Simplify (* 1 1) into 1
12.191 * [backup-simplify]: Simplify (/ 1 1) into 1
12.191 * [taylor]: Taking taylor expansion of 0.0625 in i
12.191 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.191 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
12.191 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
12.191 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.192 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.192 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.193 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
12.193 * [backup-simplify]: Simplify (+ 0 0) into 0
12.193 * [backup-simplify]: Simplify 0 into 0
12.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.194 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.195 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.195 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
12.195 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.196 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.196 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625
12.196 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.197 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.198 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.198 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.199 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.199 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.200 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.200 * [backup-simplify]: Simplify (+ 0 0) into 0
12.200 * [backup-simplify]: Simplify (+ 0 0) into 0
12.200 * [backup-simplify]: Simplify 0 into 0
12.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.201 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.202 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.203 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.203 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.204 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.204 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.205 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.205 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.205 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.206 * [backup-simplify]: Simplify (+ 0.0625 (+ (* 0.015625 (pow (/ 1 i) 2)) (* 0.00390625 (pow (/ 1 i) 4)))) into (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
12.206 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow (/ 1 i) 4)) (+ 0.0625 (/ 0.015625 (* (/ 1 i) (/ 1 i))))) into (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625))
12.206 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in (i) around 0
12.206 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
12.206 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.206 * [taylor]: Taking taylor expansion of 0.015625 in i
12.206 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.206 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.206 * [taylor]: Taking taylor expansion of i in i
12.206 * [backup-simplify]: Simplify 0 into 0
12.206 * [backup-simplify]: Simplify 1 into 1
12.206 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
12.206 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.206 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.206 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.206 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.206 * [taylor]: Taking taylor expansion of i in i
12.206 * [backup-simplify]: Simplify 0 into 0
12.206 * [backup-simplify]: Simplify 1 into 1
12.206 * [taylor]: Taking taylor expansion of 0.0625 in i
12.206 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.206 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
12.206 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.206 * [taylor]: Taking taylor expansion of 0.015625 in i
12.206 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.206 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.206 * [taylor]: Taking taylor expansion of i in i
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 1 into 1
12.207 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
12.207 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.207 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.207 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.207 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.207 * [taylor]: Taking taylor expansion of i in i
12.207 * [backup-simplify]: Simplify 0 into 0
12.207 * [backup-simplify]: Simplify 1 into 1
12.207 * [taylor]: Taking taylor expansion of 0.0625 in i
12.207 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.207 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.207 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.207 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.208 * [backup-simplify]: Simplify (+ 0 0) into 0
12.208 * [backup-simplify]: Simplify (+ 0 0) into 0
12.208 * [backup-simplify]: Simplify 0 into 0
12.208 * [backup-simplify]: Simplify (* 1 1) into 1
12.208 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.209 * [backup-simplify]: Simplify (+ 0 0) into 0
12.209 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.209 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.209 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.212 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.213 * [backup-simplify]: Simplify (+ 0 0) into 0
12.213 * [backup-simplify]: Simplify (+ 0 0) into 0
12.213 * [backup-simplify]: Simplify 0 into 0
12.213 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.214 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.214 * [backup-simplify]: Simplify (* 1 1) into 1
12.214 * [backup-simplify]: Simplify (* 1 1) into 1
12.215 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
12.215 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
12.215 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
12.215 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.216 * [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.216 * [backup-simplify]: Simplify (+ (/ 0.00390625 (pow (/ 1 (- i)) 4)) (+ 0.0625 (/ 0.015625 (* (/ 1 (- i)) (/ 1 (- i)))))) into (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625))
12.216 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in (i) around 0
12.216 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
12.216 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.216 * [taylor]: Taking taylor expansion of 0.015625 in i
12.216 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.216 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.216 * [taylor]: Taking taylor expansion of i in i
12.216 * [backup-simplify]: Simplify 0 into 0
12.216 * [backup-simplify]: Simplify 1 into 1
12.216 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
12.216 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.216 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.216 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.216 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.216 * [taylor]: Taking taylor expansion of i in i
12.216 * [backup-simplify]: Simplify 0 into 0
12.216 * [backup-simplify]: Simplify 1 into 1
12.216 * [taylor]: Taking taylor expansion of 0.0625 in i
12.216 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.216 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) (+ (* 0.00390625 (pow i 4)) 0.0625)) in i
12.216 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.216 * [taylor]: Taking taylor expansion of 0.015625 in i
12.216 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.216 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.216 * [taylor]: Taking taylor expansion of i in i
12.216 * [backup-simplify]: Simplify 0 into 0
12.217 * [backup-simplify]: Simplify 1 into 1
12.217 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 4)) 0.0625) in i
12.217 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
12.217 * [taylor]: Taking taylor expansion of 0.00390625 in i
12.217 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.217 * [taylor]: Taking taylor expansion of (pow i 4) in i
12.217 * [taylor]: Taking taylor expansion of i in i
12.217 * [backup-simplify]: Simplify 0 into 0
12.217 * [backup-simplify]: Simplify 1 into 1
12.217 * [taylor]: Taking taylor expansion of 0.0625 in i
12.217 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.217 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.217 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.217 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.218 * [backup-simplify]: Simplify (+ 0 0) into 0
12.218 * [backup-simplify]: Simplify (+ 0 0) into 0
12.218 * [backup-simplify]: Simplify 0 into 0
12.218 * [backup-simplify]: Simplify (* 1 1) into 1
12.218 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.219 * [backup-simplify]: Simplify (+ 0 0) into 0
12.219 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.219 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.219 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.220 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.220 * [backup-simplify]: Simplify (+ 0 0) into 0
12.220 * [backup-simplify]: Simplify (+ 0 0) into 0
12.220 * [backup-simplify]: Simplify 0 into 0
12.221 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.222 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.223 * [backup-simplify]: Simplify (* 1 1) into 1
12.223 * [backup-simplify]: Simplify (* 1 1) into 1
12.223 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
12.224 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
12.224 * [backup-simplify]: Simplify (+ 0 0.00390625) into 0.00390625
12.224 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
12.225 * [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.225 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
12.225 * [backup-simplify]: Simplify (+ 0.0625 (/ 0.015625 (* i i))) into (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
12.225 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in (i) around 0
12.225 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
12.225 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
12.225 * [taylor]: Taking taylor expansion of 0.015625 in i
12.225 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.225 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
12.225 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.225 * [taylor]: Taking taylor expansion of i in i
12.226 * [backup-simplify]: Simplify 0 into 0
12.226 * [backup-simplify]: Simplify 1 into 1
12.226 * [backup-simplify]: Simplify (* 1 1) into 1
12.226 * [backup-simplify]: Simplify (/ 1 1) into 1
12.226 * [taylor]: Taking taylor expansion of 0.0625 in i
12.226 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.226 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625) in i
12.226 * [taylor]: Taking taylor expansion of (* 0.015625 (/ 1 (pow i 2))) in i
12.227 * [taylor]: Taking taylor expansion of 0.015625 in i
12.227 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.227 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
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 (/ 1 1) into 1
12.227 * [taylor]: Taking taylor expansion of 0.0625 in i
12.228 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.228 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.228 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.228 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.229 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.229 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
12.230 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.230 * [backup-simplify]: Simplify (+ 0 0) into 0
12.230 * [backup-simplify]: Simplify 0 into 0
12.230 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.231 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.231 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.232 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.232 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.232 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.233 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.233 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.234 * [backup-simplify]: Simplify (+ 0 0) into 0
12.234 * [backup-simplify]: Simplify 0 into 0
12.234 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.235 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.236 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.236 * [backup-simplify]: Simplify (+ 0 0) into 0
12.236 * [backup-simplify]: Simplify 0 into 0
12.237 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.237 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.238 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.238 * [backup-simplify]: Simplify (+ 0 0) into 0
12.238 * [backup-simplify]: Simplify 0 into 0
12.239 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.240 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.240 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.241 * [backup-simplify]: Simplify (+ 0 0) into 0
12.241 * [backup-simplify]: Simplify 0 into 0
12.242 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
12.242 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.243 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
12.243 * [backup-simplify]: Simplify (+ 0 0) into 0
12.243 * [backup-simplify]: Simplify 0 into 0
12.245 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
12.245 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
12.246 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
12.246 * [backup-simplify]: Simplify (+ 0 0) into 0
12.246 * [backup-simplify]: Simplify 0 into 0
12.247 * [backup-simplify]: Simplify (+ 0.0625 (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
12.247 * [backup-simplify]: Simplify (+ 0.0625 (/ 0.015625 (* (/ 1 i) (/ 1 i)))) into (+ (* 0.015625 (pow i 2)) 0.0625)
12.247 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in (i) around 0
12.247 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in i
12.247 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.247 * [taylor]: Taking taylor expansion of 0.015625 in i
12.247 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.247 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.247 * [taylor]: Taking taylor expansion of i in i
12.247 * [backup-simplify]: Simplify 0 into 0
12.247 * [backup-simplify]: Simplify 1 into 1
12.247 * [taylor]: Taking taylor expansion of 0.0625 in i
12.247 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.247 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in i
12.247 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.247 * [taylor]: Taking taylor expansion of 0.015625 in i
12.247 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.247 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.247 * [taylor]: Taking taylor expansion of i in i
12.247 * [backup-simplify]: Simplify 0 into 0
12.247 * [backup-simplify]: Simplify 1 into 1
12.247 * [taylor]: Taking taylor expansion of 0.0625 in i
12.247 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.248 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.248 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.248 * [backup-simplify]: Simplify (+ 0 0) into 0
12.248 * [backup-simplify]: Simplify 0 into 0
12.248 * [backup-simplify]: Simplify (* 1 1) into 1
12.248 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.249 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.249 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.249 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.249 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.250 * [backup-simplify]: Simplify (+ 0 0) into 0
12.250 * [backup-simplify]: Simplify 0 into 0
12.250 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.251 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.251 * [backup-simplify]: Simplify (+ 0 0) into 0
12.251 * [backup-simplify]: Simplify 0 into 0
12.252 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.252 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.252 * [backup-simplify]: Simplify (+ 0 0) into 0
12.253 * [backup-simplify]: Simplify 0 into 0
12.253 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.254 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.254 * [backup-simplify]: Simplify (+ 0 0) into 0
12.254 * [backup-simplify]: Simplify 0 into 0
12.255 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.256 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.256 * [backup-simplify]: Simplify (+ 0 0) into 0
12.256 * [backup-simplify]: Simplify 0 into 0
12.257 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.259 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.260 * [backup-simplify]: Simplify (+ 0 0) into 0
12.260 * [backup-simplify]: Simplify 0 into 0
12.260 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) 0.0625) into (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
12.260 * [backup-simplify]: Simplify (+ 0.0625 (/ 0.015625 (* (/ 1 (- i)) (/ 1 (- i))))) into (+ (* 0.015625 (pow i 2)) 0.0625)
12.260 * [approximate]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in (i) around 0
12.260 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in i
12.260 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.260 * [taylor]: Taking taylor expansion of 0.015625 in i
12.260 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.260 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.261 * [taylor]: Taking taylor expansion of i in i
12.261 * [backup-simplify]: Simplify 0 into 0
12.261 * [backup-simplify]: Simplify 1 into 1
12.261 * [taylor]: Taking taylor expansion of 0.0625 in i
12.261 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.261 * [taylor]: Taking taylor expansion of (+ (* 0.015625 (pow i 2)) 0.0625) in i
12.261 * [taylor]: Taking taylor expansion of (* 0.015625 (pow i 2)) in i
12.261 * [taylor]: Taking taylor expansion of 0.015625 in i
12.261 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.261 * [taylor]: Taking taylor expansion of (pow i 2) in i
12.261 * [taylor]: Taking taylor expansion of i in i
12.261 * [backup-simplify]: Simplify 0 into 0
12.261 * [backup-simplify]: Simplify 1 into 1
12.261 * [taylor]: Taking taylor expansion of 0.0625 in i
12.261 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.262 * [backup-simplify]: Simplify (+ 0 0.0625) into 0.0625
12.262 * [backup-simplify]: Simplify 0.0625 into 0.0625
12.262 * [backup-simplify]: Simplify (+ 0 0) into 0
12.262 * [backup-simplify]: Simplify 0 into 0
12.262 * [backup-simplify]: Simplify (* 1 1) into 1
12.263 * [backup-simplify]: Simplify (* 0.015625 1) into 0.015625
12.264 * [backup-simplify]: Simplify (+ 0.015625 0) into 0.015625
12.264 * [backup-simplify]: Simplify 0.015625 into 0.015625
12.264 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
12.265 * [backup-simplify]: Simplify (+ (* 0.015625 0) (* 0 1)) into 0
12.265 * [backup-simplify]: Simplify (+ 0 0) into 0
12.265 * [backup-simplify]: Simplify 0 into 0
12.266 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
12.267 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
12.268 * [backup-simplify]: Simplify (+ 0 0) into 0
12.268 * [backup-simplify]: Simplify 0 into 0
12.269 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.270 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
12.270 * [backup-simplify]: Simplify (+ 0 0) into 0
12.271 * [backup-simplify]: Simplify 0 into 0
12.272 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.273 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
12.273 * [backup-simplify]: Simplify (+ 0 0) into 0
12.274 * [backup-simplify]: Simplify 0 into 0
12.275 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.276 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
12.277 * [backup-simplify]: Simplify (+ 0 0) into 0
12.277 * [backup-simplify]: Simplify 0 into 0
12.278 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.280 * [backup-simplify]: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
12.280 * [backup-simplify]: Simplify (+ 0 0) into 0
12.280 * [backup-simplify]: Simplify 0 into 0
12.281 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 0.0625) into (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
12.281 * * * [progress]: simplifying candidates
12.282 * [simplify]: Simplifying:
  (expm1 (/ 0.015625 (* i i)))
  (log1p (/ 0.015625 (* i i)))
  (- (log 0.015625) (+ (log i) (log i)))
  (- (log 0.015625) (log (* i i)))
  (log (/ 0.015625 (* i i)))
  (exp (/ 0.015625 (* i i)))
  (/ (* (* 0.015625 0.015625) 0.015625) (* (* (* i i) i) (* (* i i) i)))
  (/ (* (* 0.015625 0.015625) 0.015625) (* (* (* i i) (* i i)) (* i i)))
  (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i))))
  (cbrt (/ 0.015625 (* i i)))
  (* (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (- 0.015625)
  (- (* i i))
  (/ (* (cbrt 0.015625) (cbrt 0.015625)) i)
  (/ (cbrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ 1 i)
  (/ 0.015625 i)
  (/ 1 (* i i))
  (/ (* i i) 0.015625)
  (/ 0.015625 i)
  (/ (* i i) (cbrt 0.015625))
  (/ (* i i) (sqrt 0.015625))
  (/ (* i i) 0.015625)
  (expm1 (/ 0.00390625 (pow i 4)))
  (log1p (/ 0.00390625 (pow i 4)))
  (- (log 0.00390625) (* (log i) 4))
  (- (log 0.00390625) (* (log i) 4))
  (- (log 0.00390625) (log (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (exp (/ 0.00390625 (pow i 4)))
  (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (pow i 4) (pow i 4)) (pow i 4)))
  (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4))))
  (cbrt (/ 0.00390625 (pow i 4)))
  (* (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (- 0.00390625)
  (- (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (cbrt 0.00390625) (pow (cbrt i) 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow (sqrt i) 4))
  (/ (cbrt 0.00390625) (pow (sqrt i) 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow 1 4))
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt 0.00390625) (cbrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (sqrt (pow i 4)))
  (/ (cbrt 0.00390625) (sqrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) 1)
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (pow i (/ 4 2)))
  (/ (cbrt 0.00390625) (pow i (/ 4 2)))
  (/ (sqrt 0.00390625) (pow (* (cbrt i) (cbrt i)) 4))
  (/ (sqrt 0.00390625) (pow (cbrt i) 4))
  (/ (sqrt 0.00390625) (pow (sqrt i) 4))
  (/ (sqrt 0.00390625) (pow (sqrt i) 4))
  (/ (sqrt 0.00390625) (pow 1 4))
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (sqrt 0.00390625) (cbrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) 1)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (pow i (/ 4 2)))
  (/ (sqrt 0.00390625) (pow i (/ 4 2)))
  (/ 1 (pow (* (cbrt i) (cbrt i)) 4))
  (/ 0.00390625 (pow (cbrt i) 4))
  (/ 1 (pow (sqrt i) 4))
  (/ 0.00390625 (pow (sqrt i) 4))
  (/ 1 (pow 1 4))
  (/ 0.00390625 (pow i 4))
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (cbrt (pow i 4)))
  (/ 1 (sqrt (pow i 4)))
  (/ 0.00390625 (sqrt (pow i 4)))
  (/ 1 1)
  (/ 0.00390625 (pow i 4))
  (/ 1 (pow i (/ 4 2)))
  (/ 0.00390625 (pow i (/ 4 2)))
  (/ 1 (pow i 4))
  (/ (pow i 4) 0.00390625)
  (/ 0.00390625 (pow (* (cbrt i) (cbrt i)) 4))
  (/ 0.00390625 (pow (sqrt i) 4))
  (/ 0.00390625 (pow 1 4))
  (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (sqrt (pow i 4)))
  (/ 0.00390625 1)
  (/ 0.00390625 (pow i (/ 4 2)))
  (/ (pow i 4) (cbrt 0.00390625))
  (/ (pow i 4) (sqrt 0.00390625))
  (/ (pow i 4) 0.00390625)
  (expm1 (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (log1p (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (exp (/ 0.00390625 (pow i 4))) (* (exp 0.0625) (exp (/ 0.015625 (* i i)))))
  (* (exp (/ 0.00390625 (pow i 4))) (exp (+ 0.0625 (/ 0.015625 (* i i)))))
  (log (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (* (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (+ (* 0.00390625 (+ (* 0.0625 0.0625) (- (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (* 0.0625 (/ 0.015625 (* i i)))))) (* (pow i 4) (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))))
  (* (pow i 4) (+ (* 0.0625 0.0625) (- (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (* 0.0625 (/ 0.015625 (* i i))))))
  (+ (* 0.00390625 (- 0.0625 (/ 0.015625 (* i i)))) (* (pow i 4) (- (* 0.0625 0.0625) (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))))))
  (* (pow i 4) (- 0.0625 (/ 0.015625 (* i i))))
  (+ (pow (/ 0.00390625 (pow i 4)) 3) (pow (+ 0.0625 (/ 0.015625 (* i i))) 3))
  (+ (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (- (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))) (* (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (- (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))))
  (- (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) 0.0625)
  (expm1 (+ 0.0625 (/ 0.015625 (* i i))))
  (log1p (+ 0.0625 (/ 0.015625 (* i i))))
  (* (exp 0.0625) (exp (/ 0.015625 (* i i))))
  (log (+ 0.0625 (/ 0.015625 (* i i))))
  (exp (+ 0.0625 (/ 0.015625 (* i i))))
  (* (cbrt (+ 0.0625 (/ 0.015625 (* i i)))) (cbrt (+ 0.0625 (/ 0.015625 (* i i)))))
  (cbrt (+ 0.0625 (/ 0.015625 (* i i))))
  (* (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))) (+ 0.0625 (/ 0.015625 (* i i))))
  (sqrt (+ 0.0625 (/ 0.015625 (* i i))))
  (sqrt (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))
  (+ (* 0.0625 0.0625) (- (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))) (* 0.0625 (/ 0.015625 (* i i)))))
  (- (* 0.0625 0.0625) (* (/ 0.015625 (* i i)) (/ 0.015625 (* i i))))
  (- 0.0625 (/ 0.015625 (* i i)))
  (+ 0.0625 (/ 0.015625 (* i i)))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.015625 (pow i 2))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (+ (* 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))
  (+ (* 0.00390625 (/ 1 (pow i 4))) (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625))
  (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
  (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
  (+ (* 0.015625 (/ 1 (pow i 2))) 0.0625)
12.284 * * [simplify]: Extracting # 0 : cost  0
12.285 * * [simplify]: Extracting # 1 : cost  0
12.285 * * [simplify]: Extracting # 2 : cost  0
12.285 * * [simplify]: Extracting # 3 : cost  0
12.285 * * [simplify]: Extracting # 4 : cost  0
12.286 * * [simplify]: Extracting # 5 : cost  0
12.286 * * [simplify]: Extracting # 6 : cost  0
12.286 * * [simplify]: iteration  0 :  185  enodes  (cost  1399 )
12.344 * * [simplify]: Extracting # 0 : cost  0
12.345 * * [simplify]: Extracting # 1 : cost  0
12.346 * * [simplify]: Extracting # 2 : cost  0
12.347 * * [simplify]: Extracting # 3 : cost  0
12.348 * * [simplify]: iteration  1 :  424  enodes  (cost  1264 )
12.713 * * [simplify]: Extracting # 0 : cost  0
12.717 * * [simplify]: Extracting # 1 : cost  0
12.720 * * [simplify]: Extracting # 2 : cost  0
12.724 * * [simplify]: Extracting # 3 : cost  0
12.727 * * [simplify]: Extracting # 4 : cost  0
12.730 * * [simplify]: iteration  2 :  1461  enodes  (cost  1191 )
13.570 * * [simplify]: Extracting # 0 : cost  0
13.576 * * [simplify]: Extracting # 1 : cost  0
13.585 * * [simplify]: Extracting # 2 : cost  0
13.597 * * [simplify]: Extracting # 3 : cost  0
13.608 * * [simplify]: Extracting # 4 : cost  0
13.620 * * [simplify]: iteration done:  5001  enodes  (cost  1173 )
13.621 * [simplify]: Simplified to:
  (expm1 (/ 0.015625 (* i i)))
  (log1p (/ 0.015625 (* i i)))
  (log (/ 0.015625 (* i i)))
  (log (/ 0.015625 (* i i)))
  (log (/ 0.015625 (* i i)))
  (exp (/ 0.015625 (* i i)))
  (pow (/ 0.015625 (* i i)) 3)
  (pow (/ 0.015625 (* i i)) 3)
  (* (cbrt (/ 0.015625 (* i i))) (cbrt (/ 0.015625 (* i i))))
  (cbrt (/ 0.015625 (* i i)))
  (pow (/ 0.015625 (* i i)) 3)
  (sqrt (/ 0.015625 (* i i)))
  (sqrt (/ 0.015625 (* i i)))
  (- 0.015625)
  (- (* i i))
  (/ (* (cbrt 0.015625) (cbrt 0.015625)) i)
  (/ (cbrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ (sqrt 0.015625) i)
  (/ 1 i)
  (/ 0.015625 i)
  (/ (/ 1 i) i)
  (/ (* i i) 0.015625)
  (/ 0.015625 i)
  (/ (* i i) (cbrt 0.015625))
  (/ (* i i) (sqrt 0.015625))
  (/ (* i i) 0.015625)
  (expm1 (/ 0.00390625 (pow i 4)))
  (log1p (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (log (/ 0.00390625 (pow i 4)))
  (exp (/ 0.00390625 (pow i 4)))
  (pow (/ 0.00390625 (pow i 4)) 3)
  (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4))))
  (cbrt (/ 0.00390625 (pow i 4)))
  (pow (/ 0.00390625 (pow i 4)) 3)
  (sqrt (/ 0.00390625 (pow i 4)))
  (sqrt (/ 0.00390625 (pow i 4)))
  (- 0.00390625)
  (- (pow i 4))
  (/ (cbrt 0.00390625) (/ (pow (cbrt i) 8) (cbrt 0.00390625)))
  (/ (cbrt 0.00390625) (pow (cbrt i) 4))
  (/ (cbrt 0.00390625) (/ (pow i 2) (cbrt 0.00390625)))
  (/ (/ (cbrt 0.00390625) i) i)
  (* (cbrt 0.00390625) (cbrt 0.00390625))
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (cbrt 0.00390625) (cbrt (pow i 4)))
  (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (sqrt (pow i 4)))
  (/ (cbrt 0.00390625) (sqrt (pow i 4)))
  (* (cbrt 0.00390625) (cbrt 0.00390625))
  (/ (cbrt 0.00390625) (pow i 4))
  (/ (cbrt 0.00390625) (/ (pow i 2) (cbrt 0.00390625)))
  (/ (/ (cbrt 0.00390625) i) i)
  (/ (sqrt 0.00390625) (pow (cbrt i) 8))
  (/ (sqrt 0.00390625) (pow (cbrt i) 4))
  (/ (sqrt 0.00390625) (* i i))
  (/ (sqrt 0.00390625) (* i i))
  (sqrt 0.00390625)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ (sqrt 0.00390625) (cbrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (/ (sqrt 0.00390625) (sqrt (pow i 4)))
  (sqrt 0.00390625)
  (/ (sqrt 0.00390625) (pow i 4))
  (/ (sqrt 0.00390625) (* i i))
  (/ (sqrt 0.00390625) (* i i))
  (/ 1 (pow (cbrt i) 8))
  (/ 0.00390625 (pow (cbrt i) 4))
  (/ (/ 1 i) i)
  (/ 0.00390625 (* i i))
  1
  (/ 0.00390625 (pow i 4))
  (/ 1 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (cbrt (pow i 4)))
  (/ 1 (sqrt (pow i 4)))
  (/ 0.00390625 (sqrt (pow i 4)))
  1
  (/ 0.00390625 (pow i 4))
  (/ (/ 1 i) i)
  (/ 0.00390625 (* i i))
  (/ 1 (pow i 4))
  (/ (pow i 4) 0.00390625)
  (/ 0.00390625 (pow (cbrt i) 8))
  (/ 0.00390625 (* i i))
  0.00390625
  (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4))))
  (/ 0.00390625 (sqrt (pow i 4)))
  0.00390625
  (/ 0.00390625 (* i i))
  (/ (pow i 4) (cbrt 0.00390625))
  (/ (pow i 4) (sqrt 0.00390625))
  (/ (pow i 4) 0.00390625)
  (expm1 (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (log1p (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (log (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (exp (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (* (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))) (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))))
  (cbrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (pow (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))) 3)
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (sqrt (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))
  (fma 0.00390625 (fma 0.0625 0.0625 (* (/ 0.015625 (* i i)) (- (/ 0.015625 (* i i)) 0.0625))) (* (pow i 4) (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))))
  (* (pow i 4) (fma 0.0625 0.0625 (* (/ 0.015625 (* i i)) (- (/ 0.015625 (* i i)) 0.0625))))
  (* (- 0.0625 (/ 0.015625 (* i i))) (+ 0.00390625 (* (pow i 4) (+ 0.0625 (/ 0.015625 (* i i))))))
  (* (pow i 4) (- 0.0625 (/ 0.015625 (* i i))))
  (+ (pow (/ 0.00390625 (pow i 4)) 3) (pow (+ 0.0625 (/ 0.015625 (* i i))) 3))
  (fma (+ 0.0625 (/ 0.015625 (* i i))) (- (+ 0.0625 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4))) (/ (* 0.00390625 0.00390625) (pow i 8)))
  (- (/ (* 0.00390625 0.00390625) (pow i 8)) (* (+ 0.0625 (/ 0.015625 (* i i))) (+ 0.0625 (/ 0.015625 (* i i)))))
  (- (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) 0.0625)
  (expm1 (+ 0.0625 (/ 0.015625 (* i i))))
  (log1p (+ 0.0625 (/ 0.015625 (* i i))))
  (exp (+ 0.0625 (/ 0.015625 (* i i))))
  (log (+ 0.0625 (/ 0.015625 (* i i))))
  (exp (+ 0.0625 (/ 0.015625 (* i i))))
  (* (cbrt (+ 0.0625 (/ 0.015625 (* i i)))) (cbrt (+ 0.0625 (/ 0.015625 (* i i)))))
  (cbrt (+ 0.0625 (/ 0.015625 (* i i))))
  (pow (+ 0.0625 (/ 0.015625 (* i i))) 3)
  (sqrt (+ 0.0625 (/ 0.015625 (* i i))))
  (sqrt (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (pow 0.0625 3) (pow (/ 0.015625 (* i i)) 3))
  (fma 0.0625 0.0625 (* (/ 0.015625 (* i i)) (- (/ 0.015625 (* i i)) 0.0625)))
  (- (* 0.0625 0.0625) (/ (* 0.015625 0.015625) (pow i 4)))
  (- 0.0625 (/ 0.015625 (* i i)))
  (+ 0.0625 (/ 0.015625 (* i i)))
  (/ 0.015625 (* i i))
  (/ 0.015625 (* i i))
  (/ 0.015625 (* i i))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (/ 0.00390625 (pow i 4))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i))))
  (+ 0.0625 (/ 0.015625 (* i i)))
  (+ 0.0625 (/ 0.015625 (* i i)))
  (+ 0.0625 (/ 0.015625 (* i i)))
13.623 * * * [progress]: adding candidates to table
14.092 * [progress]: [Phase 3 of 3] Extracting.
14.092 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))> #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))> #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))>)
14.093 * * * [regime-changes]: Trying 1 branch expressions: (i)
14.093 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0))))> #<alt (λ (i) (+ (/ 0.00390625 (pow i 4)) (+ 0.0625 (/ 0.015625 (* i i)))))> #<alt (λ (i) (- (fma 0.25 (* i i) (fma 1.0 (pow i 4) (* 4.0 (pow i 6))))))>)
14.112 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
14.112 * [simplify]: Simplifying:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
14.112 * * [simplify]: Extracting # 0 : cost  0
14.112 * * [simplify]: Extracting # 1 : cost  0
14.112 * * [simplify]: Extracting # 2 : cost  0
14.112 * * [simplify]: Extracting # 3 : cost  0
14.112 * * [simplify]: Extracting # 4 : cost  0
14.112 * * [simplify]: Extracting # 5 : cost  0
14.112 * * [simplify]: Extracting # 6 : cost  0
14.112 * * [simplify]: iteration  0 :  10  enodes  (cost  15 )
14.114 * * [simplify]: Extracting # 0 : cost  0
14.114 * * [simplify]: iteration  1 :  13  enodes  (cost  15 )
14.114 * * [simplify]: Extracting # 0 : cost  0
14.114 * * [simplify]: iteration done:  13  enodes  (cost  15 )
14.114 * [simplify]: Simplified to:
  (/ 1 (* (- (* 2.0 2.0) (/ 1.0 (* i i))) (* 2.0 2.0)))
15.701 * [regime-testing]: Baseline error score: 0.2972279154209663
15.702 * [regime-testing]: Oracle error score: 0.006043236654942446
15.704 * [regime-testing]: End program error score: 0.2972279154209663