3.762 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.001 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.001 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.003 * * * * [points]: Setting MPFR precision to 64
0.004 * * * * [points]: Setting MPFR precision to 320
0.005 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.007 * * * * [points]: Setting MPFR precision to 64
0.008 * * * * [points]: Setting MPFR precision to 320
0.009 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.015 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.021 * * * * [points]: Setting MPFR precision to 320
0.025 * * * * [points]: Computing exacts for 256 points
0.027 * * * * [points]: Setting MPFR precision to 64
0.042 * * * * [points]: Setting MPFR precision to 320
0.053 * * * * [points]: Filtering points with unrepresentable outputs
0.053 * * * * [points]: Sampled 256 points with exact outputs
0.054 * * * [progress]: [2/2] Setting up program.
0.058 * [progress]: [Phase 2 of 3] Improving.
0.058 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (x) (+.p16 (-.p16 (/.p16 #<cpointer:posit16> (+.p16 x #<cpointer:posit16>)) (/.p16 #<cpointer:posit16> x)) (/.p16 #<cpointer:posit16> (-.p16 x #<cpointer:posit16>))))>
0.058 * [simplify]: Simplifying:
  (+.p16 (-.p16 (/.p16 #<cpointer:posit16> (+.p16 x #<cpointer:posit16>)) (/.p16 #<cpointer:posit16> x)) (/.p16 #<cpointer:posit16> (-.p16 x #<cpointer:posit16>)))
0.058 * * [simplify]: iteration 0: 13 enodes
0.067 * * [simplify]: iteration 1: 21 enodes
0.079 * * [simplify]: iteration 2: 32 enodes
0.095 * * [simplify]: iteration 3: 39 enodes
0.112 * * [simplify]: iteration 4: 48 enodes
0.138 * * [simplify]: iteration 5: 59 enodes
0.164 * * [simplify]: iteration 6: 80 enodes
0.197 * * [simplify]: iteration 7: 89 enodes
0.237 * * [simplify]: iteration 8: 112 enodes
0.284 * * [simplify]: iteration 9: 136 enodes
0.341 * * [simplify]: iteration 10: 167 enodes
0.427 * * [simplify]: iteration 11: 207 enodes
0.548 * * [simplify]: iteration 12: 262 enodes
0.740 * * [simplify]: iteration 13: 320 enodes
0.981 * * [simplify]: iteration 14: 417 enodes
1.397 * * [simplify]: iteration 15: 496 enodes
2.012 * * [simplify]: iteration 16: 605 enodes
3.299 * * [simplify]: iteration 17: 733 enodes
4.734 * * [simplify]: iteration 18: 888 enodes
6.280 * * [simplify]: iteration 19: 1033 enodes
8.470 * * [simplify]: iteration 20: 1198 enodes
12.110 * * [simplify]: iteration 21: 1397 enodes
17.908 * * [simplify]: iteration 22: 1635 enodes
24.530 * * [simplify]: iteration 23: 1905 enodes
34.460 * * [simplify]: iteration 24: 2190 enodes
46.993 * * [simplify]: iteration 25: 2498 enodes
63.097 * * [simplify]: iteration 26: 2908 enodes
82.445 * * [simplify]: iteration 27: 3249 enodes
107.521 * * [simplify]: iteration 28: 3565 enodes
142.713 * * [simplify]: iteration 29: 4082 enodes
182.176 * * [simplify]: iteration 30: 4585 enodes
233.016 * * [simplify]: iteration 31: 4960 enodes
254.892 * * [simplify]: iteration complete: 5000 enodes
254.892 * * [simplify]: Extracting #0: cost 1 inf + 0
254.895 * * [simplify]: Extracting #1: cost 382 inf + 0
254.899 * * [simplify]: Extracting #2: cost 388 inf + 0
254.903 * * [simplify]: Extracting #3: cost 384 inf + 1570
254.908 * * [simplify]: Extracting #4: cost 353 inf + 27916
254.917 * * [simplify]: Extracting #5: cost 304 inf + 94475
254.945 * * [simplify]: Extracting #6: cost 230 inf + 212619
255.016 * * [simplify]: Extracting #7: cost 131 inf + 398998
255.130 * * [simplify]: Extracting #8: cost 47 inf + 569117
255.266 * * [simplify]: Extracting #9: cost 4 inf + 659575
255.407 * * [simplify]: Extracting #10: cost 0 inf + 668392
255.548 * [simplify]: Simplified to:
  (+.p16 (/.p16 #<cpointer:posit16> (-.p16 x #<cpointer:posit16>)) (-.p16 (/.p16 #<cpointer:posit16> (+.p16 x #<cpointer:posit16>)) (/.p16 #<cpointer:posit16> x)))