1538414788.631 * [misc]progress:  [Phase 1 of 3] Setting up.
1538414788.631 * * * [misc]progress:  [1/2] Preparing points
1538414788.632 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538414788.633 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538414788.635 * * * * [misc]points:  Setting MPFR precision to 64
1538414788.636 * * * * [misc]points:  Setting MPFR precision to 320
1538414788.637 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538414788.642 * * * * [misc]points:  Setting MPFR precision to 64
1538414788.643 * * * * [misc]points:  Setting MPFR precision to 320
1538414788.644 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538414788.649 * * * * [misc]points:  Setting MPFR precision to 64
1538414788.652 * * * * [misc]points:  Setting MPFR precision to 320
1538414788.654 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538414788.659 * * * * [misc]points:  Setting MPFR precision to 64
1538414788.663 * * * * [misc]points:  Setting MPFR precision to 320
1538414788.667 * * * * [misc]points:  Computing exacts for 256 points
1538414788.672 * * * * [misc]points:  Setting MPFR precision to 64
1538414788.684 * * * * [misc]points:  Setting MPFR precision to 320
1538414788.696 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414788.696 * * * * [exit]points:  Sampled 256 points with exact outputs
1538414788.696 * * * [misc]progress:  [2/2] Setting up program.
1538414788.700 * [misc]progress:  [Phase 2 of 3] Improving.
1538414788.701 * [enter]simplify:  Simplifying (/ (/ (* (* i i) (* i i)) (* (* 2 i) (* 2 i))) (- (* (* 2 i) (* 2 i)) 1.0))
1538414788.701 * * [misc]simplify:  iters left: 6 (10 enodes)
1538414788.705 * * [misc]simplify:  iters left: 5 (29 enodes)
1538414788.721 * * [misc]simplify:  iters left: 4 (134 enodes)
1538414788.885 * [exit]simplify:  Simplified to (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))
1538414788.896 * * [misc]progress:  iteration 1 / 4
1538414788.896 * * * [misc]progress:  picking best candidate
1538414788.899 * * * * [misc]pick:  Picked  #<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))>
1538414788.899 * * * [misc]progress:  localizing error
1538414788.931 * * * [misc]progress:  generating rewritten candidates
1538414788.931 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538414788.961 * * * [misc]progress:  generating series expansions
1538414788.961 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538414788.961 * [misc]backup-simplify:  Simplify (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) into (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)))
1538414788.961 * [misc]approximate:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in (i) around 0
1538414788.961 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1538414788.961 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.962 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.962 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1538414788.962 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.962 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.962 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.962 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.962 * [misc]taylor:  Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1538414788.962 * [misc]taylor:  Taking taylor expansion of (* 4 (pow i 2)) in i
1538414788.962 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.962 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.962 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.962 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.962 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.962 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.962 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.962 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.962 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.962 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1538414788.963 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1538414788.963 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1538414788.963 * [misc]taylor:  Taking taylor expansion of (* 1/4 (/ (pow i 2) (- (* 4 (pow i 2)) 1.0))) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.963 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.963 * [misc]taylor:  Taking taylor expansion of (/ (pow i 2) (- (* 4 (pow i 2)) 1.0)) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.963 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.963 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.963 * [misc]taylor:  Taking taylor expansion of (- (* 4 (pow i 2)) 1.0) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of (* 4 (pow i 2)) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.963 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.963 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.963 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.964 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.964 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.964 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.964 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.964 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.964 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1538414788.964 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1538414788.965 * [misc]backup-simplify:  Simplify (/ 1 (- 1.0)) into -1.0
1538414788.965 * [misc]backup-simplify:  Simplify (* 1/4 -1.0) into -0.25
1538414788.965 * [misc]backup-simplify:  Simplify -0.25 into -0.25
1538414788.965 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.966 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.966 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.966 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))))) into 0
1538414788.966 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (* 0 -1.0)) into 0
1538414788.966 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.967 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.967 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.967 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1538414788.967 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.967 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1538414788.973 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 4 (- 1.0))) (* 0 (/ 0 (- 1.0))))) into (- 4.0)
1538414788.974 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 4.0)) (+ (* 0 0) (* 0 -1.0))) into (- 1.0)
1538414788.974 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1538414788.975 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.975 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.975 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1538414788.975 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.975 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.976 * [misc]backup-simplify:  Simplify (- (/ 0 (- 1.0)) (+ (* -1.0 (/ 0 (- 1.0))) (* 0 (/ 4 (- 1.0))) (* (- 4.0) (/ 0 (- 1.0))))) into 0
1538414788.976 * [misc]backup-simplify:  Simplify (+ (* 1/4 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0)))) into 0
1538414788.976 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.977 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.977 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.977 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.977 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.978 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.980 * [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)
1538414788.980 * [misc]backup-simplify:  Simplify (+ (* 1/4 (- 16.0)) (+ (* 0 0) (+ (* 0 (- 4.0)) (+ (* 0 0) (* 0 -1.0))))) into (- 4.0)
1538414788.980 * [misc]backup-simplify:  Simplify (- 4.0) into (- 4.0)
1538414788.981 * [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)))))
1538414788.981 * [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)))
1538414788.981 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1538414788.981 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.981 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.981 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.981 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.981 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.981 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.981 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.981 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1538414788.981 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.982 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.982 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.982 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.982 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.982 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538414788.982 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.982 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.982 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.982 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1538414788.982 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1538414788.982 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1538414788.982 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1538414788.982 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1538414788.982 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.982 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.982 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1538414788.982 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.982 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.982 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.982 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.982 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1538414788.982 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1538414788.983 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.983 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.983 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1538414788.983 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.983 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.983 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.983 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.983 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.983 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538414788.983 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.983 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.983 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.983 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1538414788.983 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1538414788.983 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1538414788.983 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1538414788.983 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1538414788.984 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1538414788.984 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1538414788.984 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.985 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.985 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.985 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.985 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1538414788.985 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1538414788.985 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.986 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1538414788.987 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1538414788.987 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414788.987 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.987 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.987 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.987 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.987 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.988 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.988 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1538414788.988 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1538414788.988 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.988 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.989 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1538414788.990 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1538414788.990 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414788.991 * [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)))))
1538414788.991 * [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)))
1538414788.991 * [misc]approximate:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in (i) around 0
1538414788.991 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.991 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.991 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.991 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.991 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.991 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.991 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.991 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.991 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.991 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.991 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.991 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.991 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538414788.991 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.992 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.992 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.992 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1538414788.992 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1538414788.992 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1538414788.992 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1538414788.992 * [misc]taylor:  Taking taylor expansion of (/ 1/4 (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0))) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of 1/4 in i
1538414788.992 * [misc]backup-simplify:  Simplify 1/4 into 1/4
1538414788.992 * [misc]taylor:  Taking taylor expansion of (* (pow i 2) (- (* 4 (/ 1 (pow i 2))) 1.0)) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.992 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.992 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.992 * [misc]taylor:  Taking taylor expansion of (- (* 4 (/ 1 (pow i 2))) 1.0) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of (* 4 (/ 1 (pow i 2))) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of 4 in i
1538414788.992 * [misc]backup-simplify:  Simplify 4 into 4
1538414788.992 * [misc]taylor:  Taking taylor expansion of (/ 1 (pow i 2)) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414788.992 * [misc]taylor:  Taking taylor expansion of i in i
1538414788.992 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.992 * [misc]backup-simplify:  Simplify 1 into 1
1538414788.992 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.992 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538414788.993 * [misc]taylor:  Taking taylor expansion of 1.0 in i
1538414788.993 * [misc]backup-simplify:  Simplify 1.0 into 1.0
1538414788.993 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414788.993 * [misc]backup-simplify:  Simplify (* 4 1) into 4
1538414788.993 * [misc]backup-simplify:  Simplify (+ 4 0) into 4
1538414788.993 * [misc]backup-simplify:  Simplify (* 1 4) into 4
1538414788.993 * [misc]backup-simplify:  Simplify (/ 1/4 4) into 1/16
1538414788.993 * [misc]backup-simplify:  Simplify 1/16 into 1/16
1538414788.993 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.993 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (+ (* 4 0) (* 0 1)) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 4)) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)))) into 0
1538414788.994 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.994 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.994 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.995 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.995 * [misc]backup-simplify:  Simplify (- 1.0) into (- 1.0)
1538414788.995 * [misc]backup-simplify:  Simplify (+ 0 (- 1.0)) into (- 1.0)
1538414788.995 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414788.995 * [misc]backup-simplify:  Simplify (+ (* 1 (- 1.0)) (+ (* 0 0) (* 0 4))) into (- 1.0)
1538414788.996 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.015625
1538414788.996 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414788.996 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414788.997 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4)))) into 0
1538414788.998 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ (- 1.0) 4)) (* 0.015625 (/ 0 4)))) into 0
1538414788.998 * [misc]backup-simplify:  Simplify 0 into 0
1538414788.998 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.998 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414788.998 * [misc]backup-simplify:  Simplify (+ (* 4 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.998 * [misc]backup-simplify:  Simplify (- 0) into 0
1538414788.999 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538414788.999 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414788.999 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 (- 1.0)) (+ (* 0 0) (* 0 4))))) into 0
1538414789.000 * [misc]backup-simplify:  Simplify (- (/ 0 4) (+ (* 1/16 (/ 0 4)) (* 0 (/ 0 4)) (* 0.015625 (/ (- 1.0) 4)) (* 0 (/ 0 4)))) into 0.00390625
1538414789.000 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.000 * [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)))))
1538414789.000 * * * [misc]progress:  simplifying candidates
1538414789.000 * * * * [misc]progress:  [ 1 / 25 ] simplifiying candidate #<alt (λ (i) (pow (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) 1))>
1538414789.000 * * * * [misc]progress:  [ 2 / 25 ] simplifiying candidate #<alt (λ (i) (exp (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0)))))>
1538414789.001 * [enter]simplify:  Simplifying (- (log (* i (/ i 4))) (log (- (* i (* 4 i)) 1.0)))
1538414789.001 * * [misc]simplify:  iters left: 6 (11 enodes)
1538414789.003 * * [misc]simplify:  iters left: 5 (23 enodes)
1538414789.007 * * [misc]simplify:  iters left: 4 (37 enodes)
1538414789.013 * * [misc]simplify:  iters left: 3 (62 enodes)
1538414789.024 * * [misc]simplify:  iters left: 2 (105 enodes)
1538414789.054 * * [misc]simplify:  iters left: 1 (178 enodes)
1538414789.098 * [exit]simplify:  Simplified to (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0)))
1538414789.098 * [misc]simplify:  Simplified (2 1) to (λ (i) (exp (- (log (* i (/ i 4))) (log (- (* (* i i) 4) 1.0)))))
1538414789.098 * * * * [misc]progress:  [ 3 / 25 ] simplifiying candidate #<alt (λ (i) (exp (log (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1538414789.098 * * * * [misc]progress:  [ 4 / 25 ] simplifiying candidate #<alt (λ (i) (log (exp (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))))>
1538414789.099 * * * * [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)))))>
1538414789.099 * [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)))
1538414789.099 * * [misc]simplify:  iters left: 6 (13 enodes)
1538414789.102 * * [misc]simplify:  iters left: 5 (35 enodes)
1538414789.115 * * [misc]simplify:  iters left: 4 (141 enodes)
1538414789.194 * [exit]simplify:  Simplified to (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3)
1538414789.195 * [misc]simplify:  Simplified (2 1) to (λ (i) (cbrt (pow (/ (/ (* i i) 4) (- (* (* i i) 4) 1.0)) 3)))
1538414789.195 * * * * [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)))))>
1538414789.195 * * * * [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)))))>
1538414789.195 * * * * [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)))))>
1538414789.195 * * * * [misc]progress:  [ 9 / 25 ] simplifiying candidate #<alt (λ (i) (/ (- (* i (/ i 4))) (- (- (* i (* 4 i)) 1.0))))>
1538414789.195 * * * * [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)))))>
1538414789.195 * [enter]simplify:  Simplifying (/ i (* (cbrt (- (* i (* 4 i)) 1.0)) (cbrt (- (* i (* 4 i)) 1.0))))
1538414789.195 * * [misc]simplify:  iters left: 6 (9 enodes)
1538414789.199 * * [misc]simplify:  iters left: 5 (15 enodes)
1538414789.204 * * [misc]simplify:  iters left: 4 (18 enodes)
1538414789.206 * * [misc]simplify:  iters left: 3 (19 enodes)
1538414789.209 * [exit]simplify:  Simplified to (/ (/ i (cbrt (- (* i (* i 4)) 1.0))) (cbrt (- (* i (* i 4)) 1.0)))
1538414789.209 * [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)))))
1538414789.209 * [enter]simplify:  Simplifying (/ (/ i 4) (cbrt (- (* i (* 4 i)) 1.0)))
1538414789.210 * * [misc]simplify:  iters left: 6 (9 enodes)
1538414789.211 * * [misc]simplify:  iters left: 5 (15 enodes)
1538414789.214 * * [misc]simplify:  iters left: 4 (21 enodes)
1538414789.217 * * [misc]simplify:  iters left: 3 (22 enodes)
1538414789.220 * [exit]simplify:  Simplified to (/ (/ i 4) (cbrt (- (* (* i 4) i) 1.0)))
1538414789.220 * [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)))))
1538414789.220 * * * * [misc]progress:  [ 11 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i (sqrt (- (* i (* 4 i)) 1.0))) (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))))>
1538414789.220 * [enter]simplify:  Simplifying (/ i (sqrt (- (* i (* 4 i)) 1.0)))
1538414789.220 * * [misc]simplify:  iters left: 6 (8 enodes)
1538414789.222 * * [misc]simplify:  iters left: 5 (12 enodes)
1538414789.224 * * [misc]simplify:  iters left: 4 (15 enodes)
1538414789.226 * * [misc]simplify:  iters left: 3 (16 enodes)
1538414789.229 * [exit]simplify:  Simplified to (/ i (sqrt (- (* i (* i 4)) 1.0)))
1538414789.229 * [misc]simplify:  Simplified (2 1) to (λ (i) (* (/ i (sqrt (- (* i (* i 4)) 1.0))) (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))))
1538414789.230 * [enter]simplify:  Simplifying (/ (/ i 4) (sqrt (- (* i (* 4 i)) 1.0)))
1538414789.230 * * [misc]simplify:  iters left: 6 (9 enodes)
1538414789.231 * * [misc]simplify:  iters left: 5 (15 enodes)
1538414789.234 * * [misc]simplify:  iters left: 4 (21 enodes)
1538414789.237 * * [misc]simplify:  iters left: 3 (22 enodes)
1538414789.240 * [exit]simplify:  Simplified to (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0)))
1538414789.240 * [misc]simplify:  Simplified (2 2) to (λ (i) (* (/ i (sqrt (- (* i (* 4 i)) 1.0))) (/ (/ i 4) (sqrt (- (* (* i 4) i) 1.0)))))
1538414789.240 * * * * [misc]progress:  [ 12 / 25 ] simplifiying candidate #<alt (λ (i) (* (/ i 1) (/ (/ i 4) (- (* i (* 4 i)) 1.0))))>
1538414789.240 * [enter]simplify:  Simplifying (/ i 1)
1538414789.240 * * [misc]simplify:  iters left: 2 (3 enodes)
1538414789.241 * * [misc]simplify:  iters left: 1 (5 enodes)
1538414789.241 * [exit]simplify:  Simplified to i
1538414789.241 * [misc]simplify:  Simplified (2 1) to (λ (i) (* i (/ (/ i 4) (- (* i (* 4 i)) 1.0))))
1538414789.242 * [enter]simplify:  Simplifying (/ (/ i 4) (- (* i (* 4 i)) 1.0))
1538414789.242 * * [misc]simplify:  iters left: 6 (8 enodes)
1538414789.243 * * [misc]simplify:  iters left: 5 (14 enodes)
1538414789.245 * * [misc]simplify:  iters left: 4 (20 enodes)
1538414789.249 * * [misc]simplify:  iters left: 3 (29 enodes)
1538414789.256 * * [misc]simplify:  iters left: 2 (44 enodes)
1538414789.263 * * [misc]simplify:  iters left: 1 (54 enodes)
1538414789.271 * [exit]simplify:  Simplified to (/ (/ i 4) (- (* (* i 4) i) 1.0))
1538414789.271 * [misc]simplify:  Simplified (2 2) to (λ (i) (* i (/ (/ i 4) (- (* (* i 4) i) 1.0))))
1538414789.271 * * * * [misc]progress:  [ 13 / 25 ] simplifiying candidate #<alt (λ (i) (* 1 (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0))))>
1538414789.271 * * * * [misc]progress:  [ 14 / 25 ] simplifiying candidate #<alt (λ (i) (* (* i (/ i 4)) (/ 1 (- (* i (* 4 i)) 1.0))))>
1538414789.271 * * * * [misc]progress:  [ 15 / 25 ] simplifiying candidate #<alt (λ (i) (/ 1 (/ (- (* i (* 4 i)) 1.0) (* i (/ i 4)))))>
1538414789.271 * * * * [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))))>
1538414789.271 * [enter]simplify:  Simplifying (cbrt (- (* i (* 4 i)) 1.0))
1538414789.271 * * [misc]simplify:  iters left: 6 (7 enodes)
1538414789.273 * * [misc]simplify:  iters left: 5 (11 enodes)
1538414789.274 * * [misc]simplify:  iters left: 4 (14 enodes)
1538414789.277 * * [misc]simplify:  iters left: 3 (15 enodes)
1538414789.279 * [exit]simplify:  Simplified to (cbrt (- (* i (* i 4)) 1.0))
1538414789.279 * [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))))
1538414789.279 * * * * [misc]progress:  [ 17 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) (sqrt (- (* i (* 4 i)) 1.0))) (sqrt (- (* i (* 4 i)) 1.0))))>
1538414789.279 * [enter]simplify:  Simplifying (sqrt (- (* i (* 4 i)) 1.0))
1538414789.279 * * [misc]simplify:  iters left: 6 (7 enodes)
1538414789.281 * * [misc]simplify:  iters left: 5 (11 enodes)
1538414789.282 * * [misc]simplify:  iters left: 4 (14 enodes)
1538414789.285 * * [misc]simplify:  iters left: 3 (15 enodes)
1538414789.287 * [exit]simplify:  Simplified to (sqrt (- (* i (* i 4)) 1.0))
1538414789.287 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) (sqrt (- (* i (* 4 i)) 1.0))) (sqrt (- (* i (* i 4)) 1.0))))
1538414789.287 * * * * [misc]progress:  [ 18 / 25 ] simplifiying candidate #<alt (λ (i) (/ (/ (* i (/ i 4)) 1) (- (* i (* 4 i)) 1.0)))>
1538414789.287 * [enter]simplify:  Simplifying (- (* i (* 4 i)) 1.0)
1538414789.287 * * [misc]simplify:  iters left: 6 (6 enodes)
1538414789.289 * * [misc]simplify:  iters left: 5 (10 enodes)
1538414789.290 * * [misc]simplify:  iters left: 4 (13 enodes)
1538414789.292 * * [misc]simplify:  iters left: 3 (14 enodes)
1538414789.295 * [exit]simplify:  Simplified to (- (* i (* i 4)) 1.0)
1538414789.295 * [misc]simplify:  Simplified (2 2) to (λ (i) (/ (/ (* i (/ i 4)) 1) (- (* i (* i 4)) 1.0)))
1538414789.295 * * * * [misc]progress:  [ 19 / 25 ] simplifiying candidate #<alt (λ (i) (/ i (/ (- (* i (* 4 i)) 1.0) (/ i 4))))>
1538414789.295 * * * * [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)))))>
1538414789.295 * [enter]simplify:  Simplifying (+ (* (* i (* 4 i)) (* i (* 4 i))) (+ (* 1.0 1.0) (* (* i (* 4 i)) 1.0)))
1538414789.295 * * [misc]simplify:  iters left: 6 (10 enodes)
1538414789.297 * * [misc]simplify:  iters left: 5 (25 enodes)
1538414789.302 * * [misc]simplify:  iters left: 4 (58 enodes)
1538414789.314 * * [misc]simplify:  iters left: 3 (106 enodes)
1538414789.334 * * [misc]simplify:  iters left: 2 (169 enodes)
1538414789.365 * * [misc]simplify:  iters left: 1 (200 enodes)
1538414789.397 * [exit]simplify:  Simplified to (+ (+ (* (* 1.0 4) (* i i)) (* 1.0 1.0)) (* (pow i 4) 16))
1538414789.397 * [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))))
1538414789.397 * * * * [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)))>
1538414789.397 * [enter]simplify:  Simplifying (+ (* i (* 4 i)) 1.0)
1538414789.398 * * [misc]simplify:  iters left: 6 (6 enodes)
1538414789.399 * * [misc]simplify:  iters left: 5 (9 enodes)
1538414789.400 * * [misc]simplify:  iters left: 4 (11 enodes)
1538414789.401 * * [misc]simplify:  iters left: 3 (12 enodes)
1538414789.403 * [exit]simplify:  Simplified to (+ (* i (* i 4)) 1.0)
1538414789.403 * [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)))
1538414789.403 * * * * [misc]progress:  [ 22 / 25 ] simplifiying candidate #<alt (λ (i) (/ (* i i) (* (- (* i (* 4 i)) 1.0) 4)))>
1538414789.403 * [enter]simplify:  Simplifying (* i i)
1538414789.403 * * [misc]simplify:  iters left: 2 (2 enodes)
1538414789.404 * [exit]simplify:  Simplified to (* i i)
1538414789.404 * [misc]simplify:  Simplified (2 1) to (λ (i) (/ (* i i) (* (- (* i (* 4 i)) 1.0) 4)))
1538414789.404 * * * * [misc]progress:  [ 23 / 25 ] simplifiying candidate #<alt (λ (i) (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6))))))>
1538414789.404 * [enter]simplify:  Simplifying (- (+ (* 0.25 (pow i 2)) (+ (* 1.0 (pow i 4)) (* 4.0 (pow i 6)))))
1538414789.404 * * [misc]simplify:  iters left: 6 (16 enodes)
1538414789.406 * * [misc]simplify:  iters left: 5 (27 enodes)
1538414789.410 * * [misc]simplify:  iters left: 4 (49 enodes)
1538414789.419 * * [misc]simplify:  iters left: 3 (96 enodes)
1538414789.435 * * [misc]simplify:  iters left: 2 (112 enodes)
1538414789.452 * * [misc]simplify:  iters left: 1 (123 enodes)
1538414789.472 * [exit]simplify:  Simplified to (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25))
1538414789.472 * [misc]simplify:  Simplified (2) to (λ (i) (- (- (* (pow i 6) (- 4.0)) (* (pow i 4) 1.0)) (* (* i i) 0.25)))
1538414789.472 * * * * [misc]progress:  [ 24 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1538414789.473 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1538414789.473 * * [misc]simplify:  iters left: 6 (15 enodes)
1538414789.476 * * [misc]simplify:  iters left: 5 (28 enodes)
1538414789.480 * * [misc]simplify:  iters left: 4 (42 enodes)
1538414789.486 * * [misc]simplify:  iters left: 3 (47 enodes)
1538414789.491 * * [misc]simplify:  iters left: 2 (53 enodes)
1538414789.498 * * [misc]simplify:  iters left: 1 (58 enodes)
1538414789.505 * [exit]simplify:  Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))
1538414789.505 * [misc]simplify:  Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.505 * * * * [misc]progress:  [ 25 / 25 ] simplifiying candidate #<alt (λ (i) (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1538414789.505 * [enter]simplify:  Simplifying (+ (* 0.015625 (/ 1 (pow i 2))) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4)))))
1538414789.506 * * [misc]simplify:  iters left: 6 (15 enodes)
1538414789.511 * * [misc]simplify:  iters left: 5 (28 enodes)
1538414789.520 * * [misc]simplify:  iters left: 4 (42 enodes)
1538414789.531 * * [misc]simplify:  iters left: 3 (47 enodes)
1538414789.542 * * [misc]simplify:  iters left: 2 (53 enodes)
1538414789.556 * * [misc]simplify:  iters left: 1 (58 enodes)
1538414789.569 * [exit]simplify:  Simplified to (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4))))
1538414789.569 * [misc]simplify:  Simplified (2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.569 * * * [misc]progress:  adding candidates to table
1538414789.817 * * [misc]progress:  iteration 2 / 4
1538414789.817 * * * [misc]progress:  picking best candidate
1538414789.819 * * * * [misc]pick:  Picked  #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.819 * * * [misc]progress:  localizing error
1538414789.835 * * * [misc]progress:  generating rewritten candidates
1538414789.835 * * * * [misc]progress:  [ 1 / 2 ] rewriting at (2 1)
1538414789.838 * * * * [misc]progress:  [ 2 / 2 ] rewriting at (2 2 2)
1538414789.841 * * * [misc]progress:  generating series expansions
1538414789.841 * * * * [misc]progress:  [ 1 / 2 ] generating series at (2 1)
1538414789.841 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 i) i) into (/ 0.015625 (pow i 2))
1538414789.841 * [misc]approximate:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in (i) around 0
1538414789.841 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1538414789.841 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.841 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.841 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.841 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.841 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.841 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.842 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.842 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1538414789.842 * [misc]taylor:  Taking taylor expansion of (/ 0.015625 (pow i 2)) in i
1538414789.842 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.842 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.842 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.842 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.842 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.842 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.842 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.842 * [misc]backup-simplify:  Simplify (/ 0.015625 1) into 0.015625
1538414789.843 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.843 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.843 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)))) into 0
1538414789.843 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.843 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.844 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.844 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.844 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.844 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.845 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.845 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.845 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.845 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.846 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.846 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.015625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.846 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.847 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.847 * [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
1538414789.848 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.848 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
1538414789.848 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 (/ 1 i)) (/ 1 i)) into (* 0.015625 (pow i 2))
1538414789.848 * [misc]approximate:  Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1538414789.848 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1538414789.848 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.848 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.848 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.848 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.848 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.848 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.848 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1538414789.848 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.848 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.848 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.848 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.848 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.848 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.849 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.849 * [misc]backup-simplify:  Simplify (* 0.015625 1) into 0.015625
1538414789.849 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.849 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.849 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (* 0 1)) into 0
1538414789.849 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.850 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.850 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.850 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.850 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.851 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.851 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.851 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.851 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.851 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.852 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.852 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.852 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.853 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.853 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.853 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.854 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 i) 2)) into (/ 0.015625 (pow i 2))
1538414789.854 * [misc]backup-simplify:  Simplify (/ (/ 0.015625 (/ 1 (- i))) (/ 1 (- i))) into (* 0.015625 (pow i 2))
1538414789.854 * [misc]approximate:  Taking taylor expansion of (* 0.015625 (pow i 2)) in (i) around 0
1538414789.854 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1538414789.854 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.854 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.854 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.854 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.854 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.854 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.854 * [misc]taylor:  Taking taylor expansion of (* 0.015625 (pow i 2)) in i
1538414789.854 * [misc]taylor:  Taking taylor expansion of 0.015625 in i
1538414789.854 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.854 * [misc]taylor:  Taking taylor expansion of (pow i 2) in i
1538414789.854 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.854 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.854 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.854 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.855 * [misc]backup-simplify:  Simplify (* 0.015625 1) into 0.015625
1538414789.855 * [misc]backup-simplify:  Simplify 0.015625 into 0.015625
1538414789.855 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.855 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (* 0 1)) into 0
1538414789.855 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.855 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.855 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.856 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.856 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.856 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.856 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.856 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.856 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.856 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.857 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.857 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.857 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.857 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.857 * [misc]backup-simplify:  Simplify (+ (* 0.015625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.857 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.858 * [misc]backup-simplify:  Simplify (* 0.015625 (pow (/ 1 (- i)) 2)) into (/ 0.015625 (pow i 2))
1538414789.858 * * * * [misc]progress:  [ 2 / 2 ] generating series at (2 2 2)
1538414789.858 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow i 4)) into (/ 0.00390625 (pow i 4))
1538414789.858 * [misc]approximate:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in (i) around 0
1538414789.858 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1538414789.858 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.858 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.858 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.858 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.858 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.858 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.858 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.858 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.858 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1538414789.858 * [misc]taylor:  Taking taylor expansion of (/ 0.00390625 (pow i 4)) in i
1538414789.858 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.858 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.858 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.858 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.858 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.858 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.858 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.859 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.859 * [misc]backup-simplify:  Simplify (/ 0.00390625 1) into 0.00390625
1538414789.859 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.859 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)))) into 0
1538414789.859 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.859 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.860 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.860 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.860 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.860 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.860 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.860 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.861 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.861 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.861 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.861 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.862 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.862 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.862 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 0.00390625 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538414789.862 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.862 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.863 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.863 * [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
1538414789.863 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.863 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1538414789.863 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 i) 4)) into (* 0.00390625 (pow i 4))
1538414789.863 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1538414789.863 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1538414789.863 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.863 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.863 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.863 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.863 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.863 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.863 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1538414789.863 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.863 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.863 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.863 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.863 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.863 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.864 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.864 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.864 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1538414789.864 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.864 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.864 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.864 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1538414789.864 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.864 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.865 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.865 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.866 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.866 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.866 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.866 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.866 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.867 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.867 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.867 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.867 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.867 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.868 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.868 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.868 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 i) 4)) into (/ 0.00390625 (pow i 4))
1538414789.868 * [misc]backup-simplify:  Simplify (/ 0.00390625 (pow (/ 1 (- i)) 4)) into (* 0.00390625 (pow i 4))
1538414789.868 * [misc]approximate:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in (i) around 0
1538414789.868 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1538414789.868 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.868 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.868 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.868 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.868 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.868 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.868 * [misc]taylor:  Taking taylor expansion of (* 0.00390625 (pow i 4)) in i
1538414789.868 * [misc]taylor:  Taking taylor expansion of 0.00390625 in i
1538414789.868 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.868 * [misc]taylor:  Taking taylor expansion of (pow i 4) in i
1538414789.868 * [misc]taylor:  Taking taylor expansion of i in i
1538414789.868 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.868 * [misc]backup-simplify:  Simplify 1 into 1
1538414789.868 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.868 * [misc]backup-simplify:  Simplify (* 1 1) into 1
1538414789.868 * [misc]backup-simplify:  Simplify (* 0.00390625 1) into 0.00390625
1538414789.869 * [misc]backup-simplify:  Simplify 0.00390625 into 0.00390625
1538414789.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (* 0 1)) into 0
1538414789.869 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (* 0 1)) into 0
1538414789.869 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.869 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.870 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (* 0 1))) into 0
1538414789.870 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.870 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.870 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.870 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))) into 0
1538414789.870 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.870 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.871 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.871 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))) into 0
1538414789.871 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.871 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.871 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.872 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1)))))) into 0
1538414789.872 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.872 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.872 * [misc]backup-simplify:  Simplify (+ (* 1 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.872 * [misc]backup-simplify:  Simplify (+ (* 0.00390625 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 1))))))) into 0
1538414789.872 * [misc]backup-simplify:  Simplify 0 into 0
1538414789.873 * [misc]backup-simplify:  Simplify (* 0.00390625 (pow (/ 1 (- i)) 4)) into (/ 0.00390625 (pow i 4))
1538414789.873 * * * [misc]progress:  simplifying candidates
1538414789.873 * * * * [misc]progress:  [ 1 / 34 ] simplifiying candidate #<alt (λ (i) (+ (pow (/ (/ 0.015625 i) i) 1) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 2 / 34 ] simplifiying candidate #<alt (λ (i) (+ (exp (log (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 3 / 34 ] simplifiying candidate #<alt (λ (i) (+ (log (exp (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 4 / 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)))))>
1538414789.873 * * * * [misc]progress:  [ 5 / 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)))))>
1538414789.873 * * * * [misc]progress:  [ 6 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* (sqrt (/ (/ 0.015625 i) i)) (sqrt (/ (/ 0.015625 i) i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 7 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (- (/ 0.015625 i)) (- i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 8 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* 1 (/ (/ 0.015625 i) i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 9 / 34 ] simplifiying candidate #<alt (λ (i) (+ (* (/ 0.015625 i) (/ 1 i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.873 * * * * [misc]progress:  [ 10 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 1 (/ i (/ 0.015625 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.875 * * * * [misc]progress:  [ 11 / 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)))))>
1538414789.876 * [enter]simplify:  Simplifying (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i)))
1538414789.876 * * [misc]simplify:  iters left: 5 (5 enodes)
1538414789.876 * [exit]simplify:  Simplified to (* (cbrt (/ 0.015625 i)) (cbrt (/ 0.015625 i)))
1538414789.877 * [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)))))
1538414789.877 * * * * [misc]progress:  [ 12 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (sqrt (/ 0.015625 i)) (/ i (sqrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.877 * [enter]simplify:  Simplifying (sqrt (/ 0.015625 i))
1538414789.877 * * [misc]simplify:  iters left: 3 (4 enodes)
1538414789.877 * [exit]simplify:  Simplified to (sqrt (/ 0.015625 i))
1538414789.877 * [misc]simplify:  Simplified (2 1 1) to (λ (i) (+ (/ (sqrt (/ 0.015625 i)) (/ i (sqrt (/ 0.015625 i)))) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.877 * * * * [misc]progress:  [ 13 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 1 (/ i (/ 0.015625 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.877 * * * * [misc]progress:  [ 14 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (/ i (/ 1 i))) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.877 * * * * [misc]progress:  [ 15 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.877 * * * * [misc]progress:  [ 16 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (pow (/ 0.00390625 (pow i 4)) 1))))>
1538414789.878 * * * * [misc]progress:  [ 17 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (exp (log (/ 0.00390625 (pow i 4)))))))>
1538414789.878 * * * * [misc]progress:  [ 18 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (log (exp (/ 0.00390625 (pow i 4)))))))>
1538414789.878 * * * * [misc]progress:  [ 19 / 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)))))))>
1538414789.878 * * * * [misc]progress:  [ 20 / 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)))))))>
1538414789.878 * * * * [misc]progress:  [ 21 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* (sqrt (/ 0.00390625 (pow i 4))) (sqrt (/ 0.00390625 (pow i 4)))))))>
1538414789.878 * * * * [misc]progress:  [ 22 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (- 0.00390625) (- (pow i 4))))))>
1538414789.878 * * * * [misc]progress:  [ 23 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* 1 (/ 0.00390625 (pow i 4))))))>
1538414789.878 * * * * [misc]progress:  [ 24 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (* 0.00390625 (/ 1 (pow i 4))))))>
1538414789.878 * * * * [misc]progress:  [ 25 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 1 (/ (pow i 4) 0.00390625)))))>
1538414789.878 * * * * [misc]progress:  [ 26 / 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))))))>
1538414789.878 * [enter]simplify:  Simplifying (cbrt (pow i 4))
1538414789.878 * * [misc]simplify:  iters left: 2 (4 enodes)
1538414789.879 * [exit]simplify:  Simplified to (cbrt (pow i 4))
1538414789.879 * [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))))))
1538414789.879 * * * * [misc]progress:  [ 27 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 (sqrt (pow i 4))) (sqrt (pow i 4))))))>
1538414789.879 * [enter]simplify:  Simplifying (sqrt (pow i 4))
1538414789.879 * * [misc]simplify:  iters left: 2 (4 enodes)
1538414789.879 * [exit]simplify:  Simplified to (sqrt (pow i 4))
1538414789.879 * [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))))))
1538414789.879 * * * * [misc]progress:  [ 28 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 1) (pow i 4)))))>
1538414789.880 * [enter]simplify:  Simplifying (pow i 4)
1538414789.880 * * [misc]simplify:  iters left: 1 (3 enodes)
1538414789.880 * [exit]simplify:  Simplified to (pow i 4)
1538414789.880 * [misc]simplify:  Simplified (2 2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ (/ 0.00390625 1) (pow i 4)))))
1538414789.880 * * * * [misc]progress:  [ 29 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.880 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1538414789.880 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.881 * * [misc]simplify:  iters left: 2 (6 enodes)
1538414789.882 * * [misc]simplify:  iters left: 1 (8 enodes)
1538414789.883 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1538414789.883 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.883 * * * * [misc]progress:  [ 30 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.883 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1538414789.883 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.884 * * [misc]simplify:  iters left: 2 (6 enodes)
1538414789.885 * * [misc]simplify:  iters left: 1 (8 enodes)
1538414789.886 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1538414789.886 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.886 * * * * [misc]progress:  [ 31 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ 0.015625 (pow i 2)) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.886 * [enter]simplify:  Simplifying (/ 0.015625 (pow i 2))
1538414789.886 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.887 * * [misc]simplify:  iters left: 2 (6 enodes)
1538414789.888 * * [misc]simplify:  iters left: 1 (8 enodes)
1538414789.889 * [exit]simplify:  Simplified to (/ 0.015625 (* i i))
1538414789.889 * [misc]simplify:  Simplified (2 1) to (λ (i) (+ (/ 0.015625 (* i i)) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.889 * * * * [misc]progress:  [ 32 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.889 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1538414789.889 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.890 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1538414789.890 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.890 * * * * [misc]progress:  [ 33 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.890 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1538414789.890 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.890 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1538414789.890 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.890 * * * * [misc]progress:  [ 34 / 34 ] simplifiying candidate #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>
1538414789.891 * [enter]simplify:  Simplifying (/ 0.00390625 (pow i 4))
1538414789.891 * * [misc]simplify:  iters left: 3 (5 enodes)
1538414789.892 * [exit]simplify:  Simplified to (/ 0.00390625 (pow i 4))
1538414789.892 * [misc]simplify:  Simplified (2 2 2) to (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414789.892 * * * [misc]progress:  adding candidates to table
1538414790.178 * [misc]progress:  [Phase 3 of 3] Extracting.
1538414790.178 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))> #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>)
1538414790.178 * * * [misc]regime-changes:  Trying 1 branch expressions: (i)
1538414790.178 * * * * [misc]regimes:  Trying to branch on i from (#<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))> #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>)
1538414790.220 * * * [misc]regime:  Found split indices: #<option (#s(si 0 131) #s(si 1 256))>
1538414790.220 * [misc]binary-search:  Improving bounds with binary search for i and (#<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))> #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>)
1538414790.221 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.221 * * * * [misc]points:  Computing exacts for 16 points
1538414790.226 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.227 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.228 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.228 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.231 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.232 * * * * [misc]points:  Computing exacts for 16 points
1538414790.237 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.241 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.241 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.242 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.245 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.245 * * * * [misc]points:  Computing exacts for 16 points
1538414790.250 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.251 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.252 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.255 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.255 * * * * [misc]points:  Computing exacts for 16 points
1538414790.260 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.261 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.262 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.262 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.265 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.266 * * * * [misc]points:  Computing exacts for 16 points
1538414790.270 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.271 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.272 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.272 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.275 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.275 * * * * [misc]points:  Computing exacts for 16 points
1538414790.281 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.281 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.282 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.282 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.285 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.285 * * * * [misc]points:  Computing exacts for 16 points
1538414790.290 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.291 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.292 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.292 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.295 * * * * [misc]points:  Sampling 16 additional inputs, on iter 0 have 0 / 16
1538414790.295 * * * * [misc]points:  Computing exacts for 16 points
1538414790.300 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.301 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.302 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414790.302 * * * * [exit]points:  Sampled 16 points with exact outputs
1538414790.305 * [misc]regimes:  Found splitpoints: (#s(sp 0 i 3313.1603313448654) #s(sp 1 i +nan.0)) , with alts (#<alt (λ (i) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)))> #<alt (λ (i) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))>)
1538414790.305 * [enter]simplify:  Simplifying (if (<= i 3313.1603313448654) (/ (* i (/ i 4)) (- (* i (* 4 i)) 1.0)) (+ (/ (/ 0.015625 i) i) (+ 1/16 (/ 0.00390625 (pow i 4)))))
1538414790.305 * * [misc]simplify:  iters left: 6 (21 enodes)
1538414790.307 * * [misc]simplify:  iters left: 5 (26 enodes)
1538414790.309 * [exit]simplify:  Simplified to (if (<= i 3313.1603313448654) (/ (* (/ i 4) i) (- (* i (* 4 i)) 1.0)) (+ (+ 1/16 (/ 0.00390625 (pow i 4))) (/ (/ 0.015625 i) i)))
1538414790.309 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538414790.344 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538414790.349 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.349 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.350 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538414790.355 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.357 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.358 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538414790.363 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.378 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.382 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538414790.387 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.393 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.399 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538414790.404 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.415 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.426 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538414790.431 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.453 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.476 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538414790.481 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.524 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.601 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538414790.606 * * * * [misc]points:  Setting MPFR precision to 64
1538414790.697 * * * * [misc]points:  Setting MPFR precision to 320
1538414790.835 * * * * [misc]points:  Computing exacts for 8000 points
1538414790.838 * * * * [misc]points:  Setting MPFR precision to 64
1538414791.569 * * * * [misc]points:  Setting MPFR precision to 320
1538414791.961 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538414791.964 * * * * [exit]points:  Sampled 8000 points with exact outputs
1538414792.254 * [misc]regime-testing:  Baseline error score: 15.32830329134862
1538414792.254 * [misc]regime-testing:  End program error score: 0.005
1538414792.255 * [misc]regime-testing:  Oracle error score: 0.004875