0.004 * [progress]: [Phase 1 of 3] Setting up.
0.006 * * * [progress]: [1/2] Preparing points
0.276 * * * [progress]: [2/2] Setting up program.
0.282 * [progress]: [Phase 2 of 3] Improving.
0.283 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.284 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
0.285 * * [simplify]: iters left: 6 (6 enodes)
0.327 * * [simplify]: iters left: 5 (23 enodes)
0.333 * * [simplify]: iters left: 4 (27 enodes)
0.340 * * [simplify]: Extracting #0: cost 1 inf + 0
0.340 * * [simplify]: Extracting #1: cost 3 inf + 0
0.340 * * [simplify]: Extracting #2: cost 5 inf + 0
0.340 * * [simplify]: Extracting #3: cost 9 inf + 0
0.341 * * [simplify]: Extracting #4: cost 9 inf + 2
0.341 * * [simplify]: Extracting #5: cost 6 inf + 87
0.341 * * [simplify]: Extracting #6: cost 1 inf + 747
0.342 * * [simplify]: Extracting #7: cost 0 inf + 939
0.342 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
0.342 * [simplify]: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1))))
0.347 * * [progress]: iteration 1 / 4
0.347 * * * [progress]: picking best candidate
0.349 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.349 * * * [progress]: localizing error
0.445 * * * [progress]: generating rewritten candidates
0.446 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1)
0.517 * * * [progress]: generating series expansions
0.517 * * * * [progress]: [ 1 / 1 ] generating series at (2 1)
0.525 * [backup-simplify]: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
0.525 * [approximate]: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
0.526 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.526 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.526 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.526 * [taylor]: Taking taylor expansion of x in x
0.526 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify 1 into 1
0.527 * [backup-simplify]: Simplify (/ 1 1) into 1
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [backup-simplify]: Simplify 1 into 1
0.528 * [backup-simplify]: Simplify (+ 1 0) into 1
0.529 * [backup-simplify]: Simplify (log 1) into 0
0.529 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.529 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.529 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.529 * [taylor]: Taking taylor expansion of x in x
0.529 * [backup-simplify]: Simplify 0 into 0
0.529 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (/ 1 1) into 1
0.529 * [taylor]: Taking taylor expansion of 1 in x
0.529 * [backup-simplify]: Simplify 1 into 1
0.530 * [backup-simplify]: Simplify (+ 1 0) into 1
0.530 * [backup-simplify]: Simplify (log 1) into 0
0.531 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
0.531 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
0.532 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.533 * [backup-simplify]: Simplify (- 1) into -1
0.533 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.534 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
0.534 * [backup-simplify]: Simplify -1 into -1
0.535 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.535 * [backup-simplify]: Simplify (- 0) into 0
0.535 * [backup-simplify]: Simplify (+ 0 0) into 0
0.537 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into -1/2
0.537 * [backup-simplify]: Simplify -1/2 into -1/2
0.537 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
0.538 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
0.538 * [approximate]: Taking taylor expansion of (log (- x 1)) in (x) around 0
0.538 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.538 * [taylor]: Taking taylor expansion of (- x 1) in x
0.538 * [taylor]: Taking taylor expansion of x in x
0.538 * [backup-simplify]: Simplify 0 into 0
0.538 * [backup-simplify]: Simplify 1 into 1
0.538 * [taylor]: Taking taylor expansion of 1 in x
0.538 * [backup-simplify]: Simplify 1 into 1
0.538 * [backup-simplify]: Simplify (- 1) into -1
0.538 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.539 * [backup-simplify]: Simplify (log -1) into (log -1)
0.539 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.539 * [taylor]: Taking taylor expansion of (- x 1) in x
0.539 * [taylor]: Taking taylor expansion of x in x
0.539 * [backup-simplify]: Simplify 0 into 0
0.539 * [backup-simplify]: Simplify 1 into 1
0.539 * [taylor]: Taking taylor expansion of 1 in x
0.539 * [backup-simplify]: Simplify 1 into 1
0.539 * [backup-simplify]: Simplify (- 1) into -1
0.539 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.539 * [backup-simplify]: Simplify (log -1) into (log -1)
0.540 * [backup-simplify]: Simplify (log -1) into (log -1)
0.540 * [backup-simplify]: Simplify (- 0) into 0
0.540 * [backup-simplify]: Simplify (+ 1 0) into 1
0.541 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.541 * [backup-simplify]: Simplify -1 into -1
0.541 * [backup-simplify]: Simplify (- 0) into 0
0.542 * [backup-simplify]: Simplify (+ 0 0) into 0
0.544 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.544 * [backup-simplify]: Simplify -1/2 into -1/2
0.544 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 x) 2)) (+ (* -1 (/ 1 x)) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
0.544 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
0.544 * [approximate]: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
0.544 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.544 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.544 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.544 * [taylor]: Taking taylor expansion of x in x
0.544 * [backup-simplify]: Simplify 0 into 0
0.544 * [backup-simplify]: Simplify 1 into 1
0.544 * [taylor]: Taking taylor expansion of 1 in x
0.544 * [backup-simplify]: Simplify 1 into 1
0.545 * [backup-simplify]: Simplify (+ 0 1) into 1
0.545 * [backup-simplify]: Simplify (- 1) into -1
0.545 * [backup-simplify]: Simplify (- 1) into -1
0.546 * [backup-simplify]: Simplify (log -1) into (log -1)
0.546 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.546 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.546 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.546 * [taylor]: Taking taylor expansion of x in x
0.546 * [backup-simplify]: Simplify 0 into 0
0.546 * [backup-simplify]: Simplify 1 into 1
0.546 * [taylor]: Taking taylor expansion of 1 in x
0.546 * [backup-simplify]: Simplify 1 into 1
0.546 * [backup-simplify]: Simplify (+ 0 1) into 1
0.546 * [backup-simplify]: Simplify (- 1) into -1
0.546 * [backup-simplify]: Simplify (- 1) into -1
0.547 * [backup-simplify]: Simplify (log -1) into (log -1)
0.547 * [backup-simplify]: Simplify (log -1) into (log -1)
0.547 * [backup-simplify]: Simplify (+ 1 0) into 1
0.548 * [backup-simplify]: Simplify (- 1) into -1
0.548 * [backup-simplify]: Simplify (- 1) into -1
0.549 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
0.549 * [backup-simplify]: Simplify 1 into 1
0.549 * [backup-simplify]: Simplify (- 1) into -1
0.549 * [backup-simplify]: Simplify (- 1) into -1
0.549 * [backup-simplify]: Simplify (+ 0 0) into 0
0.550 * [backup-simplify]: Simplify (- 0) into 0
0.550 * [backup-simplify]: Simplify (- 1) into -1
0.552 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 -1) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into -1/2
0.552 * [backup-simplify]: Simplify -1/2 into -1/2
0.552 * [backup-simplify]: Simplify (+ (* -1/2 (pow (/ 1 (- x)) 2)) (+ (* 1 (/ 1 (- x))) (log -1))) into (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
0.552 * * * [progress]: simplifying candidates
0.552 * * * * [progress]: [ 1 / 31 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (- (/ 1 x) 1))))))>
0.552 * * * * [progress]: [ 2 / 31 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (- (/ 1 x) 1))))))>
0.552 * * * * [progress]: [ 3 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
0.553 * [simplify]: Simplifying (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
0.553 * * [simplify]: iters left: 6 (7 enodes)
0.555 * * [simplify]: iters left: 5 (28 enodes)
0.560 * * [simplify]: iters left: 4 (34 enodes)
0.566 * * [simplify]: Extracting #0: cost 1 inf + 0
0.566 * * [simplify]: Extracting #1: cost 4 inf + 0
0.566 * * [simplify]: Extracting #2: cost 7 inf + 0
0.566 * * [simplify]: Extracting #3: cost 9 inf + 0
0.566 * * [simplify]: Extracting #4: cost 13 inf + 0
0.566 * * [simplify]: Extracting #5: cost 13 inf + 2
0.566 * * [simplify]: Extracting #6: cost 12 inf + 3
0.566 * * [simplify]: Extracting #7: cost 9 inf + 169
0.567 * * [simplify]: Extracting #8: cost 4 inf + 1079
0.567 * * [simplify]: Extracting #9: cost 0 inf + 1987
0.567 * [simplify]: Simplified to (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
0.567 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))
0.567 * * * * [progress]: [ 4 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
0.568 * [simplify]: Simplifying (log (sqrt (- (/ 1 x) 1)))
0.568 * * [simplify]: iters left: 6 (6 enodes)
0.570 * * [simplify]: iters left: 5 (23 enodes)
0.574 * * [simplify]: iters left: 4 (27 enodes)
0.579 * * [simplify]: Extracting #0: cost 1 inf + 0
0.579 * * [simplify]: Extracting #1: cost 3 inf + 0
0.579 * * [simplify]: Extracting #2: cost 5 inf + 0
0.579 * * [simplify]: Extracting #3: cost 9 inf + 0
0.579 * * [simplify]: Extracting #4: cost 9 inf + 2
0.579 * * [simplify]: Extracting #5: cost 6 inf + 87
0.579 * * [simplify]: Extracting #6: cost 1 inf + 687
0.579 * * [simplify]: Extracting #7: cost 0 inf + 879
0.580 * [simplify]: Simplified to (log (sqrt (- (/ 1 x) 1)))
0.580 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
0.580 * * * * [progress]: [ 5 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.580 * [simplify]: Simplifying (log 1)
0.580 * * [simplify]: iters left: 1 (2 enodes)
0.581 * * [simplify]: Extracting #0: cost 1 inf + 0
0.582 * * [simplify]: Extracting #1: cost 0 inf + 1
0.582 * [simplify]: Simplified to 0
0.582 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
0.582 * * * * [progress]: [ 6 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) (sqrt 1))) (log (- (sqrt (/ 1 x)) (sqrt 1))))))>
0.582 * [simplify]: Simplifying (log (+ (sqrt (/ 1 x)) (sqrt 1)))
0.582 * * [simplify]: iters left: 6 (7 enodes)
0.585 * * [simplify]: iters left: 5 (24 enodes)
0.589 * * [simplify]: iters left: 4 (27 enodes)
0.606 * * [simplify]: Extracting #0: cost 1 inf + 0
0.606 * * [simplify]: Extracting #1: cost 4 inf + 0
0.606 * * [simplify]: Extracting #2: cost 8 inf + 0
0.606 * * [simplify]: Extracting #3: cost 9 inf + 1
0.606 * * [simplify]: Extracting #4: cost 8 inf + 2
0.607 * * [simplify]: Extracting #5: cost 1 inf + 716
0.607 * * [simplify]: Extracting #6: cost 0 inf + 838
0.607 * [simplify]: Simplified to (log1p (sqrt (/ 1 x)))
0.607 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) (sqrt 1))))))
0.607 * * * * [progress]: [ 7 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.608 * [simplify]: Simplifying (log (+ (sqrt (/ 1 x)) 1))
0.608 * * [simplify]: iters left: 6 (6 enodes)
0.610 * * [simplify]: iters left: 5 (21 enodes)
0.615 * * [simplify]: iters left: 4 (24 enodes)
0.620 * * [simplify]: Extracting #0: cost 1 inf + 0
0.620 * * [simplify]: Extracting #1: cost 4 inf + 0
0.620 * * [simplify]: Extracting #2: cost 8 inf + 0
0.620 * * [simplify]: Extracting #3: cost 9 inf + 1
0.620 * * [simplify]: Extracting #4: cost 8 inf + 2
0.620 * * [simplify]: Extracting #5: cost 0 inf + 838
0.620 * [simplify]: Simplified to (log1p (sqrt (/ 1 x)))
0.620 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))))
0.620 * * * * [progress]: [ 8 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
0.620 * [simplify]: Simplifying (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
0.621 * * [simplify]: iters left: 6 (7 enodes)
0.623 * * [simplify]: iters left: 5 (24 enodes)
0.627 * * [simplify]: iters left: 4 (27 enodes)
0.632 * * [simplify]: Extracting #0: cost 1 inf + 0
0.632 * * [simplify]: Extracting #1: cost 4 inf + 0
0.632 * * [simplify]: Extracting #2: cost 8 inf + 0
0.632 * * [simplify]: Extracting #3: cost 9 inf + 1
0.632 * * [simplify]: Extracting #4: cost 2 inf + 542
0.632 * * [simplify]: Extracting #5: cost 0 inf + 836
0.632 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.632 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))
0.632 * * * * [progress]: [ 9 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.632 * [simplify]: Simplifying (log (+ (/ (sqrt 1) (sqrt x)) 1))
0.633 * * [simplify]: iters left: 6 (7 enodes)
0.635 * * [simplify]: iters left: 5 (24 enodes)
0.639 * * [simplify]: iters left: 4 (27 enodes)
0.643 * * [simplify]: Extracting #0: cost 1 inf + 0
0.643 * * [simplify]: Extracting #1: cost 4 inf + 0
0.643 * * [simplify]: Extracting #2: cost 8 inf + 0
0.643 * * [simplify]: Extracting #3: cost 9 inf + 1
0.643 * * [simplify]: Extracting #4: cost 2 inf + 542
0.643 * * [simplify]: Extracting #5: cost 0 inf + 836
0.644 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.644 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ (sqrt 1) (sqrt x)) 1)))))
0.644 * * * * [progress]: [ 10 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) (sqrt 1))) (log (- (/ 1 (sqrt x)) (sqrt 1))))))>
0.644 * [simplify]: Simplifying (log (+ (/ 1 (sqrt x)) (sqrt 1)))
0.644 * * [simplify]: iters left: 6 (7 enodes)
0.647 * * [simplify]: iters left: 5 (24 enodes)
0.651 * * [simplify]: iters left: 4 (27 enodes)
0.655 * * [simplify]: Extracting #0: cost 1 inf + 0
0.655 * * [simplify]: Extracting #1: cost 4 inf + 0
0.655 * * [simplify]: Extracting #2: cost 8 inf + 0
0.655 * * [simplify]: Extracting #3: cost 9 inf + 1
0.655 * * [simplify]: Extracting #4: cost 8 inf + 2
0.656 * * [simplify]: Extracting #5: cost 1 inf + 714
0.656 * * [simplify]: Extracting #6: cost 0 inf + 836
0.656 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.656 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ 1 (sqrt x)) (sqrt 1))))))
0.656 * * * * [progress]: [ 11 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.656 * [simplify]: Simplifying (log (+ (/ 1 (sqrt x)) 1))
0.656 * * [simplify]: iters left: 6 (6 enodes)
0.658 * * [simplify]: iters left: 5 (21 enodes)
0.662 * * [simplify]: iters left: 4 (24 enodes)
0.665 * * [simplify]: Extracting #0: cost 1 inf + 0
0.666 * * [simplify]: Extracting #1: cost 4 inf + 0
0.666 * * [simplify]: Extracting #2: cost 8 inf + 0
0.666 * * [simplify]: Extracting #3: cost 9 inf + 1
0.666 * * [simplify]: Extracting #4: cost 8 inf + 2
0.666 * * [simplify]: Extracting #5: cost 1 inf + 664
0.666 * * [simplify]: Extracting #6: cost 0 inf + 836
0.666 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.666 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ 1 (sqrt x)) 1)))))
0.666 * * * * [progress]: [ 12 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.666 * [simplify]: Simplifying (log (+ (sqrt (/ 1 x)) 1))
0.666 * * [simplify]: iters left: 6 (6 enodes)
0.668 * * [simplify]: iters left: 5 (21 enodes)
0.671 * * [simplify]: iters left: 4 (24 enodes)
0.675 * * [simplify]: Extracting #0: cost 1 inf + 0
0.675 * * [simplify]: Extracting #1: cost 4 inf + 0
0.675 * * [simplify]: Extracting #2: cost 8 inf + 0
0.675 * * [simplify]: Extracting #3: cost 9 inf + 1
0.675 * * [simplify]: Extracting #4: cost 8 inf + 2
0.675 * * [simplify]: Extracting #5: cost 0 inf + 838
0.675 * [simplify]: Simplified to (log1p (sqrt (/ 1 x)))
0.675 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (sqrt (/ 1 x))) (log (- (sqrt (/ 1 x)) 1)))))
0.675 * * * * [progress]: [ 13 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.676 * [simplify]: Simplifying (log (+ (/ (sqrt 1) (sqrt x)) 1))
0.676 * * [simplify]: iters left: 6 (7 enodes)
0.678 * * [simplify]: iters left: 5 (24 enodes)
0.682 * * [simplify]: iters left: 4 (27 enodes)
0.686 * * [simplify]: Extracting #0: cost 1 inf + 0
0.686 * * [simplify]: Extracting #1: cost 4 inf + 0
0.686 * * [simplify]: Extracting #2: cost 8 inf + 0
0.686 * * [simplify]: Extracting #3: cost 9 inf + 1
0.686 * * [simplify]: Extracting #4: cost 2 inf + 542
0.686 * * [simplify]: Extracting #5: cost 0 inf + 836
0.687 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.687 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ (sqrt 1) (sqrt x)) 1)))))
0.687 * * * * [progress]: [ 14 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.687 * [simplify]: Simplifying (log (+ (/ 1 (sqrt x)) 1))
0.687 * * [simplify]: iters left: 6 (6 enodes)
0.689 * * [simplify]: iters left: 5 (21 enodes)
0.692 * * [simplify]: iters left: 4 (24 enodes)
0.697 * * [simplify]: Extracting #0: cost 1 inf + 0
0.697 * * [simplify]: Extracting #1: cost 4 inf + 0
0.697 * * [simplify]: Extracting #2: cost 8 inf + 0
0.697 * * [simplify]: Extracting #3: cost 9 inf + 1
0.697 * * [simplify]: Extracting #4: cost 8 inf + 2
0.697 * * [simplify]: Extracting #5: cost 1 inf + 664
0.697 * * [simplify]: Extracting #6: cost 0 inf + 836
0.697 * [simplify]: Simplified to (log1p (/ 1 (sqrt x)))
0.697 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (log1p (/ 1 (sqrt x))) (log (- (/ 1 (sqrt x)) 1)))))
0.697 * * * * [progress]: [ 15 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.698 * [simplify]: Simplifying (log 1)
0.698 * * [simplify]: iters left: 1 (2 enodes)
0.700 * * [simplify]: Extracting #0: cost 1 inf + 0
0.701 * * [simplify]: Extracting #1: cost 0 inf + 1
0.701 * [simplify]: Simplified to 0
0.701 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
0.701 * * * * [progress]: [ 16 / 31 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.701 * [simplify]: Simplifying (log 1)
0.701 * * [simplify]: iters left: 1 (2 enodes)
0.702 * * [simplify]: Extracting #0: cost 1 inf + 0
0.702 * * [simplify]: Extracting #1: cost 0 inf + 1
0.702 * [simplify]: Simplified to 0
0.702 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ 0 (log (- (/ 1 x) 1)))))
0.702 * * * * [progress]: [ 17 / 31 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.702 * [simplify]: Simplifying (log (- (pow (/ 1 x) 3) (pow 1 3)))
0.702 * * [simplify]: iters left: 6 (8 enodes)
0.706 * * [simplify]: iters left: 5 (39 enodes)
0.716 * * [simplify]: iters left: 4 (86 enodes)
0.732 * * [simplify]: iters left: 3 (149 enodes)
0.765 * * [simplify]: iters left: 2 (258 enodes)
0.830 * * [simplify]: Extracting #0: cost 1 inf + 0
0.830 * * [simplify]: Extracting #1: cost 5 inf + 0
0.830 * * [simplify]: Extracting #2: cost 29 inf + 0
0.831 * * [simplify]: Extracting #3: cost 99 inf + 2
0.831 * * [simplify]: Extracting #4: cost 105 inf + 2313
0.834 * * [simplify]: Extracting #5: cost 41 inf + 27646
0.838 * * [simplify]: Extracting #6: cost 2 inf + 44176
0.842 * * [simplify]: Extracting #7: cost 0 inf + 44916
0.847 * [simplify]: Simplified to (log (fma (/ 1 x) (/ (/ 1 x) x) -1))
0.847 * [simplify]: Simplified (2 1 1) to (λ (x) (- (- (log (fma (/ 1 x) (/ (/ 1 x) x) -1)) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))
0.847 * * * * [progress]: [ 18 / 31 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
0.847 * [simplify]: Simplifying (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
0.847 * * [simplify]: iters left: 6 (7 enodes)
0.850 * * [simplify]: iters left: 5 (30 enodes)
0.859 * * [simplify]: iters left: 4 (45 enodes)
0.867 * * [simplify]: iters left: 3 (66 enodes)
0.877 * * [simplify]: iters left: 2 (95 enodes)
0.897 * * [simplify]: iters left: 1 (147 enodes)
0.931 * * [simplify]: Extracting #0: cost 1 inf + 0
0.931 * * [simplify]: Extracting #1: cost 6 inf + 0
0.932 * * [simplify]: Extracting #2: cost 35 inf + 1
0.932 * * [simplify]: Extracting #3: cost 45 inf + 3
0.932 * * [simplify]: Extracting #4: cost 45 inf + 4
0.933 * * [simplify]: Extracting #5: cost 15 inf + 3323
0.934 * * [simplify]: Extracting #6: cost 1 inf + 5366
0.936 * * [simplify]: Extracting #7: cost 0 inf + 5518
0.938 * [simplify]: Simplified to (log (fma (/ 1 x) (/ 1 x) -1))
0.938 * [simplify]: Simplified (2 1 1) to (λ (x) (- (- (log (fma (/ 1 x) (/ 1 x) -1)) (log (+ (/ 1 x) 1)))))
0.938 * * * * [progress]: [ 19 / 31 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.938 * * * * [progress]: [ 20 / 31 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
0.938 * * * * [progress]: [ 21 / 31 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.938 * [simplify]: Simplifying (- (/ 1 x) 1)
0.938 * * [simplify]: iters left: 4 (4 enodes)
0.940 * * [simplify]: iters left: 3 (17 enodes)
0.943 * * [simplify]: iters left: 2 (21 enodes)
0.946 * * [simplify]: Extracting #0: cost 1 inf + 0
0.946 * * [simplify]: Extracting #1: cost 5 inf + 0
0.946 * * [simplify]: Extracting #2: cost 5 inf + 2
0.946 * * [simplify]: Extracting #3: cost 0 inf + 251
0.946 * [simplify]: Simplified to (- (/ 1 x) 1)
0.946 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
0.946 * * * * [progress]: [ 22 / 31 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
0.946 * * * * [progress]: [ 23 / 31 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.947 * * * * [progress]: [ 24 / 31 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
0.947 * * * * [progress]: [ 25 / 31 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
0.947 * * * * [progress]: [ 26 / 31 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
0.947 * * * * [progress]: [ 27 / 31 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.947 * * * * [progress]: [ 28 / 31 ] simplifiying candidate #<alt (λ (x) (- (posit16->real (real->posit16 (log (- (/ 1 x) 1))))))>
0.947 * * * * [progress]: [ 29 / 31 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
0.947 * [simplify]: Simplifying (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
0.947 * * [simplify]: iters left: 6 (9 enodes)
0.950 * * [simplify]: iters left: 5 (41 enodes)
0.957 * * [simplify]: iters left: 4 (70 enodes)
0.969 * * [simplify]: iters left: 3 (130 enodes)
0.992 * * [simplify]: iters left: 2 (205 enodes)
1.028 * * [simplify]: iters left: 1 (260 enodes)
1.081 * * [simplify]: Extracting #0: cost 1 inf + 0
1.081 * * [simplify]: Extracting #1: cost 28 inf + 0
1.081 * * [simplify]: Extracting #2: cost 53 inf + 74
1.083 * * [simplify]: Extracting #3: cost 22 inf + 2765
1.086 * * [simplify]: Extracting #4: cost 2 inf + 5452
1.090 * * [simplify]: Extracting #5: cost 0 inf + 5860
1.093 * [simplify]: Simplified to (- (* x (fma -1/2 x -1)) (log x))
1.093 * [simplify]: Simplified (2 1) to (λ (x) (- (- (* x (fma -1/2 x -1)) (log x))))
1.093 * * * * [progress]: [ 30 / 31 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1.094 * [simplify]: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1.094 * * [simplify]: iters left: 6 (12 enodes)
1.103 * * [simplify]: iters left: 5 (50 enodes)
1.121 * * [simplify]: iters left: 4 (70 enodes)
1.141 * * [simplify]: iters left: 3 (99 enodes)
1.169 * * [simplify]: iters left: 2 (143 enodes)
1.212 * * [simplify]: iters left: 1 (191 enodes)
1.275 * * [simplify]: Extracting #0: cost 1 inf + 0
1.275 * * [simplify]: Extracting #1: cost 22 inf + 0
1.276 * * [simplify]: Extracting #2: cost 49 inf + 2
1.276 * * [simplify]: Extracting #3: cost 33 inf + 1179
1.279 * * [simplify]: Extracting #4: cost 4 inf + 5163
1.283 * * [simplify]: Extracting #5: cost 0 inf + 5891
1.286 * [simplify]: Simplified to (- (log -1) (fma (/ 1/2 x) (/ 1 x) (/ 1 x)))
1.286 * [simplify]: Simplified (2 1) to (λ (x) (- (- (log -1) (fma (/ 1/2 x) (/ 1 x) (/ 1 x)))))
1.286 * * * * [progress]: [ 31 / 31 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
1.287 * [simplify]: Simplifying (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
1.287 * * [simplify]: iters left: 6 (12 enodes)
1.296 * * [simplify]: iters left: 5 (50 enodes)
1.304 * * [simplify]: iters left: 4 (70 enodes)
1.318 * * [simplify]: iters left: 3 (99 enodes)
1.338 * * [simplify]: iters left: 2 (143 enodes)
1.380 * * [simplify]: iters left: 1 (191 enodes)
1.448 * * [simplify]: Extracting #0: cost 1 inf + 0
1.449 * * [simplify]: Extracting #1: cost 22 inf + 0
1.449 * * [simplify]: Extracting #2: cost 49 inf + 2
1.450 * * [simplify]: Extracting #3: cost 33 inf + 1179
1.452 * * [simplify]: Extracting #4: cost 4 inf + 5163
1.456 * * [simplify]: Extracting #5: cost 0 inf + 5891
1.459 * [simplify]: Simplified to (- (log -1) (fma (/ 1/2 x) (/ 1 x) (/ 1 x)))
1.459 * [simplify]: Simplified (2 1) to (λ (x) (- (- (log -1) (fma (/ 1/2 x) (/ 1 x) (/ 1 x)))))
1.460 * * * [progress]: adding candidates to table
1.679 * * [progress]: iteration 2 / 4
1.679 * * * [progress]: picking best candidate
1.681 * * * * [pick]: Picked  #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
1.682 * * * [progress]: localizing error
1.697 * * * [progress]: generating rewritten candidates
1.698 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1)
1.711 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1)
1.736 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
1.745 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
1.753 * * * [progress]: generating series expansions
1.753 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1)
1.753 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1.753 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1.753 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.754 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.754 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.754 * [taylor]: Taking taylor expansion of x in x
1.754 * [backup-simplify]: Simplify 0 into 0
1.754 * [backup-simplify]: Simplify 1 into 1
1.754 * [backup-simplify]: Simplify (/ 1 1) into 1
1.754 * [taylor]: Taking taylor expansion of 1 in x
1.754 * [backup-simplify]: Simplify 1 into 1
1.755 * [backup-simplify]: Simplify (+ 1 0) into 1
1.755 * [backup-simplify]: Simplify (sqrt 0) into 0
1.756 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.756 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.756 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.756 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.756 * [taylor]: Taking taylor expansion of x in x
1.756 * [backup-simplify]: Simplify 0 into 0
1.756 * [backup-simplify]: Simplify 1 into 1
1.760 * [backup-simplify]: Simplify (/ 1 1) into 1
1.760 * [taylor]: Taking taylor expansion of 1 in x
1.760 * [backup-simplify]: Simplify 1 into 1
1.760 * [backup-simplify]: Simplify (+ 1 0) into 1
1.760 * [backup-simplify]: Simplify (sqrt 0) into 0
1.761 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.761 * [backup-simplify]: Simplify 0 into 0
1.762 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.762 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.763 * [backup-simplify]: Simplify (- 1) into -1
1.763 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.765 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1.765 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.765 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.765 * [backup-simplify]: Simplify (- 0) into 0
1.766 * [backup-simplify]: Simplify (+ 0 0) into 0
1.768 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1.768 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.768 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1.768 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1.768 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1.768 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.768 * [taylor]: Taking taylor expansion of (- x 1) in x
1.768 * [taylor]: Taking taylor expansion of x in x
1.768 * [backup-simplify]: Simplify 0 into 0
1.768 * [backup-simplify]: Simplify 1 into 1
1.768 * [taylor]: Taking taylor expansion of 1 in x
1.768 * [backup-simplify]: Simplify 1 into 1
1.769 * [backup-simplify]: Simplify (- 1) into -1
1.769 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.769 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.769 * [backup-simplify]: Simplify (- 0) into 0
1.770 * [backup-simplify]: Simplify (+ 1 0) into 1
1.770 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.770 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.770 * [taylor]: Taking taylor expansion of (- x 1) in x
1.770 * [taylor]: Taking taylor expansion of x in x
1.771 * [backup-simplify]: Simplify 0 into 0
1.771 * [backup-simplify]: Simplify 1 into 1
1.771 * [taylor]: Taking taylor expansion of 1 in x
1.771 * [backup-simplify]: Simplify 1 into 1
1.771 * [backup-simplify]: Simplify (- 1) into -1
1.771 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.771 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.771 * [backup-simplify]: Simplify (- 0) into 0
1.772 * [backup-simplify]: Simplify (+ 1 0) into 1
1.773 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.773 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.773 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1.774 * [backup-simplify]: Simplify (- 0) into 0
1.774 * [backup-simplify]: Simplify (+ 0 0) into 0
1.776 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.777 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
1.779 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
1.779 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1.779 * [approximate]: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1.779 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.779 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.779 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.779 * [taylor]: Taking taylor expansion of x in x
1.779 * [backup-simplify]: Simplify 0 into 0
1.780 * [backup-simplify]: Simplify 1 into 1
1.780 * [taylor]: Taking taylor expansion of 1 in x
1.780 * [backup-simplify]: Simplify 1 into 1
1.780 * [backup-simplify]: Simplify (+ 0 1) into 1
1.781 * [backup-simplify]: Simplify (- 1) into -1
1.781 * [backup-simplify]: Simplify (- 1) into -1
1.782 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.782 * [backup-simplify]: Simplify (+ 1 0) into 1
1.782 * [backup-simplify]: Simplify (- 1) into -1
1.783 * [backup-simplify]: Simplify (- 1) into -1
1.784 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.784 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.784 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.784 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.784 * [taylor]: Taking taylor expansion of x in x
1.784 * [backup-simplify]: Simplify 0 into 0
1.784 * [backup-simplify]: Simplify 1 into 1
1.784 * [taylor]: Taking taylor expansion of 1 in x
1.784 * [backup-simplify]: Simplify 1 into 1
1.785 * [backup-simplify]: Simplify (+ 0 1) into 1
1.785 * [backup-simplify]: Simplify (- 1) into -1
1.786 * [backup-simplify]: Simplify (- 1) into -1
1.786 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.786 * [backup-simplify]: Simplify (+ 1 0) into 1
1.787 * [backup-simplify]: Simplify (- 1) into -1
1.787 * [backup-simplify]: Simplify (- 1) into -1
1.789 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.789 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.790 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1.791 * [backup-simplify]: Simplify (+ 0 0) into 0
1.791 * [backup-simplify]: Simplify (- 0) into 0
1.794 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.795 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
1.797 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
1.797 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1)
1.797 * [backup-simplify]: Simplify (sqrt (- (/ 1 x) 1)) into (sqrt (- (/ 1 x) 1))
1.797 * [approximate]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in (x) around 0
1.797 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.797 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.797 * [taylor]: Taking taylor expansion of x in x
1.797 * [backup-simplify]: Simplify 0 into 0
1.797 * [backup-simplify]: Simplify 1 into 1
1.797 * [backup-simplify]: Simplify (/ 1 1) into 1
1.797 * [taylor]: Taking taylor expansion of 1 in x
1.797 * [backup-simplify]: Simplify 1 into 1
1.798 * [backup-simplify]: Simplify (+ 1 0) into 1
1.798 * [backup-simplify]: Simplify (sqrt 0) into 0
1.799 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.799 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.799 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.799 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.799 * [taylor]: Taking taylor expansion of x in x
1.799 * [backup-simplify]: Simplify 0 into 0
1.799 * [backup-simplify]: Simplify 1 into 1
1.799 * [backup-simplify]: Simplify (/ 1 1) into 1
1.799 * [taylor]: Taking taylor expansion of 1 in x
1.799 * [backup-simplify]: Simplify 1 into 1
1.799 * [backup-simplify]: Simplify (+ 1 0) into 1
1.799 * [backup-simplify]: Simplify (sqrt 0) into 0
1.800 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.800 * [backup-simplify]: Simplify 0 into 0
1.800 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.801 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.801 * [backup-simplify]: Simplify (- 1) into -1
1.801 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.803 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1.803 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.804 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.804 * [backup-simplify]: Simplify (- 0) into 0
1.804 * [backup-simplify]: Simplify (+ 0 0) into 0
1.807 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1.807 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.807 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
1.807 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 x)) 1)) into (sqrt (- x 1))
1.807 * [approximate]: Taking taylor expansion of (sqrt (- x 1)) in (x) around 0
1.807 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.807 * [taylor]: Taking taylor expansion of (- x 1) in x
1.807 * [taylor]: Taking taylor expansion of x in x
1.807 * [backup-simplify]: Simplify 0 into 0
1.807 * [backup-simplify]: Simplify 1 into 1
1.807 * [taylor]: Taking taylor expansion of 1 in x
1.807 * [backup-simplify]: Simplify 1 into 1
1.807 * [backup-simplify]: Simplify (- 1) into -1
1.807 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.808 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.808 * [backup-simplify]: Simplify (- 0) into 0
1.808 * [backup-simplify]: Simplify (+ 1 0) into 1
1.809 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.809 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.809 * [taylor]: Taking taylor expansion of (- x 1) in x
1.809 * [taylor]: Taking taylor expansion of x in x
1.809 * [backup-simplify]: Simplify 0 into 0
1.809 * [backup-simplify]: Simplify 1 into 1
1.809 * [taylor]: Taking taylor expansion of 1 in x
1.809 * [backup-simplify]: Simplify 1 into 1
1.809 * [backup-simplify]: Simplify (- 1) into -1
1.810 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.810 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.810 * [backup-simplify]: Simplify (- 0) into 0
1.810 * [backup-simplify]: Simplify (+ 1 0) into 1
1.811 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.812 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.812 * [backup-simplify]: Simplify (/ 1/2 (sqrt -1)) into (/ 1/2 (sqrt -1))
1.812 * [backup-simplify]: Simplify (- 0) into 0
1.813 * [backup-simplify]: Simplify (+ 0 0) into 0
1.814 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.815 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
1.816 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 x) 2)) (+ (* (/ 1/2 (sqrt -1)) (/ 1 x)) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
1.817 * [backup-simplify]: Simplify (sqrt (- (/ 1 (/ 1 (- x))) 1)) into (sqrt (- (+ x 1)))
1.817 * [approximate]: Taking taylor expansion of (sqrt (- (+ x 1))) in (x) around 0
1.817 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.817 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.817 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.817 * [taylor]: Taking taylor expansion of x in x
1.817 * [backup-simplify]: Simplify 0 into 0
1.817 * [backup-simplify]: Simplify 1 into 1
1.817 * [taylor]: Taking taylor expansion of 1 in x
1.817 * [backup-simplify]: Simplify 1 into 1
1.817 * [backup-simplify]: Simplify (+ 0 1) into 1
1.817 * [backup-simplify]: Simplify (- 1) into -1
1.817 * [backup-simplify]: Simplify (- 1) into -1
1.818 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.818 * [backup-simplify]: Simplify (+ 1 0) into 1
1.818 * [backup-simplify]: Simplify (- 1) into -1
1.818 * [backup-simplify]: Simplify (- 1) into -1
1.819 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.819 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.819 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.819 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.819 * [taylor]: Taking taylor expansion of x in x
1.819 * [backup-simplify]: Simplify 0 into 0
1.819 * [backup-simplify]: Simplify 1 into 1
1.819 * [taylor]: Taking taylor expansion of 1 in x
1.819 * [backup-simplify]: Simplify 1 into 1
1.820 * [backup-simplify]: Simplify (+ 0 1) into 1
1.820 * [backup-simplify]: Simplify (- 1) into -1
1.820 * [backup-simplify]: Simplify (- 1) into -1
1.820 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.821 * [backup-simplify]: Simplify (+ 1 0) into 1
1.821 * [backup-simplify]: Simplify (- 1) into -1
1.821 * [backup-simplify]: Simplify (- 1) into -1
1.822 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.822 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.823 * [backup-simplify]: Simplify (/ -1/2 (sqrt -1)) into (/ -1/2 (sqrt -1))
1.823 * [backup-simplify]: Simplify (+ 0 0) into 0
1.823 * [backup-simplify]: Simplify (- 0) into 0
1.825 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.826 * [backup-simplify]: Simplify (/ 1/8 (sqrt -1)) into (/ 1/8 (sqrt -1))
1.827 * [backup-simplify]: Simplify (+ (* (/ 1/8 (sqrt -1)) (pow (/ 1 (- x)) 2)) (+ (* (/ -1/2 (sqrt -1)) (/ 1 (- x))) (sqrt -1))) into (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
1.827 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
1.827 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1.827 * [approximate]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1.827 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1.827 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.827 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.827 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.827 * [taylor]: Taking taylor expansion of x in x
1.827 * [backup-simplify]: Simplify 0 into 0
1.827 * [backup-simplify]: Simplify 1 into 1
1.828 * [backup-simplify]: Simplify (/ 1 1) into 1
1.828 * [taylor]: Taking taylor expansion of 1 in x
1.828 * [backup-simplify]: Simplify 1 into 1
1.828 * [backup-simplify]: Simplify (+ 1 0) into 1
1.828 * [backup-simplify]: Simplify (sqrt 0) into 0
1.829 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.829 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.829 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1.829 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.829 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.829 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.829 * [taylor]: Taking taylor expansion of x in x
1.829 * [backup-simplify]: Simplify 0 into 0
1.829 * [backup-simplify]: Simplify 1 into 1
1.830 * [backup-simplify]: Simplify (/ 1 1) into 1
1.830 * [taylor]: Taking taylor expansion of 1 in x
1.830 * [backup-simplify]: Simplify 1 into 1
1.830 * [backup-simplify]: Simplify (+ 1 0) into 1
1.830 * [backup-simplify]: Simplify (sqrt 0) into 0
1.831 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.831 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.831 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.832 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.832 * [backup-simplify]: Simplify (- 1) into -1
1.833 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.836 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1.842 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1.842 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.843 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.843 * [backup-simplify]: Simplify (- 0) into 0
1.844 * [backup-simplify]: Simplify (+ 0 0) into 0
1.848 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1.861 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1.861 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.862 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1.862 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1.862 * [approximate]: Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1.862 * [taylor]: Taking taylor expansion of (log (sqrt (- x 1))) in x
1.862 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.862 * [taylor]: Taking taylor expansion of (- x 1) in x
1.862 * [taylor]: Taking taylor expansion of x in x
1.862 * [backup-simplify]: Simplify 0 into 0
1.862 * [backup-simplify]: Simplify 1 into 1
1.862 * [taylor]: Taking taylor expansion of 1 in x
1.862 * [backup-simplify]: Simplify 1 into 1
1.863 * [backup-simplify]: Simplify (- 1) into -1
1.863 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.863 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.868 * [backup-simplify]: Simplify (- 0) into 0
1.869 * [backup-simplify]: Simplify (+ 1 0) into 1
1.871 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.871 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.871 * [taylor]: Taking taylor expansion of (log (sqrt (- x 1))) in x
1.871 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.872 * [taylor]: Taking taylor expansion of (- x 1) in x
1.872 * [taylor]: Taking taylor expansion of x in x
1.872 * [backup-simplify]: Simplify 0 into 0
1.872 * [backup-simplify]: Simplify 1 into 1
1.872 * [taylor]: Taking taylor expansion of 1 in x
1.872 * [backup-simplify]: Simplify 1 into 1
1.872 * [backup-simplify]: Simplify (- 1) into -1
1.872 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.873 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.873 * [backup-simplify]: Simplify (- 0) into 0
1.874 * [backup-simplify]: Simplify (+ 1 0) into 1
1.875 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.876 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.877 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.879 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into -1/2
1.879 * [backup-simplify]: Simplify -1/2 into -1/2
1.879 * [backup-simplify]: Simplify (- 0) into 0
1.879 * [backup-simplify]: Simplify (+ 0 0) into 0
1.883 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.886 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1/8 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 2) into -1/4
1.886 * [backup-simplify]: Simplify -1/4 into -1/4
1.888 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 x) 2)) (+ (* -1/2 (/ 1 x)) (log (sqrt -1)))) into (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
1.888 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1.888 * [approximate]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1.888 * [taylor]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1.888 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.888 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.888 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.888 * [taylor]: Taking taylor expansion of x in x
1.888 * [backup-simplify]: Simplify 0 into 0
1.888 * [backup-simplify]: Simplify 1 into 1
1.888 * [taylor]: Taking taylor expansion of 1 in x
1.888 * [backup-simplify]: Simplify 1 into 1
1.888 * [backup-simplify]: Simplify (+ 0 1) into 1
1.889 * [backup-simplify]: Simplify (- 1) into -1
1.889 * [backup-simplify]: Simplify (- 1) into -1
1.890 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.890 * [backup-simplify]: Simplify (+ 1 0) into 1
1.890 * [backup-simplify]: Simplify (- 1) into -1
1.891 * [backup-simplify]: Simplify (- 1) into -1
1.892 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.893 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.893 * [taylor]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1.893 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.893 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.893 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.893 * [taylor]: Taking taylor expansion of x in x
1.893 * [backup-simplify]: Simplify 0 into 0
1.893 * [backup-simplify]: Simplify 1 into 1
1.893 * [taylor]: Taking taylor expansion of 1 in x
1.893 * [backup-simplify]: Simplify 1 into 1
1.893 * [backup-simplify]: Simplify (+ 0 1) into 1
1.893 * [backup-simplify]: Simplify (- 1) into -1
1.893 * [backup-simplify]: Simplify (- 1) into -1
1.894 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.894 * [backup-simplify]: Simplify (+ 1 0) into 1
1.894 * [backup-simplify]: Simplify (- 1) into -1
1.894 * [backup-simplify]: Simplify (- 1) into -1
1.895 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.896 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.896 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.897 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into 1/2
1.898 * [backup-simplify]: Simplify 1/2 into 1/2
1.898 * [backup-simplify]: Simplify (+ 0 0) into 0
1.898 * [backup-simplify]: Simplify (- 0) into 0
1.900 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.902 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1/8 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 2) into -1/4
1.902 * [backup-simplify]: Simplify -1/4 into -1/4
1.903 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 (- x)) 2)) (+ (* 1/2 (/ 1 (- x))) (log (sqrt -1)))) into (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
1.903 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
1.903 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 x) 1))) into (log (sqrt (- (/ 1 x) 1)))
1.903 * [approximate]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in (x) around 0
1.903 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1.903 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.903 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.903 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.903 * [taylor]: Taking taylor expansion of x in x
1.903 * [backup-simplify]: Simplify 0 into 0
1.903 * [backup-simplify]: Simplify 1 into 1
1.903 * [backup-simplify]: Simplify (/ 1 1) into 1
1.903 * [taylor]: Taking taylor expansion of 1 in x
1.903 * [backup-simplify]: Simplify 1 into 1
1.903 * [backup-simplify]: Simplify (+ 1 0) into 1
1.904 * [backup-simplify]: Simplify (sqrt 0) into 0
1.905 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.905 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.905 * [taylor]: Taking taylor expansion of (log (sqrt (- (/ 1 x) 1))) in x
1.905 * [taylor]: Taking taylor expansion of (sqrt (- (/ 1 x) 1)) in x
1.905 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
1.905 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.905 * [taylor]: Taking taylor expansion of x in x
1.905 * [backup-simplify]: Simplify 0 into 0
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [backup-simplify]: Simplify (/ 1 1) into 1
1.905 * [taylor]: Taking taylor expansion of 1 in x
1.905 * [backup-simplify]: Simplify 1 into 1
1.905 * [backup-simplify]: Simplify (+ 1 0) into 1
1.906 * [backup-simplify]: Simplify (sqrt 0) into 0
1.906 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
1.907 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.907 * [backup-simplify]: Simplify (log +nan.0) into (log +nan.0)
1.907 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
1.908 * [backup-simplify]: Simplify (- 1) into -1
1.908 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.910 * [backup-simplify]: Simplify (/ (- -1 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
1.913 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 +nan.0) 1)) (pow +nan.0 1)))) 1) into +nan.0
1.913 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.914 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
1.914 * [backup-simplify]: Simplify (- 0) into 0
1.914 * [backup-simplify]: Simplify (+ 0 0) into 0
1.916 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
1.924 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 +nan.0) 2)) (pow +nan.0 2))) (* 1 (/ (* 1 (pow (* 2 +nan.0) 1)) (pow +nan.0 1)))) 2) into +nan.0
1.924 * [backup-simplify]: Simplify +nan.0 into +nan.0
1.925 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) (log +nan.0))) into (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
1.925 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 (/ 1 x)) 1))) into (log (sqrt (- x 1)))
1.925 * [approximate]: Taking taylor expansion of (log (sqrt (- x 1))) in (x) around 0
1.925 * [taylor]: Taking taylor expansion of (log (sqrt (- x 1))) in x
1.925 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.925 * [taylor]: Taking taylor expansion of (- x 1) in x
1.925 * [taylor]: Taking taylor expansion of x in x
1.925 * [backup-simplify]: Simplify 0 into 0
1.925 * [backup-simplify]: Simplify 1 into 1
1.925 * [taylor]: Taking taylor expansion of 1 in x
1.925 * [backup-simplify]: Simplify 1 into 1
1.925 * [backup-simplify]: Simplify (- 1) into -1
1.926 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.926 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.926 * [backup-simplify]: Simplify (- 0) into 0
1.926 * [backup-simplify]: Simplify (+ 1 0) into 1
1.927 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.928 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.928 * [taylor]: Taking taylor expansion of (log (sqrt (- x 1))) in x
1.928 * [taylor]: Taking taylor expansion of (sqrt (- x 1)) in x
1.928 * [taylor]: Taking taylor expansion of (- x 1) in x
1.928 * [taylor]: Taking taylor expansion of x in x
1.928 * [backup-simplify]: Simplify 0 into 0
1.928 * [backup-simplify]: Simplify 1 into 1
1.928 * [taylor]: Taking taylor expansion of 1 in x
1.928 * [backup-simplify]: Simplify 1 into 1
1.928 * [backup-simplify]: Simplify (- 1) into -1
1.928 * [backup-simplify]: Simplify (+ 0 -1) into -1
1.928 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.929 * [backup-simplify]: Simplify (- 0) into 0
1.929 * [backup-simplify]: Simplify (+ 1 0) into 1
1.930 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt -1))) into (/ 1/2 (sqrt -1))
1.930 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.931 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.932 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into -1/2
1.932 * [backup-simplify]: Simplify -1/2 into -1/2
1.933 * [backup-simplify]: Simplify (- 0) into 0
1.933 * [backup-simplify]: Simplify (+ 0 0) into 0
1.936 * [backup-simplify]: Simplify (/ (- 0 (pow (/ 1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.939 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ 1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1/8 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 2) into -1/4
1.939 * [backup-simplify]: Simplify -1/4 into -1/4
1.940 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 x) 2)) (+ (* -1/2 (/ 1 x)) (log (sqrt -1)))) into (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
1.940 * [backup-simplify]: Simplify (log (sqrt (- (/ 1 (/ 1 (- x))) 1))) into (log (sqrt (- (+ x 1))))
1.940 * [approximate]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in (x) around 0
1.940 * [taylor]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1.940 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.941 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.941 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.941 * [taylor]: Taking taylor expansion of x in x
1.941 * [backup-simplify]: Simplify 0 into 0
1.941 * [backup-simplify]: Simplify 1 into 1
1.941 * [taylor]: Taking taylor expansion of 1 in x
1.941 * [backup-simplify]: Simplify 1 into 1
1.941 * [backup-simplify]: Simplify (+ 0 1) into 1
1.941 * [backup-simplify]: Simplify (- 1) into -1
1.942 * [backup-simplify]: Simplify (- 1) into -1
1.942 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.942 * [backup-simplify]: Simplify (+ 1 0) into 1
1.943 * [backup-simplify]: Simplify (- 1) into -1
1.943 * [backup-simplify]: Simplify (- 1) into -1
1.944 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.945 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.945 * [taylor]: Taking taylor expansion of (log (sqrt (- (+ x 1)))) in x
1.945 * [taylor]: Taking taylor expansion of (sqrt (- (+ x 1))) in x
1.945 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
1.945 * [taylor]: Taking taylor expansion of (+ x 1) in x
1.945 * [taylor]: Taking taylor expansion of x in x
1.945 * [backup-simplify]: Simplify 0 into 0
1.945 * [backup-simplify]: Simplify 1 into 1
1.945 * [taylor]: Taking taylor expansion of 1 in x
1.945 * [backup-simplify]: Simplify 1 into 1
1.946 * [backup-simplify]: Simplify (+ 0 1) into 1
1.946 * [backup-simplify]: Simplify (- 1) into -1
1.946 * [backup-simplify]: Simplify (- 1) into -1
1.947 * [backup-simplify]: Simplify (sqrt -1) into (sqrt -1)
1.947 * [backup-simplify]: Simplify (+ 1 0) into 1
1.947 * [backup-simplify]: Simplify (- 1) into -1
1.948 * [backup-simplify]: Simplify (- 1) into -1
1.949 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt -1))) into (/ -1/2 (sqrt -1))
1.950 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.950 * [backup-simplify]: Simplify (log (sqrt -1)) into (log (sqrt -1))
1.952 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 1) into 1/2
1.952 * [backup-simplify]: Simplify 1/2 into 1/2
1.953 * [backup-simplify]: Simplify (+ 0 0) into 0
1.953 * [backup-simplify]: Simplify (- 0) into 0
1.956 * [backup-simplify]: Simplify (/ (- 0 (pow (/ -1/2 (sqrt -1)) 2) (+)) (* 2 (sqrt -1))) into (/ 1/8 (sqrt -1))
1.959 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 (/ -1/2 (sqrt -1))) 2)) (pow (sqrt -1) 2))) (* 1 (/ (* 1 (pow (* 2 (/ 1/8 (sqrt -1))) 1)) (pow (sqrt -1) 1)))) 2) into -1/4
1.959 * [backup-simplify]: Simplify -1/4 into -1/4
1.960 * [backup-simplify]: Simplify (+ (* -1/4 (pow (/ 1 (- x)) 2)) (+ (* 1/2 (/ 1 (- x))) (log (sqrt -1)))) into (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
1.960 * * * [progress]: simplifying candidates
1.960 * * * * [progress]: [ 1 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))))))>
1.960 * * * * [progress]: [ 2 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))))))>
1.961 * * * * [progress]: [ 3 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) 1/2)))))>
1.961 * * * * [progress]: [ 4 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (sqrt (- (/ 1 x) 1)) 1)))))>
1.961 * * * * [progress]: [ 5 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
1.961 * * * * [progress]: [ 6 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (log (exp (sqrt (- (/ 1 x) 1))))))))>
1.961 * * * * [progress]: [ 7 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))))))>
1.961 * * * * [progress]: [ 8 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))))))>
1.961 * * * * [progress]: [ 9 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))))))>
1.961 * [simplify]: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
1.961 * * [simplify]: iters left: 6 (7 enodes)
1.965 * * [simplify]: iters left: 5 (27 enodes)
1.972 * * [simplify]: iters left: 4 (31 enodes)
1.986 * * [simplify]: Extracting #0: cost 1 inf + 0
1.986 * * [simplify]: Extracting #1: cost 4 inf + 0
1.986 * * [simplify]: Extracting #2: cost 7 inf + 0
1.986 * * [simplify]: Extracting #3: cost 11 inf + 0
1.987 * * [simplify]: Extracting #4: cost 11 inf + 2
1.987 * * [simplify]: Extracting #5: cost 10 inf + 3
1.987 * * [simplify]: Extracting #6: cost 7 inf + 169
1.987 * * [simplify]: Extracting #7: cost 1 inf + 1181
1.987 * * [simplify]: Extracting #8: cost 0 inf + 1383
1.988 * [simplify]: Simplified to (fabs (cbrt (- (/ 1 x) 1)))
1.988 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))))))
1.988 * * * * [progress]: [ 10 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
1.988 * [simplify]: Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
1.988 * * [simplify]: iters left: 6 (6 enodes)
1.990 * * [simplify]: iters left: 5 (23 enodes)
1.994 * * [simplify]: iters left: 4 (27 enodes)
1.999 * * [simplify]: Extracting #0: cost 1 inf + 0
1.999 * * [simplify]: Extracting #1: cost 3 inf + 0
1.999 * * [simplify]: Extracting #2: cost 5 inf + 0
1.999 * * [simplify]: Extracting #3: cost 9 inf + 0
1.999 * * [simplify]: Extracting #4: cost 9 inf + 2
1.999 * * [simplify]: Extracting #5: cost 6 inf + 87
1.999 * * [simplify]: Extracting #6: cost 1 inf + 657
1.999 * * [simplify]: Extracting #7: cost 0 inf + 819
1.999 * [simplify]: Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
1.999 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))
2.000 * * * * [progress]: [ 11 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
2.000 * [simplify]: Simplifying (sqrt 1)
2.000 * * [simplify]: iters left: 1 (2 enodes)
2.002 * * [simplify]: Extracting #0: cost 1 inf + 0
2.002 * * [simplify]: Extracting #1: cost 0 inf + 1
2.002 * [simplify]: Simplified to 1
2.002 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))
2.002 * * * * [progress]: [ 12 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))))))>
2.002 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))
2.003 * * [simplify]: iters left: 6 (7 enodes)
2.005 * * [simplify]: iters left: 5 (24 enodes)
2.009 * * [simplify]: iters left: 4 (26 enodes)
2.013 * * [simplify]: Extracting #0: cost 1 inf + 0
2.013 * * [simplify]: Extracting #1: cost 3 inf + 0
2.014 * * [simplify]: Extracting #2: cost 6 inf + 0
2.014 * * [simplify]: Extracting #3: cost 7 inf + 1
2.014 * * [simplify]: Extracting #4: cost 9 inf + 1
2.014 * * [simplify]: Extracting #5: cost 8 inf + 2
2.014 * * [simplify]: Extracting #6: cost 4 inf + 250
2.014 * * [simplify]: Extracting #7: cost 2 inf + 534
2.014 * * [simplify]: Extracting #8: cost 0 inf + 818
2.014 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.014 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))))))
2.014 * * * * [progress]: [ 13 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
2.015 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
2.015 * * [simplify]: iters left: 6 (6 enodes)
2.016 * * [simplify]: iters left: 5 (21 enodes)
2.020 * * [simplify]: iters left: 4 (23 enodes)
2.026 * * [simplify]: Extracting #0: cost 1 inf + 0
2.026 * * [simplify]: Extracting #1: cost 3 inf + 0
2.026 * * [simplify]: Extracting #2: cost 6 inf + 0
2.026 * * [simplify]: Extracting #3: cost 7 inf + 1
2.026 * * [simplify]: Extracting #4: cost 9 inf + 1
2.026 * * [simplify]: Extracting #5: cost 8 inf + 2
2.027 * * [simplify]: Extracting #6: cost 1 inf + 656
2.027 * * [simplify]: Extracting #7: cost 0 inf + 818
2.027 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.027 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))
2.027 * * * * [progress]: [ 14 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))>
2.028 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
2.028 * * [simplify]: iters left: 6 (7 enodes)
2.032 * * [simplify]: iters left: 5 (24 enodes)
2.038 * * [simplify]: iters left: 4 (26 enodes)
2.045 * * [simplify]: Extracting #0: cost 1 inf + 0
2.045 * * [simplify]: Extracting #1: cost 3 inf + 0
2.045 * * [simplify]: Extracting #2: cost 6 inf + 0
2.045 * * [simplify]: Extracting #3: cost 7 inf + 1
2.045 * * [simplify]: Extracting #4: cost 9 inf + 1
2.045 * * [simplify]: Extracting #5: cost 6 inf + 84
2.045 * * [simplify]: Extracting #6: cost 2 inf + 532
2.046 * * [simplify]: Extracting #7: cost 0 inf + 816
2.046 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.046 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))
2.046 * * * * [progress]: [ 15 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
2.046 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
2.047 * * [simplify]: iters left: 6 (7 enodes)
2.051 * * [simplify]: iters left: 5 (24 enodes)
2.057 * * [simplify]: iters left: 4 (26 enodes)
2.064 * * [simplify]: Extracting #0: cost 1 inf + 0
2.064 * * [simplify]: Extracting #1: cost 3 inf + 0
2.064 * * [simplify]: Extracting #2: cost 6 inf + 0
2.064 * * [simplify]: Extracting #3: cost 7 inf + 1
2.064 * * [simplify]: Extracting #4: cost 9 inf + 1
2.064 * * [simplify]: Extracting #5: cost 6 inf + 84
2.064 * * [simplify]: Extracting #6: cost 2 inf + 532
2.064 * * [simplify]: Extracting #7: cost 0 inf + 816
2.065 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.065 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))
2.065 * * * * [progress]: [ 16 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))))))>
2.065 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))
2.065 * * [simplify]: iters left: 6 (7 enodes)
2.069 * * [simplify]: iters left: 5 (24 enodes)
2.073 * * [simplify]: iters left: 4 (26 enodes)
2.077 * * [simplify]: Extracting #0: cost 1 inf + 0
2.077 * * [simplify]: Extracting #1: cost 3 inf + 0
2.077 * * [simplify]: Extracting #2: cost 6 inf + 0
2.077 * * [simplify]: Extracting #3: cost 7 inf + 1
2.077 * * [simplify]: Extracting #4: cost 9 inf + 1
2.077 * * [simplify]: Extracting #5: cost 8 inf + 2
2.077 * * [simplify]: Extracting #6: cost 4 inf + 248
2.077 * * [simplify]: Extracting #7: cost 2 inf + 532
2.078 * * [simplify]: Extracting #8: cost 0 inf + 816
2.078 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.078 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))))))
2.078 * * * * [progress]: [ 17 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))>
2.078 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) 1))
2.078 * * [simplify]: iters left: 6 (6 enodes)
2.080 * * [simplify]: iters left: 5 (21 enodes)
2.083 * * [simplify]: iters left: 4 (23 enodes)
2.087 * * [simplify]: Extracting #0: cost 1 inf + 0
2.087 * * [simplify]: Extracting #1: cost 3 inf + 0
2.087 * * [simplify]: Extracting #2: cost 6 inf + 0
2.087 * * [simplify]: Extracting #3: cost 7 inf + 1
2.087 * * [simplify]: Extracting #4: cost 9 inf + 1
2.087 * * [simplify]: Extracting #5: cost 8 inf + 2
2.088 * * [simplify]: Extracting #6: cost 1 inf + 654
2.088 * * [simplify]: Extracting #7: cost 0 inf + 816
2.088 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.088 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))
2.088 * * * * [progress]: [ 18 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))>
2.088 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
2.088 * * [simplify]: iters left: 6 (6 enodes)
2.090 * * [simplify]: iters left: 5 (21 enodes)
2.096 * * [simplify]: iters left: 4 (23 enodes)
2.100 * * [simplify]: Extracting #0: cost 1 inf + 0
2.100 * * [simplify]: Extracting #1: cost 3 inf + 0
2.100 * * [simplify]: Extracting #2: cost 6 inf + 0
2.100 * * [simplify]: Extracting #3: cost 7 inf + 1
2.100 * * [simplify]: Extracting #4: cost 9 inf + 1
2.100 * * [simplify]: Extracting #5: cost 8 inf + 2
2.100 * * [simplify]: Extracting #6: cost 1 inf + 656
2.100 * * [simplify]: Extracting #7: cost 0 inf + 818
2.101 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.101 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))))))
2.101 * * * * [progress]: [ 19 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
2.101 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
2.101 * * [simplify]: iters left: 6 (7 enodes)
2.104 * * [simplify]: iters left: 5 (24 enodes)
2.108 * * [simplify]: iters left: 4 (26 enodes)
2.116 * * [simplify]: Extracting #0: cost 1 inf + 0
2.116 * * [simplify]: Extracting #1: cost 3 inf + 0
2.116 * * [simplify]: Extracting #2: cost 6 inf + 0
2.116 * * [simplify]: Extracting #3: cost 7 inf + 1
2.116 * * [simplify]: Extracting #4: cost 9 inf + 1
2.116 * * [simplify]: Extracting #5: cost 6 inf + 84
2.116 * * [simplify]: Extracting #6: cost 2 inf + 532
2.116 * * [simplify]: Extracting #7: cost 0 inf + 816
2.117 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.117 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))
2.117 * * * * [progress]: [ 20 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))>
2.117 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) 1))
2.117 * * [simplify]: iters left: 6 (6 enodes)
2.121 * * [simplify]: iters left: 5 (21 enodes)
2.127 * * [simplify]: iters left: 4 (23 enodes)
2.135 * * [simplify]: Extracting #0: cost 1 inf + 0
2.135 * * [simplify]: Extracting #1: cost 3 inf + 0
2.135 * * [simplify]: Extracting #2: cost 6 inf + 0
2.135 * * [simplify]: Extracting #3: cost 7 inf + 1
2.135 * * [simplify]: Extracting #4: cost 9 inf + 1
2.135 * * [simplify]: Extracting #5: cost 8 inf + 2
2.135 * * [simplify]: Extracting #6: cost 1 inf + 654
2.135 * * [simplify]: Extracting #7: cost 0 inf + 816
2.136 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.136 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))))))
2.136 * * * * [progress]: [ 21 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
2.136 * [simplify]: Simplifying (sqrt 1)
2.136 * * [simplify]: iters left: 1 (2 enodes)
2.138 * * [simplify]: Extracting #0: cost 1 inf + 0
2.138 * * [simplify]: Extracting #1: cost 0 inf + 1
2.138 * [simplify]: Simplified to 1
2.138 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))
2.138 * * * * [progress]: [ 22 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))))))>
2.138 * [simplify]: Simplifying (sqrt 1)
2.138 * * [simplify]: iters left: 1 (2 enodes)
2.140 * * [simplify]: Extracting #0: cost 1 inf + 0
2.140 * * [simplify]: Extracting #1: cost 0 inf + 1
2.140 * [simplify]: Simplified to 1
2.140 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))
2.140 * * * * [progress]: [ 23 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
2.141 * [simplify]: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
2.141 * * [simplify]: iters left: 6 (8 enodes)
2.144 * * [simplify]: iters left: 5 (39 enodes)
2.153 * * [simplify]: iters left: 4 (86 enodes)
2.172 * * [simplify]: iters left: 3 (146 enodes)
2.230 * * [simplify]: iters left: 2 (249 enodes)
2.293 * * [simplify]: Extracting #0: cost 1 inf + 0
2.293 * * [simplify]: Extracting #1: cost 3 inf + 0
2.293 * * [simplify]: Extracting #2: cost 23 inf + 0
2.293 * * [simplify]: Extracting #3: cost 95 inf + 2
2.294 * * [simplify]: Extracting #4: cost 100 inf + 2803
2.300 * * [simplify]: Extracting #5: cost 47 inf + 24249
2.309 * * [simplify]: Extracting #6: cost 0 inf + 44933
2.318 * * [simplify]: Extracting #7: cost 0 inf + 44821
2.325 * [simplify]: Simplified to (sqrt (fma (/ 1 x) (/ (/ 1 x) x) -1))
2.325 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (fma (/ 1 x) (/ (/ 1 x) x) -1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
2.325 * * * * [progress]: [ 24 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))))))>
2.325 * [simplify]: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
2.325 * * [simplify]: iters left: 6 (7 enodes)
2.328 * * [simplify]: iters left: 5 (30 enodes)
2.333 * * [simplify]: iters left: 4 (45 enodes)
2.340 * * [simplify]: iters left: 3 (63 enodes)
2.349 * * [simplify]: iters left: 2 (84 enodes)
2.374 * * [simplify]: iters left: 1 (132 enodes)
2.414 * * [simplify]: Extracting #0: cost 1 inf + 0
2.414 * * [simplify]: Extracting #1: cost 3 inf + 0
2.414 * * [simplify]: Extracting #2: cost 31 inf + 0
2.415 * * [simplify]: Extracting #3: cost 41 inf + 2
2.415 * * [simplify]: Extracting #4: cost 41 inf + 3
2.416 * * [simplify]: Extracting #5: cost 19 inf + 2228
2.419 * * [simplify]: Extracting #6: cost 0 inf + 4814
2.422 * [simplify]: Simplified to (sqrt (fma (/ 1 x) (/ 1 x) -1))
2.422 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (/ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (sqrt (+ (/ 1 x) 1)))))))
2.422 * * * * [progress]: [ 25 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) (/ 1 2))))))>
2.422 * [simplify]: Simplifying (- (/ 1 x) 1)
2.422 * * [simplify]: iters left: 4 (4 enodes)
2.425 * * [simplify]: iters left: 3 (17 enodes)
2.431 * * [simplify]: iters left: 2 (21 enodes)
2.437 * * [simplify]: Extracting #0: cost 1 inf + 0
2.437 * * [simplify]: Extracting #1: cost 5 inf + 0
2.437 * * [simplify]: Extracting #2: cost 5 inf + 2
2.438 * * [simplify]: Extracting #3: cost 0 inf + 251
2.438 * [simplify]: Simplified to (- (/ 1 x) 1)
2.438 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (pow (- (/ 1 x) 1) (/ 1 2))))))
2.438 * * * * [progress]: [ 26 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))))))>
2.438 * * * * [progress]: [ 27 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))>
2.438 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
2.438 * * [simplify]: iters left: 5 (5 enodes)
2.442 * * [simplify]: iters left: 4 (20 enodes)
2.448 * * [simplify]: iters left: 3 (24 enodes)
2.454 * * [simplify]: Extracting #0: cost 1 inf + 0
2.454 * * [simplify]: Extracting #1: cost 3 inf + 0
2.455 * * [simplify]: Extracting #2: cost 7 inf + 0
2.455 * * [simplify]: Extracting #3: cost 7 inf + 2
2.455 * * [simplify]: Extracting #4: cost 0 inf + 495
2.455 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
2.455 * [simplify]: Simplified (2 1 2 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (fabs (sqrt (- (/ 1 x) 1)))))))
2.455 * * * * [progress]: [ 28 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (* 1 (sqrt (- (/ 1 x) 1)))))))>
2.455 * * * * [progress]: [ 29 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (posit16->real (real->posit16 (sqrt (- (/ 1 x) 1))))))))>
2.455 * * * * [progress]: [ 30 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log1p (expm1 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.455 * * * * [progress]: [ 31 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (expm1 (log1p (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.455 * * * * [progress]: [ 32 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) 1/2)) (log (sqrt (- (/ 1 x) 1))))))>
2.455 * * * * [progress]: [ 33 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (sqrt (- (/ 1 x) 1)) 1)) (log (sqrt (- (/ 1 x) 1))))))>
2.455 * * * * [progress]: [ 34 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.456 * * * * [progress]: [ 35 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (log (exp (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.456 * * * * [progress]: [ 36 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.456 * * * * [progress]: [ 37 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (cbrt (* (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))) (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.456 * * * * [progress]: [ 38 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.456 * [simplify]: Simplifying (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
2.456 * * [simplify]: iters left: 6 (7 enodes)
2.460 * * [simplify]: iters left: 5 (27 enodes)
2.469 * * [simplify]: iters left: 4 (31 enodes)
2.478 * * [simplify]: Extracting #0: cost 1 inf + 0
2.478 * * [simplify]: Extracting #1: cost 4 inf + 0
2.478 * * [simplify]: Extracting #2: cost 7 inf + 0
2.478 * * [simplify]: Extracting #3: cost 11 inf + 0
2.478 * * [simplify]: Extracting #4: cost 11 inf + 2
2.478 * * [simplify]: Extracting #5: cost 10 inf + 3
2.478 * * [simplify]: Extracting #6: cost 7 inf + 169
2.478 * * [simplify]: Extracting #7: cost 1 inf + 1181
2.478 * * [simplify]: Extracting #8: cost 0 inf + 1383
2.479 * [simplify]: Simplified to (fabs (cbrt (- (/ 1 x) 1)))
2.479 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (fabs (cbrt (- (/ 1 x) 1))) (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
2.479 * * * * [progress]: [ 39 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.479 * [simplify]: Simplifying (sqrt (sqrt (- (/ 1 x) 1)))
2.479 * * [simplify]: iters left: 6 (6 enodes)
2.481 * * [simplify]: iters left: 5 (23 enodes)
2.485 * * [simplify]: iters left: 4 (27 enodes)
2.489 * * [simplify]: Extracting #0: cost 1 inf + 0
2.489 * * [simplify]: Extracting #1: cost 3 inf + 0
2.489 * * [simplify]: Extracting #2: cost 5 inf + 0
2.489 * * [simplify]: Extracting #3: cost 9 inf + 0
2.489 * * [simplify]: Extracting #4: cost 9 inf + 2
2.489 * * [simplify]: Extracting #5: cost 6 inf + 87
2.489 * * [simplify]: Extracting #6: cost 1 inf + 657
2.489 * * [simplify]: Extracting #7: cost 0 inf + 819
2.489 * [simplify]: Simplified to (sqrt (sqrt (- (/ 1 x) 1)))
2.489 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
2.490 * * * * [progress]: [ 40 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.490 * [simplify]: Simplifying (sqrt 1)
2.490 * * [simplify]: iters left: 1 (2 enodes)
2.492 * * [simplify]: Extracting #0: cost 1 inf + 0
2.492 * * [simplify]: Extracting #1: cost 0 inf + 1
2.492 * [simplify]: Simplified to 1
2.492 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.492 * * * * [progress]: [ 41 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.492 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))
2.492 * * [simplify]: iters left: 6 (7 enodes)
2.495 * * [simplify]: iters left: 5 (24 enodes)
2.498 * * [simplify]: iters left: 4 (26 enodes)
2.502 * * [simplify]: Extracting #0: cost 1 inf + 0
2.502 * * [simplify]: Extracting #1: cost 3 inf + 0
2.502 * * [simplify]: Extracting #2: cost 6 inf + 0
2.502 * * [simplify]: Extracting #3: cost 7 inf + 1
2.502 * * [simplify]: Extracting #4: cost 9 inf + 1
2.502 * * [simplify]: Extracting #5: cost 8 inf + 2
2.502 * * [simplify]: Extracting #6: cost 4 inf + 250
2.503 * * [simplify]: Extracting #7: cost 2 inf + 534
2.503 * * [simplify]: Extracting #8: cost 0 inf + 818
2.503 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.503 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
2.503 * * * * [progress]: [ 42 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.503 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
2.503 * * [simplify]: iters left: 6 (6 enodes)
2.509 * * [simplify]: iters left: 5 (21 enodes)
2.516 * * [simplify]: iters left: 4 (23 enodes)
2.523 * * [simplify]: Extracting #0: cost 1 inf + 0
2.523 * * [simplify]: Extracting #1: cost 3 inf + 0
2.523 * * [simplify]: Extracting #2: cost 6 inf + 0
2.523 * * [simplify]: Extracting #3: cost 7 inf + 1
2.523 * * [simplify]: Extracting #4: cost 9 inf + 1
2.523 * * [simplify]: Extracting #5: cost 8 inf + 2
2.523 * * [simplify]: Extracting #6: cost 1 inf + 656
2.524 * * [simplify]: Extracting #7: cost 0 inf + 818
2.524 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.524 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.524 * * * * [progress]: [ 43 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.524 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
2.525 * * [simplify]: iters left: 6 (7 enodes)
2.529 * * [simplify]: iters left: 5 (24 enodes)
2.536 * * [simplify]: iters left: 4 (26 enodes)
2.544 * * [simplify]: Extracting #0: cost 1 inf + 0
2.544 * * [simplify]: Extracting #1: cost 3 inf + 0
2.544 * * [simplify]: Extracting #2: cost 6 inf + 0
2.544 * * [simplify]: Extracting #3: cost 7 inf + 1
2.544 * * [simplify]: Extracting #4: cost 9 inf + 1
2.544 * * [simplify]: Extracting #5: cost 6 inf + 84
2.544 * * [simplify]: Extracting #6: cost 2 inf + 532
2.544 * * [simplify]: Extracting #7: cost 0 inf + 816
2.545 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.545 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
2.545 * * * * [progress]: [ 44 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.545 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
2.545 * * [simplify]: iters left: 6 (7 enodes)
2.550 * * [simplify]: iters left: 5 (24 enodes)
2.557 * * [simplify]: iters left: 4 (26 enodes)
2.564 * * [simplify]: Extracting #0: cost 1 inf + 0
2.565 * * [simplify]: Extracting #1: cost 3 inf + 0
2.565 * * [simplify]: Extracting #2: cost 6 inf + 0
2.565 * * [simplify]: Extracting #3: cost 7 inf + 1
2.565 * * [simplify]: Extracting #4: cost 9 inf + 1
2.565 * * [simplify]: Extracting #5: cost 6 inf + 84
2.565 * * [simplify]: Extracting #6: cost 2 inf + 532
2.565 * * [simplify]: Extracting #7: cost 0 inf + 816
2.566 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.566 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.566 * * * * [progress]: [ 45 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.566 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))
2.566 * * [simplify]: iters left: 6 (7 enodes)
2.571 * * [simplify]: iters left: 5 (24 enodes)
2.575 * * [simplify]: iters left: 4 (26 enodes)
2.579 * * [simplify]: Extracting #0: cost 1 inf + 0
2.579 * * [simplify]: Extracting #1: cost 3 inf + 0
2.579 * * [simplify]: Extracting #2: cost 6 inf + 0
2.579 * * [simplify]: Extracting #3: cost 7 inf + 1
2.579 * * [simplify]: Extracting #4: cost 9 inf + 1
2.579 * * [simplify]: Extracting #5: cost 8 inf + 2
2.579 * * [simplify]: Extracting #6: cost 4 inf + 248
2.579 * * [simplify]: Extracting #7: cost 2 inf + 532
2.579 * * [simplify]: Extracting #8: cost 0 inf + 816
2.580 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.580 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
2.580 * * * * [progress]: [ 46 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.580 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) 1))
2.580 * * [simplify]: iters left: 6 (6 enodes)
2.581 * * [simplify]: iters left: 5 (21 enodes)
2.585 * * [simplify]: iters left: 4 (23 enodes)
2.588 * * [simplify]: Extracting #0: cost 1 inf + 0
2.588 * * [simplify]: Extracting #1: cost 3 inf + 0
2.588 * * [simplify]: Extracting #2: cost 6 inf + 0
2.588 * * [simplify]: Extracting #3: cost 7 inf + 1
2.588 * * [simplify]: Extracting #4: cost 9 inf + 1
2.588 * * [simplify]: Extracting #5: cost 8 inf + 2
2.588 * * [simplify]: Extracting #6: cost 1 inf + 654
2.588 * * [simplify]: Extracting #7: cost 0 inf + 816
2.589 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.589 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.589 * * * * [progress]: [ 47 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.589 * [simplify]: Simplifying (sqrt (+ (sqrt (/ 1 x)) 1))
2.589 * * [simplify]: iters left: 6 (6 enodes)
2.590 * * [simplify]: iters left: 5 (21 enodes)
2.594 * * [simplify]: iters left: 4 (23 enodes)
2.597 * * [simplify]: Extracting #0: cost 1 inf + 0
2.597 * * [simplify]: Extracting #1: cost 3 inf + 0
2.597 * * [simplify]: Extracting #2: cost 6 inf + 0
2.598 * * [simplify]: Extracting #3: cost 7 inf + 1
2.598 * * [simplify]: Extracting #4: cost 9 inf + 1
2.598 * * [simplify]: Extracting #5: cost 8 inf + 2
2.598 * * [simplify]: Extracting #6: cost 1 inf + 656
2.598 * * [simplify]: Extracting #7: cost 0 inf + 818
2.598 * [simplify]: Simplified to (sqrt (+ (sqrt (/ 1 x)) 1))
2.598 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (sqrt (/ 1 x)) 1)) (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.598 * * * * [progress]: [ 48 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.598 * [simplify]: Simplifying (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))
2.598 * * [simplify]: iters left: 6 (7 enodes)
2.601 * * [simplify]: iters left: 5 (24 enodes)
2.605 * * [simplify]: iters left: 4 (26 enodes)
2.609 * * [simplify]: Extracting #0: cost 1 inf + 0
2.609 * * [simplify]: Extracting #1: cost 3 inf + 0
2.609 * * [simplify]: Extracting #2: cost 6 inf + 0
2.609 * * [simplify]: Extracting #3: cost 7 inf + 1
2.609 * * [simplify]: Extracting #4: cost 9 inf + 1
2.609 * * [simplify]: Extracting #5: cost 6 inf + 84
2.609 * * [simplify]: Extracting #6: cost 2 inf + 532
2.609 * * [simplify]: Extracting #7: cost 0 inf + 816
2.609 * [simplify]: Simplified to (sqrt (+ 1 (/ 1 (sqrt x))))
2.609 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ 1 (/ 1 (sqrt x)))) (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.609 * * * * [progress]: [ 49 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.610 * [simplify]: Simplifying (sqrt (+ (/ 1 (sqrt x)) 1))
2.610 * * [simplify]: iters left: 6 (6 enodes)
2.611 * * [simplify]: iters left: 5 (21 enodes)
2.615 * * [simplify]: iters left: 4 (23 enodes)
2.619 * * [simplify]: Extracting #0: cost 1 inf + 0
2.619 * * [simplify]: Extracting #1: cost 3 inf + 0
2.619 * * [simplify]: Extracting #2: cost 6 inf + 0
2.619 * * [simplify]: Extracting #3: cost 7 inf + 1
2.619 * * [simplify]: Extracting #4: cost 9 inf + 1
2.619 * * [simplify]: Extracting #5: cost 8 inf + 2
2.619 * * [simplify]: Extracting #6: cost 1 inf + 654
2.619 * * [simplify]: Extracting #7: cost 0 inf + 816
2.619 * [simplify]: Simplified to (sqrt (+ (/ 1 (sqrt x)) 1))
2.620 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* (sqrt (+ (/ 1 (sqrt x)) 1)) (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.620 * * * * [progress]: [ 50 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.620 * [simplify]: Simplifying (sqrt 1)
2.620 * * [simplify]: iters left: 1 (2 enodes)
2.623 * * [simplify]: Extracting #0: cost 1 inf + 0
2.624 * * [simplify]: Extracting #1: cost 0 inf + 1
2.624 * [simplify]: Simplified to 1
2.624 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.624 * * * * [progress]: [ 51 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt 1) (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.624 * [simplify]: Simplifying (sqrt 1)
2.624 * * [simplify]: iters left: 1 (2 enodes)
2.626 * * [simplify]: Extracting #0: cost 1 inf + 0
2.626 * * [simplify]: Extracting #1: cost 0 inf + 1
2.626 * [simplify]: Simplified to 1
2.626 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.626 * * * * [progress]: [ 52 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (pow (/ 1 x) 3) (pow 1 3))) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
2.627 * [simplify]: Simplifying (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))
2.627 * * [simplify]: iters left: 6 (8 enodes)
2.630 * * [simplify]: iters left: 5 (39 enodes)
2.639 * * [simplify]: iters left: 4 (86 enodes)
2.656 * * [simplify]: iters left: 3 (146 enodes)
2.697 * * [simplify]: iters left: 2 (249 enodes)
2.757 * * [simplify]: Extracting #0: cost 1 inf + 0
2.757 * * [simplify]: Extracting #1: cost 3 inf + 0
2.758 * * [simplify]: Extracting #2: cost 23 inf + 0
2.758 * * [simplify]: Extracting #3: cost 95 inf + 2
2.758 * * [simplify]: Extracting #4: cost 100 inf + 2803
2.761 * * [simplify]: Extracting #5: cost 47 inf + 24249
2.765 * * [simplify]: Extracting #6: cost 0 inf + 44933
2.769 * * [simplify]: Extracting #7: cost 0 inf + 44821
2.774 * [simplify]: Simplified to (sqrt (fma (/ 1 x) (/ (/ 1 x) x) -1))
2.774 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (fma (/ 1 x) (/ (/ 1 x) x) -1)) (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))
2.774 * * * * [progress]: [ 53 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (/ (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.774 * [simplify]: Simplifying (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
2.774 * * [simplify]: iters left: 6 (7 enodes)
2.777 * * [simplify]: iters left: 5 (30 enodes)
2.783 * * [simplify]: iters left: 4 (45 enodes)
2.799 * * [simplify]: iters left: 3 (63 enodes)
2.810 * * [simplify]: iters left: 2 (84 enodes)
2.827 * * [simplify]: iters left: 1 (132 enodes)
2.858 * * [simplify]: Extracting #0: cost 1 inf + 0
2.858 * * [simplify]: Extracting #1: cost 3 inf + 0
2.858 * * [simplify]: Extracting #2: cost 31 inf + 0
2.858 * * [simplify]: Extracting #3: cost 41 inf + 2
2.858 * * [simplify]: Extracting #4: cost 41 inf + 3
2.859 * * [simplify]: Extracting #5: cost 19 inf + 2228
2.861 * * [simplify]: Extracting #6: cost 0 inf + 4814
2.864 * [simplify]: Simplified to (sqrt (fma (/ 1 x) (/ 1 x) -1))
2.864 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (/ (sqrt (fma (/ 1 x) (/ 1 x) -1)) (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.864 * * * * [progress]: [ 54 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (pow (- (/ 1 x) 1) (/ 1 2))) (log (sqrt (- (/ 1 x) 1))))))>
2.865 * [simplify]: Simplifying (- (/ 1 x) 1)
2.865 * * [simplify]: iters left: 4 (4 enodes)
2.866 * * [simplify]: iters left: 3 (17 enodes)
2.869 * * [simplify]: iters left: 2 (21 enodes)
2.872 * * [simplify]: Extracting #0: cost 1 inf + 0
2.872 * * [simplify]: Extracting #1: cost 5 inf + 0
2.872 * * [simplify]: Extracting #2: cost 5 inf + 2
2.873 * * [simplify]: Extracting #3: cost 0 inf + 251
2.873 * [simplify]: Simplified to (- (/ 1 x) 1)
2.873 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (pow (- (/ 1 x) 1) (/ 1 2))) (log (sqrt (- (/ 1 x) 1))))))
2.873 * * * * [progress]: [ 55 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (sqrt (sqrt (- (/ 1 x) 1))) (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.873 * * * * [progress]: [ 56 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.873 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
2.873 * * [simplify]: iters left: 5 (5 enodes)
2.875 * * [simplify]: iters left: 4 (20 enodes)
2.878 * * [simplify]: iters left: 3 (24 enodes)
2.882 * * [simplify]: Extracting #0: cost 1 inf + 0
2.882 * * [simplify]: Extracting #1: cost 3 inf + 0
2.882 * * [simplify]: Extracting #2: cost 7 inf + 0
2.882 * * [simplify]: Extracting #3: cost 7 inf + 2
2.882 * * [simplify]: Extracting #4: cost 0 inf + 495
2.882 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
2.882 * [simplify]: Simplified (2 1 1 1 1) to (λ (x) (- (+ (log (fabs (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
2.882 * * * * [progress]: [ 57 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* 1 (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
2.882 * * * * [progress]: [ 58 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (posit16->real (real->posit16 (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
2.882 * * * * [progress]: [ 59 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log1p (expm1 (log (sqrt (- (/ 1 x) 1))))))))>
2.882 * * * * [progress]: [ 60 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (expm1 (log1p (log (sqrt (- (/ 1 x) 1))))))))>
2.882 * * * * [progress]: [ 61 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))))))>
2.882 * [simplify]: Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
2.882 * * [simplify]: iters left: 6 (8 enodes)
2.885 * * [simplify]: iters left: 5 (31 enodes)
2.890 * * [simplify]: iters left: 4 (37 enodes)
2.895 * * [simplify]: Extracting #0: cost 1 inf + 0
2.896 * * [simplify]: Extracting #1: cost 4 inf + 0
2.896 * * [simplify]: Extracting #2: cost 7 inf + 0
2.896 * * [simplify]: Extracting #3: cost 9 inf + 0
2.896 * * [simplify]: Extracting #4: cost 11 inf + 0
2.896 * * [simplify]: Extracting #5: cost 15 inf + 0
2.896 * * [simplify]: Extracting #6: cost 15 inf + 2
2.896 * * [simplify]: Extracting #7: cost 14 inf + 3
2.896 * * [simplify]: Extracting #8: cost 11 inf + 169
2.896 * * [simplify]: Extracting #9: cost 7 inf + 697
2.896 * * [simplify]: Extracting #10: cost 0 inf + 2551
2.897 * [simplify]: Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
2.897 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))))))
2.897 * * * * [progress]: [ 62 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (log (sqrt (cbrt (- (/ 1 x) 1))))))))>
2.897 * [simplify]: Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
2.897 * * [simplify]: iters left: 6 (8 enodes)
2.899 * * [simplify]: iters left: 5 (30 enodes)
2.904 * * [simplify]: iters left: 4 (34 enodes)
2.910 * * [simplify]: Extracting #0: cost 1 inf + 0
2.910 * * [simplify]: Extracting #1: cost 3 inf + 0
2.910 * * [simplify]: Extracting #2: cost 6 inf + 0
2.910 * * [simplify]: Extracting #3: cost 9 inf + 0
2.910 * * [simplify]: Extracting #4: cost 13 inf + 0
2.910 * * [simplify]: Extracting #5: cost 13 inf + 2
2.910 * * [simplify]: Extracting #6: cost 12 inf + 3
2.910 * * [simplify]: Extracting #7: cost 9 inf + 169
2.910 * * [simplify]: Extracting #8: cost 3 inf + 1291
2.910 * * [simplify]: Extracting #9: cost 0 inf + 1927
2.911 * [simplify]: Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
2.911 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1))))))))
2.911 * * * * [progress]: [ 63 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
2.911 * [simplify]: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
2.911 * * [simplify]: iters left: 6 (7 enodes)
2.913 * * [simplify]: iters left: 5 (26 enodes)
2.918 * * [simplify]: iters left: 4 (30 enodes)
2.922 * * [simplify]: Extracting #0: cost 1 inf + 0
2.922 * * [simplify]: Extracting #1: cost 3 inf + 0
2.922 * * [simplify]: Extracting #2: cost 5 inf + 0
2.922 * * [simplify]: Extracting #3: cost 7 inf + 0
2.923 * * [simplify]: Extracting #4: cost 11 inf + 0
2.923 * * [simplify]: Extracting #5: cost 11 inf + 2
2.923 * * [simplify]: Extracting #6: cost 10 inf + 3
2.923 * * [simplify]: Extracting #7: cost 6 inf + 251
2.923 * * [simplify]: Extracting #8: cost 4 inf + 535
2.923 * * [simplify]: Extracting #9: cost 1 inf + 1051
2.923 * * [simplify]: Extracting #10: cost 0 inf + 1283
2.923 * [simplify]: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
2.924 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))
2.924 * * * * [progress]: [ 64 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))))))>
2.924 * [simplify]: Simplifying (log (sqrt 1))
2.924 * * [simplify]: iters left: 2 (3 enodes)
2.926 * * [simplify]: iters left: 1 (11 enodes)
2.928 * * [simplify]: Extracting #0: cost 1 inf + 0
2.928 * * [simplify]: Extracting #1: cost 0 inf + 1
2.928 * [simplify]: Simplified to 0
2.928 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
2.928 * * * * [progress]: [ 65 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))) (log (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))))))>
2.928 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))))
2.928 * * [simplify]: iters left: 6 (8 enodes)
2.931 * * [simplify]: iters left: 5 (27 enodes)
2.935 * * [simplify]: iters left: 4 (29 enodes)
2.940 * * [simplify]: Extracting #0: cost 1 inf + 0
2.940 * * [simplify]: Extracting #1: cost 3 inf + 0
2.940 * * [simplify]: Extracting #2: cost 5 inf + 0
2.940 * * [simplify]: Extracting #3: cost 8 inf + 0
2.940 * * [simplify]: Extracting #4: cost 9 inf + 1
2.940 * * [simplify]: Extracting #5: cost 11 inf + 1
2.940 * * [simplify]: Extracting #6: cost 8 inf + 86
2.940 * * [simplify]: Extracting #7: cost 4 inf + 534
2.940 * * [simplify]: Extracting #8: cost 1 inf + 1050
2.941 * * [simplify]: Extracting #9: cost 0 inf + 1282
2.941 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
2.941 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))))))
2.941 * * * * [progress]: [ 66 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))>
2.941 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
2.941 * * [simplify]: iters left: 6 (7 enodes)
2.943 * * [simplify]: iters left: 5 (24 enodes)
2.947 * * [simplify]: iters left: 4 (26 enodes)
2.952 * * [simplify]: Extracting #0: cost 1 inf + 0
2.952 * * [simplify]: Extracting #1: cost 3 inf + 0
2.952 * * [simplify]: Extracting #2: cost 5 inf + 0
2.952 * * [simplify]: Extracting #3: cost 8 inf + 0
2.952 * * [simplify]: Extracting #4: cost 9 inf + 1
2.953 * * [simplify]: Extracting #5: cost 11 inf + 1
2.953 * * [simplify]: Extracting #6: cost 10 inf + 2
2.953 * * [simplify]: Extracting #7: cost 6 inf + 250
2.953 * * [simplify]: Extracting #8: cost 2 inf + 888
2.953 * * [simplify]: Extracting #9: cost 0 inf + 1282
2.953 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
2.953 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))
2.953 * * * * [progress]: [ 67 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))>
2.954 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))))
2.954 * * [simplify]: iters left: 6 (8 enodes)
2.956 * * [simplify]: iters left: 5 (27 enodes)
2.960 * * [simplify]: iters left: 4 (29 enodes)
2.965 * * [simplify]: Extracting #0: cost 1 inf + 0
2.965 * * [simplify]: Extracting #1: cost 3 inf + 0
2.965 * * [simplify]: Extracting #2: cost 5 inf + 0
2.965 * * [simplify]: Extracting #3: cost 8 inf + 0
2.965 * * [simplify]: Extracting #4: cost 9 inf + 1
2.965 * * [simplify]: Extracting #5: cost 11 inf + 1
2.965 * * [simplify]: Extracting #6: cost 10 inf + 2
2.965 * * [simplify]: Extracting #7: cost 7 inf + 166
2.965 * * [simplify]: Extracting #8: cost 4 inf + 532
2.966 * * [simplify]: Extracting #9: cost 1 inf + 1048
2.966 * * [simplify]: Extracting #10: cost 0 inf + 1280
2.967 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
2.967 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))))
2.967 * * * * [progress]: [ 68 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
2.967 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)))
2.967 * * [simplify]: iters left: 6 (8 enodes)
2.972 * * [simplify]: iters left: 5 (27 enodes)
2.980 * * [simplify]: iters left: 4 (29 enodes)
2.988 * * [simplify]: Extracting #0: cost 1 inf + 0
2.988 * * [simplify]: Extracting #1: cost 3 inf + 0
2.988 * * [simplify]: Extracting #2: cost 5 inf + 0
2.988 * * [simplify]: Extracting #3: cost 8 inf + 0
2.988 * * [simplify]: Extracting #4: cost 9 inf + 1
2.989 * * [simplify]: Extracting #5: cost 11 inf + 1
2.989 * * [simplify]: Extracting #6: cost 10 inf + 2
2.989 * * [simplify]: Extracting #7: cost 7 inf + 166
2.989 * * [simplify]: Extracting #8: cost 4 inf + 532
2.989 * * [simplify]: Extracting #9: cost 1 inf + 1048
2.990 * * [simplify]: Extracting #10: cost 0 inf + 1280
2.990 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
2.990 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))
2.990 * * * * [progress]: [ 69 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))) (log (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))))))>
2.991 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))))
2.991 * * [simplify]: iters left: 6 (8 enodes)
2.997 * * [simplify]: iters left: 5 (27 enodes)
3.005 * * [simplify]: iters left: 4 (29 enodes)
3.013 * * [simplify]: Extracting #0: cost 1 inf + 0
3.013 * * [simplify]: Extracting #1: cost 3 inf + 0
3.013 * * [simplify]: Extracting #2: cost 5 inf + 0
3.013 * * [simplify]: Extracting #3: cost 8 inf + 0
3.013 * * [simplify]: Extracting #4: cost 9 inf + 1
3.013 * * [simplify]: Extracting #5: cost 11 inf + 1
3.013 * * [simplify]: Extracting #6: cost 8 inf + 84
3.013 * * [simplify]: Extracting #7: cost 4 inf + 532
3.014 * * [simplify]: Extracting #8: cost 1 inf + 1048
3.014 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.015 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.015 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))))))
3.015 * * * * [progress]: [ 70 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))))))>
3.015 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.015 * * [simplify]: iters left: 6 (7 enodes)
3.019 * * [simplify]: iters left: 5 (24 enodes)
3.027 * * [simplify]: iters left: 4 (26 enodes)
3.034 * * [simplify]: Extracting #0: cost 1 inf + 0
3.034 * * [simplify]: Extracting #1: cost 3 inf + 0
3.034 * * [simplify]: Extracting #2: cost 5 inf + 0
3.034 * * [simplify]: Extracting #3: cost 8 inf + 0
3.035 * * [simplify]: Extracting #4: cost 9 inf + 1
3.035 * * [simplify]: Extracting #5: cost 11 inf + 1
3.035 * * [simplify]: Extracting #6: cost 10 inf + 2
3.035 * * [simplify]: Extracting #7: cost 6 inf + 248
3.035 * * [simplify]: Extracting #8: cost 2 inf + 886
3.036 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.036 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.036 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))))))
3.036 * * * * [progress]: [ 71 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))>
3.036 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.037 * * [simplify]: iters left: 6 (7 enodes)
3.040 * * [simplify]: iters left: 5 (24 enodes)
3.047 * * [simplify]: iters left: 4 (26 enodes)
3.055 * * [simplify]: Extracting #0: cost 1 inf + 0
3.055 * * [simplify]: Extracting #1: cost 3 inf + 0
3.055 * * [simplify]: Extracting #2: cost 5 inf + 0
3.055 * * [simplify]: Extracting #3: cost 8 inf + 0
3.055 * * [simplify]: Extracting #4: cost 9 inf + 1
3.055 * * [simplify]: Extracting #5: cost 11 inf + 1
3.055 * * [simplify]: Extracting #6: cost 10 inf + 2
3.055 * * [simplify]: Extracting #7: cost 6 inf + 250
3.056 * * [simplify]: Extracting #8: cost 2 inf + 888
3.056 * * [simplify]: Extracting #9: cost 0 inf + 1282
3.057 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.057 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))))))
3.057 * * * * [progress]: [ 72 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))>
3.057 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)))
3.057 * * [simplify]: iters left: 6 (8 enodes)
3.062 * * [simplify]: iters left: 5 (27 enodes)
3.070 * * [simplify]: iters left: 4 (29 enodes)
3.077 * * [simplify]: Extracting #0: cost 1 inf + 0
3.077 * * [simplify]: Extracting #1: cost 3 inf + 0
3.078 * * [simplify]: Extracting #2: cost 5 inf + 0
3.078 * * [simplify]: Extracting #3: cost 8 inf + 0
3.078 * * [simplify]: Extracting #4: cost 9 inf + 1
3.078 * * [simplify]: Extracting #5: cost 11 inf + 1
3.078 * * [simplify]: Extracting #6: cost 10 inf + 2
3.078 * * [simplify]: Extracting #7: cost 7 inf + 166
3.078 * * [simplify]: Extracting #8: cost 4 inf + 532
3.079 * * [simplify]: Extracting #9: cost 1 inf + 1048
3.079 * * [simplify]: Extracting #10: cost 0 inf + 1280
3.080 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
3.080 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))))))
3.080 * * * * [progress]: [ 73 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))))))>
3.080 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.080 * * [simplify]: iters left: 6 (7 enodes)
3.084 * * [simplify]: iters left: 5 (24 enodes)
3.091 * * [simplify]: iters left: 4 (26 enodes)
3.101 * * [simplify]: Extracting #0: cost 1 inf + 0
3.101 * * [simplify]: Extracting #1: cost 3 inf + 0
3.101 * * [simplify]: Extracting #2: cost 5 inf + 0
3.101 * * [simplify]: Extracting #3: cost 8 inf + 0
3.101 * * [simplify]: Extracting #4: cost 9 inf + 1
3.101 * * [simplify]: Extracting #5: cost 11 inf + 1
3.101 * * [simplify]: Extracting #6: cost 10 inf + 2
3.101 * * [simplify]: Extracting #7: cost 6 inf + 248
3.102 * * [simplify]: Extracting #8: cost 2 inf + 886
3.102 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.103 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.103 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))))))
3.103 * * * * [progress]: [ 74 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))))))>
3.103 * [simplify]: Simplifying (log (sqrt 1))
3.103 * * [simplify]: iters left: 2 (3 enodes)
3.107 * * [simplify]: iters left: 1 (11 enodes)
3.110 * * [simplify]: Extracting #0: cost 1 inf + 0
3.110 * * [simplify]: Extracting #1: cost 0 inf + 1
3.110 * [simplify]: Simplified to 0
3.110 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
3.110 * * * * [progress]: [ 75 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))))))>
3.110 * [simplify]: Simplifying (log (sqrt 1))
3.111 * * [simplify]: iters left: 2 (3 enodes)
3.114 * * [simplify]: iters left: 1 (11 enodes)
3.117 * * [simplify]: Extracting #0: cost 1 inf + 0
3.117 * * [simplify]: Extracting #1: cost 0 inf + 1
3.117 * [simplify]: Simplified to 0
3.117 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
3.117 * * * * [progress]: [ 76 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))>
3.118 * [simplify]: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
3.118 * * [simplify]: iters left: 6 (7 enodes)
3.122 * * [simplify]: iters left: 5 (26 enodes)
3.130 * * [simplify]: iters left: 4 (30 enodes)
3.139 * * [simplify]: Extracting #0: cost 1 inf + 0
3.139 * * [simplify]: Extracting #1: cost 3 inf + 0
3.139 * * [simplify]: Extracting #2: cost 5 inf + 0
3.139 * * [simplify]: Extracting #3: cost 7 inf + 0
3.139 * * [simplify]: Extracting #4: cost 11 inf + 0
3.139 * * [simplify]: Extracting #5: cost 11 inf + 2
3.139 * * [simplify]: Extracting #6: cost 10 inf + 3
3.140 * * [simplify]: Extracting #7: cost 6 inf + 251
3.140 * * [simplify]: Extracting #8: cost 4 inf + 535
3.140 * * [simplify]: Extracting #9: cost 1 inf + 1051
3.141 * * [simplify]: Extracting #10: cost 0 inf + 1283
3.141 * [simplify]: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
3.141 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))))))
3.141 * * * * [progress]: [ 77 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log 1) (log (sqrt (- (/ 1 x) 1)))))))>
3.142 * [simplify]: Simplifying (log 1)
3.142 * * [simplify]: iters left: 1 (2 enodes)
3.144 * * [simplify]: Extracting #0: cost 1 inf + 0
3.144 * * [simplify]: Extracting #1: cost 0 inf + 1
3.144 * [simplify]: Simplified to 0
3.144 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ 0 (log (sqrt (- (/ 1 x) 1)))))))
3.144 * * * * [progress]: [ 78 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))>
3.144 * [simplify]: Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
3.144 * * [simplify]: iters left: 6 (9 enodes)
3.150 * * [simplify]: iters left: 5 (42 enodes)
3.159 * * [simplify]: iters left: 4 (89 enodes)
3.176 * * [simplify]: iters left: 3 (149 enodes)
3.215 * * [simplify]: iters left: 2 (244 enodes)
3.308 * * [simplify]: Extracting #0: cost 1 inf + 0
3.308 * * [simplify]: Extracting #1: cost 3 inf + 0
3.308 * * [simplify]: Extracting #2: cost 5 inf + 0
3.308 * * [simplify]: Extracting #3: cost 25 inf + 0
3.309 * * [simplify]: Extracting #4: cost 93 inf + 2
3.309 * * [simplify]: Extracting #5: cost 98 inf + 2881
3.312 * * [simplify]: Extracting #6: cost 41 inf + 25401
3.318 * * [simplify]: Extracting #7: cost 1 inf + 43259
3.322 * * [simplify]: Extracting #8: cost 0 inf + 43512
3.326 * [simplify]: Simplified to (log (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1)))
3.326 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))))
3.326 * * * * [progress]: [ 79 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))))))>
3.327 * [simplify]: Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
3.327 * * [simplify]: iters left: 6 (8 enodes)
3.330 * * [simplify]: iters left: 5 (33 enodes)
3.338 * * [simplify]: iters left: 4 (48 enodes)
3.346 * * [simplify]: iters left: 3 (66 enodes)
3.355 * * [simplify]: iters left: 2 (87 enodes)
3.372 * * [simplify]: iters left: 1 (135 enodes)
3.425 * * [simplify]: Extracting #0: cost 1 inf + 0
3.425 * * [simplify]: Extracting #1: cost 3 inf + 0
3.426 * * [simplify]: Extracting #2: cost 5 inf + 0
3.426 * * [simplify]: Extracting #3: cost 33 inf + 0
3.426 * * [simplify]: Extracting #4: cost 43 inf + 2
3.427 * * [simplify]: Extracting #5: cost 42 inf + 44
3.428 * * [simplify]: Extracting #6: cost 23 inf + 1951
3.431 * * [simplify]: Extracting #7: cost 0 inf + 5305
3.434 * [simplify]: Simplified to (log (sqrt (fma (/ 1 x) (/ 1 x) -1)))
3.434 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt (fma (/ 1 x) (/ 1 x) -1))) (log (sqrt (+ (/ 1 x) 1)))))))
3.435 * * * * [progress]: [ 80 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1/2 (log (- (/ 1 x) 1))))))>
3.435 * * * * [progress]: [ 81 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
3.435 * * * * [progress]: [ 82 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (/ 1 2) (log (- (/ 1 x) 1))))))>
3.435 * [simplify]: Simplifying (/ 1 2)
3.435 * * [simplify]: iters left: 2 (3 enodes)
3.438 * * [simplify]: iters left: 1 (12 enodes)
3.443 * * [simplify]: Extracting #0: cost 1 inf + 0
3.443 * * [simplify]: Extracting #1: cost 0 inf + 1
3.443 * [simplify]: Simplified to 1/2
3.443 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1/2 (log (- (/ 1 x) 1))))))
3.443 * * * * [progress]: [ 83 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (pow (log (sqrt (- (/ 1 x) 1))) 1))))>
3.443 * * * * [progress]: [ 84 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
3.443 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
3.443 * * [simplify]: iters left: 5 (5 enodes)
3.447 * * [simplify]: iters left: 4 (20 enodes)
3.453 * * [simplify]: iters left: 3 (24 enodes)
3.461 * * [simplify]: Extracting #0: cost 1 inf + 0
3.461 * * [simplify]: Extracting #1: cost 3 inf + 0
3.461 * * [simplify]: Extracting #2: cost 7 inf + 0
3.461 * * [simplify]: Extracting #3: cost 7 inf + 2
3.461 * * [simplify]: Extracting #4: cost 0 inf + 495
3.462 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
3.462 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
3.462 * * * * [progress]: [ 85 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (exp (log (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 86 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (exp (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 87 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (* (cbrt (log (sqrt (- (/ 1 x) 1)))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (cbrt (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 88 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (cbrt (* (* (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 89 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 90 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (* 1 (log (sqrt (- (/ 1 x) 1)))))))>
3.462 * * * * [progress]: [ 91 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (posit16->real (real->posit16 (log (sqrt (- (/ 1 x) 1))))))))>
3.462 * * * * [progress]: [ 92 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log1p (expm1 (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.462 * * * * [progress]: [ 93 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (expm1 (log1p (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.463 * * * * [progress]: [ 94 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.463 * [simplify]: Simplifying (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
3.463 * * [simplify]: iters left: 6 (8 enodes)
3.467 * * [simplify]: iters left: 5 (31 enodes)
3.477 * * [simplify]: iters left: 4 (37 enodes)
3.488 * * [simplify]: Extracting #0: cost 1 inf + 0
3.488 * * [simplify]: Extracting #1: cost 4 inf + 0
3.488 * * [simplify]: Extracting #2: cost 7 inf + 0
3.488 * * [simplify]: Extracting #3: cost 9 inf + 0
3.489 * * [simplify]: Extracting #4: cost 11 inf + 0
3.489 * * [simplify]: Extracting #5: cost 15 inf + 0
3.489 * * [simplify]: Extracting #6: cost 15 inf + 2
3.489 * * [simplify]: Extracting #7: cost 14 inf + 3
3.489 * * [simplify]: Extracting #8: cost 11 inf + 169
3.489 * * [simplify]: Extracting #9: cost 7 inf + 697
3.490 * * [simplify]: Extracting #10: cost 0 inf + 2551
3.491 * [simplify]: Simplified to (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1)))))
3.491 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (* (cbrt (sqrt (- (/ 1 x) 1))) (cbrt (sqrt (- (/ 1 x) 1))))) (log (cbrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.491 * * * * [progress]: [ 95 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))) (log (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.491 * [simplify]: Simplifying (log (sqrt (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))))
3.491 * * [simplify]: iters left: 6 (8 enodes)
3.496 * * [simplify]: iters left: 5 (30 enodes)
3.500 * * [simplify]: iters left: 4 (34 enodes)
3.505 * * [simplify]: Extracting #0: cost 1 inf + 0
3.506 * * [simplify]: Extracting #1: cost 3 inf + 0
3.506 * * [simplify]: Extracting #2: cost 6 inf + 0
3.506 * * [simplify]: Extracting #3: cost 9 inf + 0
3.506 * * [simplify]: Extracting #4: cost 13 inf + 0
3.506 * * [simplify]: Extracting #5: cost 13 inf + 2
3.506 * * [simplify]: Extracting #6: cost 12 inf + 3
3.506 * * [simplify]: Extracting #7: cost 9 inf + 169
3.506 * * [simplify]: Extracting #8: cost 3 inf + 1291
3.506 * * [simplify]: Extracting #9: cost 0 inf + 1927
3.507 * [simplify]: Simplified to (log (fabs (cbrt (- (/ 1 x) 1))))
3.507 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (fabs (cbrt (- (/ 1 x) 1)))) (log (sqrt (cbrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.507 * * * * [progress]: [ 96 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.507 * [simplify]: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
3.507 * * [simplify]: iters left: 6 (7 enodes)
3.509 * * [simplify]: iters left: 5 (26 enodes)
3.514 * * [simplify]: iters left: 4 (30 enodes)
3.518 * * [simplify]: Extracting #0: cost 1 inf + 0
3.518 * * [simplify]: Extracting #1: cost 3 inf + 0
3.518 * * [simplify]: Extracting #2: cost 5 inf + 0
3.518 * * [simplify]: Extracting #3: cost 7 inf + 0
3.518 * * [simplify]: Extracting #4: cost 11 inf + 0
3.518 * * [simplify]: Extracting #5: cost 11 inf + 2
3.518 * * [simplify]: Extracting #6: cost 10 inf + 3
3.518 * * [simplify]: Extracting #7: cost 6 inf + 251
3.518 * * [simplify]: Extracting #8: cost 4 inf + 535
3.519 * * [simplify]: Extracting #9: cost 1 inf + 1051
3.519 * * [simplify]: Extracting #10: cost 0 inf + 1283
3.519 * [simplify]: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
3.519 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.519 * * * * [progress]: [ 97 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.519 * [simplify]: Simplifying (log (sqrt 1))
3.519 * * [simplify]: iters left: 2 (3 enodes)
3.522 * * [simplify]: iters left: 1 (11 enodes)
3.524 * * [simplify]: Extracting #0: cost 1 inf + 0
3.524 * * [simplify]: Extracting #1: cost 0 inf + 1
3.524 * [simplify]: Simplified to 0
3.524 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.524 * * * * [progress]: [ 98 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) (sqrt 1)))) (log (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.524 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) (sqrt 1))))
3.524 * * [simplify]: iters left: 6 (8 enodes)
3.529 * * [simplify]: iters left: 5 (27 enodes)
3.535 * * [simplify]: iters left: 4 (29 enodes)
3.543 * * [simplify]: Extracting #0: cost 1 inf + 0
3.543 * * [simplify]: Extracting #1: cost 3 inf + 0
3.543 * * [simplify]: Extracting #2: cost 5 inf + 0
3.543 * * [simplify]: Extracting #3: cost 8 inf + 0
3.543 * * [simplify]: Extracting #4: cost 9 inf + 1
3.543 * * [simplify]: Extracting #5: cost 11 inf + 1
3.543 * * [simplify]: Extracting #6: cost 8 inf + 86
3.543 * * [simplify]: Extracting #7: cost 4 inf + 534
3.544 * * [simplify]: Extracting #8: cost 1 inf + 1050
3.544 * * [simplify]: Extracting #9: cost 0 inf + 1282
3.545 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.545 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.545 * * * * [progress]: [ 99 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.545 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.545 * * [simplify]: iters left: 6 (7 enodes)
3.549 * * [simplify]: iters left: 5 (24 enodes)
3.556 * * [simplify]: iters left: 4 (26 enodes)
3.562 * * [simplify]: Extracting #0: cost 1 inf + 0
3.562 * * [simplify]: Extracting #1: cost 3 inf + 0
3.562 * * [simplify]: Extracting #2: cost 5 inf + 0
3.562 * * [simplify]: Extracting #3: cost 8 inf + 0
3.562 * * [simplify]: Extracting #4: cost 9 inf + 1
3.562 * * [simplify]: Extracting #5: cost 11 inf + 1
3.562 * * [simplify]: Extracting #6: cost 10 inf + 2
3.562 * * [simplify]: Extracting #7: cost 6 inf + 250
3.563 * * [simplify]: Extracting #8: cost 2 inf + 888
3.563 * * [simplify]: Extracting #9: cost 0 inf + 1282
3.563 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.563 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.563 * * * * [progress]: [ 100 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.564 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))))
3.564 * * [simplify]: iters left: 6 (8 enodes)
3.566 * * [simplify]: iters left: 5 (27 enodes)
3.570 * * [simplify]: iters left: 4 (29 enodes)
3.575 * * [simplify]: Extracting #0: cost 1 inf + 0
3.575 * * [simplify]: Extracting #1: cost 3 inf + 0
3.575 * * [simplify]: Extracting #2: cost 5 inf + 0
3.575 * * [simplify]: Extracting #3: cost 8 inf + 0
3.575 * * [simplify]: Extracting #4: cost 9 inf + 1
3.575 * * [simplify]: Extracting #5: cost 11 inf + 1
3.575 * * [simplify]: Extracting #6: cost 10 inf + 2
3.575 * * [simplify]: Extracting #7: cost 7 inf + 166
3.575 * * [simplify]: Extracting #8: cost 4 inf + 532
3.575 * * [simplify]: Extracting #9: cost 1 inf + 1048
3.575 * * [simplify]: Extracting #10: cost 0 inf + 1280
3.576 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
3.576 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.576 * * * * [progress]: [ 101 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.576 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)))
3.576 * * [simplify]: iters left: 6 (8 enodes)
3.579 * * [simplify]: iters left: 5 (27 enodes)
3.583 * * [simplify]: iters left: 4 (29 enodes)
3.587 * * [simplify]: Extracting #0: cost 1 inf + 0
3.587 * * [simplify]: Extracting #1: cost 3 inf + 0
3.587 * * [simplify]: Extracting #2: cost 5 inf + 0
3.587 * * [simplify]: Extracting #3: cost 8 inf + 0
3.587 * * [simplify]: Extracting #4: cost 9 inf + 1
3.587 * * [simplify]: Extracting #5: cost 11 inf + 1
3.587 * * [simplify]: Extracting #6: cost 10 inf + 2
3.587 * * [simplify]: Extracting #7: cost 7 inf + 166
3.588 * * [simplify]: Extracting #8: cost 4 inf + 532
3.588 * * [simplify]: Extracting #9: cost 1 inf + 1048
3.588 * * [simplify]: Extracting #10: cost 0 inf + 1280
3.588 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
3.588 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.588 * * * * [progress]: [ 102 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) (sqrt 1)))) (log (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.589 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) (sqrt 1))))
3.589 * * [simplify]: iters left: 6 (8 enodes)
3.592 * * [simplify]: iters left: 5 (27 enodes)
3.596 * * [simplify]: iters left: 4 (29 enodes)
3.600 * * [simplify]: Extracting #0: cost 1 inf + 0
3.600 * * [simplify]: Extracting #1: cost 3 inf + 0
3.600 * * [simplify]: Extracting #2: cost 5 inf + 0
3.600 * * [simplify]: Extracting #3: cost 8 inf + 0
3.600 * * [simplify]: Extracting #4: cost 9 inf + 1
3.600 * * [simplify]: Extracting #5: cost 11 inf + 1
3.600 * * [simplify]: Extracting #6: cost 8 inf + 84
3.600 * * [simplify]: Extracting #7: cost 4 inf + 532
3.601 * * [simplify]: Extracting #8: cost 1 inf + 1048
3.601 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.601 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.601 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) (sqrt 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.601 * * * * [progress]: [ 103 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.601 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.601 * * [simplify]: iters left: 6 (7 enodes)
3.603 * * [simplify]: iters left: 5 (24 enodes)
3.607 * * [simplify]: iters left: 4 (26 enodes)
3.611 * * [simplify]: Extracting #0: cost 1 inf + 0
3.611 * * [simplify]: Extracting #1: cost 3 inf + 0
3.611 * * [simplify]: Extracting #2: cost 5 inf + 0
3.611 * * [simplify]: Extracting #3: cost 8 inf + 0
3.611 * * [simplify]: Extracting #4: cost 9 inf + 1
3.611 * * [simplify]: Extracting #5: cost 11 inf + 1
3.611 * * [simplify]: Extracting #6: cost 10 inf + 2
3.611 * * [simplify]: Extracting #7: cost 6 inf + 248
3.612 * * [simplify]: Extracting #8: cost 2 inf + 886
3.612 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.613 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.613 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.613 * * * * [progress]: [ 104 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.613 * [simplify]: Simplifying (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.613 * * [simplify]: iters left: 6 (7 enodes)
3.617 * * [simplify]: iters left: 5 (24 enodes)
3.624 * * [simplify]: iters left: 4 (26 enodes)
3.632 * * [simplify]: Extracting #0: cost 1 inf + 0
3.632 * * [simplify]: Extracting #1: cost 3 inf + 0
3.632 * * [simplify]: Extracting #2: cost 5 inf + 0
3.632 * * [simplify]: Extracting #3: cost 8 inf + 0
3.632 * * [simplify]: Extracting #4: cost 9 inf + 1
3.632 * * [simplify]: Extracting #5: cost 11 inf + 1
3.632 * * [simplify]: Extracting #6: cost 10 inf + 2
3.632 * * [simplify]: Extracting #7: cost 6 inf + 250
3.633 * * [simplify]: Extracting #8: cost 2 inf + 888
3.633 * * [simplify]: Extracting #9: cost 0 inf + 1282
3.634 * [simplify]: Simplified to (log (sqrt (+ (sqrt (/ 1 x)) 1)))
3.634 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (sqrt (/ 1 x)) 1))) (log (sqrt (- (sqrt (/ 1 x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.634 * * * * [progress]: [ 105 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.634 * [simplify]: Simplifying (log (sqrt (+ (/ (sqrt 1) (sqrt x)) 1)))
3.634 * * [simplify]: iters left: 6 (8 enodes)
3.642 * * [simplify]: iters left: 5 (27 enodes)
3.649 * * [simplify]: iters left: 4 (29 enodes)
3.658 * * [simplify]: Extracting #0: cost 1 inf + 0
3.658 * * [simplify]: Extracting #1: cost 3 inf + 0
3.658 * * [simplify]: Extracting #2: cost 5 inf + 0
3.658 * * [simplify]: Extracting #3: cost 8 inf + 0
3.658 * * [simplify]: Extracting #4: cost 9 inf + 1
3.658 * * [simplify]: Extracting #5: cost 11 inf + 1
3.658 * * [simplify]: Extracting #6: cost 10 inf + 2
3.658 * * [simplify]: Extracting #7: cost 7 inf + 166
3.658 * * [simplify]: Extracting #8: cost 4 inf + 532
3.659 * * [simplify]: Extracting #9: cost 1 inf + 1048
3.659 * * [simplify]: Extracting #10: cost 0 inf + 1280
3.660 * [simplify]: Simplified to (log (sqrt (+ 1 (/ 1 (sqrt x)))))
3.660 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ 1 (/ 1 (sqrt x))))) (log (sqrt (- (/ (sqrt 1) (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.660 * * * * [progress]: [ 106 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.660 * [simplify]: Simplifying (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.660 * * [simplify]: iters left: 6 (7 enodes)
3.664 * * [simplify]: iters left: 5 (24 enodes)
3.672 * * [simplify]: iters left: 4 (26 enodes)
3.679 * * [simplify]: Extracting #0: cost 1 inf + 0
3.679 * * [simplify]: Extracting #1: cost 3 inf + 0
3.680 * * [simplify]: Extracting #2: cost 5 inf + 0
3.680 * * [simplify]: Extracting #3: cost 8 inf + 0
3.680 * * [simplify]: Extracting #4: cost 9 inf + 1
3.680 * * [simplify]: Extracting #5: cost 11 inf + 1
3.680 * * [simplify]: Extracting #6: cost 10 inf + 2
3.680 * * [simplify]: Extracting #7: cost 6 inf + 248
3.680 * * [simplify]: Extracting #8: cost 2 inf + 886
3.681 * * [simplify]: Extracting #9: cost 0 inf + 1280
3.681 * [simplify]: Simplified to (log (sqrt (+ (/ 1 (sqrt x)) 1)))
3.681 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (+ (/ 1 (sqrt x)) 1))) (log (sqrt (- (/ 1 (sqrt x)) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.681 * * * * [progress]: [ 107 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.682 * [simplify]: Simplifying (log (sqrt 1))
3.682 * * [simplify]: iters left: 2 (3 enodes)
3.686 * * [simplify]: iters left: 1 (11 enodes)
3.689 * * [simplify]: Extracting #0: cost 1 inf + 0
3.689 * * [simplify]: Extracting #1: cost 0 inf + 1
3.689 * [simplify]: Simplified to 0
3.689 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.689 * * * * [progress]: [ 108 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt 1)) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.690 * [simplify]: Simplifying (log (sqrt 1))
3.690 * * [simplify]: iters left: 2 (3 enodes)
3.693 * * [simplify]: iters left: 1 (11 enodes)
3.694 * * [simplify]: Extracting #0: cost 1 inf + 0
3.694 * * [simplify]: Extracting #1: cost 0 inf + 1
3.695 * [simplify]: Simplified to 0
3.695 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.695 * * * * [progress]: [ 109 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
3.695 * [simplify]: Simplifying (log (sqrt (sqrt (- (/ 1 x) 1))))
3.695 * * [simplify]: iters left: 6 (7 enodes)
3.697 * * [simplify]: iters left: 5 (26 enodes)
3.701 * * [simplify]: iters left: 4 (30 enodes)
3.706 * * [simplify]: Extracting #0: cost 1 inf + 0
3.706 * * [simplify]: Extracting #1: cost 3 inf + 0
3.706 * * [simplify]: Extracting #2: cost 5 inf + 0
3.706 * * [simplify]: Extracting #3: cost 7 inf + 0
3.706 * * [simplify]: Extracting #4: cost 11 inf + 0
3.706 * * [simplify]: Extracting #5: cost 11 inf + 2
3.706 * * [simplify]: Extracting #6: cost 10 inf + 3
3.706 * * [simplify]: Extracting #7: cost 6 inf + 251
3.706 * * [simplify]: Extracting #8: cost 4 inf + 535
3.706 * * [simplify]: Extracting #9: cost 1 inf + 1051
3.706 * * [simplify]: Extracting #10: cost 0 inf + 1283
3.707 * [simplify]: Simplified to (log (sqrt (sqrt (- (/ 1 x) 1))))
3.707 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ (log (sqrt (sqrt (- (/ 1 x) 1)))) (log (sqrt (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))
3.707 * * * * [progress]: [ 110 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (+ (log 1) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.707 * [simplify]: Simplifying (log 1)
3.707 * * [simplify]: iters left: 1 (2 enodes)
3.708 * * [simplify]: Extracting #0: cost 1 inf + 0
3.709 * * [simplify]: Extracting #1: cost 0 inf + 1
3.709 * [simplify]: Simplified to 0
3.709 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (+ 0 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
3.709 * * * * [progress]: [ 111 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3)))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))>
3.709 * [simplify]: Simplifying (log (sqrt (- (pow (/ 1 x) 3) (pow 1 3))))
3.709 * * [simplify]: iters left: 6 (9 enodes)
3.713 * * [simplify]: iters left: 5 (42 enodes)
3.722 * * [simplify]: iters left: 4 (89 enodes)
3.752 * * [simplify]: iters left: 3 (149 enodes)
3.794 * * [simplify]: iters left: 2 (244 enodes)
3.885 * * [simplify]: Extracting #0: cost 1 inf + 0
3.885 * * [simplify]: Extracting #1: cost 3 inf + 0
3.885 * * [simplify]: Extracting #2: cost 5 inf + 0
3.885 * * [simplify]: Extracting #3: cost 25 inf + 0
3.886 * * [simplify]: Extracting #4: cost 93 inf + 2
3.887 * * [simplify]: Extracting #5: cost 98 inf + 2881
3.891 * * [simplify]: Extracting #6: cost 41 inf + 25401
3.899 * * [simplify]: Extracting #7: cost 1 inf + 43259
3.907 * * [simplify]: Extracting #8: cost 0 inf + 43512
3.915 * [simplify]: Simplified to (log (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1)))
3.915 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (fma (/ (/ 1 x) x) (/ 1 x) -1))) (log (sqrt (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))) (log (sqrt (- (/ 1 x) 1))))))
3.915 * * * * [progress]: [ 112 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1)))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
3.915 * [simplify]: Simplifying (log (sqrt (- (* (/ 1 x) (/ 1 x)) (* 1 1))))
3.916 * * [simplify]: iters left: 6 (8 enodes)
3.921 * * [simplify]: iters left: 5 (33 enodes)
3.932 * * [simplify]: iters left: 4 (48 enodes)
3.946 * * [simplify]: iters left: 3 (66 enodes)
3.964 * * [simplify]: iters left: 2 (87 enodes)
3.997 * * [simplify]: iters left: 1 (135 enodes)
4.040 * * [simplify]: Extracting #0: cost 1 inf + 0
4.041 * * [simplify]: Extracting #1: cost 3 inf + 0
4.041 * * [simplify]: Extracting #2: cost 5 inf + 0
4.041 * * [simplify]: Extracting #3: cost 33 inf + 0
4.041 * * [simplify]: Extracting #4: cost 43 inf + 2
4.042 * * [simplify]: Extracting #5: cost 42 inf + 44
4.043 * * [simplify]: Extracting #6: cost 23 inf + 1951
4.046 * * [simplify]: Extracting #7: cost 0 inf + 5305
4.049 * [simplify]: Simplified to (log (sqrt (fma (/ 1 x) (/ 1 x) -1)))
4.049 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (- (log (sqrt (fma (/ 1 x) (/ 1 x) -1))) (log (sqrt (+ (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))
4.050 * * * * [progress]: [ 113 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1/2 (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.050 * * * * [progress]: [ 114 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.050 * * * * [progress]: [ 115 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* (/ 1 2) (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.050 * [simplify]: Simplifying (/ 1 2)
4.050 * * [simplify]: iters left: 2 (3 enodes)
4.053 * * [simplify]: iters left: 1 (12 enodes)
4.057 * * [simplify]: Extracting #0: cost 1 inf + 0
4.057 * * [simplify]: Extracting #1: cost 0 inf + 1
4.057 * [simplify]: Simplified to 1/2
4.057 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (* 1/2 (log (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
4.057 * * * * [progress]: [ 116 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (pow (log (sqrt (- (/ 1 x) 1))) 1) (log (sqrt (- (/ 1 x) 1))))))>
4.057 * * * * [progress]: [ 117 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
4.057 * [simplify]: Simplifying (sqrt (- (/ 1 x) 1))
4.057 * * [simplify]: iters left: 5 (5 enodes)
4.059 * * [simplify]: iters left: 4 (20 enodes)
4.062 * * [simplify]: iters left: 3 (24 enodes)
4.066 * * [simplify]: Extracting #0: cost 1 inf + 0
4.066 * * [simplify]: Extracting #1: cost 3 inf + 0
4.066 * * [simplify]: Extracting #2: cost 7 inf + 0
4.066 * * [simplify]: Extracting #3: cost 7 inf + 2
4.066 * * [simplify]: Extracting #4: cost 0 inf + 495
4.067 * [simplify]: Simplified to (sqrt (- (/ 1 x) 1))
4.067 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))
4.067 * * * * [progress]: [ 118 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (exp (log (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 119 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (exp (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 120 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* (* (cbrt (log (sqrt (- (/ 1 x) 1)))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (cbrt (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 121 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (cbrt (* (* (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 122 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* (sqrt (log (sqrt (- (/ 1 x) 1)))) (sqrt (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 123 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (* 1 (log (sqrt (- (/ 1 x) 1)))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 124 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (posit16->real (real->posit16 (log (sqrt (- (/ 1 x) 1))))) (log (sqrt (- (/ 1 x) 1))))))>
4.067 * * * * [progress]: [ 125 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))))))>
4.067 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.067 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log +nan.0))))
4.067 * * * * [progress]: [ 126 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))))))>
4.067 * [simplify]: Simplifying (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.067 * * [simplify]: iters left: 6 (16 enodes)
4.074 * * [simplify]: iters left: 5 (71 enodes)
4.087 * * [simplify]: iters left: 4 (108 enodes)
4.106 * * [simplify]: iters left: 3 (143 enodes)
4.126 * * [simplify]: iters left: 2 (186 enodes)
4.153 * * [simplify]: iters left: 1 (259 enodes)
4.231 * * [simplify]: Extracting #0: cost 1 inf + 0
4.231 * * [simplify]: Extracting #1: cost 12 inf + 0
4.232 * * [simplify]: Extracting #2: cost 59 inf + 2
4.232 * * [simplify]: Extracting #3: cost 64 inf + 1402
4.234 * * [simplify]: Extracting #4: cost 16 inf + 6805
4.237 * * [simplify]: Extracting #5: cost 0 inf + 9298
4.240 * * [simplify]: Extracting #6: cost 0 inf + 9259
4.243 * [simplify]: Simplified to (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))
4.243 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))))))
4.244 * * * * [progress]: [ 127 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))))))>
4.244 * [simplify]: Simplifying (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.244 * * [simplify]: iters left: 6 (16 enodes)
4.250 * * [simplify]: iters left: 5 (71 enodes)
4.274 * * [simplify]: iters left: 4 (108 enodes)
4.293 * * [simplify]: iters left: 3 (143 enodes)
4.318 * * [simplify]: iters left: 2 (186 enodes)
4.354 * * [simplify]: iters left: 1 (259 enodes)
4.433 * * [simplify]: Extracting #0: cost 1 inf + 0
4.433 * * [simplify]: Extracting #1: cost 12 inf + 0
4.433 * * [simplify]: Extracting #2: cost 59 inf + 2
4.434 * * [simplify]: Extracting #3: cost 64 inf + 1402
4.438 * * [simplify]: Extracting #4: cost 16 inf + 6805
4.442 * * [simplify]: Extracting #5: cost 0 inf + 9298
4.445 * * [simplify]: Extracting #6: cost 0 inf + 9259
4.448 * [simplify]: Simplified to (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))
4.448 * [simplify]: Simplified (2 1 2 1) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))))))
4.448 * * * * [progress]: [ 128 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))) (log (sqrt (- (/ 1 x) 1))))))>
4.448 * [simplify]: Simplifying (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.449 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (log +nan.0) (log (sqrt (- (/ 1 x) 1))))))
4.449 * * * * [progress]: [ 129 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))) (log (sqrt (- (/ 1 x) 1))))))>
4.449 * [simplify]: Simplifying (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
4.449 * * [simplify]: iters left: 6 (16 enodes)
4.455 * * [simplify]: iters left: 5 (71 enodes)
4.470 * * [simplify]: iters left: 4 (108 enodes)
4.501 * * [simplify]: iters left: 3 (143 enodes)
4.529 * * [simplify]: iters left: 2 (186 enodes)
4.557 * * [simplify]: iters left: 1 (259 enodes)
5.117 * * [simplify]: Extracting #0: cost 1 inf + 0
5.117 * * [simplify]: Extracting #1: cost 12 inf + 0
5.118 * * [simplify]: Extracting #2: cost 59 inf + 2
5.119 * * [simplify]: Extracting #3: cost 64 inf + 1402
5.122 * * [simplify]: Extracting #4: cost 16 inf + 6805
5.128 * * [simplify]: Extracting #5: cost 0 inf + 9298
5.134 * * [simplify]: Extracting #6: cost 0 inf + 9259
5.140 * [simplify]: Simplified to (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))
5.140 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))) (log (sqrt (- (/ 1 x) 1))))))
5.140 * * * * [progress]: [ 130 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))) (log (sqrt (- (/ 1 x) 1))))))>
5.141 * [simplify]: Simplifying (+ (* 1/8 (/ 1 (* (pow x 2) (sqrt -1)))) (+ (sqrt -1) (* 1/2 (/ 1 (* x (sqrt -1))))))
5.141 * * [simplify]: iters left: 6 (16 enodes)
5.152 * * [simplify]: iters left: 5 (71 enodes)
5.182 * * [simplify]: iters left: 4 (108 enodes)
5.201 * * [simplify]: iters left: 3 (143 enodes)
5.226 * * [simplify]: iters left: 2 (186 enodes)
5.281 * * [simplify]: iters left: 1 (259 enodes)
5.380 * * [simplify]: Extracting #0: cost 1 inf + 0
5.380 * * [simplify]: Extracting #1: cost 12 inf + 0
5.381 * * [simplify]: Extracting #2: cost 59 inf + 2
5.382 * * [simplify]: Extracting #3: cost 64 inf + 1402
5.385 * * [simplify]: Extracting #4: cost 16 inf + 6805
5.392 * * [simplify]: Extracting #5: cost 0 inf + 9298
5.398 * * [simplify]: Extracting #6: cost 0 inf + 9259
5.404 * [simplify]: Simplified to (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))
5.404 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (+ (log (+ (* (/ 1 (* (sqrt -1) x)) (+ 1/2 (/ 1/8 x))) (sqrt -1))) (log (sqrt (- (/ 1 x) 1))))))
5.404 * * * * [progress]: [ 131 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))))))>
5.405 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
5.405 * [simplify]: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) +nan.0)))
5.405 * * * * [progress]: [ 132 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))))))>
5.405 * [simplify]: Simplifying (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
5.405 * * [simplify]: iters left: 6 (15 enodes)
5.419 * * [simplify]: iters left: 5 (63 enodes)
5.430 * * [simplify]: iters left: 4 (86 enodes)
5.444 * * [simplify]: iters left: 3 (121 enodes)
5.473 * * [simplify]: iters left: 2 (187 enodes)
5.507 * * [simplify]: iters left: 1 (239 enodes)
5.558 * * [simplify]: Extracting #0: cost 1 inf + 0
5.558 * * [simplify]: Extracting #1: cost 26 inf + 0
5.559 * * [simplify]: Extracting #2: cost 59 inf + 4
5.559 * * [simplify]: Extracting #3: cost 51 inf + 586
5.560 * * [simplify]: Extracting #4: cost 14 inf + 4868
5.563 * * [simplify]: Extracting #5: cost 1 inf + 7305
5.565 * * [simplify]: Extracting #6: cost 0 inf + 7538
5.567 * [simplify]: Simplified to (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x)))
5.567 * [simplify]: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x))))))
5.567 * * * * [progress]: [ 133 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))))))>
5.568 * [simplify]: Simplifying (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
5.568 * * [simplify]: iters left: 6 (15 enodes)
5.573 * * [simplify]: iters left: 5 (63 enodes)
5.584 * * [simplify]: iters left: 4 (86 enodes)
5.600 * * [simplify]: iters left: 3 (121 enodes)
5.624 * * [simplify]: iters left: 2 (187 enodes)
5.659 * * [simplify]: iters left: 1 (239 enodes)
5.699 * * [simplify]: Extracting #0: cost 1 inf + 0
5.699 * * [simplify]: Extracting #1: cost 26 inf + 0
5.699 * * [simplify]: Extracting #2: cost 59 inf + 4
5.700 * * [simplify]: Extracting #3: cost 51 inf + 586
5.701 * * [simplify]: Extracting #4: cost 14 inf + 4868
5.703 * * [simplify]: Extracting #5: cost 1 inf + 7305
5.706 * * [simplify]: Extracting #6: cost 0 inf + 7538
5.708 * [simplify]: Simplified to (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x)))
5.708 * [simplify]: Simplified (2 1 2) to (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x))))))
5.708 * * * * [progress]: [ 134 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2))))) (log (sqrt (- (/ 1 x) 1))))))>
5.708 * [simplify]: Simplifying (- (log +nan.0) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
5.708 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ +nan.0 (log (sqrt (- (/ 1 x) 1))))))
5.709 * * * * [progress]: [ 135 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) (log (sqrt (- (/ 1 x) 1))))))>
5.709 * [simplify]: Simplifying (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
5.709 * * [simplify]: iters left: 6 (15 enodes)
5.717 * * [simplify]: iters left: 5 (63 enodes)
5.737 * * [simplify]: iters left: 4 (86 enodes)
5.763 * * [simplify]: iters left: 3 (121 enodes)
5.806 * * [simplify]: iters left: 2 (187 enodes)
5.842 * * [simplify]: iters left: 1 (239 enodes)
5.902 * * [simplify]: Extracting #0: cost 1 inf + 0
5.902 * * [simplify]: Extracting #1: cost 26 inf + 0
5.903 * * [simplify]: Extracting #2: cost 59 inf + 4
5.903 * * [simplify]: Extracting #3: cost 51 inf + 586
5.906 * * [simplify]: Extracting #4: cost 14 inf + 4868
5.910 * * [simplify]: Extracting #5: cost 1 inf + 7305
5.915 * * [simplify]: Extracting #6: cost 0 inf + 7538
5.919 * [simplify]: Simplified to (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x)))
5.920 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x))) (log (sqrt (- (/ 1 x) 1))))))
5.920 * * * * [progress]: [ 136 / 136 ] simplifiying candidate #<alt (λ (x) (- (+ (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x)))) (log (sqrt (- (/ 1 x) 1))))))>
5.920 * [simplify]: Simplifying (- (log (sqrt -1)) (+ (* 1/4 (/ 1 (pow x 2))) (* 1/2 (/ 1 x))))
5.920 * * [simplify]: iters left: 6 (15 enodes)
5.931 * * [simplify]: iters left: 5 (63 enodes)
5.952 * * [simplify]: iters left: 4 (86 enodes)
5.966 * * [simplify]: iters left: 3 (121 enodes)
5.999 * * [simplify]: iters left: 2 (187 enodes)
6.043 * * [simplify]: iters left: 1 (239 enodes)
6.095 * * [simplify]: Extracting #0: cost 1 inf + 0
6.095 * * [simplify]: Extracting #1: cost 26 inf + 0
6.095 * * [simplify]: Extracting #2: cost 59 inf + 4
6.095 * * [simplify]: Extracting #3: cost 51 inf + 586
6.097 * * [simplify]: Extracting #4: cost 14 inf + 4868
6.101 * * [simplify]: Extracting #5: cost 1 inf + 7305
6.103 * * [simplify]: Extracting #6: cost 0 inf + 7538
6.105 * [simplify]: Simplified to (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x)))
6.105 * [simplify]: Simplified (2 1 1) to (λ (x) (- (+ (+ (log (sqrt -1)) (- (/ -1/2 x) (/ (/ 1/4 x) x))) (log (sqrt (- (/ 1 x) 1))))))
6.105 * * * [progress]: adding candidates to table
7.358 * [progress]: [Phase 3 of 3] Extracting.
7.358 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.359 * * * [regime-changes]: Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
7.360 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.392 * * * * [regimes]: Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.425 * * * * [regimes]: Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.460 * * * * [regimes]: Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.479 * * * * [regimes]: Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>)
7.511 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
7.511 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
7.512 * * [simplify]: iters left: 6 (6 enodes)
7.512 * * [simplify]: iters left: 5 (8 enodes)
7.512 * * [simplify]: Extracting #0: cost 1 inf + 0
7.512 * * [simplify]: Extracting #1: cost 2 inf + 0
7.512 * * [simplify]: Extracting #2: cost 3 inf + 0
7.512 * * [simplify]: Extracting #3: cost 5 inf + 0
7.512 * * [simplify]: Extracting #4: cost 5 inf + 1
7.512 * * [simplify]: Extracting #5: cost 0 inf + 470
7.512 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
10.625 * [regime-testing]: Baseline error score: 0.028541065598667637
10.630 * [regime-testing]: Oracle error score: 0.026342670486688494
10.641 * [regime-testing]: End program error score: 0.028541065598667637