1539418460.979 * [misc]progress: [Phase 1 of 3] Setting up. 1539418460.979 * * * [misc]progress: [1/2] Preparing points 1539418460.979 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539418460.980 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539418460.981 * * * * [misc]points: Setting MPFR precision to 64 1539418460.981 * * * * [misc]points: Setting MPFR precision to 320 1539418460.981 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539418460.982 * * * * [misc]points: Setting MPFR precision to 64 1539418460.982 * * * * [misc]points: Setting MPFR precision to 320 1539418460.982 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539418460.983 * * * * [misc]points: Setting MPFR precision to 64 1539418460.983 * * * * [misc]points: Setting MPFR precision to 320 1539418460.984 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539418460.984 * * * * [misc]points: Setting MPFR precision to 64 1539418460.985 * * * * [misc]points: Setting MPFR precision to 320 1539418460.986 * * * * [misc]points: Computing exacts for 256 points 1539418460.987 * * * * [misc]points: Setting MPFR precision to 64 1539418460.989 * * * * [misc]points: Setting MPFR precision to 320 1539418460.992 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418460.993 * * * * [misc]points: Sampling 90 additional inputs, on iter 1 have 166 / 256 1539418460.993 * * * * [misc]points: Computing exacts on every 5 of 90 points to ramp up precision 1539418460.993 * * * * [misc]points: Setting MPFR precision to 64 1539418460.994 * * * * [misc]points: Setting MPFR precision to 320 1539418460.994 * * * * [misc]points: Computing exacts on every 2 of 90 points to ramp up precision 1539418460.994 * * * * [misc]points: Setting MPFR precision to 64 1539418460.995 * * * * [misc]points: Setting MPFR precision to 320 1539418460.995 * * * * [misc]points: Computing exacts for 90 points 1539418460.996 * * * * [misc]points: Setting MPFR precision to 64 1539418460.996 * * * * [misc]points: Setting MPFR precision to 320 1539418460.997 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418460.998 * * * * [misc]points: Sampling 31 additional inputs, on iter 2 have 225 / 256 1539418460.998 * * * * [misc]points: Computing exacts for 31 points 1539418460.998 * * * * [misc]points: Setting MPFR precision to 64 1539418460.999 * * * * [misc]points: Setting MPFR precision to 320 1539418460.999 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418460.999 * * * * [misc]points: Sampling 13 additional inputs, on iter 3 have 243 / 256 1539418460.999 * * * * [misc]points: Computing exacts for 13 points 1539418461.000 * * * * [misc]points: Setting MPFR precision to 64 1539418461.000 * * * * [misc]points: Setting MPFR precision to 320 1539418461.000 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.000 * * * * [misc]points: Sampling 6 additional inputs, on iter 4 have 250 / 256 1539418461.000 * * * * [misc]points: Computing exacts for 6 points 1539418461.000 * * * * [misc]points: Setting MPFR precision to 64 1539418461.001 * * * * [misc]points: Setting MPFR precision to 320 1539418461.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.001 * * * * [misc]points: Sampling 4 additional inputs, on iter 5 have 253 / 256 1539418461.001 * * * * [misc]points: Computing exacts for 4 points 1539418461.001 * * * * [misc]points: Setting MPFR precision to 64 1539418461.001 * * * * [misc]points: Setting MPFR precision to 320 1539418461.001 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.001 * * * * [misc]points: Sampling 4 additional inputs, on iter 6 have 255 / 256 1539418461.001 * * * * [misc]points: Computing exacts for 4 points 1539418461.002 * * * * [misc]points: Setting MPFR precision to 64 1539418461.002 * * * * [misc]points: Setting MPFR precision to 320 1539418461.002 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.002 * * * * [exit]points: Sampled 257 points with exact outputs 1539418461.002 * * * [misc]progress: [2/2] Setting up program. 1539418461.004 * [misc]progress: [Phase 2 of 3] Improving. 1539418461.004 * [enter]simplify: Simplifying (* (* x x) x) 1539418461.004 * * [misc]simplify: iters left: 4 (3 enodes) 1539418461.004 * * [misc]simplify: iters left: 3 (4 enodes) 1539418461.005 * * [misc]simplify: iters left: 2 (6 enodes) 1539418461.006 * [exit]simplify: Simplified to (pow x 3) 1539418461.013 * * [misc]progress: iteration 1 / 4 1539418461.013 * * * [misc]progress: picking best candidate 1539418461.016 * * * * [misc]pick: Picked # 1539418461.016 * * * [misc]progress: localizing error 1539418461.024 * * * [misc]progress: generating rewritten candidates 1539418461.024 * * * [misc]progress: generating series expansions 1539418461.024 * * * [misc]progress: simplifying candidates 1539418461.024 * * * [misc]progress: adding candidates to table 1539418461.024 * [misc]progress: [Phase 3 of 3] Extracting. 1539418461.027 * [enter]simplify: Simplifying (pow x 3) 1539418461.027 * * [misc]simplify: iters left: 1 (3 enodes) 1539418461.028 * [exit]simplify: Simplified to (pow x 3) 1539418461.028 * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 1539418461.059 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision 1539418461.060 * * * * [misc]points: Setting MPFR precision to 64 1539418461.061 * * * * [misc]points: Setting MPFR precision to 320 1539418461.061 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision 1539418461.061 * * * * [misc]points: Setting MPFR precision to 64 1539418461.062 * * * * [misc]points: Setting MPFR precision to 320 1539418461.062 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision 1539418461.063 * * * * [misc]points: Setting MPFR precision to 64 1539418461.063 * * * * [misc]points: Setting MPFR precision to 320 1539418461.064 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision 1539418461.065 * * * * [misc]points: Setting MPFR precision to 64 1539418461.066 * * * * [misc]points: Setting MPFR precision to 320 1539418461.067 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision 1539418461.068 * * * * [misc]points: Setting MPFR precision to 64 1539418461.073 * * * * [misc]points: Setting MPFR precision to 320 1539418461.077 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision 1539418461.078 * * * * [misc]points: Setting MPFR precision to 64 1539418461.083 * * * * [misc]points: Setting MPFR precision to 320 1539418461.089 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision 1539418461.089 * * * * [misc]points: Setting MPFR precision to 64 1539418461.100 * * * * [misc]points: Setting MPFR precision to 320 1539418461.119 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision 1539418461.120 * * * * [misc]points: Setting MPFR precision to 64 1539418461.153 * * * * [misc]points: Setting MPFR precision to 320 1539418461.201 * * * * [misc]points: Computing exacts for 8000 points 1539418461.201 * * * * [misc]points: Setting MPFR precision to 64 1539418461.361 * * * * [misc]points: Setting MPFR precision to 320 1539418461.506 * * * * [misc]points: Setting MPFR precision to 576 1539418461.660 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.663 * * * * [misc]points: Sampling 2731 additional inputs, on iter 1 have 5269 / 8000 1539418461.676 * * * * [misc]points: Computing exacts on every 170 of 2731 points to ramp up precision 1539418461.677 * * * * [misc]points: Setting MPFR precision to 320 1539418461.710 * * * * [misc]points: Setting MPFR precision to 576 1539418461.710 * * * * [misc]points: Computing exacts on every 85 of 2731 points to ramp up precision 1539418461.711 * * * * [misc]points: Setting MPFR precision to 320 1539418461.712 * * * * [misc]points: Setting MPFR precision to 576 1539418461.713 * * * * [misc]points: Computing exacts on every 42 of 2731 points to ramp up precision 1539418461.714 * * * * [misc]points: Setting MPFR precision to 320 1539418461.715 * * * * [misc]points: Setting MPFR precision to 576 1539418461.717 * * * * [misc]points: Computing exacts on every 21 of 2731 points to ramp up precision 1539418461.718 * * * * [misc]points: Setting MPFR precision to 320 1539418461.721 * * * * [misc]points: Setting MPFR precision to 576 1539418461.726 * * * * [misc]points: Computing exacts on every 10 of 2731 points to ramp up precision 1539418461.727 * * * * [misc]points: Setting MPFR precision to 320 1539418461.733 * * * * [misc]points: Setting MPFR precision to 576 1539418461.738 * * * * [misc]points: Computing exacts on every 5 of 2731 points to ramp up precision 1539418461.739 * * * * [misc]points: Setting MPFR precision to 320 1539418461.748 * * * * [misc]points: Setting MPFR precision to 576 1539418461.753 * * * * [misc]points: Computing exacts on every 2 of 2731 points to ramp up precision 1539418461.754 * * * * [misc]points: Setting MPFR precision to 320 1539418461.765 * * * * [misc]points: Setting MPFR precision to 576 1539418461.775 * * * * [misc]points: Computing exacts for 2731 points 1539418461.776 * * * * [misc]points: Setting MPFR precision to 320 1539418461.832 * * * * [misc]points: Setting MPFR precision to 576 1539418461.931 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.932 * * * * [misc]points: Sampling 883 additional inputs, on iter 2 have 7117 / 8000 1539418461.934 * * * * [misc]points: Computing exacts on every 55 of 883 points to ramp up precision 1539418461.935 * * * * [misc]points: Setting MPFR precision to 320 1539418461.935 * * * * [misc]points: Setting MPFR precision to 576 1539418461.936 * * * * [misc]points: Computing exacts on every 27 of 883 points to ramp up precision 1539418461.936 * * * * [misc]points: Setting MPFR precision to 320 1539418461.937 * * * * [misc]points: Setting MPFR precision to 576 1539418461.937 * * * * [misc]points: Computing exacts on every 13 of 883 points to ramp up precision 1539418461.938 * * * * [misc]points: Setting MPFR precision to 320 1539418461.938 * * * * [misc]points: Setting MPFR precision to 576 1539418461.939 * * * * [misc]points: Computing exacts on every 6 of 883 points to ramp up precision 1539418461.940 * * * * [misc]points: Setting MPFR precision to 320 1539418461.941 * * * * [misc]points: Setting MPFR precision to 576 1539418461.943 * * * * [misc]points: Computing exacts on every 3 of 883 points to ramp up precision 1539418461.943 * * * * [misc]points: Setting MPFR precision to 320 1539418461.946 * * * * [misc]points: Setting MPFR precision to 576 1539418461.948 * * * * [misc]points: Computing exacts for 883 points 1539418461.949 * * * * [misc]points: Setting MPFR precision to 320 1539418461.959 * * * * [misc]points: Setting MPFR precision to 576 1539418461.969 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418461.969 * * * * [misc]points: Sampling 291 additional inputs, on iter 3 have 7709 / 8000 1539418461.970 * * * * [misc]points: Computing exacts on every 18 of 291 points to ramp up precision 1539418461.971 * * * * [misc]points: Setting MPFR precision to 320 1539418461.971 * * * * [misc]points: Setting MPFR precision to 576 1539418461.971 * * * * [misc]points: Computing exacts on every 9 of 291 points to ramp up precision 1539418461.972 * * * * [misc]points: Setting MPFR precision to 320 1539418461.972 * * * * [misc]points: Setting MPFR precision to 576 1539418461.972 * * * * [misc]points: Computing exacts on every 4 of 291 points to ramp up precision 1539418461.973 * * * * [misc]points: Setting MPFR precision to 320 1539418461.974 * * * * [misc]points: Setting MPFR precision to 576 1539418461.974 * * * * [misc]points: Computing exacts on every 2 of 291 points to ramp up precision 1539418461.975 * * * * [misc]points: Setting MPFR precision to 320 1539418461.976 * * * * [misc]points: Setting MPFR precision to 576 1539418461.977 * * * * [misc]points: Computing exacts for 291 points 1539418461.978 * * * * [misc]points: Setting MPFR precision to 320 1539418462.022 * * * * [misc]points: Setting MPFR precision to 576 1539418462.032 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.032 * * * * [misc]points: Sampling 104 additional inputs, on iter 4 have 7896 / 8000 1539418462.032 * * * * [misc]points: Computing exacts on every 6 of 104 points to ramp up precision 1539418462.033 * * * * [misc]points: Setting MPFR precision to 320 1539418462.034 * * * * [misc]points: Setting MPFR precision to 576 1539418462.034 * * * * [misc]points: Computing exacts on every 3 of 104 points to ramp up precision 1539418462.035 * * * * [misc]points: Setting MPFR precision to 320 1539418462.035 * * * * [misc]points: Setting MPFR precision to 576 1539418462.036 * * * * [misc]points: Computing exacts for 104 points 1539418462.037 * * * * [misc]points: Setting MPFR precision to 320 1539418462.039 * * * * [misc]points: Setting MPFR precision to 576 1539418462.041 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.041 * * * * [misc]points: Sampling 37 additional inputs, on iter 5 have 7963 / 8000 1539418462.042 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1539418462.043 * * * * [misc]points: Setting MPFR precision to 320 1539418462.043 * * * * [misc]points: Setting MPFR precision to 576 1539418462.043 * * * * [misc]points: Computing exacts for 37 points 1539418462.044 * * * * [misc]points: Setting MPFR precision to 320 1539418462.045 * * * * [misc]points: Setting MPFR precision to 576 1539418462.045 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.046 * * * * [misc]points: Sampling 14 additional inputs, on iter 6 have 7986 / 8000 1539418462.046 * * * * [misc]points: Computing exacts for 14 points 1539418462.046 * * * * [misc]points: Setting MPFR precision to 320 1539418462.047 * * * * [misc]points: Setting MPFR precision to 576 1539418462.047 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.047 * * * * [misc]points: Sampling 4 additional inputs, on iter 7 have 7997 / 8000 1539418462.047 * * * * [misc]points: Computing exacts for 4 points 1539418462.048 * * * * [misc]points: Setting MPFR precision to 320 1539418462.048 * * * * [misc]points: Setting MPFR precision to 576 1539418462.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.048 * * * * [misc]points: Sampling 4 additional inputs, on iter 8 have 7999 / 8000 1539418462.048 * * * * [misc]points: Computing exacts for 4 points 1539418462.049 * * * * [misc]points: Setting MPFR precision to 320 1539418462.049 * * * * [misc]points: Setting MPFR precision to 576 1539418462.049 * * * * [misc]points: Filtering points with unrepresentable outputs 1539418462.049 * * * * [exit]points: Sampled 8000 points with exact outputs 1539418462.259 * [misc]regime-testing: Baseline error score: 0 1539418462.259 * [misc]regime-testing: End program error score: 0 1539418462.260 * [misc]regime-testing: Oracle error score: 0 1539418462.296 * [misc]regime-testing: Target error score: 0