94.680 * [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.002 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.004 * * * * [points]: Setting MPFR precision to 64
0.005 * * * * [points]: Setting MPFR precision to 320
0.006 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.018 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.027 * * * * [points]: Setting MPFR precision to 64
0.031 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.040 * * * * [points]: Setting MPFR precision to 64
0.052 * * * * [points]: Setting MPFR precision to 320
0.065 * * * * [points]: Filtering points with unrepresentable outputs
0.066 * * * * [points]: Sampled 256 points with exact outputs
0.066 * * * [progress]: [2/2] Setting up program.
0.071 * [progress]: [Phase 2 of 3] Improving.
0.071 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (a rand) (*.p16 (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>)) (+.p16 #<cpointer:posit16> (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (*.p16 #<cpointer:posit16> (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>))))) rand))))>
0.072 * [simplify]: Simplifying:
  (*.p16 (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>)) (+.p16 #<cpointer:posit16> (*.p16 (/.p16 #<cpointer:posit16> (sqrt.p16 (*.p16 #<cpointer:posit16> (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>))))) rand)))
0.072 * * [simplify]: iteration 0: 19 enodes
0.098 * * [simplify]: iteration 1: 35 enodes
0.120 * * [simplify]: iteration 2: 79 enodes
0.166 * * [simplify]: iteration 3: 168 enodes
0.251 * * [simplify]: iteration 4: 271 enodes
0.364 * * [simplify]: iteration 5: 398 enodes
0.517 * * [simplify]: iteration 6: 433 enodes
0.634 * * [simplify]: iteration 7: 476 enodes
0.778 * * [simplify]: iteration 8: 531 enodes
0.897 * * [simplify]: iteration 9: 543 enodes
1.000 * * [simplify]: iteration complete: 543 enodes
1.000 * * [simplify]: Extracting #0: cost 1 inf + 0
1.000 * * [simplify]: Extracting #1: cost 17 inf + 0
1.000 * * [simplify]: Extracting #2: cost 59 inf + 0
1.000 * * [simplify]: Extracting #3: cost 56 inf + 648
1.001 * * [simplify]: Extracting #4: cost 55 inf + 1937
1.001 * * [simplify]: Extracting #5: cost 51 inf + 5435
1.001 * * [simplify]: Extracting #6: cost 46 inf + 11137
1.002 * * [simplify]: Extracting #7: cost 44 inf + 11139
1.004 * * [simplify]: Extracting #8: cost 21 inf + 47142
1.008 * * [simplify]: Extracting #9: cost 1 inf + 91122
1.013 * * [simplify]: Extracting #10: cost 0 inf + 92971
1.019 * * [simplify]: Extracting #11: cost 0 inf + 92931
1.024 * [simplify]: Simplified to:
  (*.p16 (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>)) (+.p16 #<cpointer:posit16> (/.p16 (*.p16 rand #<cpointer:posit16>) (sqrt.p16 (*.p16 (-.p16 a (/.p16 #<cpointer:posit16> #<cpointer:posit16>)) #<cpointer:posit16>)))))