1553863312.326 * [progress]: [Phase 1 of 3] Setting up. 1553863312.327 * * * [progress]: [1/2] Preparing points 1553863313.154 * * * [progress]: [2/2] Setting up program. 1553863313.160 * [progress]: [Phase 2 of 3] Improving. 1553863313.161 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553863313.162 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 1553863313.164 * * [simplify]: iters left: 5 (6 enodes) 1553863313.228 * * [simplify]: iters left: 4 (24 enodes) 1553863313.238 * * [simplify]: iters left: 3 (28 enodes) 1553863313.246 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.247 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863313.247 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863313.247 * * [simplify]: Extracting #3: cost 10 inf + 1 1553863313.248 * * [simplify]: Extracting #4: cost 5 inf + 128 1553863313.248 * * [simplify]: Extracting #5: cost 1 inf + 495 1553863313.248 * * [simplify]: Extracting #6: cost 0 inf + 657 1553863313.248 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 1553863313.249 * [simplify]: Simplified (2) to (λ (x) (* (sqrt (+ x -1)) (sqrt x))) 1553863313.255 * * [progress]: iteration 1 / 4 1553863313.255 * * * [progress]: picking best candidate 1553863313.259 * * * * [pick]: Picked # 1553863313.259 * * * [progress]: localizing error 1553863313.283 * * * [progress]: generating rewritten candidates 1553863313.283 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553863313.324 * * * [progress]: generating series expansions 1553863313.324 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553863313.331 * [backup-simplify]: Simplify (* (sqrt (- x 1)) (sqrt x)) into (sqrt (* x (- x 1))) 1553863313.331 * [approximate]: Taking taylor expansion of (sqrt (* x (- x 1))) in (x) around 0 1553863313.333 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 1553863313.333 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553863313.333 * [taylor]: Taking taylor expansion of x in x 1553863313.333 * [backup-simplify]: Simplify 0 into 0 1553863313.333 * [backup-simplify]: Simplify 1 into 1 1553863313.333 * [taylor]: Taking taylor expansion of (- x 1) in x 1553863313.333 * [taylor]: Taking taylor expansion of x in x 1553863313.333 * [backup-simplify]: Simplify 0 into 0 1553863313.333 * [backup-simplify]: Simplify 1 into 1 1553863313.333 * [taylor]: Taking taylor expansion of 1 in x 1553863313.333 * [backup-simplify]: Simplify 1 into 1 1553863313.335 * [backup-simplify]: Simplify (- 1) into -1 1553863313.335 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863313.336 * [backup-simplify]: Simplify (* 0 -1) into 0 1553863313.336 * [backup-simplify]: Simplify (- 0) into 0 1553863313.337 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.338 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553863313.338 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.340 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.340 * [taylor]: Taking taylor expansion of (sqrt (* x (- x 1))) in x 1553863313.340 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553863313.340 * [taylor]: Taking taylor expansion of x in x 1553863313.340 * [backup-simplify]: Simplify 0 into 0 1553863313.340 * [backup-simplify]: Simplify 1 into 1 1553863313.340 * [taylor]: Taking taylor expansion of (- x 1) in x 1553863313.340 * [taylor]: Taking taylor expansion of x in x 1553863313.340 * [backup-simplify]: Simplify 0 into 0 1553863313.340 * [backup-simplify]: Simplify 1 into 1 1553863313.340 * [taylor]: Taking taylor expansion of 1 in x 1553863313.340 * [backup-simplify]: Simplify 1 into 1 1553863313.341 * [backup-simplify]: Simplify (- 1) into -1 1553863313.341 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863313.342 * [backup-simplify]: Simplify (* 0 -1) into 0 1553863313.342 * [backup-simplify]: Simplify (- 0) into 0 1553863313.342 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.343 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553863313.344 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.345 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.346 * [backup-simplify]: Simplify 0 into 0 1553863313.346 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553863313.347 * [backup-simplify]: Simplify (- 0) into 0 1553863313.347 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863313.348 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553863313.370 * [backup-simplify]: Simplify (/ (- 1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553863313.371 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553863313.373 * [backup-simplify]: Simplify (- 0) into 0 1553863313.374 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863313.375 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553863313.379 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553863313.380 * [backup-simplify]: Simplify +nan.0 into +nan.0 1553863313.381 * [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))))))) 1553863313.381 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 x) 1)) (sqrt (/ 1 x))) into (sqrt (/ (- (/ 1 x) 1) x)) 1553863313.381 * [approximate]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in (x) around 0 1553863313.381 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 1553863313.381 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553863313.382 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553863313.382 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863313.382 * [taylor]: Taking taylor expansion of x in x 1553863313.382 * [backup-simplify]: Simplify 0 into 0 1553863313.382 * [backup-simplify]: Simplify 1 into 1 1553863313.382 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.382 * [taylor]: Taking taylor expansion of 1 in x 1553863313.382 * [backup-simplify]: Simplify 1 into 1 1553863313.383 * [taylor]: Taking taylor expansion of x in x 1553863313.383 * [backup-simplify]: Simplify 0 into 0 1553863313.383 * [backup-simplify]: Simplify 1 into 1 1553863313.383 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.384 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.384 * [backup-simplify]: Simplify (sqrt 1) into 1 1553863313.385 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553863313.386 * [backup-simplify]: Simplify (- 1) into -1 1553863313.386 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863313.387 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553863313.388 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1553863313.388 * [taylor]: Taking taylor expansion of (sqrt (/ (- (/ 1 x) 1) x)) in x 1553863313.388 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553863313.388 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553863313.388 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863313.388 * [taylor]: Taking taylor expansion of x in x 1553863313.388 * [backup-simplify]: Simplify 0 into 0 1553863313.388 * [backup-simplify]: Simplify 1 into 1 1553863313.389 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.389 * [taylor]: Taking taylor expansion of 1 in x 1553863313.389 * [backup-simplify]: Simplify 1 into 1 1553863313.389 * [taylor]: Taking taylor expansion of x in x 1553863313.389 * [backup-simplify]: Simplify 0 into 0 1553863313.389 * [backup-simplify]: Simplify 1 into 1 1553863313.389 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.390 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.390 * [backup-simplify]: Simplify (sqrt 1) into 1 1553863313.391 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553863313.391 * [backup-simplify]: Simplify (- 1) into -1 1553863313.392 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863313.393 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553863313.394 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 1))) into -1/2 1553863313.394 * [backup-simplify]: Simplify 1 into 1 1553863313.394 * [backup-simplify]: Simplify -1/2 into -1/2 1553863313.395 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863313.396 * [backup-simplify]: Simplify (- 0) into 0 1553863313.396 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863313.397 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 1553863313.399 * [backup-simplify]: Simplify (/ (- 0 (pow -1/2 2) (+)) (* 2 1)) into -1/8 1553863313.399 * [backup-simplify]: Simplify -1/8 into -1/8 1553863313.399 * [backup-simplify]: Simplify (+ (* -1/8 (/ 1 x)) (+ -1/2 (* 1 (/ 1 (/ 1 x))))) into (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553863313.399 * [backup-simplify]: Simplify (* (sqrt (- (/ 1 (- x)) 1)) (sqrt (/ 1 (- x)))) into (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) 1553863313.399 * [approximate]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in (x) around 0 1553863313.399 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 1553863313.399 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553863313.399 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553863313.399 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553863313.399 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863313.399 * [taylor]: Taking taylor expansion of x in x 1553863313.399 * [backup-simplify]: Simplify 0 into 0 1553863313.399 * [backup-simplify]: Simplify 1 into 1 1553863313.400 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.400 * [taylor]: Taking taylor expansion of 1 in x 1553863313.400 * [backup-simplify]: Simplify 1 into 1 1553863313.400 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.401 * [backup-simplify]: Simplify (- 1) into -1 1553863313.401 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.402 * [backup-simplify]: Simplify (- 1) into -1 1553863313.403 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.403 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1553863313.403 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863313.403 * [taylor]: Taking taylor expansion of -1 in x 1553863313.403 * [backup-simplify]: Simplify -1 into -1 1553863313.403 * [taylor]: Taking taylor expansion of x in x 1553863313.403 * [backup-simplify]: Simplify 0 into 0 1553863313.403 * [backup-simplify]: Simplify 1 into 1 1553863313.404 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863313.404 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.406 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.406 * [taylor]: Taking taylor expansion of (* (sqrt (- (+ (/ 1 x) 1))) (sqrt (/ -1 x))) in x 1553863313.406 * [taylor]: Taking taylor expansion of (sqrt (- (+ (/ 1 x) 1))) in x 1553863313.406 * [taylor]: Taking taylor expansion of (- (+ (/ 1 x) 1)) in x 1553863313.406 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553863313.406 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863313.406 * [taylor]: Taking taylor expansion of x in x 1553863313.406 * [backup-simplify]: Simplify 0 into 0 1553863313.406 * [backup-simplify]: Simplify 1 into 1 1553863313.406 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863313.406 * [taylor]: Taking taylor expansion of 1 in x 1553863313.406 * [backup-simplify]: Simplify 1 into 1 1553863313.407 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863313.407 * [backup-simplify]: Simplify (- 1) into -1 1553863313.408 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.408 * [backup-simplify]: Simplify (- 1) into -1 1553863313.410 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.410 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x 1553863313.410 * [taylor]: Taking taylor expansion of (/ -1 x) in x 1553863313.410 * [taylor]: Taking taylor expansion of -1 in x 1553863313.410 * [backup-simplify]: Simplify -1 into -1 1553863313.410 * [taylor]: Taking taylor expansion of x in x 1553863313.410 * [backup-simplify]: Simplify 0 into 0 1553863313.410 * [backup-simplify]: Simplify 1 into 1 1553863313.410 * [backup-simplify]: Simplify (/ -1 1) into -1 1553863313.411 * [backup-simplify]: Simplify (sqrt 0) into 0 1553863313.412 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0 1553863313.413 * [backup-simplify]: Simplify (* 0 0) into 0 1553863313.413 * [backup-simplify]: Simplify 0 into 0 1553863313.414 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0 1553863313.414 * [backup-simplify]: Simplify 0 into 0 1553863313.415 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0 1553863313.419 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553863313.419 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553863313.420 * [backup-simplify]: Simplify (+ 0 1) into 1 1553863313.420 * [backup-simplify]: Simplify (- 1) into -1 1553863313.423 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0 1553863313.426 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0) 1553863313.426 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553863313.428 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863313.431 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553863313.432 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863313.433 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863313.433 * [backup-simplify]: Simplify (- 0) into 0 1553863313.437 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553863313.441 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0) 1553863313.441 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553863313.442 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863313.447 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553863313.448 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863313.448 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863313.449 * [backup-simplify]: Simplify (- 0) into 0 1553863313.454 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0 1553863313.459 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0) 1553863313.459 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0) 1553863313.461 * [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))))) 1553863313.461 * * * [progress]: simplifying candidates 1553863313.461 * * * * [progress]: [ 1 / 42 ] simplifiying candidate # 1553863313.461 * * * * [progress]: [ 2 / 42 ] simplifiying candidate # 1553863313.461 * * * * [progress]: [ 3 / 42 ] simplifiying candidate # 1553863313.461 * [simplify]: Simplifying (* (- x 1) x) 1553863313.461 * * [simplify]: iters left: 4 (4 enodes) 1553863313.463 * * [simplify]: iters left: 3 (18 enodes) 1553863313.466 * * [simplify]: iters left: 2 (27 enodes) 1553863313.472 * * [simplify]: iters left: 1 (38 enodes) 1553863313.478 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.478 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863313.478 * * [simplify]: Extracting #2: cost 10 inf + 2 1553863313.478 * * [simplify]: Extracting #3: cost 0 inf + 457 1553863313.478 * * [simplify]: Extracting #4: cost 0 inf + 455 1553863313.478 * [simplify]: Simplified to (- (* x x) x) 1553863313.478 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) 1/2)) 1553863313.478 * * * * [progress]: [ 4 / 42 ] simplifiying candidate # 1553863313.479 * [simplify]: Simplifying (* (sqrt (- x 1)) (sqrt x)) 1553863313.479 * * [simplify]: iters left: 5 (6 enodes) 1553863313.481 * * [simplify]: iters left: 4 (24 enodes) 1553863313.488 * * [simplify]: iters left: 3 (28 enodes) 1553863313.497 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.497 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863313.497 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863313.497 * * [simplify]: Extracting #3: cost 10 inf + 1 1553863313.497 * * [simplify]: Extracting #4: cost 5 inf + 128 1553863313.498 * * [simplify]: Extracting #5: cost 1 inf + 495 1553863313.498 * * [simplify]: Extracting #6: cost 0 inf + 657 1553863313.498 * [simplify]: Simplified to (* (sqrt (+ x -1)) (sqrt x)) 1553863313.498 * [simplify]: Simplified (2 1) to (λ (x) (pow (* (sqrt (+ x -1)) (sqrt x)) 1)) 1553863313.498 * * * * [progress]: [ 5 / 42 ] simplifiying candidate # 1553863313.499 * [simplify]: Simplifying (* (- x 1) x) 1553863313.499 * * [simplify]: iters left: 4 (4 enodes) 1553863313.502 * * [simplify]: iters left: 3 (18 enodes) 1553863313.512 * * [simplify]: iters left: 2 (27 enodes) 1553863313.521 * * [simplify]: iters left: 1 (38 enodes) 1553863313.531 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.531 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863313.531 * * [simplify]: Extracting #2: cost 10 inf + 2 1553863313.531 * * [simplify]: Extracting #3: cost 0 inf + 457 1553863313.532 * * [simplify]: Extracting #4: cost 0 inf + 455 1553863313.532 * [simplify]: Simplified to (- (* x x) x) 1553863313.532 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (/ 1 2))) 1553863313.533 * [simplify]: Simplifying (/ 1 2) 1553863313.533 * * [simplify]: iters left: 2 (3 enodes) 1553863313.536 * * [simplify]: iters left: 1 (12 enodes) 1553863313.540 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.540 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863313.540 * [simplify]: Simplified to 1/2 1553863313.540 * [simplify]: Simplified (2 2) to (λ (x) (pow (* (- x 1) x) 1/2)) 1553863313.540 * * * * [progress]: [ 6 / 42 ] simplifiying candidate # 1553863313.540 * * * * [progress]: [ 7 / 42 ] simplifiying candidate # 1553863313.540 * [simplify]: Simplifying (+ (log (sqrt (- x 1))) (log (sqrt x))) 1553863313.541 * * [simplify]: iters left: 6 (8 enodes) 1553863313.545 * * [simplify]: iters left: 5 (30 enodes) 1553863313.555 * * [simplify]: iters left: 4 (34 enodes) 1553863313.563 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.563 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863313.563 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863313.563 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863313.563 * * [simplify]: Extracting #4: cost 10 inf + 305 1553863313.564 * * [simplify]: Extracting #5: cost 8 inf + 307 1553863313.564 * * [simplify]: Extracting #6: cost 5 inf + 473 1553863313.564 * * [simplify]: Extracting #7: cost 0 inf + 1463 1553863313.565 * [simplify]: Simplified to (+ (log (sqrt x)) (log (sqrt (+ x -1)))) 1553863313.565 * [simplify]: Simplified (2 1) to (λ (x) (exp (+ (log (sqrt x)) (log (sqrt (+ x -1)))))) 1553863313.565 * * * * [progress]: [ 8 / 42 ] simplifiying candidate # 1553863313.565 * * * * [progress]: [ 9 / 42 ] simplifiying candidate # 1553863313.565 * * * * [progress]: [ 10 / 42 ] simplifiying candidate # 1553863313.565 * [simplify]: Simplifying (* (* (* (sqrt (- x 1)) (sqrt (- x 1))) (sqrt (- x 1))) (* (* (sqrt x) (sqrt x)) (sqrt x))) 1553863313.565 * * [simplify]: iters left: 6 (10 enodes) 1553863313.571 * * [simplify]: iters left: 5 (38 enodes) 1553863313.583 * * [simplify]: iters left: 4 (72 enodes) 1553863313.608 * * [simplify]: iters left: 3 (130 enodes) 1553863313.660 * * [simplify]: iters left: 2 (244 enodes) 1553863313.786 * * [simplify]: iters left: 1 (485 enodes) 1553863313.987 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863313.987 * * [simplify]: Extracting #1: cost 48 inf + 0 1553863313.988 * * [simplify]: Extracting #2: cost 103 inf + 43 1553863313.990 * * [simplify]: Extracting #3: cost 78 inf + 3128 1553863313.998 * * [simplify]: Extracting #4: cost 16 inf + 21409 1553863314.009 * * [simplify]: Extracting #5: cost 1 inf + 29623 1553863314.020 * * [simplify]: Extracting #6: cost 0 inf + 30287 1553863314.031 * [simplify]: Simplified to (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))) 1553863314.031 * [simplify]: Simplified (2 1) to (λ (x) (cbrt (* (* x (sqrt x)) (* (+ -1 x) (sqrt (+ -1 x)))))) 1553863314.031 * * * * [progress]: [ 11 / 42 ] simplifiying candidate # 1553863314.031 * * * * [progress]: [ 12 / 42 ] simplifiying candidate # 1553863314.032 * * * * [progress]: [ 13 / 42 ] simplifiying candidate # 1553863314.032 * [simplify]: Simplifying (* (- x 1) x) 1553863314.032 * * [simplify]: iters left: 4 (4 enodes) 1553863314.035 * * [simplify]: iters left: 3 (18 enodes) 1553863314.041 * * [simplify]: iters left: 2 (27 enodes) 1553863314.050 * * [simplify]: iters left: 1 (38 enodes) 1553863314.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.061 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863314.061 * * [simplify]: Extracting #2: cost 10 inf + 2 1553863314.061 * * [simplify]: Extracting #3: cost 0 inf + 457 1553863314.062 * * [simplify]: Extracting #4: cost 0 inf + 455 1553863314.062 * [simplify]: Simplified to (- (* x x) x) 1553863314.062 * [simplify]: Simplified (2 1) to (λ (x) (sqrt (- (* x x) x))) 1553863314.062 * * * * [progress]: [ 14 / 42 ] simplifiying candidate # 1553863314.062 * * * * [progress]: [ 15 / 42 ] simplifiying candidate # 1553863314.062 * * * * [progress]: [ 16 / 42 ] simplifiying candidate # 1553863314.066 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.066 * * [simplify]: iters left: 6 (8 enodes) 1553863314.071 * * [simplify]: iters left: 5 (30 enodes) 1553863314.080 * * [simplify]: iters left: 4 (34 enodes) 1553863314.090 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.090 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.090 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.090 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.090 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.090 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.091 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.091 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.091 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.091 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553863314.092 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.092 * * [simplify]: iters left: 6 (8 enodes) 1553863314.096 * * [simplify]: iters left: 5 (30 enodes) 1553863314.105 * * [simplify]: iters left: 4 (34 enodes) 1553863314.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.115 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.115 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.115 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.115 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.115 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.115 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.115 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.115 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.115 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553863314.115 * * * * [progress]: [ 17 / 42 ] simplifiying candidate # 1553863314.116 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.116 * * [simplify]: iters left: 6 (8 enodes) 1553863314.118 * * [simplify]: iters left: 5 (30 enodes) 1553863314.123 * * [simplify]: iters left: 4 (34 enodes) 1553863314.128 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.128 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.128 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.128 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.128 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.128 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.128 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.128 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.129 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.129 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553863314.129 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.129 * * [simplify]: iters left: 6 (8 enodes) 1553863314.131 * * [simplify]: iters left: 5 (30 enodes) 1553863314.136 * * [simplify]: iters left: 4 (34 enodes) 1553863314.141 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.141 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.141 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.141 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.141 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.142 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.142 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.142 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.143 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.143 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553863314.143 * * * * [progress]: [ 18 / 42 ] simplifiying candidate # 1553863314.143 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.143 * * [simplify]: iters left: 6 (8 enodes) 1553863314.148 * * [simplify]: iters left: 5 (30 enodes) 1553863314.157 * * [simplify]: iters left: 4 (34 enodes) 1553863314.167 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.167 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.167 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.167 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.168 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.168 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.168 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.168 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.169 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.169 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553863314.169 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.169 * * [simplify]: iters left: 6 (8 enodes) 1553863314.174 * * [simplify]: iters left: 5 (30 enodes) 1553863314.183 * * [simplify]: iters left: 4 (34 enodes) 1553863314.193 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.193 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.193 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.193 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.193 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.193 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.193 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.194 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.194 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.194 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553863314.194 * * * * [progress]: [ 19 / 42 ] simplifiying candidate # 1553863314.194 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.194 * * [simplify]: iters left: 6 (8 enodes) 1553863314.198 * * [simplify]: iters left: 5 (30 enodes) 1553863314.203 * * [simplify]: iters left: 4 (34 enodes) 1553863314.208 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.208 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.208 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.208 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.208 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.208 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.208 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.208 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.208 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.208 * [simplify]: Simplified (2 1) to (λ (x) (* (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))))) 1553863314.209 * [simplify]: Simplifying (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) 1553863314.209 * * [simplify]: iters left: 6 (8 enodes) 1553863314.211 * * [simplify]: iters left: 5 (30 enodes) 1553863314.216 * * [simplify]: iters left: 4 (34 enodes) 1553863314.221 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.221 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.221 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.221 * * [simplify]: Extracting #3: cost 12 inf + 0 1553863314.221 * * [simplify]: Extracting #4: cost 10 inf + 245 1553863314.221 * * [simplify]: Extracting #5: cost 8 inf + 247 1553863314.221 * * [simplify]: Extracting #6: cost 5 inf + 413 1553863314.222 * * [simplify]: Extracting #7: cost 0 inf + 1223 1553863314.222 * [simplify]: Simplified to (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))) 1553863314.222 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (sqrt (- x 1))) (sqrt (sqrt x))) (* (sqrt (sqrt x)) (sqrt (sqrt (+ x -1)))))) 1553863314.222 * * * * [progress]: [ 20 / 42 ] simplifiying candidate # 1553863314.223 * [simplify]: Simplifying (cbrt (sqrt x)) 1553863314.223 * * [simplify]: iters left: 2 (3 enodes) 1553863314.224 * * [simplify]: iters left: 1 (9 enodes) 1553863314.226 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.227 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.227 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.227 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863314.227 * * [simplify]: Extracting #4: cost 0 inf + 325 1553863314.227 * [simplify]: Simplified to (cbrt (sqrt x)) 1553863314.227 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x)))) 1553863314.227 * * * * [progress]: [ 21 / 42 ] simplifiying candidate # 1553863314.228 * [simplify]: Simplifying (sqrt (cbrt x)) 1553863314.228 * * [simplify]: iters left: 2 (3 enodes) 1553863314.229 * * [simplify]: iters left: 1 (9 enodes) 1553863314.231 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.231 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.231 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.231 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863314.232 * * [simplify]: Extracting #4: cost 0 inf + 405 1553863314.232 * [simplify]: Simplified to (sqrt (cbrt x)) 1553863314.232 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x)))) 1553863314.232 * * * * [progress]: [ 22 / 42 ] simplifiying candidate # 1553863314.232 * [simplify]: Simplifying (sqrt (sqrt x)) 1553863314.232 * * [simplify]: iters left: 2 (3 enodes) 1553863314.233 * * [simplify]: iters left: 1 (9 enodes) 1553863314.236 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.236 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.236 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.236 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863314.236 * * [simplify]: Extracting #4: cost 0 inf + 245 1553863314.236 * [simplify]: Simplified to (sqrt (sqrt x)) 1553863314.236 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1553863314.236 * * * * [progress]: [ 23 / 42 ] simplifiying candidate # 1553863314.237 * [simplify]: Simplifying (sqrt x) 1553863314.237 * * [simplify]: iters left: 1 (2 enodes) 1553863314.237 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.238 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.238 * * [simplify]: Extracting #2: cost 2 inf + 1 1553863314.238 * * [simplify]: Extracting #3: cost 0 inf + 83 1553863314.238 * [simplify]: Simplified to (sqrt x) 1553863314.238 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt 1)) (sqrt x))) 1553863314.238 * * * * [progress]: [ 24 / 42 ] simplifiying candidate # 1553863314.238 * [simplify]: Simplifying (sqrt (sqrt x)) 1553863314.238 * * [simplify]: iters left: 2 (3 enodes) 1553863314.239 * * [simplify]: iters left: 1 (9 enodes) 1553863314.242 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.242 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.242 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.242 * * [simplify]: Extracting #3: cost 4 inf + 1 1553863314.242 * * [simplify]: Extracting #4: cost 0 inf + 245 1553863314.242 * [simplify]: Simplified to (sqrt (sqrt x)) 1553863314.242 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) (sqrt (sqrt x))) (sqrt (sqrt x)))) 1553863314.242 * * * * [progress]: [ 25 / 42 ] simplifiying candidate # 1553863314.243 * [simplify]: Simplifying (sqrt x) 1553863314.243 * * [simplify]: iters left: 1 (2 enodes) 1553863314.243 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.243 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.243 * * [simplify]: Extracting #2: cost 2 inf + 1 1553863314.244 * * [simplify]: Extracting #3: cost 0 inf + 83 1553863314.244 * [simplify]: Simplified to (sqrt x) 1553863314.244 * [simplify]: Simplified (2 2) to (λ (x) (* (* (sqrt (- x 1)) 1) (sqrt x))) 1553863314.244 * * * * [progress]: [ 26 / 42 ] simplifiying candidate # 1553863314.244 * [simplify]: Simplifying (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1553863314.244 * * [simplify]: iters left: 6 (6 enodes) 1553863314.248 * * [simplify]: iters left: 5 (23 enodes) 1553863314.255 * * [simplify]: iters left: 4 (27 enodes) 1553863314.263 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.263 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.263 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.263 * * [simplify]: Extracting #3: cost 7 inf + 0 1553863314.263 * * [simplify]: Extracting #4: cost 11 inf + 0 1553863314.264 * * [simplify]: Extracting #5: cost 6 inf + 87 1553863314.264 * * [simplify]: Extracting #6: cost 1 inf + 777 1553863314.264 * * [simplify]: Extracting #7: cost 0 inf + 979 1553863314.264 * [simplify]: Simplified to (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) 1553863314.264 * [simplify]: Simplified (2 1) to (λ (x) (* (* (cbrt (sqrt (- x 1))) (cbrt (sqrt (- x 1)))) (* (cbrt (sqrt (- x 1))) (sqrt x)))) 1553863314.265 * * * * [progress]: [ 27 / 42 ] simplifiying candidate # 1553863314.265 * [simplify]: Simplifying (sqrt (* (cbrt (- x 1)) (cbrt (- x 1)))) 1553863314.265 * * [simplify]: iters left: 6 (6 enodes) 1553863314.269 * * [simplify]: iters left: 5 (24 enodes) 1553863314.276 * * [simplify]: iters left: 4 (28 enodes) 1553863314.284 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.284 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.284 * * [simplify]: Extracting #2: cost 7 inf + 0 1553863314.284 * * [simplify]: Extracting #3: cost 11 inf + 0 1553863314.284 * * [simplify]: Extracting #4: cost 8 inf + 3 1553863314.284 * * [simplify]: Extracting #5: cost 4 inf + 331 1553863314.285 * * [simplify]: Extracting #6: cost 2 inf + 655 1553863314.285 * * [simplify]: Extracting #7: cost 0 inf + 979 1553863314.285 * [simplify]: Simplified to (fabs (cbrt (+ x -1))) 1553863314.285 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (* (sqrt (cbrt (- x 1))) (sqrt x)))) 1553863314.285 * * * * [progress]: [ 28 / 42 ] simplifiying candidate # 1553863314.286 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1553863314.286 * * [simplify]: iters left: 4 (5 enodes) 1553863314.289 * * [simplify]: iters left: 3 (20 enodes) 1553863314.295 * * [simplify]: iters left: 2 (24 enodes) 1553863314.302 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.303 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.303 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.303 * * [simplify]: Extracting #3: cost 9 inf + 0 1553863314.303 * * [simplify]: Extracting #4: cost 6 inf + 3 1553863314.303 * * [simplify]: Extracting #5: cost 0 inf + 495 1553863314.303 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553863314.303 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 1553863314.303 * * * * [progress]: [ 29 / 42 ] simplifiying candidate # 1553863314.303 * [simplify]: Simplifying (sqrt 1) 1553863314.304 * * [simplify]: iters left: 1 (2 enodes) 1553863314.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.306 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863314.307 * [simplify]: Simplified to 1 1553863314.307 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 1553863314.307 * * * * [progress]: [ 30 / 42 ] simplifiying candidate # 1553863314.307 * [simplify]: Simplifying (sqrt (+ (sqrt x) (sqrt 1))) 1553863314.307 * * [simplify]: iters left: 4 (6 enodes) 1553863314.310 * * [simplify]: iters left: 3 (21 enodes) 1553863314.316 * * [simplify]: iters left: 2 (23 enodes) 1553863314.323 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.323 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.323 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863314.323 * * [simplify]: Extracting #3: cost 7 inf + 1 1553863314.323 * * [simplify]: Extracting #4: cost 6 inf + 2 1553863314.323 * * [simplify]: Extracting #5: cost 0 inf + 492 1553863314.323 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863314.323 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) (sqrt 1))) (sqrt x)))) 1553863314.323 * * * * [progress]: [ 31 / 42 ] simplifiying candidate # 1553863314.324 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553863314.324 * * [simplify]: iters left: 4 (5 enodes) 1553863314.326 * * [simplify]: iters left: 3 (18 enodes) 1553863314.332 * * [simplify]: iters left: 2 (20 enodes) 1553863314.340 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.340 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.340 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863314.340 * * [simplify]: Extracting #3: cost 7 inf + 1 1553863314.340 * * [simplify]: Extracting #4: cost 6 inf + 2 1553863314.340 * * [simplify]: Extracting #5: cost 0 inf + 492 1553863314.340 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863314.340 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 1553863314.341 * * * * [progress]: [ 32 / 42 ] simplifiying candidate # 1553863314.341 * [simplify]: Simplifying (sqrt (+ (sqrt x) 1)) 1553863314.341 * * [simplify]: iters left: 4 (5 enodes) 1553863314.343 * * [simplify]: iters left: 3 (18 enodes) 1553863314.349 * * [simplify]: iters left: 2 (20 enodes) 1553863314.355 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.355 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.355 * * [simplify]: Extracting #2: cost 6 inf + 0 1553863314.355 * * [simplify]: Extracting #3: cost 7 inf + 1 1553863314.355 * * [simplify]: Extracting #4: cost 6 inf + 2 1553863314.356 * * [simplify]: Extracting #5: cost 0 inf + 492 1553863314.356 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863314.356 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (* (sqrt (- (sqrt x) 1)) (sqrt x)))) 1553863314.356 * * * * [progress]: [ 33 / 42 ] simplifiying candidate # 1553863314.356 * [simplify]: Simplifying (sqrt 1) 1553863314.356 * * [simplify]: iters left: 1 (2 enodes) 1553863314.360 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.360 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863314.360 * [simplify]: Simplified to 1 1553863314.360 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (* (sqrt (- x 1)) (sqrt x)))) 1553863314.360 * * * * [progress]: [ 34 / 42 ] simplifiying candidate # 1553863314.360 * [simplify]: Simplifying (sqrt (sqrt (- x 1))) 1553863314.360 * * [simplify]: iters left: 4 (5 enodes) 1553863314.363 * * [simplify]: iters left: 3 (20 enodes) 1553863314.370 * * [simplify]: iters left: 2 (24 enodes) 1553863314.377 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.377 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863314.377 * * [simplify]: Extracting #2: cost 5 inf + 0 1553863314.377 * * [simplify]: Extracting #3: cost 9 inf + 0 1553863314.378 * * [simplify]: Extracting #4: cost 6 inf + 3 1553863314.378 * * [simplify]: Extracting #5: cost 0 inf + 495 1553863314.378 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553863314.378 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (* (sqrt (sqrt (- x 1))) (sqrt x)))) 1553863314.378 * * * * [progress]: [ 35 / 42 ] simplifiying candidate # 1553863314.378 * * * * [progress]: [ 36 / 42 ] simplifiying candidate # 1553863314.379 * [simplify]: Simplifying (* (sqrt (- (pow x 3) (pow 1 3))) (sqrt x)) 1553863314.379 * * [simplify]: iters left: 6 (9 enodes) 1553863314.385 * * [simplify]: iters left: 5 (41 enodes) 1553863314.394 * * [simplify]: iters left: 4 (73 enodes) 1553863314.406 * * [simplify]: iters left: 3 (108 enodes) 1553863314.429 * * [simplify]: iters left: 2 (174 enodes) 1553863314.475 * * [simplify]: iters left: 1 (359 enodes) 1553863314.636 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.636 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.636 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.636 * * [simplify]: Extracting #3: cost 53 inf + 83 1553863314.637 * * [simplify]: Extracting #4: cost 184 inf + 126 1553863314.639 * * [simplify]: Extracting #5: cost 182 inf + 2089 1553863314.645 * * [simplify]: Extracting #6: cost 107 inf + 32963 1553863314.659 * * [simplify]: Extracting #7: cost 11 inf + 84620 1553863314.676 * * [simplify]: Extracting #8: cost 0 inf + 91226 1553863314.684 * * [simplify]: Extracting #9: cost 0 inf + 91055 1553863314.693 * [simplify]: Simplified to (* (sqrt x) (sqrt (fma x (* x x) -1))) 1553863314.693 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt x) (sqrt (fma x (* x x) -1))) (sqrt (+ (* x x) (+ (* 1 1) (* x 1)))))) 1553863314.693 * * * * [progress]: [ 37 / 42 ] simplifiying candidate # 1553863314.693 * [simplify]: Simplifying (* (sqrt (- (* x x) (* 1 1))) (sqrt x)) 1553863314.693 * * [simplify]: iters left: 6 (8 enodes) 1553863314.696 * * [simplify]: iters left: 5 (30 enodes) 1553863314.701 * * [simplify]: iters left: 4 (41 enodes) 1553863314.708 * * [simplify]: iters left: 3 (48 enodes) 1553863314.721 * * [simplify]: iters left: 2 (64 enodes) 1553863314.745 * * [simplify]: iters left: 1 (107 enodes) 1553863314.762 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.762 * * [simplify]: Extracting #1: cost 4 inf + 0 1553863314.762 * * [simplify]: Extracting #2: cost 8 inf + 0 1553863314.762 * * [simplify]: Extracting #3: cost 28 inf + 1 1553863314.763 * * [simplify]: Extracting #4: cost 21 inf + 947 1553863314.763 * * [simplify]: Extracting #5: cost 3 inf + 2726 1553863314.764 * * [simplify]: Extracting #6: cost 0 inf + 2733 1553863314.765 * [simplify]: Simplified to (* (sqrt (fma x x -1)) (sqrt x)) 1553863314.765 * [simplify]: Simplified (2 1) to (λ (x) (/ (* (sqrt (fma x x -1)) (sqrt x)) (sqrt (+ x 1)))) 1553863314.765 * * * * [progress]: [ 38 / 42 ] simplifiying candidate #real (real->posit16 (* (sqrt (- x 1)) (sqrt x)))))> 1553863314.765 * * * * [progress]: [ 39 / 42 ] simplifiying candidate # 1553863314.765 * * * * [progress]: [ 40 / 42 ] simplifiying candidate # 1553863314.765 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 3)) (- (* +nan.0 (pow x 2))))))) 1553863314.765 * [simplify]: Simplified (2) to (λ (x) +nan.0) 1553863314.765 * * * * [progress]: [ 41 / 42 ] simplifiying candidate # 1553863314.766 * [simplify]: Simplifying (- x (+ (* 1/8 (/ 1 x)) 1/2)) 1553863314.766 * * [simplify]: iters left: 6 (8 enodes) 1553863314.769 * * [simplify]: iters left: 5 (35 enodes) 1553863314.776 * * [simplify]: iters left: 4 (54 enodes) 1553863314.792 * * [simplify]: iters left: 3 (77 enodes) 1553863314.818 * * [simplify]: iters left: 2 (110 enodes) 1553863314.845 * * [simplify]: iters left: 1 (124 enodes) 1553863314.866 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863314.866 * * [simplify]: Extracting #1: cost 18 inf + 0 1553863314.866 * * [simplify]: Extracting #2: cost 26 inf + 5 1553863314.867 * * [simplify]: Extracting #3: cost 6 inf + 1207 1553863314.867 * * [simplify]: Extracting #4: cost 0 inf + 1580 1553863314.868 * * [simplify]: Extracting #5: cost 0 inf + 1540 1553863314.869 * [simplify]: Simplified to (- x (- 1/2 (/ -1/8 x))) 1553863314.869 * [simplify]: Simplified (2) to (λ (x) (- x (- 1/2 (/ -1/8 x)))) 1553863314.869 * * * * [progress]: [ 42 / 42 ] simplifiying candidate # 1553863314.869 * [simplify]: Simplifying (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) 1553863314.869 * [simplify]: Simplified (2) to (λ (x) +nan.0) 1553863314.869 * * * [progress]: adding candidates to table 1553863315.175 * * [progress]: iteration 2 / 4 1553863315.175 * * * [progress]: picking best candidate 1553863315.181 * * * * [pick]: Picked # 1553863315.181 * * * [progress]: localizing error 1553863315.202 * * * [progress]: generating rewritten candidates 1553863315.202 * * * [progress]: generating series expansions 1553863315.202 * * * [progress]: simplifying candidates 1553863315.202 * * * [progress]: adding candidates to table 1553863315.203 * * [progress]: iteration 3 / 4 1553863315.203 * * * [progress]: picking best candidate 1553863315.206 * * * * [pick]: Picked # 1553863315.206 * * * [progress]: localizing error 1553863315.229 * * * [progress]: generating rewritten candidates 1553863315.229 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 1553863315.253 * * * [progress]: generating series expansions 1553863315.253 * * * * [progress]: [ 1 / 1 ] generating series at (2) 1553863315.253 * [backup-simplify]: Simplify (pow (* (- x 1) x) 1/2) into (pow (* x (- x 1)) 1/2) 1553863315.253 * [approximate]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in (x) around 0 1553863315.254 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 1553863315.254 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 1553863315.254 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 1553863315.254 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.254 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.254 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 1553863315.254 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553863315.254 * [taylor]: Taking taylor expansion of x in x 1553863315.254 * [backup-simplify]: Simplify 0 into 0 1553863315.254 * [backup-simplify]: Simplify 1 into 1 1553863315.254 * [taylor]: Taking taylor expansion of (- x 1) in x 1553863315.254 * [taylor]: Taking taylor expansion of x in x 1553863315.254 * [backup-simplify]: Simplify 0 into 0 1553863315.254 * [backup-simplify]: Simplify 1 into 1 1553863315.254 * [taylor]: Taking taylor expansion of 1 in x 1553863315.254 * [backup-simplify]: Simplify 1 into 1 1553863315.254 * [backup-simplify]: Simplify (- 1) into -1 1553863315.255 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863315.255 * [backup-simplify]: Simplify (* 0 -1) into 0 1553863315.255 * [backup-simplify]: Simplify (- 0) into 0 1553863315.255 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.256 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553863315.256 * [backup-simplify]: Simplify (log -1) into (log -1) 1553863315.257 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553863315.257 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 1553863315.257 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553863315.257 * [taylor]: Taking taylor expansion of (pow (* x (- x 1)) 1/2) in x 1553863315.257 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (* x (- x 1))))) in x 1553863315.257 * [taylor]: Taking taylor expansion of (* 1/2 (log (* x (- x 1)))) in x 1553863315.257 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.257 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.257 * [taylor]: Taking taylor expansion of (log (* x (- x 1))) in x 1553863315.258 * [taylor]: Taking taylor expansion of (* x (- x 1)) in x 1553863315.258 * [taylor]: Taking taylor expansion of x in x 1553863315.258 * [backup-simplify]: Simplify 0 into 0 1553863315.258 * [backup-simplify]: Simplify 1 into 1 1553863315.258 * [taylor]: Taking taylor expansion of (- x 1) in x 1553863315.258 * [taylor]: Taking taylor expansion of x in x 1553863315.258 * [backup-simplify]: Simplify 0 into 0 1553863315.258 * [backup-simplify]: Simplify 1 into 1 1553863315.258 * [taylor]: Taking taylor expansion of 1 in x 1553863315.258 * [backup-simplify]: Simplify 1 into 1 1553863315.258 * [backup-simplify]: Simplify (- 1) into -1 1553863315.258 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863315.258 * [backup-simplify]: Simplify (* 0 -1) into 0 1553863315.259 * [backup-simplify]: Simplify (- 0) into 0 1553863315.259 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.259 * [backup-simplify]: Simplify (+ (* 0 1) (* 1 -1)) into -1 1553863315.260 * [backup-simplify]: Simplify (log -1) into (log -1) 1553863315.260 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553863315.260 * [backup-simplify]: Simplify (* 1/2 (+ (log -1) (log x))) into (* 1/2 (+ (log -1) (log x))) 1553863315.261 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553863315.261 * [backup-simplify]: Simplify (exp (* 1/2 (+ (log -1) (log x)))) into (exp (* 1/2 (+ (log -1) (log x)))) 1553863315.262 * [backup-simplify]: Simplify (- 0) into 0 1553863315.263 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863315.264 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 1) (* 0 -1))) into 1 1553863315.265 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1 1553863315.266 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553863315.266 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (+ (log -1) (log x)))) into (- 1/2) 1553863315.268 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 1553863315.268 * [backup-simplify]: Simplify (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) 1553863315.270 * [backup-simplify]: Simplify (- 0) into 0 1553863315.270 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863315.271 * [backup-simplify]: Simplify (+ (* 0 0) (+ (* 1 0) (+ (* 0 1) (* 0 -1)))) into 0 1553863315.274 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2 1553863315.275 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) (log -1)) into (+ (log -1) (log x)) 1553863315.276 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (+ (log -1) (log x))))) into (- 1/4) 1553863315.278 * [backup-simplify]: Simplify (* (exp (* 1/2 (+ (log -1) (log x)))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 1553863315.279 * [backup-simplify]: Simplify (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) into (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) 1553863315.280 * [backup-simplify]: Simplify (+ (* (* -1/8 (exp (* 1/2 (+ (log -1) (log x))))) (pow x 2)) (+ (* (* -1/2 (exp (* 1/2 (+ (log -1) (log x))))) x) (exp (* 1/2 (+ (log -1) (log x)))))) into (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 1553863315.281 * [backup-simplify]: Simplify (pow (* (- (/ 1 x) 1) (/ 1 x)) 1/2) into (pow (/ (- (/ 1 x) 1) x) 1/2) 1553863315.281 * [approximate]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in (x) around 0 1553863315.281 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 1553863315.281 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 1553863315.281 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 1553863315.281 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.281 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.281 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 1553863315.281 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553863315.281 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553863315.281 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863315.281 * [taylor]: Taking taylor expansion of x in x 1553863315.281 * [backup-simplify]: Simplify 0 into 0 1553863315.281 * [backup-simplify]: Simplify 1 into 1 1553863315.281 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.281 * [taylor]: Taking taylor expansion of 1 in x 1553863315.281 * [backup-simplify]: Simplify 1 into 1 1553863315.281 * [taylor]: Taking taylor expansion of x in x 1553863315.281 * [backup-simplify]: Simplify 0 into 0 1553863315.281 * [backup-simplify]: Simplify 1 into 1 1553863315.282 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.282 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.283 * [backup-simplify]: Simplify (log 1) into 0 1553863315.283 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.283 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553863315.284 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553863315.284 * [taylor]: Taking taylor expansion of (pow (/ (- (/ 1 x) 1) x) 1/2) in x 1553863315.284 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (- (/ 1 x) 1) x)))) in x 1553863315.284 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (- (/ 1 x) 1) x))) in x 1553863315.284 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.284 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.284 * [taylor]: Taking taylor expansion of (log (/ (- (/ 1 x) 1) x)) in x 1553863315.284 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) 1) x) in x 1553863315.284 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x 1553863315.284 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863315.284 * [taylor]: Taking taylor expansion of x in x 1553863315.284 * [backup-simplify]: Simplify 0 into 0 1553863315.284 * [backup-simplify]: Simplify 1 into 1 1553863315.284 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.284 * [taylor]: Taking taylor expansion of 1 in x 1553863315.284 * [backup-simplify]: Simplify 1 into 1 1553863315.284 * [taylor]: Taking taylor expansion of x in x 1553863315.284 * [backup-simplify]: Simplify 0 into 0 1553863315.284 * [backup-simplify]: Simplify 1 into 1 1553863315.285 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.285 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.286 * [backup-simplify]: Simplify (log 1) into 0 1553863315.286 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.286 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553863315.286 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553863315.287 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 1553863315.287 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553863315.288 * [backup-simplify]: Simplify (- 1) into -1 1553863315.288 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553863315.289 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 0 1)))) into -1 1553863315.291 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1 1553863315.291 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.292 * [backup-simplify]: Simplify (+ (* 1/2 -1) (* 0 (- (* 2 (log x))))) into (- 1/2) 1553863315.293 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 1) 1)))) into (/ -1/2 x) 1553863315.293 * [backup-simplify]: Simplify (/ -1/2 x) into (/ -1/2 x) 1553863315.293 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863315.294 * [backup-simplify]: Simplify (- 0) into 0 1553863315.294 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863315.294 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -1 (/ 0 1)))) into 0 1553863315.296 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553863315.296 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.297 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 -1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 1553863315.298 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow (- 1/2) 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 1553863315.298 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 1553863315.298 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 x)) (pow (/ 1 x) 2)) (+ (* (/ -1/2 (/ 1 x)) (/ 1 x)) (pow (/ 1 x) -1))) into (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553863315.298 * [backup-simplify]: Simplify (pow (* (- (/ 1 (- x)) 1) (/ 1 (- x))) 1/2) into (pow (/ (+ (/ 1 x) 1) x) 1/2) 1553863315.298 * [approximate]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in (x) around 0 1553863315.298 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 1553863315.298 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 1553863315.298 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 1553863315.298 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.298 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.298 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 1553863315.298 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1553863315.298 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553863315.298 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863315.298 * [taylor]: Taking taylor expansion of x in x 1553863315.298 * [backup-simplify]: Simplify 0 into 0 1553863315.298 * [backup-simplify]: Simplify 1 into 1 1553863315.298 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.298 * [taylor]: Taking taylor expansion of 1 in x 1553863315.298 * [backup-simplify]: Simplify 1 into 1 1553863315.299 * [taylor]: Taking taylor expansion of x in x 1553863315.299 * [backup-simplify]: Simplify 0 into 0 1553863315.299 * [backup-simplify]: Simplify 1 into 1 1553863315.299 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.299 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.299 * [backup-simplify]: Simplify (log 1) into 0 1553863315.300 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.300 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553863315.300 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553863315.300 * [taylor]: Taking taylor expansion of (pow (/ (+ (/ 1 x) 1) x) 1/2) in x 1553863315.300 * [taylor]: Taking taylor expansion of (exp (* 1/2 (log (/ (+ (/ 1 x) 1) x)))) in x 1553863315.300 * [taylor]: Taking taylor expansion of (* 1/2 (log (/ (+ (/ 1 x) 1) x))) in x 1553863315.300 * [taylor]: Taking taylor expansion of 1/2 in x 1553863315.300 * [backup-simplify]: Simplify 1/2 into 1/2 1553863315.300 * [taylor]: Taking taylor expansion of (log (/ (+ (/ 1 x) 1) x)) in x 1553863315.300 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) x) in x 1553863315.300 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553863315.300 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553863315.300 * [taylor]: Taking taylor expansion of x in x 1553863315.300 * [backup-simplify]: Simplify 0 into 0 1553863315.300 * [backup-simplify]: Simplify 1 into 1 1553863315.300 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.300 * [taylor]: Taking taylor expansion of 1 in x 1553863315.300 * [backup-simplify]: Simplify 1 into 1 1553863315.300 * [taylor]: Taking taylor expansion of x in x 1553863315.300 * [backup-simplify]: Simplify 0 into 0 1553863315.300 * [backup-simplify]: Simplify 1 into 1 1553863315.300 * [backup-simplify]: Simplify (+ 1 0) into 1 1553863315.301 * [backup-simplify]: Simplify (/ 1 1) into 1 1553863315.301 * [backup-simplify]: Simplify (log 1) into 0 1553863315.301 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.301 * [backup-simplify]: Simplify (* 1/2 (- (* 2 (log x)))) into (* -1 (log x)) 1553863315.301 * [backup-simplify]: Simplify (exp (* -1 (log x))) into (pow x -1) 1553863315.301 * [backup-simplify]: Simplify (pow x -1) into (pow x -1) 1553863315.302 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553863315.302 * [backup-simplify]: Simplify (+ 0 1) into 1 1553863315.306 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* 1 (/ 0 1)))) into 1 1553863315.307 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow 1 1)))) 1) into 1 1553863315.307 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.308 * [backup-simplify]: Simplify (+ (* 1/2 1) (* 0 (- (* 2 (log x))))) into 1/2 1553863315.308 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 1) 1)))) into (/ 1/2 x) 1553863315.308 * [backup-simplify]: Simplify (/ 1/2 x) into (/ 1/2 x) 1553863315.309 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553863315.309 * [backup-simplify]: Simplify (+ 0 0) into 0 1553863315.310 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* 1 (/ 0 1)))) into 0 1553863315.311 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2 1553863315.311 * [backup-simplify]: Simplify (+ (* (- 2) (log x)) 0) into (- (* 2 (log x))) 1553863315.312 * [backup-simplify]: Simplify (+ (* 1/2 -1/2) (+ (* 0 1) (* 0 (- (* 2 (log x)))))) into (- 1/4) 1553863315.313 * [backup-simplify]: Simplify (* (exp (* -1 (log x))) (+ (* (/ (pow 1/2 2) 2)) (* (/ (pow (- 1/4) 1) 1)))) into (/ -1/8 x) 1553863315.313 * [backup-simplify]: Simplify (/ -1/8 x) into (/ -1/8 x) 1553863315.313 * [backup-simplify]: Simplify (+ (* (/ -1/8 (/ 1 (- x))) (pow (/ 1 (- x)) 2)) (+ (* (/ 1/2 (/ 1 (- x))) (/ 1 (- x))) (pow (/ 1 (- x)) -1))) into (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553863315.313 * * * [progress]: simplifying candidates 1553863315.313 * * * * [progress]: [ 1 / 39 ] simplifiying candidate # 1553863315.313 * * * * [progress]: [ 2 / 39 ] simplifiying candidate # 1553863315.313 * * * * [progress]: [ 3 / 39 ] simplifiying candidate # 1553863315.314 * [simplify]: Simplifying (* (+ (log (- x 1)) (log x)) 1/2) 1553863315.314 * * [simplify]: iters left: 6 (8 enodes) 1553863315.316 * * [simplify]: iters left: 5 (31 enodes) 1553863315.322 * * [simplify]: iters left: 4 (43 enodes) 1553863315.329 * * [simplify]: iters left: 3 (55 enodes) 1553863315.337 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.337 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863315.337 * * [simplify]: Extracting #2: cost 14 inf + 1 1553863315.337 * * [simplify]: Extracting #3: cost 16 inf + 2 1553863315.337 * * [simplify]: Extracting #4: cost 12 inf + 146 1553863315.337 * * [simplify]: Extracting #5: cost 4 inf + 1314 1553863315.338 * * [simplify]: Extracting #6: cost 1 inf + 1801 1553863315.338 * * [simplify]: Extracting #7: cost 0 inf + 1954 1553863315.338 * [simplify]: Simplified to (* (+ (log (+ x -1)) (log x)) 1/2) 1553863315.338 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (+ (log (+ x -1)) (log x)) 1/2))) 1553863315.338 * * * * [progress]: [ 4 / 39 ] simplifiying candidate # 1553863315.339 * [simplify]: Simplifying (* (log (* (- x 1) x)) 1/2) 1553863315.339 * * [simplify]: iters left: 6 (7 enodes) 1553863315.341 * * [simplify]: iters left: 5 (31 enodes) 1553863315.346 * * [simplify]: iters left: 4 (51 enodes) 1553863315.355 * * [simplify]: iters left: 3 (74 enodes) 1553863315.364 * * [simplify]: iters left: 2 (81 enodes) 1553863315.374 * * [simplify]: iters left: 1 (83 enodes) 1553863315.382 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.382 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863315.382 * * [simplify]: Extracting #2: cost 15 inf + 1 1553863315.382 * * [simplify]: Extracting #3: cost 20 inf + 2 1553863315.382 * * [simplify]: Extracting #4: cost 14 inf + 407 1553863315.383 * * [simplify]: Extracting #5: cost 2 inf + 1627 1553863315.383 * * [simplify]: Extracting #6: cost 0 inf + 1996 1553863315.384 * [simplify]: Simplified to (* (log (- (* x x) x)) 1/2) 1553863315.384 * [simplify]: Simplified (2 1) to (λ (x) (exp (* (log (- (* x x) x)) 1/2))) 1553863315.384 * * * * [progress]: [ 5 / 39 ] simplifiying candidate # 1553863315.384 * * * * [progress]: [ 6 / 39 ] simplifiying candidate # 1553863315.384 * [simplify]: Simplifying (* (- x 1) x) 1553863315.384 * * [simplify]: iters left: 4 (4 enodes) 1553863315.387 * * [simplify]: iters left: 3 (18 enodes) 1553863315.391 * * [simplify]: iters left: 2 (27 enodes) 1553863315.395 * * [simplify]: iters left: 1 (38 enodes) 1553863315.404 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.404 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863315.404 * * [simplify]: Extracting #2: cost 10 inf + 2 1553863315.404 * * [simplify]: Extracting #3: cost 0 inf + 457 1553863315.405 * * [simplify]: Extracting #4: cost 0 inf + 455 1553863315.405 * [simplify]: Simplified to (- (* x x) x) 1553863315.405 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 1553863315.405 * * * * [progress]: [ 7 / 39 ] simplifiying candidate # 1553863315.406 * [simplify]: Simplifying (* (- x 1) x) 1553863315.406 * * [simplify]: iters left: 4 (4 enodes) 1553863315.408 * * [simplify]: iters left: 3 (18 enodes) 1553863315.415 * * [simplify]: iters left: 2 (27 enodes) 1553863315.424 * * [simplify]: iters left: 1 (38 enodes) 1553863315.434 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.434 * * [simplify]: Extracting #1: cost 8 inf + 0 1553863315.434 * * [simplify]: Extracting #2: cost 10 inf + 2 1553863315.434 * * [simplify]: Extracting #3: cost 0 inf + 457 1553863315.435 * * [simplify]: Extracting #4: cost 0 inf + 455 1553863315.435 * [simplify]: Simplified to (- (* x x) x) 1553863315.435 * [simplify]: Simplified (2 1) to (λ (x) (pow (- (* x x) x) (* 1 1/2))) 1553863315.435 * * * * [progress]: [ 8 / 39 ] simplifiying candidate # 1553863315.435 * [simplify]: Simplifying (cbrt 1/2) 1553863315.435 * * [simplify]: iters left: 1 (2 enodes) 1553863315.437 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.437 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863315.437 * * [simplify]: Extracting #2: cost 2 inf + 1 1553863315.437 * * [simplify]: Extracting #3: cost 0 inf + 163 1553863315.438 * [simplify]: Simplified to (cbrt 1/2) 1553863315.438 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (* (cbrt 1/2) (cbrt 1/2))) (cbrt 1/2))) 1553863315.438 * * * * [progress]: [ 9 / 39 ] simplifiying candidate # 1553863315.438 * [simplify]: Simplifying (sqrt 1/2) 1553863315.438 * * [simplify]: iters left: 1 (2 enodes) 1553863315.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.440 * * [simplify]: Extracting #1: cost 3 inf + 0 1553863315.440 * * [simplify]: Extracting #2: cost 2 inf + 1 1553863315.440 * * [simplify]: Extracting #3: cost 0 inf + 83 1553863315.440 * [simplify]: Simplified to (sqrt 1/2) 1553863315.440 * [simplify]: Simplified (2 2) to (λ (x) (pow (pow (* (- x 1) x) (sqrt 1/2)) (sqrt 1/2))) 1553863315.440 * * * * [progress]: [ 10 / 39 ] simplifiying candidate # 1553863315.440 * * * * [progress]: [ 11 / 39 ] simplifiying candidate # 1553863315.440 * [simplify]: Simplifying (pow (- x 1) 1/2) 1553863315.440 * * [simplify]: iters left: 3 (5 enodes) 1553863315.445 * * [simplify]: iters left: 2 (26 enodes) 1553863315.455 * * [simplify]: iters left: 1 (44 enodes) 1553863315.472 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.472 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863315.472 * * [simplify]: Extracting #2: cost 17 inf + 1 1553863315.472 * * [simplify]: Extracting #3: cost 13 inf + 6 1553863315.472 * * [simplify]: Extracting #4: cost 1 inf + 2528 1553863315.473 * * [simplify]: Extracting #5: cost 0 inf + 2821 1553863315.473 * [simplify]: Simplified to (sqrt (- x 1)) 1553863315.473 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (- x 1)) (pow x 1/2))) 1553863315.473 * * * * [progress]: [ 12 / 39 ] simplifiying candidate # 1553863315.474 * [simplify]: Simplifying (pow (* (cbrt (* (- x 1) x)) (cbrt (* (- x 1) x))) 1/2) 1553863315.474 * * [simplify]: iters left: 6 (8 enodes) 1553863315.479 * * [simplify]: iters left: 5 (36 enodes) 1553863315.487 * * [simplify]: iters left: 4 (60 enodes) 1553863315.499 * * [simplify]: iters left: 3 (101 enodes) 1553863315.529 * * [simplify]: iters left: 2 (170 enodes) 1553863315.583 * * [simplify]: iters left: 1 (296 enodes) 1553863315.700 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.700 * * [simplify]: Extracting #1: cost 31 inf + 0 1553863315.700 * * [simplify]: Extracting #2: cost 88 inf + 2 1553863315.701 * * [simplify]: Extracting #3: cost 91 inf + 9 1553863315.702 * * [simplify]: Extracting #4: cost 83 inf + 1183 1553863315.707 * * [simplify]: Extracting #5: cost 49 inf + 18429 1553863315.721 * * [simplify]: Extracting #6: cost 7 inf + 53225 1553863315.733 * * [simplify]: Extracting #7: cost 0 inf + 60045 1553863315.742 * [simplify]: Simplified to (fabs (cbrt (- (* x x) x))) 1553863315.742 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (- (* x x) x))) (pow (cbrt (* (- x 1) x)) 1/2))) 1553863315.742 * * * * [progress]: [ 13 / 39 ] simplifiying candidate # 1553863315.742 * [simplify]: Simplifying (pow (sqrt (* (- x 1) x)) 1/2) 1553863315.742 * * [simplify]: iters left: 6 (7 enodes) 1553863315.748 * * [simplify]: iters left: 5 (33 enodes) 1553863315.755 * * [simplify]: iters left: 4 (56 enodes) 1553863315.766 * * [simplify]: iters left: 3 (97 enodes) 1553863315.783 * * [simplify]: iters left: 2 (151 enodes) 1553863315.812 * * [simplify]: iters left: 1 (275 enodes) 1553863315.921 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.921 * * [simplify]: Extracting #1: cost 30 inf + 0 1553863315.922 * * [simplify]: Extracting #2: cost 86 inf + 2 1553863315.923 * * [simplify]: Extracting #3: cost 89 inf + 9 1553863315.923 * * [simplify]: Extracting #4: cost 88 inf + 96 1553863315.925 * * [simplify]: Extracting #5: cost 74 inf + 2246 1553863315.927 * * [simplify]: Extracting #6: cost 37 inf + 22875 1553863315.932 * * [simplify]: Extracting #7: cost 2 inf + 51303 1553863315.938 * * [simplify]: Extracting #8: cost 0 inf + 53262 1553863315.943 * [simplify]: Simplified to (sqrt (sqrt (- (* x x) x))) 1553863315.943 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (- (* x x) x))) (pow (sqrt (* (- x 1) x)) 1/2))) 1553863315.943 * * * * [progress]: [ 14 / 39 ] simplifiying candidate # 1553863315.944 * [simplify]: Simplifying (pow 1 1/2) 1553863315.944 * * [simplify]: iters left: 1 (3 enodes) 1553863315.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863315.945 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863315.945 * [simplify]: Simplified to 1 1553863315.945 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (pow (* (- x 1) x) 1/2))) 1553863315.945 * * * * [progress]: [ 15 / 39 ] simplifiying candidate # 1553863315.945 * [simplify]: Simplifying (pow (* (sqrt (- x 1)) (sqrt x)) 1/2) 1553863315.945 * * [simplify]: iters left: 6 (8 enodes) 1553863315.948 * * [simplify]: iters left: 5 (36 enodes) 1553863315.956 * * [simplify]: iters left: 4 (54 enodes) 1553863315.974 * * [simplify]: iters left: 3 (84 enodes) 1553863315.989 * * [simplify]: iters left: 2 (133 enodes) 1553863316.018 * * [simplify]: iters left: 1 (250 enodes) 1553863316.108 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.108 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863316.109 * * [simplify]: Extracting #2: cost 89 inf + 2 1553863316.109 * * [simplify]: Extracting #3: cost 90 inf + 9 1553863316.110 * * [simplify]: Extracting #4: cost 89 inf + 94 1553863316.111 * * [simplify]: Extracting #5: cost 77 inf + 2039 1553863316.115 * * [simplify]: Extracting #6: cost 35 inf + 27214 1553863316.121 * * [simplify]: Extracting #7: cost 4 inf + 51570 1553863316.126 * * [simplify]: Extracting #8: cost 0 inf + 55531 1553863316.132 * [simplify]: Simplified to (sqrt (* (sqrt (+ x -1)) (sqrt x))) 1553863316.133 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (* (sqrt (+ x -1)) (sqrt x))) (pow (* (sqrt (- x 1)) (sqrt x)) 1/2))) 1553863316.133 * * * * [progress]: [ 16 / 39 ] simplifiying candidate # 1553863316.133 * [simplify]: Simplifying (pow (* (- x 1) (* (cbrt x) (cbrt x))) 1/2) 1553863316.133 * * [simplify]: iters left: 6 (8 enodes) 1553863316.136 * * [simplify]: iters left: 5 (38 enodes) 1553863316.146 * * [simplify]: iters left: 4 (66 enodes) 1553863316.173 * * [simplify]: iters left: 3 (119 enodes) 1553863316.212 * * [simplify]: iters left: 2 (198 enodes) 1553863316.249 * * [simplify]: iters left: 1 (348 enodes) 1553863316.371 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.371 * * [simplify]: Extracting #1: cost 29 inf + 0 1553863316.371 * * [simplify]: Extracting #2: cost 101 inf + 2 1553863316.371 * * [simplify]: Extracting #3: cost 103 inf + 213 1553863316.372 * * [simplify]: Extracting #4: cost 85 inf + 3979 1553863316.375 * * [simplify]: Extracting #5: cost 53 inf + 20660 1553863316.386 * * [simplify]: Extracting #6: cost 8 inf + 58489 1553863316.402 * * [simplify]: Extracting #7: cost 0 inf + 67106 1553863316.411 * [simplify]: Simplified to (sqrt (* (- (* (cbrt x) x) (cbrt x)) (cbrt x))) 1553863316.412 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (* (- (* (cbrt x) x) (cbrt x)) (cbrt x))) (pow (cbrt x) 1/2))) 1553863316.412 * * * * [progress]: [ 17 / 39 ] simplifiying candidate # 1553863316.412 * [simplify]: Simplifying (pow (* (- x 1) (sqrt x)) 1/2) 1553863316.412 * * [simplify]: iters left: 5 (7 enodes) 1553863316.415 * * [simplify]: iters left: 4 (33 enodes) 1553863316.422 * * [simplify]: iters left: 3 (57 enodes) 1553863316.435 * * [simplify]: iters left: 2 (100 enodes) 1553863316.467 * * [simplify]: iters left: 1 (154 enodes) 1553863316.501 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.501 * * [simplify]: Extracting #1: cost 12 inf + 0 1553863316.501 * * [simplify]: Extracting #2: cost 40 inf + 2 1553863316.501 * * [simplify]: Extracting #3: cost 42 inf + 50 1553863316.502 * * [simplify]: Extracting #4: cost 25 inf + 2572 1553863316.503 * * [simplify]: Extracting #5: cost 5 inf + 13992 1553863316.505 * * [simplify]: Extracting #6: cost 0 inf + 16401 1553863316.509 * * [simplify]: Extracting #7: cost 0 inf + 16237 1553863316.512 * [simplify]: Simplified to (sqrt (- (* (sqrt x) x) (sqrt x))) 1553863316.513 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (- (* (sqrt x) x) (sqrt x))) (pow (sqrt x) 1/2))) 1553863316.513 * * * * [progress]: [ 18 / 39 ] simplifiying candidate # 1553863316.513 * [simplify]: Simplifying (pow (* (- x 1) 1) 1/2) 1553863316.513 * * [simplify]: iters left: 5 (6 enodes) 1553863316.518 * * [simplify]: iters left: 4 (28 enodes) 1553863316.530 * * [simplify]: iters left: 3 (48 enodes) 1553863316.549 * * [simplify]: iters left: 2 (84 enodes) 1553863316.580 * * [simplify]: iters left: 1 (144 enodes) 1553863316.632 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.632 * * [simplify]: Extracting #1: cost 13 inf + 0 1553863316.633 * * [simplify]: Extracting #2: cost 36 inf + 2 1553863316.633 * * [simplify]: Extracting #3: cost 33 inf + 9 1553863316.633 * * [simplify]: Extracting #4: cost 22 inf + 2581 1553863316.635 * * [simplify]: Extracting #5: cost 6 inf + 9349 1553863316.637 * * [simplify]: Extracting #6: cost 0 inf + 12504 1553863316.639 * [simplify]: Simplified to (sqrt (+ -1 x)) 1553863316.639 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ -1 x)) (pow x 1/2))) 1553863316.640 * * * * [progress]: [ 19 / 39 ] simplifiying candidate # 1553863316.640 * [simplify]: Simplifying (pow (* (cbrt (- x 1)) (cbrt (- x 1))) 1/2) 1553863316.640 * * [simplify]: iters left: 6 (7 enodes) 1553863316.645 * * [simplify]: iters left: 5 (32 enodes) 1553863316.658 * * [simplify]: iters left: 4 (51 enodes) 1553863316.676 * * [simplify]: iters left: 3 (81 enodes) 1553863316.704 * * [simplify]: iters left: 2 (130 enodes) 1553863316.731 * * [simplify]: iters left: 1 (254 enodes) 1553863316.827 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.827 * * [simplify]: Extracting #1: cost 30 inf + 0 1553863316.828 * * [simplify]: Extracting #2: cost 85 inf + 2 1553863316.829 * * [simplify]: Extracting #3: cost 86 inf + 9 1553863316.830 * * [simplify]: Extracting #4: cost 71 inf + 2531 1553863316.840 * * [simplify]: Extracting #5: cost 17 inf + 40133 1553863316.854 * * [simplify]: Extracting #6: cost 0 inf + 52697 1553863316.865 * * [simplify]: Extracting #7: cost 0 inf + 52446 1553863316.872 * [simplify]: Simplified to (fabs (cbrt (+ x -1))) 1553863316.872 * [simplify]: Simplified (2 1) to (λ (x) (* (fabs (cbrt (+ x -1))) (pow (* (cbrt (- x 1)) x) 1/2))) 1553863316.872 * * * * [progress]: [ 20 / 39 ] simplifiying candidate # 1553863316.872 * [simplify]: Simplifying (pow (sqrt (- x 1)) 1/2) 1553863316.872 * * [simplify]: iters left: 4 (6 enodes) 1553863316.875 * * [simplify]: iters left: 3 (29 enodes) 1553863316.881 * * [simplify]: iters left: 2 (47 enodes) 1553863316.893 * * [simplify]: iters left: 1 (77 enodes) 1553863316.920 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.920 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863316.920 * * [simplify]: Extracting #2: cost 23 inf + 1 1553863316.920 * * [simplify]: Extracting #3: cost 24 inf + 5 1553863316.920 * * [simplify]: Extracting #4: cost 20 inf + 9 1553863316.921 * * [simplify]: Extracting #5: cost 10 inf + 2306 1553863316.922 * * [simplify]: Extracting #6: cost 0 inf + 6491 1553863316.923 * [simplify]: Simplified to (sqrt (sqrt (+ x -1))) 1553863316.923 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (sqrt (+ x -1))) (pow (* (sqrt (- x 1)) x) 1/2))) 1553863316.923 * * * * [progress]: [ 21 / 39 ] simplifiying candidate # 1553863316.923 * [simplify]: Simplifying (pow 1 1/2) 1553863316.923 * * [simplify]: iters left: 1 (3 enodes) 1553863316.926 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.926 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863316.926 * [simplify]: Simplified to 1 1553863316.926 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (pow (* (- x 1) x) 1/2))) 1553863316.926 * * * * [progress]: [ 22 / 39 ] simplifiying candidate # 1553863316.926 * [simplify]: Simplifying (pow (+ (sqrt x) (sqrt 1)) 1/2) 1553863316.926 * * [simplify]: iters left: 4 (7 enodes) 1553863316.932 * * [simplify]: iters left: 3 (30 enodes) 1553863316.943 * * [simplify]: iters left: 2 (46 enodes) 1553863316.954 * * [simplify]: iters left: 1 (76 enodes) 1553863316.971 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863316.971 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863316.971 * * [simplify]: Extracting #2: cost 24 inf + 1 1553863316.971 * * [simplify]: Extracting #3: cost 22 inf + 6 1553863316.971 * * [simplify]: Extracting #4: cost 19 inf + 49 1553863316.971 * * [simplify]: Extracting #5: cost 14 inf + 840 1553863316.972 * * [simplify]: Extracting #6: cost 4 inf + 4101 1553863316.972 * * [simplify]: Extracting #7: cost 0 inf + 6488 1553863316.973 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863316.973 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (pow (* (- (sqrt x) (sqrt 1)) x) 1/2))) 1553863316.973 * * * * [progress]: [ 23 / 39 ] simplifiying candidate # 1553863316.974 * [simplify]: Simplifying (pow (+ (sqrt x) 1) 1/2) 1553863316.974 * * [simplify]: iters left: 4 (6 enodes) 1553863316.978 * * [simplify]: iters left: 3 (27 enodes) 1553863316.989 * * [simplify]: iters left: 2 (43 enodes) 1553863316.998 * * [simplify]: iters left: 1 (73 enodes) 1553863317.012 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.012 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863317.012 * * [simplify]: Extracting #2: cost 24 inf + 1 1553863317.012 * * [simplify]: Extracting #3: cost 22 inf + 6 1553863317.013 * * [simplify]: Extracting #4: cost 18 inf + 90 1553863317.013 * * [simplify]: Extracting #5: cost 6 inf + 3766 1553863317.013 * * [simplify]: Extracting #6: cost 0 inf + 6488 1553863317.014 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863317.014 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (pow (* (- (sqrt x) 1) x) 1/2))) 1553863317.014 * * * * [progress]: [ 24 / 39 ] simplifiying candidate # 1553863317.014 * [simplify]: Simplifying (pow (+ (sqrt x) 1) 1/2) 1553863317.014 * * [simplify]: iters left: 4 (6 enodes) 1553863317.017 * * [simplify]: iters left: 3 (27 enodes) 1553863317.027 * * [simplify]: iters left: 2 (43 enodes) 1553863317.036 * * [simplify]: iters left: 1 (73 enodes) 1553863317.052 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.052 * * [simplify]: Extracting #1: cost 9 inf + 0 1553863317.052 * * [simplify]: Extracting #2: cost 24 inf + 1 1553863317.052 * * [simplify]: Extracting #3: cost 22 inf + 6 1553863317.053 * * [simplify]: Extracting #4: cost 18 inf + 90 1553863317.053 * * [simplify]: Extracting #5: cost 6 inf + 3766 1553863317.054 * * [simplify]: Extracting #6: cost 0 inf + 6488 1553863317.056 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553863317.056 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt (+ (sqrt x) 1)) (pow (* (- (sqrt x) 1) x) 1/2))) 1553863317.056 * * * * [progress]: [ 25 / 39 ] simplifiying candidate # 1553863317.056 * [simplify]: Simplifying (pow 1 1/2) 1553863317.056 * * [simplify]: iters left: 1 (3 enodes) 1553863317.058 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.059 * * [simplify]: Extracting #1: cost 0 inf + 1 1553863317.059 * [simplify]: Simplified to 1 1553863317.059 * [simplify]: Simplified (2 1) to (λ (x) (* 1 (pow (* (- x 1) x) 1/2))) 1553863317.059 * * * * [progress]: [ 26 / 39 ] simplifiying candidate # 1553863317.059 * [simplify]: Simplifying (pow x 1/2) 1553863317.059 * * [simplify]: iters left: 1 (3 enodes) 1553863317.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.062 * * [simplify]: Extracting #1: cost 5 inf + 0 1553863317.062 * * [simplify]: Extracting #2: cost 4 inf + 2 1553863317.062 * * [simplify]: Extracting #3: cost 0 inf + 297 1553863317.062 * [simplify]: Simplified to (sqrt x) 1553863317.062 * [simplify]: Simplified (2 1) to (λ (x) (* (sqrt x) (pow (- x 1) 1/2))) 1553863317.062 * * * * [progress]: [ 27 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 28 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 29 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 30 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 31 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 32 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 33 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 34 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 35 / 39 ] simplifiying candidate # 1553863317.062 * * * * [progress]: [ 36 / 39 ] simplifiying candidate #real (real->posit16 (pow (* (- x 1) x) 1/2))))> 1553863317.063 * * * * [progress]: [ 37 / 39 ] simplifiying candidate # 1553863317.063 * [simplify]: Simplifying (- (exp (* 1/2 (+ (log -1) (log x)))) (+ (* 1/2 (* x (exp (* 1/2 (+ (log -1) (log x)))))) (* 1/8 (* (pow x 2) (exp (* 1/2 (+ (log -1) (log x)))))))) 1553863317.063 * * [simplify]: iters left: 6 (17 enodes) 1553863317.077 * * [simplify]: iters left: 5 (80 enodes) 1553863317.107 * * [simplify]: iters left: 4 (151 enodes) 1553863317.148 * * [simplify]: iters left: 3 (351 enodes) 1553863317.255 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.255 * * [simplify]: Extracting #1: cost 44 inf + 0 1553863317.256 * * [simplify]: Extracting #2: cost 207 inf + 373 1553863317.258 * * [simplify]: Extracting #3: cost 228 inf + 3782 1553863317.263 * * [simplify]: Extracting #4: cost 111 inf + 21670 1553863317.272 * * [simplify]: Extracting #5: cost 44 inf + 46103 1553863317.289 * * [simplify]: Extracting #6: cost 4 inf + 71261 1553863317.319 * * [simplify]: Extracting #7: cost 0 inf + 73531 1553863317.333 * [simplify]: Simplified to (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2))) 1553863317.333 * [simplify]: Simplified (2) to (λ (x) (- (sqrt (* x -1)) (* (* x (sqrt (* x -1))) (fma x 1/8 1/2)))) 1553863317.333 * * * * [progress]: [ 38 / 39 ] simplifiying candidate # 1553863317.333 * [simplify]: Simplifying (- (pow (/ 1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553863317.333 * * [simplify]: iters left: 6 (10 enodes) 1553863317.337 * * [simplify]: iters left: 5 (47 enodes) 1553863317.347 * * [simplify]: iters left: 4 (83 enodes) 1553863317.370 * * [simplify]: iters left: 3 (123 enodes) 1553863317.404 * * [simplify]: iters left: 2 (189 enodes) 1553863317.436 * * [simplify]: iters left: 1 (286 enodes) 1553863317.493 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.493 * * [simplify]: Extracting #1: cost 19 inf + 0 1553863317.494 * * [simplify]: Extracting #2: cost 36 inf + 5 1553863317.495 * * [simplify]: Extracting #3: cost 39 inf + 1084 1553863317.496 * * [simplify]: Extracting #4: cost 29 inf + 2556 1553863317.501 * * [simplify]: Extracting #5: cost 21 inf + 5002 1553863317.504 * * [simplify]: Extracting #6: cost 2 inf + 15010 1553863317.508 * * [simplify]: Extracting #7: cost 0 inf + 15767 1553863317.512 * [simplify]: Simplified to (+ (+ x (/ -1/8 x)) -1/2) 1553863317.512 * [simplify]: Simplified (2) to (λ (x) (+ (+ x (/ -1/8 x)) -1/2)) 1553863317.512 * * * * [progress]: [ 39 / 39 ] simplifiying candidate # 1553863317.512 * [simplify]: Simplifying (+ (pow (/ -1 x) -1) (+ (* 1/8 (/ 1 x)) 1/2)) 1553863317.512 * * [simplify]: iters left: 6 (11 enodes) 1553863317.520 * * [simplify]: iters left: 5 (49 enodes) 1553863317.539 * * [simplify]: iters left: 4 (80 enodes) 1553863317.558 * * [simplify]: iters left: 3 (127 enodes) 1553863317.582 * * [simplify]: iters left: 2 (186 enodes) 1553863317.648 * * [simplify]: iters left: 1 (324 enodes) 1553863317.793 * * [simplify]: Extracting #0: cost 1 inf + 0 1553863317.793 * * [simplify]: Extracting #1: cost 24 inf + 0 1553863317.793 * * [simplify]: Extracting #2: cost 81 inf + 4 1553863317.794 * * [simplify]: Extracting #3: cost 79 inf + 2241 1553863317.798 * * [simplify]: Extracting #4: cost 45 inf + 15811 1553863317.807 * * [simplify]: Extracting #5: cost 5 inf + 39220 1553863317.817 * * [simplify]: Extracting #6: cost 0 inf + 41751 1553863317.827 * [simplify]: Simplified to (+ (- 1/2 x) (/ 1/8 x)) 1553863317.827 * [simplify]: Simplified (2) to (λ (x) (+ (- 1/2 x) (/ 1/8 x))) 1553863317.827 * * * [progress]: adding candidates to table 1553863318.082 * [progress]: [Phase 3 of 3] Extracting. 1553863318.082 * * [regime]: Finding splitpoints for: (# # #) 1553863318.084 * * * [regime-changes]: Trying 2 branch expressions: (x (* (sqrt (- x 1)) (sqrt x))) 1553863318.084 * * * * [regimes]: Trying to branch on x from (# # #) 1553863318.124 * * * * [regimes]: Trying to branch on (* (sqrt (- x 1)) (sqrt x)) from (# # #) 1553863318.173 * * * [regime]: Found split indices: #