0.004 * [progress]: [Phase 1 of 3] Setting up.
0.005 * * * [progress]: [1/2] Preparing points
0.175 * * * [progress]: [2/2] Setting up program.
0.181 * [progress]: [Phase 2 of 3] Improving.
0.181 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.182 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
0.183 * * [simplify]: iters left: 6 (6 enodes)
0.189 * * [simplify]: iters left: 5 (23 enodes)
0.193 * * [simplify]: iters left: 4 (27 enodes)
0.198 * * [simplify]: Extracting #0: cost 1 inf + 0
0.198 * * [simplify]: Extracting #1: cost 3 inf + 0
0.198 * * [simplify]: Extracting #2: cost 5 inf + 0
0.198 * * [simplify]: Extracting #3: cost 9 inf + 0
0.198 * * [simplify]: Extracting #4: cost 9 inf + 2
0.198 * * [simplify]: Extracting #5: cost 6 inf + 87
0.198 * * [simplify]: Extracting #6: cost 1 inf + 747
0.199 * * [simplify]: Extracting #7: cost 0 inf + 939
0.199 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
0.199 * [simplify]: Simplified (2) to (λ (x) (- (log (- (/ 1 x) 1))))
0.203 * * [progress]: iteration 1 / 4
0.203 * * * [progress]: picking best candidate
0.205 * * * * [pick]: Picked  #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
0.205 * * * [progress]: localizing error
0.224 * * * [progress]: generating rewritten candidates
0.225 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1 1)
0.640 * * * [progress]: generating series expansions
0.640 * * * * [progress]: [ 1 / 1 ] generating series at (2 1 1)
0.647 * [backup-simplify]: Simplify (- (/ 1 x) 1) into (- (/ 1 x) 1)
0.647 * [approximate]: Taking taylor expansion of (- (/ 1 x) 1) in (x) around 0
0.648 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.649 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.649 * [taylor]: Taking taylor expansion of x in x
0.649 * [backup-simplify]: Simplify 0 into 0
0.649 * [backup-simplify]: Simplify 1 into 1
0.650 * [backup-simplify]: Simplify (/ 1 1) into 1
0.650 * [taylor]: Taking taylor expansion of 1 in x
0.650 * [backup-simplify]: Simplify 1 into 1
0.650 * [taylor]: Taking taylor expansion of (- (/ 1 x) 1) in x
0.650 * [taylor]: Taking taylor expansion of (/ 1 x) in x
0.650 * [taylor]: Taking taylor expansion of x in x
0.650 * [backup-simplify]: Simplify 0 into 0
0.650 * [backup-simplify]: Simplify 1 into 1
0.651 * [backup-simplify]: Simplify (/ 1 1) into 1
0.651 * [taylor]: Taking taylor expansion of 1 in x
0.651 * [backup-simplify]: Simplify 1 into 1
0.652 * [backup-simplify]: Simplify (+ 1 0) into 1
0.652 * [backup-simplify]: Simplify 1 into 1
0.653 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)))) into 0
0.654 * [backup-simplify]: Simplify (- 1) into -1
0.654 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.654 * [backup-simplify]: Simplify -1 into -1
0.655 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.656 * [backup-simplify]: Simplify (- 0) into 0
0.656 * [backup-simplify]: Simplify (+ 0 0) into 0
0.656 * [backup-simplify]: Simplify 0 into 0
0.657 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.657 * [backup-simplify]: Simplify (- 0) into 0
0.658 * [backup-simplify]: Simplify (+ 0 0) into 0
0.658 * [backup-simplify]: Simplify 0 into 0
0.659 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.660 * [backup-simplify]: Simplify (- 0) into 0
0.660 * [backup-simplify]: Simplify (+ 0 0) into 0
0.660 * [backup-simplify]: Simplify 0 into 0
0.661 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.662 * [backup-simplify]: Simplify (- 0) into 0
0.662 * [backup-simplify]: Simplify (+ 0 0) into 0
0.662 * [backup-simplify]: Simplify 0 into 0
0.663 * [backup-simplify]: Simplify (- (+ (* 1 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)) (* 0 (/ 0 1)))) into 0
0.663 * [backup-simplify]: Simplify (- 0) into 0
0.664 * [backup-simplify]: Simplify (+ 0 0) into 0
0.664 * [backup-simplify]: Simplify 0 into 0
0.665 * [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.665 * [backup-simplify]: Simplify (- 0) into 0
0.665 * [backup-simplify]: Simplify (+ 0 0) into 0
0.666 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify (+ -1 (* 1 (/ 1 x))) into (- (/ 1 x) 1)
0.666 * [backup-simplify]: Simplify (- (/ 1 (/ 1 x)) 1) into (- x 1)
0.666 * [approximate]: Taking taylor expansion of (- x 1) in (x) around 0
0.666 * [taylor]: Taking taylor expansion of (- x 1) in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify 1 into 1
0.666 * [taylor]: Taking taylor expansion of 1 in x
0.666 * [backup-simplify]: Simplify 1 into 1
0.666 * [taylor]: Taking taylor expansion of (- x 1) in x
0.666 * [taylor]: Taking taylor expansion of x in x
0.666 * [backup-simplify]: Simplify 0 into 0
0.666 * [backup-simplify]: Simplify 1 into 1
0.666 * [taylor]: Taking taylor expansion of 1 in x
0.666 * [backup-simplify]: Simplify 1 into 1
0.667 * [backup-simplify]: Simplify (- 1) into -1
0.667 * [backup-simplify]: Simplify (+ 0 -1) into -1
0.667 * [backup-simplify]: Simplify -1 into -1
0.668 * [backup-simplify]: Simplify (- 0) into 0
0.668 * [backup-simplify]: Simplify (+ 1 0) into 1
0.668 * [backup-simplify]: Simplify 1 into 1
0.668 * [backup-simplify]: Simplify (- 0) into 0
0.669 * [backup-simplify]: Simplify (+ 0 0) into 0
0.669 * [backup-simplify]: Simplify 0 into 0
0.669 * [backup-simplify]: Simplify (- 0) into 0
0.670 * [backup-simplify]: Simplify (+ 0 0) into 0
0.670 * [backup-simplify]: Simplify 0 into 0
0.670 * [backup-simplify]: Simplify (- 0) into 0
0.670 * [backup-simplify]: Simplify (+ 0 0) into 0
0.671 * [backup-simplify]: Simplify 0 into 0
0.671 * [backup-simplify]: Simplify (- 0) into 0
0.671 * [backup-simplify]: Simplify (+ 0 0) into 0
0.671 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify (- 0) into 0
0.672 * [backup-simplify]: Simplify (+ 0 0) into 0
0.672 * [backup-simplify]: Simplify 0 into 0
0.672 * [backup-simplify]: Simplify (- 0) into 0
0.673 * [backup-simplify]: Simplify (+ 0 0) into 0
0.673 * [backup-simplify]: Simplify 0 into 0
0.673 * [backup-simplify]: Simplify (+ (* 1 (/ 1 x)) -1) into (- (/ 1 x) 1)
0.674 * [backup-simplify]: Simplify (- (/ 1 (/ 1 (- x))) 1) into (- (+ x 1))
0.674 * [approximate]: Taking taylor expansion of (- (+ x 1)) in (x) around 0
0.674 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.674 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [backup-simplify]: Simplify 0 into 0
0.674 * [backup-simplify]: Simplify 1 into 1
0.674 * [taylor]: Taking taylor expansion of 1 in x
0.674 * [backup-simplify]: Simplify 1 into 1
0.674 * [taylor]: Taking taylor expansion of (- (+ x 1)) in x
0.674 * [taylor]: Taking taylor expansion of (+ x 1) in x
0.674 * [taylor]: Taking taylor expansion of x in x
0.674 * [backup-simplify]: Simplify 0 into 0
0.675 * [backup-simplify]: Simplify 1 into 1
0.675 * [taylor]: Taking taylor expansion of 1 in x
0.675 * [backup-simplify]: Simplify 1 into 1
0.675 * [backup-simplify]: Simplify (+ 0 1) into 1
0.676 * [backup-simplify]: Simplify (- 1) into -1
0.676 * [backup-simplify]: Simplify -1 into -1
0.676 * [backup-simplify]: Simplify (+ 1 0) into 1
0.676 * [backup-simplify]: Simplify (- 1) into -1
0.676 * [backup-simplify]: Simplify -1 into -1
0.677 * [backup-simplify]: Simplify (+ 0 0) into 0
0.677 * [backup-simplify]: Simplify (- 0) into 0
0.677 * [backup-simplify]: Simplify 0 into 0
0.677 * [backup-simplify]: Simplify (+ 0 0) into 0
0.678 * [backup-simplify]: Simplify (- 0) into 0
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify (+ 0 0) into 0
0.678 * [backup-simplify]: Simplify (- 0) into 0
0.678 * [backup-simplify]: Simplify 0 into 0
0.678 * [backup-simplify]: Simplify (+ 0 0) into 0
0.679 * [backup-simplify]: Simplify (- 0) into 0
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [backup-simplify]: Simplify (+ 0 0) into 0
0.679 * [backup-simplify]: Simplify (- 0) into 0
0.679 * [backup-simplify]: Simplify 0 into 0
0.679 * [backup-simplify]: Simplify (+ 0 0) into 0
0.680 * [backup-simplify]: Simplify (- 0) into 0
0.680 * [backup-simplify]: Simplify 0 into 0
0.680 * [backup-simplify]: Simplify (+ (* -1 (/ 1 (- x))) -1) into (- (/ 1 x) 1)
0.680 * * * [progress]: simplifying candidates
0.680 * * * * [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.680 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
0.680 * * [simplify]: iters left: 6 (10 enodes)
0.684 * * [simplify]: iters left: 5 (41 enodes)
0.693 * * [simplify]: iters left: 4 (52 enodes)
0.705 * * [simplify]: iters left: 3 (56 enodes)
0.718 * * [simplify]: iters left: 2 (61 enodes)
0.733 * * [simplify]: iters left: 1 (78 enodes)
0.756 * * [simplify]: Extracting #0: cost 1 inf + 0
0.756 * * [simplify]: Extracting #1: cost 9 inf + 0
0.756 * * [simplify]: Extracting #2: cost 20 inf + 1
0.756 * * [simplify]: Extracting #3: cost 19 inf + 5
0.757 * * [simplify]: Extracting #4: cost 11 inf + 1285
0.758 * * [simplify]: Extracting #5: cost 3 inf + 3316
0.759 * * [simplify]: Extracting #6: cost 0 inf + 4355
0.760 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.760 * [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.760 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
0.761 * * [simplify]: iters left: 6 (6 enodes)
0.778 * * [simplify]: iters left: 5 (25 enodes)
0.791 * * [simplify]: iters left: 4 (37 enodes)
0.798 * * [simplify]: Extracting #0: cost 1 inf + 0
0.798 * * [simplify]: Extracting #1: cost 0 inf + 1
0.798 * [simplify]: Simplified to 0
0.798 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.798 * * * * [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.799 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
0.799 * * [simplify]: iters left: 6 (9 enodes)
0.804 * * [simplify]: iters left: 5 (30 enodes)
0.812 * * [simplify]: iters left: 4 (37 enodes)
0.817 * * [simplify]: iters left: 3 (40 enodes)
0.823 * * [simplify]: iters left: 2 (48 enodes)
0.831 * * [simplify]: iters left: 1 (66 enodes)
0.843 * * [simplify]: Extracting #0: cost 1 inf + 0
0.843 * * [simplify]: Extracting #1: cost 9 inf + 0
0.843 * * [simplify]: Extracting #2: cost 20 inf + 1
0.843 * * [simplify]: Extracting #3: cost 19 inf + 5
0.843 * * [simplify]: Extracting #4: cost 18 inf + 48
0.843 * * [simplify]: Extracting #5: cost 8 inf + 1702
0.844 * * [simplify]: Extracting #6: cost 0 inf + 4355
0.844 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.844 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
0.845 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
0.845 * * [simplify]: iters left: 4 (5 enodes)
0.847 * * [simplify]: iters left: 3 (17 enodes)
0.853 * * [simplify]: iters left: 2 (25 enodes)
0.856 * * [simplify]: Extracting #0: cost 1 inf + 0
0.856 * * [simplify]: Extracting #1: cost 0 inf + 1
0.856 * [simplify]: Simplified to 0
0.856 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.856 * * * * [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.857 * [simplify]: Simplifying (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- (* 1 1)))
0.857 * * [simplify]: iters left: 6 (8 enodes)
0.861 * * [simplify]: iters left: 5 (27 enodes)
0.870 * * [simplify]: iters left: 4 (34 enodes)
0.879 * * [simplify]: iters left: 3 (37 enodes)
0.894 * * [simplify]: iters left: 2 (45 enodes)
0.910 * * [simplify]: iters left: 1 (63 enodes)
0.928 * * [simplify]: Extracting #0: cost 1 inf + 0
0.928 * * [simplify]: Extracting #1: cost 9 inf + 0
0.928 * * [simplify]: Extracting #2: cost 20 inf + 1
0.928 * * [simplify]: Extracting #3: cost 19 inf + 5
0.928 * * [simplify]: Extracting #4: cost 17 inf + 90
0.928 * * [simplify]: Extracting #5: cost 5 inf + 3046
0.929 * * [simplify]: Extracting #6: cost 0 inf + 4370
0.930 * * [simplify]: Extracting #7: cost 0 inf + 4355
0.930 * [simplify]: Simplified to (+ (/ 1 x) -1)
0.930 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
0.930 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
0.930 * * [simplify]: iters left: 3 (4 enodes)
0.932 * * [simplify]: iters left: 2 (15 enodes)
0.936 * * [simplify]: iters left: 1 (20 enodes)
0.939 * * [simplify]: Extracting #0: cost 1 inf + 0
0.939 * * [simplify]: Extracting #1: cost 0 inf + 1
0.939 * [simplify]: Simplified to 0
0.939 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
0.939 * * * * [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.939 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
0.939 * * [simplify]: iters left: 6 (9 enodes)
0.943 * * [simplify]: iters left: 5 (38 enodes)
0.951 * * [simplify]: iters left: 4 (45 enodes)
0.961 * * [simplify]: iters left: 3 (49 enodes)
0.971 * * [simplify]: iters left: 2 (58 enodes)
0.985 * * [simplify]: iters left: 1 (74 enodes)
1.007 * * [simplify]: Extracting #0: cost 1 inf + 0
1.007 * * [simplify]: Extracting #1: cost 11 inf + 0
1.007 * * [simplify]: Extracting #2: cost 21 inf + 2
1.007 * * [simplify]: Extracting #3: cost 20 inf + 3
1.008 * * [simplify]: Extracting #4: cost 12 inf + 700
1.009 * * [simplify]: Extracting #5: cost 2 inf + 2083
1.010 * * [simplify]: Extracting #6: cost 0 inf + 2367
1.012 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.012 * [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.012 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.012 * * [simplify]: iters left: 6 (6 enodes)
1.018 * * [simplify]: iters left: 5 (25 enodes)
1.027 * * [simplify]: iters left: 4 (37 enodes)
1.031 * * [simplify]: Extracting #0: cost 1 inf + 0
1.031 * * [simplify]: Extracting #1: cost 0 inf + 1
1.031 * [simplify]: Simplified to 0
1.031 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.031 * * * * [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)))))))>
1.031 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* (sqrt 1) (sqrt 1))))
1.032 * * [simplify]: iters left: 6 (8 enodes)
1.035 * * [simplify]: iters left: 5 (27 enodes)
1.040 * * [simplify]: iters left: 4 (34 enodes)
1.044 * * [simplify]: iters left: 3 (42 enodes)
1.051 * * [simplify]: iters left: 2 (58 enodes)
1.074 * * [simplify]: iters left: 1 (101 enodes)
1.105 * * [simplify]: Extracting #0: cost 1 inf + 0
1.106 * * [simplify]: Extracting #1: cost 23 inf + 0
1.106 * * [simplify]: Extracting #2: cost 30 inf + 2
1.106 * * [simplify]: Extracting #3: cost 29 inf + 3
1.107 * * [simplify]: Extracting #4: cost 18 inf + 1106
1.109 * * [simplify]: Extracting #5: cost 0 inf + 3887
1.111 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.111 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.111 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.112 * * [simplify]: iters left: 4 (5 enodes)
1.115 * * [simplify]: iters left: 3 (17 enodes)
1.121 * * [simplify]: iters left: 2 (25 enodes)
1.123 * * [simplify]: Extracting #0: cost 1 inf + 0
1.123 * * [simplify]: Extracting #1: cost 0 inf + 1
1.123 * [simplify]: Simplified to 0
1.123 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.123 * * * * [progress]: [ 6 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
1.123 * [simplify]: Simplifying (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- (* 1 1)))
1.124 * * [simplify]: iters left: 5 (7 enodes)
1.125 * * [simplify]: iters left: 4 (24 enodes)
1.131 * * [simplify]: iters left: 3 (31 enodes)
1.136 * * [simplify]: iters left: 2 (39 enodes)
1.141 * * [simplify]: iters left: 1 (55 enodes)
1.157 * * [simplify]: Extracting #0: cost 1 inf + 0
1.157 * * [simplify]: Extracting #1: cost 11 inf + 0
1.157 * * [simplify]: Extracting #2: cost 21 inf + 2
1.157 * * [simplify]: Extracting #3: cost 20 inf + 3
1.157 * * [simplify]: Extracting #4: cost 11 inf + 823
1.158 * * [simplify]: Extracting #5: cost 1 inf + 2205
1.158 * * [simplify]: Extracting #6: cost 0 inf + 2367
1.159 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.159 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
1.160 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.160 * * [simplify]: iters left: 3 (4 enodes)
1.161 * * [simplify]: iters left: 2 (15 enodes)
1.165 * * [simplify]: iters left: 1 (20 enodes)
1.167 * * [simplify]: Extracting #0: cost 1 inf + 0
1.167 * * [simplify]: Extracting #1: cost 0 inf + 1
1.167 * [simplify]: Simplified to 0
1.167 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.167 * * * * [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.168 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.168 * * [simplify]: iters left: 6 (11 enodes)
1.172 * * [simplify]: iters left: 5 (49 enodes)
1.183 * * [simplify]: iters left: 4 (76 enodes)
1.204 * * [simplify]: iters left: 3 (113 enodes)
1.230 * * [simplify]: iters left: 2 (148 enodes)
1.247 * * [simplify]: iters left: 1 (174 enodes)
1.288 * * [simplify]: Extracting #0: cost 1 inf + 0
1.288 * * [simplify]: Extracting #1: cost 10 inf + 0
1.289 * * [simplify]: Extracting #2: cost 25 inf + 2
1.289 * * [simplify]: Extracting #3: cost 24 inf + 249
1.290 * * [simplify]: Extracting #4: cost 10 inf + 3646
1.292 * * [simplify]: Extracting #5: cost 0 inf + 6673
1.293 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.293 * [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.294 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.294 * * [simplify]: iters left: 6 (6 enodes)
1.300 * * [simplify]: iters left: 5 (25 enodes)
1.313 * * [simplify]: iters left: 4 (37 enodes)
1.320 * * [simplify]: Extracting #0: cost 1 inf + 0
1.320 * * [simplify]: Extracting #1: cost 0 inf + 1
1.320 * [simplify]: Simplified to 0
1.320 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.320 * * * * [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.320 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
1.320 * * [simplify]: iters left: 6 (12 enodes)
1.331 * * [simplify]: iters left: 5 (44 enodes)
1.347 * * [simplify]: iters left: 4 (67 enodes)
1.366 * * [simplify]: iters left: 3 (84 enodes)
1.392 * * [simplify]: iters left: 2 (113 enodes)
1.421 * * [simplify]: iters left: 1 (147 enodes)
1.441 * * [simplify]: Extracting #0: cost 1 inf + 0
1.441 * * [simplify]: Extracting #1: cost 10 inf + 0
1.441 * * [simplify]: Extracting #2: cost 25 inf + 2
1.441 * * [simplify]: Extracting #3: cost 24 inf + 170
1.441 * * [simplify]: Extracting #4: cost 16 inf + 1504
1.442 * * [simplify]: Extracting #5: cost 1 inf + 6386
1.444 * * [simplify]: Extracting #6: cost 0 inf + 6673
1.445 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.445 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.446 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.446 * * [simplify]: iters left: 4 (5 enodes)
1.453 * * [simplify]: iters left: 3 (17 enodes)
1.463 * * [simplify]: iters left: 2 (25 enodes)
1.467 * * [simplify]: Extracting #0: cost 1 inf + 0
1.467 * * [simplify]: Extracting #1: cost 0 inf + 1
1.467 * [simplify]: Simplified to 0
1.467 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.467 * * * * [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.468 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- (* 1 1)))
1.468 * * [simplify]: iters left: 6 (11 enodes)
1.475 * * [simplify]: iters left: 5 (41 enodes)
1.487 * * [simplify]: iters left: 4 (64 enodes)
1.505 * * [simplify]: iters left: 3 (81 enodes)
1.531 * * [simplify]: iters left: 2 (110 enodes)
1.569 * * [simplify]: iters left: 1 (144 enodes)
1.608 * * [simplify]: Extracting #0: cost 1 inf + 0
1.608 * * [simplify]: Extracting #1: cost 10 inf + 0
1.608 * * [simplify]: Extracting #2: cost 25 inf + 2
1.608 * * [simplify]: Extracting #3: cost 24 inf + 170
1.609 * * [simplify]: Extracting #4: cost 13 inf + 2144
1.609 * * [simplify]: Extracting #5: cost 2 inf + 5967
1.610 * * [simplify]: Extracting #6: cost 0 inf + 6673
1.611 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.611 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
1.611 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.612 * * [simplify]: iters left: 3 (4 enodes)
1.613 * * [simplify]: iters left: 2 (15 enodes)
1.617 * * [simplify]: iters left: 1 (20 enodes)
1.619 * * [simplify]: Extracting #0: cost 1 inf + 0
1.619 * * [simplify]: Extracting #1: cost 0 inf + 1
1.619 * [simplify]: Simplified to 0
1.619 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.619 * * * * [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.620 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.620 * * [simplify]: iters left: 6 (10 enodes)
1.623 * * [simplify]: iters left: 5 (43 enodes)
1.632 * * [simplify]: iters left: 4 (54 enodes)
1.642 * * [simplify]: iters left: 3 (64 enodes)
1.655 * * [simplify]: iters left: 2 (73 enodes)
1.672 * * [simplify]: iters left: 1 (99 enodes)
1.692 * * [simplify]: Extracting #0: cost 1 inf + 0
1.692 * * [simplify]: Extracting #1: cost 11 inf + 0
1.692 * * [simplify]: Extracting #2: cost 20 inf + 2
1.692 * * [simplify]: Extracting #3: cost 20 inf + 3
1.692 * * [simplify]: Extracting #4: cost 13 inf + 456
1.693 * * [simplify]: Extracting #5: cost 3 inf + 1719
1.693 * * [simplify]: Extracting #6: cost 0 inf + 2205
1.694 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.694 * [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.695 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.695 * * [simplify]: iters left: 6 (6 enodes)
1.700 * * [simplify]: iters left: 5 (25 enodes)
1.706 * * [simplify]: iters left: 4 (37 enodes)
1.710 * * [simplify]: Extracting #0: cost 1 inf + 0
1.710 * * [simplify]: Extracting #1: cost 0 inf + 1
1.710 * [simplify]: Simplified to 0
1.710 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.710 * * * * [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.710 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
1.710 * * [simplify]: iters left: 6 (11 enodes)
1.717 * * [simplify]: iters left: 5 (38 enodes)
1.725 * * [simplify]: iters left: 4 (46 enodes)
1.730 * * [simplify]: iters left: 3 (56 enodes)
1.737 * * [simplify]: iters left: 2 (66 enodes)
1.746 * * [simplify]: iters left: 1 (92 enodes)
1.777 * * [simplify]: Extracting #0: cost 1 inf + 0
1.777 * * [simplify]: Extracting #1: cost 11 inf + 0
1.777 * * [simplify]: Extracting #2: cost 20 inf + 2
1.777 * * [simplify]: Extracting #3: cost 19 inf + 45
1.778 * * [simplify]: Extracting #4: cost 15 inf + 294
1.778 * * [simplify]: Extracting #5: cost 4 inf + 1638
1.780 * * [simplify]: Extracting #6: cost 0 inf + 2206
1.782 * * [simplify]: Extracting #7: cost 0 inf + 2205
1.782 * [simplify]: Simplified to (+ -1 (/ 1 x))
1.783 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
1.783 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
1.783 * * [simplify]: iters left: 4 (5 enodes)
1.785 * * [simplify]: iters left: 3 (17 enodes)
1.791 * * [simplify]: iters left: 2 (25 enodes)
1.795 * * [simplify]: Extracting #0: cost 1 inf + 0
1.795 * * [simplify]: Extracting #1: cost 0 inf + 1
1.795 * [simplify]: Simplified to 0
1.795 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
1.795 * * * * [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.795 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- (* 1 1)))
1.795 * * [simplify]: iters left: 6 (10 enodes)
1.799 * * [simplify]: iters left: 5 (35 enodes)
1.806 * * [simplify]: iters left: 4 (43 enodes)
1.817 * * [simplify]: iters left: 3 (53 enodes)
1.830 * * [simplify]: iters left: 2 (63 enodes)
1.846 * * [simplify]: iters left: 1 (89 enodes)
1.882 * * [simplify]: Extracting #0: cost 1 inf + 0
1.882 * * [simplify]: Extracting #1: cost 11 inf + 0
1.882 * * [simplify]: Extracting #2: cost 20 inf + 2
1.882 * * [simplify]: Extracting #3: cost 20 inf + 3
1.883 * * [simplify]: Extracting #4: cost 2 inf + 2003
1.885 * * [simplify]: Extracting #5: cost 0 inf + 2205
1.886 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.886 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
1.887 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
1.887 * * [simplify]: iters left: 3 (4 enodes)
1.890 * * [simplify]: iters left: 2 (15 enodes)
1.896 * * [simplify]: iters left: 1 (20 enodes)
1.900 * * [simplify]: Extracting #0: cost 1 inf + 0
1.901 * * [simplify]: Extracting #1: cost 0 inf + 1
1.901 * [simplify]: Simplified to 0
1.901 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.901 * * * * [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.901 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
1.901 * * [simplify]: iters left: 6 (9 enodes)
1.910 * * [simplify]: iters left: 5 (39 enodes)
1.921 * * [simplify]: iters left: 4 (49 enodes)
1.934 * * [simplify]: iters left: 3 (51 enodes)
1.944 * * [simplify]: iters left: 2 (52 enodes)
1.953 * * [simplify]: iters left: 1 (53 enodes)
1.961 * * [simplify]: Extracting #0: cost 1 inf + 0
1.961 * * [simplify]: Extracting #1: cost 5 inf + 0
1.961 * * [simplify]: Extracting #2: cost 5 inf + 2
1.961 * * [simplify]: Extracting #3: cost 1 inf + 170
1.961 * * [simplify]: Extracting #4: cost 0 inf + 253
1.961 * [simplify]: Simplified to (+ (/ 1 x) -1)
1.961 * [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.962 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
1.962 * * [simplify]: iters left: 6 (6 enodes)
1.965 * * [simplify]: iters left: 5 (25 enodes)
1.972 * * [simplify]: iters left: 4 (37 enodes)
1.976 * * [simplify]: Extracting #0: cost 1 inf + 0
1.976 * * [simplify]: Extracting #1: cost 0 inf + 1
1.976 * [simplify]: Simplified to 0
1.976 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
1.976 * * * * [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.976 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* (sqrt 1) (sqrt 1))))
1.977 * * [simplify]: iters left: 6 (10 enodes)
1.981 * * [simplify]: iters left: 5 (33 enodes)
1.986 * * [simplify]: iters left: 4 (40 enodes)
1.992 * * [simplify]: iters left: 3 (41 enodes)
2.001 * * [simplify]: Extracting #0: cost 1 inf + 0
2.001 * * [simplify]: Extracting #1: cost 5 inf + 0
2.001 * * [simplify]: Extracting #2: cost 5 inf + 2
2.001 * * [simplify]: Extracting #3: cost 0 inf + 253
2.001 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.001 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.002 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.002 * * [simplify]: iters left: 4 (5 enodes)
2.007 * * [simplify]: iters left: 3 (17 enodes)
2.014 * * [simplify]: iters left: 2 (25 enodes)
2.016 * * [simplify]: Extracting #0: cost 1 inf + 0
2.016 * * [simplify]: Extracting #1: cost 0 inf + 1
2.016 * [simplify]: Simplified to 0
2.016 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.016 * * * * [progress]: [ 15 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.016 * [simplify]: Simplifying (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- (* 1 1)))
2.017 * * [simplify]: iters left: 6 (9 enodes)
2.020 * * [simplify]: iters left: 5 (30 enodes)
2.024 * * [simplify]: iters left: 4 (37 enodes)
2.028 * * [simplify]: iters left: 3 (38 enodes)
2.032 * * [simplify]: Extracting #0: cost 1 inf + 0
2.032 * * [simplify]: Extracting #1: cost 5 inf + 0
2.032 * * [simplify]: Extracting #2: cost 5 inf + 2
2.032 * * [simplify]: Extracting #3: cost 0 inf + 253
2.032 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.032 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
2.033 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.033 * * [simplify]: iters left: 3 (4 enodes)
2.034 * * [simplify]: iters left: 2 (15 enodes)
2.040 * * [simplify]: iters left: 1 (20 enodes)
2.043 * * [simplify]: Extracting #0: cost 1 inf + 0
2.043 * * [simplify]: Extracting #1: cost 0 inf + 1
2.043 * [simplify]: Simplified to 0
2.043 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.043 * * * * [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))))))))>
2.043 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.043 * * [simplify]: iters left: 6 (12 enodes)
2.050 * * [simplify]: iters left: 5 (49 enodes)
2.059 * * [simplify]: iters left: 4 (65 enodes)
2.072 * * [simplify]: iters left: 3 (85 enodes)
2.085 * * [simplify]: iters left: 2 (107 enodes)
2.097 * * [simplify]: iters left: 1 (113 enodes)
2.121 * * [simplify]: Extracting #0: cost 1 inf + 0
2.121 * * [simplify]: Extracting #1: cost 8 inf + 0
2.122 * * [simplify]: Extracting #2: cost 16 inf + 1
2.122 * * [simplify]: Extracting #3: cost 13 inf + 373
2.122 * * [simplify]: Extracting #4: cost 8 inf + 943
2.123 * * [simplify]: Extracting #5: cost 1 inf + 2640
2.124 * * [simplify]: Extracting #6: cost 0 inf + 2973
2.125 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.125 * [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.125 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.125 * * [simplify]: iters left: 6 (6 enodes)
2.132 * * [simplify]: iters left: 5 (25 enodes)
2.146 * * [simplify]: iters left: 4 (37 enodes)
2.153 * * [simplify]: Extracting #0: cost 1 inf + 0
2.153 * * [simplify]: Extracting #1: cost 0 inf + 1
2.153 * [simplify]: Simplified to 0
2.153 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.153 * * * * [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)))))))>
2.154 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
2.154 * * [simplify]: iters left: 6 (10 enodes)
2.160 * * [simplify]: iters left: 5 (34 enodes)
2.170 * * [simplify]: iters left: 4 (50 enodes)
2.185 * * [simplify]: iters left: 3 (71 enodes)
2.209 * * [simplify]: iters left: 2 (95 enodes)
2.234 * * [simplify]: iters left: 1 (109 enodes)
2.257 * * [simplify]: Extracting #0: cost 1 inf + 0
2.257 * * [simplify]: Extracting #1: cost 9 inf + 0
2.257 * * [simplify]: Extracting #2: cost 15 inf + 2
2.257 * * [simplify]: Extracting #3: cost 14 inf + 252
2.258 * * [simplify]: Extracting #4: cost 8 inf + 944
2.258 * * [simplify]: Extracting #5: cost 3 inf + 1934
2.259 * * [simplify]: Extracting #6: cost 0 inf + 2973
2.260 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.260 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.261 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.261 * * [simplify]: iters left: 4 (5 enodes)
2.265 * * [simplify]: iters left: 3 (17 enodes)
2.273 * * [simplify]: iters left: 2 (25 enodes)
2.275 * * [simplify]: Extracting #0: cost 1 inf + 0
2.275 * * [simplify]: Extracting #1: cost 0 inf + 1
2.275 * [simplify]: Simplified to 0
2.275 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.275 * * * * [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))))))>
2.276 * [simplify]: Simplifying (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- (* 1 1)))
2.276 * * [simplify]: iters left: 6 (10 enodes)
2.280 * * [simplify]: iters left: 5 (34 enodes)
2.285 * * [simplify]: iters left: 4 (50 enodes)
2.293 * * [simplify]: iters left: 3 (71 enodes)
2.310 * * [simplify]: iters left: 2 (95 enodes)
2.335 * * [simplify]: iters left: 1 (109 enodes)
2.357 * * [simplify]: Extracting #0: cost 1 inf + 0
2.357 * * [simplify]: Extracting #1: cost 9 inf + 0
2.358 * * [simplify]: Extracting #2: cost 15 inf + 2
2.358 * * [simplify]: Extracting #3: cost 14 inf + 252
2.358 * * [simplify]: Extracting #4: cost 8 inf + 944
2.359 * * [simplify]: Extracting #5: cost 3 inf + 1934
2.360 * * [simplify]: Extracting #6: cost 0 inf + 2973
2.361 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.361 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
2.361 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.361 * * [simplify]: iters left: 3 (4 enodes)
2.365 * * [simplify]: iters left: 2 (15 enodes)
2.372 * * [simplify]: iters left: 1 (20 enodes)
2.376 * * [simplify]: Extracting #0: cost 1 inf + 0
2.376 * * [simplify]: Extracting #1: cost 0 inf + 1
2.376 * [simplify]: Simplified to 0
2.376 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.376 * * * * [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.377 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.377 * * [simplify]: iters left: 6 (10 enodes)
2.384 * * [simplify]: iters left: 5 (41 enodes)
2.399 * * [simplify]: iters left: 4 (55 enodes)
2.413 * * [simplify]: iters left: 3 (64 enodes)
2.421 * * [simplify]: iters left: 2 (82 enodes)
2.430 * * [simplify]: iters left: 1 (102 enodes)
2.452 * * [simplify]: Extracting #0: cost 1 inf + 0
2.452 * * [simplify]: Extracting #1: cost 11 inf + 0
2.452 * * [simplify]: Extracting #2: cost 20 inf + 2
2.452 * * [simplify]: Extracting #3: cost 15 inf + 294
2.453 * * [simplify]: Extracting #4: cost 3 inf + 1841
2.455 * * [simplify]: Extracting #5: cost 0 inf + 2205
2.456 * [simplify]: Simplified to (+ -1 (/ 1 x))
2.456 * [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.457 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.457 * * [simplify]: iters left: 6 (6 enodes)
2.463 * * [simplify]: iters left: 5 (25 enodes)
2.476 * * [simplify]: iters left: 4 (37 enodes)
2.482 * * [simplify]: Extracting #0: cost 1 inf + 0
2.482 * * [simplify]: Extracting #1: cost 0 inf + 1
2.482 * [simplify]: Simplified to 0
2.483 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
2.483 * * * * [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.483 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
2.483 * * [simplify]: iters left: 6 (8 enodes)
2.489 * * [simplify]: iters left: 5 (27 enodes)
2.497 * * [simplify]: iters left: 4 (40 enodes)
2.509 * * [simplify]: iters left: 3 (51 enodes)
2.527 * * [simplify]: iters left: 2 (78 enodes)
2.562 * * [simplify]: iters left: 1 (130 enodes)
2.586 * * [simplify]: Extracting #0: cost 1 inf + 0
2.586 * * [simplify]: Extracting #1: cost 22 inf + 0
2.586 * * [simplify]: Extracting #2: cost 32 inf + 2
2.587 * * [simplify]: Extracting #3: cost 22 inf + 1054
2.588 * * [simplify]: Extracting #4: cost 2 inf + 4038
2.589 * * [simplify]: Extracting #5: cost 0 inf + 4293
2.591 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.591 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.591 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.591 * * [simplify]: iters left: 4 (5 enodes)
2.594 * * [simplify]: iters left: 3 (17 enodes)
2.600 * * [simplify]: iters left: 2 (25 enodes)
2.605 * * [simplify]: Extracting #0: cost 1 inf + 0
2.605 * * [simplify]: Extracting #1: cost 0 inf + 1
2.605 * [simplify]: Simplified to 0
2.605 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.605 * * * * [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.606 * [simplify]: Simplifying (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- (* 1 1)))
2.606 * * [simplify]: iters left: 5 (8 enodes)
2.611 * * [simplify]: iters left: 4 (27 enodes)
2.620 * * [simplify]: iters left: 3 (40 enodes)
2.634 * * [simplify]: iters left: 2 (51 enodes)
2.650 * * [simplify]: iters left: 1 (78 enodes)
2.687 * * [simplify]: Extracting #0: cost 1 inf + 0
2.687 * * [simplify]: Extracting #1: cost 11 inf + 0
2.687 * * [simplify]: Extracting #2: cost 20 inf + 2
2.687 * * [simplify]: Extracting #3: cost 16 inf + 211
2.688 * * [simplify]: Extracting #4: cost 1 inf + 2165
2.690 * * [simplify]: Extracting #5: cost 0 inf + 2205
2.692 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.692 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
2.693 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.693 * * [simplify]: iters left: 3 (4 enodes)
2.696 * * [simplify]: iters left: 2 (15 enodes)
2.703 * * [simplify]: iters left: 1 (20 enodes)
2.708 * * [simplify]: Extracting #0: cost 1 inf + 0
2.708 * * [simplify]: Extracting #1: cost 0 inf + 1
2.708 * [simplify]: Simplified to 0
2.708 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.708 * * * * [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.708 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.708 * * [simplify]: iters left: 6 (10 enodes)
2.717 * * [simplify]: iters left: 5 (39 enodes)
2.733 * * [simplify]: iters left: 4 (51 enodes)
2.744 * * [simplify]: iters left: 3 (53 enodes)
2.754 * * [simplify]: iters left: 2 (54 enodes)
2.763 * * [simplify]: iters left: 1 (55 enodes)
2.776 * * [simplify]: Extracting #0: cost 1 inf + 0
2.776 * * [simplify]: Extracting #1: cost 5 inf + 0
2.776 * * [simplify]: Extracting #2: cost 5 inf + 2
2.776 * * [simplify]: Extracting #3: cost 4 inf + 3
2.776 * * [simplify]: Extracting #4: cost 1 inf + 170
2.776 * * [simplify]: Extracting #5: cost 0 inf + 253
2.777 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.777 * [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.777 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.777 * * [simplify]: iters left: 6 (6 enodes)
2.783 * * [simplify]: iters left: 5 (25 enodes)
2.794 * * [simplify]: iters left: 4 (37 enodes)
2.799 * * [simplify]: Extracting #0: cost 1 inf + 0
2.799 * * [simplify]: Extracting #1: cost 0 inf + 1
2.800 * [simplify]: Simplified to 0
2.800 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.800 * * * * [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.800 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* (sqrt 1) (sqrt 1))))
2.800 * * [simplify]: iters left: 6 (8 enodes)
2.804 * * [simplify]: iters left: 5 (25 enodes)
2.808 * * [simplify]: iters left: 4 (32 enodes)
2.812 * * [simplify]: iters left: 3 (33 enodes)
2.815 * * [simplify]: Extracting #0: cost 1 inf + 0
2.815 * * [simplify]: Extracting #1: cost 5 inf + 0
2.816 * * [simplify]: Extracting #2: cost 5 inf + 2
2.816 * * [simplify]: Extracting #3: cost 1 inf + 211
2.816 * * [simplify]: Extracting #4: cost 0 inf + 253
2.816 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.816 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
2.816 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
2.816 * * [simplify]: iters left: 4 (5 enodes)
2.819 * * [simplify]: iters left: 3 (17 enodes)
2.824 * * [simplify]: iters left: 2 (25 enodes)
2.826 * * [simplify]: Extracting #0: cost 1 inf + 0
2.826 * * [simplify]: Extracting #1: cost 0 inf + 1
2.826 * [simplify]: Simplified to 0
2.826 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.826 * * * * [progress]: [ 24 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
2.827 * [simplify]: Simplifying (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- (* 1 1)))
2.827 * * [simplify]: iters left: 5 (8 enodes)
2.831 * * [simplify]: iters left: 4 (25 enodes)
2.838 * * [simplify]: iters left: 3 (32 enodes)
2.846 * * [simplify]: iters left: 2 (33 enodes)
2.854 * * [simplify]: Extracting #0: cost 1 inf + 0
2.854 * * [simplify]: Extracting #1: cost 5 inf + 0
2.854 * * [simplify]: Extracting #2: cost 5 inf + 2
2.854 * * [simplify]: Extracting #3: cost 1 inf + 211
2.854 * * [simplify]: Extracting #4: cost 0 inf + 253
2.855 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.855 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
2.855 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
2.855 * * [simplify]: iters left: 3 (4 enodes)
2.858 * * [simplify]: iters left: 2 (15 enodes)
2.865 * * [simplify]: iters left: 1 (20 enodes)
2.869 * * [simplify]: Extracting #0: cost 1 inf + 0
2.869 * * [simplify]: Extracting #1: cost 0 inf + 1
2.869 * [simplify]: Simplified to 0
2.870 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.870 * * * * [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.870 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
2.870 * * [simplify]: iters left: 6 (11 enodes)
2.884 * * [simplify]: iters left: 5 (46 enodes)
2.893 * * [simplify]: iters left: 4 (61 enodes)
2.901 * * [simplify]: iters left: 3 (73 enodes)
2.914 * * [simplify]: iters left: 2 (87 enodes)
2.937 * * [simplify]: iters left: 1 (95 enodes)
2.952 * * [simplify]: Extracting #0: cost 1 inf + 0
2.952 * * [simplify]: Extracting #1: cost 9 inf + 0
2.952 * * [simplify]: Extracting #2: cost 16 inf + 2
2.953 * * [simplify]: Extracting #3: cost 18 inf + 46
2.953 * * [simplify]: Extracting #4: cost 9 inf + 1326
2.953 * * [simplify]: Extracting #5: cost 1 inf + 3013
2.954 * * [simplify]: Extracting #6: cost 0 inf + 3346
2.954 * [simplify]: Simplified to (+ (/ 1 x) -1)
2.954 * [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.954 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
2.955 * * [simplify]: iters left: 6 (6 enodes)
2.958 * * [simplify]: iters left: 5 (25 enodes)
2.965 * * [simplify]: iters left: 4 (37 enodes)
2.969 * * [simplify]: Extracting #0: cost 1 inf + 0
2.969 * * [simplify]: Extracting #1: cost 0 inf + 1
2.969 * [simplify]: Simplified to 0
2.969 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
2.969 * * * * [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.969 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* (sqrt 1) (sqrt 1))))
2.970 * * [simplify]: iters left: 6 (10 enodes)
2.977 * * [simplify]: iters left: 5 (34 enodes)
2.987 * * [simplify]: iters left: 4 (47 enodes)
3.003 * * [simplify]: iters left: 3 (59 enodes)
3.022 * * [simplify]: iters left: 2 (75 enodes)
3.044 * * [simplify]: iters left: 1 (89 enodes)
3.067 * * [simplify]: Extracting #0: cost 1 inf + 0
3.067 * * [simplify]: Extracting #1: cost 9 inf + 0
3.067 * * [simplify]: Extracting #2: cost 16 inf + 2
3.067 * * [simplify]: Extracting #3: cost 19 inf + 4
3.068 * * [simplify]: Extracting #4: cost 12 inf + 829
3.069 * * [simplify]: Extracting #5: cost 1 inf + 3013
3.069 * * [simplify]: Extracting #6: cost 0 inf + 3346
3.070 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.070 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.071 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.071 * * [simplify]: iters left: 4 (5 enodes)
3.076 * * [simplify]: iters left: 3 (17 enodes)
3.085 * * [simplify]: iters left: 2 (25 enodes)
3.089 * * [simplify]: Extracting #0: cost 1 inf + 0
3.089 * * [simplify]: Extracting #1: cost 0 inf + 1
3.090 * [simplify]: Simplified to 0
3.090 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.090 * * * * [progress]: [ 27 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.090 * [simplify]: Simplifying (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- (* 1 1)))
3.090 * * [simplify]: iters left: 6 (9 enodes)
3.095 * * [simplify]: iters left: 5 (31 enodes)
3.105 * * [simplify]: iters left: 4 (44 enodes)
3.118 * * [simplify]: iters left: 3 (56 enodes)
3.127 * * [simplify]: iters left: 2 (72 enodes)
3.140 * * [simplify]: iters left: 1 (86 enodes)
3.153 * * [simplify]: Extracting #0: cost 1 inf + 0
3.153 * * [simplify]: Extracting #1: cost 9 inf + 0
3.153 * * [simplify]: Extracting #2: cost 16 inf + 2
3.153 * * [simplify]: Extracting #3: cost 18 inf + 46
3.154 * * [simplify]: Extracting #4: cost 10 inf + 782
3.154 * * [simplify]: Extracting #5: cost 4 inf + 1894
3.155 * * [simplify]: Extracting #6: cost 0 inf + 3346
3.156 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.156 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.157 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.157 * * [simplify]: iters left: 3 (4 enodes)
3.160 * * [simplify]: iters left: 2 (15 enodes)
3.167 * * [simplify]: iters left: 1 (20 enodes)
3.171 * * [simplify]: Extracting #0: cost 1 inf + 0
3.171 * * [simplify]: Extracting #1: cost 0 inf + 1
3.171 * [simplify]: Simplified to 0
3.171 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.172 * * * * [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))))))))>
3.172 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.172 * * [simplify]: iters left: 6 (9 enodes)
3.180 * * [simplify]: iters left: 5 (38 enodes)
3.193 * * [simplify]: iters left: 4 (52 enodes)
3.205 * * [simplify]: iters left: 3 (61 enodes)
3.220 * * [simplify]: iters left: 2 (79 enodes)
3.239 * * [simplify]: iters left: 1 (99 enodes)
3.263 * * [simplify]: Extracting #0: cost 1 inf + 0
3.263 * * [simplify]: Extracting #1: cost 11 inf + 0
3.263 * * [simplify]: Extracting #2: cost 20 inf + 2
3.264 * * [simplify]: Extracting #3: cost 18 inf + 128
3.264 * * [simplify]: Extracting #4: cost 11 inf + 621
3.264 * * [simplify]: Extracting #5: cost 3 inf + 1759
3.265 * * [simplify]: Extracting #6: cost 0 inf + 2205
3.266 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.266 * [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.266 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.266 * * [simplify]: iters left: 6 (6 enodes)
3.270 * * [simplify]: iters left: 5 (25 enodes)
3.276 * * [simplify]: iters left: 4 (37 enodes)
3.280 * * [simplify]: Extracting #0: cost 1 inf + 0
3.280 * * [simplify]: Extracting #1: cost 0 inf + 1
3.280 * [simplify]: Simplified to 0
3.280 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.280 * * * * [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)))))))>
3.280 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* (sqrt 1) (sqrt 1))))
3.280 * * [simplify]: iters left: 6 (8 enodes)
3.283 * * [simplify]: iters left: 5 (27 enodes)
3.288 * * [simplify]: iters left: 4 (40 enodes)
3.297 * * [simplify]: iters left: 3 (51 enodes)
3.312 * * [simplify]: iters left: 2 (78 enodes)
3.348 * * [simplify]: iters left: 1 (130 enodes)
3.398 * * [simplify]: Extracting #0: cost 1 inf + 0
3.399 * * [simplify]: Extracting #1: cost 22 inf + 0
3.399 * * [simplify]: Extracting #2: cost 32 inf + 2
3.399 * * [simplify]: Extracting #3: cost 32 inf + 3
3.400 * * [simplify]: Extracting #4: cost 17 inf + 1725
3.403 * * [simplify]: Extracting #5: cost 0 inf + 4414
3.406 * * [simplify]: Extracting #6: cost 0 inf + 4343
3.408 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.408 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.409 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.409 * * [simplify]: iters left: 4 (5 enodes)
3.413 * * [simplify]: iters left: 3 (17 enodes)
3.422 * * [simplify]: iters left: 2 (25 enodes)
3.427 * * [simplify]: Extracting #0: cost 1 inf + 0
3.427 * * [simplify]: Extracting #1: cost 0 inf + 1
3.427 * [simplify]: Simplified to 0
3.427 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.427 * * * * [progress]: [ 30 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.427 * [simplify]: Simplifying (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- (* 1 1)))
3.428 * * [simplify]: iters left: 5 (7 enodes)
3.431 * * [simplify]: iters left: 4 (24 enodes)
3.439 * * [simplify]: iters left: 3 (37 enodes)
3.451 * * [simplify]: iters left: 2 (48 enodes)
3.465 * * [simplify]: iters left: 1 (75 enodes)
3.500 * * [simplify]: Extracting #0: cost 1 inf + 0
3.500 * * [simplify]: Extracting #1: cost 11 inf + 0
3.500 * * [simplify]: Extracting #2: cost 20 inf + 2
3.500 * * [simplify]: Extracting #3: cost 19 inf + 45
3.501 * * [simplify]: Extracting #4: cost 9 inf + 945
3.502 * * [simplify]: Extracting #5: cost 2 inf + 1921
3.503 * * [simplify]: Extracting #6: cost 0 inf + 2205
3.504 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.504 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.504 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.504 * * [simplify]: iters left: 3 (4 enodes)
3.506 * * [simplify]: iters left: 2 (15 enodes)
3.511 * * [simplify]: iters left: 1 (20 enodes)
3.514 * * [simplify]: Extracting #0: cost 1 inf + 0
3.514 * * [simplify]: Extracting #1: cost 0 inf + 1
3.514 * [simplify]: Simplified to 0
3.514 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.514 * * * * [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))))))))>
3.514 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.514 * * [simplify]: iters left: 6 (9 enodes)
3.518 * * [simplify]: iters left: 5 (36 enodes)
3.526 * * [simplify]: iters left: 4 (48 enodes)
3.531 * * [simplify]: iters left: 3 (50 enodes)
3.536 * * [simplify]: iters left: 2 (51 enodes)
3.541 * * [simplify]: iters left: 1 (52 enodes)
3.547 * * [simplify]: Extracting #0: cost 1 inf + 0
3.547 * * [simplify]: Extracting #1: cost 5 inf + 0
3.547 * * [simplify]: Extracting #2: cost 5 inf + 2
3.547 * * [simplify]: Extracting #3: cost 0 inf + 253
3.547 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.547 * [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.547 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.547 * * [simplify]: iters left: 6 (6 enodes)
3.551 * * [simplify]: iters left: 5 (25 enodes)
3.563 * * [simplify]: iters left: 4 (37 enodes)
3.567 * * [simplify]: Extracting #0: cost 1 inf + 0
3.567 * * [simplify]: Extracting #1: cost 0 inf + 1
3.567 * [simplify]: Simplified to 0
3.567 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.567 * * * * [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.567 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.567 * * [simplify]: iters left: 6 (8 enodes)
3.571 * * [simplify]: iters left: 5 (25 enodes)
3.575 * * [simplify]: iters left: 4 (32 enodes)
3.580 * * [simplify]: iters left: 3 (33 enodes)
3.584 * * [simplify]: Extracting #0: cost 1 inf + 0
3.584 * * [simplify]: Extracting #1: cost 5 inf + 0
3.584 * * [simplify]: Extracting #2: cost 5 inf + 2
3.584 * * [simplify]: Extracting #3: cost 1 inf + 170
3.584 * * [simplify]: Extracting #4: cost 0 inf + 253
3.584 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.584 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.584 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.584 * * [simplify]: iters left: 4 (5 enodes)
3.587 * * [simplify]: iters left: 3 (17 enodes)
3.592 * * [simplify]: iters left: 2 (25 enodes)
3.595 * * [simplify]: Extracting #0: cost 1 inf + 0
3.595 * * [simplify]: Extracting #1: cost 0 inf + 1
3.595 * [simplify]: Simplified to 0
3.595 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.595 * * * * [progress]: [ 33 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma (/ 1 1) (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.595 * [simplify]: Simplifying (fma (/ 1 1) (/ 1 x) (- (* 1 1)))
3.595 * * [simplify]: iters left: 5 (7 enodes)
3.600 * * [simplify]: iters left: 4 (22 enodes)
3.609 * * [simplify]: iters left: 3 (29 enodes)
3.616 * * [simplify]: iters left: 2 (30 enodes)
3.623 * * [simplify]: Extracting #0: cost 1 inf + 0
3.623 * * [simplify]: Extracting #1: cost 5 inf + 0
3.623 * * [simplify]: Extracting #2: cost 5 inf + 2
3.623 * * [simplify]: Extracting #3: cost 1 inf + 170
3.624 * * [simplify]: Extracting #4: cost 0 inf + 253
3.624 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.624 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ (/ 1 x) -1) (fma (- 1) 1 (* 1 1))))))
3.624 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.624 * * [simplify]: iters left: 3 (4 enodes)
3.627 * * [simplify]: iters left: 2 (15 enodes)
3.634 * * [simplify]: iters left: 1 (20 enodes)
3.638 * * [simplify]: Extracting #0: cost 1 inf + 0
3.638 * * [simplify]: Extracting #1: cost 0 inf + 1
3.638 * [simplify]: Simplified to 0
3.638 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.638 * * * * [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.638 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.638 * * [simplify]: iters left: 6 (8 enodes)
3.648 * * [simplify]: iters left: 5 (36 enodes)
3.657 * * [simplify]: iters left: 4 (41 enodes)
3.667 * * [simplify]: Extracting #0: cost 1 inf + 0
3.667 * * [simplify]: Extracting #1: cost 5 inf + 0
3.667 * * [simplify]: Extracting #2: cost 5 inf + 2
3.667 * * [simplify]: Extracting #3: cost 0 inf + 253
3.667 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.667 * [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.668 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.668 * * [simplify]: iters left: 6 (6 enodes)
3.674 * * [simplify]: iters left: 5 (25 enodes)
3.685 * * [simplify]: iters left: 4 (37 enodes)
3.692 * * [simplify]: Extracting #0: cost 1 inf + 0
3.692 * * [simplify]: Extracting #1: cost 0 inf + 1
3.692 * [simplify]: Simplified to 0
3.692 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.692 * * * * [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.693 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.693 * * [simplify]: iters left: 6 (7 enodes)
3.698 * * [simplify]: iters left: 5 (24 enodes)
3.705 * * [simplify]: iters left: 4 (29 enodes)
3.713 * * [simplify]: iters left: 3 (30 enodes)
3.720 * * [simplify]: iters left: 2 (31 enodes)
3.728 * * [simplify]: Extracting #0: cost 1 inf + 0
3.728 * * [simplify]: Extracting #1: cost 5 inf + 0
3.728 * * [simplify]: Extracting #2: cost 5 inf + 2
3.728 * * [simplify]: Extracting #3: cost 1 inf + 170
3.728 * * [simplify]: Extracting #4: cost 0 inf + 253
3.728 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.729 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.729 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.729 * * [simplify]: iters left: 4 (5 enodes)
3.734 * * [simplify]: iters left: 3 (17 enodes)
3.744 * * [simplify]: iters left: 2 (25 enodes)
3.748 * * [simplify]: Extracting #0: cost 1 inf + 0
3.748 * * [simplify]: Extracting #1: cost 0 inf + 1
3.748 * [simplify]: Simplified to 0
3.748 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.748 * * * * [progress]: [ 36 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.749 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* 1 1)))
3.749 * * [simplify]: iters left: 5 (6 enodes)
3.753 * * [simplify]: iters left: 4 (21 enodes)
3.762 * * [simplify]: iters left: 3 (26 enodes)
3.770 * * [simplify]: iters left: 2 (27 enodes)
3.777 * * [simplify]: iters left: 1 (28 enodes)
3.784 * * [simplify]: Extracting #0: cost 1 inf + 0
3.784 * * [simplify]: Extracting #1: cost 5 inf + 0
3.784 * * [simplify]: Extracting #2: cost 5 inf + 2
3.785 * * [simplify]: Extracting #3: cost 0 inf + 253
3.785 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.785 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.785 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.785 * * [simplify]: iters left: 3 (4 enodes)
3.789 * * [simplify]: iters left: 2 (15 enodes)
3.796 * * [simplify]: iters left: 1 (20 enodes)
3.800 * * [simplify]: Extracting #0: cost 1 inf + 0
3.800 * * [simplify]: Extracting #1: cost 0 inf + 1
3.800 * [simplify]: Simplified to 0
3.800 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.800 * * * * [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.800 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (cbrt 1) (* (cbrt 1) (cbrt 1)))))
3.801 * * [simplify]: iters left: 6 (8 enodes)
3.811 * * [simplify]: iters left: 5 (36 enodes)
3.820 * * [simplify]: iters left: 4 (41 enodes)
3.831 * * [simplify]: Extracting #0: cost 1 inf + 0
3.831 * * [simplify]: Extracting #1: cost 5 inf + 0
3.831 * * [simplify]: Extracting #2: cost 5 inf + 2
3.831 * * [simplify]: Extracting #3: cost 0 inf + 253
3.831 * [simplify]: Simplified to (+ (/ 1 x) -1)
3.832 * [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.832 * [simplify]: Simplifying (fma (- (cbrt 1)) (* (cbrt 1) (cbrt 1)) (* (cbrt 1) (* (cbrt 1) (cbrt 1))))
3.832 * * [simplify]: iters left: 6 (6 enodes)
3.836 * * [simplify]: iters left: 5 (25 enodes)
3.843 * * [simplify]: iters left: 4 (37 enodes)
3.847 * * [simplify]: Extracting #0: cost 1 inf + 0
3.847 * * [simplify]: Extracting #1: cost 0 inf + 1
3.847 * [simplify]: Simplified to 0
3.847 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ (/ 1 x) -1) 0))))
3.847 * * * * [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.847 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* (sqrt 1) (sqrt 1))))
3.847 * * [simplify]: iters left: 6 (7 enodes)
3.850 * * [simplify]: iters left: 5 (24 enodes)
3.854 * * [simplify]: iters left: 4 (29 enodes)
3.858 * * [simplify]: iters left: 3 (30 enodes)
3.862 * * [simplify]: iters left: 2 (31 enodes)
3.866 * * [simplify]: Extracting #0: cost 1 inf + 0
3.866 * * [simplify]: Extracting #1: cost 5 inf + 0
3.866 * * [simplify]: Extracting #2: cost 5 inf + 2
3.867 * * [simplify]: Extracting #3: cost 1 inf + 170
3.867 * * [simplify]: Extracting #4: cost 0 inf + 253
3.867 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.867 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))))))
3.867 * [simplify]: Simplifying (fma (- (sqrt 1)) (sqrt 1) (* (sqrt 1) (sqrt 1)))
3.867 * * [simplify]: iters left: 4 (5 enodes)
3.870 * * [simplify]: iters left: 3 (17 enodes)
3.875 * * [simplify]: iters left: 2 (25 enodes)
3.877 * * [simplify]: Extracting #0: cost 1 inf + 0
3.878 * * [simplify]: Extracting #1: cost 0 inf + 1
3.878 * [simplify]: Simplified to 0
3.878 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.878 * * * * [progress]: [ 39 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (fma 1 (/ 1 x) (- (* 1 1))) (fma (- 1) 1 (* 1 1))))))>
3.878 * [simplify]: Simplifying (fma 1 (/ 1 x) (- (* 1 1)))
3.878 * * [simplify]: iters left: 5 (6 enodes)
3.880 * * [simplify]: iters left: 4 (21 enodes)
3.885 * * [simplify]: iters left: 3 (26 enodes)
3.892 * * [simplify]: iters left: 2 (27 enodes)
3.899 * * [simplify]: iters left: 1 (28 enodes)
3.906 * * [simplify]: Extracting #0: cost 1 inf + 0
3.906 * * [simplify]: Extracting #1: cost 5 inf + 0
3.906 * * [simplify]: Extracting #2: cost 5 inf + 2
3.906 * * [simplify]: Extracting #3: cost 0 inf + 253
3.907 * [simplify]: Simplified to (+ -1 (/ 1 x))
3.907 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) (fma (- 1) 1 (* 1 1))))))
3.907 * [simplify]: Simplifying (fma (- 1) 1 (* 1 1))
3.907 * * [simplify]: iters left: 3 (4 enodes)
3.910 * * [simplify]: iters left: 2 (15 enodes)
3.917 * * [simplify]: iters left: 1 (20 enodes)
3.920 * * [simplify]: Extracting #0: cost 1 inf + 0
3.920 * * [simplify]: Extracting #1: cost 0 inf + 1
3.920 * [simplify]: Simplified to 0
3.920 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (+ (+ -1 (/ 1 x)) 0))))
3.920 * * * * [progress]: [ 40 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log1p (expm1 (- (/ 1 x) 1))))))>
3.920 * * * * [progress]: [ 41 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log1p (- (/ 1 x) 1))))))>
3.920 * * * * [progress]: [ 42 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log x))))))>
3.920 * [simplify]: Simplifying (- (log x))
3.920 * * [simplify]: iters left: 3 (3 enodes)
3.921 * * [simplify]: iters left: 2 (9 enodes)
3.922 * * [simplify]: Extracting #0: cost 1 inf + 0
3.923 * * [simplify]: Extracting #1: cost 3 inf + 0
3.923 * * [simplify]: Extracting #2: cost 5 inf + 0
3.923 * * [simplify]: Extracting #3: cost 4 inf + 1
3.923 * * [simplify]: Extracting #4: cost 0 inf + 365
3.923 * [simplify]: Simplified to (- (log x))
3.923 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.923 * * * * [progress]: [ 43 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- 0 (log x))))))>
3.923 * [simplify]: Simplifying (- 0 (log x))
3.923 * * [simplify]: iters left: 3 (4 enodes)
3.924 * * [simplify]: iters left: 2 (14 enodes)
3.927 * * [simplify]: iters left: 1 (18 enodes)
3.929 * * [simplify]: Extracting #0: cost 1 inf + 0
3.930 * * [simplify]: Extracting #1: cost 5 inf + 0
3.930 * * [simplify]: Extracting #2: cost 6 inf + 1
3.930 * * [simplify]: Extracting #3: cost 0 inf + 478
3.930 * [simplify]: Simplified to (- (log x))
3.930 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.930 * * * * [progress]: [ 44 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (- (log 1) (log x))))))>
3.930 * [simplify]: Simplifying (- (log 1) (log x))
3.930 * * [simplify]: iters left: 3 (5 enodes)
3.932 * * [simplify]: iters left: 2 (19 enodes)
3.935 * * [simplify]: Extracting #0: cost 1 inf + 0
3.935 * * [simplify]: Extracting #1: cost 4 inf + 0
3.935 * * [simplify]: Extracting #2: cost 5 inf + 1
3.935 * * [simplify]: Extracting #3: cost 4 inf + 2
3.935 * * [simplify]: Extracting #4: cost 1 inf + 295
3.935 * * [simplify]: Extracting #5: cost 0 inf + 366
3.935 * [simplify]: Simplified to (- (log x))
3.936 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.936 * * * * [progress]: [ 45 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (expm1 (log (/ 1 x))))))>
3.936 * [simplify]: Simplifying (log (/ 1 x))
3.936 * * [simplify]: iters left: 3 (4 enodes)
3.937 * * [simplify]: iters left: 2 (18 enodes)
3.940 * * [simplify]: iters left: 1 (22 enodes)
3.943 * * [simplify]: Extracting #0: cost 1 inf + 0
3.944 * * [simplify]: Extracting #1: cost 5 inf + 0
3.944 * * [simplify]: Extracting #2: cost 8 inf + 1
3.944 * * [simplify]: Extracting #3: cost 5 inf + 74
3.944 * * [simplify]: Extracting #4: cost 0 inf + 451
3.944 * [simplify]: Simplified to (- (log x))
3.944 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (expm1 (- (log x))))))
3.944 * * * * [progress]: [ 46 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))>
3.944 * [simplify]: Simplifying (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
3.944 * * [simplify]: iters left: 5 (5 enodes)
3.946 * * [simplify]: iters left: 4 (17 enodes)
3.948 * * [simplify]: iters left: 3 (19 enodes)
3.951 * * [simplify]: Extracting #0: cost 1 inf + 0
3.951 * * [simplify]: Extracting #1: cost 3 inf + 0
3.951 * * [simplify]: Extracting #2: cost 5 inf + 0
3.951 * * [simplify]: Extracting #3: cost 8 inf + 0
3.951 * * [simplify]: Extracting #4: cost 6 inf + 2
3.952 * * [simplify]: Extracting #5: cost 0 inf + 654
3.952 * [simplify]: Simplified to (* (cbrt (/ 1 x)) (cbrt (/ 1 x)))
3.952 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (* (cbrt (/ 1 x)) (cbrt (/ 1 x))) (cbrt (/ 1 x)) (- 1)))))
3.952 * * * * [progress]: [ 47 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))>
3.952 * [simplify]: Simplifying (sqrt (/ 1 x))
3.952 * * [simplify]: iters left: 3 (4 enodes)
3.953 * * [simplify]: iters left: 2 (14 enodes)
3.955 * * [simplify]: iters left: 1 (16 enodes)
3.958 * * [simplify]: Extracting #0: cost 1 inf + 0
3.958 * * [simplify]: Extracting #1: cost 3 inf + 0
3.958 * * [simplify]: Extracting #2: cost 6 inf + 0
3.958 * * [simplify]: Extracting #3: cost 2 inf + 86
3.958 * * [simplify]: Extracting #4: cost 1 inf + 168
3.958 * * [simplify]: Extracting #5: cost 0 inf + 250
3.958 * [simplify]: Simplified to (sqrt (/ 1 x))
3.958 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (sqrt (/ 1 x)) (sqrt (/ 1 x)) (- 1)))))
3.958 * * * * [progress]: [ 48 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))>
3.958 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) (* (cbrt x) (cbrt x)))
3.958 * * [simplify]: iters left: 5 (7 enodes)
3.961 * * [simplify]: iters left: 4 (29 enodes)
3.966 * * [simplify]: iters left: 3 (45 enodes)
3.973 * * [simplify]: iters left: 2 (71 enodes)
3.995 * * [simplify]: iters left: 1 (76 enodes)
4.006 * * [simplify]: Extracting #0: cost 1 inf + 0
4.006 * * [simplify]: Extracting #1: cost 6 inf + 0
4.006 * * [simplify]: Extracting #2: cost 9 inf + 1
4.006 * * [simplify]: Extracting #3: cost 0 inf + 974
4.007 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
4.007 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ (cbrt 1) (cbrt x)) (- 1)))))
4.007 * * * * [progress]: [ 49 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))>
4.007 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) (sqrt x))
4.007 * * [simplify]: iters left: 5 (6 enodes)
4.011 * * [simplify]: iters left: 4 (22 enodes)
4.018 * * [simplify]: iters left: 3 (24 enodes)
4.024 * * [simplify]: Extracting #0: cost 1 inf + 0
4.024 * * [simplify]: Extracting #1: cost 4 inf + 0
4.024 * * [simplify]: Extracting #2: cost 5 inf + 1
4.024 * * [simplify]: Extracting #3: cost 2 inf + 125
4.024 * * [simplify]: Extracting #4: cost 0 inf + 248
4.025 * [simplify]: Simplified to (/ 1 (sqrt x))
4.025 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (cbrt 1) (sqrt x)) (- 1)))))
4.025 * * * * [progress]: [ 50 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (* (cbrt 1) (cbrt 1)) 1) (/ (cbrt 1) x) (- 1)))))>
4.025 * [simplify]: Simplifying (/ (* (cbrt 1) (cbrt 1)) 1)
4.025 * * [simplify]: iters left: 5 (4 enodes)
4.032 * * [simplify]: iters left: 4 (14 enodes)
4.035 * * [simplify]: iters left: 3 (16 enodes)
4.039 * * [simplify]: Extracting #0: cost 1 inf + 0
4.039 * * [simplify]: Extracting #1: cost 0 inf + 1
4.039 * [simplify]: Simplified to 1
4.039 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ (cbrt 1) x) (- 1)))))
4.039 * * * * [progress]: [ 51 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))>
4.039 * [simplify]: Simplifying (/ (sqrt 1) (* (cbrt x) (cbrt x)))
4.039 * * [simplify]: iters left: 5 (6 enodes)
4.043 * * [simplify]: iters left: 4 (22 enodes)
4.050 * * [simplify]: iters left: 3 (29 enodes)
4.058 * * [simplify]: iters left: 2 (31 enodes)
4.066 * * [simplify]: Extracting #0: cost 1 inf + 0
4.066 * * [simplify]: Extracting #1: cost 7 inf + 0
4.066 * * [simplify]: Extracting #2: cost 11 inf + 1
4.066 * * [simplify]: Extracting #3: cost 10 inf + 2
4.067 * * [simplify]: Extracting #4: cost 2 inf + 935
4.067 * * [simplify]: Extracting #5: cost 0 inf + 1218
4.067 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
4.067 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ (sqrt 1) (cbrt x)) (- 1)))))
4.067 * * * * [progress]: [ 52 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))>
4.068 * [simplify]: Simplifying (/ (sqrt 1) (sqrt x))
4.068 * * [simplify]: iters left: 3 (5 enodes)
4.072 * * [simplify]: iters left: 2 (17 enodes)
4.077 * * [simplify]: iters left: 1 (19 enodes)
4.082 * * [simplify]: Extracting #0: cost 1 inf + 0
4.082 * * [simplify]: Extracting #1: cost 4 inf + 0
4.082 * * [simplify]: Extracting #2: cost 5 inf + 1
4.083 * * [simplify]: Extracting #3: cost 0 inf + 248
4.083 * [simplify]: Simplified to (/ 1 (sqrt x))
4.083 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ (sqrt 1) (sqrt x)) (- 1)))))
4.083 * * * * [progress]: [ 53 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ (sqrt 1) 1) (/ (sqrt 1) x) (- 1)))))>
4.083 * [simplify]: Simplifying (/ (sqrt 1) 1)
4.083 * * [simplify]: iters left: 3 (3 enodes)
4.086 * * [simplify]: iters left: 2 (9 enodes)
4.089 * * [simplify]: iters left: 1 (11 enodes)
4.092 * * [simplify]: Extracting #0: cost 1 inf + 0
4.092 * * [simplify]: Extracting #1: cost 0 inf + 1
4.092 * [simplify]: Simplified to 1
4.092 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ (sqrt 1) x) (- 1)))))
4.092 * * * * [progress]: [ 54 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))>
4.092 * [simplify]: Simplifying (/ 1 (* (cbrt x) (cbrt x)))
4.092 * * [simplify]: iters left: 5 (5 enodes)
4.095 * * [simplify]: iters left: 4 (19 enodes)
4.101 * * [simplify]: iters left: 3 (23 enodes)
4.108 * * [simplify]: Extracting #0: cost 1 inf + 0
4.108 * * [simplify]: Extracting #1: cost 6 inf + 0
4.108 * * [simplify]: Extracting #2: cost 9 inf + 1
4.108 * * [simplify]: Extracting #3: cost 1 inf + 852
4.108 * * [simplify]: Extracting #4: cost 0 inf + 974
4.109 * [simplify]: Simplified to (/ 1 (* (cbrt x) (cbrt x)))
4.109 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (* (cbrt x) (cbrt x))) (/ 1 (cbrt x)) (- 1)))))
4.109 * * * * [progress]: [ 55 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))>
4.109 * [simplify]: Simplifying (/ 1 (sqrt x))
4.109 * * [simplify]: iters left: 3 (4 enodes)
4.111 * * [simplify]: iters left: 2 (14 enodes)
4.116 * * [simplify]: iters left: 1 (16 enodes)
4.121 * * [simplify]: Extracting #0: cost 1 inf + 0
4.121 * * [simplify]: Extracting #1: cost 4 inf + 0
4.121 * * [simplify]: Extracting #2: cost 5 inf + 1
4.121 * * [simplify]: Extracting #3: cost 3 inf + 43
4.121 * * [simplify]: Extracting #4: cost 1 inf + 166
4.121 * * [simplify]: Extracting #5: cost 0 inf + 248
4.121 * [simplify]: Simplified to (/ 1 (sqrt x))
4.121 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma (/ 1 (sqrt x)) (/ 1 (sqrt x)) (- 1)))))
4.121 * * * * [progress]: [ 56 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma (/ 1 1) (/ 1 x) (- 1)))))>
4.122 * [simplify]: Simplifying (/ 1 1)
4.122 * * [simplify]: iters left: 2 (2 enodes)
4.123 * * [simplify]: iters left: 1 (6 enodes)
4.125 * * [simplify]: Extracting #0: cost 1 inf + 0
4.125 * * [simplify]: Extracting #1: cost 0 inf + 1
4.125 * [simplify]: Simplified to 1
4.125 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))
4.125 * * * * [progress]: [ 57 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
4.125 * * * * [progress]: [ 58 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (fma 1 (/ 1 x) (- 1)))))>
4.125 * * * * [progress]: [ 59 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log (/ (exp (/ 1 x)) (exp 1))))))>
4.126 * [simplify]: Simplifying (/ (exp (/ 1 x)) (exp 1))
4.126 * * [simplify]: iters left: 5 (6 enodes)
4.129 * * [simplify]: iters left: 4 (21 enodes)
4.136 * * [simplify]: iters left: 3 (28 enodes)
4.148 * * [simplify]: iters left: 2 (32 enodes)
4.159 * * [simplify]: iters left: 1 (35 enodes)
4.169 * * [simplify]: Extracting #0: cost 1 inf + 0
4.169 * * [simplify]: Extracting #1: cost 7 inf + 0
4.169 * * [simplify]: Extracting #2: cost 12 inf + 1
4.169 * * [simplify]: Extracting #3: cost 10 inf + 145
4.169 * * [simplify]: Extracting #4: cost 9 inf + 146
4.170 * * [simplify]: Extracting #5: cost 1 inf + 853
4.170 * * [simplify]: Extracting #6: cost 0 inf + 1005
4.171 * [simplify]: Simplified to (exp (- (/ 1 x) 1))
4.171 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))
4.171 * * * * [progress]: [ 60 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (pow (- (/ 1 x) 1) 1))))>
4.171 * * * * [progress]: [ 61 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (exp (log (- (/ 1 x) 1))))))>
4.171 * * * * [progress]: [ 62 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (log (exp (- (/ 1 x) 1))))))>
4.171 * * * * [progress]: [ 63 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (* (cbrt (- (/ 1 x) 1)) (cbrt (- (/ 1 x) 1))) (cbrt (- (/ 1 x) 1))))))>
4.171 * * * * [progress]: [ 64 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (cbrt (* (* (- (/ 1 x) 1) (- (/ 1 x) 1)) (- (/ 1 x) 1))))))>
4.171 * * * * [progress]: [ 65 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (sqrt (- (/ 1 x) 1)) (sqrt (- (/ 1 x) 1))))))>
4.171 * * * * [progress]: [ 66 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (pow (/ 1 x) 3) (pow 1 3)) (+ (* (/ 1 x) (/ 1 x)) (+ (* 1 1) (* (/ 1 x) 1)))))))>
4.171 * * * * [progress]: [ 67 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
4.171 * * * * [progress]: [ 68 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
4.171 * * * * [progress]: [ 69 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (/ (- (* (/ 1 x) (/ 1 x)) (* 1 1)) (+ (/ 1 x) 1)))))>
4.171 * * * * [progress]: [ 70 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) (sqrt 1))))))>
4.172 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) (sqrt 1))
4.172 * * [simplify]: iters left: 5 (6 enodes)
4.176 * * [simplify]: iters left: 4 (21 enodes)
4.182 * * [simplify]: iters left: 3 (23 enodes)
4.189 * * [simplify]: Extracting #0: cost 1 inf + 0
4.189 * * [simplify]: Extracting #1: cost 4 inf + 0
4.189 * * [simplify]: Extracting #2: cost 5 inf + 1
4.189 * * [simplify]: Extracting #3: cost 7 inf + 1
4.189 * * [simplify]: Extracting #4: cost 6 inf + 2
4.189 * * [simplify]: Extracting #5: cost 0 inf + 494
4.189 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
4.189 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) (sqrt 1))))))
4.190 * [simplify]: Simplifying (- (sqrt (/ 1 x)) (sqrt 1))
4.190 * * [simplify]: iters left: 5 (6 enodes)
4.195 * * [simplify]: iters left: 4 (23 enodes)
4.203 * * [simplify]: iters left: 3 (29 enodes)
4.210 * * [simplify]: Extracting #0: cost 1 inf + 0
4.210 * * [simplify]: Extracting #1: cost 5 inf + 0
4.210 * * [simplify]: Extracting #2: cost 5 inf + 2
4.210 * * [simplify]: Extracting #3: cost 7 inf + 2
4.210 * * [simplify]: Extracting #4: cost 1 inf + 373
4.211 * * [simplify]: Extracting #5: cost 0 inf + 495
4.211 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
4.211 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) (sqrt 1)) (- (sqrt (/ 1 x)) 1)))))
4.211 * * * * [progress]: [ 71 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
4.211 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
4.211 * * [simplify]: iters left: 5 (5 enodes)
4.214 * * [simplify]: iters left: 4 (18 enodes)
4.220 * * [simplify]: iters left: 3 (20 enodes)
4.226 * * [simplify]: Extracting #0: cost 1 inf + 0
4.226 * * [simplify]: Extracting #1: cost 4 inf + 0
4.227 * * [simplify]: Extracting #2: cost 5 inf + 1
4.227 * * [simplify]: Extracting #3: cost 7 inf + 1
4.227 * * [simplify]: Extracting #4: cost 0 inf + 494
4.227 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
4.227 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
4.227 * [simplify]: Simplifying (- (sqrt (/ 1 x)) 1)
4.227 * * [simplify]: iters left: 5 (5 enodes)
4.231 * * [simplify]: iters left: 4 (20 enodes)
4.238 * * [simplify]: iters left: 3 (24 enodes)
4.245 * * [simplify]: Extracting #0: cost 1 inf + 0
4.245 * * [simplify]: Extracting #1: cost 5 inf + 0
4.245 * * [simplify]: Extracting #2: cost 5 inf + 2
4.245 * * [simplify]: Extracting #3: cost 7 inf + 2
4.245 * * [simplify]: Extracting #4: cost 0 inf + 495
4.246 * [simplify]: Simplified to (- (sqrt (/ 1 x)) 1)
4.246 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
4.246 * * * * [progress]: [ 72 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))>
4.246 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) (sqrt 1))
4.246 * * [simplify]: iters left: 5 (6 enodes)
4.248 * * [simplify]: iters left: 4 (21 enodes)
4.251 * * [simplify]: iters left: 3 (23 enodes)
4.255 * * [simplify]: Extracting #0: cost 1 inf + 0
4.255 * * [simplify]: Extracting #1: cost 4 inf + 0
4.255 * * [simplify]: Extracting #2: cost 5 inf + 1
4.255 * * [simplify]: Extracting #3: cost 7 inf + 1
4.255 * * [simplify]: Extracting #4: cost 0 inf + 492
4.255 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
4.255 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) (sqrt 1))))))
4.255 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) (sqrt 1))
4.255 * * [simplify]: iters left: 5 (6 enodes)
4.257 * * [simplify]: iters left: 4 (22 enodes)
4.261 * * [simplify]: iters left: 3 (31 enodes)
4.265 * * [simplify]: Extracting #0: cost 1 inf + 0
4.265 * * [simplify]: Extracting #1: cost 5 inf + 0
4.265 * * [simplify]: Extracting #2: cost 5 inf + 2
4.265 * * [simplify]: Extracting #3: cost 7 inf + 2
4.265 * * [simplify]: Extracting #4: cost 6 inf + 3
4.265 * * [simplify]: Extracting #5: cost 2 inf + 289
4.266 * * [simplify]: Extracting #6: cost 0 inf + 493
4.266 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
4.266 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
4.266 * * * * [progress]: [ 73 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
4.266 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
4.266 * * [simplify]: iters left: 5 (6 enodes)
4.268 * * [simplify]: iters left: 4 (21 enodes)
4.271 * * [simplify]: iters left: 3 (23 enodes)
4.275 * * [simplify]: Extracting #0: cost 1 inf + 0
4.275 * * [simplify]: Extracting #1: cost 4 inf + 0
4.275 * * [simplify]: Extracting #2: cost 5 inf + 1
4.275 * * [simplify]: Extracting #3: cost 7 inf + 1
4.275 * * [simplify]: Extracting #4: cost 0 inf + 492
4.276 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
4.276 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
4.276 * [simplify]: Simplifying (- (/ (sqrt 1) (sqrt x)) 1)
4.276 * * [simplify]: iters left: 5 (6 enodes)
4.282 * * [simplify]: iters left: 4 (23 enodes)
4.289 * * [simplify]: iters left: 3 (27 enodes)
4.296 * * [simplify]: Extracting #0: cost 1 inf + 0
4.296 * * [simplify]: Extracting #1: cost 5 inf + 0
4.297 * * [simplify]: Extracting #2: cost 5 inf + 2
4.297 * * [simplify]: Extracting #3: cost 7 inf + 2
4.297 * * [simplify]: Extracting #4: cost 6 inf + 3
4.297 * * [simplify]: Extracting #5: cost 2 inf + 289
4.297 * * [simplify]: Extracting #6: cost 0 inf + 493
4.297 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
4.297 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
4.297 * * * * [progress]: [ 74 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) (sqrt 1))))))>
4.298 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) (sqrt 1))
4.298 * * [simplify]: iters left: 5 (6 enodes)
4.302 * * [simplify]: iters left: 4 (21 enodes)
4.308 * * [simplify]: iters left: 3 (23 enodes)
4.315 * * [simplify]: Extracting #0: cost 1 inf + 0
4.315 * * [simplify]: Extracting #1: cost 4 inf + 0
4.315 * * [simplify]: Extracting #2: cost 5 inf + 1
4.315 * * [simplify]: Extracting #3: cost 7 inf + 1
4.315 * * [simplify]: Extracting #4: cost 6 inf + 2
4.315 * * [simplify]: Extracting #5: cost 0 inf + 492
4.315 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
4.315 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) (sqrt 1))))))
4.316 * [simplify]: Simplifying (- (/ 1 (sqrt x)) (sqrt 1))
4.316 * * [simplify]: iters left: 5 (6 enodes)
4.321 * * [simplify]: iters left: 4 (23 enodes)
4.328 * * [simplify]: iters left: 3 (29 enodes)
4.335 * * [simplify]: Extracting #0: cost 1 inf + 0
4.335 * * [simplify]: Extracting #1: cost 5 inf + 0
4.335 * * [simplify]: Extracting #2: cost 5 inf + 2
4.335 * * [simplify]: Extracting #3: cost 7 inf + 2
4.335 * * [simplify]: Extracting #4: cost 1 inf + 371
4.335 * * [simplify]: Extracting #5: cost 0 inf + 493
4.336 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
4.336 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) (sqrt 1)) (- (/ 1 (sqrt x)) 1)))))
4.336 * * * * [progress]: [ 75 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
4.336 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
4.336 * * [simplify]: iters left: 5 (5 enodes)
4.337 * * [simplify]: iters left: 4 (18 enodes)
4.340 * * [simplify]: iters left: 3 (20 enodes)
4.343 * * [simplify]: Extracting #0: cost 1 inf + 0
4.343 * * [simplify]: Extracting #1: cost 4 inf + 0
4.343 * * [simplify]: Extracting #2: cost 5 inf + 1
4.343 * * [simplify]: Extracting #3: cost 7 inf + 1
4.343 * * [simplify]: Extracting #4: cost 0 inf + 492
4.343 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
4.343 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
4.344 * [simplify]: Simplifying (- (/ 1 (sqrt x)) 1)
4.344 * * [simplify]: iters left: 5 (5 enodes)
4.345 * * [simplify]: iters left: 4 (20 enodes)
4.348 * * [simplify]: iters left: 3 (24 enodes)
4.352 * * [simplify]: Extracting #0: cost 1 inf + 0
4.352 * * [simplify]: Extracting #1: cost 5 inf + 0
4.352 * * [simplify]: Extracting #2: cost 5 inf + 2
4.352 * * [simplify]: Extracting #3: cost 7 inf + 2
4.352 * * [simplify]: Extracting #4: cost 0 inf + 493
4.352 * [simplify]: Simplified to (- (/ 1 (sqrt x)) 1)
4.352 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
4.352 * * * * [progress]: [ 76 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))>
4.353 * [simplify]: Simplifying (+ (sqrt (/ 1 x)) 1)
4.353 * * [simplify]: iters left: 5 (5 enodes)
4.354 * * [simplify]: iters left: 4 (18 enodes)
4.357 * * [simplify]: iters left: 3 (20 enodes)
4.359 * * [simplify]: Extracting #0: cost 1 inf + 0
4.360 * * [simplify]: Extracting #1: cost 4 inf + 0
4.360 * * [simplify]: Extracting #2: cost 5 inf + 1
4.360 * * [simplify]: Extracting #3: cost 7 inf + 1
4.360 * * [simplify]: Extracting #4: cost 0 inf + 494
4.360 * [simplify]: Simplified to (+ (sqrt (/ 1 x)) 1)
4.360 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (sqrt (/ 1 x)) 1) (- (sqrt (/ 1 x)) 1)))))
4.360 * * * * [progress]: [ 77 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ (sqrt 1) (sqrt x)) 1) (- (/ (sqrt 1) (sqrt x)) 1)))))>
4.360 * [simplify]: Simplifying (+ (/ (sqrt 1) (sqrt x)) 1)
4.360 * * [simplify]: iters left: 5 (6 enodes)
4.363 * * [simplify]: iters left: 4 (21 enodes)
4.369 * * [simplify]: iters left: 3 (23 enodes)
4.375 * * [simplify]: Extracting #0: cost 1 inf + 0
4.375 * * [simplify]: Extracting #1: cost 4 inf + 0
4.375 * * [simplify]: Extracting #2: cost 5 inf + 1
4.375 * * [simplify]: Extracting #3: cost 7 inf + 1
4.376 * * [simplify]: Extracting #4: cost 0 inf + 492
4.376 * [simplify]: Simplified to (+ 1 (/ 1 (sqrt x)))
4.376 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ 1 (/ 1 (sqrt x))) (- (/ (sqrt 1) (sqrt x)) 1)))))
4.376 * * * * [progress]: [ 78 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))>
4.376 * [simplify]: Simplifying (+ (/ 1 (sqrt x)) 1)
4.376 * * [simplify]: iters left: 5 (5 enodes)
4.379 * * [simplify]: iters left: 4 (18 enodes)
4.385 * * [simplify]: iters left: 3 (20 enodes)
4.390 * * [simplify]: Extracting #0: cost 1 inf + 0
4.390 * * [simplify]: Extracting #1: cost 4 inf + 0
4.391 * * [simplify]: Extracting #2: cost 5 inf + 1
4.391 * * [simplify]: Extracting #3: cost 7 inf + 1
4.391 * * [simplify]: Extracting #4: cost 0 inf + 492
4.391 * [simplify]: Simplified to (+ (/ 1 (sqrt x)) 1)
4.391 * [simplify]: Simplified (2 1 1 1) to (λ (x) (- (log (* (+ (/ 1 (sqrt x)) 1) (- (/ 1 (sqrt x)) 1)))))
4.391 * * * * [progress]: [ 79 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
4.392 * [simplify]: Simplifying (- (/ 1 x) 1)
4.392 * * [simplify]: iters left: 4 (4 enodes)
4.394 * * [simplify]: iters left: 3 (17 enodes)
4.397 * * [simplify]: iters left: 2 (21 enodes)
4.400 * * [simplify]: Extracting #0: cost 1 inf + 0
4.400 * * [simplify]: Extracting #1: cost 5 inf + 0
4.400 * * [simplify]: Extracting #2: cost 5 inf + 2
4.400 * * [simplify]: Extracting #3: cost 0 inf + 251
4.401 * [simplify]: Simplified to (- (/ 1 x) 1)
4.401 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
4.401 * * * * [progress]: [ 80 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))>
4.401 * [simplify]: Simplifying (- (/ 1 x) 1)
4.401 * * [simplify]: iters left: 4 (4 enodes)
4.404 * * [simplify]: iters left: 3 (17 enodes)
4.407 * * [simplify]: iters left: 2 (21 enodes)
4.410 * * [simplify]: Extracting #0: cost 1 inf + 0
4.410 * * [simplify]: Extracting #1: cost 5 inf + 0
4.411 * * [simplify]: Extracting #2: cost 5 inf + 2
4.411 * * [simplify]: Extracting #3: cost 0 inf + 251
4.411 * [simplify]: Simplified to (- (/ 1 x) 1)
4.411 * [simplify]: Simplified (2 1 1 2) to (λ (x) (- (log (* 1 (- (/ 1 x) 1)))))
4.411 * * * * [progress]: [ 81 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (+ (/ 1 x) (- 1)))))>
4.411 * * * * [progress]: [ 82 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (posit16->real (real->posit16 (- (/ 1 x) 1))))))>
4.411 * * * * [progress]: [ 83 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
4.411 * [simplify]: Simplifying (- (/ 1 x) 1)
4.411 * * [simplify]: iters left: 4 (4 enodes)
4.413 * * [simplify]: iters left: 3 (17 enodes)
4.416 * * [simplify]: iters left: 2 (21 enodes)
4.419 * * [simplify]: Extracting #0: cost 1 inf + 0
4.419 * * [simplify]: Extracting #1: cost 5 inf + 0
4.419 * * [simplify]: Extracting #2: cost 5 inf + 2
4.419 * * [simplify]: Extracting #3: cost 0 inf + 251
4.419 * [simplify]: Simplified to (- (/ 1 x) 1)
4.419 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.419 * * * * [progress]: [ 84 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
4.419 * [simplify]: Simplifying (- (/ 1 x) 1)
4.419 * * [simplify]: iters left: 4 (4 enodes)
4.421 * * [simplify]: iters left: 3 (17 enodes)
4.426 * * [simplify]: iters left: 2 (21 enodes)
4.432 * * [simplify]: Extracting #0: cost 1 inf + 0
4.432 * * [simplify]: Extracting #1: cost 5 inf + 0
4.432 * * [simplify]: Extracting #2: cost 5 inf + 2
4.432 * * [simplify]: Extracting #3: cost 0 inf + 251
4.433 * [simplify]: Simplified to (- (/ 1 x) 1)
4.433 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.433 * * * * [progress]: [ 85 / 85 ] simplifiying candidate #<alt (λ (x) (- (log (- (/ 1 x) 1))))>
4.433 * [simplify]: Simplifying (- (/ 1 x) 1)
4.433 * * [simplify]: iters left: 4 (4 enodes)
4.436 * * [simplify]: iters left: 3 (17 enodes)
4.442 * * [simplify]: iters left: 2 (21 enodes)
4.448 * * [simplify]: Extracting #0: cost 1 inf + 0
4.448 * * [simplify]: Extracting #1: cost 5 inf + 0
4.448 * * [simplify]: Extracting #2: cost 5 inf + 2
4.448 * * [simplify]: Extracting #3: cost 0 inf + 251
4.448 * [simplify]: Simplified to (- (/ 1 x) 1)
4.448 * [simplify]: Simplified (2 1 1) to (λ (x) (- (log (- (/ 1 x) 1))))
4.449 * * * [progress]: adding candidates to table
5.081 * [progress]: [Phase 3 of 3] Extracting.
5.085 * [simplify]: Simplifying (- (log (- (/ 1 x) 1)))
5.086 * * [simplify]: iters left: 6 (6 enodes)
5.086 * * [simplify]: iters left: 5 (8 enodes)
5.087 * * [simplify]: Extracting #0: cost 1 inf + 0
5.087 * * [simplify]: Extracting #1: cost 2 inf + 0
5.087 * * [simplify]: Extracting #2: cost 3 inf + 0
5.087 * * [simplify]: Extracting #3: cost 5 inf + 0
5.087 * * [simplify]: Extracting #4: cost 5 inf + 1
5.087 * * [simplify]: Extracting #5: cost 0 inf + 470
5.087 * [simplify]: Simplified to (- (log (- (/ 1 x) 1)))
8.076 * [regime-testing]: Baseline error score: 0.021625371729675203
8.078 * [regime-testing]: Oracle error score: 0.021625371729675203
8.078 * [regime-testing]: End program error score: 0.021625371729675203