1538432583.108 * [misc]progress:  [Phase 1 of 3] Setting up.
1538432583.110 * * * [misc]progress:  [1/2] Preparing points
1538432583.111 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538432583.338 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.339 * * * * [misc]points:  Sampling 190 additional inputs, on iter 1 have 66 / 256
1538432583.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.417 * * * * [misc]points:  Sampling 143 additional inputs, on iter 2 have 113 / 256
1538432583.439 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.439 * * * * [misc]points:  Sampling 106 additional inputs, on iter 3 have 150 / 256
1538432583.450 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.450 * * * * [misc]points:  Sampling 80 additional inputs, on iter 4 have 176 / 256
1538432583.459 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.459 * * * * [misc]points:  Sampling 59 additional inputs, on iter 5 have 197 / 256
1538432583.468 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.468 * * * * [misc]points:  Sampling 47 additional inputs, on iter 6 have 209 / 256
1538432583.479 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.479 * * * * [misc]points:  Sampling 40 additional inputs, on iter 7 have 216 / 256
1538432583.528 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.528 * * * * [misc]points:  Sampling 34 additional inputs, on iter 8 have 222 / 256
1538432583.580 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.581 * * * * [misc]points:  Sampling 25 additional inputs, on iter 9 have 231 / 256
1538432583.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.590 * * * * [misc]points:  Sampling 17 additional inputs, on iter 10 have 239 / 256
1538432583.596 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.596 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1538432583.601 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.601 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1538432583.605 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.605 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1538432583.609 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.609 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1538432583.612 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.612 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1538432583.615 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.615 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 253 / 256
1538432583.658 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.658 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1538432583.661 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.661 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1538432583.665 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432583.665 * * * * [exit]points:  Sampled 257 points with exact outputs
1538432583.665 * * * [misc]progress:  [2/2] Setting up program.
1538432583.678 * [misc]progress:  [Phase 2 of 3] Improving.
1538432583.679 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1538432583.681 * * [misc]simplify:  iters left: 5 (6 enodes)
1538432583.691 * * [misc]simplify:  iters left: 4 (12 enodes)
1538432583.694 * * [misc]simplify:  iters left: 3 (13 enodes)
1538432583.700 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1538432583.718 * * [misc]progress:  iteration 1 / 4
1538432583.719 * * * [misc]progress:  picking best candidate
1538432583.727 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1538432583.727 * * * [misc]progress:  localizing error
1538432583.798 * * * [misc]progress:  generating rewritten candidates
1538432583.798 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538432583.889 * * * [misc]progress:  generating series expansions
1538432583.889 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538432583.900 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1538432583.900 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1538432583.901 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1538432583.901 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1538432583.901 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.901 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.901 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.901 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538432583.901 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.901 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.901 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.901 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.901 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.903 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.903 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538432583.903 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538432583.904 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.904 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.904 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538432583.904 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.905 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.905 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1538432583.905 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1538432583.905 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.905 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.905 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.905 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538432583.905 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.905 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.905 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.905 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.905 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.905 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.905 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538432583.906 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538432583.906 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.906 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.906 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538432583.906 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.907 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.908 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.908 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538432583.910 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.910 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538432583.910 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538432583.913 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538432583.913 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538432583.913 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.913 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538432583.914 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538432583.915 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538432583.915 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538432583.916 * [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)))))))
1538432583.917 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1538432583.917 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1538432583.917 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1538432583.917 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1538432583.917 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538432583.917 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538432583.917 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.917 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.917 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.918 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.918 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.918 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.918 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.918 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.918 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.918 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.919 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538432583.919 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538432583.920 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.920 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538432583.920 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1538432583.920 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538432583.920 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1538432583.920 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1538432583.920 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538432583.920 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538432583.920 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.921 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.921 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.921 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.921 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.921 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.921 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.921 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.921 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.921 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.921 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.921 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538432583.922 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538432583.922 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.922 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538432583.922 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1538432583.923 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538432583.923 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.923 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538432583.923 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538432583.923 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.923 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538432583.924 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1538432583.925 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1538432583.925 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538432583.925 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1538432583.926 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1538432583.926 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1538432583.926 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1538432583.926 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1538432583.926 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1538432583.926 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538432583.926 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538432583.926 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.926 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.926 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.926 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.926 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.926 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.927 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.927 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.927 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.927 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.928 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.928 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1538432583.928 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538432583.928 * [misc]taylor:  Taking taylor expansion of -1 in x
1538432583.928 * [misc]backup-simplify:  Simplify -1 into -1
1538432583.928 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.928 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.928 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.928 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538432583.928 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.929 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.929 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1538432583.929 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1538432583.929 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1538432583.929 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538432583.929 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538432583.929 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.929 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.929 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.929 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538432583.929 * [misc]taylor:  Taking taylor expansion of 1 in x
1538432583.929 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.930 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538432583.930 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.930 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.930 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.930 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.931 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1538432583.931 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538432583.931 * [misc]taylor:  Taking taylor expansion of -1 in x
1538432583.931 * [misc]backup-simplify:  Simplify -1 into -1
1538432583.931 * [misc]taylor:  Taking taylor expansion of x in x
1538432583.931 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.931 * [misc]backup-simplify:  Simplify 1 into 1
1538432583.931 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538432583.931 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538432583.932 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538432583.932 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1538432583.932 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.932 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1538432583.932 * [misc]backup-simplify:  Simplify 0 into 0
1538432583.933 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538432583.934 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538432583.934 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538432583.934 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538432583.934 * [misc]backup-simplify:  Simplify (- 1) into -1
1538432583.936 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538432583.937 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1538432583.937 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538432583.937 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538432583.938 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538432583.939 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538432583.939 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538432583.939 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.941 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538432583.942 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1538432583.942 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538432583.943 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538432583.945 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538432583.945 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538432583.945 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538432583.945 * [misc]backup-simplify:  Simplify (- 0) into 0
1538432583.947 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538432583.949 * [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)
1538432583.950 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538432583.953 * [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)))))
1538432583.953 * * * [misc]progress:  simplifying candidates
1538432583.953 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
1538432583.953 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
1538432583.953 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1538432583.954 * [enter]simplify:  Simplifying (* (- x 1) x)
1538432583.954 * * [misc]simplify:  iters left: 4 (4 enodes)
1538432583.957 * * [misc]simplify:  iters left: 3 (10 enodes)
1538432583.961 * * [misc]simplify:  iters left: 2 (16 enodes)
1538432583.967 * * [misc]simplify:  iters left: 1 (24 enodes)
1538432583.983 * [exit]simplify:  Simplified to (- (* x x) x)
1538432583.984 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1538432583.984 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1538432583.984 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1538432583.985 * * [misc]simplify:  iters left: 5 (6 enodes)
1538432583.988 * * [misc]simplify:  iters left: 4 (12 enodes)
1538432583.991 * * [misc]simplify:  iters left: 3 (13 enodes)
1538432583.995 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1538432583.995 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1538432583.995 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1538432583.995 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1538432583.996 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1538432583.997 * * [misc]simplify:  iters left: 6 (8 enodes)
1538432584.001 * * [misc]simplify:  iters left: 5 (14 enodes)
1538432584.005 * * [misc]simplify:  iters left: 4 (15 enodes)
1538432584.009 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1538432584.009 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1538432584.010 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1538432584.010 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1538432584.010 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1538432584.010 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1538432584.011 * * [misc]simplify:  iters left: 6 (10 enodes)
1538432584.018 * * [misc]simplify:  iters left: 5 (22 enodes)
1538432584.029 * * [misc]simplify:  iters left: 4 (48 enodes)
1538432584.054 * * [misc]simplify:  iters left: 3 (94 enodes)
1538432584.111 * * [misc]simplify:  iters left: 2 (192 enodes)
1538432584.301 * * [misc]simplify:  iters left: 1 (414 enodes)
1538432584.637 * [exit]simplify:  Simplified to (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))
1538432584.637 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))))
1538432584.637 * * * * [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)))))>
1538432584.638 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1538432584.638 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1538432584.638 * [enter]simplify:  Simplifying (* (- x 1) x)
1538432584.638 * * [misc]simplify:  iters left: 4 (4 enodes)
1538432584.641 * * [misc]simplify:  iters left: 3 (10 enodes)
1538432584.645 * * [misc]simplify:  iters left: 2 (16 enodes)
1538432584.652 * * [misc]simplify:  iters left: 1 (24 enodes)
1538432584.659 * [exit]simplify:  Simplified to (- (* x x) x)
1538432584.659 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1538432584.659 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1538432584.660 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1538432584.660 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1538432584.660 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1538432584.660 * * [misc]simplify:  iters left: 2 (3 enodes)
1538432584.661 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1538432584.661 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1538432584.661 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1538432584.662 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1538432584.662 * * [misc]simplify:  iters left: 2 (3 enodes)
1538432584.663 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1538432584.663 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1538432584.663 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1538432584.664 * [enter]simplify:  Simplifying (sqrt x)
1538432584.664 * * [misc]simplify:  iters left: 1 (2 enodes)
1538432584.665 * [exit]simplify:  Simplified to (sqrt x)
1538432584.665 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1538432584.665 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1538432584.665 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1538432584.665 * * [misc]simplify:  iters left: 6 (6 enodes)
1538432584.669 * * [misc]simplify:  iters left: 5 (11 enodes)
1538432584.672 * * [misc]simplify:  iters left: 4 (12 enodes)
1538432584.676 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1538432584.676 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1538432584.676 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1538432584.676 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1538432584.677 * * [misc]simplify:  iters left: 6 (6 enodes)
1538432584.681 * * [misc]simplify:  iters left: 5 (12 enodes)
1538432584.684 * * [misc]simplify:  iters left: 4 (13 enodes)
1538432584.688 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1538432584.688 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1538432584.688 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1538432584.689 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1538432584.689 * * [misc]simplify:  iters left: 4 (5 enodes)
1538432584.692 * * [misc]simplify:  iters left: 3 (10 enodes)
1538432584.695 * * [misc]simplify:  iters left: 2 (11 enodes)
1538432584.698 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1538432584.698 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1538432584.698 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1538432584.698 * [enter]simplify:  Simplifying (sqrt 1)
1538432584.699 * * [misc]simplify:  iters left: 1 (2 enodes)
1538432584.700 * [exit]simplify:  Simplified to 1
1538432584.700 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1538432584.700 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1538432584.701 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1538432584.701 * * [misc]simplify:  iters left: 4 (5 enodes)
1538432584.704 * * [misc]simplify:  iters left: 3 (10 enodes)
1538432584.707 * * [misc]simplify:  iters left: 2 (11 enodes)
1538432584.710 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1538432584.711 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1538432584.711 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1538432584.711 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1538432584.711 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1538432584.712 * * [misc]simplify:  iters left: 6 (9 enodes)
1538432584.718 * * [misc]simplify:  iters left: 5 (20 enodes)
1538432584.727 * * [misc]simplify:  iters left: 4 (27 enodes)
1538432584.732 * * [misc]simplify:  iters left: 3 (29 enodes)
1538432584.738 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (fma (* x x) x -1)))
1538432584.738 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma (* x x) x -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1538432584.738 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1538432584.739 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1538432584.739 * * [misc]simplify:  iters left: 6 (8 enodes)
1538432584.745 * * [misc]simplify:  iters left: 5 (16 enodes)
1538432584.751 * * [misc]simplify:  iters left: 4 (23 enodes)
1538432584.756 * * [misc]simplify:  iters left: 3 (27 enodes)
1538432584.765 * * [misc]simplify:  iters left: 2 (43 enodes)
1538432584.793 * * [misc]simplify:  iters left: 1 (74 enodes)
1538432584.841 * [exit]simplify:  Simplified to (* (sqrt (fma x x -1)) (sqrt x))
1538432584.841 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1))))
1538432584.841 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1538432584.841 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1538432584.841 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1538432584.841 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1538432584.841 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1538432584.841 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1538432584.841 * * [misc]simplify:  iters left: 6 (8 enodes)
1538432584.845 * * [misc]simplify:  iters left: 5 (19 enodes)
1538432584.850 * * [misc]simplify:  iters left: 4 (31 enodes)
1538432584.859 * * [misc]simplify:  iters left: 3 (58 enodes)
1538432584.878 * * [misc]simplify:  iters left: 2 (97 enodes)
1538432584.898 * * [misc]simplify:  iters left: 1 (126 enodes)
1538432584.938 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1538432584.938 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1538432584.938 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1538432584.939 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1538432584.939 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1538432584.939 * * * [misc]progress:  adding candidates to table
1538432585.333 * * [misc]progress:  iteration 2 / 4
1538432585.333 * * * [misc]progress:  picking best candidate
1538432585.339 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>
1538432585.339 * * * [misc]progress:  localizing error
1538432585.357 * * * [misc]progress:  generating rewritten candidates
1538432585.357 * * * [misc]progress:  generating series expansions
1538432585.357 * * * [misc]progress:  simplifying candidates
1538432585.357 * * * [misc]progress:  adding candidates to table
1538432585.357 * [misc]progress:  [Phase 3 of 3] Extracting.
1538432585.358 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.361 * * * [misc]regime-changes:  Trying 5 branch expressions: ((sqrt x) x (- x 1) (sqrt (- x 1)) (* (sqrt (- x 1)) (sqrt x)))
1538432585.361 * * * * [misc]regimes:  Trying to branch on (sqrt x) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.388 * * * * [misc]regimes:  Trying to branch on (sqrt x) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.436 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.455 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.478 * * * * [misc]regimes:  Trying to branch on (- x 1) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.532 * * * * [misc]regimes:  Trying to branch on (- x 1) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.587 * * * * [misc]regimes:  Trying to branch on (sqrt (- x 1)) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.651 * * * * [misc]regimes:  Trying to branch on (sqrt (- x 1)) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.691 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.766 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>)
1538432585.810 * * * [misc]regime:  Found split indices: #(struct:option (#(struct:si 1 256)) (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>) ((26.696485874931508) (29.12078534258805) (227.13179407318205) (1560.2745834708683) (176641.2766062546) (755199.7496183196) (986782.5855194365) (353480817.43103194) (890817714.4035921) (898536260.9007198) (8213514867.838334) (4376597076220.88) (2700292073365504.0) (1.8621384665833318e+18) (1.212928916408016e+20) (3.048036390252816e+20) (7.125648309408071e+21) (5.337459183988942e+23) (1.2007465825334913e+26) (2.4517888746846832e+27) (3.340889964776977e+27) (1.2254929913757924e+28) (3.7573064553890494e+28) (1.21450021838901e+29) (1.4246215985369233e+29) (2.3767733712759165e+29) (1.4256145915979856e+30) (9.259083047734405e+30) (4.679126173157772e+31) (8.225297795547152e+31) (2.1676243238814723e+33) (5.0479768192383523e+33) (5.382985006463953e+33) (2.7950024196339527e+34) (3.8920141053172105e+34) (2.5870974494567966e+35) (3.422747491098994e+36) (4.438967973701241e+38) (4.941878643016784e+38) (1.919728152283414e+44) (6.74900171025427e+44) (5.788338803308361e+46) (2.3202102032658307e+47) (6.277550651658187e+48) (6.294972606472225e+48) (1.7843040340793536e+49) (3.685733524831826e+49) (4.3551576763319044e+49) (1.4963073562557067e+50) (1.9841472835263102e+51) (9.415947769540314e+52) (1.6531990159868996e+53) (2.887471640234104e+57) (9.185822651385762e+57) (1.6602088911245752e+59) (8.574609196305082e+59) (7.753232959220986e+61) (1.5968901243226032e+63) (2.1828910925316227e+64) (1.9639259087528278e+65) (3.713943307341943e+66) (1.0094599864998968e+68) (2.1305092493963084e+70) (1.2399607886116369e+71) (3.1304142726920476e+71) (2.731277502798791e+73) (1.6015382078070927e+76) (1.7238715206350058e+78) (6.964671464721779e+78) (5.904017944639986e+79) (2.827737019225609e+80) (4.319660499155156e+81) (4.1004814960251215e+83) (1.4369401366105666e+85) (6.8107797759497745e+87) (1.171933532506296e+88) (6.142352078336728e+88) (1.2225365920410049e+89) (1.4823491670062408e+90) (1.1951248529197597e+91) (2.8197279129315264e+91) (5.574371059116902e+91) (1.1303110575557633e+92) (2.172054519188061e+93) (6.4227028102926625e+97) (3.477188782772765e+98) (3.2417450605435954e+102) (2.037376953334887e+103) (4.146860342379921e+103) (3.097044673436437e+105) (1.3340555116867528e+106) (1.9883596861831683e+106) (1.0299907060783205e+107) (1.1679473282505558e+108) (1.6152999705438473e+108) (1.0351022262508868e+111) (4.054755814373572e+111) (5.305571526320712e+112) (7.329111821897813e+112) (1.1318877535263217e+113) (4.2296381379424166e+113) (5.221962863382832e+115) (1.2047669301393184e+116) (3.327409414268654e+116) (4.895466708212474e+116) (1.6420389279637206e+117) (4.060906071938837e+117) (6.914193535204668e+118) (2.7310953461547167e+119) (1.8143730834964543e+122) (6.482055897289478e+122) (1.1023925757869919e+123) (1.2718142098862217e+123) (2.0002248427729195e+123) (9.642777401986586e+123) (2.452075598975137e+124) (6.977694397830812e+126) (8.109660354347647e+126) (1.0005090235789928e+130) (2.034923481802442e+130) (5.657294928437479e+130) (1.2539399988273848e+131) (6.453984803328337e+131) (1.5101483274558668e+133) (7.999515132161149e+135) (6.517865798563405e+137) (1.1394395066354036e+139) (1.6753213647583037e+142) (3.2569063540992913e+142) (7.734960480249296e+142) (2.3574118327790084e+144) (1.1463521479416993e+147) (1.1849941932111514e+147) (3.2316646001877984e+147) (6.519876962632482e+148) (3.1745020026989923e+150) (3.7461756734014516e+150) (4.0062757049117294e+152) (2.528079238119833e+154) (1.074595339520427e+159) (2.145160492573098e+159) (1.8357954399884557e+161) (4.292015828543353e+161) (1.1562930791464212e+162) (1.1189154906907531e+164) (8.944681733044821e+164) (2.2379365890072973e+170) (2.2852932592816367e+170) (6.47876798506127e+171) (1.8585931176732397e+173) (3.635205138931764e+174) (1.1040763026049687e+176) (3.9682934522904465e+176) (9.569571334565063e+176) (4.14875956208267e+177) (6.266857370930298e+177) (2.0005372734078082e+178) (1.1589916581854544e+179) (7.199563240588677e+179) (3.80084844875602e+180) (8.195549197290299e+180) (5.244494532859882e+181) (4.439368017307397e+186) (1.3821214055491541e+187) (6.580128605431242e+187) (5.815342389702271e+188) (3.855535432669494e+189) (9.717301041481763e+189) (5.3537649689330243e+191) (6.437358558152918e+191) (2.1452355894756905e+192) (6.118271438108262e+194) (3.8408539167241473e+195) (2.62889577711459e+196) (3.4271077033331264e+198) (5.407008177270306e+198) (3.02981532962557e+205) (7.217430100220218e+206) (3.3780375185566056e+207) (4.089260060965875e+210) (1.4362498147635457e+212) (4.16904224563444e+215) (1.667096389941165e+217) (2.0482757971381112e+217) (2.645958191120531e+219) (5.241578694699936e+219) (5.808051207007082e+219) (1.6776207786267044e+221) (1.0913727085581899e+222) (9.680719621167962e+225) (8.270192758729787e+227) (2.335548602577915e+228) (5.953534695348908e+228) (8.61192887574126e+228) (4.5638495690336736e+229) (4.811743565516568e+229) (3.4888371465405904e+230) (1.583454440998791e+231) (3.152680155895336e+231) (1.3290776486143631e+233) (1.576923006849791e+233) (3.3485572651608234e+233) (1.3327428411897067e+234) (1.7627630684338616e+234) (9.396703410258482e+235) (2.4081429939728768e+237) (1.630636342205056e+239) (1.926547121010438e+240) (7.515730920441158e+240) (2.1325375010994547e+241) (2.732378064888327e+243) (5.494859240217865e+243) (5.326640683093079e+246) (2.0344485512891877e+249) (3.3477549253946394e+249) (1.0540190754334879e+251) (3.9748080433598637e+251) (2.5056988433296695e+253) (3.1348735815853566e+254) (1.365738543694008e+257) (2.057464901940841e+258) (2.0138465609542085e+261) (1.1012252247638133e+262) (5.20961718439258e+264) (5.46464663277027e+264) (9.924413418965384e+265) (1.8335442798048475e+268) (2.3996769757181875e+269) (4.1205456835087174e+269) (2.5150323076665738e+271) (1.2776923818521676e+274) (1.3141477607025622e+275) (9.91002994225862e+275) (1.906215132306468e+276) (6.437536866012863e+276) (2.781953047067622e+277) (1.4477943115116046e+278) (2.2334403642972838e+278) (5.777988051061145e+280) (1.022406366042497e+281) (2.0788252477924764e+281) (5.7744994802471624e+281) (3.748654769182617e+282) (1.894699998874144e+285) (1.505155594604508e+286) (1.2041056712256978e+288) (1.4831718684127281e+289) (1.4648067341846304e+290) (1.3119452675833543e+293) (1.5009437778164568e+296) (5.065610427749672e+299) (3.201720477890497e+300) (1.9047079996922082e+301) (3.600924689762597e+304) (1.0372576272890202e+305) (2.4077386821800744e+306)) (sqrt x) (25277247794 21201231854 42743597 112958 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1))
1538432585.813 * [enter]simplify:  Simplifying (- (/ -1/8 x) (- 1/2 x))
1538432585.813 * * [misc]simplify:  iters left: 4 (6 enodes)
1538432585.815 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1538432585.815 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538432586.924 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432586.926 * * * * [misc]points:  Sampling 5988 additional inputs, on iter 1 have 2012 / 8000
1538432588.017 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432588.018 * * * * [misc]points:  Sampling 4469 additional inputs, on iter 2 have 3531 / 8000
1538432588.699 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432588.701 * * * * [misc]points:  Sampling 3383 additional inputs, on iter 3 have 4617 / 8000
1538432589.216 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432589.217 * * * * [misc]points:  Sampling 2556 additional inputs, on iter 4 have 5444 / 8000
1538432589.590 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432589.591 * * * * [misc]points:  Sampling 1909 additional inputs, on iter 5 have 6091 / 8000
1538432589.808 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432589.809 * * * * [misc]points:  Sampling 1435 additional inputs, on iter 6 have 6565 / 8000
1538432589.983 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432589.984 * * * * [misc]points:  Sampling 1094 additional inputs, on iter 7 have 6906 / 8000
1538432590.174 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.174 * * * * [misc]points:  Sampling 819 additional inputs, on iter 8 have 7181 / 8000
1538432590.321 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.321 * * * * [misc]points:  Sampling 624 additional inputs, on iter 9 have 7376 / 8000
1538432590.411 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.411 * * * * [misc]points:  Sampling 460 additional inputs, on iter 10 have 7540 / 8000
1538432590.493 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.493 * * * * [misc]points:  Sampling 319 additional inputs, on iter 11 have 7681 / 8000
1538432590.520 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.521 * * * * [misc]points:  Sampling 232 additional inputs, on iter 12 have 7768 / 8000
1538432590.546 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.546 * * * * [misc]points:  Sampling 180 additional inputs, on iter 13 have 7820 / 8000
1538432590.574 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.575 * * * * [misc]points:  Sampling 143 additional inputs, on iter 14 have 7857 / 8000
1538432590.594 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.594 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1538432590.605 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.605 * * * * [misc]points:  Sampling 85 additional inputs, on iter 16 have 7915 / 8000
1538432590.649 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.649 * * * * [misc]points:  Sampling 61 additional inputs, on iter 17 have 7939 / 8000
1538432590.664 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.665 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1538432590.674 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.674 * * * * [misc]points:  Sampling 39 additional inputs, on iter 19 have 7961 / 8000
1538432590.682 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.682 * * * * [misc]points:  Sampling 27 additional inputs, on iter 20 have 7973 / 8000
1538432590.689 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.689 * * * * [misc]points:  Sampling 20 additional inputs, on iter 21 have 7980 / 8000
1538432590.694 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.694 * * * * [misc]points:  Sampling 14 additional inputs, on iter 22 have 7986 / 8000
1538432590.698 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.698 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1538432590.702 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.702 * * * * [misc]points:  Sampling 10 additional inputs, on iter 24 have 7990 / 8000
1538432590.705 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.705 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1538432590.708 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.708 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1538432590.711 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.711 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7999 / 8000
1538432590.714 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538432590.714 * * * * [exit]points:  Sampled 8000 points with exact outputs