1536754780.654 * [misc]progress:  [Phase 1 of 3] Setting up.
1536754780.656 * * * [misc]progress:  [1/2] Preparing points
1536754780.656 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536754780.659 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1536754780.704 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.740 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.740 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1536754780.742 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.743 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.743 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1536754780.745 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.746 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.747 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1536754780.748 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.750 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.751 * * * * [misc]points:  Computing exacts for 256 points
1536754780.752 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.759 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.764 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.765 * * * * [misc]points:  Sampling 204 additional inputs, on iter 1 have 52 / 256
1536754780.765 * * * * [misc]points:  Computing exacts on every 12 of 204 points to ramp up precision
1536754780.766 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.767 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.767 * * * * [misc]points:  Computing exacts on every 6 of 204 points to ramp up precision
1536754780.768 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.769 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.770 * * * * [misc]points:  Computing exacts on every 3 of 204 points to ramp up precision
1536754780.771 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.772 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.773 * * * * [misc]points:  Computing exacts for 204 points
1536754780.774 * * * * [misc]points:  Setting MPFR precision to 64
1536754780.778 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.782 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.786 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.787 * * * * [misc]points:  Sampling 147 additional inputs, on iter 2 have 109 / 256
1536754780.787 * * * * [misc]points:  Computing exacts on every 9 of 147 points to ramp up precision
1536754780.788 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.789 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.789 * * * * [misc]points:  Computing exacts on every 4 of 147 points to ramp up precision
1536754780.790 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.791 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.792 * * * * [misc]points:  Computing exacts on every 2 of 147 points to ramp up precision
1536754780.793 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.794 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.795 * * * * [misc]points:  Computing exacts for 147 points
1536754780.796 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.799 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.802 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.802 * * * * [misc]points:  Sampling 112 additional inputs, on iter 3 have 144 / 256
1536754780.802 * * * * [misc]points:  Computing exacts on every 7 of 112 points to ramp up precision
1536754780.804 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.804 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.805 * * * * [misc]points:  Computing exacts on every 3 of 112 points to ramp up precision
1536754780.806 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.807 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.807 * * * * [misc]points:  Computing exacts for 112 points
1536754780.809 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.811 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.813 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.813 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1536754780.814 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1536754780.815 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.815 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.816 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1536754780.817 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.818 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.818 * * * * [misc]points:  Computing exacts for 86 points
1536754780.819 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.821 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.823 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.823 * * * * [misc]points:  Sampling 69 additional inputs, on iter 5 have 187 / 256
1536754780.823 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1536754780.825 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.825 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.825 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1536754780.827 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.827 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.828 * * * * [misc]points:  Computing exacts for 69 points
1536754780.829 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.831 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.832 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.832 * * * * [misc]points:  Sampling 53 additional inputs, on iter 6 have 203 / 256
1536754780.832 * * * * [misc]points:  Computing exacts on every 3 of 53 points to ramp up precision
1536754780.834 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.856 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.857 * * * * [misc]points:  Computing exacts for 53 points
1536754780.860 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.862 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.864 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.865 * * * * [misc]points:  Sampling 34 additional inputs, on iter 7 have 222 / 256
1536754780.865 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1536754780.870 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.870 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.871 * * * * [misc]points:  Computing exacts for 34 points
1536754780.873 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.874 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.876 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.876 * * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 229 / 256
1536754780.876 * * * * [misc]points:  Computing exacts for 27 points
1536754780.878 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.879 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.881 * * * * [misc]points:  Sampling 21 additional inputs, on iter 9 have 235 / 256
1536754780.881 * * * * [misc]points:  Computing exacts for 21 points
1536754780.883 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.884 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.885 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.885 * * * * [misc]points:  Sampling 16 additional inputs, on iter 10 have 240 / 256
1536754780.885 * * * * [misc]points:  Computing exacts for 16 points
1536754780.888 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.888 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.890 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.890 * * * * [misc]points:  Sampling 15 additional inputs, on iter 11 have 241 / 256
1536754780.890 * * * * [misc]points:  Computing exacts for 15 points
1536754780.892 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.893 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.894 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.894 * * * * [misc]points:  Sampling 14 additional inputs, on iter 12 have 242 / 256
1536754780.894 * * * * [misc]points:  Computing exacts for 14 points
1536754780.896 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.897 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.898 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.898 * * * * [misc]points:  Sampling 13 additional inputs, on iter 13 have 243 / 256
1536754780.898 * * * * [misc]points:  Computing exacts for 13 points
1536754780.900 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.901 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.901 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.901 * * * * [misc]points:  Sampling 10 additional inputs, on iter 14 have 246 / 256
1536754780.901 * * * * [misc]points:  Computing exacts for 10 points
1536754780.904 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.904 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.905 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.905 * * * * [misc]points:  Sampling 8 additional inputs, on iter 15 have 248 / 256
1536754780.905 * * * * [misc]points:  Computing exacts for 8 points
1536754780.907 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.907 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.908 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.908 * * * * [misc]points:  Sampling 7 additional inputs, on iter 16 have 249 / 256
1536754780.908 * * * * [misc]points:  Computing exacts for 7 points
1536754780.909 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.909 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.909 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.910 * * * * [misc]points:  Sampling 5 additional inputs, on iter 17 have 251 / 256
1536754780.910 * * * * [misc]points:  Computing exacts for 5 points
1536754780.911 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.911 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.911 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.911 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 253 / 256
1536754780.911 * * * * [misc]points:  Computing exacts for 4 points
1536754780.912 * * * * [misc]points:  Setting MPFR precision to 320
1536754780.913 * * * * [misc]points:  Setting MPFR precision to 576
1536754780.913 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754780.913 * * * * [exit]points:  Sampled 256 points with exact outputs
1536754780.913 * * * [misc]progress:  [2/2] Setting up program.
1536754780.917 * [misc]progress:  [Phase 2 of 3] Improving.
1536754780.918 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536754780.920 * * [misc]simplify:  iters left: 5 (6 enodes)
1536754780.925 * * [misc]simplify:  iters left: 4 (12 enodes)
1536754780.926 * * [misc]simplify:  iters left: 3 (13 enodes)
1536754780.929 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536754780.939 * * [misc]progress:  iteration 1 / 4
1536754780.939 * * * [misc]progress:  picking best candidate
1536754780.942 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536754780.943 * * * [misc]progress:  localizing error
1536754780.967 * * * [misc]progress:  generating rewritten candidates
1536754780.967 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536754781.002 * * * [misc]progress:  generating series expansions
1536754781.002 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536754781.007 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1536754781.007 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536754781.008 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536754781.008 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536754781.008 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.008 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.008 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.008 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536754781.008 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.008 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.008 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.008 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.008 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.009 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.009 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754781.009 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536754781.009 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.010 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.010 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536754781.010 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.010 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.010 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536754781.010 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536754781.010 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.010 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.010 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.010 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536754781.010 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.010 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.010 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.010 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.010 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.010 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.011 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754781.011 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536754781.011 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.011 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.011 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536754781.011 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.011 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.012 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.012 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754781.012 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.013 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754781.013 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536754781.014 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536754781.014 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754781.014 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.015 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754781.015 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536754781.016 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754781.016 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754781.016 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 3)) (+ (* +nan.0 (pow x 2)) (* +nan.0 x))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536754781.017 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536754781.017 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536754781.017 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536754781.017 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536754781.017 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536754781.017 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754781.017 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.017 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.017 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.017 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.017 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.017 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.017 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.017 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.017 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.017 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.017 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.017 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754781.018 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754781.018 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.018 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754781.018 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536754781.018 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536754781.018 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536754781.018 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536754781.018 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536754781.018 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754781.018 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.019 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.019 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.019 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.019 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.019 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.019 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.019 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.019 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.019 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.019 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.019 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754781.019 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754781.019 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.019 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754781.020 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536754781.020 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536754781.020 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.020 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536754781.020 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754781.020 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.020 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754781.020 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536754781.021 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536754781.021 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536754781.021 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754781.021 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1536754781.021 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1536754781.021 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536754781.021 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536754781.021 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536754781.022 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536754781.022 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754781.022 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.022 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.022 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.022 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.022 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.022 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.022 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.022 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.022 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.022 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.023 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.023 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of -1 in x
1536754781.023 * [misc]backup-simplify:  Simplify -1 into -1
1536754781.023 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.023 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.023 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.023 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536754781.023 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.023 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.023 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754781.023 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.023 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.024 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.024 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754781.024 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754781.024 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.024 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754781.024 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.024 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.024 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.024 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.024 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536754781.024 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536754781.024 * [misc]taylor:  Taking taylor expansion of -1 in x
1536754781.024 * [misc]backup-simplify:  Simplify -1 into -1
1536754781.024 * [misc]taylor:  Taking taylor expansion of x in x
1536754781.024 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.024 * [misc]backup-simplify:  Simplify 1 into 1
1536754781.025 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536754781.025 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754781.025 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754781.025 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1536754781.025 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.025 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1536754781.025 * [misc]backup-simplify:  Simplify 0 into 0
1536754781.026 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1536754781.026 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536754781.027 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754781.027 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536754781.027 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754781.027 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536754781.028 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1536754781.028 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536754781.028 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754781.029 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754781.029 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754781.029 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754781.029 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.030 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754781.031 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1536754781.031 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536754781.031 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754781.032 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754781.032 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754781.032 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754781.033 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754781.033 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754781.034 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
1536754781.034 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536754781.035 * [misc]backup-simplify:  Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1536754781.035 * * * [misc]progress:  simplifying candidates
1536754781.035 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.035 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.035 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536754781.036 * [enter]simplify:  Simplifying (* (- x 1) x)
1536754781.036 * * [misc]simplify:  iters left: 4 (4 enodes)
1536754781.037 * * [misc]simplify:  iters left: 3 (10 enodes)
1536754781.039 * * [misc]simplify:  iters left: 2 (16 enodes)
1536754781.050 * * [misc]simplify:  iters left: 1 (24 enodes)
1536754781.053 * [exit]simplify:  Simplified to (- (* x x) x)
1536754781.053 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1536754781.054 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536754781.054 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536754781.054 * * [misc]simplify:  iters left: 5 (6 enodes)
1536754781.056 * * [misc]simplify:  iters left: 4 (12 enodes)
1536754781.058 * * [misc]simplify:  iters left: 3 (13 enodes)
1536754781.060 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536754781.060 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1536754781.060 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536754781.060 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1536754781.060 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1536754781.060 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754781.062 * * [misc]simplify:  iters left: 5 (14 enodes)
1536754781.064 * * [misc]simplify:  iters left: 4 (15 enodes)
1536754781.067 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1536754781.067 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1536754781.067 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.067 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.067 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1536754781.067 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1536754781.067 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754781.071 * * [misc]simplify:  iters left: 5 (22 enodes)
1536754781.079 * * [misc]simplify:  iters left: 4 (48 enodes)
1536754781.099 * * [misc]simplify:  iters left: 3 (94 enodes)
1536754781.127 * * [misc]simplify:  iters left: 2 (192 enodes)
1536754781.232 * * [misc]simplify:  iters left: 1 (414 enodes)
1536754781.606 * [exit]simplify:  Simplified to (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))
1536754781.606 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))))
1536754781.606 * * * * [misc]progress:  [ 10 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.606 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.606 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536754781.606 * [enter]simplify:  Simplifying (* (- x 1) x)
1536754781.607 * * [misc]simplify:  iters left: 4 (4 enodes)
1536754781.609 * * [misc]simplify:  iters left: 3 (10 enodes)
1536754781.610 * * [misc]simplify:  iters left: 2 (16 enodes)
1536754781.614 * * [misc]simplify:  iters left: 1 (24 enodes)
1536754781.619 * [exit]simplify:  Simplified to (- (* x x) x)
1536754781.619 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1536754781.619 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1536754781.619 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536754781.620 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1536754781.620 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1536754781.620 * * [misc]simplify:  iters left: 2 (3 enodes)
1536754781.621 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1536754781.621 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1536754781.621 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1536754781.621 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1536754781.621 * * [misc]simplify:  iters left: 2 (3 enodes)
1536754781.622 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1536754781.622 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1536754781.622 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1536754781.622 * [enter]simplify:  Simplifying (sqrt x)
1536754781.622 * * [misc]simplify:  iters left: 1 (2 enodes)
1536754781.622 * [exit]simplify:  Simplified to (sqrt x)
1536754781.622 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1536754781.622 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1536754781.622 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1536754781.623 * * [misc]simplify:  iters left: 6 (6 enodes)
1536754781.625 * * [misc]simplify:  iters left: 5 (11 enodes)
1536754781.626 * * [misc]simplify:  iters left: 4 (12 enodes)
1536754781.628 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1536754781.628 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1536754781.628 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1536754781.628 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1536754781.629 * * [misc]simplify:  iters left: 6 (6 enodes)
1536754781.631 * * [misc]simplify:  iters left: 5 (12 enodes)
1536754781.632 * * [misc]simplify:  iters left: 4 (13 enodes)
1536754781.634 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1536754781.634 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1536754781.634 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536754781.634 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536754781.635 * * [misc]simplify:  iters left: 4 (5 enodes)
1536754781.637 * * [misc]simplify:  iters left: 3 (10 enodes)
1536754781.639 * * [misc]simplify:  iters left: 2 (11 enodes)
1536754781.642 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536754781.642 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536754781.642 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1536754781.643 * [enter]simplify:  Simplifying (sqrt 1)
1536754781.643 * * [misc]simplify:  iters left: 1 (2 enodes)
1536754781.644 * [exit]simplify:  Simplified to 1
1536754781.645 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1536754781.645 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536754781.645 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536754781.645 * * [misc]simplify:  iters left: 4 (5 enodes)
1536754781.648 * * [misc]simplify:  iters left: 3 (10 enodes)
1536754781.651 * * [misc]simplify:  iters left: 2 (11 enodes)
1536754781.654 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536754781.654 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536754781.654 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536754781.654 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536754781.654 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1536754781.655 * * [misc]simplify:  iters left: 6 (9 enodes)
1536754781.661 * * [misc]simplify:  iters left: 5 (20 enodes)
1536754781.669 * * [misc]simplify:  iters left: 4 (27 enodes)
1536754781.674 * * [misc]simplify:  iters left: 3 (29 enodes)
1536754781.680 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (fma (* x x) x -1)))
1536754781.680 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma (* x x) x -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536754781.681 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1536754781.681 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1536754781.682 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754781.687 * * [misc]simplify:  iters left: 5 (16 enodes)
1536754781.693 * * [misc]simplify:  iters left: 4 (23 enodes)
1536754781.698 * * [misc]simplify:  iters left: 3 (27 enodes)
1536754781.707 * * [misc]simplify:  iters left: 2 (43 enodes)
1536754781.732 * * [misc]simplify:  iters left: 1 (74 enodes)
1536754781.786 * [exit]simplify:  Simplified to (* (sqrt (fma x x -1)) (sqrt x))
1536754781.786 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1))))
1536754781.786 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1536754781.786 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536754781.786 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536754781.786 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536754781.786 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536754781.787 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754781.787 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754781.790 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754781.795 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754781.804 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754781.831 * * [misc]simplify:  iters left: 2 (97 enodes)
1536754781.864 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754781.921 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754781.921 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1536754781.921 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1536754781.921 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1536754781.921 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536754781.921 * * * [misc]progress:  adding candidates to table
1536754782.250 * * [misc]progress:  iteration 2 / 4
1536754782.251 * * * [misc]progress:  picking best candidate
1536754782.255 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>
1536754782.255 * * * [misc]progress:  localizing error
1536754782.265 * * * [misc]progress:  generating rewritten candidates
1536754782.265 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536754782.310 * * * [misc]progress:  generating series expansions
1536754782.310 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536754782.310 * [misc]backup-simplify:  Simplify (- (/ -1/8 x) (- 1/2 x)) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754782.310 * [misc]approximate:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in (x) around 0
1536754782.310 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
1536754782.310 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.310 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.310 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.311 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 x)) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.311 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.311 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.311 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.311 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.311 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.311 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.311 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.311 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.311 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.311 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.311 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 x)) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.311 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.311 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.311 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.311 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.311 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.311 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.311 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.311 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.311 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1536754782.312 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536754782.312 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1536754782.312 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1536754782.312 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536754782.312 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754782.312 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1536754782.312 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536754782.312 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536754782.312 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536754782.312 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536754782.313 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754782.313 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1536754782.313 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754782.313 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754782.313 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754782.313 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.313 * [misc]backup-simplify:  Simplify (+ (* 1 x) (+ -1/2 (* -1/8 (/ 1 x)))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754782.313 * [misc]backup-simplify:  Simplify (- (/ -1/8 (/ 1 x)) (- 1/2 (/ 1 x))) into (- (/ 1 x) (+ (* 1/8 x) 1/2))
1536754782.313 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in (x) around 0
1536754782.313 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
1536754782.313 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.313 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.313 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.313 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.314 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.314 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.314 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.314 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.314 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.314 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.314 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.314 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.314 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.314 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.314 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.314 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.314 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536754782.314 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.314 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.314 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.314 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.314 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.314 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.314 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.314 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754782.314 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.314 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754782.314 * [misc]backup-simplify:  Simplify (* 1/8 0) into 0
1536754782.315 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536754782.315 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536754782.315 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536754782.315 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536754782.315 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754782.315 * [misc]backup-simplify:  Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
1536754782.315 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536754782.315 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1536754782.315 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1536754782.315 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536754782.315 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754782.316 * [misc]backup-simplify:  Simplify (- (/ -1/8 (/ 1 (- x))) (- 1/2 (/ 1 (- x)))) into (- (* 1/8 x) (+ (/ 1 x) 1/2))
1536754782.316 * [misc]approximate:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in (x) around 0
1536754782.316 * [misc]taylor:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.316 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.316 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.316 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.316 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.316 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.316 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.316 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.316 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.316 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.316 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.316 * [misc]taylor:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536754782.316 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.316 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.316 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.316 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.316 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754782.316 * [misc]taylor:  Taking taylor expansion of x in x
1536754782.316 * [misc]backup-simplify:  Simplify 0 into 0
1536754782.316 * [misc]backup-simplify:  Simplify 1 into 1
1536754782.316 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754782.316 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536754782.316 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754782.316 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754782.317 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754782.317 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754782.317 * [misc]backup-simplify:  Simplify -1 into -1
1536754782.317 * [misc]backup-simplify:  Simplify (* 1/8 0) into 0
1536754782.317 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754782.317 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536754782.317 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536754782.317 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536754782.317 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536754782.317 * [misc]backup-simplify:  Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
1536754782.318 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754782.318 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754782.318 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754782.318 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536754782.318 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536754782.318 * [misc]backup-simplify:  Simplify (+ (* 1/8 (/ 1 (- x))) (+ -1/2 (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754782.318 * * * [misc]progress:  simplifying candidates
1536754782.318 * * * * [misc]progress:  [ 1 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))>
1536754782.318 * [enter]simplify:  Simplifying (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))))))
1536754782.319 * * [misc]simplify:  iters left: 6 (12 enodes)
1536754782.322 * * [misc]simplify:  iters left: 5 (23 enodes)
1536754782.326 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754782.333 * * [misc]simplify:  iters left: 3 (47 enodes)
1536754782.341 * * [misc]simplify:  iters left: 2 (54 enodes)
1536754782.350 * * [misc]simplify:  iters left: 1 (65 enodes)
1536754782.369 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754782.369 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))
1536754782.369 * [enter]simplify:  Simplifying (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))
1536754782.370 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754782.374 * * [misc]simplify:  iters left: 5 (15 enodes)
1536754782.380 * * [misc]simplify:  iters left: 4 (23 enodes)
1536754782.392 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754782.403 * * [misc]simplify:  iters left: 2 (83 enodes)
1536754782.437 * * [misc]simplify:  iters left: 1 (135 enodes)
1536754782.504 * [exit]simplify:  Simplified to 0
1536754782.504 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754782.504 * * * * [misc]progress:  [ 2 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))>
1536754782.504 * [enter]simplify:  Simplifying (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x)))))
1536754782.506 * * [misc]simplify:  iters left: 6 (11 enodes)
1536754782.513 * * [misc]simplify:  iters left: 5 (18 enodes)
1536754782.517 * * [misc]simplify:  iters left: 4 (27 enodes)
1536754782.522 * * [misc]simplify:  iters left: 3 (37 enodes)
1536754782.528 * * [misc]simplify:  iters left: 2 (47 enodes)
1536754782.535 * * [misc]simplify:  iters left: 1 (55 enodes)
1536754782.545 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754782.545 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))
1536754782.545 * [enter]simplify:  Simplifying (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))
1536754782.546 * * [misc]simplify:  iters left: 6 (7 enodes)
1536754782.547 * * [misc]simplify:  iters left: 5 (11 enodes)
1536754782.550 * * [misc]simplify:  iters left: 4 (21 enodes)
1536754782.556 * * [misc]simplify:  iters left: 3 (42 enodes)
1536754782.563 * * [misc]simplify:  iters left: 2 (55 enodes)
1536754782.585 * * [misc]simplify:  iters left: 1 (102 enodes)
1536754782.609 * [exit]simplify:  Simplified to 0
1536754782.609 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754782.609 * * * * [misc]progress:  [ 3 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (- 1/2 x) 1))) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))>
1536754782.610 * [enter]simplify:  Simplifying (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (* (- 1/2 x) 1)))
1536754782.610 * * [misc]simplify:  iters left: 6 (11 enodes)
1536754782.615 * * [misc]simplify:  iters left: 5 (23 enodes)
1536754782.624 * * [misc]simplify:  iters left: 4 (41 enodes)
1536754782.633 * * [misc]simplify:  iters left: 3 (60 enodes)
1536754782.645 * * [misc]simplify:  iters left: 2 (81 enodes)
1536754782.656 * * [misc]simplify:  iters left: 1 (94 enodes)
1536754782.678 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754782.678 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))
1536754782.679 * [enter]simplify:  Simplifying (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))
1536754782.682 * * [misc]simplify:  iters left: 5 (7 enodes)
1536754782.685 * * [misc]simplify:  iters left: 4 (14 enodes)
1536754782.697 * * [misc]simplify:  iters left: 3 (38 enodes)
1536754782.712 * * [misc]simplify:  iters left: 2 (59 enodes)
1536754782.725 * * [misc]simplify:  iters left: 1 (93 enodes)
1536754782.751 * [exit]simplify:  Simplified to 0
1536754782.751 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754782.751 * * * * [misc]progress:  [ 4 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))>
1536754782.751 * [enter]simplify:  Simplifying (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))))))
1536754782.752 * * [misc]simplify:  iters left: 6 (11 enodes)
1536754782.754 * * [misc]simplify:  iters left: 5 (22 enodes)
1536754782.762 * * [misc]simplify:  iters left: 4 (29 enodes)
1536754782.775 * * [misc]simplify:  iters left: 3 (44 enodes)
1536754782.789 * * [misc]simplify:  iters left: 2 (49 enodes)
1536754782.797 * * [misc]simplify:  iters left: 1 (60 enodes)
1536754782.806 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (- x 1/2))
1536754782.806 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))
1536754782.806 * [enter]simplify:  Simplifying (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))
1536754782.807 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754782.809 * * [misc]simplify:  iters left: 5 (15 enodes)
1536754782.812 * * [misc]simplify:  iters left: 4 (23 enodes)
1536754782.820 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754782.832 * * [misc]simplify:  iters left: 2 (83 enodes)
1536754782.852 * * [misc]simplify:  iters left: 1 (135 enodes)
1536754782.890 * [exit]simplify:  Simplified to 0
1536754782.890 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) 0))
1536754782.890 * * * * [misc]progress:  [ 5 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))>
1536754782.890 * [enter]simplify:  Simplifying (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x)))))
1536754782.891 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754782.893 * * [misc]simplify:  iters left: 5 (17 enodes)
1536754782.896 * * [misc]simplify:  iters left: 4 (25 enodes)
1536754782.901 * * [misc]simplify:  iters left: 3 (36 enodes)
1536754782.910 * * [misc]simplify:  iters left: 2 (47 enodes)
1536754782.928 * * [misc]simplify:  iters left: 1 (70 enodes)
1536754782.963 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754782.963 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))
1536754782.963 * [enter]simplify:  Simplifying (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))
1536754782.964 * * [misc]simplify:  iters left: 6 (7 enodes)
1536754782.967 * * [misc]simplify:  iters left: 5 (11 enodes)
1536754782.976 * * [misc]simplify:  iters left: 4 (21 enodes)
1536754782.988 * * [misc]simplify:  iters left: 3 (42 enodes)
1536754783.002 * * [misc]simplify:  iters left: 2 (55 enodes)
1536754783.031 * * [misc]simplify:  iters left: 1 (102 enodes)
1536754783.063 * [exit]simplify:  Simplified to 0
1536754783.063 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754783.063 * * * * [misc]progress:  [ 6 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (- 1/2 x) 1))) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))>
1536754783.063 * [enter]simplify:  Simplifying (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (* (- 1/2 x) 1)))
1536754783.064 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754783.067 * * [misc]simplify:  iters left: 5 (22 enodes)
1536754783.073 * * [misc]simplify:  iters left: 4 (39 enodes)
1536754783.088 * * [misc]simplify:  iters left: 3 (63 enodes)
1536754783.112 * * [misc]simplify:  iters left: 2 (91 enodes)
1536754783.121 * * [misc]simplify:  iters left: 1 (101 enodes)
1536754783.132 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754783.132 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))
1536754783.132 * [enter]simplify:  Simplifying (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))
1536754783.132 * * [misc]simplify:  iters left: 5 (7 enodes)
1536754783.134 * * [misc]simplify:  iters left: 4 (14 enodes)
1536754783.141 * * [misc]simplify:  iters left: 3 (38 enodes)
1536754783.149 * * [misc]simplify:  iters left: 2 (59 enodes)
1536754783.164 * * [misc]simplify:  iters left: 1 (93 enodes)
1536754783.220 * [exit]simplify:  Simplified to 0
1536754783.221 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754783.221 * * * * [misc]progress:  [ 7 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (/ -1/8 x) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))>
1536754783.221 * [enter]simplify:  Simplifying (fma 1 (/ -1/8 x) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))))))
1536754783.222 * * [misc]simplify:  iters left: 6 (11 enodes)
1536754783.228 * * [misc]simplify:  iters left: 5 (24 enodes)
1536754783.238 * * [misc]simplify:  iters left: 4 (34 enodes)
1536754783.254 * * [misc]simplify:  iters left: 3 (52 enodes)
1536754783.268 * * [misc]simplify:  iters left: 2 (59 enodes)
1536754783.284 * * [misc]simplify:  iters left: 1 (70 enodes)
1536754783.306 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754783.306 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))
1536754783.306 * [enter]simplify:  Simplifying (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))
1536754783.307 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754783.311 * * [misc]simplify:  iters left: 5 (15 enodes)
1536754783.317 * * [misc]simplify:  iters left: 4 (23 enodes)
1536754783.332 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754783.352 * * [misc]simplify:  iters left: 2 (83 enodes)
1536754783.373 * * [misc]simplify:  iters left: 1 (135 enodes)
1536754783.408 * [exit]simplify:  Simplified to 0
1536754783.408 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754783.408 * * * * [misc]progress:  [ 8 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (/ -1/8 x) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))>
1536754783.408 * [enter]simplify:  Simplifying (fma 1 (/ -1/8 x) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x)))))
1536754783.409 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754783.411 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754783.416 * * [misc]simplify:  iters left: 4 (30 enodes)
1536754783.424 * * [misc]simplify:  iters left: 3 (41 enodes)
1536754783.440 * * [misc]simplify:  iters left: 2 (51 enodes)
1536754783.454 * * [misc]simplify:  iters left: 1 (59 enodes)
1536754783.474 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754783.474 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))
1536754783.475 * [enter]simplify:  Simplifying (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))
1536754783.475 * * [misc]simplify:  iters left: 6 (7 enodes)
1536754783.479 * * [misc]simplify:  iters left: 5 (11 enodes)
1536754783.484 * * [misc]simplify:  iters left: 4 (21 enodes)
1536754783.495 * * [misc]simplify:  iters left: 3 (42 enodes)
1536754783.509 * * [misc]simplify:  iters left: 2 (55 enodes)
1536754783.539 * * [misc]simplify:  iters left: 1 (102 enodes)
1536754783.579 * [exit]simplify:  Simplified to 0
1536754783.579 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754783.579 * * * * [misc]progress:  [ 9 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma 1 (/ -1/8 x) (- (* (- 1/2 x) 1))) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))>
1536754783.579 * [enter]simplify:  Simplifying (fma 1 (/ -1/8 x) (- (* (- 1/2 x) 1)))
1536754783.580 * * [misc]simplify:  iters left: 6 (9 enodes)
1536754783.582 * * [misc]simplify:  iters left: 5 (21 enodes)
1536754783.590 * * [misc]simplify:  iters left: 4 (41 enodes)
1536754783.601 * * [misc]simplify:  iters left: 3 (66 enodes)
1536754783.618 * * [misc]simplify:  iters left: 2 (104 enodes)
1536754783.643 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754783.687 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ -1/2 x))
1536754783.687 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))
1536754783.687 * [enter]simplify:  Simplifying (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))
1536754783.688 * * [misc]simplify:  iters left: 5 (7 enodes)
1536754783.690 * * [misc]simplify:  iters left: 4 (14 enodes)
1536754783.696 * * [misc]simplify:  iters left: 3 (38 enodes)
1536754783.704 * * [misc]simplify:  iters left: 2 (59 enodes)
1536754783.717 * * [misc]simplify:  iters left: 1 (93 enodes)
1536754783.766 * [exit]simplify:  Simplified to 0
1536754783.766 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (+ -1/2 x)) 0))
1536754783.766 * * * * [misc]progress:  [ 10 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma -1/8 (/ 1 x) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))>
1536754783.766 * [enter]simplify:  Simplifying (fma -1/8 (/ 1 x) (- (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))))))
1536754783.767 * * [misc]simplify:  iters left: 6 (11 enodes)
1536754783.773 * * [misc]simplify:  iters left: 5 (24 enodes)
1536754783.786 * * [misc]simplify:  iters left: 4 (34 enodes)
1536754783.802 * * [misc]simplify:  iters left: 3 (51 enodes)
1536754783.820 * * [misc]simplify:  iters left: 2 (66 enodes)
1536754783.836 * * [misc]simplify:  iters left: 1 (95 enodes)
1536754783.851 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (- x 1/2))
1536754783.851 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))))
1536754783.852 * [enter]simplify:  Simplifying (fma (- (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x))) (* (cbrt (- 1/2 x)) (* (cbrt (- 1/2 x)) (cbrt (- 1/2 x)))))
1536754783.852 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754783.854 * * [misc]simplify:  iters left: 5 (15 enodes)
1536754783.857 * * [misc]simplify:  iters left: 4 (23 enodes)
1536754783.865 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754783.877 * * [misc]simplify:  iters left: 2 (83 enodes)
1536754783.900 * * [misc]simplify:  iters left: 1 (135 enodes)
1536754783.950 * [exit]simplify:  Simplified to 0
1536754783.950 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) 0))
1536754783.950 * * * * [misc]progress:  [ 11 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma -1/8 (/ 1 x) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))>
1536754783.951 * [enter]simplify:  Simplifying (fma -1/8 (/ 1 x) (- (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x)))))
1536754783.952 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754783.956 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754783.965 * * [misc]simplify:  iters left: 4 (30 enodes)
1536754783.972 * * [misc]simplify:  iters left: 3 (40 enodes)
1536754783.980 * * [misc]simplify:  iters left: 2 (58 enodes)
1536754783.994 * * [misc]simplify:  iters left: 1 (82 enodes)
1536754784.021 * [exit]simplify:  Simplified to (+ (- x 1/2) (/ -1/8 x))
1536754784.021 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (- x 1/2) (/ -1/8 x)) (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))))
1536754784.021 * [enter]simplify:  Simplifying (fma (- (sqrt (- 1/2 x))) (sqrt (- 1/2 x)) (* (sqrt (- 1/2 x)) (sqrt (- 1/2 x))))
1536754784.022 * * [misc]simplify:  iters left: 6 (7 enodes)
1536754784.025 * * [misc]simplify:  iters left: 5 (11 enodes)
1536754784.030 * * [misc]simplify:  iters left: 4 (21 enodes)
1536754784.042 * * [misc]simplify:  iters left: 3 (42 enodes)
1536754784.056 * * [misc]simplify:  iters left: 2 (55 enodes)
1536754784.084 * * [misc]simplify:  iters left: 1 (102 enodes)
1536754784.130 * [exit]simplify:  Simplified to 0
1536754784.130 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (- x 1/2) (/ -1/8 x)) 0))
1536754784.130 * * * * [misc]progress:  [ 12 / 40 ] simplifiying candidate #<alt (λ (x) (+ (fma -1/8 (/ 1 x) (- (* (- 1/2 x) 1))) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))>
1536754784.131 * [enter]simplify:  Simplifying (fma -1/8 (/ 1 x) (- (* (- 1/2 x) 1)))
1536754784.131 * * [misc]simplify:  iters left: 6 (9 enodes)
1536754784.137 * * [misc]simplify:  iters left: 5 (21 enodes)
1536754784.150 * * [misc]simplify:  iters left: 4 (41 enodes)
1536754784.172 * * [misc]simplify:  iters left: 3 (67 enodes)
1536754784.205 * * [misc]simplify:  iters left: 2 (107 enodes)
1536754784.235 * * [misc]simplify:  iters left: 1 (130 enodes)
1536754784.268 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (- x 1/2))
1536754784.268 * [misc]simplify:  Simplified (2 1) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))))
1536754784.269 * [enter]simplify:  Simplifying (fma (- (- 1/2 x)) 1 (* (- 1/2 x) 1))
1536754784.269 * * [misc]simplify:  iters left: 5 (7 enodes)
1536754784.273 * * [misc]simplify:  iters left: 4 (14 enodes)
1536754784.288 * * [misc]simplify:  iters left: 3 (38 enodes)
1536754784.304 * * [misc]simplify:  iters left: 2 (59 enodes)
1536754784.330 * * [misc]simplify:  iters left: 1 (93 enodes)
1536754784.357 * [exit]simplify:  Simplified to 0
1536754784.357 * [misc]simplify:  Simplified (2 2) to (λ (x) (+ (+ (/ -1/8 x) (- x 1/2)) 0))
1536754784.357 * * * * [misc]progress:  [ 13 / 40 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.357 * * * * [misc]progress:  [ 14 / 40 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.357 * * * * [misc]progress:  [ 15 / 40 ] simplifiying candidate #<alt (λ (x) (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (- 1/2 x))))>
1536754784.357 * [enter]simplify:  Simplifying (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x)))
1536754784.358 * * [misc]simplify:  iters left: 5 (5 enodes)
1536754784.359 * [exit]simplify:  Simplified to (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x)))
1536754784.359 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (* (cbrt (/ -1/8 x)) (cbrt (/ -1/8 x))) (cbrt (/ -1/8 x)) (- (- 1/2 x))))
1536754784.359 * * * * [misc]progress:  [ 16 / 40 ] simplifiying candidate #<alt (λ (x) (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (- 1/2 x))))>
1536754784.359 * [enter]simplify:  Simplifying (sqrt (/ -1/8 x))
1536754784.359 * * [misc]simplify:  iters left: 3 (4 enodes)
1536754784.360 * [exit]simplify:  Simplified to (sqrt (/ -1/8 x))
1536754784.360 * [misc]simplify:  Simplified (2 1) to (λ (x) (fma (sqrt (/ -1/8 x)) (sqrt (/ -1/8 x)) (- (- 1/2 x))))
1536754784.360 * * * * [misc]progress:  [ 17 / 40 ] simplifiying candidate #<alt (λ (x) (fma 1 (/ -1/8 x) (- (- 1/2 x))))>
1536754784.360 * * * * [misc]progress:  [ 18 / 40 ] simplifiying candidate #<alt (λ (x) (fma -1/8 (/ 1 x) (- (- 1/2 x))))>
1536754784.360 * * * * [misc]progress:  [ 19 / 40 ] simplifiying candidate #<alt (λ (x) (log (/ (exp (/ -1/8 x)) (exp (- 1/2 x)))))>
1536754784.360 * [enter]simplify:  Simplifying (/ (exp (/ -1/8 x)) (exp (- 1/2 x)))
1536754784.361 * * [misc]simplify:  iters left: 5 (8 enodes)
1536754784.363 * * [misc]simplify:  iters left: 4 (15 enodes)
1536754784.367 * * [misc]simplify:  iters left: 3 (25 enodes)
1536754784.374 * * [misc]simplify:  iters left: 2 (45 enodes)
1536754784.389 * * [misc]simplify:  iters left: 1 (95 enodes)
1536754784.423 * [exit]simplify:  Simplified to (exp (- (/ -1/8 x) (- 1/2 x)))
1536754784.423 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (- (/ -1/8 x) (- 1/2 x)))))
1536754784.423 * * * * [misc]progress:  [ 20 / 40 ] simplifiying candidate #<alt (λ (x) (pow (- (/ -1/8 x) (- 1/2 x)) 1))>
1536754784.423 * * * * [misc]progress:  [ 21 / 40 ] simplifiying candidate #<alt (λ (x) (exp (log (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.423 * * * * [misc]progress:  [ 22 / 40 ] simplifiying candidate #<alt (λ (x) (log (exp (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.423 * * * * [misc]progress:  [ 23 / 40 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (- (/ -1/8 x) (- 1/2 x))) (cbrt (- (/ -1/8 x) (- 1/2 x)))) (cbrt (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.423 * * * * [misc]progress:  [ 24 / 40 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (- (/ -1/8 x) (- 1/2 x)) (- (/ -1/8 x) (- 1/2 x))) (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.424 * * * * [misc]progress:  [ 25 / 40 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- (/ -1/8 x) (- 1/2 x))) (sqrt (- (/ -1/8 x) (- 1/2 x)))))>
1536754784.424 * * * * [misc]progress:  [ 26 / 40 ] simplifiying candidate #<alt (λ (x) (/ (- (* -1/8 (+ (* 1/2 1/2) (+ (* x x) (* 1/2 x)))) (* x (- (pow 1/2 3) (pow x 3)))) (* x (+ (* 1/2 1/2) (+ (* x x) (* 1/2 x))))))>
1536754784.424 * [enter]simplify:  Simplifying (- (* -1/8 (+ (* 1/2 1/2) (+ (* x x) (* 1/2 x)))) (* x (- (pow 1/2 3) (pow x 3))))
1536754784.425 * * [misc]simplify:  iters left: 6 (15 enodes)
1536754784.433 * * [misc]simplify:  iters left: 5 (44 enodes)
1536754784.446 * * [misc]simplify:  iters left: 4 (99 enodes)
1536754784.499 * * [misc]simplify:  iters left: 3 (248 enodes)
1536754784.621 * [exit]simplify:  Simplified to (fma (fma (* x x) (- x) 1/8) (- x) (fma (+ 1/2 x) (* x -1/8) -1/32))
1536754784.622 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma (fma (* x x) (- x) 1/8) (- x) (fma (+ 1/2 x) (* x -1/8) -1/32)) (* x (+ (* 1/2 1/2) (+ (* x x) (* 1/2 x))))))
1536754784.622 * [enter]simplify:  Simplifying (* x (+ (* 1/2 1/2) (+ (* x x) (* 1/2 x))))
1536754784.623 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754784.627 * * [misc]simplify:  iters left: 5 (25 enodes)
1536754784.637 * * [misc]simplify:  iters left: 4 (57 enodes)
1536754784.677 * * [misc]simplify:  iters left: 3 (130 enodes)
1536754784.758 * * [misc]simplify:  iters left: 2 (223 enodes)
1536754784.837 * * [misc]simplify:  iters left: 1 (288 enodes)
1536754784.902 * [exit]simplify:  Simplified to (fma (+ 1/2 x) (* x x) (* x 1/4))
1536754784.903 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (fma (fma (* x x) (- x) 1/8) (- x) (fma (+ 1/2 x) (* x -1/8) -1/32)) (fma (+ 1/2 x) (* x x) (* x 1/4))))
1536754784.903 * * * * [misc]progress:  [ 27 / 40 ] simplifiying candidate #<alt (λ (x) (/ (- (* -1/8 (+ 1/2 x)) (* x (- (* 1/2 1/2) (* x x)))) (* x (+ 1/2 x))))>
1536754784.903 * [enter]simplify:  Simplifying (- (* -1/8 (+ 1/2 x)) (* x (- (* 1/2 1/2) (* x x))))
1536754784.903 * * [misc]simplify:  iters left: 6 (10 enodes)
1536754784.909 * * [misc]simplify:  iters left: 5 (29 enodes)
1536754784.922 * * [misc]simplify:  iters left: 4 (47 enodes)
1536754784.951 * * [misc]simplify:  iters left: 3 (129 enodes)
1536754785.051 * * [misc]simplify:  iters left: 2 (392 enodes)
1536754785.636 * [exit]simplify:  Simplified to (fma x (+ -3/8 (* x x)) -1/16)
1536754785.636 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (fma x (+ -3/8 (* x x)) -1/16) (* x (+ 1/2 x))))
1536754785.637 * [enter]simplify:  Simplifying (* x (+ 1/2 x))
1536754785.637 * * [misc]simplify:  iters left: 4 (4 enodes)
1536754785.640 * * [misc]simplify:  iters left: 3 (11 enodes)
1536754785.645 * * [misc]simplify:  iters left: 2 (15 enodes)
1536754785.648 * * [misc]simplify:  iters left: 1 (16 enodes)
1536754785.653 * [exit]simplify:  Simplified to (* x (+ 1/2 x))
1536754785.653 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (fma x (+ -3/8 (* x x)) -1/16) (* x (+ 1/2 x))))
1536754785.653 * * * * [misc]progress:  [ 28 / 40 ] simplifiying candidate #<alt (λ (x) (/ (- (pow (/ -1/8 x) 3) (pow (- 1/2 x) 3)) (+ (* (/ -1/8 x) (/ -1/8 x)) (+ (* (- 1/2 x) (- 1/2 x)) (* (/ -1/8 x) (- 1/2 x))))))>
1536754785.654 * * * * [misc]progress:  [ 29 / 40 ] simplifiying candidate #<alt (λ (x) (+ (/ -1/8 x) (- (- 1/2 x))))>
1536754785.654 * * * * [misc]progress:  [ 30 / 40 ] simplifiying candidate #<alt (λ (x) (* 1 (- (/ -1/8 x) (- 1/2 x))))>
1536754785.654 * * * * [misc]progress:  [ 31 / 40 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ -1/8 x) (/ -1/8 x)) (* (- 1/2 x) (- 1/2 x))) (+ (/ -1/8 x) (- 1/2 x))))>
1536754785.654 * * * * [misc]progress:  [ 32 / 40 ] simplifiying candidate #<alt (λ (x) (* (+ (sqrt (/ -1/8 x)) (sqrt (- 1/2 x))) (- (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))))>
1536754785.654 * [enter]simplify:  Simplifying (+ (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))
1536754785.655 * * [misc]simplify:  iters left: 5 (8 enodes)
1536754785.658 * * [misc]simplify:  iters left: 4 (11 enodes)
1536754785.661 * * [misc]simplify:  iters left: 3 (12 enodes)
1536754785.666 * [exit]simplify:  Simplified to (+ (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))
1536754785.666 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (+ (sqrt (/ -1/8 x)) (sqrt (- 1/2 x))) (- (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))))
1536754785.666 * [enter]simplify:  Simplifying (- (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))
1536754785.667 * * [misc]simplify:  iters left: 5 (8 enodes)
1536754785.670 * * [misc]simplify:  iters left: 4 (12 enodes)
1536754785.672 * * [misc]simplify:  iters left: 3 (14 enodes)
1536754785.675 * [exit]simplify:  Simplified to (- (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))
1536754785.675 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (+ (sqrt (/ -1/8 x)) (sqrt (- 1/2 x))) (- (sqrt (/ -1/8 x)) (sqrt (- 1/2 x)))))
1536754785.675 * * * * [misc]progress:  [ 33 / 40 ] simplifiying candidate #<alt (λ (x) (* 1 (- (/ -1/8 x) (- 1/2 x))))>
1536754785.675 * [enter]simplify:  Simplifying (- (/ -1/8 x) (- 1/2 x))
1536754785.675 * * [misc]simplify:  iters left: 4 (6 enodes)
1536754785.678 * * [misc]simplify:  iters left: 3 (12 enodes)
1536754785.682 * * [misc]simplify:  iters left: 2 (21 enodes)
1536754785.686 * * [misc]simplify:  iters left: 1 (36 enodes)
1536754785.693 * [exit]simplify:  Simplified to (+ (+ -1/2 x) (/ -1/8 x))
1536754785.693 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (+ -1/2 x) (/ -1/8 x))))
1536754785.693 * * * * [misc]progress:  [ 34 / 40 ] simplifiying candidate #<alt (λ (x) (- (- (/ -1/8 x) 1/2) (- x)))>
1536754785.693 * [enter]simplify:  Simplifying (- x)
1536754785.693 * * [misc]simplify:  iters left: 2 (2 enodes)
1536754785.693 * [exit]simplify:  Simplified to (- x)
1536754785.693 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (/ -1/8 x) 1/2) (- x)))
1536754785.693 * * * * [misc]progress:  [ 35 / 40 ] simplifiying candidate #<alt (λ (x) (- (- (/ -1/8 x) 1/2) (- x)))>
1536754785.694 * [enter]simplify:  Simplifying (- x)
1536754785.694 * * [misc]simplify:  iters left: 2 (2 enodes)
1536754785.694 * [exit]simplify:  Simplified to (- x)
1536754785.694 * [misc]simplify:  Simplified (2 2) to (λ (x) (- (- (/ -1/8 x) 1/2) (- x)))
1536754785.694 * * * * [misc]progress:  [ 36 / 40 ] simplifiying candidate #<alt (λ (x) (+ (- (/ -1/8 x) 1/2) x))>
1536754785.694 * * * * [misc]progress:  [ 37 / 40 ] simplifiying candidate #<alt (λ (x) (+ (/ -1/8 x) (- (- 1/2 x))))>
1536754785.694 * * * * [misc]progress:  [ 38 / 40 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536754785.694 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754785.695 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754785.697 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754785.704 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754785.720 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754785.743 * * [misc]simplify:  iters left: 2 (97 enodes)
1536754785.761 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754785.814 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754785.814 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1536754785.814 * * * * [misc]progress:  [ 39 / 40 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536754785.814 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754785.814 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754785.817 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754785.822 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754785.832 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754785.859 * * [misc]simplify:  iters left: 2 (97 enodes)
1536754785.894 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754785.970 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754785.970 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1536754785.970 * * * * [misc]progress:  [ 40 / 40 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536754785.970 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754785.971 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754785.977 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754785.986 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754786.002 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754786.040 * * [misc]simplify:  iters left: 2 (97 enodes)
1536754786.065 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754786.104 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754786.104 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1536754786.104 * * * [misc]progress:  adding candidates to table
1536754786.444 * * [misc]progress:  iteration 3 / 4
1536754786.444 * * * [misc]progress:  picking best candidate
1536754786.450 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536754786.450 * * * [misc]progress:  localizing error
1536754786.462 * * * [misc]progress:  generating rewritten candidates
1536754786.462 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536754786.476 * * * [misc]progress:  generating series expansions
1536754786.477 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536754786.477 * [misc]backup-simplify:  Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
1536754786.477 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536754786.477 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536754786.477 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536754786.477 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.477 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.477 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.477 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536754786.477 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.477 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.477 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.477 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.477 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.477 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754786.477 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754786.477 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536754786.477 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754786.478 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.478 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536754786.478 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754786.478 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754786.478 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536754786.478 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536754786.478 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.478 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.478 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.478 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536754786.478 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.478 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.478 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.478 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.478 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.478 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754786.478 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754786.479 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536754786.479 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754786.479 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.479 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536754786.479 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536754786.479 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536754786.479 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.479 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754786.480 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754786.480 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754786.480 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536754786.480 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536754786.480 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754786.481 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754786.481 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754786.481 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536754786.482 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536754786.482 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536754786.482 * [misc]backup-simplify:  Simplify (+ (* +nan.0 (pow x 3)) (+ (* +nan.0 (pow x 2)) (* +nan.0 x))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536754786.482 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536754786.482 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536754786.482 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536754786.482 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536754786.482 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536754786.482 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754786.482 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.482 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.482 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.482 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.482 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.482 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.482 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.482 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.482 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.482 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.482 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.483 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754786.483 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754786.483 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754786.483 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754786.483 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536754786.483 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536754786.483 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536754786.483 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536754786.483 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536754786.483 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754786.483 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.483 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.483 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.483 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.483 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.483 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.483 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.483 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.484 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.484 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.484 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.486 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754786.486 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754786.486 * [misc]backup-simplify:  Simplify (- 1) into -1
1536754786.486 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536754786.487 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536754786.487 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536754786.487 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.487 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536754786.487 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754786.487 * [misc]backup-simplify:  Simplify (- 0) into 0
1536754786.487 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754786.487 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536754786.488 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536754786.488 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536754786.488 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754786.488 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
1536754786.488 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
1536754786.488 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536754786.488 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536754786.488 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536754786.488 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754786.488 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.489 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.489 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.489 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.489 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.489 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.489 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.489 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.489 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.489 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.489 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754786.489 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754786.489 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536754786.489 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536754786.490 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536754786.490 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536754786.490 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536754786.490 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536754786.490 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536754786.490 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.490 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.490 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.490 * [misc]taylor:  Taking taylor expansion of 1 in x
1536754786.490 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.490 * [misc]taylor:  Taking taylor expansion of x in x
1536754786.490 * [misc]backup-simplify:  Simplify 0 into 0
1536754786.490 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.490 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536754786.490 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536754786.490 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536754786.490 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536754786.490 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536754786.491 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536754786.491 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536754786.491 * [misc]backup-simplify:  Simplify 1 into 1
1536754786.491 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536754786.491 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536754786.491 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536754786.491 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1536754786.492 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1536754786.492 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536754786.492 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536754786.492 * * * [misc]progress:  simplifying candidates
1536754786.492 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (* (- x 1) x)))))>
1536754786.492 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (* (- x 1) x)))))>
1536754786.492 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536754786.492 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
1536754786.492 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
1536754786.493 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
1536754786.493 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
1536754786.493 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
1536754786.493 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536754786.493 * [enter]simplify:  Simplifying (sqrt (- x 1))
1536754786.493 * * [misc]simplify:  iters left: 3 (4 enodes)
1536754786.494 * * [misc]simplify:  iters left: 2 (9 enodes)
1536754786.496 * * [misc]simplify:  iters left: 1 (10 enodes)
1536754786.497 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1536754786.497 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
1536754786.497 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536754786.497 * [enter]simplify:  Simplifying (sqrt (* (- (pow x 3) (pow 1 3)) x))
1536754786.497 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754786.500 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754786.506 * * [misc]simplify:  iters left: 4 (32 enodes)
1536754786.511 * * [misc]simplify:  iters left: 3 (43 enodes)
1536754786.516 * * [misc]simplify:  iters left: 2 (47 enodes)
1536754786.521 * [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (- x)))
1536754786.521 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (fma (* x x) (* x x) (- x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536754786.522 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
1536754786.522 * [enter]simplify:  Simplifying (sqrt (* (- (* x x) (* 1 1)) x))
1536754786.522 * * [misc]simplify:  iters left: 6 (7 enodes)
1536754786.525 * * [misc]simplify:  iters left: 5 (15 enodes)
1536754786.528 * * [misc]simplify:  iters left: 4 (22 enodes)
1536754786.531 * * [misc]simplify:  iters left: 3 (30 enodes)
1536754786.537 * * [misc]simplify:  iters left: 2 (64 enodes)
1536754786.603 * * [misc]simplify:  iters left: 1 (161 enodes)
1536754786.735 * [exit]simplify:  Simplified to (sqrt (* (fma x x -1) x))
1536754786.735 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (* (fma x x -1) x)) (sqrt (+ x 1))))
1536754786.735 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
1536754786.735 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
1536754786.735 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536754786.735 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536754786.735 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536754786.735 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536754786.735 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536754786.736 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754786.741 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754786.749 * * [misc]simplify:  iters left: 4 (31 enodes)
1536754786.762 * * [misc]simplify:  iters left: 3 (58 enodes)
1536754786.796 * * [misc]simplify:  iters left: 2 (97 enodes)
1536754786.829 * * [misc]simplify:  iters left: 1 (126 enodes)
1536754786.893 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754786.894 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1536754786.894 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
1536754786.894 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536754786.894 * * [misc]simplify:  iters left: 6 (8 enodes)
1536754786.897 * * [misc]simplify:  iters left: 5 (19 enodes)
1536754786.902 * * [misc]simplify:  iters left: 4 (32 enodes)
1536754786.910 * * [misc]simplify:  iters left: 3 (49 enodes)
1536754786.919 * * [misc]simplify:  iters left: 2 (61 enodes)
1536754786.930 * * [misc]simplify:  iters left: 1 (83 enodes)
1536754786.950 * [exit]simplify:  Simplified to (- (/ 1/8 x) (+ x -1/2))
1536754786.950 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ 1/8 x) (+ x -1/2)))
1536754786.950 * * * [misc]progress:  adding candidates to table
1536754787.114 * [misc]progress:  [Phase 3 of 3] Extracting.
1536754787.114 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1536754787.116 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1536754787.116 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1536754787.157 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1536754787.157 * [enter]simplify:  Simplifying (- (/ -1/8 x) (- 1/2 x))
1536754787.158 * * [misc]simplify:  iters left: 4 (6 enodes)
1536754787.159 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1536754787.159 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536754787.183 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1536754787.185 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.185 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.186 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1536754787.187 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.188 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.188 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1536754787.190 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.191 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.192 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1536754787.194 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.196 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.198 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1536754787.200 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.207 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.217 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1536754787.219 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.238 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.279 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1536754787.283 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.323 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.364 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1536754787.367 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.447 * * * * [misc]points:  Setting MPFR precision to 576
1536754787.579 * * * * [misc]points:  Computing exacts for 8000 points
1536754787.581 * * * * [misc]points:  Setting MPFR precision to 320
1536754787.851 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.522 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754788.524 * * * * [misc]points:  Sampling 5998 additional inputs, on iter 1 have 2002 / 8000
1536754788.550 * * * * [misc]points:  Computing exacts on every 374 of 5998 points to ramp up precision
1536754788.585 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.586 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.586 * * * * [misc]points:  Computing exacts on every 187 of 5998 points to ramp up precision
1536754788.589 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.591 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.594 * * * * [misc]points:  Computing exacts on every 93 of 5998 points to ramp up precision
1536754788.597 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.600 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.602 * * * * [misc]points:  Computing exacts on every 46 of 5998 points to ramp up precision
1536754788.605 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.610 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.615 * * * * [misc]points:  Computing exacts on every 23 of 5998 points to ramp up precision
1536754788.619 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.628 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.638 * * * * [misc]points:  Computing exacts on every 11 of 5998 points to ramp up precision
1536754788.640 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.659 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.679 * * * * [misc]points:  Computing exacts on every 5 of 5998 points to ramp up precision
1536754788.681 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.721 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.760 * * * * [misc]points:  Computing exacts on every 2 of 5998 points to ramp up precision
1536754788.762 * * * * [misc]points:  Setting MPFR precision to 320
1536754788.885 * * * * [misc]points:  Setting MPFR precision to 576
1536754788.942 * * * * [misc]points:  Computing exacts for 5998 points
1536754788.943 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.265 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754789.496 * * * * [misc]points:  Sampling 4515 additional inputs, on iter 2 have 3485 / 8000
1536754789.506 * * * * [misc]points:  Computing exacts on every 282 of 4515 points to ramp up precision
1536754789.507 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.508 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.509 * * * * [misc]points:  Computing exacts on every 141 of 4515 points to ramp up precision
1536754789.511 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.512 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.514 * * * * [misc]points:  Computing exacts on every 70 of 4515 points to ramp up precision
1536754789.516 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.518 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.521 * * * * [misc]points:  Computing exacts on every 35 of 4515 points to ramp up precision
1536754789.523 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.528 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.530 * * * * [misc]points:  Computing exacts on every 17 of 4515 points to ramp up precision
1536754789.531 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.536 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.541 * * * * [misc]points:  Computing exacts on every 8 of 4515 points to ramp up precision
1536754789.542 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.572 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.583 * * * * [misc]points:  Computing exacts on every 4 of 4515 points to ramp up precision
1536754789.584 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.617 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.653 * * * * [misc]points:  Computing exacts on every 2 of 4515 points to ramp up precision
1536754789.656 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.714 * * * * [misc]points:  Setting MPFR precision to 576
1536754789.788 * * * * [misc]points:  Computing exacts for 4515 points
1536754789.790 * * * * [misc]points:  Setting MPFR precision to 320
1536754789.984 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.192 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754790.194 * * * * [misc]points:  Sampling 3361 additional inputs, on iter 3 have 4639 / 8000
1536754790.213 * * * * [misc]points:  Computing exacts on every 210 of 3361 points to ramp up precision
1536754790.215 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.216 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.217 * * * * [misc]points:  Computing exacts on every 105 of 3361 points to ramp up precision
1536754790.219 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.221 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.222 * * * * [misc]points:  Computing exacts on every 52 of 3361 points to ramp up precision
1536754790.224 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.227 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.229 * * * * [misc]points:  Computing exacts on every 26 of 3361 points to ramp up precision
1536754790.232 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.237 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.242 * * * * [misc]points:  Computing exacts on every 13 of 3361 points to ramp up precision
1536754790.244 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.248 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.253 * * * * [misc]points:  Computing exacts on every 6 of 3361 points to ramp up precision
1536754790.254 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.263 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.273 * * * * [misc]points:  Computing exacts on every 3 of 3361 points to ramp up precision
1536754790.276 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.307 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.376 * * * * [misc]points:  Computing exacts for 3361 points
1536754790.378 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.470 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.589 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754790.590 * * * * [misc]points:  Sampling 2509 additional inputs, on iter 4 have 5491 / 8000
1536754790.600 * * * * [misc]points:  Computing exacts on every 156 of 2509 points to ramp up precision
1536754790.603 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.604 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.604 * * * * [misc]points:  Computing exacts on every 78 of 2509 points to ramp up precision
1536754790.607 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.608 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.609 * * * * [misc]points:  Computing exacts on every 39 of 2509 points to ramp up precision
1536754790.612 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.614 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.617 * * * * [misc]points:  Computing exacts on every 19 of 2509 points to ramp up precision
1536754790.619 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.624 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.629 * * * * [misc]points:  Computing exacts on every 9 of 2509 points to ramp up precision
1536754790.632 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.641 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.651 * * * * [misc]points:  Computing exacts on every 4 of 2509 points to ramp up precision
1536754790.654 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.714 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.734 * * * * [misc]points:  Computing exacts on every 2 of 2509 points to ramp up precision
1536754790.736 * * * * [misc]points:  Setting MPFR precision to 320
1536754790.769 * * * * [misc]points:  Setting MPFR precision to 576
1536754790.802 * * * * [misc]points:  Computing exacts for 2509 points
1536754790.805 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.215 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754791.277 * * * * [misc]points:  Sampling 1867 additional inputs, on iter 5 have 6133 / 8000
1536754791.281 * * * * [misc]points:  Computing exacts on every 116 of 1867 points to ramp up precision
1536754791.283 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.283 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.284 * * * * [misc]points:  Computing exacts on every 58 of 1867 points to ramp up precision
1536754791.285 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.285 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.286 * * * * [misc]points:  Computing exacts on every 29 of 1867 points to ramp up precision
1536754791.287 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.289 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.290 * * * * [misc]points:  Computing exacts on every 14 of 1867 points to ramp up precision
1536754791.291 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.293 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.296 * * * * [misc]points:  Computing exacts on every 7 of 1867 points to ramp up precision
1536754791.299 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.308 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.317 * * * * [misc]points:  Computing exacts on every 3 of 1867 points to ramp up precision
1536754791.354 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.376 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.393 * * * * [misc]points:  Computing exacts for 1867 points
1536754791.396 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.438 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.483 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754791.484 * * * * [misc]points:  Sampling 1386 additional inputs, on iter 6 have 6614 / 8000
1536754791.487 * * * * [misc]points:  Computing exacts on every 86 of 1386 points to ramp up precision
1536754791.520 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.521 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.521 * * * * [misc]points:  Computing exacts on every 43 of 1386 points to ramp up precision
1536754791.522 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.523 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.524 * * * * [misc]points:  Computing exacts on every 21 of 1386 points to ramp up precision
1536754791.525 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.526 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.527 * * * * [misc]points:  Computing exacts on every 10 of 1386 points to ramp up precision
1536754791.532 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.534 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.537 * * * * [misc]points:  Computing exacts on every 5 of 1386 points to ramp up precision
1536754791.538 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.542 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.550 * * * * [misc]points:  Computing exacts on every 2 of 1386 points to ramp up precision
1536754791.552 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.570 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.583 * * * * [misc]points:  Computing exacts for 1386 points
1536754791.585 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.609 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.686 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754791.686 * * * * [misc]points:  Sampling 1076 additional inputs, on iter 7 have 6924 / 8000
1536754791.689 * * * * [misc]points:  Computing exacts on every 67 of 1076 points to ramp up precision
1536754791.690 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.693 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.693 * * * * [misc]points:  Computing exacts on every 33 of 1076 points to ramp up precision
1536754791.694 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.695 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.696 * * * * [misc]points:  Computing exacts on every 16 of 1076 points to ramp up precision
1536754791.697 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.698 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.699 * * * * [misc]points:  Computing exacts on every 8 of 1076 points to ramp up precision
1536754791.701 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.703 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.705 * * * * [misc]points:  Computing exacts on every 4 of 1076 points to ramp up precision
1536754791.706 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.714 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.721 * * * * [misc]points:  Computing exacts on every 2 of 1076 points to ramp up precision
1536754791.724 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.737 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.750 * * * * [misc]points:  Computing exacts for 1076 points
1536754791.752 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.790 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.844 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754791.844 * * * * [misc]points:  Sampling 783 additional inputs, on iter 8 have 7217 / 8000
1536754791.848 * * * * [misc]points:  Computing exacts on every 48 of 783 points to ramp up precision
1536754791.854 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.854 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.855 * * * * [misc]points:  Computing exacts on every 24 of 783 points to ramp up precision
1536754791.857 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.859 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.860 * * * * [misc]points:  Computing exacts on every 12 of 783 points to ramp up precision
1536754791.862 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.864 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.867 * * * * [misc]points:  Computing exacts on every 6 of 783 points to ramp up precision
1536754791.869 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.873 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.878 * * * * [misc]points:  Computing exacts on every 3 of 783 points to ramp up precision
1536754791.880 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.885 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.889 * * * * [misc]points:  Computing exacts for 783 points
1536754791.890 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.905 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.920 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754791.920 * * * * [misc]points:  Sampling 591 additional inputs, on iter 9 have 7409 / 8000
1536754791.922 * * * * [misc]points:  Computing exacts on every 36 of 591 points to ramp up precision
1536754791.923 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.923 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.924 * * * * [misc]points:  Computing exacts on every 18 of 591 points to ramp up precision
1536754791.925 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.926 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.926 * * * * [misc]points:  Computing exacts on every 9 of 591 points to ramp up precision
1536754791.928 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.929 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.930 * * * * [misc]points:  Computing exacts on every 4 of 591 points to ramp up precision
1536754791.931 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.936 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.941 * * * * [misc]points:  Computing exacts on every 2 of 591 points to ramp up precision
1536754791.943 * * * * [misc]points:  Setting MPFR precision to 320
1536754791.951 * * * * [misc]points:  Setting MPFR precision to 576
1536754791.958 * * * * [misc]points:  Computing exacts for 591 points
1536754791.993 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.019 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.042 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.042 * * * * [misc]points:  Sampling 450 additional inputs, on iter 10 have 7550 / 8000
1536754792.044 * * * * [misc]points:  Computing exacts on every 28 of 450 points to ramp up precision
1536754792.047 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.047 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.048 * * * * [misc]points:  Computing exacts on every 14 of 450 points to ramp up precision
1536754792.050 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.052 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.053 * * * * [misc]points:  Computing exacts on every 7 of 450 points to ramp up precision
1536754792.055 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.057 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.059 * * * * [misc]points:  Computing exacts on every 3 of 450 points to ramp up precision
1536754792.062 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.066 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.071 * * * * [misc]points:  Computing exacts for 450 points
1536754792.073 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.088 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.097 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.097 * * * * [misc]points:  Sampling 358 additional inputs, on iter 11 have 7642 / 8000
1536754792.098 * * * * [misc]points:  Computing exacts on every 22 of 358 points to ramp up precision
1536754792.099 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.100 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.100 * * * * [misc]points:  Computing exacts on every 11 of 358 points to ramp up precision
1536754792.101 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.102 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.103 * * * * [misc]points:  Computing exacts on every 5 of 358 points to ramp up precision
1536754792.104 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.105 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.106 * * * * [misc]points:  Computing exacts on every 2 of 358 points to ramp up precision
1536754792.107 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.110 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.112 * * * * [misc]points:  Computing exacts for 358 points
1536754792.113 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.126 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.141 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.141 * * * * [misc]points:  Sampling 266 additional inputs, on iter 12 have 7734 / 8000
1536754792.143 * * * * [misc]points:  Computing exacts on every 16 of 266 points to ramp up precision
1536754792.175 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.176 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.176 * * * * [misc]points:  Computing exacts on every 8 of 266 points to ramp up precision
1536754792.177 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.178 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.179 * * * * [misc]points:  Computing exacts on every 4 of 266 points to ramp up precision
1536754792.180 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.181 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.182 * * * * [misc]points:  Computing exacts on every 2 of 266 points to ramp up precision
1536754792.183 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.186 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.188 * * * * [misc]points:  Computing exacts for 266 points
1536754792.189 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.194 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.200 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.200 * * * * [misc]points:  Sampling 195 additional inputs, on iter 13 have 7805 / 8000
1536754792.201 * * * * [misc]points:  Computing exacts on every 12 of 195 points to ramp up precision
1536754792.203 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.204 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.205 * * * * [misc]points:  Computing exacts on every 6 of 195 points to ramp up precision
1536754792.207 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.208 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.209 * * * * [misc]points:  Computing exacts on every 3 of 195 points to ramp up precision
1536754792.211 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.213 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.215 * * * * [misc]points:  Computing exacts for 195 points
1536754792.217 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.225 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.233 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.233 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1536754792.234 * * * * [misc]points:  Computing exacts on every 8 of 141 points to ramp up precision
1536754792.236 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.237 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.237 * * * * [misc]points:  Computing exacts on every 4 of 141 points to ramp up precision
1536754792.239 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.241 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.242 * * * * [misc]points:  Computing exacts on every 2 of 141 points to ramp up precision
1536754792.244 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.246 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.247 * * * * [misc]points:  Computing exacts for 141 points
1536754792.250 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.256 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.260 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.260 * * * * [misc]points:  Sampling 118 additional inputs, on iter 15 have 7882 / 8000
1536754792.260 * * * * [misc]points:  Computing exacts on every 7 of 118 points to ramp up precision
1536754792.262 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.262 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.262 * * * * [misc]points:  Computing exacts on every 3 of 118 points to ramp up precision
1536754792.264 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.264 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.265 * * * * [misc]points:  Computing exacts for 118 points
1536754792.266 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.268 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.270 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.270 * * * * [misc]points:  Sampling 91 additional inputs, on iter 16 have 7909 / 8000
1536754792.271 * * * * [misc]points:  Computing exacts on every 5 of 91 points to ramp up precision
1536754792.272 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.272 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.273 * * * * [misc]points:  Computing exacts on every 2 of 91 points to ramp up precision
1536754792.274 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.274 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.275 * * * * [misc]points:  Computing exacts for 91 points
1536754792.276 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.278 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.280 * * * * [misc]points:  Sampling 64 additional inputs, on iter 17 have 7936 / 8000
1536754792.280 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1536754792.281 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.281 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.282 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1536754792.283 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.309 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.310 * * * * [misc]points:  Computing exacts for 64 points
1536754792.312 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.315 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.317 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.317 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1536754792.318 * * * * [misc]points:  Computing exacts on every 2 of 46 points to ramp up precision
1536754792.322 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.323 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.324 * * * * [misc]points:  Computing exacts for 46 points
1536754792.326 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.328 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.329 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.330 * * * * [misc]points:  Sampling 32 additional inputs, on iter 19 have 7968 / 8000
1536754792.330 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1536754792.332 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.333 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.333 * * * * [misc]points:  Computing exacts for 32 points
1536754792.335 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.337 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.338 * * * * [misc]points:  Sampling 17 additional inputs, on iter 20 have 7983 / 8000
1536754792.338 * * * * [misc]points:  Computing exacts for 17 points
1536754792.340 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.341 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.342 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.342 * * * * [misc]points:  Sampling 14 additional inputs, on iter 21 have 7986 / 8000
1536754792.342 * * * * [misc]points:  Computing exacts for 14 points
1536754792.344 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.345 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.345 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.346 * * * * [misc]points:  Sampling 12 additional inputs, on iter 22 have 7988 / 8000
1536754792.346 * * * * [misc]points:  Computing exacts for 12 points
1536754792.348 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.349 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.349 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.349 * * * * [misc]points:  Sampling 8 additional inputs, on iter 23 have 7992 / 8000
1536754792.349 * * * * [misc]points:  Computing exacts for 8 points
1536754792.351 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.352 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.352 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1536754792.352 * * * * [misc]points:  Computing exacts for 6 points
1536754792.354 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.355 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.355 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.355 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7997 / 8000
1536754792.355 * * * * [misc]points:  Computing exacts for 4 points
1536754792.357 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.357 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.358 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.358 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7999 / 8000
1536754792.358 * * * * [misc]points:  Computing exacts for 4 points
1536754792.360 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.360 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.360 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.360 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7999 / 8000
1536754792.360 * * * * [misc]points:  Computing exacts for 4 points
1536754792.363 * * * * [misc]points:  Setting MPFR precision to 320
1536754792.363 * * * * [misc]points:  Setting MPFR precision to 576
1536754792.363 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536754792.363 * * * * [exit]points:  Sampled 8000 points with exact outputs