1538425706.284 * [misc]progress: [Phase 1 of 3] Setting up. 1538425706.284 * * * [misc]progress: [1/2] Preparing points 1538425706.286 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1538425706.384 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425706.384 * * * * [exit]points: Sampled 256 points with exact outputs 1538425706.384 * * * [misc]progress: [2/2] Setting up program. 1538425706.389 * [misc]progress: [Phase 2 of 3] Improving. 1538425706.389 * [enter]simplify: Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0)) 1538425706.390 * * [misc]simplify: iters left: 6 (10 enodes) 1538425706.420 * * [misc]simplify: iters left: 5 (29 enodes) 1538425706.449 * * [misc]simplify: iters left: 4 (134 enodes) 1538425706.660 * [exit]simplify: Simplified to (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) 1538425706.671 * * [misc]progress: iteration 1 / 4 1538425706.671 * * * [misc]progress: picking best candidate 1538425706.675 * * * * [misc]pick: Picked # 1538425706.675 * * * [misc]progress: localizing error 1538425706.695 * * * [misc]progress: generating rewritten candidates 1538425706.695 * * * * [misc]progress: [ 1 / 1 ] rewriting at (2) 1538425706.840 * * * [misc]progress: generating series expansions 1538425706.840 * * * * [misc]progress: [ 1 / 1 ] generating series at (2) 1538425706.840 * [misc]backup-simplify: Simplify (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) 1538425706.840 * [misc]approximate: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0 1538425706.840 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 1538425706.840 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.840 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.840 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 1538425706.841 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.841 * [misc]taylor: Taking taylor expansion of i in i 1538425706.841 * [misc]backup-simplify: Simplify 0 into 0 1538425706.841 * [misc]backup-simplify: Simplify 1 into 1 1538425706.841 * [misc]taylor: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 1538425706.841 * [misc]taylor: Taking taylor expansion of (* 4 (pow i 2)) in i 1538425706.841 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.841 * [misc]backup-simplify: Simplify 4 into 4 1538425706.841 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.841 * [misc]taylor: Taking taylor expansion of i in i 1538425706.841 * [misc]backup-simplify: Simplify 0 into 0 1538425706.841 * [misc]backup-simplify: Simplify 1 into 1 1538425706.841 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.841 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.841 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.841 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538425706.842 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538425706.842 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1538425706.842 * [misc]taylor: Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i 1538425706.842 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.842 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.842 * [misc]taylor: Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i 1538425706.842 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.842 * [misc]taylor: Taking taylor expansion of i in i 1538425706.842 * [misc]backup-simplify: Simplify 0 into 0 1538425706.842 * [misc]backup-simplify: Simplify 1 into 1 1538425706.842 * [misc]taylor: Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i 1538425706.843 * [misc]taylor: Taking taylor expansion of (* 4 (pow i 2)) in i 1538425706.843 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.843 * [misc]backup-simplify: Simplify 4 into 4 1538425706.843 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.843 * [misc]taylor: Taking taylor expansion of i in i 1538425706.843 * [misc]backup-simplify: Simplify 0 into 0 1538425706.843 * [misc]backup-simplify: Simplify 1 into 1 1538425706.843 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.843 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.843 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.843 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538425706.843 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538425706.844 * [misc]backup-simplify: Simplify (/ 1 (- 1.0)) into -1.0 1538425706.844 * [misc]backup-simplify: Simplify (* 1/4 -1.0) into -0.25 1538425706.844 * [misc]backup-simplify: Simplify -0.25 into -0.25 1538425706.844 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.844 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.845 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.845 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0 1538425706.845 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0 1538425706.845 * [misc]backup-simplify: Simplify 0 into 0 1538425706.845 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.846 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.846 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538425706.846 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.846 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538425706.848 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0) 1538425706.848 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0) 1538425706.849 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538425706.849 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.849 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.849 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538425706.850 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.850 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.850 * [misc]backup-simplify: Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0 1538425706.851 * [misc]backup-simplify: Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0 1538425706.851 * [misc]backup-simplify: Simplify 0 into 0 1538425706.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.851 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.852 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.852 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.852 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.854 * [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) 1538425706.855 * [misc]backup-simplify: Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0) 1538425706.856 * [misc]backup-simplify: Simplify (- 4.0) into (- 4.0) 1538425706.856 * [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))))) 1538425706.857 * [misc]backup-simplify: Simplify (/ (* (/ 1 i) (/ (/ 1 i) 4)) (- (* (/ 1 i) (* 4 (/ 1 i))) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) 1538425706.857 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 1538425706.857 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.857 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.857 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of i in i 1538425706.857 * [misc]backup-simplify: Simplify 0 into 0 1538425706.857 * [misc]backup-simplify: Simplify 1 into 1 1538425706.857 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.857 * [misc]backup-simplify: Simplify 4 into 4 1538425706.857 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 2)) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.857 * [misc]taylor: Taking taylor expansion of i in i 1538425706.857 * [misc]backup-simplify: Simplify 0 into 0 1538425706.857 * [misc]backup-simplify: Simplify 1 into 1 1538425706.858 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.858 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538425706.858 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.858 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.858 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.858 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538425706.858 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538425706.858 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538425706.859 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538425706.859 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.859 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.859 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of i in i 1538425706.859 * [misc]backup-simplify: Simplify 0 into 0 1538425706.859 * [misc]backup-simplify: Simplify 1 into 1 1538425706.859 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.859 * [misc]backup-simplify: Simplify 4 into 4 1538425706.859 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 2)) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.859 * [misc]taylor: Taking taylor expansion of i in i 1538425706.859 * [misc]backup-simplify: Simplify 0 into 0 1538425706.859 * [misc]backup-simplify: Simplify 1 into 1 1538425706.859 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.859 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538425706.859 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.860 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.860 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.860 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538425706.860 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538425706.860 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538425706.860 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538425706.860 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538425706.861 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.861 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538425706.861 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538425706.861 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.862 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.862 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1538425706.862 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1538425706.862 * [misc]backup-simplify: Simplify 0 into 0 1538425706.862 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.863 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.863 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.863 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538425706.864 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538425706.864 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.865 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1538425706.866 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1538425706.866 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425706.867 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.867 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.867 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.868 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.868 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.868 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.868 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1538425706.869 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1538425706.869 * [misc]backup-simplify: Simplify 0 into 0 1538425706.869 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.870 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.870 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.870 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.871 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.871 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.871 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1538425706.873 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1538425706.873 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425706.874 * [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))))) 1538425706.874 * [misc]backup-simplify: Simplify (/ (* (/ 1 (- i)) (/ (/ 1 (- i)) 4)) (- (* (/ 1 (- i)) (* 4 (/ 1 (- i)))) 1.0)) into (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) 1538425706.874 * [misc]approximate: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0 1538425706.875 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.875 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.875 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of i in i 1538425706.875 * [misc]backup-simplify: Simplify 0 into 0 1538425706.875 * [misc]backup-simplify: Simplify 1 into 1 1538425706.875 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.875 * [misc]backup-simplify: Simplify 4 into 4 1538425706.875 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 2)) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.875 * [misc]taylor: Taking taylor expansion of i in i 1538425706.875 * [misc]backup-simplify: Simplify 0 into 0 1538425706.875 * [misc]backup-simplify: Simplify 1 into 1 1538425706.875 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.875 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538425706.875 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.875 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.876 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.876 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538425706.876 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538425706.876 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538425706.876 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538425706.876 * [misc]taylor: Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i 1538425706.876 * [misc]taylor: Taking taylor expansion of 1/4 in i 1538425706.876 * [misc]backup-simplify: Simplify 1/4 into 1/4 1538425706.876 * [misc]taylor: Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i 1538425706.876 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.876 * [misc]taylor: Taking taylor expansion of i in i 1538425706.876 * [misc]backup-simplify: Simplify 0 into 0 1538425706.876 * [misc]backup-simplify: Simplify 1 into 1 1538425706.876 * [misc]taylor: Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i 1538425706.876 * [misc]taylor: Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i 1538425706.876 * [misc]taylor: Taking taylor expansion of 4 in i 1538425706.877 * [misc]backup-simplify: Simplify 4 into 4 1538425706.877 * [misc]taylor: Taking taylor expansion of (/ 1 (pow i 2)) in i 1538425706.877 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425706.877 * [misc]taylor: Taking taylor expansion of i in i 1538425706.877 * [misc]backup-simplify: Simplify 0 into 0 1538425706.877 * [misc]backup-simplify: Simplify 1 into 1 1538425706.877 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.877 * [misc]backup-simplify: Simplify (/ 1 1) into 1 1538425706.877 * [misc]taylor: Taking taylor expansion of 1.0 in i 1538425706.877 * [misc]backup-simplify: Simplify 1.0 into 1.0 1538425706.877 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425706.877 * [misc]backup-simplify: Simplify (* 4 1) into 4 1538425706.877 * [misc]backup-simplify: Simplify (+ 4 0) into 4 1538425706.878 * [misc]backup-simplify: Simplify (* 1 4) into 4 1538425706.878 * [misc]backup-simplify: Simplify (/ 1/4 4) into 1/16 1538425706.878 * [misc]backup-simplify: Simplify 1/16 into 1/16 1538425706.878 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.878 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1538425706.879 * [misc]backup-simplify: Simplify (+ (* 4 0) (* 0 1)) into 0 1538425706.879 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.879 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425706.879 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 4)) into 0 1538425706.879 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0 1538425706.879 * [misc]backup-simplify: Simplify 0 into 0 1538425706.880 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.880 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.880 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.880 * [misc]backup-simplify: Simplify (- 1.0) into (- 1.0) 1538425706.881 * [misc]backup-simplify: Simplify (+ 0 (- 1.0)) into (- 1.0) 1538425706.881 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425706.882 * [misc]backup-simplify: Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0) 1538425706.883 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625 1538425706.883 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425706.884 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.884 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.884 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.884 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.885 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.885 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425706.885 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0 1538425706.886 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0 1538425706.886 * [misc]backup-simplify: Simplify 0 into 0 1538425706.886 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.887 * [misc]backup-simplify: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425706.887 * [misc]backup-simplify: Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.887 * [misc]backup-simplify: Simplify (- 0) into 0 1538425706.887 * [misc]backup-simplify: Simplify (+ 0 0) into 0 1538425706.888 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425706.888 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0 1538425706.890 * [misc]backup-simplify: Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625 1538425706.890 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425706.891 * [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))))) 1538425706.891 * * * [misc]progress: simplifying candidates 1538425706.891 * * * * [misc]progress: [ 1 / 25 ] simplifiying candidate # 1538425706.891 * * * * [misc]progress: [ 2 / 25 ] simplifiying candidate # 1538425706.891 * [enter]simplify: Simplifying (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0))) 1538425706.892 * * [misc]simplify: iters left: 6 (11 enodes) 1538425706.899 * * [misc]simplify: iters left: 5 (23 enodes) 1538425706.910 * * [misc]simplify: iters left: 4 (37 enodes) 1538425706.928 * * [misc]simplify: iters left: 3 (62 enodes) 1538425706.958 * * [misc]simplify: iters left: 2 (105 enodes) 1538425706.995 * * [misc]simplify: iters left: 1 (178 enodes) 1538425707.081 * [exit]simplify: Simplified to (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0))) 1538425707.082 * [misc]simplify: Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0))))) 1538425707.082 * * * * [misc]progress: [ 3 / 25 ] simplifiying candidate # 1538425707.082 * * * * [misc]progress: [ 4 / 25 ] simplifiying candidate # 1538425707.082 * * * * [misc]progress: [ 5 / 25 ] simplifiying candidate # 1538425707.082 * [enter]simplify: Simplifying (/ (* (* (* i (/ i 4)) (* i (/ i 4))) (* i (/ i 4))) (* (* (- (* i (* 4 i)) 1.0) (- (* i (* 4 i)) 1.0)) (- (* i (* 4 i)) 1.0))) 1538425707.086 * * [misc]simplify: iters left: 6 (13 enodes) 1538425707.090 * * [misc]simplify: iters left: 5 (35 enodes) 1538425707.116 * * [misc]simplify: iters left: 4 (141 enodes) 1538425707.328 * [exit]simplify: Simplified to (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3) 1538425707.328 * [misc]simplify: Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3))) 1538425707.328 * * * * [misc]progress: [ 6 / 25 ] simplifiying candidate # 1538425707.328 * * * * [misc]progress: [ 7 / 25 ] simplifiying candidate # 1538425707.328 * * * * [misc]progress: [ 8 / 25 ] simplifiying candidate # 1538425707.328 * * * * [misc]progress: [ 9 / 25 ] simplifiying candidate # 1538425707.328 * * * * [misc]progress: [ 10 / 25 ] simplifiying candidate # 1538425707.328 * [enter]simplify: Simplifying (/ i (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0)))) 1538425707.329 * * [misc]simplify: iters left: 6 (9 enodes) 1538425707.332 * * [misc]simplify: iters left: 5 (15 enodes) 1538425707.335 * * [misc]simplify: iters left: 4 (18 enodes) 1538425707.338 * * [misc]simplify: iters left: 3 (19 enodes) 1538425707.342 * [exit]simplify: Simplified to (/ (/ i (cbrt (- (* i (* i 4)) 1.0))) (cbrt (- (* i (* i 4)) 1.0))) 1538425707.342 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ (/ i (cbrt (- (* i (* i 4)) 1.0))) (cbrt (- (* i (* i 4)) 1.0))) (/ (/ i 4) (cbrt (- (* i (* 4 i)) 1.0))))) 1538425707.342 * [enter]simplify: Simplifying (/ (/ i 4) (cbrt (- (* i (* 4 i)) 1.0))) 1538425707.343 * * [misc]simplify: iters left: 6 (9 enodes) 1538425707.345 * * [misc]simplify: iters left: 5 (15 enodes) 1538425707.349 * * [misc]simplify: iters left: 4 (21 enodes) 1538425707.353 * * [misc]simplify: iters left: 3 (22 enodes) 1538425707.357 * [exit]simplify: Simplified to (/ (/ i 4) (cbrt (- (* (* i 4) i) 1.0))) 1538425707.357 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0)))) (/ (/ i 4) (cbrt (- (* (* i 4) i) 1.0))))) 1538425707.357 * * * * [misc]progress: [ 11 / 25 ] simplifiying candidate # 1538425707.357 * [enter]simplify: Simplifying (/ i (sqrt (- (* i (* 4 i)) 1.0))) 1538425707.358 * * [misc]simplify: iters left: 6 (8 enodes) 1538425707.360 * * [misc]simplify: iters left: 5 (12 enodes) 1538425707.363 * * [misc]simplify: iters left: 4 (15 enodes) 1538425707.365 * * [misc]simplify: iters left: 3 (16 enodes) 1538425707.369 * [exit]simplify: Simplified to (/ i (sqrt (- (* i (* i 4)) 1.0))) 1538425707.369 * [misc]simplify: Simplified (2 1) to (λ (i) (* (/ i (sqrt (- (* i (* i 4)) 1.0))) (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0))))) 1538425707.369 * [enter]simplify: Simplifying (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0))) 1538425707.370 * * [misc]simplify: iters left: 6 (9 enodes) 1538425707.372 * * [misc]simplify: iters left: 5 (15 enodes) 1538425707.375 * * [misc]simplify: iters left: 4 (21 enodes) 1538425707.382 * * [misc]simplify: iters left: 3 (22 enodes) 1538425707.391 * [exit]simplify: Simplified to (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0))) 1538425707.391 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ i (sqrt (- (* i (* 4 i)) 1.0))) (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0))))) 1538425707.391 * * * * [misc]progress: [ 12 / 25 ] simplifiying candidate # 1538425707.392 * [enter]simplify: Simplifying (/ i 1) 1538425707.392 * * [misc]simplify: iters left: 2 (3 enodes) 1538425707.393 * * [misc]simplify: iters left: 1 (5 enodes) 1538425707.394 * [exit]simplify: Simplified to i 1538425707.394 * [misc]simplify: Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (- (* i (* 4 i)) 1.0)))) 1538425707.395 * [enter]simplify: Simplifying (/ (/ i 4) (- (* i (* 4 i)) 1.0)) 1538425707.398 * * [misc]simplify: iters left: 6 (8 enodes) 1538425707.403 * * [misc]simplify: iters left: 5 (14 enodes) 1538425707.406 * * [misc]simplify: iters left: 4 (20 enodes) 1538425707.411 * * [misc]simplify: iters left: 3 (29 enodes) 1538425707.419 * * [misc]simplify: iters left: 2 (44 enodes) 1538425707.428 * * [misc]simplify: iters left: 1 (54 enodes) 1538425707.441 * [exit]simplify: Simplified to (/ (/ i 4) (- (* (* i 4) i) 1.0)) 1538425707.441 * [misc]simplify: Simplified (2 2) to (λ (i) (* i (/ (/ i 4) (- (* (* i 4) i) 1.0)))) 1538425707.441 * * * * [misc]progress: [ 13 / 25 ] simplifiying candidate # 1538425707.441 * * * * [misc]progress: [ 14 / 25 ] simplifiying candidate # 1538425707.441 * * * * [misc]progress: [ 15 / 25 ] simplifiying candidate # 1538425707.441 * * * * [misc]progress: [ 16 / 25 ] simplifiying candidate # 1538425707.441 * [enter]simplify: Simplifying (cbrt (- (* i (* 4 i)) 1.0)) 1538425707.442 * * [misc]simplify: iters left: 6 (7 enodes) 1538425707.446 * * [misc]simplify: iters left: 5 (11 enodes) 1538425707.450 * * [misc]simplify: iters left: 4 (14 enodes) 1538425707.456 * * [misc]simplify: iters left: 3 (15 enodes) 1538425707.462 * [exit]simplify: Simplified to (cbrt (- (* i (* i 4)) 1.0)) 1538425707.462 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0)))) (cbrt (- (* i (* i 4)) 1.0)))) 1538425707.462 * * * * [misc]progress: [ 17 / 25 ] simplifiying candidate # 1538425707.462 * [enter]simplify: Simplifying (sqrt (- (* i (* 4 i)) 1.0)) 1538425707.463 * * [misc]simplify: iters left: 6 (7 enodes) 1538425707.467 * * [misc]simplify: iters left: 5 (11 enodes) 1538425707.471 * * [misc]simplify: iters left: 4 (14 enodes) 1538425707.477 * * [misc]simplify: iters left: 3 (15 enodes) 1538425707.483 * [exit]simplify: Simplified to (sqrt (- (* i (* i 4)) 1.0)) 1538425707.483 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (- (* i (* 4 i)) 1.0))) (sqrt (- (* i (* i 4)) 1.0)))) 1538425707.483 * * * * [misc]progress: [ 18 / 25 ] simplifiying candidate # 1538425707.483 * [enter]simplify: Simplifying (- (* i (* 4 i)) 1.0) 1538425707.484 * * [misc]simplify: iters left: 6 (6 enodes) 1538425707.487 * * [misc]simplify: iters left: 5 (10 enodes) 1538425707.492 * * [misc]simplify: iters left: 4 (13 enodes) 1538425707.497 * * [misc]simplify: iters left: 3 (14 enodes) 1538425707.502 * [exit]simplify: Simplified to (- (* i (* i 4)) 1.0) 1538425707.502 * [misc]simplify: Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (- (* i (* i 4)) 1.0))) 1538425707.503 * * * * [misc]progress: [ 19 / 25 ] simplifiying candidate # 1538425707.503 * * * * [misc]progress: [ 20 / 25 ] simplifiying candidate # 1538425707.503 * [enter]simplify: Simplifying (+ (* (* i (* 4 i)) (* i (* 4 i))) (+ (* 1.0 1.0) (* (* i (* 4 i)) 1.0))) 1538425707.504 * * [misc]simplify: iters left: 6 (10 enodes) 1538425707.514 * * [misc]simplify: iters left: 5 (25 enodes) 1538425707.530 * * [misc]simplify: iters left: 4 (58 enodes) 1538425707.562 * * [misc]simplify: iters left: 3 (106 enodes) 1538425707.595 * * [misc]simplify: iters left: 2 (169 enodes) 1538425707.646 * * [misc]simplify: iters left: 1 (200 enodes) 1538425707.710 * [exit]simplify: Simplified to (+ (+ (* (* 1.0 4) (* i i)) (* 1.0 1.0)) (* (pow i 4) 16)) 1538425707.710 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ (* i (/ i 4)) (- (pow (* i (* 4 i)) 3) (pow 1.0 3))) (+ (+ (* (* 1.0 4) (* i i)) (* 1.0 1.0)) (* (pow i 4) 16)))) 1538425707.710 * * * * [misc]progress: [ 21 / 25 ] simplifiying candidate # 1538425707.710 * [enter]simplify: Simplifying (+ (* i (* 4 i)) 1.0) 1538425707.711 * * [misc]simplify: iters left: 6 (6 enodes) 1538425707.716 * * [misc]simplify: iters left: 5 (9 enodes) 1538425707.720 * * [misc]simplify: iters left: 4 (11 enodes) 1538425707.723 * * [misc]simplify: iters left: 3 (12 enodes) 1538425707.728 * [exit]simplify: Simplified to (+ (* i (* i 4)) 1.0) 1538425707.728 * [misc]simplify: Simplified (2 2) to (λ (i) (* (/ (* i (/ i 4)) (- (* (* i (* 4 i)) (* i (* 4 i))) (* 1.0 1.0))) (+ (* i (* i 4)) 1.0))) 1538425707.728 * * * * [misc]progress: [ 22 / 25 ] simplifiying candidate # 1538425707.728 * [enter]simplify: Simplifying (* i i) 1538425707.728 * * [misc]simplify: iters left: 2 (2 enodes) 1538425707.729 * [exit]simplify: Simplified to (* i i) 1538425707.729 * [misc]simplify: Simplified (2 1) to (λ (i) (/ (* i i) (* (- (* i (* 4 i)) 1.0) 4))) 1538425707.729 * * * * [misc]progress: [ 23 / 25 ] simplifiying candidate # 1538425707.729 * [enter]simplify: Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))) 1538425707.731 * * [misc]simplify: iters left: 6 (16 enodes) 1538425707.738 * * [misc]simplify: iters left: 5 (27 enodes) 1538425707.750 * * [misc]simplify: iters left: 4 (49 enodes) 1538425707.777 * * [misc]simplify: iters left: 3 (96 enodes) 1538425707.817 * * [misc]simplify: iters left: 2 (112 enodes) 1538425707.856 * * [misc]simplify: iters left: 1 (123 enodes) 1538425707.887 * [exit]simplify: Simplified to (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25)) 1538425707.887 * [misc]simplify: Simplified (2) to (λ (i) (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25))) 1538425707.887 * * * * [misc]progress: [ 24 / 25 ] simplifiying candidate # 1538425707.887 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1538425707.888 * * [misc]simplify: iters left: 6 (15 enodes) 1538425707.892 * * [misc]simplify: iters left: 5 (28 enodes) 1538425707.899 * * [misc]simplify: iters left: 4 (42 enodes) 1538425707.905 * * [misc]simplify: iters left: 3 (47 enodes) 1538425707.912 * * [misc]simplify: iters left: 2 (53 enodes) 1538425707.921 * * [misc]simplify: iters left: 1 (58 enodes) 1538425707.930 * [exit]simplify: Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))) 1538425707.931 * [misc]simplify: Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425707.931 * * * * [misc]progress: [ 25 / 25 ] simplifiying candidate # 1538425707.931 * [enter]simplify: Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))) 1538425707.931 * * [misc]simplify: iters left: 6 (15 enodes) 1538425707.936 * * [misc]simplify: iters left: 5 (28 enodes) 1538425707.945 * * [misc]simplify: iters left: 4 (42 enodes) 1538425707.958 * * [misc]simplify: iters left: 3 (47 enodes) 1538425707.971 * * [misc]simplify: iters left: 2 (53 enodes) 1538425707.986 * * [misc]simplify: iters left: 1 (58 enodes) 1538425708.004 * [exit]simplify: Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))) 1538425708.004 * [misc]simplify: Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.004 * * * [misc]progress: adding candidates to table 1538425708.468 * * [misc]progress: iteration 2 / 4 1538425708.468 * * * [misc]progress: picking best candidate 1538425708.473 * * * * [misc]pick: Picked # 1538425708.474 * * * [misc]progress: localizing error 1538425708.498 * * * [misc]progress: generating rewritten candidates 1538425708.498 * * * * [misc]progress: [ 1 / 2 ] rewriting at (2 1) 1538425708.510 * * * * [misc]progress: [ 2 / 2 ] rewriting at (2 2 2) 1538425708.521 * * * [misc]progress: generating series expansions 1538425708.521 * * * * [misc]progress: [ 1 / 2 ] generating series at (2 1) 1538425708.521 * [misc]backup-simplify: Simplify (/ (/ 0.015625 i) i) into (/ 0.015625 (pow i 2)) 1538425708.521 * [misc]approximate: Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0 1538425708.521 * [misc]taylor: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i 1538425708.521 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.521 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.521 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.521 * [misc]taylor: Taking taylor expansion of i in i 1538425708.521 * [misc]backup-simplify: Simplify 0 into 0 1538425708.521 * [misc]backup-simplify: Simplify 1 into 1 1538425708.521 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.521 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1538425708.521 * [misc]taylor: Taking taylor expansion of (/ 0.015625 (pow i 2)) in i 1538425708.521 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.521 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.521 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.521 * [misc]taylor: Taking taylor expansion of i in i 1538425708.522 * [misc]backup-simplify: Simplify 0 into 0 1538425708.522 * [misc]backup-simplify: Simplify 1 into 1 1538425708.522 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.522 * [misc]backup-simplify: Simplify (/ 0.015625 1) into 0.015625 1538425708.522 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.522 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.522 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0 1538425708.522 * [misc]backup-simplify: Simplify 0 into 0 1538425708.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.523 * [misc]backup-simplify: Simplify 0 into 0 1538425708.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.523 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.523 * [misc]backup-simplify: Simplify 0 into 0 1538425708.523 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.524 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.524 * [misc]backup-simplify: Simplify 0 into 0 1538425708.524 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.524 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.524 * [misc]backup-simplify: Simplify 0 into 0 1538425708.525 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.525 * [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 1538425708.525 * [misc]backup-simplify: Simplify 0 into 0 1538425708.525 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2)) 1538425708.525 * [misc]backup-simplify: Simplify (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) into (* 0.015625 (pow i 2)) 1538425708.525 * [misc]approximate: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0 1538425708.525 * [misc]taylor: Taking taylor expansion of (* 0.015625 (pow i 2)) in i 1538425708.525 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.525 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.525 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.525 * [misc]taylor: Taking taylor expansion of i in i 1538425708.525 * [misc]backup-simplify: Simplify 0 into 0 1538425708.526 * [misc]backup-simplify: Simplify 1 into 1 1538425708.526 * [misc]taylor: Taking taylor expansion of (* 0.015625 (pow i 2)) in i 1538425708.526 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.526 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.526 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.526 * [misc]taylor: Taking taylor expansion of i in i 1538425708.526 * [misc]backup-simplify: Simplify 0 into 0 1538425708.526 * [misc]backup-simplify: Simplify 1 into 1 1538425708.526 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.526 * [misc]backup-simplify: Simplify (* 0.015625 1) into 0.015625 1538425708.526 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.526 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (* 0 1)) into 0 1538425708.526 * [misc]backup-simplify: Simplify 0 into 0 1538425708.526 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.527 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.527 * [misc]backup-simplify: Simplify 0 into 0 1538425708.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.527 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.527 * [misc]backup-simplify: Simplify 0 into 0 1538425708.527 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.527 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.527 * [misc]backup-simplify: Simplify 0 into 0 1538425708.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.528 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.528 * [misc]backup-simplify: Simplify 0 into 0 1538425708.528 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.529 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.529 * [misc]backup-simplify: Simplify 0 into 0 1538425708.529 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2)) 1538425708.529 * [misc]backup-simplify: Simplify (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) into (* 0.015625 (pow i 2)) 1538425708.529 * [misc]approximate: Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0 1538425708.529 * [misc]taylor: Taking taylor expansion of (* 0.015625 (pow i 2)) in i 1538425708.529 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.529 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.529 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.529 * [misc]taylor: Taking taylor expansion of i in i 1538425708.529 * [misc]backup-simplify: Simplify 0 into 0 1538425708.529 * [misc]backup-simplify: Simplify 1 into 1 1538425708.529 * [misc]taylor: Taking taylor expansion of (* 0.015625 (pow i 2)) in i 1538425708.529 * [misc]taylor: Taking taylor expansion of 0.015625 in i 1538425708.529 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.529 * [misc]taylor: Taking taylor expansion of (pow i 2) in i 1538425708.529 * [misc]taylor: Taking taylor expansion of i in i 1538425708.529 * [misc]backup-simplify: Simplify 0 into 0 1538425708.529 * [misc]backup-simplify: Simplify 1 into 1 1538425708.529 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.529 * [misc]backup-simplify: Simplify (* 0.015625 1) into 0.015625 1538425708.530 * [misc]backup-simplify: Simplify 0.015625 into 0.015625 1538425708.530 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.530 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (* 0 1)) into 0 1538425708.530 * [misc]backup-simplify: Simplify 0 into 0 1538425708.530 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.530 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.530 * [misc]backup-simplify: Simplify 0 into 0 1538425708.530 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.531 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.531 * [misc]backup-simplify: Simplify 0 into 0 1538425708.531 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.531 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.531 * [misc]backup-simplify: Simplify 0 into 0 1538425708.531 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.532 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.532 * [misc]backup-simplify: Simplify 0 into 0 1538425708.532 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.532 * [misc]backup-simplify: Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.532 * [misc]backup-simplify: Simplify 0 into 0 1538425708.532 * [misc]backup-simplify: Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2)) 1538425708.533 * * * * [misc]progress: [ 2 / 2 ] generating series at (2 2 2) 1538425708.533 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4)) 1538425708.533 * [misc]approximate: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0 1538425708.533 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1538425708.533 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.533 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.533 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.533 * [misc]taylor: Taking taylor expansion of i in i 1538425708.533 * [misc]backup-simplify: Simplify 0 into 0 1538425708.533 * [misc]backup-simplify: Simplify 1 into 1 1538425708.533 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.533 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.533 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1538425708.533 * [misc]taylor: Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i 1538425708.533 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.533 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.533 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.533 * [misc]taylor: Taking taylor expansion of i in i 1538425708.533 * [misc]backup-simplify: Simplify 0 into 0 1538425708.533 * [misc]backup-simplify: Simplify 1 into 1 1538425708.534 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.534 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.534 * [misc]backup-simplify: Simplify (/ 0.00390625 1) into 0.00390625 1538425708.534 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.534 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.534 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.534 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0 1538425708.534 * [misc]backup-simplify: Simplify 0 into 0 1538425708.535 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.535 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.535 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.535 * [misc]backup-simplify: Simplify 0 into 0 1538425708.535 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.535 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.536 * [misc]backup-simplify: Simplify 0 into 0 1538425708.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.536 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.536 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.537 * [misc]backup-simplify: Simplify 0 into 0 1538425708.537 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.537 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.537 * [misc]backup-simplify: Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1538425708.537 * [misc]backup-simplify: Simplify 0 into 0 1538425708.538 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.538 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.538 * [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 1538425708.538 * [misc]backup-simplify: Simplify 0 into 0 1538425708.539 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1538425708.539 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4)) 1538425708.539 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1538425708.539 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538425708.539 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.539 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.539 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.539 * [misc]taylor: Taking taylor expansion of i in i 1538425708.539 * [misc]backup-simplify: Simplify 0 into 0 1538425708.539 * [misc]backup-simplify: Simplify 1 into 1 1538425708.539 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538425708.539 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.539 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.539 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.539 * [misc]taylor: Taking taylor expansion of i in i 1538425708.539 * [misc]backup-simplify: Simplify 0 into 0 1538425708.539 * [misc]backup-simplify: Simplify 1 into 1 1538425708.539 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.539 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.539 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1538425708.539 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1538425708.540 * [misc]backup-simplify: Simplify 0 into 0 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.540 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.540 * [misc]backup-simplify: Simplify 0 into 0 1538425708.541 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.541 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.541 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.541 * [misc]backup-simplify: Simplify 0 into 0 1538425708.541 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.542 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.542 * [misc]backup-simplify: Simplify 0 into 0 1538425708.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.542 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.543 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.543 * [misc]backup-simplify: Simplify 0 into 0 1538425708.543 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.543 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.544 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.544 * [misc]backup-simplify: Simplify 0 into 0 1538425708.544 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4)) 1538425708.544 * [misc]backup-simplify: Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4)) 1538425708.544 * [misc]approximate: Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0 1538425708.544 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538425708.544 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.544 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.544 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.544 * [misc]taylor: Taking taylor expansion of i in i 1538425708.544 * [misc]backup-simplify: Simplify 0 into 0 1538425708.544 * [misc]backup-simplify: Simplify 1 into 1 1538425708.544 * [misc]taylor: Taking taylor expansion of (* 0.00390625 (pow i 4)) in i 1538425708.544 * [misc]taylor: Taking taylor expansion of 0.00390625 in i 1538425708.544 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.544 * [misc]taylor: Taking taylor expansion of (pow i 4) in i 1538425708.544 * [misc]taylor: Taking taylor expansion of i in i 1538425708.544 * [misc]backup-simplify: Simplify 0 into 0 1538425708.544 * [misc]backup-simplify: Simplify 1 into 1 1538425708.544 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.545 * [misc]backup-simplify: Simplify (* 1 1) into 1 1538425708.545 * [misc]backup-simplify: Simplify (* 0.00390625 1) into 0.00390625 1538425708.545 * [misc]backup-simplify: Simplify 0.00390625 into 0.00390625 1538425708.545 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.545 * [misc]backup-simplify: Simplify (+ (* 1 0) (* 0 1)) into 0 1538425708.545 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (* 0 1)) into 0 1538425708.545 * [misc]backup-simplify: Simplify 0 into 0 1538425708.545 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.546 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.546 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0 1538425708.546 * [misc]backup-simplify: Simplify 0 into 0 1538425708.546 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.546 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.546 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0 1538425708.546 * [misc]backup-simplify: Simplify 0 into 0 1538425708.547 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.547 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.547 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0 1538425708.547 * [misc]backup-simplify: Simplify 0 into 0 1538425708.547 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.548 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.548 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0 1538425708.548 * [misc]backup-simplify: Simplify 0 into 0 1538425708.548 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.548 * [misc]backup-simplify: Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.549 * [misc]backup-simplify: Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0 1538425708.549 * [misc]backup-simplify: Simplify 0 into 0 1538425708.549 * [misc]backup-simplify: Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4)) 1538425708.549 * * * [misc]progress: simplifying candidates 1538425708.549 * * * * [misc]progress: [ 1 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 2 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 3 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 4 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 5 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 6 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 7 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 8 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 9 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 10 / 34 ] simplifiying candidate # 1538425708.549 * * * * [misc]progress: [ 11 / 34 ] simplifiying candidate # 1538425708.550 * [enter]simplify: Simplifying (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i))) 1538425708.550 * * [misc]simplify: iters left: 5 (5 enodes) 1538425708.551 * [exit]simplify: Simplified to (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i))) 1538425708.551 * [misc]simplify: Simplified (2 1 1) to (λ (i) (+ (/ (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i))) (/ i (cbrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.551 * * * * [misc]progress: [ 12 / 34 ] simplifiying candidate # 1538425708.551 * [enter]simplify: Simplifying (sqrt (/ 0.015625 i)) 1538425708.551 * * [misc]simplify: iters left: 3 (4 enodes) 1538425708.552 * [exit]simplify: Simplified to (sqrt (/ 0.015625 i)) 1538425708.552 * [misc]simplify: Simplified (2 1 1) to (λ (i) (+ (/ (sqrt (/ 0.015625 i)) (/ i (sqrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.552 * * * * [misc]progress: [ 13 / 34 ] simplifiying candidate # 1538425708.552 * * * * [misc]progress: [ 14 / 34 ] simplifiying candidate # 1538425708.552 * * * * [misc]progress: [ 15 / 34 ] simplifiying candidate # 1538425708.552 * * * * [misc]progress: [ 16 / 34 ] simplifiying candidate # 1538425708.552 * * * * [misc]progress: [ 17 / 34 ] simplifiying candidate # 1538425708.552 * * * * [misc]progress: [ 18 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 19 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 20 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 21 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 22 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 23 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 24 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 25 / 34 ] simplifiying candidate # 1538425708.553 * * * * [misc]progress: [ 26 / 34 ] simplifiying candidate # 1538425708.553 * [enter]simplify: Simplifying (cbrt (pow i 4)) 1538425708.553 * * [misc]simplify: iters left: 2 (4 enodes) 1538425708.554 * [exit]simplify: Simplified to (cbrt (pow i 4)) 1538425708.554 * [misc]simplify: Simplified (2 2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) (cbrt (pow i 4)))))) 1538425708.554 * * * * [misc]progress: [ 27 / 34 ] simplifiying candidate # 1538425708.554 * [enter]simplify: Simplifying (sqrt (pow i 4)) 1538425708.554 * * [misc]simplify: iters left: 2 (4 enodes) 1538425708.555 * [exit]simplify: Simplified to (sqrt (pow i 4)) 1538425708.555 * [misc]simplify: Simplified (2 2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4)))))) 1538425708.555 * * * * [misc]progress: [ 28 / 34 ] simplifiying candidate # 1538425708.555 * [enter]simplify: Simplifying (pow i 4) 1538425708.555 * * [misc]simplify: iters left: 1 (3 enodes) 1538425708.556 * [exit]simplify: Simplified to (pow i 4) 1538425708.556 * [misc]simplify: Simplified (2 2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 1) (pow i 4))))) 1538425708.556 * * * * [misc]progress: [ 29 / 34 ] simplifiying candidate # 1538425708.557 * [enter]simplify: Simplifying (/ 0.015625 (pow i 2)) 1538425708.557 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.559 * * [misc]simplify: iters left: 2 (6 enodes) 1538425708.561 * * [misc]simplify: iters left: 1 (8 enodes) 1538425708.564 * [exit]simplify: Simplified to (/ 0.015625 (* i i)) 1538425708.564 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.564 * * * * [misc]progress: [ 30 / 34 ] simplifiying candidate # 1538425708.564 * [enter]simplify: Simplifying (/ 0.015625 (pow i 2)) 1538425708.565 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.567 * * [misc]simplify: iters left: 2 (6 enodes) 1538425708.569 * * [misc]simplify: iters left: 1 (8 enodes) 1538425708.572 * [exit]simplify: Simplified to (/ 0.015625 (* i i)) 1538425708.572 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.572 * * * * [misc]progress: [ 31 / 34 ] simplifiying candidate # 1538425708.572 * [enter]simplify: Simplifying (/ 0.015625 (pow i 2)) 1538425708.572 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.574 * * [misc]simplify: iters left: 2 (6 enodes) 1538425708.576 * * [misc]simplify: iters left: 1 (8 enodes) 1538425708.579 * [exit]simplify: Simplified to (/ 0.015625 (* i i)) 1538425708.579 * [misc]simplify: Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.579 * * * * [misc]progress: [ 32 / 34 ] simplifiying candidate # 1538425708.579 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538425708.580 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.580 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538425708.581 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.581 * * * * [misc]progress: [ 33 / 34 ] simplifiying candidate # 1538425708.581 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538425708.584 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.585 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538425708.585 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.585 * * * * [misc]progress: [ 34 / 34 ] simplifiying candidate # 1538425708.585 * [enter]simplify: Simplifying (/ 0.00390625 (pow i 4)) 1538425708.585 * * [misc]simplify: iters left: 3 (5 enodes) 1538425708.586 * [exit]simplify: Simplified to (/ 0.00390625 (pow i 4)) 1538425708.586 * [misc]simplify: Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425708.586 * * * [misc]progress: adding candidates to table 1538425709.329 * [misc]progress: [Phase 3 of 3] Extracting. 1538425709.329 * * [misc]regime: Finding splitpoints for: (# #) 1538425709.331 * * * [misc]regime-changes: Trying 1 branch expressions: (i) 1538425709.331 * * * * [misc]regimes: Trying to branch on i from (# #) 1538425709.381 * * * * [misc]regimes: Trying to branch on i from (# #) 1538425709.409 * * * [misc]regime: Found split indices: #(struct:option (#(struct:si 1 131) #(struct:si 0 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)) 1538425709.413 * [misc]binary-search: Only using regimes for bounds on i and (# #) 1538425709.413 * [misc]regimes: Found splitpoints: (#(struct:sp 1 i 13.348242937465754) #(struct:sp 0 i +nan.0)) , with alts (# #) 1538425709.413 * [enter]simplify: Simplifying (if (<= i 13.348242937465754) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))) 1538425709.415 * * [misc]simplify: iters left: 6 (21 enodes) 1538425709.418 * * [misc]simplify: iters left: 5 (26 enodes) 1538425709.423 * [exit]simplify: Simplified to (if (<= i 13.348242937465754) (/ (* (/ i 4) i) (- (* i (* 4 i)) 1.0)) (+ (+ 1/16 (/ 0.00390625 (pow i 4))) (/ (/ 0.015625 i) i))) 1538425709.423 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1538425713.609 * * * * [misc]points: Filtering points with unrepresentable outputs 1538425713.613 * * * * [exit]points: Sampled 8000 points with exact outputs