1553933550.201 * [progress]: [Phase 1 of 3] Setting up. 1553933550.203 * * * [progress]: [1/2] Preparing points 1553933550.373 * * * [progress]: [2/2] Setting up program. 1553933550.376 * [progress]: [Phase 2 of 3] Improving. 1553933550.377 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 1553933550.378 * [simplify]: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1553933550.379 * * [simplify]: iters left: 6 (9 enodes) 1553933550.388 * * [simplify]: iters left: 5 (36 enodes) 1553933550.393 * * [simplify]: iters left: 4 (47 enodes) 1553933550.400 * * [simplify]: iters left: 3 (51 enodes) 1553933550.407 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933550.408 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933550.408 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933550.408 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933550.408 * * [simplify]: Extracting #4: cost 13 inf + 1 1553933550.408 * * [simplify]: Extracting #5: cost 21 inf + 1 1553933550.408 * * [simplify]: Extracting #6: cost 17 inf + 128 1553933550.408 * * [simplify]: Extracting #7: cost 8 inf + 905 1553933550.409 * * [simplify]: Extracting #8: cost 2 inf + 1927 1553933550.409 * * [simplify]: Extracting #9: cost 0 inf + 2543 1553933550.410 * [simplify]: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1553933550.410 * [simplify]: Simplified (2) to (λ (x) (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2)) 1553933550.414 * * [progress]: iteration 1 / 4 1553933550.414 * * * [progress]: picking best candidate 1553933550.416 * * * * [pick]: Picked # 1553933550.416 * * * [progress]: localizing error 1553933550.445 * * * [progress]: generating rewritten candidates 1553933550.446 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2 1 1) 1553933550.462 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2 1) 1553933550.473 * * * [progress]: generating series expansions 1553933550.474 * * * * [progress]: [ 1 / 2 ] generating series at (2 2 1 1) 1553933550.477 * [backup-simplify]: Simplify (/ (- 1 x) (+ 1 x)) into (/ (- 1 x) (+ x 1)) 1553933550.477 * [approximate]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in (x) around 0 1553933550.478 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553933550.478 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553933550.478 * [taylor]: Taking taylor expansion of 1 in x 1553933550.478 * [backup-simplify]: Simplify 1 into 1 1553933550.478 * [taylor]: Taking taylor expansion of x in x 1553933550.478 * [backup-simplify]: Simplify 0 into 0 1553933550.478 * [backup-simplify]: Simplify 1 into 1 1553933550.478 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553933550.479 * [taylor]: Taking taylor expansion of x in x 1553933550.479 * [backup-simplify]: Simplify 0 into 0 1553933550.479 * [backup-simplify]: Simplify 1 into 1 1553933550.479 * [taylor]: Taking taylor expansion of 1 in x 1553933550.479 * [backup-simplify]: Simplify 1 into 1 1553933550.479 * [backup-simplify]: Simplify (- 0) into 0 1553933550.480 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.480 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.480 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.480 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553933550.480 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553933550.480 * [taylor]: Taking taylor expansion of 1 in x 1553933550.480 * [backup-simplify]: Simplify 1 into 1 1553933550.480 * [taylor]: Taking taylor expansion of x in x 1553933550.480 * [backup-simplify]: Simplify 0 into 0 1553933550.480 * [backup-simplify]: Simplify 1 into 1 1553933550.480 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553933550.480 * [taylor]: Taking taylor expansion of x in x 1553933550.480 * [backup-simplify]: Simplify 0 into 0 1553933550.480 * [backup-simplify]: Simplify 1 into 1 1553933550.480 * [taylor]: Taking taylor expansion of 1 in x 1553933550.480 * [backup-simplify]: Simplify 1 into 1 1553933550.481 * [backup-simplify]: Simplify (- 0) into 0 1553933550.481 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.481 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.481 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.482 * [backup-simplify]: Simplify 1 into 1 1553933550.482 * [backup-simplify]: Simplify (- 1) into -1 1553933550.483 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.483 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.483 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553933550.483 * [backup-simplify]: Simplify -2 into -2 1553933550.484 * [backup-simplify]: Simplify (- 0) into 0 1553933550.484 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.484 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.485 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553933550.485 * [backup-simplify]: Simplify 2 into 2 1553933550.486 * [backup-simplify]: Simplify (+ (* 2 (pow x 2)) (+ (* -2 x) 1)) into (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1553933550.486 * [backup-simplify]: Simplify (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x))) into (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) 1553933550.486 * [approximate]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in (x) around 0 1553933550.486 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553933550.486 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.486 * [taylor]: Taking taylor expansion of 1 in x 1553933550.486 * [backup-simplify]: Simplify 1 into 1 1553933550.486 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.486 * [taylor]: Taking taylor expansion of x in x 1553933550.486 * [backup-simplify]: Simplify 0 into 0 1553933550.487 * [backup-simplify]: Simplify 1 into 1 1553933550.487 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.487 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.487 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.487 * [taylor]: Taking taylor expansion of x in x 1553933550.487 * [backup-simplify]: Simplify 0 into 0 1553933550.487 * [backup-simplify]: Simplify 1 into 1 1553933550.488 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.488 * [taylor]: Taking taylor expansion of 1 in x 1553933550.488 * [backup-simplify]: Simplify 1 into 1 1553933550.489 * [backup-simplify]: Simplify (- 1) into -1 1553933550.489 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.490 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.490 * [backup-simplify]: Simplify (/ -1 1) into -1 1553933550.490 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553933550.490 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.490 * [taylor]: Taking taylor expansion of 1 in x 1553933550.490 * [backup-simplify]: Simplify 1 into 1 1553933550.490 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.490 * [taylor]: Taking taylor expansion of x in x 1553933550.490 * [backup-simplify]: Simplify 0 into 0 1553933550.490 * [backup-simplify]: Simplify 1 into 1 1553933550.491 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.491 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.491 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.491 * [taylor]: Taking taylor expansion of x in x 1553933550.491 * [backup-simplify]: Simplify 0 into 0 1553933550.491 * [backup-simplify]: Simplify 1 into 1 1553933550.491 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.491 * [taylor]: Taking taylor expansion of 1 in x 1553933550.491 * [backup-simplify]: Simplify 1 into 1 1553933550.491 * [backup-simplify]: Simplify (- 1) into -1 1553933550.492 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.492 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.493 * [backup-simplify]: Simplify (/ -1 1) into -1 1553933550.493 * [backup-simplify]: Simplify -1 into -1 1553933550.494 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.494 * [backup-simplify]: Simplify (- 0) into 0 1553933550.495 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.495 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.496 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.496 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553933550.497 * [backup-simplify]: Simplify 2 into 2 1553933550.497 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.498 * [backup-simplify]: Simplify (- 0) into 0 1553933550.498 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.499 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.499 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.501 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1553933550.501 * [backup-simplify]: Simplify -2 into -2 1553933550.501 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 x) 2)) (+ (* 2 (/ 1 x)) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553933550.501 * [backup-simplify]: Simplify (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x)))) into (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) 1553933550.501 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in (x) around 0 1553933550.501 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553933550.501 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.501 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.501 * [taylor]: Taking taylor expansion of x in x 1553933550.501 * [backup-simplify]: Simplify 0 into 0 1553933550.501 * [backup-simplify]: Simplify 1 into 1 1553933550.501 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.501 * [taylor]: Taking taylor expansion of 1 in x 1553933550.501 * [backup-simplify]: Simplify 1 into 1 1553933550.501 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.502 * [taylor]: Taking taylor expansion of 1 in x 1553933550.502 * [backup-simplify]: Simplify 1 into 1 1553933550.502 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.502 * [taylor]: Taking taylor expansion of x in x 1553933550.502 * [backup-simplify]: Simplify 0 into 0 1553933550.502 * [backup-simplify]: Simplify 1 into 1 1553933550.502 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.502 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.502 * [backup-simplify]: Simplify (- 1) into -1 1553933550.503 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.503 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553933550.503 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553933550.503 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.503 * [taylor]: Taking taylor expansion of x in x 1553933550.503 * [backup-simplify]: Simplify 0 into 0 1553933550.503 * [backup-simplify]: Simplify 1 into 1 1553933550.503 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.503 * [taylor]: Taking taylor expansion of 1 in x 1553933550.503 * [backup-simplify]: Simplify 1 into 1 1553933550.503 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.503 * [taylor]: Taking taylor expansion of 1 in x 1553933550.503 * [backup-simplify]: Simplify 1 into 1 1553933550.503 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.503 * [taylor]: Taking taylor expansion of x in x 1553933550.503 * [backup-simplify]: Simplify 0 into 0 1553933550.503 * [backup-simplify]: Simplify 1 into 1 1553933550.504 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.504 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.504 * [backup-simplify]: Simplify (- 1) into -1 1553933550.504 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.505 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553933550.505 * [backup-simplify]: Simplify -1 into -1 1553933550.505 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.505 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.506 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.506 * [backup-simplify]: Simplify (- 0) into 0 1553933550.506 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.507 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553933550.507 * [backup-simplify]: Simplify -2 into -2 1553933550.507 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.507 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.508 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.508 * [backup-simplify]: Simplify (- 0) into 0 1553933550.508 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.509 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1553933550.509 * [backup-simplify]: Simplify -2 into -2 1553933550.509 * [backup-simplify]: Simplify (+ (* -2 (pow (/ 1 (- x)) 2)) (+ (* -2 (/ 1 (- x))) -1)) into (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553933550.509 * * * * [progress]: [ 2 / 2 ] generating series at (2 2 1) 1553933550.509 * [backup-simplify]: Simplify (sqrt (/ (- 1 x) (+ 1 x))) into (sqrt (/ (- 1 x) (+ x 1))) 1553933550.509 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in (x) around 0 1553933550.510 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1553933550.510 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553933550.510 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553933550.510 * [taylor]: Taking taylor expansion of 1 in x 1553933550.510 * [backup-simplify]: Simplify 1 into 1 1553933550.510 * [taylor]: Taking taylor expansion of x in x 1553933550.510 * [backup-simplify]: Simplify 0 into 0 1553933550.510 * [backup-simplify]: Simplify 1 into 1 1553933550.510 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553933550.510 * [taylor]: Taking taylor expansion of x in x 1553933550.510 * [backup-simplify]: Simplify 0 into 0 1553933550.510 * [backup-simplify]: Simplify 1 into 1 1553933550.510 * [taylor]: Taking taylor expansion of 1 in x 1553933550.510 * [backup-simplify]: Simplify 1 into 1 1553933550.510 * [backup-simplify]: Simplify (- 0) into 0 1553933550.510 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.510 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.511 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.511 * [backup-simplify]: Simplify (sqrt 1) into 1 1553933550.511 * [backup-simplify]: Simplify (- 1) into -1 1553933550.512 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.512 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.512 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553933550.513 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1553933550.513 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 x) (+ x 1))) in x 1553933550.513 * [taylor]: Taking taylor expansion of (/ (- 1 x) (+ x 1)) in x 1553933550.513 * [taylor]: Taking taylor expansion of (- 1 x) in x 1553933550.513 * [taylor]: Taking taylor expansion of 1 in x 1553933550.513 * [backup-simplify]: Simplify 1 into 1 1553933550.513 * [taylor]: Taking taylor expansion of x in x 1553933550.513 * [backup-simplify]: Simplify 0 into 0 1553933550.513 * [backup-simplify]: Simplify 1 into 1 1553933550.513 * [taylor]: Taking taylor expansion of (+ x 1) in x 1553933550.513 * [taylor]: Taking taylor expansion of x in x 1553933550.513 * [backup-simplify]: Simplify 0 into 0 1553933550.513 * [backup-simplify]: Simplify 1 into 1 1553933550.513 * [taylor]: Taking taylor expansion of 1 in x 1553933550.513 * [backup-simplify]: Simplify 1 into 1 1553933550.513 * [backup-simplify]: Simplify (- 0) into 0 1553933550.514 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.514 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.514 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.515 * [backup-simplify]: Simplify (sqrt 1) into 1 1553933550.515 * [backup-simplify]: Simplify (- 1) into -1 1553933550.515 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.515 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.516 * [backup-simplify]: Simplify (- (/ -1 1) (+ (* 1 (/ 1 1)))) into -2 1553933550.516 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt 1))) into -1 1553933550.516 * [backup-simplify]: Simplify 1 into 1 1553933550.516 * [backup-simplify]: Simplify -1 into -1 1553933550.517 * [backup-simplify]: Simplify (- 0) into 0 1553933550.517 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.517 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.518 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* 1 (/ 0 1)) (* -2 (/ 1 1)))) into 2 1553933550.518 * [backup-simplify]: Simplify (/ (- 2 (pow -1 2) (+)) (* 2 1)) into 1/2 1553933550.518 * [backup-simplify]: Simplify 1/2 into 1/2 1553933550.519 * [backup-simplify]: Simplify (+ (* 1/2 (pow x 2)) (+ (* -1 x) 1)) into (- (+ (* 1/2 (pow x 2)) 1) x) 1553933550.519 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 x)) (+ 1 (/ 1 x)))) into (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) 1553933550.519 * [approximate]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in (x) around 0 1553933550.519 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1553933550.519 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553933550.519 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.519 * [taylor]: Taking taylor expansion of 1 in x 1553933550.519 * [backup-simplify]: Simplify 1 into 1 1553933550.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.519 * [taylor]: Taking taylor expansion of x in x 1553933550.519 * [backup-simplify]: Simplify 0 into 0 1553933550.519 * [backup-simplify]: Simplify 1 into 1 1553933550.519 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.519 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.519 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.519 * [taylor]: Taking taylor expansion of x in x 1553933550.519 * [backup-simplify]: Simplify 0 into 0 1553933550.519 * [backup-simplify]: Simplify 1 into 1 1553933550.519 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.519 * [taylor]: Taking taylor expansion of 1 in x 1553933550.519 * [backup-simplify]: Simplify 1 into 1 1553933550.520 * [backup-simplify]: Simplify (- 1) into -1 1553933550.520 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.520 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.520 * [backup-simplify]: Simplify (/ -1 1) into -1 1553933550.521 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.521 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.521 * [backup-simplify]: Simplify (- 0) into 0 1553933550.522 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.528 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.528 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.529 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553933550.530 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1553933550.530 * [taylor]: Taking taylor expansion of (sqrt (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1))) in x 1553933550.530 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 x)) (+ (/ 1 x) 1)) in x 1553933550.530 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.530 * [taylor]: Taking taylor expansion of 1 in x 1553933550.530 * [backup-simplify]: Simplify 1 into 1 1553933550.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.530 * [taylor]: Taking taylor expansion of x in x 1553933550.530 * [backup-simplify]: Simplify 0 into 0 1553933550.530 * [backup-simplify]: Simplify 1 into 1 1553933550.530 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.530 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.530 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.530 * [taylor]: Taking taylor expansion of x in x 1553933550.530 * [backup-simplify]: Simplify 0 into 0 1553933550.530 * [backup-simplify]: Simplify 1 into 1 1553933550.531 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.531 * [taylor]: Taking taylor expansion of 1 in x 1553933550.531 * [backup-simplify]: Simplify 1 into 1 1553933550.531 * [backup-simplify]: Simplify (- 1) into -1 1553933550.531 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.532 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.532 * [backup-simplify]: Simplify (/ -1 1) into -1 1553933550.532 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.533 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.533 * [backup-simplify]: Simplify (- 0) into 0 1553933550.533 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.534 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.534 * [backup-simplify]: Simplify (- (/ 1 1) (+ (* -1 (/ 1 1)))) into 2 1553933550.535 * [backup-simplify]: Simplify (/ 2 (* 2 (sqrt -1))) into (/ 1 (sqrt -1)) 1553933550.535 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.536 * [backup-simplify]: Simplify (/ 1 (sqrt -1)) into (/ 1 (sqrt -1)) 1553933550.536 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.537 * [backup-simplify]: Simplify (- 0) into 0 1553933550.537 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.537 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.538 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.538 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 2 (/ 1 1)))) into -2 1553933550.540 * [backup-simplify]: Simplify (/ (- -2 (pow (/ 1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1553933550.541 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1553933550.542 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553933550.542 * [backup-simplify]: Simplify (sqrt (/ (- 1 (/ 1 (- x))) (+ 1 (/ 1 (- x))))) into (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) 1553933550.542 * [approximate]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in (x) around 0 1553933550.542 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1553933550.543 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553933550.543 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.543 * [taylor]: Taking taylor expansion of x in x 1553933550.543 * [backup-simplify]: Simplify 0 into 0 1553933550.543 * [backup-simplify]: Simplify 1 into 1 1553933550.543 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.543 * [taylor]: Taking taylor expansion of 1 in x 1553933550.543 * [backup-simplify]: Simplify 1 into 1 1553933550.543 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.543 * [taylor]: Taking taylor expansion of 1 in x 1553933550.543 * [backup-simplify]: Simplify 1 into 1 1553933550.543 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.543 * [taylor]: Taking taylor expansion of x in x 1553933550.543 * [backup-simplify]: Simplify 0 into 0 1553933550.543 * [backup-simplify]: Simplify 1 into 1 1553933550.543 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.543 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.544 * [backup-simplify]: Simplify (- 1) into -1 1553933550.544 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.544 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553933550.544 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.545 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.545 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.546 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.546 * [backup-simplify]: Simplify (- 0) into 0 1553933550.546 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.546 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553933550.547 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1553933550.547 * [taylor]: Taking taylor expansion of (sqrt (/ (+ (/ 1 x) 1) (- 1 (/ 1 x)))) in x 1553933550.547 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) 1) (- 1 (/ 1 x))) in x 1553933550.547 * [taylor]: Taking taylor expansion of (+ (/ 1 x) 1) in x 1553933550.547 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.547 * [taylor]: Taking taylor expansion of x in x 1553933550.547 * [backup-simplify]: Simplify 0 into 0 1553933550.548 * [backup-simplify]: Simplify 1 into 1 1553933550.548 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.548 * [taylor]: Taking taylor expansion of 1 in x 1553933550.548 * [backup-simplify]: Simplify 1 into 1 1553933550.548 * [taylor]: Taking taylor expansion of (- 1 (/ 1 x)) in x 1553933550.548 * [taylor]: Taking taylor expansion of 1 in x 1553933550.548 * [backup-simplify]: Simplify 1 into 1 1553933550.548 * [taylor]: Taking taylor expansion of (/ 1 x) in x 1553933550.548 * [taylor]: Taking taylor expansion of x in x 1553933550.548 * [backup-simplify]: Simplify 0 into 0 1553933550.548 * [backup-simplify]: Simplify 1 into 1 1553933550.548 * [backup-simplify]: Simplify (/ 1 1) into 1 1553933550.548 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.549 * [backup-simplify]: Simplify (- 1) into -1 1553933550.549 * [backup-simplify]: Simplify (+ 0 -1) into -1 1553933550.549 * [backup-simplify]: Simplify (/ 1 -1) into -1 1553933550.549 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.550 * [backup-simplify]: Simplify (+ 0 1) into 1 1553933550.550 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0 1553933550.551 * [backup-simplify]: Simplify (- 0) into 0 1553933550.551 * [backup-simplify]: Simplify (+ 1 0) into 1 1553933550.551 * [backup-simplify]: Simplify (- (/ 1 -1) (+ (* -1 (/ 1 -1)))) into -2 1553933550.552 * [backup-simplify]: Simplify (/ -2 (* 2 (sqrt -1))) into (/ -1 (sqrt -1)) 1553933550.553 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1) 1553933550.553 * [backup-simplify]: Simplify (/ -1 (sqrt -1)) into (/ -1 (sqrt -1)) 1553933550.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.554 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.554 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0 1553933550.555 * [backup-simplify]: Simplify (- 0) into 0 1553933550.555 * [backup-simplify]: Simplify (+ 0 0) into 0 1553933550.555 * [backup-simplify]: Simplify (- (/ 0 -1) (+ (* -1 (/ 0 -1)) (* -2 (/ 1 -1)))) into -2 1553933550.557 * [backup-simplify]: Simplify (/ (- -2 (pow (/ -1 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1)) 1553933550.558 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1)) 1553933550.559 * [backup-simplify]: Simplify (+ (* (/ -1/2 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553933550.559 * * * [progress]: simplifying candidates 1553933550.559 * * * * [progress]: [ 1 / 101 ] simplifiying candidate # 1553933550.559 * * * * [progress]: [ 2 / 101 ] simplifiying candidate # 1553933550.559 * [simplify]: Simplifying (- (log (- 1 x)) (log (+ 1 x))) 1553933550.560 * * [simplify]: iters left: 5 (7 enodes) 1553933550.561 * * [simplify]: iters left: 4 (28 enodes) 1553933550.566 * * [simplify]: iters left: 3 (36 enodes) 1553933550.570 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933550.570 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933550.570 * * [simplify]: Extracting #2: cost 10 inf + 0 1553933550.570 * * [simplify]: Extracting #3: cost 15 inf + 0 1553933550.571 * * [simplify]: Extracting #4: cost 13 inf + 43 1553933550.571 * * [simplify]: Extracting #5: cost 5 inf + 738 1553933550.571 * * [simplify]: Extracting #6: cost 0 inf + 1528 1553933550.571 * [simplify]: Simplified to (- (log (- 1 x)) (log (+ x 1))) 1553933550.571 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (exp (- (log (- 1 x)) (log (+ x 1)))))))) 1553933550.571 * * * * [progress]: [ 3 / 101 ] simplifiying candidate # 1553933550.571 * * * * [progress]: [ 4 / 101 ] simplifiying candidate # 1553933550.571 * * * * [progress]: [ 5 / 101 ] simplifiying candidate # 1553933550.572 * [simplify]: Simplifying (/ (* (* (- 1 x) (- 1 x)) (- 1 x)) (* (* (+ 1 x) (+ 1 x)) (+ 1 x))) 1553933550.572 * * [simplify]: iters left: 6 (9 enodes) 1553933550.574 * * [simplify]: iters left: 5 (53 enodes) 1553933550.587 * * [simplify]: iters left: 4 (139 enodes) 1553933550.626 * * [simplify]: iters left: 3 (381 enodes) 1553933550.895 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933550.896 * * [simplify]: Extracting #1: cost 47 inf + 0 1553933550.897 * * [simplify]: Extracting #2: cost 185 inf + 2 1553933550.901 * * [simplify]: Extracting #3: cost 192 inf + 8065 1553933550.919 * * [simplify]: Extracting #4: cost 29 inf + 38537 1553933550.942 * * [simplify]: Extracting #5: cost 0 inf + 45188 1553933550.966 * * [simplify]: Extracting #6: cost 0 inf + 45148 1553933550.988 * [simplify]: Simplified to (* (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1))) (/ (- 1 x) (+ x 1))) 1553933550.989 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (cbrt (* (* (/ (- 1 x) (+ x 1)) (/ (- 1 x) (+ x 1))) (/ (- 1 x) (+ x 1)))))))) 1553933550.989 * * * * [progress]: [ 6 / 101 ] simplifiying candidate # 1553933550.989 * * * * [progress]: [ 7 / 101 ] simplifiying candidate # 1553933550.989 * * * * [progress]: [ 8 / 101 ] simplifiying candidate # 1553933550.989 * * * * [progress]: [ 9 / 101 ] simplifiying candidate # 1553933550.989 * * * * [progress]: [ 10 / 101 ] simplifiying candidate # 1553933550.990 * [simplify]: Simplifying (/ 1 (+ 1 x)) 1553933550.990 * * [simplify]: iters left: 4 (4 enodes) 1553933550.992 * * [simplify]: iters left: 3 (15 enodes) 1553933550.998 * * [simplify]: iters left: 2 (17 enodes) 1553933551.003 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.003 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.003 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.003 * * [simplify]: Extracting #3: cost 3 inf + 44 1553933551.003 * * [simplify]: Extracting #4: cost 1 inf + 168 1553933551.003 * * [simplify]: Extracting #5: cost 0 inf + 250 1553933551.003 * [simplify]: Simplified to (/ 1 (+ x 1)) 1553933551.004 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (- (/ 1 (+ x 1)) (/ x (+ 1 x))))))) 1553933551.004 * * * * [progress]: [ 11 / 101 ] simplifiying candidate # 1553933551.004 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.004 * * [simplify]: iters left: 6 (9 enodes) 1553933551.009 * * [simplify]: iters left: 5 (38 enodes) 1553933551.025 * * [simplify]: iters left: 4 (58 enodes) 1553933551.042 * * [simplify]: iters left: 3 (65 enodes) 1553933551.059 * * [simplify]: iters left: 2 (68 enodes) 1553933551.072 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.072 * * [simplify]: Extracting #1: cost 11 inf + 0 1553933551.072 * * [simplify]: Extracting #2: cost 22 inf + 0 1553933551.073 * * [simplify]: Extracting #3: cost 27 inf + 0 1553933551.073 * * [simplify]: Extracting #4: cost 25 inf + 44 1553933551.073 * * [simplify]: Extracting #5: cost 7 inf + 3238 1553933551.074 * * [simplify]: Extracting #6: cost 0 inf + 5092 1553933551.075 * [simplify]: Simplified to (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1553933551.075 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (/ (cbrt (- 1 x)) (cbrt (+ x 1))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553933551.075 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (cbrt (+ 1 x))) 1553933551.075 * * [simplify]: iters left: 5 (7 enodes) 1553933551.077 * * [simplify]: iters left: 4 (26 enodes) 1553933551.080 * * [simplify]: iters left: 3 (31 enodes) 1553933551.084 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.084 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.085 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933551.085 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933551.085 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933551.085 * * [simplify]: Extracting #5: cost 4 inf + 576 1553933551.085 * * [simplify]: Extracting #6: cost 1 inf + 1022 1553933551.085 * * [simplify]: Extracting #7: cost 0 inf + 1304 1553933551.085 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (cbrt (+ x 1))) 1553933551.085 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (cbrt (- 1 x)) (cbrt (+ x 1)))))))) 1553933551.085 * * * * [progress]: [ 12 / 101 ] simplifiying candidate # 1553933551.086 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) 1553933551.086 * * [simplify]: iters left: 6 (8 enodes) 1553933551.088 * * [simplify]: iters left: 5 (31 enodes) 1553933551.092 * * [simplify]: iters left: 4 (40 enodes) 1553933551.099 * * [simplify]: iters left: 3 (43 enodes) 1553933551.110 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.110 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.110 * * [simplify]: Extracting #2: cost 14 inf + 0 1553933551.110 * * [simplify]: Extracting #3: cost 19 inf + 0 1553933551.110 * * [simplify]: Extracting #4: cost 18 inf + 2 1553933551.111 * * [simplify]: Extracting #5: cost 12 inf + 332 1553933551.111 * * [simplify]: Extracting #6: cost 1 inf + 2274 1553933551.112 * * [simplify]: Extracting #7: cost 0 inf + 2516 1553933551.113 * [simplify]: Simplified to (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))) 1553933551.113 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))) (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553933551.113 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (sqrt (+ 1 x))) 1553933551.113 * * [simplify]: iters left: 5 (7 enodes) 1553933551.117 * * [simplify]: iters left: 4 (26 enodes) 1553933551.124 * * [simplify]: iters left: 3 (31 enodes) 1553933551.133 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.133 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.133 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933551.133 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933551.133 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933551.133 * * [simplify]: Extracting #5: cost 4 inf + 536 1553933551.133 * * [simplify]: Extracting #6: cost 1 inf + 902 1553933551.134 * * [simplify]: Extracting #7: cost 0 inf + 1144 1553933551.134 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (sqrt (+ x 1))) 1553933551.134 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x))) (/ (cbrt (- 1 x)) (sqrt (+ x 1)))))))) 1553933551.134 * * * * [progress]: [ 13 / 101 ] simplifiying candidate # 1553933551.135 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1553933551.135 * * [simplify]: iters left: 6 (6 enodes) 1553933551.140 * * [simplify]: iters left: 5 (22 enodes) 1553933551.147 * * [simplify]: iters left: 4 (35 enodes) 1553933551.156 * * [simplify]: iters left: 3 (36 enodes) 1553933551.165 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.165 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933551.165 * * [simplify]: Extracting #2: cost 7 inf + 1 1553933551.165 * * [simplify]: Extracting #3: cost 10 inf + 1 1553933551.165 * * [simplify]: Extracting #4: cost 7 inf + 127 1553933551.165 * * [simplify]: Extracting #5: cost 3 inf + 574 1553933551.166 * * [simplify]: Extracting #6: cost 0 inf + 1060 1553933551.166 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553933551.166 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553933551.167 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1553933551.167 * * [simplify]: iters left: 5 (6 enodes) 1553933551.170 * * [simplify]: iters left: 4 (23 enodes) 1553933551.177 * * [simplify]: iters left: 3 (28 enodes) 1553933551.183 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.183 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.183 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.183 * * [simplify]: Extracting #3: cost 9 inf + 2 1553933551.183 * * [simplify]: Extracting #4: cost 5 inf + 211 1553933551.183 * * [simplify]: Extracting #5: cost 1 inf + 698 1553933551.183 * * [simplify]: Extracting #6: cost 0 inf + 900 1553933551.183 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1553933551.183 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1553933551.183 * * * * [progress]: [ 14 / 101 ] simplifiying candidate # 1553933551.184 * [simplify]: Simplifying (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1) 1553933551.184 * * [simplify]: iters left: 6 (6 enodes) 1553933551.185 * * [simplify]: iters left: 5 (22 enodes) 1553933551.189 * * [simplify]: iters left: 4 (35 enodes) 1553933551.194 * * [simplify]: iters left: 3 (36 enodes) 1553933551.199 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.199 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933551.199 * * [simplify]: Extracting #2: cost 7 inf + 1 1553933551.199 * * [simplify]: Extracting #3: cost 10 inf + 1 1553933551.199 * * [simplify]: Extracting #4: cost 7 inf + 127 1553933551.200 * * [simplify]: Extracting #5: cost 3 inf + 574 1553933551.200 * * [simplify]: Extracting #6: cost 0 inf + 1060 1553933551.200 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553933551.200 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553933551.200 * [simplify]: Simplifying (/ (cbrt (- 1 x)) (+ 1 x)) 1553933551.200 * * [simplify]: iters left: 5 (6 enodes) 1553933551.202 * * [simplify]: iters left: 4 (23 enodes) 1553933551.205 * * [simplify]: iters left: 3 (28 enodes) 1553933551.209 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.209 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.209 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.209 * * [simplify]: Extracting #3: cost 9 inf + 2 1553933551.210 * * [simplify]: Extracting #4: cost 5 inf + 211 1553933551.210 * * [simplify]: Extracting #5: cost 1 inf + 698 1553933551.210 * * [simplify]: Extracting #6: cost 0 inf + 900 1553933551.210 * [simplify]: Simplified to (/ (cbrt (- 1 x)) (+ x 1)) 1553933551.211 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (cbrt (- 1 x)) (+ x 1))))))) 1553933551.211 * * * * [progress]: [ 15 / 101 ] simplifiying candidate # 1553933551.211 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.211 * * [simplify]: iters left: 6 (8 enodes) 1553933551.215 * * [simplify]: iters left: 5 (31 enodes) 1553933551.224 * * [simplify]: iters left: 4 (38 enodes) 1553933551.234 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.234 * * [simplify]: Extracting #1: cost 6 inf + 0 1553933551.234 * * [simplify]: Extracting #2: cost 12 inf + 0 1553933551.234 * * [simplify]: Extracting #3: cost 17 inf + 0 1553933551.234 * * [simplify]: Extracting #4: cost 16 inf + 2 1553933551.234 * * [simplify]: Extracting #5: cost 7 inf + 578 1553933551.235 * * [simplify]: Extracting #6: cost 0 inf + 2032 1553933551.235 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553933551.236 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553933551.236 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (cbrt (+ 1 x))) 1553933551.236 * * [simplify]: iters left: 5 (7 enodes) 1553933551.239 * * [simplify]: iters left: 4 (26 enodes) 1553933551.244 * * [simplify]: iters left: 3 (31 enodes) 1553933551.248 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.248 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.248 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933551.248 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933551.248 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933551.249 * * [simplify]: Extracting #5: cost 4 inf + 496 1553933551.249 * * [simplify]: Extracting #6: cost 1 inf + 902 1553933551.249 * * [simplify]: Extracting #7: cost 0 inf + 1144 1553933551.249 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (cbrt (+ x 1))) 1553933551.249 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (sqrt (- 1 x)) (cbrt (+ x 1)))))))) 1553933551.249 * * * * [progress]: [ 16 / 101 ] simplifiying candidate # 1553933551.249 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553933551.250 * * [simplify]: iters left: 5 (7 enodes) 1553933551.251 * * [simplify]: iters left: 4 (26 enodes) 1553933551.256 * * [simplify]: iters left: 3 (31 enodes) 1553933551.261 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.261 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.261 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933551.261 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933551.261 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933551.261 * * [simplify]: Extracting #5: cost 4 inf + 456 1553933551.261 * * [simplify]: Extracting #6: cost 1 inf + 782 1553933551.261 * * [simplify]: Extracting #7: cost 0 inf + 984 1553933551.262 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553933551.262 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ x 1))) (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553933551.262 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553933551.262 * * [simplify]: iters left: 5 (7 enodes) 1553933551.264 * * [simplify]: iters left: 4 (26 enodes) 1553933551.267 * * [simplify]: iters left: 3 (31 enodes) 1553933551.274 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.274 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.275 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933551.275 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933551.275 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933551.275 * * [simplify]: Extracting #5: cost 4 inf + 456 1553933551.275 * * [simplify]: Extracting #6: cost 1 inf + 782 1553933551.276 * * [simplify]: Extracting #7: cost 0 inf + 984 1553933551.276 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553933551.276 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) (/ (sqrt (- 1 x)) (sqrt (+ x 1)))))))) 1553933551.276 * * * * [progress]: [ 17 / 101 ] simplifiying candidate # 1553933551.277 * [simplify]: Simplifying (/ (sqrt (- 1 x)) 1) 1553933551.277 * * [simplify]: iters left: 5 (5 enodes) 1553933551.279 * * [simplify]: iters left: 4 (17 enodes) 1553933551.284 * * [simplify]: iters left: 3 (22 enodes) 1553933551.288 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.288 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.288 * * [simplify]: Extracting #2: cost 6 inf + 1 1553933551.288 * * [simplify]: Extracting #3: cost 1 inf + 291 1553933551.288 * * [simplify]: Extracting #4: cost 0 inf + 332 1553933551.289 * [simplify]: Simplified to (sqrt (- 1 x)) 1553933551.289 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553933551.289 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1553933551.289 * * [simplify]: iters left: 5 (6 enodes) 1553933551.290 * * [simplify]: iters left: 4 (23 enodes) 1553933551.294 * * [simplify]: iters left: 3 (28 enodes) 1553933551.298 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.298 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.298 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.298 * * [simplify]: Extracting #3: cost 9 inf + 2 1553933551.298 * * [simplify]: Extracting #4: cost 5 inf + 211 1553933551.298 * * [simplify]: Extracting #5: cost 1 inf + 578 1553933551.299 * * [simplify]: Extracting #6: cost 0 inf + 740 1553933551.299 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1553933551.299 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1553933551.299 * * * * [progress]: [ 18 / 101 ] simplifiying candidate # 1553933551.299 * [simplify]: Simplifying (/ (sqrt (- 1 x)) 1) 1553933551.299 * * [simplify]: iters left: 5 (5 enodes) 1553933551.300 * * [simplify]: iters left: 4 (17 enodes) 1553933551.303 * * [simplify]: iters left: 3 (22 enodes) 1553933551.306 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.306 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.306 * * [simplify]: Extracting #2: cost 6 inf + 1 1553933551.306 * * [simplify]: Extracting #3: cost 1 inf + 291 1553933551.306 * * [simplify]: Extracting #4: cost 0 inf + 332 1553933551.307 * [simplify]: Simplified to (sqrt (- 1 x)) 1553933551.307 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553933551.307 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (+ 1 x)) 1553933551.307 * * [simplify]: iters left: 5 (6 enodes) 1553933551.308 * * [simplify]: iters left: 4 (23 enodes) 1553933551.312 * * [simplify]: iters left: 3 (28 enodes) 1553933551.316 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.316 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.316 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.316 * * [simplify]: Extracting #3: cost 9 inf + 2 1553933551.316 * * [simplify]: Extracting #4: cost 5 inf + 211 1553933551.316 * * [simplify]: Extracting #5: cost 1 inf + 578 1553933551.316 * * [simplify]: Extracting #6: cost 0 inf + 740 1553933551.316 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (+ x 1)) 1553933551.316 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (sqrt (- 1 x)) (/ (sqrt (- 1 x)) (+ x 1))))))) 1553933551.316 * * * * [progress]: [ 19 / 101 ] simplifiying candidate # 1553933551.317 * [simplify]: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.317 * * [simplify]: iters left: 6 (6 enodes) 1553933551.318 * * [simplify]: iters left: 5 (23 enodes) 1553933551.322 * * [simplify]: iters left: 4 (27 enodes) 1553933551.325 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.326 * * [simplify]: Extracting #1: cost 6 inf + 0 1553933551.326 * * [simplify]: Extracting #2: cost 9 inf + 1 1553933551.326 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933551.326 * * [simplify]: Extracting #4: cost 8 inf + 86 1553933551.326 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553933551.326 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553933551.326 * [simplify]: Simplified to (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553933551.326 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553933551.326 * [simplify]: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1553933551.327 * * [simplify]: iters left: 5 (6 enodes) 1553933551.328 * * [simplify]: iters left: 4 (26 enodes) 1553933551.332 * * [simplify]: iters left: 3 (37 enodes) 1553933551.337 * * [simplify]: iters left: 2 (41 enodes) 1553933551.350 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.350 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.350 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.350 * * [simplify]: Extracting #3: cost 15 inf + 43 1553933551.351 * * [simplify]: Extracting #4: cost 11 inf + 210 1553933551.351 * * [simplify]: Extracting #5: cost 5 inf + 1102 1553933551.352 * * [simplify]: Extracting #6: cost 0 inf + 1952 1553933551.352 * [simplify]: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1553933551.352 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1553933551.352 * * * * [progress]: [ 20 / 101 ] simplifiying candidate # 1553933551.353 * [simplify]: Simplifying (/ 1 (sqrt (+ 1 x))) 1553933551.353 * * [simplify]: iters left: 5 (5 enodes) 1553933551.355 * * [simplify]: iters left: 4 (18 enodes) 1553933551.361 * * [simplify]: iters left: 3 (20 enodes) 1553933551.366 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.366 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.366 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.366 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933551.366 * * [simplify]: Extracting #4: cost 0 inf + 494 1553933551.367 * [simplify]: Simplified to (/ 1 (sqrt (+ x 1))) 1553933551.367 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553933551.367 * [simplify]: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1553933551.367 * * [simplify]: iters left: 5 (6 enodes) 1553933551.370 * * [simplify]: iters left: 4 (26 enodes) 1553933551.378 * * [simplify]: iters left: 3 (37 enodes) 1553933551.388 * * [simplify]: iters left: 2 (41 enodes) 1553933551.399 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.399 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.399 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.399 * * [simplify]: Extracting #3: cost 15 inf + 43 1553933551.399 * * [simplify]: Extracting #4: cost 11 inf + 210 1553933551.400 * * [simplify]: Extracting #5: cost 5 inf + 902 1553933551.400 * * [simplify]: Extracting #6: cost 0 inf + 1552 1553933551.401 * [simplify]: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1553933551.401 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1553933551.401 * * * * [progress]: [ 21 / 101 ] simplifiying candidate # 1553933551.401 * [simplify]: Simplifying (/ 1 1) 1553933551.402 * * [simplify]: iters left: 2 (2 enodes) 1553933551.403 * * [simplify]: iters left: 1 (6 enodes) 1553933551.405 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.405 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933551.405 * [simplify]: Simplified to 1 1553933551.405 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553933551.405 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553933551.406 * * [simplify]: iters left: 4 (5 enodes) 1553933551.408 * * [simplify]: iters left: 3 (23 enodes) 1553933551.416 * * [simplify]: iters left: 2 (34 enodes) 1553933551.425 * * [simplify]: iters left: 1 (38 enodes) 1553933551.435 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.435 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.435 * * [simplify]: Extracting #2: cost 15 inf + 0 1553933551.435 * * [simplify]: Extracting #3: cost 14 inf + 2 1553933551.435 * * [simplify]: Extracting #4: cost 8 inf + 292 1553933551.436 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553933551.436 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553933551.436 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553933551.436 * * * * [progress]: [ 22 / 101 ] simplifiying candidate # 1553933551.437 * [simplify]: Simplifying (/ 1 1) 1553933551.437 * * [simplify]: iters left: 2 (2 enodes) 1553933551.438 * * [simplify]: iters left: 1 (6 enodes) 1553933551.440 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.440 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933551.440 * [simplify]: Simplified to 1 1553933551.440 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553933551.441 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553933551.441 * * [simplify]: iters left: 4 (5 enodes) 1553933551.443 * * [simplify]: iters left: 3 (23 enodes) 1553933551.451 * * [simplify]: iters left: 2 (34 enodes) 1553933551.460 * * [simplify]: iters left: 1 (38 enodes) 1553933551.470 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.470 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.470 * * [simplify]: Extracting #2: cost 15 inf + 0 1553933551.470 * * [simplify]: Extracting #3: cost 14 inf + 2 1553933551.470 * * [simplify]: Extracting #4: cost 8 inf + 292 1553933551.471 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553933551.471 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553933551.471 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553933551.471 * * * * [progress]: [ 23 / 101 ] simplifiying candidate # 1553933551.472 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.472 * * [simplify]: iters left: 6 (9 enodes) 1553933551.478 * * [simplify]: iters left: 5 (33 enodes) 1553933551.487 * * [simplify]: iters left: 4 (37 enodes) 1553933551.499 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.499 * * [simplify]: Extracting #1: cost 6 inf + 0 1553933551.499 * * [simplify]: Extracting #2: cost 13 inf + 0 1553933551.499 * * [simplify]: Extracting #3: cost 15 inf + 1 1553933551.499 * * [simplify]: Extracting #4: cost 12 inf + 85 1553933551.499 * * [simplify]: Extracting #5: cost 5 inf + 898 1553933551.500 * * [simplify]: Extracting #6: cost 0 inf + 1948 1553933551.500 * [simplify]: Simplified to (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.500 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))))))) 1553933551.501 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x))) 1553933551.501 * * [simplify]: iters left: 5 (8 enodes) 1553933551.505 * * [simplify]: iters left: 4 (32 enodes) 1553933551.514 * * [simplify]: iters left: 3 (46 enodes) 1553933551.526 * * [simplify]: iters left: 2 (52 enodes) 1553933551.539 * * [simplify]: iters left: 1 (53 enodes) 1553933551.552 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.552 * * [simplify]: Extracting #1: cost 8 inf + 0 1553933551.552 * * [simplify]: Extracting #2: cost 18 inf + 0 1553933551.552 * * [simplify]: Extracting #3: cost 21 inf + 1 1553933551.552 * * [simplify]: Extracting #4: cost 17 inf + 166 1553933551.553 * * [simplify]: Extracting #5: cost 6 inf + 1506 1553933551.554 * * [simplify]: Extracting #6: cost 0 inf + 2758 1553933551.555 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (cbrt (+ 1 x))) 1553933551.555 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553933551.555 * * * * [progress]: [ 24 / 101 ] simplifiying candidate # 1553933551.555 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) 1553933551.555 * * [simplify]: iters left: 5 (8 enodes) 1553933551.560 * * [simplify]: iters left: 4 (28 enodes) 1553933551.568 * * [simplify]: iters left: 3 (30 enodes) 1553933551.575 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.575 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.576 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.576 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933551.576 * * [simplify]: Extracting #4: cost 4 inf + 332 1553933551.576 * * [simplify]: Extracting #5: cost 1 inf + 698 1553933551.576 * * [simplify]: Extracting #6: cost 0 inf + 900 1553933551.577 * [simplify]: Simplified to (/ (+ (sqrt x) 1) (sqrt (+ 1 x))) 1553933551.577 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt x) 1) (sqrt (+ 1 x))) (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))))) 1553933551.577 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) 1553933551.577 * * [simplify]: iters left: 5 (8 enodes) 1553933551.582 * * [simplify]: iters left: 4 (32 enodes) 1553933551.592 * * [simplify]: iters left: 3 (46 enodes) 1553933551.604 * * [simplify]: iters left: 2 (52 enodes) 1553933551.616 * * [simplify]: iters left: 1 (53 enodes) 1553933551.629 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.629 * * [simplify]: Extracting #1: cost 8 inf + 0 1553933551.629 * * [simplify]: Extracting #2: cost 18 inf + 0 1553933551.629 * * [simplify]: Extracting #3: cost 21 inf + 1 1553933551.629 * * [simplify]: Extracting #4: cost 17 inf + 166 1553933551.630 * * [simplify]: Extracting #5: cost 6 inf + 1266 1553933551.631 * * [simplify]: Extracting #6: cost 0 inf + 2278 1553933551.631 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (sqrt (+ 1 x))) 1553933551.632 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553933551.632 * * * * [progress]: [ 25 / 101 ] simplifiying candidate # 1553933551.632 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) 1) 1553933551.632 * * [simplify]: iters left: 5 (6 enodes) 1553933551.636 * * [simplify]: iters left: 4 (19 enodes) 1553933551.641 * * [simplify]: iters left: 3 (21 enodes) 1553933551.647 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.647 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.647 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.647 * * [simplify]: Extracting #3: cost 0 inf + 248 1553933551.647 * [simplify]: Simplified to (+ (sqrt x) 1) 1553933551.647 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553933551.650 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) 1553933551.650 * * [simplify]: iters left: 5 (7 enodes) 1553933551.654 * * [simplify]: iters left: 4 (29 enodes) 1553933551.663 * * [simplify]: iters left: 3 (43 enodes) 1553933551.674 * * [simplify]: iters left: 2 (49 enodes) 1553933551.686 * * [simplify]: iters left: 1 (50 enodes) 1553933551.699 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.699 * * [simplify]: Extracting #1: cost 8 inf + 0 1553933551.699 * * [simplify]: Extracting #2: cost 18 inf + 0 1553933551.699 * * [simplify]: Extracting #3: cost 17 inf + 43 1553933551.699 * * [simplify]: Extracting #4: cost 9 inf + 576 1553933551.700 * * [simplify]: Extracting #5: cost 0 inf + 1714 1553933551.701 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ 1 x)) 1553933551.701 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933551.701 * * * * [progress]: [ 26 / 101 ] simplifiying candidate # 1553933551.701 * [simplify]: Simplifying (/ (+ (sqrt 1) (sqrt x)) 1) 1553933551.701 * * [simplify]: iters left: 5 (6 enodes) 1553933551.705 * * [simplify]: iters left: 4 (19 enodes) 1553933551.710 * * [simplify]: iters left: 3 (21 enodes) 1553933551.716 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.716 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.716 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.716 * * [simplify]: Extracting #3: cost 0 inf + 248 1553933551.716 * [simplify]: Simplified to (+ (sqrt x) 1) 1553933551.716 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553933551.717 * [simplify]: Simplifying (/ (- (sqrt 1) (sqrt x)) (+ 1 x)) 1553933551.717 * * [simplify]: iters left: 5 (7 enodes) 1553933551.721 * * [simplify]: iters left: 4 (29 enodes) 1553933551.729 * * [simplify]: iters left: 3 (43 enodes) 1553933551.735 * * [simplify]: iters left: 2 (49 enodes) 1553933551.741 * * [simplify]: iters left: 1 (50 enodes) 1553933551.747 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.747 * * [simplify]: Extracting #1: cost 8 inf + 0 1553933551.747 * * [simplify]: Extracting #2: cost 18 inf + 0 1553933551.747 * * [simplify]: Extracting #3: cost 17 inf + 43 1553933551.747 * * [simplify]: Extracting #4: cost 9 inf + 576 1553933551.747 * * [simplify]: Extracting #5: cost 0 inf + 1714 1553933551.748 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ 1 x)) 1553933551.748 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ (sqrt x) 1) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933551.748 * * * * [progress]: [ 27 / 101 ] simplifiying candidate # 1553933551.748 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.748 * * [simplify]: iters left: 6 (8 enodes) 1553933551.750 * * [simplify]: iters left: 5 (30 enodes) 1553933551.754 * * [simplify]: iters left: 4 (34 enodes) 1553933551.759 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.759 * * [simplify]: Extracting #1: cost 6 inf + 0 1553933551.759 * * [simplify]: Extracting #2: cost 13 inf + 0 1553933551.759 * * [simplify]: Extracting #3: cost 15 inf + 1 1553933551.759 * * [simplify]: Extracting #4: cost 14 inf + 2 1553933551.759 * * [simplify]: Extracting #5: cost 8 inf + 372 1553933551.760 * * [simplify]: Extracting #6: cost 0 inf + 1948 1553933551.760 * [simplify]: Simplified to (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553933551.760 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553933551.760 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (cbrt (+ 1 x))) 1553933551.760 * * [simplify]: iters left: 5 (7 enodes) 1553933551.763 * * [simplify]: iters left: 4 (29 enodes) 1553933551.774 * * [simplify]: iters left: 3 (40 enodes) 1553933551.785 * * [simplify]: iters left: 2 (44 enodes) 1553933551.796 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.796 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.796 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.797 * * [simplify]: Extracting #3: cost 19 inf + 1 1553933551.797 * * [simplify]: Extracting #4: cost 18 inf + 2 1553933551.797 * * [simplify]: Extracting #5: cost 7 inf + 980 1553933551.798 * * [simplify]: Extracting #6: cost 1 inf + 2192 1553933551.798 * * [simplify]: Extracting #7: cost 0 inf + 2434 1553933551.799 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (cbrt (+ x 1))) 1553933551.799 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 (sqrt x)) (cbrt (+ x 1)))))))) 1553933551.799 * * * * [progress]: [ 28 / 101 ] simplifiying candidate # 1553933551.800 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) 1553933551.800 * * [simplify]: iters left: 5 (7 enodes) 1553933551.803 * * [simplify]: iters left: 4 (25 enodes) 1553933551.810 * * [simplify]: iters left: 3 (27 enodes) 1553933551.818 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.818 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.818 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933551.818 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933551.818 * * [simplify]: Extracting #4: cost 10 inf + 2 1553933551.818 * * [simplify]: Extracting #5: cost 2 inf + 616 1553933551.819 * * [simplify]: Extracting #6: cost 0 inf + 900 1553933551.819 * [simplify]: Simplified to (/ (+ 1 (sqrt x)) (sqrt (+ x 1))) 1553933551.819 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (sqrt (+ x 1))) (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553933551.819 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (sqrt (+ 1 x))) 1553933551.820 * * [simplify]: iters left: 5 (7 enodes) 1553933551.823 * * [simplify]: iters left: 4 (29 enodes) 1553933551.832 * * [simplify]: iters left: 3 (40 enodes) 1553933551.843 * * [simplify]: iters left: 2 (44 enodes) 1553933551.854 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.854 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.854 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.855 * * [simplify]: Extracting #3: cost 19 inf + 1 1553933551.855 * * [simplify]: Extracting #4: cost 18 inf + 2 1553933551.855 * * [simplify]: Extracting #5: cost 7 inf + 820 1553933551.856 * * [simplify]: Extracting #6: cost 1 inf + 1832 1553933551.856 * * [simplify]: Extracting #7: cost 0 inf + 2034 1553933551.857 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (sqrt (+ x 1))) 1553933551.857 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (+ 1 (sqrt x)) (sqrt (+ 1 x))) (/ (- 1 (sqrt x)) (sqrt (+ x 1)))))))) 1553933551.857 * * * * [progress]: [ 29 / 101 ] simplifiying candidate # 1553933551.858 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) 1) 1553933551.858 * * [simplify]: iters left: 5 (5 enodes) 1553933551.861 * * [simplify]: iters left: 4 (16 enodes) 1553933551.865 * * [simplify]: iters left: 3 (18 enodes) 1553933551.870 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.870 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.870 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.871 * * [simplify]: Extracting #3: cost 1 inf + 166 1553933551.871 * * [simplify]: Extracting #4: cost 0 inf + 248 1553933551.871 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553933551.871 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933551.871 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (+ 1 x)) 1553933551.871 * * [simplify]: iters left: 5 (6 enodes) 1553933551.875 * * [simplify]: iters left: 4 (26 enodes) 1553933551.883 * * [simplify]: iters left: 3 (37 enodes) 1553933551.893 * * [simplify]: iters left: 2 (41 enodes) 1553933551.904 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.904 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.904 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.904 * * [simplify]: Extracting #3: cost 16 inf + 2 1553933551.904 * * [simplify]: Extracting #4: cost 6 inf + 898 1553933551.905 * * [simplify]: Extracting #5: cost 0 inf + 1550 1553933551.905 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ x 1)) 1553933551.906 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ x 1))))))) 1553933551.906 * * * * [progress]: [ 30 / 101 ] simplifiying candidate # 1553933551.906 * [simplify]: Simplifying (/ (+ 1 (sqrt x)) 1) 1553933551.906 * * [simplify]: iters left: 5 (5 enodes) 1553933551.909 * * [simplify]: iters left: 4 (16 enodes) 1553933551.914 * * [simplify]: iters left: 3 (18 enodes) 1553933551.919 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.919 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.919 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.919 * * [simplify]: Extracting #3: cost 1 inf + 166 1553933551.919 * * [simplify]: Extracting #4: cost 0 inf + 248 1553933551.919 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553933551.919 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933551.920 * [simplify]: Simplifying (/ (- 1 (sqrt x)) (+ 1 x)) 1553933551.920 * * [simplify]: iters left: 5 (6 enodes) 1553933551.923 * * [simplify]: iters left: 4 (26 enodes) 1553933551.933 * * [simplify]: iters left: 3 (37 enodes) 1553933551.940 * * [simplify]: iters left: 2 (41 enodes) 1553933551.945 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.945 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.945 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.945 * * [simplify]: Extracting #3: cost 16 inf + 2 1553933551.946 * * [simplify]: Extracting #4: cost 6 inf + 898 1553933551.946 * * [simplify]: Extracting #5: cost 0 inf + 1550 1553933551.946 * [simplify]: Simplified to (/ (- 1 (sqrt x)) (+ x 1)) 1553933551.946 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (+ 1 (sqrt x)) (/ (- 1 (sqrt x)) (+ x 1))))))) 1553933551.946 * * * * [progress]: [ 31 / 101 ] simplifiying candidate # 1553933551.947 * [simplify]: Simplifying (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) 1553933551.947 * * [simplify]: iters left: 6 (6 enodes) 1553933551.948 * * [simplify]: iters left: 5 (23 enodes) 1553933551.952 * * [simplify]: iters left: 4 (27 enodes) 1553933551.955 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.955 * * [simplify]: Extracting #1: cost 6 inf + 0 1553933551.956 * * [simplify]: Extracting #2: cost 9 inf + 1 1553933551.956 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933551.956 * * [simplify]: Extracting #4: cost 8 inf + 86 1553933551.956 * * [simplify]: Extracting #5: cost 2 inf + 1018 1553933551.956 * * [simplify]: Extracting #6: cost 0 inf + 1382 1553933551.956 * [simplify]: Simplified to (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) 1553933551.956 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ x 1)) (cbrt (+ x 1)))) (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553933551.956 * [simplify]: Simplifying (/ (- 1 x) (cbrt (+ 1 x))) 1553933551.956 * * [simplify]: iters left: 5 (6 enodes) 1553933551.958 * * [simplify]: iters left: 4 (26 enodes) 1553933551.962 * * [simplify]: iters left: 3 (37 enodes) 1553933551.967 * * [simplify]: iters left: 2 (41 enodes) 1553933551.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.977 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933551.977 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933551.977 * * [simplify]: Extracting #3: cost 15 inf + 43 1553933551.977 * * [simplify]: Extracting #4: cost 11 inf + 210 1553933551.978 * * [simplify]: Extracting #5: cost 5 inf + 1102 1553933551.978 * * [simplify]: Extracting #6: cost 0 inf + 1952 1553933551.979 * [simplify]: Simplified to (/ (- 1 x) (cbrt (+ x 1))) 1553933551.979 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (/ (- 1 x) (cbrt (+ x 1)))))))) 1553933551.979 * * * * [progress]: [ 32 / 101 ] simplifiying candidate # 1553933551.979 * [simplify]: Simplifying (/ 1 (sqrt (+ 1 x))) 1553933551.979 * * [simplify]: iters left: 5 (5 enodes) 1553933551.982 * * [simplify]: iters left: 4 (18 enodes) 1553933551.986 * * [simplify]: iters left: 3 (20 enodes) 1553933551.989 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933551.989 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933551.989 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933551.989 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933551.989 * * [simplify]: Extracting #4: cost 0 inf + 494 1553933551.989 * [simplify]: Simplified to (/ 1 (sqrt (+ x 1))) 1553933551.989 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ x 1))) (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553933551.990 * [simplify]: Simplifying (/ (- 1 x) (sqrt (+ 1 x))) 1553933551.990 * * [simplify]: iters left: 5 (6 enodes) 1553933551.991 * * [simplify]: iters left: 4 (26 enodes) 1553933551.995 * * [simplify]: iters left: 3 (37 enodes) 1553933552.000 * * [simplify]: iters left: 2 (41 enodes) 1553933552.006 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.006 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933552.006 * * [simplify]: Extracting #2: cost 16 inf + 0 1553933552.006 * * [simplify]: Extracting #3: cost 15 inf + 43 1553933552.006 * * [simplify]: Extracting #4: cost 11 inf + 210 1553933552.006 * * [simplify]: Extracting #5: cost 5 inf + 902 1553933552.007 * * [simplify]: Extracting #6: cost 0 inf + 1552 1553933552.007 * [simplify]: Simplified to (/ (- 1 x) (sqrt (+ x 1))) 1553933552.007 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ 1 (sqrt (+ 1 x))) (/ (- 1 x) (sqrt (+ x 1)))))))) 1553933552.007 * * * * [progress]: [ 33 / 101 ] simplifiying candidate # 1553933552.007 * [simplify]: Simplifying (/ 1 1) 1553933552.007 * * [simplify]: iters left: 2 (2 enodes) 1553933552.008 * * [simplify]: iters left: 1 (6 enodes) 1553933552.009 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.009 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.009 * [simplify]: Simplified to 1 1553933552.009 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553933552.009 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553933552.009 * * [simplify]: iters left: 4 (5 enodes) 1553933552.011 * * [simplify]: iters left: 3 (23 enodes) 1553933552.015 * * [simplify]: iters left: 2 (34 enodes) 1553933552.021 * * [simplify]: iters left: 1 (38 enodes) 1553933552.026 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.026 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933552.026 * * [simplify]: Extracting #2: cost 15 inf + 0 1553933552.026 * * [simplify]: Extracting #3: cost 14 inf + 2 1553933552.026 * * [simplify]: Extracting #4: cost 8 inf + 292 1553933552.026 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553933552.026 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553933552.027 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553933552.027 * * * * [progress]: [ 34 / 101 ] simplifiying candidate # 1553933552.027 * [simplify]: Simplifying (/ 1 1) 1553933552.027 * * [simplify]: iters left: 2 (2 enodes) 1553933552.028 * * [simplify]: iters left: 1 (6 enodes) 1553933552.029 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.029 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.029 * [simplify]: Simplified to 1 1553933552.029 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ 1 x))))))) 1553933552.029 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553933552.029 * * [simplify]: iters left: 4 (5 enodes) 1553933552.030 * * [simplify]: iters left: 3 (23 enodes) 1553933552.034 * * [simplify]: iters left: 2 (34 enodes) 1553933552.039 * * [simplify]: iters left: 1 (38 enodes) 1553933552.044 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.044 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933552.044 * * [simplify]: Extracting #2: cost 15 inf + 0 1553933552.044 * * [simplify]: Extracting #3: cost 14 inf + 2 1553933552.044 * * [simplify]: Extracting #4: cost 8 inf + 292 1553933552.044 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553933552.045 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553933552.045 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* 1 (/ (- 1 x) (+ x 1))))))) 1553933552.045 * * * * [progress]: [ 35 / 101 ] simplifiying candidate # 1553933552.045 * * * * [progress]: [ 36 / 101 ] simplifiying candidate # 1553933552.045 * * * * [progress]: [ 37 / 101 ] simplifiying candidate # 1553933552.045 * * * * [progress]: [ 38 / 101 ] simplifiying candidate # 1553933552.045 * [simplify]: Simplifying (cbrt (+ 1 x)) 1553933552.045 * * [simplify]: iters left: 3 (4 enodes) 1553933552.046 * * [simplify]: iters left: 2 (15 enodes) 1553933552.048 * * [simplify]: iters left: 1 (17 enodes) 1553933552.051 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.051 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.051 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.051 * * [simplify]: Extracting #3: cost 2 inf + 86 1553933552.051 * * [simplify]: Extracting #4: cost 1 inf + 208 1553933552.051 * * [simplify]: Extracting #5: cost 0 inf + 330 1553933552.051 * [simplify]: Simplified to (cbrt (+ x 1)) 1553933552.051 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (* (cbrt (+ 1 x)) (cbrt (+ 1 x)))) (cbrt (+ x 1))))))) 1553933552.051 * * * * [progress]: [ 39 / 101 ] simplifiying candidate # 1553933552.051 * [simplify]: Simplifying (sqrt (+ 1 x)) 1553933552.052 * * [simplify]: iters left: 3 (4 enodes) 1553933552.053 * * [simplify]: iters left: 2 (15 enodes) 1553933552.055 * * [simplify]: iters left: 1 (17 enodes) 1553933552.057 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.057 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.058 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.058 * * [simplify]: Extracting #3: cost 2 inf + 86 1553933552.058 * * [simplify]: Extracting #4: cost 1 inf + 168 1553933552.058 * * [simplify]: Extracting #5: cost 0 inf + 250 1553933552.058 * [simplify]: Simplified to (sqrt (+ x 1)) 1553933552.058 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) (sqrt (+ 1 x))) (sqrt (+ x 1))))))) 1553933552.058 * * * * [progress]: [ 40 / 101 ] simplifiying candidate # 1553933552.058 * [simplify]: Simplifying (+ 1 x) 1553933552.058 * * [simplify]: iters left: 2 (3 enodes) 1553933552.059 * * [simplify]: iters left: 1 (12 enodes) 1553933552.061 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.061 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.061 * * [simplify]: Extracting #2: cost 2 inf + 2 1553933552.061 * * [simplify]: Extracting #3: cost 0 inf + 86 1553933552.061 * [simplify]: Simplified to (+ x 1) 1553933552.061 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1553933552.061 * * * * [progress]: [ 41 / 101 ] simplifiying candidate # 1553933552.062 * [simplify]: Simplifying (+ 1 x) 1553933552.062 * * [simplify]: iters left: 2 (3 enodes) 1553933552.062 * * [simplify]: iters left: 1 (12 enodes) 1553933552.064 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.064 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.064 * * [simplify]: Extracting #2: cost 2 inf + 2 1553933552.064 * * [simplify]: Extracting #3: cost 0 inf + 86 1553933552.064 * [simplify]: Simplified to (+ x 1) 1553933552.065 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (/ (/ (- 1 x) 1) (+ x 1)))))) 1553933552.065 * * * * [progress]: [ 42 / 101 ] simplifiying candidate # 1553933552.065 * [simplify]: Simplifying (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553933552.065 * * [simplify]: iters left: 5 (5 enodes) 1553933552.066 * * [simplify]: iters left: 4 (19 enodes) 1553933552.069 * * [simplify]: iters left: 3 (24 enodes) 1553933552.072 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.072 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.072 * * [simplify]: Extracting #2: cost 5 inf + 0 1553933552.072 * * [simplify]: Extracting #3: cost 9 inf + 0 1553933552.073 * * [simplify]: Extracting #4: cost 7 inf + 43 1553933552.073 * * [simplify]: Extracting #5: cost 0 inf + 736 1553933552.073 * [simplify]: Simplified to (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1553933552.073 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (/ (+ 1 x) (cbrt (- 1 x)))))))) 1553933552.073 * * * * [progress]: [ 43 / 101 ] simplifiying candidate # 1553933552.073 * [simplify]: Simplifying (sqrt (- 1 x)) 1553933552.073 * * [simplify]: iters left: 3 (4 enodes) 1553933552.074 * * [simplify]: iters left: 2 (16 enodes) 1553933552.077 * * [simplify]: iters left: 1 (21 enodes) 1553933552.080 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.080 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.080 * * [simplify]: Extracting #2: cost 7 inf + 0 1553933552.080 * * [simplify]: Extracting #3: cost 5 inf + 43 1553933552.080 * * [simplify]: Extracting #4: cost 0 inf + 332 1553933552.080 * [simplify]: Simplified to (sqrt (- 1 x)) 1553933552.080 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (sqrt (- 1 x)) (/ (+ 1 x) (sqrt (- 1 x)))))))) 1553933552.080 * * * * [progress]: [ 44 / 101 ] simplifiying candidate # 1553933552.080 * * * * [progress]: [ 45 / 101 ] simplifiying candidate # 1553933552.080 * [simplify]: Simplifying (+ (sqrt 1) (sqrt x)) 1553933552.080 * * [simplify]: iters left: 3 (5 enodes) 1553933552.083 * * [simplify]: iters left: 2 (18 enodes) 1553933552.085 * * [simplify]: iters left: 1 (20 enodes) 1553933552.088 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.088 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.088 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933552.088 * * [simplify]: Extracting #3: cost 0 inf + 248 1553933552.088 * [simplify]: Simplified to (+ (sqrt x) 1) 1553933552.088 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (+ (sqrt x) 1) (/ (+ 1 x) (- (sqrt 1) (sqrt x)))))))) 1553933552.088 * * * * [progress]: [ 46 / 101 ] simplifiying candidate # 1553933552.088 * [simplify]: Simplifying (+ 1 (sqrt x)) 1553933552.088 * * [simplify]: iters left: 3 (4 enodes) 1553933552.089 * * [simplify]: iters left: 2 (15 enodes) 1553933552.092 * * [simplify]: iters left: 1 (17 enodes) 1553933552.094 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.094 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.094 * * [simplify]: Extracting #2: cost 5 inf + 1 1553933552.094 * * [simplify]: Extracting #3: cost 0 inf + 248 1553933552.094 * [simplify]: Simplified to (+ 1 (sqrt x)) 1553933552.094 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (+ 1 (sqrt x)) (/ (+ 1 x) (- 1 (sqrt x)))))))) 1553933552.094 * * * * [progress]: [ 47 / 101 ] simplifiying candidate # 1553933552.094 * * * * [progress]: [ 48 / 101 ] simplifiying candidate # 1553933552.095 * [simplify]: Simplifying (+ (* 1 1) (- (* x x) (* 1 x))) 1553933552.095 * * [simplify]: iters left: 6 (7 enodes) 1553933552.097 * * [simplify]: iters left: 5 (24 enodes) 1553933552.102 * * [simplify]: iters left: 4 (43 enodes) 1553933552.109 * * [simplify]: iters left: 3 (68 enodes) 1553933552.117 * * [simplify]: iters left: 2 (77 enodes) 1553933552.126 * * [simplify]: iters left: 1 (93 enodes) 1553933552.137 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.137 * * [simplify]: Extracting #1: cost 14 inf + 0 1553933552.137 * * [simplify]: Extracting #2: cost 13 inf + 413 1553933552.138 * * [simplify]: Extracting #3: cost 2 inf + 1188 1553933552.138 * * [simplify]: Extracting #4: cost 0 inf + 1351 1553933552.139 * [simplify]: Simplified to (+ (- (* x x) x) 1) 1553933552.139 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (+ (pow 1 3) (pow x 3))) (+ (- (* x x) x) 1)))))) 1553933552.139 * * * * [progress]: [ 49 / 101 ] simplifiying candidate # 1553933552.139 * [simplify]: Simplifying (- 1 x) 1553933552.139 * * [simplify]: iters left: 2 (3 enodes) 1553933552.140 * * [simplify]: iters left: 1 (13 enodes) 1553933552.142 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.142 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933552.142 * * [simplify]: Extracting #2: cost 3 inf + 43 1553933552.142 * * [simplify]: Extracting #3: cost 0 inf + 168 1553933552.143 * [simplify]: Simplified to (- 1 x) 1553933552.143 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (* 2 (atan (sqrt (* (/ (- 1 x) (- (* 1 1) (* x x))) (- 1 x)))))) 1553933552.143 * * * * [progress]: [ 50 / 101 ] simplifiying candidate # 1553933552.143 * [simplify]: Simplifying (- (pow 1 3) (pow x 3)) 1553933552.143 * * [simplify]: iters left: 3 (6 enodes) 1553933552.145 * * [simplify]: iters left: 2 (30 enodes) 1553933552.151 * * [simplify]: iters left: 1 (61 enodes) 1553933552.162 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.162 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933552.162 * * [simplify]: Extracting #2: cost 17 inf + 1 1553933552.163 * * [simplify]: Extracting #3: cost 24 inf + 44 1553933552.163 * * [simplify]: Extracting #4: cost 18 inf + 674 1553933552.163 * * [simplify]: Extracting #5: cost 6 inf + 2342 1553933552.163 * * [simplify]: Extracting #6: cost 2 inf + 3048 1553933552.164 * * [simplify]: Extracting #7: cost 0 inf + 4054 1553933552.164 * [simplify]: Simplified to (- 1 (* (* x x) x)) 1553933552.164 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* (* x x) x)) (* (+ 1 x) (+ (* 1 1) (+ (* x x) (* 1 x))))))))) 1553933552.164 * * * * [progress]: [ 51 / 101 ] simplifiying candidate # 1553933552.165 * [simplify]: Simplifying (- (* 1 1) (* x x)) 1553933552.165 * * [simplify]: iters left: 4 (5 enodes) 1553933552.166 * * [simplify]: iters left: 3 (17 enodes) 1553933552.169 * * [simplify]: iters left: 2 (26 enodes) 1553933552.174 * * [simplify]: iters left: 1 (28 enodes) 1553933552.178 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.178 * * [simplify]: Extracting #1: cost 5 inf + 0 1553933552.178 * * [simplify]: Extracting #2: cost 8 inf + 1 1553933552.178 * * [simplify]: Extracting #3: cost 2 inf + 410 1553933552.178 * * [simplify]: Extracting #4: cost 0 inf + 492 1553933552.178 * [simplify]: Simplified to (- 1 (* x x)) 1553933552.178 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (* 2 (atan (sqrt (/ (- 1 (* x x)) (* (+ 1 x) (+ 1 x))))))) 1553933552.179 * * * * [progress]: [ 52 / 101 ] simplifiying candidate #real (real->posit16 (/ (- 1 x) (+ 1 x))))))))> 1553933552.179 * * * * [progress]: [ 53 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 54 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 55 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 56 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 57 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 58 / 101 ] simplifiying candidate # 1553933552.179 * * * * [progress]: [ 59 / 101 ] simplifiying candidate # 1553933552.179 * [simplify]: Simplifying (sqrt (* (cbrt (/ (- 1 x) (+ 1 x))) (cbrt (/ (- 1 x) (+ 1 x))))) 1553933552.179 * * [simplify]: iters left: 6 (8 enodes) 1553933552.181 * * [simplify]: iters left: 5 (33 enodes) 1553933552.186 * * [simplify]: iters left: 4 (44 enodes) 1553933552.192 * * [simplify]: iters left: 3 (48 enodes) 1553933552.198 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.198 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.198 * * [simplify]: Extracting #2: cost 7 inf + 0 1553933552.198 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933552.198 * * [simplify]: Extracting #4: cost 21 inf + 0 1553933552.198 * * [simplify]: Extracting #5: cost 20 inf + 2 1553933552.199 * * [simplify]: Extracting #6: cost 13 inf + 375 1553933552.199 * * [simplify]: Extracting #7: cost 2 inf + 1956 1553933552.199 * * [simplify]: Extracting #8: cost 0 inf + 2440 1553933552.200 * [simplify]: Simplified to (fabs (cbrt (/ (- 1 x) (+ x 1)))) 1553933552.200 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (/ (- 1 x) (+ x 1)))) (sqrt (cbrt (/ (- 1 x) (+ 1 x)))))))) 1553933552.200 * * * * [progress]: [ 60 / 101 ] simplifiying candidate # 1553933552.200 * [simplify]: Simplifying (sqrt (sqrt (/ (- 1 x) (+ 1 x)))) 1553933552.200 * * [simplify]: iters left: 6 (7 enodes) 1553933552.202 * * [simplify]: iters left: 5 (29 enodes) 1553933552.207 * * [simplify]: iters left: 4 (40 enodes) 1553933552.212 * * [simplify]: iters left: 3 (44 enodes) 1553933552.223 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.223 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.223 * * [simplify]: Extracting #2: cost 5 inf + 0 1553933552.223 * * [simplify]: Extracting #3: cost 11 inf + 0 1553933552.223 * * [simplify]: Extracting #4: cost 19 inf + 0 1553933552.224 * * [simplify]: Extracting #5: cost 18 inf + 2 1553933552.224 * * [simplify]: Extracting #6: cost 11 inf + 374 1553933552.224 * * [simplify]: Extracting #7: cost 3 inf + 1270 1553933552.225 * * [simplify]: Extracting #8: cost 0 inf + 1796 1553933552.226 * [simplify]: Simplified to (sqrt (sqrt (/ (- 1 x) (+ x 1)))) 1553933552.226 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (/ (- 1 x) (+ x 1)))) (sqrt (sqrt (/ (- 1 x) (+ 1 x)))))))) 1553933552.226 * * * * [progress]: [ 61 / 101 ] simplifiying candidate # 1553933552.226 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.226 * * [simplify]: iters left: 6 (10 enodes) 1553933552.231 * * [simplify]: iters left: 5 (41 enodes) 1553933552.244 * * [simplify]: iters left: 4 (62 enodes) 1553933552.261 * * [simplify]: iters left: 3 (69 enodes) 1553933552.279 * * [simplify]: iters left: 2 (72 enodes) 1553933552.299 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.299 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.299 * * [simplify]: Extracting #2: cost 14 inf + 0 1553933552.299 * * [simplify]: Extracting #3: cost 24 inf + 0 1553933552.300 * * [simplify]: Extracting #4: cost 29 inf + 0 1553933552.300 * * [simplify]: Extracting #5: cost 26 inf + 86 1553933552.300 * * [simplify]: Extracting #6: cost 10 inf + 2796 1553933552.302 * * [simplify]: Extracting #7: cost 1 inf + 5454 1553933552.304 * * [simplify]: Extracting #8: cost 0 inf + 5736 1553933552.305 * [simplify]: Simplified to (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) 1553933552.305 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (/ (cbrt (- 1 x)) (cbrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553933552.306 * * * * [progress]: [ 62 / 101 ] simplifiying candidate # 1553933552.306 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ 1 x)))) 1553933552.306 * * [simplify]: iters left: 6 (9 enodes) 1553933552.310 * * [simplify]: iters left: 5 (34 enodes) 1553933552.320 * * [simplify]: iters left: 4 (43 enodes) 1553933552.332 * * [simplify]: iters left: 3 (46 enodes) 1553933552.344 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.344 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.344 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.344 * * [simplify]: Extracting #3: cost 16 inf + 0 1553933552.345 * * [simplify]: Extracting #4: cost 21 inf + 0 1553933552.345 * * [simplify]: Extracting #5: cost 19 inf + 43 1553933552.345 * * [simplify]: Extracting #6: cost 15 inf + 290 1553933552.345 * * [simplify]: Extracting #7: cost 6 inf + 1508 1553933552.346 * * [simplify]: Extracting #8: cost 0 inf + 3160 1553933552.347 * [simplify]: Simplified to (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ x 1)))) 1553933552.347 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) (sqrt (+ x 1)))) (sqrt (/ (cbrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553933552.347 * * * * [progress]: [ 63 / 101 ] simplifiying candidate # 1553933552.348 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1553933552.348 * * [simplify]: iters left: 6 (7 enodes) 1553933552.351 * * [simplify]: iters left: 5 (25 enodes) 1553933552.360 * * [simplify]: iters left: 4 (39 enodes) 1553933552.370 * * [simplify]: iters left: 3 (40 enodes) 1553933552.380 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.380 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.380 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.380 * * [simplify]: Extracting #3: cost 12 inf + 1 1553933552.380 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933552.381 * * [simplify]: Extracting #5: cost 5 inf + 614 1553933552.381 * * [simplify]: Extracting #6: cost 1 inf + 1222 1553933552.381 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553933552.382 * [simplify]: Simplified to (fabs (cbrt (- 1 x))) 1553933552.382 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553933552.382 * * * * [progress]: [ 64 / 101 ] simplifiying candidate # 1553933552.382 * [simplify]: Simplifying (sqrt (/ (* (cbrt (- 1 x)) (cbrt (- 1 x))) 1)) 1553933552.383 * * [simplify]: iters left: 6 (7 enodes) 1553933552.386 * * [simplify]: iters left: 5 (25 enodes) 1553933552.394 * * [simplify]: iters left: 4 (39 enodes) 1553933552.404 * * [simplify]: iters left: 3 (40 enodes) 1553933552.409 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.409 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933552.409 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.409 * * [simplify]: Extracting #3: cost 12 inf + 1 1553933552.409 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933552.410 * * [simplify]: Extracting #5: cost 5 inf + 614 1553933552.410 * * [simplify]: Extracting #6: cost 1 inf + 1222 1553933552.410 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553933552.410 * [simplify]: Simplified to (fabs (cbrt (- 1 x))) 1553933552.410 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (fabs (cbrt (- 1 x))) (sqrt (/ (cbrt (- 1 x)) (+ 1 x))))))) 1553933552.410 * * * * [progress]: [ 65 / 101 ] simplifiying candidate # 1553933552.411 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.411 * * [simplify]: iters left: 6 (9 enodes) 1553933552.413 * * [simplify]: iters left: 5 (34 enodes) 1553933552.418 * * [simplify]: iters left: 4 (41 enodes) 1553933552.425 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.425 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.425 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933552.425 * * [simplify]: Extracting #3: cost 14 inf + 0 1553933552.425 * * [simplify]: Extracting #4: cost 19 inf + 0 1553933552.425 * * [simplify]: Extracting #5: cost 17 inf + 43 1553933552.425 * * [simplify]: Extracting #6: cost 10 inf + 656 1553933552.426 * * [simplify]: Extracting #7: cost 3 inf + 1750 1553933552.426 * * [simplify]: Extracting #8: cost 0 inf + 2676 1553933552.426 * [simplify]: Simplified to (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1553933552.426 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (sqrt (- 1 x)) (cbrt (+ 1 x)))))))) 1553933552.426 * * * * [progress]: [ 66 / 101 ] simplifiying candidate # 1553933552.427 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))) 1553933552.427 * * [simplify]: iters left: 6 (8 enodes) 1553933552.429 * * [simplify]: iters left: 5 (29 enodes) 1553933552.433 * * [simplify]: iters left: 4 (34 enodes) 1553933552.443 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.443 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.443 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.443 * * [simplify]: Extracting #3: cost 10 inf + 0 1553933552.443 * * [simplify]: Extracting #4: cost 15 inf + 0 1553933552.443 * * [simplify]: Extracting #5: cost 14 inf + 2 1553933552.443 * * [simplify]: Extracting #6: cost 6 inf + 416 1553933552.444 * * [simplify]: Extracting #7: cost 0 inf + 1468 1553933552.444 * [simplify]: Simplified to (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) 1553933552.444 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (sqrt (- 1 x)) (sqrt (+ x 1)))) (sqrt (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))))) 1553933552.444 * * * * [progress]: [ 67 / 101 ] simplifiying candidate # 1553933552.445 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1553933552.445 * * [simplify]: iters left: 6 (6 enodes) 1553933552.448 * * [simplify]: iters left: 5 (20 enodes) 1553933552.454 * * [simplify]: iters left: 4 (25 enodes) 1553933552.461 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.461 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.461 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.461 * * [simplify]: Extracting #3: cost 8 inf + 1 1553933552.461 * * [simplify]: Extracting #4: cost 7 inf + 43 1553933552.461 * * [simplify]: Extracting #5: cost 1 inf + 454 1553933552.462 * * [simplify]: Extracting #6: cost 0 inf + 576 1553933552.462 * [simplify]: Simplified to (sqrt (sqrt (- 1 x))) 1553933552.462 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553933552.462 * * * * [progress]: [ 68 / 101 ] simplifiying candidate # 1553933552.462 * [simplify]: Simplifying (sqrt (/ (sqrt (- 1 x)) 1)) 1553933552.463 * * [simplify]: iters left: 6 (6 enodes) 1553933552.466 * * [simplify]: iters left: 5 (20 enodes) 1553933552.472 * * [simplify]: iters left: 4 (25 enodes) 1553933552.479 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.479 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.479 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.479 * * [simplify]: Extracting #3: cost 8 inf + 1 1553933552.479 * * [simplify]: Extracting #4: cost 7 inf + 43 1553933552.480 * * [simplify]: Extracting #5: cost 1 inf + 454 1553933552.480 * * [simplify]: Extracting #6: cost 0 inf + 576 1553933552.480 * [simplify]: Simplified to (sqrt (sqrt (- 1 x))) 1553933552.480 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (sqrt (- 1 x))) (sqrt (/ (sqrt (- 1 x)) (+ 1 x))))))) 1553933552.480 * * * * [progress]: [ 69 / 101 ] simplifiying candidate # 1553933552.481 * [simplify]: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.481 * * [simplify]: iters left: 6 (7 enodes) 1553933552.484 * * [simplify]: iters left: 5 (26 enodes) 1553933552.493 * * [simplify]: iters left: 4 (30 enodes) 1553933552.501 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.501 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.501 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933552.501 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933552.501 * * [simplify]: Extracting #4: cost 13 inf + 1 1553933552.501 * * [simplify]: Extracting #5: cost 12 inf + 2 1553933552.501 * * [simplify]: Extracting #6: cost 6 inf + 654 1553933552.502 * * [simplify]: Extracting #7: cost 4 inf + 1018 1553933552.502 * * [simplify]: Extracting #8: cost 1 inf + 1624 1553933552.503 * * [simplify]: Extracting #9: cost 0 inf + 1866 1553933552.503 * [simplify]: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1553933552.503 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553933552.503 * * * * [progress]: [ 70 / 101 ] simplifiying candidate # 1553933552.504 * [simplify]: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1553933552.504 * * [simplify]: iters left: 6 (6 enodes) 1553933552.507 * * [simplify]: iters left: 5 (21 enodes) 1553933552.511 * * [simplify]: iters left: 4 (23 enodes) 1553933552.515 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.515 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.515 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.515 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.515 * * [simplify]: Extracting #4: cost 9 inf + 1 1553933552.515 * * [simplify]: Extracting #5: cost 8 inf + 2 1553933552.515 * * [simplify]: Extracting #6: cost 1 inf + 656 1553933552.515 * * [simplify]: Extracting #7: cost 0 inf + 818 1553933552.515 * [simplify]: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1553933552.515 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553933552.515 * * * * [progress]: [ 71 / 101 ] simplifiying candidate # 1553933552.515 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553933552.516 * * [simplify]: iters left: 3 (3 enodes) 1553933552.517 * * [simplify]: iters left: 2 (9 enodes) 1553933552.519 * * [simplify]: iters left: 1 (11 enodes) 1553933552.520 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.520 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.520 * [simplify]: Simplified to 1 1553933552.520 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553933552.520 * * * * [progress]: [ 72 / 101 ] simplifiying candidate # 1553933552.521 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553933552.521 * * [simplify]: iters left: 3 (3 enodes) 1553933552.522 * * [simplify]: iters left: 2 (9 enodes) 1553933552.524 * * [simplify]: iters left: 1 (11 enodes) 1553933552.525 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.525 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.525 * [simplify]: Simplified to 1 1553933552.525 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553933552.525 * * * * [progress]: [ 73 / 101 ] simplifiying candidate # 1553933552.525 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.526 * * [simplify]: iters left: 6 (10 enodes) 1553933552.528 * * [simplify]: iters left: 5 (36 enodes) 1553933552.533 * * [simplify]: iters left: 4 (40 enodes) 1553933552.540 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.540 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.540 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933552.540 * * [simplify]: Extracting #3: cost 15 inf + 0 1553933552.540 * * [simplify]: Extracting #4: cost 17 inf + 1 1553933552.540 * * [simplify]: Extracting #5: cost 13 inf + 127 1553933552.541 * * [simplify]: Extracting #6: cost 4 inf + 1384 1553933552.541 * * [simplify]: Extracting #7: cost 0 inf + 2592 1553933552.544 * [simplify]: Simplified to (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.544 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt x) 1) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) (sqrt (/ (- (sqrt 1) (sqrt x)) (cbrt (+ 1 x)))))))) 1553933552.544 * * * * [progress]: [ 74 / 101 ] simplifiying candidate # 1553933552.545 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))) 1553933552.545 * * [simplify]: iters left: 6 (9 enodes) 1553933552.549 * * [simplify]: iters left: 5 (31 enodes) 1553933552.556 * * [simplify]: iters left: 4 (33 enodes) 1553933552.560 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.560 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.560 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.560 * * [simplify]: Extracting #3: cost 11 inf + 0 1553933552.560 * * [simplify]: Extracting #4: cost 13 inf + 1 1553933552.560 * * [simplify]: Extracting #5: cost 9 inf + 126 1553933552.560 * * [simplify]: Extracting #6: cost 5 inf + 534 1553933552.561 * * [simplify]: Extracting #7: cost 0 inf + 1384 1553933552.561 * [simplify]: Simplified to (sqrt (/ (+ (sqrt x) 1) (sqrt (+ 1 x)))) 1553933552.561 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ (sqrt x) 1) (sqrt (+ 1 x)))) (sqrt (/ (- (sqrt 1) (sqrt x)) (sqrt (+ 1 x)))))))) 1553933552.561 * * * * [progress]: [ 75 / 101 ] simplifiying candidate # 1553933552.561 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) 1553933552.561 * * [simplify]: iters left: 6 (7 enodes) 1553933552.564 * * [simplify]: iters left: 5 (22 enodes) 1553933552.568 * * [simplify]: iters left: 4 (24 enodes) 1553933552.571 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.571 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.571 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.571 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.571 * * [simplify]: Extracting #4: cost 1 inf + 370 1553933552.572 * * [simplify]: Extracting #5: cost 0 inf + 492 1553933552.572 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553933552.572 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ (sqrt x) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553933552.572 * * * * [progress]: [ 76 / 101 ] simplifiying candidate # 1553933552.572 * [simplify]: Simplifying (sqrt (/ (+ (sqrt 1) (sqrt x)) 1)) 1553933552.572 * * [simplify]: iters left: 6 (7 enodes) 1553933552.575 * * [simplify]: iters left: 5 (22 enodes) 1553933552.578 * * [simplify]: iters left: 4 (24 enodes) 1553933552.581 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.581 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.581 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.581 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.581 * * [simplify]: Extracting #4: cost 1 inf + 370 1553933552.581 * * [simplify]: Extracting #5: cost 0 inf + 492 1553933552.582 * [simplify]: Simplified to (sqrt (+ (sqrt x) 1)) 1553933552.582 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ (sqrt x) 1)) (sqrt (/ (- (sqrt 1) (sqrt x)) (+ 1 x))))))) 1553933552.582 * * * * [progress]: [ 77 / 101 ] simplifiying candidate # 1553933552.582 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.582 * * [simplify]: iters left: 6 (9 enodes) 1553933552.586 * * [simplify]: iters left: 5 (33 enodes) 1553933552.595 * * [simplify]: iters left: 4 (37 enodes) 1553933552.605 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.605 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.605 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933552.605 * * [simplify]: Extracting #3: cost 15 inf + 0 1553933552.605 * * [simplify]: Extracting #4: cost 17 inf + 1 1553933552.606 * * [simplify]: Extracting #5: cost 16 inf + 2 1553933552.606 * * [simplify]: Extracting #6: cost 10 inf + 572 1553933552.606 * * [simplify]: Extracting #7: cost 3 inf + 1666 1553933552.607 * * [simplify]: Extracting #8: cost 0 inf + 2592 1553933552.608 * [simplify]: Simplified to (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) 1553933552.608 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (* (cbrt (+ x 1)) (cbrt (+ x 1))))) (sqrt (/ (- 1 (sqrt x)) (cbrt (+ 1 x)))))))) 1553933552.608 * * * * [progress]: [ 78 / 101 ] simplifiying candidate # 1553933552.608 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ 1 x)))) 1553933552.608 * * [simplify]: iters left: 6 (8 enodes) 1553933552.612 * * [simplify]: iters left: 5 (28 enodes) 1553933552.620 * * [simplify]: iters left: 4 (30 enodes) 1553933552.628 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.628 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.628 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.628 * * [simplify]: Extracting #3: cost 11 inf + 0 1553933552.628 * * [simplify]: Extracting #4: cost 13 inf + 1 1553933552.628 * * [simplify]: Extracting #5: cost 12 inf + 2 1553933552.628 * * [simplify]: Extracting #6: cost 6 inf + 332 1553933552.629 * * [simplify]: Extracting #7: cost 1 inf + 1142 1553933552.629 * * [simplify]: Extracting #8: cost 0 inf + 1384 1553933552.629 * [simplify]: Simplified to (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ x 1)))) 1553933552.630 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (+ 1 (sqrt x)) (sqrt (+ x 1)))) (sqrt (/ (- 1 (sqrt x)) (sqrt (+ 1 x)))))))) 1553933552.630 * * * * [progress]: [ 79 / 101 ] simplifiying candidate # 1553933552.630 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) 1)) 1553933552.630 * * [simplify]: iters left: 6 (6 enodes) 1553933552.633 * * [simplify]: iters left: 5 (19 enodes) 1553933552.639 * * [simplify]: iters left: 4 (21 enodes) 1553933552.644 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.644 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.645 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.645 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.645 * * [simplify]: Extracting #4: cost 0 inf + 492 1553933552.645 * [simplify]: Simplified to (sqrt (+ 1 (sqrt x))) 1553933552.645 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ 1 (sqrt x))) (sqrt (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933552.645 * * * * [progress]: [ 80 / 101 ] simplifiying candidate # 1553933552.645 * [simplify]: Simplifying (sqrt (/ (+ 1 (sqrt x)) 1)) 1553933552.646 * * [simplify]: iters left: 6 (6 enodes) 1553933552.648 * * [simplify]: iters left: 5 (19 enodes) 1553933552.654 * * [simplify]: iters left: 4 (21 enodes) 1553933552.660 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.660 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.660 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.660 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.660 * * [simplify]: Extracting #4: cost 0 inf + 492 1553933552.661 * [simplify]: Simplified to (sqrt (+ 1 (sqrt x))) 1553933552.661 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (+ 1 (sqrt x))) (sqrt (/ (- 1 (sqrt x)) (+ 1 x))))))) 1553933552.661 * * * * [progress]: [ 81 / 101 ] simplifiying candidate # 1553933552.661 * [simplify]: Simplifying (sqrt (/ 1 (* (cbrt (+ 1 x)) (cbrt (+ 1 x))))) 1553933552.661 * * [simplify]: iters left: 6 (7 enodes) 1553933552.665 * * [simplify]: iters left: 5 (26 enodes) 1553933552.672 * * [simplify]: iters left: 4 (30 enodes) 1553933552.682 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.682 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.683 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933552.683 * * [simplify]: Extracting #3: cost 11 inf + 1 1553933552.683 * * [simplify]: Extracting #4: cost 13 inf + 1 1553933552.683 * * [simplify]: Extracting #5: cost 12 inf + 2 1553933552.683 * * [simplify]: Extracting #6: cost 6 inf + 654 1553933552.683 * * [simplify]: Extracting #7: cost 4 inf + 1018 1553933552.684 * * [simplify]: Extracting #8: cost 1 inf + 1624 1553933552.684 * * [simplify]: Extracting #9: cost 0 inf + 1866 1553933552.685 * [simplify]: Simplified to (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) 1553933552.685 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (/ 1 (cbrt (+ x 1))) (cbrt (+ x 1)))) (sqrt (/ (- 1 x) (cbrt (+ 1 x)))))))) 1553933552.685 * * * * [progress]: [ 82 / 101 ] simplifiying candidate # 1553933552.685 * [simplify]: Simplifying (sqrt (/ 1 (sqrt (+ 1 x)))) 1553933552.685 * * [simplify]: iters left: 6 (6 enodes) 1553933552.688 * * [simplify]: iters left: 5 (21 enodes) 1553933552.694 * * [simplify]: iters left: 4 (23 enodes) 1553933552.701 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.701 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.701 * * [simplify]: Extracting #2: cost 6 inf + 0 1553933552.701 * * [simplify]: Extracting #3: cost 7 inf + 1 1553933552.701 * * [simplify]: Extracting #4: cost 9 inf + 1 1553933552.701 * * [simplify]: Extracting #5: cost 8 inf + 2 1553933552.701 * * [simplify]: Extracting #6: cost 1 inf + 656 1553933552.701 * * [simplify]: Extracting #7: cost 0 inf + 818 1553933552.701 * [simplify]: Simplified to (sqrt (/ 1 (sqrt (+ x 1)))) 1553933552.702 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ 1 (sqrt (+ x 1)))) (sqrt (/ (- 1 x) (sqrt (+ 1 x)))))))) 1553933552.702 * * * * [progress]: [ 83 / 101 ] simplifiying candidate # 1553933552.702 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553933552.702 * * [simplify]: iters left: 3 (3 enodes) 1553933552.704 * * [simplify]: iters left: 2 (9 enodes) 1553933552.705 * * [simplify]: iters left: 1 (11 enodes) 1553933552.707 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.707 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.707 * [simplify]: Simplified to 1 1553933552.707 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553933552.707 * * * * [progress]: [ 84 / 101 ] simplifiying candidate # 1553933552.707 * [simplify]: Simplifying (sqrt (/ 1 1)) 1553933552.707 * * [simplify]: iters left: 3 (3 enodes) 1553933552.709 * * [simplify]: iters left: 2 (9 enodes) 1553933552.710 * * [simplify]: iters left: 1 (11 enodes) 1553933552.712 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.712 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.712 * [simplify]: Simplified to 1 1553933552.712 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553933552.712 * * * * [progress]: [ 85 / 101 ] simplifiying candidate # 1553933552.712 * [simplify]: Simplifying (sqrt 1) 1553933552.712 * * [simplify]: iters left: 1 (2 enodes) 1553933552.714 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.714 * * [simplify]: Extracting #1: cost 0 inf + 1 1553933552.714 * [simplify]: Simplified to 1 1553933552.714 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* 1 (sqrt (/ (- 1 x) (+ 1 x))))))) 1553933552.714 * * * * [progress]: [ 86 / 101 ] simplifiying candidate # 1553933552.714 * [simplify]: Simplifying (sqrt (- 1 x)) 1553933552.714 * * [simplify]: iters left: 3 (4 enodes) 1553933552.715 * * [simplify]: iters left: 2 (16 enodes) 1553933552.717 * * [simplify]: iters left: 1 (21 enodes) 1553933552.720 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.720 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.720 * * [simplify]: Extracting #2: cost 7 inf + 0 1553933552.720 * * [simplify]: Extracting #3: cost 5 inf + 43 1553933552.721 * * [simplify]: Extracting #4: cost 0 inf + 332 1553933552.721 * [simplify]: Simplified to (sqrt (- 1 x)) 1553933552.721 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (- 1 x)) (sqrt (/ 1 (+ 1 x))))))) 1553933552.721 * * * * [progress]: [ 87 / 101 ] simplifiying candidate # 1553933552.721 * [simplify]: Simplifying (sqrt (/ (- 1 x) (+ (pow 1 3) (pow x 3)))) 1553933552.721 * * [simplify]: iters left: 6 (9 enodes) 1553933552.727 * * [simplify]: iters left: 5 (43 enodes) 1553933552.743 * * [simplify]: iters left: 4 (70 enodes) 1553933552.758 * * [simplify]: iters left: 3 (100 enodes) 1553933552.773 * * [simplify]: iters left: 2 (141 enodes) 1553933552.812 * * [simplify]: iters left: 1 (235 enodes) 1553933552.871 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.871 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.871 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.871 * * [simplify]: Extracting #3: cost 18 inf + 0 1553933552.871 * * [simplify]: Extracting #4: cost 33 inf + 2 1553933552.872 * * [simplify]: Extracting #5: cost 69 inf + 292 1553933552.872 * * [simplify]: Extracting #6: cost 60 inf + 2812 1553933552.873 * * [simplify]: Extracting #7: cost 38 inf + 11199 1553933552.876 * * [simplify]: Extracting #8: cost 1 inf + 30315 1553933552.879 * * [simplify]: Extracting #9: cost 0 inf + 30487 1553933552.883 * [simplify]: Simplified to (sqrt (/ (- 1 x) (+ (* (* x x) x) 1))) 1553933552.883 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (+ (* (* x x) x) 1))) (sqrt (+ (* 1 1) (- (* x x) (* 1 x)))))))) 1553933552.883 * * * * [progress]: [ 88 / 101 ] simplifiying candidate # 1553933552.883 * [simplify]: Simplifying (sqrt (/ (- 1 x) (- (* 1 1) (* x x)))) 1553933552.883 * * [simplify]: iters left: 6 (8 enodes) 1553933552.888 * * [simplify]: iters left: 5 (31 enodes) 1553933552.897 * * [simplify]: iters left: 4 (48 enodes) 1553933552.909 * * [simplify]: iters left: 3 (52 enodes) 1553933552.922 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.922 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.922 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.922 * * [simplify]: Extracting #3: cost 19 inf + 0 1553933552.922 * * [simplify]: Extracting #4: cost 18 inf + 124 1553933552.922 * * [simplify]: Extracting #5: cost 10 inf + 616 1553933552.922 * * [simplify]: Extracting #6: cost 2 inf + 1752 1553933552.923 * * [simplify]: Extracting #7: cost 0 inf + 2116 1553933552.923 * [simplify]: Simplified to (sqrt (/ (- 1 x) (- 1 (* x x)))) 1553933552.923 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (* (sqrt (/ (- 1 x) (- 1 (* x x)))) (sqrt (- 1 x)))))) 1553933552.923 * * * * [progress]: [ 89 / 101 ] simplifiying candidate # 1553933552.923 * [simplify]: Simplifying (sqrt (- 1 x)) 1553933552.924 * * [simplify]: iters left: 3 (4 enodes) 1553933552.925 * * [simplify]: iters left: 2 (16 enodes) 1553933552.927 * * [simplify]: iters left: 1 (21 enodes) 1553933552.930 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.930 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.930 * * [simplify]: Extracting #2: cost 7 inf + 0 1553933552.930 * * [simplify]: Extracting #3: cost 5 inf + 43 1553933552.930 * * [simplify]: Extracting #4: cost 0 inf + 332 1553933552.930 * [simplify]: Simplified to (sqrt (- 1 x)) 1553933552.930 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (/ (sqrt (- 1 x)) (sqrt (+ 1 x)))))) 1553933552.930 * * * * [progress]: [ 90 / 101 ] simplifiying candidate # 1553933552.931 * [simplify]: Simplifying (/ (- 1 x) (+ 1 x)) 1553933552.931 * * [simplify]: iters left: 4 (5 enodes) 1553933552.932 * * [simplify]: iters left: 3 (23 enodes) 1553933552.936 * * [simplify]: iters left: 2 (34 enodes) 1553933552.941 * * [simplify]: iters left: 1 (38 enodes) 1553933552.946 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.946 * * [simplify]: Extracting #1: cost 7 inf + 0 1553933552.946 * * [simplify]: Extracting #2: cost 15 inf + 0 1553933552.946 * * [simplify]: Extracting #3: cost 14 inf + 2 1553933552.946 * * [simplify]: Extracting #4: cost 8 inf + 292 1553933552.946 * * [simplify]: Extracting #5: cost 0 inf + 1068 1553933552.947 * [simplify]: Simplified to (/ (- 1 x) (+ x 1)) 1553933552.947 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (pow (/ (- 1 x) (+ x 1)) (/ 1 2))))) 1553933552.947 * * * * [progress]: [ 91 / 101 ] simplifiying candidate # 1553933552.947 * * * * [progress]: [ 92 / 101 ] simplifiying candidate # 1553933552.947 * [simplify]: Simplifying (sqrt (/ (- 1 x) (+ 1 x))) 1553933552.947 * * [simplify]: iters left: 5 (6 enodes) 1553933552.949 * * [simplify]: iters left: 4 (26 enodes) 1553933552.956 * * [simplify]: iters left: 3 (37 enodes) 1553933552.966 * * [simplify]: iters left: 2 (41 enodes) 1553933552.977 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933552.977 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933552.977 * * [simplify]: Extracting #2: cost 9 inf + 0 1553933552.977 * * [simplify]: Extracting #3: cost 17 inf + 0 1553933552.977 * * [simplify]: Extracting #4: cost 15 inf + 43 1553933552.977 * * [simplify]: Extracting #5: cost 9 inf + 414 1553933552.978 * * [simplify]: Extracting #6: cost 3 inf + 1026 1553933552.981 * * [simplify]: Extracting #7: cost 0 inf + 1392 1553933552.981 * [simplify]: Simplified to (sqrt (/ (- 1 x) (+ x 1))) 1553933552.981 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (sqrt (/ (- 1 x) (+ x 1))))))) 1553933552.981 * * * * [progress]: [ 93 / 101 ] simplifiying candidate # 1553933552.982 * [simplify]: Simplifying (/ (sqrt (- 1 x)) (sqrt (+ 1 x))) 1553933552.982 * * [simplify]: iters left: 5 (7 enodes) 1553933552.985 * * [simplify]: iters left: 4 (26 enodes) 1553933552.993 * * [simplify]: iters left: 3 (31 enodes) 1553933553.001 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.001 * * [simplify]: Extracting #1: cost 4 inf + 0 1553933553.001 * * [simplify]: Extracting #2: cost 8 inf + 0 1553933553.001 * * [simplify]: Extracting #3: cost 13 inf + 0 1553933553.001 * * [simplify]: Extracting #4: cost 11 inf + 43 1553933553.002 * * [simplify]: Extracting #5: cost 4 inf + 456 1553933553.002 * * [simplify]: Extracting #6: cost 1 inf + 782 1553933553.002 * * [simplify]: Extracting #7: cost 0 inf + 984 1553933553.003 * [simplify]: Simplified to (/ (sqrt (- 1 x)) (sqrt (+ x 1))) 1553933553.003 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (fabs (/ (sqrt (- 1 x)) (sqrt (+ x 1))))))) 1553933553.003 * * * * [progress]: [ 94 / 101 ] simplifiying candidate # 1553933553.003 * * * * [progress]: [ 95 / 101 ] simplifiying candidate #real (real->posit16 (sqrt (/ (- 1 x) (+ 1 x))))))))> 1553933553.003 * * * * [progress]: [ 96 / 101 ] simplifiying candidate # 1553933553.003 * [simplify]: Simplifying (- (+ (* 2 (pow x 2)) 1) (* 2 x)) 1553933553.003 * * [simplify]: iters left: 6 (8 enodes) 1553933553.008 * * [simplify]: iters left: 5 (37 enodes) 1553933553.021 * * [simplify]: iters left: 4 (60 enodes) 1553933553.038 * * [simplify]: iters left: 3 (79 enodes) 1553933553.061 * * [simplify]: iters left: 2 (99 enodes) 1553933553.088 * * [simplify]: iters left: 1 (122 enodes) 1553933553.114 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.114 * * [simplify]: Extracting #1: cost 16 inf + 0 1553933553.115 * * [simplify]: Extracting #2: cost 34 inf + 1 1553933553.116 * * [simplify]: Extracting #3: cost 37 inf + 45 1553933553.116 * * [simplify]: Extracting #4: cost 8 inf + 2821 1553933553.117 * * [simplify]: Extracting #5: cost 0 inf + 3478 1553933553.118 * * [simplify]: Extracting #6: cost 0 inf + 3438 1553933553.119 * [simplify]: Simplified to (+ (* (- (* 2 x) 2) x) 1) 1553933553.119 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (+ (* (- (* 2 x) 2) x) 1))))) 1553933553.119 * * * * [progress]: [ 97 / 101 ] simplifiying candidate # 1553933553.120 * [simplify]: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553933553.120 * * [simplify]: iters left: 6 (10 enodes) 1553933553.124 * * [simplify]: iters left: 5 (46 enodes) 1553933553.132 * * [simplify]: iters left: 4 (68 enodes) 1553933553.146 * * [simplify]: iters left: 3 (96 enodes) 1553933553.173 * * [simplify]: iters left: 2 (125 enodes) 1553933553.204 * * [simplify]: iters left: 1 (150 enodes) 1553933553.250 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.250 * * [simplify]: Extracting #1: cost 13 inf + 0 1553933553.250 * * [simplify]: Extracting #2: cost 37 inf + 2 1553933553.251 * * [simplify]: Extracting #3: cost 33 inf + 463 1553933553.252 * * [simplify]: Extracting #4: cost 10 inf + 2475 1553933553.254 * * [simplify]: Extracting #5: cost 0 inf + 3578 1553933553.256 * [simplify]: Simplified to (- (+ -1 (/ 2 x)) (/ (/ 2 x) x)) 1553933553.256 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ -1 (/ 2 x)) (/ (/ 2 x) x)))))) 1553933553.256 * * * * [progress]: [ 98 / 101 ] simplifiying candidate # 1553933553.257 * [simplify]: Simplifying (- (* 2 (/ 1 x)) (+ (* 2 (/ 1 (pow x 2))) 1)) 1553933553.257 * * [simplify]: iters left: 6 (10 enodes) 1553933553.263 * * [simplify]: iters left: 5 (46 enodes) 1553933553.274 * * [simplify]: iters left: 4 (68 enodes) 1553933553.284 * * [simplify]: iters left: 3 (96 enodes) 1553933553.298 * * [simplify]: iters left: 2 (125 enodes) 1553933553.314 * * [simplify]: iters left: 1 (150 enodes) 1553933553.352 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.353 * * [simplify]: Extracting #1: cost 13 inf + 0 1553933553.353 * * [simplify]: Extracting #2: cost 37 inf + 2 1553933553.353 * * [simplify]: Extracting #3: cost 33 inf + 463 1553933553.354 * * [simplify]: Extracting #4: cost 10 inf + 2475 1553933553.355 * * [simplify]: Extracting #5: cost 0 inf + 3578 1553933553.356 * [simplify]: Simplified to (- (+ -1 (/ 2 x)) (/ (/ 2 x) x)) 1553933553.356 * [simplify]: Simplified (2 2 1 1) to (λ (x) (* 2 (atan (sqrt (- (+ -1 (/ 2 x)) (/ (/ 2 x) x)))))) 1553933553.356 * * * * [progress]: [ 99 / 101 ] simplifiying candidate # 1553933553.356 * [simplify]: Simplifying (- (+ (* 1/2 (pow x 2)) 1) x) 1553933553.356 * * [simplify]: iters left: 6 (8 enodes) 1553933553.359 * * [simplify]: iters left: 5 (36 enodes) 1553933553.365 * * [simplify]: iters left: 4 (54 enodes) 1553933553.373 * * [simplify]: iters left: 3 (68 enodes) 1553933553.382 * * [simplify]: iters left: 2 (72 enodes) 1553933553.391 * * [simplify]: iters left: 1 (88 enodes) 1553933553.403 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.403 * * [simplify]: Extracting #1: cost 16 inf + 0 1553933553.403 * * [simplify]: Extracting #2: cost 28 inf + 2 1553933553.403 * * [simplify]: Extracting #3: cost 19 inf + 825 1553933553.404 * * [simplify]: Extracting #4: cost 0 inf + 2665 1553933553.405 * [simplify]: Simplified to (+ 1 (- (* (* x x) 1/2) x)) 1553933553.405 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ 1 (- (* (* x x) 1/2) x))))) 1553933553.405 * * * * [progress]: [ 100 / 101 ] simplifiying candidate # 1553933553.405 * [simplify]: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553933553.405 * * [simplify]: iters left: 6 (14 enodes) 1553933553.410 * * [simplify]: iters left: 5 (62 enodes) 1553933553.423 * * [simplify]: iters left: 4 (101 enodes) 1553933553.438 * * [simplify]: iters left: 3 (139 enodes) 1553933553.458 * * [simplify]: iters left: 2 (197 enodes) 1553933553.508 * * [simplify]: iters left: 1 (322 enodes) 1553933553.590 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.590 * * [simplify]: Extracting #1: cost 16 inf + 0 1553933553.591 * * [simplify]: Extracting #2: cost 75 inf + 0 1553933553.592 * * [simplify]: Extracting #3: cost 108 inf + 295 1553933553.595 * * [simplify]: Extracting #4: cost 36 inf + 7898 1553933553.602 * * [simplify]: Extracting #5: cost 2 inf + 13434 1553933553.609 * * [simplify]: Extracting #6: cost 0 inf + 13801 1553933553.617 * [simplify]: Simplified to (+ (* (+ (/ -1/2 x) 1) (/ (/ 1 (sqrt -1)) x)) (sqrt -1)) 1553933553.617 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (* (+ (/ -1/2 x) 1) (/ (/ 1 (sqrt -1)) x)) (sqrt -1))))) 1553933553.617 * * * * [progress]: [ 101 / 101 ] simplifiying candidate # 1553933553.618 * [simplify]: Simplifying (- (+ (sqrt -1) (/ 1 (* x (sqrt -1)))) (* 1/2 (/ 1 (* (pow x 2) (sqrt -1))))) 1553933553.618 * * [simplify]: iters left: 6 (14 enodes) 1553933553.627 * * [simplify]: iters left: 5 (62 enodes) 1553933553.648 * * [simplify]: iters left: 4 (101 enodes) 1553933553.676 * * [simplify]: iters left: 3 (139 enodes) 1553933553.718 * * [simplify]: iters left: 2 (197 enodes) 1553933553.780 * * [simplify]: iters left: 1 (322 enodes) 1553933553.886 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933553.886 * * [simplify]: Extracting #1: cost 16 inf + 0 1553933553.886 * * [simplify]: Extracting #2: cost 75 inf + 0 1553933553.887 * * [simplify]: Extracting #3: cost 108 inf + 295 1553933553.889 * * [simplify]: Extracting #4: cost 36 inf + 7898 1553933553.892 * * [simplify]: Extracting #5: cost 2 inf + 13434 1553933553.896 * * [simplify]: Extracting #6: cost 0 inf + 13801 1553933553.900 * [simplify]: Simplified to (+ (* (+ (/ -1/2 x) 1) (/ (/ 1 (sqrt -1)) x)) (sqrt -1)) 1553933553.900 * [simplify]: Simplified (2 2 1) to (λ (x) (* 2 (atan (+ (* (+ (/ -1/2 x) 1) (/ (/ 1 (sqrt -1)) x)) (sqrt -1))))) 1553933553.900 * * * [progress]: adding candidates to table 1553933554.774 * [progress]: [Phase 3 of 3] Extracting. 1553933554.777 * [simplify]: Simplifying (* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))) 1553933554.777 * * [simplify]: iters left: 6 (9 enodes) 1553933554.777 * * [simplify]: iters left: 5 (13 enodes) 1553933554.778 * * [simplify]: Extracting #0: cost 1 inf + 0 1553933554.778 * * [simplify]: Extracting #1: cost 3 inf + 0 1553933554.778 * * [simplify]: Extracting #2: cost 3 inf + 1 1553933554.778 * * [simplify]: Extracting #3: cost 4 inf + 1 1553933554.778 * * [simplify]: Extracting #4: cost 6 inf + 1 1553933554.778 * * [simplify]: Extracting #5: cost 8 inf + 1 1553933554.778 * * [simplify]: Extracting #6: cost 0 inf + 946 1553933554.778 * [simplify]: Simplified to (* (atan (sqrt (/ (- 1 x) (+ 1 x)))) 2) 1553933557.386 * [regime-testing]: Baseline error score: 0.011876484560570071 1553933557.388 * [regime-testing]: Oracle error score: 0.011876484560570071 1553933557.388 * [regime-testing]: End program error score: 0.011876484560570071