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.005 * * * * [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.010 * * * * [points]: Setting MPFR precision to 64
0.012 * * * * [points]: Setting MPFR precision to 320
0.013 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision
0.016 * * * * [points]: Setting MPFR precision to 64
0.019 * * * * [points]: Setting MPFR precision to 320
0.022 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision
0.025 * * * * [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.050 * * * * [points]: Setting MPFR precision to 320
0.064 * * * * [points]: Filtering points with unrepresentable outputs
0.064 * * * * [points]: Sampling 110 additional inputs, on iter 1 have 146 / 256
0.065 * * * * [points]: Computing exacts on every 6 of 110 points to ramp up precision
0.067 * * * * [points]: Setting MPFR precision to 64
0.068 * * * * [points]: Setting MPFR precision to 320
0.069 * * * * [points]: Computing exacts on every 3 of 110 points to ramp up precision
0.085 * * * * [points]: Setting MPFR precision to 64
0.086 * * * * [points]: Setting MPFR precision to 320
0.088 * * * * [points]: Computing exacts for 110 points
0.090 * * * * [points]: Setting MPFR precision to 64
0.100 * * * * [points]: Setting MPFR precision to 320
0.110 * * * * [points]: Filtering points with unrepresentable outputs
0.110 * * * * [points]: Sampling 65 additional inputs, on iter 2 have 191 / 256
0.110 * * * * [points]: Computing exacts on every 4 of 65 points to ramp up precision
0.116 * * * * [points]: Setting MPFR precision to 64
0.117 * * * * [points]: Setting MPFR precision to 320
0.118 * * * * [points]: Computing exacts on every 2 of 65 points to ramp up precision
0.122 * * * * [points]: Setting MPFR precision to 64
0.123 * * * * [points]: Setting MPFR precision to 320
0.124 * * * * [points]: Computing exacts for 65 points
0.127 * * * * [points]: Setting MPFR precision to 64
0.130 * * * * [points]: Setting MPFR precision to 320
0.134 * * * * [points]: Filtering points with unrepresentable outputs
0.134 * * * * [points]: Sampling 32 additional inputs, on iter 3 have 224 / 256
0.134 * * * * [points]: Computing exacts on every 2 of 32 points to ramp up precision
0.137 * * * * [points]: Setting MPFR precision to 64
0.137 * * * * [points]: Setting MPFR precision to 320
0.138 * * * * [points]: Computing exacts for 32 points
0.140 * * * * [points]: Setting MPFR precision to 64
0.142 * * * * [points]: Setting MPFR precision to 320
0.144 * * * * [points]: Filtering points with unrepresentable outputs
0.144 * * * * [points]: Sampling 18 additional inputs, on iter 4 have 238 / 256
0.144 * * * * [points]: Computing exacts for 18 points
0.146 * * * * [points]: Setting MPFR precision to 64
0.147 * * * * [points]: Setting MPFR precision to 320
0.148 * * * * [points]: Filtering points with unrepresentable outputs
0.149 * * * * [points]: Sampling 7 additional inputs, on iter 5 have 249 / 256
0.149 * * * * [points]: Computing exacts for 7 points
0.151 * * * * [points]: Setting MPFR precision to 64
0.152 * * * * [points]: Setting MPFR precision to 320
0.152 * * * * [points]: Filtering points with unrepresentable outputs
0.152 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256
0.152 * * * * [points]: Computing exacts for 6 points
0.155 * * * * [points]: Setting MPFR precision to 64
0.155 * * * * [points]: Setting MPFR precision to 320
0.155 * * * * [points]: Filtering points with unrepresentable outputs
0.155 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 254 / 256
0.156 * * * * [points]: Computing exacts for 4 points
0.161 * * * * [points]: Setting MPFR precision to 64
0.161 * * * * [points]: Setting MPFR precision to 320
0.162 * * * * [points]: Filtering points with unrepresentable outputs
0.162 * * * * [points]: Sampled 256 points with exact outputs
0.162 * * * [progress]: [2/2] Setting up program.
0.185 * [progress]: [Phase 2 of 3] Improving.
0.185 * * * * [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.185 * [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.186 * * [simplify]: iteration 1: (12 enodes)
0.193 * * [simplify]: iteration 2: (43 enodes)
0.231 * * [simplify]: iteration 3: (170 enodes)
0.331 * * [simplify]: iteration 4: (882 enodes)
3.658 * * [simplify]: Extracting #0: cost 1 inf + 0
3.659 * * [simplify]: Extracting #1: cost 353 inf + 0
3.664 * * [simplify]: Extracting #2: cost 1119 inf + 442
3.670 * * [simplify]: Extracting #3: cost 1168 inf + 8070
3.676 * * [simplify]: Extracting #4: cost 1161 inf + 38576
3.705 * * [simplify]: Extracting #5: cost 870 inf + 544043
3.794 * * [simplify]: Extracting #6: cost 206 inf + 1807133
3.902 * * [simplify]: Extracting #7: cost 2 inf + 2087263
4.012 * * [simplify]: Extracting #8: cost 0 inf + 2047066
4.134 * * [simplify]: Extracting #9: cost 0 inf + 2046066
4.265 * [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.307 * * [progress]: iteration 1 / 4
4.307 * * * [progress]: picking best candidate
4.351 * * * * [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.351 * * * [progress]: localizing error
4.581 * * * [progress]: generating rewritten candidates
4.581 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2)
4.585 * * * * [progress]: [ 2 / 4 ] rewriting at (2)
4.592 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2)
4.596 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 1)
4.602 * * * [progress]: generating series expansions
4.602 * * * * [progress]: [ 1 / 4 ] generating series at (2 2)
4.602 * * * * [progress]: [ 2 / 4 ] generating series at (2)
4.602 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2)
4.602 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 1)
4.602 * * * [progress]: simplifying candidates
4.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.602 * * * * [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.603 * * * * [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.603 * * * * [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.603 * * * * [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.603 * * * * [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.603 * * * * [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.603 * * * * [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.603 * * * * [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.603 * [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.603 * * [simplify]: iteration 1: (26 enodes)
4.614 * * [simplify]: iteration 2: (75 enodes)
4.639 * * [simplify]: iteration 3: (203 enodes)
4.758 * * [simplify]: iteration 4: (1042 enodes)
8.412 * * [simplify]: Extracting #0: cost 14 inf + 0
8.415 * * [simplify]: Extracting #1: cost 944 inf + 0
8.431 * * [simplify]: Extracting #2: cost 2749 inf + 322
8.451 * * [simplify]: Extracting #3: cost 2891 inf + 326
8.471 * * [simplify]: Extracting #4: cost 2826 inf + 103025
8.532 * * [simplify]: Extracting #5: cost 2214 inf + 1092189
8.854 * * [simplify]: Extracting #6: cost 543 inf + 4458317
9.276 * * [simplify]: Extracting #7: cost 0 inf + 5542908
9.671 * * [simplify]: Extracting #8: cost 0 inf + 5534748
10.127 * * [simplify]: Extracting #9: cost 0 inf + 5534388
10.471 * [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)))
10.472 * * * [progress]: adding candidates to table
10.936 * * [progress]: iteration 2 / 4
10.936 * * * [progress]: picking best candidate
11.033 * * * * [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)))))>
11.033 * * * [progress]: localizing error
11.253 * * * [progress]: generating rewritten candidates
11.253 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
11.260 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2)
11.264 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1)
11.268 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2)
11.270 * * * [progress]: generating series expansions
11.270 * * * * [progress]: [ 1 / 4 ] generating series at (2)
11.270 * * * * [progress]: [ 2 / 4 ] generating series at (2 2)
11.271 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1)
11.271 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2)
11.271 * * * [progress]: simplifying candidates
11.271 * * * * [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))))>
11.271 * * * * [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))))>
11.271 * * * * [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)))>
11.271 * * * * [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))))>
11.271 * * * * [progress]: [ 5 / 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)))))>
11.271 * * * * [progress]: [ 6 / 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))))))>
11.271 * * * * [progress]: [ 7 / 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)))))>
11.271 * * * * [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))))))>
11.271 * * * * [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))))))>
11.271 * * * * [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)))))>
11.271 * * * * [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)))))>
11.271 * * * * [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)))))>
11.271 * * * * [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)))))>
11.272 * [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)) (+.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)), (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)))
11.272 * * [simplify]: iteration 1: (21 enodes)
11.280 * * [simplify]: iteration 2: (63 enodes)
11.297 * * [simplify]: iteration 3: (230 enodes)
11.491 * * [simplify]: iteration 4: (1101 enodes)
19.183 * * [simplify]: Extracting #0: cost 9 inf + 0
19.185 * * [simplify]: Extracting #1: cost 725 inf + 0
19.192 * * [simplify]: Extracting #2: cost 2369 inf + 964
19.220 * * [simplify]: Extracting #3: cost 2839 inf + 58623
19.338 * * [simplify]: Extracting #4: cost 1515 inf + 1714784
19.600 * * [simplify]: Extracting #5: cost 59 inf + 4182730
19.988 * * [simplify]: Extracting #6: cost 0 inf + 4267889
20.320 * * [simplify]: Extracting #7: cost 0 inf + 4265163
20.609 * * [simplify]: Extracting #8: cost 0 inf + 4265123
20.986 * [simplify]: Simplified to (/.p16 (*.p16 (/.p16 i (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2)))) (/.p16 i (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (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 i (*.p16 (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)) (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2))))), (-.p16 (*.p16 (*.p16 i (real->posit16 2)) (*.p16 i (real->posit16 2))) (real->posit16 1.0)), (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2))), (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 (*.p16 i (real->posit16 2)) (real->posit16 2)))), (/.p16 i (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2)))), (/.p16 i (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2)))), (/.p16 i (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (real->posit16 2))))
20.986 * * * [progress]: adding candidates to table
21.492 * * [progress]: iteration 3 / 4
21.492 * * * [progress]: picking best candidate
21.720 * * * * [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))))>
21.720 * * * [progress]: localizing error
21.956 * * * [progress]: generating rewritten candidates
21.956 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
21.961 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2)
21.964 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1)
21.968 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2)
21.970 * * * [progress]: generating series expansions
21.970 * * * * [progress]: [ 1 / 4 ] generating series at (2)
21.970 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2)
21.970 * * * * [progress]: [ 3 / 4 ] generating series at (2 1)
21.970 * * * * [progress]: [ 4 / 4 ] generating series at (2 2)
21.970 * * * [progress]: simplifying candidates
21.970 * * * * [progress]: [ 1 / 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))))))>
21.970 * * * * [progress]: [ 2 / 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))))>
21.970 * * * * [progress]: [ 3 / 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)))))>
21.970 * * * * [progress]: [ 4 / 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))))>
21.970 * * * * [progress]: [ 5 / 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))))>
21.970 * * * * [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))))>
21.970 * * * * [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))))>
21.970 * * * * [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))))>
21.970 * * * * [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)))))>
21.970 * * * * [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)))))>
21.970 * * * * [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))))>
21.970 * * * * [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))))>
21.971 * * * * [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))))>
21.971 * * * * [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))))>
21.978 * [simplify]: Simplifying (/.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 (*.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))))
21.979 * * [simplify]: iteration 1: (22 enodes)
21.986 * * [simplify]: iteration 2: (64 enodes)
22.000 * * [simplify]: iteration 3: (226 enodes)
22.166 * * [simplify]: iteration 4: (1284 enodes)
32.261 * * [simplify]: Extracting #0: cost 10 inf + 0
32.264 * * [simplify]: Extracting #1: cost 789 inf + 0
32.272 * * [simplify]: Extracting #2: cost 2650 inf + 322
32.288 * * [simplify]: Extracting #3: cost 3340 inf + 10676
32.331 * * [simplify]: Extracting #4: cost 3208 inf + 193502
32.503 * * [simplify]: Extracting #5: cost 1810 inf + 2031045
32.927 * * [simplify]: Extracting #6: cost 186 inf + 4664602
33.297 * * [simplify]: Extracting #7: cost 2 inf + 4637615
33.760 * * [simplify]: Extracting #8: cost 0 inf + 4582262
34.116 * * [simplify]: Extracting #9: cost 0 inf + 4582022
34.451 * [simplify]: Simplified to (/.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 (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) i) (real->posit16 2))) (/.p16 i (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) 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))) (real->posit16 1.0)), (*.p16 (-.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0)) (real->posit16 2)), (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) i) (real->posit16 2)), (*.p16 (/.p16 i (real->posit16 2)) (/.p16 i (real->posit16 2))), (/.p16 (*.p16 i i) (+.p16 (*.p16 (*.p16 (real->posit16 2) (real->posit16 2)) i) (real->posit16 2))), (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))))
34.453 * * * [progress]: adding candidates to table
34.881 * * [progress]: iteration 4 / 4
34.881 * * * [progress]: picking best candidate
35.079 * * * * [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))))))>
35.079 * * * [progress]: localizing error
35.363 * * * [progress]: generating rewritten candidates
35.363 * * * * [progress]: [ 1 / 4 ] rewriting at (2)
35.369 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 2)
35.375 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2)
35.381 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
35.384 * * * [progress]: generating series expansions
35.384 * * * * [progress]: [ 1 / 4 ] generating series at (2)
35.384 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 2)
35.384 * * * * [progress]: [ 3 / 4 ] generating series at (2 2)
35.384 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
35.384 * * * [progress]: simplifying candidates
35.384 * * * * [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))))>
35.384 * * * * [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)))))>
35.384 * * * * [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))))>
35.384 * * * * [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))))))>
35.384 * * * * [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)))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * * * * [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))))))>
35.385 * [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))))
35.386 * * [simplify]: iteration 1: (21 enodes)
35.409 * * [simplify]: iteration 2: (62 enodes)
35.436 * * [simplify]: iteration 3: (208 enodes)
35.678 * * [simplify]: iteration 4: (998 enodes)
43.139 * * [simplify]: Extracting #0: cost 10 inf + 0
43.141 * * [simplify]: Extracting #1: cost 801 inf + 0
43.150 * * [simplify]: Extracting #2: cost 1956 inf + 1
43.160 * * [simplify]: Extracting #3: cost 2196 inf + 38250
43.206 * * [simplify]: Extracting #4: cost 1267 inf + 1171439
43.363 * * [simplify]: Extracting #5: cost 100 inf + 2853969
43.696 * * [simplify]: Extracting #6: cost 0 inf + 3007137
44.031 * [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))
44.032 * * * [progress]: adding candidates to table
44.487 * [progress]: [Phase 3 of 3] Extracting.
44.487 * * [regime]: Finding splitpoints for: (#<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)))))> #<alt (λ (i) (*.p16 (/.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)) (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (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 (-.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 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))) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<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))))> #<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 (/.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 (*.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))))>)
44.488 * * * [regime-changes]: Trying 1 branch expressions: (i)
44.488 * * * * [regimes]: Trying to branch on i from (#<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)))))> #<alt (λ (i) (*.p16 (/.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)) (+.p16 (real->posit16 2) (*.p16 (*.p16 i (real->posit16 2)) (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 (-.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 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))) (real->posit16 1.0)) (+.p16 (*.p16 i (real->posit16 2)) (real->posit16 1.0))))))> #<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))))> #<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 (/.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 (*.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))))>)
44.643 * * * [regime]: Found split indices: #<option (#s(si 3 256))>
44.643 * [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)))
44.643 * * [simplify]: iteration 1: (12 enodes)
44.644 * * [simplify]: Extracting #0: cost 1 inf + 0
44.644 * * [simplify]: Extracting #1: cost 3 inf + 0
44.644 * * [simplify]: Extracting #2: cost 7 inf + 0
44.644 * * [simplify]: Extracting #3: cost 11 inf + 0
44.644 * * [simplify]: Extracting #4: cost 9 inf + 3
44.644 * * [simplify]: Extracting #5: cost 0 inf + 6744
44.644 * [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)))
44.645 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000
44.662 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision
44.665 * * * * [points]: Setting MPFR precision to 64
44.666 * * * * [points]: Setting MPFR precision to 320
44.667 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision
44.670 * * * * [points]: Setting MPFR precision to 64
44.672 * * * * [points]: Setting MPFR precision to 320
44.673 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision
44.676 * * * * [points]: Setting MPFR precision to 64
44.680 * * * * [points]: Setting MPFR precision to 320
44.683 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision
44.686 * * * * [points]: Setting MPFR precision to 64
44.693 * * * * [points]: Setting MPFR precision to 320
44.699 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision
44.702 * * * * [points]: Setting MPFR precision to 64
44.716 * * * * [points]: Setting MPFR precision to 320
44.728 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision
44.732 * * * * [points]: Setting MPFR precision to 64
44.758 * * * * [points]: Setting MPFR precision to 320
44.817 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision
44.822 * * * * [points]: Setting MPFR precision to 64
44.880 * * * * [points]: Setting MPFR precision to 320
44.944 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision
44.950 * * * * [points]: Setting MPFR precision to 64
45.085 * * * * [points]: Setting MPFR precision to 320
45.251 * * * * [points]: Computing exacts for 8000 points
45.254 * * * * [points]: Setting MPFR precision to 64
46.496 * * * * [points]: Setting MPFR precision to 320
47.420 * * * * [points]: Filtering points with unrepresentable outputs
47.433 * * * * [points]: Sampling 4005 additional inputs, on iter 1 have 3995 / 8000
47.443 * * * * [points]: Computing exacts on every 250 of 4005 points to ramp up precision
47.449 * * * * [points]: Setting MPFR precision to 64
47.451 * * * * [points]: Setting MPFR precision to 320
47.452 * * * * [points]: Computing exacts on every 125 of 4005 points to ramp up precision
47.458 * * * * [points]: Setting MPFR precision to 64
47.462 * * * * [points]: Setting MPFR precision to 320
47.465 * * * * [points]: Computing exacts on every 62 of 4005 points to ramp up precision
47.471 * * * * [points]: Setting MPFR precision to 64
47.510 * * * * [points]: Setting MPFR precision to 320
47.517 * * * * [points]: Computing exacts on every 31 of 4005 points to ramp up precision
47.525 * * * * [points]: Setting MPFR precision to 64
47.538 * * * * [points]: Setting MPFR precision to 320
47.550 * * * * [points]: Computing exacts on every 15 of 4005 points to ramp up precision
47.555 * * * * [points]: Setting MPFR precision to 64
47.581 * * * * [points]: Setting MPFR precision to 320
47.605 * * * * [points]: Computing exacts on every 7 of 4005 points to ramp up precision
47.611 * * * * [points]: Setting MPFR precision to 64
47.658 * * * * [points]: Setting MPFR precision to 320
47.701 * * * * [points]: Computing exacts on every 3 of 4005 points to ramp up precision
47.706 * * * * [points]: Setting MPFR precision to 64
47.821 * * * * [points]: Setting MPFR precision to 320
47.914 * * * * [points]: Computing exacts for 4005 points
47.919 * * * * [points]: Setting MPFR precision to 64
48.327 * * * * [points]: Setting MPFR precision to 320
48.763 * * * * [points]: Filtering points with unrepresentable outputs
48.767 * * * * [points]: Sampling 1959 additional inputs, on iter 2 have 6041 / 8000
48.770 * * * * [points]: Computing exacts on every 122 of 1959 points to ramp up precision
48.774 * * * * [points]: Setting MPFR precision to 64
48.776 * * * * [points]: Setting MPFR precision to 320
48.778 * * * * [points]: Computing exacts on every 61 of 1959 points to ramp up precision
48.783 * * * * [points]: Setting MPFR precision to 64
48.786 * * * * [points]: Setting MPFR precision to 320
48.789 * * * * [points]: Computing exacts on every 30 of 1959 points to ramp up precision
48.794 * * * * [points]: Setting MPFR precision to 64
48.802 * * * * [points]: Setting MPFR precision to 320
48.808 * * * * [points]: Computing exacts on every 15 of 1959 points to ramp up precision
48.813 * * * * [points]: Setting MPFR precision to 64
48.825 * * * * [points]: Setting MPFR precision to 320
48.837 * * * * [points]: Computing exacts on every 7 of 1959 points to ramp up precision
48.842 * * * * [points]: Setting MPFR precision to 64
48.864 * * * * [points]: Setting MPFR precision to 320
48.882 * * * * [points]: Computing exacts on every 3 of 1959 points to ramp up precision
48.885 * * * * [points]: Setting MPFR precision to 64
48.934 * * * * [points]: Setting MPFR precision to 320
48.977 * * * * [points]: Computing exacts for 1959 points
48.980 * * * * [points]: Setting MPFR precision to 64
49.121 * * * * [points]: Setting MPFR precision to 320
49.299 * * * * [points]: Filtering points with unrepresentable outputs
49.303 * * * * [points]: Sampling 1003 additional inputs, on iter 3 have 6997 / 8000
49.306 * * * * [points]: Computing exacts on every 62 of 1003 points to ramp up precision
49.312 * * * * [points]: Setting MPFR precision to 64
49.314 * * * * [points]: Setting MPFR precision to 320
49.315 * * * * [points]: Computing exacts on every 31 of 1003 points to ramp up precision
49.321 * * * * [points]: Setting MPFR precision to 64
49.368 * * * * [points]: Setting MPFR precision to 320
49.371 * * * * [points]: Computing exacts on every 15 of 1003 points to ramp up precision
49.379 * * * * [points]: Setting MPFR precision to 64
49.385 * * * * [points]: Setting MPFR precision to 320
49.391 * * * * [points]: Computing exacts on every 7 of 1003 points to ramp up precision
49.396 * * * * [points]: Setting MPFR precision to 64
49.407 * * * * [points]: Setting MPFR precision to 320
49.419 * * * * [points]: Computing exacts on every 3 of 1003 points to ramp up precision
49.425 * * * * [points]: Setting MPFR precision to 64
49.448 * * * * [points]: Setting MPFR precision to 320
49.469 * * * * [points]: Computing exacts for 1003 points
49.475 * * * * [points]: Setting MPFR precision to 64
49.564 * * * * [points]: Setting MPFR precision to 320
49.693 * * * * [points]: Filtering points with unrepresentable outputs
49.695 * * * * [points]: Sampling 498 additional inputs, on iter 4 have 7502 / 8000
49.696 * * * * [points]: Computing exacts on every 31 of 498 points to ramp up precision
49.699 * * * * [points]: Setting MPFR precision to 64
49.700 * * * * [points]: Setting MPFR precision to 320
49.701 * * * * [points]: Computing exacts on every 15 of 498 points to ramp up precision
49.704 * * * * [points]: Setting MPFR precision to 64
49.705 * * * * [points]: Setting MPFR precision to 320
49.707 * * * * [points]: Computing exacts on every 7 of 498 points to ramp up precision
49.710 * * * * [points]: Setting MPFR precision to 64
49.713 * * * * [points]: Setting MPFR precision to 320
49.716 * * * * [points]: Computing exacts on every 3 of 498 points to ramp up precision
49.719 * * * * [points]: Setting MPFR precision to 64
49.726 * * * * [points]: Setting MPFR precision to 320
49.732 * * * * [points]: Computing exacts for 498 points
49.735 * * * * [points]: Setting MPFR precision to 64
50.106 * * * * [points]: Setting MPFR precision to 320
50.134 * * * * [points]: Filtering points with unrepresentable outputs
50.134 * * * * [points]: Sampling 259 additional inputs, on iter 5 have 7741 / 8000
50.135 * * * * [points]: Computing exacts on every 16 of 259 points to ramp up precision
50.138 * * * * [points]: Setting MPFR precision to 64
50.139 * * * * [points]: Setting MPFR precision to 320
50.139 * * * * [points]: Computing exacts on every 8 of 259 points to ramp up precision
50.142 * * * * [points]: Setting MPFR precision to 64
50.144 * * * * [points]: Setting MPFR precision to 320
50.145 * * * * [points]: Computing exacts on every 4 of 259 points to ramp up precision
50.148 * * * * [points]: Setting MPFR precision to 64
50.151 * * * * [points]: Setting MPFR precision to 320
50.154 * * * * [points]: Computing exacts on every 2 of 259 points to ramp up precision
50.156 * * * * [points]: Setting MPFR precision to 64
50.161 * * * * [points]: Setting MPFR precision to 320
50.166 * * * * [points]: Computing exacts for 259 points
50.169 * * * * [points]: Setting MPFR precision to 64
50.183 * * * * [points]: Setting MPFR precision to 320
50.198 * * * * [points]: Filtering points with unrepresentable outputs
50.199 * * * * [points]: Sampling 134 additional inputs, on iter 6 have 7866 / 8000
50.199 * * * * [points]: Computing exacts on every 8 of 134 points to ramp up precision
50.202 * * * * [points]: Setting MPFR precision to 64
50.204 * * * * [points]: Setting MPFR precision to 320
50.204 * * * * [points]: Computing exacts on every 4 of 134 points to ramp up precision
50.208 * * * * [points]: Setting MPFR precision to 64
50.211 * * * * [points]: Setting MPFR precision to 320
50.212 * * * * [points]: Computing exacts on every 2 of 134 points to ramp up precision
50.215 * * * * [points]: Setting MPFR precision to 64
50.240 * * * * [points]: Setting MPFR precision to 320
50.244 * * * * [points]: Computing exacts for 134 points
50.249 * * * * [points]: Setting MPFR precision to 64
50.262 * * * * [points]: Setting MPFR precision to 320
50.275 * * * * [points]: Filtering points with unrepresentable outputs
50.275 * * * * [points]: Sampling 73 additional inputs, on iter 7 have 7927 / 8000
50.275 * * * * [points]: Computing exacts on every 4 of 73 points to ramp up precision
50.280 * * * * [points]: Setting MPFR precision to 64
50.282 * * * * [points]: Setting MPFR precision to 320
50.283 * * * * [points]: Computing exacts on every 2 of 73 points to ramp up precision
50.288 * * * * [points]: Setting MPFR precision to 64
50.291 * * * * [points]: Setting MPFR precision to 320
50.293 * * * * [points]: Computing exacts for 73 points
50.298 * * * * [points]: Setting MPFR precision to 64
50.305 * * * * [points]: Setting MPFR precision to 320
50.311 * * * * [points]: Filtering points with unrepresentable outputs
50.312 * * * * [points]: Sampling 28 additional inputs, on iter 8 have 7972 / 8000
50.312 * * * * [points]: Computing exacts for 28 points
50.317 * * * * [points]: Setting MPFR precision to 64
50.320 * * * * [points]: Setting MPFR precision to 320
50.322 * * * * [points]: Filtering points with unrepresentable outputs
50.323 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000
50.323 * * * * [points]: Computing exacts for 12 points
50.328 * * * * [points]: Setting MPFR precision to 64
50.330 * * * * [points]: Setting MPFR precision to 320
50.331 * * * * [points]: Filtering points with unrepresentable outputs
50.331 * * * * [points]: Sampling 6 additional inputs, on iter 10 have 7994 / 8000
50.331 * * * * [points]: Computing exacts for 6 points
50.337 * * * * [points]: Setting MPFR precision to 64
50.338 * * * * [points]: Setting MPFR precision to 320
50.339 * * * * [points]: Filtering points with unrepresentable outputs
50.339 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000
50.339 * * * * [points]: Computing exacts for 4 points
50.345 * * * * [points]: Setting MPFR precision to 64
50.345 * * * * [points]: Setting MPFR precision to 320
50.346 * * * * [points]: Filtering points with unrepresentable outputs
50.346 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7998 / 8000
50.346 * * * * [points]: Computing exacts for 4 points
50.351 * * * * [points]: Setting MPFR precision to 64
50.352 * * * * [points]: Setting MPFR precision to 320
50.352 * * * * [points]: Filtering points with unrepresentable outputs
50.352 * * * * [points]: Sampled 8001 points with exact outputs
57.470 * [regime-testing]: Baseline error score: 64.0
57.473 * [regime-testing]: Oracle error score: 64.0
57.488 * [regime-testing]: End program error score: 0.37909362034216715