1545381300.606 * [misc]progress: [Phase 1 of 3] Setting up. 1545381300.630 * * * [misc]progress: [1/2] Preparing points 1545381300.631 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1545381300.633 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1545381300.675 * * * * [misc]points: Setting MPFR precision to 64 1545381300.678 * * * * [misc]points: Setting MPFR precision to 320 1545381300.681 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1545381300.682 * * * * [misc]points: Setting MPFR precision to 64 1545381300.685 * * * * [misc]points: Setting MPFR precision to 320 1545381300.688 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1545381300.691 * * * * [misc]points: Setting MPFR precision to 64 1545381300.701 * * * * [misc]points: Setting MPFR precision to 320 1545381300.713 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1545381300.715 * * * * [misc]points: Setting MPFR precision to 64 1545381300.723 * * * * [misc]points: Setting MPFR precision to 320 1545381300.733 * * * * [misc]points: Computing exacts for 256 points 1545381300.735 * * * * [misc]points: Setting MPFR precision to 64 1545381300.761 * * * * [misc]points: Setting MPFR precision to 320 1545381300.864 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381300.864 * * * * [misc]points: Sampling 119 additional inputs, on iter 1 have 137 / 256 1545381300.866 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1545381300.868 * * * * [misc]points: Setting MPFR precision to 64 1545381300.871 * * * * [misc]points: Setting MPFR precision to 320 1545381300.873 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1545381300.874 * * * * [misc]points: Setting MPFR precision to 64 1545381300.877 * * * * [misc]points: Setting MPFR precision to 320 1545381300.881 * * * * [misc]points: Computing exacts for 119 points 1545381300.883 * * * * [misc]points: Setting MPFR precision to 64 1545381300.894 * * * * [misc]points: Setting MPFR precision to 320 1545381300.915 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381300.915 * * * * [misc]points: Sampling 68 additional inputs, on iter 2 have 188 / 256 1545381300.915 * * * * [misc]points: Computing exacts on every 4 of 68 points to ramp up precision 1545381300.918 * * * * [misc]points: Setting MPFR precision to 64 1545381300.920 * * * * [misc]points: Setting MPFR precision to 320 1545381300.923 * * * * [misc]points: Computing exacts on every 2 of 68 points to ramp up precision 1545381300.926 * * * * [misc]points: Setting MPFR precision to 64 1545381300.929 * * * * [misc]points: Setting MPFR precision to 320 1545381300.931 * * * * [misc]points: Computing exacts for 68 points 1545381300.933 * * * * [misc]points: Setting MPFR precision to 64 1545381300.940 * * * * [misc]points: Setting MPFR precision to 320 1545381300.987 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381300.987 * * * * [misc]points: Sampling 32 additional inputs, on iter 3 have 224 / 256 1545381300.989 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1545381300.991 * * * * [misc]points: Setting MPFR precision to 64 1545381300.993 * * * * [misc]points: Setting MPFR precision to 320 1545381300.994 * * * * [misc]points: Computing exacts for 32 points 1545381300.996 * * * * [misc]points: Setting MPFR precision to 64 1545381301.000 * * * * [misc]points: Setting MPFR precision to 320 1545381301.004 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381301.004 * * * * [misc]points: Sampling 12 additional inputs, on iter 4 have 244 / 256 1545381301.004 * * * * [misc]points: Computing exacts for 12 points 1545381301.006 * * * * [misc]points: Setting MPFR precision to 64 1545381301.007 * * * * [misc]points: Setting MPFR precision to 320 1545381301.009 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381301.009 * * * * [misc]points: Sampling 6 additional inputs, on iter 5 have 250 / 256 1545381301.009 * * * * [misc]points: Computing exacts for 6 points 1545381301.043 * * * * [misc]points: Setting MPFR precision to 64 1545381301.045 * * * * [misc]points: Setting MPFR precision to 320 1545381301.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381301.047 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 253 / 256 1545381301.047 * * * * [misc]points: Computing exacts for 4 points 1545381301.050 * * * * [misc]points: Setting MPFR precision to 64 1545381301.052 * * * * [misc]points: Setting MPFR precision to 320 1545381301.053 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381301.053 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 255 / 256 1545381301.053 * * * * [misc]points: Computing exacts for 4 points 1545381301.056 * * * * [misc]points: Setting MPFR precision to 64 1545381301.057 * * * * [misc]points: Setting MPFR precision to 320 1545381301.058 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381301.058 * * * * [exit]points: Sampled 256 points with exact outputs 1545381301.058 * * * [misc]progress: [2/2] Setting up program. 1545381301.607 * [misc]progress: [Phase 2 of 3] Improving. 1545381301.608 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381301.609 * * [misc]simplify: iters left: 6 (12 enodes) 1545381301.624 * * [misc]simplify: iters left: 5 (16 enodes) 1545381301.631 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381301.650 * * [misc]progress: iteration 1 / 4 1545381301.651 * * * [misc]progress: picking best candidate 1545381301.658 * * * * [misc]pick: Picked # 1545381301.658 * * * [misc]progress: localizing error 1545381301.762 * * * [misc]progress: generating rewritten candidates 1545381301.762 * * * * [misc]progress: [ 1 / 3 ] rewriting at (2 1 1) 1545381301.769 * * * * [misc]progress: [ 2 / 3 ] rewriting at (2 1 1 1) 1545381301.769 * * * * [misc]progress: [ 3 / 3 ] rewriting at (2 1 1 2) 1545381301.772 * * * [misc]progress: generating series expansions 1545381301.773 * * * * [misc]progress: [ 1 / 3 ] generating series at (2 1 1) 1545381301.773 * * * * [misc]progress: [ 2 / 3 ] generating series at (2 1 1 1) 1545381301.773 * * * * [misc]progress: [ 3 / 3 ] generating series at (2 1 1 2) 1545381301.773 * * * [misc]progress: simplifying candidates 1545381301.773 * * * * [misc]progress: [ 1 / 4 ] simplifiying candidate # 1545381301.774 * * * * [misc]progress: [ 2 / 4 ] simplifiying candidate # 1545381301.774 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381301.774 * * [misc]simplify: iters left: 6 (12 enodes) 1545381301.779 * * [misc]simplify: iters left: 5 (16 enodes) 1545381301.785 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381301.785 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381301.785 * * * * [misc]progress: [ 3 / 4 ] simplifiying candidate # 1545381301.786 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381301.786 * * [misc]simplify: iters left: 6 (12 enodes) 1545381301.790 * * [misc]simplify: iters left: 5 (16 enodes) 1545381301.796 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381301.796 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381301.796 * * * * [misc]progress: [ 4 / 4 ] simplifiying candidate # 1545381301.796 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381301.797 * * [misc]simplify: iters left: 6 (12 enodes) 1545381301.801 * * [misc]simplify: iters left: 5 (16 enodes) 1545381301.805 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381301.806 * [misc]simplify: Simplified (2) to (λ (xre xim) (re (/.c (+.c (exp.c (complex (- xre) (- xim))) (exp.c (complex xre xim))) (complex 2 0)))) 1545381301.806 * * * [misc]progress: adding candidates to table 1545381301.825 * [misc]progress: [Phase 3 of 3] Extracting. 1545381301.829 * [enter]simplify: Simplifying (re (/.c (+.c (exp.c (complex xre xim)) (exp.c (neg.c (complex xre xim)))) (complex 2 0))) 1545381301.829 * * [misc]simplify: iters left: 6 (12 enodes) 1545381301.831 * * [misc]simplify: iters left: 5 (13 enodes) 1545381301.832 * [exit]simplify: Simplified to (re (/.c (+.c (exp.c (neg.c (complex xre xim))) (exp.c (complex xre xim))) (complex 2 0))) 1545381301.832 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1545381301.886 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1545381301.889 * * * * [misc]points: Setting MPFR precision to 64 1545381301.892 * * * * [misc]points: Setting MPFR precision to 320 1545381301.894 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1545381301.897 * * * * [misc]points: Setting MPFR precision to 64 1545381301.902 * * * * [misc]points: Setting MPFR precision to 320 1545381301.908 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1545381301.910 * * * * [misc]points: Setting MPFR precision to 64 1545381301.922 * * * * [misc]points: Setting MPFR precision to 320 1545381301.934 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1545381301.936 * * * * [misc]points: Setting MPFR precision to 64 1545381301.960 * * * * [misc]points: Setting MPFR precision to 320 1545381301.984 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1545381301.986 * * * * [misc]points: Setting MPFR precision to 64 1545381302.061 * * * * [misc]points: Setting MPFR precision to 320 1545381302.109 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1545381302.112 * * * * [misc]points: Setting MPFR precision to 64 1545381302.172 * * * * [misc]points: Setting MPFR precision to 320 1545381302.307 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1545381302.310 * * * * [misc]points: Setting MPFR precision to 64 1545381302.450 * * * * [misc]points: Setting MPFR precision to 320 1545381302.710 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1545381302.712 * * * * [misc]points: Setting MPFR precision to 64 1545381303.040 * * * * [misc]points: Setting MPFR precision to 320 1545381303.488 * * * * [misc]points: Computing exacts for 8000 points 1545381303.491 * * * * [misc]points: Setting MPFR precision to 64 1545381305.474 * * * * [misc]points: Setting MPFR precision to 320 1545381307.549 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381307.553 * * * * [misc]points: Sampling 3965 additional inputs, on iter 1 have 4035 / 8000 1545381307.625 * * * * [misc]points: Computing exacts on every 247 of 3965 points to ramp up precision 1545381307.627 * * * * [misc]points: Setting MPFR precision to 64 1545381307.630 * * * * [misc]points: Setting MPFR precision to 320 1545381307.633 * * * * [misc]points: Computing exacts on every 123 of 3965 points to ramp up precision 1545381307.638 * * * * [misc]points: Setting MPFR precision to 64 1545381307.644 * * * * [misc]points: Setting MPFR precision to 320 1545381307.650 * * * * [misc]points: Computing exacts on every 61 of 3965 points to ramp up precision 1545381307.653 * * * * [misc]points: Setting MPFR precision to 64 1545381307.665 * * * * [misc]points: Setting MPFR precision to 320 1545381307.678 * * * * [misc]points: Computing exacts on every 30 of 3965 points to ramp up precision 1545381307.681 * * * * [misc]points: Setting MPFR precision to 64 1545381307.703 * * * * [misc]points: Setting MPFR precision to 320 1545381307.731 * * * * [misc]points: Computing exacts on every 15 of 3965 points to ramp up precision 1545381307.734 * * * * [misc]points: Setting MPFR precision to 64 1545381307.779 * * * * [misc]points: Setting MPFR precision to 320 1545381307.829 * * * * [misc]points: Computing exacts on every 7 of 3965 points to ramp up precision 1545381307.832 * * * * [misc]points: Setting MPFR precision to 64 1545381307.957 * * * * [misc]points: Setting MPFR precision to 320 1545381308.026 * * * * [misc]points: Computing exacts on every 3 of 3965 points to ramp up precision 1545381308.028 * * * * [misc]points: Setting MPFR precision to 64 1545381308.240 * * * * [misc]points: Setting MPFR precision to 320 1545381308.399 * * * * [misc]points: Computing exacts for 3965 points 1545381308.400 * * * * [misc]points: Setting MPFR precision to 64 1545381309.045 * * * * [misc]points: Setting MPFR precision to 320 1545381310.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381310.120 * * * * [misc]points: Sampling 1981 additional inputs, on iter 2 have 6019 / 8000 1545381310.138 * * * * [misc]points: Computing exacts on every 123 of 1981 points to ramp up precision 1545381310.140 * * * * [misc]points: Setting MPFR precision to 64 1545381310.143 * * * * [misc]points: Setting MPFR precision to 320 1545381310.146 * * * * [misc]points: Computing exacts on every 61 of 1981 points to ramp up precision 1545381310.149 * * * * [misc]points: Setting MPFR precision to 64 1545381310.155 * * * * [misc]points: Setting MPFR precision to 320 1545381310.161 * * * * [misc]points: Computing exacts on every 30 of 1981 points to ramp up precision 1545381310.164 * * * * [misc]points: Setting MPFR precision to 64 1545381310.175 * * * * [misc]points: Setting MPFR precision to 320 1545381310.189 * * * * [misc]points: Computing exacts on every 15 of 1981 points to ramp up precision 1545381310.192 * * * * [misc]points: Setting MPFR precision to 64 1545381310.215 * * * * [misc]points: Setting MPFR precision to 320 1545381310.286 * * * * [misc]points: Computing exacts on every 7 of 1981 points to ramp up precision 1545381310.289 * * * * [misc]points: Setting MPFR precision to 64 1545381310.336 * * * * [misc]points: Setting MPFR precision to 320 1545381310.390 * * * * [misc]points: Computing exacts on every 3 of 1981 points to ramp up precision 1545381310.392 * * * * [misc]points: Setting MPFR precision to 64 1545381310.483 * * * * [misc]points: Setting MPFR precision to 320 1545381310.652 * * * * [misc]points: Computing exacts for 1981 points 1545381310.653 * * * * [misc]points: Setting MPFR precision to 64 1545381311.016 * * * * [misc]points: Setting MPFR precision to 320 1545381311.481 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381311.482 * * * * [misc]points: Sampling 957 additional inputs, on iter 3 have 7043 / 8000 1545381311.487 * * * * [misc]points: Computing exacts on every 59 of 957 points to ramp up precision 1545381311.488 * * * * [misc]points: Setting MPFR precision to 64 1545381311.490 * * * * [misc]points: Setting MPFR precision to 320 1545381311.492 * * * * [misc]points: Computing exacts on every 29 of 957 points to ramp up precision 1545381311.493 * * * * [misc]points: Setting MPFR precision to 64 1545381311.496 * * * * [misc]points: Setting MPFR precision to 320 1545381311.500 * * * * [misc]points: Computing exacts on every 14 of 957 points to ramp up precision 1545381311.501 * * * * [misc]points: Setting MPFR precision to 64 1545381311.551 * * * * [misc]points: Setting MPFR precision to 320 1545381311.571 * * * * [misc]points: Computing exacts on every 7 of 957 points to ramp up precision 1545381311.573 * * * * [misc]points: Setting MPFR precision to 64 1545381311.584 * * * * [misc]points: Setting MPFR precision to 320 1545381311.596 * * * * [misc]points: Computing exacts on every 3 of 957 points to ramp up precision 1545381311.597 * * * * [misc]points: Setting MPFR precision to 64 1545381311.619 * * * * [misc]points: Setting MPFR precision to 320 1545381311.644 * * * * [misc]points: Computing exacts for 957 points 1545381311.645 * * * * [misc]points: Setting MPFR precision to 64 1545381312.164 * * * * [misc]points: Setting MPFR precision to 320 1545381312.378 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.379 * * * * [misc]points: Sampling 495 additional inputs, on iter 4 have 7505 / 8000 1545381312.381 * * * * [misc]points: Computing exacts on every 30 of 495 points to ramp up precision 1545381312.383 * * * * [misc]points: Setting MPFR precision to 64 1545381312.385 * * * * [misc]points: Setting MPFR precision to 320 1545381312.387 * * * * [misc]points: Computing exacts on every 15 of 495 points to ramp up precision 1545381312.388 * * * * [misc]points: Setting MPFR precision to 64 1545381312.391 * * * * [misc]points: Setting MPFR precision to 320 1545381312.395 * * * * [misc]points: Computing exacts on every 7 of 495 points to ramp up precision 1545381312.396 * * * * [misc]points: Setting MPFR precision to 64 1545381312.402 * * * * [misc]points: Setting MPFR precision to 320 1545381312.409 * * * * [misc]points: Computing exacts on every 3 of 495 points to ramp up precision 1545381312.411 * * * * [misc]points: Setting MPFR precision to 64 1545381312.423 * * * * [misc]points: Setting MPFR precision to 320 1545381312.446 * * * * [misc]points: Computing exacts for 495 points 1545381312.448 * * * * [misc]points: Setting MPFR precision to 64 1545381312.594 * * * * [misc]points: Setting MPFR precision to 320 1545381312.697 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.697 * * * * [misc]points: Sampling 242 additional inputs, on iter 5 have 7758 / 8000 1545381312.699 * * * * [misc]points: Computing exacts on every 15 of 242 points to ramp up precision 1545381312.702 * * * * [misc]points: Setting MPFR precision to 64 1545381312.704 * * * * [misc]points: Setting MPFR precision to 320 1545381312.706 * * * * [misc]points: Computing exacts on every 7 of 242 points to ramp up precision 1545381312.707 * * * * [misc]points: Setting MPFR precision to 64 1545381312.710 * * * * [misc]points: Setting MPFR precision to 320 1545381312.713 * * * * [misc]points: Computing exacts on every 3 of 242 points to ramp up precision 1545381312.715 * * * * [misc]points: Setting MPFR precision to 64 1545381312.721 * * * * [misc]points: Setting MPFR precision to 320 1545381312.727 * * * * [misc]points: Computing exacts for 242 points 1545381312.728 * * * * [misc]points: Setting MPFR precision to 64 1545381312.813 * * * * [misc]points: Setting MPFR precision to 320 1545381312.840 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.840 * * * * [misc]points: Sampling 108 additional inputs, on iter 6 have 7892 / 8000 1545381312.841 * * * * [misc]points: Computing exacts on every 6 of 108 points to ramp up precision 1545381312.843 * * * * [misc]points: Setting MPFR precision to 64 1545381312.844 * * * * [misc]points: Setting MPFR precision to 320 1545381312.846 * * * * [misc]points: Computing exacts on every 3 of 108 points to ramp up precision 1545381312.847 * * * * [misc]points: Setting MPFR precision to 64 1545381312.850 * * * * [misc]points: Setting MPFR precision to 320 1545381312.853 * * * * [misc]points: Computing exacts for 108 points 1545381312.855 * * * * [misc]points: Setting MPFR precision to 64 1545381312.865 * * * * [misc]points: Setting MPFR precision to 320 1545381312.878 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.878 * * * * [misc]points: Sampling 58 additional inputs, on iter 7 have 7942 / 8000 1545381312.878 * * * * [misc]points: Computing exacts on every 3 of 58 points to ramp up precision 1545381312.880 * * * * [misc]points: Setting MPFR precision to 64 1545381312.882 * * * * [misc]points: Setting MPFR precision to 320 1545381312.884 * * * * [misc]points: Computing exacts for 58 points 1545381312.885 * * * * [misc]points: Setting MPFR precision to 64 1545381312.891 * * * * [misc]points: Setting MPFR precision to 320 1545381312.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.897 * * * * [misc]points: Sampling 24 additional inputs, on iter 8 have 7976 / 8000 1545381312.898 * * * * [misc]points: Computing exacts for 24 points 1545381312.899 * * * * [misc]points: Setting MPFR precision to 64 1545381312.901 * * * * [misc]points: Setting MPFR precision to 320 1545381312.904 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.904 * * * * [misc]points: Sampling 11 additional inputs, on iter 9 have 7989 / 8000 1545381312.904 * * * * [misc]points: Computing exacts for 11 points 1545381312.905 * * * * [misc]points: Setting MPFR precision to 64 1545381312.907 * * * * [misc]points: Setting MPFR precision to 320 1545381312.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.908 * * * * [misc]points: Sampling 6 additional inputs, on iter 10 have 7994 / 8000 1545381312.908 * * * * [misc]points: Computing exacts for 6 points 1545381312.909 * * * * [misc]points: Setting MPFR precision to 64 1545381312.955 * * * * [misc]points: Setting MPFR precision to 320 1545381312.955 * * * * [misc]points: Filtering points with unrepresentable outputs 1545381312.956 * * * * [exit]points: Sampled 8000 points with exact outputs 1545381313.202 * [misc]regime-testing: Baseline error score: 0.011698120312590146 1545381313.202 * [misc]regime-testing: End program error score: 0.011698120312590146 1545381313.203 * [misc]regime-testing: Oracle error score: 0.011698120312590146