1544090973.496 * [misc]progress:  [Phase 1 of 3] Setting up.
1544090973.496 * * * [misc]progress:  [1/2] Preparing points
1544090973.500 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544090973.501 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544090973.505 * * * * [misc]points:  Setting MPFR precision to 64
1544090973.506 * * * * [misc]points:  Setting MPFR precision to 320
1544090973.507 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544090973.511 * * * * [misc]points:  Setting MPFR precision to 64
1544090973.512 * * * * [misc]points:  Setting MPFR precision to 320
1544090973.513 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544090973.518 * * * * [misc]points:  Setting MPFR precision to 64
1544090973.520 * * * * [misc]points:  Setting MPFR precision to 320
1544090973.522 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544090973.527 * * * * [misc]points:  Setting MPFR precision to 64
1544090973.531 * * * * [misc]points:  Setting MPFR precision to 320
1544090973.535 * * * * [misc]points:  Computing exacts for 256 points
1544090973.539 * * * * [misc]points:  Setting MPFR precision to 64
1544090973.550 * * * * [misc]points:  Setting MPFR precision to 320
1544090973.560 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090973.561 * * * * [exit]points:  Sampled 256 points with exact outputs
1544090973.561 * * * [misc]progress:  [2/2] Setting up program.
1544090973.565 * [misc]progress:  [Phase 2 of 3] Improving.
1544090973.565 * [enter]simplify:  Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))
1544090973.565 * * [misc]simplify:  iters left: 6 (10 enodes)
1544090973.569 * * [misc]simplify:  iters left: 5 (30 enodes)
1544090973.584 * * [misc]simplify:  iters left: 4 (137 enodes)
1544090973.777 * [exit]simplify:  Simplified to (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0)))
1544090973.788 * * [misc]progress:  iteration 1 / 4
1544090973.788 * * * [misc]progress:  picking best candidate
1544090973.792 * * * * [misc]pick:  Picked  #<alt (λ (i) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))>
1544090973.792 * * * [misc]progress:  localizing error
1544090973.825 * * * [misc]progress:  generating rewritten candidates
1544090973.825 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544090973.840 * * * [misc]progress:  generating series expansions
1544090973.840 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544090973.840 * [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))))
1544090973.840 * [misc]approximate:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in (i) around 0
1544090973.840 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i
1544090973.840 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.840 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.840 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i
1544090973.840 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.840 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.840 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.840 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.841 * [misc]taylor:  Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i
1544090973.841 * [misc]taylor:  Rewrote expression to (+ (* (* 4 i) i) (- 1.0))
1544090973.841 * [misc]taylor:  Taking taylor expansion of (* (* 4 i) i) in i
1544090973.841 * [misc]taylor:  Taking taylor expansion of (* 4 i) in i
1544090973.841 * [misc]taylor:  Taking taylor expansion of 4 in i
1544090973.841 * [misc]backup-simplify:  Simplify 4 into 4
1544090973.841 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.841 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.841 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.841 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.841 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.841 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.841 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.841 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.841 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.841 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.841 * [misc]backup-simplify:  Simplify (* 4 0) into 0
1544090973.841 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544090973.842 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544090973.842 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544090973.842 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1544090973.842 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (fma (* 4 i) i (- 1.0)))) in i
1544090973.842 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.842 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.842 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (fma (* 4 i) i (- 1.0))) in i
1544090973.842 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.842 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.842 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.842 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.842 * [misc]taylor:  Taking taylor expansion of (fma (* 4 i) i (- 1.0)) in i
1544090973.843 * [misc]taylor:  Rewrote expression to (+ (* (* 4 i) i) (- 1.0))
1544090973.843 * [misc]taylor:  Taking taylor expansion of (* (* 4 i) i) in i
1544090973.843 * [misc]taylor:  Taking taylor expansion of (* 4 i) in i
1544090973.843 * [misc]taylor:  Taking taylor expansion of 4 in i
1544090973.843 * [misc]backup-simplify:  Simplify 4 into 4
1544090973.843 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.843 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.843 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.843 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.843 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.843 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.843 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.843 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.843 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.843 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.843 * [misc]backup-simplify:  Simplify (* 4 0) into 0
1544090973.843 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544090973.843 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544090973.844 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544090973.844 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1544090973.844 * [misc]backup-simplify:  Simplify (* 1/4 -1.0) into -0.25
1544090973.844 * [misc]backup-simplify:  Simplify -0.25 into -0.25
1544090973.845 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090973.845 * [misc]backup-simplify:  Simplify (+ (* 4 1) (* 0 0)) into 4
1544090973.845 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 4 0)) into 0
1544090973.845 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.845 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.846 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
1544090973.846 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
1544090973.846 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.846 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090973.846 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 1) (* 0 0))) into 0
1544090973.847 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 4 1) (* 0 0))) into 4
1544090973.847 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.847 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544090973.848 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
1544090973.849 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
1544090973.849 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544090973.850 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090973.850 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544090973.850 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 1) (* 0 0)))) into 0
1544090973.851 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.851 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.851 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
1544090973.852 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
1544090973.852 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.852 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090973.852 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090973.853 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 4 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090973.853 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.853 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.855 * [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)
1544090973.856 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
1544090973.856 * [misc]backup-simplify:  Simplify (- 4.0) into (- 4.0)
1544090973.857 * [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)))))
1544090973.858 * [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))))
1544090973.858 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in (i) around 0
1544090973.858 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.858 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.858 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.858 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.858 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.858 * [misc]taylor:  Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i
1544090973.858 * [misc]taylor:  Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0))
1544090973.858 * [misc]taylor:  Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of (/ 4 i) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of 4 in i
1544090973.858 * [misc]backup-simplify:  Simplify 4 into 4
1544090973.858 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.858 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.858 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.858 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1544090973.858 * [misc]taylor:  Taking taylor expansion of (/ 1 i) in i
1544090973.858 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.858 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.859 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.859 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090973.859 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.859 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.859 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.859 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.859 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544090973.859 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544090973.859 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544090973.860 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544090973.860 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0)))) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.860 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.860 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (fma (/ 4 i) (/ 1 i) (- 1.0))) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.860 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.860 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.860 * [misc]taylor:  Taking taylor expansion of (fma (/ 4 i) (/ 1 i) (- 1.0)) in i
1544090973.860 * [misc]taylor:  Rewrote expression to (+ (* (/ 4 i) (/ 1 i)) (- 1.0))
1544090973.860 * [misc]taylor:  Taking taylor expansion of (* (/ 4 i) (/ 1 i)) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of (/ 4 i) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of 4 in i
1544090973.860 * [misc]backup-simplify:  Simplify 4 into 4
1544090973.860 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.860 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.860 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.860 * [misc]backup-simplify:  Simplify (/ 4 1) into 4
1544090973.860 * [misc]taylor:  Taking taylor expansion of (/ 1 i) in i
1544090973.860 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.860 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.860 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.860 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090973.860 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.861 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.861 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.861 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.861 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544090973.861 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544090973.861 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544090973.861 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544090973.861 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090973.862 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544090973.862 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)))) into 0
1544090973.862 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1544090973.862 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.862 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090973.863 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1544090973.863 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1544090973.863 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.863 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.864 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.864 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1544090973.864 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544090973.864 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544090973.865 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090973.865 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1544090973.867 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1544090973.867 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090973.867 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.868 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.868 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090973.868 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.868 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.868 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090973.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1544090973.869 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1544090973.869 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.870 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.870 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.871 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090973.871 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.871 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.871 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090973.872 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1544090973.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
1544090973.873 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090973.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)))))
1544090973.874 * [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))))
1544090973.874 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in (i) around 0
1544090973.874 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i
1544090973.874 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.874 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.874 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i
1544090973.874 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.874 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.874 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.875 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.875 * [misc]taylor:  Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i
1544090973.875 * [misc]taylor:  Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0))
1544090973.875 * [misc]taylor:  Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i
1544090973.875 * [misc]taylor:  Taking taylor expansion of (/ -4 i) in i
1544090973.875 * [misc]taylor:  Taking taylor expansion of -4 in i
1544090973.875 * [misc]backup-simplify:  Simplify -4 into -4
1544090973.875 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.875 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.875 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.875 * [misc]backup-simplify:  Simplify (/ -4 1) into -4
1544090973.875 * [misc]taylor:  Taking taylor expansion of (/ -1 i) in i
1544090973.875 * [misc]taylor:  Taking taylor expansion of -1 in i
1544090973.875 * [misc]backup-simplify:  Simplify -1 into -1
1544090973.875 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.875 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.875 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.875 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090973.875 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.875 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.875 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.875 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.876 * [misc]backup-simplify:  Simplify (* -4 -1) into 4
1544090973.876 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544090973.876 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544090973.876 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544090973.876 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0)))) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544090973.876 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544090973.876 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (fma (/ -4 i) (/ -1 i) (- 1.0))) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.876 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.876 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.876 * [misc]taylor:  Taking taylor expansion of (fma (/ -4 i) (/ -1 i) (- 1.0)) in i
1544090973.876 * [misc]taylor:  Rewrote expression to (+ (* (/ -4 i) (/ -1 i)) (- 1.0))
1544090973.876 * [misc]taylor:  Taking taylor expansion of (* (/ -4 i) (/ -1 i)) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of (/ -4 i) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of -4 in i
1544090973.876 * [misc]backup-simplify:  Simplify -4 into -4
1544090973.876 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.876 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.876 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.876 * [misc]backup-simplify:  Simplify (/ -4 1) into -4
1544090973.876 * [misc]taylor:  Taking taylor expansion of (/ -1 i) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of -1 in i
1544090973.876 * [misc]backup-simplify:  Simplify -1 into -1
1544090973.876 * [misc]taylor:  Taking taylor expansion of i in i
1544090973.876 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.876 * [misc]backup-simplify:  Simplify 1 into 1
1544090973.876 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1544090973.876 * [misc]taylor:  Taking taylor expansion of (- 1.0) in i
1544090973.876 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544090973.876 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544090973.877 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090973.877 * [misc]backup-simplify:  Simplify (* -4 -1) into 4
1544090973.877 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544090973.877 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544090973.877 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544090973.877 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090973.877 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)))) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (+ (* -4 0) (* 0 -1)) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1544090973.878 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1544090973.878 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.879 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.879 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.879 * [misc]backup-simplify:  Simplify (+ (* -4 0) (+ (* 0 0) (* 0 -1))) into 0
1544090973.879 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544090973.879 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544090973.879 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090973.880 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1544090973.881 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1544090973.881 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090973.881 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.881 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.881 * [misc]backup-simplify:  Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1)))) into 0
1544090973.881 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.882 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.882 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090973.882 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1544090973.882 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1544090973.882 * [misc]backup-simplify:  Simplify 0 into 0
1544090973.883 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.883 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -4 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090973.883 * [misc]backup-simplify:  Simplify (+ (* -4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 -1))))) into 0
1544090973.883 * [misc]backup-simplify:  Simplify (- 0) into 0
1544090973.883 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090973.883 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090973.884 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1544090973.888 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1544090973.888 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090973.888 * [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)))))
1544090973.888 * * * [misc]progress:  simplifying candidates
1544090973.888 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (i) (log1p (expm1 (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090973.889 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (i) (expm1 (log1p (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090973.889 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (i) (pow (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) 1))>
1544090973.889 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* i (/ i 4))) (log (fma (* i 4) i (- 1.0))))))>
1544090973.889 * [enter]simplify:  Simplifying (- (log (* i (/ i 4))) (log (fma (* i 4) i (- 1.0))))
1544090973.889 * * [misc]simplify:  iters left: 6 (11 enodes)
1544090973.891 * * [misc]simplify:  iters left: 5 (22 enodes)
1544090973.895 * * [misc]simplify:  iters left: 4 (38 enodes)
1544090973.901 * * [misc]simplify:  iters left: 3 (65 enodes)
1544090973.921 * * [misc]simplify:  iters left: 2 (107 enodes)
1544090973.957 * * [misc]simplify:  iters left: 1 (180 enodes)
1544090974.002 * [exit]simplify:  Simplified to (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0))))
1544090974.002 * [misc]simplify:  Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (fma i (* i 4) (- 1.0))))))
1544090974.002 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090974.002 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090974.002 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* 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))))))>
1544090974.003 * [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))))
1544090974.003 * * [misc]simplify:  iters left: 6 (13 enodes)
1544090974.006 * * [misc]simplify:  iters left: 5 (34 enodes)
1544090974.013 * * [misc]simplify:  iters left: 4 (142 enodes)
1544090974.106 * [exit]simplify:  Simplified to (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3)
1544090974.106 * [misc]simplify:  Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (fma i (* i 4) (- 1.0))) 3)))
1544090974.106 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0)))) (cbrt (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))) (cbrt (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090974.106 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0)))) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090974.106 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (i) (* (sqrt (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0)))) (sqrt (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))))>
1544090974.106 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (i) (/ (- (* i (/ i 4))) (- (fma (* i 4) i (- 1.0)))))>
1544090974.106 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (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))))))>
1544090974.106 * [enter]simplify:  Simplifying (/ i (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0)))))
1544090974.106 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.110 * * [misc]simplify:  iters left: 5 (14 enodes)
1544090974.114 * * [misc]simplify:  iters left: 4 (19 enodes)
1544090974.120 * * [misc]simplify:  iters left: 3 (22 enodes)
1544090974.127 * [exit]simplify:  Simplified to (/ (/ i (cbrt (fma (* i 4) i (- 1.0)))) (cbrt (fma (* i 4) i (- 1.0))))
1544090974.127 * [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))))))
1544090974.127 * [enter]simplify:  Simplifying (/ (/ i 4) (cbrt (fma (* i 4) i (- 1.0))))
1544090974.127 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.131 * * [misc]simplify:  iters left: 5 (14 enodes)
1544090974.135 * * [misc]simplify:  iters left: 4 (22 enodes)
1544090974.142 * * [misc]simplify:  iters left: 3 (25 enodes)
1544090974.150 * [exit]simplify:  Simplified to (/ (/ i 4) (cbrt (fma 4 (* i i) (- 1.0))))
1544090974.150 * [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))))))
1544090974.150 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0))))))>
1544090974.150 * [enter]simplify:  Simplifying (/ i (sqrt (fma (* i 4) i (- 1.0))))
1544090974.150 * * [misc]simplify:  iters left: 6 (8 enodes)
1544090974.153 * * [misc]simplify:  iters left: 5 (11 enodes)
1544090974.157 * * [misc]simplify:  iters left: 4 (16 enodes)
1544090974.162 * * [misc]simplify:  iters left: 3 (19 enodes)
1544090974.168 * [exit]simplify:  Simplified to (/ i (sqrt (fma (* i 4) i (- 1.0))))
1544090974.168 * [misc]simplify:  Simplified (2 1) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0))))))
1544090974.168 * [enter]simplify:  Simplifying (/ (/ i 4) (sqrt (fma (* i 4) i (- 1.0))))
1544090974.168 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.171 * * [misc]simplify:  iters left: 5 (14 enodes)
1544090974.176 * * [misc]simplify:  iters left: 4 (22 enodes)
1544090974.179 * * [misc]simplify:  iters left: 3 (25 enodes)
1544090974.183 * [exit]simplify:  Simplified to (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0))))
1544090974.183 * [misc]simplify:  Simplified (2 2) to (λ (i) (* (/ i (sqrt (fma (* i 4) i (- 1.0)))) (/ (/ i 4) (sqrt (fma 4 (* i i) (- 1.0))))))
1544090974.183 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i 1) (/ (/ i 4) (fma (* i 4) i (- 1.0)))))>
1544090974.183 * [enter]simplify:  Simplifying (/ i 1)
1544090974.183 * * [misc]simplify:  iters left: 2 (3 enodes)
1544090974.184 * * [misc]simplify:  iters left: 1 (5 enodes)
1544090974.184 * [exit]simplify:  Simplified to i
1544090974.184 * [misc]simplify:  Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (fma (* i 4) i (- 1.0)))))
1544090974.184 * [enter]simplify:  Simplifying (/ (/ i 4) (fma (* i 4) i (- 1.0)))
1544090974.184 * * [misc]simplify:  iters left: 5 (8 enodes)
1544090974.186 * * [misc]simplify:  iters left: 4 (13 enodes)
1544090974.188 * * [misc]simplify:  iters left: 3 (21 enodes)
1544090974.191 * * [misc]simplify:  iters left: 2 (32 enodes)
1544090974.198 * * [misc]simplify:  iters left: 1 (51 enodes)
1544090974.207 * [exit]simplify:  Simplified to (/ i (fma 16 (* i i) (* -4 1.0)))
1544090974.207 * [misc]simplify:  Simplified (2 2) to (λ (i) (* i (/ i (fma 16 (* i i) (* -4 1.0)))))
1544090974.207 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0)))))>
1544090974.207 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (i) (* (* i (/ i 4)) (/ 1 (fma (* i 4) i (- 1.0)))))>
1544090974.207 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (fma (* i 4) i (- 1.0)) (* i (/ i 4)))))>
1544090974.207 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) (* (cbrt (fma (* i 4) i (- 1.0))) (cbrt (fma (* i 4) i (- 1.0))))) (cbrt (fma (* i 4) i (- 1.0)))))>
1544090974.207 * [enter]simplify:  Simplifying (cbrt (fma (* i 4) i (- 1.0)))
1544090974.207 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090974.210 * * [misc]simplify:  iters left: 3 (10 enodes)
1544090974.212 * * [misc]simplify:  iters left: 2 (15 enodes)
1544090974.214 * * [misc]simplify:  iters left: 1 (18 enodes)
1544090974.217 * [exit]simplify:  Simplified to (cbrt (fma 4 (* i i) (- 1.0)))
1544090974.217 * [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)))))
1544090974.217 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) (sqrt (fma (* i 4) i (- 1.0)))) (sqrt (fma (* i 4) i (- 1.0)))))>
1544090974.217 * [enter]simplify:  Simplifying (sqrt (fma (* i 4) i (- 1.0)))
1544090974.217 * * [misc]simplify:  iters left: 4 (7 enodes)
1544090974.218 * * [misc]simplify:  iters left: 3 (10 enodes)
1544090974.220 * * [misc]simplify:  iters left: 2 (15 enodes)
1544090974.223 * * [misc]simplify:  iters left: 1 (18 enodes)
1544090974.227 * [exit]simplify:  Simplified to (sqrt (fma 4 (* i i) (- 1.0)))
1544090974.227 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (fma (* i 4) i (- 1.0)))) (sqrt (fma 4 (* i i) (- 1.0)))))
1544090974.227 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) 1) (fma (* i 4) i (- 1.0))))>
1544090974.228 * [enter]simplify:  Simplifying (fma (* i 4) i (- 1.0))
1544090974.228 * * [misc]simplify:  iters left: 3 (6 enodes)
1544090974.230 * * [misc]simplify:  iters left: 2 (9 enodes)
1544090974.234 * * [misc]simplify:  iters left: 1 (14 enodes)
1544090974.238 * [exit]simplify:  Simplified to (fma 4 (* i i) (- 1.0))
1544090974.239 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (fma 4 (* i i) (- 1.0))))
1544090974.239 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (i) (/ i (/ (fma (* i 4) i (- 1.0)) (/ i 4))))>
1544090974.239 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (fma (* i 4) i (- 1.0)) 4)))>
1544090974.239 * [enter]simplify:  Simplifying (* i i)
1544090974.239 * * [misc]simplify:  iters left: 2 (2 enodes)
1544090974.240 * [exit]simplify:  Simplified to (* i i)
1544090974.240 * [misc]simplify:  Simplified (2 1) to (λ (i) (/ (* i i) (* (fma (* i 4) i (- 1.0)) 4)))
1544090974.240 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
1544090974.240 * [enter]simplify:  Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
1544090974.240 * * [misc]simplify:  iters left: 6 (16 enodes)
1544090974.245 * * [misc]simplify:  iters left: 5 (29 enodes)
1544090974.254 * * [misc]simplify:  iters left: 4 (57 enodes)
1544090974.264 * * [misc]simplify:  iters left: 3 (123 enodes)
1544090974.289 * * [misc]simplify:  iters left: 2 (189 enodes)
1544090974.352 * * [misc]simplify:  iters left: 1 (221 enodes)
1544090974.432 * [exit]simplify:  Simplified to (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0)))
1544090974.432 * [misc]simplify:  Simplified (2) to (λ (i) (- (* (pow i 6) (- 4.0)) (fma (* 0.25 i) i (* (pow i 4) 1.0))))
1544090974.432 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1544090974.432 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1544090974.432 * * [misc]simplify:  iters left: 6 (15 enodes)
1544090974.435 * * [misc]simplify:  iters left: 5 (29 enodes)
1544090974.441 * * [misc]simplify:  iters left: 4 (48 enodes)
1544090974.448 * * [misc]simplify:  iters left: 3 (62 enodes)
1544090974.458 * * [misc]simplify:  iters left: 2 (71 enodes)
1544090974.473 * * [misc]simplify:  iters left: 1 (76 enodes)
1544090974.488 * [exit]simplify:  Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))
1544090974.488 * [misc]simplify:  Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090974.488 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1544090974.488 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1544090974.489 * * [misc]simplify:  iters left: 6 (15 enodes)
1544090974.494 * * [misc]simplify:  iters left: 5 (29 enodes)
1544090974.505 * * [misc]simplify:  iters left: 4 (48 enodes)
1544090974.521 * * [misc]simplify:  iters left: 3 (62 enodes)
1544090974.528 * * [misc]simplify:  iters left: 2 (71 enodes)
1544090974.535 * * [misc]simplify:  iters left: 1 (76 enodes)
1544090974.543 * [exit]simplify:  Simplified to (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4)))
1544090974.543 * [misc]simplify:  Simplified (2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090974.543 * * * [misc]progress:  adding candidates to table
1544090974.729 * * [misc]progress:  iteration 2 / 4
1544090974.729 * * * [misc]progress:  picking best candidate
1544090974.734 * * * * [misc]pick:  Picked  #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.734 * * * [misc]progress:  localizing error
1544090974.758 * * * [misc]progress:  generating rewritten candidates
1544090974.759 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2)
1544090974.761 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544090974.761 * * * [misc]progress:  generating series expansions
1544090974.761 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2)
1544090974.761 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4))
1544090974.761 * [misc]approximate:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0
1544090974.761 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1544090974.761 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.761 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.761 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.761 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.761 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.761 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.762 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.762 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.762 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1544090974.762 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1544090974.762 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.762 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.762 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.762 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.762 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.762 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.762 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.762 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.762 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1544090974.762 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.763 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
1544090974.763 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.763 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.763 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.763 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.764 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.764 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.764 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.764 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.764 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.765 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.765 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.765 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.766 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.766 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.766 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.767 * [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
1544090974.767 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.767 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1544090974.767 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4))
1544090974.767 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1544090974.767 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544090974.767 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.767 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.767 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.767 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.767 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.767 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.767 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544090974.767 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.767 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.767 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.767 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.767 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.767 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.767 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.768 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.768 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1544090974.768 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.768 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1544090974.768 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.768 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.769 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.770 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.770 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.770 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.771 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.771 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.771 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.771 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.772 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.772 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.772 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1544090974.772 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4))
1544090974.772 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1544090974.772 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544090974.772 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.772 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.772 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.772 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.772 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.772 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.772 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544090974.772 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544090974.772 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.772 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544090974.772 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.772 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.772 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.772 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.772 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544090974.772 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1544090974.773 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1544090974.773 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.773 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.773 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.774 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.774 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.774 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.775 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.775 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.775 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.775 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.775 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.776 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.776 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.776 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.776 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.776 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.776 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.777 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4))
1544090974.777 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544090974.777 * [misc]backup-simplify:  Simplify (fma (/ 0.015625 i) (/ 1 i) 1/16) into (fma (/ 0.015625 i) (/ 1 i) 1/16)
1544090974.777 * [misc]approximate:  Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in (i) around 0
1544090974.777 * [misc]taylor:  Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i
1544090974.777 * [misc]taylor:  Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16)
1544090974.777 * [misc]taylor:  Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i
1544090974.777 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 i) in i
1544090974.777 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544090974.777 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.777 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.777 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.777 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.777 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1544090974.777 * [misc]taylor:  Taking taylor expansion of (/ 1 i) in i
1544090974.777 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.777 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.777 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.777 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090974.777 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.777 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.777 * [misc]taylor:  Taking taylor expansion of (fma (/ 0.015625 i) (/ 1 i) 1/16) in i
1544090974.777 * [misc]taylor:  Rewrote expression to (+ (* (/ 0.015625 i) (/ 1 i)) 1/16)
1544090974.777 * [misc]taylor:  Taking taylor expansion of (* (/ 0.015625 i) (/ 1 i)) in i
1544090974.777 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 i) in i
1544090974.777 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544090974.777 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.777 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.777 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.777 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.778 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1544090974.778 * [misc]taylor:  Taking taylor expansion of (/ 1 i) in i
1544090974.778 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.778 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.778 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.778 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544090974.778 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.778 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.778 * [misc]backup-simplify:  Simplify (* 0.015625 1) into 0.015625
1544090974.778 * [misc]backup-simplify:  Simplify (+ 0.015625 0) into 0.015625
1544090974.778 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.778 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544090974.778 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0
1544090974.779 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (* 0 1)) into 0
1544090974.779 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.779 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.779 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.779 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.779 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
1544090974.779 * [misc]backup-simplify:  Simplify (+ 0 1/16) into 1/16
1544090974.779 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.780 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.780 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.780 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544090974.780 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.780 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.780 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.781 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.781 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544090974.781 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.781 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.781 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.782 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.782 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544090974.782 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.782 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.782 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544090974.783 * [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
1544090974.783 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544090974.783 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.783 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.783 * [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
1544090974.784 * [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
1544090974.784 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))))) into 0
1544090974.784 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.784 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.784 * [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
1544090974.785 * [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
1544090974.785 * [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
1544090974.785 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.785 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.785 * [misc]backup-simplify:  Simplify (+ 1/16 (* 0.015625 (pow (/ 1 i) 2))) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.786 * [misc]backup-simplify:  Simplify (fma (/ 0.015625 (/ 1 i)) (/ 1 (/ 1 i)) 1/16) into (fma (* 0.015625 i) i 1/16)
1544090974.786 * [misc]approximate:  Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in (i) around 0
1544090974.786 * [misc]taylor:  Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i
1544090974.786 * [misc]taylor:  Rewrote expression to (+ (* (* 0.015625 i) i) 1/16)
1544090974.786 * [misc]taylor:  Taking taylor expansion of (* (* 0.015625 i) i) in i
1544090974.786 * [misc]taylor:  Taking taylor expansion of (* 0.015625 i) in i
1544090974.786 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544090974.786 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.786 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.786 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.786 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.786 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.786 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.786 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.786 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.786 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.786 * [misc]taylor:  Taking taylor expansion of (fma (* 0.015625 i) i 1/16) in i
1544090974.786 * [misc]taylor:  Rewrote expression to (+ (* (* 0.015625 i) i) 1/16)
1544090974.786 * [misc]taylor:  Taking taylor expansion of (* (* 0.015625 i) i) in i
1544090974.786 * [misc]taylor:  Taking taylor expansion of (* 0.015625 i) in i
1544090974.786 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544090974.786 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.786 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.786 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.786 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.786 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.786 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.786 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.786 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.786 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.786 * [misc]backup-simplify:  Simplify (* 0.015625 0) into 0
1544090974.786 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544090974.786 * [misc]backup-simplify:  Simplify (+ 0 1/16) into 1/16
1544090974.786 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.787 * [misc]backup-simplify:  Simplify (+ (* 0.015625 1) (* 0 0)) into 0.015625
1544090974.787 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 0.015625 0)) into 0
1544090974.787 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.787 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.787 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 1) (* 0 0))) into 0
1544090974.788 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 1) (* 0 0))) into 0.015625
1544090974.788 * [misc]backup-simplify:  Simplify (+ 0.015625 0) into 0.015625
1544090974.788 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.788 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544090974.788 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 1) (* 0 0)))) into 0
1544090974.788 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.788 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.789 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090974.789 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090974.789 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.789 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.789 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544090974.789 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544090974.790 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.790 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.790 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544090974.790 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544090974.790 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.790 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.791 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544090974.791 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544090974.791 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.791 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.791 * [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
1544090974.792 * [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
1544090974.792 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.792 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.792 * [misc]backup-simplify:  Simplify (+ (* 0.015625 (pow (/ 1 i) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.792 * [misc]backup-simplify:  Simplify (fma (/ 0.015625 (/ 1 (- i))) (/ 1 (/ 1 (- i))) 1/16) into (fma (* -0.015625 i) (* -1 i) 1/16)
1544090974.792 * [misc]approximate:  Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in (i) around 0
1544090974.792 * [misc]taylor:  Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i
1544090974.792 * [misc]taylor:  Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16)
1544090974.792 * [misc]taylor:  Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i
1544090974.792 * [misc]taylor:  Taking taylor expansion of (* -0.015625 i) in i
1544090974.792 * [misc]taylor:  Taking taylor expansion of -0.015625 in i
1544090974.792 * [misc]backup-simplify:  Simplify -0.015625 into -0.015625
1544090974.792 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.792 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.792 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.792 * [misc]taylor:  Taking taylor expansion of (* -1 i) in i
1544090974.792 * [misc]taylor:  Taking taylor expansion of -1 in i
1544090974.792 * [misc]backup-simplify:  Simplify -1 into -1
1544090974.792 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.792 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.792 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.792 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.792 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.792 * [misc]taylor:  Taking taylor expansion of (fma (* -0.015625 i) (* -1 i) 1/16) in i
1544090974.792 * [misc]taylor:  Rewrote expression to (+ (* (* -0.015625 i) (* -1 i)) 1/16)
1544090974.793 * [misc]taylor:  Taking taylor expansion of (* (* -0.015625 i) (* -1 i)) in i
1544090974.793 * [misc]taylor:  Taking taylor expansion of (* -0.015625 i) in i
1544090974.793 * [misc]taylor:  Taking taylor expansion of -0.015625 in i
1544090974.793 * [misc]backup-simplify:  Simplify -0.015625 into -0.015625
1544090974.793 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.793 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.793 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.793 * [misc]taylor:  Taking taylor expansion of (* -1 i) in i
1544090974.793 * [misc]taylor:  Taking taylor expansion of -1 in i
1544090974.793 * [misc]backup-simplify:  Simplify -1 into -1
1544090974.793 * [misc]taylor:  Taking taylor expansion of i in i
1544090974.793 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.793 * [misc]backup-simplify:  Simplify 1 into 1
1544090974.793 * [misc]taylor:  Taking taylor expansion of 1/16 in i
1544090974.793 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.793 * [misc]backup-simplify:  Simplify (* -0.015625 0) into 0
1544090974.793 * [misc]backup-simplify:  Simplify (* -1 0) into 0
1544090974.793 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1544090974.793 * [misc]backup-simplify:  Simplify (+ 0 1/16) into 1/16
1544090974.793 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544090974.793 * [misc]backup-simplify:  Simplify (+ (* -1 1) (* 0 0)) into -1
1544090974.794 * [misc]backup-simplify:  Simplify (+ (* -0.015625 1) (* 0 0)) into (- 0.015625)
1544090974.794 * [misc]backup-simplify:  Simplify (+ (* 0 -1) (* (- 0.015625) 0)) into 0
1544090974.794 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.794 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.794 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 1) (* 0 0))) into 0
1544090974.794 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 1) (* 0 0))) into 0
1544090974.795 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) -1) (* 0 0))) into 0.015625
1544090974.795 * [misc]backup-simplify:  Simplify (+ 0.015625 0) into 0.015625
1544090974.795 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544090974.795 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544090974.796 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))) into 0
1544090974.796 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 -1) (* 0 0)))) into 0
1544090974.796 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.796 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.797 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090974.797 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))) into 0
1544090974.797 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))) into 0
1544090974.798 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.798 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.798 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544090974.798 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))) into 0
1544090974.799 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))) into 0
1544090974.799 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.799 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.800 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544090974.800 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))) into 0
1544090974.801 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0))))))) into 0
1544090974.801 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.801 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.801 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544090974.802 * [misc]backup-simplify:  Simplify (+ (* -0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0)))))))) into 0
1544090974.803 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* (- 0.015625) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 -1) (* 0 0)))))))) into 0
1544090974.803 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.803 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.803 * [misc]backup-simplify:  Simplify (+ (* -1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 1) (* 0 0))))))))) into 0
1544090974.804 * [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
1544090974.805 * [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
1544090974.805 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544090974.805 * [misc]backup-simplify:  Simplify 0 into 0
1544090974.805 * [misc]backup-simplify:  Simplify (+ (* 0.015625 (pow (/ 1 (- i)) 2)) 1/16) into (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.805 * * * [misc]progress:  simplifying candidates
1544090974.805 * * * * [misc]progress:  [ 1 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (log1p (expm1 (/ 0.00390625 (pow i 4))))))>
1544090974.805 * * * * [misc]progress:  [ 2 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (expm1 (log1p (/ 0.00390625 (pow i 4))))))>
1544090974.805 * * * * [misc]progress:  [ 3 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (pow (/ 0.00390625 (pow i 4)) 1)))>
1544090974.805 * * * * [misc]progress:  [ 4 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (exp (log (/ 0.00390625 (pow i 4))))))>
1544090974.805 * * * * [misc]progress:  [ 5 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (log (exp (/ 0.00390625 (pow i 4))))))>
1544090974.805 * * * * [misc]progress:  [ 6 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (* (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4)))) (cbrt (/ 0.00390625 (pow i 4))))))>
1544090974.806 * * * * [misc]progress:  [ 7 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (cbrt (* (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (/ 0.00390625 (pow i 4))))))>
1544090974.806 * * * * [misc]progress:  [ 8 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (* (sqrt (/ 0.00390625 (pow i 4))) (sqrt (/ 0.00390625 (pow i 4))))))>
1544090974.806 * * * * [misc]progress:  [ 9 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (- 0.00390625) (- (pow i 4)))))>
1544090974.806 * * * * [misc]progress:  [ 10 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (* 1 (/ 0.00390625 (pow i 4)))))>
1544090974.806 * * * * [misc]progress:  [ 11 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (* 0.00390625 (/ 1 (pow i 4)))))>
1544090974.806 * * * * [misc]progress:  [ 12 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 1 (/ (pow i 4) 0.00390625))))>
1544090974.806 * * * * [misc]progress:  [ 13 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) (cbrt (pow i 4)))))>
1544090974.806 * [enter]simplify:  Simplifying (cbrt (pow i 4))
1544090974.806 * * [misc]simplify:  iters left: 2 (4 enodes)
1544090974.807 * [exit]simplify:  Simplified to (cbrt (pow i 4))
1544090974.807 * [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)))))
1544090974.808 * * * * [misc]progress:  [ 14 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4)))))>
1544090974.808 * [enter]simplify:  Simplifying (sqrt (pow i 4))
1544090974.808 * * [misc]simplify:  iters left: 2 (4 enodes)
1544090974.809 * [exit]simplify:  Simplified to (sqrt (pow i 4))
1544090974.809 * [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)))))
1544090974.809 * * * * [misc]progress:  [ 15 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 1) (pow i 4))))>
1544090974.809 * [enter]simplify:  Simplifying (pow i 4)
1544090974.809 * * [misc]simplify:  iters left: 1 (3 enodes)
1544090974.810 * [exit]simplify:  Simplified to (pow i 4)
1544090974.810 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ (/ 0.00390625 1) (pow i 4))))
1544090974.810 * * * * [misc]progress:  [ 16 / 31 ] simplifiying candidate #<alt (λ (i) (+ (log1p (expm1 (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 17 / 31 ] simplifiying candidate #<alt (λ (i) (+ (expm1 (log1p (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 18 / 31 ] simplifiying candidate #<alt (λ (i) (+ (+ (* (/ 0.015625 i) (/ 1 i)) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 19 / 31 ] simplifiying candidate #<alt (λ (i) (+ (pow (fma (/ 0.015625 i) (/ 1 i) 1/16) 1) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 20 / 31 ] simplifiying candidate #<alt (λ (i) (+ (exp (log (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 21 / 31 ] simplifiying candidate #<alt (λ (i) (+ (log (exp (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 22 / 31 ] simplifiying candidate #<alt (λ (i) (+ (* (* (cbrt (fma (/ 0.015625 i) (/ 1 i) 1/16)) (cbrt (fma (/ 0.015625 i) (/ 1 i) 1/16))) (cbrt (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 23 / 31 ] simplifiying candidate #<alt (λ (i) (+ (cbrt (* (* (fma (/ 0.015625 i) (/ 1 i) 1/16) (fma (/ 0.015625 i) (/ 1 i) 1/16)) (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 24 / 31 ] simplifiying candidate #<alt (λ (i) (+ (* (sqrt (fma (/ 0.015625 i) (/ 1 i) 1/16)) (sqrt (fma (/ 0.015625 i) (/ 1 i) 1/16))) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 25 / 31 ] simplifiying candidate #<alt (λ (i) (+ (* 1 (fma (/ 0.015625 i) (/ 1 i) 1/16)) (/ 0.00390625 (pow i 4))))>
1544090974.811 * * * * [misc]progress:  [ 26 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.811 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544090974.811 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090974.813 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544090974.813 * [misc]simplify:  Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090974.813 * * * * [misc]progress:  [ 27 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.813 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544090974.813 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090974.815 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544090974.815 * [misc]simplify:  Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090974.815 * * * * [misc]progress:  [ 28 / 31 ] simplifiying candidate #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.815 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544090974.815 * * [misc]simplify:  iters left: 3 (5 enodes)
1544090974.817 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544090974.817 * [misc]simplify:  Simplified (2 2) to (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090974.817 * * * * [misc]progress:  [ 29 / 31 ] simplifiying candidate #<alt (λ (i) (+ (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.817 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.817 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.821 * * [misc]simplify:  iters left: 5 (17 enodes)
1544090974.826 * * [misc]simplify:  iters left: 4 (24 enodes)
1544090974.833 * * [misc]simplify:  iters left: 3 (27 enodes)
1544090974.839 * * [misc]simplify:  iters left: 2 (33 enodes)
1544090974.848 * * [misc]simplify:  iters left: 1 (38 enodes)
1544090974.857 * [exit]simplify:  Simplified to (+ 1/16 (/ 0.015625 (* i i)))
1544090974.857 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4))))
1544090974.857 * * * * [misc]progress:  [ 30 / 31 ] simplifiying candidate #<alt (λ (i) (+ (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.857 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.857 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.861 * * [misc]simplify:  iters left: 5 (17 enodes)
1544090974.866 * * [misc]simplify:  iters left: 4 (24 enodes)
1544090974.872 * * [misc]simplify:  iters left: 3 (27 enodes)
1544090974.875 * * [misc]simplify:  iters left: 2 (33 enodes)
1544090974.881 * * [misc]simplify:  iters left: 1 (38 enodes)
1544090974.885 * [exit]simplify:  Simplified to (+ 1/16 (/ 0.015625 (* i i)))
1544090974.885 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4))))
1544090974.885 * * * * [misc]progress:  [ 31 / 31 ] simplifiying candidate #<alt (λ (i) (+ (+ (* 0.015625 (/ 1 (pow i 2))) 1/16) (/ 0.00390625 (pow i 4))))>
1544090974.885 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) 1/16)
1544090974.885 * * [misc]simplify:  iters left: 6 (9 enodes)
1544090974.887 * * [misc]simplify:  iters left: 5 (17 enodes)
1544090974.890 * * [misc]simplify:  iters left: 4 (24 enodes)
1544090974.893 * * [misc]simplify:  iters left: 3 (27 enodes)
1544090974.896 * * [misc]simplify:  iters left: 2 (33 enodes)
1544090974.901 * * [misc]simplify:  iters left: 1 (38 enodes)
1544090974.908 * [exit]simplify:  Simplified to (+ 1/16 (/ 0.015625 (* i i)))
1544090974.908 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (+ 1/16 (/ 0.015625 (* i i))) (/ 0.00390625 (pow i 4))))
1544090974.908 * * * [misc]progress:  adding candidates to table
1544090975.136 * [misc]progress:  [Phase 3 of 3] Extracting.
1544090975.136 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (i) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))> #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>)
1544090975.136 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1544090975.136 * * * * [misc]regimes:  Trying to branch on i from (#<alt (λ (i) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))> #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>)
1544090975.169 * * * [misc]regime:  Found split indices: #<option (#s(si 0 134) #s(si 1 256))>
1544090975.171 * [misc]binary-search:  Improving bounds with binary search for i and (#<alt (λ (i) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))> #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>)
1544090975.172 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.172 * * * * [misc]points:  Computing exacts for 16 points
1544090975.176 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.177 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.178 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.178 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.181 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.181 * * * * [misc]points:  Computing exacts for 16 points
1544090975.186 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.187 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.188 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.188 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.191 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.191 * * * * [misc]points:  Computing exacts for 16 points
1544090975.200 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.200 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.201 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.201 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.205 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.205 * * * * [misc]points:  Computing exacts for 16 points
1544090975.210 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.210 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.211 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.211 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.213 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.213 * * * * [misc]points:  Computing exacts for 16 points
1544090975.215 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.216 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.216 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.216 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.218 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.218 * * * * [misc]points:  Computing exacts for 16 points
1544090975.220 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.221 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.221 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.221 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.223 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.223 * * * * [misc]points:  Computing exacts for 16 points
1544090975.225 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.226 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.226 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.226 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.228 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544090975.228 * * * * [misc]points:  Computing exacts for 16 points
1544090975.230 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.231 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.231 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090975.231 * * * * [exit]points:  Sampled 16 points with exact outputs
1544090975.233 * [misc]regimes:  Found splitpoints: (#s(sp 0 i 235.5943525559475) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))))> #<alt (λ (i) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))>)
1544090975.233 * [enter]simplify:  Simplifying (if (<= i 235.5943525559475) (/ (* i (/ i 4)) (fma (* i 4) i (- 1.0))) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090975.233 * * [misc]simplify:  iters left: 6 (22 enodes)
1544090975.235 * * [misc]simplify:  iters left: 5 (27 enodes)
1544090975.236 * [exit]simplify:  Simplified to (if (<= i 235.5943525559475) (/ (* (/ i 4) i) (fma (* 4 i) i (- 1.0))) (+ (fma (/ 0.015625 i) (/ 1 i) 1/16) (/ 0.00390625 (pow i 4))))
1544090975.236 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544090975.252 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544090975.255 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.255 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.256 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544090975.258 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.259 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.259 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544090975.262 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.263 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.264 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544090975.267 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.283 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.289 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544090975.295 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.307 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.317 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544090975.321 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.331 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.341 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544090975.344 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.364 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.396 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544090975.429 * * * * [misc]points:  Setting MPFR precision to 64
1544090975.480 * * * * [misc]points:  Setting MPFR precision to 320
1544090975.622 * * * * [misc]points:  Setting MPFR precision to 576
1544090975.715 * * * * [misc]points:  Computing exacts for 8000 points
1544090975.722 * * * * [misc]points:  Setting MPFR precision to 320
1544090976.464 * * * * [misc]points:  Setting MPFR precision to 576
1544090976.837 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544090976.841 * * * * [exit]points:  Sampled 8000 points with exact outputs
1544090977.089 * [misc]regime-testing:  Baseline error score: 15.397190428590346
1544090977.089 * [misc]regime-testing:  End program error score: 0.0045
1544090977.091 * [misc]regime-testing:  Oracle error score: 0.00375