1538417458.102 * [misc]progress:  [Phase 1 of 3] Setting up.
1538417458.104 * * * [misc]progress:  [1/2] Preparing points
1538417458.106 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1538417458.108 * * * * [misc]points:  Computing exacts on every 16 of 256 points to ramp up precision
1538417458.154 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.155 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.156 * * * * [misc]points:  Computing exacts on every 8 of 256 points to ramp up precision
1538417458.157 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.158 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.158 * * * * [misc]points:  Computing exacts on every 4 of 256 points to ramp up precision
1538417458.159 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.160 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.161 * * * * [misc]points:  Computing exacts on every 2 of 256 points to ramp up precision
1538417458.162 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.163 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.165 * * * * [misc]points:  Computing exacts for 256 points
1538417458.166 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.170 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.174 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.175 * * * * [misc]points:  Sampling 190 additional inputs, on iter 1 have 66 / 256
1538417458.175 * * * * [misc]points:  Computing exacts on every 11 of 190 points to ramp up precision
1538417458.176 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.177 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.177 * * * * [misc]points:  Computing exacts on every 5 of 190 points to ramp up precision
1538417458.178 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.178 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.179 * * * * [misc]points:  Computing exacts on every 2 of 190 points to ramp up precision
1538417458.180 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.181 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.182 * * * * [misc]points:  Computing exacts for 190 points
1538417458.183 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.186 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.189 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.189 * * * * [misc]points:  Sampling 143 additional inputs, on iter 2 have 113 / 256
1538417458.190 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1538417458.191 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.191 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.192 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1538417458.193 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.193 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.194 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1538417458.195 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.196 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.196 * * * * [misc]points:  Computing exacts for 143 points
1538417458.198 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.200 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.203 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.204 * * * * [misc]points:  Sampling 106 additional inputs, on iter 3 have 150 / 256
1538417458.204 * * * * [misc]points:  Computing exacts on every 6 of 106 points to ramp up precision
1538417458.205 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.206 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.206 * * * * [misc]points:  Computing exacts on every 3 of 106 points to ramp up precision
1538417458.207 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.208 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.246 * * * * [misc]points:  Computing exacts for 106 points
1538417458.247 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.248 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.250 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.250 * * * * [misc]points:  Sampling 80 additional inputs, on iter 4 have 176 / 256
1538417458.250 * * * * [misc]points:  Computing exacts on every 5 of 80 points to ramp up precision
1538417458.251 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.252 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.252 * * * * [misc]points:  Computing exacts on every 2 of 80 points to ramp up precision
1538417458.253 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.253 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.254 * * * * [misc]points:  Computing exacts for 80 points
1538417458.255 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.257 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.258 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.258 * * * * [misc]points:  Sampling 59 additional inputs, on iter 5 have 197 / 256
1538417458.258 * * * * [misc]points:  Computing exacts on every 3 of 59 points to ramp up precision
1538417458.259 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.260 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.260 * * * * [misc]points:  Computing exacts for 59 points
1538417458.261 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.262 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.262 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.262 * * * * [misc]points:  Sampling 47 additional inputs, on iter 6 have 209 / 256
1538417458.263 * * * * [misc]points:  Computing exacts on every 2 of 47 points to ramp up precision
1538417458.264 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.264 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.264 * * * * [misc]points:  Computing exacts for 47 points
1538417458.265 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.266 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.266 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.266 * * * * [misc]points:  Sampling 40 additional inputs, on iter 7 have 216 / 256
1538417458.266 * * * * [misc]points:  Computing exacts on every 2 of 40 points to ramp up precision
1538417458.267 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.268 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.268 * * * * [misc]points:  Computing exacts for 40 points
1538417458.269 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.269 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.270 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.270 * * * * [misc]points:  Sampling 34 additional inputs, on iter 8 have 222 / 256
1538417458.270 * * * * [misc]points:  Computing exacts on every 2 of 34 points to ramp up precision
1538417458.271 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.271 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.272 * * * * [misc]points:  Computing exacts for 34 points
1538417458.272 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.273 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.273 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.273 * * * * [misc]points:  Sampling 25 additional inputs, on iter 9 have 231 / 256
1538417458.274 * * * * [misc]points:  Computing exacts for 25 points
1538417458.274 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.275 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.275 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.275 * * * * [misc]points:  Sampling 17 additional inputs, on iter 10 have 239 / 256
1538417458.275 * * * * [misc]points:  Computing exacts for 17 points
1538417458.276 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.277 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.277 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.277 * * * * [misc]points:  Sampling 12 additional inputs, on iter 11 have 244 / 256
1538417458.277 * * * * [misc]points:  Computing exacts for 12 points
1538417458.278 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.278 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.278 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.278 * * * * [misc]points:  Sampling 9 additional inputs, on iter 12 have 247 / 256
1538417458.278 * * * * [misc]points:  Computing exacts for 9 points
1538417458.279 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.279 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.280 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.280 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1538417458.280 * * * * [misc]points:  Computing exacts for 8 points
1538417458.280 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.281 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.281 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.281 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1538417458.281 * * * * [misc]points:  Computing exacts for 6 points
1538417458.282 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.282 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.282 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.282 * * * * [misc]points:  Sampling 5 additional inputs, on iter 15 have 251 / 256
1538417458.282 * * * * [misc]points:  Computing exacts for 5 points
1538417458.283 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.283 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.283 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.283 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 253 / 256
1538417458.283 * * * * [misc]points:  Computing exacts for 4 points
1538417458.284 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.284 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.284 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.284 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 254 / 256
1538417458.284 * * * * [misc]points:  Computing exacts for 4 points
1538417458.285 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.285 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.285 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.285 * * * * [misc]points:  Sampling 4 additional inputs, on iter 18 have 255 / 256
1538417458.286 * * * * [misc]points:  Computing exacts for 4 points
1538417458.286 * * * * [misc]points:  Setting MPFR precision to 64
1538417458.286 * * * * [misc]points:  Setting MPFR precision to 320
1538417458.287 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417458.287 * * * * [exit]points:  Sampled 257 points with exact outputs
1538417458.287 * * * [misc]progress:  [2/2] Setting up program.
1538417458.290 * [misc]progress:  [Phase 2 of 3] Improving.
1538417458.291 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1538417458.292 * * [misc]simplify:  iters left: 5 (6 enodes)
1538417458.297 * * [misc]simplify:  iters left: 4 (12 enodes)
1538417458.300 * * [misc]simplify:  iters left: 3 (13 enodes)
1538417458.306 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1538417458.318 * * [misc]progress:  iteration 1 / 4
1538417458.318 * * * [misc]progress:  picking best candidate
1538417458.323 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1538417458.323 * * * [misc]progress:  localizing error
1538417458.368 * * * [misc]progress:  generating rewritten candidates
1538417458.368 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1538417458.383 * * * [misc]progress:  generating series expansions
1538417458.384 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1538417458.391 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1538417458.391 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1538417458.392 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1538417458.392 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1538417458.392 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.392 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.393 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.393 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538417458.393 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.393 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.393 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.393 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.393 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.394 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.394 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538417458.394 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538417458.395 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.395 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.395 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538417458.395 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.396 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.396 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1538417458.396 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1538417458.396 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.396 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.396 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.396 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1538417458.396 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.396 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.396 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.396 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.396 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.396 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.396 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538417458.397 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1538417458.397 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.397 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.397 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1538417458.397 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.398 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.398 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.398 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538417458.399 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.399 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538417458.400 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1538417458.402 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538417458.402 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538417458.402 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.402 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538417458.403 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1538417458.404 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538417458.404 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1538417458.406 * [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)))))))
1538417458.406 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1538417458.406 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1538417458.406 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1538417458.406 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1538417458.406 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538417458.406 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538417458.406 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.406 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.406 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.407 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.407 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.407 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.407 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.407 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.407 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.407 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.408 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538417458.408 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538417458.408 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.409 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538417458.409 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1538417458.409 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538417458.409 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1538417458.409 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1538417458.409 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1538417458.409 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538417458.409 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.409 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.409 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.409 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.409 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.409 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.409 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.410 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.410 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.410 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.410 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.410 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1538417458.410 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538417458.410 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.411 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1538417458.411 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1538417458.411 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1538417458.411 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.411 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1538417458.412 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538417458.412 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.412 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538417458.412 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1538417458.413 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1538417458.413 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1538417458.414 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1538417458.414 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1538417458.414 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1538417458.414 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1538417458.414 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1538417458.414 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1538417458.414 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538417458.414 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538417458.414 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.414 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.414 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.415 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.415 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.415 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.415 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.415 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.415 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.415 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.416 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.416 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1538417458.416 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538417458.416 * [misc]taylor:  Taking taylor expansion of -1 in x
1538417458.416 * [misc]backup-simplify:  Simplify -1 into -1
1538417458.416 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.416 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.416 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.416 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538417458.416 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.417 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.417 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1538417458.417 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1538417458.417 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1538417458.417 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1538417458.417 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1538417458.417 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.417 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.417 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.417 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1538417458.417 * [misc]taylor:  Taking taylor expansion of 1 in x
1538417458.417 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.418 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1538417458.418 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.418 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.418 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.418 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.419 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1538417458.419 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1538417458.419 * [misc]taylor:  Taking taylor expansion of -1 in x
1538417458.419 * [misc]backup-simplify:  Simplify -1 into -1
1538417458.419 * [misc]taylor:  Taking taylor expansion of x in x
1538417458.419 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.419 * [misc]backup-simplify:  Simplify 1 into 1
1538417458.419 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1538417458.419 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1538417458.419 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1538417458.420 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1538417458.420 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.420 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1538417458.420 * [misc]backup-simplify:  Simplify 0 into 0
1538417458.420 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1538417458.421 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538417458.422 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1538417458.422 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1538417458.422 * [misc]backup-simplify:  Simplify (- 1) into -1
1538417458.423 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1538417458.424 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1538417458.424 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538417458.424 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538417458.426 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538417458.426 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538417458.426 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538417458.426 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.428 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538417458.429 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1538417458.429 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538417458.430 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538417458.431 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538417458.432 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1538417458.432 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1538417458.432 * [misc]backup-simplify:  Simplify (- 0) into 0
1538417458.434 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1538417458.435 * [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)
1538417458.436 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1538417458.436 * [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)))))
1538417458.436 * * * [misc]progress:  simplifying candidates
1538417458.437 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1538417458.437 * [enter]simplify:  Simplifying (* (- x 1) x)
1538417458.437 * * [misc]simplify:  iters left: 4 (4 enodes)
1538417458.439 * * [misc]simplify:  iters left: 3 (10 enodes)
1538417458.442 * * [misc]simplify:  iters left: 2 (16 enodes)
1538417458.447 * * [misc]simplify:  iters left: 1 (22 enodes)
1538417458.451 * [exit]simplify:  Simplified to (- (* x x) x)
1538417458.451 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1538417458.452 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1538417458.452 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1538417458.452 * * [misc]simplify:  iters left: 5 (6 enodes)
1538417458.455 * * [misc]simplify:  iters left: 4 (12 enodes)
1538417458.457 * * [misc]simplify:  iters left: 3 (13 enodes)
1538417458.460 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1538417458.460 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1538417458.460 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1538417458.460 * * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1538417458.461 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1538417458.461 * * [misc]simplify:  iters left: 6 (8 enodes)
1538417458.463 * * [misc]simplify:  iters left: 5 (14 enodes)
1538417458.467 * * [misc]simplify:  iters left: 4 (15 enodes)
1538417458.470 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1538417458.470 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1538417458.470 * * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1538417458.470 * * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1538417458.470 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1538417458.470 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1538417458.470 * * [misc]simplify:  iters left: 6 (10 enodes)
1538417458.474 * * [misc]simplify:  iters left: 5 (22 enodes)
1538417458.480 * * [misc]simplify:  iters left: 4 (48 enodes)
1538417458.494 * * [misc]simplify:  iters left: 3 (94 enodes)
1538417458.540 * * [misc]simplify:  iters left: 2 (188 enodes)
1538417458.640 * * [misc]simplify:  iters left: 1 (365 enodes)
1538417458.844 * [exit]simplify:  Simplified to (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))
1538417458.844 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))))
1538417458.844 * * * * [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)))))>
1538417458.844 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1538417458.844 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1538417458.844 * [enter]simplify:  Simplifying (* (- x 1) x)
1538417458.844 * * [misc]simplify:  iters left: 4 (4 enodes)
1538417458.846 * * [misc]simplify:  iters left: 3 (10 enodes)
1538417458.847 * * [misc]simplify:  iters left: 2 (16 enodes)
1538417458.849 * * [misc]simplify:  iters left: 1 (22 enodes)
1538417458.853 * [exit]simplify:  Simplified to (- (* x x) x)
1538417458.853 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1538417458.853 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1538417458.853 * * * * [misc]progress:  [ 12 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1538417458.853 * * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1538417458.853 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1538417458.853 * * [misc]simplify:  iters left: 2 (3 enodes)
1538417458.854 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1538417458.854 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1538417458.854 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1538417458.854 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1538417458.854 * * [misc]simplify:  iters left: 2 (3 enodes)
1538417458.854 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1538417458.854 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1538417458.854 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1538417458.854 * [enter]simplify:  Simplifying (sqrt x)
1538417458.854 * * [misc]simplify:  iters left: 1 (2 enodes)
1538417458.855 * [exit]simplify:  Simplified to (sqrt x)
1538417458.855 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1538417458.855 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1538417458.855 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1538417458.855 * * [misc]simplify:  iters left: 6 (6 enodes)
1538417458.856 * * [misc]simplify:  iters left: 5 (11 enodes)
1538417458.858 * * [misc]simplify:  iters left: 4 (12 enodes)
1538417458.859 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1538417458.859 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1538417458.859 * * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1538417458.859 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1538417458.859 * * [misc]simplify:  iters left: 6 (6 enodes)
1538417458.861 * * [misc]simplify:  iters left: 5 (12 enodes)
1538417458.862 * * [misc]simplify:  iters left: 4 (13 enodes)
1538417458.864 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1538417458.864 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1538417458.864 * * * * [misc]progress:  [ 18 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1538417458.864 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1538417458.864 * * [misc]simplify:  iters left: 4 (5 enodes)
1538417458.865 * * [misc]simplify:  iters left: 3 (10 enodes)
1538417458.866 * * [misc]simplify:  iters left: 2 (11 enodes)
1538417458.867 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1538417458.867 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1538417458.867 * * * * [misc]progress:  [ 19 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1538417458.867 * [enter]simplify:  Simplifying (sqrt 1)
1538417458.867 * * [misc]simplify:  iters left: 1 (2 enodes)
1538417458.868 * [exit]simplify:  Simplified to 1
1538417458.868 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1538417458.868 * * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1538417458.868 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1538417458.869 * * [misc]simplify:  iters left: 4 (5 enodes)
1538417458.870 * * [misc]simplify:  iters left: 3 (10 enodes)
1538417458.872 * * [misc]simplify:  iters left: 2 (11 enodes)
1538417458.874 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1538417458.874 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1538417458.874 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1538417458.874 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1538417458.874 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1538417458.874 * * [misc]simplify:  iters left: 6 (9 enodes)
1538417458.878 * * [misc]simplify:  iters left: 5 (20 enodes)
1538417458.881 * * [misc]simplify:  iters left: 4 (21 enodes)
1538417458.885 * * [misc]simplify:  iters left: 3 (23 enodes)
1538417458.889 * * [misc]simplify:  iters left: 2 (25 enodes)
1538417458.893 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (+ (pow x 3) -1)))
1538417458.893 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (+ (pow x 3) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1538417458.893 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1538417458.893 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1538417458.893 * * [misc]simplify:  iters left: 6 (8 enodes)
1538417458.896 * * [misc]simplify:  iters left: 5 (14 enodes)
1538417458.899 * * [misc]simplify:  iters left: 4 (17 enodes)
1538417458.902 * * [misc]simplify:  iters left: 3 (20 enodes)
1538417458.907 * * [misc]simplify:  iters left: 2 (36 enodes)
1538417458.923 * * [misc]simplify:  iters left: 1 (61 enodes)
1538417458.937 * [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt x))
1538417458.937 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (- (* x x) 1)) (sqrt x)) (sqrt (+ x 1))))
1538417458.937 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1538417458.937 * * * * [misc]progress:  [ 25 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1538417458.937 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1538417458.937 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1538417458.937 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1538417458.937 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1538417458.937 * * [misc]simplify:  iters left: 6 (8 enodes)
1538417458.939 * * [misc]simplify:  iters left: 5 (18 enodes)
1538417458.942 * * [misc]simplify:  iters left: 4 (29 enodes)
1538417458.947 * * [misc]simplify:  iters left: 3 (55 enodes)
1538417458.957 * * [misc]simplify:  iters left: 2 (77 enodes)
1538417458.971 * * [misc]simplify:  iters left: 1 (98 enodes)
1538417459.003 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1538417459.003 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1538417459.003 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1538417459.004 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1538417459.004 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1538417459.004 * * * [misc]progress:  adding candidates to table
1538417459.247 * * [misc]progress:  iteration 2 / 4
1538417459.247 * * * [misc]progress:  picking best candidate
1538417459.249 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>
1538417459.249 * * * [misc]progress:  localizing error
1538417459.258 * * * [misc]progress:  generating rewritten candidates
1538417459.258 * * * [misc]progress:  generating series expansions
1538417459.258 * * * [misc]progress:  simplifying candidates
1538417459.258 * * * [misc]progress:  adding candidates to table
1538417459.258 * [misc]progress:  [Phase 3 of 3] Extracting.
1538417459.258 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>)
1538417459.259 * * * [misc]regime-changes:  Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x)))
1538417459.259 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>)
1538417459.278 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>)
1538417459.305 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1538417459.305 * [enter]simplify:  Simplifying (+ (/ -1/8 x) (+ x -1/2))
1538417459.305 * * [misc]simplify:  iters left: 4 (6 enodes)
1538417459.306 * * [misc]simplify:  iters left: 3 (8 enodes)
1538417459.307 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1538417459.307 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1538417459.349 * * * * [misc]points:  Computing exacts on every 500 of 8000 points to ramp up precision
1538417459.351 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.352 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.353 * * * * [misc]points:  Computing exacts on every 250 of 8000 points to ramp up precision
1538417459.354 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.355 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.356 * * * * [misc]points:  Computing exacts on every 125 of 8000 points to ramp up precision
1538417459.357 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.358 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.358 * * * * [misc]points:  Computing exacts on every 62 of 8000 points to ramp up precision
1538417459.360 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.362 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.363 * * * * [misc]points:  Computing exacts on every 31 of 8000 points to ramp up precision
1538417459.364 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.368 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.371 * * * * [misc]points:  Computing exacts on every 15 of 8000 points to ramp up precision
1538417459.373 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.380 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.390 * * * * [misc]points:  Computing exacts on every 7 of 8000 points to ramp up precision
1538417459.392 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.416 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.430 * * * * [misc]points:  Computing exacts on every 3 of 8000 points to ramp up precision
1538417459.432 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.487 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.515 * * * * [misc]points:  Computing exacts for 8000 points
1538417459.516 * * * * [misc]points:  Setting MPFR precision to 64
1538417459.666 * * * * [misc]points:  Setting MPFR precision to 320
1538417459.855 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.057 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417460.060 * * * * [misc]points:  Sampling 5988 additional inputs, on iter 1 have 2012 / 8000
1538417460.117 * * * * [misc]points:  Computing exacts on every 374 of 5988 points to ramp up precision
1538417460.119 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.119 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.120 * * * * [misc]points:  Computing exacts on every 187 of 5988 points to ramp up precision
1538417460.121 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.121 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.122 * * * * [misc]points:  Computing exacts on every 93 of 5988 points to ramp up precision
1538417460.123 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.124 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.125 * * * * [misc]points:  Computing exacts on every 46 of 5988 points to ramp up precision
1538417460.126 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.128 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.130 * * * * [misc]points:  Computing exacts on every 23 of 5988 points to ramp up precision
1538417460.132 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.139 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.147 * * * * [misc]points:  Computing exacts on every 11 of 5988 points to ramp up precision
1538417460.149 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.164 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.179 * * * * [misc]points:  Computing exacts on every 5 of 5988 points to ramp up precision
1538417460.181 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.586 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.618 * * * * [misc]points:  Computing exacts on every 2 of 5988 points to ramp up precision
1538417460.620 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.676 * * * * [misc]points:  Setting MPFR precision to 576
1538417460.735 * * * * [misc]points:  Computing exacts for 5988 points
1538417460.737 * * * * [misc]points:  Setting MPFR precision to 320
1538417460.983 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.222 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417461.223 * * * * [misc]points:  Sampling 4469 additional inputs, on iter 2 have 3531 / 8000
1538417461.246 * * * * [misc]points:  Computing exacts on every 279 of 4469 points to ramp up precision
1538417461.249 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.249 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.250 * * * * [misc]points:  Computing exacts on every 139 of 4469 points to ramp up precision
1538417461.252 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.253 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.254 * * * * [misc]points:  Computing exacts on every 69 of 4469 points to ramp up precision
1538417461.256 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.258 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.260 * * * * [misc]points:  Computing exacts on every 34 of 4469 points to ramp up precision
1538417461.262 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.265 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.269 * * * * [misc]points:  Computing exacts on every 17 of 4469 points to ramp up precision
1538417461.271 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.278 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.286 * * * * [misc]points:  Computing exacts on every 8 of 4469 points to ramp up precision
1538417461.288 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.304 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.351 * * * * [misc]points:  Computing exacts on every 4 of 4469 points to ramp up precision
1538417461.354 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.382 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.409 * * * * [misc]points:  Computing exacts on every 2 of 4469 points to ramp up precision
1538417461.412 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.456 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.500 * * * * [misc]points:  Computing exacts for 4469 points
1538417461.502 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.609 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.750 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417461.751 * * * * [misc]points:  Sampling 3383 additional inputs, on iter 3 have 4617 / 8000
1538417461.768 * * * * [misc]points:  Computing exacts on every 211 of 3383 points to ramp up precision
1538417461.770 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.771 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.771 * * * * [misc]points:  Computing exacts on every 105 of 3383 points to ramp up precision
1538417461.773 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.775 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.776 * * * * [misc]points:  Computing exacts on every 52 of 3383 points to ramp up precision
1538417461.778 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.780 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.782 * * * * [misc]points:  Computing exacts on every 26 of 3383 points to ramp up precision
1538417461.784 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.788 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.792 * * * * [misc]points:  Computing exacts on every 13 of 3383 points to ramp up precision
1538417461.794 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.837 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.840 * * * * [misc]points:  Computing exacts on every 6 of 3383 points to ramp up precision
1538417461.842 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.851 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.858 * * * * [misc]points:  Computing exacts on every 3 of 3383 points to ramp up precision
1538417461.859 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.871 * * * * [misc]points:  Setting MPFR precision to 576
1538417461.893 * * * * [misc]points:  Computing exacts for 3383 points
1538417461.895 * * * * [misc]points:  Setting MPFR precision to 320
1538417461.989 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.069 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417462.070 * * * * [misc]points:  Sampling 2556 additional inputs, on iter 4 have 5444 / 8000
1538417462.076 * * * * [misc]points:  Computing exacts on every 159 of 2556 points to ramp up precision
1538417462.104 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.104 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.105 * * * * [misc]points:  Computing exacts on every 79 of 2556 points to ramp up precision
1538417462.106 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.107 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.107 * * * * [misc]points:  Computing exacts on every 39 of 2556 points to ramp up precision
1538417462.109 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.111 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.112 * * * * [misc]points:  Computing exacts on every 19 of 2556 points to ramp up precision
1538417462.118 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.121 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.125 * * * * [misc]points:  Computing exacts on every 9 of 2556 points to ramp up precision
1538417462.127 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.134 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.142 * * * * [misc]points:  Computing exacts on every 4 of 2556 points to ramp up precision
1538417462.145 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.160 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.176 * * * * [misc]points:  Computing exacts on every 2 of 2556 points to ramp up precision
1538417462.178 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.203 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.228 * * * * [misc]points:  Computing exacts for 2556 points
1538417462.231 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.346 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417462.412 * * * * [misc]points:  Sampling 1909 additional inputs, on iter 5 have 6091 / 8000
1538417462.421 * * * * [misc]points:  Computing exacts on every 119 of 1909 points to ramp up precision
1538417462.423 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.424 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.424 * * * * [misc]points:  Computing exacts on every 59 of 1909 points to ramp up precision
1538417462.426 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.427 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.428 * * * * [misc]points:  Computing exacts on every 29 of 1909 points to ramp up precision
1538417462.430 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.431 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.433 * * * * [misc]points:  Computing exacts on every 14 of 1909 points to ramp up precision
1538417462.435 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.790 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.792 * * * * [misc]points:  Computing exacts on every 7 of 1909 points to ramp up precision
1538417462.794 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.799 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.810 * * * * [misc]points:  Computing exacts on every 3 of 1909 points to ramp up precision
1538417462.812 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.826 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.840 * * * * [misc]points:  Computing exacts for 1909 points
1538417462.842 * * * * [misc]points:  Setting MPFR precision to 320
1538417462.897 * * * * [misc]points:  Setting MPFR precision to 576
1538417462.995 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417462.995 * * * * [misc]points:  Sampling 1435 additional inputs, on iter 6 have 6565 / 8000
1538417463.007 * * * * [misc]points:  Computing exacts on every 89 of 1435 points to ramp up precision
1538417463.010 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.011 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.011 * * * * [misc]points:  Computing exacts on every 44 of 1435 points to ramp up precision
1538417463.013 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.014 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.015 * * * * [misc]points:  Computing exacts on every 22 of 1435 points to ramp up precision
1538417463.018 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.020 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.021 * * * * [misc]points:  Computing exacts on every 11 of 1435 points to ramp up precision
1538417463.024 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.027 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.031 * * * * [misc]points:  Computing exacts on every 5 of 1435 points to ramp up precision
1538417463.033 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.040 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.048 * * * * [misc]points:  Computing exacts on every 2 of 1435 points to ramp up precision
1538417463.049 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.056 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.063 * * * * [misc]points:  Computing exacts for 1435 points
1538417463.064 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.086 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.169 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.170 * * * * [misc]points:  Sampling 1094 additional inputs, on iter 7 have 6906 / 8000
1538417463.175 * * * * [misc]points:  Computing exacts on every 68 of 1094 points to ramp up precision
1538417463.177 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.178 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.179 * * * * [misc]points:  Computing exacts on every 34 of 1094 points to ramp up precision
1538417463.181 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.182 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.182 * * * * [misc]points:  Computing exacts on every 17 of 1094 points to ramp up precision
1538417463.185 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.186 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.188 * * * * [misc]points:  Computing exacts on every 8 of 1094 points to ramp up precision
1538417463.190 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.194 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.198 * * * * [misc]points:  Computing exacts on every 4 of 1094 points to ramp up precision
1538417463.200 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.203 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.206 * * * * [misc]points:  Computing exacts on every 2 of 1094 points to ramp up precision
1538417463.207 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.212 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.218 * * * * [misc]points:  Computing exacts for 1094 points
1538417463.219 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.235 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.300 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.300 * * * * [misc]points:  Sampling 819 additional inputs, on iter 8 have 7181 / 8000
1538417463.304 * * * * [misc]points:  Computing exacts on every 51 of 819 points to ramp up precision
1538417463.310 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.311 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.311 * * * * [misc]points:  Computing exacts on every 25 of 819 points to ramp up precision
1538417463.313 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.314 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.315 * * * * [misc]points:  Computing exacts on every 12 of 819 points to ramp up precision
1538417463.317 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.319 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.321 * * * * [misc]points:  Computing exacts on every 6 of 819 points to ramp up precision
1538417463.323 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.327 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.330 * * * * [misc]points:  Computing exacts on every 3 of 819 points to ramp up precision
1538417463.332 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.339 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.345 * * * * [misc]points:  Computing exacts for 819 points
1538417463.347 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.369 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.389 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.390 * * * * [misc]points:  Sampling 624 additional inputs, on iter 9 have 7376 / 8000
1538417463.392 * * * * [misc]points:  Computing exacts on every 39 of 624 points to ramp up precision
1538417463.395 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.395 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.396 * * * * [misc]points:  Computing exacts on every 19 of 624 points to ramp up precision
1538417463.398 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.399 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.400 * * * * [misc]points:  Computing exacts on every 9 of 624 points to ramp up precision
1538417463.402 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.404 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.406 * * * * [misc]points:  Computing exacts on every 4 of 624 points to ramp up precision
1538417463.408 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.411 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.413 * * * * [misc]points:  Computing exacts on every 2 of 624 points to ramp up precision
1538417463.414 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.418 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.421 * * * * [misc]points:  Computing exacts for 624 points
1538417463.422 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.458 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.480 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.480 * * * * [misc]points:  Sampling 460 additional inputs, on iter 10 have 7540 / 8000
1538417463.483 * * * * [misc]points:  Computing exacts on every 28 of 460 points to ramp up precision
1538417463.485 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.485 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.486 * * * * [misc]points:  Computing exacts on every 14 of 460 points to ramp up precision
1538417463.488 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.489 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.490 * * * * [misc]points:  Computing exacts on every 7 of 460 points to ramp up precision
1538417463.492 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.494 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.495 * * * * [misc]points:  Computing exacts on every 3 of 460 points to ramp up precision
1538417463.497 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.501 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.504 * * * * [misc]points:  Computing exacts for 460 points
1538417463.506 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.519 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.532 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.532 * * * * [misc]points:  Sampling 319 additional inputs, on iter 11 have 7681 / 8000
1538417463.533 * * * * [misc]points:  Computing exacts on every 19 of 319 points to ramp up precision
1538417463.535 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.536 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.536 * * * * [misc]points:  Computing exacts on every 9 of 319 points to ramp up precision
1538417463.538 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.539 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.540 * * * * [misc]points:  Computing exacts on every 4 of 319 points to ramp up precision
1538417463.542 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.544 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.545 * * * * [misc]points:  Computing exacts on every 2 of 319 points to ramp up precision
1538417463.547 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.550 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.553 * * * * [misc]points:  Computing exacts for 319 points
1538417463.555 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.563 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.572 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.572 * * * * [misc]points:  Sampling 232 additional inputs, on iter 12 have 7768 / 8000
1538417463.573 * * * * [misc]points:  Computing exacts on every 14 of 232 points to ramp up precision
1538417463.574 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.574 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.575 * * * * [misc]points:  Computing exacts on every 7 of 232 points to ramp up precision
1538417463.576 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.576 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.577 * * * * [misc]points:  Computing exacts on every 3 of 232 points to ramp up precision
1538417463.578 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.579 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.580 * * * * [misc]points:  Computing exacts for 232 points
1538417463.581 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.606 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.609 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.610 * * * * [misc]points:  Sampling 180 additional inputs, on iter 13 have 7820 / 8000
1538417463.610 * * * * [misc]points:  Computing exacts on every 11 of 180 points to ramp up precision
1538417463.611 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.612 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.612 * * * * [misc]points:  Computing exacts on every 5 of 180 points to ramp up precision
1538417463.613 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.615 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.616 * * * * [misc]points:  Computing exacts on every 2 of 180 points to ramp up precision
1538417463.618 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.620 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.622 * * * * [misc]points:  Computing exacts for 180 points
1538417463.624 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.629 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.634 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.635 * * * * [misc]points:  Sampling 143 additional inputs, on iter 14 have 7857 / 8000
1538417463.635 * * * * [misc]points:  Computing exacts on every 8 of 143 points to ramp up precision
1538417463.637 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.637 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.637 * * * * [misc]points:  Computing exacts on every 4 of 143 points to ramp up precision
1538417463.638 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.639 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.639 * * * * [misc]points:  Computing exacts on every 2 of 143 points to ramp up precision
1538417463.640 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.641 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.641 * * * * [misc]points:  Computing exacts for 143 points
1538417463.642 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.645 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.647 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.647 * * * * [misc]points:  Sampling 111 additional inputs, on iter 15 have 7889 / 8000
1538417463.647 * * * * [misc]points:  Computing exacts on every 6 of 111 points to ramp up precision
1538417463.648 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.649 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.649 * * * * [misc]points:  Computing exacts on every 3 of 111 points to ramp up precision
1538417463.650 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.650 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.651 * * * * [misc]points:  Computing exacts for 111 points
1538417463.652 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.653 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.655 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.655 * * * * [misc]points:  Sampling 85 additional inputs, on iter 16 have 7915 / 8000
1538417463.655 * * * * [misc]points:  Computing exacts on every 5 of 85 points to ramp up precision
1538417463.656 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.657 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.657 * * * * [misc]points:  Computing exacts on every 2 of 85 points to ramp up precision
1538417463.658 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.658 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.659 * * * * [misc]points:  Computing exacts for 85 points
1538417463.660 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.661 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.662 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.662 * * * * [misc]points:  Sampling 61 additional inputs, on iter 17 have 7939 / 8000
1538417463.663 * * * * [misc]points:  Computing exacts on every 3 of 61 points to ramp up precision
1538417463.664 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.665 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.665 * * * * [misc]points:  Computing exacts for 61 points
1538417463.667 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.669 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.671 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.671 * * * * [misc]points:  Sampling 49 additional inputs, on iter 18 have 7951 / 8000
1538417463.671 * * * * [misc]points:  Computing exacts on every 3 of 49 points to ramp up precision
1538417463.673 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.674 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.674 * * * * [misc]points:  Computing exacts for 49 points
1538417463.676 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.678 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.679 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.679 * * * * [misc]points:  Sampling 39 additional inputs, on iter 19 have 7961 / 8000
1538417463.679 * * * * [misc]points:  Computing exacts on every 2 of 39 points to ramp up precision
1538417463.681 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.682 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.682 * * * * [misc]points:  Computing exacts for 39 points
1538417463.684 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.685 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.687 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.687 * * * * [misc]points:  Sampling 27 additional inputs, on iter 20 have 7973 / 8000
1538417463.687 * * * * [misc]points:  Computing exacts for 27 points
1538417463.689 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.690 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.691 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.691 * * * * [misc]points:  Sampling 20 additional inputs, on iter 21 have 7980 / 8000
1538417463.691 * * * * [misc]points:  Computing exacts for 20 points
1538417463.693 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.694 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.695 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.695 * * * * [misc]points:  Sampling 14 additional inputs, on iter 22 have 7986 / 8000
1538417463.695 * * * * [misc]points:  Computing exacts for 14 points
1538417463.697 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.698 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.698 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.698 * * * * [misc]points:  Sampling 12 additional inputs, on iter 23 have 7988 / 8000
1538417463.698 * * * * [misc]points:  Computing exacts for 12 points
1538417463.700 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.701 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.701 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.701 * * * * [misc]points:  Sampling 10 additional inputs, on iter 24 have 7990 / 8000
1538417463.701 * * * * [misc]points:  Computing exacts for 10 points
1538417463.731 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.732 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.732 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.732 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1538417463.732 * * * * [misc]points:  Computing exacts for 7 points
1538417463.734 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.735 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.735 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.735 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1538417463.735 * * * * [misc]points:  Computing exacts for 6 points
1538417463.737 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.738 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.738 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.738 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7999 / 8000
1538417463.738 * * * * [misc]points:  Computing exacts for 4 points
1538417463.743 * * * * [misc]points:  Setting MPFR precision to 320
1538417463.743 * * * * [misc]points:  Setting MPFR precision to 576
1538417463.743 * * * * [misc]points:  Filtering points with unrepresentable outputs
1538417463.743 * * * * [exit]points:  Sampled 8000 points with exact outputs
1538417463.926 * [misc]regime-testing:  Baseline error score: 0.42152326122285744
1538417463.926 * [misc]regime-testing:  End program error score: 0.42152326122285744
1538417463.928 * [misc]regime-testing:  Oracle error score: 0.00475