0.003 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.296 * * * [progress]: [2/2] Setting up program.
0.305 * [progress]: [Phase 2 of 3] Improving.
0.306 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.308 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
0.310 * * [simplify]: iters left: 6 (6 enodes)
0.324 * * [simplify]: iters left: 5 (23 enodes)
0.332 * * [simplify]: iters left: 4 (27 enodes)
0.340 * * [simplify]: Extracting #0: cost 1 inf + 0
0.340 * * [simplify]: Extracting #1: cost 3 inf + 0
0.340 * * [simplify]: Extracting #2: cost 5 inf + 0
0.340 * * [simplify]: Extracting #3: cost 9 inf + 0
0.341 * * [simplify]: Extracting #4: cost 9 inf + 2
0.341 * * [simplify]: Extracting #5: cost 6 inf + 87
0.341 * * [simplify]: Extracting #6: cost 1 inf + 747
0.341 * * [simplify]: Extracting #7: cost 0 inf + 939
0.342 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
0.342 * [simplify]: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1))))
0.347 * * [progress]: iteration 1 / 4
0.347 * * * [progress]: picking best candidate
0.349 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.349 * * * [progress]: localizing error
0.485 * * * [progress]: generating rewritten candidates
0.486 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.560 * * * [progress]: generating series expansions
0.561 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.572 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
0.572 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
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.574 * [backup-simplify]: Simplify 0 into 0
0.574 * [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.576 * [backup-simplify]: Simplify 1 into 1
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.577 * [backup-simplify]: Simplify (/ 1 1) into 1
0.577 * [taylor]: Taking taylor expansion of 1 in x
0.577 * [backup-simplify]: Simplify 1 into 1
0.579 * [backup-simplify]: Simplify (+ 1 0) into 1
0.579 * [backup-simplify]: Simplify 1 into 1
0.580 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.581 * [backup-simplify]: Simplify (- 1) into -1
0.581 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.581 * [backup-simplify]: Simplify -1 into -1
0.583 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.583 * [backup-simplify]: Simplify (- 0) into 0
0.583 * [backup-simplify]: Simplify (+ 0 0) into 0
0.583 * [backup-simplify]: Simplify 0 into 0
0.585 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.585 * [backup-simplify]: Simplify (- 0) into 0
0.586 * [backup-simplify]: Simplify (+ 0 0) into 0
0.586 * [backup-simplify]: Simplify 0 into 0
0.587 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.587 * [backup-simplify]: Simplify (- 0) into 0
0.588 * [backup-simplify]: Simplify (+ 0 0) into 0
0.588 * [backup-simplify]: Simplify 0 into 0
0.589 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.590 * [backup-simplify]: Simplify (- 0) into 0
0.590 * [backup-simplify]: Simplify (+ 0 0) into 0
0.590 * [backup-simplify]: Simplify 0 into 0
0.591 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.592 * [backup-simplify]: Simplify (- 0) into 0
0.592 * [backup-simplify]: Simplify (+ 0 0) into 0
0.592 * [backup-simplify]: Simplify 0 into 0
0.593 * [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.594 * [backup-simplify]: Simplify (- 0) into 0
0.594 * [backup-simplify]: Simplify (+ 0 0) into 0
0.594 * [backup-simplify]: Simplify 0 into 0
0.594 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
0.595 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
0.595 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
0.595 * [taylor]: Taking taylor expansion of (- x 1) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.595 * [backup-simplify]: Simplify 0 into 0
0.595 * [backup-simplify]: Simplify 1 into 1
0.595 * [taylor]: Taking taylor expansion of 1 in x
0.595 * [backup-simplify]: Simplify 1 into 1
0.595 * [taylor]: Taking taylor expansion of (- x 1) in x
0.595 * [taylor]: Taking taylor expansion of x in x
0.595 * [backup-simplify]: Simplify 0 into 0
0.595 * [backup-simplify]: Simplify 1 into 1
0.595 * [taylor]: Taking taylor expansion of 1 in x
0.595 * [backup-simplify]: Simplify 1 into 1
0.595 * [backup-simplify]: Simplify (- 1) into -1
0.596 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.596 * [backup-simplify]: Simplify -1 into -1
0.596 * [backup-simplify]: Simplify (- 0) into 0
0.597 * [backup-simplify]: Simplify (+ 1 0) into 1
0.597 * [backup-simplify]: Simplify 1 into 1
0.597 * [backup-simplify]: Simplify (- 0) into 0
0.598 * [backup-simplify]: Simplify (+ 0 0) into 0
0.598 * [backup-simplify]: Simplify 0 into 0
0.598 * [backup-simplify]: Simplify (- 0) into 0
0.599 * [backup-simplify]: Simplify (+ 0 0) into 0
0.599 * [backup-simplify]: Simplify 0 into 0
0.599 * [backup-simplify]: Simplify (- 0) into 0
0.600 * [backup-simplify]: Simplify (+ 0 0) into 0
0.600 * [backup-simplify]: Simplify 0 into 0
0.600 * [backup-simplify]: Simplify (- 0) into 0
0.601 * [backup-simplify]: Simplify (+ 0 0) into 0
0.601 * [backup-simplify]: Simplify 0 into 0
0.601 * [backup-simplify]: Simplify (- 0) into 0
0.602 * [backup-simplify]: Simplify (+ 0 0) into 0
0.602 * [backup-simplify]: Simplify 0 into 0
0.602 * [backup-simplify]: Simplify (- 0) into 0
0.603 * [backup-simplify]: Simplify (+ 0 0) into 0
0.603 * [backup-simplify]: Simplify 0 into 0
0.603 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
0.604 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
0.604 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
0.604 * [taylor]: Taking taylor expansion of (- (+ 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.604 * [taylor]: Taking taylor expansion of (- (+ 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 (+ 0 1) into 1
0.605 * [backup-simplify]: Simplify (- 1) into -1
0.605 * [backup-simplify]: Simplify -1 into -1
0.606 * [backup-simplify]: Simplify (+ 1 0) into 1
0.606 * [backup-simplify]: Simplify (- 1) into -1
0.606 * [backup-simplify]: Simplify -1 into -1
0.607 * [backup-simplify]: Simplify (+ 0 0) into 0
0.607 * [backup-simplify]: Simplify (- 0) into 0
0.607 * [backup-simplify]: Simplify 0 into 0
0.608 * [backup-simplify]: Simplify (+ 0 0) into 0
0.608 * [backup-simplify]: Simplify (- 0) into 0
0.608 * [backup-simplify]: Simplify 0 into 0
0.609 * [backup-simplify]: Simplify (+ 0 0) into 0
0.609 * [backup-simplify]: Simplify (- 0) into 0
0.609 * [backup-simplify]: Simplify 0 into 0
0.610 * [backup-simplify]: Simplify (+ 0 0) into 0
0.610 * [backup-simplify]: Simplify (- 0) into 0
0.610 * [backup-simplify]: Simplify 0 into 0
0.611 * [backup-simplify]: Simplify (+ 0 0) into 0
0.611 * [backup-simplify]: Simplify (- 0) into 0
0.611 * [backup-simplify]: Simplify 0 into 0
0.612 * [backup-simplify]: Simplify (+ 0 0) into 0
0.612 * [backup-simplify]: Simplify (- 0) into 0
0.612 * [backup-simplify]: Simplify 0 into 0
0.612 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
0.612 * * * [progress]: simplifying candidates
0.612 * * * * [progress]: [ 1 / 85 ] 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.613 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
0.613 * * [simplify]: iters left: 6 (10 enodes)
0.621 * * [simplify]: iters left: 5 (41 enodes)
0.642 * * [simplify]: iters left: 4 (52 enodes)
0.654 * * [simplify]: iters left: 3 (56 enodes)
0.663 * * [simplify]: iters left: 2 (61 enodes)
0.680 * * [simplify]: iters left: 1 (78 enodes)
0.695 * * [simplify]: Extracting #0: cost 1 inf + 0
0.695 * * [simplify]: Extracting #1: cost 9 inf + 0
0.695 * * [simplify]: Extracting #2: cost 20 inf + 1
0.695 * * [simplify]: Extracting #3: cost 19 inf + 5
0.695 * * [simplify]: Extracting #4: cost 11 inf + 1285
0.696 * * [simplify]: Extracting #5: cost 3 inf + 3316
0.696 * * [simplify]: Extracting #6: cost 0 inf + 4355
0.697 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.697 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
0.697 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
0.697 * * [simplify]: iters left: 6 (6 enodes)
0.701 * * [simplify]: iters left: 5 (25 enodes)
0.708 * * [simplify]: iters left: 4 (37 enodes)
0.712 * * [simplify]: Extracting #0: cost 1 inf + 0
0.713 * * [simplify]: Extracting #1: cost 0 inf + 1
0.713 * [simplify]: Simplified to 0
0.713 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.713 * * * * [progress]: [ 2 / 85 ] 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.713 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
0.713 * * [simplify]: iters left: 6 (9 enodes)
0.718 * * [simplify]: iters left: 5 (30 enodes)
0.723 * * [simplify]: iters left: 4 (37 enodes)
0.728 * * [simplify]: iters left: 3 (40 enodes)
0.734 * * [simplify]: iters left: 2 (48 enodes)
0.742 * * [simplify]: iters left: 1 (66 enodes)
0.754 * * [simplify]: Extracting #0: cost 1 inf + 0
0.754 * * [simplify]: Extracting #1: cost 9 inf + 0
0.754 * * [simplify]: Extracting #2: cost 20 inf + 1
0.754 * * [simplify]: Extracting #3: cost 19 inf + 5
0.754 * * [simplify]: Extracting #4: cost 18 inf + 48
0.754 * * [simplify]: Extracting #5: cost 8 inf + 1702
0.755 * * [simplify]: Extracting #6: cost 0 inf + 4355
0.755 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.755 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
0.755 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
0.756 * * [simplify]: iters left: 4 (5 enodes)
0.758 * * [simplify]: iters left: 3 (17 enodes)
0.764 * * [simplify]: iters left: 2 (25 enodes)
0.769 * * [simplify]: Extracting #0: cost 1 inf + 0
0.769 * * [simplify]: Extracting #1: cost 0 inf + 1
0.769 * [simplify]: Simplified to 0
0.770 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.770 * * * * [progress]: [ 3 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.770 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
0.770 * * [simplify]: iters left: 6 (8 enodes)
0.773 * * [simplify]: iters left: 5 (27 enodes)
0.778 * * [simplify]: iters left: 4 (34 enodes)
0.782 * * [simplify]: iters left: 3 (37 enodes)
0.789 * * [simplify]: iters left: 2 (45 enodes)
0.796 * * [simplify]: iters left: 1 (63 enodes)
0.808 * * [simplify]: Extracting #0: cost 1 inf + 0
0.808 * * [simplify]: Extracting #1: cost 9 inf + 0
0.808 * * [simplify]: Extracting #2: cost 20 inf + 1
0.808 * * [simplify]: Extracting #3: cost 19 inf + 5
0.808 * * [simplify]: Extracting #4: cost 17 inf + 90
0.808 * * [simplify]: Extracting #5: cost 5 inf + 3046
0.809 * * [simplify]: Extracting #6: cost 0 inf + 4370
0.809 * * [simplify]: Extracting #7: cost 0 inf + 4355
0.810 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.810 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
0.810 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
0.810 * * [simplify]: iters left: 3 (4 enodes)
0.812 * * [simplify]: iters left: 2 (15 enodes)
0.816 * * [simplify]: iters left: 1 (20 enodes)
0.818 * * [simplify]: Extracting #0: cost 1 inf + 0
0.818 * * [simplify]: Extracting #1: cost 0 inf + 1
0.818 * [simplify]: Simplified to 0
0.818 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.818 * * * * [progress]: [ 4 / 85 ] 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.819 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
0.819 * * [simplify]: iters left: 6 (9 enodes)
0.823 * * [simplify]: iters left: 5 (38 enodes)
0.830 * * [simplify]: iters left: 4 (45 enodes)
0.836 * * [simplify]: iters left: 3 (49 enodes)
0.842 * * [simplify]: iters left: 2 (58 enodes)
0.851 * * [simplify]: iters left: 1 (74 enodes)
0.868 * * [simplify]: Extracting #0: cost 1 inf + 0
0.868 * * [simplify]: Extracting #1: cost 11 inf + 0
0.868 * * [simplify]: Extracting #2: cost 21 inf + 2
0.868 * * [simplify]: Extracting #3: cost 20 inf + 3
0.869 * * [simplify]: Extracting #4: cost 12 inf + 700
0.869 * * [simplify]: Extracting #5: cost 2 inf + 2083
0.870 * * [simplify]: Extracting #6: cost 0 inf + 2367
0.871 * [simplify]: Simplified to (+ -1 (/ 1 x))
0.871 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
0.871 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
0.871 * * [simplify]: iters left: 6 (6 enodes)
0.874 * * [simplify]: iters left: 5 (25 enodes)
0.881 * * [simplify]: iters left: 4 (37 enodes)
0.885 * * [simplify]: Extracting #0: cost 1 inf + 0
0.885 * * [simplify]: Extracting #1: cost 0 inf + 1
0.885 * [simplify]: Simplified to 0
0.885 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
0.885 * * * * [progress]: [ 5 / 85 ] 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.885 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
0.885 * * [simplify]: iters left: 6 (8 enodes)
0.889 * * [simplify]: iters left: 5 (27 enodes)
0.893 * * [simplify]: iters left: 4 (34 enodes)
0.898 * * [simplify]: iters left: 3 (42 enodes)
0.904 * * [simplify]: iters left: 2 (58 enodes)
0.916 * * [simplify]: iters left: 1 (101 enodes)
0.932 * * [simplify]: Extracting #0: cost 1 inf + 0
0.932 * * [simplify]: Extracting #1: cost 23 inf + 0
0.932 * * [simplify]: Extracting #2: cost 30 inf + 2
0.933 * * [simplify]: Extracting #3: cost 29 inf + 3
0.933 * * [simplify]: Extracting #4: cost 18 inf + 1106
0.934 * * [simplify]: Extracting #5: cost 0 inf + 3887
0.937 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.938 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
0.938 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
0.938 * * [simplify]: iters left: 4 (5 enodes)
0.941 * * [simplify]: iters left: 3 (17 enodes)
0.946 * * [simplify]: iters left: 2 (25 enodes)
0.949 * * [simplify]: Extracting #0: cost 1 inf + 0
0.949 * * [simplify]: Extracting #1: cost 0 inf + 1
0.949 * [simplify]: Simplified to 0
0.949 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.949 * * * * [progress]: [ 6 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
0.949 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
0.949 * * [simplify]: iters left: 5 (7 enodes)
0.951 * * [simplify]: iters left: 4 (24 enodes)
0.955 * * [simplify]: iters left: 3 (31 enodes)
0.959 * * [simplify]: iters left: 2 (39 enodes)
0.965 * * [simplify]: iters left: 1 (55 enodes)
0.987 * * [simplify]: Extracting #0: cost 1 inf + 0
0.987 * * [simplify]: Extracting #1: cost 11 inf + 0
0.987 * * [simplify]: Extracting #2: cost 21 inf + 2
0.988 * * [simplify]: Extracting #3: cost 20 inf + 3
0.988 * * [simplify]: Extracting #4: cost 11 inf + 823
0.989 * * [simplify]: Extracting #5: cost 1 inf + 2205
0.990 * * [simplify]: Extracting #6: cost 0 inf + 2367
0.991 * [simplify]: Simplified to (+ -1 (/ 1 x))
0.991 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
0.992 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
0.992 * * [simplify]: iters left: 3 (4 enodes)
0.995 * * [simplify]: iters left: 2 (15 enodes)
1.001 * * [simplify]: iters left: 1 (20 enodes)
1.005 * * [simplify]: Extracting #0: cost 1 inf + 0
1.005 * * [simplify]: Extracting #1: cost 0 inf + 1
1.005 * [simplify]: Simplified to 0
1.005 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.005 * * * * [progress]: [ 7 / 85 ] 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))))))))>
1.006 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.006 * * [simplify]: iters left: 6 (11 enodes)
1.012 * * [simplify]: iters left: 5 (49 enodes)
1.031 * * [simplify]: iters left: 4 (76 enodes)
1.054 * * [simplify]: iters left: 3 (113 enodes)
1.078 * * [simplify]: iters left: 2 (148 enodes)
1.096 * * [simplify]: iters left: 1 (174 enodes)
1.118 * * [simplify]: Extracting #0: cost 1 inf + 0
1.118 * * [simplify]: Extracting #1: cost 10 inf + 0
1.118 * * [simplify]: Extracting #2: cost 25 inf + 2
1.119 * * [simplify]: Extracting #3: cost 24 inf + 249
1.119 * * [simplify]: Extracting #4: cost 10 inf + 3646
1.120 * * [simplify]: Extracting #5: cost 0 inf + 6673
1.121 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.121 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
1.121 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.121 * * [simplify]: iters left: 6 (6 enodes)
1.125 * * [simplify]: iters left: 5 (25 enodes)
1.135 * * [simplify]: iters left: 4 (37 enodes)
1.139 * * [simplify]: Extracting #0: cost 1 inf + 0
1.139 * * [simplify]: Extracting #1: cost 0 inf + 1
1.139 * [simplify]: Simplified to 0
1.139 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.139 * * * * [progress]: [ 8 / 85 ] 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)))))))>
1.139 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
1.139 * * [simplify]: iters left: 6 (12 enodes)
1.145 * * [simplify]: iters left: 5 (44 enodes)
1.152 * * [simplify]: iters left: 4 (67 enodes)
1.162 * * [simplify]: iters left: 3 (84 enodes)
1.176 * * [simplify]: iters left: 2 (113 enodes)
1.197 * * [simplify]: iters left: 1 (147 enodes)
1.221 * * [simplify]: Extracting #0: cost 1 inf + 0
1.221 * * [simplify]: Extracting #1: cost 10 inf + 0
1.222 * * [simplify]: Extracting #2: cost 25 inf + 2
1.222 * * [simplify]: Extracting #3: cost 24 inf + 170
1.222 * * [simplify]: Extracting #4: cost 16 inf + 1504
1.223 * * [simplify]: Extracting #5: cost 1 inf + 6386
1.223 * * [simplify]: Extracting #6: cost 0 inf + 6673
1.224 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.224 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.224 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.225 * * [simplify]: iters left: 4 (5 enodes)
1.227 * * [simplify]: iters left: 3 (17 enodes)
1.233 * * [simplify]: iters left: 2 (25 enodes)
1.236 * * [simplify]: Extracting #0: cost 1 inf + 0
1.236 * * [simplify]: Extracting #1: cost 0 inf + 1
1.236 * [simplify]: Simplified to 0
1.236 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.236 * * * * [progress]: [ 9 / 85 ] 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))))))>
1.236 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
1.236 * * [simplify]: iters left: 6 (11 enodes)
1.241 * * [simplify]: iters left: 5 (41 enodes)
1.248 * * [simplify]: iters left: 4 (64 enodes)
1.258 * * [simplify]: iters left: 3 (81 enodes)
1.272 * * [simplify]: iters left: 2 (110 enodes)
1.295 * * [simplify]: iters left: 1 (144 enodes)
1.316 * * [simplify]: Extracting #0: cost 1 inf + 0
1.316 * * [simplify]: Extracting #1: cost 10 inf + 0
1.316 * * [simplify]: Extracting #2: cost 25 inf + 2
1.316 * * [simplify]: Extracting #3: cost 24 inf + 170
1.317 * * [simplify]: Extracting #4: cost 13 inf + 2144
1.317 * * [simplify]: Extracting #5: cost 2 inf + 5967
1.318 * * [simplify]: Extracting #6: cost 0 inf + 6673
1.319 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.319 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
1.319 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.319 * * [simplify]: iters left: 3 (4 enodes)
1.322 * * [simplify]: iters left: 2 (15 enodes)
1.325 * * [simplify]: iters left: 1 (20 enodes)
1.328 * * [simplify]: Extracting #0: cost 1 inf + 0
1.328 * * [simplify]: Extracting #1: cost 0 inf + 1
1.328 * [simplify]: Simplified to 0
1.328 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.328 * * * * [progress]: [ 10 / 85 ] 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))))))))>
1.328 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.328 * * [simplify]: iters left: 6 (10 enodes)
1.331 * * [simplify]: iters left: 5 (43 enodes)
1.341 * * [simplify]: iters left: 4 (54 enodes)
1.347 * * [simplify]: iters left: 3 (64 enodes)
1.356 * * [simplify]: iters left: 2 (73 enodes)
1.366 * * [simplify]: iters left: 1 (99 enodes)
1.383 * * [simplify]: Extracting #0: cost 1 inf + 0
1.383 * * [simplify]: Extracting #1: cost 11 inf + 0
1.383 * * [simplify]: Extracting #2: cost 20 inf + 2
1.384 * * [simplify]: Extracting #3: cost 20 inf + 3
1.384 * * [simplify]: Extracting #4: cost 13 inf + 456
1.384 * * [simplify]: Extracting #5: cost 3 inf + 1719
1.385 * * [simplify]: Extracting #6: cost 0 inf + 2205
1.386 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.386 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
1.386 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.386 * * [simplify]: iters left: 6 (6 enodes)
1.390 * * [simplify]: iters left: 5 (25 enodes)
1.397 * * [simplify]: iters left: 4 (37 enodes)
1.400 * * [simplify]: Extracting #0: cost 1 inf + 0
1.400 * * [simplify]: Extracting #1: cost 0 inf + 1
1.400 * [simplify]: Simplified to 0
1.401 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.401 * * * * [progress]: [ 11 / 85 ] 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)))))))>
1.401 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
1.401 * * [simplify]: iters left: 6 (11 enodes)
1.406 * * [simplify]: iters left: 5 (38 enodes)
1.412 * * [simplify]: iters left: 4 (46 enodes)
1.424 * * [simplify]: iters left: 3 (56 enodes)
1.438 * * [simplify]: iters left: 2 (66 enodes)
1.456 * * [simplify]: iters left: 1 (92 enodes)
1.495 * * [simplify]: Extracting #0: cost 1 inf + 0
1.495 * * [simplify]: Extracting #1: cost 11 inf + 0
1.495 * * [simplify]: Extracting #2: cost 20 inf + 2
1.495 * * [simplify]: Extracting #3: cost 19 inf + 45
1.495 * * [simplify]: Extracting #4: cost 15 inf + 294
1.496 * * [simplify]: Extracting #5: cost 4 inf + 1638
1.497 * * [simplify]: Extracting #6: cost 0 inf + 2206
1.497 * * [simplify]: Extracting #7: cost 0 inf + 2205
1.498 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.498 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.498 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.498 * * [simplify]: iters left: 4 (5 enodes)
1.501 * * [simplify]: iters left: 3 (17 enodes)
1.507 * * [simplify]: iters left: 2 (25 enodes)
1.509 * * [simplify]: Extracting #0: cost 1 inf + 0
1.509 * * [simplify]: Extracting #1: cost 0 inf + 1
1.509 * [simplify]: Simplified to 0
1.509 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.509 * * * * [progress]: [ 12 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
1.510 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
1.510 * * [simplify]: iters left: 6 (10 enodes)
1.514 * * [simplify]: iters left: 5 (35 enodes)
1.519 * * [simplify]: iters left: 4 (43 enodes)
1.525 * * [simplify]: iters left: 3 (53 enodes)
1.533 * * [simplify]: iters left: 2 (63 enodes)
1.550 * * [simplify]: iters left: 1 (89 enodes)
1.570 * * [simplify]: Extracting #0: cost 1 inf + 0
1.570 * * [simplify]: Extracting #1: cost 11 inf + 0
1.570 * * [simplify]: Extracting #2: cost 20 inf + 2
1.570 * * [simplify]: Extracting #3: cost 20 inf + 3
1.571 * * [simplify]: Extracting #4: cost 2 inf + 2003
1.571 * * [simplify]: Extracting #5: cost 0 inf + 2205
1.572 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.572 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
1.572 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.573 * * [simplify]: iters left: 3 (4 enodes)
1.574 * * [simplify]: iters left: 2 (15 enodes)
1.578 * * [simplify]: iters left: 1 (20 enodes)
1.580 * * [simplify]: Extracting #0: cost 1 inf + 0
1.580 * * [simplify]: Extracting #1: cost 0 inf + 1
1.580 * [simplify]: Simplified to 0
1.580 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.580 * * * * [progress]: [ 13 / 85 ] 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))))))))>
1.581 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.581 * * [simplify]: iters left: 6 (9 enodes)
1.588 * * [simplify]: iters left: 5 (39 enodes)
1.595 * * [simplify]: iters left: 4 (49 enodes)
1.600 * * [simplify]: iters left: 3 (51 enodes)
1.612 * * [simplify]: iters left: 2 (52 enodes)
1.623 * * [simplify]: iters left: 1 (53 enodes)
1.633 * * [simplify]: Extracting #0: cost 1 inf + 0
1.633 * * [simplify]: Extracting #1: cost 5 inf + 0
1.633 * * [simplify]: Extracting #2: cost 5 inf + 2
1.633 * * [simplify]: Extracting #3: cost 1 inf + 170
1.634 * * [simplify]: Extracting #4: cost 0 inf + 253
1.634 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.634 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
1.634 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.635 * * [simplify]: iters left: 6 (6 enodes)
1.642 * * [simplify]: iters left: 5 (25 enodes)
1.650 * * [simplify]: iters left: 4 (37 enodes)
1.654 * * [simplify]: Extracting #0: cost 1 inf + 0
1.654 * * [simplify]: Extracting #1: cost 0 inf + 1
1.654 * [simplify]: Simplified to 0
1.654 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.654 * * * * [progress]: [ 14 / 85 ] 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)))))))>
1.654 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
1.654 * * [simplify]: iters left: 6 (10 enodes)
1.660 * * [simplify]: iters left: 5 (33 enodes)
1.665 * * [simplify]: iters left: 4 (40 enodes)
1.669 * * [simplify]: iters left: 3 (41 enodes)
1.674 * * [simplify]: Extracting #0: cost 1 inf + 0
1.674 * * [simplify]: Extracting #1: cost 5 inf + 0
1.674 * * [simplify]: Extracting #2: cost 5 inf + 2
1.674 * * [simplify]: Extracting #3: cost 0 inf + 253
1.674 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.674 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.675 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.675 * * [simplify]: iters left: 4 (5 enodes)
1.677 * * [simplify]: iters left: 3 (17 enodes)
1.684 * * [simplify]: iters left: 2 (25 enodes)
1.688 * * [simplify]: Extracting #0: cost 1 inf + 0
1.688 * * [simplify]: Extracting #1: cost 0 inf + 1
1.688 * [simplify]: Simplified to 0
1.688 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.689 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
1.689 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
1.689 * * [simplify]: iters left: 6 (9 enodes)
1.695 * * [simplify]: iters left: 5 (30 enodes)
1.708 * * [simplify]: iters left: 4 (37 enodes)
1.716 * * [simplify]: iters left: 3 (38 enodes)
1.725 * * [simplify]: Extracting #0: cost 1 inf + 0
1.725 * * [simplify]: Extracting #1: cost 5 inf + 0
1.725 * * [simplify]: Extracting #2: cost 5 inf + 2
1.725 * * [simplify]: Extracting #3: cost 0 inf + 253
1.725 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.725 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
1.725 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.726 * * [simplify]: iters left: 3 (4 enodes)
1.729 * * [simplify]: iters left: 2 (15 enodes)
1.735 * * [simplify]: iters left: 1 (20 enodes)
1.740 * * [simplify]: Extracting #0: cost 1 inf + 0
1.740 * * [simplify]: Extracting #1: cost 0 inf + 1
1.740 * [simplify]: Simplified to 0
1.740 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.740 * * * * [progress]: [ 16 / 85 ] 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))))))))>
1.740 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.740 * * [simplify]: iters left: 6 (12 enodes)
1.752 * * [simplify]: iters left: 5 (49 enodes)
1.758 * * [simplify]: iters left: 4 (65 enodes)
1.768 * * [simplify]: iters left: 3 (85 enodes)
1.782 * * [simplify]: iters left: 2 (107 enodes)
1.795 * * [simplify]: iters left: 1 (113 enodes)
1.814 * * [simplify]: Extracting #0: cost 1 inf + 0
1.814 * * [simplify]: Extracting #1: cost 8 inf + 0
1.814 * * [simplify]: Extracting #2: cost 16 inf + 1
1.814 * * [simplify]: Extracting #3: cost 13 inf + 373
1.815 * * [simplify]: Extracting #4: cost 8 inf + 943
1.816 * * [simplify]: Extracting #5: cost 1 inf + 2640
1.817 * * [simplify]: Extracting #6: cost 0 inf + 2973
1.817 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.817 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
1.818 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.818 * * [simplify]: iters left: 6 (6 enodes)
1.824 * * [simplify]: iters left: 5 (25 enodes)
1.836 * * [simplify]: iters left: 4 (37 enodes)
1.842 * * [simplify]: Extracting #0: cost 1 inf + 0
1.842 * * [simplify]: Extracting #1: cost 0 inf + 1
1.842 * [simplify]: Simplified to 0
1.842 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.842 * * * * [progress]: [ 17 / 85 ] 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)))))))>
1.842 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
1.842 * * [simplify]: iters left: 6 (10 enodes)
1.845 * * [simplify]: iters left: 5 (34 enodes)
1.850 * * [simplify]: iters left: 4 (50 enodes)
1.858 * * [simplify]: iters left: 3 (71 enodes)
1.872 * * [simplify]: iters left: 2 (95 enodes)
1.892 * * [simplify]: iters left: 1 (109 enodes)
1.913 * * [simplify]: Extracting #0: cost 1 inf + 0
1.913 * * [simplify]: Extracting #1: cost 9 inf + 0
1.913 * * [simplify]: Extracting #2: cost 15 inf + 2
1.913 * * [simplify]: Extracting #3: cost 14 inf + 252
1.914 * * [simplify]: Extracting #4: cost 8 inf + 944
1.914 * * [simplify]: Extracting #5: cost 3 inf + 1934
1.914 * * [simplify]: Extracting #6: cost 0 inf + 2973
1.915 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.915 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.915 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.915 * * [simplify]: iters left: 4 (5 enodes)
1.918 * * [simplify]: iters left: 3 (17 enodes)
1.924 * * [simplify]: iters left: 2 (25 enodes)
1.927 * * [simplify]: Extracting #0: cost 1 inf + 0
1.927 * * [simplify]: Extracting #1: cost 0 inf + 1
1.927 * [simplify]: Simplified to 0
1.927 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.927 * * * * [progress]: [ 18 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
1.927 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
1.927 * * [simplify]: iters left: 6 (10 enodes)
1.931 * * [simplify]: iters left: 5 (34 enodes)
1.937 * * [simplify]: iters left: 4 (50 enodes)
1.945 * * [simplify]: iters left: 3 (71 enodes)
1.958 * * [simplify]: iters left: 2 (95 enodes)
1.976 * * [simplify]: iters left: 1 (109 enodes)
1.997 * * [simplify]: Extracting #0: cost 1 inf + 0
1.997 * * [simplify]: Extracting #1: cost 9 inf + 0
1.997 * * [simplify]: Extracting #2: cost 15 inf + 2
1.997 * * [simplify]: Extracting #3: cost 14 inf + 252
1.998 * * [simplify]: Extracting #4: cost 8 inf + 944
1.998 * * [simplify]: Extracting #5: cost 3 inf + 1934
1.998 * * [simplify]: Extracting #6: cost 0 inf + 2973
1.999 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.999 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
1.999 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.999 * * [simplify]: iters left: 3 (4 enodes)
2.001 * * [simplify]: iters left: 2 (15 enodes)
2.007 * * [simplify]: iters left: 1 (20 enodes)
2.009 * * [simplify]: Extracting #0: cost 1 inf + 0
2.009 * * [simplify]: Extracting #1: cost 0 inf + 1
2.009 * [simplify]: Simplified to 0
2.009 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.009 * * * * [progress]: [ 19 / 85 ] 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))))))))>
2.010 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.010 * * [simplify]: iters left: 6 (10 enodes)
2.014 * * [simplify]: iters left: 5 (41 enodes)
2.022 * * [simplify]: iters left: 4 (55 enodes)
2.030 * * [simplify]: iters left: 3 (64 enodes)
2.038 * * [simplify]: iters left: 2 (82 enodes)
2.049 * * [simplify]: iters left: 1 (102 enodes)
2.065 * * [simplify]: Extracting #0: cost 1 inf + 0
2.065 * * [simplify]: Extracting #1: cost 11 inf + 0
2.065 * * [simplify]: Extracting #2: cost 20 inf + 2
2.065 * * [simplify]: Extracting #3: cost 15 inf + 294
2.066 * * [simplify]: Extracting #4: cost 3 inf + 1841
2.066 * * [simplify]: Extracting #5: cost 0 inf + 2205
2.067 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.067 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
2.067 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.068 * * [simplify]: iters left: 6 (6 enodes)
2.071 * * [simplify]: iters left: 5 (25 enodes)
2.078 * * [simplify]: iters left: 4 (37 enodes)
2.081 * * [simplify]: Extracting #0: cost 1 inf + 0
2.081 * * [simplify]: Extracting #1: cost 0 inf + 1
2.081 * [simplify]: Simplified to 0
2.081 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.081 * * * * [progress]: [ 20 / 85 ] 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)))))))>
2.082 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
2.082 * * [simplify]: iters left: 6 (8 enodes)
2.085 * * [simplify]: iters left: 5 (27 enodes)
2.091 * * [simplify]: iters left: 4 (40 enodes)
2.097 * * [simplify]: iters left: 3 (51 enodes)
2.113 * * [simplify]: iters left: 2 (78 enodes)
2.149 * * [simplify]: iters left: 1 (130 enodes)
2.186 * * [simplify]: Extracting #0: cost 1 inf + 0
2.186 * * [simplify]: Extracting #1: cost 22 inf + 0
2.186 * * [simplify]: Extracting #2: cost 32 inf + 2
2.187 * * [simplify]: Extracting #3: cost 22 inf + 1054
2.189 * * [simplify]: Extracting #4: cost 2 inf + 4038
2.192 * * [simplify]: Extracting #5: cost 0 inf + 4293
2.195 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.195 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.196 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.196 * * [simplify]: iters left: 4 (5 enodes)
2.200 * * [simplify]: iters left: 3 (17 enodes)
2.210 * * [simplify]: iters left: 2 (25 enodes)
2.213 * * [simplify]: Extracting #0: cost 1 inf + 0
2.213 * * [simplify]: Extracting #1: cost 0 inf + 1
2.213 * [simplify]: Simplified to 0
2.213 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.213 * * * * [progress]: [ 21 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.213 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
2.213 * * [simplify]: iters left: 5 (8 enodes)
2.216 * * [simplify]: iters left: 4 (27 enodes)
2.221 * * [simplify]: iters left: 3 (40 enodes)
2.226 * * [simplify]: iters left: 2 (51 enodes)
2.236 * * [simplify]: iters left: 1 (78 enodes)
2.266 * * [simplify]: Extracting #0: cost 1 inf + 0
2.266 * * [simplify]: Extracting #1: cost 11 inf + 0
2.266 * * [simplify]: Extracting #2: cost 20 inf + 2
2.266 * * [simplify]: Extracting #3: cost 16 inf + 211
2.267 * * [simplify]: Extracting #4: cost 1 inf + 2165
2.268 * * [simplify]: Extracting #5: cost 0 inf + 2205
2.268 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.268 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
2.269 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.269 * * [simplify]: iters left: 3 (4 enodes)
2.271 * * [simplify]: iters left: 2 (15 enodes)
2.274 * * [simplify]: iters left: 1 (20 enodes)
2.276 * * [simplify]: Extracting #0: cost 1 inf + 0
2.276 * * [simplify]: Extracting #1: cost 0 inf + 1
2.276 * [simplify]: Simplified to 0
2.276 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.276 * * * * [progress]: [ 22 / 85 ] 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))))))))>
2.277 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.277 * * [simplify]: iters left: 6 (10 enodes)
2.281 * * [simplify]: iters left: 5 (39 enodes)
2.289 * * [simplify]: iters left: 4 (51 enodes)
2.297 * * [simplify]: iters left: 3 (53 enodes)
2.303 * * [simplify]: iters left: 2 (54 enodes)
2.308 * * [simplify]: iters left: 1 (55 enodes)
2.314 * * [simplify]: Extracting #0: cost 1 inf + 0
2.314 * * [simplify]: Extracting #1: cost 5 inf + 0
2.314 * * [simplify]: Extracting #2: cost 5 inf + 2
2.314 * * [simplify]: Extracting #3: cost 4 inf + 3
2.314 * * [simplify]: Extracting #4: cost 1 inf + 170
2.315 * * [simplify]: Extracting #5: cost 0 inf + 253
2.315 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.315 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
2.315 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.315 * * [simplify]: iters left: 6 (6 enodes)
2.321 * * [simplify]: iters left: 5 (25 enodes)
2.329 * * [simplify]: iters left: 4 (37 enodes)
2.333 * * [simplify]: Extracting #0: cost 1 inf + 0
2.333 * * [simplify]: Extracting #1: cost 0 inf + 1
2.333 * [simplify]: Simplified to 0
2.333 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.333 * * * * [progress]: [ 23 / 85 ] 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)))))))>
2.333 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
2.333 * * [simplify]: iters left: 6 (8 enodes)
2.337 * * [simplify]: iters left: 5 (25 enodes)
2.341 * * [simplify]: iters left: 4 (32 enodes)
2.345 * * [simplify]: iters left: 3 (33 enodes)
2.348 * * [simplify]: Extracting #0: cost 1 inf + 0
2.348 * * [simplify]: Extracting #1: cost 5 inf + 0
2.349 * * [simplify]: Extracting #2: cost 5 inf + 2
2.349 * * [simplify]: Extracting #3: cost 1 inf + 211
2.349 * * [simplify]: Extracting #4: cost 0 inf + 253
2.349 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.349 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.349 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.349 * * [simplify]: iters left: 4 (5 enodes)
2.351 * * [simplify]: iters left: 3 (17 enodes)
2.357 * * [simplify]: iters left: 2 (25 enodes)
2.359 * * [simplify]: Extracting #0: cost 1 inf + 0
2.359 * * [simplify]: Extracting #1: cost 0 inf + 1
2.359 * [simplify]: Simplified to 0
2.359 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.359 * * * * [progress]: [ 24 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.360 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
2.360 * * [simplify]: iters left: 5 (8 enodes)
2.363 * * [simplify]: iters left: 4 (25 enodes)
2.370 * * [simplify]: iters left: 3 (32 enodes)
2.378 * * [simplify]: iters left: 2 (33 enodes)
2.386 * * [simplify]: Extracting #0: cost 1 inf + 0
2.386 * * [simplify]: Extracting #1: cost 5 inf + 0
2.386 * * [simplify]: Extracting #2: cost 5 inf + 2
2.386 * * [simplify]: Extracting #3: cost 1 inf + 211
2.387 * * [simplify]: Extracting #4: cost 0 inf + 253
2.387 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.387 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
2.387 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.387 * * [simplify]: iters left: 3 (4 enodes)
2.391 * * [simplify]: iters left: 2 (15 enodes)
2.398 * * [simplify]: iters left: 1 (20 enodes)
2.406 * * [simplify]: Extracting #0: cost 1 inf + 0
2.406 * * [simplify]: Extracting #1: cost 0 inf + 1
2.406 * [simplify]: Simplified to 0
2.406 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.406 * * * * [progress]: [ 25 / 85 ] 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))))))))>
2.407 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.407 * * [simplify]: iters left: 6 (11 enodes)
2.422 * * [simplify]: iters left: 5 (46 enodes)
2.434 * * [simplify]: iters left: 4 (61 enodes)
2.450 * * [simplify]: iters left: 3 (73 enodes)
2.467 * * [simplify]: iters left: 2 (87 enodes)
2.479 * * [simplify]: iters left: 1 (95 enodes)
2.496 * * [simplify]: Extracting #0: cost 1 inf + 0
2.497 * * [simplify]: Extracting #1: cost 9 inf + 0
2.497 * * [simplify]: Extracting #2: cost 16 inf + 2
2.497 * * [simplify]: Extracting #3: cost 18 inf + 46
2.497 * * [simplify]: Extracting #4: cost 9 inf + 1326
2.498 * * [simplify]: Extracting #5: cost 1 inf + 3013
2.499 * * [simplify]: Extracting #6: cost 0 inf + 3346
2.500 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.500 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
2.500 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.501 * * [simplify]: iters left: 6 (6 enodes)
2.507 * * [simplify]: iters left: 5 (25 enodes)
2.519 * * [simplify]: iters left: 4 (37 enodes)
2.526 * * [simplify]: Extracting #0: cost 1 inf + 0
2.526 * * [simplify]: Extracting #1: cost 0 inf + 1
2.526 * [simplify]: Simplified to 0
2.526 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.526 * * * * [progress]: [ 26 / 85 ] 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)))))))>
2.526 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
2.527 * * [simplify]: iters left: 6 (10 enodes)
2.537 * * [simplify]: iters left: 5 (34 enodes)
2.548 * * [simplify]: iters left: 4 (47 enodes)
2.562 * * [simplify]: iters left: 3 (59 enodes)
2.578 * * [simplify]: iters left: 2 (75 enodes)
2.590 * * [simplify]: iters left: 1 (89 enodes)
2.602 * * [simplify]: Extracting #0: cost 1 inf + 0
2.602 * * [simplify]: Extracting #1: cost 9 inf + 0
2.602 * * [simplify]: Extracting #2: cost 16 inf + 2
2.602 * * [simplify]: Extracting #3: cost 19 inf + 4
2.602 * * [simplify]: Extracting #4: cost 12 inf + 829
2.603 * * [simplify]: Extracting #5: cost 1 inf + 3013
2.603 * * [simplify]: Extracting #6: cost 0 inf + 3346
2.604 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.604 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.604 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.604 * * [simplify]: iters left: 4 (5 enodes)
2.607 * * [simplify]: iters left: 3 (17 enodes)
2.612 * * [simplify]: iters left: 2 (25 enodes)
2.615 * * [simplify]: Extracting #0: cost 1 inf + 0
2.615 * * [simplify]: Extracting #1: cost 0 inf + 1
2.615 * [simplify]: Simplified to 0
2.615 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.615 * * * * [progress]: [ 27 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.615 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
2.615 * * [simplify]: iters left: 6 (9 enodes)
2.618 * * [simplify]: iters left: 5 (31 enodes)
2.623 * * [simplify]: iters left: 4 (44 enodes)
2.632 * * [simplify]: iters left: 3 (56 enodes)
2.641 * * [simplify]: iters left: 2 (72 enodes)
2.652 * * [simplify]: iters left: 1 (86 enodes)
2.675 * * [simplify]: Extracting #0: cost 1 inf + 0
2.675 * * [simplify]: Extracting #1: cost 9 inf + 0
2.675 * * [simplify]: Extracting #2: cost 16 inf + 2
2.675 * * [simplify]: Extracting #3: cost 18 inf + 46
2.676 * * [simplify]: Extracting #4: cost 10 inf + 782
2.676 * * [simplify]: Extracting #5: cost 4 inf + 1894
2.677 * * [simplify]: Extracting #6: cost 0 inf + 3346
2.678 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.678 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
2.679 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.679 * * [simplify]: iters left: 3 (4 enodes)
2.682 * * [simplify]: iters left: 2 (15 enodes)
2.688 * * [simplify]: iters left: 1 (20 enodes)
2.692 * * [simplify]: Extracting #0: cost 1 inf + 0
2.693 * * [simplify]: Extracting #1: cost 0 inf + 1
2.693 * [simplify]: Simplified to 0
2.693 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.693 * * * * [progress]: [ 28 / 85 ] 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))))))))>
2.693 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.693 * * [simplify]: iters left: 6 (9 enodes)
2.699 * * [simplify]: iters left: 5 (38 enodes)
2.706 * * [simplify]: iters left: 4 (52 enodes)
2.713 * * [simplify]: iters left: 3 (61 enodes)
2.721 * * [simplify]: iters left: 2 (79 enodes)
2.733 * * [simplify]: iters left: 1 (99 enodes)
2.759 * * [simplify]: Extracting #0: cost 1 inf + 0
2.760 * * [simplify]: Extracting #1: cost 11 inf + 0
2.760 * * [simplify]: Extracting #2: cost 20 inf + 2
2.760 * * [simplify]: Extracting #3: cost 18 inf + 128
2.760 * * [simplify]: Extracting #4: cost 11 inf + 621
2.761 * * [simplify]: Extracting #5: cost 3 inf + 1759
2.761 * * [simplify]: Extracting #6: cost 0 inf + 2205
2.762 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.762 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
2.762 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.763 * * [simplify]: iters left: 6 (6 enodes)
2.766 * * [simplify]: iters left: 5 (25 enodes)
2.772 * * [simplify]: iters left: 4 (37 enodes)
2.776 * * [simplify]: Extracting #0: cost 1 inf + 0
2.776 * * [simplify]: Extracting #1: cost 0 inf + 1
2.776 * [simplify]: Simplified to 0
2.776 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.776 * * * * [progress]: [ 29 / 85 ] 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)))))))>
2.776 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
2.776 * * [simplify]: iters left: 6 (8 enodes)
2.780 * * [simplify]: iters left: 5 (27 enodes)
2.784 * * [simplify]: iters left: 4 (40 enodes)
2.790 * * [simplify]: iters left: 3 (51 enodes)
2.798 * * [simplify]: iters left: 2 (78 enodes)
2.831 * * [simplify]: iters left: 1 (130 enodes)
2.884 * * [simplify]: Extracting #0: cost 1 inf + 0
2.884 * * [simplify]: Extracting #1: cost 22 inf + 0
2.884 * * [simplify]: Extracting #2: cost 32 inf + 2
2.885 * * [simplify]: Extracting #3: cost 32 inf + 3
2.885 * * [simplify]: Extracting #4: cost 17 inf + 1725
2.888 * * [simplify]: Extracting #5: cost 0 inf + 4414
2.890 * * [simplify]: Extracting #6: cost 0 inf + 4343
2.891 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.891 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.891 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.891 * * [simplify]: iters left: 4 (5 enodes)
2.894 * * [simplify]: iters left: 3 (17 enodes)
2.900 * * [simplify]: iters left: 2 (25 enodes)
2.902 * * [simplify]: Extracting #0: cost 1 inf + 0
2.903 * * [simplify]: Extracting #1: cost 0 inf + 1
2.903 * [simplify]: Simplified to 0
2.903 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.903 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.903 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
2.903 * * [simplify]: iters left: 5 (7 enodes)
2.905 * * [simplify]: iters left: 4 (24 enodes)
2.909 * * [simplify]: iters left: 3 (37 enodes)
2.915 * * [simplify]: iters left: 2 (48 enodes)
2.925 * * [simplify]: iters left: 1 (75 enodes)
2.964 * * [simplify]: Extracting #0: cost 1 inf + 0
2.964 * * [simplify]: Extracting #1: cost 11 inf + 0
2.964 * * [simplify]: Extracting #2: cost 20 inf + 2
2.965 * * [simplify]: Extracting #3: cost 19 inf + 45
2.965 * * [simplify]: Extracting #4: cost 9 inf + 945
2.967 * * [simplify]: Extracting #5: cost 2 inf + 1921
2.968 * * [simplify]: Extracting #6: cost 0 inf + 2205
2.970 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.970 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
2.970 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.970 * * [simplify]: iters left: 3 (4 enodes)
2.974 * * [simplify]: iters left: 2 (15 enodes)
2.981 * * [simplify]: iters left: 1 (20 enodes)
2.985 * * [simplify]: Extracting #0: cost 1 inf + 0
2.985 * * [simplify]: Extracting #1: cost 0 inf + 1
2.985 * [simplify]: Simplified to 0
2.986 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.986 * * * * [progress]: [ 31 / 85 ] 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))))))))>
2.986 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.986 * * [simplify]: iters left: 6 (9 enodes)
2.995 * * [simplify]: iters left: 5 (36 enodes)
3.009 * * [simplify]: iters left: 4 (48 enodes)
3.019 * * [simplify]: iters left: 3 (50 enodes)
3.028 * * [simplify]: iters left: 2 (51 enodes)
3.033 * * [simplify]: iters left: 1 (52 enodes)
3.038 * * [simplify]: Extracting #0: cost 1 inf + 0
3.039 * * [simplify]: Extracting #1: cost 5 inf + 0
3.039 * * [simplify]: Extracting #2: cost 5 inf + 2
3.039 * * [simplify]: Extracting #3: cost 0 inf + 253
3.039 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.039 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
3.039 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.039 * * [simplify]: iters left: 6 (6 enodes)
3.042 * * [simplify]: iters left: 5 (25 enodes)
3.049 * * [simplify]: iters left: 4 (37 enodes)
3.052 * * [simplify]: Extracting #0: cost 1 inf + 0
3.052 * * [simplify]: Extracting #1: cost 0 inf + 1
3.052 * [simplify]: Simplified to 0
3.052 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.053 * * * * [progress]: [ 32 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
3.053 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.053 * * [simplify]: iters left: 6 (8 enodes)
3.057 * * [simplify]: iters left: 5 (25 enodes)
3.061 * * [simplify]: iters left: 4 (32 enodes)
3.068 * * [simplify]: iters left: 3 (33 enodes)
3.075 * * [simplify]: Extracting #0: cost 1 inf + 0
3.075 * * [simplify]: Extracting #1: cost 5 inf + 0
3.075 * * [simplify]: Extracting #2: cost 5 inf + 2
3.075 * * [simplify]: Extracting #3: cost 1 inf + 170
3.076 * * [simplify]: Extracting #4: cost 0 inf + 253
3.076 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.076 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.076 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.076 * * [simplify]: iters left: 4 (5 enodes)
3.078 * * [simplify]: iters left: 3 (17 enodes)
3.084 * * [simplify]: iters left: 2 (25 enodes)
3.086 * * [simplify]: Extracting #0: cost 1 inf + 0
3.086 * * [simplify]: Extracting #1: cost 0 inf + 1
3.086 * [simplify]: Simplified to 0
3.086 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.086 * * * * [progress]: [ 33 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.087 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
3.087 * * [simplify]: iters left: 5 (7 enodes)
3.089 * * [simplify]: iters left: 4 (22 enodes)
3.093 * * [simplify]: iters left: 3 (29 enodes)
3.097 * * [simplify]: iters left: 2 (30 enodes)
3.105 * * [simplify]: Extracting #0: cost 1 inf + 0
3.105 * * [simplify]: Extracting #1: cost 5 inf + 0
3.105 * * [simplify]: Extracting #2: cost 5 inf + 2
3.105 * * [simplify]: Extracting #3: cost 1 inf + 170
3.105 * * [simplify]: Extracting #4: cost 0 inf + 253
3.105 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.105 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
3.106 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.106 * * [simplify]: iters left: 3 (4 enodes)
3.109 * * [simplify]: iters left: 2 (15 enodes)
3.116 * * [simplify]: iters left: 1 (20 enodes)
3.120 * * [simplify]: Extracting #0: cost 1 inf + 0
3.120 * * [simplify]: Extracting #1: cost 0 inf + 1
3.120 * [simplify]: Simplified to 0
3.120 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.120 * * * * [progress]: [ 34 / 85 ] 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))))))))>
3.120 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.120 * * [simplify]: iters left: 6 (8 enodes)
3.130 * * [simplify]: iters left: 5 (36 enodes)
3.140 * * [simplify]: iters left: 4 (41 enodes)
3.150 * * [simplify]: Extracting #0: cost 1 inf + 0
3.150 * * [simplify]: Extracting #1: cost 5 inf + 0
3.150 * * [simplify]: Extracting #2: cost 5 inf + 2
3.150 * * [simplify]: Extracting #3: cost 0 inf + 253
3.151 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.151 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
3.151 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.151 * * [simplify]: iters left: 6 (6 enodes)
3.157 * * [simplify]: iters left: 5 (25 enodes)
3.163 * * [simplify]: iters left: 4 (37 enodes)
3.167 * * [simplify]: Extracting #0: cost 1 inf + 0
3.167 * * [simplify]: Extracting #1: cost 0 inf + 1
3.167 * [simplify]: Simplified to 0
3.167 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.167 * * * * [progress]: [ 35 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
3.167 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.167 * * [simplify]: iters left: 6 (7 enodes)
3.170 * * [simplify]: iters left: 5 (24 enodes)
3.174 * * [simplify]: iters left: 4 (29 enodes)
3.178 * * [simplify]: iters left: 3 (30 enodes)
3.182 * * [simplify]: iters left: 2 (31 enodes)
3.188 * * [simplify]: Extracting #0: cost 1 inf + 0
3.188 * * [simplify]: Extracting #1: cost 5 inf + 0
3.188 * * [simplify]: Extracting #2: cost 5 inf + 2
3.188 * * [simplify]: Extracting #3: cost 1 inf + 170
3.189 * * [simplify]: Extracting #4: cost 0 inf + 253
3.189 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.189 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.189 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.189 * * [simplify]: iters left: 4 (5 enodes)
3.194 * * [simplify]: iters left: 3 (17 enodes)
3.204 * * [simplify]: iters left: 2 (25 enodes)
3.208 * * [simplify]: Extracting #0: cost 1 inf + 0
3.208 * * [simplify]: Extracting #1: cost 0 inf + 1
3.208 * [simplify]: Simplified to 0
3.208 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.208 * * * * [progress]: [ 36 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.209 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* 1 1)))
3.209 * * [simplify]: iters left: 5 (6 enodes)
3.213 * * [simplify]: iters left: 4 (21 enodes)
3.219 * * [simplify]: iters left: 3 (26 enodes)
3.226 * * [simplify]: iters left: 2 (27 enodes)
3.233 * * [simplify]: iters left: 1 (28 enodes)
3.240 * * [simplify]: Extracting #0: cost 1 inf + 0
3.240 * * [simplify]: Extracting #1: cost 5 inf + 0
3.240 * * [simplify]: Extracting #2: cost 5 inf + 2
3.241 * * [simplify]: Extracting #3: cost 0 inf + 253
3.241 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.241 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.241 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.241 * * [simplify]: iters left: 3 (4 enodes)
3.245 * * [simplify]: iters left: 2 (15 enodes)
3.252 * * [simplify]: iters left: 1 (20 enodes)
3.256 * * [simplify]: Extracting #0: cost 1 inf + 0
3.256 * * [simplify]: Extracting #1: cost 0 inf + 1
3.257 * [simplify]: Simplified to 0
3.257 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.257 * * * * [progress]: [ 37 / 85 ] 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))))))))>
3.257 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.257 * * [simplify]: iters left: 6 (8 enodes)
3.264 * * [simplify]: iters left: 5 (36 enodes)
3.270 * * [simplify]: iters left: 4 (41 enodes)
3.275 * * [simplify]: Extracting #0: cost 1 inf + 0
3.275 * * [simplify]: Extracting #1: cost 5 inf + 0
3.275 * * [simplify]: Extracting #2: cost 5 inf + 2
3.275 * * [simplify]: Extracting #3: cost 0 inf + 253
3.275 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.275 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))))))
3.275 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.275 * * [simplify]: iters left: 6 (6 enodes)
3.279 * * [simplify]: iters left: 5 (25 enodes)
3.286 * * [simplify]: iters left: 4 (37 enodes)
3.289 * * [simplify]: Extracting #0: cost 1 inf + 0
3.290 * * [simplify]: Extracting #1: cost 0 inf + 1
3.290 * [simplify]: Simplified to 0
3.290 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.290 * * * * [progress]: [ 38 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1)))) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))>
3.290 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.290 * * [simplify]: iters left: 6 (7 enodes)
3.293 * * [simplify]: iters left: 5 (24 enodes)
3.297 * * [simplify]: iters left: 4 (29 enodes)
3.305 * * [simplify]: iters left: 3 (30 enodes)
3.312 * * [simplify]: iters left: 2 (31 enodes)
3.323 * * [simplify]: Extracting #0: cost 1 inf + 0
3.323 * * [simplify]: Extracting #1: cost 5 inf + 0
3.323 * * [simplify]: Extracting #2: cost 5 inf + 2
3.323 * * [simplify]: Extracting #3: cost 1 inf + 170
3.323 * * [simplify]: Extracting #4: cost 0 inf + 253
3.323 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.323 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.324 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.324 * * [simplify]: iters left: 4 (5 enodes)
3.328 * * [simplify]: iters left: 3 (17 enodes)
3.338 * * [simplify]: iters left: 2 (25 enodes)
3.342 * * [simplify]: Extracting #0: cost 1 inf + 0
3.342 * * [simplify]: Extracting #1: cost 0 inf + 1
3.342 * [simplify]: Simplified to 0
3.342 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.342 * * * * [progress]: [ 39 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.343 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* 1 1)))
3.343 * * [simplify]: iters left: 5 (6 enodes)
3.347 * * [simplify]: iters left: 4 (21 enodes)
3.353 * * [simplify]: iters left: 3 (26 enodes)
3.357 * * [simplify]: iters left: 2 (27 enodes)
3.361 * * [simplify]: iters left: 1 (28 enodes)
3.365 * * [simplify]: Extracting #0: cost 1 inf + 0
3.365 * * [simplify]: Extracting #1: cost 5 inf + 0
3.365 * * [simplify]: Extracting #2: cost 5 inf + 2
3.365 * * [simplify]: Extracting #3: cost 0 inf + 253
3.365 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.365 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.365 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.365 * * [simplify]: iters left: 3 (4 enodes)
3.367 * * [simplify]: iters left: 2 (15 enodes)
3.371 * * [simplify]: iters left: 1 (20 enodes)
3.373 * * [simplify]: Extracting #0: cost 1 inf + 0
3.373 * * [simplify]: Extracting #1: cost 0 inf + 1
3.373 * [simplify]: Simplified to 0
3.373 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.373 * * * * [progress]: [ 40 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (- (/ 1 x) 1))))))>
3.373 * * * * [progress]: [ 41 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (- (/ 1 x) 1))))))>
3.374 * * * * [progress]: [ 42 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log x))))))>
3.374 * [simplify]: Simplifying (- (log x))
3.374 * * [simplify]: iters left: 3 (3 enodes)
3.375 * * [simplify]: iters left: 2 (9 enodes)
3.376 * * [simplify]: Extracting #0: cost 1 inf + 0
3.376 * * [simplify]: Extracting #1: cost 3 inf + 0
3.376 * * [simplify]: Extracting #2: cost 5 inf + 0
3.376 * * [simplify]: Extracting #3: cost 4 inf + 1
3.376 * * [simplify]: Extracting #4: cost 0 inf + 365
3.376 * [simplify]: Simplified to (- (log x))
3.376 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.376 * * * * [progress]: [ 43 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- 0 (log x))))))>
3.376 * [simplify]: Simplifying (- 0 (log x))
3.376 * * [simplify]: iters left: 3 (4 enodes)
3.377 * * [simplify]: iters left: 2 (14 enodes)
3.380 * * [simplify]: iters left: 1 (18 enodes)
3.383 * * [simplify]: Extracting #0: cost 1 inf + 0
3.383 * * [simplify]: Extracting #1: cost 5 inf + 0
3.383 * * [simplify]: Extracting #2: cost 6 inf + 1
3.383 * * [simplify]: Extracting #3: cost 0 inf + 478
3.383 * [simplify]: Simplified to (- (log x))
3.383 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.383 * * * * [progress]: [ 44 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log 1) (log x))))))>
3.383 * [simplify]: Simplifying (- (log 1) (log x))
3.383 * * [simplify]: iters left: 3 (5 enodes)
3.386 * * [simplify]: iters left: 2 (19 enodes)
3.392 * * [simplify]: Extracting #0: cost 1 inf + 0
3.392 * * [simplify]: Extracting #1: cost 4 inf + 0
3.392 * * [simplify]: Extracting #2: cost 5 inf + 1
3.392 * * [simplify]: Extracting #3: cost 4 inf + 2
3.392 * * [simplify]: Extracting #4: cost 1 inf + 295
3.393 * * [simplify]: Extracting #5: cost 0 inf + 366
3.393 * [simplify]: Simplified to (- (log x))
3.393 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.393 * * * * [progress]: [ 45 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log (/ 1 x))))))>
3.393 * [simplify]: Simplifying (log (/ 1 x))
3.393 * * [simplify]: iters left: 3 (4 enodes)
3.396 * * [simplify]: iters left: 2 (18 enodes)
3.402 * * [simplify]: iters left: 1 (22 enodes)
3.408 * * [simplify]: Extracting #0: cost 1 inf + 0
3.408 * * [simplify]: Extracting #1: cost 5 inf + 0
3.408 * * [simplify]: Extracting #2: cost 8 inf + 1
3.409 * * [simplify]: Extracting #3: cost 5 inf + 74
3.409 * * [simplify]: Extracting #4: cost 0 inf + 451
3.409 * [simplify]: Simplified to (- (log x))
3.409 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.409 * * * * [progress]: [ 46 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))>
3.409 * [simplify]: Simplifying (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
3.409 * * [simplify]: iters left: 5 (5 enodes)
3.412 * * [simplify]: iters left: 4 (17 enodes)
3.418 * * [simplify]: iters left: 3 (19 enodes)
3.424 * * [simplify]: Extracting #0: cost 1 inf + 0
3.424 * * [simplify]: Extracting #1: cost 3 inf + 0
3.424 * * [simplify]: Extracting #2: cost 5 inf + 0
3.424 * * [simplify]: Extracting #3: cost 8 inf + 0
3.424 * * [simplify]: Extracting #4: cost 6 inf + 2
3.424 * * [simplify]: Extracting #5: cost 0 inf + 654
3.425 * [simplify]: Simplified to (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
3.425 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))
3.425 * * * * [progress]: [ 47 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))>
3.425 * [simplify]: Simplifying (sqrt (/ 1 x))
3.425 * * [simplify]: iters left: 3 (4 enodes)
3.427 * * [simplify]: iters left: 2 (14 enodes)
3.432 * * [simplify]: iters left: 1 (16 enodes)
3.437 * * [simplify]: Extracting #0: cost 1 inf + 0
3.437 * * [simplify]: Extracting #1: cost 3 inf + 0
3.437 * * [simplify]: Extracting #2: cost 6 inf + 0
3.437 * * [simplify]: Extracting #3: cost 2 inf + 86
3.438 * * [simplify]: Extracting #4: cost 1 inf + 168
3.438 * * [simplify]: Extracting #5: cost 0 inf + 250
3.438 * [simplify]: Simplified to (sqrt (/ 1 x))
3.438 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))
3.438 * * * * [progress]: [ 48 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))>
3.438 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)))
3.438 * * [simplify]: iters left: 5 (7 enodes)
3.443 * * [simplify]: iters left: 4 (29 enodes)
3.453 * * [simplify]: iters left: 3 (45 enodes)
3.471 * * [simplify]: iters left: 2 (71 enodes)
3.488 * * [simplify]: iters left: 1 (76 enodes)
3.494 * * [simplify]: Extracting #0: cost 1 inf + 0
3.494 * * [simplify]: Extracting #1: cost 6 inf + 0
3.494 * * [simplify]: Extracting #2: cost 9 inf + 1
3.494 * * [simplify]: Extracting #3: cost 0 inf + 974
3.495 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
3.495 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))
3.495 * * * * [progress]: [ 49 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))>
3.495 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) (sqrt x))
3.495 * * [simplify]: iters left: 5 (6 enodes)
3.497 * * [simplify]: iters left: 4 (22 enodes)
3.501 * * [simplify]: iters left: 3 (24 enodes)
3.504 * * [simplify]: Extracting #0: cost 1 inf + 0
3.504 * * [simplify]: Extracting #1: cost 4 inf + 0
3.504 * * [simplify]: Extracting #2: cost 5 inf + 1
3.504 * * [simplify]: Extracting #3: cost 2 inf + 125
3.504 * * [simplify]: Extracting #4: cost 0 inf + 248
3.504 * [simplify]: Simplified to (/ 1 (sqrt x))
3.504 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))
3.505 * * * * [progress]: [ 50 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))))>
3.505 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) 1)
3.505 * * [simplify]: iters left: 5 (4 enodes)
3.509 * * [simplify]: iters left: 4 (14 enodes)
3.511 * * [simplify]: iters left: 3 (16 enodes)
3.513 * * [simplify]: Extracting #0: cost 1 inf + 0
3.513 * * [simplify]: Extracting #1: cost 0 inf + 1
3.513 * [simplify]: Simplified to 1
3.513 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ (cbrt 1) x) (- 1)))))
3.513 * * * * [progress]: [ 51 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))>
3.513 * [simplify]: Simplifying (/ (sqrt 1) (* (cbrt x) (cbrt x)))
3.513 * * [simplify]: iters left: 5 (6 enodes)
3.515 * * [simplify]: iters left: 4 (22 enodes)
3.520 * * [simplify]: iters left: 3 (29 enodes)
3.529 * * [simplify]: iters left: 2 (31 enodes)
3.537 * * [simplify]: Extracting #0: cost 1 inf + 0
3.538 * * [simplify]: Extracting #1: cost 7 inf + 0
3.538 * * [simplify]: Extracting #2: cost 11 inf + 1
3.538 * * [simplify]: Extracting #3: cost 10 inf + 2
3.538 * * [simplify]: Extracting #4: cost 2 inf + 935
3.538 * * [simplify]: Extracting #5: cost 0 inf + 1218
3.539 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
3.539 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))
3.539 * * * * [progress]: [ 52 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))>
3.539 * [simplify]: Simplifying (/ (sqrt 1) (sqrt x))
3.539 * * [simplify]: iters left: 3 (5 enodes)
3.544 * * [simplify]: iters left: 2 (17 enodes)
3.549 * * [simplify]: iters left: 1 (19 enodes)
3.554 * * [simplify]: Extracting #0: cost 1 inf + 0
3.554 * * [simplify]: Extracting #1: cost 4 inf + 0
3.554 * * [simplify]: Extracting #2: cost 5 inf + 1
3.554 * * [simplify]: Extracting #3: cost 0 inf + 248
3.554 * [simplify]: Simplified to (/ 1 (sqrt x))
3.555 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))
3.555 * * * * [progress]: [ 53 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))))>
3.555 * [simplify]: Simplifying (/ (sqrt 1) 1)
3.555 * * [simplify]: iters left: 3 (3 enodes)
3.559 * * [simplify]: iters left: 2 (9 enodes)
3.562 * * [simplify]: iters left: 1 (11 enodes)
3.565 * * [simplify]: Extracting #0: cost 1 inf + 0
3.565 * * [simplify]: Extracting #1: cost 0 inf + 1
3.565 * [simplify]: Simplified to 1
3.565 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ (sqrt 1) x) (- 1)))))
3.565 * * * * [progress]: [ 54 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))>
3.565 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x)))
3.565 * * [simplify]: iters left: 5 (5 enodes)
3.568 * * [simplify]: iters left: 4 (19 enodes)
3.575 * * [simplify]: iters left: 3 (23 enodes)
3.582 * * [simplify]: Extracting #0: cost 1 inf + 0
3.582 * * [simplify]: Extracting #1: cost 6 inf + 0
3.582 * * [simplify]: Extracting #2: cost 9 inf + 1
3.582 * * [simplify]: Extracting #3: cost 1 inf + 852
3.582 * * [simplify]: Extracting #4: cost 0 inf + 974
3.583 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
3.583 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))
3.583 * * * * [progress]: [ 55 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))>
3.583 * [simplify]: Simplifying (/ 1 (sqrt x))
3.583 * * [simplify]: iters left: 3 (4 enodes)
3.586 * * [simplify]: iters left: 2 (14 enodes)
3.593 * * [simplify]: iters left: 1 (16 enodes)
3.598 * * [simplify]: Extracting #0: cost 1 inf + 0
3.598 * * [simplify]: Extracting #1: cost 4 inf + 0
3.598 * * [simplify]: Extracting #2: cost 5 inf + 1
3.599 * * [simplify]: Extracting #3: cost 3 inf + 43
3.599 * * [simplify]: Extracting #4: cost 1 inf + 166
3.599 * * [simplify]: Extracting #5: cost 0 inf + 248
3.599 * [simplify]: Simplified to (/ 1 (sqrt x))
3.599 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))
3.599 * * * * [progress]: [ 56 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 1) (/ 1 x) (- 1)))))>
3.599 * [simplify]: Simplifying (/ 1 1)
3.600 * * [simplify]: iters left: 2 (2 enodes)
3.601 * * [simplify]: iters left: 1 (6 enodes)
3.603 * * [simplify]: Extracting #0: cost 1 inf + 0
3.603 * * [simplify]: Extracting #1: cost 0 inf + 1
3.603 * [simplify]: Simplified to 1
3.603 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))
3.603 * * * * [progress]: [ 57 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
3.604 * * * * [progress]: [ 58 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
3.604 * * * * [progress]: [ 59 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log (/ (exp (/ 1 x)) (exp 1))))))>
3.604 * [simplify]: Simplifying (/ (exp (/ 1 x)) (exp 1))
3.604 * * [simplify]: iters left: 5 (6 enodes)
3.607 * * [simplify]: iters left: 4 (21 enodes)
3.614 * * [simplify]: iters left: 3 (28 enodes)
3.623 * * [simplify]: iters left: 2 (32 enodes)
3.633 * * [simplify]: iters left: 1 (35 enodes)
3.644 * * [simplify]: Extracting #0: cost 1 inf + 0
3.644 * * [simplify]: Extracting #1: cost 7 inf + 0
3.644 * * [simplify]: Extracting #2: cost 12 inf + 1
3.645 * * [simplify]: Extracting #3: cost 10 inf + 145
3.645 * * [simplify]: Extracting #4: cost 9 inf + 146
3.645 * * [simplify]: Extracting #5: cost 1 inf + 853
3.645 * * [simplify]: Extracting #6: cost 0 inf + 1005
3.646 * [simplify]: Simplified to (exp (- (/ 1 x) 1))
3.646 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))
3.646 * * * * [progress]: [ 60 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
3.646 * * * * [progress]: [ 61 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
3.646 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
3.646 * * * * [progress]: [ 63 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
3.646 * * * * [progress]: [ 64 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
3.646 * * * * [progress]: [ 65 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
3.646 * * * * [progress]: [ 66 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
3.646 * * * * [progress]: [ 67 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
3.647 * * * * [progress]: [ 68 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
3.647 * * * * [progress]: [ 69 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
3.647 * * * * [progress]: [ 70 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))>
3.647 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) (sqrt 1))
3.647 * * [simplify]: iters left: 5 (6 enodes)
3.652 * * [simplify]: iters left: 4 (21 enodes)
3.656 * * [simplify]: iters left: 3 (23 enodes)
3.660 * * [simplify]: Extracting #0: cost 1 inf + 0
3.660 * * [simplify]: Extracting #1: cost 4 inf + 0
3.660 * * [simplify]: Extracting #2: cost 5 inf + 1
3.660 * * [simplify]: Extracting #3: cost 7 inf + 1
3.660 * * [simplify]: Extracting #4: cost 6 inf + 2
3.660 * * [simplify]: Extracting #5: cost 0 inf + 494
3.660 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
3.660 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) (sqrt 1))))))
3.660 * [simplify]: Simplifying (- (sqrt (/ 1 x)) (sqrt 1))
3.660 * * [simplify]: iters left: 5 (6 enodes)
3.663 * * [simplify]: iters left: 4 (23 enodes)
3.667 * * [simplify]: iters left: 3 (29 enodes)
3.671 * * [simplify]: Extracting #0: cost 1 inf + 0
3.671 * * [simplify]: Extracting #1: cost 5 inf + 0
3.671 * * [simplify]: Extracting #2: cost 5 inf + 2
3.671 * * [simplify]: Extracting #3: cost 7 inf + 2
3.672 * * [simplify]: Extracting #4: cost 1 inf + 373
3.672 * * [simplify]: Extracting #5: cost 0 inf + 495
3.672 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
3.672 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) 1)))))
3.672 * * * * [progress]: [ 71 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
3.672 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
3.672 * * [simplify]: iters left: 5 (5 enodes)
3.674 * * [simplify]: iters left: 4 (18 enodes)
3.676 * * [simplify]: iters left: 3 (20 enodes)
3.680 * * [simplify]: Extracting #0: cost 1 inf + 0
3.680 * * [simplify]: Extracting #1: cost 4 inf + 0
3.680 * * [simplify]: Extracting #2: cost 5 inf + 1
3.680 * * [simplify]: Extracting #3: cost 7 inf + 1
3.680 * * [simplify]: Extracting #4: cost 0 inf + 494
3.680 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
3.680 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
3.680 * [simplify]: Simplifying (- (sqrt (/ 1 x)) 1)
3.680 * * [simplify]: iters left: 5 (5 enodes)
3.683 * * [simplify]: iters left: 4 (20 enodes)
3.690 * * [simplify]: iters left: 3 (24 enodes)
3.698 * * [simplify]: Extracting #0: cost 1 inf + 0
3.698 * * [simplify]: Extracting #1: cost 5 inf + 0
3.698 * * [simplify]: Extracting #2: cost 5 inf + 2
3.698 * * [simplify]: Extracting #3: cost 7 inf + 2
3.698 * * [simplify]: Extracting #4: cost 0 inf + 495
3.698 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
3.698 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
3.698 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
3.699 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
3.699 * * [simplify]: iters left: 5 (6 enodes)
3.703 * * [simplify]: iters left: 4 (21 enodes)
3.709 * * [simplify]: iters left: 3 (23 enodes)
3.716 * * [simplify]: Extracting #0: cost 1 inf + 0
3.716 * * [simplify]: Extracting #1: cost 4 inf + 0
3.716 * * [simplify]: Extracting #2: cost 5 inf + 1
3.716 * * [simplify]: Extracting #3: cost 7 inf + 1
3.716 * * [simplify]: Extracting #4: cost 0 inf + 492
3.716 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
3.716 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))
3.717 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
3.717 * * [simplify]: iters left: 5 (6 enodes)
3.721 * * [simplify]: iters left: 4 (22 enodes)
3.729 * * [simplify]: iters left: 3 (31 enodes)
3.740 * * [simplify]: Extracting #0: cost 1 inf + 0
3.740 * * [simplify]: Extracting #1: cost 5 inf + 0
3.740 * * [simplify]: Extracting #2: cost 5 inf + 2
3.740 * * [simplify]: Extracting #3: cost 7 inf + 2
3.740 * * [simplify]: Extracting #4: cost 6 inf + 3
3.740 * * [simplify]: Extracting #5: cost 2 inf + 289
3.741 * * [simplify]: Extracting #6: cost 0 inf + 493
3.741 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
3.741 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
3.741 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
3.741 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
3.742 * * [simplify]: iters left: 5 (6 enodes)
3.746 * * [simplify]: iters left: 4 (21 enodes)
3.752 * * [simplify]: iters left: 3 (23 enodes)
3.759 * * [simplify]: Extracting #0: cost 1 inf + 0
3.759 * * [simplify]: Extracting #1: cost 4 inf + 0
3.759 * * [simplify]: Extracting #2: cost 5 inf + 1
3.759 * * [simplify]: Extracting #3: cost 7 inf + 1
3.759 * * [simplify]: Extracting #4: cost 0 inf + 492
3.760 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
3.760 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
3.760 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) 1)
3.760 * * [simplify]: iters left: 5 (6 enodes)
3.765 * * [simplify]: iters left: 4 (23 enodes)
3.772 * * [simplify]: iters left: 3 (27 enodes)
3.779 * * [simplify]: Extracting #0: cost 1 inf + 0
3.779 * * [simplify]: Extracting #1: cost 5 inf + 0
3.779 * * [simplify]: Extracting #2: cost 5 inf + 2
3.779 * * [simplify]: Extracting #3: cost 7 inf + 2
3.779 * * [simplify]: Extracting #4: cost 6 inf + 3
3.780 * * [simplify]: Extracting #5: cost 2 inf + 289
3.780 * * [simplify]: Extracting #6: cost 0 inf + 493
3.780 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
3.780 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
3.780 * * * * [progress]: [ 74 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))>
3.780 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) (sqrt 1))
3.781 * * [simplify]: iters left: 5 (6 enodes)
3.785 * * [simplify]: iters left: 4 (21 enodes)
3.788 * * [simplify]: iters left: 3 (23 enodes)
3.791 * * [simplify]: Extracting #0: cost 1 inf + 0
3.791 * * [simplify]: Extracting #1: cost 4 inf + 0
3.792 * * [simplify]: Extracting #2: cost 5 inf + 1
3.792 * * [simplify]: Extracting #3: cost 7 inf + 1
3.792 * * [simplify]: Extracting #4: cost 6 inf + 2
3.792 * * [simplify]: Extracting #5: cost 0 inf + 492
3.792 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
3.792 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) (sqrt 1))))))
3.792 * [simplify]: Simplifying (- (/ 1 (sqrt x)) (sqrt 1))
3.792 * * [simplify]: iters left: 5 (6 enodes)
3.795 * * [simplify]: iters left: 4 (23 enodes)
3.799 * * [simplify]: iters left: 3 (29 enodes)
3.803 * * [simplify]: Extracting #0: cost 1 inf + 0
3.803 * * [simplify]: Extracting #1: cost 5 inf + 0
3.803 * * [simplify]: Extracting #2: cost 5 inf + 2
3.803 * * [simplify]: Extracting #3: cost 7 inf + 2
3.803 * * [simplify]: Extracting #4: cost 1 inf + 371
3.803 * * [simplify]: Extracting #5: cost 0 inf + 493
3.803 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
3.803 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
3.803 * * * * [progress]: [ 75 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
3.804 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
3.804 * * [simplify]: iters left: 5 (5 enodes)
3.805 * * [simplify]: iters left: 4 (18 enodes)
3.808 * * [simplify]: iters left: 3 (20 enodes)
3.811 * * [simplify]: Extracting #0: cost 1 inf + 0
3.811 * * [simplify]: Extracting #1: cost 4 inf + 0
3.811 * * [simplify]: Extracting #2: cost 5 inf + 1
3.811 * * [simplify]: Extracting #3: cost 7 inf + 1
3.811 * * [simplify]: Extracting #4: cost 0 inf + 492
3.811 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
3.811 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
3.811 * [simplify]: Simplifying (- (/ 1 (sqrt x)) 1)
3.811 * * [simplify]: iters left: 5 (5 enodes)
3.814 * * [simplify]: iters left: 4 (20 enodes)
3.820 * * [simplify]: iters left: 3 (24 enodes)
3.826 * * [simplify]: Extracting #0: cost 1 inf + 0
3.826 * * [simplify]: Extracting #1: cost 5 inf + 0
3.826 * * [simplify]: Extracting #2: cost 5 inf + 2
3.826 * * [simplify]: Extracting #3: cost 7 inf + 2
3.826 * * [simplify]: Extracting #4: cost 0 inf + 493
3.826 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
3.827 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
3.827 * * * * [progress]: [ 76 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
3.827 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
3.827 * * [simplify]: iters left: 5 (5 enodes)
3.828 * * [simplify]: iters left: 4 (18 enodes)
3.831 * * [simplify]: iters left: 3 (20 enodes)
3.834 * * [simplify]: Extracting #0: cost 1 inf + 0
3.834 * * [simplify]: Extracting #1: cost 4 inf + 0
3.834 * * [simplify]: Extracting #2: cost 5 inf + 1
3.834 * * [simplify]: Extracting #3: cost 7 inf + 1
3.834 * * [simplify]: Extracting #4: cost 0 inf + 494
3.834 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
3.834 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
3.834 * * * * [progress]: [ 77 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
3.835 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
3.835 * * [simplify]: iters left: 5 (6 enodes)
3.837 * * [simplify]: iters left: 4 (21 enodes)
3.840 * * [simplify]: iters left: 3 (23 enodes)
3.843 * * [simplify]: Extracting #0: cost 1 inf + 0
3.843 * * [simplify]: Extracting #1: cost 4 inf + 0
3.843 * * [simplify]: Extracting #2: cost 5 inf + 1
3.843 * * [simplify]: Extracting #3: cost 7 inf + 1
3.843 * * [simplify]: Extracting #4: cost 0 inf + 492
3.843 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
3.843 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
3.843 * * * * [progress]: [ 78 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
3.844 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
3.844 * * [simplify]: iters left: 5 (5 enodes)
3.845 * * [simplify]: iters left: 4 (18 enodes)
3.850 * * [simplify]: iters left: 3 (20 enodes)
3.853 * * [simplify]: Extracting #0: cost 1 inf + 0
3.853 * * [simplify]: Extracting #1: cost 4 inf + 0
3.853 * * [simplify]: Extracting #2: cost 5 inf + 1
3.853 * * [simplify]: Extracting #3: cost 7 inf + 1
3.854 * * [simplify]: Extracting #4: cost 0 inf + 492
3.854 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
3.854 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
3.854 * * * * [progress]: [ 79 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
3.854 * [simplify]: Simplifying (- (/ 1 x) 1)
3.854 * * [simplify]: iters left: 4 (4 enodes)
3.856 * * [simplify]: iters left: 3 (17 enodes)
3.860 * * [simplify]: iters left: 2 (21 enodes)
3.867 * * [simplify]: Extracting #0: cost 1 inf + 0
3.867 * * [simplify]: Extracting #1: cost 5 inf + 0
3.867 * * [simplify]: Extracting #2: cost 5 inf + 2
3.867 * * [simplify]: Extracting #3: cost 0 inf + 251
3.867 * [simplify]: Simplified to (- (/ 1 x) 1)
3.867 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
3.867 * * * * [progress]: [ 80 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
3.868 * [simplify]: Simplifying (- (/ 1 x) 1)
3.868 * * [simplify]: iters left: 4 (4 enodes)
3.870 * * [simplify]: iters left: 3 (17 enodes)
3.876 * * [simplify]: iters left: 2 (21 enodes)
3.882 * * [simplify]: Extracting #0: cost 1 inf + 0
3.883 * * [simplify]: Extracting #1: cost 5 inf + 0
3.883 * * [simplify]: Extracting #2: cost 5 inf + 2
3.883 * * [simplify]: Extracting #3: cost 0 inf + 251
3.883 * [simplify]: Simplified to (- (/ 1 x) 1)
3.883 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
3.883 * * * * [progress]: [ 81 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
3.883 * * * * [progress]: [ 82 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))>
3.883 * * * * [progress]: [ 83 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
3.883 * [simplify]: Simplifying (- (/ 1 x) 1)
3.884 * * [simplify]: iters left: 4 (4 enodes)
3.886 * * [simplify]: iters left: 3 (17 enodes)
3.892 * * [simplify]: iters left: 2 (21 enodes)
3.896 * * [simplify]: Extracting #0: cost 1 inf + 0
3.896 * * [simplify]: Extracting #1: cost 5 inf + 0
3.896 * * [simplify]: Extracting #2: cost 5 inf + 2
3.896 * * [simplify]: Extracting #3: cost 0 inf + 251
3.896 * [simplify]: Simplified to (- (/ 1 x) 1)
3.896 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
3.896 * * * * [progress]: [ 84 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
3.897 * [simplify]: Simplifying (- (/ 1 x) 1)
3.897 * * [simplify]: iters left: 4 (4 enodes)
3.898 * * [simplify]: iters left: 3 (17 enodes)
3.901 * * [simplify]: iters left: 2 (21 enodes)
3.905 * * [simplify]: Extracting #0: cost 1 inf + 0
3.905 * * [simplify]: Extracting #1: cost 5 inf + 0
3.905 * * [simplify]: Extracting #2: cost 5 inf + 2
3.905 * * [simplify]: Extracting #3: cost 0 inf + 251
3.905 * [simplify]: Simplified to (- (/ 1 x) 1)
3.905 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
3.905 * * * * [progress]: [ 85 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
3.905 * [simplify]: Simplifying (- (/ 1 x) 1)
3.905 * * [simplify]: iters left: 4 (4 enodes)
3.907 * * [simplify]: iters left: 3 (17 enodes)
3.910 * * [simplify]: iters left: 2 (21 enodes)
3.913 * * [simplify]: Extracting #0: cost 1 inf + 0
3.913 * * [simplify]: Extracting #1: cost 5 inf + 0
3.913 * * [simplify]: Extracting #2: cost 5 inf + 2
3.913 * * [simplify]: Extracting #3: cost 0 inf + 251
3.913 * [simplify]: Simplified to (- (/ 1 x) 1)
3.913 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
3.914 * * * [progress]: adding candidates to table
4.488 * * [progress]: iteration 2 / 4
4.488 * * * [progress]: picking best candidate
4.490 * * * * [pick]: Picked  #<alt (λ (x) (- (log (expm1 (- (log x))))))>
4.490 * * * [progress]: localizing error
4.503 * * * [progress]: generating rewritten candidates
4.503 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
4.504 * * * [progress]: generating series expansions
4.504 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
4.504 * [backup-simplify]: Simplify (expm1 (- (log x))) into (expm1 (- (log x)))
4.504 * [approximate]: Taking taylor expansion of (expm1 (- (log x))) in (x) around 0
4.504 * [taylor]: Taking taylor expansion of (expm1 (- (log x))) in x
4.506 * [taylor]: Rewrote expression to (- (exp (- (log x))) 1)
4.506 * [taylor]: Taking taylor expansion of (exp (- (log x))) in x
4.506 * [taylor]: Taking taylor expansion of (- (log x)) in x
4.506 * [taylor]: Taking taylor expansion of (log 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.511 * [backup-simplify]: Simplify (log 1) into 0
4.512 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.512 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.512 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.512 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.512 * [backup-simplify]: Simplify (exp (- (log x))) into (exp (- (log x)))
4.512 * [taylor]: Taking taylor expansion of 1 in x
4.512 * [backup-simplify]: Simplify 1 into 1
4.513 * [taylor]: Taking taylor expansion of (expm1 (- (log x))) in x
4.513 * [taylor]: Rewrote expression to (- (exp (- (log x))) 1)
4.513 * [taylor]: Taking taylor expansion of (exp (- (log x))) in x
4.513 * [taylor]: Taking taylor expansion of (- (log x)) in x
4.513 * [taylor]: Taking taylor expansion of (log x) in x
4.513 * [taylor]: Taking taylor expansion of x in x
4.513 * [backup-simplify]: Simplify 0 into 0
4.513 * [backup-simplify]: Simplify 1 into 1
4.513 * [backup-simplify]: Simplify (log 1) into 0
4.513 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.513 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.514 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.514 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.514 * [backup-simplify]: Simplify (exp (- (log x))) into (exp (- (log x)))
4.514 * [taylor]: Taking taylor expansion of 1 in x
4.514 * [backup-simplify]: Simplify 1 into 1
4.514 * [backup-simplify]: Simplify (- 1) into -1
4.514 * [backup-simplify]: Simplify (+ (exp (- (log x))) -1) into (- (exp (- (log x))) 1)
4.514 * [backup-simplify]: Simplify (- (exp (- (log x))) 1) into (- (exp (- (log x))) 1)
4.514 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.514 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.516 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.516 * [backup-simplify]: Simplify (- 0) into 0
4.516 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 1) 1)))) into 0
4.517 * [backup-simplify]: Simplify (- 0) into 0
4.517 * [backup-simplify]: Simplify (+ 0 0) into 0
4.517 * [backup-simplify]: Simplify 0 into 0
4.517 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.517 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.517 * [backup-simplify]: Simplify (- 0) into 0
4.520 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.520 * [backup-simplify]: Simplify (- 0) into 0
4.521 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.521 * [backup-simplify]: Simplify (- 0) into 0
4.521 * [backup-simplify]: Simplify (+ 0 0) into 0
4.521 * [backup-simplify]: Simplify 0 into 0
4.522 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.522 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.522 * [backup-simplify]: Simplify (- 0) into 0
4.522 * [backup-simplify]: Simplify (- 0) into 0
4.522 * [backup-simplify]: Simplify (- 0) into 0
4.525 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
4.525 * [backup-simplify]: Simplify (- 0) into 0
4.527 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.527 * [backup-simplify]: Simplify (- 0) into 0
4.527 * [backup-simplify]: Simplify (+ 0 0) into 0
4.527 * [backup-simplify]: Simplify 0 into 0
4.527 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.527 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.528 * [backup-simplify]: Simplify (- 0) into 0
4.528 * [backup-simplify]: Simplify (- 0) into 0
4.528 * [backup-simplify]: Simplify (- 0) into 0
4.529 * [backup-simplify]: Simplify (- 0) into 0
4.529 * [backup-simplify]: Simplify (- 0) into 0
4.529 * [backup-simplify]: Simplify (- 0) into 0
4.535 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
4.535 * [backup-simplify]: Simplify (- 0) into 0
4.537 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.537 * [backup-simplify]: Simplify (- 0) into 0
4.537 * [backup-simplify]: Simplify (+ 0 0) into 0
4.537 * [backup-simplify]: Simplify 0 into 0
4.538 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.538 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.538 * [backup-simplify]: Simplify (- 0) into 0
4.538 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (- 0) into 0
4.539 * [backup-simplify]: Simplify (- 0) into 0
4.540 * [backup-simplify]: Simplify (- 0) into 0
4.540 * [backup-simplify]: Simplify (- 0) into 0
4.540 * [backup-simplify]: Simplify (- 0) into 0
4.540 * [backup-simplify]: Simplify (- 0) into 0
4.550 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
4.550 * [backup-simplify]: Simplify (- 0) into 0
4.552 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.553 * [backup-simplify]: Simplify (- 0) into 0
4.553 * [backup-simplify]: Simplify (+ 0 0) into 0
4.553 * [backup-simplify]: Simplify 0 into 0
4.553 * [backup-simplify]: Simplify (+ (* (- -1) (log x)) 0) into (log x)
4.553 * [backup-simplify]: Simplify (- (log x)) into (- (log x))
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.554 * [backup-simplify]: Simplify (- 0) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.555 * [backup-simplify]: Simplify (- 0) into 0
4.556 * [backup-simplify]: Simplify (- 0) into 0
4.556 * [backup-simplify]: Simplify (- 0) into 0
4.556 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.557 * [backup-simplify]: Simplify (- 0) into 0
4.558 * [backup-simplify]: Simplify (- 0) into 0
4.558 * [backup-simplify]: Simplify (- 0) into 0
4.574 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
4.574 * [backup-simplify]: Simplify (- 0) into 0
4.578 * [backup-simplify]: Simplify (* (exp (- (log x))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.578 * [backup-simplify]: Simplify (- 0) into 0
4.578 * [backup-simplify]: Simplify (+ 0 0) into 0
4.578 * [backup-simplify]: Simplify 0 into 0
4.578 * [backup-simplify]: Simplify (- (exp (- (log x))) 1) into (- (exp (- (log x))) 1)
4.578 * [backup-simplify]: Simplify (expm1 (- (log (/ 1 x)))) into (expm1 (- (log (/ 1 x))))
4.578 * [approximate]: Taking taylor expansion of (expm1 (- (log (/ 1 x)))) in (x) around 0
4.578 * [taylor]: Taking taylor expansion of (expm1 (- (log (/ 1 x)))) in x
4.578 * [taylor]: Rewrote expression to (- (exp (- (log (/ 1 x)))) 1)
4.579 * [taylor]: Taking taylor expansion of (exp (- (log (/ 1 x)))) in x
4.579 * [taylor]: Taking taylor expansion of (- (log (/ 1 x))) in x
4.579 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.579 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.579 * [taylor]: Taking taylor expansion of x in x
4.579 * [backup-simplify]: Simplify 0 into 0
4.579 * [backup-simplify]: Simplify 1 into 1
4.579 * [backup-simplify]: Simplify (/ 1 1) into 1
4.579 * [backup-simplify]: Simplify (log 1) into 0
4.579 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.579 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.580 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.580 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.580 * [backup-simplify]: Simplify (exp (log x)) into x
4.580 * [taylor]: Taking taylor expansion of 1 in x
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [taylor]: Taking taylor expansion of (expm1 (- (log (/ 1 x)))) in x
4.580 * [taylor]: Rewrote expression to (- (exp (- (log (/ 1 x)))) 1)
4.580 * [taylor]: Taking taylor expansion of (exp (- (log (/ 1 x)))) in x
4.580 * [taylor]: Taking taylor expansion of (- (log (/ 1 x))) in x
4.580 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.580 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.580 * [taylor]: Taking taylor expansion of x in x
4.580 * [backup-simplify]: Simplify 0 into 0
4.580 * [backup-simplify]: Simplify 1 into 1
4.580 * [backup-simplify]: Simplify (/ 1 1) into 1
4.581 * [backup-simplify]: Simplify (log 1) into 0
4.581 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.581 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.581 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.581 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.581 * [backup-simplify]: Simplify (exp (log x)) into x
4.581 * [taylor]: Taking taylor expansion of 1 in x
4.581 * [backup-simplify]: Simplify 1 into 1
4.582 * [backup-simplify]: Simplify (- 1) into -1
4.582 * [backup-simplify]: Simplify (+ x -1) into (- x 1)
4.582 * [backup-simplify]: Simplify (- x 1) into (- x 1)
4.582 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.582 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.582 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
4.583 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow 1 1)))) 1) into 0
4.583 * [backup-simplify]: Simplify (- 0) into 0
4.584 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 1) 1)))) into 0
4.584 * [backup-simplify]: Simplify (- 0) into 0
4.584 * [backup-simplify]: Simplify (+ 0 0) into 0
4.584 * [backup-simplify]: Simplify 0 into 0
4.585 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.585 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.585 * [backup-simplify]: Simplify (- 0) into 0
4.586 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.587 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow 1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow 1 1)))) 2) into 0
4.587 * [backup-simplify]: Simplify (- 0) into 0
4.588 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.588 * [backup-simplify]: Simplify (- 0) into 0
4.588 * [backup-simplify]: Simplify (+ 0 0) into 0
4.589 * [backup-simplify]: Simplify 0 into 0
4.589 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.589 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.589 * [backup-simplify]: Simplify (- 0) into 0
4.589 * [backup-simplify]: Simplify (- 0) into 0
4.590 * [backup-simplify]: Simplify (- 0) into 0
4.590 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.593 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow 1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow 1 1)))) 6) into 0
4.593 * [backup-simplify]: Simplify (- 0) into 0
4.594 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.594 * [backup-simplify]: Simplify (- 0) into 0
4.595 * [backup-simplify]: Simplify (+ 0 0) into 0
4.595 * [backup-simplify]: Simplify 0 into 0
4.595 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.595 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.600 * [backup-simplify]: Simplify (- 0) into 0
4.600 * [backup-simplify]: Simplify (- 0) into 0
4.601 * [backup-simplify]: Simplify (- 0) into 0
4.601 * [backup-simplify]: Simplify (- 0) into 0
4.601 * [backup-simplify]: Simplify (- 0) into 0
4.601 * [backup-simplify]: Simplify (- 0) into 0
4.602 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.608 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow 1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow 1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow 1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow 1 1)))) 24) into 0
4.608 * [backup-simplify]: Simplify (- 0) into 0
4.610 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.610 * [backup-simplify]: Simplify (- 0) into 0
4.610 * [backup-simplify]: Simplify (+ 0 0) into 0
4.610 * [backup-simplify]: Simplify 0 into 0
4.611 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.611 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.611 * [backup-simplify]: Simplify (- 0) into 0
4.611 * [backup-simplify]: Simplify (- 0) into 0
4.612 * [backup-simplify]: Simplify (- 0) into 0
4.612 * [backup-simplify]: Simplify (- 0) into 0
4.612 * [backup-simplify]: Simplify (- 0) into 0
4.612 * [backup-simplify]: Simplify (- 0) into 0
4.613 * [backup-simplify]: Simplify (- 0) into 0
4.613 * [backup-simplify]: Simplify (- 0) into 0
4.613 * [backup-simplify]: Simplify (- 0) into 0
4.613 * [backup-simplify]: Simplify (- 0) into 0
4.614 * [backup-simplify]: Simplify (- 0) into 0
4.614 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.623 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow 1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow 1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow 1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow 1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow 1 1)))) 120) into 0
4.623 * [backup-simplify]: Simplify (- 0) into 0
4.625 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.626 * [backup-simplify]: Simplify (- 0) into 0
4.626 * [backup-simplify]: Simplify (+ 0 0) into 0
4.626 * [backup-simplify]: Simplify 0 into 0
4.627 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) 0) into (- (log x))
4.627 * [backup-simplify]: Simplify (- (- (log x))) into (log x)
4.627 * [backup-simplify]: Simplify (- 0) into 0
4.627 * [backup-simplify]: Simplify (- 0) into 0
4.627 * [backup-simplify]: Simplify (- 0) into 0
4.628 * [backup-simplify]: Simplify (- 0) into 0
4.628 * [backup-simplify]: Simplify (- 0) into 0
4.628 * [backup-simplify]: Simplify (- 0) into 0
4.628 * [backup-simplify]: Simplify (- 0) into 0
4.629 * [backup-simplify]: Simplify (- 0) into 0
4.629 * [backup-simplify]: Simplify (- 0) into 0
4.629 * [backup-simplify]: Simplify (- 0) into 0
4.629 * [backup-simplify]: Simplify (- 0) into 0
4.630 * [backup-simplify]: Simplify (- 0) into 0
4.630 * [backup-simplify]: Simplify (- 0) into 0
4.630 * [backup-simplify]: Simplify (- 0) into 0
4.630 * [backup-simplify]: Simplify (- 0) into 0
4.631 * [backup-simplify]: Simplify (- 0) into 0
4.631 * [backup-simplify]: Simplify (- 0) into 0
4.631 * [backup-simplify]: Simplify (- 0) into 0
4.632 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.650 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow 1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow 1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow 1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow 1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow 1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow 1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow 1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow 1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow 1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow 1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow 1 1)))) 720) into 0
4.650 * [backup-simplify]: Simplify (- 0) into 0
4.653 * [backup-simplify]: Simplify (* (exp (log x)) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.654 * [backup-simplify]: Simplify (- 0) into 0
4.654 * [backup-simplify]: Simplify (+ 0 0) into 0
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
4.654 * [backup-simplify]: Simplify (expm1 (- (log (/ 1 (- x))))) into (expm1 (- (log (/ -1 x))))
4.654 * [approximate]: Taking taylor expansion of (expm1 (- (log (/ -1 x)))) in (x) around 0
4.654 * [taylor]: Taking taylor expansion of (expm1 (- (log (/ -1 x)))) in x
4.654 * [taylor]: Rewrote expression to (- (exp (- (log (/ -1 x)))) 1)
4.654 * [taylor]: Taking taylor expansion of (exp (- (log (/ -1 x)))) in x
4.654 * [taylor]: Taking taylor expansion of (- (log (/ -1 x))) in x
4.654 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
4.654 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.654 * [taylor]: Taking taylor expansion of -1 in x
4.654 * [backup-simplify]: Simplify -1 into -1
4.654 * [taylor]: Taking taylor expansion of x in x
4.654 * [backup-simplify]: Simplify 0 into 0
4.654 * [backup-simplify]: Simplify 1 into 1
4.655 * [backup-simplify]: Simplify (/ -1 1) into -1
4.655 * [backup-simplify]: Simplify (log -1) into (log -1)
4.656 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.656 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.656 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.657 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.657 * [backup-simplify]: Simplify (exp (- (log x) (log -1))) into (exp (- (log x) (log -1)))
4.657 * [taylor]: Taking taylor expansion of 1 in x
4.657 * [backup-simplify]: Simplify 1 into 1
4.657 * [taylor]: Taking taylor expansion of (expm1 (- (log (/ -1 x)))) in x
4.657 * [taylor]: Rewrote expression to (- (exp (- (log (/ -1 x)))) 1)
4.657 * [taylor]: Taking taylor expansion of (exp (- (log (/ -1 x)))) in x
4.657 * [taylor]: Taking taylor expansion of (- (log (/ -1 x))) in x
4.657 * [taylor]: Taking taylor expansion of (log (/ -1 x)) in x
4.657 * [taylor]: Taking taylor expansion of (/ -1 x) in x
4.657 * [taylor]: Taking taylor expansion of -1 in x
4.657 * [backup-simplify]: Simplify -1 into -1
4.657 * [taylor]: Taking taylor expansion of x in x
4.657 * [backup-simplify]: Simplify 0 into 0
4.657 * [backup-simplify]: Simplify 1 into 1
4.658 * [backup-simplify]: Simplify (/ -1 1) into -1
4.658 * [backup-simplify]: Simplify (log -1) into (log -1)
4.659 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.659 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.660 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.660 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.660 * [backup-simplify]: Simplify (exp (- (log x) (log -1))) into (exp (- (log x) (log -1)))
4.660 * [taylor]: Taking taylor expansion of 1 in x
4.660 * [backup-simplify]: Simplify 1 into 1
4.660 * [backup-simplify]: Simplify (- 1) into -1
4.661 * [backup-simplify]: Simplify (+ (exp (- (log x) (log -1))) -1) into (- (exp (- (log x) (log -1))) 1)
4.661 * [backup-simplify]: Simplify (- (exp (- (log x) (log -1))) 1) into (- (exp (- (log x) (log -1))) 1)
4.661 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.662 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.662 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)))) into 0
4.663 * [backup-simplify]: Simplify (/ (+ (* 1 (/ (* (pow (* 1 0) 1)) (pow -1 1)))) 1) into 0
4.663 * [backup-simplify]: Simplify (- 0) into 0
4.664 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 1) 1)))) into 0
4.664 * [backup-simplify]: Simplify (- 0) into 0
4.665 * [backup-simplify]: Simplify (+ 0 0) into 0
4.665 * [backup-simplify]: Simplify 0 into 0
4.665 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.665 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.666 * [backup-simplify]: Simplify (- 0) into 0
4.666 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.668 * [backup-simplify]: Simplify (/ (+ (* -1 (/ (* (pow (* 1 0) 2)) (pow -1 2))) (* 1 (/ (* 1 (pow (* 2 0) 1)) (pow -1 1)))) 2) into 0
4.668 * [backup-simplify]: Simplify (- 0) into 0
4.669 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.669 * [backup-simplify]: Simplify (- 0) into 0
4.670 * [backup-simplify]: Simplify (+ 0 0) into 0
4.670 * [backup-simplify]: Simplify 0 into 0
4.670 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.671 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.671 * [backup-simplify]: Simplify (- 0) into 0
4.671 * [backup-simplify]: Simplify (- 0) into 0
4.671 * [backup-simplify]: Simplify (- 0) into 0
4.672 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.677 * [backup-simplify]: Simplify (/ (+ (* 2 (/ (* (pow (* 1 0) 3)) (pow -1 3))) (* -3 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 (pow (* 6 0) 1)) (pow -1 1)))) 6) into 0
4.677 * [backup-simplify]: Simplify (- 0) into 0
4.679 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.680 * [backup-simplify]: Simplify (- 0) into 0
4.680 * [backup-simplify]: Simplify (+ 0 0) into 0
4.680 * [backup-simplify]: Simplify 0 into 0
4.681 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.682 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.682 * [backup-simplify]: Simplify (- 0) into 0
4.682 * [backup-simplify]: Simplify (- 0) into 0
4.683 * [backup-simplify]: Simplify (- 0) into 0
4.683 * [backup-simplify]: Simplify (- 0) into 0
4.683 * [backup-simplify]: Simplify (- 0) into 0
4.684 * [backup-simplify]: Simplify (- 0) into 0
4.685 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.701 * [backup-simplify]: Simplify (/ (+ (* -6 (/ (* (pow (* 1 0) 4)) (pow -1 4))) (* 12 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 1)) (pow -1 3))) (* -3 (/ (* 1 (pow (* 2 0) 2)) (pow -1 2))) (* -4 (/ (* (pow (* 1 0) 1) 1 (pow (* 6 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 (pow (* 24 0) 1)) (pow -1 1)))) 24) into 0
4.702 * [backup-simplify]: Simplify (- 0) into 0
4.705 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 4) 24)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.706 * [backup-simplify]: Simplify (- 0) into 0
4.706 * [backup-simplify]: Simplify (+ 0 0) into 0
4.706 * [backup-simplify]: Simplify 0 into 0
4.707 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.708 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.708 * [backup-simplify]: Simplify (- 0) into 0
4.708 * [backup-simplify]: Simplify (- 0) into 0
4.709 * [backup-simplify]: Simplify (- 0) into 0
4.710 * [backup-simplify]: Simplify (- 0) into 0
4.710 * [backup-simplify]: Simplify (- 0) into 0
4.710 * [backup-simplify]: Simplify (- 0) into 0
4.711 * [backup-simplify]: Simplify (- 0) into 0
4.711 * [backup-simplify]: Simplify (- 0) into 0
4.711 * [backup-simplify]: Simplify (- 0) into 0
4.712 * [backup-simplify]: Simplify (- 0) into 0
4.712 * [backup-simplify]: Simplify (- 0) into 0
4.713 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.732 * [backup-simplify]: Simplify (/ (+ (* 24 (/ (* (pow (* 1 0) 5)) (pow -1 5))) (* -60 (/ (* (pow (* 1 0) 3) (pow (* 2 0) 1)) (pow -1 4))) (* 30 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 2)) (pow -1 3))) (* 20 (/ (* (pow (* 1 0) 2) 1 (pow (* 6 0) 1)) (pow -1 3))) (* -10 (/ (* 1 (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 2))) (* -5 (/ (* (pow (* 1 0) 1) 1 1 (pow (* 24 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 (pow (* 120 0) 1)) (pow -1 1)))) 120) into 0
4.732 * [backup-simplify]: Simplify (- 0) into 0
4.736 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 5) 120)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1)))) into 0
4.737 * [backup-simplify]: Simplify (- 0) into 0
4.737 * [backup-simplify]: Simplify (+ 0 0) into 0
4.737 * [backup-simplify]: Simplify 0 into 0
4.738 * [backup-simplify]: Simplify (+ (* (- 1) (log x)) (log -1)) into (- (log -1) (log x))
4.739 * [backup-simplify]: Simplify (- (- (log -1) (log x))) into (- (log x) (log -1))
4.739 * [backup-simplify]: Simplify (- 0) into 0
4.740 * [backup-simplify]: Simplify (- 0) into 0
4.740 * [backup-simplify]: Simplify (- 0) into 0
4.740 * [backup-simplify]: Simplify (- 0) into 0
4.741 * [backup-simplify]: Simplify (- 0) into 0
4.741 * [backup-simplify]: Simplify (- 0) into 0
4.742 * [backup-simplify]: Simplify (- 0) into 0
4.742 * [backup-simplify]: Simplify (- 0) into 0
4.742 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.743 * [backup-simplify]: Simplify (- 0) into 0
4.744 * [backup-simplify]: Simplify (- 0) into 0
4.744 * [backup-simplify]: Simplify (- 0) into 0
4.745 * [backup-simplify]: Simplify (- 0) into 0
4.745 * [backup-simplify]: Simplify (- 0) into 0
4.745 * [backup-simplify]: Simplify (- 0) into 0
4.746 * [backup-simplify]: Simplify (- 0) into 0
4.747 * [backup-simplify]: Simplify (- (/ 0 1) (+ (* -1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
4.779 * [backup-simplify]: Simplify (/ (+ (* -120 (/ (* (pow (* 1 0) 6)) (pow -1 6))) (* 360 (/ (* (pow (* 1 0) 4) (pow (* 2 0) 1)) (pow -1 5))) (* -270 (/ (* (pow (* 1 0) 2) (pow (* 2 0) 2)) (pow -1 4))) (* -120 (/ (* (pow (* 1 0) 3) 1 (pow (* 6 0) 1)) (pow -1 4))) (* 30 (/ (* 1 (pow (* 2 0) 3)) (pow -1 3))) (* 120 (/ (* (pow (* 1 0) 1) (pow (* 2 0) 1) (pow (* 6 0) 1)) (pow -1 3))) (* 30 (/ (* (pow (* 1 0) 2) 1 1 (pow (* 24 0) 1)) (pow -1 3))) (* -10 (/ (* 1 1 (pow (* 6 0) 2)) (pow -1 2))) (* -15 (/ (* 1 (pow (* 2 0) 1) 1 (pow (* 24 0) 1)) (pow -1 2))) (* -6 (/ (* (pow (* 1 0) 1) 1 1 1 (pow (* 120 0) 1)) (pow -1 2))) (* 1 (/ (* 1 1 1 1 1 (pow (* 720 0) 1)) (pow -1 1)))) 720) into 0
4.779 * [backup-simplify]: Simplify (- 0) into 0
4.786 * [backup-simplify]: Simplify (* (exp (- (log x) (log -1))) (+ (* (/ (pow 0 6) 720)) (* (/ (pow 0 4) 24) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2) (/ (pow 0 2) 2)) (* (/ (pow 0 2) 2) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 3) 6)) (* (/ (pow 0 1) 1) (/ (pow 0 1) 1)) (* (/ (pow 0 2) 2)) (* (/ (pow 0 1) 1)))) into 0
4.786 * [backup-simplify]: Simplify (- 0) into 0
4.787 * [backup-simplify]: Simplify (+ 0 0) into 0
4.787 * [backup-simplify]: Simplify 0 into 0
4.787 * [backup-simplify]: Simplify (- (exp (- (log (/ 1 (- x))) (log -1))) 1) into (- (exp (- (log (/ -1 x)) (log -1))) 1)
4.787 * * * [progress]: simplifying candidates
4.787 * * * * [progress]: [ 1 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (exp (- (log x))) 1))))>
4.788 * * * * [progress]: [ 2 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (expm1 (- (log x))))))))>
4.788 * * * * [progress]: [ 3 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (expm1 (- (log x))))))))>
4.788 * * * * [progress]: [ 4 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log x))))))>
4.788 * [simplify]: Simplifying (- (log x))
4.788 * * [simplify]: iters left: 3 (3 enodes)
4.789 * * [simplify]: iters left: 2 (9 enodes)
4.792 * * [simplify]: Extracting #0: cost 1 inf + 0
4.792 * * [simplify]: Extracting #1: cost 3 inf + 0
4.792 * * [simplify]: Extracting #2: cost 5 inf + 0
4.792 * * [simplify]: Extracting #3: cost 4 inf + 1
4.792 * * [simplify]: Extracting #4: cost 0 inf + 365
4.792 * [simplify]: Simplified to (- (log x))
4.792 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
4.792 * * * * [progress]: [ 5 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (pow (expm1 (- (log x))) 1))))>
4.792 * * * * [progress]: [ 6 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (expm1 (- (log x))))))))>
4.792 * * * * [progress]: [ 7 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (expm1 (- (log x))))))))>
4.792 * * * * [progress]: [ 8 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (expm1 (- (log x)))) (cbrt (expm1 (- (log x))))) (cbrt (expm1 (- (log x))))))))>
4.793 * * * * [progress]: [ 9 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (expm1 (- (log x))) (expm1 (- (log x)))) (expm1 (- (log x))))))))>
4.793 * * * * [progress]: [ 10 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (expm1 (- (log x)))) (sqrt (expm1 (- (log x))))))))>
4.793 * * * * [progress]: [ 11 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (expm1 (- (log x)))))))>
4.793 * * * * [progress]: [ 12 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (expm1 (- (log x))))))))>
4.793 * * * * [progress]: [ 13 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (exp (- (log x))) 1))))>
4.793 * [simplify]: Simplifying (- (exp (- (log x))) 1)
4.793 * * [simplify]: iters left: 6 (6 enodes)
4.797 * * [simplify]: iters left: 5 (26 enodes)
4.805 * * [simplify]: iters left: 4 (30 enodes)
4.814 * * [simplify]: Extracting #0: cost 1 inf + 0
4.814 * * [simplify]: Extracting #1: cost 6 inf + 0
4.814 * * [simplify]: Extracting #2: cost 8 inf + 2
4.814 * * [simplify]: Extracting #3: cost 8 inf + 3
4.814 * * [simplify]: Extracting #4: cost 0 inf + 615
4.814 * [simplify]: Simplified to (- (/ 1 x) 1)
4.814 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.815 * * * * [progress]: [ 14 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
4.815 * [simplify]: Simplifying (- (/ 1 x) 1)
4.815 * * [simplify]: iters left: 4 (4 enodes)
4.818 * * [simplify]: iters left: 3 (17 enodes)
4.824 * * [simplify]: iters left: 2 (21 enodes)
4.831 * * [simplify]: Extracting #0: cost 1 inf + 0
4.831 * * [simplify]: Extracting #1: cost 5 inf + 0
4.831 * * [simplify]: Extracting #2: cost 5 inf + 2
4.831 * * [simplify]: Extracting #3: cost 0 inf + 251
4.831 * [simplify]: Simplified to (- (/ 1 x) 1)
4.831 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.831 * * * * [progress]: [ 15 / 15 ] simplifiying candidate #<alt (λ (x) (- (log (- (exp (- (log (/ -1 x)) (log -1))) 1))))>
4.832 * [simplify]: Simplifying (- (exp (- (log (/ -1 x)) (log -1))) 1)
4.832 * * [simplify]: iters left: 6 (9 enodes)
4.838 * * [simplify]: iters left: 5 (39 enodes)
4.851 * * [simplify]: iters left: 4 (56 enodes)
4.874 * * [simplify]: iters left: 3 (90 enodes)
4.889 * * [simplify]: iters left: 2 (127 enodes)
4.914 * * [simplify]: iters left: 1 (183 enodes)
4.961 * * [simplify]: Extracting #0: cost 1 inf + 0
4.962 * * [simplify]: Extracting #1: cost 8 inf + 0
4.962 * * [simplify]: Extracting #2: cost 24 inf + 2
4.962 * * [simplify]: Extracting #3: cost 33 inf + 297
4.963 * * [simplify]: Extracting #4: cost 9 inf + 2878
4.964 * * [simplify]: Extracting #5: cost 0 inf + 4018
4.965 * * [simplify]: Extracting #6: cost 0 inf + 3947
4.966 * [simplify]: Simplified to (- (/ 1 x) 1)
4.966 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.966 * * * [progress]: adding candidates to table
5.064 * [progress]: [Phase 3 of 3] Extracting.
5.064 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.065 * * * [regime-changes]: Trying 5 branch expressions: (x (/ 1 x) (- (/ 1 x) 1) (log (- (/ 1 x) 1)) (- (log (- (/ 1 x) 1))))
5.065 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.084 * * * * [regimes]: Trying to branch on (/ 1 x) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.113 * * * * [regimes]: Trying to branch on (- (/ 1 x) 1) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.144 * * * * [regimes]: Trying to branch on (log (- (/ 1 x) 1)) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.186 * * * * [regimes]: Trying to branch on (- (log (- (/ 1 x) 1))) from (#<alt (λ (x) (- (log (- (/ 1 x) 1))))> #<alt (λ (x) (- (log (expm1 (- (log x))))))>)
5.227 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.228 * [simplify]: Simplifying (- (log (expm1 (- (log x)))))
5.228 * * [simplify]: iters left: 6 (6 enodes)
5.228 * * [simplify]: Extracting #0: cost 1 inf + 0
5.228 * * [simplify]: Extracting #1: cost 2 inf + 0
5.228 * * [simplify]: Extracting #2: cost 3 inf + 0
5.228 * * [simplify]: Extracting #3: cost 4 inf + 0
5.228 * * [simplify]: Extracting #4: cost 5 inf + 0
5.228 * * [simplify]: Extracting #5: cost 6 inf + 0
5.228 * * [simplify]: Extracting #6: cost 5 inf + 1
5.229 * * [simplify]: Extracting #7: cost 0 inf + 906
5.229 * [simplify]: Simplified to (- (log (expm1 (- (log x)))))
8.791 * [regime-testing]: Baseline error score: 0.030875537583501436
8.796 * [regime-testing]: Oracle error score: 0.017748896753397674
8.805 * [regime-testing]: End program error score: 0.030875537583501436