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.004 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.008 * * * * [points]: Setting MPFR precision to 64
0.010 * * * * [points]: Setting MPFR precision to 320
0.011 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.021 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.040 * * * * [points]: Setting MPFR precision to 64
0.047 * * * * [points]: Setting MPFR precision to 320
0.055 * * * * [points]: Computing exacts for 256 points
0.060 * * * * [points]: Setting MPFR precision to 64
0.073 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Filtering points with unrepresentable outputs
0.088 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256
0.089 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.093 * * * * [points]: Setting MPFR precision to 64
0.095 * * * * [points]: Setting MPFR precision to 320
0.096 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.101 * * * * [points]: Setting MPFR precision to 64
0.104 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Computing exacts for 123 points
0.129 * * * * [points]: Setting MPFR precision to 64
0.140 * * * * [points]: Setting MPFR precision to 320
0.149 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.149 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.153 * * * * [points]: Setting MPFR precision to 64
0.154 * * * * [points]: Setting MPFR precision to 320
0.156 * * * * [points]: Computing exacts for 59 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.166 * * * * [points]: Setting MPFR precision to 320
0.171 * * * * [points]: Filtering points with unrepresentable outputs
0.171 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.171 * * * * [points]: Computing exacts for 31 points
0.176 * * * * [points]: Setting MPFR precision to 64
0.178 * * * * [points]: Setting MPFR precision to 320
0.181 * * * * [points]: Filtering points with unrepresentable outputs
0.182 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.182 * * * * [points]: Computing exacts for 17 points
0.186 * * * * [points]: Setting MPFR precision to 64
0.188 * * * * [points]: Setting MPFR precision to 320
0.190 * * * * [points]: Filtering points with unrepresentable outputs
0.190 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.190 * * * * [points]: Computing exacts for 10 points
0.194 * * * * [points]: Setting MPFR precision to 64
0.196 * * * * [points]: Setting MPFR precision to 320
0.196 * * * * [points]: Filtering points with unrepresentable outputs
0.197 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.197 * * * * [points]: Computing exacts for 4 points
0.201 * * * * [points]: Setting MPFR precision to 64
0.202 * * * * [points]: Setting MPFR precision to 320
0.202 * * * * [points]: Filtering points with unrepresentable outputs
0.202 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.202 * * * * [points]: Computing exacts for 4 points
0.207 * * * * [points]: Setting MPFR precision to 64
0.208 * * * * [points]: Setting MPFR precision to 320
0.208 * * * * [points]: Filtering points with unrepresentable outputs
0.208 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.208 * * * * [points]: Computing exacts for 4 points
0.213 * * * * [points]: Setting MPFR precision to 64
0.213 * * * * [points]: Setting MPFR precision to 320
0.214 * * * * [points]: Filtering points with unrepresentable outputs
0.214 * * * * [points]: Sampled 256 points with exact outputs
0.214 * * * [progress]: [2/2] Setting up program.
0.226 * [progress]: [Phase 2 of 3] Improving.
0.226 * * * * [progress]: [ 1 / 1 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))>
0.227 * [simplify]: Simplifying:
  (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
0.227 * * [simplify]: iteration 1: (12 enodes)
0.230 * * [simplify]: iteration 2: (43 enodes)
0.239 * * [simplify]: iteration 3: (170 enodes)
0.308 * * [simplify]: iteration 4: (882 enodes)
3.678 * * [simplify]: Extracting #0: cost 1 inf + 0
3.680 * * [simplify]: Extracting #1: cost 353 inf + 0
3.688 * * [simplify]: Extracting #2: cost 1119 inf + 442
3.699 * * [simplify]: Extracting #3: cost 1168 inf + 8070
3.712 * * [simplify]: Extracting #4: cost 1161 inf + 38576
3.758 * * [simplify]: Extracting #5: cost 870 inf + 544043
3.846 * * [simplify]: Extracting #6: cost 206 inf + 1807133
3.957 * * [simplify]: Extracting #7: cost 2 inf + 2087263
4.066 * * [simplify]: Extracting #8: cost 0 inf + 2047066
4.210 * * [simplify]: Extracting #9: cost 0 inf + 2046066
4.372 * [simplify]: Simplified to:
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.418 * * [progress]: iteration 1 / 4
4.418 * * * [progress]: picking best candidate
4.461 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.461 * * * [progress]: localizing error
4.698 * * * [progress]: generating rewritten candidates
4.698 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
4.701 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
4.713 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.715 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
4.720 * * * [progress]: generating series expansions
4.720 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
4.720 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.720 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.720 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
4.720 * * * [progress]: simplifying candidates
4.720 * * * * [progress]: [ 1 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
4.720 * * * * [progress]: [ 2 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.720 * * * * [progress]: [ 3 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2)))))>
4.720 * * * * [progress]: [ 4 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
4.720 * * * * [progress]: [ 5 / 17 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))>
4.720 * * * * [progress]: [ 6 / 17 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))) (real->posit16 2)))>
4.720 * * * * [progress]: [ 7 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) (/.p16 i (real->posit16 2))))>
4.720 * * * * [progress]: [ 8 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
4.720 * * * * [progress]: [ 9 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (neg.p16 (real->posit16 1.0))))))>
4.721 * * * * [progress]: [ 10 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))))>
4.721 * * * * [progress]: [ 11 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) i) (real->posit16 2)) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 12 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 13 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 14 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 15 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 16 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.721 * * * * [progress]: [ 17 / 17 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)))))>
4.721 * [simplify]: Simplifying:
  (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
  (*.p16 i (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
  (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
  (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2)))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))
  (+.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
  (*.p16 (*.p16 i (real->posit16 2)) i)
  (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))
4.721 * * [simplify]: iteration 1: (26 enodes)
4.728 * * [simplify]: iteration 2: (75 enodes)
4.741 * * [simplify]: iteration 3: (203 enodes)
4.838 * * [simplify]: iteration 4: (1042 enodes)
9.330 * * [simplify]: Extracting #0: cost 14 inf + 0
9.334 * * [simplify]: Extracting #1: cost 944 inf + 0
9.355 * * [simplify]: Extracting #2: cost 2749 inf + 322
9.384 * * [simplify]: Extracting #3: cost 2891 inf + 326
9.404 * * [simplify]: Extracting #4: cost 2826 inf + 103025
9.495 * * [simplify]: Extracting #5: cost 2214 inf + 1092189
9.794 * * [simplify]: Extracting #6: cost 543 inf + 4458317
10.250 * * [simplify]: Extracting #7: cost 0 inf + 5542908
10.779 * * [simplify]: Extracting #8: cost 0 inf + 5534748
11.289 * * [simplify]: Extracting #9: cost 0 inf + 5534388
11.710 * [simplify]: Simplified to:
  (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i))))
  (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)) (real->posit16 2)))
  (*.p16 (real->posit16 2) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (real->posit16 1.0)))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
  (*.p16 i (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))))
  (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
  (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (real->posit16 1.0))
  (+.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
  (*.p16 i (*.p16 (real->posit16 2) i))
  (*.p16 (real->posit16 2) (*.p16 (real->posit16 2) i))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)))
11.712 * * * [progress]: adding candidates to table
12.440 * * [progress]: iteration 2 / 4
12.440 * * * [progress]: picking best candidate
12.563 * * * * [pick]: Picked  #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.563 * * * [progress]: localizing error
12.856 * * * [progress]: generating rewritten candidates
12.856 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
12.861 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
12.863 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
12.866 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
12.868 * * * [progress]: generating series expansions
12.868 * * * * [progress]: [ 1 / 4 ] generating series at (2)
12.868 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
12.868 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
12.868 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
12.868 * * * [progress]: simplifying candidates
12.868 * * * * [progress]: [ 1 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
12.868 * * * * [progress]: [ 2 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
12.868 * * * * [progress]: [ 3 / 13 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (real->posit16 2)))>
12.868 * * * * [progress]: [ 4 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))))>
12.868 * * * * [progress]: [ 5 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.868 * * * * [progress]: [ 6 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (*.p16 (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.868 * * * * [progress]: [ 7 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
12.869 * * * * [progress]: [ 8 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))))))>
12.869 * * * * [progress]: [ 9 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
12.869 * * * * [progress]: [ 10 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.869 * * * * [progress]: [ 11 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.869 * * * * [progress]: [ 12 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.869 * * * * [progress]: [ 13 / 13 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
12.869 * [simplify]: Simplifying:
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (*.p16 i (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
  (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))
  (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
  (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
12.869 * * [simplify]: iteration 1: (21 enodes)
12.874 * * [simplify]: iteration 2: (63 enodes)
12.890 * * [simplify]: iteration 3: (230 enodes)
13.049 * * [simplify]: iteration 4: (1103 enodes)
20.294 * * [simplify]: Extracting #0: cost 9 inf + 0
20.296 * * [simplify]: Extracting #1: cost 748 inf + 0
20.303 * * [simplify]: Extracting #2: cost 2472 inf + 964
20.317 * * [simplify]: Extracting #3: cost 3052 inf + 12047
20.341 * * [simplify]: Extracting #4: cost 2890 inf + 149669
20.411 * * [simplify]: Extracting #5: cost 1554 inf + 1535010
20.666 * * [simplify]: Extracting #6: cost 282 inf + 3763494
20.987 * * [simplify]: Extracting #7: cost 0 inf + 4356450
21.334 * * [simplify]: Extracting #8: cost 0 inf + 4350850
21.712 * [simplify]: Simplified to:
  (/.p16 (*.p16 (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2))))) (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))
  (*.p16 (/.p16 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2))) i)
  (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2))))
  (/.p16 i (*.p16 (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (real->posit16 2)) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
  (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))
  (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))
  (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))
  (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))
  (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))
21.713 * * * [progress]: adding candidates to table
22.250 * * [progress]: iteration 3 / 4
22.250 * * * [progress]: picking best candidate
22.363 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.363 * * * [progress]: localizing error
22.608 * * * [progress]: generating rewritten candidates
22.608 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
22.613 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
22.618 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
22.621 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
22.629 * * * [progress]: generating series expansions
22.629 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
22.629 * * * * [progress]: [ 2 / 4 ] generating series at (2)
22.629 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
22.629 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
22.629 * * * [progress]: simplifying candidates
22.629 * * * * [progress]: [ 1 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.629 * * * * [progress]: [ 2 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
22.629 * * * * [progress]: [ 3 / 14 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.629 * * * * [progress]: [ 4 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
22.629 * * * * [progress]: [ 5 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 i (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))>
22.629 * * * * [progress]: [ 6 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.629 * * * * [progress]: [ 7 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (*.p16 i (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.629 * * * * [progress]: [ 8 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.629 * * * * [progress]: [ 9 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0)))))>
22.629 * * * * [progress]: [ 10 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
22.629 * * * * [progress]: [ 11 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.630 * * * * [progress]: [ 12 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.630 * * * * [progress]: [ 13 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.630 * * * * [progress]: [ 14 / 14 ] simplifiying candidate #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
22.630 * [simplify]: Simplifying:
  (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))))
  (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
  (*.p16 i (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))
  (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
22.630 * * [simplify]: iteration 1: (22 enodes)
22.636 * * [simplify]: iteration 2: (64 enodes)
22.650 * * [simplify]: iteration 3: (226 enodes)
22.824 * * [simplify]: iteration 4: (1184 enodes)
28.913 * * [simplify]: Extracting #0: cost 10 inf + 0
28.915 * * [simplify]: Extracting #1: cost 588 inf + 0
28.922 * * [simplify]: Extracting #2: cost 1975 inf + 322
28.932 * * [simplify]: Extracting #3: cost 2556 inf + 5543
28.962 * * [simplify]: Extracting #4: cost 2393 inf + 140423
29.071 * * [simplify]: Extracting #5: cost 1184 inf + 1664947
29.302 * * [simplify]: Extracting #6: cost 168 inf + 3395206
29.593 * * [simplify]: Extracting #7: cost 0 inf + 3562435
29.905 * * [simplify]: Extracting #8: cost 0 inf + 3534381
30.190 * * [simplify]: Extracting #9: cost 0 inf + 3533741
30.559 * [simplify]: Simplified to:
  (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) i) (real->posit16 2))
  (/.p16 (*.p16 (real->posit16 2) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))) i)
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
  (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
  (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2)))
  (*.p16 (/.p16 i (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) i) (real->posit16 2))) i)
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))
  (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2)))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (real->posit16 1.0) (*.p16 i (real->posit16 2))))
30.561 * * * [progress]: adding candidates to table
31.117 * * [progress]: iteration 4 / 4
31.117 * * * [progress]: picking best candidate
31.282 * * * * [pick]: Picked  #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.282 * * * [progress]: localizing error
31.556 * * * [progress]: generating rewritten candidates
31.556 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
31.559 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
31.563 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
31.565 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
31.567 * * * [progress]: generating series expansions
31.567 * * * * [progress]: [ 1 / 4 ] generating series at (2)
31.567 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
31.567 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
31.567 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
31.568 * * * [progress]: simplifying candidates
31.568 * * * * [progress]: [ 1 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))>
31.568 * * * * [progress]: [ 2 / 12 ] simplifiying candidate #<alt (λ (i) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
31.568 * * * * [progress]: [ 3 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 i (*.p16 (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (real->posit16 2))))>
31.568 * * * * [progress]: [ 4 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))))))>
31.568 * * * * [progress]: [ 5 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))>
31.568 * * * * [progress]: [ 6 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.568 * * * * [progress]: [ 7 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (+.p16 (*.p16 i (real->posit16 2)) (neg.p16 (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.568 * * * * [progress]: [ 8 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.568 * * * * [progress]: [ 9 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.568 * * * * [progress]: [ 10 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.569 * * * * [progress]: [ 11 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.569 * * * * [progress]: [ 12 / 12 ] simplifiying candidate #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>
31.569 * [simplify]: Simplifying:
  (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2))))
  (/.p16 (/.p16 i (real->posit16 2)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (*.p16 (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))) (real->posit16 2))
  (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))
  (*.p16 (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (*.p16 (real->posit16 1.0) (real->posit16 1.0)))
  (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
  (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))
31.569 * * [simplify]: iteration 1: (21 enodes)
31.575 * * [simplify]: iteration 2: (62 enodes)
31.589 * * [simplify]: iteration 3: (208 enodes)
31.852 * * [simplify]: iteration 4: (998 enodes)
39.371 * * [simplify]: Extracting #0: cost 10 inf + 0
39.376 * * [simplify]: Extracting #1: cost 801 inf + 0
39.390 * * [simplify]: Extracting #2: cost 1956 inf + 1
39.404 * * [simplify]: Extracting #3: cost 2196 inf + 38250
39.454 * * [simplify]: Extracting #4: cost 1267 inf + 1171439
39.667 * * [simplify]: Extracting #5: cost 100 inf + 2853969
39.954 * * [simplify]: Extracting #6: cost 0 inf + 3007137
40.236 * [simplify]: Simplified to:
  (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)))
  (/.p16 i (*.p16 (real->posit16 2) (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))))
  (/.p16 (*.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) (*.p16 (real->posit16 2) (real->posit16 2))) i)
  (+.p16 (real->posit16 2) (*.p16 (*.p16 (real->posit16 2) i) (real->posit16 2)))
  (/.p16 (*.p16 (-.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0)) (real->posit16 2)) i)
  (/.p16 i (real->posit16 2))
  (neg.p16 (real->posit16 1.0))
  (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))
  (+.p16 (*.p16 (real->posit16 2) i) (real->posit16 1.0))
  (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) i) (real->posit16 2))
  (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) i) (real->posit16 2))
  (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) i) (real->posit16 2))
  (*.p16 (/.p16 (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0)) i) (real->posit16 2))
40.237 * * * [progress]: adding candidates to table
40.772 * [progress]: [Phase 3 of 3] Extracting.
40.772 * * [regime]: Finding splitpoints for: (#<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2))))) (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>)
40.774 * * * [regime-changes]: Trying 1 branch expressions: (i)
40.774 * * * * [regimes]: Trying to branch on i from (#<alt (λ (i) (/.p16 (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 (*.p16 (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2))))) (/.p16 i (+.p16 (real->posit16 2) (*.p16 (real->posit16 2) (*.p16 i (real->posit16 2)))))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 (/.p16 i (real->posit16 2)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2))) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))))> #<alt (λ (i) (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (/.p16 (*.p16 (*.p16 i i) (*.p16 i i)) (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i))) (-.p16 (*.p16 (*.p16 (real->posit16 2) i) (*.p16 (real->posit16 2) i)) (real->posit16 1.0))))> #<alt (λ (i) (/.p16 (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))) (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0))))> #<alt (λ (i) (*.p16 (/.p16 i (real->posit16 2)) (/.p16 (/.p16 i (real->posit16 2)) (*.p16 (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))>)
40.982 * * * [regime]: Found split indices: #<option (#s(si 4 256))>
40.982 * [simplify]: Simplifying:
  (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
40.983 * * [simplify]: iteration 1: (12 enodes)
40.985 * * [simplify]: Extracting #0: cost 1 inf + 0
40.985 * * [simplify]: Extracting #1: cost 3 inf + 0
40.985 * * [simplify]: Extracting #2: cost 7 inf + 0
40.985 * * [simplify]: Extracting #3: cost 11 inf + 0
40.985 * * [simplify]: Extracting #4: cost 9 inf + 3
40.985 * * [simplify]: Extracting #5: cost 0 inf + 6744
40.986 * [simplify]: Simplified to:
  (/.p16 (/.p16 (/.p16 i (real->posit16 2)) (/.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (/.p16 i (real->posit16 2)))) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)))
40.986 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
40.999 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
41.003 * * * * [points]: Setting MPFR precision to 64
41.004 * * * * [points]: Setting MPFR precision to 320
41.005 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
41.008 * * * * [points]: Setting MPFR precision to 64
41.010 * * * * [points]: Setting MPFR precision to 320
41.021 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
41.024 * * * * [points]: Setting MPFR precision to 64
41.028 * * * * [points]: Setting MPFR precision to 320
41.032 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
41.035 * * * * [points]: Setting MPFR precision to 64
41.046 * * * * [points]: Setting MPFR precision to 320
41.059 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
41.065 * * * * [points]: Setting MPFR precision to 64
41.092 * * * * [points]: Setting MPFR precision to 320
41.116 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
41.122 * * * * [points]: Setting MPFR precision to 64
41.168 * * * * [points]: Setting MPFR precision to 320
41.194 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
41.235 * * * * [points]: Setting MPFR precision to 64
41.333 * * * * [points]: Setting MPFR precision to 320
41.432 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
41.438 * * * * [points]: Setting MPFR precision to 64
41.651 * * * * [points]: Setting MPFR precision to 320
41.866 * * * * [points]: Computing exacts for 8000 points
41.872 * * * * [points]: Setting MPFR precision to 64
43.139 * * * * [points]: Setting MPFR precision to 320
43.978 * * * * [points]: Filtering points with unrepresentable outputs
43.991 * * * * [points]: Sampling 3928 additional inputs, on iter 1 have 4072 / 8000
44.002 * * * * [points]: Computing exacts on every 245 of 3928 points to ramp up precision
44.008 * * * * [points]: Setting MPFR precision to 64
44.041 * * * * [points]: Setting MPFR precision to 320
44.043 * * * * [points]: Computing exacts on every 122 of 3928 points to ramp up precision
44.049 * * * * [points]: Setting MPFR precision to 64
44.054 * * * * [points]: Setting MPFR precision to 320
44.057 * * * * [points]: Computing exacts on every 61 of 3928 points to ramp up precision
44.063 * * * * [points]: Setting MPFR precision to 64
44.069 * * * * [points]: Setting MPFR precision to 320
44.076 * * * * [points]: Computing exacts on every 30 of 3928 points to ramp up precision
44.081 * * * * [points]: Setting MPFR precision to 64
44.093 * * * * [points]: Setting MPFR precision to 320
44.099 * * * * [points]: Computing exacts on every 15 of 3928 points to ramp up precision
44.102 * * * * [points]: Setting MPFR precision to 64
44.115 * * * * [points]: Setting MPFR precision to 320
44.127 * * * * [points]: Computing exacts on every 7 of 3928 points to ramp up precision
44.130 * * * * [points]: Setting MPFR precision to 64
44.169 * * * * [points]: Setting MPFR precision to 320
44.250 * * * * [points]: Computing exacts on every 3 of 3928 points to ramp up precision
44.259 * * * * [points]: Setting MPFR precision to 64
44.350 * * * * [points]: Setting MPFR precision to 320
44.443 * * * * [points]: Computing exacts for 3928 points
44.449 * * * * [points]: Setting MPFR precision to 64
44.907 * * * * [points]: Setting MPFR precision to 320
45.362 * * * * [points]: Filtering points with unrepresentable outputs
45.368 * * * * [points]: Sampling 1978 additional inputs, on iter 2 have 6022 / 8000
45.373 * * * * [points]: Computing exacts on every 123 of 1978 points to ramp up precision
45.379 * * * * [points]: Setting MPFR precision to 64
45.381 * * * * [points]: Setting MPFR precision to 320
45.382 * * * * [points]: Computing exacts on every 61 of 1978 points to ramp up precision
45.388 * * * * [points]: Setting MPFR precision to 64
45.391 * * * * [points]: Setting MPFR precision to 320
45.394 * * * * [points]: Computing exacts on every 30 of 1978 points to ramp up precision
45.400 * * * * [points]: Setting MPFR precision to 64
45.407 * * * * [points]: Setting MPFR precision to 320
45.413 * * * * [points]: Computing exacts on every 15 of 1978 points to ramp up precision
45.419 * * * * [points]: Setting MPFR precision to 64
45.431 * * * * [points]: Setting MPFR precision to 320
45.444 * * * * [points]: Computing exacts on every 7 of 1978 points to ramp up precision
45.450 * * * * [points]: Setting MPFR precision to 64
45.465 * * * * [points]: Setting MPFR precision to 320
45.505 * * * * [points]: Computing exacts on every 3 of 1978 points to ramp up precision
45.510 * * * * [points]: Setting MPFR precision to 64
45.558 * * * * [points]: Setting MPFR precision to 320
45.587 * * * * [points]: Computing exacts for 1978 points
45.590 * * * * [points]: Setting MPFR precision to 64
45.769 * * * * [points]: Setting MPFR precision to 320
45.946 * * * * [points]: Filtering points with unrepresentable outputs
45.949 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
45.951 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
45.956 * * * * [points]: Setting MPFR precision to 64
45.959 * * * * [points]: Setting MPFR precision to 320
45.960 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
45.965 * * * * [points]: Setting MPFR precision to 64
45.968 * * * * [points]: Setting MPFR precision to 320
45.970 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
45.975 * * * * [points]: Setting MPFR precision to 64
45.981 * * * * [points]: Setting MPFR precision to 320
45.987 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
45.992 * * * * [points]: Setting MPFR precision to 64
46.002 * * * * [points]: Setting MPFR precision to 320
46.012 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
46.017 * * * * [points]: Setting MPFR precision to 64
46.036 * * * * [points]: Setting MPFR precision to 320
46.056 * * * * [points]: Computing exacts for 1008 points
46.060 * * * * [points]: Setting MPFR precision to 64
46.140 * * * * [points]: Setting MPFR precision to 320
46.195 * * * * [points]: Filtering points with unrepresentable outputs
46.195 * * * * [points]: Sampling 486 additional inputs, on iter 4 have 7514 / 8000
46.196 * * * * [points]: Computing exacts on every 30 of 486 points to ramp up precision
46.200 * * * * [points]: Setting MPFR precision to 64
46.201 * * * * [points]: Setting MPFR precision to 320
46.202 * * * * [points]: Computing exacts on every 15 of 486 points to ramp up precision
46.204 * * * * [points]: Setting MPFR precision to 64
46.206 * * * * [points]: Setting MPFR precision to 320
46.208 * * * * [points]: Computing exacts on every 7 of 486 points to ramp up precision
46.211 * * * * [points]: Setting MPFR precision to 64
46.214 * * * * [points]: Setting MPFR precision to 320
46.218 * * * * [points]: Computing exacts on every 3 of 486 points to ramp up precision
46.245 * * * * [points]: Setting MPFR precision to 64
46.253 * * * * [points]: Setting MPFR precision to 320
46.261 * * * * [points]: Computing exacts for 486 points
46.264 * * * * [points]: Setting MPFR precision to 64
46.288 * * * * [points]: Setting MPFR precision to 320
46.313 * * * * [points]: Filtering points with unrepresentable outputs
46.314 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
46.314 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
46.317 * * * * [points]: Setting MPFR precision to 64
46.318 * * * * [points]: Setting MPFR precision to 320
46.319 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
46.322 * * * * [points]: Setting MPFR precision to 64
46.324 * * * * [points]: Setting MPFR precision to 320
46.325 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
46.328 * * * * [points]: Setting MPFR precision to 64
46.332 * * * * [points]: Setting MPFR precision to 320
46.336 * * * * [points]: Computing exacts for 238 points
46.339 * * * * [points]: Setting MPFR precision to 64
46.352 * * * * [points]: Setting MPFR precision to 320
46.859 * * * * [points]: Filtering points with unrepresentable outputs
46.863 * * * * [points]: Sampling 119 additional inputs, on iter 6 have 7881 / 8000
46.863 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
46.868 * * * * [points]: Setting MPFR precision to 64
46.869 * * * * [points]: Setting MPFR precision to 320
46.871 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
46.876 * * * * [points]: Setting MPFR precision to 64
46.879 * * * * [points]: Setting MPFR precision to 320
46.882 * * * * [points]: Computing exacts for 119 points
46.888 * * * * [points]: Setting MPFR precision to 64
46.900 * * * * [points]: Setting MPFR precision to 320
46.913 * * * * [points]: Filtering points with unrepresentable outputs
46.913 * * * * [points]: Sampling 55 additional inputs, on iter 7 have 7945 / 8000
46.913 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
46.919 * * * * [points]: Setting MPFR precision to 64
46.921 * * * * [points]: Setting MPFR precision to 320
46.923 * * * * [points]: Computing exacts for 55 points
46.928 * * * * [points]: Setting MPFR precision to 64
46.934 * * * * [points]: Setting MPFR precision to 320
46.940 * * * * [points]: Filtering points with unrepresentable outputs
46.940 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
46.940 * * * * [points]: Computing exacts for 30 points
46.946 * * * * [points]: Setting MPFR precision to 64
46.950 * * * * [points]: Setting MPFR precision to 320
46.953 * * * * [points]: Filtering points with unrepresentable outputs
46.953 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
46.953 * * * * [points]: Computing exacts for 18 points
46.959 * * * * [points]: Setting MPFR precision to 64
46.962 * * * * [points]: Setting MPFR precision to 320
46.964 * * * * [points]: Filtering points with unrepresentable outputs
46.964 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
46.964 * * * * [points]: Computing exacts for 6 points
46.970 * * * * [points]: Setting MPFR precision to 64
46.970 * * * * [points]: Setting MPFR precision to 320
46.971 * * * * [points]: Filtering points with unrepresentable outputs
46.971 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
46.971 * * * * [points]: Computing exacts for 4 points
46.977 * * * * [points]: Setting MPFR precision to 64
46.977 * * * * [points]: Setting MPFR precision to 320
46.978 * * * * [points]: Filtering points with unrepresentable outputs
46.978 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
46.978 * * * * [points]: Computing exacts for 4 points
46.983 * * * * [points]: Setting MPFR precision to 64
46.984 * * * * [points]: Setting MPFR precision to 320
46.984 * * * * [points]: Filtering points with unrepresentable outputs
46.984 * * * * [points]: Sampled 8001 points with exact outputs
52.685 * [regime-testing]: Baseline error score: 0.377804456734911
52.687 * [regime-testing]: Oracle error score: 0.07959900018515591
52.692 * [regime-testing]: End program error score: 0.377804456734911