1537030571.853 * [misc]progress:  [Phase 1 of 3] Setting up.
1537030571.854 * * * [misc]progress:  [1/2] Preparing points
1537030571.855 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1537030571.997 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030571.997 * * * * [misc]points:  Sampling 206 additional inputs, on iter 1 have 50 / 256
1537030572.013 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.013 * * * * [misc]points:  Sampling 159 additional inputs, on iter 2 have 97 / 256
1537030572.025 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.025 * * * * [misc]points:  Sampling 123 additional inputs, on iter 3 have 133 / 256
1537030572.036 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.036 * * * * [misc]points:  Sampling 91 additional inputs, on iter 4 have 165 / 256
1537030572.044 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.044 * * * * [misc]points:  Sampling 65 additional inputs, on iter 5 have 191 / 256
1537030572.050 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.050 * * * * [misc]points:  Sampling 44 additional inputs, on iter 6 have 212 / 256
1537030572.054 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.054 * * * * [misc]points:  Sampling 35 additional inputs, on iter 7 have 221 / 256
1537030572.058 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.058 * * * * [misc]points:  Sampling 31 additional inputs, on iter 8 have 225 / 256
1537030572.061 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.061 * * * * [misc]points:  Sampling 25 additional inputs, on iter 9 have 231 / 256
1537030572.064 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.064 * * * * [misc]points:  Sampling 19 additional inputs, on iter 10 have 237 / 256
1537030572.067 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.067 * * * * [misc]points:  Sampling 14 additional inputs, on iter 11 have 242 / 256
1537030572.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.069 * * * * [misc]points:  Sampling 12 additional inputs, on iter 12 have 244 / 256
1537030572.071 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.071 * * * * [misc]points:  Sampling 9 additional inputs, on iter 13 have 247 / 256
1537030572.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.073 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1537030572.075 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.075 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1537030572.077 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.077 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 253 / 256
1537030572.078 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030572.078 * * * * [exit]points:  Sampled 256 points with exact outputs
1537030572.078 * * * [misc]progress:  [2/2] Setting up program.
1537030572.483 * [misc]progress:  [Phase 2 of 3] Improving.
1537030572.484 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1537030572.489 * * [misc]simplify:  iters left: 5 (6 enodes)
1537030572.498 * * [misc]simplify:  iters left: 4 (12 enodes)
1537030572.502 * * [misc]simplify:  iters left: 3 (13 enodes)
1537030572.507 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1537030572.525 * * [misc]progress:  iteration 1 / 4
1537030572.525 * * * [misc]progress:  picking best candidate
1537030572.533 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1537030572.533 * * * [misc]progress:  localizing error
1537030572.562 * * * [misc]progress:  generating rewritten candidates
1537030572.562 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1537030572.638 * * * [misc]progress:  generating series expansions
1537030572.638 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1537030572.647 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1537030572.647 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1537030572.648 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1537030572.648 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1537030572.649 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.649 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.649 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.649 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1537030572.649 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.649 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.649 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.649 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.649 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.650 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.650 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537030572.651 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1537030572.651 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.651 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.651 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1537030572.651 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.652 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.652 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1537030572.652 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1537030572.652 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.652 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.652 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.652 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1537030572.652 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.652 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.652 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.652 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.652 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.652 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.652 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537030572.653 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1537030572.653 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.653 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.653 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1537030572.653 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.654 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.654 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.654 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1537030572.655 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.655 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537030572.656 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1537030572.658 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1537030572.658 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1537030572.658 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.658 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537030572.659 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1537030572.660 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1537030572.660 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1537030572.662 * [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)))))))
1537030572.662 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1537030572.662 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1537030572.662 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1537030572.662 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1537030572.662 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1537030572.662 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537030572.662 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.662 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.662 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.663 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.663 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.663 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.663 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.663 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.663 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.663 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.663 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.664 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537030572.664 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537030572.664 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.665 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537030572.665 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1537030572.665 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1537030572.665 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1537030572.665 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1537030572.665 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1537030572.665 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537030572.665 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.665 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.665 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.665 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.665 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.666 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.666 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.666 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.666 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.666 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.666 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.666 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1537030572.666 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537030572.667 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.667 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1537030572.667 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1537030572.667 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1537030572.667 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.667 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1537030572.668 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537030572.668 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.668 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537030572.669 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1537030572.670 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1537030572.670 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1537030572.670 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1537030572.670 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1537030572.670 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1537030572.670 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1537030572.670 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1537030572.670 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1537030572.670 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1537030572.670 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537030572.671 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.671 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.671 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.671 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.671 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.671 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.671 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.671 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.671 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.671 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.672 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.672 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1537030572.672 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537030572.672 * [misc]taylor:  Taking taylor expansion of -1 in x
1537030572.672 * [misc]backup-simplify:  Simplify -1 into -1
1537030572.672 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.672 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.672 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.672 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537030572.672 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.673 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.673 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1537030572.673 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1537030572.673 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1537030572.673 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1537030572.673 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1537030572.673 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.673 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.673 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.673 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1537030572.673 * [misc]taylor:  Taking taylor expansion of 1 in x
1537030572.673 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.674 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1537030572.674 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.674 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.674 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.675 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.675 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1537030572.675 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1537030572.675 * [misc]taylor:  Taking taylor expansion of -1 in x
1537030572.675 * [misc]backup-simplify:  Simplify -1 into -1
1537030572.675 * [misc]taylor:  Taking taylor expansion of x in x
1537030572.675 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.675 * [misc]backup-simplify:  Simplify 1 into 1
1537030572.675 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1537030572.675 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1537030572.676 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1537030572.676 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1537030572.676 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.676 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1537030572.676 * [misc]backup-simplify:  Simplify 0 into 0
1537030572.676 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1537030572.678 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1537030572.678 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1537030572.678 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1537030572.678 * [misc]backup-simplify:  Simplify (- 1) into -1
1537030572.679 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1537030572.680 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1537030572.680 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1537030572.681 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537030572.682 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1537030572.682 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537030572.683 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537030572.683 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.684 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1537030572.685 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1537030572.685 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1537030572.686 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537030572.688 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1537030572.688 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1537030572.688 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1537030572.688 * [misc]backup-simplify:  Simplify (- 0) into 0
1537030572.690 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1537030572.692 * [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)
1537030572.693 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1537030572.694 * [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)))))
1537030572.694 * * * [misc]progress:  simplifying candidates
1537030572.694 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
1537030572.694 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
1537030572.694 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1537030572.695 * [enter]simplify:  Simplifying (* (- x 1) x)
1537030572.695 * * [misc]simplify:  iters left: 4 (4 enodes)
1537030572.698 * * [misc]simplify:  iters left: 3 (10 enodes)
1537030572.702 * * [misc]simplify:  iters left: 2 (16 enodes)
1537030572.709 * * [misc]simplify:  iters left: 1 (24 enodes)
1537030572.715 * [exit]simplify:  Simplified to (- (* x x) x)
1537030572.716 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1537030572.716 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1537030572.716 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1537030572.717 * * [misc]simplify:  iters left: 5 (6 enodes)
1537030572.720 * * [misc]simplify:  iters left: 4 (12 enodes)
1537030572.723 * * [misc]simplify:  iters left: 3 (13 enodes)
1537030572.727 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1537030572.727 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1537030572.727 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1537030572.727 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1537030572.728 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1537030572.729 * * [misc]simplify:  iters left: 6 (8 enodes)
1537030572.733 * * [misc]simplify:  iters left: 5 (14 enodes)
1537030572.736 * * [misc]simplify:  iters left: 4 (15 enodes)
1537030572.741 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1537030572.741 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1537030572.741 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1537030572.741 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1537030572.741 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1537030572.742 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1537030572.743 * * [misc]simplify:  iters left: 6 (10 enodes)
1537030572.750 * * [misc]simplify:  iters left: 5 (22 enodes)
1537030572.760 * * [misc]simplify:  iters left: 4 (48 enodes)
1537030572.792 * * [misc]simplify:  iters left: 3 (94 enodes)
1537030572.847 * * [misc]simplify:  iters left: 2 (192 enodes)
1537030573.019 * * [misc]simplify:  iters left: 1 (414 enodes)
1537030573.363 * [exit]simplify:  Simplified to (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))
1537030573.363 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))))
1537030573.363 * * * * [misc]progress:  [ 10 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (* (sqrt (- x 1)) (sqrt x))) (cbrt (* (sqrt (- x 1)) (sqrt x)))) (cbrt (* (sqrt (- x 1)) (sqrt x)))))>
1537030573.363 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1537030573.363 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1537030573.364 * [enter]simplify:  Simplifying (* (- x 1) x)
1537030573.364 * * [misc]simplify:  iters left: 4 (4 enodes)
1537030573.367 * * [misc]simplify:  iters left: 3 (10 enodes)
1537030573.371 * * [misc]simplify:  iters left: 2 (16 enodes)
1537030573.377 * * [misc]simplify:  iters left: 1 (24 enodes)
1537030573.381 * [exit]simplify:  Simplified to (- (* x x) x)
1537030573.382 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1537030573.382 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1537030573.382 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1537030573.382 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1537030573.382 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1537030573.382 * * [misc]simplify:  iters left: 2 (3 enodes)
1537030573.383 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1537030573.383 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1537030573.383 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1537030573.383 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1537030573.383 * * [misc]simplify:  iters left: 2 (3 enodes)
1537030573.384 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1537030573.384 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1537030573.384 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1537030573.384 * [enter]simplify:  Simplifying (sqrt x)
1537030573.384 * * [misc]simplify:  iters left: 1 (2 enodes)
1537030573.384 * [exit]simplify:  Simplified to (sqrt x)
1537030573.384 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1537030573.384 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1537030573.384 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1537030573.385 * * [misc]simplify:  iters left: 6 (6 enodes)
1537030573.387 * * [misc]simplify:  iters left: 5 (11 enodes)
1537030573.388 * * [misc]simplify:  iters left: 4 (12 enodes)
1537030573.390 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1537030573.390 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1537030573.390 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1537030573.390 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1537030573.391 * * [misc]simplify:  iters left: 6 (6 enodes)
1537030573.392 * * [misc]simplify:  iters left: 5 (12 enodes)
1537030573.394 * * [misc]simplify:  iters left: 4 (13 enodes)
1537030573.396 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1537030573.396 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1537030573.396 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1537030573.396 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1537030573.396 * * [misc]simplify:  iters left: 4 (5 enodes)
1537030573.398 * * [misc]simplify:  iters left: 3 (10 enodes)
1537030573.399 * * [misc]simplify:  iters left: 2 (11 enodes)
1537030573.400 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1537030573.400 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1537030573.401 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1537030573.401 * [enter]simplify:  Simplifying (sqrt 1)
1537030573.401 * * [misc]simplify:  iters left: 1 (2 enodes)
1537030573.402 * [exit]simplify:  Simplified to 1
1537030573.402 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1537030573.402 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1537030573.402 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1537030573.402 * * [misc]simplify:  iters left: 4 (5 enodes)
1537030573.407 * * [misc]simplify:  iters left: 3 (10 enodes)
1537030573.408 * * [misc]simplify:  iters left: 2 (11 enodes)
1537030573.410 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1537030573.410 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1537030573.410 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1537030573.410 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1537030573.410 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1537030573.410 * * [misc]simplify:  iters left: 6 (9 enodes)
1537030573.414 * * [misc]simplify:  iters left: 5 (20 enodes)
1537030573.418 * * [misc]simplify:  iters left: 4 (27 enodes)
1537030573.421 * * [misc]simplify:  iters left: 3 (29 enodes)
1537030573.424 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (fma (* x x) x -1)))
1537030573.424 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma (* x x) x -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1537030573.424 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1537030573.424 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1537030573.425 * * [misc]simplify:  iters left: 6 (8 enodes)
1537030573.428 * * [misc]simplify:  iters left: 5 (16 enodes)
1537030573.431 * * [misc]simplify:  iters left: 4 (23 enodes)
1537030573.434 * * [misc]simplify:  iters left: 3 (27 enodes)
1537030573.439 * * [misc]simplify:  iters left: 2 (43 enodes)
1537030573.456 * * [misc]simplify:  iters left: 1 (74 enodes)
1537030573.515 * [exit]simplify:  Simplified to (* (sqrt (fma x x -1)) (sqrt x))
1537030573.515 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1))))
1537030573.515 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1537030573.515 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1537030573.516 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1537030573.516 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1537030573.516 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1537030573.516 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1537030573.517 * * [misc]simplify:  iters left: 6 (8 enodes)
1537030573.523 * * [misc]simplify:  iters left: 5 (19 enodes)
1537030573.532 * * [misc]simplify:  iters left: 4 (31 enodes)
1537030573.548 * * [misc]simplify:  iters left: 3 (58 enodes)
1537030573.583 * * [misc]simplify:  iters left: 2 (97 enodes)
1537030573.617 * * [misc]simplify:  iters left: 1 (126 enodes)
1537030573.676 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1537030573.676 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1537030573.676 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1537030573.676 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1537030573.676 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1537030573.677 * * * [misc]progress:  adding candidates to table
1537030574.099 * * [misc]progress:  iteration 2 / 4
1537030574.099 * * * [misc]progress:  picking best candidate
1537030574.102 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>
1537030574.102 * * * [misc]progress:  localizing error
1537030574.115 * * * [misc]progress:  generating rewritten candidates
1537030574.115 * * * [misc]progress:  generating series expansions
1537030574.115 * * * [misc]progress:  simplifying candidates
1537030574.115 * * * [misc]progress:  adding candidates to table
1537030574.115 * [misc]progress:  [Phase 3 of 3] Extracting.
1537030574.115 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>)
1537030574.117 * * * [misc]regime-changes:  Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x)))
1537030574.118 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>)
1537030574.137 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>)
1537030574.199 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1537030574.200 * [enter]simplify:  Simplifying (- (/ -1/8 x) (- 1/2 x))
1537030574.201 * * [misc]simplify:  iters left: 4 (6 enodes)
1537030574.201 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1537030574.202 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1537030575.423 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030575.426 * * * * [misc]points:  Sampling 5990 additional inputs, on iter 1 have 2010 / 8000
1537030576.202 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030576.204 * * * * [misc]points:  Sampling 4495 additional inputs, on iter 2 have 3505 / 8000
1537030577.234 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030577.235 * * * * [misc]points:  Sampling 3380 additional inputs, on iter 3 have 4620 / 8000
1537030577.667 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030577.668 * * * * [misc]points:  Sampling 2508 additional inputs, on iter 4 have 5492 / 8000
1537030578.020 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.021 * * * * [misc]points:  Sampling 1835 additional inputs, on iter 5 have 6165 / 8000
1537030578.351 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.351 * * * * [misc]points:  Sampling 1336 additional inputs, on iter 6 have 6664 / 8000
1537030578.555 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.556 * * * * [misc]points:  Sampling 996 additional inputs, on iter 7 have 7004 / 8000
1537030578.664 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.665 * * * * [misc]points:  Sampling 756 additional inputs, on iter 8 have 7244 / 8000
1537030578.793 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.794 * * * * [misc]points:  Sampling 562 additional inputs, on iter 9 have 7438 / 8000
1537030578.864 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.865 * * * * [misc]points:  Sampling 440 additional inputs, on iter 10 have 7560 / 8000
1537030578.950 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.950 * * * * [misc]points:  Sampling 331 additional inputs, on iter 11 have 7669 / 8000
1537030578.989 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030578.989 * * * * [misc]points:  Sampling 244 additional inputs, on iter 12 have 7756 / 8000
1537030579.024 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.024 * * * * [misc]points:  Sampling 183 additional inputs, on iter 13 have 7817 / 8000
1537030579.052 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.052 * * * * [misc]points:  Sampling 139 additional inputs, on iter 14 have 7861 / 8000
1537030579.073 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.074 * * * * [misc]points:  Sampling 98 additional inputs, on iter 15 have 7902 / 8000
1537030579.125 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.125 * * * * [misc]points:  Sampling 70 additional inputs, on iter 16 have 7930 / 8000
1537030579.133 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.133 * * * * [misc]points:  Sampling 51 additional inputs, on iter 17 have 7949 / 8000
1537030579.138 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.138 * * * * [misc]points:  Sampling 39 additional inputs, on iter 18 have 7961 / 8000
1537030579.142 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.142 * * * * [misc]points:  Sampling 26 additional inputs, on iter 19 have 7974 / 8000
1537030579.145 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.145 * * * * [misc]points:  Sampling 18 additional inputs, on iter 20 have 7982 / 8000
1537030579.148 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.148 * * * * [misc]points:  Sampling 16 additional inputs, on iter 21 have 7984 / 8000
1537030579.150 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.150 * * * * [misc]points:  Sampling 10 additional inputs, on iter 22 have 7990 / 8000
1537030579.152 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.152 * * * * [misc]points:  Sampling 5 additional inputs, on iter 23 have 7995 / 8000
1537030579.154 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.154 * * * * [misc]points:  Sampling 5 additional inputs, on iter 24 have 7995 / 8000
1537030579.155 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.155 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7997 / 8000
1537030579.157 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.157 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7999 / 8000
1537030579.158 * * * * [misc]points:  Filtering points with unrepresentable outputs
1537030579.158 * * * * [exit]points:  Sampled 8000 points with exact outputs