1546942335.069 * [misc]progress:  [Phase 1 of 3] Setting up.
1546942335.070 * * * [misc]progress:  [1/2] Preparing points
1546942335.070 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1546942335.128 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.129 * * * * [misc]points:  Sampling 200 additional inputs, on iter 1 have 56 / 256
1546942335.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.191 * * * * [misc]points:  Sampling 151 additional inputs, on iter 2 have 105 / 256
1546942335.211 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.211 * * * * [misc]points:  Sampling 120 additional inputs, on iter 3 have 136 / 256
1546942335.225 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.225 * * * * [misc]points:  Sampling 90 additional inputs, on iter 4 have 166 / 256
1546942335.231 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.231 * * * * [misc]points:  Sampling 67 additional inputs, on iter 5 have 189 / 256
1546942335.236 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.236 * * * * [misc]points:  Sampling 52 additional inputs, on iter 6 have 204 / 256
1546942335.240 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.240 * * * * [misc]points:  Sampling 37 additional inputs, on iter 7 have 219 / 256
1546942335.243 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.243 * * * * [misc]points:  Sampling 27 additional inputs, on iter 8 have 229 / 256
1546942335.246 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.246 * * * * [misc]points:  Sampling 19 additional inputs, on iter 9 have 237 / 256
1546942335.249 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.249 * * * * [misc]points:  Sampling 14 additional inputs, on iter 10 have 242 / 256
1546942335.250 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.250 * * * * [misc]points:  Sampling 10 additional inputs, on iter 11 have 246 / 256
1546942335.252 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.253 * * * * [misc]points:  Sampling 8 additional inputs, on iter 12 have 248 / 256
1546942335.255 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.255 * * * * [misc]points:  Sampling 6 additional inputs, on iter 13 have 250 / 256
1546942335.258 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.258 * * * * [misc]points:  Sampling 4 additional inputs, on iter 14 have 253 / 256
1546942335.261 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.261 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 254 / 256
1546942335.263 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942335.263 * * * * [exit]points:  Sampled 257 points with exact outputs
1546942335.263 * * * [misc]progress:  [2/2] Setting up program.
1546942335.270 * [misc]progress:  [Phase 2 of 3] Improving.
1546942335.270 * * * * [misc]progress:  [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1546942335.271 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1546942335.272 * * [misc]simplify:  iters left: 5 (6 enodes)
1546942335.277 * * [misc]simplify:  iters left: 4 (12 enodes)
1546942335.279 * * [misc]simplify:  iters left: 3 (13 enodes)
1546942335.281 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1546942335.281 * [misc]simplify:  Simplified (2) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
1546942335.285 * * [misc]progress:  iteration 1 / 4
1546942335.285 * * * [misc]progress:  picking best candidate
1546942335.287 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1546942335.287 * * * [misc]progress:  localizing error
1546942335.320 * * * [misc]progress:  generating rewritten candidates
1546942335.321 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546942335.329 * * * [misc]progress:  generating series expansions
1546942335.330 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546942335.335 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1546942335.336 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1546942335.337 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1546942335.337 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1546942335.337 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.337 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.337 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.337 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1546942335.337 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.337 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.338 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.338 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.338 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.339 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.339 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942335.339 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546942335.340 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.340 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.340 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546942335.340 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.341 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.341 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1546942335.341 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1546942335.341 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.341 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.341 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.341 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1546942335.341 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.341 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.341 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.341 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.341 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.341 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.341 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942335.342 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546942335.342 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.342 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.342 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546942335.342 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.343 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.343 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.343 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942335.344 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.344 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942335.345 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546942335.347 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1546942335.347 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942335.347 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.347 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942335.347 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546942335.348 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942335.348 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942335.349 * [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)))))))
1546942335.349 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1546942335.349 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1546942335.349 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1546942335.349 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1546942335.349 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1546942335.349 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942335.349 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.349 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.349 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.349 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.349 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.349 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.350 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.350 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.350 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.350 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.350 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.350 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942335.351 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942335.351 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.351 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942335.351 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1546942335.351 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546942335.351 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1546942335.351 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1546942335.351 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1546942335.351 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942335.351 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.351 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.351 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.351 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.351 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.351 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.351 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.351 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.351 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.351 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.352 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.352 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942335.352 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942335.352 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.352 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942335.352 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1546942335.352 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546942335.352 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.352 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546942335.353 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942335.353 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.353 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942335.353 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1546942335.354 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1546942335.354 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1546942335.354 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1546942335.354 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1546942335.354 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1546942335.354 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1546942335.354 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1546942335.354 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1546942335.354 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546942335.354 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942335.354 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.354 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.354 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.354 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.354 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.354 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.355 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.355 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.355 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.355 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.355 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.355 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1546942335.355 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942335.355 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942335.355 * [misc]backup-simplify:  Simplify -1 into -1
1546942335.355 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.355 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.355 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.355 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942335.355 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.356 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.356 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1546942335.356 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1546942335.356 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1546942335.356 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546942335.356 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942335.356 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.356 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.356 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.356 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942335.356 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942335.356 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.356 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942335.356 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.356 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.356 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.357 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.357 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1546942335.357 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1546942335.357 * [misc]taylor:  Taking taylor expansion of -1 in x
1546942335.357 * [misc]backup-simplify:  Simplify -1 into -1
1546942335.357 * [misc]taylor:  Taking taylor expansion of x in x
1546942335.357 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.357 * [misc]backup-simplify:  Simplify 1 into 1
1546942335.357 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1546942335.357 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942335.357 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942335.357 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1546942335.357 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.358 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1546942335.358 * [misc]backup-simplify:  Simplify 0 into 0
1546942335.358 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1546942335.359 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1546942335.359 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942335.359 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546942335.359 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942335.360 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1546942335.360 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1546942335.360 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1546942335.360 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942335.361 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942335.361 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942335.361 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942335.362 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.363 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942335.364 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1546942335.364 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1546942335.364 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942335.365 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942335.365 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942335.366 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942335.366 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942335.367 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942335.368 * [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)
1546942335.368 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1546942335.368 * [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)))))
1546942335.368 * * * [misc]progress:  simplifying candidates
1546942335.368 * * * * [misc]progress:  [ 1 / 29 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.368 * * * * [misc]progress:  [ 2 / 29 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.368 * * * * [misc]progress:  [ 3 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1546942335.369 * [enter]simplify:  Simplifying (* (- x 1) x)
1546942335.369 * * [misc]simplify:  iters left: 4 (4 enodes)
1546942335.370 * * [misc]simplify:  iters left: 3 (10 enodes)
1546942335.371 * * [misc]simplify:  iters left: 2 (16 enodes)
1546942335.374 * * [misc]simplify:  iters left: 1 (24 enodes)
1546942335.377 * [exit]simplify:  Simplified to (- (* x x) x)
1546942335.377 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1546942335.377 * * * * [misc]progress:  [ 4 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1546942335.377 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1546942335.377 * * [misc]simplify:  iters left: 5 (6 enodes)
1546942335.378 * * [misc]simplify:  iters left: 4 (12 enodes)
1546942335.380 * * [misc]simplify:  iters left: 3 (13 enodes)
1546942335.381 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1546942335.381 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1546942335.381 * * * * [misc]progress:  [ 5 / 29 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1546942335.381 * * * * [misc]progress:  [ 6 / 29 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1546942335.381 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1546942335.381 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942335.383 * * [misc]simplify:  iters left: 5 (14 enodes)
1546942335.385 * * [misc]simplify:  iters left: 4 (15 enodes)
1546942335.386 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1546942335.387 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1546942335.387 * * * * [misc]progress:  [ 7 / 29 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.387 * * * * [misc]progress:  [ 8 / 29 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.387 * * * * [misc]progress:  [ 9 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1546942335.387 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1546942335.387 * * [misc]simplify:  iters left: 6 (10 enodes)
1546942335.389 * * [misc]simplify:  iters left: 5 (22 enodes)
1546942335.392 * * [misc]simplify:  iters left: 4 (48 enodes)
1546942335.400 * * [misc]simplify:  iters left: 3 (94 enodes)
1546942335.435 * * [misc]simplify:  iters left: 2 (192 enodes)
1546942335.561 * * [misc]simplify:  iters left: 1 (414 enodes)
1546942335.753 * [exit]simplify:  Simplified to (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))
1546942335.753 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (sqrt (+ x -1)) x) (* (sqrt x) (+ x -1)))))
1546942335.754 * * * * [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)))))>
1546942335.754 * * * * [misc]progress:  [ 11 / 29 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.754 * * * * [misc]progress:  [ 12 / 29 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1546942335.754 * [enter]simplify:  Simplifying (* (- x 1) x)
1546942335.754 * * [misc]simplify:  iters left: 4 (4 enodes)
1546942335.756 * * [misc]simplify:  iters left: 3 (10 enodes)
1546942335.758 * * [misc]simplify:  iters left: 2 (16 enodes)
1546942335.763 * * [misc]simplify:  iters left: 1 (24 enodes)
1546942335.767 * [exit]simplify:  Simplified to (- (* x x) x)
1546942335.768 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1546942335.768 * * * * [misc]progress:  [ 13 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1546942335.768 * * * * [misc]progress:  [ 14 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1546942335.768 * * * * [misc]progress:  [ 15 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1546942335.768 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1546942335.768 * * [misc]simplify:  iters left: 2 (3 enodes)
1546942335.769 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1546942335.769 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1546942335.769 * * * * [misc]progress:  [ 16 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1546942335.769 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1546942335.769 * * [misc]simplify:  iters left: 2 (3 enodes)
1546942335.770 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1546942335.770 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1546942335.770 * * * * [misc]progress:  [ 17 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1546942335.770 * [enter]simplify:  Simplifying (sqrt x)
1546942335.771 * * [misc]simplify:  iters left: 1 (2 enodes)
1546942335.771 * [exit]simplify:  Simplified to (sqrt x)
1546942335.771 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1546942335.771 * * * * [misc]progress:  [ 18 / 29 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1546942335.771 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1546942335.772 * * [misc]simplify:  iters left: 6 (6 enodes)
1546942335.774 * * [misc]simplify:  iters left: 5 (11 enodes)
1546942335.777 * * [misc]simplify:  iters left: 4 (12 enodes)
1546942335.779 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1546942335.779 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1546942335.780 * * * * [misc]progress:  [ 19 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1546942335.780 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1546942335.780 * * [misc]simplify:  iters left: 6 (6 enodes)
1546942335.782 * * [misc]simplify:  iters left: 5 (12 enodes)
1546942335.785 * * [misc]simplify:  iters left: 4 (13 enodes)
1546942335.788 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1546942335.788 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1546942335.788 * * * * [misc]progress:  [ 20 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1546942335.788 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1546942335.789 * * [misc]simplify:  iters left: 4 (5 enodes)
1546942335.791 * * [misc]simplify:  iters left: 3 (10 enodes)
1546942335.793 * * [misc]simplify:  iters left: 2 (11 enodes)
1546942335.796 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1546942335.796 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1546942335.796 * * * * [misc]progress:  [ 21 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1546942335.796 * [enter]simplify:  Simplifying (sqrt 1)
1546942335.796 * * [misc]simplify:  iters left: 1 (2 enodes)
1546942335.797 * [exit]simplify:  Simplified to 1
1546942335.797 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1546942335.797 * * * * [misc]progress:  [ 22 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1546942335.797 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1546942335.798 * * [misc]simplify:  iters left: 4 (5 enodes)
1546942335.800 * * [misc]simplify:  iters left: 3 (10 enodes)
1546942335.802 * * [misc]simplify:  iters left: 2 (11 enodes)
1546942335.804 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1546942335.804 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1546942335.804 * * * * [misc]progress:  [ 23 / 29 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1546942335.804 * * * * [misc]progress:  [ 24 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1546942335.805 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1546942335.805 * * [misc]simplify:  iters left: 6 (9 enodes)
1546942335.809 * * [misc]simplify:  iters left: 5 (20 enodes)
1546942335.815 * * [misc]simplify:  iters left: 4 (27 enodes)
1546942335.819 * * [misc]simplify:  iters left: 3 (29 enodes)
1546942335.824 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (fma (* x x) x -1)))
1546942335.824 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma (* x x) x -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1546942335.824 * * * * [misc]progress:  [ 25 / 29 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1546942335.824 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1546942335.824 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942335.828 * * [misc]simplify:  iters left: 5 (16 enodes)
1546942335.832 * * [misc]simplify:  iters left: 4 (23 enodes)
1546942335.837 * * [misc]simplify:  iters left: 3 (27 enodes)
1546942335.842 * * [misc]simplify:  iters left: 2 (43 enodes)
1546942335.860 * * [misc]simplify:  iters left: 1 (74 enodes)
1546942335.889 * [exit]simplify:  Simplified to (* (sqrt (fma x x -1)) (sqrt x))
1546942335.889 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1))))
1546942335.889 * * * * [misc]progress:  [ 26 / 29 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1546942335.889 * * * * [misc]progress:  [ 27 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1546942335.889 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1546942335.889 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1546942335.889 * * * * [misc]progress:  [ 28 / 29 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1546942335.889 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1546942335.889 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942335.891 * * [misc]simplify:  iters left: 5 (19 enodes)
1546942335.895 * * [misc]simplify:  iters left: 4 (31 enodes)
1546942335.901 * * [misc]simplify:  iters left: 3 (58 enodes)
1546942335.914 * * [misc]simplify:  iters left: 2 (97 enodes)
1546942335.927 * * [misc]simplify:  iters left: 1 (126 enodes)
1546942335.982 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1546942335.982 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1546942335.982 * * * * [misc]progress:  [ 29 / 29 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1546942335.982 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1546942335.982 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1546942335.982 * * * [misc]progress:  adding candidates to table
1546942336.152 * * [misc]progress:  iteration 2 / 4
1546942336.152 * * * [misc]progress:  picking best candidate
1546942336.155 * * * * [misc]pick:  Picked  #<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))>
1546942336.155 * * * [misc]progress:  localizing error
1546942336.167 * * * [misc]progress:  generating rewritten candidates
1546942336.167 * * * [misc]progress:  generating series expansions
1546942336.167 * * * [misc]progress:  simplifying candidates
1546942336.167 * * * [misc]progress:  adding candidates to table
1546942336.168 * * [misc]progress:  iteration 3 / 4
1546942336.168 * * * [misc]progress:  picking best candidate
1546942336.172 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
1546942336.172 * * * [misc]progress:  localizing error
1546942336.181 * * * [misc]progress:  generating rewritten candidates
1546942336.181 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1546942336.185 * * * [misc]progress:  generating series expansions
1546942336.185 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1546942336.185 * [misc]backup-simplify:  Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
1546942336.185 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1546942336.185 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1546942336.185 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1546942336.185 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.185 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.185 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.185 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1546942336.185 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.185 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.185 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.185 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.185 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.186 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942336.186 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942336.186 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546942336.186 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942336.186 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.187 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546942336.187 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942336.188 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942336.188 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1546942336.188 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1546942336.188 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.188 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.188 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.188 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1546942336.188 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.188 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.188 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.188 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.189 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.189 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942336.189 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942336.189 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1546942336.189 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942336.189 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.190 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1546942336.190 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1546942336.190 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1546942336.191 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.191 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942336.191 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942336.191 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942336.191 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1546942336.192 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1546942336.193 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942336.193 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942336.193 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942336.197 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1546942336.198 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1546942336.198 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1546942336.199 * [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)))))))
1546942336.199 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1546942336.199 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1546942336.199 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1546942336.199 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1546942336.199 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1546942336.199 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942336.199 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.199 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.199 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.199 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.199 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.199 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.199 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.199 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.199 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.199 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.200 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.200 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942336.200 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942336.200 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942336.200 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942336.201 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1546942336.201 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546942336.201 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1546942336.201 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1546942336.201 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1546942336.201 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942336.201 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.201 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.201 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.201 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.201 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.201 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.201 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.201 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.201 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.201 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.201 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.202 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942336.202 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942336.202 * [misc]backup-simplify:  Simplify (- 1) into -1
1546942336.202 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1546942336.202 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1546942336.202 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1546942336.203 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.203 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1546942336.203 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942336.203 * [misc]backup-simplify:  Simplify (- 0) into 0
1546942336.203 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942336.204 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1546942336.205 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1546942336.205 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1546942336.205 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1546942336.205 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
1546942336.205 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
1546942336.205 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1546942336.205 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1546942336.205 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546942336.205 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942336.205 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.205 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.205 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.205 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.205 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.205 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.205 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.205 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.206 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.206 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.206 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.206 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942336.206 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942336.206 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546942336.207 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1546942336.207 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1546942336.207 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1546942336.207 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1546942336.207 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1546942336.207 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1546942336.207 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.207 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.207 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.207 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.207 * [misc]taylor:  Taking taylor expansion of 1 in x
1546942336.207 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.207 * [misc]taylor:  Taking taylor expansion of x in x
1546942336.207 * [misc]backup-simplify:  Simplify 0 into 0
1546942336.207 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.207 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1546942336.208 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1546942336.208 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1546942336.208 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1546942336.208 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1546942336.208 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1546942336.209 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1546942336.209 * [misc]backup-simplify:  Simplify 1 into 1
1546942336.209 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1546942336.209 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1546942336.209 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1546942336.209 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1546942336.211 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1546942336.211 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1546942336.211 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1546942336.211 * * * [misc]progress:  simplifying candidates
1546942336.211 * * * * [misc]progress:  [ 1 / 16 ] simplifiying candidate #<alt (λ (x) (log1p (expm1 (sqrt (* (- x 1) x)))))>
1546942336.211 * * * * [misc]progress:  [ 2 / 16 ] simplifiying candidate #<alt (λ (x) (expm1 (log1p (sqrt (* (- x 1) x)))))>
1546942336.211 * * * * [misc]progress:  [ 3 / 16 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1546942336.211 * * * * [misc]progress:  [ 4 / 16 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
1546942336.211 * * * * [misc]progress:  [ 5 / 16 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
1546942336.211 * * * * [misc]progress:  [ 6 / 16 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
1546942336.211 * * * * [misc]progress:  [ 7 / 16 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
1546942336.211 * * * * [misc]progress:  [ 8 / 16 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
1546942336.212 * * * * [misc]progress:  [ 9 / 16 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1546942336.212 * [enter]simplify:  Simplifying (sqrt (- x 1))
1546942336.212 * * [misc]simplify:  iters left: 3 (4 enodes)
1546942336.214 * * [misc]simplify:  iters left: 2 (9 enodes)
1546942336.216 * * [misc]simplify:  iters left: 1 (10 enodes)
1546942336.218 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1546942336.218 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
1546942336.218 * * * * [misc]progress:  [ 10 / 16 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1546942336.218 * [enter]simplify:  Simplifying (sqrt (* (- (pow x 3) (pow 1 3)) x))
1546942336.218 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942336.222 * * [misc]simplify:  iters left: 5 (19 enodes)
1546942336.229 * * [misc]simplify:  iters left: 4 (32 enodes)
1546942336.237 * * [misc]simplify:  iters left: 3 (43 enodes)
1546942336.245 * * [misc]simplify:  iters left: 2 (47 enodes)
1546942336.253 * [exit]simplify:  Simplified to (sqrt (fma (* x x) (* x x) (- x)))
1546942336.253 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (fma (* x x) (* x x) (- x))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1546942336.253 * * * * [misc]progress:  [ 11 / 16 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
1546942336.253 * [enter]simplify:  Simplifying (sqrt (* (- (* x x) (* 1 1)) x))
1546942336.254 * * [misc]simplify:  iters left: 6 (7 enodes)
1546942336.257 * * [misc]simplify:  iters left: 5 (15 enodes)
1546942336.261 * * [misc]simplify:  iters left: 4 (22 enodes)
1546942336.266 * * [misc]simplify:  iters left: 3 (30 enodes)
1546942336.273 * * [misc]simplify:  iters left: 2 (64 enodes)
1546942336.304 * * [misc]simplify:  iters left: 1 (161 enodes)
1546942336.358 * [exit]simplify:  Simplified to (sqrt (* (fma x x -1) x))
1546942336.358 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (* (fma x x -1) x)) (sqrt (+ x 1))))
1546942336.359 * * * * [misc]progress:  [ 12 / 16 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
1546942336.359 * * * * [misc]progress:  [ 13 / 16 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
1546942336.359 * * * * [misc]progress:  [ 14 / 16 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1546942336.359 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1546942336.359 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1546942336.359 * * * * [misc]progress:  [ 15 / 16 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1546942336.359 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1546942336.359 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942336.363 * * [misc]simplify:  iters left: 5 (19 enodes)
1546942336.369 * * [misc]simplify:  iters left: 4 (31 enodes)
1546942336.380 * * [misc]simplify:  iters left: 3 (58 enodes)
1546942336.407 * * [misc]simplify:  iters left: 2 (97 enodes)
1546942336.433 * * [misc]simplify:  iters left: 1 (126 enodes)
1546942336.474 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1546942336.474 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ -1/8 x) (- 1/2 x)))
1546942336.474 * * * * [misc]progress:  [ 16 / 16 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
1546942336.474 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1546942336.474 * * [misc]simplify:  iters left: 6 (8 enodes)
1546942336.476 * * [misc]simplify:  iters left: 5 (19 enodes)
1546942336.479 * * [misc]simplify:  iters left: 4 (32 enodes)
1546942336.484 * * [misc]simplify:  iters left: 3 (49 enodes)
1546942336.490 * * [misc]simplify:  iters left: 2 (61 enodes)
1546942336.504 * * [misc]simplify:  iters left: 1 (83 enodes)
1546942336.517 * [exit]simplify:  Simplified to (- (/ 1/8 x) (+ x -1/2))
1546942336.517 * [misc]simplify:  Simplified (2) to (λ (x) (- (/ 1/8 x) (+ x -1/2)))
1546942336.517 * * * [misc]progress:  adding candidates to table
1546942336.624 * [misc]progress:  [Phase 3 of 3] Extracting.
1546942336.624 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1546942336.626 * * * [misc]regime-changes:  Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x)))
1546942336.627 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1546942336.654 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (- (/ -1/8 x) (- 1/2 x)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1546942336.680 * * * [misc]regime:  Found split indices: #<option (#s(si 0 256))>
1546942336.680 * [enter]simplify:  Simplifying (- (/ -1/8 x) (- 1/2 x))
1546942336.680 * * [misc]simplify:  iters left: 4 (6 enodes)
1546942336.681 * [exit]simplify:  Simplified to (- (/ -1/8 x) (- 1/2 x))
1546942336.681 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1546942337.529 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942337.531 * * * * [misc]points:  Sampling 5997 additional inputs, on iter 1 have 2003 / 8000
1546942338.236 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942338.239 * * * * [misc]points:  Sampling 4522 additional inputs, on iter 2 have 3478 / 8000
1546942339.001 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942339.002 * * * * [misc]points:  Sampling 3343 additional inputs, on iter 3 have 4657 / 8000
1546942339.362 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942339.363 * * * * [misc]points:  Sampling 2534 additional inputs, on iter 4 have 5466 / 8000
1546942339.618 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942339.619 * * * * [misc]points:  Sampling 1890 additional inputs, on iter 5 have 6110 / 8000
1546942339.829 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942339.830 * * * * [misc]points:  Sampling 1436 additional inputs, on iter 6 have 6564 / 8000
1546942339.974 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942339.974 * * * * [misc]points:  Sampling 1074 additional inputs, on iter 7 have 6926 / 8000
1546942340.120 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.120 * * * * [misc]points:  Sampling 803 additional inputs, on iter 8 have 7197 / 8000
1546942340.188 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.189 * * * * [misc]points:  Sampling 610 additional inputs, on iter 9 have 7390 / 8000
1546942340.274 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.274 * * * * [misc]points:  Sampling 474 additional inputs, on iter 10 have 7526 / 8000
1546942340.314 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.314 * * * * [misc]points:  Sampling 350 additional inputs, on iter 11 have 7650 / 8000
1546942340.333 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.334 * * * * [misc]points:  Sampling 261 additional inputs, on iter 12 have 7739 / 8000
1546942340.354 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.354 * * * * [misc]points:  Sampling 190 additional inputs, on iter 13 have 7810 / 8000
1546942340.412 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.412 * * * * [misc]points:  Sampling 142 additional inputs, on iter 14 have 7858 / 8000
1546942340.433 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.433 * * * * [misc]points:  Sampling 98 additional inputs, on iter 15 have 7902 / 8000
1546942340.445 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.445 * * * * [misc]points:  Sampling 71 additional inputs, on iter 16 have 7929 / 8000
1546942340.455 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.455 * * * * [misc]points:  Sampling 57 additional inputs, on iter 17 have 7943 / 8000
1546942340.463 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.463 * * * * [misc]points:  Sampling 51 additional inputs, on iter 18 have 7949 / 8000
1546942340.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.470 * * * * [misc]points:  Sampling 44 additional inputs, on iter 19 have 7956 / 8000
1546942340.477 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.477 * * * * [misc]points:  Sampling 36 additional inputs, on iter 20 have 7964 / 8000
1546942340.482 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.483 * * * * [misc]points:  Sampling 27 additional inputs, on iter 21 have 7973 / 8000
1546942340.488 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.488 * * * * [misc]points:  Sampling 19 additional inputs, on iter 22 have 7981 / 8000
1546942340.491 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.491 * * * * [misc]points:  Sampling 14 additional inputs, on iter 23 have 7986 / 8000
1546942340.495 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.495 * * * * [misc]points:  Sampling 9 additional inputs, on iter 24 have 7991 / 8000
1546942340.497 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.497 * * * * [misc]points:  Sampling 7 additional inputs, on iter 25 have 7993 / 8000
1546942340.500 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.500 * * * * [misc]points:  Sampling 6 additional inputs, on iter 26 have 7994 / 8000
1546942340.502 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.502 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7998 / 8000
1546942340.504 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.504 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1546942340.506 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.506 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7999 / 8000
1546942340.508 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.508 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1546942340.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.510 * * * * [misc]points:  Sampling 4 additional inputs, on iter 31 have 7999 / 8000
1546942340.512 * * * * [misc]points:  Filtering points with unrepresentable outputs
1546942340.512 * * * * [exit]points:  Sampled 8000 points with exact outputs
1546942340.738 * [misc]regime-testing:  Baseline error score: 0.4133402790243556
1546942340.739 * [misc]regime-testing:  Oracle error score: 0.000875
1546942340.741 * [misc]regime-testing:  End program error score: 0.4133402790243556