0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.057 * * * [progress]: [2/2] Setting up program.
0.062 * [progress]: [Phase 2 of 3] Improving.
0.062 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (i) (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)))>
0.062 * [simplify]: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))
0.062 * * [simplify]: iters left: 6 (10 enodes)
0.070 * * [simplify]: iters left: 5 (52 enodes)
0.096 * * [simplify]: iters left: 4 (190 enodes)
0.387 * * [simplify]: Extracting #0: cost 1 inf + 0
0.388 * * [simplify]: Extracting #1: cost 74 inf + 0
0.389 * * [simplify]: Extracting #2: cost 182 inf + 171
0.394 * * [simplify]: Extracting #3: cost 117 inf + 9241
0.407 * * [simplify]: Extracting #4: cost 2 inf + 28413
0.422 * * [simplify]: Extracting #5: cost 0 inf + 28819
0.437 * [simplify]: Simplified to (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))
0.437 * [simplify]: Simplified (2) to (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))
0.443 * * [progress]: iteration 1 / 4
0.444 * * * [progress]: picking best candidate
0.445 * * * * [pick]: Picked  #<alt (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))>
0.445 * * * [progress]: localizing error
0.460 * * * [progress]: generating rewritten candidates
0.460 * * * * [progress]: [ 1 / 3 ] rewriting at (2)
0.514 * * * * [progress]: [ 2 / 3 ] rewriting at (2 2 1)
0.541 * * * * [progress]: [ 3 / 3 ] rewriting at (2 2 1 1)
0.565 * * * [progress]: generating series expansions
0.565 * * * * [progress]: [ 1 / 3 ] generating series at (2)
0.566 * [backup-simplify]: Simplify (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)))
0.566 * [approximate]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0
0.566 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
0.566 * [taylor]: Taking taylor expansion of 1/4 in i
0.566 * [backup-simplify]: Simplify 1/4 into 1/4
0.566 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
0.566 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.566 * [taylor]: Taking taylor expansion of i in i
0.566 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify 1 into 1
0.566 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
0.566 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.566 * [taylor]: Taking taylor expansion of 4 in i
0.566 * [backup-simplify]: Simplify 4 into 4
0.566 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.566 * [taylor]: Taking taylor expansion of i in i
0.566 * [backup-simplify]: Simplify 0 into 0
0.566 * [backup-simplify]: Simplify 1 into 1
0.566 * [taylor]: Taking taylor expansion of 1.0 in i
0.566 * [backup-simplify]: Simplify 1.0 into 1.0
0.566 * [backup-simplify]: Simplify (* 1 1) into 1
0.567 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.567 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.568 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
0.568 * [taylor]: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
0.568 * [taylor]: Taking taylor expansion of 1/4 in i
0.568 * [backup-simplify]: Simplify 1/4 into 1/4
0.568 * [taylor]: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
0.568 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.568 * [taylor]: Taking taylor expansion of i in i
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 1 into 1
0.568 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
0.568 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.568 * [taylor]: Taking taylor expansion of 4 in i
0.568 * [backup-simplify]: Simplify 4 into 4
0.568 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.568 * [taylor]: Taking taylor expansion of i in i
0.568 * [backup-simplify]: Simplify 0 into 0
0.568 * [backup-simplify]: Simplify 1 into 1
0.568 * [taylor]: Taking taylor expansion of 1.0 in i
0.568 * [backup-simplify]: Simplify 1.0 into 1.0
0.568 * [backup-simplify]: Simplify (* 1 1) into 1
0.569 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.569 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.570 * [backup-simplify]: Simplify (/ 1 (- 1.0)) into -1.0
0.570 * [backup-simplify]: Simplify (* 1/4 -1.0) into -0.25
0.570 * [backup-simplify]: Simplify -0.25 into -0.25
0.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.571 * [backup-simplify]: Simplify (- 0) into 0
0.571 * [backup-simplify]: Simplify (+ 0 0) into 0
0.573 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
0.574 * [backup-simplify]: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
0.574 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.574 * [backup-simplify]: Simplify (* 1 1) into 1
0.575 * [backup-simplify]: Simplify (* 4 1) into 4
0.575 * [backup-simplify]: Simplify (- 0) into 0
0.575 * [backup-simplify]: Simplify (+ 4 0) into 4
0.578 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
0.580 * [backup-simplify]: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
0.580 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.580 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.581 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.581 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.581 * [backup-simplify]: Simplify (- 0) into 0
0.582 * [backup-simplify]: Simplify (+ 0 0) into 0
0.583 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
0.584 * [backup-simplify]: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
0.584 * [backup-simplify]: Simplify 0 into 0
0.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.585 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.586 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.586 * [backup-simplify]: Simplify (- 0) into 0
0.586 * [backup-simplify]: Simplify (+ 0 0) into 0
0.592 * [backup-simplify]: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 0 (- 1.0))) (* (- 4.0) (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 16.0)
0.596 * [backup-simplify]: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
0.597 * [backup-simplify]: Simplify (- 4.0) into (- 4.0)
0.599 * [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)))))
0.599 * [backup-simplify]: Simplify (/ (* (/ 1 i) (/ 1 i)) (* (- (* 4 (* (/ 1 i) (/ 1 i))) 1.0) 4)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
0.599 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.599 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
0.599 * [taylor]: Taking taylor expansion of 1/4 in i
0.599 * [backup-simplify]: Simplify 1/4 into 1/4
0.599 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
0.599 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.599 * [taylor]: Taking taylor expansion of i in i
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify 1 into 1
0.600 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.600 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.600 * [taylor]: Taking taylor expansion of 4 in i
0.600 * [backup-simplify]: Simplify 4 into 4
0.600 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.600 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.600 * [taylor]: Taking taylor expansion of i in i
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify 1 into 1
0.600 * [backup-simplify]: Simplify (* 1 1) into 1
0.601 * [backup-simplify]: Simplify (/ 1 1) into 1
0.601 * [taylor]: Taking taylor expansion of 1.0 in i
0.601 * [backup-simplify]: Simplify 1.0 into 1.0
0.601 * [backup-simplify]: Simplify (* 1 1) into 1
0.601 * [backup-simplify]: Simplify (* 4 1) into 4
0.602 * [backup-simplify]: Simplify (+ 4 0) into 4
0.602 * [backup-simplify]: Simplify (* 1 4) into 4
0.603 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
0.603 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
0.603 * [taylor]: Taking taylor expansion of 1/4 in i
0.603 * [backup-simplify]: Simplify 1/4 into 1/4
0.603 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
0.603 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.603 * [taylor]: Taking taylor expansion of i in i
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify 1 into 1
0.603 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.603 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.603 * [taylor]: Taking taylor expansion of 4 in i
0.603 * [backup-simplify]: Simplify 4 into 4
0.603 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.603 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.603 * [taylor]: Taking taylor expansion of i in i
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify 1 into 1
0.604 * [backup-simplify]: Simplify (* 1 1) into 1
0.604 * [backup-simplify]: Simplify (/ 1 1) into 1
0.604 * [taylor]: Taking taylor expansion of 1.0 in i
0.604 * [backup-simplify]: Simplify 1.0 into 1.0
0.604 * [backup-simplify]: Simplify (* 1 1) into 1
0.605 * [backup-simplify]: Simplify (* 4 1) into 4
0.605 * [backup-simplify]: Simplify (+ 4 0) into 4
0.606 * [backup-simplify]: Simplify (* 1 4) into 4
0.606 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
0.606 * [backup-simplify]: Simplify 1/16 into 1/16
0.607 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.608 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.608 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.609 * [backup-simplify]: Simplify (+ 0 0) into 0
0.609 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.610 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
0.611 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
0.611 * [backup-simplify]: Simplify 0 into 0
0.612 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.613 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.614 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.614 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.615 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.616 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.619 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
0.624 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
0.624 * [backup-simplify]: Simplify 0.015625 into 0.015625
0.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.626 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.627 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.627 * [backup-simplify]: Simplify (- 0) into 0
0.628 * [backup-simplify]: Simplify (+ 0 0) into 0
0.629 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.630 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
0.632 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
0.632 * [backup-simplify]: Simplify 0 into 0
0.633 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.634 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.635 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.636 * [backup-simplify]: Simplify (- 0) into 0
0.636 * [backup-simplify]: Simplify (+ 0 0) into 0
0.637 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.639 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
0.646 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
0.646 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
0.646 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
0.647 * [backup-simplify]: Simplify (/ (* (/ 1 (- i)) (/ 1 (- i))) (* (- (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) 1.0) 4)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)))
0.647 * [approximate]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
0.647 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
0.647 * [taylor]: Taking taylor expansion of 1/4 in i
0.647 * [backup-simplify]: Simplify 1/4 into 1/4
0.647 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
0.647 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.647 * [taylor]: Taking taylor expansion of i in i
0.647 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify 1 into 1
0.647 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.647 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.647 * [taylor]: Taking taylor expansion of 4 in i
0.647 * [backup-simplify]: Simplify 4 into 4
0.647 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.647 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.647 * [taylor]: Taking taylor expansion of i in i
0.647 * [backup-simplify]: Simplify 0 into 0
0.647 * [backup-simplify]: Simplify 1 into 1
0.648 * [backup-simplify]: Simplify (* 1 1) into 1
0.648 * [backup-simplify]: Simplify (/ 1 1) into 1
0.648 * [taylor]: Taking taylor expansion of 1.0 in i
0.648 * [backup-simplify]: Simplify 1.0 into 1.0
0.648 * [backup-simplify]: Simplify (* 1 1) into 1
0.649 * [backup-simplify]: Simplify (* 4 1) into 4
0.649 * [backup-simplify]: Simplify (+ 4 0) into 4
0.650 * [backup-simplify]: Simplify (* 1 4) into 4
0.650 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
0.650 * [taylor]: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
0.650 * [taylor]: Taking taylor expansion of 1/4 in i
0.650 * [backup-simplify]: Simplify 1/4 into 1/4
0.650 * [taylor]: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
0.650 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.650 * [taylor]: Taking taylor expansion of i in i
0.650 * [backup-simplify]: Simplify 0 into 0
0.650 * [backup-simplify]: Simplify 1 into 1
0.651 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.651 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.651 * [taylor]: Taking taylor expansion of 4 in i
0.651 * [backup-simplify]: Simplify 4 into 4
0.651 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.651 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.651 * [taylor]: Taking taylor expansion of i in i
0.651 * [backup-simplify]: Simplify 0 into 0
0.651 * [backup-simplify]: Simplify 1 into 1
0.651 * [backup-simplify]: Simplify (* 1 1) into 1
0.651 * [backup-simplify]: Simplify (/ 1 1) into 1
0.652 * [taylor]: Taking taylor expansion of 1.0 in i
0.652 * [backup-simplify]: Simplify 1.0 into 1.0
0.652 * [backup-simplify]: Simplify (* 1 1) into 1
0.652 * [backup-simplify]: Simplify (* 4 1) into 4
0.653 * [backup-simplify]: Simplify (+ 4 0) into 4
0.653 * [backup-simplify]: Simplify (* 1 4) into 4
0.654 * [backup-simplify]: Simplify (/ 1/4 4) into 1/16
0.654 * [backup-simplify]: Simplify 1/16 into 1/16
0.654 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.656 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.656 * [backup-simplify]: Simplify (+ 0 0) into 0
0.657 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.658 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 4)) into 0
0.659 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
0.659 * [backup-simplify]: Simplify 0 into 0
0.660 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.661 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.662 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.663 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.664 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.666 * [backup-simplify]: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
0.670 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
0.670 * [backup-simplify]: Simplify 0.015625 into 0.015625
0.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.671 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.672 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.672 * [backup-simplify]: Simplify (- 0) into 0
0.673 * [backup-simplify]: Simplify (+ 0 0) into 0
0.673 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.674 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
0.675 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
0.675 * [backup-simplify]: Simplify 0 into 0
0.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.676 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.677 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.677 * [backup-simplify]: Simplify (- 0) into 0
0.678 * [backup-simplify]: Simplify (+ 0 0) into 0
0.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
0.683 * [backup-simplify]: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
0.683 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
0.683 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16)) into (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
0.683 * * * * [progress]: [ 2 / 3 ] generating series at (2 2 1)
0.684 * [backup-simplify]: Simplify (- (* 4 (* i i)) 1.0) into (- (* 4 (pow i 2)) 1.0)
0.684 * [approximate]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in (i) around 0
0.684 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
0.684 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.684 * [taylor]: Taking taylor expansion of 4 in i
0.684 * [backup-simplify]: Simplify 4 into 4
0.684 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.684 * [taylor]: Taking taylor expansion of i in i
0.684 * [backup-simplify]: Simplify 0 into 0
0.684 * [backup-simplify]: Simplify 1 into 1
0.684 * [taylor]: Taking taylor expansion of 1.0 in i
0.684 * [backup-simplify]: Simplify 1.0 into 1.0
0.684 * [taylor]: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
0.684 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.684 * [taylor]: Taking taylor expansion of 4 in i
0.684 * [backup-simplify]: Simplify 4 into 4
0.684 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.684 * [taylor]: Taking taylor expansion of i in i
0.684 * [backup-simplify]: Simplify 0 into 0
0.684 * [backup-simplify]: Simplify 1 into 1
0.684 * [taylor]: Taking taylor expansion of 1.0 in i
0.684 * [backup-simplify]: Simplify 1.0 into 1.0
0.684 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.685 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.685 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.685 * [backup-simplify]: Simplify (- 0) into 0
0.686 * [backup-simplify]: Simplify (+ 0 0) into 0
0.686 * [backup-simplify]: Simplify 0 into 0
0.686 * [backup-simplify]: Simplify (* 1 1) into 1
0.686 * [backup-simplify]: Simplify (* 4 1) into 4
0.688 * [backup-simplify]: Simplify (- 0) into 0
0.688 * [backup-simplify]: Simplify (+ 4 0) into 4
0.688 * [backup-simplify]: Simplify 4 into 4
0.689 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.689 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.690 * [backup-simplify]: Simplify (- 0) into 0
0.690 * [backup-simplify]: Simplify (+ 0 0) into 0
0.690 * [backup-simplify]: Simplify 0 into 0
0.690 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.691 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.692 * [backup-simplify]: Simplify (- 0) into 0
0.692 * [backup-simplify]: Simplify (+ 0 0) into 0
0.692 * [backup-simplify]: Simplify 0 into 0
0.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.694 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.694 * [backup-simplify]: Simplify (- 0) into 0
0.694 * [backup-simplify]: Simplify (+ 0 0) into 0
0.694 * [backup-simplify]: Simplify 0 into 0
0.695 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.696 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.696 * [backup-simplify]: Simplify (- 0) into 0
0.696 * [backup-simplify]: Simplify (+ 0 0) into 0
0.696 * [backup-simplify]: Simplify 0 into 0
0.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.699 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.699 * [backup-simplify]: Simplify (- 0) into 0
0.700 * [backup-simplify]: Simplify (+ 0 0) into 0
0.700 * [backup-simplify]: Simplify 0 into 0
0.701 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.703 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.703 * [backup-simplify]: Simplify (- 0) into 0
0.704 * [backup-simplify]: Simplify (+ 0 0) into 0
0.704 * [backup-simplify]: Simplify 0 into 0
0.704 * [backup-simplify]: Simplify (+ (* 4 (pow i 2)) (- 1.0)) into (- (* 4 (pow i 2)) 1.0)
0.704 * [backup-simplify]: Simplify (- (* 4 (* (/ 1 i) (/ 1 i))) 1.0) into (- (* 4 (/ 1 (pow i 2))) 1.0)
0.705 * [approximate]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.705 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.705 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.705 * [taylor]: Taking taylor expansion of 4 in i
0.705 * [backup-simplify]: Simplify 4 into 4
0.705 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.705 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.705 * [taylor]: Taking taylor expansion of i in i
0.705 * [backup-simplify]: Simplify 0 into 0
0.705 * [backup-simplify]: Simplify 1 into 1
0.705 * [backup-simplify]: Simplify (* 1 1) into 1
0.706 * [backup-simplify]: Simplify (/ 1 1) into 1
0.706 * [taylor]: Taking taylor expansion of 1.0 in i
0.706 * [backup-simplify]: Simplify 1.0 into 1.0
0.706 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.706 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.706 * [taylor]: Taking taylor expansion of 4 in i
0.706 * [backup-simplify]: Simplify 4 into 4
0.706 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.706 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.706 * [taylor]: Taking taylor expansion of i in i
0.706 * [backup-simplify]: Simplify 0 into 0
0.706 * [backup-simplify]: Simplify 1 into 1
0.707 * [backup-simplify]: Simplify (* 1 1) into 1
0.707 * [backup-simplify]: Simplify (/ 1 1) into 1
0.707 * [taylor]: Taking taylor expansion of 1.0 in i
0.707 * [backup-simplify]: Simplify 1.0 into 1.0
0.707 * [backup-simplify]: Simplify (* 4 1) into 4
0.708 * [backup-simplify]: Simplify (+ 4 0) into 4
0.708 * [backup-simplify]: Simplify 4 into 4
0.709 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.710 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.711 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.711 * [backup-simplify]: Simplify (+ 0 0) into 0
0.711 * [backup-simplify]: Simplify 0 into 0
0.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.713 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.714 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.714 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.715 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.716 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.717 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.718 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.719 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.719 * [backup-simplify]: Simplify (- 0) into 0
0.720 * [backup-simplify]: Simplify (+ 0 0) into 0
0.720 * [backup-simplify]: Simplify 0 into 0
0.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.722 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.723 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.723 * [backup-simplify]: Simplify (- 0) into 0
0.724 * [backup-simplify]: Simplify (+ 0 0) into 0
0.724 * [backup-simplify]: Simplify 0 into 0
0.725 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.726 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.727 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.728 * [backup-simplify]: Simplify (- 0) into 0
0.728 * [backup-simplify]: Simplify (+ 0 0) into 0
0.728 * [backup-simplify]: Simplify 0 into 0
0.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.731 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.732 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.733 * [backup-simplify]: Simplify (- 0) into 0
0.733 * [backup-simplify]: Simplify (+ 0 0) into 0
0.733 * [backup-simplify]: Simplify 0 into 0
0.735 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.736 * [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
0.737 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.738 * [backup-simplify]: Simplify (- 0) into 0
0.738 * [backup-simplify]: Simplify (+ 0 0) into 0
0.738 * [backup-simplify]: Simplify 0 into 0
0.740 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.741 * [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
0.743 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.744 * [backup-simplify]: Simplify (- 0) into 0
0.744 * [backup-simplify]: Simplify (+ 0 0) into 0
0.744 * [backup-simplify]: Simplify 0 into 0
0.745 * [backup-simplify]: Simplify (+ (- 1.0) (* 4 (pow (/ 1 (/ 1 i)) 2))) into (- (* 4 (pow i 2)) 1.0)
0.745 * [backup-simplify]: Simplify (- (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) 1.0) into (- (* 4 (/ 1 (pow i 2))) 1.0)
0.745 * [approximate]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in (i) around 0
0.745 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.745 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.745 * [taylor]: Taking taylor expansion of 4 in i
0.745 * [backup-simplify]: Simplify 4 into 4
0.745 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.745 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.745 * [taylor]: Taking taylor expansion of i in i
0.745 * [backup-simplify]: Simplify 0 into 0
0.745 * [backup-simplify]: Simplify 1 into 1
0.746 * [backup-simplify]: Simplify (* 1 1) into 1
0.746 * [backup-simplify]: Simplify (/ 1 1) into 1
0.746 * [taylor]: Taking taylor expansion of 1.0 in i
0.746 * [backup-simplify]: Simplify 1.0 into 1.0
0.746 * [taylor]: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
0.746 * [taylor]: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
0.746 * [taylor]: Taking taylor expansion of 4 in i
0.746 * [backup-simplify]: Simplify 4 into 4
0.746 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
0.746 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.746 * [taylor]: Taking taylor expansion of i in i
0.747 * [backup-simplify]: Simplify 0 into 0
0.747 * [backup-simplify]: Simplify 1 into 1
0.747 * [backup-simplify]: Simplify (* 1 1) into 1
0.747 * [backup-simplify]: Simplify (/ 1 1) into 1
0.747 * [taylor]: Taking taylor expansion of 1.0 in i
0.747 * [backup-simplify]: Simplify 1.0 into 1.0
0.748 * [backup-simplify]: Simplify (* 4 1) into 4
0.748 * [backup-simplify]: Simplify (+ 4 0) into 4
0.748 * [backup-simplify]: Simplify 4 into 4
0.749 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.750 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.751 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.751 * [backup-simplify]: Simplify (+ 0 0) into 0
0.751 * [backup-simplify]: Simplify 0 into 0
0.752 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.754 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.755 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.755 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.756 * [backup-simplify]: Simplify (+ 0 (- 1.0)) into (- 1.0)
0.756 * [backup-simplify]: Simplify (- 1.0) into (- 1.0)
0.757 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.758 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.758 * [backup-simplify]: Simplify (- 0) into 0
0.759 * [backup-simplify]: Simplify (+ 0 0) into 0
0.759 * [backup-simplify]: Simplify 0 into 0
0.759 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.760 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.761 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.761 * [backup-simplify]: Simplify (- 0) into 0
0.761 * [backup-simplify]: Simplify (+ 0 0) into 0
0.761 * [backup-simplify]: Simplify 0 into 0
0.762 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.763 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.763 * [backup-simplify]: Simplify (- 0) into 0
0.764 * [backup-simplify]: Simplify (+ 0 0) into 0
0.764 * [backup-simplify]: Simplify 0 into 0
0.764 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.766 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.766 * [backup-simplify]: Simplify (- 0) into 0
0.766 * [backup-simplify]: Simplify (+ 0 0) into 0
0.766 * [backup-simplify]: Simplify 0 into 0
0.767 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.768 * [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
0.769 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
0.769 * [backup-simplify]: Simplify (- 0) into 0
0.769 * [backup-simplify]: Simplify (+ 0 0) into 0
0.769 * [backup-simplify]: Simplify 0 into 0
0.770 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.771 * [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
0.772 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
0.772 * [backup-simplify]: Simplify (- 0) into 0
0.773 * [backup-simplify]: Simplify (+ 0 0) into 0
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify (+ (- 1.0) (* 4 (pow (/ 1 (/ 1 (- i))) 2))) into (- (* 4 (pow i 2)) 1.0)
0.773 * * * * [progress]: [ 3 / 3 ] generating series at (2 2 1 1)
0.773 * [backup-simplify]: Simplify (* 4 (* i i)) into (* 4 (pow i 2))
0.773 * [approximate]: Taking taylor expansion of (* 4 (pow i 2)) in (i) around 0
0.773 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.773 * [taylor]: Taking taylor expansion of 4 in i
0.773 * [backup-simplify]: Simplify 4 into 4
0.773 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.773 * [taylor]: Taking taylor expansion of i in i
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify 1 into 1
0.773 * [taylor]: Taking taylor expansion of (* 4 (pow i 2)) in i
0.773 * [taylor]: Taking taylor expansion of 4 in i
0.773 * [backup-simplify]: Simplify 4 into 4
0.773 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.773 * [taylor]: Taking taylor expansion of i in i
0.773 * [backup-simplify]: Simplify 0 into 0
0.773 * [backup-simplify]: Simplify 1 into 1
0.774 * [backup-simplify]: Simplify (* 1 1) into 1
0.774 * [backup-simplify]: Simplify (* 4 1) into 4
0.774 * [backup-simplify]: Simplify 4 into 4
0.774 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.775 * [backup-simplify]: Simplify (+ (* 4 0) (* 0 1)) into 0
0.775 * [backup-simplify]: Simplify 0 into 0
0.775 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.776 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
0.776 * [backup-simplify]: Simplify 0 into 0
0.776 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.777 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.777 * [backup-simplify]: Simplify 0 into 0
0.778 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.778 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.779 * [backup-simplify]: Simplify 0 into 0
0.779 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.780 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.780 * [backup-simplify]: Simplify 0 into 0
0.781 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.782 * [backup-simplify]: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.782 * [backup-simplify]: Simplify 0 into 0
0.782 * [backup-simplify]: Simplify (* 4 (pow i 2)) into (* 4 (pow i 2))
0.782 * [backup-simplify]: Simplify (* 4 (* (/ 1 i) (/ 1 i))) into (/ 4 (pow i 2))
0.782 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
0.782 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
0.782 * [taylor]: Taking taylor expansion of 4 in i
0.782 * [backup-simplify]: Simplify 4 into 4
0.782 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.782 * [taylor]: Taking taylor expansion of i in i
0.782 * [backup-simplify]: Simplify 0 into 0
0.782 * [backup-simplify]: Simplify 1 into 1
0.782 * [backup-simplify]: Simplify (* 1 1) into 1
0.783 * [backup-simplify]: Simplify (/ 4 1) into 4
0.783 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
0.783 * [taylor]: Taking taylor expansion of 4 in i
0.783 * [backup-simplify]: Simplify 4 into 4
0.783 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.783 * [taylor]: Taking taylor expansion of i in i
0.783 * [backup-simplify]: Simplify 0 into 0
0.783 * [backup-simplify]: Simplify 1 into 1
0.783 * [backup-simplify]: Simplify (* 1 1) into 1
0.783 * [backup-simplify]: Simplify (/ 4 1) into 4
0.783 * [backup-simplify]: Simplify 4 into 4
0.784 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.784 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
0.784 * [backup-simplify]: Simplify 0 into 0
0.785 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.786 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.786 * [backup-simplify]: Simplify 0 into 0
0.787 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.788 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.788 * [backup-simplify]: Simplify 0 into 0
0.790 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.791 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.791 * [backup-simplify]: Simplify 0 into 0
0.792 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.793 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.793 * [backup-simplify]: Simplify 0 into 0
0.795 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.796 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 i)) 2)) into (* 4 (pow i 2))
0.796 * [backup-simplify]: Simplify (* 4 (* (/ 1 (- i)) (/ 1 (- i)))) into (/ 4 (pow i 2))
0.796 * [approximate]: Taking taylor expansion of (/ 4 (pow i 2)) in (i) around 0
0.796 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
0.796 * [taylor]: Taking taylor expansion of 4 in i
0.796 * [backup-simplify]: Simplify 4 into 4
0.796 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.796 * [taylor]: Taking taylor expansion of i in i
0.796 * [backup-simplify]: Simplify 0 into 0
0.796 * [backup-simplify]: Simplify 1 into 1
0.797 * [backup-simplify]: Simplify (* 1 1) into 1
0.797 * [backup-simplify]: Simplify (/ 4 1) into 4
0.797 * [taylor]: Taking taylor expansion of (/ 4 (pow i 2)) in i
0.797 * [taylor]: Taking taylor expansion of 4 in i
0.797 * [backup-simplify]: Simplify 4 into 4
0.797 * [taylor]: Taking taylor expansion of (pow i 2) in i
0.797 * [taylor]: Taking taylor expansion of i in i
0.797 * [backup-simplify]: Simplify 0 into 0
0.798 * [backup-simplify]: Simplify 1 into 1
0.798 * [backup-simplify]: Simplify (* 1 1) into 1
0.798 * [backup-simplify]: Simplify (/ 4 1) into 4
0.798 * [backup-simplify]: Simplify 4 into 4
0.799 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
0.800 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
0.800 * [backup-simplify]: Simplify 0 into 0
0.801 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
0.802 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.802 * [backup-simplify]: Simplify 0 into 0
0.803 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
0.804 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.804 * [backup-simplify]: Simplify 0 into 0
0.805 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
0.806 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.806 * [backup-simplify]: Simplify 0 into 0
0.808 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
0.811 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.811 * [backup-simplify]: Simplify 0 into 0
0.812 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
0.813 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.813 * [backup-simplify]: Simplify 0 into 0
0.814 * [backup-simplify]: Simplify (* 4 (pow (/ 1 (/ 1 (- i))) 2)) into (* 4 (pow i 2))
0.814 * * * [progress]: simplifying candidates
0.814 * * * * [progress]: [ 1 / 66 ] simplifiying candidate #<alt (λ (i) (pow (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) 1))>
0.814 * * * * [progress]: [ 2 / 66 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (log i) (log i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4)))))>
0.814 * [simplify]: Simplifying (- (+ (log i) (log i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4)))
0.814 * * [simplify]: iters left: 6 (12 enodes)
0.822 * * [simplify]: iters left: 5 (48 enodes)
0.839 * * [simplify]: iters left: 4 (78 enodes)
0.866 * * [simplify]: iters left: 3 (119 enodes)
0.906 * * [simplify]: iters left: 2 (164 enodes)
0.956 * * [simplify]: iters left: 1 (202 enodes)
1.011 * * [simplify]: Extracting #0: cost 1 inf + 0
1.012 * * [simplify]: Extracting #1: cost 36 inf + 0
1.012 * * [simplify]: Extracting #2: cost 67 inf + 0
1.013 * * [simplify]: Extracting #3: cost 68 inf + 73
1.014 * * [simplify]: Extracting #4: cost 54 inf + 2556
1.016 * * [simplify]: Extracting #5: cost 34 inf + 6009
1.019 * * [simplify]: Extracting #6: cost 8 inf + 14662
1.023 * * [simplify]: Extracting #7: cost 0 inf + 17696
1.027 * [simplify]: Simplified to (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0)))))
1.027 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log i) (- (log 4) (- (log i) (log (- (* 4 (* i i)) 1.0)))))))
1.027 * * * * [progress]: [ 3 / 66 ] simplifiying candidate #<alt (λ (i) (exp (- (+ (log i) (log i)) (log (* (- (* 4 (* i i)) 1.0) 4)))))>
1.027 * [simplify]: Simplifying (- (+ (log i) (log i)) (log (* (- (* 4 (* i i)) 1.0) 4)))
1.027 * * [simplify]: iters left: 6 (11 enodes)
1.031 * * [simplify]: iters left: 5 (46 enodes)
1.040 * * [simplify]: iters left: 4 (79 enodes)
1.066 * * [simplify]: iters left: 3 (129 enodes)
1.094 * * [simplify]: iters left: 2 (187 enodes)
1.155 * * [simplify]: iters left: 1 (248 enodes)
1.223 * * [simplify]: Extracting #0: cost 1 inf + 0
1.223 * * [simplify]: Extracting #1: cost 35 inf + 0
1.223 * * [simplify]: Extracting #2: cost 67 inf + 0
1.224 * * [simplify]: Extracting #3: cost 69 inf + 326
1.224 * * [simplify]: Extracting #4: cost 57 inf + 3857
1.226 * * [simplify]: Extracting #5: cost 40 inf + 6106
1.228 * * [simplify]: Extracting #6: cost 16 inf + 11841
1.231 * * [simplify]: Extracting #7: cost 1 inf + 17025
1.235 * * [simplify]: Extracting #8: cost 0 inf + 17368
1.243 * [simplify]: Simplified to (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0))))
1.243 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (+ (log i) (log i)) (log (* 4 (- (* 4 (* i i)) 1.0))))))
1.243 * * * * [progress]: [ 4 / 66 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* i i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4)))))>
1.243 * [simplify]: Simplifying (- (log (* i i)) (+ (log (- (* 4 (* i i)) 1.0)) (log 4)))
1.244 * * [simplify]: iters left: 6 (11 enodes)
1.251 * * [simplify]: iters left: 5 (45 enodes)
1.260 * * [simplify]: iters left: 4 (73 enodes)
1.276 * * [simplify]: iters left: 3 (109 enodes)
1.314 * * [simplify]: iters left: 2 (155 enodes)
1.350 * * [simplify]: iters left: 1 (204 enodes)
1.409 * * [simplify]: Extracting #0: cost 1 inf + 0
1.409 * * [simplify]: Extracting #1: cost 34 inf + 0
1.410 * * [simplify]: Extracting #2: cost 68 inf + 0
1.410 * * [simplify]: Extracting #3: cost 68 inf + 185
1.411 * * [simplify]: Extracting #4: cost 50 inf + 3614
1.416 * * [simplify]: Extracting #5: cost 11 inf + 14210
1.423 * * [simplify]: Extracting #6: cost 0 inf + 17297
1.427 * [simplify]: Simplified to (- (- (log (* i i)) (log 4)) (log (- (* 4 (* i i)) 1.0)))
1.427 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (- (log (* i i)) (log 4)) (log (- (* 4 (* i i)) 1.0)))))
1.427 * * * * [progress]: [ 5 / 66 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* i i)) (log (* (- (* 4 (* i i)) 1.0) 4)))))>
1.428 * [simplify]: Simplifying (- (log (* i i)) (log (* (- (* 4 (* i i)) 1.0) 4)))
1.428 * * [simplify]: iters left: 6 (10 enodes)
1.431 * * [simplify]: iters left: 5 (43 enodes)
1.440 * * [simplify]: iters left: 4 (75 enodes)
1.463 * * [simplify]: iters left: 3 (119 enodes)
1.499 * * [simplify]: iters left: 2 (177 enodes)
1.535 * * [simplify]: iters left: 1 (233 enodes)
1.588 * * [simplify]: Extracting #0: cost 1 inf + 0
1.588 * * [simplify]: Extracting #1: cost 33 inf + 0
1.589 * * [simplify]: Extracting #2: cost 66 inf + 0
1.589 * * [simplify]: Extracting #3: cost 71 inf + 114
1.589 * * [simplify]: Extracting #4: cost 50 inf + 4205
1.592 * * [simplify]: Extracting #5: cost 19 inf + 11533
1.595 * * [simplify]: Extracting #6: cost 2 inf + 16681
1.601 * * [simplify]: Extracting #7: cost 0 inf + 16936
1.608 * [simplify]: Simplified to (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0))))
1.608 * [simplify]: Simplified (2 1) to (λ (i) (exp (- (log (* i i)) (log (* 4 (- (* 4 (* i i)) 1.0))))))
1.608 * * * * [progress]: [ 6 / 66 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
1.608 * * * * [progress]: [ 7 / 66 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
1.609 * * * * [progress]: [ 8 / 66 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))))>
1.609 * [simplify]: Simplifying (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))
1.609 * * [simplify]: iters left: 6 (14 enodes)
1.620 * * [simplify]: iters left: 5 (70 enodes)
1.639 * * [simplify]: iters left: 4 (270 enodes)
1.902 * * [simplify]: Extracting #0: cost 1 inf + 0
1.903 * * [simplify]: Extracting #1: cost 164 inf + 0
1.906 * * [simplify]: Extracting #2: cost 391 inf + 1063
1.921 * * [simplify]: Extracting #3: cost 242 inf + 36402
1.971 * * [simplify]: Extracting #4: cost 21 inf + 89332
2.023 * * [simplify]: Extracting #5: cost 0 inf + 93466
2.063 * * [simplify]: Extracting #6: cost 0 inf + 93146
2.119 * [simplify]: Simplified to (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0)))))
2.120 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0)))))))
2.120 * * * * [progress]: [ 9 / 66 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))))>
2.120 * [simplify]: Simplifying (/ (* (* (* i i) i) (* (* i i) i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))
2.120 * * [simplify]: iters left: 6 (12 enodes)
2.129 * * [simplify]: iters left: 5 (67 enodes)
2.165 * * [simplify]: iters left: 4 (294 enodes)
2.457 * * [simplify]: Extracting #0: cost 1 inf + 0
2.458 * * [simplify]: Extracting #1: cost 185 inf + 0
2.462 * * [simplify]: Extracting #2: cost 516 inf + 777
2.483 * * [simplify]: Extracting #3: cost 323 inf + 55448
2.542 * * [simplify]: Extracting #4: cost 26 inf + 129001
2.593 * * [simplify]: Extracting #5: cost 0 inf + 134798
2.661 * * [simplify]: Extracting #6: cost 0 inf + 134758
2.721 * [simplify]: Simplified to (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
2.721 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (* (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4))) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))))
2.721 * * * * [progress]: [ 10 / 66 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))))>
2.722 * [simplify]: Simplifying (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0)) (* (* 4 4) 4)))
2.722 * * [simplify]: iters left: 6 (14 enodes)
2.734 * * [simplify]: iters left: 5 (71 enodes)
2.772 * * [simplify]: iters left: 4 (258 enodes)
2.923 * * [simplify]: Extracting #0: cost 1 inf + 0
2.923 * * [simplify]: Extracting #1: cost 187 inf + 0
2.925 * * [simplify]: Extracting #2: cost 406 inf + 2003
2.935 * * [simplify]: Extracting #3: cost 215 inf + 45331
2.966 * * [simplify]: Extracting #4: cost 13 inf + 93848
2.995 * * [simplify]: Extracting #5: cost 0 inf + 96560
3.037 * * [simplify]: Extracting #6: cost 0 inf + 96320
3.072 * [simplify]: Simplified to (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0)))))
3.072 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (/ (/ (* i i) (- (* (* i i) 4) 1.0)) (/ 64 (* (/ (* i i) (- (* (* i i) 4) 1.0)) (/ (* i i) (- (* (* i i) 4) 1.0)))))))
3.072 * * * * [progress]: [ 11 / 66 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))))>
3.072 * [simplify]: Simplifying (/ (* (* (* i i) (* i i)) (* i i)) (* (* (* (- (* 4 (* i i)) 1.0) 4) (* (- (* 4 (* i i)) 1.0) 4)) (* (- (* 4 (* i i)) 1.0) 4)))
3.072 * * [simplify]: iters left: 6 (12 enodes)
3.078 * * [simplify]: iters left: 5 (68 enodes)
3.115 * * [simplify]: iters left: 4 (291 enodes)
3.401 * * [simplify]: Extracting #0: cost 1 inf + 0
3.402 * * [simplify]: Extracting #1: cost 168 inf + 0
3.405 * * [simplify]: Extracting #2: cost 481 inf + 818
3.416 * * [simplify]: Extracting #3: cost 311 inf + 50258
3.468 * * [simplify]: Extracting #4: cost 22 inf + 119294
3.521 * * [simplify]: Extracting #5: cost 0 inf + 124400
3.563 * * [simplify]: Extracting #6: cost 0 inf + 124360
3.630 * [simplify]: Simplified to (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0))))
3.630 * [simplify]: Simplified (2 1) to (λ (i) (cbrt (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (* (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0))))))
3.630 * * * * [progress]: [ 12 / 66 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))) (cbrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
3.630 * * * * [progress]: [ 13 / 66 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
3.630 * * * * [progress]: [ 14 / 66 ] simplifiying candidate #<alt (λ (i) (* (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))) (sqrt (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
3.630 * * * * [progress]: [ 15 / 66 ] simplifiying candidate #<alt (λ (i) (/ (- (* i i)) (- (* (- (* 4 (* i i)) 1.0) 4))))>
3.630 * * * * [progress]: [ 16 / 66 ] simplifiying candidate #<alt (λ (i) (* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4)))>
3.631 * [simplify]: Simplifying (/ i (- (* 4 (* i i)) 1.0))
3.631 * * [simplify]: iters left: 6 (7 enodes)
3.636 * * [simplify]: iters left: 5 (26 enodes)
3.647 * * [simplify]: iters left: 4 (33 enodes)
3.659 * * [simplify]: Extracting #0: cost 1 inf + 0
3.659 * * [simplify]: Extracting #1: cost 4 inf + 0
3.659 * * [simplify]: Extracting #2: cost 7 inf + 1
3.660 * * [simplify]: Extracting #3: cost 10 inf + 43
3.660 * * [simplify]: Extracting #4: cost 5 inf + 455
3.660 * * [simplify]: Extracting #5: cost 1 inf + 824
3.661 * * [simplify]: Extracting #6: cost 0 inf + 987
3.661 * [simplify]: Simplified to (/ i (- (* (* i i) 4) 1.0))
3.662 * [simplify]: Simplified (2 1) to (λ (i) (* (/ i (- (* (* i i) 4) 1.0)) (/ i 4)))
3.662 * [simplify]: Simplifying (/ i 4)
3.662 * * [simplify]: iters left: 2 (3 enodes)
3.664 * * [simplify]: iters left: 1 (9 enodes)
3.667 * * [simplify]: Extracting #0: cost 1 inf + 0
3.667 * * [simplify]: Extracting #1: cost 4 inf + 0
3.668 * * [simplify]: Extracting #2: cost 2 inf + 2
3.668 * * [simplify]: Extracting #3: cost 0 inf + 86
3.668 * [simplify]: Simplified to (/ i 4)
3.668 * [simplify]: Simplified (2 2) to (λ (i) (* (/ i (- (* 4 (* i i)) 1.0)) (/ i 4)))
3.668 * * * * [progress]: [ 17 / 66 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4))))>
3.668 * * * * [progress]: [ 18 / 66 ] simplifiying candidate #<alt (λ (i) (* (* i i) (/ 1 (* (- (* 4 (* i i)) 1.0) 4))))>
3.668 * * * * [progress]: [ 19 / 66 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (* (- (* 4 (* i i)) 1.0) 4) (* i i))))>
3.668 * * * * [progress]: [ 20 / 66 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i i) (- (* 4 (* i i)) 1.0)) 4))>
3.668 * * * * [progress]: [ 21 / 66 ] simplifiying candidate #<alt (λ (i) (/ i (/ (* (- (* 4 (* i i)) 1.0) 4) i)))>
3.668 * * * * [progress]: [ 22 / 66 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (* (- (pow (* 4 (* i i)) 3) (pow 1.0 3)) 4)) (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0)))))>
3.668 * [simplify]: Simplifying (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0)))
3.669 * * [simplify]: iters left: 6 (10 enodes)
3.676 * * [simplify]: iters left: 5 (50 enodes)
3.695 * * [simplify]: iters left: 4 (111 enodes)
3.738 * * [simplify]: iters left: 3 (198 enodes)
3.798 * * [simplify]: iters left: 2 (302 enodes)
3.907 * * [simplify]: iters left: 1 (351 enodes)
3.976 * * [simplify]: Extracting #0: cost 1 inf + 0
3.976 * * [simplify]: Extracting #1: cost 8 inf + 0
3.976 * * [simplify]: Extracting #2: cost 45 inf + 0
3.977 * * [simplify]: Extracting #3: cost 78 inf + 46
3.980 * * [simplify]: Extracting #4: cost 39 inf + 4482
3.982 * * [simplify]: Extracting #5: cost 15 inf + 8888
3.985 * * [simplify]: Extracting #6: cost 0 inf + 12965
3.987 * [simplify]: Simplified to (+ (* 1.0 (+ (* 4 (* i i)) 1.0)) (* (* 4 (* i i)) (* 4 (* i i))))
3.988 * [simplify]: Simplified (2 2) to (λ (i) (* (/ (* i i) (* (- (pow (* 4 (* i i)) 3) (pow 1.0 3)) 4)) (+ (* 1.0 (+ (* 4 (* i i)) 1.0)) (* (* 4 (* i i)) (* 4 (* i i))))))
3.988 * * * * [progress]: [ 23 / 66 ] simplifiying candidate #<alt (λ (i) (* (/ (* i i) (* (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) 4)) (+ (* 4 (* i i)) 1.0)))>
3.988 * [simplify]: Simplifying (+ (* 4 (* i i)) 1.0)
3.988 * * [simplify]: iters left: 6 (6 enodes)
3.990 * * [simplify]: iters left: 5 (22 enodes)
3.995 * * [simplify]: iters left: 4 (26 enodes)
3.999 * * [simplify]: Extracting #0: cost 1 inf + 0
3.999 * * [simplify]: Extracting #1: cost 4 inf + 0
3.999 * * [simplify]: Extracting #2: cost 8 inf + 1
3.999 * * [simplify]: Extracting #3: cost 8 inf + 3
3.999 * * [simplify]: Extracting #4: cost 1 inf + 456
3.999 * * [simplify]: Extracting #5: cost 0 inf + 579
4.000 * [simplify]: Simplified to (+ (* 4 (* i i)) 1.0)
4.000 * [simplify]: Simplified (2 2) to (λ (i) (* (/ (* i i) (* (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) 4)) (+ (* 4 (* i i)) 1.0)))
4.000 * * * * [progress]: [ 24 / 66 ] simplifiying candidate #<alt (λ (i) (posit16->real (real->posit16 (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))))>
4.000 * * * * [progress]: [ 25 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (log (/ (exp (* 4 (* i i))) (exp 1.0))) 4)))>
4.000 * [simplify]: Simplifying (/ (exp (* 4 (* i i))) (exp 1.0))
4.000 * * [simplify]: iters left: 6 (8 enodes)
4.003 * * [simplify]: iters left: 5 (31 enodes)
4.010 * * [simplify]: iters left: 4 (49 enodes)
4.021 * * [simplify]: iters left: 3 (78 enodes)
4.035 * * [simplify]: iters left: 2 (138 enodes)
4.069 * * [simplify]: iters left: 1 (322 enodes)
4.174 * * [simplify]: Extracting #0: cost 1 inf + 0
4.174 * * [simplify]: Extracting #1: cost 57 inf + 0
4.174 * * [simplify]: Extracting #2: cost 176 inf + 0
4.175 * * [simplify]: Extracting #3: cost 226 inf + 1392
4.178 * * [simplify]: Extracting #4: cost 171 inf + 11837
4.185 * * [simplify]: Extracting #5: cost 52 inf + 66204
4.203 * * [simplify]: Extracting #6: cost 2 inf + 96010
4.225 * * [simplify]: Extracting #7: cost 0 inf + 96332
4.247 * [simplify]: Simplified to (exp (- (* 4 (* i i)) 1.0))
4.247 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (log (exp (- (* 4 (* i i)) 1.0))) 4)))
4.247 * * * * [progress]: [ 26 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (pow (- (* 4 (* i i)) 1.0) 1) 4)))>
4.247 * * * * [progress]: [ 27 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (exp (log (- (* 4 (* i i)) 1.0))) 4)))>
4.247 * * * * [progress]: [ 28 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (log (exp (- (* 4 (* i i)) 1.0))) 4)))>
4.247 * * * * [progress]: [ 29 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (* (* (cbrt (- (* 4 (* i i)) 1.0)) (cbrt (- (* 4 (* i i)) 1.0))) (cbrt (- (* 4 (* i i)) 1.0))) 4)))>
4.247 * * * * [progress]: [ 30 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (cbrt (* (* (- (* 4 (* i i)) 1.0) (- (* 4 (* i i)) 1.0)) (- (* 4 (* i i)) 1.0))) 4)))>
4.247 * * * * [progress]: [ 31 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (* (sqrt (- (* 4 (* i i)) 1.0)) (sqrt (- (* 4 (* i i)) 1.0))) 4)))>
4.248 * * * * [progress]: [ 32 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (/ (- (pow (* 4 (* i i)) 3) (pow 1.0 3)) (+ (* (* 4 (* i i)) (* 4 (* i i))) (+ (* 1.0 1.0) (* (* 4 (* i i)) 1.0)))) 4)))>
4.248 * * * * [progress]: [ 33 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (+ (* 4 (* i i)) (- 1.0)) 4)))>
4.248 * * * * [progress]: [ 34 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (* 1 (- (* 4 (* i i)) 1.0)) 4)))>
4.248 * * * * [progress]: [ 35 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (/ (- (* (* 4 (* i i)) (* 4 (* i i))) (* 1.0 1.0)) (+ (* 4 (* i i)) 1.0)) 4)))>
4.248 * * * * [progress]: [ 36 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (+ (* 4 (* i i)) (- 1.0)) 4)))>
4.248 * * * * [progress]: [ 37 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (posit16->real (real->posit16 (- (* 4 (* i i)) 1.0))) 4)))>
4.248 * * * * [progress]: [ 38 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4)))>
4.248 * [simplify]: Simplifying (* 4 (* i i))
4.248 * * [simplify]: iters left: 4 (4 enodes)
4.251 * * [simplify]: iters left: 3 (15 enodes)
4.256 * * [simplify]: iters left: 2 (19 enodes)
4.262 * * [simplify]: Extracting #0: cost 1 inf + 0
4.262 * * [simplify]: Extracting #1: cost 6 inf + 0
4.262 * * [simplify]: Extracting #2: cost 5 inf + 43
4.263 * * [simplify]: Extracting #3: cost 0 inf + 332
4.263 * [simplify]: Simplified to (* 4 (* i i))
4.263 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4)))
4.263 * * * * [progress]: [ 39 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4)))>
4.263 * [simplify]: Simplifying (* 4 (* i i))
4.263 * * [simplify]: iters left: 4 (4 enodes)
4.266 * * [simplify]: iters left: 3 (15 enodes)
4.271 * * [simplify]: iters left: 2 (19 enodes)
4.277 * * [simplify]: Extracting #0: cost 1 inf + 0
4.277 * * [simplify]: Extracting #1: cost 6 inf + 0
4.277 * * [simplify]: Extracting #2: cost 5 inf + 43
4.277 * * [simplify]: Extracting #3: cost 0 inf + 332
4.277 * [simplify]: Simplified to (* 4 (* i i))
4.278 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4)))
4.278 * * * * [progress]: [ 40 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (pow (* 4 (* i i)) 1) 1.0) 4)))>
4.278 * * * * [progress]: [ 41 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4)))>
4.278 * [simplify]: Simplifying (+ (log 4) (+ (log i) (log i)))
4.278 * * [simplify]: iters left: 5 (6 enodes)
4.282 * * [simplify]: iters left: 4 (21 enodes)
4.287 * * [simplify]: iters left: 3 (25 enodes)
4.293 * * [simplify]: Extracting #0: cost 1 inf + 0
4.293 * * [simplify]: Extracting #1: cost 6 inf + 0
4.293 * * [simplify]: Extracting #2: cost 12 inf + 0
4.293 * * [simplify]: Extracting #3: cost 10 inf + 2
4.293 * * [simplify]: Extracting #4: cost 0 inf + 1316
4.294 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i)))
4.294 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4)))
4.294 * * * * [progress]: [ 42 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (log (* i i)))) 1.0) 4)))>
4.294 * [simplify]: Simplifying (+ (log 4) (log (* i i)))
4.294 * * [simplify]: iters left: 5 (6 enodes)
4.296 * * [simplify]: iters left: 4 (21 enodes)
4.300 * * [simplify]: iters left: 3 (27 enodes)
4.305 * * [simplify]: iters left: 2 (32 enodes)
4.310 * * [simplify]: Extracting #0: cost 1 inf + 0
4.310 * * [simplify]: Extracting #1: cost 6 inf + 0
4.310 * * [simplify]: Extracting #2: cost 13 inf + 0
4.310 * * [simplify]: Extracting #3: cost 9 inf + 185
4.310 * * [simplify]: Extracting #4: cost 4 inf + 741
4.310 * * [simplify]: Extracting #5: cost 0 inf + 1398
4.311 * [simplify]: Simplified to (+ (log 4) (+ (log i) (log i)))
4.311 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (exp (+ (log 4) (+ (log i) (log i)))) 1.0) 4)))
4.311 * * * * [progress]: [ 43 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (exp (log (* 4 (* i i)))) 1.0) 4)))>
4.311 * * * * [progress]: [ 44 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (log (exp (* 4 (* i i)))) 1.0) 4)))>
4.311 * * * * [progress]: [ 45 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (cbrt (* (* (* 4 4) 4) (* (* (* i i) i) (* (* i i) i)))) 1.0) 4)))>
4.311 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) i) (* (* i i) i)))
4.311 * * [simplify]: iters left: 6 (8 enodes)
4.315 * * [simplify]: iters left: 5 (38 enodes)
4.327 * * [simplify]: iters left: 4 (97 enodes)
4.351 * * [simplify]: iters left: 3 (264 enodes)
4.528 * * [simplify]: Extracting #0: cost 1 inf + 0
4.528 * * [simplify]: Extracting #1: cost 52 inf + 0
4.529 * * [simplify]: Extracting #2: cost 84 inf + 1308
4.533 * * [simplify]: Extracting #3: cost 36 inf + 6812
4.539 * * [simplify]: Extracting #4: cost 23 inf + 8440
4.544 * * [simplify]: Extracting #5: cost 9 inf + 12005
4.550 * * [simplify]: Extracting #6: cost 0 inf + 14599
4.556 * [simplify]: Simplified to (* 64 (* (* i (* i i)) (* i (* i i))))
4.556 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* 64 (* (* i (* i i)) (* i (* i i))))) 1.0) 4)))
4.556 * * * * [progress]: [ 46 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (cbrt (* (* (* 4 4) 4) (* (* (* i i) (* i i)) (* i i)))) 1.0) 4)))>
4.557 * [simplify]: Simplifying (* (* (* 4 4) 4) (* (* (* i i) (* i i)) (* i i)))
4.557 * * [simplify]: iters left: 6 (8 enodes)
4.562 * * [simplify]: iters left: 5 (39 enodes)
4.580 * * [simplify]: iters left: 4 (97 enodes)
4.625 * * [simplify]: iters left: 3 (266 enodes)
4.808 * * [simplify]: Extracting #0: cost 1 inf + 0
4.809 * * [simplify]: Extracting #1: cost 64 inf + 0
4.810 * * [simplify]: Extracting #2: cost 104 inf + 1388
4.815 * * [simplify]: Extracting #3: cost 48 inf + 7422
4.822 * * [simplify]: Extracting #4: cost 6 inf + 16338
4.830 * * [simplify]: Extracting #5: cost 0 inf + 18014
4.839 * [simplify]: Simplified to (* (* (* i i) (* i i)) (* 64 (* i i)))
4.839 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (cbrt (* (* (* i i) (* i i)) (* 64 (* i i)))) 1.0) 4)))
4.839 * * * * [progress]: [ 47 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (* (cbrt (* 4 (* i i))) (cbrt (* 4 (* i i)))) (cbrt (* 4 (* i i)))) 1.0) 4)))>
4.839 * * * * [progress]: [ 48 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (cbrt (* (* (* 4 (* i i)) (* 4 (* i i))) (* 4 (* i i)))) 1.0) 4)))>
4.839 * * * * [progress]: [ 49 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (sqrt (* 4 (* i i))) (sqrt (* 4 (* i i)))) 1.0) 4)))>
4.839 * * * * [progress]: [ 50 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 1 (* 4 (* i i))) 1.0) 4)))>
4.839 * * * * [progress]: [ 51 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (* (sqrt 4) i) (* (sqrt 4) i)) 1.0) 4)))>
4.840 * [simplify]: Simplifying (* (sqrt 4) i)
4.840 * * [simplify]: iters left: 3 (4 enodes)
4.843 * * [simplify]: iters left: 2 (14 enodes)
4.848 * * [simplify]: Extracting #0: cost 1 inf + 0
4.848 * * [simplify]: Extracting #1: cost 4 inf + 0
4.848 * * [simplify]: Extracting #2: cost 2 inf + 2
4.848 * * [simplify]: Extracting #3: cost 0 inf + 86
4.848 * [simplify]: Simplified to (* i 2)
4.848 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* i 2) (* (sqrt 4) i)) 1.0) 4)))
4.849 * [simplify]: Simplifying (* (sqrt 4) i)
4.849 * * [simplify]: iters left: 3 (4 enodes)
4.853 * * [simplify]: iters left: 2 (14 enodes)
4.857 * * [simplify]: Extracting #0: cost 1 inf + 0
4.857 * * [simplify]: Extracting #1: cost 4 inf + 0
4.858 * * [simplify]: Extracting #2: cost 2 inf + 2
4.858 * * [simplify]: Extracting #3: cost 0 inf + 86
4.858 * [simplify]: Simplified to (* i 2)
4.858 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (/ (* i i) (* (- (* (* (sqrt 4) i) (* i 2)) 1.0) 4)))
4.858 * * * * [progress]: [ 52 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (* 4 i) i) 1.0) 4)))>
4.858 * * * * [progress]: [ 53 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (* (cbrt 4) (cbrt 4)) (* (cbrt 4) (* i i))) 1.0) 4)))>
4.858 * [simplify]: Simplifying (* (cbrt 4) (cbrt 4))
4.858 * * [simplify]: iters left: 3 (3 enodes)
4.861 * * [simplify]: iters left: 2 (9 enodes)
4.864 * * [simplify]: Extracting #0: cost 1 inf + 0
4.864 * * [simplify]: Extracting #1: cost 3 inf + 0
4.864 * * [simplify]: Extracting #2: cost 5 inf + 0
4.864 * * [simplify]: Extracting #3: cost 4 inf + 1
4.864 * * [simplify]: Extracting #4: cost 0 inf + 405
4.864 * [simplify]: Simplified to (* (cbrt 4) (cbrt 4))
4.864 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* (* (cbrt 4) (cbrt 4)) (* (cbrt 4) (* i i))) 1.0) 4)))
4.864 * * * * [progress]: [ 54 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (sqrt 4) (* (sqrt 4) (* i i))) 1.0) 4)))>
4.864 * [simplify]: Simplifying (sqrt 4)
4.864 * * [simplify]: iters left: 1 (2 enodes)
4.866 * * [simplify]: Extracting #0: cost 1 inf + 0
4.866 * * [simplify]: Extracting #1: cost 0 inf + 1
4.866 * [simplify]: Simplified to 2
4.866 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (/ (* i i) (* (- (* 2 (* (sqrt 4) (* i i))) 1.0) 4)))
4.866 * * * * [progress]: [ 55 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 1 (* 4 (* i i))) 1.0) 4)))>
4.866 * * * * [progress]: [ 56 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (posit16->real (real->posit16 (* 4 (* i i)))) 1.0) 4)))>
4.866 * * * * [progress]: [ 57 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))>
4.866 * * * * [progress]: [ 58 / 66 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
4.866 * [simplify]: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
4.866 * * [simplify]: iters left: 6 (16 enodes)
4.873 * * [simplify]: iters left: 5 (70 enodes)
4.887 * * [simplify]: iters left: 4 (124 enodes)
4.923 * * [simplify]: iters left: 3 (247 enodes)
4.989 * * [simplify]: iters left: 2 (497 enodes)
5.278 * * [simplify]: Extracting #0: cost 1 inf + 0
5.278 * * [simplify]: Extracting #1: cost 28 inf + 0
5.279 * * [simplify]: Extracting #2: cost 139 inf + 0
5.280 * * [simplify]: Extracting #3: cost 264 inf + 373
5.287 * * [simplify]: Extracting #4: cost 150 inf + 18397
5.297 * * [simplify]: Extracting #5: cost 31 inf + 49327
5.317 * * [simplify]: Extracting #6: cost 1 inf + 59020
5.339 * * [simplify]: Extracting #7: cost 0 inf + 58952
5.361 * [simplify]: Simplified to (- (+ (* (* i i) (+ 0.25 (* (* (* i i) (* i i)) 4.0))) (* (* (* i i) (* i i)) 1.0)))
5.361 * [simplify]: Simplified (2) to (λ (i) (- (+ (* (* i i) (+ 0.25 (* (* (* i i) (* i i)) 4.0))) (* (* (* i i) (* i i)) 1.0))))
5.362 * * * * [progress]: [ 59 / 66 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
5.362 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.362 * * [simplify]: iters left: 6 (15 enodes)
5.373 * * [simplify]: iters left: 5 (64 enodes)
5.390 * * [simplify]: iters left: 4 (87 enodes)
5.406 * * [simplify]: iters left: 3 (109 enodes)
5.422 * * [simplify]: iters left: 2 (143 enodes)
5.459 * * [simplify]: iters left: 1 (214 enodes)
5.526 * * [simplify]: Extracting #0: cost 1 inf + 0
5.526 * * [simplify]: Extracting #1: cost 8 inf + 0
5.527 * * [simplify]: Extracting #2: cost 51 inf + 1
5.527 * * [simplify]: Extracting #3: cost 63 inf + 249
5.529 * * [simplify]: Extracting #4: cost 22 inf + 4615
5.533 * * [simplify]: Extracting #5: cost 2 inf + 6983
5.535 * * [simplify]: Extracting #6: cost 0 inf + 7309
5.537 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))
5.537 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
5.537 * * * * [progress]: [ 60 / 66 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
5.537 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
5.537 * * [simplify]: iters left: 6 (15 enodes)
5.544 * * [simplify]: iters left: 5 (64 enodes)
5.557 * * [simplify]: iters left: 4 (87 enodes)
5.577 * * [simplify]: iters left: 3 (109 enodes)
5.618 * * [simplify]: iters left: 2 (143 enodes)
5.668 * * [simplify]: iters left: 1 (214 enodes)
5.736 * * [simplify]: Extracting #0: cost 1 inf + 0
5.736 * * [simplify]: Extracting #1: cost 8 inf + 0
5.737 * * [simplify]: Extracting #2: cost 51 inf + 1
5.737 * * [simplify]: Extracting #3: cost 63 inf + 249
5.739 * * [simplify]: Extracting #4: cost 22 inf + 4615
5.743 * * [simplify]: Extracting #5: cost 2 inf + 6983
5.747 * * [simplify]: Extracting #6: cost 0 inf + 7309
5.751 * [simplify]: Simplified to (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))
5.751 * [simplify]: Simplified (2) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
5.751 * * * * [progress]: [ 61 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.752 * [simplify]: Simplifying (- (* 4 (pow i 2)) 1.0)
5.752 * * [simplify]: iters left: 5 (7 enodes)
5.757 * * [simplify]: iters left: 4 (29 enodes)
5.768 * * [simplify]: iters left: 3 (40 enodes)
5.780 * * [simplify]: iters left: 2 (47 enodes)
5.787 * * [simplify]: Extracting #0: cost 1 inf + 0
5.787 * * [simplify]: Extracting #1: cost 5 inf + 0
5.787 * * [simplify]: Extracting #2: cost 10 inf + 1
5.787 * * [simplify]: Extracting #3: cost 9 inf + 85
5.788 * * [simplify]: Extracting #4: cost 2 inf + 538
5.788 * * [simplify]: Extracting #5: cost 0 inf + 662
5.788 * [simplify]: Simplified to (- (* (* i i) 4) 1.0)
5.788 * [simplify]: Simplified (2 2 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.788 * * * * [progress]: [ 62 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.788 * [simplify]: Simplifying (- (* 4 (pow i 2)) 1.0)
5.788 * * [simplify]: iters left: 5 (7 enodes)
5.791 * * [simplify]: iters left: 4 (29 enodes)
5.797 * * [simplify]: iters left: 3 (40 enodes)
5.811 * * [simplify]: iters left: 2 (47 enodes)
5.825 * * [simplify]: Extracting #0: cost 1 inf + 0
5.825 * * [simplify]: Extracting #1: cost 5 inf + 0
5.825 * * [simplify]: Extracting #2: cost 10 inf + 1
5.825 * * [simplify]: Extracting #3: cost 9 inf + 85
5.825 * * [simplify]: Extracting #4: cost 2 inf + 538
5.826 * * [simplify]: Extracting #5: cost 0 inf + 662
5.826 * [simplify]: Simplified to (- (* (* i i) 4) 1.0)
5.826 * [simplify]: Simplified (2 2 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.826 * * * * [progress]: [ 63 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.827 * [simplify]: Simplifying (- (* 4 (pow i 2)) 1.0)
5.827 * * [simplify]: iters left: 5 (7 enodes)
5.833 * * [simplify]: iters left: 4 (29 enodes)
5.843 * * [simplify]: iters left: 3 (40 enodes)
5.858 * * [simplify]: iters left: 2 (47 enodes)
5.866 * * [simplify]: Extracting #0: cost 1 inf + 0
5.866 * * [simplify]: Extracting #1: cost 5 inf + 0
5.866 * * [simplify]: Extracting #2: cost 10 inf + 1
5.866 * * [simplify]: Extracting #3: cost 9 inf + 85
5.867 * * [simplify]: Extracting #4: cost 2 inf + 538
5.867 * * [simplify]: Extracting #5: cost 0 inf + 662
5.867 * [simplify]: Simplified to (- (* (* i i) 4) 1.0)
5.867 * [simplify]: Simplified (2 2 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.867 * * * * [progress]: [ 64 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.867 * [simplify]: Simplifying (* 4 (pow i 2))
5.867 * * [simplify]: iters left: 3 (5 enodes)
5.870 * * [simplify]: iters left: 2 (21 enodes)
5.874 * * [simplify]: iters left: 1 (29 enodes)
5.880 * * [simplify]: Extracting #0: cost 1 inf + 0
5.880 * * [simplify]: Extracting #1: cost 6 inf + 0
5.880 * * [simplify]: Extracting #2: cost 6 inf + 43
5.880 * * [simplify]: Extracting #3: cost 0 inf + 333
5.881 * [simplify]: Simplified to (* (* i i) 4)
5.881 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.881 * * * * [progress]: [ 65 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.881 * [simplify]: Simplifying (* 4 (pow i 2))
5.881 * * [simplify]: iters left: 3 (5 enodes)
5.884 * * [simplify]: iters left: 2 (21 enodes)
5.888 * * [simplify]: iters left: 1 (29 enodes)
5.898 * * [simplify]: Extracting #0: cost 1 inf + 0
5.898 * * [simplify]: Extracting #1: cost 6 inf + 0
5.898 * * [simplify]: Extracting #2: cost 6 inf + 43
5.898 * * [simplify]: Extracting #3: cost 0 inf + 333
5.898 * [simplify]: Simplified to (* (* i i) 4)
5.898 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.899 * * * * [progress]: [ 66 / 66 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* 4 (pow i 2)) 1.0) 4)))>
5.899 * [simplify]: Simplifying (* 4 (pow i 2))
5.899 * * [simplify]: iters left: 3 (5 enodes)
5.902 * * [simplify]: iters left: 2 (21 enodes)
5.910 * * [simplify]: iters left: 1 (29 enodes)
5.916 * * [simplify]: Extracting #0: cost 1 inf + 0
5.916 * * [simplify]: Extracting #1: cost 6 inf + 0
5.916 * * [simplify]: Extracting #2: cost 6 inf + 43
5.916 * * [simplify]: Extracting #3: cost 0 inf + 333
5.916 * [simplify]: Simplified to (* (* i i) 4)
5.916 * [simplify]: Simplified (2 2 1 1) to (λ (i) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)))
5.916 * * * [progress]: adding candidates to table
6.469 * * [progress]: iteration 2 / 4
6.469 * * * [progress]: picking best candidate
6.470 * * * * [pick]: Picked  #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))>
6.470 * * * [progress]: localizing error
6.485 * * * [progress]: generating rewritten candidates
6.485 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1)
6.492 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2)
6.559 * * * [progress]: generating series expansions
6.559 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1)
6.560 * [backup-simplify]: Simplify (/ 0.00390625 (* i i)) into (/ 0.00390625 (pow i 2))
6.560 * [approximate]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in (i) around 0
6.560 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in i
6.560 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.560 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.560 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.560 * [taylor]: Taking taylor expansion of i in i
6.560 * [backup-simplify]: Simplify 0 into 0
6.560 * [backup-simplify]: Simplify 1 into 1
6.560 * [backup-simplify]: Simplify (* 1 1) into 1
6.561 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
6.561 * [taylor]: Taking taylor expansion of (/ 0.00390625 (pow i 2)) in i
6.561 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.561 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
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 * [backup-simplify]: Simplify (* 1 1) into 1
6.561 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
6.561 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.562 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.562 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
6.562 * [backup-simplify]: Simplify 0 into 0
6.563 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.563 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.563 * [backup-simplify]: Simplify 0 into 0
6.564 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.565 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.565 * [backup-simplify]: Simplify 0 into 0
6.565 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.566 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.566 * [backup-simplify]: Simplify 0 into 0
6.567 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.567 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.567 * [backup-simplify]: Simplify 0 into 0
6.568 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.569 * [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
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 2)) into (/ 0.00390625 (pow i 2))
6.569 * [backup-simplify]: Simplify (/ 0.00390625 (* (/ 1 i) (/ 1 i))) into (* 0.00390625 (pow i 2))
6.569 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in (i) around 0
6.569 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.569 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.569 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.569 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.569 * [taylor]: Taking taylor expansion of i in i
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify 1 into 1
6.569 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.569 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.569 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.569 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.569 * [taylor]: Taking taylor expansion of i in i
6.569 * [backup-simplify]: Simplify 0 into 0
6.569 * [backup-simplify]: Simplify 1 into 1
6.570 * [backup-simplify]: Simplify (* 1 1) into 1
6.570 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.570 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.570 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.571 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
6.571 * [backup-simplify]: Simplify 0 into 0
6.571 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.572 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
6.572 * [backup-simplify]: Simplify 0 into 0
6.572 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.573 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.573 * [backup-simplify]: Simplify 0 into 0
6.574 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.574 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.574 * [backup-simplify]: Simplify 0 into 0
6.575 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.576 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.576 * [backup-simplify]: Simplify 0 into 0
6.577 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.579 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.579 * [backup-simplify]: Simplify 0 into 0
6.579 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 i) 2)) into (/ 0.00390625 (pow i 2))
6.580 * [backup-simplify]: Simplify (/ 0.00390625 (* (/ 1 (- i)) (/ 1 (- i)))) into (* 0.00390625 (pow i 2))
6.580 * [approximate]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in (i) around 0
6.580 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.580 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.580 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.580 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.580 * [taylor]: Taking taylor expansion of i in i
6.580 * [backup-simplify]: Simplify 0 into 0
6.580 * [backup-simplify]: Simplify 1 into 1
6.580 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.580 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.580 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.580 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.580 * [taylor]: Taking taylor expansion of i in i
6.580 * [backup-simplify]: Simplify 0 into 0
6.580 * [backup-simplify]: Simplify 1 into 1
6.580 * [backup-simplify]: Simplify (* 1 1) into 1
6.581 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.581 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.582 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.583 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
6.583 * [backup-simplify]: Simplify 0 into 0
6.584 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.585 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
6.585 * [backup-simplify]: Simplify 0 into 0
6.586 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.587 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.587 * [backup-simplify]: Simplify 0 into 0
6.588 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.590 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.590 * [backup-simplify]: Simplify 0 into 0
6.591 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.593 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.593 * [backup-simplify]: Simplify 0 into 0
6.594 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.596 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.596 * [backup-simplify]: Simplify 0 into 0
6.596 * [backup-simplify]: Simplify (* 0.00390625 (pow (/ 1 (- i)) 2)) into (/ 0.00390625 (pow i 2))
6.596 * * * * [progress]: [ 2 / 2 ] generating series at (2 2)
6.596 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) into (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2))
6.597 * [approximate]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in (i) around 0
6.597 * [taylor]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in i
6.597 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) in i
6.597 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 2))) in i
6.597 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.597 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.597 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.597 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.597 * [taylor]: Taking taylor expansion of i in i
6.597 * [backup-simplify]: Simplify 0 into 0
6.597 * [backup-simplify]: Simplify 1 into 1
6.597 * [backup-simplify]: Simplify (* 1 1) into 1
6.598 * [backup-simplify]: Simplify (/ 1 1) into 1
6.598 * [taylor]: Taking taylor expansion of 0.015625 in i
6.598 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.598 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.598 * [taylor]: Taking taylor expansion of i in i
6.598 * [backup-simplify]: Simplify 0 into 0
6.598 * [backup-simplify]: Simplify 1 into 1
6.598 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.599 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
6.599 * [backup-simplify]: Simplify (* 1 1) into 1
6.600 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
6.600 * [taylor]: Taking taylor expansion of (/ (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) (pow i 2)) in i
6.600 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (/ 1 (pow i 2))) 0.015625) in i
6.600 * [taylor]: Taking taylor expansion of (* 0.00390625 (/ 1 (pow i 2))) in i
6.600 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.600 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.600 * [taylor]: Taking taylor expansion of (/ 1 (pow i 2)) in i
6.600 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.600 * [taylor]: Taking taylor expansion of i in i
6.600 * [backup-simplify]: Simplify 0 into 0
6.600 * [backup-simplify]: Simplify 1 into 1
6.600 * [backup-simplify]: Simplify (* 1 1) into 1
6.601 * [backup-simplify]: Simplify (/ 1 1) into 1
6.601 * [taylor]: Taking taylor expansion of 0.015625 in i
6.601 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.601 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.601 * [taylor]: Taking taylor expansion of i in i
6.601 * [backup-simplify]: Simplify 0 into 0
6.601 * [backup-simplify]: Simplify 1 into 1
6.601 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.602 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
6.602 * [backup-simplify]: Simplify (* 1 1) into 1
6.603 * [backup-simplify]: Simplify (/ 0.00390625 1) into 0.00390625
6.603 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.603 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.604 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
6.605 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
6.605 * [backup-simplify]: Simplify (+ 0 0) into 0
6.606 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.607 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
6.607 * [backup-simplify]: Simplify 0 into 0
6.608 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.609 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.610 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
6.610 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625
6.611 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.614 * [backup-simplify]: Simplify (- (/ 0.015625 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0.015625
6.614 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.615 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.616 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.617 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.618 * [backup-simplify]: Simplify (+ 0 0) into 0
6.619 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.620 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)))) into 0
6.620 * [backup-simplify]: Simplify 0 into 0
6.621 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.622 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.623 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.624 * [backup-simplify]: Simplify (+ 0 0) into 0
6.625 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.626 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.626 * [backup-simplify]: Simplify 0 into 0
6.628 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.629 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.630 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.631 * [backup-simplify]: Simplify (+ 0 0) into 0
6.632 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.633 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.633 * [backup-simplify]: Simplify 0 into 0
6.635 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.636 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.641 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.641 * [backup-simplify]: Simplify (+ 0 0) into 0
6.643 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.644 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.645 * [backup-simplify]: Simplify 0 into 0
6.647 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.648 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.650 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.650 * [backup-simplify]: Simplify (+ 0 0) into 0
6.652 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.654 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.654 * [backup-simplify]: Simplify 0 into 0
6.656 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.659 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.659 * [backup-simplify]: Simplify (+ 0 0) into 0
6.661 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.663 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
6.663 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) (* 0.00390625 (pow (/ 1 i) 4))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
6.664 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* (/ 1 i) (/ 1 i))) 0.015625) (* (/ 1 i) (/ 1 i))) into (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625))
6.664 * [approximate]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in (i) around 0
6.664 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i
6.664 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.664 * [taylor]: Taking taylor expansion of i in i
6.664 * [backup-simplify]: Simplify 0 into 0
6.664 * [backup-simplify]: Simplify 1 into 1
6.664 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i
6.664 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.664 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.664 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.665 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.665 * [taylor]: Taking taylor expansion of i in i
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify 1 into 1
6.665 * [taylor]: Taking taylor expansion of 0.015625 in i
6.665 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.665 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i
6.665 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.665 * [taylor]: Taking taylor expansion of i in i
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify 1 into 1
6.665 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i
6.665 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.665 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.665 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.665 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.665 * [taylor]: Taking taylor expansion of i in i
6.665 * [backup-simplify]: Simplify 0 into 0
6.665 * [backup-simplify]: Simplify 1 into 1
6.665 * [taylor]: Taking taylor expansion of 0.015625 in i
6.665 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.666 * [backup-simplify]: Simplify (* 1 1) into 1
6.666 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625
6.667 * [backup-simplify]: Simplify (* 1 0.015625) into 0.015625
6.667 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.667 * [backup-simplify]: Simplify (+ 0 0) into 0
6.668 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.669 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.015625)) into 0
6.669 * [backup-simplify]: Simplify 0 into 0
6.669 * [backup-simplify]: Simplify (* 1 1) into 1
6.669 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.670 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
6.671 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.673 * [backup-simplify]: Simplify (+ (* 1 0.00390625) (+ (* 0 0) (* 0 0.015625))) into 0.00390625
6.673 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.674 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.675 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
6.675 * [backup-simplify]: Simplify (+ 0 0) into 0
6.676 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.677 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))) into 0
6.677 * [backup-simplify]: Simplify 0 into 0
6.678 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.678 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
6.678 * [backup-simplify]: Simplify (+ 0 0) into 0
6.679 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.680 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))) into 0
6.680 * [backup-simplify]: Simplify 0 into 0
6.681 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.681 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.682 * [backup-simplify]: Simplify (+ 0 0) into 0
6.683 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))) into 0
6.684 * [backup-simplify]: Simplify 0 into 0
6.684 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.685 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.686 * [backup-simplify]: Simplify (+ 0 0) into 0
6.686 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.688 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))) into 0
6.688 * [backup-simplify]: Simplify 0 into 0
6.689 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.690 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.690 * [backup-simplify]: Simplify (+ 0 0) into 0
6.691 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.693 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))))) into 0
6.693 * [backup-simplify]: Simplify 0 into 0
6.694 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.695 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.695 * [backup-simplify]: Simplify (+ 0 0) into 0
6.696 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.697 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))))) into 0
6.697 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 i) 4)) (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
6.698 * [backup-simplify]: Simplify (/ (+ (/ 0.00390625 (* (/ 1 (- i)) (/ 1 (- i)))) 0.015625) (* (/ 1 (- i)) (/ 1 (- i)))) into (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625))
6.698 * [approximate]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in (i) around 0
6.698 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i
6.698 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.698 * [taylor]: Taking taylor expansion of i in i
6.698 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify 1 into 1
6.698 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i
6.698 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.698 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.698 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.698 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.698 * [taylor]: Taking taylor expansion of i in i
6.698 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify 1 into 1
6.698 * [taylor]: Taking taylor expansion of 0.015625 in i
6.698 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.698 * [taylor]: Taking taylor expansion of (* (pow i 2) (+ (* 0.00390625 (pow i 2)) 0.015625)) in i
6.698 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.698 * [taylor]: Taking taylor expansion of i in i
6.698 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify 1 into 1
6.698 * [taylor]: Taking taylor expansion of (+ (* 0.00390625 (pow i 2)) 0.015625) in i
6.698 * [taylor]: Taking taylor expansion of (* 0.00390625 (pow i 2)) in i
6.698 * [taylor]: Taking taylor expansion of 0.00390625 in i
6.698 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.698 * [taylor]: Taking taylor expansion of (pow i 2) in i
6.698 * [taylor]: Taking taylor expansion of i in i
6.698 * [backup-simplify]: Simplify 0 into 0
6.698 * [backup-simplify]: Simplify 1 into 1
6.698 * [taylor]: Taking taylor expansion of 0.015625 in i
6.698 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.699 * [backup-simplify]: Simplify (* 1 1) into 1
6.699 * [backup-simplify]: Simplify (+ 0 0.015625) into 0.015625
6.699 * [backup-simplify]: Simplify (* 1 0.015625) into 0.015625
6.699 * [backup-simplify]: Simplify 0.015625 into 0.015625
6.700 * [backup-simplify]: Simplify (+ 0 0) into 0
6.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.700 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 0.015625)) into 0
6.700 * [backup-simplify]: Simplify 0 into 0
6.701 * [backup-simplify]: Simplify (* 1 1) into 1
6.701 * [backup-simplify]: Simplify (* 0.00390625 1) into 0.00390625
6.701 * [backup-simplify]: Simplify (+ 0.00390625 0) into 0.00390625
6.702 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.703 * [backup-simplify]: Simplify (+ (* 1 0.00390625) (+ (* 0 0) (* 0 0.015625))) into 0.00390625
6.703 * [backup-simplify]: Simplify 0.00390625 into 0.00390625
6.703 * [backup-simplify]: Simplify (+ (* 1 0) (* 0 1)) into 0
6.704 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
6.704 * [backup-simplify]: Simplify (+ 0 0) into 0
6.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.705 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))) into 0
6.705 * [backup-simplify]: Simplify 0 into 0
6.706 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
6.707 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
6.707 * [backup-simplify]: Simplify (+ 0 0) into 0
6.707 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.708 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))) into 0
6.708 * [backup-simplify]: Simplify 0 into 0
6.709 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.711 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
6.711 * [backup-simplify]: Simplify (+ 0 0) into 0
6.712 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.714 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))) into 0
6.714 * [backup-simplify]: Simplify 0 into 0
6.715 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.717 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
6.717 * [backup-simplify]: Simplify (+ 0 0) into 0
6.719 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.721 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))) into 0
6.721 * [backup-simplify]: Simplify 0 into 0
6.723 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.724 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
6.724 * [backup-simplify]: Simplify (+ 0 0) into 0
6.726 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
6.728 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625)))))))) into 0
6.728 * [backup-simplify]: Simplify 0 into 0
6.730 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.732 * [backup-simplify]: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
6.732 * [backup-simplify]: Simplify (+ 0 0) into 0
6.734 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0
6.736 * [backup-simplify]: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0.00390625) (+ (* 0 0) (* 0 0.015625))))))))) into 0
6.736 * [backup-simplify]: Simplify 0 into 0
6.737 * [backup-simplify]: Simplify (+ (* 0.00390625 (pow (/ 1 (- i)) 4)) (* 0.015625 (pow (/ 1 (- i)) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
6.737 * * * [progress]: simplifying candidates
6.737 * * * * [progress]: [ 1 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (pow (/ 0.00390625 (* i i)) 1) 0.015625) (* i i))))>
6.737 * * * * [progress]: [ 2 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (+ (log i) (log i)))) 0.015625) (* i i))))>
6.737 * [simplify]: Simplifying (- (log 0.00390625) (+ (log i) (log i)))
6.737 * * [simplify]: iters left: 5 (6 enodes)
6.739 * * [simplify]: iters left: 4 (22 enodes)
6.743 * * [simplify]: iters left: 3 (31 enodes)
6.749 * * [simplify]: iters left: 2 (39 enodes)
6.755 * * [simplify]: iters left: 1 (45 enodes)
6.767 * * [simplify]: Extracting #0: cost 1 inf + 0
6.767 * * [simplify]: Extracting #1: cost 10 inf + 0
6.767 * * [simplify]: Extracting #2: cost 20 inf + 0
6.767 * * [simplify]: Extracting #3: cost 16 inf + 184
6.768 * * [simplify]: Extracting #4: cost 5 inf + 1698
6.768 * * [simplify]: Extracting #5: cost 0 inf + 2537
6.769 * [simplify]: Simplified to (- (log 0.00390625) (+ (log i) (log i)))
6.769 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (+ (log i) (log i)))) 0.015625) (* i i))))
6.769 * * * * [progress]: [ 3 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (log (* i i)))) 0.015625) (* i i))))>
6.770 * [simplify]: Simplifying (- (log 0.00390625) (log (* i i)))
6.770 * * [simplify]: iters left: 5 (6 enodes)
6.774 * * [simplify]: iters left: 4 (22 enodes)
6.781 * * [simplify]: iters left: 3 (31 enodes)
6.791 * * [simplify]: iters left: 2 (41 enodes)
6.804 * * [simplify]: iters left: 1 (48 enodes)
6.818 * * [simplify]: Extracting #0: cost 1 inf + 0
6.818 * * [simplify]: Extracting #1: cost 12 inf + 0
6.818 * * [simplify]: Extracting #2: cost 25 inf + 0
6.819 * * [simplify]: Extracting #3: cost 10 inf + 1748
6.820 * * [simplify]: Extracting #4: cost 0 inf + 3263
6.821 * [simplify]: Simplified to (- (log 0.00390625) (+ (log i) (log i)))
6.821 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (exp (- (log 0.00390625) (+ (log i) (log i)))) 0.015625) (* i i))))
6.821 * * * * [progress]: [ 4 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (exp (log (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
6.821 * * * * [progress]: [ 5 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (log (exp (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
6.821 * * * * [progress]: [ 6 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (cbrt (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) i) (* (* i i) i)))) 0.015625) (* i i))))>
6.821 * [simplify]: Simplifying (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) i) (* (* i i) i)))
6.822 * * [simplify]: iters left: 6 (8 enodes)
6.827 * * [simplify]: iters left: 5 (39 enodes)
6.846 * * [simplify]: iters left: 4 (119 enodes)
6.902 * * [simplify]: iters left: 3 (376 enodes)
7.192 * * [simplify]: Extracting #0: cost 1 inf + 0
7.192 * * [simplify]: Extracting #1: cost 66 inf + 0
7.193 * * [simplify]: Extracting #2: cost 133 inf + 815
7.197 * * [simplify]: Extracting #3: cost 54 inf + 14242
7.203 * * [simplify]: Extracting #4: cost 2 inf + 24743
7.216 * * [simplify]: Extracting #5: cost 0 inf + 25007
7.229 * [simplify]: Simplified to (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))
7.229 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (cbrt (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))) 0.015625) (* i i))))
7.230 * * * * [progress]: [ 7 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (cbrt (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) (* i i)) (* i i)))) 0.015625) (* i i))))>
7.230 * [simplify]: Simplifying (/ (* (* 0.00390625 0.00390625) 0.00390625) (* (* (* i i) (* i i)) (* i i)))
7.230 * * [simplify]: iters left: 6 (8 enodes)
7.235 * * [simplify]: iters left: 5 (40 enodes)
7.254 * * [simplify]: iters left: 4 (121 enodes)
7.324 * * [simplify]: iters left: 3 (380 enodes)
7.607 * * [simplify]: Extracting #0: cost 1 inf + 0
7.608 * * [simplify]: Extracting #1: cost 68 inf + 0
7.609 * * [simplify]: Extracting #2: cost 133 inf + 1986
7.616 * * [simplify]: Extracting #3: cost 66 inf + 12595
7.629 * * [simplify]: Extracting #4: cost 6 inf + 25817
7.638 * * [simplify]: Extracting #5: cost 0 inf + 27292
7.645 * [simplify]: Simplified to (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))
7.645 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (cbrt (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))))) 0.015625) (* i i))))
7.646 * * * * [progress]: [ 8 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* (* (cbrt (/ 0.00390625 (* i i))) (cbrt (/ 0.00390625 (* i i)))) (cbrt (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
7.646 * * * * [progress]: [ 9 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (cbrt (* (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
7.646 * * * * [progress]: [ 10 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* (sqrt (/ 0.00390625 (* i i))) (sqrt (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
7.646 * * * * [progress]: [ 11 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ (- 0.00390625) (- (* i i))) 0.015625) (* i i))))>
7.646 * * * * [progress]: [ 12 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) (/ (cbrt 0.00390625) i)) 0.015625) (* i i))))>
7.646 * [simplify]: Simplifying (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i)
7.646 * * [simplify]: iters left: 5 (5 enodes)
7.648 * * [simplify]: iters left: 4 (17 enodes)
7.652 * * [simplify]: iters left: 3 (21 enodes)
7.656 * * [simplify]: iters left: 2 (24 enodes)
7.663 * * [simplify]: Extracting #0: cost 1 inf + 0
7.663 * * [simplify]: Extracting #1: cost 7 inf + 0
7.663 * * [simplify]: Extracting #2: cost 11 inf + 1
7.663 * * [simplify]: Extracting #3: cost 10 inf + 2
7.664 * * [simplify]: Extracting #4: cost 0 inf + 1218
7.664 * [simplify]: Simplified to (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i)
7.664 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) (/ (cbrt 0.00390625) i)) 0.015625) (* i i))))
7.664 * [simplify]: Simplifying (/ (cbrt 0.00390625) i)
7.664 * * [simplify]: iters left: 3 (4 enodes)
7.667 * * [simplify]: iters left: 2 (12 enodes)
7.672 * * [simplify]: Extracting #0: cost 1 inf + 0
7.672 * * [simplify]: Extracting #1: cost 4 inf + 0
7.672 * * [simplify]: Extracting #2: cost 5 inf + 1
7.672 * * [simplify]: Extracting #3: cost 4 inf + 2
7.672 * * [simplify]: Extracting #4: cost 0 inf + 408
7.672 * [simplify]: Simplified to (/ (cbrt 0.00390625) i)
7.672 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) i) (/ (cbrt 0.00390625) i)) 0.015625) (* i i))))
7.673 * * * * [progress]: [ 13 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* (/ (sqrt 0.00390625) i) (/ (sqrt 0.00390625) i)) 0.015625) (* i i))))>
7.673 * [simplify]: Simplifying (/ (sqrt 0.00390625) i)
7.673 * * [simplify]: iters left: 3 (4 enodes)
7.676 * * [simplify]: iters left: 2 (12 enodes)
7.680 * * [simplify]: Extracting #0: cost 1 inf + 0
7.680 * * [simplify]: Extracting #1: cost 4 inf + 0
7.680 * * [simplify]: Extracting #2: cost 5 inf + 1
7.681 * * [simplify]: Extracting #3: cost 4 inf + 2
7.681 * * [simplify]: Extracting #4: cost 0 inf + 248
7.681 * [simplify]: Simplified to (/ (sqrt 0.00390625) i)
7.681 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ (sqrt 0.00390625) i) (/ (sqrt 0.00390625) i)) 0.015625) (* i i))))
7.681 * [simplify]: Simplifying (/ (sqrt 0.00390625) i)
7.681 * * [simplify]: iters left: 3 (4 enodes)
7.684 * * [simplify]: iters left: 2 (12 enodes)
7.688 * * [simplify]: Extracting #0: cost 1 inf + 0
7.688 * * [simplify]: Extracting #1: cost 4 inf + 0
7.688 * * [simplify]: Extracting #2: cost 5 inf + 1
7.688 * * [simplify]: Extracting #3: cost 4 inf + 2
7.688 * * [simplify]: Extracting #4: cost 0 inf + 248
7.688 * [simplify]: Simplified to (/ (sqrt 0.00390625) i)
7.688 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ (sqrt 0.00390625) i) (/ (sqrt 0.00390625) i)) 0.015625) (* i i))))
7.688 * * * * [progress]: [ 14 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* (/ 1 i) (/ 0.00390625 i)) 0.015625) (* i i))))>
7.689 * [simplify]: Simplifying (/ 1 i)
7.689 * * [simplify]: iters left: 2 (3 enodes)
7.690 * * [simplify]: iters left: 1 (11 enodes)
7.692 * * [simplify]: Extracting #0: cost 1 inf + 0
7.692 * * [simplify]: Extracting #1: cost 4 inf + 0
7.692 * * [simplify]: Extracting #2: cost 2 inf + 2
7.692 * * [simplify]: Extracting #3: cost 0 inf + 86
7.692 * [simplify]: Simplified to (/ 1 i)
7.692 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (* (/ 1 i) (/ 0.00390625 i)) 0.015625) (* i i))))
7.692 * [simplify]: Simplifying (/ 0.00390625 i)
7.692 * * [simplify]: iters left: 2 (3 enodes)
7.693 * * [simplify]: iters left: 1 (9 enodes)
7.694 * * [simplify]: Extracting #0: cost 1 inf + 0
7.694 * * [simplify]: Extracting #1: cost 4 inf + 0
7.694 * * [simplify]: Extracting #2: cost 2 inf + 2
7.695 * * [simplify]: Extracting #3: cost 0 inf + 86
7.695 * [simplify]: Simplified to (/ 0.00390625 i)
7.695 * [simplify]: Simplified (2 2 1 1 2) to (λ (i) (+ 1/16 (/ (+ (* (/ 1 i) (/ 0.00390625 i)) 0.015625) (* i i))))
7.695 * * * * [progress]: [ 15 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* 1 (/ 0.00390625 (* i i))) 0.015625) (* i i))))>
7.695 * * * * [progress]: [ 16 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (* 0.00390625 (/ 1 (* i i))) 0.015625) (* i i))))>
7.695 * * * * [progress]: [ 17 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ 1 (/ (* i i) 0.00390625)) 0.015625) (* i i))))>
7.695 * * * * [progress]: [ 18 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))))>
7.695 * * * * [progress]: [ 19 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (/ (* i i) (cbrt 0.00390625))) 0.015625) (* i i))))>
7.695 * [simplify]: Simplifying (* (cbrt 0.00390625) (cbrt 0.00390625))
7.695 * * [simplify]: iters left: 3 (3 enodes)
7.696 * * [simplify]: iters left: 2 (9 enodes)
7.701 * * [simplify]: Extracting #0: cost 1 inf + 0
7.701 * * [simplify]: Extracting #1: cost 3 inf + 0
7.701 * * [simplify]: Extracting #2: cost 5 inf + 0
7.702 * * [simplify]: Extracting #3: cost 4 inf + 1
7.702 * * [simplify]: Extracting #4: cost 0 inf + 405
7.702 * [simplify]: Simplified to (* (cbrt 0.00390625) (cbrt 0.00390625))
7.702 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (/ (* (cbrt 0.00390625) (cbrt 0.00390625)) (/ (* i i) (cbrt 0.00390625))) 0.015625) (* i i))))
7.702 * * * * [progress]: [ 20 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ (sqrt 0.00390625) (/ (* i i) (sqrt 0.00390625))) 0.015625) (* i i))))>
7.702 * [simplify]: Simplifying (sqrt 0.00390625)
7.702 * * [simplify]: iters left: 1 (2 enodes)
7.703 * * [simplify]: Extracting #0: cost 1 inf + 0
7.703 * * [simplify]: Extracting #1: cost 3 inf + 0
7.703 * * [simplify]: Extracting #2: cost 2 inf + 1
7.703 * * [simplify]: Extracting #3: cost 0 inf + 83
7.703 * [simplify]: Simplified to (sqrt 0.00390625)
7.703 * [simplify]: Simplified (2 2 1 1 1) to (λ (i) (+ 1/16 (/ (+ (/ (sqrt 0.00390625) (/ (* i i) (sqrt 0.00390625))) 0.015625) (* i i))))
7.703 * * * * [progress]: [ 21 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ 1 (/ (* i i) 0.00390625)) 0.015625) (* i i))))>
7.703 * * * * [progress]: [ 22 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (posit16->real (real->posit16 (/ 0.00390625 (* i i)))) 0.015625) (* i i))))>
7.703 * * * * [progress]: [ 23 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (pow (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) 1)))>
7.703 * * * * [progress]: [ 24 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i))))))>
7.704 * [simplify]: Simplifying (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i)))
7.704 * * [simplify]: iters left: 6 (10 enodes)
7.707 * * [simplify]: iters left: 5 (37 enodes)
7.713 * * [simplify]: iters left: 4 (48 enodes)
7.724 * * [simplify]: iters left: 3 (56 enodes)
7.733 * * [simplify]: iters left: 2 (62 enodes)
7.742 * * [simplify]: iters left: 1 (68 enodes)
7.752 * * [simplify]: Extracting #0: cost 1 inf + 0
7.752 * * [simplify]: Extracting #1: cost 12 inf + 0
7.753 * * [simplify]: Extracting #2: cost 24 inf + 0
7.753 * * [simplify]: Extracting #3: cost 26 inf + 1
7.753 * * [simplify]: Extracting #4: cost 26 inf + 255
7.753 * * [simplify]: Extracting #5: cost 20 inf + 974
7.754 * * [simplify]: Extracting #6: cost 14 inf + 1467
7.755 * * [simplify]: Extracting #7: cost 3 inf + 4710
7.757 * * [simplify]: Extracting #8: cost 0 inf + 5519
7.759 * [simplify]: Simplified to (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i)))
7.759 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (log i) (log i))))))
7.759 * * * * [progress]: [ 25 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i))))))>
7.759 * [simplify]: Simplifying (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i)))
7.760 * * [simplify]: iters left: 6 (9 enodes)
7.764 * * [simplify]: iters left: 5 (34 enodes)
7.775 * * [simplify]: iters left: 4 (45 enodes)
7.789 * * [simplify]: iters left: 3 (54 enodes)
7.804 * * [simplify]: iters left: 2 (61 enodes)
7.815 * * [simplify]: iters left: 1 (73 enodes)
7.829 * * [simplify]: Extracting #0: cost 1 inf + 0
7.830 * * [simplify]: Extracting #1: cost 12 inf + 0
7.830 * * [simplify]: Extracting #2: cost 25 inf + 0
7.830 * * [simplify]: Extracting #3: cost 27 inf + 72
7.830 * * [simplify]: Extracting #4: cost 23 inf + 599
7.830 * * [simplify]: Extracting #5: cost 20 inf + 973
7.830 * * [simplify]: Extracting #6: cost 16 inf + 1262
7.831 * * [simplify]: Extracting #7: cost 3 inf + 4450
7.832 * * [simplify]: Extracting #8: cost 0 inf + 5439
7.833 * [simplify]: Simplified to (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i)))
7.833 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (exp (- (log (+ (/ 0.00390625 (* i i)) 0.015625)) (log (* i i))))))
7.833 * * * * [progress]: [ 26 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (exp (log (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
7.833 * * * * [progress]: [ 27 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (log (exp (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
7.833 * * * * [progress]: [ 28 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (cbrt (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) i) (* (* i i) i))))))>
7.833 * [simplify]: Simplifying (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) i) (* (* i i) i)))
7.833 * * [simplify]: iters left: 6 (11 enodes)
7.837 * * [simplify]: iters left: 5 (63 enodes)
7.859 * * [simplify]: iters left: 4 (227 enodes)
7.958 * * [simplify]: Extracting #0: cost 1 inf + 0
7.958 * * [simplify]: Extracting #1: cost 51 inf + 0
7.959 * * [simplify]: Extracting #2: cost 134 inf + 1
7.960 * * [simplify]: Extracting #3: cost 194 inf + 330
7.966 * * [simplify]: Extracting #4: cost 115 inf + 16760
7.977 * * [simplify]: Extracting #5: cost 6 inf + 43051
7.990 * * [simplify]: Extracting #6: cost 0 inf + 43469
8.014 * * [simplify]: Extracting #7: cost 0 inf + 43349
8.038 * [simplify]: Simplified to (* (* (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)))
8.038 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (cbrt (* (* (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i)) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))) (/ (+ (/ (/ 0.00390625 i) i) 0.015625) (* i i))))))
8.039 * * * * [progress]: [ 29 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (cbrt (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) (* i i)) (* i i))))))>
8.039 * [simplify]: Simplifying (/ (* (* (+ (/ 0.00390625 (* i i)) 0.015625) (+ (/ 0.00390625 (* i i)) 0.015625)) (+ (/ 0.00390625 (* i i)) 0.015625)) (* (* (* i i) (* i i)) (* i i)))
8.039 * * [simplify]: iters left: 6 (11 enodes)
8.044 * * [simplify]: iters left: 5 (64 enodes)
8.061 * * [simplify]: iters left: 4 (231 enodes)
8.164 * * [simplify]: Extracting #0: cost 1 inf + 0
8.165 * * [simplify]: Extracting #1: cost 56 inf + 0
8.165 * * [simplify]: Extracting #2: cost 136 inf + 214
8.167 * * [simplify]: Extracting #3: cost 195 inf + 965
8.173 * * [simplify]: Extracting #4: cost 111 inf + 16938
8.184 * * [simplify]: Extracting #5: cost 6 inf + 41027
8.199 * * [simplify]: Extracting #6: cost 0 inf + 42045
8.214 * [simplify]: Simplified to (* (* (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))
8.214 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (cbrt (* (* (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))
8.215 * * * * [progress]: [ 30 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (* (cbrt (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (cbrt (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))) (cbrt (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
8.215 * * * * [progress]: [ 31 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (cbrt (* (* (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
8.215 * * * * [progress]: [ 32 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (sqrt (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))) (sqrt (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
8.215 * * * * [progress]: [ 33 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (- (+ (/ 0.00390625 (* i i)) 0.015625)) (- (* i i)))))>
8.215 * * * * [progress]: [ 34 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (/ (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) i) (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i))))>
8.215 * [simplify]: Simplifying (/ (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) i)
8.215 * * [simplify]: iters left: 6 (9 enodes)
8.221 * * [simplify]: iters left: 5 (32 enodes)
8.231 * * [simplify]: iters left: 4 (38 enodes)
8.242 * * [simplify]: iters left: 3 (41 enodes)
8.255 * * [simplify]: Extracting #0: cost 1 inf + 0
8.255 * * [simplify]: Extracting #1: cost 7 inf + 0
8.255 * * [simplify]: Extracting #2: cost 11 inf + 1
8.255 * * [simplify]: Extracting #3: cost 14 inf + 1
8.255 * * [simplify]: Extracting #4: cost 17 inf + 2
8.255 * * [simplify]: Extracting #5: cost 14 inf + 291
8.256 * * [simplify]: Extracting #6: cost 5 inf + 1714
8.257 * * [simplify]: Extracting #7: cost 0 inf + 3009
8.258 * [simplify]: Simplified to (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)))
8.258 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i))))
8.258 * [simplify]: Simplifying (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i)
8.258 * * [simplify]: iters left: 6 (8 enodes)
8.263 * * [simplify]: iters left: 5 (27 enodes)
8.271 * * [simplify]: iters left: 4 (29 enodes)
8.280 * * [simplify]: Extracting #0: cost 1 inf + 0
8.280 * * [simplify]: Extracting #1: cost 4 inf + 0
8.280 * * [simplify]: Extracting #2: cost 5 inf + 1
8.280 * * [simplify]: Extracting #3: cost 8 inf + 1
8.281 * * [simplify]: Extracting #4: cost 11 inf + 2
8.281 * * [simplify]: Extracting #5: cost 11 inf + 44
8.281 * * [simplify]: Extracting #6: cost 6 inf + 374
8.281 * * [simplify]: Extracting #7: cost 1 inf + 1228
8.282 * * [simplify]: Extracting #8: cost 0 inf + 1471
8.282 * [simplify]: Simplified to (/ (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i)
8.282 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (* (/ (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) (/ (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i))))
8.282 * * * * [progress]: [ 35 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i))))>
8.283 * [simplify]: Simplifying (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i)
8.283 * * [simplify]: iters left: 6 (8 enodes)
8.287 * * [simplify]: iters left: 5 (27 enodes)
8.296 * * [simplify]: iters left: 4 (29 enodes)
8.300 * * [simplify]: Extracting #0: cost 1 inf + 0
8.301 * * [simplify]: Extracting #1: cost 4 inf + 0
8.301 * * [simplify]: Extracting #2: cost 5 inf + 1
8.301 * * [simplify]: Extracting #3: cost 8 inf + 1
8.301 * * [simplify]: Extracting #4: cost 11 inf + 2
8.301 * * [simplify]: Extracting #5: cost 11 inf + 44
8.301 * * [simplify]: Extracting #6: cost 6 inf + 374
8.301 * * [simplify]: Extracting #7: cost 1 inf + 1108
8.301 * * [simplify]: Extracting #8: cost 0 inf + 1311
8.302 * [simplify]: Simplified to (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i)
8.302 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i) (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i))))
8.302 * [simplify]: Simplifying (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i)
8.302 * * [simplify]: iters left: 6 (8 enodes)
8.304 * * [simplify]: iters left: 5 (27 enodes)
8.309 * * [simplify]: iters left: 4 (29 enodes)
8.313 * * [simplify]: Extracting #0: cost 1 inf + 0
8.313 * * [simplify]: Extracting #1: cost 4 inf + 0
8.313 * * [simplify]: Extracting #2: cost 5 inf + 1
8.313 * * [simplify]: Extracting #3: cost 8 inf + 1
8.313 * * [simplify]: Extracting #4: cost 11 inf + 2
8.313 * * [simplify]: Extracting #5: cost 11 inf + 44
8.314 * * [simplify]: Extracting #6: cost 6 inf + 374
8.314 * * [simplify]: Extracting #7: cost 1 inf + 1108
8.314 * * [simplify]: Extracting #8: cost 0 inf + 1311
8.314 * [simplify]: Simplified to (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i)
8.314 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) i) (/ (sqrt (+ (/ (/ 0.00390625 i) i) 0.015625)) i))))
8.314 * * * * [progress]: [ 36 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))>
8.315 * [simplify]: Simplifying (/ 1 i)
8.315 * * [simplify]: iters left: 2 (3 enodes)
8.316 * * [simplify]: iters left: 1 (11 enodes)
8.319 * * [simplify]: Extracting #0: cost 1 inf + 0
8.319 * * [simplify]: Extracting #1: cost 4 inf + 0
8.319 * * [simplify]: Extracting #2: cost 2 inf + 2
8.319 * * [simplify]: Extracting #3: cost 0 inf + 86
8.319 * [simplify]: Simplified to (/ 1 i)
8.319 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))
8.320 * [simplify]: Simplifying (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)
8.320 * * [simplify]: iters left: 6 (7 enodes)
8.323 * * [simplify]: iters left: 5 (24 enodes)
8.332 * * [simplify]: iters left: 4 (26 enodes)
8.339 * * [simplify]: Extracting #0: cost 1 inf + 0
8.340 * * [simplify]: Extracting #1: cost 4 inf + 0
8.340 * * [simplify]: Extracting #2: cost 6 inf + 1
8.340 * * [simplify]: Extracting #3: cost 9 inf + 2
8.340 * * [simplify]: Extracting #4: cost 9 inf + 44
8.340 * * [simplify]: Extracting #5: cost 3 inf + 456
8.340 * * [simplify]: Extracting #6: cost 1 inf + 742
8.341 * * [simplify]: Extracting #7: cost 0 inf + 905
8.341 * [simplify]: Simplified to (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)
8.341 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))
8.341 * * * * [progress]: [ 37 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))>
8.342 * [simplify]: Simplifying (/ 1 i)
8.342 * * [simplify]: iters left: 2 (3 enodes)
8.343 * * [simplify]: iters left: 1 (11 enodes)
8.347 * * [simplify]: Extracting #0: cost 1 inf + 0
8.347 * * [simplify]: Extracting #1: cost 4 inf + 0
8.347 * * [simplify]: Extracting #2: cost 2 inf + 2
8.347 * * [simplify]: Extracting #3: cost 0 inf + 86
8.347 * [simplify]: Simplified to (/ 1 i)
8.348 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))
8.348 * [simplify]: Simplifying (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)
8.348 * * [simplify]: iters left: 6 (7 enodes)
8.353 * * [simplify]: iters left: 5 (24 enodes)
8.361 * * [simplify]: iters left: 4 (26 enodes)
8.369 * * [simplify]: Extracting #0: cost 1 inf + 0
8.369 * * [simplify]: Extracting #1: cost 4 inf + 0
8.369 * * [simplify]: Extracting #2: cost 6 inf + 1
8.369 * * [simplify]: Extracting #3: cost 9 inf + 2
8.370 * * [simplify]: Extracting #4: cost 9 inf + 44
8.370 * * [simplify]: Extracting #5: cost 3 inf + 456
8.370 * * [simplify]: Extracting #6: cost 1 inf + 742
8.370 * * [simplify]: Extracting #7: cost 0 inf + 905
8.371 * [simplify]: Simplified to (/ (+ (/ 0.00390625 (* i i)) 0.015625) i)
8.371 * [simplify]: Simplified (2 2 2) to (λ (i) (+ 1/16 (* (/ 1 i) (/ (+ (/ 0.00390625 (* i i)) 0.015625) i))))
8.371 * * * * [progress]: [ 38 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* 1 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)))))>
8.371 * * * * [progress]: [ 39 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (* (+ (/ 0.00390625 (* i i)) 0.015625) (/ 1 (* i i)))))>
8.371 * * * * [progress]: [ 40 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ 1 (/ (* i i) (+ (/ 0.00390625 (* i i)) 0.015625)))))>
8.371 * * * * [progress]: [ 41 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (/ (+ (/ 0.00390625 (* i i)) 0.015625) i) i)))>
8.371 * * * * [progress]: [ 42 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))) (/ (* i i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))))))>
8.372 * [simplify]: Simplifying (* (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625)))
8.372 * * [simplify]: iters left: 6 (8 enodes)
8.377 * * [simplify]: iters left: 5 (27 enodes)
8.386 * * [simplify]: iters left: 4 (29 enodes)
8.397 * * [simplify]: Extracting #0: cost 1 inf + 0
8.397 * * [simplify]: Extracting #1: cost 3 inf + 0
8.397 * * [simplify]: Extracting #2: cost 5 inf + 0
8.397 * * [simplify]: Extracting #3: cost 8 inf + 0
8.397 * * [simplify]: Extracting #4: cost 12 inf + 1
8.397 * * [simplify]: Extracting #5: cost 12 inf + 3
8.398 * * [simplify]: Extracting #6: cost 6 inf + 374
8.398 * * [simplify]: Extracting #7: cost 1 inf + 1228
8.398 * * [simplify]: Extracting #8: cost 0 inf + 1471
8.399 * [simplify]: Simplified to (* (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)))
8.399 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (* (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625)) (cbrt (+ (/ (/ 0.00390625 i) i) 0.015625))) (/ (* i i) (cbrt (+ (/ 0.00390625 (* i i)) 0.015625))))))
8.399 * * * * [progress]: [ 43 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) (/ (* i i) (sqrt (+ (/ 0.00390625 (* i i)) 0.015625))))))>
8.400 * [simplify]: Simplifying (sqrt (+ (/ 0.00390625 (* i i)) 0.015625))
8.400 * * [simplify]: iters left: 6 (7 enodes)
8.405 * * [simplify]: iters left: 5 (24 enodes)
8.412 * * [simplify]: iters left: 4 (26 enodes)
8.417 * * [simplify]: Extracting #0: cost 1 inf + 0
8.417 * * [simplify]: Extracting #1: cost 3 inf + 0
8.417 * * [simplify]: Extracting #2: cost 6 inf + 0
8.417 * * [simplify]: Extracting #3: cost 10 inf + 1
8.417 * * [simplify]: Extracting #4: cost 9 inf + 44
8.417 * * [simplify]: Extracting #5: cost 3 inf + 456
8.417 * * [simplify]: Extracting #6: cost 1 inf + 742
8.417 * * [simplify]: Extracting #7: cost 0 inf + 905
8.418 * [simplify]: Simplified to (sqrt (+ (/ 0.00390625 (* i i)) 0.015625))
8.418 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (sqrt (+ (/ 0.00390625 (* i i)) 0.015625)) (/ (* i i) (sqrt (+ (/ 0.00390625 (* i i)) 0.015625))))))
8.418 * * * * [progress]: [ 44 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ 1 (/ (* i i) (+ (/ 0.00390625 (* i i)) 0.015625)))))>
8.418 * * * * [progress]: [ 45 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ 1 (/ (* i i) (+ (/ 0.00390625 (* i i)) 0.015625)))))>
8.418 * * * * [progress]: [ 46 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (pow (/ 0.00390625 (* i i)) 3) (pow 0.015625 3)) (* (* i i) (+ (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (- (* 0.015625 0.015625) (* (/ 0.00390625 (* i i)) 0.015625)))))))>
8.418 * [simplify]: Simplifying (+ (pow (/ 0.00390625 (* i i)) 3) (pow 0.015625 3))
8.418 * * [simplify]: iters left: 6 (9 enodes)
8.423 * * [simplify]: iters left: 5 (46 enodes)
8.435 * * [simplify]: iters left: 4 (109 enodes)
8.493 * * [simplify]: iters left: 3 (310 enodes)
8.629 * * [simplify]: Extracting #0: cost 1 inf + 0
8.630 * * [simplify]: Extracting #1: cost 4 inf + 0
8.630 * * [simplify]: Extracting #2: cost 100 inf + 0
8.631 * * [simplify]: Extracting #3: cost 195 inf + 2335
8.635 * * [simplify]: Extracting #4: cost 116 inf + 15506
8.640 * * [simplify]: Extracting #5: cost 37 inf + 38748
8.648 * * [simplify]: Extracting #6: cost 0 inf + 52180
8.666 * [simplify]: Simplified to (+ (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) (* (* 0.015625 0.015625) 0.015625))
8.666 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (+ (* (/ 0.00390625 (* i i)) (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i)))) (* (* 0.015625 0.015625) 0.015625)) (* (* i i) (+ (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (- (* 0.015625 0.015625) (* (/ 0.00390625 (* i i)) 0.015625)))))))
8.666 * * * * [progress]: [ 47 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625)) (* (* i i) (- (/ 0.00390625 (* i i)) 0.015625)))))>
8.667 * [simplify]: Simplifying (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625))
8.667 * * [simplify]: iters left: 6 (8 enodes)
8.672 * * [simplify]: iters left: 5 (35 enodes)
8.684 * * [simplify]: iters left: 4 (71 enodes)
8.711 * * [simplify]: iters left: 3 (131 enodes)
8.743 * * [simplify]: iters left: 2 (221 enodes)
8.802 * * [simplify]: iters left: 1 (391 enodes)
8.922 * * [simplify]: Extracting #0: cost 1 inf + 0
8.923 * * [simplify]: Extracting #1: cost 22 inf + 0
8.923 * * [simplify]: Extracting #2: cost 105 inf + 0
8.923 * * [simplify]: Extracting #3: cost 127 inf + 1390
8.928 * * [simplify]: Extracting #4: cost 36 inf + 14915
8.934 * * [simplify]: Extracting #5: cost 1 inf + 20633
8.940 * * [simplify]: Extracting #6: cost 0 inf + 20845
8.950 * [simplify]: Simplified to (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625))
8.950 * [simplify]: Simplified (2 2 1) to (λ (i) (+ 1/16 (/ (- (* (/ 0.00390625 (* i i)) (/ 0.00390625 (* i i))) (* 0.015625 0.015625)) (* (* i i) (- (/ 0.00390625 (* i i)) 0.015625)))))
8.951 * * * * [progress]: [ 48 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (posit16->real (real->posit16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))))>
8.951 * * * * [progress]: [ 49 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (pow i 2)) 0.015625) (* i i))))>
8.951 * [simplify]: Simplifying (/ 0.00390625 (pow i 2))
8.951 * * [simplify]: iters left: 3 (5 enodes)
8.955 * * [simplify]: iters left: 2 (20 enodes)
8.962 * * [simplify]: iters left: 1 (26 enodes)
8.970 * * [simplify]: Extracting #0: cost 1 inf + 0
8.970 * * [simplify]: Extracting #1: cost 6 inf + 0
8.970 * * [simplify]: Extracting #2: cost 6 inf + 43
8.970 * * [simplify]: Extracting #3: cost 0 inf + 333
8.970 * [simplify]: Simplified to (/ 0.00390625 (* i i))
8.970 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
8.970 * * * * [progress]: [ 50 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (pow i 2)) 0.015625) (* i i))))>
8.971 * [simplify]: Simplifying (/ 0.00390625 (pow i 2))
8.971 * * [simplify]: iters left: 3 (5 enodes)
8.974 * * [simplify]: iters left: 2 (20 enodes)
8.982 * * [simplify]: iters left: 1 (26 enodes)
8.993 * * [simplify]: Extracting #0: cost 1 inf + 0
8.993 * * [simplify]: Extracting #1: cost 6 inf + 0
8.993 * * [simplify]: Extracting #2: cost 6 inf + 43
8.993 * * [simplify]: Extracting #3: cost 0 inf + 333
8.993 * [simplify]: Simplified to (/ 0.00390625 (* i i))
8.993 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
8.994 * * * * [progress]: [ 51 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (pow i 2)) 0.015625) (* i i))))>
8.994 * [simplify]: Simplifying (/ 0.00390625 (pow i 2))
8.994 * * [simplify]: iters left: 3 (5 enodes)
8.998 * * [simplify]: iters left: 2 (20 enodes)
9.004 * * [simplify]: iters left: 1 (26 enodes)
9.008 * * [simplify]: Extracting #0: cost 1 inf + 0
9.009 * * [simplify]: Extracting #1: cost 6 inf + 0
9.009 * * [simplify]: Extracting #2: cost 6 inf + 43
9.009 * * [simplify]: Extracting #3: cost 0 inf + 333
9.009 * [simplify]: Simplified to (/ 0.00390625 (* i i))
9.009 * [simplify]: Simplified (2 2 1 1) to (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
9.009 * * * * [progress]: [ 52 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))))>
9.009 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
9.009 * * [simplify]: iters left: 6 (13 enodes)
9.015 * * [simplify]: iters left: 5 (55 enodes)
9.025 * * [simplify]: iters left: 4 (70 enodes)
9.039 * * [simplify]: iters left: 3 (87 enodes)
9.064 * * [simplify]: iters left: 2 (121 enodes)
9.107 * * [simplify]: iters left: 1 (194 enodes)
9.158 * * [simplify]: Extracting #0: cost 1 inf + 0
9.158 * * [simplify]: Extracting #1: cost 23 inf + 0
9.158 * * [simplify]: Extracting #2: cost 63 inf + 167
9.159 * * [simplify]: Extracting #3: cost 56 inf + 1921
9.161 * * [simplify]: Extracting #4: cost 6 inf + 7919
9.163 * * [simplify]: Extracting #5: cost 0 inf + 8856
9.166 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))
9.166 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))))
9.166 * * * * [progress]: [ 53 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))))>
9.166 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
9.166 * * [simplify]: iters left: 6 (13 enodes)
9.172 * * [simplify]: iters left: 5 (55 enodes)
9.189 * * [simplify]: iters left: 4 (70 enodes)
9.213 * * [simplify]: iters left: 3 (87 enodes)
9.238 * * [simplify]: iters left: 2 (121 enodes)
9.268 * * [simplify]: iters left: 1 (194 enodes)
9.340 * * [simplify]: Extracting #0: cost 1 inf + 0
9.340 * * [simplify]: Extracting #1: cost 23 inf + 0
9.341 * * [simplify]: Extracting #2: cost 63 inf + 167
9.341 * * [simplify]: Extracting #3: cost 56 inf + 1921
9.343 * * [simplify]: Extracting #4: cost 6 inf + 7919
9.345 * * [simplify]: Extracting #5: cost 0 inf + 8856
9.348 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))
9.348 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))))
9.348 * * * * [progress]: [ 54 / 54 ] simplifiying candidate #<alt (λ (i) (+ 1/16 (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))))>
9.348 * [simplify]: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (* 0.00390625 (/ 1 (pow i 4))))
9.349 * * [simplify]: iters left: 6 (13 enodes)
9.354 * * [simplify]: iters left: 5 (55 enodes)
9.365 * * [simplify]: iters left: 4 (70 enodes)
9.377 * * [simplify]: iters left: 3 (87 enodes)
9.391 * * [simplify]: iters left: 2 (121 enodes)
9.415 * * [simplify]: iters left: 1 (194 enodes)
9.493 * * [simplify]: Extracting #0: cost 1 inf + 0
9.494 * * [simplify]: Extracting #1: cost 23 inf + 0
9.494 * * [simplify]: Extracting #2: cost 63 inf + 167
9.498 * * [simplify]: Extracting #3: cost 56 inf + 1921
9.501 * * [simplify]: Extracting #4: cost 6 inf + 7919
9.506 * * [simplify]: Extracting #5: cost 0 inf + 8856
9.512 * [simplify]: Simplified to (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))
9.512 * [simplify]: Simplified (2 2) to (λ (i) (+ 1/16 (/ (+ 0.015625 (/ 0.00390625 (* i i))) (* i i))))
9.512 * * * [progress]: adding candidates to table
9.875 * [progress]: [Phase 3 of 3] Extracting.
9.875 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))> #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))>)
9.875 * * * [regime-changes]: Trying 1 branch expressions: (i)
9.875 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))> #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))>)
9.906 * * * [regime]: Found split indices: #<option (#s(si 0 132) #s(si 1 255))>
9.906 * [binary-search]: Improving bounds with binary search for i and (#<alt (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))> #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))>)
9.950 * [regimes]: Found splitpoints: (#s(sp 0 i 274.0773487203015) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)))> #<alt (λ (i) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))>)
9.951 * [simplify]: Simplifying (if (<= i 274.0773487203015) (/ (* i i) (* (- (* 4 (* i i)) 1.0) 4)) (+ 1/16 (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i))))
9.951 * * [simplify]: iters left: 6 (18 enodes)
9.952 * * [simplify]: iters left: 5 (22 enodes)
9.954 * * [simplify]: Extracting #0: cost 1 inf + 0
9.954 * * [simplify]: Extracting #1: cost 4 inf + 0
9.954 * * [simplify]: Extracting #2: cost 10 inf + 0
9.954 * * [simplify]: Extracting #3: cost 10 inf + 3
9.954 * * [simplify]: Extracting #4: cost 11 inf + 112
9.954 * * [simplify]: Extracting #5: cost 8 inf + 319
9.955 * * [simplify]: Extracting #6: cost 5 inf + 686
9.955 * * [simplify]: Extracting #7: cost 2 inf + 1054
9.955 * * [simplify]: Extracting #8: cost 1 inf + 1258
9.956 * * [simplify]: Extracting #9: cost 0 inf + 1755
9.956 * [simplify]: Simplified to (if (<= i 274.0773487203015) (/ (* i i) (* (- (* (* i i) 4) 1.0) 4)) (+ (/ (+ (/ 0.00390625 (* i i)) 0.015625) (* i i)) 1/16))
11.817 * [regime-testing]: Baseline error score: 15.564770937042422
11.822 * [regime-testing]: Oracle error score: 0.006750843855481936
11.831 * [regime-testing]: End program error score: 0.006750843855481936