0.002 * [progress]: [Phase 1 of 3] Setting up.
0.002 * * * [progress]: [1/2] Preparing points
0.003 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.009 * * * * [points]: Setting MPFR precision to 320
0.010 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.015 * * * * [points]: Setting MPFR precision to 64
0.017 * * * * [points]: Setting MPFR precision to 320
0.020 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.024 * * * * [points]: Setting MPFR precision to 64
0.029 * * * * [points]: Setting MPFR precision to 320
0.034 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.038 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.046 * * * * [points]: Computing exacts for 256 points
0.055 * * * * [points]: Setting MPFR precision to 64
0.069 * * * * [points]: Setting MPFR precision to 320
0.086 * * * * [points]: Filtering points with unrepresentable outputs
0.086 * * * * [points]: Sampled 256 points with exact outputs
0.086 * * * [progress]: [2/2] Setting up program.
0.099 * [progress]: [Phase 2 of 3] Improving.
0.099 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.100 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.100 * * [simplify]: iters left: 5 (12 enodes)
0.103 * * [simplify]: iters left: 4 (35 enodes)
0.110 * * [simplify]: iters left: 3 (83 enodes)
0.128 * * [simplify]: iters left: 2 (233 enodes)
0.240 * * [simplify]: Extracting #0: cost 1 inf + 0
0.240 * * [simplify]: Extracting #1: cost 29 inf + 0
0.241 * * [simplify]: Extracting #2: cost 123 inf + 0
0.241 * * [simplify]: Extracting #3: cost 245 inf + 1
0.244 * * [simplify]: Extracting #4: cost 303 inf + 42876
0.256 * * [simplify]: Extracting #5: cost 128 inf + 332692
0.294 * * [simplify]: Extracting #6: cost 5 inf + 548531
0.318 * * [simplify]: Extracting #7: cost 0 inf + 561504
0.362 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
0.362 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
0.375 * * [progress]: iteration 1 / 4
0.375 * * * [progress]: picking best candidate
0.388 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.388 * * * [progress]: localizing error
0.615 * * * [progress]: generating rewritten candidates
0.615 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
0.638 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
0.643 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
0.646 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
0.651 * * * [progress]: generating series expansions
0.651 * * * * [progress]: [ 1 / 4 ] generating series at (2)
0.651 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
0.651 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
0.651 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
0.651 * * * [progress]: simplifying candidates
0.651 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
0.652 * [simplify]: Simplifying (+.p16 (neg.p16 (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.652 * * [simplify]: iters left: 4 (10 enodes)
0.657 * * [simplify]: iters left: 3 (24 enodes)
0.665 * * [simplify]: iters left: 2 (39 enodes)
0.679 * * [simplify]: iters left: 1 (92 enodes)
0.731 * * [simplify]: Extracting #0: cost 1 inf + 0
0.731 * * [simplify]: Extracting #1: cost 14 inf + 0
0.731 * * [simplify]: Extracting #2: cost 53 inf + 0
0.732 * * [simplify]: Extracting #3: cost 105 inf + 1
0.732 * * [simplify]: Extracting #4: cost 125 inf + 2937
0.736 * * [simplify]: Extracting #5: cost 77 inf + 54218
0.746 * * [simplify]: Extracting #6: cost 4 inf + 155356
0.758 * * [simplify]: Extracting #7: cost 0 inf + 161603
0.768 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
0.768 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
0.769 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))>
0.769 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.769 * * [simplify]: iters left: 4 (9 enodes)
0.771 * * [simplify]: iters left: 3 (29 enodes)
0.776 * * [simplify]: iters left: 2 (61 enodes)
0.788 * * [simplify]: iters left: 1 (176 enodes)
0.848 * * [simplify]: Extracting #0: cost 1 inf + 0
0.848 * * [simplify]: Extracting #1: cost 19 inf + 0
0.849 * * [simplify]: Extracting #2: cost 92 inf + 0
0.849 * * [simplify]: Extracting #3: cost 209 inf + 1
0.851 * * [simplify]: Extracting #4: cost 274 inf + 27837
0.859 * * [simplify]: Extracting #5: cost 126 inf + 242865
0.876 * * [simplify]: Extracting #6: cost 12 inf + 434225
0.902 * * [simplify]: Extracting #7: cost 0 inf + 454288
0.921 * * [simplify]: Extracting #8: cost 0 inf + 452848
0.939 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
0.939 * [simplify]: Simplified (2 2) to (λ (x) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))))
0.939 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
0.939 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.939 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x))
0.940 * * [simplify]: iters left: 3 (5 enodes)
0.941 * * [simplify]: iters left: 2 (8 enodes)
0.942 * * [simplify]: Extracting #0: cost 1 inf + 0
0.942 * * [simplify]: Extracting #1: cost 2 inf + 0
0.942 * * [simplify]: Extracting #2: cost 4 inf + 0
0.942 * * [simplify]: Extracting #3: cost 4 inf + 1
0.942 * * [simplify]: Extracting #4: cost 3 inf + 2
0.943 * * [simplify]: Extracting #5: cost 0 inf + 967
0.943 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x))
0.943 * [simplify]: Simplified (2 1 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
0.943 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
0.943 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)))
0.943 * * [simplify]: iters left: 5 (11 enodes)
0.946 * * [simplify]: iters left: 4 (36 enodes)
0.953 * * [simplify]: iters left: 3 (89 enodes)
0.980 * * [simplify]: iters left: 2 (268 enodes)
1.099 * * [simplify]: Extracting #0: cost 1 inf + 0
1.099 * * [simplify]: Extracting #1: cost 32 inf + 0
1.100 * * [simplify]: Extracting #2: cost 176 inf + 0
1.101 * * [simplify]: Extracting #3: cost 275 inf + 324
1.106 * * [simplify]: Extracting #4: cost 315 inf + 68062
1.131 * * [simplify]: Extracting #5: cost 125 inf + 399064
1.181 * * [simplify]: Extracting #6: cost 16 inf + 636428
1.242 * * [simplify]: Extracting #7: cost 0 inf + 675596
1.305 * * [simplify]: Extracting #8: cost 0 inf + 672836
1.367 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1.367 * [simplify]: Simplified (2 1 1) to (λ (x) (+.p16 (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1.368 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
1.368 * * [simplify]: iters left: 4 (9 enodes)
1.372 * * [simplify]: iters left: 3 (17 enodes)
1.378 * * [simplify]: iters left: 2 (19 enodes)
1.384 * * [simplify]: Extracting #0: cost 1 inf + 0
1.384 * * [simplify]: Extracting #1: cost 3 inf + 0
1.384 * * [simplify]: Extracting #2: cost 7 inf + 0
1.384 * * [simplify]: Extracting #3: cost 8 inf + 1
1.384 * * [simplify]: Extracting #4: cost 4 inf + 446
1.385 * * [simplify]: Extracting #5: cost 0 inf + 1934
1.385 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))
1.385 * [simplify]: Simplified (2 1 2) to (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))
1.385 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))))>
1.385 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
1.385 * * [simplify]: iters left: 4 (7 enodes)
1.389 * * [simplify]: iters left: 3 (22 enodes)
1.400 * * [simplify]: iters left: 2 (51 enodes)
1.420 * * [simplify]: iters left: 1 (144 enodes)
1.516 * * [simplify]: Extracting #0: cost 1 inf + 0
1.516 * * [simplify]: Extracting #1: cost 39 inf + 0
1.517 * * [simplify]: Extracting #2: cost 153 inf + 0
1.519 * * [simplify]: Extracting #3: cost 211 inf + 3295
1.527 * * [simplify]: Extracting #4: cost 172 inf + 64546
1.536 * * [simplify]: Extracting #5: cost 61 inf + 217069
1.548 * * [simplify]: Extracting #6: cost 12 inf + 304548
1.561 * * [simplify]: Extracting #7: cost 0 inf + 337212
1.584 * * [simplify]: Extracting #8: cost 0 inf + 336932
1.611 * [simplify]: Simplified to (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
1.611 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 x (real->posit16 1)))))
1.612 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1.612 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1.612 * * [simplify]: iters left: 5 (12 enodes)
1.618 * * [simplify]: iters left: 4 (35 enodes)
1.629 * * [simplify]: iters left: 3 (83 enodes)
1.653 * * [simplify]: iters left: 2 (233 enodes)
1.741 * * [simplify]: Extracting #0: cost 1 inf + 0
1.741 * * [simplify]: Extracting #1: cost 29 inf + 0
1.742 * * [simplify]: Extracting #2: cost 123 inf + 0
1.743 * * [simplify]: Extracting #3: cost 245 inf + 1
1.746 * * [simplify]: Extracting #4: cost 303 inf + 42876
1.759 * * [simplify]: Extracting #5: cost 128 inf + 332692
1.781 * * [simplify]: Extracting #6: cost 5 inf + 548531
1.811 * * [simplify]: Extracting #7: cost 0 inf + 561504
1.838 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
1.838 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
1.838 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
1.838 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
1.838 * * [simplify]: iters left: 5 (12 enodes)
1.842 * * [simplify]: iters left: 4 (35 enodes)
1.848 * * [simplify]: iters left: 3 (83 enodes)
1.872 * * [simplify]: iters left: 2 (233 enodes)
1.941 * * [simplify]: Extracting #0: cost 1 inf + 0
1.942 * * [simplify]: Extracting #1: cost 29 inf + 0
1.942 * * [simplify]: Extracting #2: cost 123 inf + 0
1.943 * * [simplify]: Extracting #3: cost 245 inf + 1
1.947 * * [simplify]: Extracting #4: cost 303 inf + 42876
1.965 * * [simplify]: Extracting #5: cost 128 inf + 332692
1.988 * * [simplify]: Extracting #6: cost 5 inf + 548531
2.017 * * [simplify]: Extracting #7: cost 0 inf + 561504
2.051 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
2.051 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
2.051 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
2.051 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
2.052 * * [simplify]: iters left: 5 (12 enodes)
2.055 * * [simplify]: iters left: 4 (35 enodes)
2.063 * * [simplify]: iters left: 3 (83 enodes)
2.085 * * [simplify]: iters left: 2 (233 enodes)
2.185 * * [simplify]: Extracting #0: cost 1 inf + 0
2.204 * * [simplify]: Extracting #1: cost 29 inf + 0
2.204 * * [simplify]: Extracting #2: cost 123 inf + 0
2.205 * * [simplify]: Extracting #3: cost 245 inf + 1
2.207 * * [simplify]: Extracting #4: cost 303 inf + 42876
2.222 * * [simplify]: Extracting #5: cost 128 inf + 332692
2.248 * * [simplify]: Extracting #6: cost 5 inf + 548531
2.287 * * [simplify]: Extracting #7: cost 0 inf + 561504
2.324 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
2.324 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
2.324 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))>
2.324 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
2.324 * * [simplify]: iters left: 5 (12 enodes)
2.329 * * [simplify]: iters left: 4 (35 enodes)
2.342 * * [simplify]: iters left: 3 (83 enodes)
2.365 * * [simplify]: iters left: 2 (233 enodes)
2.466 * * [simplify]: Extracting #0: cost 1 inf + 0
2.466 * * [simplify]: Extracting #1: cost 29 inf + 0
2.466 * * [simplify]: Extracting #2: cost 123 inf + 0
2.467 * * [simplify]: Extracting #3: cost 245 inf + 1
2.469 * * [simplify]: Extracting #4: cost 303 inf + 42876
2.490 * * [simplify]: Extracting #5: cost 128 inf + 332692
2.526 * * [simplify]: Extracting #6: cost 5 inf + 548531
2.561 * * [simplify]: Extracting #7: cost 0 inf + 561504
2.601 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x)))
2.601 * [simplify]: Simplified (2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 2) x))))
2.601 * * * [progress]: adding candidates to table
2.897 * * [progress]: iteration 2 / 4
2.897 * * * [progress]: picking best candidate
2.959 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
2.960 * * * [progress]: localizing error
3.203 * * * [progress]: generating rewritten candidates
3.203 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
3.215 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
3.222 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
3.236 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1)
3.240 * * * [progress]: generating series expansions
3.241 * * * * [progress]: [ 1 / 4 ] generating series at (2)
3.241 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
3.241 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
3.241 * * * * [progress]: [ 4 / 4 ] generating series at (2 1)
3.241 * * * [progress]: simplifying candidates
3.241 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))>
3.241 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
3.241 * * [simplify]: iters left: 4 (8 enodes)
3.246 * * [simplify]: iters left: 3 (21 enodes)
3.254 * * [simplify]: iters left: 2 (34 enodes)
3.265 * * [simplify]: iters left: 1 (81 enodes)
3.300 * * [simplify]: Extracting #0: cost 1 inf + 0
3.300 * * [simplify]: Extracting #1: cost 9 inf + 0
3.300 * * [simplify]: Extracting #2: cost 39 inf + 0
3.300 * * [simplify]: Extracting #3: cost 74 inf + 1
3.301 * * [simplify]: Extracting #4: cost 101 inf + 324
3.302 * * [simplify]: Extracting #5: cost 87 inf + 17613
3.307 * * [simplify]: Extracting #6: cost 20 inf + 89330
3.311 * * [simplify]: Extracting #7: cost 0 inf + 118249
3.316 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
3.316 * [simplify]: Simplified (2 1) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))
3.316 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
3.316 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
3.316 * * [simplify]: iters left: 4 (8 enodes)
3.318 * * [simplify]: iters left: 3 (21 enodes)
3.324 * * [simplify]: iters left: 2 (34 enodes)
3.334 * * [simplify]: iters left: 1 (81 enodes)
3.357 * * [simplify]: Extracting #0: cost 1 inf + 0
3.357 * * [simplify]: Extracting #1: cost 9 inf + 0
3.357 * * [simplify]: Extracting #2: cost 39 inf + 0
3.358 * * [simplify]: Extracting #3: cost 74 inf + 1
3.358 * * [simplify]: Extracting #4: cost 101 inf + 324
3.359 * * [simplify]: Extracting #5: cost 87 inf + 17613
3.362 * * [simplify]: Extracting #6: cost 20 inf + 89330
3.366 * * [simplify]: Extracting #7: cost 0 inf + 118249
3.372 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
3.372 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
3.372 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))>
3.373 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))>
3.373 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x))
3.373 * * [simplify]: iters left: 3 (5 enodes)
3.374 * * [simplify]: iters left: 2 (8 enodes)
3.375 * * [simplify]: Extracting #0: cost 1 inf + 0
3.375 * * [simplify]: Extracting #1: cost 2 inf + 0
3.375 * * [simplify]: Extracting #2: cost 4 inf + 0
3.376 * * [simplify]: Extracting #3: cost 4 inf + 1
3.376 * * [simplify]: Extracting #4: cost 3 inf + 2
3.376 * * [simplify]: Extracting #5: cost 0 inf + 967
3.376 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x))
3.376 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x)))))
3.376 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
3.376 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)))
3.376 * * [simplify]: iters left: 5 (11 enodes)
3.379 * * [simplify]: iters left: 4 (42 enodes)
3.394 * * [simplify]: iters left: 3 (106 enodes)
3.432 * * [simplify]: iters left: 2 (384 enodes)
3.730 * * [simplify]: Extracting #0: cost 1 inf + 0
3.730 * * [simplify]: Extracting #1: cost 44 inf + 0
3.731 * * [simplify]: Extracting #2: cost 282 inf + 0
3.733 * * [simplify]: Extracting #3: cost 571 inf + 323
3.742 * * [simplify]: Extracting #4: cost 668 inf + 221993
3.808 * * [simplify]: Extracting #5: cost 137 inf + 1242878
3.904 * * [simplify]: Extracting #6: cost 12 inf + 1494188
3.980 * * [simplify]: Extracting #7: cost 1 inf + 1521933
4.056 * * [simplify]: Extracting #8: cost 0 inf + 1524295
4.130 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
4.130 * [simplify]: Simplified (2 2 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))
4.130 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
4.130 * * [simplify]: iters left: 4 (9 enodes)
4.133 * * [simplify]: iters left: 3 (23 enodes)
4.137 * * [simplify]: iters left: 2 (37 enodes)
4.144 * * [simplify]: iters left: 1 (85 enodes)
4.164 * * [simplify]: Extracting #0: cost 1 inf + 0
4.164 * * [simplify]: Extracting #1: cost 9 inf + 0
4.164 * * [simplify]: Extracting #2: cost 41 inf + 0
4.164 * * [simplify]: Extracting #3: cost 77 inf + 1
4.165 * * [simplify]: Extracting #4: cost 101 inf + 768
4.166 * * [simplify]: Extracting #5: cost 79 inf + 31041
4.169 * * [simplify]: Extracting #6: cost 19 inf + 89828
4.173 * * [simplify]: Extracting #7: cost 0 inf + 120780
4.178 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
4.178 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))
4.178 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
4.178 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
4.178 * * [simplify]: iters left: 4 (7 enodes)
4.180 * * [simplify]: iters left: 3 (22 enodes)
4.185 * * [simplify]: iters left: 2 (51 enodes)
4.194 * * [simplify]: iters left: 1 (144 enodes)
4.243 * * [simplify]: Extracting #0: cost 1 inf + 0
4.244 * * [simplify]: Extracting #1: cost 39 inf + 0
4.244 * * [simplify]: Extracting #2: cost 153 inf + 0
4.245 * * [simplify]: Extracting #3: cost 211 inf + 3295
4.247 * * [simplify]: Extracting #4: cost 172 inf + 64546
4.255 * * [simplify]: Extracting #5: cost 61 inf + 217069
4.269 * * [simplify]: Extracting #6: cost 12 inf + 304548
4.282 * * [simplify]: Extracting #7: cost 0 inf + 337212
4.296 * * [simplify]: Extracting #8: cost 0 inf + 336932
4.316 * [simplify]: Simplified to (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
4.317 * [simplify]: Simplified (2 2 1 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
4.317 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
4.317 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
4.317 * * [simplify]: iters left: 5 (12 enodes)
4.322 * * [simplify]: iters left: 4 (35 enodes)
4.333 * * [simplify]: iters left: 3 (76 enodes)
4.350 * * [simplify]: iters left: 2 (223 enodes)
4.456 * * [simplify]: Extracting #0: cost 1 inf + 0
4.457 * * [simplify]: Extracting #1: cost 28 inf + 0
4.457 * * [simplify]: Extracting #2: cost 117 inf + 0
4.457 * * [simplify]: Extracting #3: cost 257 inf + 1
4.460 * * [simplify]: Extracting #4: cost 323 inf + 44438
4.473 * * [simplify]: Extracting #5: cost 135 inf + 398457
4.521 * * [simplify]: Extracting #6: cost 3 inf + 632314
4.582 * * [simplify]: Extracting #7: cost 0 inf + 638479
4.625 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
4.625 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
4.625 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
4.626 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
4.626 * * [simplify]: iters left: 5 (12 enodes)
4.631 * * [simplify]: iters left: 4 (35 enodes)
4.642 * * [simplify]: iters left: 3 (76 enodes)
4.668 * * [simplify]: iters left: 2 (223 enodes)
4.765 * * [simplify]: Extracting #0: cost 1 inf + 0
4.765 * * [simplify]: Extracting #1: cost 28 inf + 0
4.765 * * [simplify]: Extracting #2: cost 117 inf + 0
4.766 * * [simplify]: Extracting #3: cost 257 inf + 1
4.769 * * [simplify]: Extracting #4: cost 323 inf + 44438
4.787 * * [simplify]: Extracting #5: cost 135 inf + 398457
4.819 * * [simplify]: Extracting #6: cost 3 inf + 632314
4.856 * * [simplify]: Extracting #7: cost 0 inf + 638479
4.900 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
4.901 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
4.901 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
4.901 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
4.901 * * [simplify]: iters left: 5 (12 enodes)
4.906 * * [simplify]: iters left: 4 (35 enodes)
4.915 * * [simplify]: iters left: 3 (76 enodes)
4.941 * * [simplify]: iters left: 2 (223 enodes)
5.059 * * [simplify]: Extracting #0: cost 1 inf + 0
5.059 * * [simplify]: Extracting #1: cost 28 inf + 0
5.060 * * [simplify]: Extracting #2: cost 117 inf + 0
5.061 * * [simplify]: Extracting #3: cost 257 inf + 1
5.066 * * [simplify]: Extracting #4: cost 323 inf + 44438
5.084 * * [simplify]: Extracting #5: cost 135 inf + 398457
5.109 * * [simplify]: Extracting #6: cost 3 inf + 632314
5.145 * * [simplify]: Extracting #7: cost 0 inf + 638479
5.173 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
5.173 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
5.173 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
5.174 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
5.174 * * [simplify]: iters left: 5 (12 enodes)
5.177 * * [simplify]: iters left: 4 (35 enodes)
5.186 * * [simplify]: iters left: 3 (76 enodes)
5.212 * * [simplify]: iters left: 2 (223 enodes)
5.327 * * [simplify]: Extracting #0: cost 1 inf + 0
5.327 * * [simplify]: Extracting #1: cost 28 inf + 0
5.327 * * [simplify]: Extracting #2: cost 117 inf + 0
5.328 * * [simplify]: Extracting #3: cost 257 inf + 1
5.330 * * [simplify]: Extracting #4: cost 323 inf + 44438
5.351 * * [simplify]: Extracting #5: cost 135 inf + 398457
5.383 * * [simplify]: Extracting #6: cost 3 inf + 632314
5.415 * * [simplify]: Extracting #7: cost 0 inf + 638479
5.446 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
5.446 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
5.447 * * * [progress]: adding candidates to table
5.716 * * [progress]: iteration 3 / 4
5.716 * * * [progress]: picking best candidate
5.776 * * * * [pick]: Picked  #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
5.776 * * * [progress]: localizing error
6.041 * * * [progress]: generating rewritten candidates
6.041 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
6.062 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1)
6.069 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2)
6.072 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1)
6.076 * * * [progress]: generating series expansions
6.076 * * * * [progress]: [ 1 / 4 ] generating series at (2)
6.076 * * * * [progress]: [ 2 / 4 ] generating series at (2 1)
6.076 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2)
6.076 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1)
6.076 * * * [progress]: simplifying candidates
6.076 * * * * [progress]: [ 1 / 9 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))>
6.076 * [simplify]: Simplifying (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
6.076 * * [simplify]: iters left: 4 (9 enodes)
6.081 * * [simplify]: iters left: 3 (29 enodes)
6.090 * * [simplify]: iters left: 2 (61 enodes)
6.117 * * [simplify]: iters left: 1 (176 enodes)
6.212 * * [simplify]: Extracting #0: cost 1 inf + 0
6.212 * * [simplify]: Extracting #1: cost 23 inf + 0
6.212 * * [simplify]: Extracting #2: cost 96 inf + 0
6.216 * * [simplify]: Extracting #3: cost 222 inf + 1
6.219 * * [simplify]: Extracting #4: cost 292 inf + 16780
6.230 * * [simplify]: Extracting #5: cost 158 inf + 192060
6.256 * * [simplify]: Extracting #6: cost 13 inf + 444096
6.287 * * [simplify]: Extracting #7: cost 0 inf + 468722
6.318 * [simplify]: Simplified to (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
6.318 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
6.318 * * * * [progress]: [ 2 / 9 ] simplifiying candidate #<alt (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))>
6.319 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x))
6.319 * * [simplify]: iters left: 3 (5 enodes)
6.320 * * [simplify]: iters left: 2 (8 enodes)
6.321 * * [simplify]: Extracting #0: cost 1 inf + 0
6.321 * * [simplify]: Extracting #1: cost 2 inf + 0
6.321 * * [simplify]: Extracting #2: cost 4 inf + 0
6.322 * * [simplify]: Extracting #3: cost 4 inf + 1
6.322 * * [simplify]: Extracting #4: cost 3 inf + 2
6.322 * * [simplify]: Extracting #5: cost 0 inf + 967
6.322 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x))
6.322 * [simplify]: Simplified (2 2) to (λ (x) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (neg.p16 (/.p16 (real->posit16 2) x))))
6.322 * * * * [progress]: [ 3 / 9 ] simplifiying candidate #<alt (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))))>
6.322 * [simplify]: Simplifying (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)))
6.322 * * [simplify]: iters left: 6 (14 enodes)
6.325 * * [simplify]: iters left: 5 (48 enodes)
6.336 * * [simplify]: iters left: 4 (150 enodes)
6.378 * * [simplify]: Extracting #0: cost 1 inf + 0
6.378 * * [simplify]: Extracting #1: cost 49 inf + 0
6.378 * * [simplify]: Extracting #2: cost 130 inf + 0
6.379 * * [simplify]: Extracting #3: cost 193 inf + 322
6.381 * * [simplify]: Extracting #4: cost 180 inf + 50785
6.394 * * [simplify]: Extracting #5: cost 44 inf + 284669
6.420 * * [simplify]: Extracting #6: cost 2 inf + 367441
6.439 * * [simplify]: Extracting #7: cost 0 inf + 373166
6.457 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 2) x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
6.457 * [simplify]: Simplified (2 1) to (λ (x) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 2) x) (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))))
6.457 * [simplify]: Simplifying (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))
6.457 * * [simplify]: iters left: 5 (12 enodes)
6.460 * * [simplify]: iters left: 4 (29 enodes)
6.465 * * [simplify]: iters left: 3 (48 enodes)
6.474 * * [simplify]: iters left: 2 (97 enodes)
6.500 * * [simplify]: iters left: 1 (352 enodes)
6.712 * * [simplify]: Extracting #0: cost 1 inf + 0
6.713 * * [simplify]: Extracting #1: cost 20 inf + 0
6.713 * * [simplify]: Extracting #2: cost 165 inf + 0
6.715 * * [simplify]: Extracting #3: cost 378 inf + 1
6.722 * * [simplify]: Extracting #4: cost 442 inf + 82090
6.760 * * [simplify]: Extracting #5: cost 132 inf + 584075
6.810 * * [simplify]: Extracting #6: cost 15 inf + 772937
6.858 * * [simplify]: Extracting #7: cost 1 inf + 790960
6.898 * * [simplify]: Extracting #8: cost 0 inf + 789082
6.939 * [simplify]: Simplified to (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))
6.939 * [simplify]: Simplified (2 2) to (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))))
6.939 * * * * [progress]: [ 4 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
6.939 * * * * [progress]: [ 5 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1)))) (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
6.939 * [simplify]: Simplifying (/.p16 (real->posit16 1) (-.p16 (*.p16 x x) (*.p16 (real->posit16 1) (real->posit16 1))))
6.939 * * [simplify]: iters left: 4 (7 enodes)
6.942 * * [simplify]: iters left: 3 (22 enodes)
6.946 * * [simplify]: iters left: 2 (51 enodes)
6.959 * * [simplify]: iters left: 1 (144 enodes)
7.008 * * [simplify]: Extracting #0: cost 1 inf + 0
7.008 * * [simplify]: Extracting #1: cost 39 inf + 0
7.009 * * [simplify]: Extracting #2: cost 153 inf + 0
7.010 * * [simplify]: Extracting #3: cost 211 inf + 3295
7.012 * * [simplify]: Extracting #4: cost 172 inf + 64546
7.020 * * [simplify]: Extracting #5: cost 61 inf + 217069
7.040 * * [simplify]: Extracting #6: cost 12 inf + 304548
7.061 * * [simplify]: Extracting #7: cost 0 inf + 337212
7.083 * * [simplify]: Extracting #8: cost 0 inf + 336932
7.107 * [simplify]: Simplified to (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x)))
7.107 * [simplify]: Simplified (2 1 2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
7.107 * * * * [progress]: [ 6 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
7.108 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.108 * * [simplify]: iters left: 4 (8 enodes)
7.112 * * [simplify]: iters left: 3 (21 enodes)
7.118 * * [simplify]: iters left: 2 (34 enodes)
7.129 * * [simplify]: iters left: 1 (81 enodes)
7.151 * * [simplify]: Extracting #0: cost 1 inf + 0
7.151 * * [simplify]: Extracting #1: cost 9 inf + 0
7.151 * * [simplify]: Extracting #2: cost 39 inf + 0
7.151 * * [simplify]: Extracting #3: cost 74 inf + 1
7.152 * * [simplify]: Extracting #4: cost 101 inf + 324
7.152 * * [simplify]: Extracting #5: cost 87 inf + 17613
7.155 * * [simplify]: Extracting #6: cost 20 inf + 89330
7.162 * * [simplify]: Extracting #7: cost 0 inf + 118249
7.170 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.170 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
7.170 * * * * [progress]: [ 7 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
7.171 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.171 * * [simplify]: iters left: 4 (8 enodes)
7.174 * * [simplify]: iters left: 3 (21 enodes)
7.180 * * [simplify]: iters left: 2 (34 enodes)
7.187 * * [simplify]: iters left: 1 (81 enodes)
7.208 * * [simplify]: Extracting #0: cost 1 inf + 0
7.208 * * [simplify]: Extracting #1: cost 9 inf + 0
7.208 * * [simplify]: Extracting #2: cost 39 inf + 0
7.208 * * [simplify]: Extracting #3: cost 74 inf + 1
7.209 * * [simplify]: Extracting #4: cost 101 inf + 324
7.209 * * [simplify]: Extracting #5: cost 87 inf + 17613
7.213 * * [simplify]: Extracting #6: cost 20 inf + 89330
7.218 * * [simplify]: Extracting #7: cost 0 inf + 118249
7.222 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.222 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
7.222 * * * * [progress]: [ 8 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
7.223 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.223 * * [simplify]: iters left: 4 (8 enodes)
7.225 * * [simplify]: iters left: 3 (21 enodes)
7.229 * * [simplify]: iters left: 2 (34 enodes)
7.237 * * [simplify]: iters left: 1 (81 enodes)
7.257 * * [simplify]: Extracting #0: cost 1 inf + 0
7.257 * * [simplify]: Extracting #1: cost 9 inf + 0
7.257 * * [simplify]: Extracting #2: cost 39 inf + 0
7.257 * * [simplify]: Extracting #3: cost 74 inf + 1
7.258 * * [simplify]: Extracting #4: cost 101 inf + 324
7.258 * * [simplify]: Extracting #5: cost 87 inf + 17613
7.261 * * [simplify]: Extracting #6: cost 20 inf + 89330
7.266 * * [simplify]: Extracting #7: cost 0 inf + 118249
7.270 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.271 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
7.271 * * * * [progress]: [ 9 / 9 ] simplifiying candidate #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))>
7.271 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.271 * * [simplify]: iters left: 4 (8 enodes)
7.273 * * [simplify]: iters left: 3 (21 enodes)
7.277 * * [simplify]: iters left: 2 (34 enodes)
7.283 * * [simplify]: iters left: 1 (81 enodes)
7.305 * * [simplify]: Extracting #0: cost 1 inf + 0
7.305 * * [simplify]: Extracting #1: cost 9 inf + 0
7.305 * * [simplify]: Extracting #2: cost 39 inf + 0
7.306 * * [simplify]: Extracting #3: cost 74 inf + 1
7.306 * * [simplify]: Extracting #4: cost 101 inf + 324
7.309 * * [simplify]: Extracting #5: cost 87 inf + 17613
7.312 * * [simplify]: Extracting #6: cost 20 inf + 89330
7.316 * * [simplify]: Extracting #7: cost 0 inf + 118249
7.321 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
7.321 * [simplify]: Simplified (2 1) to (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))
7.321 * * * [progress]: adding candidates to table
7.568 * * [progress]: iteration 4 / 4
7.568 * * * [progress]: picking best candidate
7.643 * * * * [pick]: Picked  #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
7.643 * * * [progress]: localizing error
7.980 * * * [progress]: generating rewritten candidates
7.980 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
7.989 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
8.000 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
8.003 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
8.009 * * * [progress]: generating series expansions
8.009 * * * * [progress]: [ 1 / 4 ] generating series at (2)
8.009 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
8.009 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
8.009 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
8.009 * * * [progress]: simplifying candidates
8.009 * * * * [progress]: [ 1 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))))>
8.010 * * * * [progress]: [ 2 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))))>
8.010 * [simplify]: Simplifying (/.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
8.010 * * [simplify]: iters left: 5 (10 enodes)
8.013 * * [simplify]: iters left: 4 (26 enodes)
8.018 * * [simplify]: iters left: 3 (41 enodes)
8.025 * * [simplify]: iters left: 2 (89 enodes)
8.048 * * [simplify]: iters left: 1 (310 enodes)
8.199 * * [simplify]: Extracting #0: cost 1 inf + 0
8.200 * * [simplify]: Extracting #1: cost 4 inf + 0
8.200 * * [simplify]: Extracting #2: cost 13 inf + 1
8.200 * * [simplify]: Extracting #3: cost 134 inf + 3
8.201 * * [simplify]: Extracting #4: cost 332 inf + 10277
8.204 * * [simplify]: Extracting #5: cost 437 inf + 47353
8.213 * * [simplify]: Extracting #6: cost 328 inf + 194744
8.239 * * [simplify]: Extracting #7: cost 77 inf + 584324
8.276 * * [simplify]: Extracting #8: cost 2 inf + 730337
8.327 * * [simplify]: Extracting #9: cost 0 inf + 736701
8.381 * [simplify]: Simplified to (real->posit16 1.0)
8.381 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (real->posit16 1.0))))
8.381 * * * * [progress]: [ 3 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))))>
8.381 * [simplify]: Simplifying (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
8.382 * * [simplify]: iters left: 5 (10 enodes)
8.386 * * [simplify]: iters left: 4 (30 enodes)
8.395 * * [simplify]: iters left: 3 (66 enodes)
8.418 * * [simplify]: iters left: 2 (190 enodes)
8.508 * * [simplify]: Extracting #0: cost 1 inf + 0
8.508 * * [simplify]: Extracting #1: cost 10 inf + 0
8.509 * * [simplify]: Extracting #2: cost 100 inf + 0
8.510 * * [simplify]: Extracting #3: cost 199 inf + 1
8.512 * * [simplify]: Extracting #4: cost 189 inf + 28846
8.525 * * [simplify]: Extracting #5: cost 64 inf + 216208
8.545 * * [simplify]: Extracting #6: cost 4 inf + 312461
8.566 * * [simplify]: Extracting #7: cost 0 inf + 316865
8.593 * [simplify]: Simplified to (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
8.593 * [simplify]: Simplified (2 2 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))))
8.593 * * * * [progress]: [ 4 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
8.594 * [simplify]: Simplifying (neg.p16 (/.p16 (real->posit16 2) x))
8.594 * * [simplify]: iters left: 3 (5 enodes)
8.596 * * [simplify]: iters left: 2 (8 enodes)
8.599 * * [simplify]: Extracting #0: cost 1 inf + 0
8.599 * * [simplify]: Extracting #1: cost 2 inf + 0
8.599 * * [simplify]: Extracting #2: cost 4 inf + 0
8.599 * * [simplify]: Extracting #3: cost 4 inf + 1
8.599 * * [simplify]: Extracting #4: cost 3 inf + 2
8.599 * * [simplify]: Extracting #5: cost 0 inf + 967
8.599 * [simplify]: Simplified to (neg.p16 (/.p16 (real->posit16 2) x))
8.599 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (neg.p16 (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))
8.600 * * * * [progress]: [ 5 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
8.600 * [simplify]: Simplifying (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x)))
8.600 * * [simplify]: iters left: 5 (11 enodes)
8.606 * * [simplify]: iters left: 4 (42 enodes)
8.623 * * [simplify]: iters left: 3 (106 enodes)
8.652 * * [simplify]: iters left: 2 (384 enodes)
9.039 * * [simplify]: Extracting #0: cost 1 inf + 0
9.039 * * [simplify]: Extracting #1: cost 44 inf + 0
9.040 * * [simplify]: Extracting #2: cost 282 inf + 0
9.041 * * [simplify]: Extracting #3: cost 571 inf + 323
9.050 * * [simplify]: Extracting #4: cost 668 inf + 221993
9.109 * * [simplify]: Extracting #5: cost 137 inf + 1242878
9.200 * * [simplify]: Extracting #6: cost 12 inf + 1494188
9.275 * * [simplify]: Extracting #7: cost 1 inf + 1521933
9.383 * * [simplify]: Extracting #8: cost 0 inf + 1524295
9.491 * [simplify]: Simplified to (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))
9.491 * [simplify]: Simplified (2 2 1 1 1) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))
9.491 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
9.491 * * [simplify]: iters left: 4 (9 enodes)
9.495 * * [simplify]: iters left: 3 (23 enodes)
9.502 * * [simplify]: iters left: 2 (37 enodes)
9.513 * * [simplify]: iters left: 1 (85 enodes)
9.549 * * [simplify]: Extracting #0: cost 1 inf + 0
9.549 * * [simplify]: Extracting #1: cost 9 inf + 0
9.549 * * [simplify]: Extracting #2: cost 41 inf + 0
9.550 * * [simplify]: Extracting #3: cost 77 inf + 1
9.550 * * [simplify]: Extracting #4: cost 101 inf + 768
9.552 * * [simplify]: Extracting #5: cost 79 inf + 31041
9.557 * * [simplify]: Extracting #6: cost 19 inf + 89828
9.565 * * [simplify]: Extracting #7: cost 0 inf + 120780
9.571 * [simplify]: Simplified to (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))
9.572 * [simplify]: Simplified (2 2 1 1 2) to (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))
9.572 * * * * [progress]: [ 6 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))))>
9.572 * * * * [progress]: [ 7 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
9.572 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
9.572 * * [simplify]: iters left: 6 (15 enodes)
9.577 * * [simplify]: iters left: 5 (45 enodes)
9.593 * * [simplify]: iters left: 4 (137 enodes)
9.657 * * [simplify]: Extracting #0: cost 1 inf + 0
9.657 * * [simplify]: Extracting #1: cost 11 inf + 0
9.657 * * [simplify]: Extracting #2: cost 39 inf + 0
9.657 * * [simplify]: Extracting #3: cost 98 inf + 1
9.658 * * [simplify]: Extracting #4: cost 168 inf + 4226
9.661 * * [simplify]: Extracting #5: cost 115 inf + 98697
9.669 * * [simplify]: Extracting #6: cost 16 inf + 243077
9.681 * * [simplify]: Extracting #7: cost 0 inf + 268564
9.692 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
9.692 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
9.692 * * * * [progress]: [ 8 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
9.692 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
9.692 * * [simplify]: iters left: 6 (15 enodes)
9.696 * * [simplify]: iters left: 5 (45 enodes)
9.708 * * [simplify]: iters left: 4 (137 enodes)
9.767 * * [simplify]: Extracting #0: cost 1 inf + 0
9.767 * * [simplify]: Extracting #1: cost 11 inf + 0
9.767 * * [simplify]: Extracting #2: cost 39 inf + 0
9.768 * * [simplify]: Extracting #3: cost 98 inf + 1
9.768 * * [simplify]: Extracting #4: cost 168 inf + 4226
9.772 * * [simplify]: Extracting #5: cost 115 inf + 98697
9.780 * * [simplify]: Extracting #6: cost 16 inf + 243077
9.795 * * [simplify]: Extracting #7: cost 0 inf + 268564
9.807 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
9.807 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
9.807 * * * * [progress]: [ 9 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
9.807 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
9.807 * * [simplify]: iters left: 6 (15 enodes)
9.813 * * [simplify]: iters left: 5 (45 enodes)
9.825 * * [simplify]: iters left: 4 (137 enodes)
9.878 * * [simplify]: Extracting #0: cost 1 inf + 0
9.878 * * [simplify]: Extracting #1: cost 11 inf + 0
9.878 * * [simplify]: Extracting #2: cost 39 inf + 0
9.878 * * [simplify]: Extracting #3: cost 98 inf + 1
9.879 * * [simplify]: Extracting #4: cost 168 inf + 4226
9.882 * * [simplify]: Extracting #5: cost 115 inf + 98697
9.892 * * [simplify]: Extracting #6: cost 16 inf + 243077
9.911 * * [simplify]: Extracting #7: cost 0 inf + 268564
9.929 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
9.929 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
9.929 * * * * [progress]: [ 10 / 10 ] simplifiying candidate #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))>
9.929 * [simplify]: Simplifying (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))
9.929 * * [simplify]: iters left: 6 (15 enodes)
9.934 * * [simplify]: iters left: 5 (45 enodes)
9.945 * * [simplify]: iters left: 4 (137 enodes)
10.025 * * [simplify]: Extracting #0: cost 1 inf + 0
10.025 * * [simplify]: Extracting #1: cost 11 inf + 0
10.025 * * [simplify]: Extracting #2: cost 39 inf + 0
10.025 * * [simplify]: Extracting #3: cost 98 inf + 1
10.026 * * [simplify]: Extracting #4: cost 168 inf + 4226
10.029 * * [simplify]: Extracting #5: cost 115 inf + 98697
10.037 * * [simplify]: Extracting #6: cost 16 inf + 243077
10.049 * * [simplify]: Extracting #7: cost 0 inf + 268564
10.063 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x)))
10.063 * [simplify]: Simplified (2) to (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (+.p16 (real->posit16 1) x))))
10.063 * * * [progress]: adding candidates to table
10.470 * [progress]: [Phase 3 of 3] Extracting.
10.470 * * [regime]: Finding splitpoints for: (#<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))))>)
10.471 * * * [regime-changes]: Trying 1 branch expressions: (x)
10.471 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (*.p16 (/.p16 (real->posit16 1) (*.p16 (-.p16 x (real->posit16 1)) (+.p16 (real->posit16 1) x))) (+.p16 x (real->posit16 1)))))> #<alt (λ (x) (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (-.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x)))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)))))> #<alt (λ (x) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (*.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (*.p16 (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (+.p16 (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))))))> #<alt (λ (x) (+.p16 (/.p16 (-.p16 (*.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1)))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))))> #<alt (λ (x) (/.p16 (-.p16 (*.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))) (*.p16 (/.p16 (real->posit16 2) x) (/.p16 (real->posit16 2) x))) (+.p16 (+.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1)))) (/.p16 (real->posit16 2) x))))>)
10.596 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
10.596 * [simplify]: Simplifying (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
10.596 * * [simplify]: iters left: 5 (12 enodes)
10.604 * * [simplify]: iters left: 4 (14 enodes)
10.605 * * [simplify]: Extracting #0: cost 1 inf + 0
10.605 * * [simplify]: Extracting #1: cost 3 inf + 0
10.605 * * [simplify]: Extracting #2: cost 7 inf + 0
10.605 * * [simplify]: Extracting #3: cost 11 inf + 0
10.605 * * [simplify]: Extracting #4: cost 10 inf + 2
10.605 * * [simplify]: Extracting #5: cost 0 inf + 4141
10.605 * [simplify]: Simplified to (+.p16 (-.p16 (/.p16 (real->posit16 1) (+.p16 x (real->posit16 1))) (/.p16 (real->posit16 2) x)) (/.p16 (real->posit16 1) (-.p16 x (real->posit16 1))))
10.605 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
10.616 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
10.619 * * * * [points]: Setting MPFR precision to 64
10.620 * * * * [points]: Setting MPFR precision to 320
10.621 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
10.623 * * * * [points]: Setting MPFR precision to 64
10.625 * * * * [points]: Setting MPFR precision to 320
10.626 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
10.629 * * * * [points]: Setting MPFR precision to 64
10.632 * * * * [points]: Setting MPFR precision to 320
10.636 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
10.639 * * * * [points]: Setting MPFR precision to 64
10.645 * * * * [points]: Setting MPFR precision to 320
10.653 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
10.656 * * * * [points]: Setting MPFR precision to 64
10.667 * * * * [points]: Setting MPFR precision to 320
10.679 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
10.682 * * * * [points]: Setting MPFR precision to 64
10.705 * * * * [points]: Setting MPFR precision to 320
10.751 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
10.755 * * * * [points]: Setting MPFR precision to 64
10.807 * * * * [points]: Setting MPFR precision to 320
10.856 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
10.858 * * * * [points]: Setting MPFR precision to 64
11.007 * * * * [points]: Setting MPFR precision to 320
11.208 * * * * [points]: Computing exacts for 8000 points
11.213 * * * * [points]: Setting MPFR precision to 64
12.250 * * * * [points]: Setting MPFR precision to 320
13.139 * * * * [points]: Filtering points with unrepresentable outputs
13.161 * * * * [points]: Sampled 8000 points with exact outputs
18.694 * [regime-testing]: Baseline error score: 64.0
18.698 * [regime-testing]: Oracle error score: 64.0
18.711 * [regime-testing]: End program error score: 0.9802352338420897