1547597279.422 * [misc]progress: [Phase 1 of 3] Setting up. 1547597279.422 * * * [misc]progress: [1/2] Preparing points 1547597279.422 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1547597279.426 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1547597279.429 * * * * [misc]points: Setting MPFR precision to 64 1547597279.436 * * * * [misc]points: Setting MPFR precision to 320 1547597279.441 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1547597279.444 * * * * [misc]points: Setting MPFR precision to 64 1547597279.450 * * * * [misc]points: Setting MPFR precision to 320 1547597279.457 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1547597279.461 * * * * [misc]points: Setting MPFR precision to 64 1547597279.473 * * * * [misc]points: Setting MPFR precision to 320 1547597279.485 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1547597279.487 * * * * [misc]points: Setting MPFR precision to 64 1547597279.505 * * * * [misc]points: Setting MPFR precision to 320 1547597279.524 * * * * [misc]points: Computing exacts for 256 points 1547597279.527 * * * * [misc]points: Setting MPFR precision to 64 1547597279.581 * * * * [misc]points: Setting MPFR precision to 320 1547597279.640 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.640 * * * * [misc]points: Sampling 134 additional inputs, on iter 1 have 122 / 256 1547597279.642 * * * * [misc]points: Computing exacts on every 8 of 134 points to ramp up precision 1547597279.645 * * * * [misc]points: Setting MPFR precision to 64 1547597279.648 * * * * [misc]points: Setting MPFR precision to 320 1547597279.652 * * * * [misc]points: Computing exacts on every 4 of 134 points to ramp up precision 1547597279.655 * * * * [misc]points: Setting MPFR precision to 64 1547597279.661 * * * * [misc]points: Setting MPFR precision to 320 1547597279.667 * * * * [misc]points: Computing exacts on every 2 of 134 points to ramp up precision 1547597279.670 * * * * [misc]points: Setting MPFR precision to 64 1547597279.679 * * * * [misc]points: Setting MPFR precision to 320 1547597279.693 * * * * [misc]points: Computing exacts for 134 points 1547597279.696 * * * * [misc]points: Setting MPFR precision to 64 1547597279.773 * * * * [misc]points: Setting MPFR precision to 320 1547597279.810 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.810 * * * * [misc]points: Sampling 73 additional inputs, on iter 2 have 183 / 256 1547597279.811 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1547597279.814 * * * * [misc]points: Setting MPFR precision to 64 1547597279.818 * * * * [misc]points: Setting MPFR precision to 320 1547597279.821 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1547597279.824 * * * * [misc]points: Setting MPFR precision to 64 1547597279.829 * * * * [misc]points: Setting MPFR precision to 320 1547597279.836 * * * * [misc]points: Computing exacts for 73 points 1547597279.839 * * * * [misc]points: Setting MPFR precision to 64 1547597279.859 * * * * [misc]points: Setting MPFR precision to 320 1547597279.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.878 * * * * [misc]points: Sampling 26 additional inputs, on iter 3 have 230 / 256 1547597279.878 * * * * [misc]points: Computing exacts for 26 points 1547597279.881 * * * * [misc]points: Setting MPFR precision to 64 1547597279.886 * * * * [misc]points: Setting MPFR precision to 320 1547597279.892 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.892 * * * * [misc]points: Sampling 12 additional inputs, on iter 4 have 244 / 256 1547597279.892 * * * * [misc]points: Computing exacts for 12 points 1547597279.895 * * * * [misc]points: Setting MPFR precision to 64 1547597279.898 * * * * [misc]points: Setting MPFR precision to 320 1547597279.901 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.901 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 252 / 256 1547597279.901 * * * * [misc]points: Computing exacts for 4 points 1547597279.904 * * * * [misc]points: Setting MPFR precision to 64 1547597279.905 * * * * [misc]points: Setting MPFR precision to 320 1547597279.906 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597279.906 * * * * [exit]points: Sampled 256 points with exact outputs 1547597279.906 * * * [misc]progress: [2/2] Setting up program. 1547597279.913 * [misc]progress: [Phase 2 of 3] Improving. 1547597279.913 * * * * [misc]progress: [ 1 / 1 ] simplifiying candidate # 1547597279.913 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547597279.913 * * [misc]simplify: iters left: 6 (12 enodes) 1547597279.917 * * [misc]simplify: iters left: 5 (16 enodes) 1547597279.923 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547597279.923 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547597279.930 * * [misc]progress: iteration 1 / 4 1547597279.930 * * * [misc]progress: picking best candidate 1547597279.936 * * * * [misc]pick: Picked # 1547597279.937 * * * [misc]progress: localizing error 1547597280.106 * * * [misc]progress: generating rewritten candidates 1547597280.106 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1547597280.110 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 2) 1547597280.110 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 1) 1547597280.111 * * * [misc]progress: generating series expansions 1547597280.111 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1547597280.111 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 2) 1547597280.111 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 1) 1547597280.111 * * * [misc]progress: simplifying candidates 1547597280.111 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1547597280.111 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1547597280.111 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547597280.111 * * [misc]simplify: iters left: 6 (12 enodes) 1547597280.115 * * [misc]simplify: iters left: 5 (16 enodes) 1547597280.120 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547597280.120 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547597280.121 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1547597280.121 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547597280.121 * * [misc]simplify: iters left: 6 (12 enodes) 1547597280.125 * * [misc]simplify: iters left: 5 (16 enodes) 1547597280.130 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547597280.130 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547597280.130 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1547597280.130 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547597280.130 * * [misc]simplify: iters left: 6 (12 enodes) 1547597280.134 * * [misc]simplify: iters left: 5 (16 enodes) 1547597280.139 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547597280.139 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1547597280.139 * * * [misc]progress: adding candidates to table 1547597280.174 * [misc]progress: [Phase 3 of 3] Extracting. 1547597280.180 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1547597280.181 * * [misc]simplify: iters left: 6 (12 enodes) 1547597280.182 * * [misc]simplify: iters left: 5 (13 enodes) 1547597280.184 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1547597280.184 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1547597280.295 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1547597280.298 * * * * [misc]points: Setting MPFR precision to 64 1547597280.302 * * * * [misc]points: Setting MPFR precision to 320 1547597280.309 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1547597280.312 * * * * [misc]points: Setting MPFR precision to 64 1547597280.320 * * * * [misc]points: Setting MPFR precision to 320 1547597280.329 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1547597280.332 * * * * [misc]points: Setting MPFR precision to 64 1547597280.346 * * * * [misc]points: Setting MPFR precision to 320 1547597280.362 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1547597280.365 * * * * [misc]points: Setting MPFR precision to 64 1547597280.392 * * * * [misc]points: Setting MPFR precision to 320 1547597280.446 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1547597280.449 * * * * [misc]points: Setting MPFR precision to 64 1547597280.506 * * * * [misc]points: Setting MPFR precision to 320 1547597280.570 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1547597280.573 * * * * [misc]points: Setting MPFR precision to 64 1547597280.680 * * * * [misc]points: Setting MPFR precision to 320 1547597280.857 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1547597280.860 * * * * [misc]points: Setting MPFR precision to 64 1547597281.534 * * * * [misc]points: Setting MPFR precision to 320 1547597281.776 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1547597281.779 * * * * [misc]points: Setting MPFR precision to 64 1547597282.322 * * * * [misc]points: Setting MPFR precision to 320 1547597282.902 * * * * [misc]points: Computing exacts for 8000 points 1547597282.905 * * * * [misc]points: Setting MPFR precision to 64 1547597285.406 * * * * [misc]points: Setting MPFR precision to 320 1547597287.727 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597287.730 * * * * [misc]points: Sampling 4001 additional inputs, on iter 1 have 3999 / 8000 1547597287.832 * * * * [misc]points: Computing exacts on every 250 of 4001 points to ramp up precision 1547597287.836 * * * * [misc]points: Setting MPFR precision to 64 1547597287.840 * * * * [misc]points: Setting MPFR precision to 320 1547597287.844 * * * * [misc]points: Computing exacts on every 125 of 4001 points to ramp up precision 1547597287.846 * * * * [misc]points: Setting MPFR precision to 64 1547597287.854 * * * * [misc]points: Setting MPFR precision to 320 1547597287.861 * * * * [misc]points: Computing exacts on every 62 of 4001 points to ramp up precision 1547597287.864 * * * * [misc]points: Setting MPFR precision to 64 1547597287.878 * * * * [misc]points: Setting MPFR precision to 320 1547597287.893 * * * * [misc]points: Computing exacts on every 31 of 4001 points to ramp up precision 1547597287.897 * * * * [misc]points: Setting MPFR precision to 64 1547597287.923 * * * * [misc]points: Setting MPFR precision to 320 1547597287.955 * * * * [misc]points: Computing exacts on every 15 of 4001 points to ramp up precision 1547597287.958 * * * * [misc]points: Setting MPFR precision to 64 1547597288.013 * * * * [misc]points: Setting MPFR precision to 320 1547597288.116 * * * * [misc]points: Computing exacts on every 7 of 4001 points to ramp up precision 1547597288.119 * * * * [misc]points: Setting MPFR precision to 64 1547597288.235 * * * * [misc]points: Setting MPFR precision to 320 1547597288.358 * * * * [misc]points: Computing exacts on every 3 of 4001 points to ramp up precision 1547597288.361 * * * * [misc]points: Setting MPFR precision to 64 1547597288.639 * * * * [misc]points: Setting MPFR precision to 320 1547597289.374 * * * * [misc]points: Computing exacts for 4001 points 1547597289.378 * * * * [misc]points: Setting MPFR precision to 64 1547597290.514 * * * * [misc]points: Setting MPFR precision to 320 1547597291.712 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597291.713 * * * * [misc]points: Sampling 1967 additional inputs, on iter 2 have 6033 / 8000 1547597291.737 * * * * [misc]points: Computing exacts on every 122 of 1967 points to ramp up precision 1547597291.786 * * * * [misc]points: Setting MPFR precision to 64 1547597291.790 * * * * [misc]points: Setting MPFR precision to 320 1547597291.798 * * * * [misc]points: Computing exacts on every 61 of 1967 points to ramp up precision 1547597291.801 * * * * [misc]points: Setting MPFR precision to 64 1547597291.808 * * * * [misc]points: Setting MPFR precision to 320 1547597291.816 * * * * [misc]points: Computing exacts on every 30 of 1967 points to ramp up precision 1547597291.819 * * * * [misc]points: Setting MPFR precision to 64 1547597291.834 * * * * [misc]points: Setting MPFR precision to 320 1547597291.850 * * * * [misc]points: Setting MPFR precision to 576 1547597291.869 * * * * [misc]points: Computing exacts on every 15 of 1967 points to ramp up precision 1547597291.872 * * * * [misc]points: Setting MPFR precision to 320 1547597291.910 * * * * [misc]points: Setting MPFR precision to 576 1547597291.946 * * * * [misc]points: Computing exacts on every 7 of 1967 points to ramp up precision 1547597291.949 * * * * [misc]points: Setting MPFR precision to 320 1547597292.009 * * * * [misc]points: Setting MPFR precision to 576 1547597292.081 * * * * [misc]points: Computing exacts on every 3 of 1967 points to ramp up precision 1547597292.085 * * * * [misc]points: Setting MPFR precision to 320 1547597292.256 * * * * [misc]points: Setting MPFR precision to 576 1547597292.407 * * * * [misc]points: Computing exacts for 1967 points 1547597292.410 * * * * [misc]points: Setting MPFR precision to 320 1547597293.430 * * * * [misc]points: Setting MPFR precision to 576 1547597294.092 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597294.093 * * * * [misc]points: Sampling 962 additional inputs, on iter 3 have 7038 / 8000 1547597294.105 * * * * [misc]points: Computing exacts on every 60 of 962 points to ramp up precision 1547597294.108 * * * * [misc]points: Setting MPFR precision to 320 1547597294.112 * * * * [misc]points: Setting MPFR precision to 576 1547597294.116 * * * * [misc]points: Computing exacts on every 30 of 962 points to ramp up precision 1547597294.119 * * * * [misc]points: Setting MPFR precision to 320 1547597294.127 * * * * [misc]points: Setting MPFR precision to 576 1547597294.136 * * * * [misc]points: Computing exacts on every 15 of 962 points to ramp up precision 1547597294.139 * * * * [misc]points: Setting MPFR precision to 320 1547597294.154 * * * * [misc]points: Setting MPFR precision to 576 1547597294.171 * * * * [misc]points: Computing exacts on every 7 of 962 points to ramp up precision 1547597294.174 * * * * [misc]points: Setting MPFR precision to 320 1547597294.203 * * * * [misc]points: Setting MPFR precision to 576 1547597294.238 * * * * [misc]points: Computing exacts on every 3 of 962 points to ramp up precision 1547597294.241 * * * * [misc]points: Setting MPFR precision to 320 1547597294.297 * * * * [misc]points: Setting MPFR precision to 576 1547597294.412 * * * * [misc]points: Computing exacts for 962 points 1547597294.415 * * * * [misc]points: Setting MPFR precision to 320 1547597294.645 * * * * [misc]points: Setting MPFR precision to 576 1547597294.968 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597294.969 * * * * [misc]points: Sampling 488 additional inputs, on iter 4 have 7512 / 8000 1547597294.975 * * * * [misc]points: Computing exacts on every 30 of 488 points to ramp up precision 1547597294.979 * * * * [misc]points: Setting MPFR precision to 320 1547597294.983 * * * * [misc]points: Setting MPFR precision to 576 1547597294.987 * * * * [misc]points: Computing exacts on every 15 of 488 points to ramp up precision 1547597294.990 * * * * [misc]points: Setting MPFR precision to 320 1547597294.998 * * * * [misc]points: Setting MPFR precision to 576 1547597295.054 * * * * [misc]points: Computing exacts on every 7 of 488 points to ramp up precision 1547597295.057 * * * * [misc]points: Setting MPFR precision to 320 1547597295.078 * * * * [misc]points: Setting MPFR precision to 576 1547597295.095 * * * * [misc]points: Computing exacts on every 3 of 488 points to ramp up precision 1547597295.098 * * * * [misc]points: Setting MPFR precision to 320 1547597295.126 * * * * [misc]points: Setting MPFR precision to 576 1547597295.159 * * * * [misc]points: Computing exacts for 488 points 1547597295.162 * * * * [misc]points: Setting MPFR precision to 320 1547597295.276 * * * * [misc]points: Setting MPFR precision to 576 1547597295.468 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.468 * * * * [misc]points: Sampling 223 additional inputs, on iter 5 have 7777 / 8000 1547597295.471 * * * * [misc]points: Computing exacts on every 13 of 223 points to ramp up precision 1547597295.474 * * * * [misc]points: Setting MPFR precision to 320 1547597295.479 * * * * [misc]points: Setting MPFR precision to 576 1547597295.483 * * * * [misc]points: Computing exacts on every 6 of 223 points to ramp up precision 1547597295.487 * * * * [misc]points: Setting MPFR precision to 320 1547597295.495 * * * * [misc]points: Setting MPFR precision to 576 1547597295.504 * * * * [misc]points: Computing exacts on every 3 of 223 points to ramp up precision 1547597295.507 * * * * [misc]points: Setting MPFR precision to 320 1547597295.521 * * * * [misc]points: Setting MPFR precision to 576 1547597295.537 * * * * [misc]points: Computing exacts for 223 points 1547597295.540 * * * * [misc]points: Setting MPFR precision to 320 1547597295.594 * * * * [misc]points: Setting MPFR precision to 576 1547597295.656 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.657 * * * * [misc]points: Sampling 113 additional inputs, on iter 6 have 7887 / 8000 1547597295.658 * * * * [misc]points: Computing exacts on every 7 of 113 points to ramp up precision 1547597295.661 * * * * [misc]points: Setting MPFR precision to 320 1547597295.665 * * * * [misc]points: Setting MPFR precision to 576 1547597295.669 * * * * [misc]points: Computing exacts on every 3 of 113 points to ramp up precision 1547597295.714 * * * * [misc]points: Setting MPFR precision to 320 1547597295.721 * * * * [misc]points: Setting MPFR precision to 576 1547597295.733 * * * * [misc]points: Computing exacts for 113 points 1547597295.736 * * * * [misc]points: Setting MPFR precision to 320 1547597295.763 * * * * [misc]points: Setting MPFR precision to 576 1547597295.794 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.794 * * * * [misc]points: Sampling 56 additional inputs, on iter 7 have 7944 / 8000 1547597295.795 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1547597295.798 * * * * [misc]points: Setting MPFR precision to 320 1547597295.801 * * * * [misc]points: Setting MPFR precision to 576 1547597295.804 * * * * [misc]points: Computing exacts for 56 points 1547597295.807 * * * * [misc]points: Setting MPFR precision to 320 1547597295.821 * * * * [misc]points: Setting MPFR precision to 576 1547597295.836 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.836 * * * * [misc]points: Sampling 27 additional inputs, on iter 8 have 7973 / 8000 1547597295.836 * * * * [misc]points: Computing exacts for 27 points 1547597295.840 * * * * [misc]points: Setting MPFR precision to 320 1547597295.847 * * * * [misc]points: Setting MPFR precision to 576 1547597295.855 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.855 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1547597295.856 * * * * [misc]points: Computing exacts for 11 points 1547597295.859 * * * * [misc]points: Setting MPFR precision to 320 1547597295.861 * * * * [misc]points: Setting MPFR precision to 576 1547597295.865 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.865 * * * * [misc]points: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 1547597295.865 * * * * [misc]points: Computing exacts for 6 points 1547597295.868 * * * * [misc]points: Setting MPFR precision to 320 1547597295.870 * * * * [misc]points: Setting MPFR precision to 576 1547597295.871 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.871 * * * * [misc]points: Sampling 4 additional inputs, on iter 11 have 7999 / 8000 1547597295.872 * * * * [misc]points: Computing exacts for 4 points 1547597295.874 * * * * [misc]points: Setting MPFR precision to 320 1547597295.876 * * * * [misc]points: Setting MPFR precision to 576 1547597295.877 * * * * [misc]points: Filtering points with unrepresentable outputs 1547597295.877 * * * * [exit]points: Sampled 8001 points with exact outputs 1547597296.327 * [misc]regime-testing: Baseline error score: 0.015344360937770434 1547597296.329 * [misc]regime-testing: Oracle error score: 0.015344360937770434 1547597296.330 * [misc]regime-testing: End program error score: 0.015344360937770434