1.279 * [progress]: [Phase 1 of 3] Setting up.
0.003 * * * [progress]: [1/2] Preparing points
0.265 * * * [progress]: [2/2] Setting up program.
0.274 * [progress]: [Phase 2 of 3] Improving.
0.275 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.278 * [simplify]: Simplifying:
  (- (log (- (/ 1 x) 1)))
0.280 * * [simplify]: iteration 0: 6 enodes
0.321 * * [simplify]: iteration 1: 11 enodes
0.323 * * [simplify]: iteration 2: 12 enodes
0.375 * * [simplify]: iteration complete: 12 enodes
0.375 * * [simplify]: Extracting #0: cost 1 inf + 0
0.376 * * [simplify]: Extracting #1: cost 2 inf + 0
0.376 * * [simplify]: Extracting #2: cost 3 inf + 0
0.376 * * [simplify]: Extracting #3: cost 6 inf + 0
0.377 * * [simplify]: Extracting #4: cost 5 inf + 2
0.377 * * [simplify]: Extracting #5: cost 0 inf + 471
0.377 * [simplify]: Simplified to:
  (- (log (- (/ 1 x) 1)))
0.380 * * [progress]: iteration 1 / 4
0.381 * * * [progress]: picking best candidate
0.387 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.387 * * * [progress]: localizing error
0.415 * * * [progress]: generating rewritten candidates
0.415 * * * * [progress]: [ 1 / 2 ] rewriting at (2 1 1)
0.443 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1)
0.464 * * * [progress]: generating series expansions
0.465 * * * * [progress]: [ 1 / 2 ] generating series at (2 1 1)
0.505 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
0.505 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
0.507 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.507 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.507 * [taylor]: Taking taylor expansion of x in x
0.507 * [backup-simplify]: Simplify 0 into 0
0.507 * [backup-simplify]: Simplify 1 into 1
0.509 * [backup-simplify]: Simplify (/ 1 1) into 1
0.509 * [taylor]: Taking taylor expansion of 1 in x
0.509 * [backup-simplify]: Simplify 1 into 1
0.510 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.510 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.510 * [taylor]: Taking taylor expansion of x in x
0.510 * [backup-simplify]: Simplify 0 into 0
0.510 * [backup-simplify]: Simplify 1 into 1
0.511 * [backup-simplify]: Simplify (/ 1 1) into 1
0.511 * [taylor]: Taking taylor expansion of 1 in x
0.511 * [backup-simplify]: Simplify 1 into 1
0.513 * [backup-simplify]: Simplify (+ 1 0) into 1
0.513 * [backup-simplify]: Simplify 1 into 1
0.516 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.517 * [backup-simplify]: Simplify (- 1) into -1
0.517 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.517 * [backup-simplify]: Simplify -1 into -1
0.519 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.520 * [backup-simplify]: Simplify (- 0) into 0
0.520 * [backup-simplify]: Simplify (+ 0 0) into 0
0.520 * [backup-simplify]: Simplify 0 into 0
0.522 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.522 * [backup-simplify]: Simplify (- 0) into 0
0.522 * [backup-simplify]: Simplify (+ 0 0) into 0
0.522 * [backup-simplify]: Simplify 0 into 0
0.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.524 * [backup-simplify]: Simplify (- 0) into 0
0.524 * [backup-simplify]: Simplify (+ 0 0) into 0
0.524 * [backup-simplify]: Simplify 0 into 0
0.525 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.525 * [backup-simplify]: Simplify (- 0) into 0
0.525 * [backup-simplify]: Simplify (+ 0 0) into 0
0.525 * [backup-simplify]: Simplify 0 into 0
0.526 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.526 * [backup-simplify]: Simplify (- 0) into 0
0.527 * [backup-simplify]: Simplify (+ 0 0) into 0
0.527 * [backup-simplify]: Simplify 0 into 0
0.527 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.528 * [backup-simplify]: Simplify (- 0) into 0
0.528 * [backup-simplify]: Simplify (+ 0 0) into 0
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
0.528 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
0.528 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
0.528 * [taylor]: Taking taylor expansion of (- x 1) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [backup-simplify]: Simplify 1 into 1
0.528 * [taylor]: Taking taylor expansion of (- x 1) in x
0.528 * [taylor]: Taking taylor expansion of x in x
0.528 * [backup-simplify]: Simplify 0 into 0
0.528 * [backup-simplify]: Simplify 1 into 1
0.528 * [taylor]: Taking taylor expansion of 1 in x
0.528 * [backup-simplify]: Simplify 1 into 1
0.529 * [backup-simplify]: Simplify (- 1) into -1
0.529 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.529 * [backup-simplify]: Simplify -1 into -1
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ 1 0) into 1
0.530 * [backup-simplify]: Simplify 1 into 1
0.530 * [backup-simplify]: Simplify (- 0) into 0
0.530 * [backup-simplify]: Simplify (+ 0 0) into 0
0.530 * [backup-simplify]: Simplify 0 into 0
0.531 * [backup-simplify]: Simplify (- 0) into 0
0.533 * [backup-simplify]: Simplify (+ 0 0) into 0
0.533 * [backup-simplify]: Simplify 0 into 0
0.533 * [backup-simplify]: Simplify (- 0) into 0
0.533 * [backup-simplify]: Simplify (+ 0 0) into 0
0.533 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify (- 0) into 0
0.534 * [backup-simplify]: Simplify (+ 0 0) into 0
0.534 * [backup-simplify]: Simplify 0 into 0
0.534 * [backup-simplify]: Simplify (- 0) into 0
0.535 * [backup-simplify]: Simplify (+ 0 0) into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (- 0) into 0
0.535 * [backup-simplify]: Simplify (+ 0 0) into 0
0.535 * [backup-simplify]: Simplify 0 into 0
0.535 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
0.536 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
0.536 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
0.536 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.536 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [backup-simplify]: Simplify 0 into 0
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [taylor]: Taking taylor expansion of 1 in x
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.536 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.536 * [taylor]: Taking taylor expansion of x in x
0.536 * [backup-simplify]: Simplify 0 into 0
0.536 * [backup-simplify]: Simplify 1 into 1
0.536 * [taylor]: Taking taylor expansion of 1 in x
0.536 * [backup-simplify]: Simplify 1 into 1
0.537 * [backup-simplify]: Simplify (+ 0 1) into 1
0.537 * [backup-simplify]: Simplify (- 1) into -1
0.537 * [backup-simplify]: Simplify -1 into -1
0.537 * [backup-simplify]: Simplify (+ 1 0) into 1
0.538 * [backup-simplify]: Simplify (- 1) into -1
0.538 * [backup-simplify]: Simplify -1 into -1
0.569 * [backup-simplify]: Simplify (+ 0 0) into 0
0.570 * [backup-simplify]: Simplify (- 0) into 0
0.570 * [backup-simplify]: Simplify 0 into 0
0.570 * [backup-simplify]: Simplify (+ 0 0) into 0
0.571 * [backup-simplify]: Simplify (- 0) into 0
0.571 * [backup-simplify]: Simplify 0 into 0
0.571 * [backup-simplify]: Simplify (+ 0 0) into 0
0.571 * [backup-simplify]: Simplify (- 0) into 0
0.571 * [backup-simplify]: Simplify 0 into 0
0.572 * [backup-simplify]: Simplify (+ 0 0) into 0
0.572 * [backup-simplify]: Simplify (- 0) into 0
0.572 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify (+ 0 0) into 0
0.573 * [backup-simplify]: Simplify (- 0) into 0
0.573 * [backup-simplify]: Simplify 0 into 0
0.573 * [backup-simplify]: Simplify (+ 0 0) into 0
0.574 * [backup-simplify]: Simplify (- 0) into 0
0.574 * [backup-simplify]: Simplify 0 into 0
0.574 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
0.574 * * * * [progress]: [ 2 / 2 ] generating series at (2 1)
0.574 * [backup-simplify]: Simplify (log (- (/ 1 x) 1)) into (log (- (/ 1 x) 1))
0.574 * [approximate]: Taking taylor expansion of (log (- (/ 1 x) 1)) in (x) around 0
0.574 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.574 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.574 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.574 * [taylor]: Taking taylor expansion of x in x
0.575 * [backup-simplify]: Simplify 0 into 0
0.575 * [backup-simplify]: Simplify 1 into 1
0.575 * [backup-simplify]: Simplify (/ 1 1) into 1
0.575 * [taylor]: Taking taylor expansion of 1 in x
0.575 * [backup-simplify]: Simplify 1 into 1
0.575 * [backup-simplify]: Simplify (+ 1 0) into 1
0.576 * [backup-simplify]: Simplify (log 1) into 0
0.576 * [taylor]: Taking taylor expansion of (log (- (/ 1 x) 1)) in x
0.576 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.576 * [taylor]: Taking taylor expansion of x in x
0.576 * [backup-simplify]: Simplify 0 into 0
0.576 * [backup-simplify]: Simplify 1 into 1
0.576 * [backup-simplify]: Simplify (/ 1 1) into 1
0.576 * [taylor]: Taking taylor expansion of 1 in x
0.576 * [backup-simplify]: Simplify 1 into 1
0.577 * [backup-simplify]: Simplify (+ 1 0) into 1
0.577 * [backup-simplify]: Simplify (log 1) into 0
0.592 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
0.592 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
0.593 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.593 * [backup-simplify]: Simplify (- 1) into -1
0.594 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.596 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow 1 1)))) 1) into -1
0.596 * [backup-simplify]: Simplify -1 into -1
0.598 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.599 * [backup-simplify]: Simplify (- 0) into 0
0.599 * [backup-simplify]: Simplify (+ 0 0) into 0
0.603 * [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.603 * [backup-simplify]: Simplify -1/2 into -1/2
0.603 * [backup-simplify]: Simplify (+ (* -1/2 (pow x 2)) (+ (* -1 x) (- (log x)))) into (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
0.603 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 x)) 1)) into (log (- x 1))
0.604 * [approximate]: Taking taylor expansion of (log (- x 1)) in (x) around 0
0.604 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.604 * [taylor]: Taking taylor expansion of (- x 1) in x
0.604 * [taylor]: Taking taylor expansion of x in x
0.604 * [backup-simplify]: Simplify 0 into 0
0.604 * [backup-simplify]: Simplify 1 into 1
0.604 * [taylor]: Taking taylor expansion of 1 in x
0.604 * [backup-simplify]: Simplify 1 into 1
0.605 * [backup-simplify]: Simplify (- 1) into -1
0.606 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.638 * [backup-simplify]: Simplify (log -1) into (log -1)
0.639 * [taylor]: Taking taylor expansion of (log (- x 1)) in x
0.639 * [taylor]: Taking taylor expansion of (- x 1) in x
0.639 * [taylor]: Taking taylor expansion of x in x
0.639 * [backup-simplify]: Simplify 0 into 0
0.639 * [backup-simplify]: Simplify 1 into 1
0.639 * [taylor]: Taking taylor expansion of 1 in x
0.639 * [backup-simplify]: Simplify 1 into 1
0.640 * [backup-simplify]: Simplify (- 1) into -1
0.640 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.641 * [backup-simplify]: Simplify (log -1) into (log -1)
0.642 * [backup-simplify]: Simplify (log -1) into (log -1)
0.642 * [backup-simplify]: Simplify (- 0) into 0
0.643 * [backup-simplify]: Simplify (+ 1 0) into 1
0.645 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 1) 1)) (pow -1 1)))) 1) into -1
0.645 * [backup-simplify]: Simplify -1 into -1
0.646 * [backup-simplify]: Simplify (- 0) into 0
0.647 * [backup-simplify]: Simplify (+ 0 0) into 0
0.651 * [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.652 * [backup-simplify]: Simplify -1/2 into -1/2
0.653 * [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.653 * [backup-simplify]: Simplify (log (- (/ 1 (/ 1 (- x))) 1)) into (log (- (+ x 1)))
0.653 * [approximate]: Taking taylor expansion of (log (- (+ x 1))) in (x) around 0
0.653 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.653 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.653 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.653 * [taylor]: Taking taylor expansion of x in x
0.653 * [backup-simplify]: Simplify 0 into 0
0.653 * [backup-simplify]: Simplify 1 into 1
0.654 * [taylor]: Taking taylor expansion of 1 in x
0.654 * [backup-simplify]: Simplify 1 into 1
0.654 * [backup-simplify]: Simplify (+ 0 1) into 1
0.655 * [backup-simplify]: Simplify (- 1) into -1
0.656 * [backup-simplify]: Simplify (- 1) into -1
0.657 * [backup-simplify]: Simplify (log -1) into (log -1)
0.657 * [taylor]: Taking taylor expansion of (log (- (+ x 1))) in x
0.657 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.657 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.657 * [taylor]: Taking taylor expansion of x in x
0.657 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify 1 into 1
0.657 * [taylor]: Taking taylor expansion of 1 in x
0.657 * [backup-simplify]: Simplify 1 into 1
0.658 * [backup-simplify]: Simplify (+ 0 1) into 1
0.658 * [backup-simplify]: Simplify (- 1) into -1
0.659 * [backup-simplify]: Simplify (- 1) into -1
0.659 * [backup-simplify]: Simplify (log -1) into (log -1)
0.660 * [backup-simplify]: Simplify (log -1) into (log -1)
0.661 * [backup-simplify]: Simplify (+ 1 0) into 1
0.661 * [backup-simplify]: Simplify (- 1) into -1
0.662 * [backup-simplify]: Simplify (- 1) into -1
0.663 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 -1) 1)) (pow -1 1)))) 1) into 1
0.664 * [backup-simplify]: Simplify 1 into 1
0.664 * [backup-simplify]: Simplify (- 1) into -1
0.664 * [backup-simplify]: Simplify (- 1) into -1
0.665 * [backup-simplify]: Simplify (+ 0 0) into 0
0.665 * [backup-simplify]: Simplify (- 0) into 0
0.666 * [backup-simplify]: Simplify (- 1) into -1
0.669 * [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.669 * [backup-simplify]: Simplify -1/2 into -1/2
0.670 * [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.670 * * * [progress]: simplifying candidates
0.670 * * * * [progress]: [ 1 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.671 * * * * [progress]: [ 2 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.671 * * * * [progress]: [ 3 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.671 * * * * [progress]: [ 4 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.671 * * * * [progress]: [ 5 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.671 * * * * [progress]: [ 6 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.671 * * * * [progress]: [ 7 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.671 * * * * [progress]: [ 8 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.671 * * * * [progress]: [ 9 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.671 * * * * [progress]: [ 10 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.672 * * * * [progress]: [ 11 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.672 * * * * [progress]: [ 12 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.672 * * * * [progress]: [ 13 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.672 * * * * [progress]: [ 14 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.672 * * * * [progress]: [ 15 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.672 * * * * [progress]: [ 16 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.672 * * * * [progress]: [ 17 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.672 * * * * [progress]: [ 18 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.672 * * * * [progress]: [ 19 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.672 * * * * [progress]: [ 20 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.672 * * * * [progress]: [ 21 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.673 * * * * [progress]: [ 22 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.673 * * * * [progress]: [ 23 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.673 * * * * [progress]: [ 24 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.673 * * * * [progress]: [ 25 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.673 * * * * [progress]: [ 26 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.673 * * * * [progress]: [ 27 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.673 * * * * [progress]: [ 28 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.673 * * * * [progress]: [ 29 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.673 * * * * [progress]: [ 30 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.673 * * * * [progress]: [ 31 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.673 * * * * [progress]: [ 32 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.673 * * * * [progress]: [ 33 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.674 * * * * [progress]: [ 34 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.674 * * * * [progress]: [ 35 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.674 * * * * [progress]: [ 36 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.674 * * * * [progress]: [ 37 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1))))) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))>
0.674 * * * * [progress]: [ 38 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
0.674 * * * * [progress]: [ 39 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.674 * * * * [progress]: [ 40 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (- (/ 1 x) 1))))))>
0.674 * * * * [progress]: [ 41 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (- (/ 1 x) 1))))))>
0.674 * * * * [progress]: [ 42 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log x))))))>
0.674 * * * * [progress]: [ 43 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- 0 (log x))))))>
0.674 * * * * [progress]: [ 44 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log 1) (log x))))))>
0.674 * * * * [progress]: [ 45 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log (/ 1 x))))))>
0.674 * * * * [progress]: [ 46 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))>
0.675 * * * * [progress]: [ 47 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))>
0.675 * * * * [progress]: [ 48 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 49 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 50 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))))>
0.675 * * * * [progress]: [ 51 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 52 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 53 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))))>
0.675 * * * * [progress]: [ 54 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 55 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))>
0.675 * * * * [progress]: [ 56 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 1) (/ 1 x) (- 1)))))>
0.675 * * * * [progress]: [ 57 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
0.675 * * * * [progress]: [ 58 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
0.675 * * * * [progress]: [ 59 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log (/ (exp (/ 1 x)) (exp 1))))))>
0.676 * * * * [progress]: [ 60 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
0.676 * * * * [progress]: [ 61 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.676 * * * * [progress]: [ 62 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
0.676 * * * * [progress]: [ 63 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
0.676 * * * * [progress]: [ 64 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
0.676 * * * * [progress]: [ 65 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
0.676 * * * * [progress]: [ 66 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.676 * * * * [progress]: [ 67 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
0.676 * * * * [progress]: [ 68 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.676 * * * * [progress]: [ 69 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
0.676 * * * * [progress]: [ 70 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))>
0.676 * * * * [progress]: [ 71 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
0.676 * * * * [progress]: [ 72 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
0.676 * * * * [progress]: [ 73 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.677 * * * * [progress]: [ 74 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))>
0.677 * * * * [progress]: [ 75 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
0.677 * * * * [progress]: [ 76 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
0.677 * * * * [progress]: [ 77 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.677 * * * * [progress]: [ 78 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
0.677 * * * * [progress]: [ 79 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.677 * * * * [progress]: [ 80 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
0.677 * * * * [progress]: [ 81 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
0.677 * * * * [progress]: [ 82 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))>
0.677 * * * * [progress]: [ 83 / 116 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (- (/ 1 x) 1))))))>
0.677 * * * * [progress]: [ 84 / 116 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (- (/ 1 x) 1))))))>
0.677 * * * * [progress]: [ 85 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))) (log (cbrt (- (/ 1 x) 1))))))>
0.677 * * * * [progress]: [ 86 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (- (/ 1 x) 1))) (log (sqrt (- (/ 1 x) 1))))))>
0.677 * * * * [progress]: [ 87 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.677 * * * * [progress]: [ 88 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) (sqrt 1))) (log (- (sqrt (/ 1 x)) (sqrt 1))))))>
0.678 * * * * [progress]: [ 89 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.678 * * * * [progress]: [ 90 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))) (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
0.678 * * * * [progress]: [ 91 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.678 * * * * [progress]: [ 92 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) (sqrt 1))) (log (- (/ 1 (sqrt x)) (sqrt 1))))))>
0.678 * * * * [progress]: [ 93 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.678 * * * * [progress]: [ 94 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (sqrt (/ 1 x)) 1)) (log (- (sqrt (/ 1 x)) 1)))))>
0.678 * * * * [progress]: [ 95 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ (sqrt 1) (sqrt x)) 1)) (log (- (/ (sqrt 1) (sqrt x)) 1)))))>
0.678 * * * * [progress]: [ 96 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log (+ (/ 1 (sqrt x)) 1)) (log (- (/ 1 (sqrt x)) 1)))))>
0.678 * * * * [progress]: [ 97 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.678 * * * * [progress]: [ 98 / 116 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (- (/ 1 x) 1)))))>
0.678 * * * * [progress]: [ 99 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (pow (/ 1 x) 3) (pow 1 3))) (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
0.678 * * * * [progress]: [ 100 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log (- (* (/ 1 x) (/ 1 x)) (* 1 1))) (log (+ (/ 1 x) 1)))))>
0.678 * * * * [progress]: [ 101 / 116 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.679 * * * * [progress]: [ 102 / 116 ] simplifiying candidate #<alt (λ (x) (- (pow (log (- (/ 1 x) 1)) 1)))>
0.679 * * * * [progress]: [ 103 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.679 * * * * [progress]: [ 104 / 116 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 105 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 106 / 116 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1)))) (cbrt (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 107 / 116 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 108 / 116 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (- (/ 1 x) 1))) (sqrt (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 109 / 116 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (- (/ 1 x) 1)))))>
0.679 * * * * [progress]: [ 110 / 116 ] simplifiying candidate #<alt (λ (x) (- (posit16->real (real->posit16 (log (- (/ 1 x) 1))))))>
0.679 * * * * [progress]: [ 111 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.679 * * * * [progress]: [ 112 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.679 * * * * [progress]: [ 113 / 116 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.679 * * * * [progress]: [ 114 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (+ x (+ (* 1/2 (pow x 2)) (log x))))))>
0.679 * * * * [progress]: [ 115 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
0.679 * * * * [progress]: [ 116 / 116 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))))>
0.683 * [simplify]: Simplifying:
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
  (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
  (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
  (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
  (fma 1 (/ 1 x) (- (* 1 1)))
  (fma (- 1) 1 (* 1 1))
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (- 1)
  (/ (exp (/ 1 x)) (exp 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (- (pow (/ 1 x) 3) (pow 1 3))
  (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))
  (- 1)
  (- (* (/ 1 x) (/ 1 x)) (* 1 1))
  (+ (/ 1 x) 1)
  (+ (sqrt (/ 1 x)) (sqrt 1))
  (- (sqrt (/ 1 x)) (sqrt 1))
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) (sqrt 1))
  (- (/ 1 (sqrt x)) (sqrt 1))
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (+ (sqrt (/ 1 x)) 1)
  (- (sqrt (/ 1 x)) 1)
  (+ (/ (sqrt 1) (sqrt x)) 1)
  (- (/ (sqrt 1) (sqrt x)) 1)
  (+ (/ 1 (sqrt x)) 1)
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- 1)
  (real->posit16 (- (/ 1 x) 1))
  (expm1 (log (- (/ 1 x) 1)))
  (log1p (log (- (/ 1 x) 1)))
  (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
  (log (cbrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log 1)
  (log (- (/ 1 x) 1))
  (log (+ (sqrt (/ 1 x)) (sqrt 1)))
  (log (- (sqrt (/ 1 x)) (sqrt 1)))
  (log (+ (sqrt (/ 1 x)) 1))
  (log (- (sqrt (/ 1 x)) 1))
  (log (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (log (- (/ (sqrt 1) (sqrt x)) (sqrt 1)))
  (log (+ (/ (sqrt 1) (sqrt x)) 1))
  (log (- (/ (sqrt 1) (sqrt x)) 1))
  (log (+ (/ 1 (sqrt x)) (sqrt 1)))
  (log (- (/ 1 (sqrt x)) (sqrt 1)))
  (log (+ (/ 1 (sqrt x)) 1))
  (log (- (/ 1 (sqrt x)) 1))
  (log (+ (sqrt (/ 1 x)) 1))
  (log (- (sqrt (/ 1 x)) 1))
  (log (+ (/ (sqrt 1) (sqrt x)) 1))
  (log (- (/ (sqrt 1) (sqrt x)) 1))
  (log (+ (/ 1 (sqrt x)) 1))
  (log (- (/ 1 (sqrt x)) 1))
  (log 1)
  (log (- (/ 1 x) 1))
  (log 1)
  (log (- (/ 1 x) 1))
  (log (- (pow (/ 1 x) 3) (pow 1 3)))
  (log (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1))))
  (log (- (* (/ 1 x) (/ 1 x)) (* 1 1)))
  (log (+ (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (log (log (- (/ 1 x) 1)))
  (exp (log (- (/ 1 x) 1)))
  (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
  (cbrt (log (- (/ 1 x) 1)))
  (* (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))) (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (real->posit16 (log (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (+ x (+ (* 1/2 (pow x 2)) (log x))))
  (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
  (- (log -1) (+ (/ 1 x) (* 1/2 (/ 1 (pow x 2)))))
0.688 * * [simplify]: iteration 0: 155 enodes
0.777 * * [simplify]: iteration 1: 312 enodes
0.854 * * [simplify]: iteration 2: 596 enodes
1.054 * * [simplify]: iteration 3: 1383 enodes
1.853 * * [simplify]: iteration 4: 3041 enodes
3.880 * * [simplify]: iteration complete: 5007 enodes
3.880 * * [simplify]: Extracting #0: cost 42 inf + 0
3.882 * * [simplify]: Extracting #1: cost 265 inf + 2
3.887 * * [simplify]: Extracting #2: cost 588 inf + 963
3.894 * * [simplify]: Extracting #3: cost 418 inf + 18491
3.911 * * [simplify]: Extracting #4: cost 261 inf + 52971
3.949 * * [simplify]: Extracting #5: cost 127 inf + 93860
3.991 * * [simplify]: Extracting #6: cost 17 inf + 113437
4.035 * * [simplify]: Extracting #7: cost 0 inf + 118148
4.104 * [simplify]: Simplified to:
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (- (/ 1 x) 1)
  0
  (expm1 (- (/ 1 x) 1))
  (log1p (- (/ 1 x) 1))
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  -1
  (exp (- (/ 1 x) 1))
  (log (- (/ 1 x) 1))
  (exp (- (/ 1 x) 1))
  (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1)))
  (cbrt (- (/ 1 x) 1))
  (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (sqrt (- (/ 1 x) 1))
  (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1)
  (+ (fma (/ 1 x) (/ 1 x) (/ 1 x)) 1)
  -1
  (fma (/ -1 x) (/ -1 x) -1)
  (+ 1 (/ 1 x))
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (sqrt (/ 1 x)))
  (- (sqrt (/ 1 x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (+ 1 (/ 1 (sqrt x)))
  (- (/ 1 (sqrt x)) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  -1
  (real->posit16 (- (/ 1 x) 1))
  (expm1 (log (- (/ 1 x) 1)))
  (log1p (log (- (/ 1 x) 1)))
  (log (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))))
  (log (cbrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  (log (sqrt (- (/ 1 x) 1)))
  0
  (log (- (/ 1 x) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (sqrt (/ 1 x)))
  (log (- (sqrt (/ 1 x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  (log1p (/ 1 (sqrt x)))
  (log (- (/ 1 (sqrt x)) 1))
  0
  (log (- (/ 1 x) 1))
  0
  (log (- (/ 1 x) 1))
  (log (fma (* (/ 1 x) (/ 1 x)) (/ 1 x) -1))
  (log1p (fma (/ 1 x) (/ 1 x) (/ 1 x)))
  (log (fma (/ -1 x) (/ -1 x) -1))
  (log1p (/ 1 x))
  (log (- (/ 1 x) 1))
  (log (log (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  (* (cbrt (log (- (/ 1 x) 1))) (cbrt (log (- (/ 1 x) 1))))
  (cbrt (log (- (/ 1 x) 1)))
  (* (log (- (/ 1 x) 1)) (* (log (- (/ 1 x) 1)) (log (- (/ 1 x) 1))))
  (sqrt (log (- (/ 1 x) 1)))
  (sqrt (log (- (/ 1 x) 1)))
  (real->posit16 (log (- (/ 1 x) 1)))
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (/ 1 x) 1)
  (- (fma (fma x 1/2 1) x (log x)))
  (fma (/ -1 x) (/ 1/2 x) (+ (/ -1 x) (log -1)))
  (fma (/ -1 x) (/ 1/2 x) (+ (/ -1 x) (log -1)))
4.118 * * * [progress]: adding candidates to table
4.461 * * [progress]: iteration 2 / 4
4.461 * * * [progress]: picking best candidate
4.466 * * * * [pick]: Picked  #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>
4.466 * * * [progress]: localizing error
4.482 * * * [progress]: generating rewritten candidates
4.482 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1)
4.482 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2)
4.488 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 1)
4.493 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
4.503 * * * [progress]: generating series expansions
4.503 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1)
4.504 * [backup-simplify]: Simplify (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1) into (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1)
4.504 * [approximate]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1) in (x) around 0
4.504 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1) in x
4.506 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) -1)
4.506 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) in x
4.506 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.506 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.506 * [taylor]: Taking taylor expansion of x in x
4.506 * [backup-simplify]: Simplify 0 into 0
4.506 * [backup-simplify]: Simplify 1 into 1
4.507 * [backup-simplify]: Simplify (/ 1 1) into 1
4.507 * [backup-simplify]: Simplify (sqrt 0) into 0
4.509 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.509 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.509 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.510 * [taylor]: Taking taylor expansion of x in x
4.510 * [backup-simplify]: Simplify 0 into 0
4.510 * [backup-simplify]: Simplify 1 into 1
4.510 * [backup-simplify]: Simplify (/ 1 1) into 1
4.510 * [backup-simplify]: Simplify (sqrt 0) into 0
4.512 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.512 * [taylor]: Taking taylor expansion of -1 in x
4.512 * [backup-simplify]: Simplify -1 into -1
4.512 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1) in x
4.512 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) -1)
4.512 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) in x
4.512 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.512 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.512 * [taylor]: Taking taylor expansion of x in x
4.512 * [backup-simplify]: Simplify 0 into 0
4.512 * [backup-simplify]: Simplify 1 into 1
4.513 * [backup-simplify]: Simplify (/ 1 1) into 1
4.513 * [backup-simplify]: Simplify (sqrt 0) into 0
4.514 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.514 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.514 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.514 * [taylor]: Taking taylor expansion of x in x
4.514 * [backup-simplify]: Simplify 0 into 0
4.514 * [backup-simplify]: Simplify 1 into 1
4.515 * [backup-simplify]: Simplify (/ 1 1) into 1
4.515 * [backup-simplify]: Simplify (sqrt 0) into 0
4.516 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.516 * [taylor]: Taking taylor expansion of -1 in x
4.517 * [backup-simplify]: Simplify -1 into -1
4.517 * [backup-simplify]: Simplify (* 0 0) into 0
4.517 * [backup-simplify]: Simplify (+ 0 0) into 0
4.518 * [backup-simplify]: Simplify 0 into 0
4.518 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.519 * [backup-simplify]: Simplify (+ 0 0) into 0
4.519 * [backup-simplify]: Simplify 0 into 0
4.520 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.523 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.523 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.526 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.529 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.530 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
4.530 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.531 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.533 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.534 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.536 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.538 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
4.539 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.539 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.540 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.543 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.543 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.546 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.551 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
4.551 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.552 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.552 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow x 2)) (+ (* (- +nan.0) x) (- +nan.0))) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.553 * [backup-simplify]: Simplify (fma (/ 1 (sqrt (/ 1 x))) (/ 1 (sqrt (/ 1 x))) -1) into (fma (sqrt x) (sqrt x) -1)
4.553 * [approximate]: Taking taylor expansion of (fma (sqrt x) (sqrt x) -1) in (x) around 0
4.553 * [taylor]: Taking taylor expansion of (fma (sqrt x) (sqrt x) -1) in x
4.553 * [taylor]: Rewrote expression to (+ (* (sqrt x) (sqrt x)) -1)
4.553 * [taylor]: Taking taylor expansion of (* (sqrt x) (sqrt x)) in x
4.553 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.553 * [taylor]: Taking taylor expansion of x in x
4.553 * [backup-simplify]: Simplify 0 into 0
4.553 * [backup-simplify]: Simplify 1 into 1
4.553 * [backup-simplify]: Simplify (sqrt 0) into 0
4.554 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.554 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.554 * [taylor]: Taking taylor expansion of x in x
4.554 * [backup-simplify]: Simplify 0 into 0
4.554 * [backup-simplify]: Simplify 1 into 1
4.554 * [backup-simplify]: Simplify (sqrt 0) into 0
4.555 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.555 * [taylor]: Taking taylor expansion of -1 in x
4.555 * [backup-simplify]: Simplify -1 into -1
4.555 * [taylor]: Taking taylor expansion of (fma (sqrt x) (sqrt x) -1) in x
4.555 * [taylor]: Rewrote expression to (+ (* (sqrt x) (sqrt x)) -1)
4.555 * [taylor]: Taking taylor expansion of (* (sqrt x) (sqrt x)) in x
4.555 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.555 * [taylor]: Taking taylor expansion of x in x
4.555 * [backup-simplify]: Simplify 0 into 0
4.555 * [backup-simplify]: Simplify 1 into 1
4.556 * [backup-simplify]: Simplify (sqrt 0) into 0
4.556 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.556 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.556 * [taylor]: Taking taylor expansion of x in x
4.556 * [backup-simplify]: Simplify 0 into 0
4.556 * [backup-simplify]: Simplify 1 into 1
4.557 * [backup-simplify]: Simplify (sqrt 0) into 0
4.557 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.557 * [taylor]: Taking taylor expansion of -1 in x
4.557 * [backup-simplify]: Simplify -1 into -1
4.558 * [backup-simplify]: Simplify (* 0 0) into 0
4.558 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.558 * [backup-simplify]: Simplify -1 into -1
4.559 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.559 * [backup-simplify]: Simplify (+ 0 0) into 0
4.559 * [backup-simplify]: Simplify 0 into 0
4.562 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.565 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.568 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.569 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.569 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.573 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.577 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.581 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
4.582 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.583 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.584 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 x) 3)) (+ (* (- +nan.0) (pow (/ 1 x) 2)) -1)) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- 1 (* +nan.0 (/ 1 (pow x 2))))))
4.584 * [backup-simplify]: Simplify (fma (/ 1 (sqrt (/ 1 (- x)))) (/ 1 (sqrt (/ 1 (- x)))) -1) into (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1)
4.584 * [approximate]: Taking taylor expansion of (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1) in (x) around 0
4.584 * [taylor]: Taking taylor expansion of (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1) in x
4.584 * [taylor]: Rewrote expression to (+ (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) -1)
4.584 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) in x
4.584 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.584 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.584 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.584 * [taylor]: Taking taylor expansion of -1 in x
4.584 * [backup-simplify]: Simplify -1 into -1
4.584 * [taylor]: Taking taylor expansion of x in x
4.584 * [backup-simplify]: Simplify 0 into 0
4.584 * [backup-simplify]: Simplify 1 into 1
4.585 * [backup-simplify]: Simplify (/ -1 1) into -1
4.585 * [backup-simplify]: Simplify (sqrt 0) into 0
4.587 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.587 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.587 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.587 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.587 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.587 * [taylor]: Taking taylor expansion of -1 in x
4.587 * [backup-simplify]: Simplify -1 into -1
4.587 * [taylor]: Taking taylor expansion of x in x
4.587 * [backup-simplify]: Simplify 0 into 0
4.587 * [backup-simplify]: Simplify 1 into 1
4.588 * [backup-simplify]: Simplify (/ -1 1) into -1
4.588 * [backup-simplify]: Simplify (sqrt 0) into 0
4.590 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.590 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.590 * [taylor]: Taking taylor expansion of -1 in x
4.590 * [backup-simplify]: Simplify -1 into -1
4.590 * [taylor]: Taking taylor expansion of (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1) in x
4.590 * [taylor]: Rewrote expression to (+ (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) -1)
4.591 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) in x
4.591 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.591 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.591 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.591 * [taylor]: Taking taylor expansion of -1 in x
4.591 * [backup-simplify]: Simplify -1 into -1
4.591 * [taylor]: Taking taylor expansion of x in x
4.591 * [backup-simplify]: Simplify 0 into 0
4.591 * [backup-simplify]: Simplify 1 into 1
4.591 * [backup-simplify]: Simplify (/ -1 1) into -1
4.592 * [backup-simplify]: Simplify (sqrt 0) into 0
4.593 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.593 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.593 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.594 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.594 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.594 * [taylor]: Taking taylor expansion of -1 in x
4.594 * [backup-simplify]: Simplify -1 into -1
4.594 * [taylor]: Taking taylor expansion of x in x
4.594 * [backup-simplify]: Simplify 0 into 0
4.594 * [backup-simplify]: Simplify 1 into 1
4.594 * [backup-simplify]: Simplify (/ -1 1) into -1
4.594 * [backup-simplify]: Simplify (sqrt 0) into 0
4.596 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.596 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.596 * [taylor]: Taking taylor expansion of -1 in x
4.596 * [backup-simplify]: Simplify -1 into -1
4.597 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
4.597 * [backup-simplify]: Simplify (+ +nan.0 -1) into (- +nan.0)
4.598 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.599 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.602 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.604 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.605 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.608 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.610 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.613 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0)
4.614 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.614 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.615 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.619 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.623 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.624 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.634 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.637 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.642 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) +nan.0))) into (- +nan.0)
4.643 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.644 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.645 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) (- +nan.0))) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.645 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2)
4.645 * [backup-simplify]: Simplify (/ 1 (sqrt x)) into (sqrt (/ 1 x))
4.645 * [approximate]: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
4.645 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.645 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.645 * [taylor]: Taking taylor expansion of x in x
4.645 * [backup-simplify]: Simplify 0 into 0
4.646 * [backup-simplify]: Simplify 1 into 1
4.646 * [backup-simplify]: Simplify (/ 1 1) into 1
4.646 * [backup-simplify]: Simplify (sqrt 0) into 0
4.648 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.648 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.648 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.648 * [taylor]: Taking taylor expansion of x in x
4.648 * [backup-simplify]: Simplify 0 into 0
4.648 * [backup-simplify]: Simplify 1 into 1
4.648 * [backup-simplify]: Simplify (/ 1 1) into 1
4.649 * [backup-simplify]: Simplify (sqrt 0) into 0
4.650 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.650 * [backup-simplify]: Simplify 0 into 0
4.650 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.651 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.654 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.654 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.659 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.659 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.659 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.660 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 x))) into (sqrt x)
4.660 * [approximate]: Taking taylor expansion of (sqrt x) in (x) around 0
4.660 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.660 * [taylor]: Taking taylor expansion of x in x
4.660 * [backup-simplify]: Simplify 0 into 0
4.660 * [backup-simplify]: Simplify 1 into 1
4.660 * [backup-simplify]: Simplify (sqrt 0) into 0
4.661 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.661 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.661 * [taylor]: Taking taylor expansion of x in x
4.662 * [backup-simplify]: Simplify 0 into 0
4.662 * [backup-simplify]: Simplify 1 into 1
4.662 * [backup-simplify]: Simplify (sqrt 0) into 0
4.663 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.663 * [backup-simplify]: Simplify 0 into 0
4.663 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.666 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.666 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.670 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.670 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.671 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
4.671 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 (- x)))) into (/ 1 (sqrt (/ -1 x)))
4.671 * [approximate]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in (x) around 0
4.671 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.671 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.671 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.671 * [taylor]: Taking taylor expansion of -1 in x
4.671 * [backup-simplify]: Simplify -1 into -1
4.671 * [taylor]: Taking taylor expansion of x in x
4.671 * [backup-simplify]: Simplify 0 into 0
4.671 * [backup-simplify]: Simplify 1 into 1
4.671 * [backup-simplify]: Simplify (/ -1 1) into -1
4.672 * [backup-simplify]: Simplify (sqrt 0) into 0
4.673 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.674 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.674 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.674 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.674 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.674 * [taylor]: Taking taylor expansion of -1 in x
4.674 * [backup-simplify]: Simplify -1 into -1
4.674 * [taylor]: Taking taylor expansion of x in x
4.674 * [backup-simplify]: Simplify 0 into 0
4.674 * [backup-simplify]: Simplify 1 into 1
4.674 * [backup-simplify]: Simplify (/ -1 1) into -1
4.675 * [backup-simplify]: Simplify (sqrt 0) into 0
4.677 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.677 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.677 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.678 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.681 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.683 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.684 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.689 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.693 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.693 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.694 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.694 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 1)
4.694 * [backup-simplify]: Simplify (/ 1 (sqrt x)) into (sqrt (/ 1 x))
4.694 * [approximate]: Taking taylor expansion of (sqrt (/ 1 x)) in (x) around 0
4.694 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.694 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.694 * [taylor]: Taking taylor expansion of x in x
4.695 * [backup-simplify]: Simplify 0 into 0
4.695 * [backup-simplify]: Simplify 1 into 1
4.695 * [backup-simplify]: Simplify (/ 1 1) into 1
4.695 * [backup-simplify]: Simplify (sqrt 0) into 0
4.697 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.697 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.697 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.697 * [taylor]: Taking taylor expansion of x in x
4.697 * [backup-simplify]: Simplify 0 into 0
4.697 * [backup-simplify]: Simplify 1 into 1
4.697 * [backup-simplify]: Simplify (/ 1 1) into 1
4.698 * [backup-simplify]: Simplify (sqrt 0) into 0
4.699 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.699 * [backup-simplify]: Simplify 0 into 0
4.699 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.700 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.703 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.703 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.704 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.708 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.708 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.708 * [backup-simplify]: Simplify (+ (* +nan.0 (pow x 2)) (+ (* +nan.0 x) +nan.0)) into (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
4.708 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 x))) into (sqrt x)
4.708 * [approximate]: Taking taylor expansion of (sqrt x) in (x) around 0
4.709 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.709 * [taylor]: Taking taylor expansion of x in x
4.709 * [backup-simplify]: Simplify 0 into 0
4.709 * [backup-simplify]: Simplify 1 into 1
4.709 * [backup-simplify]: Simplify (sqrt 0) into 0
4.710 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.710 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.710 * [taylor]: Taking taylor expansion of x in x
4.710 * [backup-simplify]: Simplify 0 into 0
4.710 * [backup-simplify]: Simplify 1 into 1
4.710 * [backup-simplify]: Simplify (sqrt 0) into 0
4.711 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.711 * [backup-simplify]: Simplify 0 into 0
4.711 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.713 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.713 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.715 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.715 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.716 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (* +nan.0 (/ 1 x)))) into (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
4.716 * [backup-simplify]: Simplify (/ 1 (sqrt (/ 1 (- x)))) into (/ 1 (sqrt (/ -1 x)))
4.716 * [approximate]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in (x) around 0
4.716 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.716 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.716 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.716 * [taylor]: Taking taylor expansion of -1 in x
4.716 * [backup-simplify]: Simplify -1 into -1
4.716 * [taylor]: Taking taylor expansion of x in x
4.716 * [backup-simplify]: Simplify 0 into 0
4.716 * [backup-simplify]: Simplify 1 into 1
4.716 * [backup-simplify]: Simplify (/ -1 1) into -1
4.716 * [backup-simplify]: Simplify (sqrt 0) into 0
4.717 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.717 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.717 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.717 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.718 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.718 * [taylor]: Taking taylor expansion of -1 in x
4.718 * [backup-simplify]: Simplify -1 into -1
4.718 * [taylor]: Taking taylor expansion of x in x
4.718 * [backup-simplify]: Simplify 0 into 0
4.718 * [backup-simplify]: Simplify 1 into 1
4.718 * [backup-simplify]: Simplify (/ -1 1) into -1
4.718 * [backup-simplify]: Simplify (sqrt 0) into 0
4.719 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.719 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.719 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.720 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.721 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.723 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.723 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.724 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.726 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.728 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.728 * [backup-simplify]: Simplify (- +nan.0) into (- +nan.0)
4.729 * [backup-simplify]: Simplify (+ (* (- +nan.0) (pow (/ 1 (- x)) 2)) (+ (* (- +nan.0) (/ 1 (- x))) +nan.0)) into (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
4.729 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
4.729 * [backup-simplify]: Simplify (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) into (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1))
4.729 * [approximate]: Taking taylor expansion of (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1)) in (x) around 0
4.729 * [taylor]: Taking taylor expansion of (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1)) in x
4.729 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1) in x
4.729 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) -1)
4.729 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) in x
4.729 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.729 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.729 * [taylor]: Taking taylor expansion of x in x
4.729 * [backup-simplify]: Simplify 0 into 0
4.730 * [backup-simplify]: Simplify 1 into 1
4.730 * [backup-simplify]: Simplify (/ 1 1) into 1
4.730 * [backup-simplify]: Simplify (sqrt 0) into 0
4.732 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.732 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.732 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.732 * [taylor]: Taking taylor expansion of x in x
4.732 * [backup-simplify]: Simplify 0 into 0
4.732 * [backup-simplify]: Simplify 1 into 1
4.732 * [backup-simplify]: Simplify (/ 1 1) into 1
4.732 * [backup-simplify]: Simplify (sqrt 0) into 0
4.734 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.734 * [taylor]: Taking taylor expansion of -1 in x
4.734 * [backup-simplify]: Simplify -1 into -1
4.734 * [backup-simplify]: Simplify (* 0 0) into 0
4.735 * [backup-simplify]: Simplify (+ 0 0) into 0
4.735 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.736 * [backup-simplify]: Simplify (+ 0 0) into 0
4.736 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.739 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.739 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.741 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.742 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.743 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
4.744 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.744 * [taylor]: Taking taylor expansion of (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1)) in x
4.744 * [taylor]: Taking taylor expansion of (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) -1) in x
4.744 * [taylor]: Rewrote expression to (+ (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) -1)
4.744 * [taylor]: Taking taylor expansion of (* (sqrt (/ 1 x)) (sqrt (/ 1 x))) in x
4.744 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.744 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.744 * [taylor]: Taking taylor expansion of x in x
4.744 * [backup-simplify]: Simplify 0 into 0
4.744 * [backup-simplify]: Simplify 1 into 1
4.744 * [backup-simplify]: Simplify (/ 1 1) into 1
4.744 * [backup-simplify]: Simplify (sqrt 0) into 0
4.745 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.745 * [taylor]: Taking taylor expansion of (sqrt (/ 1 x)) in x
4.745 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.745 * [taylor]: Taking taylor expansion of x in x
4.745 * [backup-simplify]: Simplify 0 into 0
4.745 * [backup-simplify]: Simplify 1 into 1
4.746 * [backup-simplify]: Simplify (/ 1 1) into 1
4.746 * [backup-simplify]: Simplify (sqrt 0) into 0
4.747 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.747 * [taylor]: Taking taylor expansion of -1 in x
4.747 * [backup-simplify]: Simplify -1 into -1
4.747 * [backup-simplify]: Simplify (* 0 0) into 0
4.747 * [backup-simplify]: Simplify (+ 0 0) into 0
4.747 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.748 * [backup-simplify]: Simplify (+ 0 0) into 0
4.748 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.750 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.751 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.755 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.756 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.757 * [backup-simplify]: Simplify (+ (- +nan.0) -1) into (- +nan.0)
4.757 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.758 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.758 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.761 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.761 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.764 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.766 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
4.766 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.771 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
4.771 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.772 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.775 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.776 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.780 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.786 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))))) into (- +nan.0)
4.787 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.803 * [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
4.803 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.804 * [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)))))
4.804 * [backup-simplify]: Simplify (log (fma (/ 1 (sqrt (/ 1 x))) (/ 1 (sqrt (/ 1 x))) -1)) into (log (fma (sqrt x) (sqrt x) -1))
4.804 * [approximate]: Taking taylor expansion of (log (fma (sqrt x) (sqrt x) -1)) in (x) around 0
4.804 * [taylor]: Taking taylor expansion of (log (fma (sqrt x) (sqrt x) -1)) in x
4.804 * [taylor]: Taking taylor expansion of (fma (sqrt x) (sqrt x) -1) in x
4.804 * [taylor]: Rewrote expression to (+ (* (sqrt x) (sqrt x)) -1)
4.804 * [taylor]: Taking taylor expansion of (* (sqrt x) (sqrt x)) in x
4.804 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.804 * [taylor]: Taking taylor expansion of x in x
4.804 * [backup-simplify]: Simplify 0 into 0
4.804 * [backup-simplify]: Simplify 1 into 1
4.805 * [backup-simplify]: Simplify (sqrt 0) into 0
4.806 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.806 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.806 * [taylor]: Taking taylor expansion of x in x
4.806 * [backup-simplify]: Simplify 0 into 0
4.806 * [backup-simplify]: Simplify 1 into 1
4.806 * [backup-simplify]: Simplify (sqrt 0) into 0
4.807 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.807 * [taylor]: Taking taylor expansion of -1 in x
4.807 * [backup-simplify]: Simplify -1 into -1
4.807 * [backup-simplify]: Simplify (* 0 0) into 0
4.807 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.808 * [backup-simplify]: Simplify (log -1) into (log -1)
4.808 * [taylor]: Taking taylor expansion of (log (fma (sqrt x) (sqrt x) -1)) in x
4.808 * [taylor]: Taking taylor expansion of (fma (sqrt x) (sqrt x) -1) in x
4.808 * [taylor]: Rewrote expression to (+ (* (sqrt x) (sqrt x)) -1)
4.808 * [taylor]: Taking taylor expansion of (* (sqrt x) (sqrt x)) in x
4.808 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.808 * [taylor]: Taking taylor expansion of x in x
4.808 * [backup-simplify]: Simplify 0 into 0
4.808 * [backup-simplify]: Simplify 1 into 1
4.808 * [backup-simplify]: Simplify (sqrt 0) into 0
4.809 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.809 * [taylor]: Taking taylor expansion of (sqrt x) in x
4.809 * [taylor]: Taking taylor expansion of x in x
4.809 * [backup-simplify]: Simplify 0 into 0
4.809 * [backup-simplify]: Simplify 1 into 1
4.809 * [backup-simplify]: Simplify (sqrt 0) into 0
4.810 * [backup-simplify]: Simplify (/ 1 (* 2 (sqrt 0))) into +nan.0
4.810 * [taylor]: Taking taylor expansion of -1 in x
4.810 * [backup-simplify]: Simplify -1 into -1
4.810 * [backup-simplify]: Simplify (* 0 0) into 0
4.810 * [backup-simplify]: Simplify (+ 0 -1) into -1
4.811 * [backup-simplify]: Simplify (log -1) into (log -1)
4.811 * [backup-simplify]: Simplify (log -1) into (log -1)
4.811 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (* +nan.0 0)) into 0
4.812 * [backup-simplify]: Simplify (+ 0 0) into 0
4.813 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
4.813 * [backup-simplify]: Simplify 0 into 0
4.814 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.816 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.818 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0))) into (- +nan.0)
4.818 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.825 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 (- +nan.0)) 1)) (pow -1 1)))) 2) into +nan.0
4.825 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.828 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.831 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.834 * [backup-simplify]: Simplify (+ (* 0 +nan.0) (+ (* +nan.0 +nan.0) (+ (* +nan.0 +nan.0) (* +nan.0 0)))) into (- +nan.0)
4.836 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.857 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 (- +nan.0)) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 (- +nan.0)) 1)) (pow -1 1)))) 6) into +nan.0
4.857 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.857 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 x) 3)) (+ (* +nan.0 (pow (/ 1 x) 2)) (log -1))) into (- (log -1) (+ (* +nan.0 (/ 1 (pow x 3))) (- (* +nan.0 (/ 1 (pow x 2))))))
4.858 * [backup-simplify]: Simplify (log (fma (/ 1 (sqrt (/ 1 (- x)))) (/ 1 (sqrt (/ 1 (- x)))) -1)) into (log (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1))
4.858 * [approximate]: Taking taylor expansion of (log (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1)) in (x) around 0
4.858 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1)) in x
4.858 * [taylor]: Taking taylor expansion of (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1) in x
4.858 * [taylor]: Rewrote expression to (+ (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) -1)
4.858 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) in x
4.858 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.858 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.858 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.858 * [taylor]: Taking taylor expansion of -1 in x
4.858 * [backup-simplify]: Simplify -1 into -1
4.858 * [taylor]: Taking taylor expansion of x in x
4.858 * [backup-simplify]: Simplify 0 into 0
4.858 * [backup-simplify]: Simplify 1 into 1
4.859 * [backup-simplify]: Simplify (/ -1 1) into -1
4.859 * [backup-simplify]: Simplify (sqrt 0) into 0
4.860 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.861 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.861 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.861 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.861 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.861 * [taylor]: Taking taylor expansion of -1 in x
4.861 * [backup-simplify]: Simplify -1 into -1
4.861 * [taylor]: Taking taylor expansion of x in x
4.861 * [backup-simplify]: Simplify 0 into 0
4.861 * [backup-simplify]: Simplify 1 into 1
4.862 * [backup-simplify]: Simplify (/ -1 1) into -1
4.862 * [backup-simplify]: Simplify (sqrt 0) into 0
4.866 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.867 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.867 * [taylor]: Taking taylor expansion of -1 in x
4.867 * [backup-simplify]: Simplify -1 into -1
4.867 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
4.868 * [backup-simplify]: Simplify (+ +nan.0 -1) into (- +nan.0)
4.869 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.869 * [taylor]: Taking taylor expansion of (log (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1)) in x
4.869 * [taylor]: Taking taylor expansion of (fma (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x))) -1) in x
4.869 * [taylor]: Rewrote expression to (+ (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) -1)
4.869 * [taylor]: Taking taylor expansion of (* (/ 1 (sqrt (/ -1 x))) (/ 1 (sqrt (/ -1 x)))) in x
4.869 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.869 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.869 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.869 * [taylor]: Taking taylor expansion of -1 in x
4.869 * [backup-simplify]: Simplify -1 into -1
4.869 * [taylor]: Taking taylor expansion of x in x
4.869 * [backup-simplify]: Simplify 0 into 0
4.869 * [backup-simplify]: Simplify 1 into 1
4.870 * [backup-simplify]: Simplify (/ -1 1) into -1
4.870 * [backup-simplify]: Simplify (sqrt 0) into 0
4.871 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.872 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.872 * [taylor]: Taking taylor expansion of (/ 1 (sqrt (/ -1 x))) in x
4.872 * [taylor]: Taking taylor expansion of (sqrt (/ -1 x)) in x
4.872 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.872 * [taylor]: Taking taylor expansion of -1 in x
4.872 * [backup-simplify]: Simplify -1 into -1
4.872 * [taylor]: Taking taylor expansion of x in x
4.872 * [backup-simplify]: Simplify 0 into 0
4.872 * [backup-simplify]: Simplify 1 into 1
4.873 * [backup-simplify]: Simplify (/ -1 1) into -1
4.873 * [backup-simplify]: Simplify (sqrt 0) into 0
4.874 * [backup-simplify]: Simplify (/ -1 (* 2 (sqrt 0))) into +nan.0
4.875 * [backup-simplify]: Simplify (/ 1 +nan.0) into +nan.0
4.875 * [taylor]: Taking taylor expansion of -1 in x
4.875 * [backup-simplify]: Simplify -1 into -1
4.875 * [backup-simplify]: Simplify (* +nan.0 +nan.0) into +nan.0
4.876 * [backup-simplify]: Simplify (+ +nan.0 -1) into (- +nan.0)
4.877 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.878 * [backup-simplify]: Simplify (log (- +nan.0)) into (log (- +nan.0))
4.878 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.881 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.884 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.884 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.887 * [backup-simplify]: Simplify (/ (- 0 (pow +nan.0 2) (+)) (* 2 0)) into +nan.0
4.889 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)))) into (- +nan.0)
4.892 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (* (- +nan.0) +nan.0)) into (- +nan.0)
4.893 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.900 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 (- +nan.0)) 1)) (pow (- +nan.0) 1)))) 1) into +nan.0
4.900 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.901 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.905 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.909 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.910 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.913 * [backup-simplify]: Simplify (/ (- 0 (+ (* 2 (* +nan.0 +nan.0)))) (* 2 0)) into +nan.0
4.915 * [backup-simplify]: Simplify (- (+ (* +nan.0 (/ +nan.0 +nan.0)) (* (- +nan.0) (/ +nan.0 +nan.0)))) into (- +nan.0)
4.918 * [backup-simplify]: Simplify (+ (* +nan.0 (- +nan.0)) (+ (* (- +nan.0) (- +nan.0)) (* (- +nan.0) +nan.0))) into (- +nan.0)
4.918 * [backup-simplify]: Simplify (+ (- +nan.0) 0) into (- +nan.0)
4.928 * [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
4.928 * [backup-simplify]: Simplify +nan.0 into +nan.0
4.929 * [backup-simplify]: Simplify (+ (* +nan.0 (pow (/ 1 (- x)) 2)) (+ (* +nan.0 (/ 1 (- x))) (log (- +nan.0)))) into (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
4.929 * * * [progress]: simplifying candidates
4.929 * * * * [progress]: [ 1 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 2 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 3 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (+ (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) -1))))>
4.929 * * * * [progress]: [ 4 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (pow (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1) 1))))>
4.929 * * * * [progress]: [ 5 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 6 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 7 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 8 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1) (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 9 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 10 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))))>
4.929 * * * * [progress]: [ 11 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.929 * * * * [progress]: [ 12 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (log1p (expm1 (/ 1 (sqrt x)))) -1))))>
4.929 * * * * [progress]: [ 13 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (expm1 (log1p (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 14 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (pow (sqrt x) -1) -1))))>
4.930 * * * * [progress]: [ 15 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (pow x (- 1/2)) -1))))>
4.930 * * * * [progress]: [ 16 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (pow (sqrt x) (- 1)) -1))))>
4.930 * * * * [progress]: [ 17 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (pow x (- (/ 1 2))) -1))))>
4.930 * * * * [progress]: [ 18 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (pow (/ 1 (sqrt x)) 1) -1))))>
4.930 * * * * [progress]: [ 19 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (exp (- (log (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 20 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (exp (- 0 (log (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 21 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (exp (- (log 1) (log (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 22 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (exp (log (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 23 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (log (exp (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 24 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (cbrt (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 25 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 26 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (cbrt (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 27 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 28 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (- 1) (- (sqrt x))) -1))))>
4.930 * * * * [progress]: [ 29 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt 1) (cbrt (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 30 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt 1) (sqrt (cbrt x)))) -1))))>
4.930 * * * * [progress]: [ 31 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 32 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (cbrt 1) (sqrt x))) -1))))>
4.930 * * * * [progress]: [ 33 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 34 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sqrt x))) -1))))>
4.930 * * * * [progress]: [ 35 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (sqrt 1) (cbrt (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 36 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) (sqrt (* (cbrt x) (cbrt x)))) (/ (sqrt 1) (sqrt (cbrt x)))) -1))))>
4.930 * * * * [progress]: [ 37 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) (sqrt (sqrt x))) (/ (sqrt 1) (sqrt (sqrt x)))) -1))))>
4.930 * * * * [progress]: [ 38 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) (sqrt 1)) (/ (sqrt 1) (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 39 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) (sqrt (sqrt x))) (/ (sqrt 1) (sqrt (sqrt x)))) -1))))>
4.931 * * * * [progress]: [ 40 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 41 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ 1 (cbrt (sqrt x)))) -1))))>
4.931 * * * * [progress]: [ 42 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (/ 1 (sqrt (cbrt x)))) -1))))>
4.931 * * * * [progress]: [ 43 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 (sqrt (sqrt x))) (/ 1 (sqrt (sqrt x)))) -1))))>
4.931 * * * * [progress]: [ 44 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 (sqrt 1)) (/ 1 (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 45 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 (sqrt (sqrt x))) (/ 1 (sqrt (sqrt x)))) -1))))>
4.931 * * * * [progress]: [ 46 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* (/ 1 1) (/ 1 (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 47 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* 1 (/ 1 (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 48 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (* 1 (/ 1 (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 49 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (/ (sqrt x) 1)) -1))))>
4.931 * * * * [progress]: [ 50 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 51 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))) -1))))>
4.931 * * * * [progress]: [ 52 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 (sqrt (sqrt x))) (sqrt (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 53 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 (sqrt 1)) (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 54 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 (sqrt (sqrt x))) (sqrt (sqrt x))) -1))))>
4.931 * * * * [progress]: [ 55 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (/ 1 1) (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 56 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt x) (cbrt 1))) -1))))>
4.931 * * * * [progress]: [ 57 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (sqrt 1) (/ (sqrt x) (sqrt 1))) -1))))>
4.931 * * * * [progress]: [ 58 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (/ (sqrt x) 1)) -1))))>
4.931 * * * * [progress]: [ 59 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (posit16->real (real->posit16 (/ 1 (sqrt x)))) -1))))>
4.931 * * * * [progress]: [ 60 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (log1p (expm1 (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 61 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (expm1 (log1p (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 62 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (pow (sqrt x) -1) (/ 1 (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 63 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (pow x (- 1/2)) (/ 1 (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 64 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (pow (sqrt x) (- 1)) (/ 1 (sqrt x)) -1))))>
4.931 * * * * [progress]: [ 65 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (pow x (- (/ 1 2))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 66 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (pow (/ 1 (sqrt x)) 1) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 67 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (exp (- (log (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 68 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (exp (- 0 (log (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 69 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (exp (- (log 1) (log (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 70 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (exp (log (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 71 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (log (exp (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 72 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (cbrt (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 73 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x)))) (cbrt (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 74 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (cbrt (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 75 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (sqrt (/ 1 (sqrt x))) (sqrt (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 76 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (- 1) (- (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 77 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (cbrt 1) (cbrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 78 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt x) (cbrt x)))) (/ (cbrt 1) (sqrt (cbrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 79 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 80 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) (sqrt 1)) (/ (cbrt 1) (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 81 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x))) (/ (cbrt 1) (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 82 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 83 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ (sqrt 1) (cbrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 84 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) (sqrt (* (cbrt x) (cbrt x)))) (/ (sqrt 1) (sqrt (cbrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 85 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) (sqrt (sqrt x))) (/ (sqrt 1) (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 86 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) (sqrt 1)) (/ (sqrt 1) (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 87 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) (sqrt (sqrt x))) (/ (sqrt 1) (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 88 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ (sqrt 1) 1) (/ (sqrt 1) (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 89 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (/ 1 (cbrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.932 * * * * [progress]: [ 90 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (/ 1 (sqrt (cbrt x)))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 91 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 (sqrt (sqrt x))) (/ 1 (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 92 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 (sqrt 1)) (/ 1 (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 93 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 (sqrt (sqrt x))) (/ 1 (sqrt (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 94 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (/ 1 1) (/ 1 (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 95 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* 1 (/ 1 (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 96 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* 1 (/ 1 (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 97 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (/ (sqrt x) 1)) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 98 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x)))) (cbrt (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 99 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 (sqrt (* (cbrt x) (cbrt x)))) (sqrt (cbrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 100 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 (sqrt (sqrt x))) (sqrt (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 101 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 (sqrt 1)) (sqrt x)) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 102 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 (sqrt (sqrt x))) (sqrt (sqrt x))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 103 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (/ 1 1) (sqrt x)) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 104 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (/ (sqrt x) (cbrt 1))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 105 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (/ (sqrt x) (sqrt 1))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 106 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (/ (sqrt x) 1)) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 107 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (posit16->real (real->posit16 (/ 1 (sqrt x)))) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 108 / 134 ] simplifiying candidate #<alt (λ (x) (- (log1p (expm1 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.933 * * * * [progress]: [ 109 / 134 ] simplifiying candidate #<alt (λ (x) (- (expm1 (log1p (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.933 * * * * [progress]: [ 110 / 134 ] simplifiying candidate #<alt (λ (x) (- (+ (log (* (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))) (log (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.933 * * * * [progress]: [ 111 / 134 ] simplifiying candidate #<alt (λ (x) (- (+ (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.933 * * * * [progress]: [ 112 / 134 ] simplifiying candidate #<alt (λ (x) (- (+ (log 1) (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))))>
4.933 * * * * [progress]: [ 113 / 134 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))))>
4.933 * * * * [progress]: [ 114 / 134 ] simplifiying candidate #<alt (λ (x) (- (pow (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) 1)))>
4.933 * * * * [progress]: [ 115 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>
4.933 * * * * [progress]: [ 116 / 134 ] simplifiying candidate #<alt (λ (x) (- (exp (log (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.933 * * * * [progress]: [ 117 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.934 * * * * [progress]: [ 118 / 134 ] simplifiying candidate #<alt (λ (x) (- (* (* (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))) (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.934 * * * * [progress]: [ 119 / 134 ] simplifiying candidate #<alt (λ (x) (- (cbrt (* (* (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.934 * * * * [progress]: [ 120 / 134 ] simplifiying candidate #<alt (λ (x) (- (* (sqrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (sqrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.934 * * * * [progress]: [ 121 / 134 ] simplifiying candidate #<alt (λ (x) (- (* 1 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))))>
4.934 * * * * [progress]: [ 122 / 134 ] simplifiying candidate #<alt (λ (x) (- (posit16->real (real->posit16 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))))>
4.934 * * * * [progress]: [ 123 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))))))>
4.934 * * * * [progress]: [ 124 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 (/ 1 (pow x 3))) (- 1 (* +nan.0 (/ 1 (pow x 2)))))))))>
4.934 * * * * [progress]: [ 125 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))))))>
4.934 * * * * [progress]: [ 126 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) -1))))>
4.934 * * * * [progress]: [ 127 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) -1))))>
4.934 * * * * [progress]: [ 128 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) -1))))>
4.934 * * * * [progress]: [ 129 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0))))) (/ 1 (sqrt x)) -1))))>
4.934 * * * * [progress]: [ 130 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x))))))) (/ 1 (sqrt x)) -1))))>
4.934 * * * * [progress]: [ 131 / 134 ] simplifiying candidate #<alt (λ (x) (- (log (fma (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0))))) (/ 1 (sqrt x)) -1))))>
4.934 * * * * [progress]: [ 132 / 134 ] simplifiying candidate #<alt (λ (x) (- (- (log (- +nan.0)) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))))>
4.934 * * * * [progress]: [ 133 / 134 ] simplifiying candidate #<alt (λ (x) (- (- (log -1) (+ (* +nan.0 (/ 1 (pow x 3))) (- (* +nan.0 (/ 1 (pow x 2))))))))>
4.934 * * * * [progress]: [ 134 / 134 ] simplifiying candidate #<alt (λ (x) (- (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))>
4.935 * [simplify]: Simplifying:
  (expm1 (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (log1p (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (* (/ 1 (sqrt x)) (/ 1 (sqrt x)))
  (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (exp (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (* (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (* (* (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1) (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (real->posit16 (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (expm1 (/ 1 (sqrt x)))
  (log1p (/ 1 (sqrt x)))
  (- 1/2)
  (- 1)
  (- (/ 1 2))
  (- (log (sqrt x)))
  (- 0 (log (sqrt x)))
  (- (log 1) (log (sqrt x)))
  (log (/ 1 (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (- 1)
  (- (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (cbrt 1) (cbrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (sqrt (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt x))
  (/ (sqrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (sqrt 1) (cbrt (sqrt x)))
  (/ (sqrt 1) (sqrt (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (sqrt (cbrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (/ (sqrt x) 1)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ (sqrt x) (cbrt 1))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) 1)
  (real->posit16 (/ 1 (sqrt x)))
  (expm1 (/ 1 (sqrt x)))
  (log1p (/ 1 (sqrt x)))
  (- 1/2)
  (- 1)
  (- (/ 1 2))
  (- (log (sqrt x)))
  (- 0 (log (sqrt x)))
  (- (log 1) (log (sqrt x)))
  (log (/ 1 (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ (* (* 1 1) 1) (* (* (sqrt x) (sqrt x)) (sqrt x)))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (* (* (/ 1 (sqrt x)) (/ 1 (sqrt x))) (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  (- 1)
  (- (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (cbrt 1) (cbrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (* (cbrt x) (cbrt x))))
  (/ (cbrt 1) (sqrt (cbrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt 1))
  (/ (cbrt 1) (sqrt x))
  (/ (* (cbrt 1) (cbrt 1)) (sqrt (sqrt x)))
  (/ (cbrt 1) (sqrt (sqrt x)))
  (/ (* (cbrt 1) (cbrt 1)) 1)
  (/ (cbrt 1) (sqrt x))
  (/ (sqrt 1) (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ (sqrt 1) (cbrt (sqrt x)))
  (/ (sqrt 1) (sqrt (* (cbrt x) (cbrt x))))
  (/ (sqrt 1) (sqrt (cbrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt 1))
  (/ (sqrt 1) (sqrt x))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) (sqrt (sqrt x)))
  (/ (sqrt 1) 1)
  (/ (sqrt 1) (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (/ (sqrt x) 1)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (sqrt (* (cbrt x) (cbrt x))))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt 1))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 1)
  (/ (sqrt x) (cbrt 1))
  (/ (sqrt x) (sqrt 1))
  (/ (sqrt x) 1)
  (real->posit16 (/ 1 (sqrt x)))
  (expm1 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (log1p (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (log (* (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))
  (log (cbrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (log (sqrt (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (log 1)
  (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))
  (log (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (exp (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (* (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))
  (cbrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (* (* (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)) (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))) (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (sqrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (sqrt (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (real->posit16 (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1)))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 3))) (- 1 (* +nan.0 (/ 1 (pow x 2))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (+ (* +nan.0 x) (- (+ (* +nan.0 (pow x 2)) (- +nan.0)))))
  (- (+ (* +nan.0 (/ 1 (pow x 3))) (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))))
  (- (+ (* +nan.0 (/ 1 (pow x 2))) (- (+ (* +nan.0 (/ 1 x)) (- +nan.0)))))
  (- (log (- +nan.0)) (+ (* +nan.0 x) (- (* +nan.0 (pow x 2)))))
  (- (log -1) (+ (* +nan.0 (/ 1 (pow x 3))) (- (* +nan.0 (/ 1 (pow x 2))))))
  (- (log (- +nan.0)) (+ (* +nan.0 (/ 1 (pow x 2))) (- (* +nan.0 (/ 1 x)))))
4.937 * * [simplify]: iteration 0: 132 enodes
4.982 * * [simplify]: iteration 1: 258 enodes
5.115 * * [simplify]: iteration 2: 576 enodes
5.438 * * [simplify]: iteration 3: 1385 enodes
7.076 * * [simplify]: iteration 4: 3979 enodes
7.946 * * [simplify]: iteration complete: 5000 enodes
7.946 * * [simplify]: Extracting #0: cost 51 inf + 0
7.949 * * [simplify]: Extracting #1: cost 326 inf + 4
7.958 * * [simplify]: Extracting #2: cost 622 inf + 1185
7.982 * * [simplify]: Extracting #3: cost 395 inf + 30400
8.052 * * [simplify]: Extracting #4: cost 81 inf + 84644
8.133 * * [simplify]: Extracting #5: cost 6 inf + 106619
8.218 * * [simplify]: Extracting #6: cost 0 inf + 108834
8.302 * [simplify]: Simplified to:
  (expm1 (- -1 (/ -1 x)))
  (log1p (- -1 (/ -1 x)))
  (/ 1 x)
  (log (- -1 (/ -1 x)))
  (exp (- -1 (/ -1 x)))
  (* (cbrt (- -1 (/ -1 x))) (cbrt (- -1 (/ -1 x))))
  (cbrt (- -1 (/ -1 x)))
  (* (- -1 (/ -1 x)) (* (- -1 (/ -1 x)) (- -1 (/ -1 x))))
  (sqrt (- -1 (/ -1 x)))
  (sqrt (- -1 (/ -1 x)))
  (real->posit16 (- -1 (/ -1 x)))
  (expm1 (/ 1 (sqrt x)))
  (log1p (/ 1 (sqrt x)))
  -1/2
  -1
  -1/2
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ (/ 1 x) (sqrt x))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (/ (/ 1 x) (sqrt x))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  -1
  (- (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (sqrt x)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt (sqrt x)))
  1
  (sqrt x)
  (sqrt x)
  (sqrt x)
  (real->posit16 (/ 1 (sqrt x)))
  (expm1 (/ 1 (sqrt x)))
  (log1p (/ 1 (sqrt x)))
  -1/2
  -1
  -1/2
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (- (log (sqrt x)))
  (exp (/ 1 (sqrt x)))
  (/ (/ 1 x) (sqrt x))
  (* (cbrt (/ 1 (sqrt x))) (cbrt (/ 1 (sqrt x))))
  (cbrt (/ 1 (sqrt x)))
  (/ (/ 1 x) (sqrt x))
  (sqrt (/ 1 (sqrt x)))
  (sqrt (/ 1 (sqrt x)))
  -1
  (- (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (cbrt (sqrt x)))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt (sqrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt x))
  (/ 1 (sqrt x))
  (sqrt x)
  (/ 1 (* (cbrt (sqrt x)) (cbrt (sqrt x))))
  (/ 1 (fabs (cbrt x)))
  (/ 1 (sqrt (sqrt x)))
  1
  (/ 1 (sqrt (sqrt x)))
  1
  (sqrt x)
  (sqrt x)
  (sqrt x)
  (real->posit16 (/ 1 (sqrt x)))
  (expm1 (log (- -1 (/ -1 x))))
  (log1p (log (- -1 (/ -1 x))))
  (log (* (cbrt (- -1 (/ -1 x))) (cbrt (- -1 (/ -1 x)))))
  (log (cbrt (- -1 (/ -1 x))))
  (log (sqrt (- -1 (/ -1 x))))
  (log (sqrt (- -1 (/ -1 x))))
  0
  (log (- -1 (/ -1 x)))
  (log (- -1 (/ -1 x)))
  (log (log (- -1 (/ -1 x))))
  (- -1 (/ -1 x))
  (* (cbrt (log (- -1 (/ -1 x)))) (cbrt (log (- -1 (/ -1 x)))))
  (cbrt (log (- -1 (/ -1 x))))
  (* (* (log (- -1 (/ -1 x))) (log (- -1 (/ -1 x)))) (log (- -1 (/ -1 x))))
  (sqrt (log (- -1 (/ -1 x))))
  (sqrt (log (- -1 (/ -1 x))))
  (real->posit16 (log (- -1 (/ -1 x))))
  (- (fma +nan.0 (- x (* x x)) +nan.0))
  (+ (fma (/ +nan.0 (* x x)) (/ -1 x) -1) (/ +nan.0 (* x x)))
  (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0)
  (- (fma +nan.0 (- x (* x x)) +nan.0))
  (fma (/ (/ -1 x) (* x x)) +nan.0 (* +nan.0 (fma (/ -1 x) (/ -1 x) (/ -1 x))))
  (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0)
  (- (fma +nan.0 (- x (* x x)) +nan.0))
  (fma (/ (/ -1 x) (* x x)) +nan.0 (* +nan.0 (fma (/ -1 x) (/ -1 x) (/ -1 x))))
  (- (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)) +nan.0)
  (fma (* x x) +nan.0 (fma (- +nan.0) x (log (- +nan.0))))
  (fma (/ +nan.0 (* x x)) (/ -1 x) (+ (log -1) (/ +nan.0 (* x x))))
  (+ (log (- +nan.0)) (fma (/ +nan.0 x) (/ -1 x) (/ +nan.0 x)))
8.317 * * * [progress]: adding candidates to table
8.797 * [progress]: [Phase 3 of 3] Extracting.
8.798 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.799 * * * [regime-changes]: Trying 5 branch expressions: ((/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))) x)
8.800 * * * * [regimes]: Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.839 * * * * [regimes]: Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.873 * * * * [regimes]: Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.907 * * * * [regimes]: Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.930 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) -1))))>)
8.955 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
8.956 * [simplify]: Simplifying:
  (- (log (- (/ 1 x) 1)))
8.956 * * [simplify]: iteration 0: 6 enodes
8.956 * * [simplify]: iteration 1: 8 enodes
8.956 * * [simplify]: iteration complete: 8 enodes
8.956 * * [simplify]: Extracting #0: cost 1 inf + 0
8.956 * * [simplify]: Extracting #1: cost 2 inf + 0
8.956 * * [simplify]: Extracting #2: cost 3 inf + 0
8.956 * * [simplify]: Extracting #3: cost 5 inf + 0
8.956 * * [simplify]: Extracting #4: cost 5 inf + 1
8.957 * * [simplify]: Extracting #5: cost 0 inf + 470
8.957 * [simplify]: Simplified to:
  (- (log (- (/ 1 x) 1)))
12.402 * [regime-testing]: Baseline error score: 0.029027248170749063
12.407 * [regime-testing]: Oracle error score: 0.027611830231645755
12.416 * [regime-testing]: End program error score: 0.029027248170749063