0.643 * [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.011 * * * * [points]: Computing exacts on every 16 of 256 points to ramp up precision 0.121 * * * * [points]: Setting MPFR precision to 64 0.126 * * * * [points]: Setting MPFR precision to 320 0.130 * * * * [points]: Computing exacts on every 8 of 256 points to ramp up precision 0.133 * * * * [points]: Setting MPFR precision to 64 0.135 * * * * [points]: Setting MPFR precision to 320 0.138 * * * * [points]: Computing exacts on every 4 of 256 points to ramp up precision 0.140 * * * * [points]: Setting MPFR precision to 64 0.145 * * * * [points]: Setting MPFR precision to 320 0.150 * * * * [points]: Computing exacts on every 2 of 256 points to ramp up precision 0.152 * * * * [points]: Setting MPFR precision to 64 0.160 * * * * [points]: Setting MPFR precision to 320 0.209 * * * * [points]: Computing exacts for 256 points 0.210 * * * * [points]: Setting MPFR precision to 64 0.236 * * * * [points]: Setting MPFR precision to 320 0.262 * * * * [points]: Filtering points with unrepresentable outputs 0.263 * * * * [points]: Sampling 118 additional inputs, on iter 1 have 138 / 256 0.264 * * * * [points]: Computing exacts on every 7 of 118 points to ramp up precision 0.266 * * * * [points]: Setting MPFR precision to 64 0.267 * * * * [points]: Setting MPFR precision to 320 0.269 * * * * [points]: Computing exacts on every 3 of 118 points to ramp up precision 0.270 * * * * [points]: Setting MPFR precision to 64 0.273 * * * * [points]: Setting MPFR precision to 320 0.276 * * * * [points]: Computing exacts for 118 points 0.278 * * * * [points]: Setting MPFR precision to 64 0.288 * * * * [points]: Setting MPFR precision to 320 0.301 * * * * [points]: Filtering points with unrepresentable outputs 0.301 * * * * [points]: Sampling 64 additional inputs, on iter 2 have 192 / 256 0.301 * * * * [points]: Computing exacts on every 4 of 64 points to ramp up precision 0.303 * * * * [points]: Setting MPFR precision to 64 0.304 * * * * [points]: Setting MPFR precision to 320 0.306 * * * * [points]: Computing exacts on every 2 of 64 points to ramp up precision 0.307 * * * * [points]: Setting MPFR precision to 64 0.309 * * * * [points]: Setting MPFR precision to 320 0.312 * * * * [points]: Computing exacts for 64 points 0.316 * * * * [points]: Setting MPFR precision to 64 0.324 * * * * [points]: Setting MPFR precision to 320 0.331 * * * * [points]: Filtering points with unrepresentable outputs 0.331 * * * * [points]: Sampling 33 additional inputs, on iter 3 have 223 / 256 0.331 * * * * [points]: Computing exacts on every 2 of 33 points to ramp up precision 0.333 * * * * [points]: Setting MPFR precision to 64 0.335 * * * * [points]: Setting MPFR precision to 320 0.336 * * * * [points]: Computing exacts for 33 points 0.338 * * * * [points]: Setting MPFR precision to 64 0.760 * * * * [points]: Setting MPFR precision to 320 0.771 * * * * [points]: Filtering points with unrepresentable outputs 0.772 * * * * [points]: Sampling 14 additional inputs, on iter 4 have 242 / 256 0.772 * * * * [points]: Computing exacts for 14 points 0.775 * * * * [points]: Setting MPFR precision to 64 0.778 * * * * [points]: Setting MPFR precision to 320 0.780 * * * * [points]: Filtering points with unrepresentable outputs 0.780 * * * * [points]: Sampling 6 additional inputs, on iter 5 have 250 / 256 0.781 * * * * [points]: Computing exacts for 6 points 0.783 * * * * [points]: Setting MPFR precision to 64 0.785 * * * * [points]: Setting MPFR precision to 320 0.787 * * * * [points]: Filtering points with unrepresentable outputs 0.787 * * * * [points]: Sampling 4 additional inputs, on iter 6 have 254 / 256 0.787 * * * * [points]: Computing exacts for 4 points 0.790 * * * * [points]: Setting MPFR precision to 64 0.791 * * * * [points]: Setting MPFR precision to 320 0.792 * * * * [points]: Filtering points with unrepresentable outputs 0.792 * * * * [points]: Sampled 256 points with exact outputs 0.792 * * * [progress]: [2/2] Setting up program. 0.799 * [progress]: [Phase 2 of 3] Improving. 0.800 * * * * [progress]: [ 1 / 1 ] simplifiying candidate # 0.803 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.804 * * [simplify]: iteration 0: 12 enodes 0.814 * * [simplify]: iteration 1: 16 enodes 0.821 * * [simplify]: iteration complete: 16 enodes 0.822 * * [simplify]: Extracting #0: cost 1 inf + 0 0.822 * * [simplify]: Extracting #1: cost 2 inf + 0 0.822 * * [simplify]: Extracting #2: cost 4 inf + 0 0.822 * * [simplify]: Extracting #3: cost 8 inf + 0 0.823 * * [simplify]: Extracting #4: cost 7 inf + 4 0.823 * * [simplify]: Extracting #5: cost 11 inf + 4 0.823 * * [simplify]: Extracting #6: cost 8 inf + 47 0.823 * * [simplify]: Extracting #7: cost 3 inf + 396 0.823 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.824 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.827 * * [progress]: iteration 1 / 4 0.827 * * * [progress]: picking best candidate 0.832 * * * * [pick]: Picked # 0.832 * * * [progress]: localizing error 0.967 * * * [progress]: generating rewritten candidates 0.967 * * * * [progress]: [ 1 / 3 ] rewriting at (2 1 1) 0.973 * * * * [progress]: [ 2 / 3 ] rewriting at (2 1 1 1) 0.974 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1 1 2) 0.976 * * * [progress]: generating series expansions 0.976 * * * * [progress]: [ 1 / 3 ] generating series at (2 1 1) 0.976 * * * * [progress]: [ 2 / 3 ] generating series at (2 1 1 1) 0.976 * * * * [progress]: [ 3 / 3 ] generating series at (2 1 1 2) 0.976 * * * [progress]: simplifying candidates 0.976 * * * * [progress]: [ 1 / 4 ] simplifiying candidate # 0.976 * * * * [progress]: [ 2 / 4 ] simplifiying candidate # 0.977 * * * * [progress]: [ 3 / 4 ] simplifiying candidate # 0.977 * * * * [progress]: [ 4 / 4 ] simplifiying candidate # 0.977 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 0.977 * * [simplify]: iteration 0: 12 enodes 0.982 * * [simplify]: iteration 1: 16 enodes 0.987 * * [simplify]: iteration complete: 16 enodes 0.988 * * [simplify]: Extracting #0: cost 1 inf + 0 0.988 * * [simplify]: Extracting #1: cost 2 inf + 0 0.988 * * [simplify]: Extracting #2: cost 4 inf + 0 0.988 * * [simplify]: Extracting #3: cost 8 inf + 0 0.988 * * [simplify]: Extracting #4: cost 7 inf + 4 0.988 * * [simplify]: Extracting #5: cost 11 inf + 4 0.988 * * [simplify]: Extracting #6: cost 8 inf + 47 0.988 * * [simplify]: Extracting #7: cost 3 inf + 396 0.988 * * [simplify]: Extracting #8: cost 0 inf + 2186 0.989 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 0.990 * * * [progress]: adding candidates to table 0.998 * [progress]: [Phase 3 of 3] Extracting. 1.004 * [simplify]: Simplifying: (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1.004 * * [simplify]: iteration 0: 12 enodes 1.006 * * [simplify]: iteration 1: 13 enodes 1.007 * * [simplify]: iteration complete: 13 enodes 1.007 * * [simplify]: Extracting #0: cost 1 inf + 0 1.007 * * [simplify]: Extracting #1: cost 2 inf + 0 1.007 * * [simplify]: Extracting #2: cost 4 inf + 0 1.007 * * [simplify]: Extracting #3: cost 8 inf + 0 1.007 * * [simplify]: Extracting #4: cost 7 inf + 4 1.007 * * [simplify]: Extracting #5: cost 9 inf + 4 1.007 * * [simplify]: Extracting #6: cost 7 inf + 6 1.008 * * [simplify]: Extracting #7: cost 0 inf + 2104 1.008 * [simplify]: Simplified to: (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1.008 * * * * [points]: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1.109 * * * * [points]: Computing exacts on every 500 of 8000 points to ramp up precision 1.112 * * * * [points]: Setting MPFR precision to 64 1.115 * * * * [points]: Setting MPFR precision to 320 1.117 * * * * [points]: Computing exacts on every 250 of 8000 points to ramp up precision 1.120 * * * * [points]: Setting MPFR precision to 64 1.125 * * * * [points]: Setting MPFR precision to 320 1.131 * * * * [points]: Computing exacts on every 125 of 8000 points to ramp up precision 1.134 * * * * [points]: Setting MPFR precision to 64 1.146 * * * * [points]: Setting MPFR precision to 320 1.154 * * * * [points]: Computing exacts on every 62 of 8000 points to ramp up precision 1.156 * * * * [points]: Setting MPFR precision to 64 1.167 * * * * [points]: Setting MPFR precision to 320 1.180 * * * * [points]: Computing exacts on every 31 of 8000 points to ramp up precision 1.182 * * * * [points]: Setting MPFR precision to 64 1.227 * * * * [points]: Setting MPFR precision to 320 1.272 * * * * [points]: Computing exacts on every 15 of 8000 points to ramp up precision 1.274 * * * * [points]: Setting MPFR precision to 64 1.322 * * * * [points]: Setting MPFR precision to 320 1.466 * * * * [points]: Computing exacts on every 7 of 8000 points to ramp up precision 1.469 * * * * [points]: Setting MPFR precision to 64 1.590 * * * * [points]: Setting MPFR precision to 320 1.757 * * * * [points]: Computing exacts on every 3 of 8000 points to ramp up precision 1.760 * * * * [points]: Setting MPFR precision to 64 2.066 * * * * [points]: Setting MPFR precision to 320 2.491 * * * * [points]: Computing exacts for 8000 points 2.493 * * * * [points]: Setting MPFR precision to 64 4.304 * * * * [points]: Setting MPFR precision to 320 6.368 * * * * [points]: Filtering points with unrepresentable outputs 6.375 * * * * [points]: Sampling 3966 additional inputs, on iter 1 have 4034 / 8000 6.426 * * * * [points]: Computing exacts on every 247 of 3966 points to ramp up precision 6.428 * * * * [points]: Setting MPFR precision to 64 6.431 * * * * [points]: Setting MPFR precision to 320 6.432 * * * * [points]: Computing exacts on every 123 of 3966 points to ramp up precision 6.434 * * * * [points]: Setting MPFR precision to 64 6.437 * * * * [points]: Setting MPFR precision to 320 6.441 * * * * [points]: Computing exacts on every 61 of 3966 points to ramp up precision 6.443 * * * * [points]: Setting MPFR precision to 64 6.448 * * * * [points]: Setting MPFR precision to 320 6.454 * * * * [points]: Computing exacts on every 30 of 3966 points to ramp up precision 6.456 * * * * [points]: Setting MPFR precision to 64 6.466 * * * * [points]: Setting MPFR precision to 320 6.481 * * * * [points]: Computing exacts on every 15 of 3966 points to ramp up precision 6.484 * * * * [points]: Setting MPFR precision to 64 6.526 * * * * [points]: Setting MPFR precision to 320 6.573 * * * * [points]: Computing exacts on every 7 of 3966 points to ramp up precision 6.629 * * * * [points]: Setting MPFR precision to 64 6.716 * * * * [points]: Setting MPFR precision to 320 6.770 * * * * [points]: Computing exacts on every 3 of 3966 points to ramp up precision 6.772 * * * * [points]: Setting MPFR precision to 64 6.936 * * * * [points]: Setting MPFR precision to 320 7.173 * * * * [points]: Computing exacts for 3966 points 7.176 * * * * [points]: Setting MPFR precision to 64 7.865 * * * * [points]: Setting MPFR precision to 320 8.996 * * * * [points]: Filtering points with unrepresentable outputs 9.000 * * * * [points]: Sampling 1972 additional inputs, on iter 2 have 6028 / 8000 9.075 * * * * [points]: Computing exacts on every 123 of 1972 points to ramp up precision 9.077 * * * * [points]: Setting MPFR precision to 64 9.078 * * * * [points]: Setting MPFR precision to 320 9.082 * * * * [points]: Computing exacts on every 61 of 1972 points to ramp up precision 9.084 * * * * [points]: Setting MPFR precision to 64 9.086 * * * * [points]: Setting MPFR precision to 320 9.090 * * * * [points]: Computing exacts on every 30 of 1972 points to ramp up precision 9.091 * * * * [points]: Setting MPFR precision to 64 9.102 * * * * [points]: Setting MPFR precision to 320 9.114 * * * * [points]: Computing exacts on every 15 of 1972 points to ramp up precision 9.117 * * * * [points]: Setting MPFR precision to 64 9.139 * * * * [points]: Setting MPFR precision to 320 9.165 * * * * [points]: Computing exacts on every 7 of 1972 points to ramp up precision 9.168 * * * * [points]: Setting MPFR precision to 64 9.210 * * * * [points]: Setting MPFR precision to 320 9.236 * * * * [points]: Computing exacts on every 3 of 1972 points to ramp up precision 9.237 * * * * [points]: Setting MPFR precision to 64 9.339 * * * * [points]: Setting MPFR precision to 320 9.389 * * * * [points]: Computing exacts for 1972 points 9.391 * * * * [points]: Setting MPFR precision to 64 9.703 * * * * [points]: Setting MPFR precision to 320 10.061 * * * * [points]: Filtering points with unrepresentable outputs 10.062 * * * * [points]: Sampling 962 additional inputs, on iter 3 have 7038 / 8000 10.110 * * * * [points]: Computing exacts on every 60 of 962 points to ramp up precision 10.112 * * * * [points]: Setting MPFR precision to 64 10.114 * * * * [points]: Setting MPFR precision to 320 10.115 * * * * [points]: Computing exacts on every 30 of 962 points to ramp up precision 10.117 * * * * [points]: Setting MPFR precision to 64 10.122 * * * * [points]: Setting MPFR precision to 320 10.126 * * * * [points]: Computing exacts on every 15 of 962 points to ramp up precision 10.127 * * * * [points]: Setting MPFR precision to 64 10.135 * * * * [points]: Setting MPFR precision to 320 10.140 * * * * [points]: Computing exacts on every 7 of 962 points to ramp up precision 10.142 * * * * [points]: Setting MPFR precision to 64 10.152 * * * * [points]: Setting MPFR precision to 320 10.164 * * * * [points]: Computing exacts on every 3 of 962 points to ramp up precision 10.165 * * * * [points]: Setting MPFR precision to 64 10.185 * * * * [points]: Setting MPFR precision to 320 10.211 * * * * [points]: Computing exacts for 962 points 10.214 * * * * [points]: Setting MPFR precision to 64 10.376 * * * * [points]: Setting MPFR precision to 320 10.540 * * * * [points]: Filtering points with unrepresentable outputs 10.541 * * * * [points]: Sampling 477 additional inputs, on iter 4 have 7523 / 8000 10.544 * * * * [points]: Computing exacts on every 29 of 477 points to ramp up precision 10.546 * * * * [points]: Setting MPFR precision to 64 10.547 * * * * [points]: Setting MPFR precision to 320 10.549 * * * * [points]: Computing exacts on every 14 of 477 points to ramp up precision 10.550 * * * * [points]: Setting MPFR precision to 64 10.553 * * * * [points]: Setting MPFR precision to 320 10.556 * * * * [points]: Computing exacts on every 7 of 477 points to ramp up precision 10.557 * * * * [points]: Setting MPFR precision to 64 10.563 * * * * [points]: Setting MPFR precision to 320 10.568 * * * * [points]: Computing exacts on every 3 of 477 points to ramp up precision 10.570 * * * * [points]: Setting MPFR precision to 64 10.579 * * * * [points]: Setting MPFR precision to 320 10.591 * * * * [points]: Computing exacts for 477 points 10.592 * * * * [points]: Setting MPFR precision to 64 11.113 * * * * [points]: Setting MPFR precision to 320 11.178 * * * * [points]: Filtering points with unrepresentable outputs 11.179 * * * * [points]: Sampling 237 additional inputs, on iter 5 have 7763 / 8000 11.182 * * * * [points]: Computing exacts on every 14 of 237 points to ramp up precision 11.186 * * * * [points]: Setting MPFR precision to 64 11.189 * * * * [points]: Setting MPFR precision to 320 11.192 * * * * [points]: Computing exacts on every 7 of 237 points to ramp up precision 11.195 * * * * [points]: Setting MPFR precision to 64 11.199 * * * * [points]: Setting MPFR precision to 320 11.204 * * * * [points]: Computing exacts on every 3 of 237 points to ramp up precision 11.207 * * * * [points]: Setting MPFR precision to 64 11.216 * * * * [points]: Setting MPFR precision to 320 11.227 * * * * [points]: Computing exacts for 237 points 11.229 * * * * [points]: Setting MPFR precision to 64 11.285 * * * * [points]: Setting MPFR precision to 320 11.327 * * * * [points]: Filtering points with unrepresentable outputs 11.327 * * * * [points]: Sampling 131 additional inputs, on iter 6 have 7869 / 8000 11.329 * * * * [points]: Computing exacts on every 8 of 131 points to ramp up precision 11.332 * * * * [points]: Setting MPFR precision to 64 11.335 * * * * [points]: Setting MPFR precision to 320 11.338 * * * * [points]: Computing exacts on every 4 of 131 points to ramp up precision 11.340 * * * * [points]: Setting MPFR precision to 64 11.345 * * * * [points]: Setting MPFR precision to 320 11.350 * * * * [points]: Computing exacts on every 2 of 131 points to ramp up precision 11.352 * * * * [points]: Setting MPFR precision to 64 11.359 * * * * [points]: Setting MPFR precision to 320 11.368 * * * * [points]: Computing exacts for 131 points 11.371 * * * * [points]: Setting MPFR precision to 64 11.388 * * * * [points]: Setting MPFR precision to 320 11.400 * * * * [points]: Filtering points with unrepresentable outputs 11.401 * * * * [points]: Sampling 69 additional inputs, on iter 7 have 7931 / 8000 11.401 * * * * [points]: Computing exacts on every 4 of 69 points to ramp up precision 11.403 * * * * [points]: Setting MPFR precision to 64 11.404 * * * * [points]: Setting MPFR precision to 320 11.405 * * * * [points]: Computing exacts on every 2 of 69 points to ramp up precision 11.407 * * * * [points]: Setting MPFR precision to 64 11.409 * * * * [points]: Setting MPFR precision to 320 11.411 * * * * [points]: Computing exacts for 69 points 11.413 * * * * [points]: Setting MPFR precision to 64 11.419 * * * * [points]: Setting MPFR precision to 320 11.425 * * * * [points]: Filtering points with unrepresentable outputs 11.425 * * * * [points]: Sampling 34 additional inputs, on iter 8 have 7966 / 8000 11.426 * * * * [points]: Computing exacts on every 2 of 34 points to ramp up precision 11.464 * * * * [points]: Setting MPFR precision to 64 11.465 * * * * [points]: Setting MPFR precision to 320 11.466 * * * * [points]: Computing exacts for 34 points 11.468 * * * * [points]: Setting MPFR precision to 64 11.471 * * * * [points]: Setting MPFR precision to 320 11.476 * * * * [points]: Filtering points with unrepresentable outputs 11.477 * * * * [points]: Sampling 12 additional inputs, on iter 9 have 7988 / 8000 11.477 * * * * [points]: Computing exacts for 12 points 11.478 * * * * [points]: Setting MPFR precision to 64 11.479 * * * * [points]: Setting MPFR precision to 320 11.481 * * * * [points]: Filtering points with unrepresentable outputs 11.481 * * * * [points]: Sampling 10 additional inputs, on iter 10 have 7990 / 8000 11.481 * * * * [points]: Computing exacts for 10 points 11.482 * * * * [points]: Setting MPFR precision to 64 11.483 * * * * [points]: Setting MPFR precision to 320 11.484 * * * * [points]: Filtering points with unrepresentable outputs 11.484 * * * * [points]: Sampling 4 additional inputs, on iter 11 have 7996 / 8000 11.484 * * * * [points]: Computing exacts for 4 points 11.486 * * * * [points]: Setting MPFR precision to 64 11.486 * * * * [points]: Setting MPFR precision to 320 11.487 * * * * [points]: Filtering points with unrepresentable outputs 11.487 * * * * [points]: Sampling 4 additional inputs, on iter 12 have 7999 / 8000 11.487 * * * * [points]: Computing exacts for 4 points 11.488 * * * * [points]: Setting MPFR precision to 64 11.489 * * * * [points]: Setting MPFR precision to 320 11.489 * * * * [points]: Filtering points with unrepresentable outputs 11.489 * * * * [points]: Sampled 8000 points with exact outputs 11.723 * [regime-testing]: Baseline error score: 0.011823120312590146 11.727 * [regime-testing]: Oracle error score: 0.011823120312590146 11.728 * [regime-testing]: End program error score: 0.011823120312590146