0.004 * [progress]: [Phase 1 of 3] Setting up. 0.005 * * * [progress]: [1/2] Preparing points 0.006 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.042 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.182 * * * * [points]: Setting MPFR precision to 64 0.186 * * * * [points]: Setting MPFR precision to 320 0.190 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.193 * * * * [points]: Setting MPFR precision to 64 0.198 * * * * [points]: Setting MPFR precision to 320 0.204 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.208 * * * * [points]: Setting MPFR precision to 64 0.218 * * * * [points]: Setting MPFR precision to 320 0.228 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.232 * * * * [points]: Setting MPFR precision to 64 0.248 * * * * [points]: Setting MPFR precision to 320 0.257 * * * * [points]: Computing exacts for 256 points 0.259 * * * * [points]: Setting MPFR precision to 64 0.294 * * * * [points]: Setting MPFR precision to 320 0.348 * * * * [points]: Filtering points with unrepresentable outputs 0.349 * * * * [points]: Sampling 131 additional inputs, on iter 1 have 125 / 256 0.351 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 0.423 * * * * [points]: Setting MPFR precision to 64 0.425 * * * * [points]: Setting MPFR precision to 320 0.428 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 0.435 * * * * [points]: Setting MPFR precision to 64 0.440 * * * * [points]: Setting MPFR precision to 320 0.445 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 0.448 * * * * [points]: Setting MPFR precision to 64 0.456 * * * * [points]: Setting MPFR precision to 320 0.464 * * * * [points]: Computing exacts for 131 points 0.467 * * * * [points]: Setting MPFR precision to 64 0.485 * * * * [points]: Setting MPFR precision to 320 0.501 * * * * [points]: Filtering points with unrepresentable outputs 0.501 * * * * [points]: Sampling 59 additional inputs, on iter 2 have 197 / 256 0.502 * * * * [points]: Computing exacts on every 3 of 59 points to ramp up precision 0.504 * * * * [points]: Setting MPFR precision to 64 0.505 * * * * [points]: Setting MPFR precision to 320 0.508 * * * * [points]: Computing exacts for 59 points 0.510 * * * * [points]: Setting MPFR precision to 64 0.520 * * * * [points]: Setting MPFR precision to 320 0.531 * * * * [points]: Filtering points with unrepresentable outputs 0.532 * * * * [points]: Sampling 27 additional inputs, on iter 3 have 229 / 256 0.532 * * * * [points]: Computing exacts for 27 points 0.535 * * * * [points]: Setting MPFR precision to 64 0.539 * * * * [points]: Setting MPFR precision to 320 0.545 * * * * [points]: Filtering points with unrepresentable outputs 0.545 * * * * [points]: Sampling 12 additional inputs, on iter 4 have 244 / 256 0.545 * * * * [points]: Computing exacts for 12 points 0.549 * * * * [points]: Setting MPFR precision to 64 0.551 * * * * [points]: Setting MPFR precision to 320 0.554 * * * * [points]: Filtering points with unrepresentable outputs 0.554 * * * * [points]: Sampling 4 additional inputs, on iter 5 have 253 / 256 0.554 * * * * [points]: Computing exacts for 4 points 0.557 * * * * [points]: Setting MPFR precision to 64 0.557 * * * * [points]: Setting MPFR precision to 320 0.558 * * * * [points]: Filtering points with unrepresentable outputs 0.558 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.558 * * * * [points]: Computing exacts for 4 points 0.561 * * * * [points]: Setting MPFR precision to 64 0.562 * * * * [points]: Setting MPFR precision to 320 0.563 * * * * [points]: Filtering points with unrepresentable outputs 0.563 * * * * [points]: Sampled 257 points with exact outputs 0.563 * * * [progress]: [2/2] Setting up program. 0.570 * [progress]: [Phase 2 of 3] Improving. 0.571 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.573 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.574 * * [simplify]: iters left: 6 (12 enodes) 0.586 * * [simplify]: iters left: 5 (26 enodes) 0.639 * * [simplify]: iters left: 4 (30 enodes) 0.653 * * [simplify]: Extracting #0: cost 1 inf + 0 0.653 * * [simplify]: Extracting #1: cost 3 inf + 0 0.653 * * [simplify]: Extracting #2: cost 5 inf + 0 0.653 * * [simplify]: Extracting #3: cost 9 inf + 0 0.654 * * [simplify]: Extracting #4: cost 8 inf + 4 0.654 * * [simplify]: Extracting #5: cost 12 inf + 4 0.654 * * [simplify]: Extracting #6: cost 11 inf + 47 0.654 * * [simplify]: Extracting #7: cost 4 inf + 478 0.655 * * [simplify]: Extracting #8: cost 1 inf + 2268 0.655 * * [simplify]: Extracting #9: cost 0 inf + 3012 0.656 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.656 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 0.665 * * [progress]: iteration 1 / 4 0.665 * * * [progress]: picking best candidate 0.670 * * * * [pick]: Picked # 0.670 * * * [progress]: localizing error 0.785 * * * [progress]: generating rewritten candidates 0.786 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.792 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 2) 0.792 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 1) 0.794 * * * [progress]: generating series expansions 0.794 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.795 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 2) 0.795 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 1) 0.795 * * * [progress]: simplifying candidates 0.795 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 0.795 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 0.795 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.795 * * [simplify]: iters left: 6 (12 enodes) 1.271 * * [simplify]: iters left: 5 (26 enodes) 1.281 * * [simplify]: iters left: 4 (30 enodes) 1.291 * * [simplify]: Extracting #0: cost 1 inf + 0 1.291 * * [simplify]: Extracting #1: cost 3 inf + 0 1.291 * * [simplify]: Extracting #2: cost 5 inf + 0 1.291 * * [simplify]: Extracting #3: cost 9 inf + 0 1.291 * * [simplify]: Extracting #4: cost 8 inf + 4 1.291 * * [simplify]: Extracting #5: cost 12 inf + 4 1.291 * * [simplify]: Extracting #6: cost 11 inf + 47 1.291 * * [simplify]: Extracting #7: cost 4 inf + 478 1.292 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.292 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.293 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.293 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1.293 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 1.293 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.293 * * [simplify]: iters left: 6 (12 enodes) 1.299 * * [simplify]: iters left: 5 (26 enodes) 1.308 * * [simplify]: iters left: 4 (30 enodes) 1.317 * * [simplify]: Extracting #0: cost 1 inf + 0 1.317 * * [simplify]: Extracting #1: cost 3 inf + 0 1.317 * * [simplify]: Extracting #2: cost 5 inf + 0 1.317 * * [simplify]: Extracting #3: cost 9 inf + 0 1.317 * * [simplify]: Extracting #4: cost 8 inf + 4 1.318 * * [simplify]: Extracting #5: cost 12 inf + 4 1.318 * * [simplify]: Extracting #6: cost 11 inf + 47 1.318 * * [simplify]: Extracting #7: cost 4 inf + 478 1.318 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.319 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.319 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.319 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1.320 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 1.320 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.320 * * [simplify]: iters left: 6 (12 enodes) 1.326 * * [simplify]: iters left: 5 (26 enodes) 1.334 * * [simplify]: iters left: 4 (30 enodes) 1.344 * * [simplify]: Extracting #0: cost 1 inf + 0 1.344 * * [simplify]: Extracting #1: cost 3 inf + 0 1.344 * * [simplify]: Extracting #2: cost 5 inf + 0 1.344 * * [simplify]: Extracting #3: cost 9 inf + 0 1.344 * * [simplify]: Extracting #4: cost 8 inf + 4 1.344 * * [simplify]: Extracting #5: cost 12 inf + 4 1.344 * * [simplify]: Extracting #6: cost 11 inf + 47 1.344 * * [simplify]: Extracting #7: cost 4 inf + 478 1.345 * * [simplify]: Extracting #8: cost 1 inf + 2268 1.345 * * [simplify]: Extracting #9: cost 0 inf + 3012 1.346 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.346 * [simplify]: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1.346 * * * [progress]: adding candidates to table 1.374 * [progress]: [Phase 3 of 3] Extracting. 1.379 * [simplify]: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.379 * * [simplify]: iters left: 6 (12 enodes) 1.380 * * [simplify]: iters left: 5 (13 enodes) 1.381 * * [simplify]: Extracting #0: cost 1 inf + 0 1.381 * * [simplify]: Extracting #1: cost 2 inf + 0 1.381 * * [simplify]: Extracting #2: cost 4 inf + 0 1.381 * * [simplify]: Extracting #3: cost 8 inf + 0 1.381 * * [simplify]: Extracting #4: cost 7 inf + 4 1.381 * * [simplify]: Extracting #5: cost 9 inf + 4 1.381 * * [simplify]: Extracting #6: cost 7 inf + 6 1.381 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.381 * [simplify]: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.381 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.484 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.487 * * * * [points]: Setting MPFR precision to 64 1.490 * * * * [points]: Setting MPFR precision to 320 1.493 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.496 * * * * [points]: Setting MPFR precision to 64 1.501 * * * * [points]: Setting MPFR precision to 320 1.506 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.508 * * * * [points]: Setting MPFR precision to 64 1.514 * * * * [points]: Setting MPFR precision to 320 1.528 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.529 * * * * [points]: Setting MPFR precision to 64 1.545 * * * * [points]: Setting MPFR precision to 320 1.558 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.560 * * * * [points]: Setting MPFR precision to 64 1.585 * * * * [points]: Setting MPFR precision to 320 1.623 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.624 * * * * [points]: Setting MPFR precision to 64 1.754 * * * * [points]: Setting MPFR precision to 320 1.833 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.836 * * * * [points]: Setting MPFR precision to 64 2.025 * * * * [points]: Setting MPFR precision to 320 2.202 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 2.205 * * * * [points]: Setting MPFR precision to 64 2.560 * * * * [points]: Setting MPFR precision to 320 2.988 * * * * [points]: Setting MPFR precision to 576 3.782 * * * * [points]: Computing exacts for 8000 points 3.787 * * * * [points]: Setting MPFR precision to 320 5.268 * * * * [points]: Setting MPFR precision to 576 7.430 * * * * [points]: Filtering points with unrepresentable outputs 7.434 * * * * [points]: Sampling 3952 additional inputs, on iter 1 have 4048 / 8000 7.498 * * * * [points]: Computing exacts on every 247 of 3952 points to ramp up precision 7.500 * * * * [points]: Setting MPFR precision to 320 7.502 * * * * [points]: Setting MPFR precision to 576 7.504 * * * * [points]: Computing exacts on every 123 of 3952 points to ramp up precision 7.506 * * * * [points]: Setting MPFR precision to 320 7.509 * * * * [points]: Setting MPFR precision to 576 7.513 * * * * [points]: Computing exacts on every 61 of 3952 points to ramp up precision 7.515 * * * * [points]: Setting MPFR precision to 320 7.523 * * * * [points]: Setting MPFR precision to 576 7.531 * * * * [points]: Computing exacts on every 30 of 3952 points to ramp up precision 7.533 * * * * [points]: Setting MPFR precision to 320 7.546 * * * * [points]: Setting MPFR precision to 576 7.563 * * * * [points]: Computing exacts on every 15 of 3952 points to ramp up precision 7.565 * * * * [points]: Setting MPFR precision to 320 7.628 * * * * [points]: Setting MPFR precision to 576 7.666 * * * * [points]: Computing exacts on every 7 of 3952 points to ramp up precision 7.668 * * * * [points]: Setting MPFR precision to 320 7.734 * * * * [points]: Setting MPFR precision to 576 7.883 * * * * [points]: Computing exacts on every 3 of 3952 points to ramp up precision 7.887 * * * * [points]: Setting MPFR precision to 320 8.007 * * * * [points]: Setting MPFR precision to 576 8.276 * * * * [points]: Computing exacts for 3952 points 8.280 * * * * [points]: Setting MPFR precision to 320 9.324 * * * * [points]: Setting MPFR precision to 576 10.225 * * * * [points]: Filtering points with unrepresentable outputs 10.229 * * * * [points]: Sampling 2002 additional inputs, on iter 2 have 5998 / 8000 10.305 * * * * [points]: Computing exacts on every 125 of 2002 points to ramp up precision 10.308 * * * * [points]: Setting MPFR precision to 320 10.310 * * * * [points]: Setting MPFR precision to 576 10.312 * * * * [points]: Computing exacts on every 62 of 2002 points to ramp up precision 10.316 * * * * [points]: Setting MPFR precision to 320 10.320 * * * * [points]: Setting MPFR precision to 576 10.324 * * * * [points]: Computing exacts on every 31 of 2002 points to ramp up precision 10.326 * * * * [points]: Setting MPFR precision to 320 10.333 * * * * [points]: Setting MPFR precision to 576 10.341 * * * * [points]: Computing exacts on every 15 of 2002 points to ramp up precision 10.343 * * * * [points]: Setting MPFR precision to 320 10.361 * * * * [points]: Setting MPFR precision to 576 10.375 * * * * [points]: Computing exacts on every 7 of 2002 points to ramp up precision 10.377 * * * * [points]: Setting MPFR precision to 320 10.415 * * * * [points]: Setting MPFR precision to 576 10.447 * * * * [points]: Computing exacts on every 3 of 2002 points to ramp up precision 10.451 * * * * [points]: Setting MPFR precision to 320 10.598 * * * * [points]: Setting MPFR precision to 576 10.692 * * * * [points]: Computing exacts for 2002 points 10.695 * * * * [points]: Setting MPFR precision to 320 11.175 * * * * [points]: Setting MPFR precision to 576 12.029 * * * * [points]: Filtering points with unrepresentable outputs 12.031 * * * * [points]: Sampling 1008 additional inputs, on iter 3 have 6992 / 8000 12.049 * * * * [points]: Computing exacts on every 63 of 1008 points to ramp up precision 12.052 * * * * [points]: Setting MPFR precision to 320 12.055 * * * * [points]: Setting MPFR precision to 576 12.059 * * * * [points]: Computing exacts on every 31 of 1008 points to ramp up precision 12.062 * * * * [points]: Setting MPFR precision to 320 12.068 * * * * [points]: Setting MPFR precision to 576 12.075 * * * * [points]: Computing exacts on every 15 of 1008 points to ramp up precision 12.078 * * * * [points]: Setting MPFR precision to 320 12.091 * * * * [points]: Setting MPFR precision to 576 12.103 * * * * [points]: Computing exacts on every 7 of 1008 points to ramp up precision 12.104 * * * * [points]: Setting MPFR precision to 320 12.116 * * * * [points]: Setting MPFR precision to 576 12.160 * * * * [points]: Computing exacts on every 3 of 1008 points to ramp up precision 12.162 * * * * [points]: Setting MPFR precision to 320 12.191 * * * * [points]: Setting MPFR precision to 576 12.230 * * * * [points]: Computing exacts for 1008 points 12.234 * * * * [points]: Setting MPFR precision to 320 12.433 * * * * [points]: Setting MPFR precision to 576 12.683 * * * * [points]: Filtering points with unrepresentable outputs 12.684 * * * * [points]: Sampling 489 additional inputs, on iter 4 have 7511 / 8000 12.692 * * * * [points]: Computing exacts on every 30 of 489 points to ramp up precision 12.695 * * * * [points]: Setting MPFR precision to 320 12.698 * * * * [points]: Setting MPFR precision to 576 12.702 * * * * [points]: Computing exacts on every 15 of 489 points to ramp up precision 12.705 * * * * [points]: Setting MPFR precision to 320 12.711 * * * * [points]: Setting MPFR precision to 576 12.717 * * * * [points]: Computing exacts on every 7 of 489 points to ramp up precision 12.720 * * * * [points]: Setting MPFR precision to 320 12.731 * * * * [points]: Setting MPFR precision to 576 12.744 * * * * [points]: Computing exacts on every 3 of 489 points to ramp up precision 12.748 * * * * [points]: Setting MPFR precision to 320 12.770 * * * * [points]: Setting MPFR precision to 576 12.784 * * * * [points]: Computing exacts for 489 points 12.786 * * * * [points]: Setting MPFR precision to 320 12.884 * * * * [points]: Setting MPFR precision to 576 12.995 * * * * [points]: Filtering points with unrepresentable outputs 12.996 * * * * [points]: Sampling 262 additional inputs, on iter 5 have 7738 / 8000 13.000 * * * * [points]: Computing exacts on every 16 of 262 points to ramp up precision 13.004 * * * * [points]: Setting MPFR precision to 320 13.007 * * * * [points]: Setting MPFR precision to 576 13.010 * * * * [points]: Computing exacts on every 8 of 262 points to ramp up precision 13.014 * * * * [points]: Setting MPFR precision to 320 13.020 * * * * [points]: Setting MPFR precision to 576 13.027 * * * * [points]: Computing exacts on every 4 of 262 points to ramp up precision 13.031 * * * * [points]: Setting MPFR precision to 320 13.042 * * * * [points]: Setting MPFR precision to 576 13.054 * * * * [points]: Computing exacts on every 2 of 262 points to ramp up precision 13.057 * * * * [points]: Setting MPFR precision to 320 13.131 * * * * [points]: Setting MPFR precision to 576 13.154 * * * * [points]: Computing exacts for 262 points 13.157 * * * * [points]: Setting MPFR precision to 320 13.190 * * * * [points]: Setting MPFR precision to 576 13.245 * * * * [points]: Filtering points with unrepresentable outputs 13.246 * * * * [points]: Sampling 116 additional inputs, on iter 6 have 7884 / 8000 13.247 * * * * [points]: Computing exacts on every 7 of 116 points to ramp up precision 13.251 * * * * [points]: Setting MPFR precision to 320 13.253 * * * * [points]: Setting MPFR precision to 576 13.256 * * * * [points]: Computing exacts on every 3 of 116 points to ramp up precision 13.260 * * * * [points]: Setting MPFR precision to 320 13.265 * * * * [points]: Setting MPFR precision to 576 13.272 * * * * [points]: Computing exacts for 116 points 13.275 * * * * [points]: Setting MPFR precision to 320 13.296 * * * * [points]: Setting MPFR precision to 576 13.381 * * * * [points]: Filtering points with unrepresentable outputs 13.381 * * * * [points]: Sampling 48 additional inputs, on iter 7 have 7952 / 8000 13.382 * * * * [points]: Computing exacts on every 3 of 48 points to ramp up precision 13.385 * * * * [points]: Setting MPFR precision to 320 13.395 * * * * [points]: Setting MPFR precision to 576 13.398 * * * * [points]: Computing exacts for 48 points 13.401 * * * * [points]: Setting MPFR precision to 320 13.411 * * * * [points]: Setting MPFR precision to 576 13.422 * * * * [points]: Filtering points with unrepresentable outputs 13.422 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 13.422 * * * * [points]: Computing exacts for 26 points 13.426 * * * * [points]: Setting MPFR precision to 320 13.431 * * * * [points]: Setting MPFR precision to 576 13.437 * * * * [points]: Filtering points with unrepresentable outputs 13.437 * * * * [points]: Sampling 10 additional inputs, on iter 9 have 7990 / 8000 13.438 * * * * [points]: Computing exacts for 10 points 13.441 * * * * [points]: Setting MPFR precision to 320 13.443 * * * * [points]: Setting MPFR precision to 576 13.446 * * * * [points]: Filtering points with unrepresentable outputs 13.446 * * * * [points]: Sampling 5 additional inputs, on iter 10 have 7995 / 8000 13.446 * * * * [points]: Computing exacts for 5 points 13.449 * * * * [points]: Setting MPFR precision to 320 13.450 * * * * [points]: Setting MPFR precision to 576 13.452 * * * * [points]: Filtering points with unrepresentable outputs 13.452 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 13.452 * * * * [points]: Computing exacts for 4 points 13.455 * * * * [points]: Setting MPFR precision to 320 13.456 * * * * [points]: Setting MPFR precision to 576 13.457 * * * * [points]: Filtering points with unrepresentable outputs 13.457 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 13.457 * * * * [points]: Computing exacts for 4 points 13.460 * * * * [points]: Setting MPFR precision to 320 13.461 * * * * [points]: Setting MPFR precision to 576 13.462 * * * * [points]: Filtering points with unrepresentable outputs 13.462 * * * * [points]: Sampled 8000 points with exact outputs 13.733 * [regime-testing]: Baseline error score: 0.010271240625180289 13.737 * [regime-testing]: Oracle error score: 0.010271240625180289 13.738 * [regime-testing]: End program error score: 0.010271240625180289