1536751026.332 * [misc]progress:  [Phase 1 of 3] Setting up.
1536751026.333 * * * [misc]progress:  [1/2] Preparing points
1536751026.334 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536751026.335 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1536751026.400 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.402 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.452 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1536751026.455 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.456 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.458 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1536751026.460 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.462 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.465 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1536751026.467 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.471 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.474 * * * * [misc]points:  Computing exacts for 256 points
1536751026.477 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.487 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.497 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.498 * * * * [misc]points:  Sampling 204 additional inputs, on iter 1 have 52 / 256
1536751026.499 * * * * [misc]points:  Computing exacts on every 12 of 204 points to ramp up precision
1536751026.501 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.503 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.503 * * * * [misc]points:  Computing exacts on every 6 of 204 points to ramp up precision
1536751026.505 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.507 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.508 * * * * [misc]points:  Computing exacts on every 3 of 204 points to ramp up precision
1536751026.510 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.513 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.516 * * * * [misc]points:  Computing exacts for 204 points
1536751026.518 * * * * [misc]points:  Setting MPFR precision to 64
1536751026.526 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.535 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.541 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.542 * * * * [misc]points:  Sampling 147 additional inputs, on iter 2 have 109 / 256
1536751026.542 * * * * [misc]points:  Computing exacts on every 9 of 147 points to ramp up precision
1536751026.576 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.577 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.577 * * * * [misc]points:  Computing exacts on every 4 of 147 points to ramp up precision
1536751026.580 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.582 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.583 * * * * [misc]points:  Computing exacts on every 2 of 147 points to ramp up precision
1536751026.586 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.588 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.590 * * * * [misc]points:  Computing exacts for 147 points
1536751026.593 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.600 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.606 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.606 * * * * [misc]points:  Sampling 112 additional inputs, on iter 3 have 144 / 256
1536751026.606 * * * * [misc]points:  Computing exacts on every 7 of 112 points to ramp up precision
1536751026.609 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.610 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.611 * * * * [misc]points:  Computing exacts on every 3 of 112 points to ramp up precision
1536751026.613 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.615 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.616 * * * * [misc]points:  Computing exacts for 112 points
1536751026.619 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.656 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.663 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.663 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1536751026.664 * * * * [misc]points:  Computing exacts on every 5 of 86 points to ramp up precision
1536751026.668 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.669 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.670 * * * * [misc]points:  Computing exacts on every 2 of 86 points to ramp up precision
1536751026.673 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.675 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.676 * * * * [misc]points:  Computing exacts for 86 points
1536751026.677 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.679 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.682 * * * * [misc]points:  Sampling 69 additional inputs, on iter 5 have 187 / 256
1536751026.682 * * * * [misc]points:  Computing exacts on every 4 of 69 points to ramp up precision
1536751026.684 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.684 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.685 * * * * [misc]points:  Computing exacts on every 2 of 69 points to ramp up precision
1536751026.686 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.687 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.688 * * * * [misc]points:  Computing exacts for 69 points
1536751026.689 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.691 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.692 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.692 * * * * [misc]points:  Sampling 53 additional inputs, on iter 6 have 203 / 256
1536751026.693 * * * * [misc]points:  Computing exacts on every 3 of 53 points to ramp up precision
1536751026.727 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.772 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.773 * * * * [misc]points:  Computing exacts for 53 points
1536751026.776 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.778 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.780 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.781 * * * * [misc]points:  Sampling 34 additional inputs, on iter 7 have 222 / 256
1536751026.781 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1536751026.787 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.788 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.788 * * * * [misc]points:  Computing exacts for 34 points
1536751026.790 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.792 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.794 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.794 * * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 229 / 256
1536751026.794 * * * * [misc]points:  Computing exacts for 27 points
1536751026.796 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.796 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.797 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.797 * * * * [misc]points:  Sampling 21 additional inputs, on iter 9 have 235 / 256
1536751026.797 * * * * [misc]points:  Computing exacts for 21 points
1536751026.798 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.799 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.799 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.799 * * * * [misc]points:  Sampling 16 additional inputs, on iter 10 have 240 / 256
1536751026.799 * * * * [misc]points:  Computing exacts for 16 points
1536751026.801 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.801 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.802 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.802 * * * * [misc]points:  Sampling 15 additional inputs, on iter 11 have 241 / 256
1536751026.802 * * * * [misc]points:  Computing exacts for 15 points
1536751026.803 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.803 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.804 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.804 * * * * [misc]points:  Sampling 14 additional inputs, on iter 12 have 242 / 256
1536751026.804 * * * * [misc]points:  Computing exacts for 14 points
1536751026.805 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.805 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.806 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.806 * * * * [misc]points:  Sampling 13 additional inputs, on iter 13 have 243 / 256
1536751026.806 * * * * [misc]points:  Computing exacts for 13 points
1536751026.807 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.807 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.808 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.808 * * * * [misc]points:  Sampling 10 additional inputs, on iter 14 have 246 / 256
1536751026.808 * * * * [misc]points:  Computing exacts for 10 points
1536751026.809 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.809 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.810 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.810 * * * * [misc]points:  Sampling 8 additional inputs, on iter 15 have 248 / 256
1536751026.810 * * * * [misc]points:  Computing exacts for 8 points
1536751026.811 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.811 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.811 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.811 * * * * [misc]points:  Sampling 7 additional inputs, on iter 16 have 249 / 256
1536751026.811 * * * * [misc]points:  Computing exacts for 7 points
1536751026.813 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.813 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.813 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.813 * * * * [misc]points:  Sampling 5 additional inputs, on iter 17 have 251 / 256
1536751026.813 * * * * [misc]points:  Computing exacts for 5 points
1536751026.814 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.814 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.815 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.815 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 253 / 256
1536751026.815 * * * * [misc]points:  Computing exacts for 4 points
1536751026.816 * * * * [misc]points:  Setting MPFR precision to 320
1536751026.816 * * * * [misc]points:  Setting MPFR precision to 576
1536751026.816 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751026.816 * * * * [exit]points:  Sampled 256 points with exact outputs
1536751026.817 * * * [misc]progress:  [2/2] Setting up program.
1536751026.821 * [misc]progress:  [Phase 2 of 3] Improving.
1536751026.822 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536751026.824 * * [misc]simplify:  iters left: 5 (6 enodes)
1536751026.829 * * [misc]simplify:  iters left: 4 (12 enodes)
1536751026.831 * * [misc]simplify:  iters left: 3 (13 enodes)
1536751026.833 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536751026.843 * * [misc]progress:  iteration 1 / 4
1536751026.843 * * * [misc]progress:  picking best candidate
1536751026.846 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536751026.847 * * * [misc]progress:  localizing error
1536751026.873 * * * [misc]progress:  generating rewritten candidates
1536751026.874 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536751026.902 * * * [misc]progress:  generating series expansions
1536751026.902 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536751026.907 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1536751026.907 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536751026.908 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536751026.908 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536751026.908 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.908 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.908 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.908 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536751026.908 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.908 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.908 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.908 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.909 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.909 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.910 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751026.910 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536751026.910 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.910 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.910 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536751026.910 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.910 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.911 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536751026.911 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536751026.911 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.911 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.911 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.911 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536751026.911 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.911 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.911 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.911 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.911 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.911 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.911 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751026.911 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536751026.911 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.911 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.911 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536751026.911 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.912 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.912 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.912 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751026.913 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.913 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751026.913 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536751026.914 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536751026.915 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751026.915 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.915 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751026.915 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536751026.916 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751026.916 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751026.917 * [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)))))))
1536751026.917 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536751026.917 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536751026.917 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536751026.917 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536751026.917 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536751026.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751026.917 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.917 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.917 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.917 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.917 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.917 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.917 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.917 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.917 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.918 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.918 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751026.918 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751026.918 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.918 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751026.919 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536751026.919 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536751026.919 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536751026.919 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536751026.919 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536751026.919 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751026.919 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.919 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.919 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.919 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.919 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.919 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.919 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.919 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.919 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.919 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.919 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.919 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751026.920 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751026.920 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.920 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751026.920 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536751026.920 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536751026.920 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.920 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536751026.920 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751026.920 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.921 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751026.921 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536751026.921 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536751026.921 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536751026.922 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751026.922 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1536751026.922 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1536751026.922 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536751026.922 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536751026.922 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536751026.922 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536751026.922 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751026.922 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.922 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.922 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.922 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.922 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.922 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.922 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.922 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.922 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.923 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.923 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.923 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536751026.923 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536751026.923 * [misc]taylor:  Taking taylor expansion of -1 in x
1536751026.923 * [misc]backup-simplify:  Simplify -1 into -1
1536751026.923 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.923 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.923 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.923 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536751026.923 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.923 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.923 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.924 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.924 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.924 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751026.924 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751026.924 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.924 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751026.924 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.924 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.924 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.924 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.924 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536751026.924 * [misc]taylor:  Taking taylor expansion of -1 in x
1536751026.924 * [misc]backup-simplify:  Simplify -1 into -1
1536751026.925 * [misc]taylor:  Taking taylor expansion of x in x
1536751026.925 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.925 * [misc]backup-simplify:  Simplify 1 into 1
1536751026.925 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536751026.925 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751026.925 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751026.925 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1536751026.925 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.925 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1536751026.925 * [misc]backup-simplify:  Simplify 0 into 0
1536751026.926 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1536751026.926 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536751026.926 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751026.927 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536751026.927 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751026.927 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536751026.928 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1536751026.928 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536751026.928 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751026.929 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751026.929 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751026.929 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751026.929 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.930 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751026.931 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1536751026.931 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536751026.931 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751026.932 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751026.932 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751026.932 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751026.933 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751026.933 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751026.934 * [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)
1536751026.935 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536751026.935 * [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)))))
1536751026.935 * * * [misc]progress:  simplifying candidates
1536751026.935 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536751026.936 * [enter]simplify:  Simplifying (* (- x 1) x)
1536751026.936 * * [misc]simplify:  iters left: 4 (4 enodes)
1536751026.939 * * [misc]simplify:  iters left: 3 (10 enodes)
1536751026.941 * * [misc]simplify:  iters left: 2 (16 enodes)
1536751026.944 * * [misc]simplify:  iters left: 1 (22 enodes)
1536751026.947 * [exit]simplify:  Simplified to (- (* x x) x)
1536751026.947 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1536751026.947 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536751026.947 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536751026.948 * * [misc]simplify:  iters left: 5 (6 enodes)
1536751026.949 * * [misc]simplify:  iters left: 4 (12 enodes)
1536751026.959 * * [misc]simplify:  iters left: 3 (13 enodes)
1536751026.961 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536751026.961 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1536751026.961 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536751026.961 * * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1536751026.961 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1536751026.962 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751026.964 * * [misc]simplify:  iters left: 5 (14 enodes)
1536751026.966 * * [misc]simplify:  iters left: 4 (15 enodes)
1536751026.968 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1536751026.968 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1536751026.968 * * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1536751026.968 * * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1536751026.968 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1536751026.968 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1536751026.969 * * [misc]simplify:  iters left: 6 (10 enodes)
1536751026.972 * * [misc]simplify:  iters left: 5 (22 enodes)
1536751026.977 * * [misc]simplify:  iters left: 4 (48 enodes)
1536751026.990 * * [misc]simplify:  iters left: 3 (94 enodes)
1536751027.021 * * [misc]simplify:  iters left: 2 (188 enodes)
1536751027.147 * * [misc]simplify:  iters left: 1 (365 enodes)
1536751027.422 * [exit]simplify:  Simplified to (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))
1536751027.422 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))))
1536751027.422 * * * * [misc]progress:  [ 8 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
1536751027.422 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1536751027.422 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536751027.422 * [enter]simplify:  Simplifying (* (- x 1) x)
1536751027.423 * * [misc]simplify:  iters left: 4 (4 enodes)
1536751027.426 * * [misc]simplify:  iters left: 3 (10 enodes)
1536751027.429 * * [misc]simplify:  iters left: 2 (16 enodes)
1536751027.435 * * [misc]simplify:  iters left: 1 (22 enodes)
1536751027.440 * [exit]simplify:  Simplified to (- (* x x) x)
1536751027.440 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1536751027.440 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1536751027.440 * * * * [misc]progress:  [ 12 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536751027.440 * * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1536751027.441 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1536751027.441 * * [misc]simplify:  iters left: 2 (3 enodes)
1536751027.442 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1536751027.442 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1536751027.442 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1536751027.442 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1536751027.442 * * [misc]simplify:  iters left: 2 (3 enodes)
1536751027.443 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1536751027.443 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1536751027.443 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1536751027.444 * [enter]simplify:  Simplifying (sqrt x)
1536751027.444 * * [misc]simplify:  iters left: 1 (2 enodes)
1536751027.445 * [exit]simplify:  Simplified to (sqrt x)
1536751027.445 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1536751027.445 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1536751027.445 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1536751027.445 * * [misc]simplify:  iters left: 6 (6 enodes)
1536751027.448 * * [misc]simplify:  iters left: 5 (11 enodes)
1536751027.451 * * [misc]simplify:  iters left: 4 (12 enodes)
1536751027.454 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1536751027.454 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1536751027.455 * * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1536751027.455 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1536751027.455 * * [misc]simplify:  iters left: 6 (6 enodes)
1536751027.459 * * [misc]simplify:  iters left: 5 (12 enodes)
1536751027.462 * * [misc]simplify:  iters left: 4 (13 enodes)
1536751027.465 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1536751027.465 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1536751027.465 * * * * [misc]progress:  [ 18 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536751027.466 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536751027.466 * * [misc]simplify:  iters left: 4 (5 enodes)
1536751027.469 * * [misc]simplify:  iters left: 3 (10 enodes)
1536751027.471 * * [misc]simplify:  iters left: 2 (11 enodes)
1536751027.474 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536751027.474 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536751027.474 * * * * [misc]progress:  [ 19 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1536751027.474 * [enter]simplify:  Simplifying (sqrt 1)
1536751027.474 * * [misc]simplify:  iters left: 1 (2 enodes)
1536751027.476 * [exit]simplify:  Simplified to 1
1536751027.476 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1536751027.476 * * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536751027.476 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536751027.477 * * [misc]simplify:  iters left: 4 (5 enodes)
1536751027.479 * * [misc]simplify:  iters left: 3 (10 enodes)
1536751027.482 * * [misc]simplify:  iters left: 2 (11 enodes)
1536751027.485 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536751027.485 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536751027.485 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536751027.485 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536751027.485 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1536751027.486 * * [misc]simplify:  iters left: 6 (9 enodes)
1536751027.492 * * [misc]simplify:  iters left: 5 (20 enodes)
1536751027.496 * * [misc]simplify:  iters left: 4 (21 enodes)
1536751027.502 * * [misc]simplify:  iters left: 3 (23 enodes)
1536751027.507 * * [misc]simplify:  iters left: 2 (25 enodes)
1536751027.512 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (+ (pow x 3) -1)))
1536751027.512 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (+ (pow x 3) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536751027.512 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1536751027.513 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1536751027.514 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751027.518 * * [misc]simplify:  iters left: 5 (14 enodes)
1536751027.525 * * [misc]simplify:  iters left: 4 (17 enodes)
1536751027.530 * * [misc]simplify:  iters left: 3 (20 enodes)
1536751027.537 * * [misc]simplify:  iters left: 2 (36 enodes)
1536751027.558 * * [misc]simplify:  iters left: 1 (61 enodes)
1536751027.593 * [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt x))
1536751027.593 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (- (* x x) 1)) (sqrt x)) (sqrt (+ x 1))))
1536751027.593 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1536751027.593 * * * * [misc]progress:  [ 25 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536751027.593 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536751027.593 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536751027.593 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536751027.594 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751027.594 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751027.599 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751027.607 * * [misc]simplify:  iters left: 4 (29 enodes)
1536751027.621 * * [misc]simplify:  iters left: 3 (55 enodes)
1536751027.642 * * [misc]simplify:  iters left: 2 (77 enodes)
1536751027.668 * * [misc]simplify:  iters left: 1 (98 enodes)
1536751027.706 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751027.706 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536751027.706 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1536751027.706 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1536751027.706 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536751027.706 * * * [misc]progress:  adding candidates to table
1536751028.100 * * [misc]progress:  iteration 2 / 4
1536751028.100 * * * [misc]progress:  picking best candidate
1536751028.109 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>
1536751028.109 * * * [misc]progress:  localizing error
1536751028.130 * * * [misc]progress:  generating rewritten candidates
1536751028.130 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536751028.160 * * * [misc]progress:  generating series expansions
1536751028.160 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536751028.160 * [misc]backup-simplify:  Simplify (+ (/ -1/8 x) (+ x -1/2)) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751028.160 * [misc]approximate:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in (x) around 0
1536751028.160 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
1536751028.160 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.160 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.160 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.160 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
1536751028.160 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 x)) in x
1536751028.160 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.160 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.160 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.161 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.161 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.161 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.161 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.161 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.161 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.161 * [misc]taylor:  Taking taylor expansion of (- x (+ (* 1/8 (/ 1 x)) 1/2)) in x
1536751028.161 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.161 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.161 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.161 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 (/ 1 x)) 1/2) in x
1536751028.161 * [misc]taylor:  Taking taylor expansion of (* 1/8 (/ 1 x)) in x
1536751028.161 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.161 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.161 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.161 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.161 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.161 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.161 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.161 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.161 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.161 * [misc]backup-simplify:  Simplify (* 1/8 1) into 1/8
1536751028.161 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536751028.162 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1536751028.162 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1536751028.162 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536751028.162 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751028.162 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (* 0 1)) into 0
1536751028.162 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536751028.162 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536751028.162 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536751028.162 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536751028.162 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751028.163 * [misc]backup-simplify:  Simplify (+ (* 1/8 0) (+ (* 0 0) (* 0 1))) into 0
1536751028.163 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751028.163 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751028.163 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751028.163 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.163 * [misc]backup-simplify:  Simplify (+ (* 1 x) (+ -1/2 (* -1/8 (/ 1 x)))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751028.163 * [misc]backup-simplify:  Simplify (+ (/ -1/8 (/ 1 x)) (+ (/ 1 x) -1/2)) into (- (/ 1 x) (+ (* 1/8 x) 1/2))
1536751028.163 * [misc]approximate:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in (x) around 0
1536751028.163 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
1536751028.163 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.163 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.163 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.163 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.163 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.163 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
1536751028.163 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536751028.163 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.163 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.163 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.163 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.163 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.163 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.164 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.164 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) (+ (* 1/8 x) 1/2)) in x
1536751028.164 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.164 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.164 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.164 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.164 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.164 * [misc]taylor:  Taking taylor expansion of (+ (* 1/8 x) 1/2) in x
1536751028.164 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536751028.164 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.164 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.164 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.164 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.164 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.164 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.164 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.164 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751028.164 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.164 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751028.164 * [misc]backup-simplify:  Simplify (* 1/8 0) into 0
1536751028.164 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536751028.164 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536751028.165 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536751028.165 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536751028.165 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751028.165 * [misc]backup-simplify:  Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
1536751028.165 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536751028.165 * [misc]backup-simplify:  Simplify (- 1/8) into -1/8
1536751028.165 * [misc]backup-simplify:  Simplify (+ 0 -1/8) into -1/8
1536751028.165 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536751028.165 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751028.165 * [misc]backup-simplify:  Simplify (+ (/ -1/8 (/ 1 (- x))) (+ (/ 1 (- x)) -1/2)) into (- (* 1/8 x) (+ (/ 1 x) 1/2))
1536751028.165 * [misc]approximate:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in (x) around 0
1536751028.165 * [misc]taylor:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.166 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.166 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.166 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.166 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.166 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.166 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.166 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.166 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.166 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.166 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.166 * [misc]taylor:  Taking taylor expansion of (- (* 1/8 x) (+ (/ 1 x) 1/2)) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of (* 1/8 x) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of 1/8 in x
1536751028.166 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.166 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.166 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.166 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.166 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1/2) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751028.166 * [misc]taylor:  Taking taylor expansion of x in x
1536751028.166 * [misc]backup-simplify:  Simplify 0 into 0
1536751028.166 * [misc]backup-simplify:  Simplify 1 into 1
1536751028.166 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751028.166 * [misc]taylor:  Taking taylor expansion of 1/2 in x
1536751028.166 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751028.166 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751028.166 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751028.166 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751028.167 * [misc]backup-simplify:  Simplify -1 into -1
1536751028.167 * [misc]backup-simplify:  Simplify (* 1/8 0) into 0
1536751028.167 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751028.167 * [misc]backup-simplify:  Simplify (+ 0 1/2) into 1/2
1536751028.167 * [misc]backup-simplify:  Simplify (- 1/2) into -1/2
1536751028.167 * [misc]backup-simplify:  Simplify (+ 0 -1/2) into -1/2
1536751028.167 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536751028.167 * [misc]backup-simplify:  Simplify (+ (* 1/8 1) (* 0 0)) into 1/8
1536751028.167 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751028.168 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751028.168 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751028.168 * [misc]backup-simplify:  Simplify (+ 1/8 0) into 1/8
1536751028.168 * [misc]backup-simplify:  Simplify 1/8 into 1/8
1536751028.168 * [misc]backup-simplify:  Simplify (+ (* 1/8 (/ 1 (- x))) (+ -1/2 (* -1 (/ 1 (/ 1 (- x)))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751028.168 * * * [misc]progress:  simplifying candidates
1536751028.168 * * * * [misc]progress:  [ 1 / 18 ] simplifiying candidate #<alt (λ (x) (log (* (exp (/ -1/8 x)) (exp (+ x -1/2)))))>
1536751028.168 * [enter]simplify:  Simplifying (* (exp (/ -1/8 x)) (exp (+ x -1/2)))
1536751028.169 * * [misc]simplify:  iters left: 5 (8 enodes)
1536751028.171 * * [misc]simplify:  iters left: 4 (15 enodes)
1536751028.175 * * [misc]simplify:  iters left: 3 (26 enodes)
1536751028.180 * * [misc]simplify:  iters left: 2 (38 enodes)
1536751028.189 * * [misc]simplify:  iters left: 1 (44 enodes)
1536751028.196 * [exit]simplify:  Simplified to (exp (+ (+ x -1/2) (/ -1/8 x)))
1536751028.196 * [misc]simplify:  Simplified (2 1) to (λ (x) (log (exp (+ (+ x -1/2) (/ -1/8 x)))))
1536751028.196 * * * * [misc]progress:  [ 2 / 18 ] simplifiying candidate #<alt (λ (x) (pow (+ (/ -1/8 x) (+ x -1/2)) 1))>
1536751028.196 * * * * [misc]progress:  [ 3 / 18 ] simplifiying candidate #<alt (λ (x) (exp (log (+ (/ -1/8 x) (+ x -1/2)))))>
1536751028.196 * * * * [misc]progress:  [ 4 / 18 ] simplifiying candidate #<alt (λ (x) (log (exp (+ (/ -1/8 x) (+ x -1/2)))))>
1536751028.196 * * * * [misc]progress:  [ 5 / 18 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (+ (/ -1/8 x) (+ x -1/2))) (cbrt (+ (/ -1/8 x) (+ x -1/2)))) (cbrt (+ (/ -1/8 x) (+ x -1/2)))))>
1536751028.196 * * * * [misc]progress:  [ 6 / 18 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (+ (/ -1/8 x) (+ x -1/2)) (+ (/ -1/8 x) (+ x -1/2))) (+ (/ -1/8 x) (+ x -1/2)))))>
1536751028.196 * * * * [misc]progress:  [ 7 / 18 ] simplifiying candidate #<alt (λ (x) (* (sqrt (+ (/ -1/8 x) (+ x -1/2))) (sqrt (+ (/ -1/8 x) (+ x -1/2)))))>
1536751028.196 * * * * [misc]progress:  [ 8 / 18 ] simplifiying candidate #<alt (λ (x) (/ (+ (* -1/8 (+ (* x x) (- (* -1/2 -1/2) (* x -1/2)))) (* x (+ (pow x 3) (pow -1/2 3)))) (* x (+ (* x x) (- (* -1/2 -1/2) (* x -1/2))))))>
1536751028.196 * [enter]simplify:  Simplifying (+ (* -1/8 (+ (* x x) (- (* -1/2 -1/2) (* x -1/2)))) (* x (+ (pow x 3) (pow -1/2 3))))
1536751028.197 * * [misc]simplify:  iters left: 6 (15 enodes)
1536751028.203 * * [misc]simplify:  iters left: 5 (44 enodes)
1536751028.219 * * [misc]simplify:  iters left: 4 (120 enodes)
1536751028.266 * * [misc]simplify:  iters left: 3 (272 enodes)
1536751028.458 * [exit]simplify:  Simplified to (+ (+ (* -1/8 x) (* 1/16 (- -1/2 x))) (* (* x x) (+ -1/8 (* x x))))
1536751028.458 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ (+ (* -1/8 x) (* 1/16 (- -1/2 x))) (* (* x x) (+ -1/8 (* x x)))) (* x (+ (* x x) (- (* -1/2 -1/2) (* x -1/2))))))
1536751028.458 * [enter]simplify:  Simplifying (* x (+ (* x x) (- (* -1/2 -1/2) (* x -1/2))))
1536751028.459 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751028.465 * * [misc]simplify:  iters left: 5 (24 enodes)
1536751028.480 * * [misc]simplify:  iters left: 4 (61 enodes)
1536751028.512 * * [misc]simplify:  iters left: 3 (124 enodes)
1536751028.551 * * [misc]simplify:  iters left: 2 (182 enodes)
1536751028.598 * * [misc]simplify:  iters left: 1 (236 enodes)
1536751028.690 * [exit]simplify:  Simplified to (- (* 1/4 x) (* (* x x) (- -1/2 x)))
1536751028.690 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (+ (+ (* -1/8 x) (* 1/16 (- -1/2 x))) (* (* x x) (+ -1/8 (* x x)))) (- (* 1/4 x) (* (* x x) (- -1/2 x)))))
1536751028.691 * * * * [misc]progress:  [ 9 / 18 ] simplifiying candidate #<alt (λ (x) (/ (+ (* -1/8 (- x -1/2)) (* x (- (* x x) (* -1/2 -1/2)))) (* x (- x -1/2))))>
1536751028.691 * [enter]simplify:  Simplifying (+ (* -1/8 (- x -1/2)) (* x (- (* x x) (* -1/2 -1/2))))
1536751028.692 * * [misc]simplify:  iters left: 6 (10 enodes)
1536751028.698 * * [misc]simplify:  iters left: 5 (22 enodes)
1536751028.709 * * [misc]simplify:  iters left: 4 (48 enodes)
1536751028.743 * * [misc]simplify:  iters left: 3 (133 enodes)
1536751028.832 * * [misc]simplify:  iters left: 2 (304 enodes)
1536751029.054 * [exit]simplify:  Simplified to (+ (+ -1/16 (pow x 3)) (* x -3/8))
1536751029.054 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (+ (+ -1/16 (pow x 3)) (* x -3/8)) (* x (- x -1/2))))
1536751029.054 * [enter]simplify:  Simplifying (* x (- x -1/2))
1536751029.055 * * [misc]simplify:  iters left: 4 (4 enodes)
1536751029.056 * * [misc]simplify:  iters left: 3 (8 enodes)
1536751029.058 * * [misc]simplify:  iters left: 2 (14 enodes)
1536751029.061 * * [misc]simplify:  iters left: 1 (18 enodes)
1536751029.064 * [exit]simplify:  Simplified to (* x (+ x 1/2))
1536751029.064 * [misc]simplify:  Simplified (2 2) to (λ (x) (/ (+ (+ -1/16 (pow x 3)) (* x -3/8)) (* x (+ x 1/2))))
1536751029.064 * * * * [misc]progress:  [ 10 / 18 ] simplifiying candidate #<alt (λ (x) (/ (+ (pow (/ -1/8 x) 3) (pow (+ x -1/2) 3)) (+ (* (/ -1/8 x) (/ -1/8 x)) (- (* (+ x -1/2) (+ x -1/2)) (* (/ -1/8 x) (+ x -1/2))))))>
1536751029.064 * * * * [misc]progress:  [ 11 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ -1/8 x) (+ x -1/2))))>
1536751029.064 * * * * [misc]progress:  [ 12 / 18 ] simplifiying candidate #<alt (λ (x) (/ (- (* (/ -1/8 x) (/ -1/8 x)) (* (+ x -1/2) (+ x -1/2))) (- (/ -1/8 x) (+ x -1/2))))>
1536751029.065 * * * * [misc]progress:  [ 13 / 18 ] simplifiying candidate #<alt (λ (x) (* 1 (+ (/ -1/8 x) (+ x -1/2))))>
1536751029.065 * [enter]simplify:  Simplifying (+ (/ -1/8 x) (+ x -1/2))
1536751029.065 * * [misc]simplify:  iters left: 4 (6 enodes)
1536751029.068 * * [misc]simplify:  iters left: 3 (10 enodes)
1536751029.072 * * [misc]simplify:  iters left: 2 (16 enodes)
1536751029.080 * * [misc]simplify:  iters left: 1 (17 enodes)
1536751029.084 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751029.085 * [misc]simplify:  Simplified (2 2) to (λ (x) (* 1 (+ (/ -1/8 x) (+ x -1/2))))
1536751029.085 * * * * [misc]progress:  [ 14 / 18 ] simplifiying candidate #<alt (λ (x) (+ (+ (/ -1/8 x) x) -1/2))>
1536751029.085 * * * * [misc]progress:  [ 15 / 18 ] simplifiying candidate #<alt (λ (x) (+ (+ x -1/2) (/ -1/8 x)))>
1536751029.085 * * * * [misc]progress:  [ 16 / 18 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536751029.085 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751029.086 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.091 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751029.099 * * [misc]simplify:  iters left: 4 (29 enodes)
1536751029.113 * * [misc]simplify:  iters left: 3 (55 enodes)
1536751029.135 * * [misc]simplify:  iters left: 2 (77 enodes)
1536751029.156 * * [misc]simplify:  iters left: 1 (98 enodes)
1536751029.196 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751029.196 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536751029.196 * * * * [misc]progress:  [ 17 / 18 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536751029.196 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751029.197 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.202 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751029.209 * * [misc]simplify:  iters left: 4 (29 enodes)
1536751029.227 * * [misc]simplify:  iters left: 3 (55 enodes)
1536751029.248 * * [misc]simplify:  iters left: 2 (77 enodes)
1536751029.269 * * [misc]simplify:  iters left: 1 (98 enodes)
1536751029.308 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751029.309 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536751029.309 * * * * [misc]progress:  [ 18 / 18 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536751029.309 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751029.310 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.314 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751029.322 * * [misc]simplify:  iters left: 4 (29 enodes)
1536751029.336 * * [misc]simplify:  iters left: 3 (55 enodes)
1536751029.360 * * [misc]simplify:  iters left: 2 (77 enodes)
1536751029.373 * * [misc]simplify:  iters left: 1 (98 enodes)
1536751029.393 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751029.394 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536751029.394 * * * [misc]progress:  adding candidates to table
1536751029.608 * * [misc]progress:  iteration 3 / 4
1536751029.608 * * * [misc]progress:  picking best candidate
1536751029.610 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536751029.610 * * * [misc]progress:  localizing error
1536751029.618 * * * [misc]progress:  generating rewritten candidates
1536751029.618 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536751029.626 * * * [misc]progress:  generating series expansions
1536751029.626 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536751029.626 * [misc]backup-simplify:  Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
1536751029.626 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536751029.626 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536751029.627 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536751029.627 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.627 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.627 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.627 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536751029.627 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.627 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.627 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.627 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.627 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.627 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751029.627 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751029.627 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536751029.628 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751029.628 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.628 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536751029.628 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751029.629 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751029.629 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536751029.629 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536751029.629 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.629 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.629 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.629 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536751029.629 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.629 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.629 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.629 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.629 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.629 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751029.629 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751029.629 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536751029.630 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751029.630 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.630 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536751029.630 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536751029.631 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536751029.631 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.631 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751029.631 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751029.631 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751029.631 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536751029.633 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536751029.633 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751029.633 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751029.633 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751029.633 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536751029.635 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536751029.635 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536751029.635 * [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)))))))
1536751029.635 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536751029.635 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536751029.635 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536751029.635 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536751029.635 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536751029.635 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751029.635 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.635 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.635 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.636 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.636 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.636 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.636 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.636 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.636 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.636 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.636 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.636 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751029.636 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751029.637 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751029.637 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751029.637 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536751029.637 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536751029.637 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536751029.637 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536751029.637 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536751029.637 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751029.637 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.637 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.637 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.638 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.638 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.638 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.638 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.638 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.638 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.638 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.638 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.638 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751029.638 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751029.639 * [misc]backup-simplify:  Simplify (- 1) into -1
1536751029.639 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536751029.639 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536751029.639 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536751029.639 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.639 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536751029.640 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751029.640 * [misc]backup-simplify:  Simplify (- 0) into 0
1536751029.640 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751029.640 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536751029.642 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536751029.642 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536751029.642 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751029.642 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
1536751029.642 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
1536751029.642 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536751029.642 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536751029.642 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536751029.642 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751029.642 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.642 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.642 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.643 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.643 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.643 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.643 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.643 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.643 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.643 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.643 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.643 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751029.643 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751029.644 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536751029.644 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536751029.644 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536751029.644 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536751029.644 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536751029.644 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536751029.644 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536751029.644 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.644 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.644 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.644 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.645 * [misc]taylor:  Taking taylor expansion of 1 in x
1536751029.645 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.645 * [misc]taylor:  Taking taylor expansion of x in x
1536751029.645 * [misc]backup-simplify:  Simplify 0 into 0
1536751029.645 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.645 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536751029.645 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536751029.645 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536751029.645 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536751029.646 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536751029.646 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536751029.646 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536751029.646 * [misc]backup-simplify:  Simplify 1 into 1
1536751029.646 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536751029.647 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536751029.647 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536751029.647 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1536751029.648 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1536751029.648 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536751029.649 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536751029.649 * * * [misc]progress:  simplifying candidates
1536751029.649 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536751029.649 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
1536751029.649 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
1536751029.649 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
1536751029.649 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
1536751029.649 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
1536751029.649 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536751029.649 * [enter]simplify:  Simplifying (sqrt (- x 1))
1536751029.650 * * [misc]simplify:  iters left: 3 (4 enodes)
1536751029.652 * * [misc]simplify:  iters left: 2 (9 enodes)
1536751029.655 * * [misc]simplify:  iters left: 1 (10 enodes)
1536751029.657 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1536751029.657 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
1536751029.657 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536751029.657 * [enter]simplify:  Simplifying (sqrt (* (- (pow x 3) (pow 1 3)) x))
1536751029.658 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.664 * * [misc]simplify:  iters left: 5 (19 enodes)
1536751029.670 * * [misc]simplify:  iters left: 4 (26 enodes)
1536751029.681 * * [misc]simplify:  iters left: 3 (38 enodes)
1536751029.691 * * [misc]simplify:  iters left: 2 (49 enodes)
1536751029.705 * * [misc]simplify:  iters left: 1 (61 enodes)
1536751029.717 * [exit]simplify:  Simplified to (sqrt (- (pow x 4) x))
1536751029.717 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (pow x 4) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536751029.717 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
1536751029.717 * [enter]simplify:  Simplifying (sqrt (* (- (* x x) (* 1 1)) x))
1536751029.721 * * [misc]simplify:  iters left: 6 (7 enodes)
1536751029.726 * * [misc]simplify:  iters left: 5 (13 enodes)
1536751029.729 * * [misc]simplify:  iters left: 4 (16 enodes)
1536751029.732 * * [misc]simplify:  iters left: 3 (23 enodes)
1536751029.738 * * [misc]simplify:  iters left: 2 (57 enodes)
1536751029.764 * * [misc]simplify:  iters left: 1 (137 enodes)
1536751029.833 * [exit]simplify:  Simplified to (sqrt (- (pow x 3) x))
1536751029.834 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (pow x 3) x)) (sqrt (+ x 1))))
1536751029.834 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
1536751029.834 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
1536751029.834 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536751029.834 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536751029.834 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536751029.834 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536751029.834 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536751029.834 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.837 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751029.843 * * [misc]simplify:  iters left: 4 (29 enodes)
1536751029.858 * * [misc]simplify:  iters left: 3 (55 enodes)
1536751029.879 * * [misc]simplify:  iters left: 2 (77 enodes)
1536751029.904 * * [misc]simplify:  iters left: 1 (98 enodes)
1536751029.945 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751029.945 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536751029.945 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
1536751029.945 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536751029.946 * * [misc]simplify:  iters left: 6 (8 enodes)
1536751029.951 * * [misc]simplify:  iters left: 5 (18 enodes)
1536751029.958 * * [misc]simplify:  iters left: 4 (28 enodes)
1536751029.968 * * [misc]simplify:  iters left: 3 (39 enodes)
1536751029.975 * * [misc]simplify:  iters left: 2 (45 enodes)
1536751029.982 * * [misc]simplify:  iters left: 1 (61 enodes)
1536751029.993 * [exit]simplify:  Simplified to (- (- 1/2 x) (/ -1/8 x))
1536751029.993 * [misc]simplify:  Simplified (2) to (λ (x) (- (- 1/2 x) (/ -1/8 x)))
1536751029.994 * * * [misc]progress:  adding candidates to table
1536751030.138 * [misc]progress:  [Phase 3 of 3] Extracting.
1536751030.138 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>)
1536751030.139 * * * [misc]regime-changes:  Trying 1 branch expressions: (x)
1536751030.139 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (sqrt (* (- x 1) x)))> #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>)
1536751030.157 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1536751030.158 * [enter]simplify:  Simplifying (+ (/ -1/8 x) (+ x -1/2))
1536751030.158 * * [misc]simplify:  iters left: 4 (6 enodes)
1536751030.159 * * [misc]simplify:  iters left: 3 (8 enodes)
1536751030.160 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536751030.160 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536751030.178 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1536751030.179 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.180 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.180 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1536751030.181 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.182 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.183 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1536751030.184 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.185 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.186 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1536751030.194 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.197 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.199 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1536751030.201 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.206 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.212 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1536751030.213 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.231 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.252 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1536751030.254 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.295 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.336 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1536751030.338 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.429 * * * * [misc]points:  Setting MPFR precision to 576
1536751030.483 * * * * [misc]points:  Computing exacts for 8000 points
1536751030.485 * * * * [misc]points:  Setting MPFR precision to 320
1536751030.862 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.586 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751031.589 * * * * [misc]points:  Sampling 5998 additional inputs, on iter 1 have 2002 / 8000
1536751031.605 * * * * [misc]points:  Computing exacts on every 374 of 5998 points to ramp up precision
1536751031.607 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.607 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.608 * * * * [misc]points:  Computing exacts on every 187 of 5998 points to ramp up precision
1536751031.609 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.610 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.610 * * * * [misc]points:  Computing exacts on every 93 of 5998 points to ramp up precision
1536751031.612 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.613 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.614 * * * * [misc]points:  Computing exacts on every 46 of 5998 points to ramp up precision
1536751031.616 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.618 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.621 * * * * [misc]points:  Computing exacts on every 23 of 5998 points to ramp up precision
1536751031.622 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.627 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.632 * * * * [misc]points:  Computing exacts on every 11 of 5998 points to ramp up precision
1536751031.634 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.648 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.663 * * * * [misc]points:  Computing exacts on every 5 of 5998 points to ramp up precision
1536751031.665 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.715 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.737 * * * * [misc]points:  Computing exacts on every 2 of 5998 points to ramp up precision
1536751031.738 * * * * [misc]points:  Setting MPFR precision to 320
1536751031.803 * * * * [misc]points:  Setting MPFR precision to 576
1536751031.892 * * * * [misc]points:  Computing exacts for 5998 points
1536751031.894 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.103 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751032.335 * * * * [misc]points:  Sampling 4515 additional inputs, on iter 2 have 3485 / 8000
1536751032.350 * * * * [misc]points:  Computing exacts on every 282 of 4515 points to ramp up precision
1536751032.372 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.372 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.373 * * * * [misc]points:  Computing exacts on every 141 of 4515 points to ramp up precision
1536751032.374 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.375 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.375 * * * * [misc]points:  Computing exacts on every 70 of 4515 points to ramp up precision
1536751032.377 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.378 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.379 * * * * [misc]points:  Computing exacts on every 35 of 4515 points to ramp up precision
1536751032.382 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.384 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.387 * * * * [misc]points:  Computing exacts on every 17 of 4515 points to ramp up precision
1536751032.389 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.399 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.410 * * * * [misc]points:  Computing exacts on every 8 of 4515 points to ramp up precision
1536751032.412 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.432 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.450 * * * * [misc]points:  Computing exacts on every 4 of 4515 points to ramp up precision
1536751032.451 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.469 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.488 * * * * [misc]points:  Computing exacts on every 2 of 4515 points to ramp up precision
1536751032.489 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.545 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.589 * * * * [misc]points:  Computing exacts for 4515 points
1536751032.592 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.817 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.982 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751032.983 * * * * [misc]points:  Sampling 3361 additional inputs, on iter 3 have 4639 / 8000
1536751032.993 * * * * [misc]points:  Computing exacts on every 210 of 3361 points to ramp up precision
1536751032.995 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.995 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.995 * * * * [misc]points:  Computing exacts on every 105 of 3361 points to ramp up precision
1536751032.997 * * * * [misc]points:  Setting MPFR precision to 320
1536751032.997 * * * * [misc]points:  Setting MPFR precision to 576
1536751032.998 * * * * [misc]points:  Computing exacts on every 52 of 3361 points to ramp up precision
1536751032.999 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.001 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.002 * * * * [misc]points:  Computing exacts on every 26 of 3361 points to ramp up precision
1536751033.003 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.006 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.008 * * * * [misc]points:  Computing exacts on every 13 of 3361 points to ramp up precision
1536751033.010 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.014 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.019 * * * * [misc]points:  Computing exacts on every 6 of 3361 points to ramp up precision
1536751033.020 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.071 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.092 * * * * [misc]points:  Computing exacts on every 3 of 3361 points to ramp up precision
1536751033.095 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.129 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.162 * * * * [misc]points:  Computing exacts for 3361 points
1536751033.165 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.320 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.426 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751033.428 * * * * [misc]points:  Sampling 2509 additional inputs, on iter 4 have 5491 / 8000
1536751033.439 * * * * [misc]points:  Computing exacts on every 156 of 2509 points to ramp up precision
1536751033.481 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.482 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.482 * * * * [misc]points:  Computing exacts on every 78 of 2509 points to ramp up precision
1536751033.484 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.486 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.487 * * * * [misc]points:  Computing exacts on every 39 of 2509 points to ramp up precision
1536751033.493 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.495 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.498 * * * * [misc]points:  Computing exacts on every 19 of 2509 points to ramp up precision
1536751033.500 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.505 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.510 * * * * [misc]points:  Computing exacts on every 9 of 2509 points to ramp up precision
1536751033.513 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.519 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.524 * * * * [misc]points:  Computing exacts on every 4 of 2509 points to ramp up precision
1536751033.525 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.535 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.547 * * * * [misc]points:  Computing exacts on every 2 of 2509 points to ramp up precision
1536751033.550 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.582 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.615 * * * * [misc]points:  Computing exacts for 2509 points
1536751033.618 * * * * [misc]points:  Setting MPFR precision to 320
1536751033.759 * * * * [misc]points:  Setting MPFR precision to 576
1536751033.816 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751033.817 * * * * [misc]points:  Sampling 1867 additional inputs, on iter 5 have 6133 / 8000
1536751033.826 * * * * [misc]points:  Computing exacts on every 116 of 1867 points to ramp up precision
1536751034.111 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.112 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.113 * * * * [misc]points:  Computing exacts on every 58 of 1867 points to ramp up precision
1536751034.115 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.117 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.118 * * * * [misc]points:  Computing exacts on every 29 of 1867 points to ramp up precision
1536751034.124 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.127 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.129 * * * * [misc]points:  Computing exacts on every 14 of 1867 points to ramp up precision
1536751034.132 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.137 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.141 * * * * [misc]points:  Computing exacts on every 7 of 1867 points to ramp up precision
1536751034.143 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.151 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.159 * * * * [misc]points:  Computing exacts on every 3 of 1867 points to ramp up precision
1536751034.161 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.177 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.193 * * * * [misc]points:  Computing exacts for 1867 points
1536751034.195 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.257 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.383 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751034.383 * * * * [misc]points:  Sampling 1386 additional inputs, on iter 6 have 6614 / 8000
1536751034.390 * * * * [misc]points:  Computing exacts on every 86 of 1386 points to ramp up precision
1536751034.393 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.393 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.394 * * * * [misc]points:  Computing exacts on every 43 of 1386 points to ramp up precision
1536751034.396 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.398 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.399 * * * * [misc]points:  Computing exacts on every 21 of 1386 points to ramp up precision
1536751034.401 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.404 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.406 * * * * [misc]points:  Computing exacts on every 10 of 1386 points to ramp up precision
1536751034.409 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.414 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.417 * * * * [misc]points:  Computing exacts on every 5 of 1386 points to ramp up precision
1536751034.418 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.423 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.427 * * * * [misc]points:  Computing exacts on every 2 of 1386 points to ramp up precision
1536751034.429 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.438 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.447 * * * * [misc]points:  Computing exacts for 1386 points
1536751034.449 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.545 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.600 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751034.601 * * * * [misc]points:  Sampling 1076 additional inputs, on iter 7 have 6924 / 8000
1536751034.606 * * * * [misc]points:  Computing exacts on every 67 of 1076 points to ramp up precision
1536751034.608 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.609 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.610 * * * * [misc]points:  Computing exacts on every 33 of 1076 points to ramp up precision
1536751034.612 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.613 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.615 * * * * [misc]points:  Computing exacts on every 16 of 1076 points to ramp up precision
1536751034.617 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.619 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.621 * * * * [misc]points:  Computing exacts on every 8 of 1076 points to ramp up precision
1536751034.622 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.624 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.627 * * * * [misc]points:  Computing exacts on every 4 of 1076 points to ramp up precision
1536751034.628 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.632 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.637 * * * * [misc]points:  Computing exacts on every 2 of 1076 points to ramp up precision
1536751034.638 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.645 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.652 * * * * [misc]points:  Computing exacts for 1076 points
1536751034.653 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.719 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.763 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751034.763 * * * * [misc]points:  Sampling 783 additional inputs, on iter 8 have 7217 / 8000
1536751034.767 * * * * [misc]points:  Computing exacts on every 48 of 783 points to ramp up precision
1536751034.769 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.770 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.771 * * * * [misc]points:  Computing exacts on every 24 of 783 points to ramp up precision
1536751034.773 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.775 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.776 * * * * [misc]points:  Computing exacts on every 12 of 783 points to ramp up precision
1536751034.778 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.781 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.783 * * * * [misc]points:  Computing exacts on every 6 of 783 points to ramp up precision
1536751034.785 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.790 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.794 * * * * [misc]points:  Computing exacts on every 3 of 783 points to ramp up precision
1536751034.797 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.804 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.812 * * * * [misc]points:  Computing exacts for 783 points
1536751034.815 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.834 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.881 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751034.881 * * * * [misc]points:  Sampling 591 additional inputs, on iter 9 have 7409 / 8000
1536751034.883 * * * * [misc]points:  Computing exacts on every 36 of 591 points to ramp up precision
1536751034.884 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.885 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.885 * * * * [misc]points:  Computing exacts on every 18 of 591 points to ramp up precision
1536751034.887 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.887 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.888 * * * * [misc]points:  Computing exacts on every 9 of 591 points to ramp up precision
1536751034.889 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.892 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.894 * * * * [misc]points:  Computing exacts on every 4 of 591 points to ramp up precision
1536751034.895 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.897 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.900 * * * * [misc]points:  Computing exacts on every 2 of 591 points to ramp up precision
1536751034.901 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.905 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.909 * * * * [misc]points:  Computing exacts for 591 points
1536751034.910 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.930 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.941 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751034.941 * * * * [misc]points:  Sampling 450 additional inputs, on iter 10 have 7550 / 8000
1536751034.942 * * * * [misc]points:  Computing exacts on every 28 of 450 points to ramp up precision
1536751034.944 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.944 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.945 * * * * [misc]points:  Computing exacts on every 14 of 450 points to ramp up precision
1536751034.946 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.946 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.947 * * * * [misc]points:  Computing exacts on every 7 of 450 points to ramp up precision
1536751034.948 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.950 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.951 * * * * [misc]points:  Computing exacts on every 3 of 450 points to ramp up precision
1536751034.952 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.955 * * * * [misc]points:  Setting MPFR precision to 576
1536751034.959 * * * * [misc]points:  Computing exacts for 450 points
1536751034.961 * * * * [misc]points:  Setting MPFR precision to 320
1536751034.975 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.006 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.007 * * * * [misc]points:  Sampling 358 additional inputs, on iter 11 have 7642 / 8000
1536751035.008 * * * * [misc]points:  Computing exacts on every 22 of 358 points to ramp up precision
1536751035.011 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.012 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.012 * * * * [misc]points:  Computing exacts on every 11 of 358 points to ramp up precision
1536751035.015 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.016 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.017 * * * * [misc]points:  Computing exacts on every 5 of 358 points to ramp up precision
1536751035.023 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.025 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.027 * * * * [misc]points:  Computing exacts on every 2 of 358 points to ramp up precision
1536751035.030 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.034 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.039 * * * * [misc]points:  Computing exacts for 358 points
1536751035.041 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.055 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.065 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.065 * * * * [misc]points:  Sampling 266 additional inputs, on iter 12 have 7734 / 8000
1536751035.065 * * * * [misc]points:  Computing exacts on every 16 of 266 points to ramp up precision
1536751035.067 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.067 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.067 * * * * [misc]points:  Computing exacts on every 8 of 266 points to ramp up precision
1536751035.069 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.069 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.070 * * * * [misc]points:  Computing exacts on every 4 of 266 points to ramp up precision
1536751035.071 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.072 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.073 * * * * [misc]points:  Computing exacts on every 2 of 266 points to ramp up precision
1536751035.074 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.076 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.078 * * * * [misc]points:  Computing exacts for 266 points
1536751035.079 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.084 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.089 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.090 * * * * [misc]points:  Sampling 195 additional inputs, on iter 13 have 7805 / 8000
1536751035.090 * * * * [misc]points:  Computing exacts on every 12 of 195 points to ramp up precision
1536751035.092 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.092 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.092 * * * * [misc]points:  Computing exacts on every 6 of 195 points to ramp up precision
1536751035.093 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.094 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.095 * * * * [misc]points:  Computing exacts on every 3 of 195 points to ramp up precision
1536751035.096 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.097 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.098 * * * * [misc]points:  Computing exacts for 195 points
1536751035.099 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.103 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.107 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.107 * * * * [misc]points:  Sampling 141 additional inputs, on iter 14 have 7859 / 8000
1536751035.107 * * * * [misc]points:  Computing exacts on every 8 of 141 points to ramp up precision
1536751035.109 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.109 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.109 * * * * [misc]points:  Computing exacts on every 4 of 141 points to ramp up precision
1536751035.110 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.111 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.112 * * * * [misc]points:  Computing exacts on every 2 of 141 points to ramp up precision
1536751035.115 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.117 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.119 * * * * [misc]points:  Computing exacts for 141 points
1536751035.147 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.152 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.155 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.155 * * * * [misc]points:  Sampling 118 additional inputs, on iter 15 have 7882 / 8000
1536751035.155 * * * * [misc]points:  Computing exacts on every 7 of 118 points to ramp up precision
1536751035.157 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.157 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.157 * * * * [misc]points:  Computing exacts on every 3 of 118 points to ramp up precision
1536751035.158 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.159 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.161 * * * * [misc]points:  Computing exacts for 118 points
1536751035.162 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.165 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.167 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.167 * * * * [misc]points:  Sampling 91 additional inputs, on iter 16 have 7909 / 8000
1536751035.167 * * * * [misc]points:  Computing exacts on every 5 of 91 points to ramp up precision
1536751035.168 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.169 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.169 * * * * [misc]points:  Computing exacts on every 2 of 91 points to ramp up precision
1536751035.171 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.171 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.172 * * * * [misc]points:  Computing exacts for 91 points
1536751035.173 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.175 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.177 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.177 * * * * [misc]points:  Sampling 64 additional inputs, on iter 17 have 7936 / 8000
1536751035.177 * * * * [misc]points:  Computing exacts on every 4 of 64 points to ramp up precision
1536751035.178 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.179 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.179 * * * * [misc]points:  Computing exacts on every 2 of 64 points to ramp up precision
1536751035.181 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.182 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.183 * * * * [misc]points:  Computing exacts for 64 points
1536751035.185 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.187 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.189 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1536751035.189 * * * * [misc]points:  Computing exacts on every 2 of 46 points to ramp up precision
1536751035.190 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.190 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.191 * * * * [misc]points:  Computing exacts for 46 points
1536751035.192 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.193 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.194 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.194 * * * * [misc]points:  Sampling 32 additional inputs, on iter 19 have 7968 / 8000
1536751035.194 * * * * [misc]points:  Computing exacts on every 2 of 32 points to ramp up precision
1536751035.195 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.196 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.196 * * * * [misc]points:  Computing exacts for 32 points
1536751035.197 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.198 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.198 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.199 * * * * [misc]points:  Sampling 17 additional inputs, on iter 20 have 7983 / 8000
1536751035.199 * * * * [misc]points:  Computing exacts for 17 points
1536751035.200 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.200 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.201 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.201 * * * * [misc]points:  Sampling 14 additional inputs, on iter 21 have 7986 / 8000
1536751035.201 * * * * [misc]points:  Computing exacts for 14 points
1536751035.202 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.203 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.203 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.203 * * * * [misc]points:  Sampling 12 additional inputs, on iter 22 have 7988 / 8000
1536751035.203 * * * * [misc]points:  Computing exacts for 12 points
1536751035.204 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.205 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.205 * * * * [misc]points:  Sampling 8 additional inputs, on iter 23 have 7992 / 8000
1536751035.205 * * * * [misc]points:  Computing exacts for 8 points
1536751035.206 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.207 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.207 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.207 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1536751035.207 * * * * [misc]points:  Computing exacts for 6 points
1536751035.208 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.208 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.209 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.209 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7997 / 8000
1536751035.209 * * * * [misc]points:  Computing exacts for 4 points
1536751035.210 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.210 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.210 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.210 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7999 / 8000
1536751035.210 * * * * [misc]points:  Computing exacts for 4 points
1536751035.211 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.212 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.212 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.212 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7999 / 8000
1536751035.212 * * * * [misc]points:  Computing exacts for 4 points
1536751035.213 * * * * [misc]points:  Setting MPFR precision to 320
1536751035.213 * * * * [misc]points:  Setting MPFR precision to 576
1536751035.213 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536751035.213 * * * * [exit]points:  Sampled 8000 points with exact outputs