1540334811.416 * [misc]progress: [Phase 1 of 3] Setting up. 1540334811.416 * * * [misc]progress: [1/2] Preparing points 1540334811.416 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1540334811.417 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1540334811.435 * * * * [misc]points: Setting MPFR precision to 64 1540334811.437 * * * * [misc]points: Setting MPFR precision to 320 1540334811.439 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1540334811.471 * * * * [misc]points: Setting MPFR precision to 64 1540334811.473 * * * * [misc]points: Setting MPFR precision to 320 1540334811.474 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1540334811.498 * * * * [misc]points: Setting MPFR precision to 64 1540334811.500 * * * * [misc]points: Setting MPFR precision to 320 1540334811.504 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1540334811.520 * * * * [misc]points: Setting MPFR precision to 64 1540334811.529 * * * * [misc]points: Setting MPFR precision to 320 1540334811.538 * * * * [misc]points: Computing exacts for 256 points 1540334811.570 * * * * [misc]points: Setting MPFR precision to 64 1540334811.585 * * * * [misc]points: Setting MPFR precision to 320 1540334811.626 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334811.626 * * * * [misc]points: Sampling 241 additional inputs, on iter 1 have 15 / 256 1540334811.627 * * * * [misc]points: Computing exacts on every 15 of 241 points to ramp up precision 1540334811.642 * * * * [misc]points: Setting MPFR precision to 64 1540334811.643 * * * * [misc]points: Setting MPFR precision to 320 1540334811.644 * * * * [misc]points: Computing exacts on every 7 of 241 points to ramp up precision 1540334811.659 * * * * [misc]points: Setting MPFR precision to 64 1540334811.661 * * * * [misc]points: Setting MPFR precision to 320 1540334811.663 * * * * [misc]points: Computing exacts on every 3 of 241 points to ramp up precision 1540334811.693 * * * * [misc]points: Setting MPFR precision to 64 1540334811.697 * * * * [misc]points: Setting MPFR precision to 320 1540334811.704 * * * * [misc]points: Computing exacts for 241 points 1540334811.723 * * * * [misc]points: Setting MPFR precision to 64 1540334811.735 * * * * [misc]points: Setting MPFR precision to 320 1540334811.756 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334811.756 * * * * [misc]points: Sampling 219 additional inputs, on iter 2 have 37 / 256 1540334811.756 * * * * [misc]points: Computing exacts on every 13 of 219 points to ramp up precision 1540334811.801 * * * * [misc]points: Setting MPFR precision to 64 1540334811.802 * * * * [misc]points: Setting MPFR precision to 320 1540334811.804 * * * * [misc]points: Computing exacts on every 6 of 219 points to ramp up precision 1540334811.836 * * * * [misc]points: Setting MPFR precision to 64 1540334811.839 * * * * [misc]points: Setting MPFR precision to 320 1540334811.842 * * * * [misc]points: Computing exacts on every 3 of 219 points to ramp up precision 1540334811.858 * * * * [misc]points: Setting MPFR precision to 64 1540334811.861 * * * * [misc]points: Setting MPFR precision to 320 1540334811.865 * * * * [misc]points: Computing exacts for 219 points 1540334811.906 * * * * [misc]points: Setting MPFR precision to 64 1540334811.916 * * * * [misc]points: Setting MPFR precision to 320 1540334811.936 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334811.936 * * * * [misc]points: Sampling 198 additional inputs, on iter 3 have 58 / 256 1540334811.937 * * * * [misc]points: Computing exacts on every 12 of 198 points to ramp up precision 1540334811.970 * * * * [misc]points: Setting MPFR precision to 64 1540334811.972 * * * * [misc]points: Setting MPFR precision to 320 1540334811.973 * * * * [misc]points: Computing exacts on every 6 of 198 points to ramp up precision 1540334812.029 * * * * [misc]points: Setting MPFR precision to 64 1540334812.032 * * * * [misc]points: Setting MPFR precision to 320 1540334812.035 * * * * [misc]points: Computing exacts on every 3 of 198 points to ramp up precision 1540334812.068 * * * * [misc]points: Setting MPFR precision to 64 1540334812.073 * * * * [misc]points: Setting MPFR precision to 320 1540334812.078 * * * * [misc]points: Computing exacts for 198 points 1540334812.110 * * * * [misc]points: Setting MPFR precision to 64 1540334812.149 * * * * [misc]points: Setting MPFR precision to 320 1540334812.174 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334812.174 * * * * [misc]points: Sampling 184 additional inputs, on iter 4 have 72 / 256 1540334812.175 * * * * [misc]points: Computing exacts on every 11 of 184 points to ramp up precision 1540334812.207 * * * * [misc]points: Setting MPFR precision to 64 1540334812.209 * * * * [misc]points: Setting MPFR precision to 320 1540334812.210 * * * * [misc]points: Computing exacts on every 5 of 184 points to ramp up precision 1540334812.244 * * * * [misc]points: Setting MPFR precision to 64 1540334812.247 * * * * [misc]points: Setting MPFR precision to 320 1540334812.250 * * * * [misc]points: Computing exacts on every 2 of 184 points to ramp up precision 1540334812.305 * * * * [misc]points: Setting MPFR precision to 64 1540334812.311 * * * * [misc]points: Setting MPFR precision to 320 1540334812.317 * * * * [misc]points: Computing exacts for 184 points 1540334812.338 * * * * [misc]points: Setting MPFR precision to 64 1540334812.347 * * * * [misc]points: Setting MPFR precision to 320 1540334812.357 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334812.357 * * * * [misc]points: Sampling 170 additional inputs, on iter 5 have 86 / 256 1540334812.358 * * * * [misc]points: Computing exacts on every 10 of 170 points to ramp up precision 1540334812.399 * * * * [misc]points: Setting MPFR precision to 64 1540334812.401 * * * * [misc]points: Setting MPFR precision to 320 1540334812.402 * * * * [misc]points: Computing exacts on every 5 of 170 points to ramp up precision 1540334812.428 * * * * [misc]points: Setting MPFR precision to 64 1540334812.430 * * * * [misc]points: Setting MPFR precision to 320 1540334812.431 * * * * [misc]points: Computing exacts on every 2 of 170 points to ramp up precision 1540334812.446 * * * * [misc]points: Setting MPFR precision to 64 1540334812.449 * * * * [misc]points: Setting MPFR precision to 320 1540334812.453 * * * * [misc]points: Computing exacts for 170 points 1540334812.505 * * * * [misc]points: Setting MPFR precision to 64 1540334812.522 * * * * [misc]points: Setting MPFR precision to 320 1540334812.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334812.540 * * * * [misc]points: Sampling 152 additional inputs, on iter 6 have 104 / 256 1540334812.541 * * * * [misc]points: Computing exacts on every 9 of 152 points to ramp up precision 1540334812.557 * * * * [misc]points: Setting MPFR precision to 64 1540334812.558 * * * * [misc]points: Setting MPFR precision to 320 1540334812.559 * * * * [misc]points: Computing exacts on every 4 of 152 points to ramp up precision 1540334812.598 * * * * [misc]points: Setting MPFR precision to 64 1540334812.602 * * * * [misc]points: Setting MPFR precision to 320 1540334812.605 * * * * [misc]points: Computing exacts on every 2 of 152 points to ramp up precision 1540334812.637 * * * * [misc]points: Setting MPFR precision to 64 1540334812.643 * * * * [misc]points: Setting MPFR precision to 320 1540334812.648 * * * * [misc]points: Computing exacts for 152 points 1540334812.680 * * * * [misc]points: Setting MPFR precision to 64 1540334812.695 * * * * [misc]points: Setting MPFR precision to 320 1540334812.711 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334812.711 * * * * [misc]points: Sampling 145 additional inputs, on iter 7 have 111 / 256 1540334812.712 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1540334812.769 * * * * [misc]points: Setting MPFR precision to 64 1540334812.770 * * * * [misc]points: Setting MPFR precision to 320 1540334812.771 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1540334812.786 * * * * [misc]points: Setting MPFR precision to 64 1540334812.787 * * * * [misc]points: Setting MPFR precision to 320 1540334812.789 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1540334812.813 * * * * [misc]points: Setting MPFR precision to 64 1540334812.828 * * * * [misc]points: Setting MPFR precision to 320 1540334812.831 * * * * [misc]points: Computing exacts for 145 points 1540334812.848 * * * * [misc]points: Setting MPFR precision to 64 1540334812.858 * * * * [misc]points: Setting MPFR precision to 320 1540334812.873 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334812.874 * * * * [misc]points: Sampling 135 additional inputs, on iter 8 have 121 / 256 1540334812.874 * * * * [misc]points: Computing exacts on every 8 of 135 points to ramp up precision 1540334812.896 * * * * [misc]points: Setting MPFR precision to 64 1540334812.897 * * * * [misc]points: Setting MPFR precision to 320 1540334812.898 * * * * [misc]points: Computing exacts on every 4 of 135 points to ramp up precision 1540334812.929 * * * * [misc]points: Setting MPFR precision to 64 1540334812.931 * * * * [misc]points: Setting MPFR precision to 320 1540334812.932 * * * * [misc]points: Computing exacts on every 2 of 135 points to ramp up precision 1540334812.947 * * * * [misc]points: Setting MPFR precision to 64 1540334812.949 * * * * [misc]points: Setting MPFR precision to 320 1540334812.952 * * * * [misc]points: Computing exacts for 135 points 1540334812.967 * * * * [misc]points: Setting MPFR precision to 64 1540334812.980 * * * * [misc]points: Setting MPFR precision to 320 1540334813.002 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.002 * * * * [misc]points: Sampling 121 additional inputs, on iter 9 have 135 / 256 1540334813.003 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1540334813.019 * * * * [misc]points: Setting MPFR precision to 64 1540334813.020 * * * * [misc]points: Setting MPFR precision to 320 1540334813.021 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1540334813.037 * * * * [misc]points: Setting MPFR precision to 64 1540334813.038 * * * * [misc]points: Setting MPFR precision to 320 1540334813.040 * * * * [misc]points: Computing exacts for 121 points 1540334813.067 * * * * [misc]points: Setting MPFR precision to 64 1540334813.074 * * * * [misc]points: Setting MPFR precision to 320 1540334813.087 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.087 * * * * [misc]points: Sampling 111 additional inputs, on iter 10 have 145 / 256 1540334813.087 * * * * [misc]points: Computing exacts on every 6 of 111 points to ramp up precision 1540334813.107 * * * * [misc]points: Setting MPFR precision to 64 1540334813.108 * * * * [misc]points: Setting MPFR precision to 320 1540334813.108 * * * * [misc]points: Computing exacts on every 3 of 111 points to ramp up precision 1540334813.124 * * * * [misc]points: Setting MPFR precision to 64 1540334813.125 * * * * [misc]points: Setting MPFR precision to 320 1540334813.127 * * * * [misc]points: Computing exacts for 111 points 1540334813.176 * * * * [misc]points: Setting MPFR precision to 64 1540334813.187 * * * * [misc]points: Setting MPFR precision to 320 1540334813.195 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.195 * * * * [misc]points: Sampling 105 additional inputs, on iter 11 have 151 / 256 1540334813.195 * * * * [misc]points: Computing exacts on every 6 of 105 points to ramp up precision 1540334813.210 * * * * [misc]points: Setting MPFR precision to 64 1540334813.211 * * * * [misc]points: Setting MPFR precision to 320 1540334813.212 * * * * [misc]points: Computing exacts on every 3 of 105 points to ramp up precision 1540334813.250 * * * * [misc]points: Setting MPFR precision to 64 1540334813.253 * * * * [misc]points: Setting MPFR precision to 320 1540334813.256 * * * * [misc]points: Computing exacts for 105 points 1540334813.284 * * * * [misc]points: Setting MPFR precision to 64 1540334813.295 * * * * [misc]points: Setting MPFR precision to 320 1540334813.306 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.306 * * * * [misc]points: Sampling 97 additional inputs, on iter 12 have 159 / 256 1540334813.307 * * * * [misc]points: Computing exacts on every 6 of 97 points to ramp up precision 1540334813.339 * * * * [misc]points: Setting MPFR precision to 64 1540334813.341 * * * * [misc]points: Setting MPFR precision to 320 1540334813.342 * * * * [misc]points: Computing exacts on every 3 of 97 points to ramp up precision 1540334813.387 * * * * [misc]points: Setting MPFR precision to 64 1540334813.389 * * * * [misc]points: Setting MPFR precision to 320 1540334813.390 * * * * [misc]points: Computing exacts for 97 points 1540334813.405 * * * * [misc]points: Setting MPFR precision to 64 1540334813.410 * * * * [misc]points: Setting MPFR precision to 320 1540334813.415 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.415 * * * * [misc]points: Sampling 87 additional inputs, on iter 13 have 169 / 256 1540334813.415 * * * * [misc]points: Computing exacts on every 5 of 87 points to ramp up precision 1540334813.451 * * * * [misc]points: Setting MPFR precision to 64 1540334813.452 * * * * [misc]points: Setting MPFR precision to 320 1540334813.455 * * * * [misc]points: Computing exacts on every 2 of 87 points to ramp up precision 1540334813.470 * * * * [misc]points: Setting MPFR precision to 64 1540334813.471 * * * * [misc]points: Setting MPFR precision to 320 1540334813.473 * * * * [misc]points: Computing exacts for 87 points 1540334813.498 * * * * [misc]points: Setting MPFR precision to 64 1540334813.507 * * * * [misc]points: Setting MPFR precision to 320 1540334813.516 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.516 * * * * [misc]points: Sampling 82 additional inputs, on iter 14 have 174 / 256 1540334813.516 * * * * [misc]points: Computing exacts on every 5 of 82 points to ramp up precision 1540334813.568 * * * * [misc]points: Setting MPFR precision to 64 1540334813.570 * * * * [misc]points: Setting MPFR precision to 320 1540334813.571 * * * * [misc]points: Computing exacts on every 2 of 82 points to ramp up precision 1540334813.604 * * * * [misc]points: Setting MPFR precision to 64 1540334813.607 * * * * [misc]points: Setting MPFR precision to 320 1540334813.610 * * * * [misc]points: Computing exacts for 82 points 1540334813.635 * * * * [misc]points: Setting MPFR precision to 64 1540334813.639 * * * * [misc]points: Setting MPFR precision to 320 1540334813.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.643 * * * * [misc]points: Sampling 75 additional inputs, on iter 15 have 181 / 256 1540334813.643 * * * * [misc]points: Computing exacts on every 4 of 75 points to ramp up precision 1540334813.670 * * * * [misc]points: Setting MPFR precision to 64 1540334813.671 * * * * [misc]points: Setting MPFR precision to 320 1540334813.673 * * * * [misc]points: Computing exacts on every 2 of 75 points to ramp up precision 1540334813.705 * * * * [misc]points: Setting MPFR precision to 64 1540334813.707 * * * * [misc]points: Setting MPFR precision to 320 1540334813.710 * * * * [misc]points: Computing exacts for 75 points 1540334813.742 * * * * [misc]points: Setting MPFR precision to 64 1540334813.762 * * * * [misc]points: Setting MPFR precision to 320 1540334813.772 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.772 * * * * [misc]points: Sampling 69 additional inputs, on iter 16 have 187 / 256 1540334813.773 * * * * [misc]points: Computing exacts on every 4 of 69 points to ramp up precision 1540334813.806 * * * * [misc]points: Setting MPFR precision to 64 1540334813.808 * * * * [misc]points: Setting MPFR precision to 320 1540334813.809 * * * * [misc]points: Computing exacts on every 2 of 69 points to ramp up precision 1540334813.841 * * * * [misc]points: Setting MPFR precision to 64 1540334813.843 * * * * [misc]points: Setting MPFR precision to 320 1540334813.846 * * * * [misc]points: Computing exacts for 69 points 1540334813.895 * * * * [misc]points: Setting MPFR precision to 64 1540334813.901 * * * * [misc]points: Setting MPFR precision to 320 1540334813.908 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334813.909 * * * * [misc]points: Sampling 67 additional inputs, on iter 17 have 189 / 256 1540334813.909 * * * * [misc]points: Computing exacts on every 4 of 67 points to ramp up precision 1540334813.942 * * * * [misc]points: Setting MPFR precision to 64 1540334813.943 * * * * [misc]points: Setting MPFR precision to 320 1540334813.945 * * * * [misc]points: Computing exacts on every 2 of 67 points to ramp up precision 1540334813.973 * * * * [misc]points: Setting MPFR precision to 64 1540334813.974 * * * * [misc]points: Setting MPFR precision to 320 1540334813.975 * * * * [misc]points: Computing exacts for 67 points 1540334814.006 * * * * [misc]points: Setting MPFR precision to 64 1540334814.012 * * * * [misc]points: Setting MPFR precision to 320 1540334814.019 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.020 * * * * [misc]points: Sampling 59 additional inputs, on iter 18 have 197 / 256 1540334814.020 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1540334814.053 * * * * [misc]points: Setting MPFR precision to 64 1540334814.055 * * * * [misc]points: Setting MPFR precision to 320 1540334814.056 * * * * [misc]points: Computing exacts for 59 points 1540334814.089 * * * * [misc]points: Setting MPFR precision to 64 1540334814.095 * * * * [misc]points: Setting MPFR precision to 320 1540334814.101 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.101 * * * * [misc]points: Sampling 54 additional inputs, on iter 19 have 202 / 256 1540334814.101 * * * * [misc]points: Computing exacts on every 3 of 54 points to ramp up precision 1540334814.140 * * * * [misc]points: Setting MPFR precision to 64 1540334814.141 * * * * [misc]points: Setting MPFR precision to 320 1540334814.142 * * * * [misc]points: Computing exacts for 54 points 1540334814.158 * * * * [misc]points: Setting MPFR precision to 64 1540334814.160 * * * * [misc]points: Setting MPFR precision to 320 1540334814.163 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.163 * * * * [misc]points: Sampling 47 additional inputs, on iter 20 have 209 / 256 1540334814.163 * * * * [misc]points: Computing exacts on every 2 of 47 points to ramp up precision 1540334814.202 * * * * [misc]points: Setting MPFR precision to 64 1540334814.204 * * * * [misc]points: Setting MPFR precision to 320 1540334814.205 * * * * [misc]points: Computing exacts for 47 points 1540334814.238 * * * * [misc]points: Setting MPFR precision to 64 1540334814.243 * * * * [misc]points: Setting MPFR precision to 320 1540334814.248 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.248 * * * * [misc]points: Sampling 45 additional inputs, on iter 21 have 211 / 256 1540334814.248 * * * * [misc]points: Computing exacts on every 2 of 45 points to ramp up precision 1540334814.281 * * * * [misc]points: Setting MPFR precision to 64 1540334814.282 * * * * [misc]points: Setting MPFR precision to 320 1540334814.284 * * * * [misc]points: Computing exacts for 45 points 1540334814.332 * * * * [misc]points: Setting MPFR precision to 64 1540334814.336 * * * * [misc]points: Setting MPFR precision to 320 1540334814.341 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.341 * * * * [misc]points: Sampling 41 additional inputs, on iter 22 have 215 / 256 1540334814.341 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1540334814.373 * * * * [misc]points: Setting MPFR precision to 64 1540334814.375 * * * * [misc]points: Setting MPFR precision to 320 1540334814.376 * * * * [misc]points: Computing exacts for 41 points 1540334814.409 * * * * [misc]points: Setting MPFR precision to 64 1540334814.413 * * * * [misc]points: Setting MPFR precision to 320 1540334814.417 * * * * [misc]points: Setting MPFR precision to 576 1540334814.421 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.421 * * * * [misc]points: Sampling 39 additional inputs, on iter 23 have 217 / 256 1540334814.421 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1540334814.487 * * * * [misc]points: Setting MPFR precision to 320 1540334814.489 * * * * [misc]points: Setting MPFR precision to 576 1540334814.491 * * * * [misc]points: Computing exacts for 39 points 1540334814.875 * * * * [misc]points: Setting MPFR precision to 320 1540334814.879 * * * * [misc]points: Setting MPFR precision to 576 1540334814.883 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334814.883 * * * * [misc]points: Sampling 38 additional inputs, on iter 24 have 218 / 256 1540334814.883 * * * * [misc]points: Computing exacts on every 2 of 38 points to ramp up precision 1540334814.934 * * * * [misc]points: Setting MPFR precision to 320 1540334814.935 * * * * [misc]points: Setting MPFR precision to 576 1540334814.937 * * * * [misc]points: Computing exacts for 38 points 1540334814.996 * * * * [misc]points: Setting MPFR precision to 320 1540334815.000 * * * * [misc]points: Setting MPFR precision to 576 1540334815.004 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.004 * * * * [misc]points: Sampling 35 additional inputs, on iter 25 have 221 / 256 1540334815.005 * * * * [misc]points: Computing exacts on every 2 of 35 points to ramp up precision 1540334815.064 * * * * [misc]points: Setting MPFR precision to 320 1540334815.066 * * * * [misc]points: Setting MPFR precision to 576 1540334815.067 * * * * [misc]points: Computing exacts for 35 points 1540334815.114 * * * * [misc]points: Setting MPFR precision to 320 1540334815.116 * * * * [misc]points: Setting MPFR precision to 576 1540334815.118 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.118 * * * * [misc]points: Sampling 34 additional inputs, on iter 26 have 222 / 256 1540334815.118 * * * * [misc]points: Computing exacts on every 2 of 34 points to ramp up precision 1540334815.146 * * * * [misc]points: Setting MPFR precision to 320 1540334815.147 * * * * [misc]points: Setting MPFR precision to 576 1540334815.148 * * * * [misc]points: Computing exacts for 34 points 1540334815.204 * * * * [misc]points: Setting MPFR precision to 320 1540334815.208 * * * * [misc]points: Setting MPFR precision to 576 1540334815.212 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.212 * * * * [misc]points: Sampling 32 additional inputs, on iter 27 have 224 / 256 1540334815.213 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1540334815.261 * * * * [misc]points: Setting MPFR precision to 320 1540334815.263 * * * * [misc]points: Setting MPFR precision to 576 1540334815.268 * * * * [misc]points: Computing exacts for 32 points 1540334815.291 * * * * [misc]points: Setting MPFR precision to 320 1540334815.293 * * * * [misc]points: Setting MPFR precision to 576 1540334815.295 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.295 * * * * [misc]points: Sampling 30 additional inputs, on iter 28 have 226 / 256 1540334815.295 * * * * [misc]points: Computing exacts for 30 points 1540334815.327 * * * * [misc]points: Setting MPFR precision to 320 1540334815.329 * * * * [misc]points: Setting MPFR precision to 576 1540334815.331 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.331 * * * * [misc]points: Sampling 29 additional inputs, on iter 29 have 227 / 256 1540334815.331 * * * * [misc]points: Computing exacts for 29 points 1540334815.367 * * * * [misc]points: Setting MPFR precision to 320 1540334815.372 * * * * [misc]points: Setting MPFR precision to 576 1540334815.375 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.375 * * * * [misc]points: Sampling 27 additional inputs, on iter 30 have 229 / 256 1540334815.375 * * * * [misc]points: Computing exacts for 27 points 1540334815.425 * * * * [misc]points: Setting MPFR precision to 320 1540334815.428 * * * * [misc]points: Setting MPFR precision to 576 1540334815.431 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.431 * * * * [misc]points: Sampling 27 additional inputs, on iter 31 have 229 / 256 1540334815.432 * * * * [misc]points: Computing exacts for 27 points 1540334815.472 * * * * [misc]points: Setting MPFR precision to 320 1540334815.474 * * * * [misc]points: Setting MPFR precision to 576 1540334815.475 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.475 * * * * [misc]points: Sampling 21 additional inputs, on iter 32 have 235 / 256 1540334815.476 * * * * [misc]points: Computing exacts for 21 points 1540334815.523 * * * * [misc]points: Setting MPFR precision to 320 1540334815.525 * * * * [misc]points: Setting MPFR precision to 576 1540334815.528 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.528 * * * * [misc]points: Sampling 19 additional inputs, on iter 33 have 237 / 256 1540334815.528 * * * * [misc]points: Computing exacts for 19 points 1540334815.578 * * * * [misc]points: Setting MPFR precision to 320 1540334815.580 * * * * [misc]points: Setting MPFR precision to 576 1540334815.582 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.582 * * * * [misc]points: Sampling 18 additional inputs, on iter 34 have 238 / 256 1540334815.582 * * * * [misc]points: Computing exacts for 18 points 1540334815.611 * * * * [misc]points: Setting MPFR precision to 320 1540334815.612 * * * * [misc]points: Setting MPFR precision to 576 1540334815.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.613 * * * * [misc]points: Sampling 18 additional inputs, on iter 35 have 238 / 256 1540334815.614 * * * * [misc]points: Computing exacts for 18 points 1540334815.647 * * * * [misc]points: Setting MPFR precision to 320 1540334815.649 * * * * [misc]points: Setting MPFR precision to 576 1540334815.651 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.651 * * * * [misc]points: Sampling 17 additional inputs, on iter 36 have 239 / 256 1540334815.651 * * * * [misc]points: Computing exacts for 17 points 1540334815.681 * * * * [misc]points: Setting MPFR precision to 320 1540334815.682 * * * * [misc]points: Setting MPFR precision to 576 1540334815.683 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.683 * * * * [misc]points: Sampling 16 additional inputs, on iter 37 have 240 / 256 1540334815.683 * * * * [misc]points: Computing exacts for 16 points 1540334815.733 * * * * [misc]points: Setting MPFR precision to 320 1540334815.735 * * * * [misc]points: Setting MPFR precision to 576 1540334815.737 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.737 * * * * [misc]points: Sampling 16 additional inputs, on iter 38 have 240 / 256 1540334815.737 * * * * [misc]points: Computing exacts for 16 points 1540334815.793 * * * * [misc]points: Setting MPFR precision to 320 1540334815.795 * * * * [misc]points: Setting MPFR precision to 576 1540334815.797 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.797 * * * * [misc]points: Sampling 13 additional inputs, on iter 39 have 243 / 256 1540334815.797 * * * * [misc]points: Computing exacts for 13 points 1540334815.846 * * * * [misc]points: Setting MPFR precision to 320 1540334815.848 * * * * [misc]points: Setting MPFR precision to 576 1540334815.849 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.849 * * * * [misc]points: Sampling 12 additional inputs, on iter 40 have 244 / 256 1540334815.849 * * * * [misc]points: Computing exacts for 12 points 1540334815.908 * * * * [misc]points: Setting MPFR precision to 320 1540334815.909 * * * * [misc]points: Setting MPFR precision to 576 1540334815.911 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.911 * * * * [misc]points: Sampling 11 additional inputs, on iter 41 have 245 / 256 1540334815.911 * * * * [misc]points: Computing exacts for 11 points 1540334815.966 * * * * [misc]points: Setting MPFR precision to 320 1540334815.967 * * * * [misc]points: Setting MPFR precision to 576 1540334815.969 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334815.969 * * * * [misc]points: Sampling 10 additional inputs, on iter 42 have 246 / 256 1540334815.969 * * * * [misc]points: Computing exacts for 10 points 1540334816.019 * * * * [misc]points: Setting MPFR precision to 320 1540334816.020 * * * * [misc]points: Setting MPFR precision to 576 1540334816.022 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.022 * * * * [misc]points: Sampling 9 additional inputs, on iter 43 have 247 / 256 1540334816.022 * * * * [misc]points: Computing exacts for 9 points 1540334816.054 * * * * [misc]points: Setting MPFR precision to 320 1540334816.054 * * * * [misc]points: Setting MPFR precision to 576 1540334816.055 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.055 * * * * [misc]points: Sampling 8 additional inputs, on iter 44 have 248 / 256 1540334816.055 * * * * [misc]points: Computing exacts for 8 points 1540334816.096 * * * * [misc]points: Setting MPFR precision to 320 1540334816.097 * * * * [misc]points: Setting MPFR precision to 576 1540334816.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.098 * * * * [misc]points: Sampling 7 additional inputs, on iter 45 have 249 / 256 1540334816.098 * * * * [misc]points: Computing exacts for 7 points 1540334816.120 * * * * [misc]points: Setting MPFR precision to 320 1540334816.121 * * * * [misc]points: Setting MPFR precision to 576 1540334816.121 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.121 * * * * [misc]points: Sampling 7 additional inputs, on iter 46 have 249 / 256 1540334816.121 * * * * [misc]points: Computing exacts for 7 points 1540334816.153 * * * * [misc]points: Setting MPFR precision to 320 1540334816.154 * * * * [misc]points: Setting MPFR precision to 576 1540334816.155 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.155 * * * * [misc]points: Sampling 7 additional inputs, on iter 47 have 249 / 256 1540334816.155 * * * * [misc]points: Computing exacts for 7 points 1540334816.191 * * * * [misc]points: Setting MPFR precision to 320 1540334816.191 * * * * [misc]points: Setting MPFR precision to 576 1540334816.192 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.192 * * * * [misc]points: Sampling 7 additional inputs, on iter 48 have 249 / 256 1540334816.192 * * * * [misc]points: Computing exacts for 7 points 1540334816.218 * * * * [misc]points: Setting MPFR precision to 320 1540334816.219 * * * * [misc]points: Setting MPFR precision to 576 1540334816.220 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.220 * * * * [misc]points: Sampling 6 additional inputs, on iter 49 have 250 / 256 1540334816.220 * * * * [misc]points: Computing exacts for 6 points 1540334816.261 * * * * [misc]points: Setting MPFR precision to 320 1540334816.261 * * * * [misc]points: Setting MPFR precision to 576 1540334816.262 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.262 * * * * [misc]points: Sampling 6 additional inputs, on iter 50 have 250 / 256 1540334816.262 * * * * [misc]points: Computing exacts for 6 points 1540334816.287 * * * * [misc]points: Setting MPFR precision to 320 1540334816.288 * * * * [misc]points: Setting MPFR precision to 576 1540334816.288 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.288 * * * * [misc]points: Sampling 6 additional inputs, on iter 51 have 250 / 256 1540334816.288 * * * * [misc]points: Computing exacts for 6 points 1540334816.312 * * * * [misc]points: Setting MPFR precision to 320 1540334816.312 * * * * [misc]points: Setting MPFR precision to 576 1540334816.312 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.312 * * * * [misc]points: Sampling 6 additional inputs, on iter 52 have 250 / 256 1540334816.312 * * * * [misc]points: Computing exacts for 6 points 1540334816.364 * * * * [misc]points: Setting MPFR precision to 320 1540334816.365 * * * * [misc]points: Setting MPFR precision to 576 1540334816.366 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.366 * * * * [misc]points: Sampling 6 additional inputs, on iter 53 have 250 / 256 1540334816.366 * * * * [misc]points: Computing exacts for 6 points 1540334816.393 * * * * [misc]points: Setting MPFR precision to 320 1540334816.394 * * * * [misc]points: Setting MPFR precision to 576 1540334816.394 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.394 * * * * [misc]points: Sampling 5 additional inputs, on iter 54 have 251 / 256 1540334816.394 * * * * [misc]points: Computing exacts for 5 points 1540334816.425 * * * * [misc]points: Setting MPFR precision to 320 1540334816.426 * * * * [misc]points: Setting MPFR precision to 576 1540334816.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.427 * * * * [misc]points: Sampling 4 additional inputs, on iter 55 have 252 / 256 1540334816.427 * * * * [misc]points: Computing exacts for 4 points 1540334816.482 * * * * [misc]points: Setting MPFR precision to 320 1540334816.483 * * * * [misc]points: Setting MPFR precision to 576 1540334816.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.483 * * * * [misc]points: Sampling 4 additional inputs, on iter 56 have 254 / 256 1540334816.483 * * * * [misc]points: Computing exacts for 4 points 1540334816.539 * * * * [misc]points: Setting MPFR precision to 320 1540334816.540 * * * * [misc]points: Setting MPFR precision to 576 1540334816.540 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.540 * * * * [misc]points: Sampling 4 additional inputs, on iter 57 have 254 / 256 1540334816.540 * * * * [misc]points: Computing exacts for 4 points 1540334816.590 * * * * [misc]points: Setting MPFR precision to 320 1540334816.591 * * * * [misc]points: Setting MPFR precision to 576 1540334816.592 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.592 * * * * [misc]points: Sampling 4 additional inputs, on iter 58 have 254 / 256 1540334816.592 * * * * [misc]points: Computing exacts for 4 points 1540334816.626 * * * * [misc]points: Setting MPFR precision to 320 1540334816.626 * * * * [misc]points: Setting MPFR precision to 576 1540334816.627 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.627 * * * * [misc]points: Sampling 4 additional inputs, on iter 59 have 254 / 256 1540334816.627 * * * * [misc]points: Computing exacts for 4 points 1540334816.666 * * * * [misc]points: Setting MPFR precision to 320 1540334816.672 * * * * [misc]points: Setting MPFR precision to 576 1540334816.672 * * * * [misc]points: Filtering points with unrepresentable outputs 1540334816.672 * * * * [exit]points: Sampled 256 points with exact outputs 1540334816.673 * * * [misc]progress: [2/2] Setting up program. 1540334816.685 * [misc]progress: [Phase 2 of 3] Improving. 1540334816.685 * [enter]simplify: Simplifying (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) 1540334816.686 * * [misc]simplify: iters left: 6 (31 enodes) 1540334816.699 * * [misc]simplify: iters left: 5 (95 enodes) 1540334816.733 * * [misc]simplify: iters left: 4 (384 enodes) 1540334817.060 * [exit]simplify: Simplified to (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.086 * * [misc]progress: iteration 1 / 4 1540334817.086 * * * [misc]progress: picking best candidate 1540334817.108 * * * * [misc]pick: Picked # 1540334817.108 * * * [misc]progress: localizing error 1540334817.257 * * * [misc]progress: generating rewritten candidates 1540334817.257 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1540334817.257 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1 2) 1540334817.258 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2) 1540334817.258 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 1 2) 1540334817.262 * * * [misc]progress: generating series expansions 1540334817.262 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1540334817.262 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1 2) 1540334817.262 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2) 1540334817.262 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 1 2) 1540334817.263 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 4) into (pow (/ 1 (fabs x)) 4) 1540334817.263 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in (x) around 0 1540334817.263 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1540334817.263 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334817.263 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334817.263 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334817.263 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334817.263 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1540334817.263 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334817.263 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334817.263 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334817.263 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334817.263 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1540334817.263 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1540334817.264 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1540334817.264 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1540334817.264 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1540334817.264 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1540334817.264 * [misc]backup-simplify: Simplify 0 into 0 1540334817.264 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334817.265 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1540334817.265 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1540334817.265 * [misc]backup-simplify: Simplify 0 into 0 1540334817.266 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334817.266 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1540334817.267 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1540334817.267 * [misc]backup-simplify: Simplify 0 into 0 1540334817.267 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334817.268 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1540334817.268 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1540334817.268 * [misc]backup-simplify: Simplify 0 into 0 1540334817.269 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334817.269 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1540334817.270 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))))) into 0 1540334817.270 * [misc]backup-simplify: Simplify 0 into 0 1540334817.271 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334817.272 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1540334817.273 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))))) into 0 1540334817.273 * [misc]backup-simplify: Simplify 0 into 0 1540334817.273 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1540334817.273 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 4) into (pow (/ 1 (fabs (/ 1 x))) 4) 1540334817.273 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in (x) around 0 1540334817.273 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1540334817.273 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334817.273 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334817.273 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334817.273 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334817.273 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1540334817.273 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334817.273 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334817.273 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334817.274 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334817.274 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1540334817.274 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1540334817.274 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 4)) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1540334817.274 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.275 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1540334817.275 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1540334817.275 * [misc]backup-simplify: Simplify 0 into 0 1540334817.275 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.275 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1540334817.276 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1540334817.276 * [misc]backup-simplify: Simplify 0 into 0 1540334817.276 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.276 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1540334817.277 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1540334817.277 * [misc]backup-simplify: Simplify 0 into 0 1540334817.277 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.277 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1540334817.278 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))) into 0 1540334817.278 * [misc]backup-simplify: Simplify 0 into 0 1540334817.278 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.278 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1540334817.279 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540334817.279 * [misc]backup-simplify: Simplify 0 into 0 1540334817.279 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334817.280 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))))) into 0 1540334817.280 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))))) into 0 1540334817.280 * [misc]backup-simplify: Simplify 0 into 0 1540334817.280 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 4)) into (/ 1 (pow (fabs x) 4)) 1540334817.280 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 4) into (pow (/ 1 (fabs (/ -1 x))) 4) 1540334817.281 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in (x) around 0 1540334817.281 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1540334817.281 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334817.281 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334817.281 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334817.281 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334817.281 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1540334817.281 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334817.281 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334817.281 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334817.281 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334817.281 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1540334817.281 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1540334817.281 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 4)) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1540334817.281 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.281 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1540334817.282 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1540334817.282 * [misc]backup-simplify: Simplify 0 into 0 1540334817.282 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.282 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1540334817.283 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1540334817.283 * [misc]backup-simplify: Simplify 0 into 0 1540334817.283 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.283 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1540334817.283 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1540334817.283 * [misc]backup-simplify: Simplify 0 into 0 1540334817.284 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.284 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1540334817.285 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))) into 0 1540334817.285 * [misc]backup-simplify: Simplify 0 into 0 1540334817.285 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.285 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1540334817.286 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540334817.286 * [misc]backup-simplify: Simplify 0 into 0 1540334817.286 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334817.287 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))))) into 0 1540334817.287 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))))) into 0 1540334817.287 * [misc]backup-simplify: Simplify 0 into 0 1540334817.287 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) into (/ 1 (pow (fabs x) 4)) 1540334817.287 * * * [misc]progress: simplifying candidates 1540334817.287 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1540334817.288 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1540334817.289 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1540334817.289 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1540334817.289 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1540334817.289 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1540334817.289 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1540334817.289 * [enter]simplify: Simplifying (* (- (log (fabs x))) 4) 1540334817.289 * * [misc]simplify: iters left: 6 (6 enodes) 1540334817.290 * * [misc]simplify: iters left: 5 (9 enodes) 1540334817.292 * * [misc]simplify: iters left: 4 (14 enodes) 1540334817.293 * * [misc]simplify: iters left: 3 (15 enodes) 1540334817.295 * [exit]simplify: Simplified to (* (log (fabs x)) -4) 1540334817.295 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (exp (* (log (fabs x)) -4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.295 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1540334817.295 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 4) 1540334817.295 * * [misc]simplify: iters left: 6 (7 enodes) 1540334817.296 * * [misc]simplify: iters left: 5 (14 enodes) 1540334817.298 * * [misc]simplify: iters left: 4 (18 enodes) 1540334817.300 * * [misc]simplify: iters left: 3 (22 enodes) 1540334817.303 * [exit]simplify: Simplified to (* -4 (log (fabs x))) 1540334817.303 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (exp (* -4 (log (fabs x))))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.303 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1540334817.303 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1540334817.303 * [enter]simplify: Simplifying (fabs x) 1540334817.303 * * [misc]simplify: iters left: 1 (2 enodes) 1540334817.303 * [exit]simplify: Simplified to (fabs x) 1540334817.303 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (fabs x) (* -1 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.303 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1540334817.303 * [enter]simplify: Simplifying (fabs x) 1540334817.303 * * [misc]simplify: iters left: 1 (2 enodes) 1540334817.304 * [exit]simplify: Simplified to (fabs x) 1540334817.304 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (fabs x) (* (- 1) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.304 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1540334817.304 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1540334817.304 * * [misc]simplify: iters left: 3 (4 enodes) 1540334817.305 * * [misc]simplify: iters left: 2 (6 enodes) 1540334817.305 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1540334817.305 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (* 1 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.305 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1540334817.306 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1540334817.306 * * [misc]simplify: iters left: 6 (8 enodes) 1540334817.310 * * [misc]simplify: iters left: 5 (10 enodes) 1540334817.311 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1540334817.311 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) (pow (cbrt (/ 1 (fabs x))) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.311 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1540334817.312 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 4) 1540334817.312 * * [misc]simplify: iters left: 5 (7 enodes) 1540334817.313 * * [misc]simplify: iters left: 4 (9 enodes) 1540334817.314 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 4) 1540334817.314 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* (pow (sqrt (/ 1 (fabs x))) 4) (pow (sqrt (/ 1 (fabs x))) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.314 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1540334817.314 * [enter]simplify: Simplifying (pow 1 4) 1540334817.314 * * [misc]simplify: iters left: 1 (3 enodes) 1540334817.314 * [exit]simplify: Simplified to 1 1540334817.314 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* 1 (pow (/ 1 (fabs x)) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.314 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1540334817.315 * [enter]simplify: Simplifying (pow 1 4) 1540334817.315 * * [misc]simplify: iters left: 1 (3 enodes) 1540334817.315 * [exit]simplify: Simplified to 1 1540334817.315 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* 1 (pow (/ 1 (fabs x)) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.315 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1540334817.315 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1540334817.315 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1540334817.315 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1540334817.315 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1540334817.316 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1540334817.316 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1540334817.316 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1540334817.316 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.316 * * [misc]simplify: iters left: 6 (32 enodes) 1540334817.323 * * [misc]simplify: iters left: 5 (86 enodes) 1540334817.352 * * [misc]simplify: iters left: 4 (242 enodes) 1540334817.480 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.480 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.480 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1540334817.480 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.480 * * [misc]simplify: iters left: 6 (32 enodes) 1540334817.490 * * [misc]simplify: iters left: 5 (86 enodes) 1540334817.513 * * [misc]simplify: iters left: 4 (242 enodes) 1540334817.660 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.660 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.660 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1540334817.660 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.661 * * [misc]simplify: iters left: 6 (32 enodes) 1540334817.675 * * [misc]simplify: iters left: 5 (86 enodes) 1540334817.696 * * [misc]simplify: iters left: 4 (242 enodes) 1540334817.885 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334817.885 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.885 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1540334817.886 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334817.886 * * [misc]simplify: iters left: 4 (6 enodes) 1540334817.888 * * [misc]simplify: iters left: 3 (8 enodes) 1540334817.889 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334817.889 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.890 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1540334817.890 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334817.890 * * [misc]simplify: iters left: 4 (6 enodes) 1540334817.892 * * [misc]simplify: iters left: 3 (8 enodes) 1540334817.894 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334817.894 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.894 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1540334817.894 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334817.894 * * [misc]simplify: iters left: 4 (6 enodes) 1540334817.896 * * [misc]simplify: iters left: 3 (8 enodes) 1540334817.898 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334817.898 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334817.898 * * * [misc]progress: adding candidates to table 1540334818.889 * * [misc]progress: iteration 2 / 4 1540334818.889 * * * [misc]progress: picking best candidate 1540334818.960 * * * * [misc]pick: Picked # 1540334818.960 * * * [misc]progress: localizing error 1540334819.041 * * * [misc]progress: generating rewritten candidates 1540334819.042 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1540334819.042 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1540334819.042 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 1540334819.042 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2 1) 1540334819.045 * * * [misc]progress: generating series expansions 1540334819.045 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1540334819.045 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1540334819.045 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 1540334819.045 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2 1) 1540334819.045 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 4) into (pow (/ 1 (fabs x)) 4) 1540334819.045 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in (x) around 0 1540334819.045 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1540334819.045 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334819.045 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334819.045 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334819.045 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334819.045 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1540334819.045 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334819.045 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334819.045 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334819.045 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334819.045 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1540334819.045 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1540334819.045 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1540334819.046 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1540334819.046 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1540334819.046 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1540334819.046 * [misc]backup-simplify: Simplify 0 into 0 1540334819.046 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334819.046 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1540334819.047 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1540334819.047 * [misc]backup-simplify: Simplify 0 into 0 1540334819.047 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334819.047 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1540334819.048 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1540334819.048 * [misc]backup-simplify: Simplify 0 into 0 1540334819.048 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334819.048 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1540334819.049 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1540334819.049 * [misc]backup-simplify: Simplify 0 into 0 1540334819.050 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334819.050 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1540334819.051 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))))) into 0 1540334819.051 * [misc]backup-simplify: Simplify 0 into 0 1540334819.052 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334819.052 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1540334819.053 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))))) into 0 1540334819.053 * [misc]backup-simplify: Simplify 0 into 0 1540334819.054 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1540334819.054 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 4) into (pow (/ 1 (fabs (/ 1 x))) 4) 1540334819.054 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in (x) around 0 1540334819.054 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1540334819.054 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334819.054 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334819.054 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334819.054 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334819.054 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1540334819.054 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334819.054 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334819.054 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334819.054 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334819.054 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1540334819.055 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1540334819.055 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 4)) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1540334819.055 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.055 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1540334819.055 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1540334819.055 * [misc]backup-simplify: Simplify 0 into 0 1540334819.056 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.056 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1540334819.057 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1540334819.057 * [misc]backup-simplify: Simplify 0 into 0 1540334819.057 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.057 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1540334819.058 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1540334819.058 * [misc]backup-simplify: Simplify 0 into 0 1540334819.058 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.059 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1540334819.060 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))) into 0 1540334819.060 * [misc]backup-simplify: Simplify 0 into 0 1540334819.060 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.061 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1540334819.062 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540334819.062 * [misc]backup-simplify: Simplify 0 into 0 1540334819.062 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334819.063 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))))) into 0 1540334819.064 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))))) into 0 1540334819.064 * [misc]backup-simplify: Simplify 0 into 0 1540334819.064 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 4)) into (/ 1 (pow (fabs x) 4)) 1540334819.064 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 4) into (pow (/ 1 (fabs (/ -1 x))) 4) 1540334819.064 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in (x) around 0 1540334819.064 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1540334819.064 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334819.065 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334819.065 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334819.065 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334819.065 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1540334819.065 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334819.065 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334819.065 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334819.065 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334819.065 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1540334819.065 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1540334819.066 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 4)) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1540334819.066 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.066 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1540334819.066 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1540334819.066 * [misc]backup-simplify: Simplify 0 into 0 1540334819.066 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.067 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1540334819.067 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1540334819.067 * [misc]backup-simplify: Simplify 0 into 0 1540334819.068 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.068 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1540334819.069 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1540334819.069 * [misc]backup-simplify: Simplify 0 into 0 1540334819.069 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.070 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1540334819.070 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))) into 0 1540334819.070 * [misc]backup-simplify: Simplify 0 into 0 1540334819.071 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.071 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1540334819.072 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540334819.072 * [misc]backup-simplify: Simplify 0 into 0 1540334819.073 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334819.074 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))))) into 0 1540334819.075 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))))) into 0 1540334819.075 * [misc]backup-simplify: Simplify 0 into 0 1540334819.075 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) into (/ 1 (pow (fabs x) 4)) 1540334819.075 * * * [misc]progress: simplifying candidates 1540334819.075 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1540334819.075 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1540334819.075 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1540334819.076 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1540334819.077 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1540334819.078 * [enter]simplify: Simplifying (* (- (log (fabs x))) 4) 1540334819.078 * * [misc]simplify: iters left: 6 (6 enodes) 1540334819.079 * * [misc]simplify: iters left: 5 (9 enodes) 1540334819.083 * * [misc]simplify: iters left: 4 (14 enodes) 1540334819.084 * * [misc]simplify: iters left: 3 (15 enodes) 1540334819.086 * [exit]simplify: Simplified to (* (log (fabs x)) -4) 1540334819.086 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (exp (* (log (fabs x)) -4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.086 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1540334819.086 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 4) 1540334819.086 * * [misc]simplify: iters left: 6 (7 enodes) 1540334819.088 * * [misc]simplify: iters left: 5 (14 enodes) 1540334819.089 * * [misc]simplify: iters left: 4 (18 enodes) 1540334819.092 * * [misc]simplify: iters left: 3 (22 enodes) 1540334819.094 * [exit]simplify: Simplified to (* -4 (log (fabs x))) 1540334819.094 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (exp (* -4 (log (fabs x)))) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.094 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1540334819.094 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1540334819.094 * [enter]simplify: Simplifying (fabs x) 1540334819.094 * * [misc]simplify: iters left: 1 (2 enodes) 1540334819.095 * [exit]simplify: Simplified to (fabs x) 1540334819.095 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (fabs x) (* -1 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.095 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1540334819.095 * [enter]simplify: Simplifying (fabs x) 1540334819.095 * * [misc]simplify: iters left: 1 (2 enodes) 1540334819.095 * [exit]simplify: Simplified to (fabs x) 1540334819.095 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (fabs x) (* (- 1) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.095 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1540334819.095 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1540334819.095 * * [misc]simplify: iters left: 3 (4 enodes) 1540334819.096 * * [misc]simplify: iters left: 2 (6 enodes) 1540334819.097 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1540334819.097 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) (* 1 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.097 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1540334819.097 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1540334819.097 * * [misc]simplify: iters left: 6 (8 enodes) 1540334819.098 * * [misc]simplify: iters left: 5 (10 enodes) 1540334819.099 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1540334819.099 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) (pow (cbrt (/ 1 (fabs x))) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.100 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1540334819.100 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 4) 1540334819.100 * * [misc]simplify: iters left: 5 (7 enodes) 1540334819.101 * * [misc]simplify: iters left: 4 (9 enodes) 1540334819.102 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 4) 1540334819.102 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* (pow (sqrt (/ 1 (fabs x))) 4) (pow (sqrt (/ 1 (fabs x))) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.102 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1540334819.102 * [enter]simplify: Simplifying (pow 1 4) 1540334819.102 * * [misc]simplify: iters left: 1 (3 enodes) 1540334819.102 * [exit]simplify: Simplified to 1 1540334819.103 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* 1 (pow (/ 1 (fabs x)) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.103 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1540334819.103 * [enter]simplify: Simplifying (pow 1 4) 1540334819.103 * * [misc]simplify: iters left: 1 (3 enodes) 1540334819.103 * [exit]simplify: Simplified to 1 1540334819.103 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* 1 (pow (/ 1 (fabs x)) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.103 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1540334819.103 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1540334819.103 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1540334819.103 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1540334819.104 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1540334819.104 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1540334819.104 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1540334819.104 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1540334819.104 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.104 * * [misc]simplify: iters left: 6 (31 enodes) 1540334819.109 * * [misc]simplify: iters left: 5 (68 enodes) 1540334819.121 * * [misc]simplify: iters left: 4 (167 enodes) 1540334819.186 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.186 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.186 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1540334819.186 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.186 * * [misc]simplify: iters left: 6 (31 enodes) 1540334819.191 * * [misc]simplify: iters left: 5 (68 enodes) 1540334819.203 * * [misc]simplify: iters left: 4 (167 enodes) 1540334819.272 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.272 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.272 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1540334819.272 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.273 * * [misc]simplify: iters left: 6 (31 enodes) 1540334819.278 * * [misc]simplify: iters left: 5 (68 enodes) 1540334819.292 * * [misc]simplify: iters left: 4 (167 enodes) 1540334819.377 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334819.377 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.377 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1540334819.377 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334819.377 * * [misc]simplify: iters left: 4 (6 enodes) 1540334819.378 * * [misc]simplify: iters left: 3 (8 enodes) 1540334819.379 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334819.379 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.379 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1540334819.379 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334819.380 * * [misc]simplify: iters left: 4 (6 enodes) 1540334819.380 * * [misc]simplify: iters left: 3 (8 enodes) 1540334819.381 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334819.381 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.381 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1540334819.382 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1540334819.382 * * [misc]simplify: iters left: 4 (6 enodes) 1540334819.382 * * [misc]simplify: iters left: 3 (8 enodes) 1540334819.383 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1540334819.383 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334819.383 * * * [misc]progress: adding candidates to table 1540334820.345 * * [misc]progress: iteration 3 / 4 1540334820.345 * * * [misc]progress: picking best candidate 1540334820.421 * * * * [misc]pick: Picked # 1540334820.421 * * * [misc]progress: localizing error 1540334820.443 * * * [misc]progress: generating rewritten candidates 1540334820.443 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1540334820.444 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1540334820.444 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 2 1) 1540334820.444 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1 1) 1540334820.444 * * * [misc]progress: generating series expansions 1540334820.444 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1540334820.444 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1540334820.444 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 2 2 1) 1540334820.444 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1 1) 1540334820.444 * * * [misc]progress: simplifying candidates 1540334820.444 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1540334820.444 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1540334820.444 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1540334820.445 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1540334820.446 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1540334820.446 * * * [misc]progress: adding candidates to table 1540334821.275 * * [misc]progress: iteration 4 / 4 1540334821.275 * * * [misc]progress: picking best candidate 1540334821.323 * * * * [misc]pick: Picked # 1540334821.323 * * * [misc]progress: localizing error 1540334821.374 * * * [misc]progress: generating rewritten candidates 1540334821.374 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 1 1 2 1) 1540334821.378 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2) 1540334821.379 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 2 2 2) 1540334821.379 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 1 2 1) 1540334821.380 * * * [misc]progress: generating series expansions 1540334821.380 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 1 1 2 1) 1540334821.380 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 5) into (pow (/ 1 (fabs x)) 5) 1540334821.380 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 5) in (x) around 0 1540334821.380 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 5) in x 1540334821.380 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334821.380 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334821.380 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334821.380 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334821.380 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 5) in x 1540334821.380 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1540334821.380 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1540334821.380 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1540334821.380 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1540334821.380 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1540334821.381 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1540334821.381 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (pow (fabs x) 4))) into (/ 1 (pow (fabs x) 5)) 1540334821.381 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 5)) into (/ 1 (pow (fabs x) 5)) 1540334821.381 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1540334821.381 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1540334821.382 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1540334821.382 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (pow (fabs x) 4)))) into 0 1540334821.382 * [misc]backup-simplify: Simplify 0 into 0 1540334821.382 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334821.383 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1540334821.383 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1540334821.383 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 4))))) into 0 1540334821.383 * [misc]backup-simplify: Simplify 0 into 0 1540334821.384 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334821.384 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1540334821.385 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1540334821.385 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 4)))))) into 0 1540334821.385 * [misc]backup-simplify: Simplify 0 into 0 1540334821.386 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334821.386 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1540334821.387 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1540334821.388 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 4))))))) into 0 1540334821.388 * [misc]backup-simplify: Simplify 0 into 0 1540334821.388 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334821.389 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1540334821.390 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))))) into 0 1540334821.390 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 4)))))))) into 0 1540334821.390 * [misc]backup-simplify: Simplify 0 into 0 1540334821.391 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1540334821.392 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1540334821.393 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))))) into 0 1540334821.394 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 4))))))))) into 0 1540334821.394 * [misc]backup-simplify: Simplify 0 into 0 1540334821.394 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 5)) into (/ 1 (pow (fabs x) 5)) 1540334821.394 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 5) into (pow (/ 1 (fabs (/ 1 x))) 5) 1540334821.394 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 5) in (x) around 0 1540334821.394 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 5) in x 1540334821.394 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334821.394 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334821.394 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334821.394 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334821.394 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 5) in x 1540334821.394 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1540334821.394 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1540334821.394 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1540334821.395 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1540334821.395 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1540334821.395 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1540334821.395 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (pow (fabs (/ 1 x)) 4))) into (/ 1 (pow (fabs (/ 1 x)) 5)) 1540334821.395 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 5)) into (/ 1 (pow (fabs (/ 1 x)) 5)) 1540334821.396 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.396 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1540334821.396 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1540334821.396 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4)))) into 0 1540334821.396 * [misc]backup-simplify: Simplify 0 into 0 1540334821.397 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.397 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1540334821.397 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1540334821.398 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4))))) into 0 1540334821.398 * [misc]backup-simplify: Simplify 0 into 0 1540334821.398 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.399 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1540334821.399 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1540334821.400 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4)))))) into 0 1540334821.400 * [misc]backup-simplify: Simplify 0 into 0 1540334821.400 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.401 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1540334821.402 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))) into 0 1540334821.402 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4))))))) into 0 1540334821.402 * [misc]backup-simplify: Simplify 0 into 0 1540334821.403 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.404 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1540334821.404 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))))) into 0 1540334821.405 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4)))))))) into 0 1540334821.405 * [misc]backup-simplify: Simplify 0 into 0 1540334821.406 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1540334821.407 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))))) into 0 1540334821.408 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))))))) into 0 1540334821.409 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 4))))))))) into 0 1540334821.409 * [misc]backup-simplify: Simplify 0 into 0 1540334821.409 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 5)) into (/ 1 (pow (fabs x) 5)) 1540334821.409 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 5) into (pow (/ 1 (fabs (/ -1 x))) 5) 1540334821.409 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 5) in (x) around 0 1540334821.409 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 5) in x 1540334821.409 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334821.409 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334821.409 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334821.410 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334821.410 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 5) in x 1540334821.410 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1540334821.410 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1540334821.410 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1540334821.410 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1540334821.410 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1540334821.410 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1540334821.410 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (pow (fabs (/ -1 x)) 4))) into (/ 1 (pow (fabs (/ -1 x)) 5)) 1540334821.411 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 5)) into (/ 1 (pow (fabs (/ -1 x)) 5)) 1540334821.411 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.411 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1540334821.411 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1540334821.412 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4)))) into 0 1540334821.412 * [misc]backup-simplify: Simplify 0 into 0 1540334821.412 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.412 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1540334821.413 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1540334821.413 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4))))) into 0 1540334821.413 * [misc]backup-simplify: Simplify 0 into 0 1540334821.413 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.414 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1540334821.415 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1540334821.415 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4)))))) into 0 1540334821.415 * [misc]backup-simplify: Simplify 0 into 0 1540334821.416 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.417 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1540334821.417 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))) into 0 1540334821.418 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4))))))) into 0 1540334821.418 * [misc]backup-simplify: Simplify 0 into 0 1540334821.418 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.419 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1540334821.420 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))))) into 0 1540334821.421 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4)))))))) into 0 1540334821.421 * [misc]backup-simplify: Simplify 0 into 0 1540334821.421 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1540334821.422 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))))) into 0 1540334821.423 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))))))) into 0 1540334821.424 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 4))))))))) into 0 1540334821.424 * [misc]backup-simplify: Simplify 0 into 0 1540334821.424 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 5)) into (/ 1 (pow (fabs x) 5)) 1540334821.425 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2) 1540334821.425 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 2 2 2) 1540334821.425 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 1 2 1) 1540334821.425 * * * [misc]progress: simplifying candidates 1540334821.425 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1540334821.425 * [enter]simplify: Simplifying (* (- (log (fabs x))) 5) 1540334821.425 * * [misc]simplify: iters left: 6 (6 enodes) 1540334821.427 * * [misc]simplify: iters left: 5 (9 enodes) 1540334821.430 * * [misc]simplify: iters left: 4 (14 enodes) 1540334821.433 * * [misc]simplify: iters left: 3 (15 enodes) 1540334821.436 * [exit]simplify: Simplified to (* (log (fabs x)) -5) 1540334821.436 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (exp (* (log (fabs x)) -5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.437 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1540334821.437 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 5) 1540334821.437 * * [misc]simplify: iters left: 6 (7 enodes) 1540334821.440 * * [misc]simplify: iters left: 5 (14 enodes) 1540334821.443 * * [misc]simplify: iters left: 4 (18 enodes) 1540334821.448 * * [misc]simplify: iters left: 3 (22 enodes) 1540334821.450 * [exit]simplify: Simplified to (* -5 (log (fabs x))) 1540334821.450 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (exp (* -5 (log (fabs x)))) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.450 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1540334821.450 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1540334821.450 * [enter]simplify: Simplifying (fabs x) 1540334821.450 * * [misc]simplify: iters left: 1 (2 enodes) 1540334821.450 * [exit]simplify: Simplified to (fabs x) 1540334821.451 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (fabs x) (* -1 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.451 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1540334821.451 * [enter]simplify: Simplifying (fabs x) 1540334821.451 * * [misc]simplify: iters left: 1 (2 enodes) 1540334821.451 * [exit]simplify: Simplified to (fabs x) 1540334821.451 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (fabs x) (* (- 1) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.451 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1540334821.451 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1540334821.451 * * [misc]simplify: iters left: 3 (4 enodes) 1540334821.452 * * [misc]simplify: iters left: 2 (6 enodes) 1540334821.453 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1540334821.453 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) (* 1 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.453 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1540334821.453 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 5) 1540334821.453 * * [misc]simplify: iters left: 6 (8 enodes) 1540334821.458 * * [misc]simplify: iters left: 5 (10 enodes) 1540334821.459 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 5) 1540334821.459 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 5) (pow (cbrt (/ 1 (fabs x))) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.459 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1540334821.460 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 5) 1540334821.460 * * [misc]simplify: iters left: 5 (7 enodes) 1540334821.461 * * [misc]simplify: iters left: 4 (9 enodes) 1540334821.462 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 5) 1540334821.462 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (* (pow (sqrt (/ 1 (fabs x))) 5) (pow (sqrt (/ 1 (fabs x))) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.462 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1540334821.462 * [enter]simplify: Simplifying (pow 1 5) 1540334821.462 * * [misc]simplify: iters left: 1 (3 enodes) 1540334821.463 * [exit]simplify: Simplified to 1 1540334821.463 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (* 1 (pow (/ 1 (fabs x)) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.463 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1540334821.463 * [enter]simplify: Simplifying (pow 1 5) 1540334821.463 * * [misc]simplify: iters left: 1 (3 enodes) 1540334821.463 * [exit]simplify: Simplified to 1 1540334821.463 * [misc]simplify: Simplified (2 1 1 2 1 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (* 1 (pow (/ 1 (fabs x)) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.464 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1540334821.464 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1540334821.465 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1540334821.465 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 5)) 1540334821.465 * * [misc]simplify: iters left: 4 (6 enodes) 1540334821.466 * * [misc]simplify: iters left: 3 (8 enodes) 1540334821.467 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 5)) 1540334821.467 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (/ 1 (pow (fabs x) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.467 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1540334821.467 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 5)) 1540334821.467 * * [misc]simplify: iters left: 4 (6 enodes) 1540334821.468 * * [misc]simplify: iters left: 3 (8 enodes) 1540334821.469 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 5)) 1540334821.469 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (/ 1 (pow (fabs x) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.469 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1540334821.469 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 5)) 1540334821.469 * * [misc]simplify: iters left: 4 (6 enodes) 1540334821.470 * * [misc]simplify: iters left: 3 (8 enodes) 1540334821.471 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 5)) 1540334821.471 * [misc]simplify: Simplified (2 1 1 2 1) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (/ 1 (pow (fabs x) 5)) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1540334821.471 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1540334821.471 * [enter]simplify: Simplifying (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334821.471 * * [misc]simplify: iters left: 6 (30 enodes) 1540334821.477 * * [misc]simplify: iters left: 5 (57 enodes) 1540334821.494 * * [misc]simplify: iters left: 4 (99 enodes) 1540334821.529 * * [misc]simplify: iters left: 3 (240 enodes) 1540334821.629 * [exit]simplify: Simplified to (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))))) 1540334821.630 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x))))))) 1540334821.630 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1540334821.630 * [enter]simplify: Simplifying (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334821.630 * * [misc]simplify: iters left: 6 (30 enodes) 1540334821.640 * * [misc]simplify: iters left: 5 (57 enodes) 1540334821.658 * * [misc]simplify: iters left: 4 (99 enodes) 1540334821.693 * * [misc]simplify: iters left: 3 (240 enodes) 1540334821.773 * [exit]simplify: Simplified to (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))))) 1540334821.773 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x))))))) 1540334821.773 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1540334821.773 * [enter]simplify: Simplifying (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1540334821.774 * * [misc]simplify: iters left: 6 (30 enodes) 1540334821.778 * * [misc]simplify: iters left: 5 (57 enodes) 1540334821.786 * * [misc]simplify: iters left: 4 (99 enodes) 1540334821.811 * * [misc]simplify: iters left: 3 (240 enodes) 1540334821.913 * [exit]simplify: Simplified to (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))))) 1540334821.913 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (/ (exp (* (fabs x) (fabs x))) (* (fabs x) (sqrt PI))) (* (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (/ (pow (/ 1 (fabs x)) 5) (* (fabs x) (fabs x))))) (* (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (+ (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x))) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x))))))) 1540334821.913 * * * [misc]progress: adding candidates to table 1540334822.837 * [misc]progress: [Phase 3 of 3] Extracting. 1540334822.837 * * [misc]regime: Finding splitpoints for: (# # # # # # # # # # # # # #) 1540334822.851 * * * [misc]regime-changes: Trying 3 branch expressions: (x (fabs x) (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))))) 1540334822.851 * * * * [misc]regimes: Trying to branch on x from (# # # # # # # # # # # # # #) 1540334823.031 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # # # # # # # # # # #) 1540334823.198 * * * * [misc]regimes: Trying to branch on (* (* (/ 1 (sqrt PI)) (exp (* (fabs x) (fabs x)))) (+ (+ (+ (/ 1 (fabs x)) (* (/ 1 2) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 3 4) (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))))) (* (/ 15 8) (* (* (* (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x))) (/ 1 (fabs x)))))) from (# # # # # # # # # # # # # #) 1540334823.428 * * * [misc]regime: Found split indices: #