1538430555.200 * [misc]progress: [Phase 1 of 3] Setting up. 1538430555.200 * * * [misc]progress: [1/2] Preparing points 1538430555.200 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538430555.321 * * * * [misc]points: Filtering points with unrepresentable outputs 1538430555.322 * * * * [exit]points: Sampled 256 points with exact outputs 1538430555.322 * * * [misc]progress: [2/2] Setting up program. 1538430555.330 * [misc]progress: [Phase 2 of 3] Improving. 1538430555.331 * [enter]simplify: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) 1538430555.332 * * [misc]simplify: iters left: 6 (10 enodes) 1538430555.381 * * [misc]simplify: iters left: 5 (30 enodes) 1538430555.401 * * [misc]simplify: iters left: 4 (137 enodes) 1538430555.583 * [exit]simplify: Simplified to (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) 1538430555.593 * * [misc]progress: iteration 1 / 4 1538430555.593 * * * [misc]progress: picking best candidate 1538430555.597 * * * * [misc]pick: Picked # 1538430555.597 * * * [misc]progress: localizing error 1538430555.628 * * * [misc]progress: generating rewritten candidates 1538430555.628 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538430555.711 * * * [misc]progress: generating series expansions 1538430555.711 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538430555.712 * [misc]backup-simplify: Simplify (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) into (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) 1538430555.712 * [misc]approximate: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in (i) around 0 1538430555.712 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i 1538430555.712 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.712 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.712 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i 1538430555.712 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.712 * [misc]taylor: Taking taylor expansion of i in i 1538430555.712 * [misc]backup-simplify: Simplify 0 into 0 1538430555.712 * [misc]backup-simplify: Simplify 1 into 1 1538430555.712 * [misc]taylor: Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i 1538430555.712 * [misc]taylor: Rewrote expression to (+ (* (* 4 i) i) (- 1.0)) 1538430555.712 * [misc]taylor: Taking taylor expansion of (* (* 4 i) i) in i 1538430555.712 * [misc]taylor: Taking taylor expansion of (* 4 i) in i 1538430555.712 * [misc]taylor: Taking taylor expansion of 4 in i 1538430555.712 * [misc]backup-simplify: Simplify 4 into 4 1538430555.712 * [misc]taylor: Taking taylor expansion of i in i 1538430555.712 * [misc]backup-simplify: Simplify 0 into 0 1538430555.712 * [misc]backup-simplify: Simplify 1 into 1 1538430555.712 * [misc]taylor: Taking taylor expansion of i in i 1538430555.712 * [misc]backup-simplify: Simplify 0 into 0 1538430555.713 * [misc]backup-simplify: Simplify 1 into 1 1538430555.713 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.713 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.713 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.713 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.713 * [misc]backup-simplify: Simplify (* 4 0) into 0 1538430555.713 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538430555.713 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538430555.714 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538430555.714 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1538430555.714 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i 1538430555.714 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.714 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.714 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i 1538430555.714 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.714 * [misc]taylor: Taking taylor expansion of i in i 1538430555.714 * [misc]backup-simplify: Simplify 0 into 0 1538430555.714 * [misc]backup-simplify: Simplify 1 into 1 1538430555.714 * [misc]taylor: Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i 1538430555.714 * [misc]taylor: Rewrote expression to (+ (* (* 4 i) i) (- 1.0)) 1538430555.714 * [misc]taylor: Taking taylor expansion of (* (* 4 i) i) in i 1538430555.714 * [misc]taylor: Taking taylor expansion of (* 4 i) in i 1538430555.714 * [misc]taylor: Taking taylor expansion of 4 in i 1538430555.715 * [misc]backup-simplify: Simplify 4 into 4 1538430555.715 * [misc]taylor: Taking taylor expansion of i in i 1538430555.715 * [misc]backup-simplify: Simplify 0 into 0 1538430555.715 * [misc]backup-simplify: Simplify 1 into 1 1538430555.715 * [misc]taylor: Taking taylor expansion of i in i 1538430555.715 * [misc]backup-simplify: Simplify 0 into 0 1538430555.715 * [misc]backup-simplify: Simplify 1 into 1 1538430555.715 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.715 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.715 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.715 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.715 * [misc]backup-simplify: Simplify (* 4 0) into 0 1538430555.715 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538430555.715 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538430555.716 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538430555.716 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1538430555.716 * [misc]backup-simplify: Simplify (* 1/4 -1.0) into -0.25 1538430555.716 * [misc]backup-simplify: Simplify -0.25 into -0.25 1538430555.717 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430555.717 * [misc]backup-simplify: Simplify (+ (* 4 1) (* 0 0)) into 4 1538430555.717 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 4 0)) into 0 1538430555.717 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.717 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.718 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 1538430555.718 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0 1538430555.718 * [misc]backup-simplify: Simplify 0 into 0 1538430555.718 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430555.719 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 1) (* 0 0))) into 0 1538430555.719 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 1) (* 0 0))) into 4 1538430555.719 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.719 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538430555.721 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 1538430555.722 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 1538430555.722 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538430555.722 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430555.723 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538430555.723 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 1) (* 0 0)))) into 0 1538430555.723 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.723 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.724 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 1538430555.724 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 1538430555.724 * [misc]backup-simplify: Simplify 0 into 0 1538430555.725 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430555.725 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430555.726 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430555.726 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.726 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.728 * [misc]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) 1538430555.729 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 1538430555.730 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1538430555.730 * [misc]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))))) 1538430555.731 * [misc]backup-simplify: Simplify (/ (* (/ 1 i) (/ (/ 1 i) 4)) (fma (* (/ 1 i) 4) (/ 1 i) (- 1.0))) into (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) 1538430555.731 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in (i) around 0 1538430555.731 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i 1538430555.731 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.731 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.731 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i 1538430555.731 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.731 * [misc]taylor: Taking taylor expansion of i in i 1538430555.731 * [misc]backup-simplify: Simplify 0 into 0 1538430555.731 * [misc]backup-simplify: Simplify 1 into 1 1538430555.731 * [misc]taylor: Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i 1538430555.731 * [misc]taylor: Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0)) 1538430555.731 * [misc]taylor: Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i 1538430555.731 * [misc]taylor: Taking taylor expansion of (/ 4 i) in i 1538430555.731 * [misc]taylor: Taking taylor expansion of 4 in i 1538430555.731 * [misc]backup-simplify: Simplify 4 into 4 1538430555.731 * [misc]taylor: Taking taylor expansion of i in i 1538430555.731 * [misc]backup-simplify: Simplify 0 into 0 1538430555.731 * [misc]backup-simplify: Simplify 1 into 1 1538430555.732 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538430555.732 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1538430555.732 * [misc]taylor: Taking taylor expansion of i in i 1538430555.732 * [misc]backup-simplify: Simplify 0 into 0 1538430555.732 * [misc]backup-simplify: Simplify 1 into 1 1538430555.732 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538430555.732 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.732 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.732 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.732 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.732 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538430555.733 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538430555.733 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538430555.733 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538430555.733 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i 1538430555.733 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.733 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.733 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i 1538430555.733 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.733 * [misc]taylor: Taking taylor expansion of i in i 1538430555.733 * [misc]backup-simplify: Simplify 0 into 0 1538430555.733 * [misc]backup-simplify: Simplify 1 into 1 1538430555.733 * [misc]taylor: Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i 1538430555.733 * [misc]taylor: Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0)) 1538430555.733 * [misc]taylor: Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i 1538430555.733 * [misc]taylor: Taking taylor expansion of (/ 4 i) in i 1538430555.733 * [misc]taylor: Taking taylor expansion of 4 in i 1538430555.733 * [misc]backup-simplify: Simplify 4 into 4 1538430555.733 * [misc]taylor: Taking taylor expansion of i in i 1538430555.733 * [misc]backup-simplify: Simplify 0 into 0 1538430555.734 * [misc]backup-simplify: Simplify 1 into 1 1538430555.734 * [misc]backup-simplify: Simplify (/ 4 1) into 4 1538430555.734 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1538430555.734 * [misc]taylor: Taking taylor expansion of i in i 1538430555.734 * [misc]backup-simplify: Simplify 0 into 0 1538430555.734 * [misc]backup-simplify: Simplify 1 into 1 1538430555.734 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538430555.734 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.734 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.734 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.734 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.734 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538430555.735 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538430555.735 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538430555.735 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538430555.735 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430555.735 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538430555.736 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0 1538430555.736 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538430555.736 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430555.736 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1538430555.737 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1538430555.737 * [misc]backup-simplify: Simplify 0 into 0 1538430555.737 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.737 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.738 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538430555.738 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538430555.738 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538430555.739 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430555.739 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1538430555.741 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1538430555.741 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430555.741 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.742 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.742 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430555.742 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.742 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430555.743 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1538430555.744 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1538430555.744 * [misc]backup-simplify: Simplify 0 into 0 1538430555.744 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.745 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.745 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430555.745 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.746 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430555.746 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1538430555.748 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1538430555.748 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430555.749 * [misc]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))))) 1538430555.750 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- i)) (/ (/ 1 (- i)) 4)) (fma (* (/ 1 (- i)) 4) (/ 1 (- i)) (- 1.0))) into (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) 1538430555.750 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in (i) around 0 1538430555.750 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i 1538430555.750 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.750 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.750 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i 1538430555.750 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.750 * [misc]taylor: Taking taylor expansion of i in i 1538430555.750 * [misc]backup-simplify: Simplify 0 into 0 1538430555.750 * [misc]backup-simplify: Simplify 1 into 1 1538430555.750 * [misc]taylor: Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i 1538430555.750 * [misc]taylor: Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0)) 1538430555.750 * [misc]taylor: Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i 1538430555.750 * [misc]taylor: Taking taylor expansion of (/ -4 i) in i 1538430555.750 * [misc]taylor: Taking taylor expansion of -4 in i 1538430555.750 * [misc]backup-simplify: Simplify -4 into -4 1538430555.750 * [misc]taylor: Taking taylor expansion of i in i 1538430555.751 * [misc]backup-simplify: Simplify 0 into 0 1538430555.751 * [misc]backup-simplify: Simplify 1 into 1 1538430555.751 * [misc]backup-simplify: Simplify (/ -4 1) into -4 1538430555.751 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1538430555.751 * [misc]taylor: Taking taylor expansion of -1 in i 1538430555.751 * [misc]backup-simplify: Simplify -1 into -1 1538430555.751 * [misc]taylor: Taking taylor expansion of i in i 1538430555.751 * [misc]backup-simplify: Simplify 0 into 0 1538430555.751 * [misc]backup-simplify: Simplify 1 into 1 1538430555.751 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538430555.751 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.751 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.751 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.751 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.752 * [misc]backup-simplify: Simplify (* -4 -1) into 4 1538430555.752 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538430555.752 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538430555.752 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538430555.752 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i 1538430555.752 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538430555.752 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538430555.752 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i 1538430555.752 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538430555.752 * [misc]taylor: Taking taylor expansion of i in i 1538430555.752 * [misc]backup-simplify: Simplify 0 into 0 1538430555.752 * [misc]backup-simplify: Simplify 1 into 1 1538430555.752 * [misc]taylor: Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i 1538430555.752 * [misc]taylor: Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0)) 1538430555.752 * [misc]taylor: Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i 1538430555.752 * [misc]taylor: Taking taylor expansion of (/ -4 i) in i 1538430555.752 * [misc]taylor: Taking taylor expansion of -4 in i 1538430555.752 * [misc]backup-simplify: Simplify -4 into -4 1538430555.753 * [misc]taylor: Taking taylor expansion of i in i 1538430555.753 * [misc]backup-simplify: Simplify 0 into 0 1538430555.753 * [misc]backup-simplify: Simplify 1 into 1 1538430555.753 * [misc]backup-simplify: Simplify (/ -4 1) into -4 1538430555.753 * [misc]taylor: Taking taylor expansion of (/ -1 i) in i 1538430555.753 * [misc]taylor: Taking taylor expansion of -1 in i 1538430555.753 * [misc]backup-simplify: Simplify -1 into -1 1538430555.753 * [misc]taylor: Taking taylor expansion of i in i 1538430555.753 * [misc]backup-simplify: Simplify 0 into 0 1538430555.753 * [misc]backup-simplify: Simplify 1 into 1 1538430555.753 * [misc]backup-simplify: Simplify (/ -1 1) into -1 1538430555.753 * [misc]taylor: Taking taylor expansion of (- 1.0) in i 1538430555.753 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538430555.753 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538430555.753 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430555.754 * [misc]backup-simplify: Simplify (* -4 -1) into 4 1538430555.754 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538430555.754 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538430555.754 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538430555.754 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430555.754 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1538430555.755 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)))) into 0 1538430555.755 * [misc]backup-simplify: Simplify (+ (* -4 0) (* 0 -1)) into 0 1538430555.755 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.755 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430555.755 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1538430555.756 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1538430555.756 * [misc]backup-simplify: Simplify 0 into 0 1538430555.756 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.756 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.757 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (* 0 -1))) into 0 1538430555.757 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538430555.757 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538430555.758 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430555.758 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1538430555.760 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1538430555.760 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430555.760 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.761 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.761 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0 1538430555.761 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.761 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.761 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430555.762 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1538430555.762 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1538430555.762 * [misc]backup-simplify: Simplify 0 into 0 1538430555.763 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.763 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430555.764 * [misc]backup-simplify: Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0 1538430555.764 * [misc]backup-simplify: Simplify (- 0) into 0 1538430555.764 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430555.764 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430555.765 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1538430555.767 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1538430555.767 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430555.772 * [misc]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))))) 1538430555.772 * * * [misc]progress: simplifying candidates 1538430555.772 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1538430555.772 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1538430555.772 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1538430555.772 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1538430555.773 * [enter]simplify: Simplifying (- (log (* i (/ i 4))) (log (fma (* i 4) i (- 1.0)))) 1538430555.774 * * [misc]simplify: iters left: 6 (11 enodes) 1538430555.778 * * [misc]simplify: iters left: 5 (22 enodes) 1538430555.784 * * [misc]simplify: iters left: 4 (38 enodes) 1538430555.793 * * [misc]simplify: iters left: 3 (65 enodes) 1538430555.809 * * [misc]simplify: iters left: 2 (107 enodes) 1538430555.848 * * [misc]simplify: iters left: 1 (180 enodes) 1538430555.915 * [exit]simplify: Simplified to (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0)))) 1538430555.915 * [misc]simplify: Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0)))))) 1538430555.915 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1538430555.916 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1538430555.916 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1538430555.916 * [enter]simplify: Simplifying (/ (* (* (* i (/ i 4)) (* i (/ i 4))) (* i (/ i 4))) (* (* (fma (* i 4) i (- 1.0)) (fma (* i 4) i (- 1.0))) (fma (* i 4) i (- 1.0)))) 1538430555.918 * * [misc]simplify: iters left: 6 (13 enodes) 1538430555.926 * * [misc]simplify: iters left: 5 (34 enodes) 1538430555.957 * * [misc]simplify: iters left: 4 (142 enodes) 1538430556.157 * [exit]simplify: Simplified to (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3) 1538430556.157 * [misc]simplify: Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3))) 1538430556.157 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1538430556.157 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1538430556.157 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1538430556.157 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1538430556.157 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1538430556.157 * [enter]simplify: Simplifying (/ i (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) 1538430556.158 * * [misc]simplify: iters left: 6 (9 enodes) 1538430556.162 * * [misc]simplify: iters left: 5 (14 enodes) 1538430556.168 * * [misc]simplify: iters left: 4 (19 enodes) 1538430556.176 * * [misc]simplify: iters left: 3 (22 enodes) 1538430556.185 * [exit]simplify: Simplified to (/ (/ i (cbrt (fma (* i 4) i (- 1.0)))) (cbrt (fma (* i 4) i (- 1.0)))) 1538430556.185 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ (/ i (cbrt (fma (* i 4) i (- 1.0)))) (cbrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (cbrt (fma (* i 4) i (- 1.0)))))) 1538430556.185 * [enter]simplify: Simplifying (/ (/ i 4) (cbrt (fma (* i 4) i (- 1.0)))) 1538430556.186 * * [misc]simplify: iters left: 6 (9 enodes) 1538430556.188 * * [misc]simplify: iters left: 5 (14 enodes) 1538430556.192 * * [misc]simplify: iters left: 4 (22 enodes) 1538430556.196 * * [misc]simplify: iters left: 3 (25 enodes) 1538430556.200 * [exit]simplify: Simplified to (/ (/ i 4) (cbrt (fma 4 (* i i) (- 1.0)))) 1538430556.200 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) (/ (/ i 4) (cbrt (fma 4 (* i i) (- 1.0)))))) 1538430556.200 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1538430556.201 * [enter]simplify: Simplifying (/ i (sqrt (fma (* i 4) i (- 1.0)))) 1538430556.201 * * [misc]simplify: iters left: 6 (8 enodes) 1538430556.203 * * [misc]simplify: iters left: 5 (11 enodes) 1538430556.206 * * [misc]simplify: iters left: 4 (16 enodes) 1538430556.209 * * [misc]simplify: iters left: 3 (19 enodes) 1538430556.213 * [exit]simplify: Simplified to (/ i (sqrt (fma (* i 4) i (- 1.0)))) 1538430556.213 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0)))))) 1538430556.213 * [enter]simplify: Simplifying (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0)))) 1538430556.214 * * [misc]simplify: iters left: 6 (9 enodes) 1538430556.216 * * [misc]simplify: iters left: 5 (14 enodes) 1538430556.220 * * [misc]simplify: iters left: 4 (22 enodes) 1538430556.224 * * [misc]simplify: iters left: 3 (25 enodes) 1538430556.229 * [exit]simplify: Simplified to (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0)))) 1538430556.229 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0)))))) 1538430556.229 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1538430556.229 * [enter]simplify: Simplifying (/ i 1) 1538430556.229 * * [misc]simplify: iters left: 2 (3 enodes) 1538430556.230 * * [misc]simplify: iters left: 1 (5 enodes) 1538430556.230 * [exit]simplify: Simplified to i 1538430556.230 * [misc]simplify: Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (fma (* i 4) i (- 1.0))))) 1538430556.230 * [enter]simplify: Simplifying (/ (/ i 4) (fma (* i 4) i (- 1.0))) 1538430556.231 * * [misc]simplify: iters left: 5 (8 enodes) 1538430556.233 * * [misc]simplify: iters left: 4 (13 enodes) 1538430556.236 * * [misc]simplify: iters left: 3 (21 enodes) 1538430556.241 * * [misc]simplify: iters left: 2 (32 enodes) 1538430556.255 * * [misc]simplify: iters left: 1 (51 enodes) 1538430556.281 * [exit]simplify: Simplified to (/ i (fma 16 (* i i) (* -4 1.0))) 1538430556.281 * [misc]simplify: Simplified (2 2) to (λ (i) (* i (/ i (fma 16 (* i i) (* -4 1.0))))) 1538430556.281 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1538430556.281 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1538430556.281 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1538430556.281 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1538430556.281 * [enter]simplify: Simplifying (cbrt (fma (* i 4) i (- 1.0))) 1538430556.282 * * [misc]simplify: iters left: 4 (7 enodes) 1538430556.286 * * [misc]simplify: iters left: 3 (10 enodes) 1538430556.290 * * [misc]simplify: iters left: 2 (15 enodes) 1538430556.297 * * [misc]simplify: iters left: 1 (18 enodes) 1538430556.303 * [exit]simplify: Simplified to (cbrt (fma 4 (* i i) (- 1.0))) 1538430556.303 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) (cbrt (fma 4 (* i i) (- 1.0))))) 1538430556.304 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1538430556.304 * [enter]simplify: Simplifying (sqrt (fma (* i 4) i (- 1.0))) 1538430556.304 * * [misc]simplify: iters left: 4 (7 enodes) 1538430556.308 * * [misc]simplify: iters left: 3 (10 enodes) 1538430556.312 * * [misc]simplify: iters left: 2 (15 enodes) 1538430556.318 * * [misc]simplify: iters left: 1 (18 enodes) 1538430556.325 * [exit]simplify: Simplified to (sqrt (fma 4 (* i i) (- 1.0))) 1538430556.325 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (fma (* i 4) i (- 1.0)))) (sqrt (fma 4 (* i i) (- 1.0))))) 1538430556.325 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1538430556.325 * [enter]simplify: Simplifying (fma (* i 4) i (- 1.0)) 1538430556.326 * * [misc]simplify: iters left: 3 (6 enodes) 1538430556.329 * * [misc]simplify: iters left: 2 (9 enodes) 1538430556.333 * * [misc]simplify: iters left: 1 (14 enodes) 1538430556.339 * [exit]simplify: Simplified to (fma 4 (* i i) (- 1.0)) 1538430556.339 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (fma 4 (* i i) (- 1.0)))) 1538430556.340 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1538430556.340 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1538430556.340 * [enter]simplify: Simplifying (* i i) 1538430556.340 * * [misc]simplify: iters left: 2 (2 enodes) 1538430556.340 * [exit]simplify: Simplified to (* i i) 1538430556.340 * [misc]simplify: Simplified (2 1) to (λ (i) (/ (* i i) (* (fma (* i 4) i (- 1.0)) 4))) 1538430556.340 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1538430556.340 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1538430556.341 * * [misc]simplify: iters left: 6 (16 enodes) 1538430556.345 * * [misc]simplify: iters left: 5 (29 enodes) 1538430556.353 * * [misc]simplify: iters left: 4 (57 enodes) 1538430556.370 * * [misc]simplify: iters left: 3 (123 enodes) 1538430556.405 * * [misc]simplify: iters left: 2 (189 enodes) 1538430556.440 * * [misc]simplify: iters left: 1 (221 enodes) 1538430556.558 * [exit]simplify: Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))) 1538430556.558 * [misc]simplify: Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))) 1538430556.558 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1538430556.558 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1538430556.559 * * [misc]simplify: iters left: 6 (15 enodes) 1538430556.564 * * [misc]simplify: iters left: 5 (29 enodes) 1538430556.572 * * [misc]simplify: iters left: 4 (48 enodes) 1538430556.581 * * [misc]simplify: iters left: 3 (62 enodes) 1538430556.595 * * [misc]simplify: iters left: 2 (71 enodes) 1538430556.611 * * [misc]simplify: iters left: 1 (76 enodes) 1538430556.631 * [exit]simplify: Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))) 1538430556.631 * [misc]simplify: Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430556.631 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1538430556.631 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1538430556.633 * * [misc]simplify: iters left: 6 (15 enodes) 1538430556.641 * * [misc]simplify: iters left: 5 (29 enodes) 1538430556.652 * * [misc]simplify: iters left: 4 (48 enodes) 1538430556.661 * * [misc]simplify: iters left: 3 (62 enodes) 1538430556.669 * * [misc]simplify: iters left: 2 (71 enodes) 1538430556.678 * * [misc]simplify: iters left: 1 (76 enodes) 1538430556.692 * [exit]simplify: Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))) 1538430556.692 * [misc]simplify: Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430556.692 * * * [misc]progress: adding candidates to table 1538430557.179 * * [misc]progress: iteration 2 / 4 1538430557.179 * * * [misc]progress: picking best candidate 1538430557.191 * * * * [misc]pick: Picked # 1538430557.191 * * * [misc]progress: localizing error 1538430557.222 * * * [misc]progress: generating rewritten candidates 1538430557.222 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538430557.224 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2) 1538430557.236 * * * [misc]progress: generating series expansions 1538430557.236 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538430557.237 * [misc]backup-simplify: Simplify (fma (/ 0.015625 i) (/ 1 i) 1/16) into (fma (/ 0.015625 i) (/ 1 i) 1/16) 1538430557.237 * [misc]approximate: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in (i) around 0 1538430557.237 * [misc]taylor: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i 1538430557.237 * [misc]taylor: Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16) 1538430557.237 * [misc]taylor: Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i 1538430557.237 * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i 1538430557.237 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538430557.237 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.237 * [misc]taylor: Taking taylor expansion of i in i 1538430557.237 * [misc]backup-simplify: Simplify 0 into 0 1538430557.237 * [misc]backup-simplify: Simplify 1 into 1 1538430557.237 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1538430557.237 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1538430557.237 * [misc]taylor: Taking taylor expansion of i in i 1538430557.237 * [misc]backup-simplify: Simplify 0 into 0 1538430557.237 * [misc]backup-simplify: Simplify 1 into 1 1538430557.237 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538430557.237 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.237 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.237 * [misc]taylor: Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i 1538430557.237 * [misc]taylor: Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16) 1538430557.237 * [misc]taylor: Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i 1538430557.237 * [misc]taylor: Taking taylor expansion of (/ 0.015625 i) in i 1538430557.238 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538430557.238 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.238 * [misc]taylor: Taking taylor expansion of i in i 1538430557.238 * [misc]backup-simplify: Simplify 0 into 0 1538430557.238 * [misc]backup-simplify: Simplify 1 into 1 1538430557.238 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1538430557.238 * [misc]taylor: Taking taylor expansion of (/ 1 i) in i 1538430557.238 * [misc]taylor: Taking taylor expansion of i in i 1538430557.238 * [misc]backup-simplify: Simplify 0 into 0 1538430557.238 * [misc]backup-simplify: Simplify 1 into 1 1538430557.238 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538430557.238 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.238 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.238 * [misc]backup-simplify: Simplify (* 0.015625 1) into 0.015625 1538430557.238 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1538430557.238 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.238 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538430557.239 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 1538430557.239 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (* 0 1)) into 0 1538430557.239 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.239 * [misc]backup-simplify: Simplify 0 into 0 1538430557.239 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.239 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.239 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.239 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1538430557.239 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.240 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.240 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.240 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.240 * [misc]backup-simplify: Simplify 0 into 0 1538430557.240 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.241 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.241 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.241 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.241 * [misc]backup-simplify: Simplify 0 into 0 1538430557.242 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.242 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.242 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.242 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.242 * [misc]backup-simplify: Simplify 0 into 0 1538430557.243 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.243 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.243 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.243 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.243 * [misc]backup-simplify: Simplify 0 into 0 1538430557.244 * [misc]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 1538430557.244 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.244 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0 1538430557.244 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.244 * [misc]backup-simplify: Simplify 0 into 0 1538430557.245 * [misc]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 1538430557.245 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 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 1538430557.245 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))))) into 0 1538430557.246 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.246 * [misc]backup-simplify: Simplify 0 into 0 1538430557.246 * [misc]backup-simplify: Simplify (+ 1/16 (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.246 * [misc]backup-simplify: Simplify (fma (/ 0.015625 (/ 1 i)) (/ 1 (/ 1 i)) 1/16) into (fma (* 0.015625 i) i 1/16) 1538430557.246 * [misc]approximate: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in (i) around 0 1538430557.246 * [misc]taylor: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i 1538430557.246 * [misc]taylor: Rewrote expression to (+ (* (* 0.015625 i) i) 1/16) 1538430557.246 * [misc]taylor: Taking taylor expansion of (* (* 0.015625 i) i) in i 1538430557.246 * [misc]taylor: Taking taylor expansion of (* 0.015625 i) in i 1538430557.246 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538430557.246 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.246 * [misc]taylor: Taking taylor expansion of i in i 1538430557.246 * [misc]backup-simplify: Simplify 0 into 0 1538430557.246 * [misc]backup-simplify: Simplify 1 into 1 1538430557.246 * [misc]taylor: Taking taylor expansion of i in i 1538430557.246 * [misc]backup-simplify: Simplify 0 into 0 1538430557.246 * [misc]backup-simplify: Simplify 1 into 1 1538430557.246 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.246 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.246 * [misc]taylor: Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i 1538430557.246 * [misc]taylor: Rewrote expression to (+ (* (* 0.015625 i) i) 1/16) 1538430557.246 * [misc]taylor: Taking taylor expansion of (* (* 0.015625 i) i) in i 1538430557.246 * [misc]taylor: Taking taylor expansion of (* 0.015625 i) in i 1538430557.246 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538430557.247 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.247 * [misc]taylor: Taking taylor expansion of i in i 1538430557.247 * [misc]backup-simplify: Simplify 0 into 0 1538430557.247 * [misc]backup-simplify: Simplify 1 into 1 1538430557.247 * [misc]taylor: Taking taylor expansion of i in i 1538430557.247 * [misc]backup-simplify: Simplify 0 into 0 1538430557.247 * [misc]backup-simplify: Simplify 1 into 1 1538430557.247 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.247 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.247 * [misc]backup-simplify: Simplify (* 0.015625 0) into 0 1538430557.247 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538430557.247 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1538430557.247 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.247 * [misc]backup-simplify: Simplify (+ (* 0.015625 1) (* 0 0)) into 0.015625 1538430557.248 * [misc]backup-simplify: Simplify (+ (* 0 1) (* 0.015625 0)) into 0 1538430557.248 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.248 * [misc]backup-simplify: Simplify 0 into 0 1538430557.248 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 1) (* 0 0))) into 0 1538430557.249 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 1) (* 0 0))) into 0.015625 1538430557.249 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1538430557.249 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.250 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538430557.250 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 1) (* 0 0)))) into 0 1538430557.250 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.250 * [misc]backup-simplify: Simplify 0 into 0 1538430557.250 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430557.251 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430557.251 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.251 * [misc]backup-simplify: Simplify 0 into 0 1538430557.252 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538430557.252 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538430557.252 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.252 * [misc]backup-simplify: Simplify 0 into 0 1538430557.253 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538430557.253 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538430557.253 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.253 * [misc]backup-simplify: Simplify 0 into 0 1538430557.254 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538430557.255 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538430557.255 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.255 * [misc]backup-simplify: Simplify 0 into 0 1538430557.255 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1538430557.256 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1538430557.256 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.256 * [misc]backup-simplify: Simplify 0 into 0 1538430557.257 * [misc]backup-simplify: Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.257 * [misc]backup-simplify: Simplify (fma (/ 0.015625 (/ 1 (- i))) (/ 1 (/ 1 (- i))) 1/16) into (fma (* -0.015625 i) (* -1 i) 1/16) 1538430557.257 * [misc]approximate: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in (i) around 0 1538430557.257 * [misc]taylor: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i 1538430557.257 * [misc]taylor: Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16) 1538430557.257 * [misc]taylor: Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i 1538430557.257 * [misc]taylor: Taking taylor expansion of (* -0.015625 i) in i 1538430557.257 * [misc]taylor: Taking taylor expansion of -0.015625 in i 1538430557.257 * [misc]backup-simplify: Simplify -0.015625 into -0.015625 1538430557.257 * [misc]taylor: Taking taylor expansion of i in i 1538430557.257 * [misc]backup-simplify: Simplify 0 into 0 1538430557.257 * [misc]backup-simplify: Simplify 1 into 1 1538430557.257 * [misc]taylor: Taking taylor expansion of (* -1 i) in i 1538430557.257 * [misc]taylor: Taking taylor expansion of -1 in i 1538430557.257 * [misc]backup-simplify: Simplify -1 into -1 1538430557.257 * [misc]taylor: Taking taylor expansion of i in i 1538430557.257 * [misc]backup-simplify: Simplify 0 into 0 1538430557.257 * [misc]backup-simplify: Simplify 1 into 1 1538430557.257 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.257 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.257 * [misc]taylor: Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i 1538430557.257 * [misc]taylor: Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16) 1538430557.257 * [misc]taylor: Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i 1538430557.257 * [misc]taylor: Taking taylor expansion of (* -0.015625 i) in i 1538430557.257 * [misc]taylor: Taking taylor expansion of -0.015625 in i 1538430557.257 * [misc]backup-simplify: Simplify -0.015625 into -0.015625 1538430557.258 * [misc]taylor: Taking taylor expansion of i in i 1538430557.258 * [misc]backup-simplify: Simplify 0 into 0 1538430557.258 * [misc]backup-simplify: Simplify 1 into 1 1538430557.258 * [misc]taylor: Taking taylor expansion of (* -1 i) in i 1538430557.258 * [misc]taylor: Taking taylor expansion of -1 in i 1538430557.258 * [misc]backup-simplify: Simplify -1 into -1 1538430557.258 * [misc]taylor: Taking taylor expansion of i in i 1538430557.258 * [misc]backup-simplify: Simplify 0 into 0 1538430557.258 * [misc]backup-simplify: Simplify 1 into 1 1538430557.258 * [misc]taylor: Taking taylor expansion of 1/16 in i 1538430557.258 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.258 * [misc]backup-simplify: Simplify (* -0.015625 0) into 0 1538430557.258 * [misc]backup-simplify: Simplify (* -1 0) into 0 1538430557.258 * [misc]backup-simplify: Simplify (* 0 0) into 0 1538430557.258 * [misc]backup-simplify: Simplify (+ 0 1/16) into 1/16 1538430557.258 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538430557.259 * [misc]backup-simplify: Simplify (+ (* -1 1) (* 0 0)) into -1 1538430557.259 * [misc]backup-simplify: Simplify (+ (* -0.015625 1) (* 0 0)) into (- 0.015625) 1538430557.259 * [misc]backup-simplify: Simplify (+ (* 0 -1) (* (- 0.015625) 0)) into 0 1538430557.260 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.260 * [misc]backup-simplify: Simplify 0 into 0 1538430557.260 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0 1538430557.260 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 1) (* 0 0))) into 0 1538430557.261 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) -1) (* 0 0))) into 0.015625 1538430557.261 * [misc]backup-simplify: Simplify (+ 0.015625 0) into 0.015625 1538430557.261 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538430557.262 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538430557.262 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0 1538430557.262 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 -1) (* 0 0)))) into 0 1538430557.263 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.263 * [misc]backup-simplify: Simplify 0 into 0 1538430557.263 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430557.263 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0 1538430557.264 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))) into 0 1538430557.264 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.264 * [misc]backup-simplify: Simplify 0 into 0 1538430557.265 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538430557.265 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0 1538430557.265 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))) into 0 1538430557.266 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.266 * [misc]backup-simplify: Simplify 0 into 0 1538430557.266 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538430557.267 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0 1538430557.267 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))))) into 0 1538430557.267 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.267 * [misc]backup-simplify: Simplify 0 into 0 1538430557.268 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538430557.268 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0 1538430557.269 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))))) into 0 1538430557.269 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.269 * [misc]backup-simplify: Simplify 0 into 0 1538430557.270 * [misc]backup-simplify: Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1538430557.270 * [misc]backup-simplify: Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0 1538430557.271 * [misc]backup-simplify: Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))))))) into 0 1538430557.271 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538430557.271 * [misc]backup-simplify: Simplify 0 into 0 1538430557.272 * [misc]backup-simplify: Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.272 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2) 1538430557.272 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4)) 1538430557.272 * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0 1538430557.272 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1538430557.272 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.272 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.272 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.272 * [misc]taylor: Taking taylor expansion of i in i 1538430557.272 * [misc]backup-simplify: Simplify 0 into 0 1538430557.272 * [misc]backup-simplify: Simplify 1 into 1 1538430557.272 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.273 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1538430557.273 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1538430557.273 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.273 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.273 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.273 * [misc]taylor: Taking taylor expansion of i in i 1538430557.273 * [misc]backup-simplify: Simplify 0 into 0 1538430557.273 * [misc]backup-simplify: Simplify 1 into 1 1538430557.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.273 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.273 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1538430557.273 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.274 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.274 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 1538430557.274 * [misc]backup-simplify: Simplify 0 into 0 1538430557.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.275 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.275 * [misc]backup-simplify: Simplify 0 into 0 1538430557.275 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.276 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.276 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.276 * [misc]backup-simplify: Simplify 0 into 0 1538430557.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.277 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.277 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.277 * [misc]backup-simplify: Simplify 0 into 0 1538430557.278 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.278 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.279 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538430557.279 * [misc]backup-simplify: Simplify 0 into 0 1538430557.279 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.280 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.280 * [misc]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 1538430557.280 * [misc]backup-simplify: Simplify 0 into 0 1538430557.281 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1538430557.281 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4)) 1538430557.281 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1538430557.281 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538430557.281 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.281 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.281 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.281 * [misc]taylor: Taking taylor expansion of i in i 1538430557.281 * [misc]backup-simplify: Simplify 0 into 0 1538430557.281 * [misc]backup-simplify: Simplify 1 into 1 1538430557.281 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538430557.281 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.281 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.282 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.282 * [misc]taylor: Taking taylor expansion of i in i 1538430557.282 * [misc]backup-simplify: Simplify 0 into 0 1538430557.282 * [misc]backup-simplify: Simplify 1 into 1 1538430557.282 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.282 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.282 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1538430557.282 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.282 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.283 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1538430557.283 * [misc]backup-simplify: Simplify 0 into 0 1538430557.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.283 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.284 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.284 * [misc]backup-simplify: Simplify 0 into 0 1538430557.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.284 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.285 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.285 * [misc]backup-simplify: Simplify 0 into 0 1538430557.285 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.286 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.286 * [misc]backup-simplify: Simplify 0 into 0 1538430557.286 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.287 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.287 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.287 * [misc]backup-simplify: Simplify 0 into 0 1538430557.288 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.288 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.289 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.289 * [misc]backup-simplify: Simplify 0 into 0 1538430557.289 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1538430557.289 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4)) 1538430557.289 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1538430557.289 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538430557.289 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.289 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.289 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.289 * [misc]taylor: Taking taylor expansion of i in i 1538430557.290 * [misc]backup-simplify: Simplify 0 into 0 1538430557.290 * [misc]backup-simplify: Simplify 1 into 1 1538430557.290 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538430557.290 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538430557.290 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.290 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538430557.290 * [misc]taylor: Taking taylor expansion of i in i 1538430557.290 * [misc]backup-simplify: Simplify 0 into 0 1538430557.290 * [misc]backup-simplify: Simplify 1 into 1 1538430557.290 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.290 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538430557.290 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1538430557.290 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538430557.290 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538430557.291 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1538430557.291 * [misc]backup-simplify: Simplify 0 into 0 1538430557.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.291 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.292 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1538430557.292 * [misc]backup-simplify: Simplify 0 into 0 1538430557.292 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.293 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.293 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538430557.293 * [misc]backup-simplify: Simplify 0 into 0 1538430557.293 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.294 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.294 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538430557.294 * [misc]backup-simplify: Simplify 0 into 0 1538430557.295 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.295 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.296 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538430557.296 * [misc]backup-simplify: Simplify 0 into 0 1538430557.296 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.297 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.297 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538430557.297 * [misc]backup-simplify: Simplify 0 into 0 1538430557.297 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4)) 1538430557.297 * * * [misc]progress: simplifying candidates 1538430557.298 * * * * [misc]progress: [ 1 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 2 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 3 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 4 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 5 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 6 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 7 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 8 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 9 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 10 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 11 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 12 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 13 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 14 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 15 / 31 ] simplifiying candidate # 1538430557.298 * * * * [misc]progress: [ 16 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 17 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 18 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 19 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 20 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 21 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 22 / 31 ] simplifiying candidate # 1538430557.299 * * * * [misc]progress: [ 23 / 31 ] simplifiying candidate # 1538430557.299 * [enter]simplify: Simplifying (cbrt (pow i 4)) 1538430557.300 * * [misc]simplify: iters left: 2 (4 enodes) 1538430557.301 * [exit]simplify: Simplified to (cbrt (pow i 4)) 1538430557.301 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) (cbrt (pow i 4))))) 1538430557.301 * * * * [misc]progress: [ 24 / 31 ] simplifiying candidate # 1538430557.302 * [enter]simplify: Simplifying (sqrt (pow i 4)) 1538430557.302 * * [misc]simplify: iters left: 2 (4 enodes) 1538430557.303 * [exit]simplify: Simplified to (sqrt (pow i 4)) 1538430557.303 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4))))) 1538430557.303 * * * * [misc]progress: [ 25 / 31 ] simplifiying candidate # 1538430557.304 * [enter]simplify: Simplifying (pow i 4) 1538430557.304 * * [misc]simplify: iters left: 1 (3 enodes) 1538430557.305 * [exit]simplify: Simplified to (pow i 4) 1538430557.305 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 1) (pow i 4)))) 1538430557.305 * * * * [misc]progress: [ 26 / 31 ] simplifiying candidate # 1538430557.305 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.306 * * [misc]simplify: iters left: 6 (9 enodes) 1538430557.311 * * [misc]simplify: iters left: 5 (17 enodes) 1538430557.318 * * [misc]simplify: iters left: 4 (24 enodes) 1538430557.325 * * [misc]simplify: iters left: 3 (27 enodes) 1538430557.333 * * [misc]simplify: iters left: 2 (33 enodes) 1538430557.347 * * [misc]simplify: iters left: 1 (38 enodes) 1538430557.360 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1538430557.360 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1538430557.360 * * * * [misc]progress: [ 27 / 31 ] simplifiying candidate # 1538430557.360 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.361 * * [misc]simplify: iters left: 6 (9 enodes) 1538430557.366 * * [misc]simplify: iters left: 5 (17 enodes) 1538430557.374 * * [misc]simplify: iters left: 4 (24 enodes) 1538430557.382 * * [misc]simplify: iters left: 3 (27 enodes) 1538430557.389 * * [misc]simplify: iters left: 2 (33 enodes) 1538430557.399 * * [misc]simplify: iters left: 1 (38 enodes) 1538430557.412 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1538430557.412 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1538430557.412 * * * * [misc]progress: [ 28 / 31 ] simplifiying candidate # 1538430557.412 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) 1538430557.413 * * [misc]simplify: iters left: 6 (9 enodes) 1538430557.418 * * [misc]simplify: iters left: 5 (17 enodes) 1538430557.425 * * [misc]simplify: iters left: 4 (24 enodes) 1538430557.428 * * [misc]simplify: iters left: 3 (27 enodes) 1538430557.432 * * [misc]simplify: iters left: 2 (33 enodes) 1538430557.439 * * [misc]simplify: iters left: 1 (38 enodes) 1538430557.450 * [exit]simplify: Simplified to (+ 1/16 (/ 0.015625 (* i i))) 1538430557.450 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4)))) 1538430557.450 * * * * [misc]progress: [ 29 / 31 ] simplifiying candidate # 1538430557.450 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538430557.451 * * [misc]simplify: iters left: 3 (5 enodes) 1538430557.452 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538430557.452 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430557.452 * * * * [misc]progress: [ 30 / 31 ] simplifiying candidate # 1538430557.453 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538430557.453 * * [misc]simplify: iters left: 3 (5 enodes) 1538430557.455 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538430557.455 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430557.455 * * * * [misc]progress: [ 31 / 31 ] simplifiying candidate # 1538430557.455 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538430557.455 * * [misc]simplify: iters left: 3 (5 enodes) 1538430557.457 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538430557.457 * [misc]simplify: Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430557.458 * * * [misc]progress: adding candidates to table 1538430558.080 * [misc]progress: [Phase 3 of 3] Extracting. 1538430558.080 * * [misc]regime: Finding splitpoints for: (# #) 1538430558.081 * * * [misc]regime-changes: Trying 1 branch expressions: (i) 1538430558.081 * * * * [misc]regimes: Trying to branch on i from (# #) 1538430558.113 * * * * [misc]regimes: Trying to branch on i from (# #) 1538430558.165 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 0 131) #(struct:si 1 256)) (# #) ((5.013601637915135e-295) (1.7070485410629275e-293) (8.935835564120186e-293) (1.8636188577327326e-292) (2.0499166214487706e-286) (6.267191783803525e-286) (1.6080632187883616e-282) (9.069587069597856e-282) (4.1712538657943384e-277) (1.096636401124432e-273) (2.8689843588731385e-273) (2.005862944901758e-269) (3.3140855538073233e-258) (8.365291391572887e-256) (1.4987389468752666e-248) (2.7981100072791905e-246) (7.993041477394398e-245) (1.2208510505949665e-243) (1.1831978895753659e-241) (3.7287376822877163e-240) (7.333175131721673e-236) (2.444338010964477e-230) (6.174455743960428e-226) (4.120057888366182e-225) (6.855311309924652e-225) (5.1472660058358797e-222) (6.400260312665979e-219) (3.8285492195674485e-215) (2.7790613726366505e-214) (5.759333844332986e-214) (1.6194909120970527e-210) (1.594148294227659e-209) (7.867069076961593e-209) (7.51204820886847e-207) (3.9383346101185356e-204) (8.524907524636916e-204) (3.58583598396085e-202) (4.5886329128165326e-201) (6.6854530442389524e-195) (2.6335862767816572e-191) (3.2299324575639904e-191) (1.6608889866114366e-188) (9.162328205003872e-188) (1.4331956814330628e-187) (2.9513086635513357e-186) (2.7090842540648305e-185) (2.0317131581793867e-183) (1.6769059355972707e-177) (1.6819561723697223e-172) (5.319926656512538e-172) (8.278508015162499e-172) (7.042555147218151e-169) (2.6368278117269424e-164) (5.485268919674729e-164) (6.054588678524236e-162) (1.587884971292049e-161) (6.2551179811705895e-161) (1.2593675487781963e-160) (2.531185514366687e-160) (6.476821521799594e-158) (3.6382323894639e-156) (9.977203690580622e-155) (1.6829717768900378e-153) (3.54700103955168e-145) (1.6404171110987324e-139) (1.8303714658820272e-138) (3.1801238131276193e-138) (7.720873170819818e-136) (5.583416570432034e-130) (5.760485675204134e-127) (6.974516411161665e-124) (5.586795086289558e-123) (1.1565150864254226e-122) (9.344014071558772e-122) (8.366938700295507e-119) (6.169956888528221e-114) (5.61757228225279e-108) (3.778308046696844e-107) (5.058917302067742e-106) (6.774522114822899e-106) (3.2702271952239392e-105) (9.4703867005643e-104) (1.1901746943105266e-102) (5.5017579016260187e-101) (1.5361770399180605e-100) (5.50959541637532e-100) (1.0754588969670926e-96) (2.4438546052226126e-96) (1.3181144615460292e-92) (4.970830274853816e-90) (1.192777079122808e-88) (4.010769707245955e-86) (8.108495746262953e-81) (2.484214682944214e-80) (2.556376643499219e-79) (1.3112482494893097e-78) (6.851970405559539e-77) (1.3529953825943013e-76) (2.406087114711889e-76) (5.046050492577314e-74) (2.7170495057670605e-73) (1.2166469329514516e-72) (1.5348893062764376e-71) (1.6005423032230096e-69) (9.748430262684983e-68) (2.1809436344582223e-66) (5.609416572951465e-65) (1.4084589241686184e-63) (8.6300823606035e-63) (1.976090710414049e-56) (1.5165048431311432e-53) (4.7794070548358394e-48) (6.90261801153655e-45) (8.615645031868515e-41) (8.791753136746097e-34) (5.099578496632672e-28) (1.2887704484457252e-27) (1.2685530550279762e-26) (1.2669228749921691e-25) (3.0288461034541006e-24) (5.906230072013227e-23) (1.33414283704376e-20) (8.529196636232693e-20) (1.0698717444579266e-18) (4.150679019087928e-17) (5.221171900407264e-17) (2.343236374015646e-09) (1.1795215871723913e-08) (2.0923140896706516e-05) (0.005739490097847041) (13.348242937465754) (88320.6383031273) (445408857.20179605) (449268130.4503599) (4106757433.919167) (9284424196401.516) (2.1552471390016256e+17) (6.06464458204008e+19) (2.3266498924579049e+21) (3.5628241547040354e+21) (1.902075436151418e+27) (6.07250109194505e+28) (2.5425710975733674e+32) (1.9460070526586053e+34) (9.431153237702869e+36) (8.063089808424657e+37) (1.5399099920499352e+44) (1.4044358679993739e+48) (1.842866762415913e+49) (7.481536781278534e+49) (2.5903497908942727e+52) (2.3968820018975567e+55) (3.876616479610493e+61) (2.472848895013194e+65) (6.894677819051753e+69) (1.0652546246981542e+70) (1.5652071363460238e+71) (1.6216166216681348e+72) (4.722165691549622e+73) (8.202850586249641e+74) (1.510869328850952e+76) (6.024377562576254e+79) (1.4138685096128046e+80) (7.184700683052833e+84) (1.4098639564657632e+91) (5.6515552877788165e+91) (4.141451596216458e+96) (3.2113514051463313e+97) (1.1453007239563903e+100) (6.670277558433764e+105) (5.839736641252779e+107) (2.1148190689712083e+113) (2.610981431691416e+115) (1.663704707134327e+116) (8.173695564077406e+116) (7.134244642888212e+117) (3.457096767602334e+118) (9.071865417482272e+121) (3.241027948644739e+122) (6.359071049431109e+122) (1.680794382215545e+124) (3.488847198915406e+126) (2.8286474642187396e+130) (6.269699994136924e+130) (9.164697597016174e+133) (3.9997575660805743e+135) (3.2589328992817023e+137) (4.3232256162484593e+139) (9.016608131345914e+142) (1.1787059163895042e+144) (6.036861243631122e+154) (1.5788231542474417e+158) (5.372976697602135e+158) (1.1189682945036486e+170) (5.592291671893545e+173) (1.817602569465882e+174) (4.784785667282531e+176) (4.474020135315985e+186) (6.910607027745771e+186) (2.6768824844665122e+191) (3.218679279076459e+191) (1.314447888557295e+196) (4.800132873608993e+200) (5.4830764445455156e+203) (3.608715050110109e+206) (1.6890187592783028e+207) (2.092160317564641e+207) (2.973250602634693e+207) (2.7442986153511867e+209) (5.2611406736912345e+212) (1.6210418850315116e+213) (9.749588094904185e+213) (8.335481949705825e+216) (1.5280547630508388e+218) (8.388103893133522e+220) (4.442473098154828e+221) (5.456863542790949e+221) (4.30596443787063e+228) (2.2819247845168368e+229) (6.645388243071816e+232) (7.884615034248954e+232) (2.5703153535736783e+233) (6.663714205948534e+233) (8.813815342169308e+233) (7.950948943504887e+236) (7.180807439103291e+239) (1.9891887543275462e+241) (1.0842813643750828e+242) (1.0172242756445938e+249) (5.270095377167439e+250) (2.323199570483856e+255) (2.0126562469555054e+257) (3.372119494369182e+257) (1.0069232804771043e+261) (6.388461909260838e+273) (2.3564289526794258e+275) (4.95501497112931e+275) (1.3521343581822738e+277) (1.390976523533811e+277) (7.171688106598822e+279) (2.8872497401235812e+281) (1.8743273845913086e+282) (9.032351023741435e+285) (6.020528356128489e+287) (1.579398277384525e+288) (1.858838302398523e+289) (3.573651745492784e+293) (9.298575640740894e+293) (2.2553697194987522e+294) (5.309548142191148e+298) (1.1118217042545045e+300) (9.523539998461041e+300) (2.0665225007142274e+303) (2.1219925721568735e+303) (5.186288136445101e+304) (1.2038693410900372e+306)) i (1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1)) 1538430558.169 * [misc]binary-search: Only using regimes for bounds on i and (# #) 1538430558.170 * [misc]regimes: Found splitpoints: (#(struct:sp 0 i 13.348242937465754) #(struct:sp 1 i +nan.0)) , with alts (# #) 1538430558.170 * [enter]simplify: Simplifying (if (<= i 13.348242937465754) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430558.173 * * [misc]simplify: iters left: 6 (22 enodes) 1538430558.176 * * [misc]simplify: iters left: 5 (27 enodes) 1538430558.184 * [exit]simplify: Simplified to (if (<= i 13.348242937465754) (/ (* (/ i 4) i) (fma (* 4 i) i (- 1.0))) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))) 1538430558.184 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538430562.743 * * * * [misc]points: Filtering points with unrepresentable outputs 1538430562.746 * * * * [exit]points: Sampled 8000 points with exact outputs