7.635 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.076 * * * [progress]: [2/2] Setting up program. 0.079 * [progress]: [Phase 2 of 3] Improving. 0.079 * [simplify]: Simplifying using # : (+ (- (exp x) 2.0) (exp (neg x))) 0.080 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.081 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.082 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 0.085 * * [simplify]: iteration 3 : 38 enodes (cost 8 ) 0.089 * * [simplify]: iteration 4 : 50 enodes (cost 8 ) 0.092 * * [simplify]: iteration 5 : 55 enodes (cost 8 ) 0.100 * * [simplify]: iteration 6 : 64 enodes (cost 8 ) 0.105 * * [simplify]: iteration 7 : 81 enodes (cost 8 ) 0.112 * * [simplify]: iteration 8 : 101 enodes (cost 8 ) 0.119 * * [simplify]: iteration 9 : 127 enodes (cost 8 ) 0.128 * * [simplify]: iteration 10 : 146 enodes (cost 8 ) 0.139 * * [simplify]: iteration 11 : 174 enodes (cost 8 ) 0.147 * * [simplify]: iteration 12 : 193 enodes (cost 8 ) 0.158 * * [simplify]: iteration 13 : 210 enodes (cost 8 ) 0.169 * * [simplify]: iteration 14 : 227 enodes (cost 8 ) 0.177 * * [simplify]: iteration 15 : 246 enodes (cost 8 ) 0.185 * * [simplify]: iteration 16 : 263 enodes (cost 8 ) 0.196 * * [simplify]: iteration 17 : 280 enodes (cost 8 ) 0.207 * * [simplify]: iteration 18 : 299 enodes (cost 8 ) 0.215 * * [simplify]: iteration 19 : 316 enodes (cost 8 ) 0.226 * * [simplify]: iteration 20 : 333 enodes (cost 8 ) 0.236 * * [simplify]: iteration 21 : 352 enodes (cost 8 ) 0.244 * * [simplify]: iteration 22 : 369 enodes (cost 8 ) 0.255 * * [simplify]: iteration 23 : 386 enodes (cost 8 ) 0.265 * * [simplify]: iteration 24 : 405 enodes (cost 8 ) 0.274 * * [simplify]: iteration 25 : 422 enodes (cost 8 ) 0.285 * * [simplify]: iteration 26 : 439 enodes (cost 8 ) 0.292 * * [simplify]: iteration 27 : 458 enodes (cost 8 ) 0.301 * * [simplify]: iteration 28 : 475 enodes (cost 8 ) 0.314 * * [simplify]: iteration 29 : 492 enodes (cost 8 ) 0.322 * * [simplify]: iteration 30 : 511 enodes (cost 8 ) 0.330 * * [simplify]: iteration 31 : 528 enodes (cost 8 ) 0.341 * * [simplify]: iteration 32 : 545 enodes (cost 8 ) 0.349 * * [simplify]: iteration 33 : 564 enodes (cost 8 ) 0.358 * * [simplify]: iteration 34 : 581 enodes (cost 8 ) 0.371 * * [simplify]: iteration 35 : 598 enodes (cost 8 ) 0.379 * * [simplify]: iteration 36 : 617 enodes (cost 8 ) 0.387 * * [simplify]: iteration 37 : 634 enodes (cost 8 ) 0.398 * * [simplify]: iteration 38 : 651 enodes (cost 8 ) 0.405 * * [simplify]: iteration 39 : 670 enodes (cost 8 ) 0.414 * * [simplify]: iteration 40 : 687 enodes (cost 8 ) 0.428 * * [simplify]: iteration 41 : 704 enodes (cost 8 ) 0.436 * * [simplify]: iteration 42 : 723 enodes (cost 8 ) 0.444 * * [simplify]: iteration 43 : 740 enodes (cost 8 ) 0.455 * * [simplify]: iteration 44 : 757 enodes (cost 8 ) 0.463 * * [simplify]: iteration 45 : 776 enodes (cost 8 ) 0.474 * * [simplify]: iteration 46 : 793 enodes (cost 8 ) 0.485 * * [simplify]: iteration 47 : 810 enodes (cost 8 ) 0.493 * * [simplify]: iteration 48 : 829 enodes (cost 8 ) 0.501 * * [simplify]: iteration 49 : 846 enodes (cost 8 ) 0.512 * * [simplify]: iteration 50 : 863 enodes (cost 8 ) 0.520 * * [simplify]: iteration 51 : 882 enodes (cost 8 ) 0.531 * * [simplify]: iteration 52 : 899 enodes (cost 8 ) 0.542 * * [simplify]: iteration 53 : 916 enodes (cost 8 ) 0.550 * * [simplify]: iteration 54 : 935 enodes (cost 8 ) 0.558 * * [simplify]: iteration 55 : 952 enodes (cost 8 ) 0.570 * * [simplify]: iteration 56 : 969 enodes (cost 8 ) 0.577 * * [simplify]: iteration 57 : 988 enodes (cost 8 ) 0.589 * * [simplify]: iteration 58 : 1005 enodes (cost 8 ) 0.600 * * [simplify]: iteration 59 : 1022 enodes (cost 8 ) 0.607 * * [simplify]: iteration 60 : 1041 enodes (cost 8 ) 0.616 * * [simplify]: iteration 61 : 1058 enodes (cost 8 ) 0.627 * * [simplify]: iteration 62 : 1075 enodes (cost 8 ) 0.637 * * [simplify]: iteration 63 : 1094 enodes (cost 8 ) 0.646 * * [simplify]: iteration 64 : 1111 enodes (cost 8 ) 0.658 * * [simplify]: iteration 65 : 1128 enodes (cost 8 ) 0.665 * * [simplify]: iteration 66 : 1147 enodes (cost 8 ) 0.674 * * [simplify]: iteration 67 : 1164 enodes (cost 8 ) 0.687 * * [simplify]: iteration 68 : 1181 enodes (cost 8 ) 0.695 * * [simplify]: iteration 69 : 1200 enodes (cost 8 ) 0.703 * * [simplify]: iteration 70 : 1217 enodes (cost 8 ) 0.715 * * [simplify]: iteration 71 : 1234 enodes (cost 8 ) 0.722 * * [simplify]: iteration 72 : 1253 enodes (cost 8 ) 0.731 * * [simplify]: iteration 73 : 1270 enodes (cost 8 ) 0.745 * * [simplify]: iteration 74 : 1287 enodes (cost 8 ) 0.752 * * [simplify]: iteration 75 : 1306 enodes (cost 8 ) 0.760 * * [simplify]: iteration 76 : 1323 enodes (cost 8 ) 0.771 * * [simplify]: iteration 77 : 1340 enodes (cost 8 ) 0.779 * * [simplify]: iteration 78 : 1359 enodes (cost 8 ) 0.787 * * [simplify]: iteration 79 : 1376 enodes (cost 8 ) 0.801 * * [simplify]: iteration 80 : 1393 enodes (cost 8 ) 0.809 * * [simplify]: iteration 81 : 1412 enodes (cost 8 ) 0.818 * * [simplify]: iteration 82 : 1429 enodes (cost 8 ) 0.829 * * [simplify]: iteration 83 : 1446 enodes (cost 8 ) 0.838 * * [simplify]: iteration 84 : 1465 enodes (cost 8 ) 0.850 * * [simplify]: iteration 85 : 1482 enodes (cost 8 ) 0.861 * * [simplify]: iteration 86 : 1499 enodes (cost 8 ) 0.869 * * [simplify]: iteration 87 : 1518 enodes (cost 8 ) 0.878 * * [simplify]: iteration 88 : 1535 enodes (cost 8 ) 0.889 * * [simplify]: iteration 89 : 1552 enodes (cost 8 ) 0.896 * * [simplify]: iteration 90 : 1571 enodes (cost 8 ) 0.907 * * [simplify]: iteration 91 : 1588 enodes (cost 8 ) 0.918 * * [simplify]: iteration 92 : 1605 enodes (cost 8 ) 0.926 * * [simplify]: iteration 93 : 1624 enodes (cost 8 ) 0.934 * * [simplify]: iteration 94 : 1641 enodes (cost 8 ) 0.945 * * [simplify]: iteration 95 : 1658 enodes (cost 8 ) 0.953 * * [simplify]: iteration 96 : 1677 enodes (cost 8 ) 0.964 * * [simplify]: iteration 97 : 1694 enodes (cost 8 ) 0.975 * * [simplify]: iteration 98 : 1711 enodes (cost 8 ) 0.983 * * [simplify]: iteration 99 : 1730 enodes (cost 8 ) 0.992 * * [simplify]: iteration 100 : 1747 enodes (cost 8 ) 1.002 * * [simplify]: iteration 101 : 1764 enodes (cost 8 ) 1.013 * * [simplify]: iteration 102 : 1783 enodes (cost 8 ) 1.021 * * [simplify]: iteration 103 : 1800 enodes (cost 8 ) 1.032 * * [simplify]: iteration 104 : 1817 enodes (cost 8 ) 1.040 * * [simplify]: iteration 105 : 1836 enodes (cost 8 ) 1.048 * * [simplify]: iteration 106 : 1853 enodes (cost 8 ) 1.059 * * [simplify]: iteration 107 : 1870 enodes (cost 8 ) 1.070 * * [simplify]: iteration 108 : 1889 enodes (cost 8 ) 1.078 * * [simplify]: iteration 109 : 1906 enodes (cost 8 ) 1.089 * * [simplify]: iteration 110 : 1923 enodes (cost 8 ) 1.096 * * [simplify]: iteration 111 : 1942 enodes (cost 8 ) 1.105 * * [simplify]: iteration 112 : 1959 enodes (cost 8 ) 1.119 * * [simplify]: iteration 113 : 1976 enodes (cost 8 ) 1.127 * * [simplify]: iteration 114 : 1995 enodes (cost 8 ) 1.135 * * [simplify]: iteration 115 : 2012 enodes (cost 8 ) 1.146 * * [simplify]: iteration 116 : 2029 enodes (cost 8 ) 1.153 * * [simplify]: iteration 117 : 2048 enodes (cost 8 ) 1.162 * * [simplify]: iteration 118 : 2065 enodes (cost 8 ) 1.176 * * [simplify]: iteration 119 : 2082 enodes (cost 8 ) 1.183 * * [simplify]: iteration 120 : 2101 enodes (cost 8 ) 1.191 * * [simplify]: iteration 121 : 2118 enodes (cost 8 ) 1.202 * * [simplify]: iteration 122 : 2135 enodes (cost 8 ) 1.209 * * [simplify]: iteration 123 : 2154 enodes (cost 8 ) 1.218 * * [simplify]: iteration 124 : 2171 enodes (cost 8 ) 1.232 * * [simplify]: iteration 125 : 2188 enodes (cost 8 ) 1.239 * * [simplify]: iteration 126 : 2207 enodes (cost 8 ) 1.248 * * [simplify]: iteration 127 : 2224 enodes (cost 8 ) 1.258 * * [simplify]: iteration 128 : 2241 enodes (cost 8 ) 1.266 * * [simplify]: iteration 129 : 2260 enodes (cost 8 ) 1.278 * * [simplify]: iteration 130 : 2277 enodes (cost 8 ) 1.289 * * [simplify]: iteration 131 : 2294 enodes (cost 8 ) 1.296 * * [simplify]: iteration 132 : 2313 enodes (cost 8 ) 1.305 * * [simplify]: iteration 133 : 2330 enodes (cost 8 ) 1.316 * * [simplify]: iteration 134 : 2347 enodes (cost 8 ) 1.323 * * [simplify]: iteration 135 : 2366 enodes (cost 8 ) 1.335 * * [simplify]: iteration 136 : 2383 enodes (cost 8 ) 1.347 * * [simplify]: iteration 137 : 2400 enodes (cost 8 ) 1.354 * * [simplify]: iteration 138 : 2419 enodes (cost 8 ) 1.363 * * [simplify]: iteration 139 : 2436 enodes (cost 8 ) 1.374 * * [simplify]: iteration 140 : 2453 enodes (cost 8 ) 1.384 * * [simplify]: iteration 141 : 2472 enodes (cost 8 ) 1.393 * * [simplify]: iteration 142 : 2489 enodes (cost 8 ) 1.405 * * [simplify]: iteration 143 : 2506 enodes (cost 8 ) 1.412 * * [simplify]: iteration 144 : 2525 enodes (cost 8 ) 1.421 * * [simplify]: iteration 145 : 2542 enodes (cost 8 ) 1.431 * * [simplify]: iteration 146 : 2559 enodes (cost 8 ) 1.442 * * [simplify]: iteration 147 : 2578 enodes (cost 8 ) 1.450 * * [simplify]: iteration 148 : 2595 enodes (cost 8 ) 1.461 * * [simplify]: iteration 149 : 2612 enodes (cost 8 ) 1.469 * * [simplify]: iteration 150 : 2631 enodes (cost 8 ) 1.477 * * [simplify]: iteration 151 : 2648 enodes (cost 8 ) 1.492 * * [simplify]: iteration 152 : 2665 enodes (cost 8 ) 1.499 * * [simplify]: iteration 153 : 2684 enodes (cost 8 ) 1.507 * * [simplify]: iteration 154 : 2701 enodes (cost 8 ) 1.518 * * [simplify]: iteration 155 : 2718 enodes (cost 8 ) 1.526 * * [simplify]: iteration 156 : 2737 enodes (cost 8 ) 1.534 * * [simplify]: iteration 157 : 2754 enodes (cost 8 ) 1.548 * * [simplify]: iteration 158 : 2771 enodes (cost 8 ) 1.556 * * [simplify]: iteration 159 : 2790 enodes (cost 8 ) 1.564 * * [simplify]: iteration 160 : 2807 enodes (cost 8 ) 1.575 * * [simplify]: iteration 161 : 2824 enodes (cost 8 ) 1.583 * * [simplify]: iteration 162 : 2843 enodes (cost 8 ) 1.591 * * [simplify]: iteration 163 : 2860 enodes (cost 8 ) 1.606 * * [simplify]: iteration 164 : 2877 enodes (cost 8 ) 1.613 * * [simplify]: iteration 165 : 2896 enodes (cost 8 ) 1.621 * * [simplify]: iteration 166 : 2913 enodes (cost 8 ) 1.632 * * [simplify]: iteration 167 : 2930 enodes (cost 8 ) 1.640 * * [simplify]: iteration 168 : 2949 enodes (cost 8 ) 1.651 * * [simplify]: iteration 169 : 2966 enodes (cost 8 ) 1.662 * * [simplify]: iteration 170 : 2983 enodes (cost 8 ) 1.670 * * [simplify]: iteration 171 : 3002 enodes (cost 8 ) 1.679 * * [simplify]: iteration 172 : 3019 enodes (cost 8 ) 1.689 * * [simplify]: iteration 173 : 3036 enodes (cost 8 ) 1.697 * * [simplify]: iteration 174 : 3055 enodes (cost 8 ) 1.708 * * [simplify]: iteration 175 : 3072 enodes (cost 8 ) 1.720 * * [simplify]: iteration 176 : 3089 enodes (cost 8 ) 1.727 * * [simplify]: iteration 177 : 3108 enodes (cost 8 ) 1.736 * * [simplify]: iteration 178 : 3125 enodes (cost 8 ) 1.747 * * [simplify]: iteration 179 : 3142 enodes (cost 8 ) 1.757 * * [simplify]: iteration 180 : 3161 enodes (cost 8 ) 1.766 * * [simplify]: iteration 181 : 3178 enodes (cost 8 ) 1.777 * * [simplify]: iteration 182 : 3195 enodes (cost 8 ) 1.784 * * [simplify]: iteration 183 : 3214 enodes (cost 8 ) 1.793 * * [simplify]: iteration 184 : 3231 enodes (cost 8 ) 1.804 * * [simplify]: iteration 185 : 3248 enodes (cost 8 ) 1.814 * * [simplify]: iteration 186 : 3267 enodes (cost 8 ) 1.823 * * [simplify]: iteration 187 : 3284 enodes (cost 8 ) 1.834 * * [simplify]: iteration 188 : 3301 enodes (cost 8 ) 1.841 * * [simplify]: iteration 189 : 3320 enodes (cost 8 ) 1.850 * * [simplify]: iteration 190 : 3337 enodes (cost 8 ) 1.864 * * [simplify]: iteration 191 : 3354 enodes (cost 8 ) 1.871 * * [simplify]: iteration 192 : 3373 enodes (cost 8 ) 1.880 * * [simplify]: iteration 193 : 3390 enodes (cost 8 ) 1.891 * * [simplify]: iteration 194 : 3407 enodes (cost 8 ) 1.898 * * [simplify]: iteration 195 : 3426 enodes (cost 8 ) 1.907 * * [simplify]: iteration 196 : 3443 enodes (cost 8 ) 1.921 * * [simplify]: iteration 197 : 3460 enodes (cost 8 ) 1.929 * * [simplify]: iteration 198 : 3479 enodes (cost 8 ) 1.938 * * [simplify]: iteration 199 : 3496 enodes (cost 8 ) 1.948 * * [simplify]: iteration 200 : 3513 enodes (cost 8 ) 1.956 * * [simplify]: iteration 201 : 3532 enodes (cost 8 ) 1.964 * * [simplify]: iteration 202 : 3549 enodes (cost 8 ) 1.979 * * [simplify]: iteration 203 : 3566 enodes (cost 8 ) 1.986 * * [simplify]: iteration 204 : 3585 enodes (cost 8 ) 1.995 * * [simplify]: iteration 205 : 3602 enodes (cost 8 ) 2.006 * * [simplify]: iteration 206 : 3619 enodes (cost 8 ) 2.014 * * [simplify]: iteration 207 : 3638 enodes (cost 8 ) 2.025 * * [simplify]: iteration 208 : 3655 enodes (cost 8 ) 2.037 * * [simplify]: iteration 209 : 3672 enodes (cost 8 ) 2.045 * * [simplify]: iteration 210 : 3691 enodes (cost 8 ) 2.053 * * [simplify]: iteration 211 : 3708 enodes (cost 8 ) 2.065 * * [simplify]: iteration 212 : 3725 enodes (cost 8 ) 2.072 * * [simplify]: iteration 213 : 3744 enodes (cost 8 ) 2.084 * * [simplify]: iteration 214 : 3761 enodes (cost 8 ) 2.095 * * [simplify]: iteration 215 : 3778 enodes (cost 8 ) 2.102 * * [simplify]: iteration 216 : 3797 enodes (cost 8 ) 2.111 * * [simplify]: iteration 217 : 3814 enodes (cost 8 ) 2.122 * * [simplify]: iteration 218 : 3831 enodes (cost 8 ) 2.132 * * [simplify]: iteration 219 : 3850 enodes (cost 8 ) 2.141 * * [simplify]: iteration 220 : 3867 enodes (cost 8 ) 2.152 * * [simplify]: iteration 221 : 3884 enodes (cost 8 ) 2.160 * * [simplify]: iteration 222 : 3903 enodes (cost 8 ) 2.168 * * [simplify]: iteration 223 : 3920 enodes (cost 8 ) 2.179 * * [simplify]: iteration 224 : 3937 enodes (cost 8 ) 2.190 * * [simplify]: iteration 225 : 3956 enodes (cost 8 ) 2.198 * * [simplify]: iteration 226 : 3973 enodes (cost 8 ) 2.210 * * [simplify]: iteration 227 : 3990 enodes (cost 8 ) 2.218 * * [simplify]: iteration 228 : 4009 enodes (cost 8 ) 2.226 * * [simplify]: iteration 229 : 4026 enodes (cost 8 ) 2.240 * * [simplify]: iteration 230 : 4043 enodes (cost 8 ) 2.248 * * [simplify]: iteration 231 : 4062 enodes (cost 8 ) 2.256 * * [simplify]: iteration 232 : 4079 enodes (cost 8 ) 2.268 * * [simplify]: iteration 233 : 4096 enodes (cost 8 ) 2.275 * * [simplify]: iteration 234 : 4115 enodes (cost 8 ) 2.284 * * [simplify]: iteration 235 : 4132 enodes (cost 8 ) 2.298 * * [simplify]: iteration 236 : 4149 enodes (cost 8 ) 2.305 * * [simplify]: iteration 237 : 4168 enodes (cost 8 ) 2.314 * * [simplify]: iteration 238 : 4185 enodes (cost 8 ) 2.325 * * [simplify]: iteration 239 : 4202 enodes (cost 8 ) 2.332 * * [simplify]: iteration 240 : 4221 enodes (cost 8 ) 2.341 * * [simplify]: iteration 241 : 4238 enodes (cost 8 ) 2.355 * * [simplify]: iteration 242 : 4255 enodes (cost 8 ) 2.363 * * [simplify]: iteration 243 : 4274 enodes (cost 8 ) 2.371 * * [simplify]: iteration 244 : 4291 enodes (cost 8 ) 2.382 * * [simplify]: iteration 245 : 4308 enodes (cost 8 ) 2.390 * * [simplify]: iteration 246 : 4327 enodes (cost 8 ) 2.401 * * [simplify]: iteration 247 : 4344 enodes (cost 8 ) 2.413 * * [simplify]: iteration 248 : 4361 enodes (cost 8 ) 2.420 * * [simplify]: iteration 249 : 4380 enodes (cost 8 ) 2.429 * * [simplify]: iteration 250 : 4397 enodes (cost 8 ) 2.440 * * [simplify]: iteration 251 : 4414 enodes (cost 8 ) 2.448 * * [simplify]: iteration 252 : 4433 enodes (cost 8 ) 2.459 * * [simplify]: iteration 253 : 4450 enodes (cost 8 ) 2.470 * * [simplify]: iteration 254 : 4467 enodes (cost 8 ) 2.478 * * [simplify]: iteration 255 : 4486 enodes (cost 8 ) 2.486 * * [simplify]: iteration 256 : 4503 enodes (cost 8 ) 2.498 * * [simplify]: iteration 257 : 4520 enodes (cost 8 ) 2.505 * * [simplify]: iteration 258 : 4539 enodes (cost 8 ) 2.518 * * [simplify]: iteration 259 : 4556 enodes (cost 8 ) 2.529 * * [simplify]: iteration 260 : 4573 enodes (cost 8 ) 2.536 * * [simplify]: iteration 261 : 4592 enodes (cost 8 ) 2.544 * * [simplify]: iteration 262 : 4609 enodes (cost 8 ) 2.556 * * [simplify]: iteration 263 : 4626 enodes (cost 8 ) 2.567 * * [simplify]: iteration 264 : 4645 enodes (cost 8 ) 2.576 * * [simplify]: iteration 265 : 4662 enodes (cost 8 ) 2.587 * * [simplify]: iteration 266 : 4679 enodes (cost 8 ) 2.594 * * [simplify]: iteration 267 : 4698 enodes (cost 8 ) 2.603 * * [simplify]: iteration 268 : 4715 enodes (cost 8 ) 2.614 * * [simplify]: iteration 269 : 4732 enodes (cost 8 ) 2.625 * * [simplify]: iteration 270 : 4751 enodes (cost 8 ) 2.633 * * [simplify]: iteration 271 : 4768 enodes (cost 8 ) 2.644 * * [simplify]: iteration 272 : 4785 enodes (cost 8 ) 2.651 * * [simplify]: iteration 273 : 4804 enodes (cost 8 ) 2.660 * * [simplify]: iteration 274 : 4821 enodes (cost 8 ) 2.674 * * [simplify]: iteration 275 : 4838 enodes (cost 8 ) 2.682 * * [simplify]: iteration 276 : 4857 enodes (cost 8 ) 2.690 * * [simplify]: iteration 277 : 4874 enodes (cost 8 ) 2.701 * * [simplify]: iteration 278 : 4891 enodes (cost 8 ) 2.708 * * [simplify]: iteration 279 : 4910 enodes (cost 8 ) 2.717 * * [simplify]: iteration 280 : 4927 enodes (cost 8 ) 2.732 * * [simplify]: iteration 281 : 4944 enodes (cost 8 ) 2.739 * * [simplify]: iteration 282 : 4963 enodes (cost 8 ) 2.748 * * [simplify]: iteration 283 : 4980 enodes (cost 8 ) 2.759 * * [simplify]: iteration 284 : 4997 enodes (cost 8 ) 2.764 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 2.765 * [simplify]: Simplified to: (+ (- (exp x) 2.0) (exp (neg x))) 2.765 * * [progress]: iteration 1 / 4 2.765 * * * [progress]: picking best candidate 2.767 * * * * [pick]: Picked # 2.767 * * * [progress]: localizing error 2.774 * * * [progress]: generating rewritten candidates 2.774 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.782 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 2.791 * * * [progress]: generating series expansions 2.791 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.791 * [approximate]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in (x) around 0 2.791 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 2.791 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 2.791 * [taylor]: Taking taylor expansion of (exp x) in x 2.791 * [taylor]: Taking taylor expansion of x in x 2.791 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 2.791 * [taylor]: Taking taylor expansion of (neg x) in x 2.791 * [taylor]: Taking taylor expansion of x in x 2.791 * [taylor]: Taking taylor expansion of 2.0 in x 2.791 * [taylor]: Taking taylor expansion of (- (+ (exp x) (exp (neg x))) 2.0) in x 2.791 * [taylor]: Taking taylor expansion of (+ (exp x) (exp (neg x))) in x 2.791 * [taylor]: Taking taylor expansion of (exp x) in x 2.791 * [taylor]: Taking taylor expansion of x in x 2.791 * [taylor]: Taking taylor expansion of (exp (neg x)) in x 2.791 * [taylor]: Taking taylor expansion of (neg x) in x 2.792 * [taylor]: Taking taylor expansion of x in x 2.792 * [taylor]: Taking taylor expansion of 2.0 in x 2.797 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in (x) around 0 2.797 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 2.797 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 2.797 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 2.797 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 2.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of 2.0 in x 2.797 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) 2.0) in x 2.797 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (neg (/ 1 x)))) in x 2.797 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of (exp (neg (/ 1 x))) in x 2.797 * [taylor]: Taking taylor expansion of (neg (/ 1 x)) in x 2.797 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.797 * [taylor]: Taking taylor expansion of x in x 2.797 * [taylor]: Taking taylor expansion of 2.0 in x 2.798 * [approximate]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in (x) around 0 2.798 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 2.798 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.798 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.798 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.798 * [taylor]: Taking taylor expansion of -1 in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of 2.0 in x 2.798 * [taylor]: Taking taylor expansion of (- (+ (exp (/ 1 x)) (exp (/ -1 x))) 2.0) in x 2.798 * [taylor]: Taking taylor expansion of (+ (exp (/ 1 x)) (exp (/ -1 x))) in x 2.798 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.798 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.798 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.798 * [taylor]: Taking taylor expansion of -1 in x 2.798 * [taylor]: Taking taylor expansion of x in x 2.798 * [taylor]: Taking taylor expansion of 2.0 in x 2.799 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 2.799 * [approximate]: Taking taylor expansion of (- (exp x) 2.0) in (x) around 0 2.799 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 2.799 * [taylor]: Taking taylor expansion of (exp x) in x 2.799 * [taylor]: Taking taylor expansion of x in x 2.799 * [taylor]: Taking taylor expansion of 2.0 in x 2.799 * [taylor]: Taking taylor expansion of (- (exp x) 2.0) in x 2.799 * [taylor]: Taking taylor expansion of (exp x) in x 2.799 * [taylor]: Taking taylor expansion of x in x 2.799 * [taylor]: Taking taylor expansion of 2.0 in x 2.800 * [approximate]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in (x) around 0 2.800 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 2.800 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.800 * [taylor]: Taking taylor expansion of x in x 2.800 * [taylor]: Taking taylor expansion of 2.0 in x 2.800 * [taylor]: Taking taylor expansion of (- (exp (/ 1 x)) 2.0) in x 2.800 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 2.800 * [taylor]: Taking taylor expansion of (/ 1 x) in x 2.800 * [taylor]: Taking taylor expansion of x in x 2.800 * [taylor]: Taking taylor expansion of 2.0 in x 2.800 * [approximate]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in (x) around 0 2.800 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 2.800 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.800 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.800 * [taylor]: Taking taylor expansion of -1 in x 2.800 * [taylor]: Taking taylor expansion of x in x 2.800 * [taylor]: Taking taylor expansion of 2.0 in x 2.800 * [taylor]: Taking taylor expansion of (- (exp (/ -1 x)) 2.0) in x 2.800 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 2.800 * [taylor]: Taking taylor expansion of (/ -1 x) in x 2.800 * [taylor]: Taking taylor expansion of -1 in x 2.800 * [taylor]: Taking taylor expansion of x in x 2.800 * [taylor]: Taking taylor expansion of 2.0 in x 2.801 * * * [progress]: simplifying candidates 2.801 * [simplify]: Simplifying using # : (* (/ (exp (exp x)) (exp 2.0)) (exp (exp (neg x)))) (* (exp (- (exp x) 2.0)) (exp (exp (neg x)))) (log (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x))))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (* (* (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x)))) (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) 1)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp 0))) (* (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) 1)) (* (+ (exp x) 2.0) (exp x)) (+ (* (- (* (exp x) (exp x)) (* 2.0 2.0)) (exp x)) (* (+ (exp x) 2.0) (exp 0))) (* (+ (exp x) 2.0) (exp x)) (+ (pow (- (exp x) 2.0) 3) (pow (exp (neg x)) 3)) (+ (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (* (exp (neg x)) (exp (neg x))) (* (- (exp x) 2.0) (exp (neg x))))) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (* (exp (neg x)) (exp (neg x)))) (- (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (+ (- (exp x) 2.0) (exp (neg x))) (+ (neg 2.0) (exp (neg x))) (+ (neg 2.0) (exp (neg x))) (- 2.0 (exp (neg x))) (/ (exp (exp x)) (exp 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (* (* (- (exp x) 2.0) (- (exp x) 2.0)) (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* (exp x) (exp x)) (+ (* 2.0 2.0) (* (exp x) 2.0))) (neg 2.0) (- (* (exp x) (exp x)) (* 2.0 2.0)) (+ (exp x) 2.0) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (neg 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (- (+ (exp x) (exp (neg x))) 2.0) (- (+ (exp x) (exp (* -1 x))) 2.0) (- (+ x (* 1/2 (pow x 2))) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 2.804 * * [simplify]: iteration 0 : 93 enodes (cost 511 ) 2.817 * * [simplify]: iteration 1 : 213 enodes (cost 465 ) 2.853 * * [simplify]: iteration 2 : 562 enodes (cost 445 ) 2.971 * * [simplify]: iteration 3 : 1839 enodes (cost 432 ) 3.348 * * [simplify]: iteration done : 5000 enodes (cost 432 ) 3.349 * [simplify]: Simplified to: (exp (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (log (+ (- (exp x) 2.0) (exp (neg x)))) (exp (+ (- (exp x) 2.0) (exp (neg x)))) (* (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (cbrt (+ (- (exp x) 2.0) (exp (neg x))))) (cbrt (+ (- (exp x) 2.0) (exp (neg x)))) (pow (+ (- (exp x) 2.0) (exp (neg x))) 3) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (sqrt (+ (- (exp x) 2.0) (exp (neg x)))) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (* (exp x) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (* (+ 2.0 (exp x)) (+ 1 (* (- (exp x) 2.0) (exp x)))) (* (+ (exp x) 2.0) (exp x)) (* (+ 2.0 (exp x)) (+ 1 (* (- (exp x) 2.0) (exp x)))) (* (+ (exp x) 2.0) (exp x)) (+ (exp (* x -3)) (pow (- (exp x) 2.0) 3)) (+ (* (- (exp x) 2.0) (- (- (exp x) 2.0) (exp (neg x)))) (pow (exp x) -2)) (- (* (- (exp x) 2.0) (- (exp x) 2.0)) (exp (* x -2))) (- (- (exp x) 2.0) (exp (neg x))) (+ (exp (neg x)) (- (exp x) 2.0)) (+ (exp (neg x)) (- (exp x) 2.0)) (- (exp (neg x)) 2.0) (- (exp (neg x)) 2.0) (- 2.0 (exp (neg x))) (exp (- (exp x) 2.0)) (log (- (exp x) 2.0)) (exp (- (exp x) 2.0)) (* (cbrt (- (exp x) 2.0)) (cbrt (- (exp x) 2.0))) (cbrt (- (exp x) 2.0)) (pow (- (exp x) 2.0) 3) (sqrt (- (exp x) 2.0)) (sqrt (- (exp x) 2.0)) (- (pow (exp x) 3) (pow 2.0 3)) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (neg 2.0) (- (exp (+ x x)) (* 2.0 2.0)) (+ 2.0 (exp x)) (+ (sqrt (exp x)) (sqrt 2.0)) (- (sqrt (exp x)) (sqrt 2.0)) (- (exp x) 2.0) (neg 2.0) (+ (pow x 2) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (exp (neg x)) (- (exp x) 2.0)) (+ (exp (neg x)) (- (exp x) 2.0)) (- (+ x (* 1/2 (pow x 2))) 1.0) (- (exp x) 2.0) (- (exp x) 2.0) 3.349 * * * [progress]: adding candidates to table 3.408 * * [progress]: iteration 2 / 4 3.408 * * * [progress]: picking best candidate 3.414 * * * * [pick]: Picked # 3.414 * * * [progress]: localizing error 3.425 * * * [progress]: generating rewritten candidates 3.425 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.430 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 3.436 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 3.441 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2 2) 3.445 * * * [progress]: generating series expansions 3.445 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.445 * [approximate]: Taking taylor expansion of (* 1/12 (pow x 4)) in (x) around 0 3.445 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 3.445 * [taylor]: Taking taylor expansion of 1/12 in x 3.445 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.445 * [taylor]: Taking taylor expansion of x in x 3.445 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 3.445 * [taylor]: Taking taylor expansion of 1/12 in x 3.445 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.445 * [taylor]: Taking taylor expansion of x in x 3.446 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 3.446 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 3.446 * [taylor]: Taking taylor expansion of 1/12 in x 3.446 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.446 * [taylor]: Taking taylor expansion of x in x 3.446 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 3.446 * [taylor]: Taking taylor expansion of 1/12 in x 3.446 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.446 * [taylor]: Taking taylor expansion of x in x 3.448 * [approximate]: Taking taylor expansion of (/ 1/12 (pow x 4)) in (x) around 0 3.448 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 3.448 * [taylor]: Taking taylor expansion of 1/12 in x 3.448 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.448 * [taylor]: Taking taylor expansion of x in x 3.448 * [taylor]: Taking taylor expansion of (/ 1/12 (pow x 4)) in x 3.448 * [taylor]: Taking taylor expansion of 1/12 in x 3.448 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.448 * [taylor]: Taking taylor expansion of x in x 3.449 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 3.449 * [approximate]: Taking taylor expansion of (* 1/360 (pow x 6)) in (x) around 0 3.449 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 3.449 * [taylor]: Taking taylor expansion of 1/360 in x 3.449 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.449 * [taylor]: Taking taylor expansion of x in x 3.449 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 3.449 * [taylor]: Taking taylor expansion of 1/360 in x 3.449 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.449 * [taylor]: Taking taylor expansion of x in x 3.451 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 3.451 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 3.451 * [taylor]: Taking taylor expansion of 1/360 in x 3.451 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.451 * [taylor]: Taking taylor expansion of x in x 3.451 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 3.451 * [taylor]: Taking taylor expansion of 1/360 in x 3.451 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.451 * [taylor]: Taking taylor expansion of x in x 3.452 * [approximate]: Taking taylor expansion of (/ 1/360 (pow x 6)) in (x) around 0 3.453 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 3.453 * [taylor]: Taking taylor expansion of 1/360 in x 3.453 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.453 * [taylor]: Taking taylor expansion of x in x 3.453 * [taylor]: Taking taylor expansion of (/ 1/360 (pow x 6)) in x 3.453 * [taylor]: Taking taylor expansion of 1/360 in x 3.453 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.453 * [taylor]: Taking taylor expansion of x in x 3.454 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 3.454 * [approximate]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in (x) around 0 3.454 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 3.454 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 3.454 * [taylor]: Taking taylor expansion of 1/360 in x 3.454 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.454 * [taylor]: Taking taylor expansion of x in x 3.454 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 3.454 * [taylor]: Taking taylor expansion of 1/12 in x 3.455 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.455 * [taylor]: Taking taylor expansion of x in x 3.455 * [taylor]: Taking taylor expansion of (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) in x 3.455 * [taylor]: Taking taylor expansion of (* 1/360 (pow x 6)) in x 3.455 * [taylor]: Taking taylor expansion of 1/360 in x 3.455 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.455 * [taylor]: Taking taylor expansion of x in x 3.455 * [taylor]: Taking taylor expansion of (* 1/12 (pow x 4)) in x 3.455 * [taylor]: Taking taylor expansion of 1/12 in x 3.455 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.455 * [taylor]: Taking taylor expansion of x in x 3.458 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 3.458 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 3.458 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 3.458 * [taylor]: Taking taylor expansion of 1/360 in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 3.458 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 3.458 * [taylor]: Taking taylor expansion of 1/12 in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.458 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 3.458 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 3.458 * [taylor]: Taking taylor expansion of 1/360 in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 3.458 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.458 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 3.458 * [taylor]: Taking taylor expansion of 1/12 in x 3.458 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.458 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.458 * [taylor]: Taking taylor expansion of x in x 3.465 * [approximate]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in (x) around 0 3.465 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 3.465 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 3.465 * [taylor]: Taking taylor expansion of 1/360 in x 3.465 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 3.465 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.465 * [taylor]: Taking taylor expansion of x in x 3.466 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 3.466 * [taylor]: Taking taylor expansion of 1/12 in x 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.466 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [taylor]: Taking taylor expansion of (+ (* 1/360 (/ 1 (pow x 6))) (* 1/12 (/ 1 (pow x 4)))) in x 3.466 * [taylor]: Taking taylor expansion of (* 1/360 (/ 1 (pow x 6))) in x 3.466 * [taylor]: Taking taylor expansion of 1/360 in x 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 6)) in x 3.466 * [taylor]: Taking taylor expansion of (pow x 6) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.466 * [taylor]: Taking taylor expansion of (* 1/12 (/ 1 (pow x 4))) in x 3.466 * [taylor]: Taking taylor expansion of 1/12 in x 3.466 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x 3.466 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.466 * [taylor]: Taking taylor expansion of x in x 3.470 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2 2) 3.470 * [approximate]: Taking taylor expansion of (pow x 4) in (x) around 0 3.470 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.470 * [taylor]: Taking taylor expansion of x in x 3.470 * [taylor]: Taking taylor expansion of (pow x 4) in x 3.470 * [taylor]: Taking taylor expansion of x in x 3.471 * [approximate]: Taking taylor expansion of (pow (/ 1 x) 4) in (x) around 0 3.471 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 3.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.471 * [taylor]: Taking taylor expansion of x in x 3.471 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 4) in x 3.471 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.471 * [taylor]: Taking taylor expansion of x in x 3.472 * [approximate]: Taking taylor expansion of (pow (/ -1 x) 4) in (x) around 0 3.472 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 3.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.472 * [taylor]: Taking taylor expansion of -1 in x 3.472 * [taylor]: Taking taylor expansion of x in x 3.472 * [taylor]: Taking taylor expansion of (pow (/ -1 x) 4) in x 3.472 * [taylor]: Taking taylor expansion of (/ -1 x) in x 3.472 * [taylor]: Taking taylor expansion of -1 in x 3.472 * [taylor]: Taking taylor expansion of x in x 3.473 * * * [progress]: simplifying candidates 3.474 * [simplify]: Simplifying using # : (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (* (log x) 4)) (+ (log 1/12) (log (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* (* (* 1/12 1/12) 1/12) (* (* (pow x 4) (pow x 4)) (pow x 4))) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (pow (sqrt x) 4)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (pow x (/ 4 2))) (* (sqrt 1/12) (pow x (/ 4 2))) (* 1/12 (pow (* (cbrt x) (cbrt x)) 4)) (* 1/12 (pow (sqrt x) 4)) (* 1/12 (pow 1 4)) (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) (* 1/12 1) (* 1/12 (pow x (/ 4 2))) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (* (log x) 6)) (+ (log 1/360) (log (pow x 6))) (log (* 1/360 (pow x 6))) (exp (* 1/360 (pow x 6))) (* (* (* 1/360 1/360) 1/360) (* (* (pow x 6) (pow x 6)) (pow x 6))) (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6)))) (cbrt (* 1/360 (pow x 6))) (* (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (* (sqrt 1/360) (pow (sqrt x) 6)) (* (sqrt 1/360) (pow (sqrt x) 6)) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (pow x (/ 6 2))) (* (sqrt 1/360) (pow x (/ 6 2))) (* 1/360 (pow (* (cbrt x) (cbrt x)) 6)) (* 1/360 (pow (sqrt x) 6)) (* 1/360 (pow 1 6)) (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6)))) (* 1/360 (sqrt (pow x 6))) (* 1/360 1) (* 1/360 (pow x (/ 6 2))) (* (cbrt 1/360) (pow x 6)) (* (sqrt 1/360) (pow x 6)) (* 1/360 (pow x 6)) (* (exp (* 1/360 (pow x 6))) (exp (* 1/12 (pow x 4)))) (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (* (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (pow (* 1/360 (pow x 6)) 3) (pow (* 1/12 (pow x 4)) 3)) (+ (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (- (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4))) (* (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (- (* (* 1/360 (pow x 6)) (* 1/360 (pow x 6))) (* (* 1/12 (pow x 4)) (* 1/12 (pow x 4)))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* (log x) 4) (* (log x) 4) (* 1 4) (pow x (* (cbrt 4) (cbrt 4))) (pow x (sqrt 4)) (pow x 1) (pow (* (cbrt x) (cbrt x)) 4) (pow (cbrt x) 4) (pow (sqrt x) 4) (pow (sqrt x) 4) (pow 1 4) (pow x 4) (log (pow x 4)) (exp (pow x 4)) (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (* (* (pow x 4) (pow x 4)) (pow x 4)) (sqrt (pow x 4)) (sqrt (pow x 4)) (pow x (/ 4 2)) (pow x (/ 4 2)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 4) (pow x 4) (pow x 4) 3.477 * * [simplify]: iteration 0 : 120 enodes (cost 801 ) 3.495 * * [simplify]: iteration 1 : 287 enodes (cost 699 ) 3.545 * * [simplify]: iteration 2 : 830 enodes (cost 657 ) 3.743 * * [simplify]: iteration 3 : 3022 enodes (cost 639 ) 4.512 * * [simplify]: iteration done : 5000 enodes (cost 639 ) 4.513 * [simplify]: Simplified to: (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (log (* 1/12 (pow x 4))) (exp (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (* (cbrt (* 1/12 (pow x 4))) (cbrt (* 1/12 (pow x 4)))) (cbrt (* 1/12 (pow x 4))) (* 1/1728 (pow x 12)) (sqrt (* 1/12 (pow x 4))) (sqrt (* 1/12 (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* (sqrt 1/12) (sqrt (pow x 4))) (* (sqrt 1/12) (sqrt (pow x 4))) (* (pow x 2) (sqrt 1/12)) (* (pow x 2) (sqrt 1/12)) (* 1/12 (pow (cbrt x) 8)) (* 1/12 (pow x 2)) 1/12 (* 1/12 (* (cbrt (pow x 4)) (cbrt (pow x 4)))) (* 1/12 (sqrt (pow x 4))) 1/12 (* 1/12 (pow x 2)) (* (cbrt 1/12) (pow x 4)) (* (sqrt 1/12) (pow x 4)) (* 1/12 (pow x 4)) (log (* 1/360 (pow x 6))) (log (* 1/360 (pow x 6))) (log (* 1/360 (pow x 6))) (log (* 1/360 (pow x 6))) (exp (* 1/360 (pow x 6))) (pow (* 1/360 (pow x 6)) 3) (* (cbrt (* 1/360 (pow x 6))) (cbrt (* 1/360 (pow x 6)))) (cbrt (* 1/360 (pow x 6))) (pow (* 1/360 (pow x 6)) 3) (sqrt (* 1/360 (pow x 6))) (sqrt (* 1/360 (pow x 6))) (* (pow x 3) (sqrt 1/360)) (* (pow x 3) (sqrt 1/360)) (* (sqrt 1/360) (sqrt (pow x 6))) (* (sqrt 1/360) (sqrt (pow x 6))) (* (pow x 3) (sqrt 1/360)) (* (pow x 3) (sqrt 1/360)) (* (pow x 4) 1/360) (* (pow x 3) 1/360) 1/360 (* 1/360 (* (cbrt (pow x 6)) (cbrt (pow x 6)))) (* 1/360 (sqrt (pow x 6))) 1/360 (* (pow x 3) 1/360) (* (cbrt 1/360) (pow x 6)) (* (sqrt 1/360) (pow x 6)) (* 1/360 (pow x 6)) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (log (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (exp (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (* (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))))) (cbrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (pow (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) 3) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (sqrt (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4)))) (+ (* 1/1728 (pow x 12)) (pow (* 1/360 (pow x 6)) 3)) (+ (* 1/129600 (pow x 12)) (- (* 1/144 (pow x 8)) (* (* (pow x 6) 1/4320) (pow x 4)))) (- (* 1/129600 (pow x 12)) (* 1/144 (pow x 8))) (- (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (* (log x) 4) (* (log x) 4) 4 (pow x (* (cbrt 4) (cbrt 4))) (* x x) x (pow (cbrt x) 8) (pow (cbrt x) 4) (* x x) (* x x) 1 (pow x 4) (* (log x) 4) (exp (pow x 4)) (* (cbrt (pow x 4)) (cbrt (pow x 4))) (cbrt (pow x 4)) (pow x 12) (sqrt (pow x 4)) (sqrt (pow x 4)) (* x x) (* x x) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/12 (pow x 4)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (* 1/360 (pow x 6)) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (+ (* 1/360 (pow x 6)) (* 1/12 (pow x 4))) (pow x 4) (pow x 4) (pow x 4) 4.513 * * * [progress]: adding candidates to table 4.655 * * [progress]: iteration 3 / 4 4.655 * * * [progress]: picking best candidate 4.658 * * * * [pick]: Picked # 4.658 * * * [progress]: localizing error 4.681 * * * [progress]: generating rewritten candidates 4.681 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 4.707 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 4.711 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 2) 4.722 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1) 4.753 * * * [progress]: generating series expansions 4.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 4.754 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0 4.754 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x 4.754 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x 4.754 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 4.754 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of 4.0 in x 4.754 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x 4.754 * [taylor]: Taking taylor expansion of 6.0 in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x 4.754 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x 4.754 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 4.754 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.754 * [taylor]: Taking taylor expansion of 4.0 in x 4.754 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x 4.754 * [taylor]: Taking taylor expansion of 6.0 in x 4.754 * [taylor]: Taking taylor expansion of (exp x) in x 4.754 * [taylor]: Taking taylor expansion of x in x 4.758 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0 4.758 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x 4.758 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 4.758 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 4.758 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.758 * [taylor]: Taking taylor expansion of x in x 4.758 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 4.758 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.758 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.758 * [taylor]: Taking taylor expansion of x in x 4.758 * [taylor]: Taking taylor expansion of 4.0 in x 4.758 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x 4.758 * [taylor]: Taking taylor expansion of 6.0 in x 4.758 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.758 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.758 * [taylor]: Taking taylor expansion of x in x 4.758 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x 4.758 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 4.758 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 4.759 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.759 * [taylor]: Taking taylor expansion of x in x 4.759 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 4.759 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 4.759 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.759 * [taylor]: Taking taylor expansion of x in x 4.759 * [taylor]: Taking taylor expansion of 4.0 in x 4.759 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x 4.759 * [taylor]: Taking taylor expansion of 6.0 in x 4.759 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.759 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.759 * [taylor]: Taking taylor expansion of x in x 4.763 * [approximate]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in (x) around 0 4.763 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in x 4.763 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) in x 4.763 * [taylor]: Taking taylor expansion of 4.0 in x 4.763 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4)) in x 4.763 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.763 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.763 * [taylor]: Taking taylor expansion of -1 in x 4.763 * [taylor]: Taking taylor expansion of x in x 4.763 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 4.763 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.763 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.763 * [taylor]: Taking taylor expansion of -1 in x 4.763 * [taylor]: Taking taylor expansion of x in x 4.763 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x 4.763 * [taylor]: Taking taylor expansion of 6.0 in x 4.763 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.764 * [taylor]: Taking taylor expansion of -1 in x 4.764 * [taylor]: Taking taylor expansion of x in x 4.764 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in x 4.764 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) in x 4.764 * [taylor]: Taking taylor expansion of 4.0 in x 4.764 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4)) in x 4.764 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 4.764 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.764 * [taylor]: Taking taylor expansion of -1 in x 4.764 * [taylor]: Taking taylor expansion of x in x 4.764 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 4.764 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.764 * [taylor]: Taking taylor expansion of -1 in x 4.764 * [taylor]: Taking taylor expansion of x in x 4.764 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x 4.764 * [taylor]: Taking taylor expansion of 6.0 in x 4.764 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.764 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.764 * [taylor]: Taking taylor expansion of -1 in x 4.764 * [taylor]: Taking taylor expansion of x in x 4.768 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 4.768 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 4.768 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 4.768 * [taylor]: Taking taylor expansion of (exp x) in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.768 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 4.768 * [taylor]: Taking taylor expansion of (exp x) in x 4.768 * [taylor]: Taking taylor expansion of x in x 4.769 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 4.769 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 4.769 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.769 * [taylor]: Taking taylor expansion of x in x 4.769 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 4.769 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.769 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.769 * [taylor]: Taking taylor expansion of x in x 4.771 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 4.771 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 4.771 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.771 * [taylor]: Taking taylor expansion of -1 in x 4.771 * [taylor]: Taking taylor expansion of x in x 4.771 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 4.771 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.771 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.771 * [taylor]: Taking taylor expansion of -1 in x 4.771 * [taylor]: Taking taylor expansion of x in x 4.773 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 2) 4.773 * [approximate]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in (x) around 0 4.773 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x 4.773 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 4.773 * [taylor]: Taking taylor expansion of 2.0 in x 4.773 * [taylor]: Taking taylor expansion of (exp x) in x 4.773 * [taylor]: Taking taylor expansion of x in x 4.773 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x 4.773 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.773 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.773 * [taylor]: Taking taylor expansion of 2 in x 4.773 * [taylor]: Taking taylor expansion of x in x 4.773 * [taylor]: Taking taylor expansion of 4.0 in x 4.773 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) in x 4.773 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 4.773 * [taylor]: Taking taylor expansion of 2.0 in x 4.773 * [taylor]: Taking taylor expansion of (exp x) in x 4.773 * [taylor]: Taking taylor expansion of x in x 4.773 * [taylor]: Taking taylor expansion of (+ (exp (* 2 x)) 4.0) in x 4.773 * [taylor]: Taking taylor expansion of (exp (* 2 x)) in x 4.773 * [taylor]: Taking taylor expansion of (* 2 x) in x 4.773 * [taylor]: Taking taylor expansion of 2 in x 4.773 * [taylor]: Taking taylor expansion of x in x 4.773 * [taylor]: Taking taylor expansion of 4.0 in x 4.774 * [approximate]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in (x) around 0 4.774 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x 4.774 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.774 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.774 * [taylor]: Taking taylor expansion of 2 in x 4.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.774 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x 4.774 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 4.774 * [taylor]: Taking taylor expansion of 2.0 in x 4.774 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.774 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.774 * [taylor]: Taking taylor expansion of x in x 4.775 * [taylor]: Taking taylor expansion of 4.0 in x 4.775 * [taylor]: Taking taylor expansion of (+ (exp (* 2 (/ 1 x))) (+ (* 2.0 (exp (/ 1 x))) 4.0)) in x 4.775 * [taylor]: Taking taylor expansion of (exp (* 2 (/ 1 x))) in x 4.775 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.775 * [taylor]: Taking taylor expansion of 2 in x 4.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.775 * [taylor]: Taking taylor expansion of x in x 4.775 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) 4.0) in x 4.775 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 4.775 * [taylor]: Taking taylor expansion of 2.0 in x 4.775 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.775 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.775 * [taylor]: Taking taylor expansion of x in x 4.775 * [taylor]: Taking taylor expansion of 4.0 in x 4.776 * [approximate]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in (x) around 0 4.776 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x 4.776 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 4.776 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 4.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.776 * [taylor]: Taking taylor expansion of 2 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x 4.776 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 4.776 * [taylor]: Taking taylor expansion of 2.0 in x 4.776 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.776 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.776 * [taylor]: Taking taylor expansion of -1 in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.776 * [taylor]: Taking taylor expansion of 4.0 in x 4.776 * [taylor]: Taking taylor expansion of (+ (exp (neg (* 2 (/ 1 x)))) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x 4.776 * [taylor]: Taking taylor expansion of (exp (neg (* 2 (/ 1 x)))) in x 4.776 * [taylor]: Taking taylor expansion of (neg (* 2 (/ 1 x))) in x 4.776 * [taylor]: Taking taylor expansion of (* 2 (/ 1 x)) in x 4.776 * [taylor]: Taking taylor expansion of 2 in x 4.776 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.776 * [taylor]: Taking taylor expansion of x in x 4.777 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x 4.777 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 4.777 * [taylor]: Taking taylor expansion of 2.0 in x 4.777 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.777 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.777 * [taylor]: Taking taylor expansion of -1 in x 4.777 * [taylor]: Taking taylor expansion of x in x 4.777 * [taylor]: Taking taylor expansion of 4.0 in x 4.778 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1) 4.778 * [approximate]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in (x) around 0 4.778 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x 4.778 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of 8.0 in x 4.778 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x 4.778 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 4.778 * [taylor]: Taking taylor expansion of (exp x) in x 4.778 * [taylor]: Taking taylor expansion of x in x 4.778 * [taylor]: Taking taylor expansion of 8.0 in x 4.779 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in (x) around 0 4.779 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x 4.779 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x 4.780 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x 4.780 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of 8.0 in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x 4.780 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x 4.780 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x 4.780 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.780 * [taylor]: Taking taylor expansion of 8.0 in x 4.780 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 4.780 * [taylor]: Taking taylor expansion of (/ 1 x) in x 4.780 * [taylor]: Taking taylor expansion of x in x 4.784 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in (x) around 0 4.784 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x 4.784 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x 4.784 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x 4.784 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 4.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.784 * [taylor]: Taking taylor expansion of -1 in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.784 * [taylor]: Taking taylor expansion of -1 in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of 8.0 in x 4.784 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.784 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.784 * [taylor]: Taking taylor expansion of -1 in x 4.784 * [taylor]: Taking taylor expansion of x in x 4.784 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x 4.784 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x 4.784 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x 4.784 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 4.785 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.785 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.785 * [taylor]: Taking taylor expansion of -1 in x 4.785 * [taylor]: Taking taylor expansion of x in x 4.785 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.785 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.785 * [taylor]: Taking taylor expansion of -1 in x 4.785 * [taylor]: Taking taylor expansion of x in x 4.785 * [taylor]: Taking taylor expansion of 8.0 in x 4.785 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 4.785 * [taylor]: Taking taylor expansion of (/ -1 x) in x 4.785 * [taylor]: Taking taylor expansion of -1 in x 4.785 * [taylor]: Taking taylor expansion of x in x 4.789 * * * [progress]: simplifying candidates 4.790 * [simplify]: Simplifying using # : (* (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (+ 2.0 (exp x)) 2.0))) (log (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (* (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (+ (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (- 2.0 (exp x))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (- (* 2.0 2.0) (* (exp x) (exp x))) 2.0))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (- 2.0 (exp x))) (+ (* (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (+ (* (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (- 2.0 (exp x))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* 2.0 2.0) (* (exp x) (exp x))) 2.0))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (- 2.0 (exp x))) (+ (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (pow (* (+ 2.0 (exp x)) 2.0) 3)) (+ (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (- (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0)) (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (- (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0))) (- (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (exp x)) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (exp x)) (* (+ 2.0 (exp x)) 2.0)) (* x 3) (* (log (exp x)) 3) (* 1 3) (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (log (pow (exp x) 3)) (exp (pow (exp x) 3)) (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3)) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (* (exp (* 2.0 (+ (exp x) 2.0))) (exp (exp (+ x x)))) (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (* (* (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (pow (* 2.0 (+ (exp x) 2.0)) 3) (pow (exp (+ x x)) 3)) (+ (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (- (* (exp (+ x x)) (exp (+ x x))) (* (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))) (- (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (* (exp (+ x x)) (exp (+ x x)))) (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (+ (* 2.0 2.0) (exp (+ x x))) (+ (* 2.0 2.0) (exp (+ x x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (log (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (exp x) (exp x)) (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) 1) (* (exp x) 1) (* (exp x) 1) (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4)))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0)) (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) (+ (* 2.0 (exp x)) (+ (exp (* 2 x)) 4.0)) (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) 4.795 * * [simplify]: iteration 0 : 190 enodes (cost 1794 ) 4.834 * * [simplify]: iteration 1 : 573 enodes (cost 1656 ) 4.993 * * [simplify]: iteration 2 : 2648 enodes (cost 1555 ) 5.677 * * [simplify]: iteration done : 5000 enodes (cost 1555 ) 5.678 * [simplify]: Simplified to: (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (log (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (pow (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) 3) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0) (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))))) (* (exp x) (* (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3)) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0)))))) (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))))) (+ (* (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))) (* 2.0 (- (* 2.0 2.0) (exp (* 2 x))))) (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (- 2.0 (exp x)))) (* (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))) (- 2.0 (exp x))) (+ (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0)) (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0)))) (+ (* (- 2.0 (exp x)) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2)))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* 2.0 (- (* 2.0 2.0) (exp (* 2 x)))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (- 2.0 (exp x))) (+ (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (pow (* (+ 2.0 (exp x)) 2.0) 3)) (+ (* (exp (* 2 x)) (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (- (* (+ 2.0 (exp x)) 2.0) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (- (* (exp (* 2 x)) (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0))) (- (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x))) (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x))) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (* 3 x) (exp (pow (exp x) 3)) (pow (exp x) 2) (exp x) (pow (pow (exp x) 3) 3) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (log (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (exp (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (* (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))))) (cbrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (pow (+ (* 2.0 (+ (exp x) 2.0)) (exp (* 2 x))) 3) (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (sqrt (+ (* 2.0 (+ (exp x) 2.0)) (exp (+ x x)))) (+ (pow (exp x) 6) (pow (* 2.0 (+ (exp x) 2.0)) 3)) (+ (* (exp (* 2 x)) (- (exp (* 2 x)) (* (+ 2.0 (exp x)) 2.0))) (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0)))) (- (* (* 2.0 (+ (exp x) 2.0)) (* 2.0 (+ (exp x) 2.0))) (exp (* x 4))) (- (* 2.0 (+ (exp x) 2.0)) (exp (+ x x))) (+ (* 2.0 2.0) (exp (+ x x))) (+ (* 2.0 2.0) (exp (+ x x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (pow (exp x) 2) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (pow (exp x) 2) (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp x) (exp x) (exp x) (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2))) (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4)))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (+ (* 4.0 x) (+ (* 3.0 (pow x 2)) 7.0)) (+ 4.0 (* (exp x) (+ (exp x) 2.0))) (+ 4.0 (* (exp x) (+ (exp x) 2.0))) (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) 5.679 * * * [progress]: adding candidates to table 6.085 * * [progress]: iteration 4 / 4 6.085 * * * [progress]: picking best candidate 6.092 * * * * [pick]: Picked # 6.092 * * * [progress]: localizing error 6.109 * * * [progress]: generating rewritten candidates 6.109 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 6.136 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1 1) 6.140 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 6.168 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2) 6.177 * * * [progress]: generating series expansions 6.177 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 6.178 * [approximate]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in (x) around 0 6.178 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x 6.178 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x 6.178 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 6.178 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of 4.0 in x 6.178 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x 6.178 * [taylor]: Taking taylor expansion of 6.0 in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) in x 6.178 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) in x 6.178 * [taylor]: Taking taylor expansion of (pow (exp x) 4) in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 6.178 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.178 * [taylor]: Taking taylor expansion of 4.0 in x 6.178 * [taylor]: Taking taylor expansion of (* 6.0 (exp x)) in x 6.178 * [taylor]: Taking taylor expansion of 6.0 in x 6.178 * [taylor]: Taking taylor expansion of (exp x) in x 6.178 * [taylor]: Taking taylor expansion of x in x 6.182 * [approximate]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in (x) around 0 6.182 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x 6.182 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 6.182 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 6.182 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.182 * [taylor]: Taking taylor expansion of x in x 6.182 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 6.182 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.182 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.182 * [taylor]: Taking taylor expansion of x in x 6.182 * [taylor]: Taking taylor expansion of 4.0 in x 6.182 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x 6.182 * [taylor]: Taking taylor expansion of 6.0 in x 6.182 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.182 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.182 * [taylor]: Taking taylor expansion of x in x 6.182 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) (* 6.0 (exp (/ 1 x)))) in x 6.182 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 4) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 6.182 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 4) in x 6.182 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.183 * [taylor]: Taking taylor expansion of x in x 6.183 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 6.183 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.183 * [taylor]: Taking taylor expansion of x in x 6.183 * [taylor]: Taking taylor expansion of 4.0 in x 6.183 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ 1 x))) in x 6.183 * [taylor]: Taking taylor expansion of 6.0 in x 6.183 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.183 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.183 * [taylor]: Taking taylor expansion of x in x 6.187 * [approximate]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in (x) around 0 6.187 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in x 6.187 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) in x 6.187 * [taylor]: Taking taylor expansion of 4.0 in x 6.187 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4)) in x 6.187 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.187 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.187 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.187 * [taylor]: Taking taylor expansion of -1 in x 6.187 * [taylor]: Taking taylor expansion of x in x 6.187 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 6.187 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.187 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.187 * [taylor]: Taking taylor expansion of -1 in x 6.187 * [taylor]: Taking taylor expansion of x in x 6.187 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x 6.187 * [taylor]: Taking taylor expansion of 6.0 in x 6.187 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.187 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.187 * [taylor]: Taking taylor expansion of -1 in x 6.187 * [taylor]: Taking taylor expansion of x in x 6.188 * [taylor]: Taking taylor expansion of (- (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) (* 6.0 (exp (/ -1 x)))) in x 6.188 * [taylor]: Taking taylor expansion of (+ 4.0 (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4))) in x 6.188 * [taylor]: Taking taylor expansion of 4.0 in x 6.188 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (pow (exp (/ -1 x)) 4)) in x 6.188 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.188 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.188 * [taylor]: Taking taylor expansion of -1 in x 6.188 * [taylor]: Taking taylor expansion of x in x 6.188 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 4) in x 6.188 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.188 * [taylor]: Taking taylor expansion of -1 in x 6.188 * [taylor]: Taking taylor expansion of x in x 6.188 * [taylor]: Taking taylor expansion of (* 6.0 (exp (/ -1 x))) in x 6.188 * [taylor]: Taking taylor expansion of 6.0 in x 6.188 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.188 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.188 * [taylor]: Taking taylor expansion of -1 in x 6.188 * [taylor]: Taking taylor expansion of x in x 6.192 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1 1) 6.192 * [approximate]: Taking taylor expansion of (pow (exp x) 3) in (x) around 0 6.192 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.192 * [taylor]: Taking taylor expansion of (exp x) in x 6.192 * [taylor]: Taking taylor expansion of x in x 6.192 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.192 * [taylor]: Taking taylor expansion of (exp x) in x 6.192 * [taylor]: Taking taylor expansion of x in x 6.193 * [approximate]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in (x) around 0 6.193 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.193 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.193 * [taylor]: Taking taylor expansion of x in x 6.193 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.193 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.193 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.193 * [taylor]: Taking taylor expansion of x in x 6.195 * [approximate]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in (x) around 0 6.195 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.195 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.195 * [taylor]: Taking taylor expansion of -1 in x 6.195 * [taylor]: Taking taylor expansion of x in x 6.195 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.195 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.195 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.195 * [taylor]: Taking taylor expansion of -1 in x 6.195 * [taylor]: Taking taylor expansion of x in x 6.197 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 6.197 * [approximate]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in (x) around 0 6.197 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x 6.197 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of 8.0 in x 6.197 * [taylor]: Taking taylor expansion of (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (- (+ (exp x) (pow (exp x) 3)) 8.0) in x 6.197 * [taylor]: Taking taylor expansion of (+ (exp x) (pow (exp x) 3)) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of (pow (exp x) 3) in x 6.197 * [taylor]: Taking taylor expansion of (exp x) in x 6.197 * [taylor]: Taking taylor expansion of x in x 6.197 * [taylor]: Taking taylor expansion of 8.0 in x 6.198 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in (x) around 0 6.198 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x 6.198 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x 6.198 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x 6.198 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.198 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.198 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.198 * [taylor]: Taking taylor expansion of x in x 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.199 * [taylor]: Taking taylor expansion of 8.0 in x 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.199 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) (exp (/ 1 x))) in x 6.199 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) 8.0) in x 6.199 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 3) (exp (/ 1 x))) in x 6.199 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 3) in x 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.199 * [taylor]: Taking taylor expansion of 8.0 in x 6.199 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.199 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.199 * [taylor]: Taking taylor expansion of x in x 6.203 * [approximate]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in (x) around 0 6.203 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x 6.203 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x 6.203 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x 6.203 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.203 * [taylor]: Taking taylor expansion of -1 in x 6.203 * [taylor]: Taking taylor expansion of x in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.203 * [taylor]: Taking taylor expansion of -1 in x 6.203 * [taylor]: Taking taylor expansion of x in x 6.203 * [taylor]: Taking taylor expansion of 8.0 in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.203 * [taylor]: Taking taylor expansion of -1 in x 6.203 * [taylor]: Taking taylor expansion of x in x 6.203 * [taylor]: Taking taylor expansion of (* (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) (exp (/ -1 x))) in x 6.203 * [taylor]: Taking taylor expansion of (- (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) 8.0) in x 6.203 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 3) (exp (/ -1 x))) in x 6.203 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 3) in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.203 * [taylor]: Taking taylor expansion of -1 in x 6.203 * [taylor]: Taking taylor expansion of x in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.203 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.203 * [taylor]: Taking taylor expansion of -1 in x 6.203 * [taylor]: Taking taylor expansion of x in x 6.203 * [taylor]: Taking taylor expansion of 8.0 in x 6.203 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.204 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.204 * [taylor]: Taking taylor expansion of -1 in x 6.204 * [taylor]: Taking taylor expansion of x in x 6.207 * * * * [progress]: [ 4 / 4 ] generating series at (2 2) 6.207 * [approximate]: Taking taylor expansion of (* (exp x) (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0))) in (x) around 0 6.207 * [taylor]: Taking taylor expansion of (* (exp x) (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0))) in x 6.207 * [taylor]: Taking taylor expansion of (exp x) in x 6.207 * [taylor]: Taking taylor expansion of x in x 6.207 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0)) in x 6.207 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 6.207 * [taylor]: Taking taylor expansion of 2.0 in x 6.207 * [taylor]: Taking taylor expansion of (exp x) in x 6.207 * [taylor]: Taking taylor expansion of x in x 6.207 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 6.207 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.207 * [taylor]: Taking taylor expansion of (exp x) in x 6.207 * [taylor]: Taking taylor expansion of x in x 6.207 * [taylor]: Taking taylor expansion of 4.0 in x 6.207 * [taylor]: Taking taylor expansion of (* (exp x) (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0))) in x 6.207 * [taylor]: Taking taylor expansion of (exp x) in x 6.207 * [taylor]: Taking taylor expansion of x in x 6.208 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0)) in x 6.208 * [taylor]: Taking taylor expansion of (* 2.0 (exp x)) in x 6.208 * [taylor]: Taking taylor expansion of 2.0 in x 6.208 * [taylor]: Taking taylor expansion of (exp x) in x 6.208 * [taylor]: Taking taylor expansion of x in x 6.208 * [taylor]: Taking taylor expansion of (+ (pow (exp x) 2) 4.0) in x 6.208 * [taylor]: Taking taylor expansion of (pow (exp x) 2) in x 6.208 * [taylor]: Taking taylor expansion of (exp x) in x 6.208 * [taylor]: Taking taylor expansion of x in x 6.208 * [taylor]: Taking taylor expansion of 4.0 in x 6.209 * [approximate]: Taking taylor expansion of (* (exp (/ 1 x)) (+ (* 2.0 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 4.0))) in (x) around 0 6.209 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (+ (* 2.0 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 4.0))) in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.209 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 6.209 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 6.209 * [taylor]: Taking taylor expansion of 2.0 in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.209 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 6.209 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.209 * [taylor]: Taking taylor expansion of 4.0 in x 6.209 * [taylor]: Taking taylor expansion of (* (exp (/ 1 x)) (+ (* 2.0 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 4.0))) in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.209 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ 1 x))) (+ (pow (exp (/ 1 x)) 2) 4.0)) in x 6.209 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ 1 x))) in x 6.209 * [taylor]: Taking taylor expansion of 2.0 in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.209 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ 1 x)) 2) 4.0) in x 6.209 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 x)) 2) in x 6.209 * [taylor]: Taking taylor expansion of (exp (/ 1 x)) in x 6.209 * [taylor]: Taking taylor expansion of (/ 1 x) in x 6.209 * [taylor]: Taking taylor expansion of x in x 6.210 * [taylor]: Taking taylor expansion of 4.0 in x 6.213 * [approximate]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (pow (exp (/ -1 x)) 2) (+ (* 2.0 (exp (/ -1 x))) 4.0))) in (x) around 0 6.213 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (pow (exp (/ -1 x)) 2) (+ (* 2.0 (exp (/ -1 x))) 4.0))) in x 6.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.213 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x 6.213 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.213 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x 6.213 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 6.213 * [taylor]: Taking taylor expansion of 2.0 in x 6.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.213 * [taylor]: Taking taylor expansion of 4.0 in x 6.213 * [taylor]: Taking taylor expansion of (* (exp (/ -1 x)) (+ (pow (exp (/ -1 x)) 2) (+ (* 2.0 (exp (/ -1 x))) 4.0))) in x 6.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.213 * [taylor]: Taking taylor expansion of (+ (pow (exp (/ -1 x)) 2) (+ (* 2.0 (exp (/ -1 x))) 4.0)) in x 6.213 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 x)) 2) in x 6.213 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.213 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.213 * [taylor]: Taking taylor expansion of -1 in x 6.213 * [taylor]: Taking taylor expansion of x in x 6.214 * [taylor]: Taking taylor expansion of (+ (* 2.0 (exp (/ -1 x))) 4.0) in x 6.214 * [taylor]: Taking taylor expansion of (* 2.0 (exp (/ -1 x))) in x 6.214 * [taylor]: Taking taylor expansion of 2.0 in x 6.214 * [taylor]: Taking taylor expansion of (exp (/ -1 x)) in x 6.214 * [taylor]: Taking taylor expansion of (/ -1 x) in x 6.214 * [taylor]: Taking taylor expansion of -1 in x 6.214 * [taylor]: Taking taylor expansion of x in x 6.214 * [taylor]: Taking taylor expansion of 4.0 in x 6.217 * * * [progress]: simplifying candidates 6.218 * [simplify]: Simplifying using # : (* (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (+ 2.0 (exp x)) 2.0))) (log (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (* (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (+ (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (- 2.0 (exp x))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (- (* 2.0 2.0) (* (exp x) (exp x))) 2.0))) (* (+ (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (- (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (- 2.0 (exp x))) (+ (* (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (* 2.0 2.0) (- (* (exp x) (exp x)) (* 2.0 (exp x))))) (+ (* (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (- 2.0 (exp x))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (- (* 2.0 2.0) (* (exp x) (exp x))) 2.0))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (- 2.0 (exp x))) (+ (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (pow (* (+ 2.0 (exp x)) 2.0) 3)) (+ (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (- (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0)) (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (- (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0))) (- (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (exp x)) (* (+ 2.0 (exp x)) 2.0)) (+ (* (exp x) (exp x)) (* (+ 2.0 (exp x)) 2.0)) (* x 3) (* (log (exp x)) 3) (* 1 3) (* (cbrt x) 3) (* (sqrt x) 3) (* x 3) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (pow (exp x) 1) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (log (pow (exp x) 3)) (exp (pow (exp x) 3)) (* (cbrt (pow (exp x) 3)) (cbrt (pow (exp x) 3))) (cbrt (pow (exp x) 3)) (* (* (pow (exp x) 3) (pow (exp x) 3)) (pow (exp x) 3)) (pow (* (cbrt (exp x)) (cbrt (exp x))) 3) (pow (cbrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) (pow 1 3) (pow (exp x) 3) (* (exp x) (exp x)) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) (/ 3 2)) (pow (exp x) (/ 3 2)) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (log (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (exp x) (exp x)) (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (exp x) 1) (* (exp x) 1) (* (exp x) 1) (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (* (exp x) (exp x)))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (+ x (log (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (log (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (exp (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (* (* (exp x) (exp x)) (exp x)) (* (* (+ 4.0 (* (exp x) (+ (exp x) 2.0))) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))))) (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (* (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (sqrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (sqrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (sqrt (exp x)) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (sqrt (exp x)) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (exp x) 4.0) (* (exp x) (* (exp x) (+ (exp x) 2.0))) (* 4.0 (exp x)) (* (* (exp x) (+ (exp x) 2.0)) (exp x)) (* (exp x) (* (cbrt (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (cbrt (+ 4.0 (* (exp x) (+ (exp x) 2.0)))))) (* (exp x) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (exp x) 1) (* (cbrt (exp x)) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (sqrt (exp x)) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ (pow 4.0 3) (pow (* (exp x) (+ (exp x) 2.0)) 3))) (* (exp x) (- (* 4.0 4.0) (* (* (exp x) (+ (exp x) 2.0)) (* (exp x) (+ (exp x) 2.0))))) (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4)))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (+ (* 11.0 x) (+ (* 10.5 (pow x 2)) 7.0)) (* (exp x) (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0))) (* (exp x) (+ (* 2.0 (exp x)) (+ (pow (exp x) 2) 4.0))) 6.224 * * [simplify]: iteration 0 : 198 enodes (cost 1932 ) 6.264 * * [simplify]: iteration 1 : 612 enodes (cost 1790 ) 6.439 * * [simplify]: iteration 2 : 3090 enodes (cost 1674 ) 7.212 * * [simplify]: iteration done : 5001 enodes (cost 1674 ) 7.213 * [simplify]: Simplified to: (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (log (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (exp (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (* (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)))) (cbrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (pow (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) 3) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (sqrt (+ (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0))) (+ (* (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0) (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))))) (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))))) (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))))) (+ (* (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))) (* 2.0 (- (* 2.0 2.0) (pow (exp x) 2)))) (* (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (- 2.0 (exp x)))) (* (+ (* (exp x) (- (exp x) (- (pow (exp x) 3) (pow 2.0 3)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3)))) (- 2.0 (exp x))) (+ (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* (+ (pow 2.0 3) (pow (exp x) 3)) 2.0)) (* (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (* 2.0 2.0) (* (exp x) (- (exp x) 2.0)))) (+ (* (- 2.0 (exp x)) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2)))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (* 2.0 (- (* 2.0 2.0) (pow (exp x) 2))))) (* (- (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (- 2.0 (exp x))) (+ (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (pow (* (+ 2.0 (exp x)) 2.0) 3)) (+ (* (pow (exp x) 2) (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (- (* (+ 2.0 (exp x)) 2.0) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))))) (- (* (pow (exp x) 2) (* (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (* (+ 2.0 (exp x)) 2.0) (* (+ 2.0 (exp x)) 2.0))) (- (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (+ 2.0 (exp x)) 2.0)) (+ (* (+ 2.0 (exp x)) 2.0) (pow (exp x) 2)) (+ (* (+ 2.0 (exp x)) 2.0) (pow (exp x) 2)) (* 3 x) (* 3 x) 3 (* (cbrt x) 3) (* (sqrt x) 3) (* 3 x) (pow (exp x) (* (cbrt 3) (cbrt 3))) (pow (exp x) (sqrt 3)) (exp x) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (* 3 x) (exp (pow (exp x) 3)) (pow (exp x) 2) (exp x) (pow (pow (exp x) 3) 3) (pow (exp x) 2) (exp x) (pow (sqrt (exp x)) 3) (pow (sqrt (exp x)) 3) 1 (pow (exp x) 3) (pow (exp x) 2) (sqrt (pow (exp x) 3)) (sqrt (pow (exp x) 3)) (pow (exp x) 3/2) (pow (exp x) 3/2) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (+ x (log (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (* (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (cbrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (pow (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) 3) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (sqrt (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (sqrt (exp x)) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (pow (exp x) 2) (* (- (pow (exp x) 3) (pow 2.0 3)) (exp x)) (pow (exp x) 2) (* (exp x) (* (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (cbrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))))) (* (exp x) (sqrt (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x)))) (exp x) (exp x) (exp x) (* (cbrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (sqrt (exp x)) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (- (pow (exp x) 3) (pow 2.0 3)) (exp x))) (* (exp x) (+ (pow (- (pow (exp x) 3) (pow 2.0 3)) 3) (pow (exp x) 3))) (* (exp x) (- (* (- (pow (exp x) 3) (pow 2.0 3)) (- (pow (exp x) 3) (pow 2.0 3))) (pow (exp x) 2))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (+ x (log (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (+ x (log (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (exp (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (pow (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) 3) (* (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))))) (cbrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (pow (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) 3) (sqrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (sqrt (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (sqrt (exp x)) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (sqrt (exp x)) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (* (exp x) 4.0) (* (pow (exp x) 2) (+ (exp x) 2.0)) (* (exp x) 4.0) (* (pow (exp x) 2) (+ (exp x) 2.0)) (* (exp x) (* (cbrt (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (cbrt (+ 4.0 (* (exp x) (+ (exp x) 2.0)))))) (* (exp x) (sqrt (+ 4.0 (* (exp x) (+ (exp x) 2.0))))) (exp x) (* (cbrt (exp x)) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (sqrt (exp x)) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ (pow 4.0 3) (pow (* (exp x) (+ (exp x) 2.0)) 3))) (* (- (* 4.0 4.0) (* (pow (exp x) 2) (* (+ (exp x) 2.0) (+ (exp x) 2.0)))) (exp x)) (+ (* 7.0 (pow x 2)) (+ (* 11.0 (pow x 3)) (* 11.083333333333334 (pow x 4)))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (- (+ (pow (exp x) 4) (+ (pow (exp x) 2) 4.0)) (* 6.0 (exp x))) (+ (* 3 x) (+ (* 9/2 (pow x 2)) 1)) (pow (exp x) 3) (pow (exp x) 3) (- (* 6.0 (pow x 2)) (+ (* 2.0 x) 6.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (* (exp x) (- (+ (exp x) (pow (exp x) 3)) 8.0)) (+ (* 11.0 x) (+ (* 10.5 (pow x 2)) 7.0)) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) (* (exp x) (+ 4.0 (* (exp x) (+ (exp x) 2.0)))) 7.213 * * * [progress]: adding candidates to table 7.413 * [progress]: [Phase 3 of 3] Extracting. 7.413 * * [regime]: Finding splitpoints for: (# # #) 7.414 * * * [regime-changes]: Trying 1 branch expressions: (x) 7.414 * * * * [regimes]: Trying to branch on x from (# # #) 7.446 * * * [regime]: Found split indices: #