0.998 * [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.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.078 * * * * [points]: Setting MPFR precision to 64
0.081 * * * * [points]: Setting MPFR precision to 320
0.085 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.087 * * * * [points]: Setting MPFR precision to 64
0.089 * * * * [points]: Setting MPFR precision to 320
0.092 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.097 * * * * [points]: Setting MPFR precision to 320
0.101 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.103 * * * * [points]: Setting MPFR precision to 64
0.109 * * * * [points]: Setting MPFR precision to 320
0.116 * * * * [points]: Computing exacts for 256 points
0.117 * * * * [points]: Setting MPFR precision to 64
0.136 * * * * [points]: Setting MPFR precision to 320
0.153 * * * * [points]: Filtering points with unrepresentable outputs
0.155 * * * * [points]: Sampled 256 points with exact outputs
0.155 * * * [progress]: [2/2] Setting up program.
0.160 * [progress]: [Phase 2 of 3] Improving.
0.161 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.163 * [simplify]: Simplifying:
  (+.p16 (*.p16 re im) (*.p16 im re))
0.163 * * [simplify]: iteration 0: 5 enodes
0.168 * * [simplify]: iteration 1: 6 enodes
0.169 * * [simplify]: iteration 2: 10 enodes
0.170 * * [simplify]: iteration 3: 12 enodes
0.172 * * [simplify]: iteration complete: 12 enodes
0.172 * * [simplify]: Extracting #0: cost 1 inf + 0
0.172 * * [simplify]: Extracting #1: cost 6 inf + 0
0.173 * * [simplify]: Extracting #2: cost 3 inf + 43
0.173 * * [simplify]: Extracting #3: cost 0 inf + 768
0.173 * [simplify]: Simplified to:
  (*.p16 (+.p16 im im) re)
0.179 * * [progress]: iteration 1 / 4
0.179 * * * [progress]: picking best candidate
0.186 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 (+.p16 im im) re))>
0.186 * * * [progress]: localizing error
0.242 * * * [progress]: generating rewritten candidates
0.242 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.248 * * * [progress]: generating series expansions
0.248 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.248 * * * [progress]: simplifying candidates
0.249 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.249 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.249 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im im) (*.p16 (real->posit16 1.0) re)))>
0.249 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.249 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.249 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (*.p16 (+.p16 im im) re))))>
0.249 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (*.p16 (+.p16 im im) re)))>
0.249 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 (+.p16 im im) re) (real->posit16 0.0)))>
0.249 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 (+.p16 im im) re) (real->posit16 0.0)))>
0.249 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 (+.p16 im im) re)))>
0.249 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.249 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 (+.p16 im im) re) (real->posit16 1.0)))>
0.249 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 re (+.p16 im im)))>
0.249 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 im im) re))>
0.249 * [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.249 * * [simplify]: iteration 0: 10 enodes
0.252 * * [simplify]: iteration 1: 12 enodes
0.254 * * [simplify]: iteration 2: 18 enodes
0.257 * * [simplify]: iteration 3: 25 enodes
0.260 * * [simplify]: iteration 4: 26 enodes
0.263 * * [simplify]: iteration complete: 26 enodes
0.263 * * [simplify]: Extracting #0: cost 5 inf + 0
0.263 * * [simplify]: Extracting #1: cost 10 inf + 1
0.263 * * [simplify]: Extracting #2: cost 4 inf + 47
0.263 * * [simplify]: Extracting #3: cost 0 inf + 1134
0.264 * [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.264 * * * [progress]: adding candidates to table
0.346 * * [progress]: iteration 2 / 4
0.346 * * * [progress]: picking best candidate
0.352 * * * * [pick]: Picked  #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.352 * * * [progress]: localizing error
0.452 * * * [progress]: generating rewritten candidates
0.452 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.459 * * * [progress]: generating series expansions
0.459 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.460 * * * [progress]: simplifying candidates
0.460 * * * * [progress]: [ 1 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (real->posit16 0.0)) (*.p16 im re)))>
0.460 * * * * [progress]: [ 2 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.460 * * * * [progress]: [ 3 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.460 * * * * [progress]: [ 4 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (+.p16 (real->posit16 0.0) (*.p16 im re))))>
0.460 * * * * [progress]: [ 5 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.460 * * * * [progress]: [ 6 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 re im) (-.p16 (real->posit16 0.0) (*.p16 im re))))>
0.460 * * * * [progress]: [ 7 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.460 * * * * [progress]: [ 8 / 18 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (+.p16 (*.p16 re im) (*.p16 im re)))))>
0.460 * * * * [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.460 * * * * [progress]: [ 10 / 18 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (quire16-mul-add (posit16->quire16 (*.p16 re im)) im re)))>
0.460 * * * * [progress]: [ 11 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.460 * * * * [progress]: [ 12 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.460 * * * * [progress]: [ 13 / 18 ] simplifiying candidate #<alt (λ (re im) (-.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 0.0)))>
0.460 * * * * [progress]: [ 14 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (+.p16 (*.p16 re im) (*.p16 im re))))>
0.460 * * * * [progress]: [ 15 / 18 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 1.0)))>
0.461 * * * * [progress]: [ 16 / 18 ] simplifiying candidate #<alt (λ (re im) (/.p16 (+.p16 (*.p16 re im) (*.p16 im re)) (real->posit16 1.0)))>
0.461 * * * * [progress]: [ 17 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im re) (*.p16 re im)))>
0.461 * * * * [progress]: [ 18 / 18 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))>
0.461 * [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.461 * * [simplify]: iteration 0: 16 enodes
0.468 * * [simplify]: iteration 1: 21 enodes
0.472 * * [simplify]: iteration 2: 34 enodes
0.478 * * [simplify]: iteration 3: 63 enodes
0.496 * * [simplify]: iteration 4: 131 enodes
0.538 * * [simplify]: iteration 5: 263 enodes
0.566 * * [simplify]: iteration 6: 288 enodes
0.584 * * [simplify]: iteration complete: 288 enodes
0.585 * * [simplify]: Extracting #0: cost 8 inf + 0
0.585 * * [simplify]: Extracting #1: cost 16 inf + 0
0.585 * * [simplify]: Extracting #2: cost 11 inf + 5
0.585 * * [simplify]: Extracting #3: cost 4 inf + 1616
0.586 * * [simplify]: Extracting #4: cost 0 inf + 2945
0.586 * [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))
0.587 * * * [progress]: adding candidates to table
0.743 * * [progress]: iteration 3 / 4
0.743 * * * [progress]: picking best candidate
0.746 * * * * [pick]: Picked  #<alt (λ (re im) (*.p16 im (+.p16 re re)))>
0.746 * * * [progress]: localizing error
0.800 * * * [progress]: generating rewritten candidates
0.800 * * * * [progress]: [ 1 / 1 ] rewriting at (2)
0.803 * * * [progress]: generating series expansions
0.803 * * * * [progress]: [ 1 / 1 ] generating series at (2)
0.803 * * * [progress]: simplifying candidates
0.803 * * * * [progress]: [ 1 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im re) (*.p16 im re)))>
0.803 * * * * [progress]: [ 2 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 re im)))>
0.803 * * * * [progress]: [ 3 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (real->posit16 1.0)) (+.p16 re re)))>
0.803 * * * * [progress]: [ 4 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (real->posit16 1.0)) (+.p16 re re)))>
0.803 * * * * [progress]: [ 5 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
0.803 * * * * [progress]: [ 6 / 16 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
0.803 * * * * [progress]: [ 7 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 im (+.p16 re re))))>
0.803 * * * * [progress]: [ 8 / 16 ] simplifiying candidate #<alt (λ (re im) (quire16->posit16 (posit16->quire16 (*.p16 im (+.p16 re re)))))>
0.803 * * * * [progress]: [ 9 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (real->posit16 0.0) (*.p16 im (+.p16 re re))))>
0.803 * * * * [progress]: [ 10 / 16 ] simplifiying candidate #<alt (λ (re im) (+.p16 (*.p16 im (+.p16 re re)) (real->posit16 0.0)))>
0.803 * * * * [progress]: [ 11 / 16 ] simplifiying candidate #<alt (λ (re im) (-.p16 (*.p16 im (+.p16 re re)) (real->posit16 0.0)))>
0.803 * * * * [progress]: [ 12 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (real->posit16 1.0) (*.p16 im (+.p16 re re))))>
0.803 * * * * [progress]: [ 13 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
0.803 * * * * [progress]: [ 14 / 16 ] simplifiying candidate #<alt (λ (re im) (/.p16 (*.p16 im (+.p16 re re)) (real->posit16 1.0)))>
0.803 * * * * [progress]: [ 15 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 (+.p16 re re) im))>
0.803 * * * * [progress]: [ 16 / 16 ] simplifiying candidate #<alt (λ (re im) (*.p16 im (+.p16 re re)))>
0.804 * [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))
0.804 * * [simplify]: iteration 0: 12 enodes
0.807 * * [simplify]: iteration 1: 18 enodes
0.809 * * [simplify]: iteration 2: 24 enodes
0.813 * * [simplify]: iteration 3: 28 enodes
0.816 * * [simplify]: iteration 4: 34 enodes
0.820 * * [simplify]: iteration 5: 37 enodes
0.827 * * [simplify]: iteration 6: 41 enodes
0.835 * * [simplify]: iteration 7: 47 enodes
0.843 * * [simplify]: iteration 8: 52 enodes
0.851 * * [simplify]: iteration 9: 58 enodes
0.861 * * [simplify]: iteration 10: 62 enodes
0.871 * * [simplify]: iteration 11: 68 enodes
0.881 * * [simplify]: iteration 12: 71 enodes
0.892 * * [simplify]: iteration 13: 75 enodes
0.902 * * [simplify]: iteration 14: 81 enodes
0.918 * * [simplify]: iteration 15: 86 enodes
0.929 * * [simplify]: iteration 16: 92 enodes
0.944 * * [simplify]: iteration 17: 96 enodes
0.959 * * [simplify]: iteration 18: 102 enodes
0.971 * * [simplify]: iteration 19: 105 enodes
0.985 * * [simplify]: iteration 20: 109 enodes
0.992 * * [simplify]: iteration 21: 115 enodes
1.000 * * [simplify]: iteration 22: 120 enodes
1.007 * * [simplify]: iteration 23: 126 enodes
1.018 * * [simplify]: iteration 24: 130 enodes
1.029 * * [simplify]: iteration 25: 136 enodes
1.036 * * [simplify]: iteration 26: 139 enodes
1.047 * * [simplify]: iteration 27: 143 enodes
1.056 * * [simplify]: iteration 28: 149 enodes
1.069 * * [simplify]: iteration 29: 154 enodes
1.078 * * [simplify]: iteration 30: 160 enodes
1.092 * * [simplify]: iteration 31: 164 enodes
1.107 * * [simplify]: iteration 32: 170 enodes
1.116 * * [simplify]: iteration 33: 173 enodes
1.129 * * [simplify]: iteration 34: 177 enodes
1.139 * * [simplify]: iteration 35: 183 enodes
1.153 * * [simplify]: iteration 36: 188 enodes
1.163 * * [simplify]: iteration 37: 194 enodes
1.177 * * [simplify]: iteration 38: 198 enodes
1.192 * * [simplify]: iteration 39: 204 enodes
1.204 * * [simplify]: iteration 40: 207 enodes
1.219 * * [simplify]: iteration 41: 211 enodes
1.241 * * [simplify]: iteration 42: 217 enodes
1.259 * * [simplify]: iteration 43: 222 enodes
1.271 * * [simplify]: iteration 44: 228 enodes
1.288 * * [simplify]: iteration 45: 232 enodes
1.307 * * [simplify]: iteration 46: 238 enodes
1.318 * * [simplify]: iteration 47: 241 enodes
1.337 * * [simplify]: iteration 48: 245 enodes
1.349 * * [simplify]: iteration 49: 251 enodes
1.369 * * [simplify]: iteration 50: 256 enodes
1.381 * * [simplify]: iteration 51: 262 enodes
1.403 * * [simplify]: iteration 52: 266 enodes
1.425 * * [simplify]: iteration 53: 272 enodes
1.438 * * [simplify]: iteration 54: 275 enodes
1.462 * * [simplify]: iteration 55: 279 enodes
1.480 * * [simplify]: iteration 56: 285 enodes
1.513 * * [simplify]: iteration 57: 290 enodes
1.527 * * [simplify]: iteration 58: 296 enodes
1.553 * * [simplify]: iteration 59: 300 enodes
1.580 * * [simplify]: iteration 60: 306 enodes
1.595 * * [simplify]: iteration 61: 309 enodes
1.633 * * [simplify]: iteration 62: 313 enodes
1.650 * * [simplify]: iteration 63: 319 enodes
1.677 * * [simplify]: iteration 64: 324 enodes
1.691 * * [simplify]: iteration 65: 330 enodes
1.722 * * [simplify]: iteration 66: 334 enodes
1.770 * * [simplify]: iteration 67: 340 enodes
1.790 * * [simplify]: iteration 68: 343 enodes
1.827 * * [simplify]: iteration 69: 347 enodes
1.843 * * [simplify]: iteration 70: 353 enodes
1.896 * * [simplify]: iteration 71: 358 enodes
1.925 * * [simplify]: iteration 72: 364 enodes
1.958 * * [simplify]: iteration 73: 368 enodes
1.993 * * [simplify]: iteration 74: 374 enodes
2.010 * * [simplify]: iteration 75: 377 enodes
2.045 * * [simplify]: iteration 76: 381 enodes
2.062 * * [simplify]: iteration 77: 387 enodes
2.098 * * [simplify]: iteration 78: 392 enodes
2.116 * * [simplify]: iteration 79: 398 enodes
2.157 * * [simplify]: iteration 80: 402 enodes
2.244 * * [simplify]: iteration 81: 408 enodes
2.281 * * [simplify]: iteration 82: 411 enodes
2.359 * * [simplify]: iteration 83: 415 enodes
2.380 * * [simplify]: iteration 84: 421 enodes
2.462 * * [simplify]: iteration 85: 426 enodes
2.496 * * [simplify]: iteration 86: 432 enodes
2.543 * * [simplify]: iteration 87: 436 enodes
2.611 * * [simplify]: iteration 88: 442 enodes
2.639 * * [simplify]: iteration 89: 445 enodes
2.701 * * [simplify]: iteration 90: 449 enodes
2.738 * * [simplify]: iteration 91: 455 enodes
2.811 * * [simplify]: iteration 92: 460 enodes
2.850 * * [simplify]: iteration 93: 466 enodes
2.923 * * [simplify]: iteration 94: 470 enodes
3.002 * * [simplify]: iteration 95: 476 enodes
3.044 * * [simplify]: iteration 96: 479 enodes
3.129 * * [simplify]: iteration 97: 483 enodes
3.165 * * [simplify]: iteration 98: 489 enodes
3.274 * * [simplify]: iteration 99: 494 enodes
3.319 * * [simplify]: iteration 100: 500 enodes
3.436 * * [simplify]: iteration 101: 504 enodes
3.525 * * [simplify]: iteration 102: 510 enodes
3.547 * * [simplify]: iteration 103: 513 enodes
3.622 * * [simplify]: iteration 104: 517 enodes
3.647 * * [simplify]: iteration 105: 523 enodes
3.724 * * [simplify]: iteration 106: 528 enodes
3.747 * * [simplify]: iteration 107: 534 enodes
3.834 * * [simplify]: iteration 108: 538 enodes
3.915 * * [simplify]: iteration 109: 544 enodes
3.951 * * [simplify]: iteration 110: 547 enodes
4.048 * * [simplify]: iteration 111: 551 enodes
4.082 * * [simplify]: iteration 112: 557 enodes
4.174 * * [simplify]: iteration 113: 562 enodes
4.213 * * [simplify]: iteration 114: 568 enodes
4.326 * * [simplify]: iteration 115: 572 enodes
4.438 * * [simplify]: iteration 116: 578 enodes
4.464 * * [simplify]: iteration 117: 581 enodes
4.555 * * [simplify]: iteration 118: 585 enodes
4.587 * * [simplify]: iteration 119: 591 enodes
4.673 * * [simplify]: iteration 120: 596 enodes
4.723 * * [simplify]: iteration 121: 602 enodes
4.817 * * [simplify]: iteration 122: 606 enodes
4.915 * * [simplify]: iteration 123: 612 enodes
4.963 * * [simplify]: iteration 124: 615 enodes
5.061 * * [simplify]: iteration 125: 619 enodes
5.098 * * [simplify]: iteration 126: 625 enodes
5.184 * * [simplify]: iteration 127: 630 enodes
5.211 * * [simplify]: iteration 128: 636 enodes
5.349 * * [simplify]: iteration 129: 640 enodes
5.468 * * [simplify]: iteration 130: 646 enodes
5.495 * * [simplify]: iteration 131: 649 enodes
5.614 * * [simplify]: iteration 132: 653 enodes
5.645 * * [simplify]: iteration 133: 659 enodes
5.752 * * [simplify]: iteration 134: 664 enodes
5.781 * * [simplify]: iteration 135: 670 enodes
5.874 * * [simplify]: iteration 136: 674 enodes
5.995 * * [simplify]: iteration 137: 680 enodes
6.039 * * [simplify]: iteration 138: 683 enodes
6.222 * * [simplify]: iteration 139: 687 enodes
6.287 * * [simplify]: iteration 140: 693 enodes
6.453 * * [simplify]: iteration 141: 698 enodes
6.515 * * [simplify]: iteration 142: 704 enodes
6.644 * * [simplify]: iteration 143: 708 enodes
6.748 * * [simplify]: iteration 144: 714 enodes
6.781 * * [simplify]: iteration 145: 717 enodes
6.884 * * [simplify]: iteration 146: 721 enodes
6.917 * * [simplify]: iteration 147: 727 enodes
7.021 * * [simplify]: iteration 148: 732 enodes
7.067 * * [simplify]: iteration 149: 738 enodes
7.214 * * [simplify]: iteration 150: 742 enodes
7.438 * * [simplify]: iteration 151: 748 enodes
7.503 * * [simplify]: iteration 152: 751 enodes
7.659 * * [simplify]: iteration 153: 755 enodes
7.692 * * [simplify]: iteration 154: 761 enodes
7.877 * * [simplify]: iteration 155: 766 enodes
7.945 * * [simplify]: iteration 156: 772 enodes
8.159 * * [simplify]: iteration 157: 776 enodes
8.350 * * [simplify]: iteration 158: 782 enodes
8.404 * * [simplify]: iteration 159: 785 enodes
8.645 * * [simplify]: iteration 160: 789 enodes
8.693 * * [simplify]: iteration 161: 795 enodes
8.907 * * [simplify]: iteration 162: 800 enodes
8.977 * * [simplify]: iteration 163: 806 enodes
9.137 * * [simplify]: iteration 164: 810 enodes
9.295 * * [simplify]: iteration 165: 816 enodes
9.329 * * [simplify]: iteration 166: 819 enodes
9.469 * * [simplify]: iteration 167: 823 enodes
9.505 * * [simplify]: iteration 168: 829 enodes
9.650 * * [simplify]: iteration 169: 834 enodes
9.687 * * [simplify]: iteration 170: 840 enodes
9.851 * * [simplify]: iteration 171: 844 enodes
10.101 * * [simplify]: iteration 172: 850 enodes
10.141 * * [simplify]: iteration 173: 853 enodes
10.296 * * [simplify]: iteration 174: 857 enodes
10.345 * * [simplify]: iteration 175: 863 enodes
10.558 * * [simplify]: iteration 176: 868 enodes
10.603 * * [simplify]: iteration 177: 874 enodes
10.760 * * [simplify]: iteration 178: 878 enodes
10.931 * * [simplify]: iteration 179: 884 enodes
11.009 * * [simplify]: iteration 180: 887 enodes
11.220 * * [simplify]: iteration 181: 891 enodes
11.278 * * [simplify]: iteration 182: 897 enodes
11.509 * * [simplify]: iteration 183: 902 enodes
11.564 * * [simplify]: iteration 184: 908 enodes
11.797 * * [simplify]: iteration 185: 912 enodes
12.007 * * [simplify]: iteration 186: 918 enodes
12.074 * * [simplify]: iteration 187: 921 enodes
12.339 * * [simplify]: iteration 188: 925 enodes
12.420 * * [simplify]: iteration 189: 931 enodes
12.703 * * [simplify]: iteration 190: 936 enodes
12.763 * * [simplify]: iteration 191: 942 enodes
13.120 * * [simplify]: iteration 192: 946 enodes
13.420 * * [simplify]: iteration 193: 952 enodes
13.473 * * [simplify]: iteration 194: 955 enodes
13.763 * * [simplify]: iteration 195: 959 enodes
13.810 * * [simplify]: iteration 196: 965 enodes
14.080 * * [simplify]: iteration 197: 970 enodes
14.173 * * [simplify]: iteration 198: 976 enodes
14.392 * * [simplify]: iteration 199: 980 enodes
14.692 * * [simplify]: iteration 200: 986 enodes
14.751 * * [simplify]: iteration 201: 989 enodes
15.071 * * [simplify]: iteration 202: 993 enodes
15.160 * * [simplify]: iteration 203: 999 enodes
15.474 * * [simplify]: iteration 204: 1004 enodes
15.519 * * [simplify]: iteration 205: 1010 enodes
15.730 * * [simplify]: iteration 206: 1014 enodes
16.088 * * [simplify]: iteration 207: 1020 enodes
16.180 * * [simplify]: iteration 208: 1023 enodes
16.589 * * [simplify]: iteration 209: 1027 enodes
16.686 * * [simplify]: iteration 210: 1033 enodes
17.013 * * [simplify]: iteration 211: 1038 enodes
17.109 * * [simplify]: iteration 212: 1044 enodes
17.478 * * [simplify]: iteration 213: 1048 enodes
17.757 * * [simplify]: iteration 214: 1054 enodes
17.806 * * [simplify]: iteration 215: 1057 enodes
18.092 * * [simplify]: iteration 216: 1061 enodes
18.143 * * [simplify]: iteration 217: 1067 enodes
18.371 * * [simplify]: iteration 218: 1072 enodes
18.420 * * [simplify]: iteration 219: 1078 enodes
18.750 * * [simplify]: iteration 220: 1082 enodes
19.032 * * [simplify]: iteration 221: 1088 enodes
19.098 * * [simplify]: iteration 222: 1091 enodes
19.514 * * [simplify]: iteration 223: 1095 enodes
19.573 * * [simplify]: iteration 224: 1101 enodes
19.842 * * [simplify]: iteration 225: 1106 enodes
19.919 * * [simplify]: iteration 226: 1112 enodes
20.330 * * [simplify]: iteration 227: 1116 enodes
20.601 * * [simplify]: iteration 228: 1122 enodes
20.660 * * [simplify]: iteration 229: 1125 enodes
20.932 * * [simplify]: iteration 230: 1129 enodes
21.016 * * [simplify]: iteration 231: 1135 enodes
21.331 * * [simplify]: iteration 232: 1140 enodes
21.387 * * [simplify]: iteration 233: 1146 enodes
21.649 * * [simplify]: iteration 234: 1150 enodes
21.909 * * [simplify]: iteration 235: 1156 enodes
21.958 * * [simplify]: iteration 236: 1159 enodes
22.394 * * [simplify]: iteration 237: 1163 enodes
22.499 * * [simplify]: iteration 238: 1169 enodes
23.006 * * [simplify]: iteration 239: 1174 enodes
23.108 * * [simplify]: iteration 240: 1180 enodes
23.578 * * [simplify]: iteration 241: 1184 enodes
24.085 * * [simplify]: iteration 242: 1190 enodes
24.186 * * [simplify]: iteration 243: 1193 enodes
24.723 * * [simplify]: iteration 244: 1197 enodes
24.799 * * [simplify]: iteration 245: 1203 enodes
25.255 * * [simplify]: iteration 246: 1208 enodes
25.311 * * [simplify]: iteration 247: 1214 enodes
25.598 * * [simplify]: iteration 248: 1218 enodes
25.932 * * [simplify]: iteration 249: 1224 enodes
25.984 * * [simplify]: iteration 250: 1227 enodes
26.465 * * [simplify]: iteration 251: 1231 enodes
26.523 * * [simplify]: iteration 252: 1237 enodes
27.003 * * [simplify]: iteration 253: 1242 enodes
27.088 * * [simplify]: iteration 254: 1248 enodes
27.540 * * [simplify]: iteration 255: 1252 enodes
28.010 * * [simplify]: iteration 256: 1258 enodes
28.071 * * [simplify]: iteration 257: 1261 enodes
28.438 * * [simplify]: iteration 258: 1265 enodes
28.535 * * [simplify]: iteration 259: 1271 enodes
29.116 * * [simplify]: iteration 260: 1276 enodes
29.200 * * [simplify]: iteration 261: 1282 enodes
29.703 * * [simplify]: iteration 262: 1286 enodes
30.074 * * [simplify]: iteration 263: 1292 enodes
30.133 * * [simplify]: iteration 264: 1295 enodes
30.591 * * [simplify]: iteration 265: 1299 enodes
30.677 * * [simplify]: iteration 266: 1305 enodes
31.168 * * [simplify]: iteration 267: 1310 enodes
31.225 * * [simplify]: iteration 268: 1316 enodes
31.682 * * [simplify]: iteration 269: 1320 enodes
32.260 * * [simplify]: iteration 270: 1326 enodes
32.379 * * [simplify]: iteration 271: 1329 enodes
32.896 * * [simplify]: iteration 272: 1333 enodes
32.985 * * [simplify]: iteration 273: 1339 enodes
33.414 * * [simplify]: iteration 274: 1344 enodes
33.523 * * [simplify]: iteration 275: 1350 enodes
34.109 * * [simplify]: iteration 276: 1354 enodes
34.672 * * [simplify]: iteration 277: 1360 enodes
34.738 * * [simplify]: iteration 278: 1363 enodes
35.233 * * [simplify]: iteration 279: 1367 enodes
35.333 * * [simplify]: iteration 280: 1373 enodes
35.984 * * [simplify]: iteration 281: 1378 enodes
36.066 * * [simplify]: iteration 282: 1384 enodes
36.669 * * [simplify]: iteration 283: 1388 enodes
37.329 * * [simplify]: iteration 284: 1394 enodes
37.450 * * [simplify]: iteration 285: 1397 enodes
37.950 * * [simplify]: iteration 286: 1401 enodes
38.060 * * [simplify]: iteration 287: 1407 enodes
38.429 * * [simplify]: iteration 288: 1412 enodes
38.495 * * [simplify]: iteration 289: 1418 enodes
38.918 * * [simplify]: iteration 290: 1422 enodes
39.305 * * [simplify]: iteration 291: 1428 enodes
39.371 * * [simplify]: iteration 292: 1431 enodes
39.763 * * [simplify]: iteration 293: 1435 enodes
39.832 * * [simplify]: iteration 294: 1441 enodes
40.330 * * [simplify]: iteration 295: 1446 enodes
40.428 * * [simplify]: iteration 296: 1452 enodes
40.966 * * [simplify]: iteration 297: 1456 enodes
41.507 * * [simplify]: iteration 298: 1462 enodes
41.631 * * [simplify]: iteration 299: 1465 enodes
42.363 * * [simplify]: iteration 300: 1469 enodes
42.506 * * [simplify]: iteration 301: 1475 enodes
43.179 * * [simplify]: iteration 302: 1480 enodes
43.265 * * [simplify]: iteration 303: 1486 enodes
43.841 * * [simplify]: iteration 304: 1490 enodes
44.402 * * [simplify]: iteration 305: 1496 enodes
44.471 * * [simplify]: iteration 306: 1499 enodes
45.072 * * [simplify]: iteration 307: 1503 enodes
45.150 * * [simplify]: iteration 308: 1509 enodes
45.903 * * [simplify]: iteration 309: 1514 enodes
46.044 * * [simplify]: iteration 310: 1520 enodes
46.752 * * [simplify]: iteration 311: 1524 enodes
47.402 * * [simplify]: iteration 312: 1530 enodes
47.472 * * [simplify]: iteration 313: 1533 enodes
48.128 * * [simplify]: iteration 314: 1537 enodes
48.275 * * [simplify]: iteration 315: 1543 enodes
48.981 * * [simplify]: iteration 316: 1548 enodes
49.058 * * [simplify]: iteration 317: 1554 enodes
49.631 * * [simplify]: iteration 318: 1558 enodes
50.254 * * [simplify]: iteration 319: 1564 enodes
50.353 * * [simplify]: iteration 320: 1567 enodes
50.972 * * [simplify]: iteration 321: 1571 enodes
51.063 * * [simplify]: iteration 322: 1577 enodes
51.573 * * [simplify]: iteration 323: 1582 enodes
51.651 * * [simplify]: iteration 324: 1588 enodes
52.322 * * [simplify]: iteration 325: 1592 enodes
52.831 * * [simplify]: iteration 326: 1598 enodes
52.906 * * [simplify]: iteration 327: 1601 enodes
53.562 * * [simplify]: iteration 328: 1605 enodes
53.660 * * [simplify]: iteration 329: 1611 enodes
54.296 * * [simplify]: iteration 330: 1616 enodes
54.394 * * [simplify]: iteration 331: 1622 enodes
55.099 * * [simplify]: iteration 332: 1626 enodes
56.000 * * [simplify]: iteration 333: 1632 enodes
56.103 * * [simplify]: iteration 334: 1635 enodes
56.720 * * [simplify]: iteration 335: 1639 enodes
56.826 * * [simplify]: iteration 336: 1645 enodes
57.350 * * [simplify]: iteration 337: 1650 enodes
57.427 * * [simplify]: iteration 338: 1656 enodes
57.958 * * [simplify]: iteration 339: 1660 enodes
58.627 * * [simplify]: iteration 340: 1666 enodes
58.722 * * [simplify]: iteration 341: 1669 enodes
59.344 * * [simplify]: iteration 342: 1673 enodes
59.451 * * [simplify]: iteration 343: 1679 enodes
60.133 * * [simplify]: iteration 344: 1684 enodes
60.212 * * [simplify]: iteration 345: 1690 enodes
60.775 * * [simplify]: iteration 346: 1694 enodes
61.477 * * [simplify]: iteration 347: 1700 enodes
61.580 * * [simplify]: iteration 348: 1703 enodes
62.323 * * [simplify]: iteration 349: 1707 enodes
62.444 * * [simplify]: iteration 350: 1713 enodes
63.192 * * [simplify]: iteration 351: 1718 enodes
63.272 * * [simplify]: iteration 352: 1724 enodes
63.920 * * [simplify]: iteration 353: 1728 enodes
64.597 * * [simplify]: iteration 354: 1734 enodes
64.678 * * [simplify]: iteration 355: 1737 enodes
65.381 * * [simplify]: iteration 356: 1741 enodes
65.473 * * [simplify]: iteration 357: 1747 enodes
66.178 * * [simplify]: iteration 358: 1752 enodes
66.292 * * [simplify]: iteration 359: 1758 enodes
67.094 * * [simplify]: iteration 360: 1762 enodes
67.688 * * [simplify]: iteration 361: 1768 enodes
67.774 * * [simplify]: iteration 362: 1771 enodes
68.375 * * [simplify]: iteration 363: 1775 enodes
68.492 * * [simplify]: iteration 364: 1781 enodes
69.357 * * [simplify]: iteration 365: 1786 enodes
69.501 * * [simplify]: iteration 366: 1792 enodes
70.470 * * [simplify]: iteration 367: 1796 enodes
71.324 * * [simplify]: iteration 368: 1802 enodes
71.415 * * [simplify]: iteration 369: 1805 enodes
72.212 * * [simplify]: iteration 370: 1809 enodes
72.347 * * [simplify]: iteration 371: 1815 enodes
73.456 * * [simplify]: iteration 372: 1820 enodes
73.596 * * [simplify]: iteration 373: 1826 enodes
74.483 * * [simplify]: iteration 374: 1830 enodes
75.310 * * [simplify]: iteration 375: 1836 enodes
75.449 * * [simplify]: iteration 376: 1839 enodes
76.491 * * [simplify]: iteration 377: 1843 enodes
76.647 * * [simplify]: iteration 378: 1849 enodes
77.618 * * [simplify]: iteration 379: 1854 enodes
77.757 * * [simplify]: iteration 380: 1860 enodes
78.792 * * [simplify]: iteration 381: 1864 enodes
79.793 * * [simplify]: iteration 382: 1870 enodes
79.900 * * [simplify]: iteration 383: 1873 enodes
80.841 * * [simplify]: iteration 384: 1877 enodes
80.988 * * [simplify]: iteration 385: 1883 enodes
82.002 * * [simplify]: iteration 386: 1888 enodes
82.132 * * [simplify]: iteration 387: 1894 enodes
83.167 * * [simplify]: iteration 388: 1898 enodes
84.286 * * [simplify]: iteration 389: 1904 enodes
84.475 * * [simplify]: iteration 390: 1907 enodes
85.680 * * [simplify]: iteration 391: 1911 enodes
85.836 * * [simplify]: iteration 392: 1917 enodes
86.876 * * [simplify]: iteration 393: 1922 enodes
86.994 * * [simplify]: iteration 394: 1928 enodes
88.116 * * [simplify]: iteration 395: 1932 enodes
89.020 * * [simplify]: iteration 396: 1938 enodes
89.141 * * [simplify]: iteration 397: 1941 enodes
90.111 * * [simplify]: iteration 398: 1945 enodes
90.287 * * [simplify]: iteration 399: 1951 enodes
91.298 * * [simplify]: iteration 400: 1956 enodes
91.465 * * [simplify]: iteration 401: 1962 enodes
92.524 * * [simplify]: iteration 402: 1966 enodes
93.534 * * [simplify]: iteration 403: 1972 enodes
93.682 * * [simplify]: iteration 404: 1975 enodes
94.754 * * [simplify]: iteration 405: 1979 enodes
94.896 * * [simplify]: iteration 406: 1985 enodes
96.138 * * [simplify]: iteration 407: 1990 enodes
96.277 * * [simplify]: iteration 408: 1996 enodes
97.404 * * [simplify]: iteration 409: 2000 enodes
97.506 * * [simplify]: iteration complete: 2000 enodes
97.506 * * [simplify]: Extracting #0: cost 7 inf + 0
97.508 * * [simplify]: Extracting #1: cost 243 inf + 1
97.515 * * [simplify]: Extracting #2: cost 0 inf + 10968
97.527 * [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))
97.528 * * * [progress]: adding candidates to table
97.613 * [progress]: [Phase 3 of 3] Extracting.
97.613 * * [regime]: Finding splitpoints for: (#<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))> #<alt (λ (re im) (*.p16 im (+.p16 re re)))>)
97.616 * * * [regime-changes]: Trying 2 branch expressions: (im re)
97.616 * * * * [regimes]: Trying to branch on im from (#<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))> #<alt (λ (re im) (*.p16 im (+.p16 re re)))>)
97.709 * * * * [regimes]: Trying to branch on re from (#<alt (λ (re im) (+.p16 (*.p16 re im) (*.p16 im re)))> #<alt (λ (re im) (*.p16 im (+.p16 re re)))>)
97.798 * * * [regime]: Found split indices: #<option (#s(si 1 256))>
97.799 * [simplify]: Simplifying:
  (*.p16 im (+.p16 re re))
97.799 * * [simplify]: iteration 0: 4 enodes
97.799 * * [simplify]: iteration complete: 4 enodes
97.799 * * [simplify]: Extracting #0: cost 1 inf + 0
97.799 * * [simplify]: Extracting #1: cost 3 inf + 0
97.799 * * [simplify]: Extracting #2: cost 3 inf + 1
97.799 * * [simplify]: Extracting #3: cost 0 inf + 405
97.799 * [simplify]: Simplified to:
  (*.p16 im (+.p16 re re))
97.799 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
97.843 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
97.844 * * * * [points]: Setting MPFR precision to 64
97.846 * * * * [points]: Setting MPFR precision to 320
97.847 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
97.848 * * * * [points]: Setting MPFR precision to 64
97.850 * * * * [points]: Setting MPFR precision to 320
97.851 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
97.852 * * * * [points]: Setting MPFR precision to 64
97.856 * * * * [points]: Setting MPFR precision to 320
97.860 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
97.861 * * * * [points]: Setting MPFR precision to 64
97.867 * * * * [points]: Setting MPFR precision to 320
97.873 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
97.874 * * * * [points]: Setting MPFR precision to 64
97.885 * * * * [points]: Setting MPFR precision to 320
97.897 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
97.899 * * * * [points]: Setting MPFR precision to 64
97.940 * * * * [points]: Setting MPFR precision to 320
98.002 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
98.004 * * * * [points]: Setting MPFR precision to 64
98.053 * * * * [points]: Setting MPFR precision to 320
98.102 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
98.103 * * * * [points]: Setting MPFR precision to 64
98.215 * * * * [points]: Setting MPFR precision to 320
98.331 * * * * [points]: Computing exacts for 8000 points
98.332 * * * * [points]: Setting MPFR precision to 64
99.258 * * * * [points]: Setting MPFR precision to 320
99.958 * * * * [points]: Filtering points with unrepresentable outputs
99.990 * * * * [points]: Sampled 8000 points with exact outputs
100.374 * [regime-testing]: Baseline error score: 0.07343670431665003
100.376 * [regime-testing]: Oracle error score: 0.00825
100.381 * [regime-testing]: End program error score: 0.07343670431665003