0.585 * [progress]: [Phase 1 of 3] Setting up. 0.004 * * * [progress]: [1/2] Preparing points 0.005 * * * * [points]: Sampling 256 additional inputs, on iter 0 have 0 / 256 0.012 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.188 * * * * [points]: Setting MPFR precision to 64 0.193 * * * * [points]: Setting MPFR precision to 320 0.195 * * * * [points]: Setting MPFR precision to 576 0.198 * * * * [points]: Setting MPFR precision to 832 0.201 * * * * [points]: Setting MPFR precision to 1088 0.206 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.239 * * * * [points]: Setting MPFR precision to 832 0.252 * * * * [points]: Setting MPFR precision to 1088 0.266 * * * * [points]: Setting MPFR precision to 1344 0.392 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.398 * * * * [points]: Setting MPFR precision to 1088 0.467 * * * * [points]: Setting MPFR precision to 1344 0.496 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.499 * * * * [points]: Setting MPFR precision to 1088 0.551 * * * * [points]: Setting MPFR precision to 1344 0.614 * * * * [points]: Computing exacts for 256 points 0.622 * * * * [points]: Setting MPFR precision to 1088 0.731 * * * * [points]: Setting MPFR precision to 1344 1.019 * * * * [points]: Filtering points with unrepresentable outputs 1.020 * * * * [points]: Sampling 139 additional inputs, on iter 1 have 117 / 256 1.022 * * * * [points]: Computing exacts on every 8 of 139 points to ramp up precision 1.024 * * * * [points]: Setting MPFR precision to 1088 1.027 * * * * [points]: Setting MPFR precision to 1344 1.033 * * * * [points]: Computing exacts on every 4 of 139 points to ramp up precision 1.036 * * * * [points]: Setting MPFR precision to 1088 1.042 * * * * [points]: Setting MPFR precision to 1344 1.057 * * * * [points]: Computing exacts on every 2 of 139 points to ramp up precision 1.061 * * * * [points]: Setting MPFR precision to 1088 1.071 * * * * [points]: Setting MPFR precision to 1344 1.085 * * * * [points]: Computing exacts for 139 points 1.087 * * * * [points]: Setting MPFR precision to 1088 1.119 * * * * [points]: Setting MPFR precision to 1344 1.170 * * * * [points]: Filtering points with unrepresentable outputs 1.170 * * * * [points]: Sampling 67 additional inputs, on iter 2 have 189 / 256 1.171 * * * * [points]: Computing exacts on every 4 of 67 points to ramp up precision 1.176 * * * * [points]: Setting MPFR precision to 1088 1.182 * * * * [points]: Setting MPFR precision to 1344 1.188 * * * * [points]: Computing exacts on every 2 of 67 points to ramp up precision 1.193 * * * * [points]: Setting MPFR precision to 1088 1.204 * * * * [points]: Setting MPFR precision to 1344 1.253 * * * * [points]: Computing exacts for 67 points 1.259 * * * * [points]: Setting MPFR precision to 1088 1.291 * * * * [points]: Setting MPFR precision to 1344 1.327 * * * * [points]: Filtering points with unrepresentable outputs 1.328 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 1.328 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 1.332 * * * * [points]: Setting MPFR precision to 1088 1.337 * * * * [points]: Setting MPFR precision to 1344 1.344 * * * * [points]: Computing exacts for 33 points 1.348 * * * * [points]: Setting MPFR precision to 1088 1.362 * * * * [points]: Setting MPFR precision to 1344 1.380 * * * * [points]: Filtering points with unrepresentable outputs 1.381 * * * * [points]: Sampling 15 additional inputs, on iter 4 have 241 / 256 1.381 * * * * [points]: Computing exacts for 15 points 1.385 * * * * [points]: Setting MPFR precision to 1088 1.390 * * * * [points]: Setting MPFR precision to 1344 1.397 * * * * [points]: Filtering points with unrepresentable outputs 1.397 * * * * [points]: Sampling 9 additional inputs, on iter 5 have 247 / 256 1.397 * * * * [points]: Computing exacts for 9 points 1.401 * * * * [points]: Setting MPFR precision to 1088 1.403 * * * * [points]: Setting MPFR precision to 1344 1.407 * * * * [points]: Filtering points with unrepresentable outputs 1.407 * * * * [points]: Sampling 6 additional inputs, on iter 6 have 250 / 256 1.407 * * * * [points]: Computing exacts for 6 points 1.411 * * * * [points]: Setting MPFR precision to 1088 1.414 * * * * [points]: Setting MPFR precision to 1344 1.416 * * * * [points]: Filtering points with unrepresentable outputs 1.417 * * * * [points]: Sampling 4 additional inputs, on iter 7 have 253 / 256 1.417 * * * * [points]: Computing exacts for 4 points 1.421 * * * * [points]: Setting MPFR precision to 1088 1.422 * * * * [points]: Setting MPFR precision to 1344 1.424 * * * * [points]: Filtering points with unrepresentable outputs 1.424 * * * * [points]: Sampling 4 additional inputs, on iter 8 have 255 / 256 1.424 * * * * [points]: Computing exacts for 4 points 1.428 * * * * [points]: Setting MPFR precision to 1088 1.431 * * * * [points]: Setting MPFR precision to 1344 1.433 * * * * [points]: Filtering points with unrepresentable outputs 1.433 * * * * [points]: Sampled 256 points with exact outputs 1.433 * * * [progress]: [2/2] Setting up program. 1.442 * [progress]: [Phase 2 of 3] Improving. 1.446 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.447 * * [simplify]: iteration 0: 12 enodes 1.478 * * [simplify]: iteration 1: 16 enodes 1.481 * * [simplify]: iteration complete: 16 enodes 1.482 * * [simplify]: Extracting #0: cost 1 inf + 0 1.482 * * [simplify]: Extracting #1: cost 2 inf + 0 1.482 * * [simplify]: Extracting #2: cost 4 inf + 0 1.482 * * [simplify]: Extracting #3: cost 8 inf + 0 1.482 * * [simplify]: Extracting #4: cost 7 inf + 4 1.483 * * [simplify]: Extracting #5: cost 11 inf + 4 1.483 * * [simplify]: Extracting #6: cost 8 inf + 47 1.483 * * [simplify]: Extracting #7: cost 3 inf + 396 1.483 * * [simplify]: Extracting #8: cost 0 inf + 2186 1.483 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.488 * * [progress]: iteration 1 / 4 1.488 * * * [progress]: picking best candidate 1.496 * * * * [pick]: Picked # 1.496 * * * [progress]: localizing error 1.641 * * * [progress]: generating rewritten candidates 1.641 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 1) 1.644 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 1) 1.645 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1 2) 1.645 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 1.648 * * * [progress]: generating series expansions 1.648 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 1) 1.649 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 1) 1.649 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1 2) 1.649 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 1.649 * * * [progress]: simplifying candidates 1.649 * [simplify]: Simplifying: (neg.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim))))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 1.649 * * [simplify]: iteration 0: 14 enodes 1.651 * * [simplify]: iteration 1: 21 enodes 1.653 * * [simplify]: iteration complete: 21 enodes 1.653 * * [simplify]: Extracting #0: cost 3 inf + 0 1.653 * * [simplify]: Extracting #1: cost 8 inf + 0 1.653 * * [simplify]: Extracting #2: cost 12 inf + 0 1.654 * * [simplify]: Extracting #3: cost 10 inf + 86 1.654 * * [simplify]: Extracting #4: cost 12 inf + 168 1.654 * * [simplify]: Extracting #5: cost 9 inf + 211 1.654 * * [simplify]: Extracting #6: cost 4 inf + 560 1.654 * * [simplify]: Extracting #7: cost 0 inf + 2732 1.654 * [simplify]: Simplified to: (neg.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim)))) (neg.c (complex 2.0 0.0)) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 1.655 * * * [progress]: adding candidates to table 2.067 * [progress]: [Phase 3 of 3] Extracting. 2.077 * [simplify]: Simplifying: (im (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2.0 0.0))) 2.077 * * [simplify]: iteration 0: 12 enodes 2.079 * * [simplify]: iteration 1: 13 enodes 2.080 * * [simplify]: iteration complete: 13 enodes 2.080 * * [simplify]: Extracting #0: cost 1 inf + 0 2.080 * * [simplify]: Extracting #1: cost 2 inf + 0 2.080 * * [simplify]: Extracting #2: cost 4 inf + 0 2.080 * * [simplify]: Extracting #3: cost 8 inf + 0 2.080 * * [simplify]: Extracting #4: cost 7 inf + 4 2.080 * * [simplify]: Extracting #5: cost 9 inf + 4 2.080 * * [simplify]: Extracting #6: cost 7 inf + 6 2.080 * * [simplify]: Extracting #7: cost 0 inf + 2104 2.081 * [simplify]: Simplified to: (im (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2.0 0.0))) 2.081 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 2.208 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 2.211 * * * * [points]: Setting MPFR precision to 1088 2.214 * * * * [points]: Setting MPFR precision to 1344 2.218 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 2.221 * * * * [points]: Setting MPFR precision to 1088 2.229 * * * * [points]: Setting MPFR precision to 1344 2.237 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 2.241 * * * * [points]: Setting MPFR precision to 1088 2.266 * * * * [points]: Setting MPFR precision to 1344 2.300 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 2.305 * * * * [points]: Setting MPFR precision to 1088 2.340 * * * * [points]: Setting MPFR precision to 1344 2.395 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 2.400 * * * * [points]: Setting MPFR precision to 1088 2.485 * * * * [points]: Setting MPFR precision to 1344 2.609 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 2.614 * * * * [points]: Setting MPFR precision to 1088 2.809 * * * * [points]: Setting MPFR precision to 1344 3.015 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 3.018 * * * * [points]: Setting MPFR precision to 1088 3.429 * * * * [points]: Setting MPFR precision to 1344 3.878 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 3.882 * * * * [points]: Setting MPFR precision to 1088 4.630 * * * * [points]: Setting MPFR precision to 1344 5.884 * * * * [points]: Computing exacts for 8000 points 5.886 * * * * [points]: Setting MPFR precision to 1088 9.119 * * * * [points]: Setting MPFR precision to 1344 13.107 * * * * [points]: Filtering points with unrepresentable outputs 13.144 * * * * [points]: Sampling 4013 additional inputs, on iter 1 have 3987 / 8000 13.210 * * * * [points]: Computing exacts on every 250 of 4013 points to ramp up precision 13.213 * * * * [points]: Setting MPFR precision to 1088 13.216 * * * * [points]: Setting MPFR precision to 1344 13.219 * * * * [points]: Computing exacts on every 125 of 4013 points to ramp up precision 13.222 * * * * [points]: Setting MPFR precision to 1088 13.233 * * * * [points]: Setting MPFR precision to 1344 13.243 * * * * [points]: Computing exacts on every 62 of 4013 points to ramp up precision 13.246 * * * * [points]: Setting MPFR precision to 1088 13.258 * * * * [points]: Setting MPFR precision to 1344 13.274 * * * * [points]: Computing exacts on every 31 of 4013 points to ramp up precision 13.277 * * * * [points]: Setting MPFR precision to 1088 13.326 * * * * [points]: Setting MPFR precision to 1344 13.389 * * * * [points]: Computing exacts on every 15 of 4013 points to ramp up precision 13.393 * * * * [points]: Setting MPFR precision to 1088 13.496 * * * * [points]: Setting MPFR precision to 1344 13.597 * * * * [points]: Computing exacts on every 7 of 4013 points to ramp up precision 13.601 * * * * [points]: Setting MPFR precision to 1088 13.813 * * * * [points]: Setting MPFR precision to 1344 14.045 * * * * [points]: Computing exacts on every 3 of 4013 points to ramp up precision 14.099 * * * * [points]: Setting MPFR precision to 1088 14.476 * * * * [points]: Setting MPFR precision to 1344 14.845 * * * * [points]: Computing exacts for 4013 points 14.847 * * * * [points]: Setting MPFR precision to 1088 16.799 * * * * [points]: Setting MPFR precision to 1344 18.484 * * * * [points]: Filtering points with unrepresentable outputs 18.495 * * * * [points]: Sampling 2047 additional inputs, on iter 2 have 5953 / 8000 18.512 * * * * [points]: Computing exacts on every 127 of 2047 points to ramp up precision 18.538 * * * * [points]: Setting MPFR precision to 1088 18.544 * * * * [points]: Setting MPFR precision to 1344 18.553 * * * * [points]: Computing exacts on every 63 of 2047 points to ramp up precision 18.557 * * * * [points]: Setting MPFR precision to 1088 18.570 * * * * [points]: Setting MPFR precision to 1344 18.584 * * * * [points]: Computing exacts on every 31 of 2047 points to ramp up precision 18.588 * * * * [points]: Setting MPFR precision to 1088 18.615 * * * * [points]: Setting MPFR precision to 1344 18.635 * * * * [points]: Computing exacts on every 15 of 2047 points to ramp up precision 18.638 * * * * [points]: Setting MPFR precision to 1088 18.668 * * * * [points]: Setting MPFR precision to 1344 18.703 * * * * [points]: Computing exacts on every 7 of 2047 points to ramp up precision 18.705 * * * * [points]: Setting MPFR precision to 1088 18.817 * * * * [points]: Setting MPFR precision to 1344 18.889 * * * * [points]: Computing exacts on every 3 of 2047 points to ramp up precision 18.892 * * * * [points]: Setting MPFR precision to 1088 19.074 * * * * [points]: Setting MPFR precision to 1344 19.269 * * * * [points]: Computing exacts for 2047 points 19.272 * * * * [points]: Setting MPFR precision to 1088 20.418 * * * * [points]: Setting MPFR precision to 1344 21.332 * * * * [points]: Filtering points with unrepresentable outputs 21.340 * * * * [points]: Sampling 1006 additional inputs, on iter 3 have 6994 / 8000 21.349 * * * * [points]: Computing exacts on every 62 of 1006 points to ramp up precision 21.351 * * * * [points]: Setting MPFR precision to 1088 21.355 * * * * [points]: Setting MPFR precision to 1344 21.362 * * * * [points]: Computing exacts on every 31 of 1006 points to ramp up precision 21.366 * * * * [points]: Setting MPFR precision to 1088 21.378 * * * * [points]: Setting MPFR precision to 1344 21.390 * * * * [points]: Computing exacts on every 15 of 1006 points to ramp up precision 21.395 * * * * [points]: Setting MPFR precision to 1088 21.419 * * * * [points]: Setting MPFR precision to 1344 21.449 * * * * [points]: Computing exacts on every 7 of 1006 points to ramp up precision 21.453 * * * * [points]: Setting MPFR precision to 1088 21.498 * * * * [points]: Setting MPFR precision to 1344 21.564 * * * * [points]: Computing exacts on every 3 of 1006 points to ramp up precision 21.567 * * * * [points]: Setting MPFR precision to 1088 21.649 * * * * [points]: Setting MPFR precision to 1344 21.765 * * * * [points]: Computing exacts for 1006 points 21.769 * * * * [points]: Setting MPFR precision to 1088 22.182 * * * * [points]: Setting MPFR precision to 1344 22.614 * * * * [points]: Filtering points with unrepresentable outputs 22.617 * * * * [points]: Sampling 510 additional inputs, on iter 4 have 7490 / 8000 22.621 * * * * [points]: Computing exacts on every 31 of 510 points to ramp up precision 22.669 * * * * [points]: Setting MPFR precision to 1088 22.679 * * * * [points]: Setting MPFR precision to 1344 22.687 * * * * [points]: Computing exacts on every 15 of 510 points to ramp up precision 22.692 * * * * [points]: Setting MPFR precision to 1088 22.704 * * * * [points]: Setting MPFR precision to 1344 22.721 * * * * [points]: Computing exacts on every 7 of 510 points to ramp up precision 22.725 * * * * [points]: Setting MPFR precision to 1088 22.749 * * * * [points]: Setting MPFR precision to 1344 22.783 * * * * [points]: Computing exacts on every 3 of 510 points to ramp up precision 22.788 * * * * [points]: Setting MPFR precision to 1088 22.831 * * * * [points]: Setting MPFR precision to 1344 22.878 * * * * [points]: Computing exacts for 510 points 22.883 * * * * [points]: Setting MPFR precision to 1088 23.087 * * * * [points]: Setting MPFR precision to 1344 23.352 * * * * [points]: Filtering points with unrepresentable outputs 23.355 * * * * [points]: Sampling 236 additional inputs, on iter 5 have 7764 / 8000 23.359 * * * * [points]: Computing exacts on every 14 of 236 points to ramp up precision 23.415 * * * * [points]: Setting MPFR precision to 1088 23.426 * * * * [points]: Setting MPFR precision to 1344 23.434 * * * * [points]: Computing exacts on every 7 of 236 points to ramp up precision 23.438 * * * * [points]: Setting MPFR precision to 1088 23.450 * * * * [points]: Setting MPFR precision to 1344 23.465 * * * * [points]: Computing exacts on every 3 of 236 points to ramp up precision 23.469 * * * * [points]: Setting MPFR precision to 1088 23.492 * * * * [points]: Setting MPFR precision to 1344 23.522 * * * * [points]: Computing exacts for 236 points 23.527 * * * * [points]: Setting MPFR precision to 1088 23.617 * * * * [points]: Setting MPFR precision to 1344 23.706 * * * * [points]: Filtering points with unrepresentable outputs 23.707 * * * * [points]: Sampling 105 additional inputs, on iter 6 have 7895 / 8000 23.708 * * * * [points]: Computing exacts on every 6 of 105 points to ramp up precision 24.061 * * * * [points]: Setting MPFR precision to 1088 24.064 * * * * [points]: Setting MPFR precision to 1344 24.072 * * * * [points]: Computing exacts on every 3 of 105 points to ramp up precision 24.076 * * * * [points]: Setting MPFR precision to 1088 24.085 * * * * [points]: Setting MPFR precision to 1344 24.094 * * * * [points]: Computing exacts for 105 points 24.096 * * * * [points]: Setting MPFR precision to 1088 24.118 * * * * [points]: Setting MPFR precision to 1344 24.145 * * * * [points]: Filtering points with unrepresentable outputs 24.145 * * * * [points]: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 24.146 * * * * [points]: Computing exacts on every 3 of 58 points to ramp up precision 24.149 * * * * [points]: Setting MPFR precision to 1088 24.156 * * * * [points]: Setting MPFR precision to 1344 24.164 * * * * [points]: Computing exacts for 58 points 24.168 * * * * [points]: Setting MPFR precision to 1088 24.186 * * * * [points]: Setting MPFR precision to 1344 24.204 * * * * [points]: Filtering points with unrepresentable outputs 24.204 * * * * [points]: Sampling 26 additional inputs, on iter 8 have 7974 / 8000 24.204 * * * * [points]: Computing exacts for 26 points 24.206 * * * * [points]: Setting MPFR precision to 1088 24.216 * * * * [points]: Setting MPFR precision to 1344 24.227 * * * * [points]: Filtering points with unrepresentable outputs 24.228 * * * * [points]: Sampling 15 additional inputs, on iter 9 have 7985 / 8000 24.228 * * * * [points]: Computing exacts for 15 points 24.232 * * * * [points]: Setting MPFR precision to 1088 24.237 * * * * [points]: Setting MPFR precision to 1344 24.271 * * * * [points]: Filtering points with unrepresentable outputs 24.271 * * * * [points]: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 24.271 * * * * [points]: Computing exacts for 7 points 24.275 * * * * [points]: Setting MPFR precision to 1088 24.277 * * * * [points]: Setting MPFR precision to 1344 24.282 * * * * [points]: Filtering points with unrepresentable outputs 24.283 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 24.283 * * * * [points]: Computing exacts for 4 points 24.287 * * * * [points]: Setting MPFR precision to 1088 24.288 * * * * [points]: Setting MPFR precision to 1344 24.290 * * * * [points]: Filtering points with unrepresentable outputs 24.290 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 24.290 * * * * [points]: Computing exacts for 4 points 24.294 * * * * [points]: Setting MPFR precision to 1088 24.295 * * * * [points]: Setting MPFR precision to 1344 24.299 * * * * [points]: Filtering points with unrepresentable outputs 24.299 * * * * [points]: Sampled 8002 points with exact outputs 24.710 * [regime-testing]: Baseline error score: 43.84704404321106 24.730 * [regime-testing]: Oracle error score: 43.84704404321106 24.731 * [regime-testing]: End program error score: 43.84704404321106