0.001 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.002 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256
0.003 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision
0.006 * * * * [points]: Setting MPFR precision to 64
0.007 * * * * [points]: Setting MPFR precision to 320
0.008 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision
0.011 * * * * [points]: Setting MPFR precision to 64
0.013 * * * * [points]: Setting MPFR precision to 320
0.014 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.017 * * * * [points]: Setting MPFR precision to 64
0.020 * * * * [points]: Setting MPFR precision to 320
0.023 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.026 * * * * [points]: Setting MPFR precision to 64
0.030 * * * * [points]: Setting MPFR precision to 320
0.035 * * * * [points]: Computing exacts for 256 points
0.038 * * * * [points]: Setting MPFR precision to 64
0.051 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Filtering points with unrepresentable outputs
0.064 * * * * [points]: Sampling 123 additional inputs, on iter 1 have 133 / 256
0.078 * * * * [points]: Computing exacts on every 7 of 123 points to ramp up precision
0.081 * * * * [points]: Setting MPFR precision to 64
0.082 * * * * [points]: Setting MPFR precision to 320
0.083 * * * * [points]: Computing exacts on every 3 of 123 points to ramp up precision
0.086 * * * * [points]: Setting MPFR precision to 64
0.088 * * * * [points]: Setting MPFR precision to 320
0.090 * * * * [points]: Computing exacts for 123 points
0.092 * * * * [points]: Setting MPFR precision to 64
0.099 * * * * [points]: Setting MPFR precision to 320
0.106 * * * * [points]: Filtering points with unrepresentable outputs
0.106 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256
0.106 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision
0.109 * * * * [points]: Setting MPFR precision to 64
0.110 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Computing exacts for 59 points
0.113 * * * * [points]: Setting MPFR precision to 64
0.116 * * * * [points]: Setting MPFR precision to 320
0.120 * * * * [points]: Filtering points with unrepresentable outputs
0.120 * * * * [points]: Sampling 31 additional inputs, on iter 3 have 225 / 256
0.120 * * * * [points]: Computing exacts for 31 points
0.123 * * * * [points]: Setting MPFR precision to 64
0.124 * * * * [points]: Setting MPFR precision to 320
0.126 * * * * [points]: Filtering points with unrepresentable outputs
0.126 * * * * [points]: Sampling 17 additional inputs, on iter 4 have 239 / 256
0.126 * * * * [points]: Computing exacts for 17 points
0.129 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.131 * * * * [points]: Filtering points with unrepresentable outputs
0.131 * * * * [points]: Sampling 10 additional inputs, on iter 5 have 246 / 256
0.131 * * * * [points]: Computing exacts for 10 points
0.134 * * * * [points]: Setting MPFR precision to 64
0.135 * * * * [points]: Setting MPFR precision to 320
0.135 * * * * [points]: Filtering points with unrepresentable outputs
0.136 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 252 / 256
0.136 * * * * [points]: Computing exacts for 4 points
0.138 * * * * [points]: Setting MPFR precision to 64
0.139 * * * * [points]: Setting MPFR precision to 320
0.139 * * * * [points]: Filtering points with unrepresentable outputs
0.139 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256
0.139 * * * * [points]: Computing exacts for 4 points
0.142 * * * * [points]: Setting MPFR precision to 64
0.142 * * * * [points]: Setting MPFR precision to 320
0.142 * * * * [points]: Filtering points with unrepresentable outputs
0.142 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256
0.143 * * * * [points]: Computing exacts for 4 points
0.145 * * * * [points]: Setting MPFR precision to 64
0.146 * * * * [points]: Setting MPFR precision to 320
0.146 * * * * [points]: Filtering points with unrepresentable outputs
0.146 * * * * [points]: Sampled 256 points with exact outputs
0.146 * * * [progress]: [2/2] Setting up program.
0.159 * [progress]: [Phase 2 of 3] Improving.
0.159 * * * * [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.160 * [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.160 * * [simplify]: iteration 1: (12 enodes)
0.163 * * [simplify]: iteration 2: (43 enodes)
0.202 * * [simplify]: iteration 3: (170 enodes)
0.271 * * [simplify]: iteration 4: (882 enodes)
3.960 * * [simplify]: Extracting #0: cost 1 inf + 0
3.962 * * [simplify]: Extracting #1: cost 353 inf + 0
3.970 * * [simplify]: Extracting #2: cost 1119 inf + 442
3.981 * * [simplify]: Extracting #3: cost 1168 inf + 8070
3.995 * * [simplify]: Extracting #4: cost 1161 inf + 38576
4.044 * * [simplify]: Extracting #5: cost 870 inf + 544043
4.195 * * [simplify]: Extracting #6: cost 206 inf + 1807133
4.405 * * [simplify]: Extracting #7: cost 2 inf + 2087263
4.544 * * [simplify]: Extracting #8: cost 0 inf + 2047066
4.666 * * [simplify]: Extracting #9: cost 0 inf + 2046066
4.839 * [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.868 * * [progress]: iteration 1 / 4
4.868 * * * [progress]: picking best candidate
4.911 * * * * [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.911 * * * [progress]: localizing error
5.076 * * * [progress]: generating rewritten candidates
5.076 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
5.079 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
5.083 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
5.085 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
5.090 * * * [progress]: generating series expansions
5.090 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
5.090 * * * * [progress]: [ 2 / 4 ] generating series at (2)
5.090 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
5.090 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
5.090 * * * [progress]: simplifying candidates
5.090 * * * * [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)))))>
5.090 * * * * [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)))))>
5.090 * * * * [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)))))>
5.090 * * * * [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))))>
5.090 * * * * [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))))>
5.090 * * * * [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)))>
5.090 * * * * [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))))>
5.090 * * * * [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))))))>
5.090 * * * * [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))))))>
5.090 * * * * [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))))))>
5.090 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * * * * [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)))))>
5.091 * [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))))
5.091 * * [simplify]: iteration 1: (26 enodes)
5.097 * * [simplify]: iteration 2: (75 enodes)
5.111 * * [simplify]: iteration 3: (203 enodes)
5.175 * * [simplify]: iteration 4: (1042 enodes)
10.068 * * [simplify]: Extracting #0: cost 14 inf + 0
10.072 * * [simplify]: Extracting #1: cost 944 inf + 0
10.104 * * [simplify]: Extracting #2: cost 2749 inf + 322
10.118 * * [simplify]: Extracting #3: cost 2891 inf + 326
10.145 * * [simplify]: Extracting #4: cost 2826 inf + 103025
10.240 * * [simplify]: Extracting #5: cost 2214 inf + 1092189
10.495 * * [simplify]: Extracting #6: cost 543 inf + 4458317
11.056 * * [simplify]: Extracting #7: cost 0 inf + 5542908
11.571 * * [simplify]: Extracting #8: cost 0 inf + 5534748
12.086 * * [simplify]: Extracting #9: cost 0 inf + 5534388
12.585 * [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)))
12.586 * * * [progress]: adding candidates to table
13.235 * * [progress]: iteration 2 / 4
13.235 * * * [progress]: picking best candidate
13.361 * * * * [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)))))>
13.361 * * * [progress]: localizing error
13.624 * * * [progress]: generating rewritten candidates
13.624 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
13.633 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1)
13.639 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
13.645 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
13.648 * * * [progress]: generating series expansions
13.649 * * * * [progress]: [ 1 / 4 ] generating series at (2)
13.649 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1)
13.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
13.649 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
13.649 * * * [progress]: simplifying candidates
13.649 * * * * [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))))>
13.649 * * * * [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))))>
13.649 * * * * [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)))>
13.649 * * * * [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))))>
13.649 * * * * [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)))))>
13.649 * * * * [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)))))>
13.649 * * * * [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))))))>
13.649 * * * * [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))))))>
13.649 * * * * [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))))))>
13.649 * * * * [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)))))>
13.650 * * * * [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)))))>
13.650 * * * * [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)))))>
13.650 * * * * [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)))))>
13.650 * [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)))
13.651 * * [simplify]: iteration 1: (21 enodes)
13.661 * * [simplify]: iteration 2: (63 enodes)
13.689 * * [simplify]: iteration 3: (230 enodes)
13.834 * * [simplify]: iteration 4: (1103 enodes)
20.954 * * [simplify]: Extracting #0: cost 9 inf + 0
20.956 * * [simplify]: Extracting #1: cost 748 inf + 0
20.968 * * [simplify]: Extracting #2: cost 2472 inf + 964
21.004 * * [simplify]: Extracting #3: cost 3052 inf + 12047
21.038 * * [simplify]: Extracting #4: cost 2890 inf + 149669
21.148 * * [simplify]: Extracting #5: cost 1554 inf + 1535010
21.389 * * [simplify]: Extracting #6: cost 282 inf + 3763494
21.720 * * [simplify]: Extracting #7: cost 0 inf + 4356450
22.016 * * [simplify]: Extracting #8: cost 0 inf + 4350850
22.395 * [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)))))
22.396 * * * [progress]: adding candidates to table
22.958 * * [progress]: iteration 3 / 4
22.958 * * * [progress]: picking best candidate
23.151 * * * * [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))))>
23.152 * * * [progress]: localizing error
23.369 * * * [progress]: generating rewritten candidates
23.369 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2)
23.372 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
23.375 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
23.379 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
23.381 * * * [progress]: generating series expansions
23.381 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2)
23.381 * * * * [progress]: [ 2 / 4 ] generating series at (2)
23.381 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
23.381 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
23.381 * * * [progress]: simplifying candidates
23.381 * * * * [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))))>
23.381 * * * * [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))))))>
23.381 * * * * [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))))>
23.381 * * * * [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)))))>
23.381 * * * * [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))))>
23.381 * * * * [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))))>
23.381 * * * * [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))))>
23.381 * * * * [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))))>
23.382 * * * * [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)))))>
23.382 * * * * [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)))))>
23.382 * * * * [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))))>
23.382 * * * * [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))))>
23.382 * * * * [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))))>
23.382 * * * * [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))))>
23.382 * [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))))
23.382 * * [simplify]: iteration 1: (22 enodes)
23.388 * * [simplify]: iteration 2: (64 enodes)
23.402 * * [simplify]: iteration 3: (226 enodes)
23.565 * * [simplify]: iteration 4: (1184 enodes)
29.598 * * [simplify]: Extracting #0: cost 10 inf + 0
29.599 * * [simplify]: Extracting #1: cost 588 inf + 0
29.618 * * [simplify]: Extracting #2: cost 1975 inf + 322
29.638 * * [simplify]: Extracting #3: cost 2556 inf + 5543
29.669 * * [simplify]: Extracting #4: cost 2393 inf + 140423
29.810 * * [simplify]: Extracting #5: cost 1184 inf + 1664947
30.077 * * [simplify]: Extracting #6: cost 168 inf + 3395206
30.373 * * [simplify]: Extracting #7: cost 0 inf + 3562435
30.700 * * [simplify]: Extracting #8: cost 0 inf + 3534381
31.004 * * [simplify]: Extracting #9: cost 0 inf + 3533741
31.286 * [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))))
31.287 * * * [progress]: adding candidates to table
31.804 * * [progress]: iteration 4 / 4
31.804 * * * [progress]: picking best candidate
31.951 * * * * [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.951 * * * [progress]: localizing error
32.282 * * * [progress]: generating rewritten candidates
32.282 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
32.288 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
32.294 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
32.299 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
32.302 * * * [progress]: generating series expansions
32.303 * * * * [progress]: [ 1 / 4 ] generating series at (2)
32.303 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
32.303 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
32.303 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
32.303 * * * [progress]: simplifying candidates
32.303 * * * * [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))))>
32.303 * * * * [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)))))>
32.303 * * * * [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))))>
32.303 * * * * [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))))))>
32.303 * * * * [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)))))>
32.303 * * * * [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))))))>
32.303 * * * * [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))))))>
32.303 * * * * [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))))))>
32.303 * * * * [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))))))>
32.304 * * * * [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))))))>
32.304 * * * * [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))))))>
32.304 * * * * [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))))))>
32.304 * [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))))
32.305 * * [simplify]: iteration 1: (21 enodes)
32.315 * * [simplify]: iteration 2: (62 enodes)
32.347 * * [simplify]: iteration 3: (208 enodes)
32.649 * * [simplify]: iteration 4: (998 enodes)
40.708 * * [simplify]: Extracting #0: cost 10 inf + 0
40.712 * * [simplify]: Extracting #1: cost 801 inf + 0
40.726 * * [simplify]: Extracting #2: cost 1956 inf + 1
40.757 * * [simplify]: Extracting #3: cost 2196 inf + 38250
40.819 * * [simplify]: Extracting #4: cost 1267 inf + 1171439
41.074 * * [simplify]: Extracting #5: cost 100 inf + 2853969
41.283 * * [simplify]: Extracting #6: cost 0 inf + 3007137
41.507 * [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))
41.508 * * * [progress]: adding candidates to table
41.921 * [progress]: [Phase 3 of 3] Extracting.
41.921 * * [regime]: Finding splitpoints for: (#<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 (*.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 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))))))> #<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))))>)
41.922 * * * [regime-changes]: Trying 1 branch expressions: (i)
41.922 * * * * [regimes]: Trying to branch on i from (#<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 (*.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 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))))))> #<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))))>)
42.131 * * * [regime]: Found split indices: #<option (#s(si 5 256))>
42.132 * [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)))
42.132 * * [simplify]: iteration 1: (12 enodes)
42.135 * * [simplify]: Extracting #0: cost 1 inf + 0
42.135 * * [simplify]: Extracting #1: cost 3 inf + 0
42.135 * * [simplify]: Extracting #2: cost 7 inf + 0
42.135 * * [simplify]: Extracting #3: cost 11 inf + 0
42.135 * * [simplify]: Extracting #4: cost 9 inf + 3
42.135 * * [simplify]: Extracting #5: cost 0 inf + 6744
42.135 * [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)))
42.135 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
42.151 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
42.157 * * * * [points]: Setting MPFR precision to 64
42.158 * * * * [points]: Setting MPFR precision to 320
42.160 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
42.166 * * * * [points]: Setting MPFR precision to 64
42.169 * * * * [points]: Setting MPFR precision to 320
42.172 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
42.177 * * * * [points]: Setting MPFR precision to 64
42.183 * * * * [points]: Setting MPFR precision to 320
42.189 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
42.195 * * * * [points]: Setting MPFR precision to 64
42.207 * * * * [points]: Setting MPFR precision to 320
42.220 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
42.226 * * * * [points]: Setting MPFR precision to 64
42.251 * * * * [points]: Setting MPFR precision to 320
42.275 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
42.281 * * * * [points]: Setting MPFR precision to 64
42.334 * * * * [points]: Setting MPFR precision to 320
42.376 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
42.383 * * * * [points]: Setting MPFR precision to 64
42.460 * * * * [points]: Setting MPFR precision to 320
42.583 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
42.590 * * * * [points]: Setting MPFR precision to 64
42.810 * * * * [points]: Setting MPFR precision to 320
42.954 * * * * [points]: Computing exacts for 8000 points
42.983 * * * * [points]: Setting MPFR precision to 64
43.697 * * * * [points]: Setting MPFR precision to 320
44.722 * * * * [points]: Filtering points with unrepresentable outputs
44.735 * * * * [points]: Sampling 3928 additional inputs, on iter 1 have 4072 / 8000
44.745 * * * * [points]: Computing exacts on every 245 of 3928 points to ramp up precision
44.751 * * * * [points]: Setting MPFR precision to 64
44.753 * * * * [points]: Setting MPFR precision to 320
44.755 * * * * [points]: Computing exacts on every 122 of 3928 points to ramp up precision
44.760 * * * * [points]: Setting MPFR precision to 64
44.763 * * * * [points]: Setting MPFR precision to 320
44.766 * * * * [points]: Computing exacts on every 61 of 3928 points to ramp up precision
44.772 * * * * [points]: Setting MPFR precision to 64
44.778 * * * * [points]: Setting MPFR precision to 320
44.784 * * * * [points]: Computing exacts on every 30 of 3928 points to ramp up precision
44.790 * * * * [points]: Setting MPFR precision to 64
44.802 * * * * [points]: Setting MPFR precision to 320
44.815 * * * * [points]: Computing exacts on every 15 of 3928 points to ramp up precision
44.821 * * * * [points]: Setting MPFR precision to 64
44.845 * * * * [points]: Setting MPFR precision to 320
44.868 * * * * [points]: Computing exacts on every 7 of 3928 points to ramp up precision
44.894 * * * * [points]: Setting MPFR precision to 64
44.942 * * * * [points]: Setting MPFR precision to 320
44.986 * * * * [points]: Computing exacts on every 3 of 3928 points to ramp up precision
44.992 * * * * [points]: Setting MPFR precision to 64
45.081 * * * * [points]: Setting MPFR precision to 320
45.190 * * * * [points]: Computing exacts for 3928 points
45.195 * * * * [points]: Setting MPFR precision to 64
45.526 * * * * [points]: Setting MPFR precision to 320
45.976 * * * * [points]: Filtering points with unrepresentable outputs
45.981 * * * * [points]: Sampling 1978 additional inputs, on iter 2 have 6022 / 8000
45.986 * * * * [points]: Computing exacts on every 123 of 1978 points to ramp up precision
45.992 * * * * [points]: Setting MPFR precision to 64
45.994 * * * * [points]: Setting MPFR precision to 320
45.996 * * * * [points]: Computing exacts on every 61 of 1978 points to ramp up precision
46.002 * * * * [points]: Setting MPFR precision to 64
46.005 * * * * [points]: Setting MPFR precision to 320
46.008 * * * * [points]: Computing exacts on every 30 of 1978 points to ramp up precision
46.014 * * * * [points]: Setting MPFR precision to 64
46.020 * * * * [points]: Setting MPFR precision to 320
46.027 * * * * [points]: Computing exacts on every 15 of 1978 points to ramp up precision
46.066 * * * * [points]: Setting MPFR precision to 64
46.080 * * * * [points]: Setting MPFR precision to 320
46.093 * * * * [points]: Computing exacts on every 7 of 1978 points to ramp up precision
46.099 * * * * [points]: Setting MPFR precision to 64
46.123 * * * * [points]: Setting MPFR precision to 320
46.148 * * * * [points]: Computing exacts on every 3 of 1978 points to ramp up precision
46.154 * * * * [points]: Setting MPFR precision to 64
46.204 * * * * [points]: Setting MPFR precision to 320
46.255 * * * * [points]: Computing exacts for 1978 points
46.261 * * * * [points]: Setting MPFR precision to 64
46.465 * * * * [points]: Setting MPFR precision to 320
46.674 * * * * [points]: Filtering points with unrepresentable outputs
46.677 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000
46.679 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision
46.684 * * * * [points]: Setting MPFR precision to 64
46.686 * * * * [points]: Setting MPFR precision to 320
46.687 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision
46.693 * * * * [points]: Setting MPFR precision to 64
46.695 * * * * [points]: Setting MPFR precision to 320
46.698 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision
46.703 * * * * [points]: Setting MPFR precision to 64
46.709 * * * * [points]: Setting MPFR precision to 320
46.714 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision
46.719 * * * * [points]: Setting MPFR precision to 64
46.729 * * * * [points]: Setting MPFR precision to 320
46.740 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision
46.783 * * * * [points]: Setting MPFR precision to 64
46.812 * * * * [points]: Setting MPFR precision to 320
46.838 * * * * [points]: Computing exacts for 1008 points
46.844 * * * * [points]: Setting MPFR precision to 64
46.945 * * * * [points]: Setting MPFR precision to 320
47.099 * * * * [points]: Filtering points with unrepresentable outputs
47.100 * * * * [points]: Sampling 486 additional inputs, on iter 4 have 7514 / 8000
47.102 * * * * [points]: Computing exacts on every 30 of 486 points to ramp up precision
47.108 * * * * [points]: Setting MPFR precision to 64
47.110 * * * * [points]: Setting MPFR precision to 320
47.111 * * * * [points]: Computing exacts on every 15 of 486 points to ramp up precision
47.117 * * * * [points]: Setting MPFR precision to 64
47.120 * * * * [points]: Setting MPFR precision to 320
47.123 * * * * [points]: Computing exacts on every 7 of 486 points to ramp up precision
47.129 * * * * [points]: Setting MPFR precision to 64
47.135 * * * * [points]: Setting MPFR precision to 320
47.141 * * * * [points]: Computing exacts on every 3 of 486 points to ramp up precision
47.147 * * * * [points]: Setting MPFR precision to 64
47.160 * * * * [points]: Setting MPFR precision to 320
47.172 * * * * [points]: Computing exacts for 486 points
47.179 * * * * [points]: Setting MPFR precision to 64
47.227 * * * * [points]: Setting MPFR precision to 320
47.276 * * * * [points]: Filtering points with unrepresentable outputs
47.277 * * * * [points]: Sampling 238 additional inputs, on iter 5 have 7762 / 8000
47.278 * * * * [points]: Computing exacts on every 14 of 238 points to ramp up precision
47.321 * * * * [points]: Setting MPFR precision to 64
47.322 * * * * [points]: Setting MPFR precision to 320
47.324 * * * * [points]: Computing exacts on every 7 of 238 points to ramp up precision
47.333 * * * * [points]: Setting MPFR precision to 64
47.336 * * * * [points]: Setting MPFR precision to 320
47.339 * * * * [points]: Computing exacts on every 3 of 238 points to ramp up precision
47.346 * * * * [points]: Setting MPFR precision to 64
47.352 * * * * [points]: Setting MPFR precision to 320
47.359 * * * * [points]: Computing exacts for 238 points
47.365 * * * * [points]: Setting MPFR precision to 64
47.389 * * * * [points]: Setting MPFR precision to 320
47.413 * * * * [points]: Filtering points with unrepresentable outputs
47.413 * * * * [points]: Sampling 119 additional inputs, on iter 6 have 7881 / 8000
47.414 * * * * [points]: Computing exacts on every 7 of 119 points to ramp up precision
47.420 * * * * [points]: Setting MPFR precision to 64
47.421 * * * * [points]: Setting MPFR precision to 320
47.423 * * * * [points]: Computing exacts on every 3 of 119 points to ramp up precision
47.428 * * * * [points]: Setting MPFR precision to 64
47.431 * * * * [points]: Setting MPFR precision to 320
47.433 * * * * [points]: Computing exacts for 119 points
47.439 * * * * [points]: Setting MPFR precision to 64
47.450 * * * * [points]: Setting MPFR precision to 320
47.462 * * * * [points]: Filtering points with unrepresentable outputs
47.462 * * * * [points]: Sampling 55 additional inputs, on iter 7 have 7945 / 8000
47.462 * * * * [points]: Computing exacts on every 3 of 55 points to ramp up precision
47.468 * * * * [points]: Setting MPFR precision to 64
47.469 * * * * [points]: Setting MPFR precision to 320
47.471 * * * * [points]: Computing exacts for 55 points
47.476 * * * * [points]: Setting MPFR precision to 64
47.482 * * * * [points]: Setting MPFR precision to 320
47.488 * * * * [points]: Filtering points with unrepresentable outputs
47.488 * * * * [points]: Sampling 30 additional inputs, on iter 8 have 7970 / 8000
47.488 * * * * [points]: Computing exacts for 30 points
47.494 * * * * [points]: Setting MPFR precision to 64
47.497 * * * * [points]: Setting MPFR precision to 320
47.501 * * * * [points]: Filtering points with unrepresentable outputs
47.501 * * * * [points]: Sampling 18 additional inputs, on iter 9 have 7982 / 8000
47.501 * * * * [points]: Computing exacts for 18 points
47.539 * * * * [points]: Setting MPFR precision to 64
47.541 * * * * [points]: Setting MPFR precision to 320
47.542 * * * * [points]: Filtering points with unrepresentable outputs
47.543 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
47.543 * * * * [points]: Computing exacts for 6 points
47.551 * * * * [points]: Setting MPFR precision to 64
47.552 * * * * [points]: Setting MPFR precision to 320
47.552 * * * * [points]: Filtering points with unrepresentable outputs
47.552 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
47.553 * * * * [points]: Computing exacts for 4 points
47.559 * * * * [points]: Setting MPFR precision to 64
47.560 * * * * [points]: Setting MPFR precision to 320
47.560 * * * * [points]: Filtering points with unrepresentable outputs
47.560 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000
47.560 * * * * [points]: Computing exacts for 4 points
47.566 * * * * [points]: Setting MPFR precision to 64
47.566 * * * * [points]: Setting MPFR precision to 320
47.567 * * * * [points]: Filtering points with unrepresentable outputs
47.567 * * * * [points]: Sampled 8001 points with exact outputs
53.418 * [regime-testing]: Baseline error score: 0.377804456734911
53.422 * [regime-testing]: Oracle error score: 0.07959900018515591
53.831 * [regime-testing]: End program error score: 0.377804456734911