1544086533.853 * [misc]progress:  [Phase 1 of 3] Setting up.
1544086533.854 * * * [misc]progress:  [1/2] Preparing points
1544086533.855 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1544086533.856 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1544086533.859 * * * * [misc]points:  Setting MPFR precision to 64
1544086533.860 * * * * [misc]points:  Setting MPFR precision to 320
1544086533.861 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1544086533.866 * * * * [misc]points:  Setting MPFR precision to 64
1544086533.867 * * * * [misc]points:  Setting MPFR precision to 320
1544086533.868 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1544086533.873 * * * * [misc]points:  Setting MPFR precision to 64
1544086533.875 * * * * [misc]points:  Setting MPFR precision to 320
1544086533.877 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1544086533.882 * * * * [misc]points:  Setting MPFR precision to 64
1544086533.886 * * * * [misc]points:  Setting MPFR precision to 320
1544086533.890 * * * * [misc]points:  Computing exacts for 256 points
1544086533.895 * * * * [misc]points:  Setting MPFR precision to 64
1544086533.906 * * * * [misc]points:  Setting MPFR precision to 320
1544086533.917 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086533.918 * * * * [exit]points:  Sampled 256 points with exact outputs
1544086533.918 * * * [misc]progress:  [2/2] Setting up program.
1544086533.922 * [misc]progress:  [Phase 2 of 3] Improving.
1544086533.922 * [enter]simplify:  Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))
1544086533.922 * * [misc]simplify:  iters left: 6 (10 enodes)
1544086533.927 * * [misc]simplify:  iters left: 5 (29 enodes)
1544086533.943 * * [misc]simplify:  iters left: 4 (134 enodes)
1544086534.111 * [exit]simplify:  Simplified to (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))
1544086534.117 * * [misc]progress:  iteration 1 / 4
1544086534.117 * * * [misc]progress:  picking best candidate
1544086534.119 * * * * [misc]pick:  Picked  #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>
1544086534.119 * * * [misc]progress:  localizing error
1544086534.147 * * * [misc]progress:  generating rewritten candidates
1544086534.147 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1544086534.166 * * * [misc]progress:  generating series expansions
1544086534.166 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1544086534.166 * [misc]backup-simplify:  Simplify (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)))
1544086534.166 * [misc]approximate:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0
1544086534.166 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.166 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.166 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.166 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.166 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.166 * [misc]taylor:  Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of (* 4 (pow i 2)) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.166 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.166 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.166 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.166 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.166 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.166 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.166 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.166 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.167 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544086534.167 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544086534.167 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1544086534.167 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.167 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.167 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.167 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.167 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.167 * [misc]taylor:  Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of (* 4 (pow i 2)) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.167 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.167 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.167 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.167 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.167 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.167 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.167 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.167 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.168 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544086534.168 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544086534.168 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1544086534.168 * [misc]backup-simplify:  Simplify (* 1/4 -1.0) into -0.25
1544086534.168 * [misc]backup-simplify:  Simplify -0.25 into -0.25
1544086534.168 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.168 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.169 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.169 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
1544086534.169 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
1544086534.169 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.169 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.169 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.169 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544086534.169 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.170 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544086534.170 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
1544086534.171 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
1544086534.171 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544086534.171 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.171 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.171 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1544086534.172 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.172 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.172 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
1544086534.172 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
1544086534.172 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.172 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.173 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.173 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.173 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.173 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.174 * [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)
1544086534.175 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
1544086534.175 * [misc]backup-simplify:  Simplify (- 4.0) into (- 4.0)
1544086534.176 * [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)))))
1544086534.176 * [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)))
1544086534.176 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1544086534.176 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.176 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.176 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.176 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.176 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.176 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.176 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.176 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.176 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.176 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.176 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.176 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.176 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544086534.176 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.176 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.177 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.177 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544086534.177 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544086534.177 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544086534.177 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544086534.177 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.177 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.177 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.177 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.177 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.177 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.177 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.177 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.177 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.177 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.177 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.177 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.177 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544086534.177 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.177 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.178 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.178 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544086534.178 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544086534.178 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544086534.178 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544086534.178 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544086534.178 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.178 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544086534.178 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1544086534.179 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.179 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.179 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1544086534.179 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1544086534.179 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.179 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.179 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.180 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.180 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544086534.180 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544086534.180 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.181 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1544086534.181 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1544086534.181 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086534.182 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.182 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.182 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.182 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.182 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.182 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.183 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1544086534.183 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1544086534.183 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.183 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.183 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.184 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.184 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.184 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.184 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.184 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1544086534.186 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1544086534.186 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086534.186 * [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)))))
1544086534.186 * [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)))
1544086534.186 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1544086534.186 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.186 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.186 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.186 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.186 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.186 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.186 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.186 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.186 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.186 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.186 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.186 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.187 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544086534.187 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.187 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.187 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.187 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544086534.187 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544086534.187 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544086534.187 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544086534.187 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1544086534.187 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1544086534.187 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.187 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.187 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.187 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of 4 in i
1544086534.187 * [misc]backup-simplify:  Simplify 4 into 4
1544086534.187 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086534.187 * [misc]taylor:  Taking taylor expansion of i in i
1544086534.187 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.187 * [misc]backup-simplify:  Simplify 1 into 1
1544086534.188 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.188 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1544086534.188 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1544086534.188 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1544086534.188 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086534.188 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1544086534.188 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1544086534.188 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1544086534.188 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1544086534.188 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1544086534.188 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1544086534.189 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1544086534.189 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.189 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.190 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.190 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.190 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1544086534.190 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1544086534.190 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086534.191 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1544086534.191 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1544086534.192 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086534.192 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.192 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.192 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.192 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.192 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.193 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086534.193 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1544086534.193 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1544086534.193 * [misc]backup-simplify:  Simplify 0 into 0
1544086534.197 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.197 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086534.197 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.198 * [misc]backup-simplify:  Simplify (- 0) into 0
1544086534.198 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1544086534.198 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086534.198 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1544086534.199 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1544086534.199 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086534.199 * [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)))))
1544086534.200 * * * [misc]progress:  simplifying candidates
1544086534.200 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (i) (pow (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) 1))>
1544086534.200 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0)))))>
1544086534.200 * [enter]simplify:  Simplifying (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0)))
1544086534.200 * * [misc]simplify:  iters left: 6 (11 enodes)
1544086534.202 * * [misc]simplify:  iters left: 5 (23 enodes)
1544086534.206 * * [misc]simplify:  iters left: 4 (37 enodes)
1544086534.212 * * [misc]simplify:  iters left: 3 (62 enodes)
1544086534.230 * * [misc]simplify:  iters left: 2 (105 enodes)
1544086534.257 * * [misc]simplify:  iters left: 1 (178 enodes)
1544086534.307 * [exit]simplify:  Simplified to (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0)))
1544086534.307 * [misc]simplify:  Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0)))))
1544086534.307 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1544086534.307 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1544086534.307 * * * * [misc]progress:  [ 5 / 25 ] simplifiying candidate #<alt (λ (i) (cbrt (/ (* (* (* i (/ i 4)) (* i (/ i 4))) (* i (/ i 4))) (* (* (- (* i (* 4 i)) 1.0) (- (* i (* 4 i)) 1.0)) (- (* i (* 4 i)) 1.0)))))>
1544086534.307 * [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)))
1544086534.307 * * [misc]simplify:  iters left: 6 (13 enodes)
1544086534.310 * * [misc]simplify:  iters left: 5 (35 enodes)
1544086534.318 * * [misc]simplify:  iters left: 4 (141 enodes)
1544086534.390 * [exit]simplify:  Simplified to (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3)
1544086534.390 * [misc]simplify:  Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3)))
1544086534.390 * * * * [misc]progress:  [ 6 / 25 ] simplifiying candidate #<alt (λ (i) (* (* (cbrt (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))) (cbrt (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))) (cbrt (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1544086534.390 * * * * [misc]progress:  [ 7 / 25 ] simplifiying candidate #<alt (λ (i) (cbrt (* (* (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1544086534.390 * * * * [misc]progress:  [ 8 / 25 ] simplifiying candidate #<alt (λ (i) (* (sqrt (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))) (sqrt (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1544086534.390 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (i) (/ (- (* i (/ i 4))) (- (- (* i (* 4 i)) 1.0))))>
1544086534.390 * * * * [misc]progress:  [ 10 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0)))) (/ (/ i 4) (cbrt (- (* i (* 4 i)) 1.0)))))>
1544086534.391 * [enter]simplify:  Simplifying (/ i (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0))))
1544086534.391 * * [misc]simplify:  iters left: 6 (9 enodes)
1544086534.394 * * [misc]simplify:  iters left: 5 (15 enodes)
1544086534.399 * * [misc]simplify:  iters left: 4 (18 enodes)
1544086534.405 * * [misc]simplify:  iters left: 3 (19 enodes)
1544086534.411 * [exit]simplify:  Simplified to (/ (/ i (cbrt (- (* i (* i 4)) 1.0))) (cbrt (- (* i (* i 4)) 1.0)))
1544086534.411 * [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)))))
1544086534.412 * [enter]simplify:  Simplifying (/ (/ i 4) (cbrt (- (* i (* 4 i)) 1.0)))
1544086534.412 * * [misc]simplify:  iters left: 6 (9 enodes)
1544086534.415 * * [misc]simplify:  iters left: 5 (15 enodes)
1544086534.420 * * [misc]simplify:  iters left: 4 (21 enodes)
1544086534.426 * * [misc]simplify:  iters left: 3 (22 enodes)
1544086534.432 * [exit]simplify:  Simplified to (/ (/ i 4) (cbrt (- (* (* i 4) i) 1.0)))
1544086534.432 * [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)))))
1544086534.432 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i (sqrt (- (* i (* 4 i)) 1.0))) (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))))>
1544086534.433 * [enter]simplify:  Simplifying (/ i (sqrt (- (* i (* 4 i)) 1.0)))
1544086534.433 * * [misc]simplify:  iters left: 6 (8 enodes)
1544086534.436 * * [misc]simplify:  iters left: 5 (12 enodes)
1544086534.439 * * [misc]simplify:  iters left: 4 (15 enodes)
1544086534.444 * * [misc]simplify:  iters left: 3 (16 enodes)
1544086534.449 * [exit]simplify:  Simplified to (/ i (sqrt (- (* i (* i 4)) 1.0)))
1544086534.449 * [misc]simplify:  Simplified (2 1) to (λ (i) (* (/ i (sqrt (- (* i (* i 4)) 1.0))) (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))))
1544086534.449 * [enter]simplify:  Simplifying (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))
1544086534.449 * * [misc]simplify:  iters left: 6 (9 enodes)
1544086534.453 * * [misc]simplify:  iters left: 5 (15 enodes)
1544086534.458 * * [misc]simplify:  iters left: 4 (21 enodes)
1544086534.464 * * [misc]simplify:  iters left: 3 (22 enodes)
1544086534.471 * [exit]simplify:  Simplified to (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0)))
1544086534.471 * [misc]simplify:  Simplified (2 2) to (λ (i) (* (/ i (sqrt (- (* i (* 4 i)) 1.0))) (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0)))))
1544086534.471 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i 1) (/ (/ i 4) (- (* i (* 4 i)) 1.0))))>
1544086534.472 * [enter]simplify:  Simplifying (/ i 1)
1544086534.472 * * [misc]simplify:  iters left: 2 (3 enodes)
1544086534.473 * * [misc]simplify:  iters left: 1 (5 enodes)
1544086534.474 * [exit]simplify:  Simplified to i
1544086534.474 * [misc]simplify:  Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (- (* i (* 4 i)) 1.0))))
1544086534.474 * [enter]simplify:  Simplifying (/ (/ i 4) (- (* i (* 4 i)) 1.0))
1544086534.474 * * [misc]simplify:  iters left: 6 (8 enodes)
1544086534.478 * * [misc]simplify:  iters left: 5 (14 enodes)
1544086534.482 * * [misc]simplify:  iters left: 4 (20 enodes)
1544086534.489 * * [misc]simplify:  iters left: 3 (29 enodes)
1544086534.499 * * [misc]simplify:  iters left: 2 (44 enodes)
1544086534.514 * * [misc]simplify:  iters left: 1 (54 enodes)
1544086534.532 * [exit]simplify:  Simplified to (/ (/ i 4) (- (* (* i 4) i) 1.0))
1544086534.532 * [misc]simplify:  Simplified (2 2) to (λ (i) (* i (/ (/ i 4) (- (* (* i 4) i) 1.0))))
1544086534.532 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))))>
1544086534.532 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (i) (* (* i (/ i 4)) (/ 1 (- (* i (* 4 i)) 1.0))))>
1544086534.532 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (- (* i (* 4 i)) 1.0) (* i (/ i 4)))))>
1544086534.532 * * * * [misc]progress:  [ 16 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0)))) (cbrt (- (* i (* 4 i)) 1.0))))>
1544086534.532 * [enter]simplify:  Simplifying (cbrt (- (* i (* 4 i)) 1.0))
1544086534.532 * * [misc]simplify:  iters left: 6 (7 enodes)
1544086534.535 * * [misc]simplify:  iters left: 5 (11 enodes)
1544086534.539 * * [misc]simplify:  iters left: 4 (14 enodes)
1544086534.543 * * [misc]simplify:  iters left: 3 (15 enodes)
1544086534.548 * [exit]simplify:  Simplified to (cbrt (- (* i (* i 4)) 1.0))
1544086534.548 * [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))))
1544086534.548 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) (sqrt (- (* i (* 4 i)) 1.0))) (sqrt (- (* i (* 4 i)) 1.0))))>
1544086534.548 * [enter]simplify:  Simplifying (sqrt (- (* i (* 4 i)) 1.0))
1544086534.549 * * [misc]simplify:  iters left: 6 (7 enodes)
1544086534.551 * * [misc]simplify:  iters left: 5 (11 enodes)
1544086534.555 * * [misc]simplify:  iters left: 4 (14 enodes)
1544086534.560 * * [misc]simplify:  iters left: 3 (15 enodes)
1544086534.565 * [exit]simplify:  Simplified to (sqrt (- (* i (* i 4)) 1.0))
1544086534.565 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (- (* i (* 4 i)) 1.0))) (sqrt (- (* i (* i 4)) 1.0))))
1544086534.565 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) 1) (- (* i (* 4 i)) 1.0)))>
1544086534.565 * [enter]simplify:  Simplifying (- (* i (* 4 i)) 1.0)
1544086534.565 * * [misc]simplify:  iters left: 6 (6 enodes)
1544086534.568 * * [misc]simplify:  iters left: 5 (10 enodes)
1544086534.572 * * [misc]simplify:  iters left: 4 (13 enodes)
1544086534.576 * * [misc]simplify:  iters left: 3 (14 enodes)
1544086534.578 * [exit]simplify:  Simplified to (- (* i (* i 4)) 1.0)
1544086534.578 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (- (* i (* i 4)) 1.0)))
1544086534.578 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (i) (/ i (/ (- (* i (* 4 i)) 1.0) (/ i 4))))>
1544086534.578 * * * * [misc]progress:  [ 20 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ (* i (/ i 4)) (- (pow (* i (* 4 i)) 3) (pow 1.0 3))) (+ (* (* i (* 4 i)) (* i (* 4 i))) (+ (* 1.0 1.0) (* (* i (* 4 i)) 1.0)))))>
1544086534.578 * [enter]simplify:  Simplifying (+ (* (* i (* 4 i)) (* i (* 4 i))) (+ (* 1.0 1.0) (* (* i (* 4 i)) 1.0)))
1544086534.579 * * [misc]simplify:  iters left: 6 (10 enodes)
1544086534.581 * * [misc]simplify:  iters left: 5 (25 enodes)
1544086534.586 * * [misc]simplify:  iters left: 4 (58 enodes)
1544086534.598 * * [misc]simplify:  iters left: 3 (106 enodes)
1544086534.633 * * [misc]simplify:  iters left: 2 (169 enodes)
1544086534.696 * * [misc]simplify:  iters left: 1 (200 enodes)
1544086534.758 * [exit]simplify:  Simplified to (+ (+ (* (* 1.0 4) (* i i)) (* 1.0 1.0)) (* (pow i 4) 16))
1544086534.758 * [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))))
1544086534.758 * * * * [misc]progress:  [ 21 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ (* i (/ i 4)) (- (* (* i (* 4 i)) (* i (* 4 i))) (* 1.0 1.0))) (+ (* i (* 4 i)) 1.0)))>
1544086534.759 * [enter]simplify:  Simplifying (+ (* i (* 4 i)) 1.0)
1544086534.759 * * [misc]simplify:  iters left: 6 (6 enodes)
1544086534.761 * * [misc]simplify:  iters left: 5 (9 enodes)
1544086534.763 * * [misc]simplify:  iters left: 4 (11 enodes)
1544086534.767 * * [misc]simplify:  iters left: 3 (12 enodes)
1544086534.770 * [exit]simplify:  Simplified to (+ (* i (* i 4)) 1.0)
1544086534.770 * [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)))
1544086534.770 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* i (* 4 i)) 1.0) 4)))>
1544086534.770 * [enter]simplify:  Simplifying (* i i)
1544086534.770 * * [misc]simplify:  iters left: 2 (2 enodes)
1544086534.771 * [exit]simplify:  Simplified to (* i i)
1544086534.771 * [misc]simplify:  Simplified (2 1) to (λ (i) (/ (* i i) (* (- (* i (* 4 i)) 1.0) 4)))
1544086534.771 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
1544086534.771 * [enter]simplify:  Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
1544086534.771 * * [misc]simplify:  iters left: 6 (16 enodes)
1544086534.778 * * [misc]simplify:  iters left: 5 (27 enodes)
1544086534.785 * * [misc]simplify:  iters left: 4 (49 enodes)
1544086534.794 * * [misc]simplify:  iters left: 3 (96 enodes)
1544086534.813 * * [misc]simplify:  iters left: 2 (112 enodes)
1544086534.845 * * [misc]simplify:  iters left: 1 (123 enodes)
1544086534.866 * [exit]simplify:  Simplified to (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25))
1544086534.866 * [misc]simplify:  Simplified (2) to (λ (i) (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25)))
1544086534.866 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1544086534.866 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1544086534.866 * * [misc]simplify:  iters left: 6 (15 enodes)
1544086534.871 * * [misc]simplify:  iters left: 5 (28 enodes)
1544086534.876 * * [misc]simplify:  iters left: 4 (42 enodes)
1544086534.887 * * [misc]simplify:  iters left: 3 (47 enodes)
1544086534.899 * * [misc]simplify:  iters left: 2 (53 enodes)
1544086534.905 * * [misc]simplify:  iters left: 1 (58 enodes)
1544086534.912 * [exit]simplify:  Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))
1544086534.912 * [misc]simplify:  Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086534.912 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1544086534.912 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1544086534.912 * * [misc]simplify:  iters left: 6 (15 enodes)
1544086534.915 * * [misc]simplify:  iters left: 5 (28 enodes)
1544086534.920 * * [misc]simplify:  iters left: 4 (42 enodes)
1544086534.926 * * [misc]simplify:  iters left: 3 (47 enodes)
1544086534.931 * * [misc]simplify:  iters left: 2 (53 enodes)
1544086534.944 * * [misc]simplify:  iters left: 1 (58 enodes)
1544086534.957 * [exit]simplify:  Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))
1544086534.957 * [misc]simplify:  Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086534.957 * * * [misc]progress:  adding candidates to table
1544086535.189 * * [misc]progress:  iteration 2 / 4
1544086535.189 * * * [misc]progress:  picking best candidate
1544086535.193 * * * * [misc]pick:  Picked  #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.193 * * * [misc]progress:  localizing error
1544086535.222 * * * [misc]progress:  generating rewritten candidates
1544086535.222 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 2 2)
1544086535.226 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 1)
1544086535.229 * * * [misc]progress:  generating series expansions
1544086535.229 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 2 2)
1544086535.229 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4))
1544086535.229 * [misc]approximate:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0
1544086535.229 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1544086535.229 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.229 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.229 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.229 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.229 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.229 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.229 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.229 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.230 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1544086535.230 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1544086535.230 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.230 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.230 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.230 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.230 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.230 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.230 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.230 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.230 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1544086535.230 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.230 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.231 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.231 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
1544086535.231 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.231 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.231 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.231 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.231 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.232 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.232 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.232 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.232 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.232 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.233 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.233 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.233 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.233 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.233 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.234 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.234 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.234 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.234 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.235 * [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
1544086535.235 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.235 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1544086535.235 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4))
1544086535.235 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1544086535.235 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544086535.235 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.235 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.235 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.235 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.235 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.235 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.235 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544086535.235 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.235 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.235 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.235 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.235 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.235 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.235 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.236 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.236 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1544086535.236 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.236 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1544086535.236 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.236 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.237 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.237 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.237 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.237 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.237 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.237 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.237 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.238 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.238 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.238 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.238 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.238 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.239 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.239 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.239 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.239 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.240 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.240 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.240 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1544086535.240 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4))
1544086535.240 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1544086535.240 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544086535.240 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.240 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.240 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.240 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.240 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.240 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.240 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1544086535.240 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1544086535.240 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.240 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1544086535.240 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.240 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.240 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.240 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.240 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.240 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1544086535.240 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1544086535.241 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.241 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.241 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.242 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.242 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.242 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.242 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.242 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.242 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.243 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.243 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.243 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.243 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.243 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.244 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.244 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.244 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.244 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.244 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.245 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4))
1544086535.245 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 1)
1544086535.245 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 i) i) into (/ 0.015625 (pow i 2))
1544086535.245 * [misc]approximate:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0
1544086535.245 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1544086535.245 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.245 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.245 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.245 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.245 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.245 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.245 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.245 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1544086535.245 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1544086535.245 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.245 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.245 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.245 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.245 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.245 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.245 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.245 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1544086535.245 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.246 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.246 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0
1544086535.246 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.246 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.246 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.246 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.246 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.247 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.247 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.247 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.247 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.247 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.247 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.248 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1544086535.248 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.248 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.248 * [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
1544086535.248 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.248 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
1544086535.249 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) into (* 0.015625 (pow i 2))
1544086535.249 * [misc]approximate:  Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1544086535.249 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1544086535.249 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.249 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.249 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.249 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.249 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.249 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.249 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1544086535.249 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.249 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.249 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.249 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.249 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.249 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.249 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.249 * [misc]backup-simplify:  Simplify (* 0.015625 1) into 0.015625
1544086535.249 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.249 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.249 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (* 0 1)) into 0
1544086535.249 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.250 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.250 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.250 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.250 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.250 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.250 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.250 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.251 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.251 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.251 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.251 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.251 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.252 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.252 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.252 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.252 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
1544086535.253 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) into (* 0.015625 (pow i 2))
1544086535.253 * [misc]approximate:  Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1544086535.253 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1544086535.253 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.253 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.253 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.253 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.253 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.253 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.253 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1544086535.253 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1544086535.253 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.253 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1544086535.253 * [misc]taylor:  Taking taylor expansion of i in i
1544086535.253 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.253 * [misc]backup-simplify:  Simplify 1 into 1
1544086535.253 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1544086535.253 * [misc]backup-simplify:  Simplify (* 0.015625 1) into 0.015625
1544086535.254 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1544086535.254 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1544086535.254 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (* 0 1)) into 0
1544086535.254 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.254 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.255 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
1544086535.255 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.255 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.255 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1544086535.255 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.256 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.256 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1544086535.256 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.257 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.257 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1544086535.257 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.258 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.258 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1544086535.258 * [misc]backup-simplify:  Simplify 0 into 0
1544086535.259 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2))
1544086535.259 * * * [misc]progress:  simplifying candidates
1544086535.259 * * * * [misc]progress:  [ 1 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (pow (/ 0.00390625 (pow i 4)) 1))))>
1544086535.259 * * * * [misc]progress:  [ 2 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (exp (log (/ 0.00390625 (pow i 4)))))))>
1544086535.259 * * * * [misc]progress:  [ 3 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (log (exp (/ 0.00390625 (pow i 4)))))))>
1544086535.259 * * * * [misc]progress:  [ 4 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* (* (cbrt (/ 0.00390625 (pow i 4))) (cbrt (/ 0.00390625 (pow i 4)))) (cbrt (/ 0.00390625 (pow i 4)))))))>
1544086535.259 * * * * [misc]progress:  [ 5 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (cbrt (* (* (/ 0.00390625 (pow i 4)) (/ 0.00390625 (pow i 4))) (/ 0.00390625 (pow i 4)))))))>
1544086535.259 * * * * [misc]progress:  [ 6 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* (sqrt (/ 0.00390625 (pow i 4))) (sqrt (/ 0.00390625 (pow i 4)))))))>
1544086535.259 * * * * [misc]progress:  [ 7 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (- 0.00390625) (- (pow i 4))))))>
1544086535.259 * * * * [misc]progress:  [ 8 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* 1 (/ 0.00390625 (pow i 4))))))>
1544086535.259 * * * * [misc]progress:  [ 9 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1544086535.259 * * * * [misc]progress:  [ 10 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 1 (/ (pow i 4) 0.00390625)))))>
1544086535.259 * * * * [misc]progress:  [ 11 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 (* (cbrt (pow i 4)) (cbrt (pow i 4)))) (cbrt (pow i 4))))))>
1544086535.260 * [enter]simplify:  Simplifying (cbrt (pow i 4))
1544086535.260 * * [misc]simplify:  iters left: 2 (4 enodes)
1544086535.261 * [exit]simplify:  Simplified to (cbrt (pow i 4))
1544086535.261 * [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))))))
1544086535.261 * * * * [misc]progress:  [ 12 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4))))))>
1544086535.261 * [enter]simplify:  Simplifying (sqrt (pow i 4))
1544086535.261 * * [misc]simplify:  iters left: 2 (4 enodes)
1544086535.262 * [exit]simplify:  Simplified to (sqrt (pow i 4))
1544086535.262 * [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))))))
1544086535.262 * * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 1) (pow i 4)))))>
1544086535.263 * [enter]simplify:  Simplifying (pow i 4)
1544086535.263 * * [misc]simplify:  iters left: 1 (3 enodes)
1544086535.264 * [exit]simplify:  Simplified to (pow i 4)
1544086535.264 * [misc]simplify:  Simplified (2 2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 1) (pow i 4)))))
1544086535.264 * * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt (λ (i) (+ (pow (/ (/ 0.015625 i) i) 1) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 15 / 34 ] simplifiying candidate #<alt (λ (i) (+ (exp (log (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 16 / 34 ] simplifiying candidate #<alt (λ (i) (+ (log (exp (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 17 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* (* (cbrt (/ (/ 0.015625 i) i)) (cbrt (/ (/ 0.015625 i) i))) (cbrt (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 18 / 34 ] simplifiying candidate #<alt (λ (i) (+ (cbrt (* (* (/ (/ 0.015625 i) i) (/ (/ 0.015625 i) i)) (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 19 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* (sqrt (/ (/ 0.015625 i) i)) (sqrt (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 20 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (- (/ 0.015625 i)) (- i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 21 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* 1 (/ (/ 0.015625 i) i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 22 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* (/ 0.015625 i) (/ 1 i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 23 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 1 (/ i (/ 0.015625 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.264 * * * * [misc]progress:  [ 24 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i))) (/ i (cbrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.265 * [enter]simplify:  Simplifying (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i)))
1544086535.265 * * [misc]simplify:  iters left: 5 (5 enodes)
1544086535.266 * [exit]simplify:  Simplified to (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i)))
1544086535.266 * [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)))))
1544086535.266 * * * * [misc]progress:  [ 25 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (sqrt (/ 0.015625 i)) (/ i (sqrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.267 * [enter]simplify:  Simplifying (sqrt (/ 0.015625 i))
1544086535.267 * * [misc]simplify:  iters left: 3 (4 enodes)
1544086535.268 * [exit]simplify:  Simplified to (sqrt (/ 0.015625 i))
1544086535.268 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (+ (/ (sqrt (/ 0.015625 i)) (/ i (sqrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.268 * * * * [misc]progress:  [ 26 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 1 (/ i (/ 0.015625 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.268 * * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (/ i (/ 1 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.268 * * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.268 * * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.268 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544086535.268 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.270 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544086535.270 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.270 * * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.270 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544086535.270 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.272 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544086535.272 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.272 * * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.272 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1544086535.272 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.273 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1544086535.273 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.274 * * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.274 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1544086535.274 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.275 * * [misc]simplify:  iters left: 2 (6 enodes)
1544086535.277 * * [misc]simplify:  iters left: 1 (8 enodes)
1544086535.279 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1544086535.279 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.279 * * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.280 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1544086535.280 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.280 * * [misc]simplify:  iters left: 2 (6 enodes)
1544086535.281 * * [misc]simplify:  iters left: 1 (8 enodes)
1544086535.282 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1544086535.282 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.282 * * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1544086535.282 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1544086535.282 * * [misc]simplify:  iters left: 3 (5 enodes)
1544086535.283 * * [misc]simplify:  iters left: 2 (6 enodes)
1544086535.284 * * [misc]simplify:  iters left: 1 (8 enodes)
1544086535.285 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1544086535.285 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.285 * * * [misc]progress:  adding candidates to table
1544086535.546 * [misc]progress:  [Phase 3 of 3] Extracting.
1544086535.546 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))> #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>)
1544086535.546 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1544086535.546 * * * * [misc]regimes:  Trying to branch on i from (#<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))> #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>)
1544086535.569 * * * [misc]regime:  Found split indices: #<option (#s(si 1 134) #s(si 0 256))>
1544086535.570 * [misc]binary-search:  Improving bounds with binary search for i and (#<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))> #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>)
1544086535.570 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.570 * * * * [misc]points:  Computing exacts for 16 points
1544086535.576 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.577 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.577 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.577 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.581 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.581 * * * * [misc]points:  Computing exacts for 16 points
1544086535.587 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.588 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.588 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.589 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.592 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.592 * * * * [misc]points:  Computing exacts for 16 points
1544086535.594 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.595 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.595 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.595 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.597 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.597 * * * * [misc]points:  Computing exacts for 16 points
1544086535.600 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.600 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.601 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.603 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.603 * * * * [misc]points:  Computing exacts for 16 points
1544086535.605 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.606 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.606 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.608 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.612 * * * * [misc]points:  Computing exacts for 16 points
1544086535.618 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.619 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.621 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.621 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.624 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.624 * * * * [misc]points:  Computing exacts for 16 points
1544086535.630 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.631 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.631 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.631 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.635 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1544086535.635 * * * * [misc]points:  Computing exacts for 16 points
1544086535.641 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.641 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.642 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086535.642 * * * * [exit]points:  Sampled 16 points with exact outputs
1544086535.646 * [misc]regimes:  Found splitpoints: (#s(sp 1 i 235.5943525559475) #s(sp 0 i +nan.0)) , with alts (#<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))> #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>)
1544086535.646 * [enter]simplify:  Simplifying (if (<= i 235.5943525559475) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1544086535.646 * * [misc]simplify:  iters left: 6 (21 enodes)
1544086535.648 * * [misc]simplify:  iters left: 5 (26 enodes)
1544086535.650 * [exit]simplify:  Simplified to (if (<= i 235.5943525559475) (/ (* (/ i 4) i) (- (* i (* 4 i)) 1.0)) (+ (+ 1/16 (/ 0.00390625 (pow i 4))) (/ (/ 0.015625 i) i)))
1544086535.651 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1544086535.680 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1544086535.683 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.683 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.684 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1544086535.686 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.687 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.688 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1544086535.691 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.693 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.694 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1544086535.697 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.699 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.702 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1544086535.706 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.714 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.733 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1544086535.736 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.754 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.772 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1544086535.774 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.796 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.832 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1544086535.836 * * * * [misc]points:  Setting MPFR precision to 64
1544086535.934 * * * * [misc]points:  Setting MPFR precision to 320
1544086535.997 * * * * [misc]points:  Setting MPFR precision to 576
1544086536.104 * * * * [misc]points:  Computing exacts for 8000 points
1544086536.111 * * * * [misc]points:  Setting MPFR precision to 320
1544086536.472 * * * * [misc]points:  Setting MPFR precision to 576
1544086536.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1544086536.894 * * * * [exit]points:  Sampled 8000 points with exact outputs
1544086537.205 * [misc]regime-testing:  Baseline error score: 15.396940428590346
1544086537.205 * [misc]regime-testing:  End program error score: 0.004375
1544086537.206 * [misc]regime-testing:  Oracle error score: 0.003625