1539788342.022 * [misc]progress: [Phase 1 of 3] Setting up. 1539788342.022 * * * [misc]progress: [1/2] Preparing points 1539788342.022 * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 1539788342.023 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision 1539788342.041 * * * * [misc]points: Setting MPFR precision to 64 1539788342.043 * * * * [misc]points: Setting MPFR precision to 320 1539788342.045 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision 1539788342.082 * * * * [misc]points: Setting MPFR precision to 64 1539788342.085 * * * * [misc]points: Setting MPFR precision to 320 1539788342.088 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision 1539788342.106 * * * * [misc]points: Setting MPFR precision to 64 1539788342.109 * * * * [misc]points: Setting MPFR precision to 320 1539788342.111 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision 1539788342.128 * * * * [misc]points: Setting MPFR precision to 64 1539788342.136 * * * * [misc]points: Setting MPFR precision to 320 1539788342.145 * * * * [misc]points: Computing exacts for 256 points 1539788342.173 * * * * [misc]points: Setting MPFR precision to 64 1539788342.189 * * * * [misc]points: Setting MPFR precision to 320 1539788342.202 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788342.202 * * * * [misc]points: Sampling 236 additional inputs, on iter 1 have 20 / 256 1539788342.203 * * * * [misc]points: Computing exacts on every 14 of 236 points to ramp up precision 1539788342.224 * * * * [misc]points: Setting MPFR precision to 64 1539788342.225 * * * * [misc]points: Setting MPFR precision to 320 1539788342.227 * * * * [misc]points: Computing exacts on every 7 of 236 points to ramp up precision 1539788342.272 * * * * [misc]points: Setting MPFR precision to 64 1539788342.274 * * * * [misc]points: Setting MPFR precision to 320 1539788342.275 * * * * [misc]points: Computing exacts on every 3 of 236 points to ramp up precision 1539788342.292 * * * * [misc]points: Setting MPFR precision to 64 1539788342.299 * * * * [misc]points: Setting MPFR precision to 320 1539788342.305 * * * * [misc]points: Computing exacts for 236 points 1539788342.334 * * * * [misc]points: Setting MPFR precision to 64 1539788342.357 * * * * [misc]points: Setting MPFR precision to 320 1539788342.380 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788342.380 * * * * [misc]points: Sampling 217 additional inputs, on iter 2 have 39 / 256 1539788342.381 * * * * [misc]points: Computing exacts on every 13 of 217 points to ramp up precision 1539788342.399 * * * * [misc]points: Setting MPFR precision to 64 1539788342.400 * * * * [misc]points: Setting MPFR precision to 320 1539788342.401 * * * * [misc]points: Computing exacts on every 6 of 217 points to ramp up precision 1539788342.415 * * * * [misc]points: Setting MPFR precision to 64 1539788342.418 * * * * [misc]points: Setting MPFR precision to 320 1539788342.422 * * * * [misc]points: Computing exacts on every 3 of 217 points to ramp up precision 1539788342.482 * * * * [misc]points: Setting MPFR precision to 64 1539788342.487 * * * * [misc]points: Setting MPFR precision to 320 1539788342.493 * * * * [misc]points: Computing exacts for 217 points 1539788342.525 * * * * [misc]points: Setting MPFR precision to 64 1539788342.547 * * * * [misc]points: Setting MPFR precision to 320 1539788342.569 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788342.570 * * * * [misc]points: Sampling 200 additional inputs, on iter 3 have 56 / 256 1539788342.570 * * * * [misc]points: Computing exacts on every 12 of 200 points to ramp up precision 1539788342.607 * * * * [misc]points: Setting MPFR precision to 64 1539788342.608 * * * * [misc]points: Setting MPFR precision to 320 1539788342.610 * * * * [misc]points: Computing exacts on every 6 of 200 points to ramp up precision 1539788342.625 * * * * [misc]points: Setting MPFR precision to 64 1539788342.626 * * * * [misc]points: Setting MPFR precision to 320 1539788342.628 * * * * [misc]points: Computing exacts on every 3 of 200 points to ramp up precision 1539788342.642 * * * * [misc]points: Setting MPFR precision to 64 1539788342.645 * * * * [misc]points: Setting MPFR precision to 320 1539788342.647 * * * * [misc]points: Computing exacts for 200 points 1539788342.695 * * * * [misc]points: Setting MPFR precision to 64 1539788342.715 * * * * [misc]points: Setting MPFR precision to 320 1539788342.736 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788342.736 * * * * [misc]points: Sampling 186 additional inputs, on iter 4 have 70 / 256 1539788342.737 * * * * [misc]points: Computing exacts on every 11 of 186 points to ramp up precision 1539788342.767 * * * * [misc]points: Setting MPFR precision to 64 1539788342.769 * * * * [misc]points: Setting MPFR precision to 320 1539788342.771 * * * * [misc]points: Computing exacts on every 5 of 186 points to ramp up precision 1539788342.822 * * * * [misc]points: Setting MPFR precision to 64 1539788342.825 * * * * [misc]points: Setting MPFR precision to 320 1539788342.832 * * * * [misc]points: Computing exacts on every 2 of 186 points to ramp up precision 1539788342.860 * * * * [misc]points: Setting MPFR precision to 64 1539788342.863 * * * * [misc]points: Setting MPFR precision to 320 1539788342.866 * * * * [misc]points: Computing exacts for 186 points 1539788342.885 * * * * [misc]points: Setting MPFR precision to 64 1539788342.904 * * * * [misc]points: Setting MPFR precision to 320 1539788342.947 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788342.947 * * * * [misc]points: Sampling 171 additional inputs, on iter 5 have 85 / 256 1539788342.948 * * * * [misc]points: Computing exacts on every 10 of 171 points to ramp up precision 1539788342.964 * * * * [misc]points: Setting MPFR precision to 64 1539788342.965 * * * * [misc]points: Setting MPFR precision to 320 1539788342.965 * * * * [misc]points: Computing exacts on every 5 of 171 points to ramp up precision 1539788342.984 * * * * [misc]points: Setting MPFR precision to 64 1539788342.986 * * * * [misc]points: Setting MPFR precision to 320 1539788342.987 * * * * [misc]points: Computing exacts on every 2 of 171 points to ramp up precision 1539788343.020 * * * * [misc]points: Setting MPFR precision to 64 1539788343.028 * * * * [misc]points: Setting MPFR precision to 320 1539788343.034 * * * * [misc]points: Computing exacts for 171 points 1539788343.065 * * * * [misc]points: Setting MPFR precision to 64 1539788343.082 * * * * [misc]points: Setting MPFR precision to 320 1539788343.099 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.099 * * * * [misc]points: Sampling 158 additional inputs, on iter 6 have 98 / 256 1539788343.100 * * * * [misc]points: Computing exacts on every 9 of 158 points to ramp up precision 1539788343.131 * * * * [misc]points: Setting MPFR precision to 64 1539788343.133 * * * * [misc]points: Setting MPFR precision to 320 1539788343.134 * * * * [misc]points: Computing exacts on every 4 of 158 points to ramp up precision 1539788343.193 * * * * [misc]points: Setting MPFR precision to 64 1539788343.196 * * * * [misc]points: Setting MPFR precision to 320 1539788343.199 * * * * [misc]points: Computing exacts on every 2 of 158 points to ramp up precision 1539788343.215 * * * * [misc]points: Setting MPFR precision to 64 1539788343.218 * * * * [misc]points: Setting MPFR precision to 320 1539788343.221 * * * * [misc]points: Computing exacts for 158 points 1539788343.236 * * * * [misc]points: Setting MPFR precision to 64 1539788343.265 * * * * [misc]points: Setting MPFR precision to 320 1539788343.273 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.273 * * * * [misc]points: Sampling 145 additional inputs, on iter 7 have 111 / 256 1539788343.274 * * * * [misc]points: Computing exacts on every 9 of 145 points to ramp up precision 1539788343.288 * * * * [misc]points: Setting MPFR precision to 64 1539788343.289 * * * * [misc]points: Setting MPFR precision to 320 1539788343.290 * * * * [misc]points: Computing exacts on every 4 of 145 points to ramp up precision 1539788343.306 * * * * [misc]points: Setting MPFR precision to 64 1539788343.309 * * * * [misc]points: Setting MPFR precision to 320 1539788343.312 * * * * [misc]points: Computing exacts on every 2 of 145 points to ramp up precision 1539788343.366 * * * * [misc]points: Setting MPFR precision to 64 1539788343.371 * * * * [misc]points: Setting MPFR precision to 320 1539788343.377 * * * * [misc]points: Computing exacts for 145 points 1539788343.408 * * * * [misc]points: Setting MPFR precision to 64 1539788343.419 * * * * [misc]points: Setting MPFR precision to 320 1539788343.426 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.426 * * * * [misc]points: Sampling 132 additional inputs, on iter 8 have 124 / 256 1539788343.426 * * * * [misc]points: Computing exacts on every 8 of 132 points to ramp up precision 1539788343.441 * * * * [misc]points: Setting MPFR precision to 64 1539788343.442 * * * * [misc]points: Setting MPFR precision to 320 1539788343.443 * * * * [misc]points: Computing exacts on every 4 of 132 points to ramp up precision 1539788343.499 * * * * [misc]points: Setting MPFR precision to 64 1539788343.502 * * * * [misc]points: Setting MPFR precision to 320 1539788343.505 * * * * [misc]points: Computing exacts on every 2 of 132 points to ramp up precision 1539788343.536 * * * * [misc]points: Setting MPFR precision to 64 1539788343.541 * * * * [misc]points: Setting MPFR precision to 320 1539788343.545 * * * * [misc]points: Computing exacts for 132 points 1539788343.591 * * * * [misc]points: Setting MPFR precision to 64 1539788343.605 * * * * [misc]points: Setting MPFR precision to 320 1539788343.612 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.612 * * * * [misc]points: Sampling 121 additional inputs, on iter 9 have 135 / 256 1539788343.613 * * * * [misc]points: Computing exacts on every 7 of 121 points to ramp up precision 1539788343.627 * * * * [misc]points: Setting MPFR precision to 64 1539788343.628 * * * * [misc]points: Setting MPFR precision to 320 1539788343.629 * * * * [misc]points: Computing exacts on every 3 of 121 points to ramp up precision 1539788343.645 * * * * [misc]points: Setting MPFR precision to 64 1539788343.648 * * * * [misc]points: Setting MPFR precision to 320 1539788343.651 * * * * [misc]points: Computing exacts for 121 points 1539788343.687 * * * * [misc]points: Setting MPFR precision to 64 1539788343.694 * * * * [misc]points: Setting MPFR precision to 320 1539788343.707 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.707 * * * * [misc]points: Sampling 114 additional inputs, on iter 10 have 142 / 256 1539788343.707 * * * * [misc]points: Computing exacts on every 7 of 114 points to ramp up precision 1539788343.738 * * * * [misc]points: Setting MPFR precision to 64 1539788343.740 * * * * [misc]points: Setting MPFR precision to 320 1539788343.741 * * * * [misc]points: Computing exacts on every 3 of 114 points to ramp up precision 1539788343.772 * * * * [misc]points: Setting MPFR precision to 64 1539788343.775 * * * * [misc]points: Setting MPFR precision to 320 1539788343.778 * * * * [misc]points: Computing exacts for 114 points 1539788343.814 * * * * [misc]points: Setting MPFR precision to 64 1539788343.820 * * * * [misc]points: Setting MPFR precision to 320 1539788343.829 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.829 * * * * [misc]points: Sampling 103 additional inputs, on iter 11 have 153 / 256 1539788343.829 * * * * [misc]points: Computing exacts on every 6 of 103 points to ramp up precision 1539788343.860 * * * * [misc]points: Setting MPFR precision to 64 1539788343.862 * * * * [misc]points: Setting MPFR precision to 320 1539788343.863 * * * * [misc]points: Computing exacts on every 3 of 103 points to ramp up precision 1539788343.915 * * * * [misc]points: Setting MPFR precision to 64 1539788343.918 * * * * [misc]points: Setting MPFR precision to 320 1539788343.920 * * * * [misc]points: Computing exacts for 103 points 1539788343.951 * * * * [misc]points: Setting MPFR precision to 64 1539788343.962 * * * * [misc]points: Setting MPFR precision to 320 1539788343.973 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788343.973 * * * * [misc]points: Sampling 96 additional inputs, on iter 12 have 160 / 256 1539788343.973 * * * * [misc]points: Computing exacts on every 6 of 96 points to ramp up precision 1539788344.004 * * * * [misc]points: Setting MPFR precision to 64 1539788344.005 * * * * [misc]points: Setting MPFR precision to 320 1539788344.006 * * * * [misc]points: Computing exacts on every 3 of 96 points to ramp up precision 1539788344.060 * * * * [misc]points: Setting MPFR precision to 64 1539788344.063 * * * * [misc]points: Setting MPFR precision to 320 1539788344.066 * * * * [misc]points: Computing exacts for 96 points 1539788344.097 * * * * [misc]points: Setting MPFR precision to 64 1539788344.107 * * * * [misc]points: Setting MPFR precision to 320 1539788344.117 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788344.117 * * * * [misc]points: Sampling 86 additional inputs, on iter 13 have 170 / 256 1539788344.118 * * * * [misc]points: Computing exacts on every 5 of 86 points to ramp up precision 1539788344.144 * * * * [misc]points: Setting MPFR precision to 64 1539788344.145 * * * * [misc]points: Setting MPFR precision to 320 1539788344.146 * * * * [misc]points: Computing exacts on every 2 of 86 points to ramp up precision 1539788344.173 * * * * [misc]points: Setting MPFR precision to 64 1539788344.175 * * * * [misc]points: Setting MPFR precision to 320 1539788344.176 * * * * [misc]points: Computing exacts for 86 points 1539788344.197 * * * * [misc]points: Setting MPFR precision to 64 1539788344.205 * * * * [misc]points: Setting MPFR precision to 320 1539788344.213 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788344.213 * * * * [misc]points: Sampling 80 additional inputs, on iter 14 have 176 / 256 1539788344.214 * * * * [misc]points: Computing exacts on every 5 of 80 points to ramp up precision 1539788344.613 * * * * [misc]points: Setting MPFR precision to 64 1539788344.615 * * * * [misc]points: Setting MPFR precision to 320 1539788344.616 * * * * [misc]points: Computing exacts on every 2 of 80 points to ramp up precision 1539788344.649 * * * * [misc]points: Setting MPFR precision to 64 1539788344.652 * * * * [misc]points: Setting MPFR precision to 320 1539788344.655 * * * * [misc]points: Computing exacts for 80 points 1539788344.685 * * * * [misc]points: Setting MPFR precision to 64 1539788344.693 * * * * [misc]points: Setting MPFR precision to 320 1539788344.701 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788344.702 * * * * [misc]points: Sampling 73 additional inputs, on iter 15 have 183 / 256 1539788344.702 * * * * [misc]points: Computing exacts on every 4 of 73 points to ramp up precision 1539788344.739 * * * * [misc]points: Setting MPFR precision to 64 1539788344.739 * * * * [misc]points: Setting MPFR precision to 320 1539788344.740 * * * * [misc]points: Computing exacts on every 2 of 73 points to ramp up precision 1539788344.768 * * * * [misc]points: Setting MPFR precision to 64 1539788344.771 * * * * [misc]points: Setting MPFR precision to 320 1539788344.773 * * * * [misc]points: Computing exacts for 73 points 1539788344.804 * * * * [misc]points: Setting MPFR precision to 64 1539788344.811 * * * * [misc]points: Setting MPFR precision to 320 1539788344.819 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788344.819 * * * * [misc]points: Sampling 70 additional inputs, on iter 16 have 186 / 256 1539788344.820 * * * * [misc]points: Computing exacts on every 4 of 70 points to ramp up precision 1539788344.867 * * * * [misc]points: Setting MPFR precision to 64 1539788344.869 * * * * [misc]points: Setting MPFR precision to 320 1539788344.871 * * * * [misc]points: Computing exacts on every 2 of 70 points to ramp up precision 1539788344.902 * * * * [misc]points: Setting MPFR precision to 64 1539788344.905 * * * * [misc]points: Setting MPFR precision to 320 1539788344.907 * * * * [misc]points: Computing exacts for 70 points 1539788344.938 * * * * [misc]points: Setting MPFR precision to 64 1539788344.945 * * * * [misc]points: Setting MPFR precision to 320 1539788344.952 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788344.953 * * * * [misc]points: Sampling 61 additional inputs, on iter 17 have 195 / 256 1539788344.953 * * * * [misc]points: Computing exacts on every 3 of 61 points to ramp up precision 1539788345.004 * * * * [misc]points: Setting MPFR precision to 64 1539788345.005 * * * * [misc]points: Setting MPFR precision to 320 1539788345.007 * * * * [misc]points: Computing exacts for 61 points 1539788345.038 * * * * [misc]points: Setting MPFR precision to 64 1539788345.045 * * * * [misc]points: Setting MPFR precision to 320 1539788345.052 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.052 * * * * [misc]points: Sampling 55 additional inputs, on iter 18 have 201 / 256 1539788345.052 * * * * [misc]points: Computing exacts on every 3 of 55 points to ramp up precision 1539788345.083 * * * * [misc]points: Setting MPFR precision to 64 1539788345.084 * * * * [misc]points: Setting MPFR precision to 320 1539788345.086 * * * * [misc]points: Computing exacts for 55 points 1539788345.137 * * * * [misc]points: Setting MPFR precision to 64 1539788345.142 * * * * [misc]points: Setting MPFR precision to 320 1539788345.148 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.148 * * * * [misc]points: Sampling 50 additional inputs, on iter 19 have 206 / 256 1539788345.149 * * * * [misc]points: Computing exacts on every 3 of 50 points to ramp up precision 1539788345.179 * * * * [misc]points: Setting MPFR precision to 64 1539788345.181 * * * * [misc]points: Setting MPFR precision to 320 1539788345.182 * * * * [misc]points: Computing exacts for 50 points 1539788345.213 * * * * [misc]points: Setting MPFR precision to 64 1539788345.232 * * * * [misc]points: Setting MPFR precision to 320 1539788345.240 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.240 * * * * [misc]points: Sampling 48 additional inputs, on iter 20 have 208 / 256 1539788345.240 * * * * [misc]points: Computing exacts on every 3 of 48 points to ramp up precision 1539788345.268 * * * * [misc]points: Setting MPFR precision to 64 1539788345.269 * * * * [misc]points: Setting MPFR precision to 320 1539788345.270 * * * * [misc]points: Computing exacts for 48 points 1539788345.284 * * * * [misc]points: Setting MPFR precision to 64 1539788345.287 * * * * [misc]points: Setting MPFR precision to 320 1539788345.289 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.289 * * * * [misc]points: Sampling 46 additional inputs, on iter 21 have 210 / 256 1539788345.289 * * * * [misc]points: Computing exacts on every 2 of 46 points to ramp up precision 1539788345.316 * * * * [misc]points: Setting MPFR precision to 64 1539788345.318 * * * * [misc]points: Setting MPFR precision to 320 1539788345.323 * * * * [misc]points: Computing exacts for 46 points 1539788345.354 * * * * [misc]points: Setting MPFR precision to 64 1539788345.359 * * * * [misc]points: Setting MPFR precision to 320 1539788345.363 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.363 * * * * [misc]points: Sampling 43 additional inputs, on iter 22 have 213 / 256 1539788345.364 * * * * [misc]points: Computing exacts on every 2 of 43 points to ramp up precision 1539788345.394 * * * * [misc]points: Setting MPFR precision to 64 1539788345.396 * * * * [misc]points: Setting MPFR precision to 320 1539788345.397 * * * * [misc]points: Computing exacts for 43 points 1539788345.444 * * * * [misc]points: Setting MPFR precision to 64 1539788345.448 * * * * [misc]points: Setting MPFR precision to 320 1539788345.453 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.453 * * * * [misc]points: Sampling 40 additional inputs, on iter 23 have 216 / 256 1539788345.453 * * * * [misc]points: Computing exacts on every 2 of 40 points to ramp up precision 1539788345.480 * * * * [misc]points: Setting MPFR precision to 64 1539788345.481 * * * * [misc]points: Setting MPFR precision to 320 1539788345.482 * * * * [misc]points: Computing exacts for 40 points 1539788345.497 * * * * [misc]points: Setting MPFR precision to 64 1539788345.499 * * * * [misc]points: Setting MPFR precision to 320 1539788345.501 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.501 * * * * [misc]points: Sampling 39 additional inputs, on iter 24 have 217 / 256 1539788345.501 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1539788345.525 * * * * [misc]points: Setting MPFR precision to 64 1539788345.526 * * * * [misc]points: Setting MPFR precision to 320 1539788345.526 * * * * [misc]points: Computing exacts for 39 points 1539788345.543 * * * * [misc]points: Setting MPFR precision to 64 1539788345.545 * * * * [misc]points: Setting MPFR precision to 320 1539788345.546 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.547 * * * * [misc]points: Sampling 39 additional inputs, on iter 25 have 217 / 256 1539788345.547 * * * * [misc]points: Computing exacts on every 2 of 39 points to ramp up precision 1539788345.561 * * * * [misc]points: Setting MPFR precision to 64 1539788345.562 * * * * [misc]points: Setting MPFR precision to 320 1539788345.563 * * * * [misc]points: Computing exacts for 39 points 1539788345.588 * * * * [misc]points: Setting MPFR precision to 64 1539788345.590 * * * * [misc]points: Setting MPFR precision to 320 1539788345.592 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.592 * * * * [misc]points: Sampling 37 additional inputs, on iter 26 have 219 / 256 1539788345.592 * * * * [misc]points: Computing exacts on every 2 of 37 points to ramp up precision 1539788345.607 * * * * [misc]points: Setting MPFR precision to 64 1539788345.608 * * * * [misc]points: Setting MPFR precision to 320 1539788345.608 * * * * [misc]points: Computing exacts for 37 points 1539788345.626 * * * * [misc]points: Setting MPFR precision to 64 1539788345.630 * * * * [misc]points: Setting MPFR precision to 320 1539788345.634 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.634 * * * * [misc]points: Sampling 32 additional inputs, on iter 27 have 224 / 256 1539788345.634 * * * * [misc]points: Computing exacts on every 2 of 32 points to ramp up precision 1539788345.682 * * * * [misc]points: Setting MPFR precision to 64 1539788345.683 * * * * [misc]points: Setting MPFR precision to 320 1539788345.684 * * * * [misc]points: Computing exacts for 32 points 1539788345.712 * * * * [misc]points: Setting MPFR precision to 64 1539788345.714 * * * * [misc]points: Setting MPFR precision to 320 1539788345.715 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.716 * * * * [misc]points: Sampling 29 additional inputs, on iter 28 have 227 / 256 1539788345.716 * * * * [misc]points: Computing exacts for 29 points 1539788345.730 * * * * [misc]points: Setting MPFR precision to 64 1539788345.732 * * * * [misc]points: Setting MPFR precision to 320 1539788345.733 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.733 * * * * [misc]points: Sampling 27 additional inputs, on iter 29 have 229 / 256 1539788345.733 * * * * [misc]points: Computing exacts for 27 points 1539788345.777 * * * * [misc]points: Setting MPFR precision to 64 1539788345.780 * * * * [misc]points: Setting MPFR precision to 320 1539788345.782 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.783 * * * * [misc]points: Sampling 27 additional inputs, on iter 30 have 229 / 256 1539788345.783 * * * * [misc]points: Computing exacts for 27 points 1539788345.814 * * * * [misc]points: Setting MPFR precision to 64 1539788345.816 * * * * [misc]points: Setting MPFR precision to 320 1539788345.817 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.817 * * * * [misc]points: Sampling 27 additional inputs, on iter 31 have 229 / 256 1539788345.817 * * * * [misc]points: Computing exacts for 27 points 1539788345.832 * * * * [misc]points: Setting MPFR precision to 64 1539788345.833 * * * * [misc]points: Setting MPFR precision to 320 1539788345.835 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.835 * * * * [misc]points: Sampling 26 additional inputs, on iter 32 have 230 / 256 1539788345.835 * * * * [misc]points: Computing exacts for 26 points 1539788345.860 * * * * [misc]points: Setting MPFR precision to 64 1539788345.861 * * * * [misc]points: Setting MPFR precision to 320 1539788345.862 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.862 * * * * [misc]points: Sampling 23 additional inputs, on iter 33 have 233 / 256 1539788345.862 * * * * [misc]points: Computing exacts for 23 points 1539788345.877 * * * * [misc]points: Setting MPFR precision to 64 1539788345.879 * * * * [misc]points: Setting MPFR precision to 320 1539788345.880 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.880 * * * * [misc]points: Sampling 21 additional inputs, on iter 34 have 235 / 256 1539788345.880 * * * * [misc]points: Computing exacts for 21 points 1539788345.894 * * * * [misc]points: Setting MPFR precision to 64 1539788345.896 * * * * [misc]points: Setting MPFR precision to 320 1539788345.897 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.897 * * * * [misc]points: Sampling 21 additional inputs, on iter 35 have 235 / 256 1539788345.897 * * * * [misc]points: Computing exacts for 21 points 1539788345.944 * * * * [misc]points: Setting MPFR precision to 64 1539788345.946 * * * * [misc]points: Setting MPFR precision to 320 1539788345.948 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.948 * * * * [misc]points: Sampling 21 additional inputs, on iter 36 have 235 / 256 1539788345.948 * * * * [misc]points: Computing exacts for 21 points 1539788345.979 * * * * [misc]points: Setting MPFR precision to 64 1539788345.982 * * * * [misc]points: Setting MPFR precision to 320 1539788345.984 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788345.984 * * * * [misc]points: Sampling 20 additional inputs, on iter 37 have 236 / 256 1539788345.984 * * * * [misc]points: Computing exacts for 20 points 1539788346.001 * * * * [misc]points: Setting MPFR precision to 64 1539788346.002 * * * * [misc]points: Setting MPFR precision to 320 1539788346.011 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.011 * * * * [misc]points: Sampling 18 additional inputs, on iter 38 have 238 / 256 1539788346.011 * * * * [misc]points: Computing exacts for 18 points 1539788346.031 * * * * [misc]points: Setting MPFR precision to 64 1539788346.033 * * * * [misc]points: Setting MPFR precision to 320 1539788346.035 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.035 * * * * [misc]points: Sampling 14 additional inputs, on iter 39 have 242 / 256 1539788346.035 * * * * [misc]points: Computing exacts for 14 points 1539788346.065 * * * * [misc]points: Setting MPFR precision to 64 1539788346.067 * * * * [misc]points: Setting MPFR precision to 320 1539788346.068 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.068 * * * * [misc]points: Sampling 14 additional inputs, on iter 40 have 242 / 256 1539788346.068 * * * * [misc]points: Computing exacts for 14 points 1539788346.086 * * * * [misc]points: Setting MPFR precision to 64 1539788346.094 * * * * [misc]points: Setting MPFR precision to 320 1539788346.097 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.097 * * * * [misc]points: Sampling 13 additional inputs, on iter 41 have 243 / 256 1539788346.097 * * * * [misc]points: Computing exacts for 13 points 1539788346.111 * * * * [misc]points: Setting MPFR precision to 64 1539788346.112 * * * * [misc]points: Setting MPFR precision to 320 1539788346.113 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.113 * * * * [misc]points: Sampling 12 additional inputs, on iter 42 have 244 / 256 1539788346.113 * * * * [misc]points: Computing exacts for 12 points 1539788346.127 * * * * [misc]points: Setting MPFR precision to 64 1539788346.128 * * * * [misc]points: Setting MPFR precision to 320 1539788346.129 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.129 * * * * [misc]points: Sampling 11 additional inputs, on iter 43 have 245 / 256 1539788346.129 * * * * [misc]points: Computing exacts for 11 points 1539788346.143 * * * * [misc]points: Setting MPFR precision to 64 1539788346.144 * * * * [misc]points: Setting MPFR precision to 320 1539788346.152 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.152 * * * * [misc]points: Sampling 9 additional inputs, on iter 44 have 247 / 256 1539788346.152 * * * * [misc]points: Computing exacts for 9 points 1539788346.185 * * * * [misc]points: Setting MPFR precision to 64 1539788346.187 * * * * [misc]points: Setting MPFR precision to 320 1539788346.187 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.187 * * * * [misc]points: Sampling 9 additional inputs, on iter 45 have 247 / 256 1539788346.188 * * * * [misc]points: Computing exacts for 9 points 1539788346.218 * * * * [misc]points: Setting MPFR precision to 64 1539788346.219 * * * * [misc]points: Setting MPFR precision to 320 1539788346.220 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.220 * * * * [misc]points: Sampling 9 additional inputs, on iter 46 have 247 / 256 1539788346.220 * * * * [misc]points: Computing exacts for 9 points 1539788346.245 * * * * [misc]points: Setting MPFR precision to 64 1539788346.246 * * * * [misc]points: Setting MPFR precision to 320 1539788346.247 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.247 * * * * [misc]points: Sampling 7 additional inputs, on iter 47 have 249 / 256 1539788346.247 * * * * [misc]points: Computing exacts for 7 points 1539788346.270 * * * * [misc]points: Setting MPFR precision to 64 1539788346.271 * * * * [misc]points: Setting MPFR precision to 320 1539788346.271 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.271 * * * * [misc]points: Sampling 7 additional inputs, on iter 48 have 249 / 256 1539788346.271 * * * * [misc]points: Computing exacts for 7 points 1539788346.297 * * * * [misc]points: Setting MPFR precision to 64 1539788346.298 * * * * [misc]points: Setting MPFR precision to 320 1539788346.299 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.299 * * * * [misc]points: Sampling 7 additional inputs, on iter 49 have 249 / 256 1539788346.299 * * * * [misc]points: Computing exacts for 7 points 1539788346.331 * * * * [misc]points: Setting MPFR precision to 64 1539788346.332 * * * * [misc]points: Setting MPFR precision to 320 1539788346.333 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.333 * * * * [misc]points: Sampling 7 additional inputs, on iter 50 have 249 / 256 1539788346.333 * * * * [misc]points: Computing exacts for 7 points 1539788346.376 * * * * [misc]points: Setting MPFR precision to 64 1539788346.377 * * * * [misc]points: Setting MPFR precision to 320 1539788346.377 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.377 * * * * [misc]points: Sampling 7 additional inputs, on iter 51 have 249 / 256 1539788346.377 * * * * [misc]points: Computing exacts for 7 points 1539788346.392 * * * * [misc]points: Setting MPFR precision to 64 1539788346.392 * * * * [misc]points: Setting MPFR precision to 320 1539788346.393 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.393 * * * * [misc]points: Sampling 6 additional inputs, on iter 52 have 250 / 256 1539788346.393 * * * * [misc]points: Computing exacts for 6 points 1539788346.408 * * * * [misc]points: Setting MPFR precision to 64 1539788346.408 * * * * [misc]points: Setting MPFR precision to 320 1539788346.408 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.408 * * * * [misc]points: Sampling 6 additional inputs, on iter 53 have 250 / 256 1539788346.408 * * * * [misc]points: Computing exacts for 6 points 1539788346.449 * * * * [misc]points: Setting MPFR precision to 64 1539788346.450 * * * * [misc]points: Setting MPFR precision to 320 1539788346.451 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.451 * * * * [misc]points: Sampling 6 additional inputs, on iter 54 have 250 / 256 1539788346.451 * * * * [misc]points: Computing exacts for 6 points 1539788346.481 * * * * [misc]points: Setting MPFR precision to 64 1539788346.482 * * * * [misc]points: Setting MPFR precision to 320 1539788346.483 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.483 * * * * [misc]points: Sampling 5 additional inputs, on iter 55 have 251 / 256 1539788346.483 * * * * [misc]points: Computing exacts for 5 points 1539788346.514 * * * * [misc]points: Setting MPFR precision to 64 1539788346.515 * * * * [misc]points: Setting MPFR precision to 320 1539788346.515 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.515 * * * * [misc]points: Sampling 4 additional inputs, on iter 56 have 254 / 256 1539788346.516 * * * * [misc]points: Computing exacts for 4 points 1539788346.538 * * * * [misc]points: Setting MPFR precision to 64 1539788346.538 * * * * [misc]points: Setting MPFR precision to 320 1539788346.538 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.538 * * * * [misc]points: Sampling 4 additional inputs, on iter 57 have 254 / 256 1539788346.538 * * * * [misc]points: Computing exacts for 4 points 1539788346.553 * * * * [misc]points: Setting MPFR precision to 64 1539788346.554 * * * * [misc]points: Setting MPFR precision to 320 1539788346.554 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.554 * * * * [misc]points: Sampling 4 additional inputs, on iter 58 have 255 / 256 1539788346.554 * * * * [misc]points: Computing exacts for 4 points 1539788346.569 * * * * [misc]points: Setting MPFR precision to 64 1539788346.570 * * * * [misc]points: Setting MPFR precision to 320 1539788346.571 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.571 * * * * [misc]points: Sampling 4 additional inputs, on iter 59 have 255 / 256 1539788346.571 * * * * [misc]points: Computing exacts for 4 points 1539788346.593 * * * * [misc]points: Setting MPFR precision to 64 1539788346.593 * * * * [misc]points: Setting MPFR precision to 320 1539788346.593 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.593 * * * * [misc]points: Sampling 4 additional inputs, on iter 60 have 255 / 256 1539788346.593 * * * * [misc]points: Computing exacts for 4 points 1539788346.612 * * * * [misc]points: Setting MPFR precision to 64 1539788346.613 * * * * [misc]points: Setting MPFR precision to 320 1539788346.613 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.613 * * * * [misc]points: Sampling 4 additional inputs, on iter 61 have 255 / 256 1539788346.613 * * * * [misc]points: Computing exacts for 4 points 1539788346.645 * * * * [misc]points: Setting MPFR precision to 64 1539788346.645 * * * * [misc]points: Setting MPFR precision to 320 1539788346.646 * * * * [misc]points: Filtering points with unrepresentable outputs 1539788346.646 * * * * [exit]points: Sampled 256 points with exact outputs 1539788346.646 * * * [misc]progress: [2/2] Setting up program. 1539788346.657 * [misc]progress: [Phase 2 of 3] Improving. 1539788346.657 * [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)))))) 1539788346.657 * * [misc]simplify: iters left: 6 (31 enodes) 1539788346.678 * * [misc]simplify: iters left: 5 (95 enodes) 1539788346.702 * * [misc]simplify: iters left: 4 (384 enodes) 1539788347.130 * [exit]simplify: Simplified to (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.160 * * [misc]progress: iteration 1 / 4 1539788347.160 * * * [misc]progress: picking best candidate 1539788347.177 * * * * [misc]pick: Picked # 1539788347.177 * * * [misc]progress: localizing error 1539788347.280 * * * [misc]progress: generating rewritten candidates 1539788347.280 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1539788347.280 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 2 1 2) 1539788347.280 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 1 1 2 2) 1539788347.281 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 1 2) 1539788347.282 * * * [misc]progress: generating series expansions 1539788347.283 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1539788347.283 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 2 1 2) 1539788347.283 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 1 1 2 2) 1539788347.283 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 1 2) 1539788347.283 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 4) into (pow (/ 1 (fabs x)) 4) 1539788347.283 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in (x) around 0 1539788347.283 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1539788347.283 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1539788347.283 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1539788347.283 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1539788347.283 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1539788347.283 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1539788347.283 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1539788347.283 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1539788347.283 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1539788347.283 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1539788347.283 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1539788347.283 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1539788347.283 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1539788347.283 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1539788347.283 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1539788347.284 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1539788347.284 * [misc]backup-simplify: Simplify 0 into 0 1539788347.284 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788347.284 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1539788347.284 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1539788347.284 * [misc]backup-simplify: Simplify 0 into 0 1539788347.285 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788347.285 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1539788347.285 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1539788347.285 * [misc]backup-simplify: Simplify 0 into 0 1539788347.285 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788347.286 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1539788347.286 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1539788347.286 * [misc]backup-simplify: Simplify 0 into 0 1539788347.286 * [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 1539788347.287 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1539788347.287 * [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 1539788347.287 * [misc]backup-simplify: Simplify 0 into 0 1539788347.288 * [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 1539788347.289 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1539788347.289 * [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 1539788347.289 * [misc]backup-simplify: Simplify 0 into 0 1539788347.290 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1539788347.290 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 4) into (pow (/ 1 (fabs (/ 1 x))) 4) 1539788347.290 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in (x) around 0 1539788347.290 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1539788347.290 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1539788347.290 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1539788347.290 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1539788347.290 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1539788347.290 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1539788347.290 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1539788347.290 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1539788347.290 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1539788347.290 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1539788347.290 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1539788347.291 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1539788347.291 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 4)) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1539788347.291 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1539788347.291 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1539788347.292 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1539788347.292 * [misc]backup-simplify: Simplify 0 into 0 1539788347.292 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1539788347.292 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1539788347.293 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1539788347.293 * [misc]backup-simplify: Simplify 0 into 0 1539788347.293 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1539788347.294 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1539788347.294 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1539788347.294 * [misc]backup-simplify: Simplify 0 into 0 1539788347.295 * [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 1539788347.295 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1539788347.296 * [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 1539788347.296 * [misc]backup-simplify: Simplify 0 into 0 1539788347.297 * [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 1539788347.297 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1539788347.298 * [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 1539788347.298 * [misc]backup-simplify: Simplify 0 into 0 1539788347.299 * [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 1539788347.300 * [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 1539788347.301 * [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 1539788347.301 * [misc]backup-simplify: Simplify 0 into 0 1539788347.301 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 4)) into (/ 1 (pow (fabs x) 4)) 1539788347.301 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 4) into (pow (/ 1 (fabs (/ -1 x))) 4) 1539788347.301 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in (x) around 0 1539788347.301 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1539788347.301 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1539788347.301 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1539788347.301 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1539788347.301 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1539788347.302 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1539788347.302 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1539788347.302 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1539788347.302 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1539788347.302 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1539788347.302 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1539788347.302 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1539788347.302 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 4)) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1539788347.302 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1539788347.303 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1539788347.303 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1539788347.303 * [misc]backup-simplify: Simplify 0 into 0 1539788347.303 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1539788347.304 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1539788347.304 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1539788347.304 * [misc]backup-simplify: Simplify 0 into 0 1539788347.305 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1539788347.305 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1539788347.306 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1539788347.306 * [misc]backup-simplify: Simplify 0 into 0 1539788347.306 * [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 1539788347.307 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1539788347.307 * [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 1539788347.307 * [misc]backup-simplify: Simplify 0 into 0 1539788347.308 * [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 1539788347.309 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1539788347.310 * [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 1539788347.310 * [misc]backup-simplify: Simplify 0 into 0 1539788347.310 * [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 1539788347.311 * [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 1539788347.312 * [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 1539788347.312 * [misc]backup-simplify: Simplify 0 into 0 1539788347.312 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) into (/ 1 (pow (fabs x) 4)) 1539788347.312 * * * [misc]progress: simplifying candidates 1539788347.312 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1539788347.313 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1539788347.314 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1539788347.315 * [enter]simplify: Simplifying (* (- (log (fabs x))) 4) 1539788347.315 * * [misc]simplify: iters left: 6 (6 enodes) 1539788347.317 * * [misc]simplify: iters left: 5 (9 enodes) 1539788347.320 * * [misc]simplify: iters left: 4 (14 enodes) 1539788347.323 * * [misc]simplify: iters left: 3 (15 enodes) 1539788347.326 * [exit]simplify: Simplified to (* (log (fabs x)) -4) 1539788347.326 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (exp (* (log (fabs x)) -4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.326 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1539788347.326 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 4) 1539788347.326 * * [misc]simplify: iters left: 6 (7 enodes) 1539788347.329 * * [misc]simplify: iters left: 5 (14 enodes) 1539788347.332 * * [misc]simplify: iters left: 4 (18 enodes) 1539788347.337 * * [misc]simplify: iters left: 3 (22 enodes) 1539788347.341 * [exit]simplify: Simplified to (* -4 (log (fabs x))) 1539788347.341 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (exp (* -4 (log (fabs x))))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.341 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1539788347.341 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1539788347.342 * [enter]simplify: Simplifying (fabs x) 1539788347.342 * * [misc]simplify: iters left: 1 (2 enodes) 1539788347.342 * [exit]simplify: Simplified to (fabs x) 1539788347.342 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (fabs x) (* -1 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.342 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1539788347.343 * [enter]simplify: Simplifying (fabs x) 1539788347.343 * * [misc]simplify: iters left: 1 (2 enodes) 1539788347.343 * [exit]simplify: Simplified to (fabs x) 1539788347.343 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (fabs x) (* (- 1) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.343 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1539788347.344 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1539788347.344 * * [misc]simplify: iters left: 3 (4 enodes) 1539788347.345 * * [misc]simplify: iters left: 2 (6 enodes) 1539788347.346 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1539788347.346 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) (* 1 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.346 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1539788347.347 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1539788347.347 * * [misc]simplify: iters left: 6 (8 enodes) 1539788347.349 * * [misc]simplify: iters left: 5 (10 enodes) 1539788347.351 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1539788347.351 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) (pow (cbrt (/ 1 (fabs x))) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.352 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1539788347.352 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 4) 1539788347.352 * * [misc]simplify: iters left: 5 (7 enodes) 1539788347.354 * * [misc]simplify: iters left: 4 (9 enodes) 1539788347.356 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 4) 1539788347.356 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* (pow (sqrt (/ 1 (fabs x))) 4) (pow (sqrt (/ 1 (fabs x))) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.356 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1539788347.356 * [enter]simplify: Simplifying (pow 1 4) 1539788347.356 * * [misc]simplify: iters left: 1 (3 enodes) 1539788347.357 * [exit]simplify: Simplified to 1 1539788347.357 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* 1 (pow (/ 1 (fabs x)) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.357 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1539788347.358 * [enter]simplify: Simplifying (pow 1 4) 1539788347.358 * * [misc]simplify: iters left: 1 (3 enodes) 1539788347.359 * [exit]simplify: Simplified to 1 1539788347.359 * [misc]simplify: Simplified (2 2 1 1 2 1) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (* 1 (pow (/ 1 (fabs x)) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.359 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1539788347.359 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1539788347.360 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.360 * * [misc]simplify: iters left: 6 (32 enodes) 1539788347.374 * * [misc]simplify: iters left: 5 (86 enodes) 1539788347.394 * * [misc]simplify: iters left: 4 (242 enodes) 1539788347.569 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.569 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.569 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1539788347.569 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.569 * * [misc]simplify: iters left: 6 (32 enodes) 1539788347.576 * * [misc]simplify: iters left: 5 (86 enodes) 1539788347.606 * * [misc]simplify: iters left: 4 (242 enodes) 1539788347.757 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.757 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788347.757 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1539788347.757 * [enter]simplify: Simplifying (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (pow (/ 1 (fabs x)) 4)) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788347.757 * * [misc]simplify: iters left: 6 (32 enodes) 1539788347.764 * * [misc]simplify: iters left: 5 (86 enodes) 1539788347.803 * * [misc]simplify: iters left: 4 (242 enodes) 1539788348.003 * [exit]simplify: Simplified to (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788348.004 * [misc]simplify: Simplified (2) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788348.004 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1539788348.004 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788348.004 * * [misc]simplify: iters left: 4 (6 enodes) 1539788348.006 * * [misc]simplify: iters left: 3 (8 enodes) 1539788348.008 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788348.008 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788348.008 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1539788348.008 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788348.008 * * [misc]simplify: iters left: 4 (6 enodes) 1539788348.010 * * [misc]simplify: iters left: 3 (8 enodes) 1539788348.012 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788348.012 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788348.012 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1539788348.012 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788348.012 * * [misc]simplify: iters left: 4 (6 enodes) 1539788348.014 * * [misc]simplify: iters left: 3 (8 enodes) 1539788348.016 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788348.016 * [misc]simplify: Simplified (2 2 1 1 2) to (λ (x) (+ (+ (* (* (* 15/8 (/ 1 (sqrt PI))) (exp (* (fabs x) (fabs x)))) (* (pow (/ 1 (fabs x)) 3) (pow (/ 1 (fabs x)) 4))) (* (exp (* (fabs x) (fabs x))) (* (/ 1 (sqrt PI)) (/ 1 (fabs x))))) (* (+ (* (* 3/4 (/ 1 (fabs x))) (/ 1 (pow (fabs x) 4))) (/ (* (/ 1 (fabs x)) (/ 1 (fabs x))) (* 2 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788348.016 * * * [misc]progress: adding candidates to table 1539788349.112 * * [misc]progress: iteration 2 / 4 1539788349.112 * * * [misc]progress: picking best candidate 1539788349.177 * * * * [misc]pick: Picked # 1539788349.177 * * * [misc]progress: localizing error 1539788349.233 * * * [misc]progress: generating rewritten candidates 1539788349.233 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1539788349.233 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1539788349.234 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 2) 1539788349.234 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 2 1 2 1) 1539788349.239 * * * [misc]progress: generating series expansions 1539788349.239 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1539788349.239 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1539788349.239 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 2) 1539788349.239 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 2 1 2 1) 1539788349.239 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs x)) 4) into (pow (/ 1 (fabs x)) 4) 1539788349.239 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in (x) around 0 1539788349.239 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1539788349.239 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1539788349.239 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1539788349.239 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1539788349.239 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1539788349.240 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs x)) 4) in x 1539788349.240 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs x)) in x 1539788349.240 * [misc]taylor: Taking taylor expansion of (fabs x) in x 1539788349.240 * [misc]backup-simplify: Simplify (fabs x) into (fabs x) 1539788349.240 * [misc]backup-simplify: Simplify (/ 1 (fabs x)) into (/ 1 (fabs x)) 1539788349.240 * [misc]backup-simplify: Simplify (* (/ 1 (fabs x)) (/ 1 (fabs x))) into (/ 1 (pow (fabs x) 2)) 1539788349.247 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs x) 2)) (/ 1 (pow (fabs x) 2))) into (/ 1 (pow (fabs x) 4)) 1539788349.248 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1539788349.248 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))))) into 0 1539788349.248 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (* 0 (/ 1 (fabs x)))) into 0 1539788349.248 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (* 0 (/ 1 (pow (fabs x) 2)))) into 0 1539788349.248 * [misc]backup-simplify: Simplify 0 into 0 1539788349.248 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788349.249 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))) into 0 1539788349.249 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))) into 0 1539788349.249 * [misc]backup-simplify: Simplify 0 into 0 1539788349.250 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788349.250 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))) into 0 1539788349.251 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2)))))) into 0 1539788349.251 * [misc]backup-simplify: Simplify 0 into 0 1539788349.251 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs x)) (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))) (* 0 (/ 0 (fabs x))))) into 0 1539788349.251 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))) into 0 1539788349.252 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs x) 2)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs x) 2))))))) into 0 1539788349.252 * [misc]backup-simplify: Simplify 0 into 0 1539788349.252 * [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 1539788349.253 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x)))))))) into 0 1539788349.254 * [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 1539788349.254 * [misc]backup-simplify: Simplify 0 into 0 1539788349.254 * [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 1539788349.255 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs x)) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs x))))))))) into 0 1539788349.256 * [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 1539788349.256 * [misc]backup-simplify: Simplify 0 into 0 1539788349.256 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs x) 4)) into (/ 1 (pow (fabs x) 4)) 1539788349.256 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 x))) 4) into (pow (/ 1 (fabs (/ 1 x))) 4) 1539788349.256 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in (x) around 0 1539788349.257 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1539788349.257 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1539788349.257 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1539788349.257 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1539788349.257 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1539788349.257 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ 1 x))) 4) in x 1539788349.257 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ 1 x))) in x 1539788349.257 * [misc]taylor: Taking taylor expansion of (fabs (/ 1 x)) in x 1539788349.257 * [misc]backup-simplify: Simplify (fabs (/ 1 x)) into (fabs (/ 1 x)) 1539788349.257 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ 1 x))) into (/ 1 (fabs (/ 1 x))) 1539788349.257 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ 1 x))) (/ 1 (fabs (/ 1 x)))) into (/ 1 (pow (fabs (/ 1 x)) 2)) 1539788349.257 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ 1 x)) 2)) (/ 1 (pow (fabs (/ 1 x)) 2))) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1539788349.258 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 x)) 4)) into (/ 1 (pow (fabs (/ 1 x)) 4)) 1539788349.258 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))))) into 0 1539788349.258 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (* 0 (/ 1 (fabs (/ 1 x))))) into 0 1539788349.258 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))) into 0 1539788349.258 * [misc]backup-simplify: Simplify 0 into 0 1539788349.259 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1539788349.259 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))) into 0 1539788349.259 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2))))) into 0 1539788349.259 * [misc]backup-simplify: Simplify 0 into 0 1539788349.260 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ 1 x))) (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))) (* 0 (/ 0 (fabs (/ 1 x)))))) into 0 1539788349.260 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))) into 0 1539788349.261 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ 1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ 1 x)) 2)))))) into 0 1539788349.261 * [misc]backup-simplify: Simplify 0 into 0 1539788349.261 * [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 1539788349.262 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x)))))))) into 0 1539788349.263 * [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 1539788349.263 * [misc]backup-simplify: Simplify 0 into 0 1539788349.263 * [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 1539788349.264 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ 1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ 1 x))))))))) into 0 1539788349.265 * [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 1539788349.265 * [misc]backup-simplify: Simplify 0 into 0 1539788349.265 * [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 1539788349.266 * [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 1539788349.267 * [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 1539788349.267 * [misc]backup-simplify: Simplify 0 into 0 1539788349.267 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ 1 (/ 1 x))) 4)) into (/ 1 (pow (fabs x) 4)) 1539788349.267 * [misc]backup-simplify: Simplify (pow (/ 1 (fabs (/ 1 (- x)))) 4) into (pow (/ 1 (fabs (/ -1 x))) 4) 1539788349.267 * [misc]approximate: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in (x) around 0 1539788349.267 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1539788349.267 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1539788349.267 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1539788349.268 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1539788349.268 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1539788349.268 * [misc]taylor: Taking taylor expansion of (pow (/ 1 (fabs (/ -1 x))) 4) in x 1539788349.268 * [misc]taylor: Taking taylor expansion of (/ 1 (fabs (/ -1 x))) in x 1539788349.268 * [misc]taylor: Taking taylor expansion of (fabs (/ -1 x)) in x 1539788349.268 * [misc]backup-simplify: Simplify (fabs (/ -1 x)) into (fabs (/ -1 x)) 1539788349.268 * [misc]backup-simplify: Simplify (/ 1 (fabs (/ -1 x))) into (/ 1 (fabs (/ -1 x))) 1539788349.268 * [misc]backup-simplify: Simplify (* (/ 1 (fabs (/ -1 x))) (/ 1 (fabs (/ -1 x)))) into (/ 1 (pow (fabs (/ -1 x)) 2)) 1539788349.268 * [misc]backup-simplify: Simplify (* (/ 1 (pow (fabs (/ -1 x)) 2)) (/ 1 (pow (fabs (/ -1 x)) 2))) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1539788349.268 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 x)) 4)) into (/ 1 (pow (fabs (/ -1 x)) 4)) 1539788349.269 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))))) into 0 1539788349.269 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (* 0 (/ 1 (fabs (/ -1 x))))) into 0 1539788349.269 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))) into 0 1539788349.269 * [misc]backup-simplify: Simplify 0 into 0 1539788349.269 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1539788349.270 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))) into 0 1539788349.270 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2))))) into 0 1539788349.270 * [misc]backup-simplify: Simplify 0 into 0 1539788349.270 * [misc]backup-simplify: Simplify (- (+ (* (/ 1 (fabs (/ -1 x))) (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))) (* 0 (/ 0 (fabs (/ -1 x)))))) into 0 1539788349.271 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))) into 0 1539788349.272 * [misc]backup-simplify: Simplify (+ (* (/ 1 (pow (fabs (/ -1 x)) 2)) 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (pow (fabs (/ -1 x)) 2)))))) into 0 1539788349.272 * [misc]backup-simplify: Simplify 0 into 0 1539788349.272 * [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 1539788349.273 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x)))))))) into 0 1539788349.274 * [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 1539788349.274 * [misc]backup-simplify: Simplify 0 into 0 1539788349.274 * [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 1539788349.275 * [misc]backup-simplify: Simplify (+ (* (/ 1 (fabs (/ -1 x))) 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (+ (* 0 0) (* 0 (/ 1 (fabs (/ -1 x))))))))) into 0 1539788349.276 * [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 1539788349.276 * [misc]backup-simplify: Simplify 0 into 0 1539788349.276 * [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 1539788349.277 * [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 1539788349.278 * [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 1539788349.278 * [misc]backup-simplify: Simplify 0 into 0 1539788349.278 * [misc]backup-simplify: Simplify (/ 1 (pow (fabs (/ -1 (/ 1 (- x)))) 4)) into (/ 1 (pow (fabs x) 4)) 1539788349.278 * * * [misc]progress: simplifying candidates 1539788349.278 * * * * [misc]progress: [ 1 / 47 ] simplifiying candidate # 1539788349.278 * * * * [misc]progress: [ 2 / 47 ] simplifiying candidate # 1539788349.278 * * * * [misc]progress: [ 3 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 4 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 5 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 6 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 7 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 8 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 9 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 10 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 11 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 12 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 13 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 14 / 47 ] simplifiying candidate # 1539788349.279 * * * * [misc]progress: [ 15 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 16 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 17 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 18 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 19 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 20 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 21 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 22 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 23 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 24 / 47 ] simplifiying candidate # 1539788349.280 * * * * [misc]progress: [ 25 / 47 ] simplifiying candidate # 1539788349.281 * [enter]simplify: Simplifying (* (- (log (fabs x))) 4) 1539788349.281 * * [misc]simplify: iters left: 6 (6 enodes) 1539788349.282 * * [misc]simplify: iters left: 5 (9 enodes) 1539788349.285 * * [misc]simplify: iters left: 4 (14 enodes) 1539788349.289 * * [misc]simplify: iters left: 3 (15 enodes) 1539788349.292 * [exit]simplify: Simplified to (* (log (fabs x)) -4) 1539788349.292 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (exp (* (log (fabs x)) -4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.292 * * * * [misc]progress: [ 26 / 47 ] simplifiying candidate # 1539788349.292 * [enter]simplify: Simplifying (* (log (/ 1 (fabs x))) 4) 1539788349.292 * * [misc]simplify: iters left: 6 (7 enodes) 1539788349.295 * * [misc]simplify: iters left: 5 (14 enodes) 1539788349.298 * * [misc]simplify: iters left: 4 (18 enodes) 1539788349.302 * * [misc]simplify: iters left: 3 (22 enodes) 1539788349.307 * [exit]simplify: Simplified to (* -4 (log (fabs x))) 1539788349.307 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (exp (* -4 (log (fabs x)))) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.307 * * * * [misc]progress: [ 27 / 47 ] simplifiying candidate # 1539788349.307 * * * * [misc]progress: [ 28 / 47 ] simplifiying candidate # 1539788349.307 * [enter]simplify: Simplifying (fabs x) 1539788349.307 * * [misc]simplify: iters left: 1 (2 enodes) 1539788349.308 * [exit]simplify: Simplified to (fabs x) 1539788349.308 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (fabs x) (* -1 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.308 * * * * [misc]progress: [ 29 / 47 ] simplifiying candidate # 1539788349.308 * [enter]simplify: Simplifying (fabs x) 1539788349.308 * * [misc]simplify: iters left: 1 (2 enodes) 1539788349.309 * [exit]simplify: Simplified to (fabs x) 1539788349.309 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (fabs x) (* (- 1) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.309 * * * * [misc]progress: [ 30 / 47 ] simplifiying candidate # 1539788349.309 * [enter]simplify: Simplifying (/ 1 (fabs x)) 1539788349.309 * * [misc]simplify: iters left: 3 (4 enodes) 1539788349.310 * * [misc]simplify: iters left: 2 (6 enodes) 1539788349.312 * [exit]simplify: Simplified to (/ 1 (fabs x)) 1539788349.312 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) (* 1 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.312 * * * * [misc]progress: [ 31 / 47 ] simplifiying candidate # 1539788349.312 * [enter]simplify: Simplifying (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1539788349.312 * * [misc]simplify: iters left: 6 (8 enodes) 1539788349.314 * * [misc]simplify: iters left: 5 (10 enodes) 1539788349.317 * [exit]simplify: Simplified to (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) 1539788349.317 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* (pow (* (cbrt (/ 1 (fabs x))) (cbrt (/ 1 (fabs x)))) 4) (pow (cbrt (/ 1 (fabs x))) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.317 * * * * [misc]progress: [ 32 / 47 ] simplifiying candidate # 1539788349.317 * [enter]simplify: Simplifying (pow (sqrt (/ 1 (fabs x))) 4) 1539788349.318 * * [misc]simplify: iters left: 5 (7 enodes) 1539788349.319 * * [misc]simplify: iters left: 4 (9 enodes) 1539788349.322 * [exit]simplify: Simplified to (pow (sqrt (/ 1 (fabs x))) 4) 1539788349.322 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* (pow (sqrt (/ 1 (fabs x))) 4) (pow (sqrt (/ 1 (fabs x))) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.322 * * * * [misc]progress: [ 33 / 47 ] simplifiying candidate # 1539788349.322 * [enter]simplify: Simplifying (pow 1 4) 1539788349.322 * * [misc]simplify: iters left: 1 (3 enodes) 1539788349.324 * [exit]simplify: Simplified to 1 1539788349.324 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* 1 (pow (/ 1 (fabs x)) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.324 * * * * [misc]progress: [ 34 / 47 ] simplifiying candidate # 1539788349.324 * [enter]simplify: Simplifying (pow 1 4) 1539788349.324 * * [misc]simplify: iters left: 1 (3 enodes) 1539788349.325 * [exit]simplify: Simplified to 1 1539788349.325 * [misc]simplify: Simplified (2 2 1 2 1 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (* 1 (pow (/ 1 (fabs x)) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.325 * * * * [misc]progress: [ 35 / 47 ] simplifiying candidate # 1539788349.325 * * * * [misc]progress: [ 36 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 37 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 38 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 39 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 40 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 41 / 47 ] simplifiying candidate # 1539788349.326 * * * * [misc]progress: [ 42 / 47 ] simplifiying candidate # 1539788349.326 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.327 * * [misc]simplify: iters left: 6 (31 enodes) 1539788349.337 * * [misc]simplify: iters left: 5 (68 enodes) 1539788349.361 * * [misc]simplify: iters left: 4 (167 enodes) 1539788349.422 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.422 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.422 * * * * [misc]progress: [ 43 / 47 ] simplifiying candidate # 1539788349.423 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.423 * * [misc]simplify: iters left: 6 (31 enodes) 1539788349.433 * * [misc]simplify: iters left: 5 (68 enodes) 1539788349.456 * * [misc]simplify: iters left: 4 (167 enodes) 1539788349.551 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.552 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.552 * * * * [misc]progress: [ 44 / 47 ] simplifiying candidate # 1539788349.552 * [enter]simplify: Simplifying (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (pow (/ 1 (fabs x)) 4) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.552 * * [misc]simplify: iters left: 6 (31 enodes) 1539788349.557 * * [misc]simplify: iters left: 5 (68 enodes) 1539788349.568 * * [misc]simplify: iters left: 4 (167 enodes) 1539788349.658 * [exit]simplify: Simplified to (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI)))) 1539788349.658 * [misc]simplify: Simplified (2) to (λ (x) (+ (* (+ (/ 1 (* (sqrt PI) (fabs x))) (/ (pow (/ 1 (fabs x)) 5) (/ (* (fabs x) (fabs x)) (/ 15/8 (sqrt PI))))) (exp (* (fabs x) (fabs x)))) (* (+ (* (/ 3/4 (fabs x)) (pow (/ 1 (fabs x)) 4)) (/ (/ 1/2 (fabs x)) (* (fabs x) (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.658 * * * * [misc]progress: [ 45 / 47 ] simplifiying candidate # 1539788349.658 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788349.658 * * [misc]simplify: iters left: 4 (6 enodes) 1539788349.660 * * [misc]simplify: iters left: 3 (8 enodes) 1539788349.662 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788349.662 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.662 * * * * [misc]progress: [ 46 / 47 ] simplifiying candidate # 1539788349.662 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788349.662 * * [misc]simplify: iters left: 4 (6 enodes) 1539788349.664 * * [misc]simplify: iters left: 3 (8 enodes) 1539788349.666 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788349.666 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.666 * * * * [misc]progress: [ 47 / 47 ] simplifiying candidate # 1539788349.666 * [enter]simplify: Simplifying (/ 1 (pow (fabs x) 4)) 1539788349.667 * * [misc]simplify: iters left: 4 (6 enodes) 1539788349.668 * * [misc]simplify: iters left: 3 (8 enodes) 1539788349.670 * [exit]simplify: Simplified to (/ 1 (pow (fabs x) 4)) 1539788349.670 * [misc]simplify: Simplified (2 2 1 2 1) to (λ (x) (+ (+ (* (* (/ (/ 1 (fabs x)) (* (fabs x) (fabs x))) (pow (/ 1 (fabs x)) 4)) (* (/ 15/8 (sqrt PI)) (exp (* (fabs x) (fabs x))))) (* (/ (/ 1 (sqrt PI)) (fabs x)) (exp (* (fabs x) (fabs x))))) (* (+ (/ (/ (/ 1/2 (fabs x)) (fabs x)) (fabs x)) (* (/ 1 (pow (fabs x) 4)) (/ 3/4 (fabs x)))) (/ (exp (* (fabs x) (fabs x))) (sqrt PI))))) 1539788349.670 * * * [misc]progress: adding candidates to table 1539788350.659 * * [misc]progress: iteration 3 / 4 1539788350.659 * * * [misc]progress: picking best candidate 1539788350.740 * * * * [misc]pick: Picked # 1539788350.740 * * * [misc]progress: localizing error 1539788350.770 * * * [misc]progress: generating rewritten candidates 1539788350.770 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2) 1539788350.771 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 1 2 1 1 2) 1539788350.771 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 1 2 1 2 2 1) 1539788350.771 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 1 1) 1539788350.771 * * * [misc]progress: generating series expansions 1539788350.771 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2) 1539788350.771 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 1 2 1 1 2) 1539788350.771 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 1 2 1 2 2 1) 1539788350.771 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 2 1 1) 1539788350.771 * * * [misc]progress: simplifying candidates 1539788350.771 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1539788350.772 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1539788350.773 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1539788350.773 * * * [misc]progress: adding candidates to table 1539788351.667 * * [misc]progress: iteration 4 / 4 1539788351.667 * * * [misc]progress: picking best candidate 1539788351.757 * * * * [misc]pick: Picked # 1539788351.757 * * * [misc]progress: localizing error 1539788351.776 * * * [misc]progress: generating rewritten candidates 1539788351.776 * * * * [misc]progress: [ 1 / 4 ] rewriting at (2 2 2 2 2 1) 1539788351.777 * * * * [misc]progress: [ 2 / 4 ] rewriting at (2 2 2 2 1 1) 1539788351.777 * * * * [misc]progress: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 1539788351.777 * * * * [misc]progress: [ 4 / 4 ] rewriting at (2 1 1 2 1 2 2 1) 1539788351.778 * * * [misc]progress: generating series expansions 1539788351.778 * * * * [misc]progress: [ 1 / 4 ] generating series at (2 2 2 2 2 1) 1539788351.778 * * * * [misc]progress: [ 2 / 4 ] generating series at (2 2 2 2 1 1) 1539788351.778 * * * * [misc]progress: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 1539788351.778 * * * * [misc]progress: [ 4 / 4 ] generating series at (2 1 1 2 1 2 2 1) 1539788351.778 * * * [misc]progress: simplifying candidates 1539788351.778 * * * * [misc]progress: [ 1 / 36 ] simplifiying candidate # 1539788351.778 * * * * [misc]progress: [ 2 / 36 ] simplifiying candidate # 1539788351.778 * * * * [misc]progress: [ 3 / 36 ] simplifiying candidate # 1539788351.778 * * * * [misc]progress: [ 4 / 36 ] simplifiying candidate # 1539788351.778 * * * * [misc]progress: [ 5 / 36 ] simplifiying candidate # 1539788351.778 * * * * [misc]progress: [ 6 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 7 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 8 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 9 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 10 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 11 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 12 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 13 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 14 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 15 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 16 / 36 ] simplifiying candidate # 1539788351.779 * * * * [misc]progress: [ 17 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 18 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 19 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 20 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 21 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 22 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 23 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 24 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 25 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 26 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 27 / 36 ] simplifiying candidate # 1539788351.780 * * * * [misc]progress: [ 28 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 29 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 30 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 31 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 32 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 33 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 34 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 35 / 36 ] simplifiying candidate # 1539788351.781 * * * * [misc]progress: [ 36 / 36 ] simplifiying candidate # 1539788351.781 * * * [misc]progress: adding candidates to table 1539788352.630 * [misc]progress: [Phase 3 of 3] Extracting. 1539788352.630 * * [misc]regime: Finding splitpoints for: (# # # # # # # # #) 1539788352.645 * * * [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))))))) 1539788352.646 * * * * [misc]regimes: Trying to branch on x from (# # # # # # # # #) 1539788352.745 * * * * [misc]regimes: Trying to branch on (fabs x) from (# # # # # # # # #) 1539788352.884 * * * * [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 (# # # # # # # # #) 1539788353.041 * * * [misc]regime: Found split indices: #