1544091159.153 * [misc]progress: [Phase 1 of 3] Setting up. 1544091159.154 * * * [misc]progress: [1/2] Preparing points 1544091159.154 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1544091159.155 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1544091159.171 * * * * [misc]points: Setting MPFR precision to 64 1544091159.173 * * * * [misc]points: Setting MPFR precision to 320 1544091159.175 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1544091159.204 * * * * [misc]points: Setting MPFR precision to 64 1544091159.207 * * * * [misc]points: Setting MPFR precision to 320 1544091159.209 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1544091159.233 * * * * [misc]points: Setting MPFR precision to 64 1544091159.236 * * * * [misc]points: Setting MPFR precision to 320 1544091159.239 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1544091159.253 * * * * [misc]points: Setting MPFR precision to 64 1544091159.261 * * * * [misc]points: Setting MPFR precision to 320 1544091159.270 * * * * [misc]points: Computing exacts for 256 points 1544091159.289 * * * * [misc]points: Setting MPFR precision to 64 1544091159.317 * * * * [misc]points: Setting MPFR precision to 320 1544091159.336 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091159.337 * * * * [misc]points: Sampling 232 additional inputs, on iter 1 have 24 / 256 1544091159.338 * * * * [misc]points: Computing exacts on every 14 of 232 points to ramp up precision 1544091159.368 * * * * [misc]points: Setting MPFR precision to 64 1544091159.369 * * * * [misc]points: Setting MPFR precision to 320 1544091159.371 * * * * [misc]points: Computing exacts on every 7 of 232 points to ramp up precision 1544091159.400 * * * * [misc]points: Setting MPFR precision to 64 1544091159.403 * * * * [misc]points: Setting MPFR precision to 320 1544091159.406 * * * * [misc]points: Computing exacts on every 3 of 232 points to ramp up precision 1544091159.443 * * * * [misc]points: Setting MPFR precision to 64 1544091159.447 * * * * [misc]points: Setting MPFR precision to 320 1544091159.450 * * * * [misc]points: Computing exacts for 232 points 1544091159.464 * * * * [misc]points: Setting MPFR precision to 64 1544091159.478 * * * * [misc]points: Setting MPFR precision to 320 1544091159.502 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091159.502 * * * * [misc]points: Sampling 213 additional inputs, on iter 2 have 43 / 256 1544091159.503 * * * * [misc]points: Computing exacts on every 13 of 213 points to ramp up precision 1544091159.521 * * * * [misc]points: Setting MPFR precision to 64 1544091159.541 * * * * [misc]points: Setting MPFR precision to 320 1544091159.542 * * * * [misc]points: Computing exacts on every 6 of 213 points to ramp up precision 1544091159.556 * * * * [misc]points: Setting MPFR precision to 64 1544091159.557 * * * * [misc]points: Setting MPFR precision to 320 1544091159.559 * * * * [misc]points: Computing exacts on every 3 of 213 points to ramp up precision 1544091159.588 * * * * [misc]points: Setting MPFR precision to 64 1544091159.593 * * * * [misc]points: Setting MPFR precision to 320 1544091159.599 * * * * [misc]points: Computing exacts for 213 points 1544091159.628 * * * * [misc]points: Setting MPFR precision to 64 1544091159.668 * * * * [misc]points: Setting MPFR precision to 320 1544091159.689 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091159.689 * * * * [misc]points: Sampling 192 additional inputs, on iter 3 have 64 / 256 1544091159.690 * * * * [misc]points: Computing exacts on every 12 of 192 points to ramp up precision 1544091159.719 * * * * [misc]points: Setting MPFR precision to 64 1544091159.721 * * * * [misc]points: Setting MPFR precision to 320 1544091159.722 * * * * [misc]points: Computing exacts on every 6 of 192 points to ramp up precision 1544091159.752 * * * * [misc]points: Setting MPFR precision to 64 1544091159.755 * * * * [misc]points: Setting MPFR precision to 320 1544091159.757 * * * * [misc]points: Computing exacts on every 3 of 192 points to ramp up precision 1544091159.814 * * * * [misc]points: Setting MPFR precision to 64 1544091159.819 * * * * [misc]points: Setting MPFR precision to 320 1544091159.823 * * * * [misc]points: Computing exacts for 192 points 1544091159.852 * * * * [misc]points: Setting MPFR precision to 64 1544091159.871 * * * * [misc]points: Setting MPFR precision to 320 1544091159.891 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091159.891 * * * * [misc]points: Sampling 177 additional inputs, on iter 4 have 79 / 256 1544091159.892 * * * * [misc]points: Computing exacts on every 11 of 177 points to ramp up precision 1544091159.922 * * * * [misc]points: Setting MPFR precision to 64 1544091159.923 * * * * [misc]points: Setting MPFR precision to 320 1544091159.925 * * * * [misc]points: Computing exacts on every 5 of 177 points to ramp up precision 1544091160.333 * * * * [misc]points: Setting MPFR precision to 64 1544091160.337 * * * * [misc]points: Setting MPFR precision to 320 1544091160.340 * * * * [misc]points: Computing exacts on every 2 of 177 points to ramp up precision 1544091160.369 * * * * [misc]points: Setting MPFR precision to 64 1544091160.373 * * * * [misc]points: Setting MPFR precision to 320 1544091160.376 * * * * [misc]points: Computing exacts for 177 points 1544091160.390 * * * * [misc]points: Setting MPFR precision to 64 1544091160.409 * * * * [misc]points: Setting MPFR precision to 320 1544091160.429 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091160.429 * * * * [misc]points: Sampling 166 additional inputs, on iter 5 have 90 / 256 1544091160.430 * * * * [misc]points: Computing exacts on every 10 of 166 points to ramp up precision 1544091160.458 * * * * [misc]points: Setting MPFR precision to 64 1544091160.460 * * * * [misc]points: Setting MPFR precision to 320 1544091160.462 * * * * [misc]points: Computing exacts on every 5 of 166 points to ramp up precision 1544091160.490 * * * * [misc]points: Setting MPFR precision to 64 1544091160.493 * * * * [misc]points: Setting MPFR precision to 320 1544091160.496 * * * * [misc]points: Computing exacts on every 2 of 166 points to ramp up precision 1544091160.546 * * * * [misc]points: Setting MPFR precision to 64 1544091160.555 * * * * [misc]points: Setting MPFR precision to 320 1544091160.560 * * * * [misc]points: Computing exacts for 166 points 1544091160.574 * * * * [misc]points: Setting MPFR precision to 64 1544091160.582 * * * * [misc]points: Setting MPFR precision to 320 1544091160.594 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091160.594 * * * * [misc]points: Sampling 156 additional inputs, on iter 6 have 100 / 256 1544091160.595 * * * * [misc]points: Computing exacts on every 9 of 156 points to ramp up precision 1544091160.624 * * * * [misc]points: Setting MPFR precision to 64 1544091160.626 * * * * [misc]points: Setting MPFR precision to 320 1544091160.628 * * * * [misc]points: Computing exacts on every 4 of 156 points to ramp up precision 1544091160.685 * * * * [misc]points: Setting MPFR precision to 64 1544091160.688 * * * * [misc]points: Setting MPFR precision to 320 1544091160.692 * * * * [misc]points: Computing exacts on every 2 of 156 points to ramp up precision 1544091160.714 * * * * [misc]points: Setting MPFR precision to 64 1544091160.716 * * * * [misc]points: Setting MPFR precision to 320 1544091160.719 * * * * [misc]points: Computing exacts for 156 points 1544091160.733 * * * * [misc]points: Setting MPFR precision to 64 1544091160.742 * * * * [misc]points: Setting MPFR precision to 320 1544091160.779 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091160.779 * * * * [misc]points: Sampling 144 additional inputs, on iter 7 have 112 / 256 1544091160.780 * * * * [misc]points: Computing exacts on every 9 of 144 points to ramp up precision 1544091160.813 * * * * [misc]points: Setting MPFR precision to 64 1544091160.815 * * * * [misc]points: Setting MPFR precision to 320 1544091160.816 * * * * [misc]points: Computing exacts on every 4 of 144 points to ramp up precision 1544091160.845 * * * * [misc]points: Setting MPFR precision to 64 1544091160.848 * * * * [misc]points: Setting MPFR precision to 320 1544091160.851 * * * * [misc]points: Computing exacts on every 2 of 144 points to ramp up precision 1544091160.878 * * * * [misc]points: Setting MPFR precision to 64 1544091160.880 * * * * [misc]points: Setting MPFR precision to 320 1544091160.883 * * * * [misc]points: Computing exacts for 144 points 1544091160.908 * * * * [misc]points: Setting MPFR precision to 64 1544091160.915 * * * * [misc]points: Setting MPFR precision to 320 1544091160.922 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091160.922 * * * * [misc]points: Sampling 137 additional inputs, on iter 8 have 119 / 256 1544091160.923 * * * * [misc]points: Computing exacts on every 8 of 137 points to ramp up precision 1544091160.936 * * * * [misc]points: Setting MPFR precision to 64 1544091160.937 * * * * [misc]points: Setting MPFR precision to 320 1544091160.938 * * * * [misc]points: Computing exacts on every 4 of 137 points to ramp up precision 1544091160.964 * * * * [misc]points: Setting MPFR precision to 64 1544091160.965 * * * * [misc]points: Setting MPFR precision to 320 1544091160.967 * * * * [misc]points: Computing exacts on every 2 of 137 points to ramp up precision 1544091160.997 * * * * [misc]points: Setting MPFR precision to 64 1544091160.999 * * * * [misc]points: Setting MPFR precision to 320 1544091161.002 * * * * [misc]points: Computing exacts for 137 points 1544091161.016 * * * * [misc]points: Setting MPFR precision to 64 1544091161.022 * * * * [misc]points: Setting MPFR precision to 320 1544091161.029 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.029 * * * * [misc]points: Sampling 128 additional inputs, on iter 9 have 128 / 256 1544091161.030 * * * * [misc]points: Computing exacts on every 8 of 128 points to ramp up precision 1544091161.058 * * * * [misc]points: Setting MPFR precision to 64 1544091161.059 * * * * [misc]points: Setting MPFR precision to 320 1544091161.060 * * * * [misc]points: Computing exacts on every 4 of 128 points to ramp up precision 1544091161.076 * * * * [misc]points: Setting MPFR precision to 64 1544091161.079 * * * * [misc]points: Setting MPFR precision to 320 1544091161.082 * * * * [misc]points: Computing exacts on every 2 of 128 points to ramp up precision 1544091161.111 * * * * [misc]points: Setting MPFR precision to 64 1544091161.115 * * * * [misc]points: Setting MPFR precision to 320 1544091161.119 * * * * [misc]points: Computing exacts for 128 points 1544091161.155 * * * * [misc]points: Setting MPFR precision to 64 1544091161.161 * * * * [misc]points: Setting MPFR precision to 320 1544091161.169 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.169 * * * * [misc]points: Sampling 119 additional inputs, on iter 10 have 137 / 256 1544091161.169 * * * * [misc]points: Computing exacts on every 7 of 119 points to ramp up precision 1544091161.183 * * * * [misc]points: Setting MPFR precision to 64 1544091161.185 * * * * [misc]points: Setting MPFR precision to 320 1544091161.186 * * * * [misc]points: Computing exacts on every 3 of 119 points to ramp up precision 1544091161.213 * * * * [misc]points: Setting MPFR precision to 64 1544091161.215 * * * * [misc]points: Setting MPFR precision to 320 1544091161.216 * * * * [misc]points: Computing exacts for 119 points 1544091161.243 * * * * [misc]points: Setting MPFR precision to 64 1544091161.251 * * * * [misc]points: Setting MPFR precision to 320 1544091161.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.263 * * * * [misc]points: Sampling 107 additional inputs, on iter 11 have 149 / 256 1544091161.263 * * * * [misc]points: Computing exacts on every 6 of 107 points to ramp up precision 1544091161.292 * * * * [misc]points: Setting MPFR precision to 64 1544091161.294 * * * * [misc]points: Setting MPFR precision to 320 1544091161.296 * * * * [misc]points: Computing exacts on every 3 of 107 points to ramp up precision 1544091161.326 * * * * [misc]points: Setting MPFR precision to 64 1544091161.328 * * * * [misc]points: Setting MPFR precision to 320 1544091161.331 * * * * [misc]points: Computing exacts for 107 points 1544091161.379 * * * * [misc]points: Setting MPFR precision to 64 1544091161.385 * * * * [misc]points: Setting MPFR precision to 320 1544091161.390 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.390 * * * * [misc]points: Sampling 99 additional inputs, on iter 12 have 157 / 256 1544091161.390 * * * * [misc]points: Computing exacts on every 6 of 99 points to ramp up precision 1544091161.404 * * * * [misc]points: Setting MPFR precision to 64 1544091161.406 * * * * [misc]points: Setting MPFR precision to 320 1544091161.407 * * * * [misc]points: Computing exacts on every 3 of 99 points to ramp up precision 1544091161.435 * * * * [misc]points: Setting MPFR precision to 64 1544091161.438 * * * * [misc]points: Setting MPFR precision to 320 1544091161.440 * * * * [misc]points: Computing exacts for 99 points 1544091161.472 * * * * [misc]points: Setting MPFR precision to 64 1544091161.477 * * * * [misc]points: Setting MPFR precision to 320 1544091161.485 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.485 * * * * [misc]points: Sampling 92 additional inputs, on iter 13 have 164 / 256 1544091161.485 * * * * [misc]points: Computing exacts on every 5 of 92 points to ramp up precision 1544091161.511 * * * * [misc]points: Setting MPFR precision to 64 1544091161.512 * * * * [misc]points: Setting MPFR precision to 320 1544091161.513 * * * * [misc]points: Computing exacts on every 2 of 92 points to ramp up precision 1544091161.526 * * * * [misc]points: Setting MPFR precision to 64 1544091161.528 * * * * [misc]points: Setting MPFR precision to 320 1544091161.529 * * * * [misc]points: Computing exacts for 92 points 1544091161.559 * * * * [misc]points: Setting MPFR precision to 64 1544091161.564 * * * * [misc]points: Setting MPFR precision to 320 1544091161.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.569 * * * * [misc]points: Sampling 84 additional inputs, on iter 14 have 172 / 256 1544091161.569 * * * * [misc]points: Computing exacts on every 5 of 84 points to ramp up precision 1544091161.592 * * * * [misc]points: Setting MPFR precision to 64 1544091161.593 * * * * [misc]points: Setting MPFR precision to 320 1544091161.595 * * * * [misc]points: Computing exacts on every 2 of 84 points to ramp up precision 1544091161.623 * * * * [misc]points: Setting MPFR precision to 64 1544091161.627 * * * * [misc]points: Setting MPFR precision to 320 1544091161.629 * * * * [misc]points: Computing exacts for 84 points 1544091161.670 * * * * [misc]points: Setting MPFR precision to 64 1544091161.674 * * * * [misc]points: Setting MPFR precision to 320 1544091161.679 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.679 * * * * [misc]points: Sampling 77 additional inputs, on iter 15 have 179 / 256 1544091161.679 * * * * [misc]points: Computing exacts on every 4 of 77 points to ramp up precision 1544091161.693 * * * * [misc]points: Setting MPFR precision to 64 1544091161.694 * * * * [misc]points: Setting MPFR precision to 320 1544091161.694 * * * * [misc]points: Computing exacts on every 2 of 77 points to ramp up precision 1544091161.723 * * * * [misc]points: Setting MPFR precision to 64 1544091161.725 * * * * [misc]points: Setting MPFR precision to 320 1544091161.728 * * * * [misc]points: Computing exacts for 77 points 1544091161.759 * * * * [misc]points: Setting MPFR precision to 64 1544091161.763 * * * * [misc]points: Setting MPFR precision to 320 1544091161.771 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.771 * * * * [misc]points: Sampling 71 additional inputs, on iter 16 have 185 / 256 1544091161.772 * * * * [misc]points: Computing exacts on every 4 of 71 points to ramp up precision 1544091161.802 * * * * [misc]points: Setting MPFR precision to 64 1544091161.803 * * * * [misc]points: Setting MPFR precision to 320 1544091161.805 * * * * [misc]points: Computing exacts on every 2 of 71 points to ramp up precision 1544091161.834 * * * * [misc]points: Setting MPFR precision to 64 1544091161.836 * * * * [misc]points: Setting MPFR precision to 320 1544091161.839 * * * * [misc]points: Computing exacts for 71 points 1544091161.880 * * * * [misc]points: Setting MPFR precision to 64 1544091161.884 * * * * [misc]points: Setting MPFR precision to 320 1544091161.887 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.888 * * * * [misc]points: Sampling 65 additional inputs, on iter 17 have 191 / 256 1544091161.888 * * * * [misc]points: Computing exacts on every 4 of 65 points to ramp up precision 1544091161.901 * * * * [misc]points: Setting MPFR precision to 64 1544091161.902 * * * * [misc]points: Setting MPFR precision to 320 1544091161.903 * * * * [misc]points: Computing exacts on every 2 of 65 points to ramp up precision 1544091161.917 * * * * [misc]points: Setting MPFR precision to 64 1544091161.918 * * * * [misc]points: Setting MPFR precision to 320 1544091161.919 * * * * [misc]points: Computing exacts for 65 points 1544091161.965 * * * * [misc]points: Setting MPFR precision to 64 1544091161.972 * * * * [misc]points: Setting MPFR precision to 320 1544091161.979 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091161.979 * * * * [misc]points: Sampling 59 additional inputs, on iter 18 have 197 / 256 1544091161.979 * * * * [misc]points: Computing exacts on every 3 of 59 points to ramp up precision 1544091162.008 * * * * [misc]points: Setting MPFR precision to 64 1544091162.010 * * * * [misc]points: Setting MPFR precision to 320 1544091162.011 * * * * [misc]points: Computing exacts for 59 points 1544091162.040 * * * * [misc]points: Setting MPFR precision to 64 1544091162.045 * * * * [misc]points: Setting MPFR precision to 320 1544091162.048 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.048 * * * * [misc]points: Sampling 56 additional inputs, on iter 19 have 200 / 256 1544091162.048 * * * * [misc]points: Computing exacts on every 3 of 56 points to ramp up precision 1544091162.078 * * * * [misc]points: Setting MPFR precision to 64 1544091162.080 * * * * [misc]points: Setting MPFR precision to 320 1544091162.081 * * * * [misc]points: Computing exacts for 56 points 1544091162.109 * * * * [misc]points: Setting MPFR precision to 64 1544091162.111 * * * * [misc]points: Setting MPFR precision to 320 1544091162.114 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.114 * * * * [misc]points: Sampling 52 additional inputs, on iter 20 have 204 / 256 1544091162.114 * * * * [misc]points: Computing exacts on every 3 of 52 points to ramp up precision 1544091162.128 * * * * [misc]points: Setting MPFR precision to 64 1544091162.129 * * * * [misc]points: Setting MPFR precision to 320 1544091162.130 * * * * [misc]points: Computing exacts for 52 points 1544091162.165 * * * * [misc]points: Setting MPFR precision to 64 1544091162.170 * * * * [misc]points: Setting MPFR precision to 320 1544091162.173 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.173 * * * * [misc]points: Sampling 48 additional inputs, on iter 21 have 208 / 256 1544091162.173 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1544091162.187 * * * * [misc]points: Setting MPFR precision to 64 1544091162.188 * * * * [misc]points: Setting MPFR precision to 320 1544091162.189 * * * * [misc]points: Computing exacts for 48 points 1544091162.202 * * * * [misc]points: Setting MPFR precision to 64 1544091162.206 * * * * [misc]points: Setting MPFR precision to 320 1544091162.211 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.211 * * * * [misc]points: Sampling 46 additional inputs, on iter 22 have 210 / 256 1544091162.212 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1544091162.249 * * * * [misc]points: Setting MPFR precision to 64 1544091162.250 * * * * [misc]points: Setting MPFR precision to 320 1544091162.251 * * * * [misc]points: Computing exacts for 46 points 1544091162.266 * * * * [misc]points: Setting MPFR precision to 64 1544091162.271 * * * * [misc]points: Setting MPFR precision to 320 1544091162.276 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.276 * * * * [misc]points: Sampling 41 additional inputs, on iter 23 have 215 / 256 1544091162.276 * * * * [misc]points: Computing exacts on every 2 of 41 points to ramp up precision 1544091162.305 * * * * [misc]points: Setting MPFR precision to 64 1544091162.306 * * * * [misc]points: Setting MPFR precision to 320 1544091162.308 * * * * [misc]points: Computing exacts for 41 points 1544091162.354 * * * * [misc]points: Setting MPFR precision to 64 1544091162.359 * * * * [misc]points: Setting MPFR precision to 320 1544091162.363 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.363 * * * * [misc]points: Sampling 37 additional inputs, on iter 24 have 219 / 256 1544091162.364 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1544091162.393 * * * * [misc]points: Setting MPFR precision to 64 1544091162.394 * * * * [misc]points: Setting MPFR precision to 320 1544091162.396 * * * * [misc]points: Computing exacts for 37 points 1544091162.426 * * * * [misc]points: Setting MPFR precision to 64 1544091162.430 * * * * [misc]points: Setting MPFR precision to 320 1544091162.434 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.434 * * * * [misc]points: Sampling 32 additional inputs, on iter 25 have 224 / 256 1544091162.434 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1544091162.468 * * * * [misc]points: Setting MPFR precision to 64 1544091162.469 * * * * [misc]points: Setting MPFR precision to 320 1544091162.470 * * * * [misc]points: Computing exacts for 32 points 1544091162.485 * * * * [misc]points: Setting MPFR precision to 64 1544091162.488 * * * * [misc]points: Setting MPFR precision to 320 1544091162.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.491 * * * * [misc]points: Sampling 28 additional inputs, on iter 26 have 228 / 256 1544091162.491 * * * * [misc]points: Computing exacts for 28 points 1544091162.521 * * * * [misc]points: Setting MPFR precision to 64 1544091162.522 * * * * [misc]points: Setting MPFR precision to 320 1544091162.524 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.524 * * * * [misc]points: Sampling 26 additional inputs, on iter 27 have 230 / 256 1544091162.524 * * * * [misc]points: Computing exacts for 26 points 1544091162.547 * * * * [misc]points: Setting MPFR precision to 64 1544091162.548 * * * * [misc]points: Setting MPFR precision to 320 1544091162.550 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.550 * * * * [misc]points: Sampling 25 additional inputs, on iter 28 have 231 / 256 1544091162.550 * * * * [misc]points: Computing exacts for 25 points 1544091162.577 * * * * [misc]points: Setting MPFR precision to 64 1544091162.580 * * * * [misc]points: Setting MPFR precision to 320 1544091162.583 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.583 * * * * [misc]points: Sampling 25 additional inputs, on iter 29 have 231 / 256 1544091162.583 * * * * [misc]points: Computing exacts for 25 points 1544091162.614 * * * * [misc]points: Setting MPFR precision to 64 1544091162.617 * * * * [misc]points: Setting MPFR precision to 320 1544091162.619 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.619 * * * * [misc]points: Sampling 21 additional inputs, on iter 30 have 235 / 256 1544091162.619 * * * * [misc]points: Computing exacts for 21 points 1544091162.662 * * * * [misc]points: Setting MPFR precision to 64 1544091162.667 * * * * [misc]points: Setting MPFR precision to 320 1544091162.670 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.670 * * * * [misc]points: Sampling 18 additional inputs, on iter 31 have 238 / 256 1544091162.670 * * * * [misc]points: Computing exacts for 18 points 1544091162.699 * * * * [misc]points: Setting MPFR precision to 64 1544091162.702 * * * * [misc]points: Setting MPFR precision to 320 1544091162.704 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.704 * * * * [misc]points: Sampling 16 additional inputs, on iter 32 have 240 / 256 1544091162.704 * * * * [misc]points: Computing exacts for 16 points 1544091162.733 * * * * [misc]points: Setting MPFR precision to 64 1544091162.734 * * * * [misc]points: Setting MPFR precision to 320 1544091162.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.736 * * * * [misc]points: Sampling 16 additional inputs, on iter 33 have 240 / 256 1544091162.736 * * * * [misc]points: Computing exacts for 16 points 1544091162.778 * * * * [misc]points: Setting MPFR precision to 64 1544091162.783 * * * * [misc]points: Setting MPFR precision to 320 1544091162.785 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.785 * * * * [misc]points: Sampling 15 additional inputs, on iter 34 have 241 / 256 1544091162.785 * * * * [misc]points: Computing exacts for 15 points 1544091162.804 * * * * [misc]points: Setting MPFR precision to 64 1544091162.805 * * * * [misc]points: Setting MPFR precision to 320 1544091162.806 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.806 * * * * [misc]points: Sampling 14 additional inputs, on iter 35 have 242 / 256 1544091162.806 * * * * [misc]points: Computing exacts for 14 points 1544091162.821 * * * * [misc]points: Setting MPFR precision to 64 1544091162.822 * * * * [misc]points: Setting MPFR precision to 320 1544091162.823 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.823 * * * * [misc]points: Sampling 13 additional inputs, on iter 36 have 243 / 256 1544091162.823 * * * * [misc]points: Computing exacts for 13 points 1544091162.837 * * * * [misc]points: Setting MPFR precision to 64 1544091162.838 * * * * [misc]points: Setting MPFR precision to 320 1544091162.839 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.839 * * * * [misc]points: Sampling 11 additional inputs, on iter 37 have 245 / 256 1544091162.839 * * * * [misc]points: Computing exacts for 11 points 1544091162.862 * * * * [misc]points: Setting MPFR precision to 64 1544091162.863 * * * * [misc]points: Setting MPFR precision to 320 1544091162.864 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.864 * * * * [misc]points: Sampling 10 additional inputs, on iter 38 have 246 / 256 1544091162.864 * * * * [misc]points: Computing exacts for 10 points 1544091162.893 * * * * [misc]points: Setting MPFR precision to 64 1544091162.894 * * * * [misc]points: Setting MPFR precision to 320 1544091162.895 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.895 * * * * [misc]points: Sampling 10 additional inputs, on iter 39 have 246 / 256 1544091162.895 * * * * [misc]points: Computing exacts for 10 points 1544091162.925 * * * * [misc]points: Setting MPFR precision to 64 1544091162.926 * * * * [misc]points: Setting MPFR precision to 320 1544091162.927 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.927 * * * * [misc]points: Sampling 10 additional inputs, on iter 40 have 246 / 256 1544091162.927 * * * * [misc]points: Computing exacts for 10 points 1544091162.970 * * * * [misc]points: Setting MPFR precision to 64 1544091162.971 * * * * [misc]points: Setting MPFR precision to 320 1544091162.972 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.972 * * * * [misc]points: Sampling 10 additional inputs, on iter 41 have 246 / 256 1544091162.972 * * * * [misc]points: Computing exacts for 10 points 1544091162.994 * * * * [misc]points: Setting MPFR precision to 64 1544091162.995 * * * * [misc]points: Setting MPFR precision to 320 1544091162.995 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091162.996 * * * * [misc]points: Sampling 9 additional inputs, on iter 42 have 247 / 256 1544091162.996 * * * * [misc]points: Computing exacts for 9 points 1544091163.009 * * * * [misc]points: Setting MPFR precision to 64 1544091163.010 * * * * [misc]points: Setting MPFR precision to 320 1544091163.010 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.010 * * * * [misc]points: Sampling 7 additional inputs, on iter 43 have 249 / 256 1544091163.010 * * * * [misc]points: Computing exacts for 7 points 1544091163.048 * * * * [misc]points: Setting MPFR precision to 64 1544091163.049 * * * * [misc]points: Setting MPFR precision to 320 1544091163.050 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.050 * * * * [misc]points: Sampling 7 additional inputs, on iter 44 have 249 / 256 1544091163.050 * * * * [misc]points: Computing exacts for 7 points 1544091163.078 * * * * [misc]points: Setting MPFR precision to 64 1544091163.081 * * * * [misc]points: Setting MPFR precision to 320 1544091163.082 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.082 * * * * [misc]points: Sampling 7 additional inputs, on iter 45 have 249 / 256 1544091163.082 * * * * [misc]points: Computing exacts for 7 points 1544091163.111 * * * * [misc]points: Setting MPFR precision to 64 1544091163.112 * * * * [misc]points: Setting MPFR precision to 320 1544091163.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.113 * * * * [misc]points: Sampling 7 additional inputs, on iter 46 have 249 / 256 1544091163.113 * * * * [misc]points: Computing exacts for 7 points 1544091163.142 * * * * [misc]points: Setting MPFR precision to 64 1544091163.142 * * * * [misc]points: Setting MPFR precision to 320 1544091163.143 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.143 * * * * [misc]points: Sampling 7 additional inputs, on iter 47 have 249 / 256 1544091163.143 * * * * [misc]points: Computing exacts for 7 points 1544091163.186 * * * * [misc]points: Setting MPFR precision to 64 1544091163.187 * * * * [misc]points: Setting MPFR precision to 320 1544091163.188 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.188 * * * * [misc]points: Sampling 7 additional inputs, on iter 48 have 249 / 256 1544091163.188 * * * * [misc]points: Computing exacts for 7 points 1544091163.217 * * * * [misc]points: Setting MPFR precision to 64 1544091163.218 * * * * [misc]points: Setting MPFR precision to 320 1544091163.219 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.219 * * * * [misc]points: Sampling 7 additional inputs, on iter 49 have 249 / 256 1544091163.219 * * * * [misc]points: Computing exacts for 7 points 1544091163.239 * * * * [misc]points: Setting MPFR precision to 64 1544091163.240 * * * * [misc]points: Setting MPFR precision to 320 1544091163.240 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.240 * * * * [misc]points: Sampling 7 additional inputs, on iter 50 have 249 / 256 1544091163.240 * * * * [misc]points: Computing exacts for 7 points 1544091163.262 * * * * [misc]points: Setting MPFR precision to 64 1544091163.262 * * * * [misc]points: Setting MPFR precision to 320 1544091163.263 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.263 * * * * [misc]points: Sampling 5 additional inputs, on iter 51 have 251 / 256 1544091163.263 * * * * [misc]points: Computing exacts for 5 points 1544091163.282 * * * * [misc]points: Setting MPFR precision to 64 1544091163.282 * * * * [misc]points: Setting MPFR precision to 320 1544091163.283 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.283 * * * * [misc]points: Sampling 5 additional inputs, on iter 52 have 251 / 256 1544091163.283 * * * * [misc]points: Computing exacts for 5 points 1544091163.312 * * * * [misc]points: Setting MPFR precision to 64 1544091163.313 * * * * [misc]points: Setting MPFR precision to 320 1544091163.313 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.313 * * * * [misc]points: Sampling 5 additional inputs, on iter 53 have 251 / 256 1544091163.313 * * * * [misc]points: Computing exacts for 5 points 1544091163.352 * * * * [misc]points: Setting MPFR precision to 64 1544091163.352 * * * * [misc]points: Setting MPFR precision to 320 1544091163.353 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.353 * * * * [misc]points: Sampling 4 additional inputs, on iter 54 have 252 / 256 1544091163.353 * * * * [misc]points: Computing exacts for 4 points 1544091163.384 * * * * [misc]points: Setting MPFR precision to 64 1544091163.385 * * * * [misc]points: Setting MPFR precision to 320 1544091163.385 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.386 * * * * [misc]points: Sampling 4 additional inputs, on iter 55 have 253 / 256 1544091163.386 * * * * [misc]points: Computing exacts for 4 points 1544091163.415 * * * * [misc]points: Setting MPFR precision to 64 1544091163.416 * * * * [misc]points: Setting MPFR precision to 320 1544091163.416 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.416 * * * * [misc]points: Sampling 4 additional inputs, on iter 56 have 253 / 256 1544091163.416 * * * * [misc]points: Computing exacts for 4 points 1544091163.436 * * * * [misc]points: Setting MPFR precision to 64 1544091163.436 * * * * [misc]points: Setting MPFR precision to 320 1544091163.436 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.436 * * * * [misc]points: Sampling 4 additional inputs, on iter 57 have 253 / 256 1544091163.436 * * * * [misc]points: Computing exacts for 4 points 1544091163.460 * * * * [misc]points: Setting MPFR precision to 64 1544091163.460 * * * * [misc]points: Setting MPFR precision to 320 1544091163.461 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.461 * * * * [misc]points: Sampling 4 additional inputs, on iter 58 have 253 / 256 1544091163.461 * * * * [misc]points: Computing exacts for 4 points 1544091163.490 * * * * [misc]points: Setting MPFR precision to 64 1544091163.491 * * * * [misc]points: Setting MPFR precision to 320 1544091163.491 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.491 * * * * [misc]points: Sampling 4 additional inputs, on iter 59 have 253 / 256 1544091163.492 * * * * [misc]points: Computing exacts for 4 points 1544091163.521 * * * * [misc]points: Setting MPFR precision to 64 1544091163.521 * * * * [misc]points: Setting MPFR precision to 320 1544091163.522 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.522 * * * * [misc]points: Sampling 4 additional inputs, on iter 60 have 254 / 256 1544091163.522 * * * * [misc]points: Computing exacts for 4 points 1544091163.548 * * * * [misc]points: Setting MPFR precision to 64 1544091163.549 * * * * [misc]points: Setting MPFR precision to 320 1544091163.549 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.549 * * * * [misc]points: Sampling 4 additional inputs, on iter 61 have 254 / 256 1544091163.549 * * * * [misc]points: Computing exacts for 4 points 1544091163.563 * * * * [misc]points: Setting MPFR precision to 64 1544091163.563 * * * * [misc]points: Setting MPFR precision to 320 1544091163.563 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.563 * * * * [misc]points: Sampling 4 additional inputs, on iter 62 have 254 / 256 1544091163.564 * * * * [misc]points: Computing exacts for 4 points 1544091163.593 * * * * [misc]points: Setting MPFR precision to 64 1544091163.594 * * * * [misc]points: Setting MPFR precision to 320 1544091163.595 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.595 * * * * [misc]points: Sampling 4 additional inputs, on iter 63 have 254 / 256 1544091163.595 * * * * [misc]points: Computing exacts for 4 points 1544091163.620 * * * * [misc]points: Setting MPFR precision to 64 1544091163.620 * * * * [misc]points: Setting MPFR precision to 320 1544091163.621 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.621 * * * * [misc]points: Sampling 4 additional inputs, on iter 64 have 254 / 256 1544091163.621 * * * * [misc]points: Computing exacts for 4 points 1544091163.642 * * * * [misc]points: Setting MPFR precision to 64 1544091163.643 * * * * [misc]points: Setting MPFR precision to 320 1544091163.643 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.643 * * * * [misc]points: Sampling 4 additional inputs, on iter 65 have 254 / 256 1544091163.643 * * * * [misc]points: Computing exacts for 4 points 1544091163.667 * * * * [misc]points: Setting MPFR precision to 64 1544091163.668 * * * * [misc]points: Setting MPFR precision to 320 1544091163.668 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.669 * * * * [misc]points: Sampling 4 additional inputs, on iter 66 have 254 / 256 1544091163.669 * * * * [misc]points: Computing exacts for 4 points 1544091163.691 * * * * [misc]points: Setting MPFR precision to 64 1544091163.691 * * * * [misc]points: Setting MPFR precision to 320 1544091163.691 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.691 * * * * [misc]points: Sampling 4 additional inputs, on iter 67 have 254 / 256 1544091163.691 * * * * [misc]points: Computing exacts for 4 points 1544091163.713 * * * * [misc]points: Setting MPFR precision to 64 1544091163.713 * * * * [misc]points: Setting MPFR precision to 320 1544091163.714 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.714 * * * * [misc]points: Sampling 4 additional inputs, on iter 68 have 254 / 256 1544091163.714 * * * * [misc]points: Computing exacts for 4 points 1544091163.732 * * * * [misc]points: Setting MPFR precision to 64 1544091163.732 * * * * [misc]points: Setting MPFR precision to 320 1544091163.732 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.732 * * * * [misc]points: Sampling 4 additional inputs, on iter 69 have 254 / 256 1544091163.733 * * * * [misc]points: Computing exacts for 4 points 1544091163.747 * * * * [misc]points: Setting MPFR precision to 64 1544091163.747 * * * * [misc]points: Setting MPFR precision to 320 1544091163.747 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.747 * * * * [misc]points: Sampling 4 additional inputs, on iter 70 have 254 / 256 1544091163.747 * * * * [misc]points: Computing exacts for 4 points 1544091163.775 * * * * [misc]points: Setting MPFR precision to 64 1544091163.776 * * * * [misc]points: Setting MPFR precision to 320 1544091163.776 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.776 * * * * [misc]points: Sampling 4 additional inputs, on iter 71 have 254 / 256 1544091163.776 * * * * [misc]points: Computing exacts for 4 points 1544091163.806 * * * * [misc]points: Setting MPFR precision to 64 1544091163.806 * * * * [misc]points: Setting MPFR precision to 320 1544091163.807 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.807 * * * * [misc]points: Sampling 4 additional inputs, on iter 72 have 254 / 256 1544091163.807 * * * * [misc]points: Computing exacts for 4 points 1544091163.834 * * * * [misc]points: Setting MPFR precision to 64 1544091163.834 * * * * [misc]points: Setting MPFR precision to 320 1544091163.835 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.835 * * * * [misc]points: Sampling 4 additional inputs, on iter 73 have 254 / 256 1544091163.835 * * * * [misc]points: Computing exacts for 4 points 1544091163.849 * * * * [misc]points: Setting MPFR precision to 64 1544091163.850 * * * * [misc]points: Setting MPFR precision to 320 1544091163.850 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.850 * * * * [misc]points: Sampling 4 additional inputs, on iter 74 have 254 / 256 1544091163.850 * * * * [misc]points: Computing exacts for 4 points 1544091163.881 * * * * [misc]points: Setting MPFR precision to 64 1544091163.882 * * * * [misc]points: Setting MPFR precision to 320 1544091163.882 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.882 * * * * [misc]points: Sampling 4 additional inputs, on iter 75 have 254 / 256 1544091163.882 * * * * [misc]points: Computing exacts for 4 points 1544091163.912 * * * * [misc]points: Setting MPFR precision to 64 1544091163.912 * * * * [misc]points: Setting MPFR precision to 320 1544091163.913 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.913 * * * * [misc]points: Sampling 4 additional inputs, on iter 76 have 254 / 256 1544091163.913 * * * * [misc]points: Computing exacts for 4 points 1544091163.932 * * * * [misc]points: Setting MPFR precision to 64 1544091163.933 * * * * [misc]points: Setting MPFR precision to 320 1544091163.933 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.933 * * * * [misc]points: Sampling 4 additional inputs, on iter 77 have 254 / 256 1544091163.933 * * * * [misc]points: Computing exacts for 4 points 1544091163.953 * * * * [misc]points: Setting MPFR precision to 64 1544091163.953 * * * * [misc]points: Setting MPFR precision to 320 1544091163.953 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.953 * * * * [misc]points: Sampling 4 additional inputs, on iter 78 have 254 / 256 1544091163.953 * * * * [misc]points: Computing exacts for 4 points 1544091163.982 * * * * [misc]points: Setting MPFR precision to 64 1544091163.982 * * * * [misc]points: Setting MPFR precision to 320 1544091163.983 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091163.983 * * * * [misc]points: Sampling 4 additional inputs, on iter 79 have 255 / 256 1544091163.983 * * * * [misc]points: Computing exacts for 4 points 1544091164.013 * * * * [misc]points: Setting MPFR precision to 64 1544091164.013 * * * * [misc]points: Setting MPFR precision to 320 1544091164.014 * * * * [misc]points: Filtering points with unrepresentable outputs 1544091164.014 * * * * [exit]points: Sampled 256 points with exact outputs 1544091164.014 * * * [misc]progress: [2/2] Setting up program. 1544091164.024 * [misc]progress: [Phase 2 of 3] Improving. 1544091164.025 * [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)))))) 1544091164.025 * * [misc]simplify: iters left: 6 (31 enodes) 1544091164.039 * * [misc]simplify: iters left: 5 (95 enodes) 1544091164.075 * * [misc]simplify: iters left: 4 (401 enodes) 1544091165.015 * [exit]simplify: Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8)))) 1544091165.030 * * [misc]progress: iteration 1 / 4 1544091165.030 * * * [misc]progress: picking best candidate 1544091165.045 * * * * [misc]pick: Picked # 1544091165.045 * * * [misc]progress: localizing error 1544091165.170 * * * [misc]progress: generating rewritten candidates 1544091165.170 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 3 2 2 1 2) 1544091165.170 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1544091165.170 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 3 1 2) 1544091165.173 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 3 2) 1544091165.181 * * * [misc]progress: generating series expansions 1544091165.181 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 3 2 2 1 2) 1544091165.181 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1544091165.181 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 3 1 2) 1544091165.181 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 4) into (pow (/ 1 (fabs x)) 4) 1544091165.181 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in (x) around 0 1544091165.181 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1544091165.181 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1544091165.181 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091165.181 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091165.181 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1544091165.181 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1544091165.181 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1544091165.181 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091165.181 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091165.181 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1544091165.181 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1544091165.181 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1544091165.181 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1544091165.181 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1544091165.182 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1544091165.182 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1544091165.182 * [misc]backup-simplify: Simplify 0 into 0 1544091165.182 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1544091165.182 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1544091165.182 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1544091165.182 * [misc]backup-simplify: Simplify 0 into 0 1544091165.190 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1544091165.191 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1544091165.191 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1544091165.192 * [misc]backup-simplify: Simplify 0 into 0 1544091165.192 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1544091165.192 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1544091165.193 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1544091165.193 * [misc]backup-simplify: Simplify 0 into 0 1544091165.193 * [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 1544091165.194 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1544091165.195 * [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 1544091165.195 * [misc]backup-simplify: Simplify 0 into 0 1544091165.195 * [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 1544091165.196 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1544091165.197 * [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 1544091165.197 * [misc]backup-simplify: Simplify 0 into 0 1544091165.197 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1544091165.197 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 4) into (pow (/ 1 (fabs (/ 1 x))) 4) 1544091165.197 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in (x) around 0 1544091165.197 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1544091165.197 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1544091165.197 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091165.198 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091165.198 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1544091165.198 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1544091165.198 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1544091165.198 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091165.198 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091165.198 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1544091165.198 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091165.198 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1544091165.198 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 4)) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1544091165.199 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1544091165.199 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1544091165.199 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1544091165.199 * [misc]backup-simplify: Simplify 0 into 0 1544091165.200 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1544091165.200 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1544091165.200 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.200 * [misc]backup-simplify: Simplify 0 into 0 1544091165.201 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1544091165.201 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1544091165.202 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1544091165.202 * [misc]backup-simplify: Simplify 0 into 0 1544091165.202 * [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 1544091165.203 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1544091165.204 * [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 1544091165.204 * [misc]backup-simplify: Simplify 0 into 0 1544091165.204 * [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 1544091165.205 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1544091165.206 * [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 1544091165.206 * [misc]backup-simplify: Simplify 0 into 0 1544091165.206 * [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 1544091165.207 * [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 1544091165.208 * [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 1544091165.208 * [misc]backup-simplify: Simplify 0 into 0 1544091165.208 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 4)) into (/ 1 (pow (fabs x) 4)) 1544091165.208 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 4) into (pow (/ 1 (fabs (/ -1 x))) 4) 1544091165.208 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in (x) around 0 1544091165.208 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1544091165.208 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1544091165.208 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091165.209 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091165.209 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1544091165.209 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1544091165.209 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1544091165.209 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091165.209 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091165.209 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1544091165.209 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091165.209 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1544091165.210 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 4)) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1544091165.210 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1544091165.210 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1544091165.210 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1544091165.210 * [misc]backup-simplify: Simplify 0 into 0 1544091165.211 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1544091165.211 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1544091165.211 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.212 * [misc]backup-simplify: Simplify 0 into 0 1544091165.212 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1544091165.212 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1544091165.213 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1544091165.213 * [misc]backup-simplify: Simplify 0 into 0 1544091165.213 * [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 1544091165.214 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1544091165.215 * [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 1544091165.215 * [misc]backup-simplify: Simplify 0 into 0 1544091165.215 * [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 1544091165.216 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1544091165.216 * [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 1544091165.216 * [misc]backup-simplify: Simplify 0 into 0 1544091165.216 * [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 1544091165.217 * [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 1544091165.218 * [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 1544091165.218 * [misc]backup-simplify: Simplify 0 into 0 1544091165.218 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) into (/ 1 (pow (fabs x) 4)) 1544091165.218 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 3 2) 1544091165.218 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1544091165.218 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in (x) around 0 1544091165.218 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091165.218 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091165.218 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091165.218 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091165.218 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091165.218 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.218 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091165.218 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091165.218 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091165.218 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091165.218 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091165.218 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.218 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.218 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1544091165.219 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))))) into 0 1544091165.219 * [misc]backup-simplify: Simplify 0 into 0 1544091165.219 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1544091165.219 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091165.219 * [misc]backup-simplify: Simplify 0 into 0 1544091165.219 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1544091165.220 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091165.220 * [misc]backup-simplify: Simplify 0 into 0 1544091165.220 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1544091165.220 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091165.220 * [misc]backup-simplify: Simplify 0 into 0 1544091165.221 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1544091165.221 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091165.221 * [misc]backup-simplify: Simplify 0 into 0 1544091165.222 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1544091165.222 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091165.222 * [misc]backup-simplify: Simplify 0 into 0 1544091165.222 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.222 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091165.222 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in (x) around 0 1544091165.222 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091165.222 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091165.222 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091165.222 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091165.222 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091165.222 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091165.222 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091165.222 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091165.222 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091165.223 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091165.223 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091165.223 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091165.223 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091165.223 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1544091165.223 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.223 * [misc]backup-simplify: Simplify 0 into 0 1544091165.223 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1544091165.223 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.223 * [misc]backup-simplify: Simplify 0 into 0 1544091165.224 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1544091165.224 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.224 * [misc]backup-simplify: Simplify 0 into 0 1544091165.224 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1544091165.225 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.225 * [misc]backup-simplify: Simplify 0 into 0 1544091165.225 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1544091165.226 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.226 * [misc]backup-simplify: Simplify 0 into 0 1544091165.226 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1544091165.227 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091165.227 * [misc]backup-simplify: Simplify 0 into 0 1544091165.227 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.227 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 (- x)))) (/ 1 (fabs (/ 1 (- x))))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091165.227 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in (x) around 0 1544091165.227 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091165.227 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091165.227 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091165.227 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091165.227 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091165.227 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091165.227 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091165.227 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091165.227 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091165.227 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091165.227 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091165.227 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091165.227 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091165.227 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1544091165.228 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.228 * [misc]backup-simplify: Simplify 0 into 0 1544091165.228 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1544091165.228 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.228 * [misc]backup-simplify: Simplify 0 into 0 1544091165.228 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1544091165.229 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.229 * [misc]backup-simplify: Simplify 0 into 0 1544091165.229 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1544091165.229 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.229 * [misc]backup-simplify: Simplify 0 into 0 1544091165.230 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1544091165.230 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.230 * [misc]backup-simplify: Simplify 0 into 0 1544091165.231 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1544091165.231 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091165.231 * [misc]backup-simplify: Simplify 0 into 0 1544091165.231 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091165.231 * * * [misc]progress: simplifying candidates 1544091165.231 * * * * [misc]progress: [ 1 / 84 ] simplifiying candidate # 1544091165.231 * * * * [misc]progress: [ 2 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 3 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 4 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 5 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 6 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 7 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 8 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 9 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 10 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 11 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 12 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 13 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 14 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 15 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 16 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 17 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 18 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 19 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 20 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 21 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 22 / 84 ] simplifiying candidate # 1544091165.232 * * * * [misc]progress: [ 23 / 84 ] simplifiying candidate # 1544091165.233 * [enter]simplify: Simplifying (* (- (log (fabs x))) 4) 1544091165.233 * * [misc]simplify: iters left: 6 (6 enodes) 1544091165.234 * * [misc]simplify: iters left: 5 (9 enodes) 1544091165.235 * * [misc]simplify: iters left: 4 (14 enodes) 1544091165.237 * * [misc]simplify: iters left: 3 (15 enodes) 1544091165.238 * [exit]simplify: Simplified to (* (log (fabs x)) -4) 1544091165.238 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (exp (* (log (fabs x)) -4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.238 * * * * [misc]progress: [ 24 / 84 ] simplifiying candidate # 1544091165.239 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 4) 1544091165.239 * * [misc]simplify: iters left: 6 (7 enodes) 1544091165.240 * * [misc]simplify: iters left: 5 (14 enodes) 1544091165.242 * * [misc]simplify: iters left: 4 (18 enodes) 1544091165.245 * * [misc]simplify: iters left: 3 (22 enodes) 1544091165.247 * [exit]simplify: Simplified to (* -4 (log (fabs x))) 1544091165.247 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (exp (* -4 (log (fabs x))))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.247 * * * * [misc]progress: [ 25 / 84 ] simplifiying candidate # 1544091165.247 * * * * [misc]progress: [ 26 / 84 ] simplifiying candidate # 1544091165.247 * [enter]simplify: Simplifying (fabs x) 1544091165.247 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.247 * [exit]simplify: Simplified to (fabs x) 1544091165.247 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.247 * * * * [misc]progress: [ 27 / 84 ] simplifiying candidate # 1544091165.248 * [enter]simplify: Simplifying (fabs x) 1544091165.248 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.248 * [exit]simplify: Simplified to (fabs x) 1544091165.248 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* (- 1) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.248 * * * * [misc]progress: [ 28 / 84 ] simplifiying candidate # 1544091165.248 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091165.248 * * [misc]simplify: iters left: 3 (4 enodes) 1544091165.249 * * [misc]simplify: iters left: 2 (6 enodes) 1544091165.249 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.250 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) (* 1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.250 * * * * [misc]progress: [ 29 / 84 ] simplifiying candidate # 1544091165.250 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1544091165.250 * * [misc]simplify: iters left: 6 (8 enodes) 1544091165.251 * * [misc]simplify: iters left: 5 (10 enodes) 1544091165.252 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1544091165.252 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) (pow (cbrt (/ 1 (fabs x))) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.252 * * * * [misc]progress: [ 30 / 84 ] simplifiying candidate # 1544091165.252 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 4) 1544091165.253 * * [misc]simplify: iters left: 5 (7 enodes) 1544091165.253 * * [misc]simplify: iters left: 4 (9 enodes) 1544091165.255 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 4) 1544091165.255 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (* (pow (sqrt (/ 1 (fabs x))) 4) (pow (sqrt (/ 1 (fabs x))) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.255 * * * * [misc]progress: [ 31 / 84 ] simplifiying candidate # 1544091165.255 * [enter]simplify: Simplifying (pow 1 4) 1544091165.255 * * [misc]simplify: iters left: 1 (3 enodes) 1544091165.255 * [exit]simplify: Simplified to 1 1544091165.255 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (* 1 (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.255 * * * * [misc]progress: [ 32 / 84 ] simplifiying candidate # 1544091165.256 * [enter]simplify: Simplifying (pow 1 4) 1544091165.256 * * [misc]simplify: iters left: 1 (3 enodes) 1544091165.256 * [exit]simplify: Simplified to 1 1544091165.256 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (* 1 (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.256 * * * * [misc]progress: [ 33 / 84 ] simplifiying candidate # 1544091165.256 * * * * [misc]progress: [ 34 / 84 ] simplifiying candidate # 1544091165.256 * * * * [misc]progress: [ 35 / 84 ] simplifiying candidate # 1544091165.256 * * * * [misc]progress: [ 36 / 84 ] simplifiying candidate # 1544091165.256 * * * * [misc]progress: [ 37 / 84 ] simplifiying candidate # 1544091165.256 * * * * [misc]progress: [ 38 / 84 ] simplifiying candidate # 1544091165.257 * * * * [misc]progress: [ 39 / 84 ] simplifiying candidate # 1544091165.257 * * * * [misc]progress: [ 40 / 84 ] simplifiying candidate # 1544091165.257 * * * * [misc]progress: [ 41 / 84 ] simplifiying candidate # 1544091165.257 * * * * [misc]progress: [ 42 / 84 ] simplifiying candidate # 1544091165.257 * [enter]simplify: Simplifying (fabs x) 1544091165.257 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.257 * [exit]simplify: Simplified to (fabs x) 1544091165.257 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ -1 -1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.257 * [enter]simplify: Simplifying (+ -1 -1) 1544091165.257 * * [misc]simplify: iters left: 2 (2 enodes) 1544091165.258 * * [misc]simplify: iters left: 1 (3 enodes) 1544091165.258 * [exit]simplify: Simplified to -2 1544091165.258 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.258 * * * * [misc]progress: [ 43 / 84 ] simplifiying candidate # 1544091165.259 * [enter]simplify: Simplifying (fabs x) 1544091165.259 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.259 * [exit]simplify: Simplified to (fabs x) 1544091165.259 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ -1 (- 1))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.259 * [enter]simplify: Simplifying (+ -1 (- 1)) 1544091165.259 * * [misc]simplify: iters left: 4 (4 enodes) 1544091165.261 * * [misc]simplify: iters left: 3 (9 enodes) 1544091165.261 * [exit]simplify: Simplified to -2 1544091165.261 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.261 * * * * [misc]progress: [ 44 / 84 ] simplifiying candidate # 1544091165.262 * [enter]simplify: Simplifying (fabs x) 1544091165.262 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.262 * [exit]simplify: Simplified to (fabs x) 1544091165.262 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ (- 1) -1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.262 * [enter]simplify: Simplifying (+ (- 1) -1) 1544091165.262 * * [misc]simplify: iters left: 4 (4 enodes) 1544091165.264 * * [misc]simplify: iters left: 3 (8 enodes) 1544091165.265 * [exit]simplify: Simplified to -2 1544091165.265 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.265 * * * * [misc]progress: [ 45 / 84 ] simplifiying candidate # 1544091165.265 * [enter]simplify: Simplifying (fabs x) 1544091165.265 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.266 * [exit]simplify: Simplified to (fabs x) 1544091165.266 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ (- 1) (- 1))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.266 * [enter]simplify: Simplifying (+ (- 1) (- 1)) 1544091165.266 * * [misc]simplify: iters left: 4 (3 enodes) 1544091165.268 * * [misc]simplify: iters left: 3 (11 enodes) 1544091165.269 * [exit]simplify: Simplified to -2 1544091165.269 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.269 * * * * [misc]progress: [ 46 / 84 ] simplifiying candidate # 1544091165.269 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091165.269 * * [misc]simplify: iters left: 3 (4 enodes) 1544091165.270 * * [misc]simplify: iters left: 2 (6 enodes) 1544091165.271 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.271 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (+ 1 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.271 * [enter]simplify: Simplifying (+ 1 1) 1544091165.271 * * [misc]simplify: iters left: 2 (2 enodes) 1544091165.271 * * [misc]simplify: iters left: 1 (5 enodes) 1544091165.272 * [exit]simplify: Simplified to 2 1544091165.272 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.272 * * * * [misc]progress: [ 47 / 84 ] simplifiying candidate # 1544091165.272 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091165.272 * * [misc]simplify: iters left: 3 (3 enodes) 1544091165.273 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091165.273 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) -1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.273 * * * * [misc]progress: [ 48 / 84 ] simplifiying candidate # 1544091165.273 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091165.273 * * [misc]simplify: iters left: 3 (3 enodes) 1544091165.274 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091165.274 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) (- 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.274 * [enter]simplify: Simplifying (- 1) 1544091165.274 * * [misc]simplify: iters left: 2 (2 enodes) 1544091165.274 * * [misc]simplify: iters left: 1 (5 enodes) 1544091165.275 * [exit]simplify: Simplified to -1 1544091165.275 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) -1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.275 * * * * [misc]progress: [ 49 / 84 ] simplifiying candidate # 1544091165.275 * [enter]simplify: Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x))) 1544091165.275 * * [misc]simplify: iters left: 5 (5 enodes) 1544091165.276 * * [misc]simplify: iters left: 4 (11 enodes) 1544091165.278 * * [misc]simplify: iters left: 3 (13 enodes) 1544091165.279 * * [misc]simplify: iters left: 2 (17 enodes) 1544091165.281 * * [misc]simplify: iters left: 1 (21 enodes) 1544091165.284 * [exit]simplify: Simplified to (/ 1 (* (fabs x) (fabs x))) 1544091165.285 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (* (fabs x) (fabs x))) 1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.285 * * * * [misc]progress: [ 50 / 84 ] simplifiying candidate # 1544091165.285 * * * * [misc]progress: [ 51 / 84 ] simplifiying candidate # 1544091165.285 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091165.285 * * [misc]simplify: iters left: 3 (4 enodes) 1544091165.285 * * [misc]simplify: iters left: 2 (6 enodes) 1544091165.286 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.286 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (+ 1 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.286 * * * * [misc]progress: [ 52 / 84 ] simplifiying candidate # 1544091165.286 * * * * [misc]progress: [ 53 / 84 ] simplifiying candidate # 1544091165.286 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091165.287 * * [misc]simplify: iters left: 6 (5 enodes) 1544091165.288 * * [misc]simplify: iters left: 5 (8 enodes) 1544091165.290 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091165.290 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (- (log (fabs x))) (log (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.290 * * * * [misc]progress: [ 54 / 84 ] simplifiying candidate # 1544091165.290 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (log (/ 1 (fabs x)))) 1544091165.290 * * [misc]simplify: iters left: 6 (8 enodes) 1544091165.292 * * [misc]simplify: iters left: 5 (13 enodes) 1544091165.293 * * [misc]simplify: iters left: 4 (17 enodes) 1544091165.295 * * [misc]simplify: iters left: 3 (22 enodes) 1544091165.298 * * [misc]simplify: iters left: 2 (29 enodes) 1544091165.303 * * [misc]simplify: iters left: 1 (43 enodes) 1544091165.309 * [exit]simplify: Simplified to (- (+ (log (fabs x)) (log (fabs x)))) 1544091165.309 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (+ (log (fabs x)) (log (fabs x))))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.309 * * * * [misc]progress: [ 55 / 84 ] simplifiying candidate # 1544091165.309 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (- (log (fabs x)))) 1544091165.309 * * [misc]simplify: iters left: 6 (8 enodes) 1544091165.310 * * [misc]simplify: iters left: 5 (14 enodes) 1544091165.312 * * [misc]simplify: iters left: 4 (16 enodes) 1544091165.314 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091165.314 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (- (log (fabs x))) (log (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.314 * * * * [misc]progress: [ 56 / 84 ] simplifiying candidate # 1544091165.314 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (log (/ 1 (fabs x)))) 1544091165.314 * * [misc]simplify: iters left: 6 (6 enodes) 1544091165.316 * * [misc]simplify: iters left: 5 (12 enodes) 1544091165.317 * * [misc]simplify: iters left: 4 (15 enodes) 1544091165.319 * * [misc]simplify: iters left: 3 (20 enodes) 1544091165.321 * * [misc]simplify: iters left: 2 (27 enodes) 1544091165.327 * * [misc]simplify: iters left: 1 (41 enodes) 1544091165.334 * [exit]simplify: Simplified to (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091165.334 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (+ (- (log (fabs x))) (- (log (fabs x))))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.334 * * * * [misc]progress: [ 57 / 84 ] simplifiying candidate # 1544091165.334 * * * * [misc]progress: [ 58 / 84 ] simplifiying candidate # 1544091165.334 * * * * [misc]progress: [ 59 / 84 ] simplifiying candidate # 1544091165.334 * [enter]simplify: Simplifying (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) 1544091165.335 * * [misc]simplify: iters left: 6 (7 enodes) 1544091165.337 * * [misc]simplify: iters left: 5 (20 enodes) 1544091165.346 * * [misc]simplify: iters left: 4 (59 enodes) 1544091165.377 * * [misc]simplify: iters left: 3 (87 enodes) 1544091165.400 * * [misc]simplify: iters left: 2 (117 enodes) 1544091165.444 * * [misc]simplify: iters left: 1 (202 enodes) 1544091165.524 * [exit]simplify: Simplified to (pow (/ 1 (fabs x)) 6) 1544091165.524 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (cbrt (pow (/ 1 (fabs x)) 6)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.524 * * * * [misc]progress: [ 60 / 84 ] simplifiying candidate # 1544091165.524 * * * * [misc]progress: [ 61 / 84 ] simplifiying candidate # 1544091165.524 * * * * [misc]progress: [ 62 / 84 ] simplifiying candidate # 1544091165.524 * * * * [misc]progress: [ 63 / 84 ] simplifiying candidate # 1544091165.524 * [enter]simplify: Simplifying (* 1 1) 1544091165.524 * * [misc]simplify: iters left: 2 (2 enodes) 1544091165.524 * * [misc]simplify: iters left: 1 (4 enodes) 1544091165.525 * [exit]simplify: Simplified to 1 1544091165.525 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.525 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091165.525 * * [misc]simplify: iters left: 3 (3 enodes) 1544091165.525 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091165.525 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.525 * * * * [misc]progress: [ 64 / 84 ] simplifiying candidate # 1544091165.526 * * * * [misc]progress: [ 65 / 84 ] simplifiying candidate # 1544091165.526 * [enter]simplify: Simplifying (fabs x) 1544091165.526 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.526 * [exit]simplify: Simplified to (fabs x) 1544091165.526 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.526 * * * * [misc]progress: [ 66 / 84 ] simplifiying candidate # 1544091165.526 * [enter]simplify: Simplifying (cbrt (/ 1 (fabs x))) 1544091165.526 * * [misc]simplify: iters left: 4 (5 enodes) 1544091165.527 * * [misc]simplify: iters left: 3 (7 enodes) 1544091165.528 * [exit]simplify: Simplified to (cbrt (/ 1 (fabs x))) 1544091165.528 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x))))) (cbrt (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.528 * * * * [misc]progress: [ 67 / 84 ] simplifiying candidate # 1544091165.528 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091165.528 * * [misc]simplify: iters left: 4 (5 enodes) 1544091165.529 * * [misc]simplify: iters left: 3 (7 enodes) 1544091165.530 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091165.530 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (sqrt (/ 1 (fabs x)))) (sqrt (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.530 * * * * [misc]progress: [ 68 / 84 ] simplifiying candidate # 1544091165.530 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091165.530 * * [misc]simplify: iters left: 3 (4 enodes) 1544091165.530 * * [misc]simplify: iters left: 2 (6 enodes) 1544091165.531 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.531 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.531 * * * * [misc]progress: [ 69 / 84 ] simplifiying candidate # 1544091165.532 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091165.532 * * [misc]simplify: iters left: 3 (4 enodes) 1544091165.532 * * [misc]simplify: iters left: 2 (6 enodes) 1544091165.533 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.533 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.533 * * * * [misc]progress: [ 70 / 84 ] simplifiying candidate # 1544091165.533 * [enter]simplify: Simplifying (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091165.533 * * [misc]simplify: iters left: 6 (6 enodes) 1544091165.534 * * [misc]simplify: iters left: 5 (8 enodes) 1544091165.535 * [exit]simplify: Simplified to (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091165.535 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) (* (cbrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.535 * * * * [misc]progress: [ 71 / 84 ] simplifiying candidate # 1544091165.535 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091165.536 * * [misc]simplify: iters left: 4 (5 enodes) 1544091165.537 * * [misc]simplify: iters left: 3 (7 enodes) 1544091165.539 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091165.539 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (sqrt (/ 1 (fabs x))) (* (sqrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.539 * * * * [misc]progress: [ 72 / 84 ] simplifiying candidate # 1544091165.539 * * * * [misc]progress: [ 73 / 84 ] simplifiying candidate # 1544091165.539 * * * * [misc]progress: [ 74 / 84 ] simplifiying candidate # 1544091165.539 * [enter]simplify: Simplifying (fabs x) 1544091165.539 * * [misc]simplify: iters left: 1 (2 enodes) 1544091165.540 * [exit]simplify: Simplified to (fabs x) 1544091165.540 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (* (/ 1 (fabs x)) 1) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.540 * * * * [misc]progress: [ 75 / 84 ] simplifiying candidate # 1544091165.540 * [enter]simplify: Simplifying (* 1 (/ 1 (fabs x))) 1544091165.540 * * [misc]simplify: iters left: 5 (5 enodes) 1544091165.543 * * [misc]simplify: iters left: 4 (10 enodes) 1544091165.545 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091165.545 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.545 * * * * [misc]progress: [ 76 / 84 ] simplifiying candidate # 1544091165.545 * * * * [misc]progress: [ 77 / 84 ] simplifiying candidate # 1544091165.545 * [enter]simplify: Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8)))) 1544091165.546 * * [misc]simplify: iters left: 6 (29 enodes) 1544091165.558 * * [misc]simplify: iters left: 5 (70 enodes) 1544091165.591 * * [misc]simplify: iters left: 4 (208 enodes) 1544091165.773 * [exit]simplify: Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (/ 3/4 (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (fma (/ 1/2 (fabs x)) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (exp (* (fabs x) (fabs x))) (/ 15/8 (sqrt PI))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)))) 1544091165.773 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (/ 3/4 (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (fma (/ 1/2 (fabs x)) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (exp (* (fabs x) (fabs x))) (/ 15/8 (sqrt PI))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4))))) 1544091165.774 * * * * [misc]progress: [ 78 / 84 ] simplifiying candidate # 1544091165.774 * [enter]simplify: Simplifying (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8)))) 1544091165.774 * * [misc]simplify: iters left: 6 (29 enodes) 1544091165.787 * * [misc]simplify: iters left: 5 (70 enodes) 1544091165.821 * * [misc]simplify: iters left: 4 (208 enodes) 1544091165.963 * [exit]simplify: Simplified to (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (/ 3/4 (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (fma (/ 1/2 (fabs x)) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (exp (* (fabs x) (fabs x))) (/ 15/8 (sqrt PI))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)))) 1544091165.963 * [misc]simplify: Simplified (2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (/ 3/4 (fabs x)) (* (/ (/ 1 (fabs x)) (fabs x)) (/ (/ 1 (fabs x)) (fabs x))) (fma (/ 1/2 (fabs x)) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (exp (* (fabs x) (fabs x))) (/ 15/8 (sqrt PI))) (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4))))) 1544091165.963 * * * * [misc]progress: [ 79 / 84 ] simplifiying candidate # 1544091165.963 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1544091165.963 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.964 * * [misc]simplify: iters left: 3 (8 enodes) 1544091165.965 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1544091165.965 * [misc]simplify: Simplified (2 3 1 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (/ 1 (pow (fabs x) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.965 * * * * [misc]progress: [ 80 / 84 ] simplifiying candidate # 1544091165.966 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1544091165.966 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.967 * * [misc]simplify: iters left: 3 (8 enodes) 1544091165.968 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1544091165.968 * [misc]simplify: Simplified (2 3 1 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (/ 1 (pow (fabs x) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.968 * * * * [misc]progress: [ 81 / 84 ] simplifiying candidate # 1544091165.968 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1544091165.968 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.969 * * [misc]simplify: iters left: 3 (8 enodes) 1544091165.970 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1544091165.970 * [misc]simplify: Simplified (2 3 1 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (/ 1 (pow (fabs x) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.970 * * * * [misc]progress: [ 82 / 84 ] simplifiying candidate # 1544091165.971 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091165.971 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.972 * * [misc]simplify: iters left: 3 (9 enodes) 1544091165.973 * * [misc]simplify: iters left: 2 (11 enodes) 1544091165.974 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091165.974 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.974 * * * * [misc]progress: [ 83 / 84 ] simplifiying candidate # 1544091165.975 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091165.975 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.976 * * [misc]simplify: iters left: 3 (9 enodes) 1544091165.977 * * [misc]simplify: iters left: 2 (11 enodes) 1544091165.978 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091165.978 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.978 * * * * [misc]progress: [ 84 / 84 ] simplifiying candidate # 1544091165.978 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091165.978 * * [misc]simplify: iters left: 4 (6 enodes) 1544091165.979 * * [misc]simplify: iters left: 3 (9 enodes) 1544091165.981 * * [misc]simplify: iters left: 2 (11 enodes) 1544091165.982 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091165.982 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (/ 1 (fabs x)) 4)) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091165.982 * * * [misc]progress: adding candidates to table 1544091167.811 * * [misc]progress: iteration 2 / 4 1544091167.811 * * * [misc]progress: picking best candidate 1544091167.948 * * * * [misc]pick: Picked # 1544091167.948 * * * [misc]progress: localizing error 1544091167.967 * * * [misc]progress: generating rewritten candidates 1544091167.967 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 3 2 2 1 2) 1544091167.967 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2) 1544091167.968 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 2 3 2) 1544091167.976 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 2) 1544091167.984 * * * [misc]progress: generating series expansions 1544091167.984 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 3 2 2 1 2) 1544091167.984 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2) 1544091167.984 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 2 3 2) 1544091167.984 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1544091167.984 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in (x) around 0 1544091167.984 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091167.984 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091167.984 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091167.984 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091167.984 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091167.984 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.984 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091167.984 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091167.984 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091167.984 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091167.984 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091167.985 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.985 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.985 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1544091167.985 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))))) into 0 1544091167.985 * [misc]backup-simplify: Simplify 0 into 0 1544091167.985 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1544091167.985 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.985 * [misc]backup-simplify: Simplify 0 into 0 1544091167.986 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1544091167.986 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.986 * [misc]backup-simplify: Simplify 0 into 0 1544091167.986 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1544091167.987 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.987 * [misc]backup-simplify: Simplify 0 into 0 1544091167.987 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1544091167.987 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.987 * [misc]backup-simplify: Simplify 0 into 0 1544091167.988 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1544091167.988 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.988 * [misc]backup-simplify: Simplify 0 into 0 1544091167.988 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.988 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091167.988 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in (x) around 0 1544091167.988 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091167.988 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091167.988 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091167.989 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091167.989 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091167.989 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091167.989 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091167.989 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091167.989 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091167.989 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091167.989 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091167.989 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091167.989 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091167.989 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1544091167.989 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.989 * [misc]backup-simplify: Simplify 0 into 0 1544091167.989 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1544091167.990 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.990 * [misc]backup-simplify: Simplify 0 into 0 1544091167.990 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1544091167.990 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.990 * [misc]backup-simplify: Simplify 0 into 0 1544091167.991 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1544091167.991 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.991 * [misc]backup-simplify: Simplify 0 into 0 1544091167.991 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1544091167.992 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.992 * [misc]backup-simplify: Simplify 0 into 0 1544091167.992 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1544091167.993 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091167.993 * [misc]backup-simplify: Simplify 0 into 0 1544091167.993 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.993 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 (- x)))) (/ 1 (fabs (/ 1 (- x))))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091167.993 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in (x) around 0 1544091167.993 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091167.993 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091167.993 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091167.993 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091167.993 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091167.993 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091167.993 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091167.993 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091167.993 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091167.993 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091167.993 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091167.994 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091167.994 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091167.994 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1544091167.994 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.994 * [misc]backup-simplify: Simplify 0 into 0 1544091167.994 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1544091167.994 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.994 * [misc]backup-simplify: Simplify 0 into 0 1544091167.995 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1544091167.995 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.995 * [misc]backup-simplify: Simplify 0 into 0 1544091167.995 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1544091167.996 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.996 * [misc]backup-simplify: Simplify 0 into 0 1544091167.996 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1544091167.996 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.996 * [misc]backup-simplify: Simplify 0 into 0 1544091167.997 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1544091167.997 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091167.997 * [misc]backup-simplify: Simplify 0 into 0 1544091167.997 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.998 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 2) 1544091167.998 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1544091167.998 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in (x) around 0 1544091167.998 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091167.998 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091167.998 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091167.998 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091167.998 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091167.998 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.998 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs x) 2)) in x 1544091167.998 * [misc]taylor: Taking taylor expansion of (pow (fabs x) 2) in x 1544091167.998 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1544091167.998 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1544091167.998 * [misc]backup-simplify: Simplify (* (fabs x) (fabs x)) into (pow (fabs x) 2) 1544091167.998 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.998 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091167.998 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (* 0 (fabs x))) into 0 1544091167.998 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))))) into 0 1544091167.998 * [misc]backup-simplify: Simplify 0 into 0 1544091167.999 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (* 0 (fabs x)))) into 0 1544091167.999 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.999 * [misc]backup-simplify: Simplify 0 into 0 1544091167.999 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))) into 0 1544091167.999 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091167.999 * [misc]backup-simplify: Simplify 0 into 0 1544091168.000 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))) into 0 1544091168.000 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091168.000 * [misc]backup-simplify: Simplify 0 into 0 1544091168.001 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x))))))) into 0 1544091168.001 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091168.002 * [misc]backup-simplify: Simplify 0 into 0 1544091168.002 * [misc]backup-simplify: Simplify (+ (* (fabs x) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs x)))))))) into 0 1544091168.003 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs x) 2)) (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))) (* 0 (/ 0 (pow (fabs x) 2))))) into 0 1544091168.003 * [misc]backup-simplify: Simplify 0 into 0 1544091168.003 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 2)) into (/ 1 (pow (fabs x) 2)) 1544091168.003 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091168.003 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in (x) around 0 1544091168.003 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091168.003 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091168.004 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091168.004 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091168.004 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091168.004 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091168.004 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ 1 x)) 2)) in x 1544091168.004 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ 1 x)) 2) in x 1544091168.004 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1544091168.004 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1544091168.004 * [misc]backup-simplify: Simplify (* (fabs (/ 1 x)) (fabs (/ 1 x))) into (pow (fabs (/ 1 x)) 2) 1544091168.004 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091168.004 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 2)) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1544091168.005 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (* 0 (fabs (/ 1 x)))) into 0 1544091168.005 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.005 * [misc]backup-simplify: Simplify 0 into 0 1544091168.005 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))) into 0 1544091168.006 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.006 * [misc]backup-simplify: Simplify 0 into 0 1544091168.006 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))) into 0 1544091168.007 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.007 * [misc]backup-simplify: Simplify 0 into 0 1544091168.007 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))) into 0 1544091168.008 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.008 * [misc]backup-simplify: Simplify 0 into 0 1544091168.009 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x)))))))) into 0 1544091168.009 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.009 * [misc]backup-simplify: Simplify 0 into 0 1544091168.010 * [misc]backup-simplify: Simplify (+ (* (fabs (/ 1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ 1 x))))))))) into 0 1544091168.011 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ 1 x)) 2))))) into 0 1544091168.011 * [misc]backup-simplify: Simplify 0 into 0 1544091168.011 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091168.012 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 (- x)))) (/ 1 (fabs (/ 1 (- x))))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091168.012 * [misc]approximate: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in (x) around 0 1544091168.012 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091168.012 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091168.012 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091168.012 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091168.012 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091168.012 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091168.012 * [misc]taylor: Taking taylor expansion of (/ 1 (pow (fabs (/ -1 x)) 2)) in x 1544091168.012 * [misc]taylor: Taking taylor expansion of (pow (fabs (/ -1 x)) 2) in x 1544091168.012 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1544091168.012 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1544091168.013 * [misc]backup-simplify: Simplify (* (fabs (/ -1 x)) (fabs (/ -1 x))) into (pow (fabs (/ -1 x)) 2) 1544091168.013 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091168.013 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 2)) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1544091168.013 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (* 0 (fabs (/ -1 x)))) into 0 1544091168.013 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.013 * [misc]backup-simplify: Simplify 0 into 0 1544091168.014 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))) into 0 1544091168.014 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.014 * [misc]backup-simplify: Simplify 0 into 0 1544091168.014 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))) into 0 1544091168.015 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.015 * [misc]backup-simplify: Simplify 0 into 0 1544091168.016 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))) into 0 1544091168.016 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.016 * [misc]backup-simplify: Simplify 0 into 0 1544091168.017 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x)))))))) into 0 1544091168.018 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.018 * [misc]backup-simplify: Simplify 0 into 0 1544091168.018 * [misc]backup-simplify: Simplify (+ (* (fabs (/ -1 x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (fabs (/ -1 x))))))))) into 0 1544091168.019 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))) (* 0 (/ 0 (pow (fabs (/ -1 x)) 2))))) into 0 1544091168.019 * [misc]backup-simplify: Simplify 0 into 0 1544091168.019 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 2)) into (/ 1 (pow (fabs x) 2)) 1544091168.020 * * * [misc]progress: simplifying candidates 1544091168.020 * * * * [misc]progress: [ 1 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 2 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 3 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 4 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 5 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 6 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 7 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 8 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 9 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 10 / 102 ] simplifiying candidate # 1544091168.020 * * * * [misc]progress: [ 11 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 12 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 13 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 14 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 15 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 16 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 17 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 18 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 19 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 20 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 21 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 22 / 102 ] simplifiying candidate # 1544091168.021 * * * * [misc]progress: [ 23 / 102 ] simplifiying candidate # 1544091168.022 * [enter]simplify: Simplifying (fabs x) 1544091168.022 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.022 * [exit]simplify: Simplified to (fabs x) 1544091168.022 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ -1 -1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.023 * [enter]simplify: Simplifying (+ -1 -1) 1544091168.023 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.024 * * [misc]simplify: iters left: 1 (3 enodes) 1544091168.025 * [exit]simplify: Simplified to -2 1544091168.025 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.025 * * * * [misc]progress: [ 24 / 102 ] simplifiying candidate # 1544091168.025 * [enter]simplify: Simplifying (fabs x) 1544091168.025 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.026 * [exit]simplify: Simplified to (fabs x) 1544091168.026 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ -1 (- 1))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.026 * [enter]simplify: Simplifying (+ -1 (- 1)) 1544091168.026 * * [misc]simplify: iters left: 4 (4 enodes) 1544091168.028 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.029 * [exit]simplify: Simplified to -2 1544091168.029 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.029 * * * * [misc]progress: [ 25 / 102 ] simplifiying candidate # 1544091168.029 * [enter]simplify: Simplifying (fabs x) 1544091168.029 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.030 * [exit]simplify: Simplified to (fabs x) 1544091168.030 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ (- 1) -1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.030 * [enter]simplify: Simplifying (+ (- 1) -1) 1544091168.030 * * [misc]simplify: iters left: 4 (4 enodes) 1544091168.031 * * [misc]simplify: iters left: 3 (8 enodes) 1544091168.032 * [exit]simplify: Simplified to -2 1544091168.032 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.032 * * * * [misc]progress: [ 26 / 102 ] simplifiying candidate # 1544091168.032 * [enter]simplify: Simplifying (fabs x) 1544091168.032 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.032 * [exit]simplify: Simplified to (fabs x) 1544091168.032 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) (+ (- 1) (- 1))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.032 * [enter]simplify: Simplifying (+ (- 1) (- 1)) 1544091168.032 * * [misc]simplify: iters left: 4 (3 enodes) 1544091168.034 * * [misc]simplify: iters left: 3 (11 enodes) 1544091168.035 * [exit]simplify: Simplified to -2 1544091168.035 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (fabs x) -2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.035 * * * * [misc]progress: [ 27 / 102 ] simplifiying candidate # 1544091168.035 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.035 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.035 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.036 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.036 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (+ 1 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.036 * [enter]simplify: Simplifying (+ 1 1) 1544091168.036 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.040 * * [misc]simplify: iters left: 1 (5 enodes) 1544091168.040 * [exit]simplify: Simplified to 2 1544091168.040 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 2) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.040 * * * * [misc]progress: [ 28 / 102 ] simplifiying candidate # 1544091168.040 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.040 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.041 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.041 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) -1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.041 * * * * [misc]progress: [ 29 / 102 ] simplifiying candidate # 1544091168.041 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.041 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.042 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.042 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) (- 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.042 * [enter]simplify: Simplifying (- 1) 1544091168.042 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.042 * * [misc]simplify: iters left: 1 (5 enodes) 1544091168.043 * [exit]simplify: Simplified to -1 1544091168.043 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (* (fabs x) (fabs x)) -1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.043 * * * * [misc]progress: [ 30 / 102 ] simplifiying candidate # 1544091168.043 * [enter]simplify: Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x))) 1544091168.043 * * [misc]simplify: iters left: 5 (5 enodes) 1544091168.044 * * [misc]simplify: iters left: 4 (11 enodes) 1544091168.046 * * [misc]simplify: iters left: 3 (13 enodes) 1544091168.047 * * [misc]simplify: iters left: 2 (17 enodes) 1544091168.049 * * [misc]simplify: iters left: 1 (21 enodes) 1544091168.052 * [exit]simplify: Simplified to (/ 1 (* (fabs x) (fabs x))) 1544091168.052 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (* (fabs x) (fabs x))) 1) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.052 * * * * [misc]progress: [ 31 / 102 ] simplifiying candidate # 1544091168.052 * * * * [misc]progress: [ 32 / 102 ] simplifiying candidate # 1544091168.053 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.053 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.053 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.054 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.054 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (+ 1 1)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.054 * * * * [misc]progress: [ 33 / 102 ] simplifiying candidate # 1544091168.054 * * * * [misc]progress: [ 34 / 102 ] simplifiying candidate # 1544091168.054 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091168.054 * * [misc]simplify: iters left: 6 (5 enodes) 1544091168.055 * * [misc]simplify: iters left: 5 (8 enodes) 1544091168.057 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091168.057 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (- (log (fabs x))) (log (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.057 * * * * [misc]progress: [ 35 / 102 ] simplifiying candidate # 1544091168.057 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (log (/ 1 (fabs x)))) 1544091168.057 * * [misc]simplify: iters left: 6 (8 enodes) 1544091168.060 * * [misc]simplify: iters left: 5 (13 enodes) 1544091168.064 * * [misc]simplify: iters left: 4 (17 enodes) 1544091168.068 * * [misc]simplify: iters left: 3 (22 enodes) 1544091168.073 * * [misc]simplify: iters left: 2 (29 enodes) 1544091168.084 * * [misc]simplify: iters left: 1 (43 enodes) 1544091168.095 * [exit]simplify: Simplified to (- (+ (log (fabs x)) (log (fabs x)))) 1544091168.095 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (+ (log (fabs x)) (log (fabs x))))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.095 * * * * [misc]progress: [ 36 / 102 ] simplifiying candidate # 1544091168.095 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (- (log (fabs x)))) 1544091168.095 * * [misc]simplify: iters left: 6 (8 enodes) 1544091168.098 * * [misc]simplify: iters left: 5 (14 enodes) 1544091168.101 * * [misc]simplify: iters left: 4 (16 enodes) 1544091168.105 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091168.105 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (- (- (log (fabs x))) (log (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.105 * * * * [misc]progress: [ 37 / 102 ] simplifiying candidate # 1544091168.106 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (log (/ 1 (fabs x)))) 1544091168.106 * * [misc]simplify: iters left: 6 (6 enodes) 1544091168.108 * * [misc]simplify: iters left: 5 (12 enodes) 1544091168.111 * * [misc]simplify: iters left: 4 (15 enodes) 1544091168.115 * * [misc]simplify: iters left: 3 (20 enodes) 1544091168.120 * * [misc]simplify: iters left: 2 (27 enodes) 1544091168.131 * * [misc]simplify: iters left: 1 (41 enodes) 1544091168.137 * [exit]simplify: Simplified to (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091168.137 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (exp (+ (- (log (fabs x))) (- (log (fabs x))))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.137 * * * * [misc]progress: [ 38 / 102 ] simplifiying candidate # 1544091168.137 * * * * [misc]progress: [ 39 / 102 ] simplifiying candidate # 1544091168.137 * * * * [misc]progress: [ 40 / 102 ] simplifiying candidate # 1544091168.137 * [enter]simplify: Simplifying (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) 1544091168.137 * * [misc]simplify: iters left: 6 (7 enodes) 1544091168.139 * * [misc]simplify: iters left: 5 (20 enodes) 1544091168.143 * * [misc]simplify: iters left: 4 (59 enodes) 1544091168.161 * * [misc]simplify: iters left: 3 (87 enodes) 1544091168.171 * * [misc]simplify: iters left: 2 (117 enodes) 1544091168.234 * * [misc]simplify: iters left: 1 (202 enodes) 1544091168.299 * [exit]simplify: Simplified to (pow (/ 1 (fabs x)) 6) 1544091168.299 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (cbrt (pow (/ 1 (fabs x)) 6)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.299 * * * * [misc]progress: [ 41 / 102 ] simplifiying candidate # 1544091168.299 * * * * [misc]progress: [ 42 / 102 ] simplifiying candidate # 1544091168.299 * * * * [misc]progress: [ 43 / 102 ] simplifiying candidate # 1544091168.299 * * * * [misc]progress: [ 44 / 102 ] simplifiying candidate # 1544091168.299 * [enter]simplify: Simplifying (* 1 1) 1544091168.299 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.300 * * [misc]simplify: iters left: 1 (4 enodes) 1544091168.300 * [exit]simplify: Simplified to 1 1544091168.300 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.300 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.300 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.301 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.301 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ 1 (* (fabs x) (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.301 * * * * [misc]progress: [ 45 / 102 ] simplifiying candidate # 1544091168.301 * * * * [misc]progress: [ 46 / 102 ] simplifiying candidate # 1544091168.301 * [enter]simplify: Simplifying (fabs x) 1544091168.301 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.301 * [exit]simplify: Simplified to (fabs x) 1544091168.302 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.302 * * * * [misc]progress: [ 47 / 102 ] simplifiying candidate # 1544091168.302 * [enter]simplify: Simplifying (cbrt (/ 1 (fabs x))) 1544091168.302 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.302 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.303 * [exit]simplify: Simplified to (cbrt (/ 1 (fabs x))) 1544091168.303 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x))))) (cbrt (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.303 * * * * [misc]progress: [ 48 / 102 ] simplifiying candidate # 1544091168.304 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091168.304 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.305 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.307 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091168.307 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (sqrt (/ 1 (fabs x)))) (sqrt (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.307 * * * * [misc]progress: [ 49 / 102 ] simplifiying candidate # 1544091168.307 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.307 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.308 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.310 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.310 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.310 * * * * [misc]progress: [ 50 / 102 ] simplifiying candidate # 1544091168.310 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.310 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.311 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.312 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.312 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.313 * * * * [misc]progress: [ 51 / 102 ] simplifiying candidate # 1544091168.313 * [enter]simplify: Simplifying (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091168.313 * * [misc]simplify: iters left: 6 (6 enodes) 1544091168.315 * * [misc]simplify: iters left: 5 (8 enodes) 1544091168.317 * [exit]simplify: Simplified to (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091168.317 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) (* (cbrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.317 * * * * [misc]progress: [ 52 / 102 ] simplifiying candidate # 1544091168.317 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091168.317 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.318 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.320 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091168.320 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (sqrt (/ 1 (fabs x))) (* (sqrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.320 * * * * [misc]progress: [ 53 / 102 ] simplifiying candidate # 1544091168.320 * * * * [misc]progress: [ 54 / 102 ] simplifiying candidate # 1544091168.320 * * * * [misc]progress: [ 55 / 102 ] simplifiying candidate # 1544091168.320 * [enter]simplify: Simplifying (fabs x) 1544091168.320 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.321 * [exit]simplify: Simplified to (fabs x) 1544091168.321 * [misc]simplify: Simplified (2 2 3 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (* (/ 1 (fabs x)) 1) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.321 * * * * [misc]progress: [ 56 / 102 ] simplifiying candidate # 1544091168.321 * [enter]simplify: Simplifying (* 1 (/ 1 (fabs x))) 1544091168.321 * * [misc]simplify: iters left: 5 (5 enodes) 1544091168.322 * * [misc]simplify: iters left: 4 (10 enodes) 1544091168.323 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.323 * [misc]simplify: Simplified (2 2 3 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.323 * * * * [misc]progress: [ 57 / 102 ] simplifiying candidate # 1544091168.323 * * * * [misc]progress: [ 58 / 102 ] simplifiying candidate # 1544091168.323 * * * * [misc]progress: [ 59 / 102 ] simplifiying candidate # 1544091168.324 * * * * [misc]progress: [ 60 / 102 ] simplifiying candidate # 1544091168.324 * [enter]simplify: Simplifying (fabs x) 1544091168.324 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.324 * [exit]simplify: Simplified to (fabs x) 1544091168.324 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) (+ -1 -1)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.324 * [enter]simplify: Simplifying (+ -1 -1) 1544091168.324 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.325 * * [misc]simplify: iters left: 1 (3 enodes) 1544091168.325 * [exit]simplify: Simplified to -2 1544091168.325 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) -2) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.325 * * * * [misc]progress: [ 61 / 102 ] simplifiying candidate # 1544091168.325 * [enter]simplify: Simplifying (fabs x) 1544091168.326 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.326 * [exit]simplify: Simplified to (fabs x) 1544091168.326 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) (+ -1 (- 1))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.326 * [enter]simplify: Simplifying (+ -1 (- 1)) 1544091168.326 * * [misc]simplify: iters left: 4 (4 enodes) 1544091168.328 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.328 * [exit]simplify: Simplified to -2 1544091168.328 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) -2) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.328 * * * * [misc]progress: [ 62 / 102 ] simplifiying candidate # 1544091168.329 * [enter]simplify: Simplifying (fabs x) 1544091168.329 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.329 * [exit]simplify: Simplified to (fabs x) 1544091168.329 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) (+ (- 1) -1)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.329 * [enter]simplify: Simplifying (+ (- 1) -1) 1544091168.329 * * [misc]simplify: iters left: 4 (4 enodes) 1544091168.331 * * [misc]simplify: iters left: 3 (8 enodes) 1544091168.331 * [exit]simplify: Simplified to -2 1544091168.331 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) -2) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.331 * * * * [misc]progress: [ 63 / 102 ] simplifiying candidate # 1544091168.332 * [enter]simplify: Simplifying (fabs x) 1544091168.332 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.332 * [exit]simplify: Simplified to (fabs x) 1544091168.332 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) (+ (- 1) (- 1))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.332 * [enter]simplify: Simplifying (+ (- 1) (- 1)) 1544091168.332 * * [misc]simplify: iters left: 4 (3 enodes) 1544091168.334 * * [misc]simplify: iters left: 3 (11 enodes) 1544091168.335 * [exit]simplify: Simplified to -2 1544091168.335 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (fabs x) -2) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.335 * * * * [misc]progress: [ 64 / 102 ] simplifiying candidate # 1544091168.335 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.335 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.336 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.338 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.338 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (/ 1 (fabs x)) (+ 1 1)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.338 * [enter]simplify: Simplifying (+ 1 1) 1544091168.338 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.339 * * [misc]simplify: iters left: 1 (5 enodes) 1544091168.339 * [exit]simplify: Simplified to 2 1544091168.339 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (/ 1 (fabs x)) 2) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.339 * * * * [misc]progress: [ 65 / 102 ] simplifiying candidate # 1544091168.340 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.340 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.340 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.340 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (* (fabs x) (fabs x)) -1) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.340 * * * * [misc]progress: [ 66 / 102 ] simplifiying candidate # 1544091168.340 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.340 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.341 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.341 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (* (fabs x) (fabs x)) (- 1)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.341 * [enter]simplify: Simplifying (- 1) 1544091168.341 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.342 * * [misc]simplify: iters left: 1 (5 enodes) 1544091168.342 * [exit]simplify: Simplified to -1 1544091168.342 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (* (fabs x) (fabs x)) -1) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.342 * * * * [misc]progress: [ 67 / 102 ] simplifiying candidate # 1544091168.343 * [enter]simplify: Simplifying (* (/ 1 (fabs x)) (/ 1 (fabs x))) 1544091168.343 * * [misc]simplify: iters left: 5 (5 enodes) 1544091168.343 * * [misc]simplify: iters left: 4 (11 enodes) 1544091168.345 * * [misc]simplify: iters left: 3 (13 enodes) 1544091168.347 * * [misc]simplify: iters left: 2 (17 enodes) 1544091168.349 * * [misc]simplify: iters left: 1 (21 enodes) 1544091168.352 * [exit]simplify: Simplified to (/ 1 (* (fabs x) (fabs x))) 1544091168.352 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (/ 1 (* (fabs x) (fabs x))) 1) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.352 * * * * [misc]progress: [ 68 / 102 ] simplifiying candidate # 1544091168.352 * * * * [misc]progress: [ 69 / 102 ] simplifiying candidate # 1544091168.353 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.353 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.353 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.354 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.354 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (pow (/ 1 (fabs x)) (+ 1 1)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.354 * * * * [misc]progress: [ 70 / 102 ] simplifiying candidate # 1544091168.354 * * * * [misc]progress: [ 71 / 102 ] simplifiying candidate # 1544091168.354 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091168.354 * * [misc]simplify: iters left: 6 (5 enodes) 1544091168.355 * * [misc]simplify: iters left: 5 (8 enodes) 1544091168.356 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091168.356 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (exp (- (- (log (fabs x))) (log (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.356 * * * * [misc]progress: [ 72 / 102 ] simplifiying candidate # 1544091168.356 * [enter]simplify: Simplifying (+ (- (log (fabs x))) (log (/ 1 (fabs x)))) 1544091168.356 * * [misc]simplify: iters left: 6 (8 enodes) 1544091168.358 * * [misc]simplify: iters left: 5 (13 enodes) 1544091168.361 * * [misc]simplify: iters left: 4 (17 enodes) 1544091168.365 * * [misc]simplify: iters left: 3 (22 enodes) 1544091168.370 * * [misc]simplify: iters left: 2 (29 enodes) 1544091168.382 * * [misc]simplify: iters left: 1 (43 enodes) 1544091168.393 * [exit]simplify: Simplified to (- (+ (log (fabs x)) (log (fabs x)))) 1544091168.393 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (exp (- (+ (log (fabs x)) (log (fabs x))))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.393 * * * * [misc]progress: [ 73 / 102 ] simplifiying candidate # 1544091168.393 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (- (log (fabs x)))) 1544091168.393 * * [misc]simplify: iters left: 6 (8 enodes) 1544091168.396 * * [misc]simplify: iters left: 5 (14 enodes) 1544091168.400 * * [misc]simplify: iters left: 4 (16 enodes) 1544091168.403 * [exit]simplify: Simplified to (- (- (log (fabs x))) (log (fabs x))) 1544091168.403 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (exp (- (- (log (fabs x))) (log (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.404 * * * * [misc]progress: [ 74 / 102 ] simplifiying candidate # 1544091168.404 * [enter]simplify: Simplifying (+ (log (/ 1 (fabs x))) (log (/ 1 (fabs x)))) 1544091168.404 * * [misc]simplify: iters left: 6 (6 enodes) 1544091168.407 * * [misc]simplify: iters left: 5 (12 enodes) 1544091168.410 * * [misc]simplify: iters left: 4 (15 enodes) 1544091168.413 * * [misc]simplify: iters left: 3 (20 enodes) 1544091168.419 * * [misc]simplify: iters left: 2 (27 enodes) 1544091168.430 * * [misc]simplify: iters left: 1 (41 enodes) 1544091168.441 * [exit]simplify: Simplified to (+ (- (log (fabs x))) (- (log (fabs x)))) 1544091168.441 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (exp (+ (- (log (fabs x))) (- (log (fabs x))))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.441 * * * * [misc]progress: [ 75 / 102 ] simplifiying candidate # 1544091168.441 * * * * [misc]progress: [ 76 / 102 ] simplifiying candidate # 1544091168.442 * * * * [misc]progress: [ 77 / 102 ] simplifiying candidate # 1544091168.442 * [enter]simplify: Simplifying (* (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x))) (* (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) 1544091168.442 * * [misc]simplify: iters left: 6 (7 enodes) 1544091168.445 * * [misc]simplify: iters left: 5 (20 enodes) 1544091168.453 * * [misc]simplify: iters left: 4 (59 enodes) 1544091168.484 * * [misc]simplify: iters left: 3 (87 enodes) 1544091168.495 * * [misc]simplify: iters left: 2 (117 enodes) 1544091168.544 * * [misc]simplify: iters left: 1 (202 enodes) 1544091168.648 * [exit]simplify: Simplified to (pow (/ 1 (fabs x)) 6) 1544091168.648 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (cbrt (pow (/ 1 (fabs x)) 6)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.649 * * * * [misc]progress: [ 78 / 102 ] simplifiying candidate # 1544091168.649 * * * * [misc]progress: [ 79 / 102 ] simplifiying candidate # 1544091168.649 * * * * [misc]progress: [ 80 / 102 ] simplifiying candidate # 1544091168.649 * * * * [misc]progress: [ 81 / 102 ] simplifiying candidate # 1544091168.649 * [enter]simplify: Simplifying (* 1 1) 1544091168.649 * * [misc]simplify: iters left: 2 (2 enodes) 1544091168.650 * * [misc]simplify: iters left: 1 (4 enodes) 1544091168.651 * [exit]simplify: Simplified to 1 1544091168.651 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ 1 (* (fabs x) (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.651 * [enter]simplify: Simplifying (* (fabs x) (fabs x)) 1544091168.651 * * [misc]simplify: iters left: 3 (3 enodes) 1544091168.652 * [exit]simplify: Simplified to (* (fabs x) (fabs x)) 1544091168.652 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ 1 (* (fabs x) (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.652 * * * * [misc]progress: [ 82 / 102 ] simplifiying candidate # 1544091168.653 * * * * [misc]progress: [ 83 / 102 ] simplifiying candidate # 1544091168.653 * [enter]simplify: Simplifying (fabs x) 1544091168.653 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.653 * [exit]simplify: Simplified to (fabs x) 1544091168.653 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (/ 1 (fabs x)) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.653 * * * * [misc]progress: [ 84 / 102 ] simplifiying candidate # 1544091168.654 * [enter]simplify: Simplifying (cbrt (/ 1 (fabs x))) 1544091168.654 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.655 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.657 * [exit]simplify: Simplified to (cbrt (/ 1 (fabs x))) 1544091168.657 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (fabs x)) (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x))))) (cbrt (/ 1 (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.657 * * * * [misc]progress: [ 85 / 102 ] simplifiying candidate # 1544091168.657 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091168.658 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.659 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.661 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091168.661 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (fabs x)) (sqrt (/ 1 (fabs x)))) (sqrt (/ 1 (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.661 * * * * [misc]progress: [ 86 / 102 ] simplifiying candidate # 1544091168.661 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.661 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.662 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.664 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.664 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.664 * * * * [misc]progress: [ 87 / 102 ] simplifiying candidate # 1544091168.664 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1544091168.664 * * [misc]simplify: iters left: 3 (4 enodes) 1544091168.666 * * [misc]simplify: iters left: 2 (6 enodes) 1544091168.667 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.667 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (fabs x)) 1) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.667 * * * * [misc]progress: [ 88 / 102 ] simplifiying candidate # 1544091168.667 * [enter]simplify: Simplifying (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091168.668 * * [misc]simplify: iters left: 6 (6 enodes) 1544091168.669 * * [misc]simplify: iters left: 5 (8 enodes) 1544091168.672 * [exit]simplify: Simplified to (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 1544091168.672 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) (* (cbrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.672 * * * * [misc]progress: [ 89 / 102 ] simplifiying candidate # 1544091168.672 * [enter]simplify: Simplifying (sqrt (/ 1 (fabs x))) 1544091168.672 * * [misc]simplify: iters left: 4 (5 enodes) 1544091168.673 * * [misc]simplify: iters left: 3 (7 enodes) 1544091168.675 * [exit]simplify: Simplified to (sqrt (/ 1 (fabs x))) 1544091168.675 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (sqrt (/ 1 (fabs x))) (* (sqrt (/ 1 (fabs x))) (/ 1 (fabs x)))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.675 * * * * [misc]progress: [ 90 / 102 ] simplifiying candidate # 1544091168.676 * * * * [misc]progress: [ 91 / 102 ] simplifiying candidate # 1544091168.676 * * * * [misc]progress: [ 92 / 102 ] simplifiying candidate # 1544091168.676 * [enter]simplify: Simplifying (fabs x) 1544091168.676 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.677 * [exit]simplify: Simplified to (fabs x) 1544091168.677 * [misc]simplify: Simplified (2 2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (* (/ 1 (fabs x)) 1) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.677 * * * * [misc]progress: [ 93 / 102 ] simplifiying candidate # 1544091168.677 * [enter]simplify: Simplifying (* 1 (/ 1 (fabs x))) 1544091168.677 * * [misc]simplify: iters left: 5 (5 enodes) 1544091168.679 * * [misc]simplify: iters left: 4 (10 enodes) 1544091168.681 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1544091168.681 * [misc]simplify: Simplified (2 2 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (/ 1 (fabs x)) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.682 * * * * [misc]progress: [ 94 / 102 ] simplifiying candidate # 1544091168.682 * * * * [misc]progress: [ 95 / 102 ] simplifiying candidate # 1544091168.682 * [enter]simplify: Simplifying (fabs x) 1544091168.682 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.683 * [exit]simplify: Simplified to (fabs x) 1544091168.683 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.683 * * * * [misc]progress: [ 96 / 102 ] simplifiying candidate # 1544091168.683 * [enter]simplify: Simplifying (fabs x) 1544091168.683 * * [misc]simplify: iters left: 1 (2 enodes) 1544091168.684 * [exit]simplify: Simplified to (fabs x) 1544091168.684 * [misc]simplify: Simplified (2 3 1 2 1) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.684 * * * * [misc]progress: [ 97 / 102 ] simplifiying candidate # 1544091168.684 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.684 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.686 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.688 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.691 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.691 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.691 * * * * [misc]progress: [ 98 / 102 ] simplifiying candidate # 1544091168.692 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.692 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.694 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.696 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.699 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.699 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.699 * * * * [misc]progress: [ 99 / 102 ] simplifiying candidate # 1544091168.699 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.699 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.703 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.705 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.708 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.708 * [misc]simplify: Simplified (2 2 3 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (fma (* 1/2 (/ 1 (fabs x))) (/ (/ 1 (fabs x)) (fabs x)) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.708 * * * * [misc]progress: [ 100 / 102 ] simplifiying candidate # 1544091168.708 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.708 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.710 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.712 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.715 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.715 * [misc]simplify: Simplified (2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (/ 1 (fabs x)) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.715 * * * * [misc]progress: [ 101 / 102 ] simplifiying candidate # 1544091168.716 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.716 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.717 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.720 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.723 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.723 * [misc]simplify: Simplified (2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (/ 1 (fabs x)) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.723 * * * * [misc]progress: [ 102 / 102 ] simplifiying candidate # 1544091168.723 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 2)) 1544091168.723 * * [misc]simplify: iters left: 4 (6 enodes) 1544091168.725 * * [misc]simplify: iters left: 3 (9 enodes) 1544091168.727 * * [misc]simplify: iters left: 2 (11 enodes) 1544091168.730 * [exit]simplify: Simplified to (/ (/ 1 (fabs x)) (fabs x)) 1544091168.730 * [misc]simplify: Simplified (2 2 2) to (λ (x) (fma (/ (exp (* (fabs x) (fabs x))) (sqrt PI)) (fma (* (* 3/4 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x)))) (/ (/ 1 (fabs x)) (fabs x)) (fma (* 1/2 (/ 1 (fabs x))) (* (/ 1 (fabs x)) (/ 1 (fabs x))) (/ 1 (fabs x)))) (* (* (/ 1 (pow (fabs x) 3)) (pow (fabs x) (* -1 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) 15/8))))) 1544091168.730 * * * [misc]progress: adding candidates to table 1544091171.175 * * [misc]progress: iteration 3 / 4 1544091171.175 * * * [misc]progress: picking best candidate 1544091171.260 * * * * [misc]pick: Picked # 1544091171.260 * * * [misc]progress: localizing error 1544091171.282 * * * [misc]progress: generating rewritten candidates 1544091171.282 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 3 2 2 1 2) 1544091171.282 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1) 1544091171.283 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 2 1) 1544091171.283 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 1544091171.284 * * * [misc]progress: generating series expansions 1544091171.284 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 3 2 2 1 2) 1544091171.284 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1) 1544091171.284 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 2 1) 1544091171.284 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 1544091171.284 * * * [misc]progress: simplifying candidates 1544091171.284 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1544091171.284 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1544091171.285 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1544091171.286 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1544091171.287 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1544091171.288 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1544091171.288 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1544091171.288 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1544091171.288 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1544091171.288 * * * [misc]progress: adding candidates to table 1544091172.390 * * [misc]progress: iteration 4 / 4 1544091172.390 * * * [misc]progress: picking best candidate 1544091172.526 * * * * [misc]pick: Picked # 1544091172.526 * * * [misc]progress: localizing error 1544091172.560 * * * [misc]progress: generating rewritten candidates 1544091172.560 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 3 2 2 1 2) 1544091172.560 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1 2 1) 1544091172.560 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 2 1 1 2 1) 1544091172.561 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 2 2 1 1 1 1) 1544091172.561 * * * [misc]progress: generating series expansions 1544091172.561 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 3 2 2 1 2) 1544091172.561 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1 2 1) 1544091172.561 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 2 1 1 2 1) 1544091172.561 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 2 2 1 1 1 1) 1544091172.561 * * * [misc]progress: simplifying candidates 1544091172.561 * * * * [misc]progress: [ 1 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 2 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 3 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 4 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 5 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 6 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 7 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 8 / 44 ] simplifiying candidate # 1544091172.561 * * * * [misc]progress: [ 9 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 10 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 11 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 12 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 13 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 14 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 15 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 16 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 17 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 18 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 19 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 20 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 21 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 22 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 23 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 24 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 25 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 26 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 27 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 28 / 44 ] simplifiying candidate # 1544091172.562 * * * * [misc]progress: [ 29 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 30 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 31 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 32 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 33 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 34 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 35 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 36 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 37 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 38 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 39 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 40 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 41 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 42 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 43 / 44 ] simplifiying candidate # 1544091172.563 * * * * [misc]progress: [ 44 / 44 ] simplifiying candidate # 1544091172.563 * * * [misc]progress: adding candidates to table 1544091173.675 * [misc]progress: [Phase 3 of 3] Extracting. 1544091173.675 * * [misc]regime: Finding splitpoints for: (# # # # # # # # # #) 1544091173.682 * * * [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))))))) 1544091173.683 * * * * [misc]regimes: Trying to branch on x from (# # # # # # # # # #) 1544091173.820 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # # # # # # #) 1544091173.969 * * * * [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 (# # # # # # # # # #) 1544091174.102 * * * [misc]regime: Found split indices: #