1546681456.844 * [misc]progress: [Phase 1 of 3] Setting up. 1546681456.846 * * * [misc]progress: [1/2] Preparing points 1546681456.846 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1546681456.850 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1546681456.910 * * * * [misc]points: Setting MPFR precision to 64 1546681456.915 * * * * [misc]points: Setting MPFR precision to 320 1546681456.919 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1546681456.921 * * * * [misc]points: Setting MPFR precision to 64 1546681456.957 * * * * [misc]points: Setting MPFR precision to 320 1546681456.960 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1546681456.962 * * * * [misc]points: Setting MPFR precision to 64 1546681456.966 * * * * [misc]points: Setting MPFR precision to 320 1546681456.972 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1546681456.973 * * * * [misc]points: Setting MPFR precision to 64 1546681456.981 * * * * [misc]points: Setting MPFR precision to 320 1546681456.990 * * * * [misc]points: Computing exacts for 256 points 1546681456.992 * * * * [misc]points: Setting MPFR precision to 64 1546681457.024 * * * * [misc]points: Setting MPFR precision to 320 1546681457.060 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.061 * * * * [misc]points: Sampling 125 additional inputs, on iter 1 have 131 / 256 1546681457.062 * * * * [misc]points: Computing exacts on every 7 of 125 points to ramp up precision 1546681457.065 * * * * [misc]points: Setting MPFR precision to 64 1546681457.068 * * * * [misc]points: Setting MPFR precision to 320 1546681457.071 * * * * [misc]points: Computing exacts on every 3 of 125 points to ramp up precision 1546681457.074 * * * * [misc]points: Setting MPFR precision to 64 1546681457.080 * * * * [misc]points: Setting MPFR precision to 320 1546681457.088 * * * * [misc]points: Computing exacts for 125 points 1546681457.091 * * * * [misc]points: Setting MPFR precision to 64 1546681457.115 * * * * [misc]points: Setting MPFR precision to 320 1546681457.164 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.165 * * * * [misc]points: Sampling 59 additional inputs, on iter 2 have 197 / 256 1546681457.165 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1546681457.168 * * * * [misc]points: Setting MPFR precision to 64 1546681457.171 * * * * [misc]points: Setting MPFR precision to 320 1546681457.179 * * * * [misc]points: Computing exacts for 59 points 1546681457.182 * * * * [misc]points: Setting MPFR precision to 64 1546681457.193 * * * * [misc]points: Setting MPFR precision to 320 1546681457.204 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.204 * * * * [misc]points: Sampling 26 additional inputs, on iter 3 have 230 / 256 1546681457.205 * * * * [misc]points: Computing exacts for 26 points 1546681457.207 * * * * [misc]points: Setting MPFR precision to 64 1546681457.212 * * * * [misc]points: Setting MPFR precision to 320 1546681457.218 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.218 * * * * [misc]points: Sampling 16 additional inputs, on iter 4 have 240 / 256 1546681457.218 * * * * [misc]points: Computing exacts for 16 points 1546681457.221 * * * * [misc]points: Setting MPFR precision to 64 1546681457.224 * * * * [misc]points: Setting MPFR precision to 320 1546681457.227 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.227 * * * * [misc]points: Sampling 7 additional inputs, on iter 5 have 249 / 256 1546681457.228 * * * * [misc]points: Computing exacts for 7 points 1546681457.231 * * * * [misc]points: Setting MPFR precision to 64 1546681457.232 * * * * [misc]points: Setting MPFR precision to 320 1546681457.234 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.234 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1546681457.234 * * * * [misc]points: Computing exacts for 4 points 1546681457.237 * * * * [misc]points: Setting MPFR precision to 64 1546681457.238 * * * * [misc]points: Setting MPFR precision to 320 1546681457.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.239 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 254 / 256 1546681457.239 * * * * [misc]points: Computing exacts for 4 points 1546681457.242 * * * * [misc]points: Setting MPFR precision to 64 1546681457.243 * * * * [misc]points: Setting MPFR precision to 320 1546681457.244 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681457.244 * * * * [exit]points: Sampled 258 points with exact outputs 1546681457.244 * * * [misc]progress: [2/2] Setting up program. 1546681457.252 * [misc]progress: [Phase 2 of 3] Improving. 1546681457.252 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1546681457.254 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546681457.255 * * [misc]simplify: iters left: 6 (12 enodes) 1546681457.266 * * [misc]simplify: iters left: 5 (16 enodes) 1546681457.270 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546681457.270 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546681457.275 * * [misc]progress: iteration 1 / 4 1546681457.275 * * * [misc]progress: picking best candidate 1546681457.278 * * * * [misc]pick: Picked # 1546681457.278 * * * [misc]progress: localizing error 1546681457.386 * * * [misc]progress: generating rewritten candidates 1546681457.386 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1546681457.389 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1546681457.389 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1546681457.390 * * * [misc]progress: generating series expansions 1546681457.391 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1546681457.391 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1546681457.391 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1546681457.391 * * * [misc]progress: simplifying candidates 1546681457.391 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1546681457.391 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1546681457.391 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546681457.391 * * [misc]simplify: iters left: 6 (12 enodes) 1546681457.393 * * [misc]simplify: iters left: 5 (16 enodes) 1546681457.396 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546681457.396 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546681457.396 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1546681457.396 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546681457.396 * * [misc]simplify: iters left: 6 (12 enodes) 1546681457.398 * * [misc]simplify: iters left: 5 (16 enodes) 1546681457.401 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546681457.401 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546681457.401 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1546681457.401 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546681457.401 * * [misc]simplify: iters left: 6 (12 enodes) 1546681457.403 * * [misc]simplify: iters left: 5 (16 enodes) 1546681457.405 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546681457.405 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1546681457.405 * * * [misc]progress: adding candidates to table 1546681457.428 * [misc]progress: [Phase 3 of 3] Extracting. 1546681457.434 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1546681457.434 * * [misc]simplify: iters left: 6 (12 enodes) 1546681457.436 * * [misc]simplify: iters left: 5 (13 enodes) 1546681457.437 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1546681457.437 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1546681457.523 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1546681457.526 * * * * [misc]points: Setting MPFR precision to 64 1546681457.529 * * * * [misc]points: Setting MPFR precision to 320 1546681457.532 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1546681457.536 * * * * [misc]points: Setting MPFR precision to 64 1546681457.542 * * * * [misc]points: Setting MPFR precision to 320 1546681457.548 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1546681457.551 * * * * [misc]points: Setting MPFR precision to 64 1546681457.562 * * * * [misc]points: Setting MPFR precision to 320 1546681457.574 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1546681457.577 * * * * [misc]points: Setting MPFR precision to 64 1546681457.599 * * * * [misc]points: Setting MPFR precision to 320 1546681457.646 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1546681457.649 * * * * [misc]points: Setting MPFR precision to 64 1546681457.695 * * * * [misc]points: Setting MPFR precision to 320 1546681457.743 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1546681457.746 * * * * [misc]points: Setting MPFR precision to 64 1546681457.835 * * * * [misc]points: Setting MPFR precision to 320 1546681457.985 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1546681457.988 * * * * [misc]points: Setting MPFR precision to 64 1546681458.203 * * * * [misc]points: Setting MPFR precision to 320 1546681458.371 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1546681458.374 * * * * [misc]points: Setting MPFR precision to 64 1546681459.057 * * * * [misc]points: Setting MPFR precision to 320 1546681459.510 * * * * [misc]points: Computing exacts for 8000 points 1546681459.518 * * * * [misc]points: Setting MPFR precision to 64 1546681461.004 * * * * [misc]points: Setting MPFR precision to 320 1546681463.038 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681463.040 * * * * [misc]points: Sampling 3907 additional inputs, on iter 1 have 4093 / 8000 1546681463.083 * * * * [misc]points: Computing exacts on every 244 of 3907 points to ramp up precision 1546681463.085 * * * * [misc]points: Setting MPFR precision to 64 1546681463.086 * * * * [misc]points: Setting MPFR precision to 320 1546681463.088 * * * * [misc]points: Computing exacts on every 122 of 3907 points to ramp up precision 1546681463.091 * * * * [misc]points: Setting MPFR precision to 64 1546681463.094 * * * * [misc]points: Setting MPFR precision to 320 1546681463.097 * * * * [misc]points: Computing exacts on every 61 of 3907 points to ramp up precision 1546681463.098 * * * * [misc]points: Setting MPFR precision to 64 1546681463.105 * * * * [misc]points: Setting MPFR precision to 320 1546681463.110 * * * * [misc]points: Computing exacts on every 30 of 3907 points to ramp up precision 1546681463.112 * * * * [misc]points: Setting MPFR precision to 64 1546681463.122 * * * * [misc]points: Setting MPFR precision to 320 1546681463.141 * * * * [misc]points: Computing exacts on every 15 of 3907 points to ramp up precision 1546681463.144 * * * * [misc]points: Setting MPFR precision to 64 1546681463.167 * * * * [misc]points: Setting MPFR precision to 320 1546681463.191 * * * * [misc]points: Computing exacts on every 7 of 3907 points to ramp up precision 1546681463.193 * * * * [misc]points: Setting MPFR precision to 64 1546681463.315 * * * * [misc]points: Setting MPFR precision to 320 1546681463.401 * * * * [misc]points: Computing exacts on every 3 of 3907 points to ramp up precision 1546681463.404 * * * * [misc]points: Setting MPFR precision to 64 1546681463.560 * * * * [misc]points: Setting MPFR precision to 320 1546681463.776 * * * * [misc]points: Computing exacts for 3907 points 1546681463.778 * * * * [misc]points: Setting MPFR precision to 64 1546681464.841 * * * * [misc]points: Setting MPFR precision to 320 1546681465.601 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681465.602 * * * * [misc]points: Sampling 1961 additional inputs, on iter 2 have 6039 / 8000 1546681465.618 * * * * [misc]points: Computing exacts on every 122 of 1961 points to ramp up precision 1546681465.621 * * * * [misc]points: Setting MPFR precision to 64 1546681465.668 * * * * [misc]points: Setting MPFR precision to 320 1546681465.671 * * * * [misc]points: Computing exacts on every 61 of 1961 points to ramp up precision 1546681465.674 * * * * [misc]points: Setting MPFR precision to 64 1546681465.684 * * * * [misc]points: Setting MPFR precision to 320 1546681465.689 * * * * [misc]points: Computing exacts on every 30 of 1961 points to ramp up precision 1546681465.690 * * * * [misc]points: Setting MPFR precision to 64 1546681465.696 * * * * [misc]points: Setting MPFR precision to 320 1546681465.702 * * * * [misc]points: Computing exacts on every 15 of 1961 points to ramp up precision 1546681465.704 * * * * [misc]points: Setting MPFR precision to 64 1546681465.715 * * * * [misc]points: Setting MPFR precision to 320 1546681465.740 * * * * [misc]points: Computing exacts on every 7 of 1961 points to ramp up precision 1546681465.743 * * * * [misc]points: Setting MPFR precision to 64 1546681465.786 * * * * [misc]points: Setting MPFR precision to 320 1546681465.835 * * * * [misc]points: Computing exacts on every 3 of 1961 points to ramp up precision 1546681465.838 * * * * [misc]points: Setting MPFR precision to 64 1546681465.959 * * * * [misc]points: Setting MPFR precision to 320 1546681466.054 * * * * [misc]points: Computing exacts for 1961 points 1546681466.057 * * * * [misc]points: Setting MPFR precision to 64 1546681466.414 * * * * [misc]points: Setting MPFR precision to 320 1546681467.125 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681467.127 * * * * [misc]points: Sampling 962 additional inputs, on iter 3 have 7038 / 8000 1546681467.136 * * * * [misc]points: Computing exacts on every 60 of 962 points to ramp up precision 1546681467.140 * * * * [misc]points: Setting MPFR precision to 64 1546681467.143 * * * * [misc]points: Setting MPFR precision to 320 1546681467.147 * * * * [misc]points: Computing exacts on every 30 of 962 points to ramp up precision 1546681467.149 * * * * [misc]points: Setting MPFR precision to 64 1546681467.206 * * * * [misc]points: Setting MPFR precision to 320 1546681467.212 * * * * [misc]points: Computing exacts on every 15 of 962 points to ramp up precision 1546681467.220 * * * * [misc]points: Setting MPFR precision to 64 1546681467.231 * * * * [misc]points: Setting MPFR precision to 320 1546681467.242 * * * * [misc]points: Computing exacts on every 7 of 962 points to ramp up precision 1546681467.245 * * * * [misc]points: Setting MPFR precision to 64 1546681467.267 * * * * [misc]points: Setting MPFR precision to 320 1546681467.291 * * * * [misc]points: Computing exacts on every 3 of 962 points to ramp up precision 1546681467.293 * * * * [misc]points: Setting MPFR precision to 64 1546681467.314 * * * * [misc]points: Setting MPFR precision to 320 1546681467.348 * * * * [misc]points: Computing exacts for 962 points 1546681467.350 * * * * [misc]points: Setting MPFR precision to 64 1546681467.537 * * * * [misc]points: Setting MPFR precision to 320 1546681467.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681467.716 * * * * [misc]points: Sampling 477 additional inputs, on iter 4 have 7523 / 8000 1546681467.718 * * * * [misc]points: Computing exacts on every 29 of 477 points to ramp up precision 1546681467.720 * * * * [misc]points: Setting MPFR precision to 64 1546681467.721 * * * * [misc]points: Setting MPFR precision to 320 1546681467.723 * * * * [misc]points: Computing exacts on every 14 of 477 points to ramp up precision 1546681467.724 * * * * [misc]points: Setting MPFR precision to 64 1546681467.727 * * * * [misc]points: Setting MPFR precision to 320 1546681467.731 * * * * [misc]points: Computing exacts on every 7 of 477 points to ramp up precision 1546681467.732 * * * * [misc]points: Setting MPFR precision to 64 1546681467.738 * * * * [misc]points: Setting MPFR precision to 320 1546681467.744 * * * * [misc]points: Computing exacts on every 3 of 477 points to ramp up precision 1546681467.746 * * * * [misc]points: Setting MPFR precision to 64 1546681467.760 * * * * [misc]points: Setting MPFR precision to 320 1546681467.781 * * * * [misc]points: Computing exacts for 477 points 1546681467.782 * * * * [misc]points: Setting MPFR precision to 64 1546681467.885 * * * * [misc]points: Setting MPFR precision to 320 1546681467.951 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681467.952 * * * * [misc]points: Sampling 234 additional inputs, on iter 5 have 7766 / 8000 1546681467.954 * * * * [misc]points: Computing exacts on every 14 of 234 points to ramp up precision 1546681467.956 * * * * [misc]points: Setting MPFR precision to 64 1546681467.959 * * * * [misc]points: Setting MPFR precision to 320 1546681467.963 * * * * [misc]points: Computing exacts on every 7 of 234 points to ramp up precision 1546681467.966 * * * * [misc]points: Setting MPFR precision to 64 1546681467.971 * * * * [misc]points: Setting MPFR precision to 320 1546681467.977 * * * * [misc]points: Computing exacts on every 3 of 234 points to ramp up precision 1546681467.980 * * * * [misc]points: Setting MPFR precision to 64 1546681467.991 * * * * [misc]points: Setting MPFR precision to 320 1546681468.003 * * * * [misc]points: Computing exacts for 234 points 1546681468.006 * * * * [misc]points: Setting MPFR precision to 64 1546681468.080 * * * * [misc]points: Setting MPFR precision to 320 1546681468.133 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.133 * * * * [misc]points: Sampling 108 additional inputs, on iter 6 have 7892 / 8000 1546681468.134 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision 1546681468.137 * * * * [misc]points: Setting MPFR precision to 64 1546681468.140 * * * * [misc]points: Setting MPFR precision to 320 1546681468.143 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision 1546681468.146 * * * * [misc]points: Setting MPFR precision to 64 1546681468.151 * * * * [misc]points: Setting MPFR precision to 320 1546681468.156 * * * * [misc]points: Computing exacts for 108 points 1546681468.159 * * * * [misc]points: Setting MPFR precision to 64 1546681468.178 * * * * [misc]points: Setting MPFR precision to 320 1546681468.189 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.190 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1546681468.190 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1546681468.191 * * * * [misc]points: Setting MPFR precision to 64 1546681468.193 * * * * [misc]points: Setting MPFR precision to 320 1546681468.194 * * * * [misc]points: Computing exacts for 58 points 1546681468.196 * * * * [misc]points: Setting MPFR precision to 64 1546681468.201 * * * * [misc]points: Setting MPFR precision to 320 1546681468.209 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.210 * * * * [misc]points: Sampling 32 additional inputs, on iter 8 have 7968 / 8000 1546681468.210 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1546681468.213 * * * * [misc]points: Setting MPFR precision to 64 1546681468.215 * * * * [misc]points: Setting MPFR precision to 320 1546681468.216 * * * * [misc]points: Computing exacts for 32 points 1546681468.219 * * * * [misc]points: Setting MPFR precision to 64 1546681468.225 * * * * [misc]points: Setting MPFR precision to 320 1546681468.231 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.231 * * * * [misc]points: Sampling 13 additional inputs, on iter 9 have 7987 / 8000 1546681468.231 * * * * [misc]points: Computing exacts for 13 points 1546681468.234 * * * * [misc]points: Setting MPFR precision to 64 1546681468.237 * * * * [misc]points: Setting MPFR precision to 320 1546681468.239 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.240 * * * * [misc]points: Sampling 7 additional inputs, on iter 10 have 7993 / 8000 1546681468.240 * * * * [misc]points: Computing exacts for 7 points 1546681468.242 * * * * [misc]points: Setting MPFR precision to 64 1546681468.244 * * * * [misc]points: Setting MPFR precision to 320 1546681468.245 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.245 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7997 / 8000 1546681468.245 * * * * [misc]points: Computing exacts for 4 points 1546681468.248 * * * * [misc]points: Setting MPFR precision to 64 1546681468.249 * * * * [misc]points: Setting MPFR precision to 320 1546681468.250 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.250 * * * * [misc]points: Sampling 4 additional inputs, on iter 12 have 7998 / 8000 1546681468.250 * * * * [misc]points: Computing exacts for 4 points 1546681468.253 * * * * [misc]points: Setting MPFR precision to 64 1546681468.253 * * * * [misc]points: Setting MPFR precision to 320 1546681468.254 * * * * [misc]points: Filtering points with unrepresentable outputs 1546681468.254 * * * * [exit]points: Sampled 8001 points with exact outputs 1546681468.518 * [misc]regime-testing: Baseline error score: 0.012771240625180291 1546681468.521 * [misc]regime-testing: Oracle error score: 0.012771240625180291 1546681468.521 * [misc]regime-testing: End program error score: 0.012771240625180291