1536827083.105 * [misc]progress:  [Phase 1 of 3] Setting up.
1536827083.106 * * * [misc]progress:  [1/2] Preparing points
1536827083.107 * * * * [misc]points:  Sampling 256 additional inputs, on iter 0 have 0 / 256
1536827083.191 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.192 * * * * [misc]points:  Sampling 199 additional inputs, on iter 1 have 57 / 256
1536827083.205 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.205 * * * * [misc]points:  Sampling 148 additional inputs, on iter 2 have 108 / 256
1536827083.216 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.216 * * * * [misc]points:  Sampling 117 additional inputs, on iter 3 have 139 / 256
1536827083.226 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.226 * * * * [misc]points:  Sampling 86 additional inputs, on iter 4 have 170 / 256
1536827083.233 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.233 * * * * [misc]points:  Sampling 68 additional inputs, on iter 5 have 188 / 256
1536827083.238 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.239 * * * * [misc]points:  Sampling 47 additional inputs, on iter 6 have 209 / 256
1536827083.295 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.295 * * * * [misc]points:  Sampling 29 additional inputs, on iter 7 have 227 / 256
1536827083.303 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.303 * * * * [misc]points:  Sampling 24 additional inputs, on iter 8 have 232 / 256
1536827083.308 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.308 * * * * [misc]points:  Sampling 16 additional inputs, on iter 9 have 240 / 256
1536827083.312 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.312 * * * * [misc]points:  Sampling 13 additional inputs, on iter 10 have 243 / 256
1536827083.315 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.315 * * * * [misc]points:  Sampling 11 additional inputs, on iter 11 have 245 / 256
1536827083.318 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.318 * * * * [misc]points:  Sampling 10 additional inputs, on iter 12 have 246 / 256
1536827083.321 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.321 * * * * [misc]points:  Sampling 8 additional inputs, on iter 13 have 248 / 256
1536827083.324 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.324 * * * * [misc]points:  Sampling 6 additional inputs, on iter 14 have 250 / 256
1536827083.390 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.390 * * * * [misc]points:  Sampling 4 additional inputs, on iter 15 have 253 / 256
1536827083.393 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.393 * * * * [misc]points:  Sampling 4 additional inputs, on iter 16 have 254 / 256
1536827083.461 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.461 * * * * [misc]points:  Sampling 4 additional inputs, on iter 17 have 255 / 256
1536827083.464 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827083.464 * * * * [exit]points:  Sampled 256 points with exact outputs
1536827083.464 * * * [misc]progress:  [2/2] Setting up program.
1536827083.543 * [misc]progress:  [Phase 2 of 3] Improving.
1536827083.545 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536827083.547 * * [misc]simplify:  iters left: 5 (6 enodes)
1536827083.555 * * [misc]simplify:  iters left: 4 (12 enodes)
1536827083.558 * * [misc]simplify:  iters left: 3 (13 enodes)
1536827083.562 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536827083.576 * * [misc]progress:  iteration 1 / 4
1536827083.576 * * * [misc]progress:  picking best candidate
1536827083.581 * * * * [misc]pick:  Picked  #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536827083.581 * * * [misc]progress:  localizing error
1536827083.613 * * * [misc]progress:  generating rewritten candidates
1536827083.614 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536827084.237 * * * [misc]progress:  generating series expansions
1536827084.238 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536827084.247 * [misc]backup-simplify:  Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1)))
1536827084.247 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536827084.249 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536827084.249 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536827084.249 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.249 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.249 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.249 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536827084.249 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.249 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.249 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.249 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.249 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.250 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.251 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827084.251 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536827084.251 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.251 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.251 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536827084.252 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.252 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.252 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536827084.252 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536827084.252 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.252 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.252 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.252 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536827084.252 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.252 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.252 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.253 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.253 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.253 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.253 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827084.253 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536827084.253 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.253 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.254 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536827084.254 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.254 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.255 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.255 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827084.256 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.256 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827084.256 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536827084.258 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536827084.258 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827084.259 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.259 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827084.259 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536827084.261 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827084.261 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827084.262 * [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)))))))
1536827084.262 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536827084.262 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536827084.262 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536827084.262 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536827084.263 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536827084.263 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827084.263 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.263 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.263 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.263 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.263 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.263 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.263 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.263 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.263 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.263 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.264 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.264 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827084.264 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827084.265 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.265 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827084.265 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536827084.265 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536827084.265 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536827084.265 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536827084.265 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536827084.265 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827084.265 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.266 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.266 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.266 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.266 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.266 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.266 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.266 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.266 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.266 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.266 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.266 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827084.267 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827084.267 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.267 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827084.267 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536827084.268 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536827084.268 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.268 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536827084.268 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827084.268 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.268 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827084.269 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536827084.270 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536827084.270 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536827084.270 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536827084.270 * [misc]backup-simplify:  Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x)))
1536827084.270 * [misc]approximate:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0
1536827084.270 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536827084.271 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536827084.271 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536827084.271 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536827084.271 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827084.271 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.271 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.271 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.271 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.271 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.271 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.271 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.271 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.271 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.272 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.272 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.272 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536827084.272 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536827084.272 * [misc]taylor:  Taking taylor expansion of -1 in x
1536827084.272 * [misc]backup-simplify:  Simplify -1 into -1
1536827084.272 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.272 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.272 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.272 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536827084.273 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.274 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.274 * [misc]taylor:  Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x
1536827084.274 * [misc]taylor:  Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x
1536827084.274 * [misc]taylor:  Taking taylor expansion of (- (+ (/ 1 x) 1)) in x
1536827084.274 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536827084.275 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827084.275 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.275 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.275 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.275 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827084.275 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827084.275 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.275 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827084.275 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.275 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.275 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.276 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.276 * [misc]taylor:  Taking taylor expansion of (sqrt (/ -1 x)) in x
1536827084.276 * [misc]taylor:  Taking taylor expansion of (/ -1 x) in x
1536827084.276 * [misc]taylor:  Taking taylor expansion of -1 in x
1536827084.276 * [misc]backup-simplify:  Simplify -1 into -1
1536827084.276 * [misc]taylor:  Taking taylor expansion of x in x
1536827084.276 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.276 * [misc]backup-simplify:  Simplify 1 into 1
1536827084.276 * [misc]backup-simplify:  Simplify (/ -1 1) into -1
1536827084.276 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827084.277 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827084.277 * [misc]backup-simplify:  Simplify (* 0 0) into 0
1536827084.277 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.277 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
1536827084.277 * [misc]backup-simplify:  Simplify 0 into 0
1536827084.278 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
1536827084.279 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536827084.279 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827084.279 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536827084.279 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827084.280 * [misc]backup-simplify:  Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536827084.281 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
1536827084.281 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536827084.282 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827084.283 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827084.283 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827084.283 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827084.284 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.285 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827084.286 * [misc]backup-simplify:  Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
1536827084.286 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536827084.287 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827084.288 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827084.289 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827084.289 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827084.289 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827084.291 * [misc]backup-simplify:  Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827084.292 * [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)
1536827084.292 * [misc]backup-simplify:  Simplify (- +nan.0) into (- +nan.0)
1536827084.293 * [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)))))
1536827084.293 * * * [misc]progress:  simplifying candidates
1536827084.294 * * * * [misc]progress:  [ 1 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536827084.294 * [enter]simplify:  Simplifying (* (- x 1) x)
1536827084.295 * * [misc]simplify:  iters left: 4 (4 enodes)
1536827084.297 * * [misc]simplify:  iters left: 3 (10 enodes)
1536827084.301 * * [misc]simplify:  iters left: 2 (16 enodes)
1536827084.307 * * [misc]simplify:  iters left: 1 (22 enodes)
1536827084.312 * [exit]simplify:  Simplified to (- (* x x) x)
1536827084.312 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2))
1536827084.313 * * * * [misc]progress:  [ 2 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536827084.313 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536827084.313 * * [misc]simplify:  iters left: 5 (6 enodes)
1536827084.317 * * [misc]simplify:  iters left: 4 (12 enodes)
1536827084.319 * * [misc]simplify:  iters left: 3 (13 enodes)
1536827084.323 * [exit]simplify:  Simplified to (* (sqrt (+ x -1)) (sqrt x))
1536827084.323 * [misc]simplify:  Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1))
1536827084.323 * * * * [misc]progress:  [ 3 / 27 ] simplifiying candidate #<alt (λ (x) (pow (* (sqrt (- x 1)) (sqrt x)) 1))>
1536827084.323 * * * * [misc]progress:  [ 4 / 27 ] simplifiying candidate #<alt (λ (x) (exp (+ (log (sqrt (- x 1))) (log (sqrt x)))))>
1536827084.323 * [enter]simplify:  Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x)))
1536827084.324 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827084.328 * * [misc]simplify:  iters left: 5 (14 enodes)
1536827084.332 * * [misc]simplify:  iters left: 4 (15 enodes)
1536827084.336 * [exit]simplify:  Simplified to (+ (log (sqrt x)) (log (sqrt (- x 1))))
1536827084.336 * [misc]simplify:  Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (- x 1))))))
1536827084.336 * * * * [misc]progress:  [ 5 / 27 ] simplifiying candidate #<alt (λ (x) (exp (log (* (sqrt (- x 1)) (sqrt x)))))>
1536827084.336 * * * * [misc]progress:  [ 6 / 27 ] simplifiying candidate #<alt (λ (x) (log (exp (* (sqrt (- x 1)) (sqrt x)))))>
1536827084.336 * * * * [misc]progress:  [ 7 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))))>
1536827084.336 * [enter]simplify:  Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x)))
1536827084.346 * * [misc]simplify:  iters left: 6 (10 enodes)
1536827084.352 * * [misc]simplify:  iters left: 5 (22 enodes)
1536827084.362 * * [misc]simplify:  iters left: 4 (48 enodes)
1536827084.379 * * [misc]simplify:  iters left: 3 (94 enodes)
1536827084.407 * * [misc]simplify:  iters left: 2 (188 enodes)
1536827084.500 * * [misc]simplify:  iters left: 1 (365 enodes)
1536827084.666 * [exit]simplify:  Simplified to (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))
1536827084.666 * [misc]simplify:  Simplified (2 1) to (λ (x) (cbrt (* (* (+ x -1) (sqrt x)) (* (sqrt (+ x -1)) x))))
1536827084.698 * * * * [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)))))>
1536827084.698 * * * * [misc]progress:  [ 9 / 27 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (* (sqrt (- x 1)) (sqrt x)) (* (sqrt (- x 1)) (sqrt x))) (* (sqrt (- x 1)) (sqrt x)))))>
1536827084.699 * * * * [misc]progress:  [ 10 / 27 ] simplifiying candidate #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536827084.699 * [enter]simplify:  Simplifying (* (- x 1) x)
1536827084.700 * * [misc]simplify:  iters left: 4 (4 enodes)
1536827084.704 * * [misc]simplify:  iters left: 3 (10 enodes)
1536827084.708 * * [misc]simplify:  iters left: 2 (16 enodes)
1536827084.714 * * [misc]simplify:  iters left: 1 (22 enodes)
1536827084.720 * [exit]simplify:  Simplified to (- (* x x) x)
1536827084.720 * [misc]simplify:  Simplified (2 1) to (λ (x) (sqrt (- (* x x) x)))
1536827084.720 * * * * [misc]progress:  [ 11 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (sqrt (- x 1)) (sqrt x))) (sqrt (* (sqrt (- x 1)) (sqrt x)))))>
1536827084.720 * * * * [misc]progress:  [ 12 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536827084.720 * * * * [misc]progress:  [ 13 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))>
1536827084.721 * [enter]simplify:  Simplifying (cbrt (sqrt x))
1536827084.721 * * [misc]simplify:  iters left: 2 (3 enodes)
1536827084.723 * [exit]simplify:  Simplified to (cbrt (sqrt x))
1536827084.723 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))))
1536827084.723 * * * * [misc]progress:  [ 14 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))>
1536827084.723 * [enter]simplify:  Simplifying (sqrt (sqrt x))
1536827084.724 * * [misc]simplify:  iters left: 2 (3 enodes)
1536827084.725 * [exit]simplify:  Simplified to (sqrt (sqrt x))
1536827084.725 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x))))
1536827084.725 * * * * [misc]progress:  [ 15 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))>
1536827084.725 * [enter]simplify:  Simplifying (sqrt x)
1536827084.725 * * [misc]simplify:  iters left: 1 (2 enodes)
1536827084.726 * [exit]simplify:  Simplified to (sqrt x)
1536827084.726 * [misc]simplify:  Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x)))
1536827084.726 * * * * [misc]progress:  [ 16 / 27 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))>
1536827084.726 * [enter]simplify:  Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1))))
1536827084.727 * * [misc]simplify:  iters left: 6 (6 enodes)
1536827084.731 * * [misc]simplify:  iters left: 5 (11 enodes)
1536827084.734 * * [misc]simplify:  iters left: 4 (12 enodes)
1536827084.737 * [exit]simplify:  Simplified to (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1))))
1536827084.738 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (+ x -1))) (cbrt (sqrt (+ x -1)))) (* (cbrt (sqrt (- x 1))) (sqrt x))))
1536827084.738 * * * * [misc]progress:  [ 17 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) (* (sqrt (cbrt (- x 1))) (sqrt x))))>
1536827084.738 * [enter]simplify:  Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1))))
1536827084.739 * * [misc]simplify:  iters left: 6 (6 enodes)
1536827084.742 * * [misc]simplify:  iters left: 5 (12 enodes)
1536827084.744 * * [misc]simplify:  iters left: 4 (13 enodes)
1536827084.746 * [exit]simplify:  Simplified to (fabs (cbrt (+ x -1)))
1536827084.746 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x))))
1536827084.746 * * * * [misc]progress:  [ 18 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536827084.746 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536827084.747 * * [misc]simplify:  iters left: 4 (5 enodes)
1536827084.781 * * [misc]simplify:  iters left: 3 (10 enodes)
1536827084.783 * * [misc]simplify:  iters left: 2 (11 enodes)
1536827084.785 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536827084.785 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536827084.785 * * * * [misc]progress:  [ 19 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt 1) (* (sqrt (- x 1)) (sqrt x))))>
1536827084.785 * [enter]simplify:  Simplifying (sqrt 1)
1536827084.786 * * [misc]simplify:  iters left: 1 (2 enodes)
1536827084.787 * [exit]simplify:  Simplified to 1
1536827084.787 * [misc]simplify:  Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))
1536827084.787 * * * * [misc]progress:  [ 20 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (- x 1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))>
1536827084.787 * [enter]simplify:  Simplifying (sqrt (sqrt (- x 1)))
1536827084.788 * * [misc]simplify:  iters left: 4 (5 enodes)
1536827084.790 * * [misc]simplify:  iters left: 3 (10 enodes)
1536827084.792 * * [misc]simplify:  iters left: 2 (11 enodes)
1536827084.794 * [exit]simplify:  Simplified to (sqrt (sqrt (+ x -1)))
1536827084.794 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x))))
1536827084.794 * * * * [misc]progress:  [ 21 / 27 ] simplifiying candidate #<alt (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x))))>
1536827084.794 * * * * [misc]progress:  [ 22 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536827084.794 * [enter]simplify:  Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x))
1536827084.795 * * [misc]simplify:  iters left: 6 (9 enodes)
1536827084.800 * * [misc]simplify:  iters left: 5 (20 enodes)
1536827084.803 * * [misc]simplify:  iters left: 4 (21 enodes)
1536827084.810 * * [misc]simplify:  iters left: 3 (23 enodes)
1536827084.819 * * [misc]simplify:  iters left: 2 (25 enodes)
1536827084.858 * [exit]simplify:  Simplified to (* (sqrt x) (sqrt (+ (pow x 3) -1)))
1536827084.859 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (+ (pow x 3) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536827084.859 * * * * [misc]progress:  [ 23 / 27 ] simplifiying candidate #<alt (λ (x) (/ (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) (sqrt (+ x 1))))>
1536827084.859 * [enter]simplify:  Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x))
1536827084.861 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827084.866 * * [misc]simplify:  iters left: 5 (14 enodes)
1536827084.871 * * [misc]simplify:  iters left: 4 (17 enodes)
1536827084.877 * * [misc]simplify:  iters left: 3 (20 enodes)
1536827084.885 * * [misc]simplify:  iters left: 2 (36 enodes)
1536827084.908 * * [misc]simplify:  iters left: 1 (61 enodes)
1536827084.932 * [exit]simplify:  Simplified to (* (sqrt (- (* x x) 1)) (sqrt x))
1536827084.932 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (* (sqrt (- (* x x) 1)) (sqrt x)) (sqrt (+ x 1))))
1536827084.932 * * * * [misc]progress:  [ 24 / 27 ] simplifiying candidate #<alt (λ (x) (* (sqrt x) (sqrt (- x 1))))>
1536827084.932 * * * * [misc]progress:  [ 25 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536827084.932 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536827084.932 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536827084.932 * * * * [misc]progress:  [ 26 / 27 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536827084.932 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536827084.933 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827084.936 * * [misc]simplify:  iters left: 5 (18 enodes)
1536827084.943 * * [misc]simplify:  iters left: 4 (29 enodes)
1536827084.953 * * [misc]simplify:  iters left: 3 (55 enodes)
1536827084.970 * * [misc]simplify:  iters left: 2 (77 enodes)
1536827084.982 * * [misc]simplify:  iters left: 1 (98 enodes)
1536827085.006 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536827085.006 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536827085.006 * * * * [misc]progress:  [ 27 / 27 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))>
1536827085.006 * [enter]simplify:  Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
1536827085.006 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536827085.006 * * * [misc]progress:  adding candidates to table
1536827085.290 * * [misc]progress:  iteration 2 / 4
1536827085.290 * * * [misc]progress:  picking best candidate
1536827085.296 * * * * [misc]pick:  Picked  #<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))>
1536827085.296 * * * [misc]progress:  localizing error
1536827085.307 * * * [misc]progress:  generating rewritten candidates
1536827085.307 * * * [misc]progress:  generating series expansions
1536827085.307 * * * [misc]progress:  simplifying candidates
1536827085.307 * * * [misc]progress:  adding candidates to table
1536827085.307 * * [misc]progress:  iteration 3 / 4
1536827085.307 * * * [misc]progress:  picking best candidate
1536827085.310 * * * * [misc]pick:  Picked  #<alt (λ (x) (sqrt (* (- x 1) x)))>
1536827085.310 * * * [misc]progress:  localizing error
1536827085.321 * * * [misc]progress:  generating rewritten candidates
1536827085.321 * * * * [misc]progress:  [ 1 / 1 ] rewriting at (2)
1536827085.326 * * * [misc]progress:  generating series expansions
1536827085.326 * * * * [misc]progress:  [ 1 / 1 ] generating series at (2)
1536827085.326 * [misc]backup-simplify:  Simplify (sqrt (* (- x 1) x)) into (sqrt (* x (- x 1)))
1536827085.326 * [misc]approximate:  Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0
1536827085.326 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536827085.326 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536827085.326 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.326 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.326 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.326 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536827085.326 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.326 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.326 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.326 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.326 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.327 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827085.327 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827085.327 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536827085.327 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827085.327 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.327 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536827085.327 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827085.328 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827085.328 * [misc]taylor:  Taking taylor expansion of (sqrt (* x (- x 1))) in x
1536827085.328 * [misc]taylor:  Taking taylor expansion of (* x (- x 1)) in x
1536827085.328 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.328 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.328 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.328 * [misc]taylor:  Taking taylor expansion of (- x 1) in x
1536827085.328 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.328 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.328 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.328 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.328 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.328 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827085.328 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827085.328 * [misc]backup-simplify:  Simplify (* 0 -1) into 0
1536827085.328 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827085.328 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.328 * [misc]backup-simplify:  Simplify (+ (* 0 1) (* 1 -1)) into -1
1536827085.329 * [misc]backup-simplify:  Simplify (sqrt 0) into 0
1536827085.329 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
1536827085.329 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.329 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827085.329 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827085.329 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827085.329 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1
1536827085.330 * [misc]backup-simplify:  Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1536827085.330 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827085.330 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827085.330 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827085.331 * [misc]backup-simplify:  Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0
1536827085.331 * [misc]backup-simplify:  Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1536827085.331 * [misc]backup-simplify:  Simplify +nan.0 into +nan.0
1536827085.332 * [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)))))))
1536827085.332 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 x) 1) (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x))
1536827085.332 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0
1536827085.332 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536827085.332 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536827085.332 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536827085.332 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827085.332 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.332 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.332 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.332 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.332 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.332 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.332 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.332 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.332 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.332 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.332 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.332 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827085.333 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827085.333 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827085.333 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827085.333 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536827085.333 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536827085.333 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x
1536827085.333 * [misc]taylor:  Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x
1536827085.333 * [misc]taylor:  Taking taylor expansion of (- (/ 1 x) 1) in x
1536827085.333 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827085.333 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.333 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.333 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.333 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.333 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.333 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.333 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.333 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.333 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.333 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.334 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.334 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827085.334 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827085.334 * [misc]backup-simplify:  Simplify (- 1) into -1
1536827085.334 * [misc]backup-simplify:  Simplify (+ 0 -1) into -1
1536827085.334 * [misc]backup-simplify:  Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1
1536827085.334 * [misc]backup-simplify:  Simplify (/ -1 (* 2 (sqrt 1))) into -1/2
1536827085.334 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.334 * [misc]backup-simplify:  Simplify -1/2 into -1/2
1536827085.335 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827085.335 * [misc]backup-simplify:  Simplify (- 0) into 0
1536827085.335 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827085.335 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0
1536827085.336 * [misc]backup-simplify:  Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8
1536827085.336 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536827085.336 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536827085.336 * [misc]backup-simplify:  Simplify (sqrt (* (- (/ 1 (- x)) 1) (/ 1 (- x)))) into (sqrt (/ (+ (/ 1 x) 1) x))
1536827085.336 * [misc]approximate:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in (x) around 0
1536827085.336 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536827085.336 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536827085.336 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536827085.336 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827085.336 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.336 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.336 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.336 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.336 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.336 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.336 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.336 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.336 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.336 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.336 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.337 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827085.337 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827085.337 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536827085.337 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536827085.337 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536827085.337 * [misc]taylor:  Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) x)) in x
1536827085.337 * [misc]taylor:  Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x
1536827085.337 * [misc]taylor:  Taking taylor expansion of (+ (/ 1 x) 1) in x
1536827085.337 * [misc]taylor:  Taking taylor expansion of (/ 1 x) in x
1536827085.337 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.337 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.337 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.337 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.337 * [misc]taylor:  Taking taylor expansion of 1 in x
1536827085.337 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.337 * [misc]taylor:  Taking taylor expansion of x in x
1536827085.337 * [misc]backup-simplify:  Simplify 0 into 0
1536827085.337 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.337 * [misc]backup-simplify:  Simplify (+ 1 0) into 1
1536827085.338 * [misc]backup-simplify:  Simplify (/ 1 1) into 1
1536827085.338 * [misc]backup-simplify:  Simplify (sqrt 1) into 1
1536827085.338 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)))) into 0
1536827085.338 * [misc]backup-simplify:  Simplify (+ 0 1) into 1
1536827085.338 * [misc]backup-simplify:  Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1
1536827085.338 * [misc]backup-simplify:  Simplify (/ 1 (* 2 (sqrt 1))) into 1/2
1536827085.338 * [misc]backup-simplify:  Simplify 1 into 1
1536827085.338 * [misc]backup-simplify:  Simplify 1/2 into 1/2
1536827085.339 * [misc]backup-simplify:  Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1536827085.339 * [misc]backup-simplify:  Simplify (+ 0 0) into 0
1536827085.339 * [misc]backup-simplify:  Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0
1536827085.340 * [misc]backup-simplify:  Simplify (/ (- 0 (pow 1/2 2) (+)) (* 2 1)) into -1/8
1536827085.340 * [misc]backup-simplify:  Simplify -1/8 into -1/8
1536827085.340 * [misc]backup-simplify:  Simplify (+ (* -1/8 (/ 1 (- x))) (+ 1/2 (* 1 (/ 1 (/ 1 (- x)))))) into (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536827085.340 * * * [misc]progress:  simplifying candidates
1536827085.340 * * * * [misc]progress:  [ 1 / 14 ] simplifiying candidate #<alt (λ (x) (pow (* (- x 1) x) 1/2))>
1536827085.340 * * * * [misc]progress:  [ 2 / 14 ] simplifiying candidate #<alt (λ (x) (pow (sqrt (* (- x 1) x)) 1))>
1536827085.340 * * * * [misc]progress:  [ 3 / 14 ] simplifiying candidate #<alt (λ (x) (exp (log (sqrt (* (- x 1) x)))))>
1536827085.340 * * * * [misc]progress:  [ 4 / 14 ] simplifiying candidate #<alt (λ (x) (log (exp (sqrt (* (- x 1) x)))))>
1536827085.340 * * * * [misc]progress:  [ 5 / 14 ] simplifiying candidate #<alt (λ (x) (* (* (cbrt (sqrt (* (- x 1) x))) (cbrt (sqrt (* (- x 1) x)))) (cbrt (sqrt (* (- x 1) x)))))>
1536827085.340 * * * * [misc]progress:  [ 6 / 14 ] simplifiying candidate #<alt (λ (x) (cbrt (* (* (sqrt (* (- x 1) x)) (sqrt (* (- x 1) x))) (sqrt (* (- x 1) x)))))>
1536827085.340 * * * * [misc]progress:  [ 7 / 14 ] simplifiying candidate #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))>
1536827085.340 * [enter]simplify:  Simplifying (sqrt (- x 1))
1536827085.340 * * [misc]simplify:  iters left: 3 (4 enodes)
1536827085.342 * * [misc]simplify:  iters left: 2 (9 enodes)
1536827085.343 * * [misc]simplify:  iters left: 1 (10 enodes)
1536827085.344 * [exit]simplify:  Simplified to (sqrt (+ x -1))
1536827085.344 * [misc]simplify:  Simplified (2 1) to (λ (x) (* (sqrt (+ x -1)) (sqrt x)))
1536827085.344 * * * * [misc]progress:  [ 8 / 14 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (pow x 3) (pow 1 3)) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))>
1536827085.344 * [enter]simplify:  Simplifying (sqrt (* (- (pow x 3) (pow 1 3)) x))
1536827085.345 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827085.348 * * [misc]simplify:  iters left: 5 (19 enodes)
1536827085.351 * * [misc]simplify:  iters left: 4 (26 enodes)
1536827085.357 * * [misc]simplify:  iters left: 3 (38 enodes)
1536827085.364 * * [misc]simplify:  iters left: 2 (49 enodes)
1536827085.378 * * [misc]simplify:  iters left: 1 (61 enodes)
1536827085.389 * [exit]simplify:  Simplified to (sqrt (- (pow x 4) x))
1536827085.389 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (pow x 4) x)) (sqrt (+ (* x x) (+ (* 1 1) (* x 1))))))
1536827085.389 * * * * [misc]progress:  [ 9 / 14 ] simplifiying candidate #<alt (λ (x) (/ (sqrt (* (- (* x x) (* 1 1)) x)) (sqrt (+ x 1))))>
1536827085.390 * [enter]simplify:  Simplifying (sqrt (* (- (* x x) (* 1 1)) x))
1536827085.390 * * [misc]simplify:  iters left: 6 (7 enodes)
1536827085.392 * * [misc]simplify:  iters left: 5 (13 enodes)
1536827085.394 * * [misc]simplify:  iters left: 4 (16 enodes)
1536827085.397 * * [misc]simplify:  iters left: 3 (23 enodes)
1536827085.404 * * [misc]simplify:  iters left: 2 (57 enodes)
1536827085.456 * * [misc]simplify:  iters left: 1 (137 enodes)
1536827085.553 * [exit]simplify:  Simplified to (sqrt (- (pow x 3) x))
1536827085.553 * [misc]simplify:  Simplified (2 1) to (λ (x) (/ (sqrt (- (pow x 3) x)) (sqrt (+ x 1))))
1536827085.553 * * * * [misc]progress:  [ 10 / 14 ] simplifiying candidate #<alt (λ (x) (* (sqrt (sqrt (* (- x 1) x))) (sqrt (sqrt (* (- x 1) x)))))>
1536827085.553 * * * * [misc]progress:  [ 11 / 14 ] simplifiying candidate #<alt (λ (x) (* 1 (sqrt (* (- x 1) x))))>
1536827085.553 * * * * [misc]progress:  [ 12 / 14 ] simplifiying candidate #<alt (λ (x) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))))>
1536827085.554 * [enter]simplify:  Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2)))))))
1536827085.554 * [misc]simplify:  Simplified (2) to (λ (x) +nan.0)
1536827085.554 * * * * [misc]progress:  [ 13 / 14 ] simplifiying candidate #<alt (λ (x) (- x (+ (* 1/8 (/ 1 x)) 1/2)))>
1536827085.554 * [enter]simplify:  Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2))
1536827085.555 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827085.561 * * [misc]simplify:  iters left: 5 (18 enodes)
1536827085.569 * * [misc]simplify:  iters left: 4 (29 enodes)
1536827085.584 * * [misc]simplify:  iters left: 3 (55 enodes)
1536827085.606 * * [misc]simplify:  iters left: 2 (77 enodes)
1536827085.623 * * [misc]simplify:  iters left: 1 (98 enodes)
1536827085.651 * [exit]simplify:  Simplified to (+ (/ -1/8 x) (+ x -1/2))
1536827085.651 * [misc]simplify:  Simplified (2) to (λ (x) (+ (/ -1/8 x) (+ x -1/2)))
1536827085.651 * * * * [misc]progress:  [ 14 / 14 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/8 (/ 1 x)) 1/2) x))>
1536827085.651 * [enter]simplify:  Simplifying (- (+ (* 1/8 (/ 1 x)) 1/2) x)
1536827085.652 * * [misc]simplify:  iters left: 6 (8 enodes)
1536827085.657 * * [misc]simplify:  iters left: 5 (18 enodes)
1536827085.665 * * [misc]simplify:  iters left: 4 (28 enodes)
1536827085.676 * * [misc]simplify:  iters left: 3 (39 enodes)
1536827085.687 * * [misc]simplify:  iters left: 2 (45 enodes)
1536827085.700 * * [misc]simplify:  iters left: 1 (61 enodes)
1536827085.716 * [exit]simplify:  Simplified to (- (- 1/2 x) (/ -1/8 x))
1536827085.716 * [misc]simplify:  Simplified (2) to (λ (x) (- (- 1/2 x) (/ -1/8 x)))
1536827085.716 * * * [misc]progress:  adding candidates to table
1536827085.873 * [misc]progress:  [Phase 3 of 3] Extracting.
1536827085.874 * * [misc]regime:  Finding splitpoints for: (#<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1536827085.875 * * * [misc]regime-changes:  Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x)))
1536827085.876 * * * * [misc]regimes:  Trying to branch on x from (#<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1536827085.902 * * * * [misc]regimes:  Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (#<alt (λ (x) (+ (/ -1/8 x) (+ x -1/2)))> #<alt (λ (x) (* (sqrt (- x 1)) (sqrt x)))> #<alt (λ (x) (sqrt (* (- x 1) x)))>)
1536827085.955 * * * [misc]regime:  Found split indices: #<option (#s(si 1 256))>
1536827085.955 * [enter]simplify:  Simplifying (* (sqrt (- x 1)) (sqrt x))
1536827085.956 * * [misc]simplify:  iters left: 5 (6 enodes)
1536827085.957 * * [misc]simplify:  iters left: 4 (9 enodes)
1536827085.957 * [exit]simplify:  Simplified to (* (sqrt (- x 1)) (sqrt x))
1536827085.957 * * * * [misc]points:  Sampling 8000 additional inputs, on iter 0 have 0 / 8000
1536827086.994 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827086.996 * * * * [misc]points:  Sampling 5988 additional inputs, on iter 1 have 2012 / 8000
1536827087.760 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827087.761 * * * * [misc]points:  Sampling 4491 additional inputs, on iter 2 have 3509 / 8000
1536827088.724 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827088.724 * * * * [misc]points:  Sampling 3395 additional inputs, on iter 3 have 4605 / 8000
1536827089.220 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827089.220 * * * * [misc]points:  Sampling 2525 additional inputs, on iter 4 have 5475 / 8000
1536827089.510 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827089.511 * * * * [misc]points:  Sampling 1921 additional inputs, on iter 5 have 6079 / 8000
1536827089.710 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827089.710 * * * * [misc]points:  Sampling 1456 additional inputs, on iter 6 have 6544 / 8000
1536827089.902 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827089.903 * * * * [misc]points:  Sampling 1122 additional inputs, on iter 7 have 6878 / 8000
1536827090.032 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.032 * * * * [misc]points:  Sampling 865 additional inputs, on iter 8 have 7135 / 8000
1536827090.138 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.138 * * * * [misc]points:  Sampling 635 additional inputs, on iter 9 have 7365 / 8000
1536827090.193 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.193 * * * * [misc]points:  Sampling 482 additional inputs, on iter 10 have 7518 / 8000
1536827090.223 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.224 * * * * [misc]points:  Sampling 370 additional inputs, on iter 11 have 7630 / 8000
1536827090.315 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.315 * * * * [misc]points:  Sampling 282 additional inputs, on iter 12 have 7718 / 8000
1536827090.352 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.352 * * * * [misc]points:  Sampling 224 additional inputs, on iter 13 have 7776 / 8000
1536827090.380 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.380 * * * * [misc]points:  Sampling 160 additional inputs, on iter 14 have 7840 / 8000
1536827090.391 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.391 * * * * [misc]points:  Sampling 117 additional inputs, on iter 15 have 7883 / 8000
1536827090.399 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.399 * * * * [misc]points:  Sampling 84 additional inputs, on iter 16 have 7916 / 8000
1536827090.405 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.405 * * * * [misc]points:  Sampling 59 additional inputs, on iter 17 have 7941 / 8000
1536827090.410 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.410 * * * * [misc]points:  Sampling 46 additional inputs, on iter 18 have 7954 / 8000
1536827090.414 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.414 * * * * [misc]points:  Sampling 38 additional inputs, on iter 19 have 7962 / 8000
1536827090.417 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.418 * * * * [misc]points:  Sampling 28 additional inputs, on iter 20 have 7972 / 8000
1536827090.459 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.460 * * * * [misc]points:  Sampling 23 additional inputs, on iter 21 have 7977 / 8000
1536827090.462 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.462 * * * * [misc]points:  Sampling 16 additional inputs, on iter 22 have 7984 / 8000
1536827090.464 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.464 * * * * [misc]points:  Sampling 10 additional inputs, on iter 23 have 7990 / 8000
1536827090.466 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.466 * * * * [misc]points:  Sampling 6 additional inputs, on iter 24 have 7994 / 8000
1536827090.467 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.467 * * * * [misc]points:  Sampling 4 additional inputs, on iter 25 have 7996 / 8000
1536827090.470 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.470 * * * * [misc]points:  Sampling 4 additional inputs, on iter 26 have 7996 / 8000
1536827090.471 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.471 * * * * [misc]points:  Sampling 4 additional inputs, on iter 27 have 7996 / 8000
1536827090.473 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.473 * * * * [misc]points:  Sampling 4 additional inputs, on iter 28 have 7998 / 8000
1536827090.474 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.474 * * * * [misc]points:  Sampling 4 additional inputs, on iter 29 have 7998 / 8000
1536827090.475 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.475 * * * * [misc]points:  Sampling 4 additional inputs, on iter 30 have 7999 / 8000
1536827090.476 * * * * [misc]points:  Filtering points with unrepresentable outputs
1536827090.476 * * * * [exit]points:  Sampled 8002 points with exact outputs