0.810 * [progress]: [Phase 1 of 3] Setting up.
0.034 * * * [progress]: [1/2] Preparing points
0.036 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.039 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.219 * * * * [points]: Setting MPFR precision to 64
0.222 * * * * [points]: Setting MPFR precision to 320
0.224 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.226 * * * * [points]: Setting MPFR precision to 64
0.228 * * * * [points]: Setting MPFR precision to 320
0.232 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.233 * * * * [points]: Setting MPFR precision to 64
0.238 * * * * [points]: Setting MPFR precision to 320
0.245 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.246 * * * * [points]: Setting MPFR precision to 64
0.254 * * * * [points]: Setting MPFR precision to 320
0.262 * * * * [points]: Computing exacts for 256 points
0.263 * * * * [points]: Setting MPFR precision to 64
0.286 * * * * [points]: Setting MPFR precision to 320
0.309 * * * * [points]: Filtering points with unrepresentable outputs
0.311 * * * * [points]: Sampled 256 points with exact outputs
0.312 * * * [progress]: [2/2] Setting up program.
0.321 * [progress]: [Phase 2 of 3] Improving.
0.322 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.325 * [simplify]: Simplifying:
  (+.p16 (*.p16 re im) (*.p16 im re))
0.326 * * [simplify]: iteration 0: 5 enodes
0.334 * * [simplify]: iteration 1: 6 enodes
0.336 * * [simplify]: iteration 2: 10 enodes
0.339 * * [simplify]: iteration 3: 12 enodes
0.343 * * [simplify]: iteration complete: 12 enodes
0.343 * * [simplify]: Extracting #0: cost 1 inf + 0
0.344 * * [simplify]: Extracting #1: cost 6 inf + 0
0.344 * * [simplify]: Extracting #2: cost 3 inf + 43
0.345 * * [simplify]: Extracting #3: cost 0 inf + 768
0.345 * [simplify]: Simplified to:
  (*.p16 (+.p16 im im) re)
0.402 * * [progress]: iteration 1 / 4
0.402 * * * [progress]: picking best candidate
0.417 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (+.p16 im im) re))>
0.417 * * * [progress]: localizing error
0.489 * * * [progress]: generating rewritten candidates
0.489 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.500 * * * [progress]: generating series expansions
0.500 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.500 * * * [progress]: simplifying candidates
0.500 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.501 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.501 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im im) (*.p16 (real->posit16 1.0) re)))>
0.501 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.501 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.501 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (*.p16 (+.p16 im im) re))))>
0.501 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 im im) re)))>
0.501 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (+.p16 im im) re) (real->posit16 0.0)))>
0.501 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 (+.p16 im im) re) (real->posit16 0.0)))>
0.501 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.501 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.501 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.501 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 re (+.p16 im im)))>
0.501 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im im) re))>
0.502 * [simplify]: Simplifying:
  (*.p16 (+.p16 im im) re)
  (*.p16 (+.p16 im im) re)
  (*.p16 (real->posit16 1.0) re)
  (*.p16 (+.p16 im im) re)
  (real->posit16 1.0)
  (posit16->quire16 (*.p16 (+.p16 im im) re))
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (*.p16 (+.p16 im im) re)
0.502 * * [simplify]: iteration 0: 10 enodes
0.508 * * [simplify]: iteration 1: 12 enodes
0.513 * * [simplify]: iteration 2: 18 enodes
0.519 * * [simplify]: iteration 3: 25 enodes
0.524 * * [simplify]: iteration 4: 26 enodes
0.530 * * [simplify]: iteration complete: 26 enodes
0.530 * * [simplify]: Extracting #0: cost 5 inf + 0
0.530 * * [simplify]: Extracting #1: cost 10 inf + 1
0.530 * * [simplify]: Extracting #2: cost 4 inf + 47
0.530 * * [simplify]: Extracting #3: cost 0 inf + 1134
0.531 * [simplify]: Simplified to:
  (*.p16 re (+.p16 im im))
  (*.p16 re (+.p16 im im))
  re
  (*.p16 re (+.p16 im im))
  (real->posit16 1.0)
  (posit16->quire16 (*.p16 re (+.p16 im im)))
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (*.p16 re (+.p16 im im))
0.531 * * * [progress]: adding candidates to table
0.874 * * [progress]: iteration 2 / 4
0.874 * * * [progress]: picking best candidate
0.880 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.880 * * * [progress]: localizing error
0.981 * * * [progress]: generating rewritten candidates
0.981 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.989 * * * [progress]: generating series expansions
0.989 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.989 * * * [progress]: simplifying candidates
0.989 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (real->posit16 0.0)) (*.p16 im re)))>
0.990 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.990 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.990 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (+.p16 (real->posit16 0.0) (*.p16 im re))))>
0.990 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.990 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re im) (-.p16 (real->posit16 0.0) (*.p16 im re))))>
0.990 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.990 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (+.p16 (*.p16 re im) (*.p16 im re)))))>
0.990 * * * * [progress]: [ 9 / 18 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re im)) (*.p16 im re) (real->posit16 1.0))))>
0.990 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re im)) im re)))>
0.990 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.990 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.990 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.990 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.990 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 1.0)))>
0.990 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 1.0)))>
0.990 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im re) (*.p16 re im)))>
0.991 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.991 * [simplify]: Simplifying:
  (+.p16 (*.p16 re im) (real->posit16 0.0))
  (+.p16 (*.p16 re im) (*.p16 im re))
  (+.p16 (*.p16 re im) (*.p16 im re))
  (+.p16 (real->posit16 0.0) (*.p16 im re))
  (+.p16 (*.p16 re im) (*.p16 im re))
  (-.p16 (real->posit16 0.0) (*.p16 im re))
  (real->posit16 1.0)
  (posit16->quire16 (+.p16 (*.p16 re im) (*.p16 im re)))
  (quire16-mul-add (posit16->quire16 (*.p16 re im)) (*.p16 im re) (real->posit16 1.0))
  (quire16-mul-add (posit16->quire16 (*.p16 re im)) im re)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (+.p16 (*.p16 re im) (*.p16 im re))
0.991 * * [simplify]: iteration 0: 16 enodes
0.999 * * [simplify]: iteration 1: 21 enodes
1.005 * * [simplify]: iteration 2: 34 enodes
1.011 * * [simplify]: iteration 3: 63 enodes
1.025 * * [simplify]: iteration 4: 131 enodes
1.097 * * [simplify]: iteration 5: 263 enodes
1.123 * * [simplify]: iteration 6: 288 enodes
1.142 * * [simplify]: iteration complete: 288 enodes
1.142 * * [simplify]: Extracting #0: cost 8 inf + 0
1.143 * * [simplify]: Extracting #1: cost 16 inf + 0
1.143 * * [simplify]: Extracting #2: cost 11 inf + 5
1.143 * * [simplify]: Extracting #3: cost 4 inf + 1616
1.144 * * [simplify]: Extracting #4: cost 0 inf + 2945
1.144 * [simplify]: Simplified to:
  (*.p16 im re)
  (*.p16 im (+.p16 re re))
  (*.p16 im (+.p16 re re))
  (*.p16 im re)
  (*.p16 im (+.p16 re re))
  (neg.p16 (*.p16 im re))
  (real->posit16 1.0)
  (posit16->quire16 (*.p16 im (+.p16 re re)))
  (quire16-mul-add (posit16->quire16 (*.p16 im re)) (*.p16 im re) (real->posit16 1.0))
  (quire16-mul-add (posit16->quire16 (*.p16 im re)) im re)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (*.p16 im (+.p16 re re))
1.145 * * * [progress]: adding candidates to table
1.532 * * [progress]: iteration 3 / 4
1.532 * * * [progress]: picking best candidate
1.538 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 im (+.p16 re re)))>
1.539 * * * [progress]: localizing error
1.616 * * * [progress]: generating rewritten candidates
1.616 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
1.620 * * * [progress]: generating series expansions
1.620 * * * * [progress]: [ 1 / 1 ] generating series at (2)
1.620 * * * [progress]: simplifying candidates
1.620 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im re) (*.p16 im re)))>
1.620 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 re im)))>
1.620 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (real->posit16 1.0)) (+.p16 re re)))>
1.620 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (real->posit16 1.0)) (+.p16 re re)))>
1.620 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
1.620 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
1.620 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 im (+.p16 re re))))>
1.620 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (*.p16 im (+.p16 re re)))))>
1.620 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (*.p16 im (+.p16 re re))))>
1.620 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (+.p16 re re)) (real->posit16 0.0)))>
1.620 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 im (+.p16 re re)) (real->posit16 0.0)))>
1.620 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 im (+.p16 re re))))>
1.620 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
1.620 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
1.620 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 re re) im))>
1.620 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 im (+.p16 re re)))>
1.621 * [simplify]: Simplifying:
  (*.p16 im re)
  (*.p16 im re)
  (*.p16 re im)
  (*.p16 re im)
  (*.p16 im (real->posit16 1.0))
  (*.p16 im (real->posit16 1.0))
  (*.p16 im (+.p16 re re))
  (*.p16 im (+.p16 re re))
  (real->posit16 1.0)
  (posit16->quire16 (*.p16 im (+.p16 re re)))
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (*.p16 im (+.p16 re re))
1.621 * * [simplify]: iteration 0: 12 enodes
1.624 * * [simplify]: iteration 1: 18 enodes
1.627 * * [simplify]: iteration 2: 24 enodes
1.631 * * [simplify]: iteration 3: 28 enodes
1.634 * * [simplify]: iteration 4: 34 enodes
1.639 * * [simplify]: iteration 5: 37 enodes
1.642 * * [simplify]: iteration 6: 41 enodes
1.646 * * [simplify]: iteration 7: 47 enodes
1.650 * * [simplify]: iteration 8: 52 enodes
1.659 * * [simplify]: iteration 9: 58 enodes
1.668 * * [simplify]: iteration 10: 62 enodes
1.673 * * [simplify]: iteration 11: 68 enodes
1.679 * * [simplify]: iteration 12: 71 enodes
1.684 * * [simplify]: iteration 13: 75 enodes
1.690 * * [simplify]: iteration 14: 81 enodes
1.699 * * [simplify]: iteration 15: 86 enodes
1.709 * * [simplify]: iteration 16: 92 enodes
1.716 * * [simplify]: iteration 17: 96 enodes
1.724 * * [simplify]: iteration 18: 102 enodes
1.730 * * [simplify]: iteration 19: 105 enodes
1.738 * * [simplify]: iteration 20: 109 enodes
1.751 * * [simplify]: iteration 21: 115 enodes
1.760 * * [simplify]: iteration 22: 120 enodes
1.767 * * [simplify]: iteration 23: 126 enodes
1.778 * * [simplify]: iteration 24: 130 enodes
1.795 * * [simplify]: iteration 25: 136 enodes
1.811 * * [simplify]: iteration 26: 139 enodes
1.833 * * [simplify]: iteration 27: 143 enodes
1.849 * * [simplify]: iteration 28: 149 enodes
1.861 * * [simplify]: iteration 29: 154 enodes
1.871 * * [simplify]: iteration 30: 160 enodes
1.894 * * [simplify]: iteration 31: 164 enodes
1.914 * * [simplify]: iteration 32: 170 enodes
1.923 * * [simplify]: iteration 33: 173 enodes
1.946 * * [simplify]: iteration 34: 177 enodes
1.967 * * [simplify]: iteration 35: 183 enodes
1.994 * * [simplify]: iteration 36: 188 enodes
2.004 * * [simplify]: iteration 37: 194 enodes
2.018 * * [simplify]: iteration 38: 198 enodes
2.045 * * [simplify]: iteration 39: 204 enodes
2.068 * * [simplify]: iteration 40: 207 enodes
2.100 * * [simplify]: iteration 41: 211 enodes
2.114 * * [simplify]: iteration 42: 217 enodes
2.131 * * [simplify]: iteration 43: 222 enodes
2.151 * * [simplify]: iteration 44: 228 enodes
2.184 * * [simplify]: iteration 45: 232 enodes
2.222 * * [simplify]: iteration 46: 238 enodes
2.243 * * [simplify]: iteration 47: 241 enodes
2.266 * * [simplify]: iteration 48: 245 enodes
2.291 * * [simplify]: iteration 49: 251 enodes
2.325 * * [simplify]: iteration 50: 256 enodes
2.337 * * [simplify]: iteration 51: 262 enodes
2.366 * * [simplify]: iteration 52: 266 enodes
2.390 * * [simplify]: iteration 53: 272 enodes
2.417 * * [simplify]: iteration 54: 275 enodes
2.448 * * [simplify]: iteration 55: 279 enodes
2.464 * * [simplify]: iteration 56: 285 enodes
2.514 * * [simplify]: iteration 57: 290 enodes
2.539 * * [simplify]: iteration 58: 296 enodes
2.564 * * [simplify]: iteration 59: 300 enodes
2.612 * * [simplify]: iteration 60: 306 enodes
2.632 * * [simplify]: iteration 61: 309 enodes
2.671 * * [simplify]: iteration 62: 313 enodes
2.701 * * [simplify]: iteration 63: 319 enodes
2.729 * * [simplify]: iteration 64: 324 enodes
2.760 * * [simplify]: iteration 65: 330 enodes
2.802 * * [simplify]: iteration 66: 334 enodes
2.834 * * [simplify]: iteration 67: 340 enodes
2.849 * * [simplify]: iteration 68: 343 enodes
2.885 * * [simplify]: iteration 69: 347 enodes
2.912 * * [simplify]: iteration 70: 353 enodes
2.955 * * [simplify]: iteration 71: 358 enodes
2.974 * * [simplify]: iteration 72: 364 enodes
3.021 * * [simplify]: iteration 73: 368 enodes
3.095 * * [simplify]: iteration 74: 374 enodes
3.129 * * [simplify]: iteration 75: 377 enodes
3.175 * * [simplify]: iteration 76: 381 enodes
3.193 * * [simplify]: iteration 77: 387 enodes
3.240 * * [simplify]: iteration 78: 392 enodes
3.258 * * [simplify]: iteration 79: 398 enodes
3.299 * * [simplify]: iteration 80: 402 enodes
3.341 * * [simplify]: iteration 81: 408 enodes
3.360 * * [simplify]: iteration 82: 411 enodes
3.405 * * [simplify]: iteration 83: 415 enodes
3.431 * * [simplify]: iteration 84: 421 enodes
3.473 * * [simplify]: iteration 85: 426 enodes
3.494 * * [simplify]: iteration 86: 432 enodes
3.553 * * [simplify]: iteration 87: 436 enodes
3.602 * * [simplify]: iteration 88: 442 enodes
3.623 * * [simplify]: iteration 89: 445 enodes
3.674 * * [simplify]: iteration 90: 449 enodes
3.717 * * [simplify]: iteration 91: 455 enodes
3.819 * * [simplify]: iteration 92: 460 enodes
3.864 * * [simplify]: iteration 93: 466 enodes
3.959 * * [simplify]: iteration 94: 470 enodes
4.026 * * [simplify]: iteration 95: 476 enodes
4.068 * * [simplify]: iteration 96: 479 enodes
4.177 * * [simplify]: iteration 97: 483 enodes
4.224 * * [simplify]: iteration 98: 489 enodes
4.336 * * [simplify]: iteration 99: 494 enodes
4.381 * * [simplify]: iteration 100: 500 enodes
4.499 * * [simplify]: iteration 101: 504 enodes
4.618 * * [simplify]: iteration 102: 510 enodes
4.664 * * [simplify]: iteration 103: 513 enodes
4.781 * * [simplify]: iteration 104: 517 enodes
4.832 * * [simplify]: iteration 105: 523 enodes
4.954 * * [simplify]: iteration 106: 528 enodes
5.003 * * [simplify]: iteration 107: 534 enodes
5.133 * * [simplify]: iteration 108: 538 enodes
5.263 * * [simplify]: iteration 109: 544 enodes
5.288 * * [simplify]: iteration 110: 547 enodes
5.389 * * [simplify]: iteration 111: 551 enodes
5.413 * * [simplify]: iteration 112: 557 enodes
5.523 * * [simplify]: iteration 113: 562 enodes
5.575 * * [simplify]: iteration 114: 568 enodes
5.721 * * [simplify]: iteration 115: 572 enodes
5.867 * * [simplify]: iteration 116: 578 enodes
5.922 * * [simplify]: iteration 117: 581 enodes
6.064 * * [simplify]: iteration 118: 585 enodes
6.121 * * [simplify]: iteration 119: 591 enodes
6.207 * * [simplify]: iteration 120: 596 enodes
6.235 * * [simplify]: iteration 121: 602 enodes
6.311 * * [simplify]: iteration 122: 606 enodes
6.390 * * [simplify]: iteration 123: 612 enodes
6.418 * * [simplify]: iteration 124: 615 enodes
6.495 * * [simplify]: iteration 125: 619 enodes
6.549 * * [simplify]: iteration 126: 625 enodes
6.712 * * [simplify]: iteration 127: 630 enodes
6.767 * * [simplify]: iteration 128: 636 enodes
6.893 * * [simplify]: iteration 129: 640 enodes
7.027 * * [simplify]: iteration 130: 646 enodes
7.084 * * [simplify]: iteration 131: 649 enodes
7.189 * * [simplify]: iteration 132: 653 enodes
7.220 * * [simplify]: iteration 133: 659 enodes
7.330 * * [simplify]: iteration 134: 664 enodes
7.387 * * [simplify]: iteration 135: 670 enodes
7.542 * * [simplify]: iteration 136: 674 enodes
7.642 * * [simplify]: iteration 137: 680 enodes
7.671 * * [simplify]: iteration 138: 683 enodes
7.766 * * [simplify]: iteration 139: 687 enodes
7.801 * * [simplify]: iteration 140: 693 enodes
7.899 * * [simplify]: iteration 141: 698 enodes
7.930 * * [simplify]: iteration 142: 704 enodes
8.035 * * [simplify]: iteration 143: 708 enodes
8.151 * * [simplify]: iteration 144: 714 enodes
8.203 * * [simplify]: iteration 145: 717 enodes
8.322 * * [simplify]: iteration 146: 721 enodes
8.394 * * [simplify]: iteration 147: 727 enodes
8.612 * * [simplify]: iteration 148: 732 enodes
8.681 * * [simplify]: iteration 149: 738 enodes
8.902 * * [simplify]: iteration 150: 742 enodes
9.129 * * [simplify]: iteration 151: 748 enodes
9.173 * * [simplify]: iteration 152: 751 enodes
9.342 * * [simplify]: iteration 153: 755 enodes
9.394 * * [simplify]: iteration 154: 761 enodes
9.599 * * [simplify]: iteration 155: 766 enodes
9.651 * * [simplify]: iteration 156: 772 enodes
9.835 * * [simplify]: iteration 157: 776 enodes
10.051 * * [simplify]: iteration 158: 782 enodes
10.131 * * [simplify]: iteration 159: 785 enodes
10.419 * * [simplify]: iteration 160: 789 enodes
10.492 * * [simplify]: iteration 161: 795 enodes
10.751 * * [simplify]: iteration 162: 800 enodes
10.803 * * [simplify]: iteration 163: 806 enodes
11.100 * * [simplify]: iteration 164: 810 enodes
11.384 * * [simplify]: iteration 165: 816 enodes
11.442 * * [simplify]: iteration 166: 819 enodes
11.689 * * [simplify]: iteration 167: 823 enodes
11.769 * * [simplify]: iteration 168: 829 enodes
12.001 * * [simplify]: iteration 169: 834 enodes
12.048 * * [simplify]: iteration 170: 840 enodes
12.304 * * [simplify]: iteration 171: 844 enodes
12.469 * * [simplify]: iteration 172: 850 enodes
12.523 * * [simplify]: iteration 173: 853 enodes
12.725 * * [simplify]: iteration 174: 857 enodes
12.781 * * [simplify]: iteration 175: 863 enodes
12.991 * * [simplify]: iteration 176: 868 enodes
13.029 * * [simplify]: iteration 177: 874 enodes
13.288 * * [simplify]: iteration 178: 878 enodes
13.509 * * [simplify]: iteration 179: 884 enodes
13.579 * * [simplify]: iteration 180: 887 enodes
13.771 * * [simplify]: iteration 181: 891 enodes
13.833 * * [simplify]: iteration 182: 897 enodes
14.104 * * [simplify]: iteration 183: 902 enodes
14.165 * * [simplify]: iteration 184: 908 enodes
14.399 * * [simplify]: iteration 185: 912 enodes
14.735 * * [simplify]: iteration 186: 918 enodes
14.823 * * [simplify]: iteration 187: 921 enodes
15.101 * * [simplify]: iteration 188: 925 enodes
15.183 * * [simplify]: iteration 189: 931 enodes
15.432 * * [simplify]: iteration 190: 936 enodes
15.507 * * [simplify]: iteration 191: 942 enodes
15.837 * * [simplify]: iteration 192: 946 enodes
16.069 * * [simplify]: iteration 193: 952 enodes
16.150 * * [simplify]: iteration 194: 955 enodes
16.474 * * [simplify]: iteration 195: 959 enodes
16.539 * * [simplify]: iteration 196: 965 enodes
16.831 * * [simplify]: iteration 197: 970 enodes
16.899 * * [simplify]: iteration 198: 976 enodes
17.106 * * [simplify]: iteration 199: 980 enodes
17.335 * * [simplify]: iteration 200: 986 enodes
17.406 * * [simplify]: iteration 201: 989 enodes
17.731 * * [simplify]: iteration 202: 993 enodes
17.788 * * [simplify]: iteration 203: 999 enodes
18.073 * * [simplify]: iteration 204: 1004 enodes
18.173 * * [simplify]: iteration 205: 1010 enodes
18.624 * * [simplify]: iteration 206: 1014 enodes
18.946 * * [simplify]: iteration 207: 1020 enodes
19.000 * * [simplify]: iteration 208: 1023 enodes
19.240 * * [simplify]: iteration 209: 1027 enodes
19.293 * * [simplify]: iteration 210: 1033 enodes
19.518 * * [simplify]: iteration 211: 1038 enodes
19.567 * * [simplify]: iteration 212: 1044 enodes
19.874 * * [simplify]: iteration 213: 1048 enodes
20.226 * * [simplify]: iteration 214: 1054 enodes
20.299 * * [simplify]: iteration 215: 1057 enodes
20.647 * * [simplify]: iteration 216: 1061 enodes
20.707 * * [simplify]: iteration 217: 1067 enodes
20.980 * * [simplify]: iteration 218: 1072 enodes
21.040 * * [simplify]: iteration 219: 1078 enodes
21.305 * * [simplify]: iteration 220: 1082 enodes
21.628 * * [simplify]: iteration 221: 1088 enodes
21.725 * * [simplify]: iteration 222: 1091 enodes
22.054 * * [simplify]: iteration 223: 1095 enodes
22.152 * * [simplify]: iteration 224: 1101 enodes
22.480 * * [simplify]: iteration 225: 1106 enodes
22.587 * * [simplify]: iteration 226: 1112 enodes
22.917 * * [simplify]: iteration 227: 1116 enodes
23.232 * * [simplify]: iteration 228: 1122 enodes
23.337 * * [simplify]: iteration 229: 1125 enodes
23.689 * * [simplify]: iteration 230: 1129 enodes
23.758 * * [simplify]: iteration 231: 1135 enodes
24.130 * * [simplify]: iteration 232: 1140 enodes
24.212 * * [simplify]: iteration 233: 1146 enodes
24.607 * * [simplify]: iteration 234: 1150 enodes
24.952 * * [simplify]: iteration 235: 1156 enodes
25.042 * * [simplify]: iteration 236: 1159 enodes
25.451 * * [simplify]: iteration 237: 1163 enodes
25.561 * * [simplify]: iteration 238: 1169 enodes
26.036 * * [simplify]: iteration 239: 1174 enodes
26.126 * * [simplify]: iteration 240: 1180 enodes
26.501 * * [simplify]: iteration 241: 1184 enodes
26.821 * * [simplify]: iteration 242: 1190 enodes
26.916 * * [simplify]: iteration 243: 1193 enodes
27.284 * * [simplify]: iteration 244: 1197 enodes
27.376 * * [simplify]: iteration 245: 1203 enodes
27.712 * * [simplify]: iteration 246: 1208 enodes
27.825 * * [simplify]: iteration 247: 1214 enodes
28.280 * * [simplify]: iteration 248: 1218 enodes
28.734 * * [simplify]: iteration 249: 1224 enodes
28.828 * * [simplify]: iteration 250: 1227 enodes
29.280 * * [simplify]: iteration 251: 1231 enodes
29.380 * * [simplify]: iteration 252: 1237 enodes
30.297 * * [simplify]: iteration 253: 1242 enodes
30.370 * * [simplify]: iteration 254: 1248 enodes
30.853 * * [simplify]: iteration 255: 1252 enodes
31.425 * * [simplify]: iteration 256: 1258 enodes
31.540 * * [simplify]: iteration 257: 1261 enodes
31.932 * * [simplify]: iteration 258: 1265 enodes
32.002 * * [simplify]: iteration 259: 1271 enodes
32.559 * * [simplify]: iteration 260: 1276 enodes
32.674 * * [simplify]: iteration 261: 1282 enodes
33.067 * * [simplify]: iteration 262: 1286 enodes
33.448 * * [simplify]: iteration 263: 1292 enodes
33.507 * * [simplify]: iteration 264: 1295 enodes
33.973 * * [simplify]: iteration 265: 1299 enodes
34.035 * * [simplify]: iteration 266: 1305 enodes
34.356 * * [simplify]: iteration 267: 1310 enodes
34.413 * * [simplify]: iteration 268: 1316 enodes
34.873 * * [simplify]: iteration 269: 1320 enodes
35.306 * * [simplify]: iteration 270: 1326 enodes
35.423 * * [simplify]: iteration 271: 1329 enodes
35.947 * * [simplify]: iteration 272: 1333 enodes
36.069 * * [simplify]: iteration 273: 1339 enodes
36.612 * * [simplify]: iteration 274: 1344 enodes
36.676 * * [simplify]: iteration 275: 1350 enodes
37.093 * * [simplify]: iteration 276: 1354 enodes
37.695 * * [simplify]: iteration 277: 1360 enodes
37.818 * * [simplify]: iteration 278: 1363 enodes
38.352 * * [simplify]: iteration 279: 1367 enodes
38.417 * * [simplify]: iteration 280: 1373 enodes
38.892 * * [simplify]: iteration 281: 1378 enodes
38.977 * * [simplify]: iteration 282: 1384 enodes
39.408 * * [simplify]: iteration 283: 1388 enodes
39.935 * * [simplify]: iteration 284: 1394 enodes
40.029 * * [simplify]: iteration 285: 1397 enodes
40.659 * * [simplify]: iteration 286: 1401 enodes
40.736 * * [simplify]: iteration 287: 1407 enodes
41.265 * * [simplify]: iteration 288: 1412 enodes
41.333 * * [simplify]: iteration 289: 1418 enodes
41.818 * * [simplify]: iteration 290: 1422 enodes
42.399 * * [simplify]: iteration 291: 1428 enodes
42.480 * * [simplify]: iteration 292: 1431 enodes
43.034 * * [simplify]: iteration 293: 1435 enodes
43.134 * * [simplify]: iteration 294: 1441 enodes
43.676 * * [simplify]: iteration 295: 1446 enodes
43.793 * * [simplify]: iteration 296: 1452 enodes
44.384 * * [simplify]: iteration 297: 1456 enodes
45.041 * * [simplify]: iteration 298: 1462 enodes
45.168 * * [simplify]: iteration 299: 1465 enodes
45.766 * * [simplify]: iteration 300: 1469 enodes
45.883 * * [simplify]: iteration 301: 1475 enodes
46.434 * * [simplify]: iteration 302: 1480 enodes
46.543 * * [simplify]: iteration 303: 1486 enodes
47.071 * * [simplify]: iteration 304: 1490 enodes
47.793 * * [simplify]: iteration 305: 1496 enodes
47.883 * * [simplify]: iteration 306: 1499 enodes
48.431 * * [simplify]: iteration 307: 1503 enodes
48.529 * * [simplify]: iteration 308: 1509 enodes
49.173 * * [simplify]: iteration 309: 1514 enodes
49.266 * * [simplify]: iteration 310: 1520 enodes
49.951 * * [simplify]: iteration 311: 1524 enodes
50.595 * * [simplify]: iteration 312: 1530 enodes
50.702 * * [simplify]: iteration 313: 1533 enodes
51.287 * * [simplify]: iteration 314: 1537 enodes
51.363 * * [simplify]: iteration 315: 1543 enodes
51.925 * * [simplify]: iteration 316: 1548 enodes
52.034 * * [simplify]: iteration 317: 1554 enodes
52.710 * * [simplify]: iteration 318: 1558 enodes
53.411 * * [simplify]: iteration 319: 1564 enodes
53.553 * * [simplify]: iteration 320: 1567 enodes
54.480 * * [simplify]: iteration 321: 1571 enodes
54.589 * * [simplify]: iteration 322: 1577 enodes
55.324 * * [simplify]: iteration 323: 1582 enodes
55.474 * * [simplify]: iteration 324: 1588 enodes
56.235 * * [simplify]: iteration 325: 1592 enodes
56.882 * * [simplify]: iteration 326: 1598 enodes
56.962 * * [simplify]: iteration 327: 1601 enodes
57.934 * * [simplify]: iteration 328: 1605 enodes
58.091 * * [simplify]: iteration 329: 1611 enodes
58.707 * * [simplify]: iteration 330: 1616 enodes
58.802 * * [simplify]: iteration 331: 1622 enodes
59.737 * * [simplify]: iteration 332: 1626 enodes
60.347 * * [simplify]: iteration 333: 1632 enodes
60.454 * * [simplify]: iteration 334: 1635 enodes
61.245 * * [simplify]: iteration 335: 1639 enodes
61.377 * * [simplify]: iteration 336: 1645 enodes
62.227 * * [simplify]: iteration 337: 1650 enodes
62.388 * * [simplify]: iteration 338: 1656 enodes
63.182 * * [simplify]: iteration 339: 1660 enodes
63.936 * * [simplify]: iteration 340: 1666 enodes
64.043 * * [simplify]: iteration 341: 1669 enodes
64.915 * * [simplify]: iteration 342: 1673 enodes
65.051 * * [simplify]: iteration 343: 1679 enodes
65.892 * * [simplify]: iteration 344: 1684 enodes
66.055 * * [simplify]: iteration 345: 1690 enodes
67.054 * * [simplify]: iteration 346: 1694 enodes
67.971 * * [simplify]: iteration 347: 1700 enodes
68.070 * * [simplify]: iteration 348: 1703 enodes
68.751 * * [simplify]: iteration 349: 1707 enodes
68.906 * * [simplify]: iteration 350: 1713 enodes
69.755 * * [simplify]: iteration 351: 1718 enodes
69.868 * * [simplify]: iteration 352: 1724 enodes
70.569 * * [simplify]: iteration 353: 1728 enodes
71.536 * * [simplify]: iteration 354: 1734 enodes
71.695 * * [simplify]: iteration 355: 1737 enodes
72.682 * * [simplify]: iteration 356: 1741 enodes
72.783 * * [simplify]: iteration 357: 1747 enodes
73.599 * * [simplify]: iteration 358: 1752 enodes
73.721 * * [simplify]: iteration 359: 1758 enodes
74.595 * * [simplify]: iteration 360: 1762 enodes
75.519 * * [simplify]: iteration 361: 1768 enodes
75.657 * * [simplify]: iteration 362: 1771 enodes
76.453 * * [simplify]: iteration 363: 1775 enodes
76.579 * * [simplify]: iteration 364: 1781 enodes
77.501 * * [simplify]: iteration 365: 1786 enodes
77.613 * * [simplify]: iteration 366: 1792 enodes
78.377 * * [simplify]: iteration 367: 1796 enodes
79.313 * * [simplify]: iteration 368: 1802 enodes
79.465 * * [simplify]: iteration 369: 1805 enodes
80.463 * * [simplify]: iteration 370: 1809 enodes
80.641 * * [simplify]: iteration 371: 1815 enodes
81.655 * * [simplify]: iteration 372: 1820 enodes
81.825 * * [simplify]: iteration 373: 1826 enodes
82.722 * * [simplify]: iteration 374: 1830 enodes
83.785 * * [simplify]: iteration 375: 1836 enodes
83.891 * * [simplify]: iteration 376: 1839 enodes
84.745 * * [simplify]: iteration 377: 1843 enodes
84.880 * * [simplify]: iteration 378: 1849 enodes
85.815 * * [simplify]: iteration 379: 1854 enodes
85.916 * * [simplify]: iteration 380: 1860 enodes
86.799 * * [simplify]: iteration 381: 1864 enodes
87.793 * * [simplify]: iteration 382: 1870 enodes
87.882 * * [simplify]: iteration 383: 1873 enodes
88.673 * * [simplify]: iteration 384: 1877 enodes
88.765 * * [simplify]: iteration 385: 1883 enodes
89.865 * * [simplify]: iteration 386: 1888 enodes
90.029 * * [simplify]: iteration 387: 1894 enodes
91.628 * * [simplify]: iteration 388: 1898 enodes
92.594 * * [simplify]: iteration 389: 1904 enodes
92.716 * * [simplify]: iteration 390: 1907 enodes
93.790 * * [simplify]: iteration 391: 1911 enodes
93.883 * * [simplify]: iteration 392: 1917 enodes
94.696 * * [simplify]: iteration 393: 1922 enodes
94.783 * * [simplify]: iteration 394: 1928 enodes
95.868 * * [simplify]: iteration 395: 1932 enodes
96.974 * * [simplify]: iteration 396: 1938 enodes
97.062 * * [simplify]: iteration 397: 1941 enodes
98.168 * * [simplify]: iteration 398: 1945 enodes
98.350 * * [simplify]: iteration 399: 1951 enodes
99.575 * * [simplify]: iteration 400: 1956 enodes
99.664 * * [simplify]: iteration 401: 1962 enodes
100.613 * * [simplify]: iteration 402: 1966 enodes
101.752 * * [simplify]: iteration 403: 1972 enodes
101.863 * * [simplify]: iteration 404: 1975 enodes
102.969 * * [simplify]: iteration 405: 1979 enodes
103.063 * * [simplify]: iteration 406: 1985 enodes
104.341 * * [simplify]: iteration 407: 1990 enodes
104.520 * * [simplify]: iteration 408: 1996 enodes
105.551 * * [simplify]: iteration 409: 2000 enodes
105.622 * * [simplify]: iteration complete: 2000 enodes
105.622 * * [simplify]: Extracting #0: cost 7 inf + 0
105.623 * * [simplify]: Extracting #1: cost 243 inf + 1
105.629 * * [simplify]: Extracting #2: cost 0 inf + 10968
105.632 * [simplify]: Simplified to:
  (*.p16 re im)
  (*.p16 re im)
  (*.p16 im re)
  (*.p16 im re)
  im
  im
  (*.p16 re (+.p16 im im))
  (*.p16 re (+.p16 im im))
  (real->posit16 1.0)
  (posit16->quire16 (*.p16 re (+.p16 im im)))
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 0.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (real->posit16 1.0)
  (*.p16 re (+.p16 im im))
105.632 * * * [progress]: adding candidates to table
105.855 * [progress]: [Phase 3 of 3] Extracting.
105.856 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (*.p16 im (+.p16 re re)))> #<alt (λ (re im) (*.p16 (+.p16 im im) re))> #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>)
105.857 * * * [regime-changes]: Trying 2 branch expressions: (im re)
105.858 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (*.p16 im (+.p16 re re)))> #<alt (λ (re im) (*.p16 (+.p16 im im) re))> #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>)
105.907 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (*.p16 im (+.p16 re re)))> #<alt (λ (re im) (*.p16 (+.p16 im im) re))> #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>)
105.952 * * * [regime]: Found split indices: #<option (#s(si 0 256))>
105.953 * [simplify]: Simplifying:
  (*.p16 im (+.p16 re re))
105.953 * * [simplify]: iteration 0: 4 enodes
105.953 * * [simplify]: iteration complete: 4 enodes
105.953 * * [simplify]: Extracting #0: cost 1 inf + 0
105.953 * * [simplify]: Extracting #1: cost 3 inf + 0
105.953 * * [simplify]: Extracting #2: cost 3 inf + 1
105.953 * * [simplify]: Extracting #3: cost 0 inf + 405
105.953 * [simplify]: Simplified to:
  (*.p16 im (+.p16 re re))
105.953 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
105.976 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
105.976 * * * * [points]: Setting MPFR precision to 64
105.977 * * * * [points]: Setting MPFR precision to 320
105.978 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
105.979 * * * * [points]: Setting MPFR precision to 64
105.980 * * * * [points]: Setting MPFR precision to 320
105.982 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
105.983 * * * * [points]: Setting MPFR precision to 64
105.993 * * * * [points]: Setting MPFR precision to 320
105.996 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
105.997 * * * * [points]: Setting MPFR precision to 64
106.003 * * * * [points]: Setting MPFR precision to 320
106.009 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
106.010 * * * * [points]: Setting MPFR precision to 64
106.022 * * * * [points]: Setting MPFR precision to 320
106.035 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
106.035 * * * * [points]: Setting MPFR precision to 64
106.059 * * * * [points]: Setting MPFR precision to 320
106.084 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
106.085 * * * * [points]: Setting MPFR precision to 64
106.160 * * * * [points]: Setting MPFR precision to 320
106.210 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
106.212 * * * * [points]: Setting MPFR precision to 64
106.335 * * * * [points]: Setting MPFR precision to 320
106.496 * * * * [points]: Computing exacts for 8000 points
106.497 * * * * [points]: Setting MPFR precision to 64
107.261 * * * * [points]: Setting MPFR precision to 320
107.955 * * * * [points]: Filtering points with unrepresentable outputs
107.974 * * * * [points]: Sampled 8000 points with exact outputs
108.612 * [regime-testing]: Baseline error score: 0.07510866841034991
108.616 * [regime-testing]: Oracle error score: 0
108.626 * [regime-testing]: End program error score: 0.07510866841034991