4.313 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.021 * * * [progress]: [2/2] Setting up program.
0.024 * [progress]: [Phase 2 of 3] Improving.
0.024 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (* y (+ z x)))
0.025 * * [simplify]: iteration  0 :  6  enodes  (cost  7 )
0.026 * * [simplify]: iteration  1 :  15  enodes  (cost  7 )
0.028 * * [simplify]: iteration  2 :  21  enodes  (cost  7 )
0.030 * * [simplify]: iteration  3 :  28  enodes  (cost  7 )
0.034 * * [simplify]: iteration  4 :  32  enodes  (cost  7 )
0.038 * * [simplify]: iteration  5 :  38  enodes  (cost  7 )
0.042 * * [simplify]: iteration  6 :  44  enodes  (cost  7 )
0.050 * * [simplify]: iteration  7 :  62  enodes  (cost  7 )
0.055 * * [simplify]: iteration  8 :  68  enodes  (cost  7 )
0.059 * * [simplify]: iteration  9 :  86  enodes  (cost  7 )
0.064 * * [simplify]: iteration  10 :  92  enodes  (cost  7 )
0.068 * * [simplify]: iteration  11 :  110  enodes  (cost  7 )
0.072 * * [simplify]: iteration  12 :  116  enodes  (cost  7 )
0.076 * * [simplify]: iteration  13 :  134  enodes  (cost  7 )
0.080 * * [simplify]: iteration  14 :  140  enodes  (cost  7 )
0.084 * * [simplify]: iteration  15 :  158  enodes  (cost  7 )
0.088 * * [simplify]: iteration  16 :  164  enodes  (cost  7 )
0.092 * * [simplify]: iteration  17 :  182  enodes  (cost  7 )
0.097 * * [simplify]: iteration  18 :  188  enodes  (cost  7 )
0.103 * * [simplify]: iteration  19 :  206  enodes  (cost  7 )
0.107 * * [simplify]: iteration  20 :  212  enodes  (cost  7 )
0.111 * * [simplify]: iteration  21 :  230  enodes  (cost  7 )
0.116 * * [simplify]: iteration  22 :  236  enodes  (cost  7 )
0.120 * * [simplify]: iteration  23 :  254  enodes  (cost  7 )
0.124 * * [simplify]: iteration  24 :  260  enodes  (cost  7 )
0.128 * * [simplify]: iteration  25 :  278  enodes  (cost  7 )
0.133 * * [simplify]: iteration  26 :  284  enodes  (cost  7 )
0.136 * * [simplify]: iteration  27 :  302  enodes  (cost  7 )
0.141 * * [simplify]: iteration  28 :  308  enodes  (cost  7 )
0.144 * * [simplify]: iteration  29 :  326  enodes  (cost  7 )
0.149 * * [simplify]: iteration  30 :  332  enodes  (cost  7 )
0.152 * * [simplify]: iteration  31 :  350  enodes  (cost  7 )
0.159 * * [simplify]: iteration  32 :  356  enodes  (cost  7 )
0.163 * * [simplify]: iteration  33 :  374  enodes  (cost  7 )
0.168 * * [simplify]: iteration  34 :  380  enodes  (cost  7 )
0.171 * * [simplify]: iteration  35 :  398  enodes  (cost  7 )
0.176 * * [simplify]: iteration  36 :  404  enodes  (cost  7 )
0.180 * * [simplify]: iteration  37 :  422  enodes  (cost  7 )
0.184 * * [simplify]: iteration  38 :  428  enodes  (cost  7 )
0.188 * * [simplify]: iteration  39 :  446  enodes  (cost  7 )
0.193 * * [simplify]: iteration  40 :  452  enodes  (cost  7 )
0.197 * * [simplify]: iteration  41 :  470  enodes  (cost  7 )
0.201 * * [simplify]: iteration  42 :  476  enodes  (cost  7 )
0.205 * * [simplify]: iteration  43 :  494  enodes  (cost  7 )
0.212 * * [simplify]: iteration  44 :  500  enodes  (cost  7 )
0.216 * * [simplify]: iteration  45 :  518  enodes  (cost  7 )
0.220 * * [simplify]: iteration  46 :  524  enodes  (cost  7 )
0.224 * * [simplify]: iteration  47 :  542  enodes  (cost  7 )
0.228 * * [simplify]: iteration  48 :  548  enodes  (cost  7 )
0.232 * * [simplify]: iteration  49 :  566  enodes  (cost  7 )
0.237 * * [simplify]: iteration  50 :  572  enodes  (cost  7 )
0.240 * * [simplify]: iteration  51 :  590  enodes  (cost  7 )
0.245 * * [simplify]: iteration  52 :  596  enodes  (cost  7 )
0.249 * * [simplify]: iteration  53 :  614  enodes  (cost  7 )
0.253 * * [simplify]: iteration  54 :  620  enodes  (cost  7 )
0.257 * * [simplify]: iteration  55 :  638  enodes  (cost  7 )
0.264 * * [simplify]: iteration  56 :  644  enodes  (cost  7 )
0.268 * * [simplify]: iteration  57 :  662  enodes  (cost  7 )
0.272 * * [simplify]: iteration  58 :  668  enodes  (cost  7 )
0.276 * * [simplify]: iteration  59 :  686  enodes  (cost  7 )
0.281 * * [simplify]: iteration  60 :  692  enodes  (cost  7 )
0.284 * * [simplify]: iteration  61 :  710  enodes  (cost  7 )
0.289 * * [simplify]: iteration  62 :  716  enodes  (cost  7 )
0.292 * * [simplify]: iteration  63 :  734  enodes  (cost  7 )
0.297 * * [simplify]: iteration  64 :  740  enodes  (cost  7 )
0.301 * * [simplify]: iteration  65 :  758  enodes  (cost  7 )
0.305 * * [simplify]: iteration  66 :  764  enodes  (cost  7 )
0.309 * * [simplify]: iteration  67 :  782  enodes  (cost  7 )
0.316 * * [simplify]: iteration  68 :  788  enodes  (cost  7 )
0.320 * * [simplify]: iteration  69 :  806  enodes  (cost  7 )
0.324 * * [simplify]: iteration  70 :  812  enodes  (cost  7 )
0.328 * * [simplify]: iteration  71 :  830  enodes  (cost  7 )
0.332 * * [simplify]: iteration  72 :  836  enodes  (cost  7 )
0.336 * * [simplify]: iteration  73 :  854  enodes  (cost  7 )
0.340 * * [simplify]: iteration  74 :  860  enodes  (cost  7 )
0.344 * * [simplify]: iteration  75 :  878  enodes  (cost  7 )
0.349 * * [simplify]: iteration  76 :  884  enodes  (cost  7 )
0.352 * * [simplify]: iteration  77 :  902  enodes  (cost  7 )
0.357 * * [simplify]: iteration  78 :  908  enodes  (cost  7 )
0.361 * * [simplify]: iteration  79 :  926  enodes  (cost  7 )
0.368 * * [simplify]: iteration  80 :  932  enodes  (cost  7 )
0.372 * * [simplify]: iteration  81 :  950  enodes  (cost  7 )
0.376 * * [simplify]: iteration  82 :  956  enodes  (cost  7 )
0.380 * * [simplify]: iteration  83 :  974  enodes  (cost  7 )
0.384 * * [simplify]: iteration  84 :  980  enodes  (cost  7 )
0.388 * * [simplify]: iteration  85 :  998  enodes  (cost  7 )
0.393 * * [simplify]: iteration  86 :  1004  enodes  (cost  7 )
0.396 * * [simplify]: iteration  87 :  1022  enodes  (cost  7 )
0.401 * * [simplify]: iteration  88 :  1028  enodes  (cost  7 )
0.404 * * [simplify]: iteration  89 :  1046  enodes  (cost  7 )
0.409 * * [simplify]: iteration  90 :  1052  enodes  (cost  7 )
0.413 * * [simplify]: iteration  91 :  1070  enodes  (cost  7 )
0.417 * * [simplify]: iteration  92 :  1076  enodes  (cost  7 )
0.423 * * [simplify]: iteration  93 :  1094  enodes  (cost  7 )
0.428 * * [simplify]: iteration  94 :  1100  enodes  (cost  7 )
0.432 * * [simplify]: iteration  95 :  1118  enodes  (cost  7 )
0.436 * * [simplify]: iteration  96 :  1124  enodes  (cost  7 )
0.440 * * [simplify]: iteration  97 :  1142  enodes  (cost  7 )
0.445 * * [simplify]: iteration  98 :  1148  enodes  (cost  7 )
0.448 * * [simplify]: iteration  99 :  1166  enodes  (cost  7 )
0.453 * * [simplify]: iteration  100 :  1172  enodes  (cost  7 )
0.456 * * [simplify]: iteration  101 :  1190  enodes  (cost  7 )
0.462 * * [simplify]: iteration  102 :  1196  enodes  (cost  7 )
0.465 * * [simplify]: iteration  103 :  1214  enodes  (cost  7 )
0.470 * * [simplify]: iteration  104 :  1220  enodes  (cost  7 )
0.476 * * [simplify]: iteration  105 :  1238  enodes  (cost  7 )
0.481 * * [simplify]: iteration  106 :  1244  enodes  (cost  7 )
0.484 * * [simplify]: iteration  107 :  1262  enodes  (cost  7 )
0.489 * * [simplify]: iteration  108 :  1268  enodes  (cost  7 )
0.492 * * [simplify]: iteration  109 :  1286  enodes  (cost  7 )
0.497 * * [simplify]: iteration  110 :  1292  enodes  (cost  7 )
0.500 * * [simplify]: iteration  111 :  1310  enodes  (cost  7 )
0.505 * * [simplify]: iteration  112 :  1316  enodes  (cost  7 )
0.508 * * [simplify]: iteration  113 :  1334  enodes  (cost  7 )
0.513 * * [simplify]: iteration  114 :  1340  enodes  (cost  7 )
0.517 * * [simplify]: iteration  115 :  1358  enodes  (cost  7 )
0.521 * * [simplify]: iteration  116 :  1364  enodes  (cost  7 )
0.528 * * [simplify]: iteration  117 :  1382  enodes  (cost  7 )
0.532 * * [simplify]: iteration  118 :  1388  enodes  (cost  7 )
0.536 * * [simplify]: iteration  119 :  1406  enodes  (cost  7 )
0.540 * * [simplify]: iteration  120 :  1412  enodes  (cost  7 )
0.544 * * [simplify]: iteration  121 :  1430  enodes  (cost  7 )
0.548 * * [simplify]: iteration  122 :  1436  enodes  (cost  7 )
0.552 * * [simplify]: iteration  123 :  1454  enodes  (cost  7 )
0.556 * * [simplify]: iteration  124 :  1460  enodes  (cost  7 )
0.560 * * [simplify]: iteration  125 :  1478  enodes  (cost  7 )
0.565 * * [simplify]: iteration  126 :  1484  enodes  (cost  7 )
0.568 * * [simplify]: iteration  127 :  1502  enodes  (cost  7 )
0.573 * * [simplify]: iteration  128 :  1508  enodes  (cost  7 )
0.579 * * [simplify]: iteration  129 :  1526  enodes  (cost  7 )
0.584 * * [simplify]: iteration  130 :  1532  enodes  (cost  7 )
0.588 * * [simplify]: iteration  131 :  1550  enodes  (cost  7 )
0.592 * * [simplify]: iteration  132 :  1556  enodes  (cost  7 )
0.596 * * [simplify]: iteration  133 :  1574  enodes  (cost  7 )
0.600 * * [simplify]: iteration  134 :  1580  enodes  (cost  7 )
0.604 * * [simplify]: iteration  135 :  1598  enodes  (cost  7 )
0.609 * * [simplify]: iteration  136 :  1604  enodes  (cost  7 )
0.612 * * [simplify]: iteration  137 :  1622  enodes  (cost  7 )
0.617 * * [simplify]: iteration  138 :  1628  enodes  (cost  7 )
0.621 * * [simplify]: iteration  139 :  1646  enodes  (cost  7 )
0.625 * * [simplify]: iteration  140 :  1652  enodes  (cost  7 )
0.629 * * [simplify]: iteration  141 :  1670  enodes  (cost  7 )
0.636 * * [simplify]: iteration  142 :  1676  enodes  (cost  7 )
0.640 * * [simplify]: iteration  143 :  1694  enodes  (cost  7 )
0.645 * * [simplify]: iteration  144 :  1700  enodes  (cost  7 )
0.648 * * [simplify]: iteration  145 :  1718  enodes  (cost  7 )
0.653 * * [simplify]: iteration  146 :  1724  enodes  (cost  7 )
0.656 * * [simplify]: iteration  147 :  1742  enodes  (cost  7 )
0.661 * * [simplify]: iteration  148 :  1748  enodes  (cost  7 )
0.665 * * [simplify]: iteration  149 :  1766  enodes  (cost  7 )
0.669 * * [simplify]: iteration  150 :  1772  enodes  (cost  7 )
0.673 * * [simplify]: iteration  151 :  1790  enodes  (cost  7 )
0.677 * * [simplify]: iteration  152 :  1796  enodes  (cost  7 )
0.681 * * [simplify]: iteration  153 :  1814  enodes  (cost  7 )
0.689 * * [simplify]: iteration  154 :  1820  enodes  (cost  7 )
0.692 * * [simplify]: iteration  155 :  1838  enodes  (cost  7 )
0.697 * * [simplify]: iteration  156 :  1844  enodes  (cost  7 )
0.700 * * [simplify]: iteration  157 :  1862  enodes  (cost  7 )
0.705 * * [simplify]: iteration  158 :  1868  enodes  (cost  7 )
0.709 * * [simplify]: iteration  159 :  1886  enodes  (cost  7 )
0.713 * * [simplify]: iteration  160 :  1892  enodes  (cost  7 )
0.717 * * [simplify]: iteration  161 :  1910  enodes  (cost  7 )
0.721 * * [simplify]: iteration  162 :  1916  enodes  (cost  7 )
0.725 * * [simplify]: iteration  163 :  1934  enodes  (cost  7 )
0.729 * * [simplify]: iteration  164 :  1940  enodes  (cost  7 )
0.733 * * [simplify]: iteration  165 :  1958  enodes  (cost  7 )
0.741 * * [simplify]: iteration  166 :  1964  enodes  (cost  7 )
0.745 * * [simplify]: iteration  167 :  1982  enodes  (cost  7 )
0.749 * * [simplify]: iteration  168 :  1988  enodes  (cost  7 )
0.753 * * [simplify]: iteration  169 :  2006  enodes  (cost  7 )
0.757 * * [simplify]: iteration  170 :  2012  enodes  (cost  7 )
0.761 * * [simplify]: iteration  171 :  2030  enodes  (cost  7 )
0.766 * * [simplify]: iteration  172 :  2036  enodes  (cost  7 )
0.769 * * [simplify]: iteration  173 :  2054  enodes  (cost  7 )
0.774 * * [simplify]: iteration  174 :  2060  enodes  (cost  7 )
0.777 * * [simplify]: iteration  175 :  2078  enodes  (cost  7 )
0.782 * * [simplify]: iteration  176 :  2084  enodes  (cost  7 )
0.786 * * [simplify]: iteration  177 :  2102  enodes  (cost  7 )
0.793 * * [simplify]: iteration  178 :  2108  enodes  (cost  7 )
0.797 * * [simplify]: iteration  179 :  2126  enodes  (cost  7 )
0.801 * * [simplify]: iteration  180 :  2132  enodes  (cost  7 )
0.805 * * [simplify]: iteration  181 :  2150  enodes  (cost  7 )
0.810 * * [simplify]: iteration  182 :  2156  enodes  (cost  7 )
0.813 * * [simplify]: iteration  183 :  2174  enodes  (cost  7 )
0.818 * * [simplify]: iteration  184 :  2180  enodes  (cost  7 )
0.821 * * [simplify]: iteration  185 :  2198  enodes  (cost  7 )
0.826 * * [simplify]: iteration  186 :  2204  enodes  (cost  7 )
0.830 * * [simplify]: iteration  187 :  2222  enodes  (cost  7 )
0.834 * * [simplify]: iteration  188 :  2228  enodes  (cost  7 )
0.838 * * [simplify]: iteration  189 :  2246  enodes  (cost  7 )
0.845 * * [simplify]: iteration  190 :  2252  enodes  (cost  7 )
0.849 * * [simplify]: iteration  191 :  2270  enodes  (cost  7 )
0.853 * * [simplify]: iteration  192 :  2276  enodes  (cost  7 )
0.857 * * [simplify]: iteration  193 :  2294  enodes  (cost  7 )
0.861 * * [simplify]: iteration  194 :  2300  enodes  (cost  7 )
0.865 * * [simplify]: iteration  195 :  2318  enodes  (cost  7 )
0.869 * * [simplify]: iteration  196 :  2324  enodes  (cost  7 )
0.873 * * [simplify]: iteration  197 :  2342  enodes  (cost  7 )
0.878 * * [simplify]: iteration  198 :  2348  enodes  (cost  7 )
0.882 * * [simplify]: iteration  199 :  2366  enodes  (cost  7 )
0.886 * * [simplify]: iteration  200 :  2372  enodes  (cost  7 )
0.890 * * [simplify]: iteration  201 :  2390  enodes  (cost  7 )
0.894 * * [simplify]: iteration  202 :  2396  enodes  (cost  7 )
0.900 * * [simplify]: iteration  203 :  2414  enodes  (cost  7 )
0.905 * * [simplify]: iteration  204 :  2420  enodes  (cost  7 )
0.909 * * [simplify]: iteration  205 :  2438  enodes  (cost  7 )
0.913 * * [simplify]: iteration  206 :  2444  enodes  (cost  7 )
0.917 * * [simplify]: iteration  207 :  2462  enodes  (cost  7 )
0.921 * * [simplify]: iteration  208 :  2468  enodes  (cost  7 )
0.925 * * [simplify]: iteration  209 :  2486  enodes  (cost  7 )
0.930 * * [simplify]: iteration  210 :  2492  enodes  (cost  7 )
0.933 * * [simplify]: iteration  211 :  2510  enodes  (cost  7 )
0.938 * * [simplify]: iteration  212 :  2516  enodes  (cost  7 )
0.941 * * [simplify]: iteration  213 :  2534  enodes  (cost  7 )
0.946 * * [simplify]: iteration  214 :  2540  enodes  (cost  7 )
0.952 * * [simplify]: iteration  215 :  2558  enodes  (cost  7 )
0.957 * * [simplify]: iteration  216 :  2564  enodes  (cost  7 )
0.960 * * [simplify]: iteration  217 :  2582  enodes  (cost  7 )
0.965 * * [simplify]: iteration  218 :  2588  enodes  (cost  7 )
0.969 * * [simplify]: iteration  219 :  2606  enodes  (cost  7 )
0.973 * * [simplify]: iteration  220 :  2612  enodes  (cost  7 )
0.977 * * [simplify]: iteration  221 :  2630  enodes  (cost  7 )
0.981 * * [simplify]: iteration  222 :  2636  enodes  (cost  7 )
0.985 * * [simplify]: iteration  223 :  2654  enodes  (cost  7 )
0.989 * * [simplify]: iteration  224 :  2660  enodes  (cost  7 )
0.993 * * [simplify]: iteration  225 :  2678  enodes  (cost  7 )
0.998 * * [simplify]: iteration  226 :  2684  enodes  (cost  7 )
1.004 * * [simplify]: iteration  227 :  2702  enodes  (cost  7 )
1.009 * * [simplify]: iteration  228 :  2708  enodes  (cost  7 )
1.012 * * [simplify]: iteration  229 :  2726  enodes  (cost  7 )
1.017 * * [simplify]: iteration  230 :  2732  enodes  (cost  7 )
1.021 * * [simplify]: iteration  231 :  2750  enodes  (cost  7 )
1.025 * * [simplify]: iteration  232 :  2756  enodes  (cost  7 )
1.029 * * [simplify]: iteration  233 :  2774  enodes  (cost  7 )
1.034 * * [simplify]: iteration  234 :  2780  enodes  (cost  7 )
1.037 * * [simplify]: iteration  235 :  2798  enodes  (cost  7 )
1.042 * * [simplify]: iteration  236 :  2804  enodes  (cost  7 )
1.046 * * [simplify]: iteration  237 :  2822  enodes  (cost  7 )
1.050 * * [simplify]: iteration  238 :  2828  enodes  (cost  7 )
1.057 * * [simplify]: iteration  239 :  2846  enodes  (cost  7 )
1.061 * * [simplify]: iteration  240 :  2852  enodes  (cost  7 )
1.065 * * [simplify]: iteration  241 :  2870  enodes  (cost  7 )
1.069 * * [simplify]: iteration  242 :  2876  enodes  (cost  7 )
1.073 * * [simplify]: iteration  243 :  2894  enodes  (cost  7 )
1.077 * * [simplify]: iteration  244 :  2900  enodes  (cost  7 )
1.081 * * [simplify]: iteration  245 :  2918  enodes  (cost  7 )
1.086 * * [simplify]: iteration  246 :  2924  enodes  (cost  7 )
1.089 * * [simplify]: iteration  247 :  2942  enodes  (cost  7 )
1.094 * * [simplify]: iteration  248 :  2948  enodes  (cost  7 )
1.097 * * [simplify]: iteration  249 :  2966  enodes  (cost  7 )
1.102 * * [simplify]: iteration  250 :  2972  enodes  (cost  7 )
1.105 * * [simplify]: iteration  251 :  2990  enodes  (cost  7 )
1.113 * * [simplify]: iteration  252 :  2996  enodes  (cost  7 )
1.117 * * [simplify]: iteration  253 :  3014  enodes  (cost  7 )
1.122 * * [simplify]: iteration  254 :  3020  enodes  (cost  7 )
1.125 * * [simplify]: iteration  255 :  3038  enodes  (cost  7 )
1.130 * * [simplify]: iteration  256 :  3044  enodes  (cost  7 )
1.133 * * [simplify]: iteration  257 :  3062  enodes  (cost  7 )
1.138 * * [simplify]: iteration  258 :  3068  enodes  (cost  7 )
1.141 * * [simplify]: iteration  259 :  3086  enodes  (cost  7 )
1.146 * * [simplify]: iteration  260 :  3092  enodes  (cost  7 )
1.150 * * [simplify]: iteration  261 :  3110  enodes  (cost  7 )
1.154 * * [simplify]: iteration  262 :  3116  enodes  (cost  7 )
1.158 * * [simplify]: iteration  263 :  3134  enodes  (cost  7 )
1.166 * * [simplify]: iteration  264 :  3140  enodes  (cost  7 )
1.170 * * [simplify]: iteration  265 :  3158  enodes  (cost  7 )
1.175 * * [simplify]: iteration  266 :  3164  enodes  (cost  7 )
1.178 * * [simplify]: iteration  267 :  3182  enodes  (cost  7 )
1.183 * * [simplify]: iteration  268 :  3188  enodes  (cost  7 )
1.186 * * [simplify]: iteration  269 :  3206  enodes  (cost  7 )
1.191 * * [simplify]: iteration  270 :  3212  enodes  (cost  7 )
1.195 * * [simplify]: iteration  271 :  3230  enodes  (cost  7 )
1.199 * * [simplify]: iteration  272 :  3236  enodes  (cost  7 )
1.203 * * [simplify]: iteration  273 :  3254  enodes  (cost  7 )
1.207 * * [simplify]: iteration  274 :  3260  enodes  (cost  7 )
1.211 * * [simplify]: iteration  275 :  3278  enodes  (cost  7 )
1.218 * * [simplify]: iteration  276 :  3284  enodes  (cost  7 )
1.222 * * [simplify]: iteration  277 :  3302  enodes  (cost  7 )
1.227 * * [simplify]: iteration  278 :  3308  enodes  (cost  7 )
1.231 * * [simplify]: iteration  279 :  3326  enodes  (cost  7 )
1.235 * * [simplify]: iteration  280 :  3332  enodes  (cost  7 )
1.239 * * [simplify]: iteration  281 :  3350  enodes  (cost  7 )
1.243 * * [simplify]: iteration  282 :  3356  enodes  (cost  7 )
1.247 * * [simplify]: iteration  283 :  3374  enodes  (cost  7 )
1.252 * * [simplify]: iteration  284 :  3380  enodes  (cost  7 )
1.255 * * [simplify]: iteration  285 :  3398  enodes  (cost  7 )
1.260 * * [simplify]: iteration  286 :  3404  enodes  (cost  7 )
1.263 * * [simplify]: iteration  287 :  3422  enodes  (cost  7 )
1.271 * * [simplify]: iteration  288 :  3428  enodes  (cost  7 )
1.274 * * [simplify]: iteration  289 :  3446  enodes  (cost  7 )
1.279 * * [simplify]: iteration  290 :  3452  enodes  (cost  7 )
1.283 * * [simplify]: iteration  291 :  3470  enodes  (cost  7 )
1.288 * * [simplify]: iteration  292 :  3476  enodes  (cost  7 )
1.292 * * [simplify]: iteration  293 :  3494  enodes  (cost  7 )
1.296 * * [simplify]: iteration  294 :  3500  enodes  (cost  7 )
1.300 * * [simplify]: iteration  295 :  3518  enodes  (cost  7 )
1.304 * * [simplify]: iteration  296 :  3524  enodes  (cost  7 )
1.308 * * [simplify]: iteration  297 :  3542  enodes  (cost  7 )
1.313 * * [simplify]: iteration  298 :  3548  enodes  (cost  7 )
1.316 * * [simplify]: iteration  299 :  3566  enodes  (cost  7 )
1.323 * * [simplify]: iteration  300 :  3572  enodes  (cost  7 )
1.327 * * [simplify]: iteration  301 :  3590  enodes  (cost  7 )
1.332 * * [simplify]: iteration  302 :  3596  enodes  (cost  7 )
1.335 * * [simplify]: iteration  303 :  3614  enodes  (cost  7 )
1.340 * * [simplify]: iteration  304 :  3620  enodes  (cost  7 )
1.343 * * [simplify]: iteration  305 :  3638  enodes  (cost  7 )
1.348 * * [simplify]: iteration  306 :  3644  enodes  (cost  7 )
1.352 * * [simplify]: iteration  307 :  3662  enodes  (cost  7 )
1.356 * * [simplify]: iteration  308 :  3668  enodes  (cost  7 )
1.360 * * [simplify]: iteration  309 :  3686  enodes  (cost  7 )
1.365 * * [simplify]: iteration  310 :  3692  enodes  (cost  7 )
1.368 * * [simplify]: iteration  311 :  3710  enodes  (cost  7 )
1.373 * * [simplify]: iteration  312 :  3716  enodes  (cost  7 )
1.379 * * [simplify]: iteration  313 :  3734  enodes  (cost  7 )
1.384 * * [simplify]: iteration  314 :  3740  enodes  (cost  7 )
1.388 * * [simplify]: iteration  315 :  3758  enodes  (cost  7 )
1.392 * * [simplify]: iteration  316 :  3764  enodes  (cost  7 )
1.396 * * [simplify]: iteration  317 :  3782  enodes  (cost  7 )
1.400 * * [simplify]: iteration  318 :  3788  enodes  (cost  7 )
1.404 * * [simplify]: iteration  319 :  3806  enodes  (cost  7 )
1.408 * * [simplify]: iteration  320 :  3812  enodes  (cost  7 )
1.412 * * [simplify]: iteration  321 :  3830  enodes  (cost  7 )
1.417 * * [simplify]: iteration  322 :  3836  enodes  (cost  7 )
1.420 * * [simplify]: iteration  323 :  3854  enodes  (cost  7 )
1.425 * * [simplify]: iteration  324 :  3860  enodes  (cost  7 )
1.431 * * [simplify]: iteration  325 :  3878  enodes  (cost  7 )
1.436 * * [simplify]: iteration  326 :  3884  enodes  (cost  7 )
1.439 * * [simplify]: iteration  327 :  3902  enodes  (cost  7 )
1.444 * * [simplify]: iteration  328 :  3908  enodes  (cost  7 )
1.448 * * [simplify]: iteration  329 :  3926  enodes  (cost  7 )
1.452 * * [simplify]: iteration  330 :  3932  enodes  (cost  7 )
1.456 * * [simplify]: iteration  331 :  3950  enodes  (cost  7 )
1.460 * * [simplify]: iteration  332 :  3956  enodes  (cost  7 )
1.464 * * [simplify]: iteration  333 :  3974  enodes  (cost  7 )
1.472 * * [simplify]: iteration  334 :  3980  enodes  (cost  7 )
1.476 * * [simplify]: iteration  335 :  3998  enodes  (cost  7 )
1.481 * * [simplify]: iteration  336 :  4004  enodes  (cost  7 )
1.488 * * [simplify]: iteration  337 :  4022  enodes  (cost  7 )
1.492 * * [simplify]: iteration  338 :  4028  enodes  (cost  7 )
1.496 * * [simplify]: iteration  339 :  4046  enodes  (cost  7 )
1.500 * * [simplify]: iteration  340 :  4052  enodes  (cost  7 )
1.504 * * [simplify]: iteration  341 :  4070  enodes  (cost  7 )
1.508 * * [simplify]: iteration  342 :  4076  enodes  (cost  7 )
1.512 * * [simplify]: iteration  343 :  4094  enodes  (cost  7 )
1.516 * * [simplify]: iteration  344 :  4100  enodes  (cost  7 )
1.520 * * [simplify]: iteration  345 :  4118  enodes  (cost  7 )
1.524 * * [simplify]: iteration  346 :  4124  enodes  (cost  7 )
1.528 * * [simplify]: iteration  347 :  4142  enodes  (cost  7 )
1.533 * * [simplify]: iteration  348 :  4148  enodes  (cost  7 )
1.539 * * [simplify]: iteration  349 :  4166  enodes  (cost  7 )
1.544 * * [simplify]: iteration  350 :  4172  enodes  (cost  7 )
1.547 * * [simplify]: iteration  351 :  4190  enodes  (cost  7 )
1.552 * * [simplify]: iteration  352 :  4196  enodes  (cost  7 )
1.555 * * [simplify]: iteration  353 :  4214  enodes  (cost  7 )
1.560 * * [simplify]: iteration  354 :  4220  enodes  (cost  7 )
1.564 * * [simplify]: iteration  355 :  4238  enodes  (cost  7 )
1.568 * * [simplify]: iteration  356 :  4244  enodes  (cost  7 )
1.572 * * [simplify]: iteration  357 :  4262  enodes  (cost  7 )
1.577 * * [simplify]: iteration  358 :  4268  enodes  (cost  7 )
1.580 * * [simplify]: iteration  359 :  4286  enodes  (cost  7 )
1.585 * * [simplify]: iteration  360 :  4292  enodes  (cost  7 )
1.589 * * [simplify]: iteration  361 :  4310  enodes  (cost  7 )
1.596 * * [simplify]: iteration  362 :  4316  enodes  (cost  7 )
1.599 * * [simplify]: iteration  363 :  4334  enodes  (cost  7 )
1.604 * * [simplify]: iteration  364 :  4340  enodes  (cost  7 )
1.608 * * [simplify]: iteration  365 :  4358  enodes  (cost  7 )
1.612 * * [simplify]: iteration  366 :  4364  enodes  (cost  7 )
1.616 * * [simplify]: iteration  367 :  4382  enodes  (cost  7 )
1.620 * * [simplify]: iteration  368 :  4388  enodes  (cost  7 )
1.625 * * [simplify]: iteration  369 :  4406  enodes  (cost  7 )
1.630 * * [simplify]: iteration  370 :  4412  enodes  (cost  7 )
1.634 * * [simplify]: iteration  371 :  4430  enodes  (cost  7 )
1.638 * * [simplify]: iteration  372 :  4436  enodes  (cost  7 )
1.642 * * [simplify]: iteration  373 :  4454  enodes  (cost  7 )
1.649 * * [simplify]: iteration  374 :  4460  enodes  (cost  7 )
1.653 * * [simplify]: iteration  375 :  4478  enodes  (cost  7 )
1.658 * * [simplify]: iteration  376 :  4484  enodes  (cost  7 )
1.661 * * [simplify]: iteration  377 :  4502  enodes  (cost  7 )
1.666 * * [simplify]: iteration  378 :  4508  enodes  (cost  7 )
1.669 * * [simplify]: iteration  379 :  4526  enodes  (cost  7 )
1.674 * * [simplify]: iteration  380 :  4532  enodes  (cost  7 )
1.678 * * [simplify]: iteration  381 :  4550  enodes  (cost  7 )
1.682 * * [simplify]: iteration  382 :  4556  enodes  (cost  7 )
1.686 * * [simplify]: iteration  383 :  4574  enodes  (cost  7 )
1.690 * * [simplify]: iteration  384 :  4580  enodes  (cost  7 )
1.694 * * [simplify]: iteration  385 :  4598  enodes  (cost  7 )
1.702 * * [simplify]: iteration  386 :  4604  enodes  (cost  7 )
1.706 * * [simplify]: iteration  387 :  4622  enodes  (cost  7 )
1.711 * * [simplify]: iteration  388 :  4628  enodes  (cost  7 )
1.714 * * [simplify]: iteration  389 :  4646  enodes  (cost  7 )
1.719 * * [simplify]: iteration  390 :  4652  enodes  (cost  7 )
1.722 * * [simplify]: iteration  391 :  4670  enodes  (cost  7 )
1.727 * * [simplify]: iteration  392 :  4676  enodes  (cost  7 )
1.730 * * [simplify]: iteration  393 :  4694  enodes  (cost  7 )
1.735 * * [simplify]: iteration  394 :  4700  enodes  (cost  7 )
1.739 * * [simplify]: iteration  395 :  4718  enodes  (cost  7 )
1.744 * * [simplify]: iteration  396 :  4724  enodes  (cost  7 )
1.747 * * [simplify]: iteration  397 :  4742  enodes  (cost  7 )
1.755 * * [simplify]: iteration  398 :  4748  enodes  (cost  7 )
1.758 * * [simplify]: iteration  399 :  4766  enodes  (cost  7 )
1.763 * * [simplify]: iteration  400 :  4772  enodes  (cost  7 )
1.767 * * [simplify]: iteration  401 :  4790  enodes  (cost  7 )
1.772 * * [simplify]: iteration  402 :  4796  enodes  (cost  7 )
1.775 * * [simplify]: iteration  403 :  4814  enodes  (cost  7 )
1.780 * * [simplify]: iteration  404 :  4820  enodes  (cost  7 )
1.784 * * [simplify]: iteration  405 :  4838  enodes  (cost  7 )
1.788 * * [simplify]: iteration  406 :  4844  enodes  (cost  7 )
1.792 * * [simplify]: iteration  407 :  4862  enodes  (cost  7 )
1.797 * * [simplify]: iteration  408 :  4868  enodes  (cost  7 )
1.800 * * [simplify]: iteration  409 :  4886  enodes  (cost  7 )
1.807 * * [simplify]: iteration  410 :  4892  enodes  (cost  7 )
1.811 * * [simplify]: iteration  411 :  4910  enodes  (cost  7 )
1.816 * * [simplify]: iteration  412 :  4916  enodes  (cost  7 )
1.820 * * [simplify]: iteration  413 :  4934  enodes  (cost  7 )
1.824 * * [simplify]: iteration  414 :  4940  enodes  (cost  7 )
1.828 * * [simplify]: iteration  415 :  4958  enodes  (cost  7 )
1.833 * * [simplify]: iteration  416 :  4964  enodes  (cost  7 )
1.837 * * [simplify]: iteration  417 :  4982  enodes  (cost  7 )
1.841 * * [simplify]: iteration  418 :  4988  enodes  (cost  7 )
1.845 * * [simplify]: iteration  done :  5000  enodes  (cost  7 )
1.845 * [simplify]: Simplified to:
   (+ x (* y (+ z x)))
1.845 * * [progress]: iteration 1 / 4
1.845 * * * [progress]: picking best candidate
1.847 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* y (+ z x))))>
1.847 * * * [progress]: localizing error
1.853 * * * [progress]: generating rewritten candidates
1.853 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
1.859 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
1.864 * * * [progress]: generating series expansions
1.864 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
1.864 * [approximate]: Taking taylor expansion of (* y (+ x z)) in (y z x) around 0
1.864 * [taylor]: Taking taylor expansion of (* y (+ x z)) in x
1.864 * [taylor]: Taking taylor expansion of y in x
1.864 * [taylor]: Taking taylor expansion of (+ x z) in x
1.864 * [taylor]: Taking taylor expansion of x in x
1.864 * [taylor]: Taking taylor expansion of z in x
1.864 * [taylor]: Taking taylor expansion of (* y (+ x z)) in z
1.864 * [taylor]: Taking taylor expansion of y in z
1.864 * [taylor]: Taking taylor expansion of (+ x z) in z
1.864 * [taylor]: Taking taylor expansion of x in z
1.864 * [taylor]: Taking taylor expansion of z in z
1.864 * [taylor]: Taking taylor expansion of (* y (+ x z)) in y
1.864 * [taylor]: Taking taylor expansion of y in y
1.864 * [taylor]: Taking taylor expansion of (+ x z) in y
1.864 * [taylor]: Taking taylor expansion of x in y
1.864 * [taylor]: Taking taylor expansion of z in y
1.864 * [taylor]: Taking taylor expansion of (* y (+ x z)) in y
1.864 * [taylor]: Taking taylor expansion of y in y
1.864 * [taylor]: Taking taylor expansion of (+ x z) in y
1.864 * [taylor]: Taking taylor expansion of x in y
1.864 * [taylor]: Taking taylor expansion of z in y
1.864 * [taylor]: Taking taylor expansion of 0 in z
1.864 * [taylor]: Taking taylor expansion of 0 in x
1.864 * [taylor]: Taking taylor expansion of (+ x z) in z
1.864 * [taylor]: Taking taylor expansion of x in z
1.864 * [taylor]: Taking taylor expansion of z in z
1.864 * [taylor]: Taking taylor expansion of x in x
1.864 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 0 in z
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 1 in x
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 0 in z
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [taylor]: Taking taylor expansion of 0 in x
1.865 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
1.865 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
1.865 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.865 * [taylor]: Taking taylor expansion of x in x
1.865 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.865 * [taylor]: Taking taylor expansion of z in x
1.865 * [taylor]: Taking taylor expansion of y in x
1.865 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
1.865 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
1.865 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.865 * [taylor]: Taking taylor expansion of x in z
1.865 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.865 * [taylor]: Taking taylor expansion of z in z
1.865 * [taylor]: Taking taylor expansion of y in z
1.866 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.866 * [taylor]: Taking taylor expansion of x in y
1.866 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.866 * [taylor]: Taking taylor expansion of z in y
1.866 * [taylor]: Taking taylor expansion of y in y
1.866 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.866 * [taylor]: Taking taylor expansion of x in y
1.866 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.866 * [taylor]: Taking taylor expansion of z in y
1.866 * [taylor]: Taking taylor expansion of y in y
1.866 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.866 * [taylor]: Taking taylor expansion of x in z
1.866 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.866 * [taylor]: Taking taylor expansion of z in z
1.866 * [taylor]: Taking taylor expansion of 1 in x
1.866 * [taylor]: Taking taylor expansion of 0 in z
1.866 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.866 * [taylor]: Taking taylor expansion of x in x
1.867 * [taylor]: Taking taylor expansion of 0 in z
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.867 * [taylor]: Taking taylor expansion of 0 in z
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.867 * [taylor]: Taking taylor expansion of 0 in x
1.868 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in (y z x) around 0
1.868 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in x
1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.868 * [taylor]: Taking taylor expansion of x in x
1.868 * [taylor]: Taking taylor expansion of (/ 1 z) in x
1.868 * [taylor]: Taking taylor expansion of z in x
1.868 * [taylor]: Taking taylor expansion of y in x
1.868 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in z
1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.868 * [taylor]: Taking taylor expansion of x in z
1.868 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.868 * [taylor]: Taking taylor expansion of z in z
1.868 * [taylor]: Taking taylor expansion of y in z
1.868 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.868 * [taylor]: Taking taylor expansion of x in y
1.868 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.868 * [taylor]: Taking taylor expansion of z in y
1.868 * [taylor]: Taking taylor expansion of y in y
1.868 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 z)) y) in y
1.868 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in y
1.868 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.868 * [taylor]: Taking taylor expansion of x in y
1.869 * [taylor]: Taking taylor expansion of (/ 1 z) in y
1.869 * [taylor]: Taking taylor expansion of z in y
1.869 * [taylor]: Taking taylor expansion of y in y
1.869 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
1.869 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.869 * [taylor]: Taking taylor expansion of x in z
1.869 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.869 * [taylor]: Taking taylor expansion of z in z
1.869 * [taylor]: Taking taylor expansion of 1 in x
1.869 * [taylor]: Taking taylor expansion of 0 in z
1.869 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.869 * [taylor]: Taking taylor expansion of x in x
1.869 * [taylor]: Taking taylor expansion of 0 in z
1.869 * [taylor]: Taking taylor expansion of 0 in x
1.870 * [taylor]: Taking taylor expansion of 0 in x
1.873 * [taylor]: Taking taylor expansion of 0 in z
1.873 * [taylor]: Taking taylor expansion of 0 in x
1.873 * [taylor]: Taking taylor expansion of 0 in x
1.873 * [taylor]: Taking taylor expansion of 0 in x
1.873 * * * * [progress]: [ 2 / 2 ] generating series at (2)
1.873 * [approximate]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in (x y z) around 0
1.873 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in z
1.873 * [taylor]: Taking taylor expansion of x in z
1.873 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in z
1.873 * [taylor]: Taking taylor expansion of (* x y) in z
1.873 * [taylor]: Taking taylor expansion of x in z
1.873 * [taylor]: Taking taylor expansion of y in z
1.873 * [taylor]: Taking taylor expansion of (* z y) in z
1.873 * [taylor]: Taking taylor expansion of z in z
1.873 * [taylor]: Taking taylor expansion of y in z
1.873 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in y
1.873 * [taylor]: Taking taylor expansion of x in y
1.874 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
1.874 * [taylor]: Taking taylor expansion of (* x y) in y
1.874 * [taylor]: Taking taylor expansion of x in y
1.874 * [taylor]: Taking taylor expansion of y in y
1.874 * [taylor]: Taking taylor expansion of (* z y) in y
1.874 * [taylor]: Taking taylor expansion of z in y
1.874 * [taylor]: Taking taylor expansion of y in y
1.874 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
1.874 * [taylor]: Taking taylor expansion of (* x y) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [taylor]: Taking taylor expansion of (* z y) in x
1.874 * [taylor]: Taking taylor expansion of z in x
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
1.874 * [taylor]: Taking taylor expansion of (* x y) in x
1.874 * [taylor]: Taking taylor expansion of x in x
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [taylor]: Taking taylor expansion of (* z y) in x
1.874 * [taylor]: Taking taylor expansion of z in x
1.874 * [taylor]: Taking taylor expansion of y in x
1.874 * [taylor]: Taking taylor expansion of (* z y) in y
1.874 * [taylor]: Taking taylor expansion of z in y
1.874 * [taylor]: Taking taylor expansion of y in y
1.874 * [taylor]: Taking taylor expansion of 0 in z
1.874 * [taylor]: Taking taylor expansion of (+ y 1) in y
1.874 * [taylor]: Taking taylor expansion of y in y
1.874 * [taylor]: Taking taylor expansion of 1 in y
1.874 * [taylor]: Taking taylor expansion of 1 in z
1.874 * [taylor]: Taking taylor expansion of z in z
1.874 * [taylor]: Taking taylor expansion of 0 in y
1.874 * [taylor]: Taking taylor expansion of 0 in z
1.875 * [taylor]: Taking taylor expansion of 1 in z
1.875 * [taylor]: Taking taylor expansion of 0 in z
1.875 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in (x y z) around 0
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in z
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.875 * [taylor]: Taking taylor expansion of (* z y) in z
1.875 * [taylor]: Taking taylor expansion of z in z
1.875 * [taylor]: Taking taylor expansion of y in z
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z
1.875 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.875 * [taylor]: Taking taylor expansion of x in z
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.875 * [taylor]: Taking taylor expansion of (* x y) in z
1.875 * [taylor]: Taking taylor expansion of x in z
1.875 * [taylor]: Taking taylor expansion of y in z
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in y
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.875 * [taylor]: Taking taylor expansion of (* z y) in y
1.875 * [taylor]: Taking taylor expansion of z in y
1.875 * [taylor]: Taking taylor expansion of y in y
1.875 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
1.875 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.875 * [taylor]: Taking taylor expansion of x in y
1.875 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.875 * [taylor]: Taking taylor expansion of (* x y) in y
1.875 * [taylor]: Taking taylor expansion of x in y
1.876 * [taylor]: Taking taylor expansion of y in y
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.876 * [taylor]: Taking taylor expansion of (* z y) in x
1.876 * [taylor]: Taking taylor expansion of z in x
1.876 * [taylor]: Taking taylor expansion of y in x
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.876 * [taylor]: Taking taylor expansion of (* x y) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.876 * [taylor]: Taking taylor expansion of y in x
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.876 * [taylor]: Taking taylor expansion of (* z y) in x
1.876 * [taylor]: Taking taylor expansion of z in x
1.876 * [taylor]: Taking taylor expansion of y in x
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.876 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.876 * [taylor]: Taking taylor expansion of (* x y) in x
1.876 * [taylor]: Taking taylor expansion of x in x
1.876 * [taylor]: Taking taylor expansion of y in x
1.876 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
1.876 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.876 * [taylor]: Taking taylor expansion of y in y
1.876 * [taylor]: Taking taylor expansion of 1 in y
1.876 * [taylor]: Taking taylor expansion of 1 in z
1.877 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.877 * [taylor]: Taking taylor expansion of (* z y) in y
1.877 * [taylor]: Taking taylor expansion of z in y
1.877 * [taylor]: Taking taylor expansion of y in y
1.877 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.877 * [taylor]: Taking taylor expansion of z in z
1.877 * [taylor]: Taking taylor expansion of 1 in z
1.877 * [taylor]: Taking taylor expansion of 0 in y
1.877 * [taylor]: Taking taylor expansion of 0 in z
1.877 * [taylor]: Taking taylor expansion of 0 in z
1.878 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in (x y z) around 0
1.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in z
1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
1.878 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
1.878 * [taylor]: Taking taylor expansion of (* z y) in z
1.878 * [taylor]: Taking taylor expansion of z in z
1.878 * [taylor]: Taking taylor expansion of y in z
1.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
1.878 * [taylor]: Taking taylor expansion of (* x y) in z
1.878 * [taylor]: Taking taylor expansion of x in z
1.878 * [taylor]: Taking taylor expansion of y in z
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in z
1.878 * [taylor]: Taking taylor expansion of x in z
1.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in y
1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
1.878 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.878 * [taylor]: Taking taylor expansion of (* z y) in y
1.878 * [taylor]: Taking taylor expansion of z in y
1.878 * [taylor]: Taking taylor expansion of y in y
1.878 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
1.878 * [taylor]: Taking taylor expansion of (* x y) in y
1.878 * [taylor]: Taking taylor expansion of x in y
1.878 * [taylor]: Taking taylor expansion of y in y
1.878 * [taylor]: Taking taylor expansion of (/ 1 x) in y
1.878 * [taylor]: Taking taylor expansion of x in y
1.878 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
1.878 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
1.878 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.878 * [taylor]: Taking taylor expansion of (* z y) in x
1.878 * [taylor]: Taking taylor expansion of z in x
1.878 * [taylor]: Taking taylor expansion of y in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.879 * [taylor]: Taking taylor expansion of (* x y) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of y in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
1.879 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
1.879 * [taylor]: Taking taylor expansion of (* z y) in x
1.879 * [taylor]: Taking taylor expansion of z in x
1.879 * [taylor]: Taking taylor expansion of y in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
1.879 * [taylor]: Taking taylor expansion of (* x y) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of y in x
1.879 * [taylor]: Taking taylor expansion of (/ 1 x) in x
1.879 * [taylor]: Taking taylor expansion of x in x
1.879 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
1.879 * [taylor]: Taking taylor expansion of (/ 1 y) in y
1.879 * [taylor]: Taking taylor expansion of y in y
1.879 * [taylor]: Taking taylor expansion of 1 in y
1.879 * [taylor]: Taking taylor expansion of 1 in z
1.879 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
1.879 * [taylor]: Taking taylor expansion of (* z y) in y
1.879 * [taylor]: Taking taylor expansion of z in y
1.880 * [taylor]: Taking taylor expansion of y in y
1.880 * [taylor]: Taking taylor expansion of (/ 1 z) in z
1.880 * [taylor]: Taking taylor expansion of z in z
1.880 * [taylor]: Taking taylor expansion of (neg 1) in z
1.880 * [taylor]: Taking taylor expansion of 1 in z
1.880 * [taylor]: Taking taylor expansion of 0 in y
1.880 * [taylor]: Taking taylor expansion of 0 in z
1.880 * [taylor]: Taking taylor expansion of 0 in z
1.881 * * * [progress]: simplifying candidates
1.881 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* y (+ z x))
  (+ (log y) (log (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (* (* (* y y) y) (* (* (+ z x) (+ z x)) (+ z x)))
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (* (* (* y (+ z x)) (* y (+ z x))) (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* y x)
  (* z y)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  (* y 1)
  (* y 1)
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (* (exp x) (exp (* y (+ z x))))
  (log (+ x (* y (+ z x))))
  (exp (+ x (* y (+ z x))))
  (* (cbrt (+ x (* y (+ z x)))) (cbrt (+ x (* y (+ z x)))))
  (cbrt (+ x (* y (+ z x))))
  (* (* (+ x (* y (+ z x))) (+ x (* y (+ z x)))) (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (+ (pow x 3) (pow (* y (+ z x)) 3))
  (+ (* x x) (- (* (* y (+ z x)) (* y (+ z x))) (* x (* y (+ z x)))))
  (- (* x x) (* (* y (+ z x)) (* y (+ z x))))
  (- x (* y (+ z x)))
  (+ x (* y z))
  (+ x (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (+ (* z y) x))
  (+ x (+ (* x y) (* z y)))
  (+ x (+ (* x y) (* z y)))
1.883 * * [simplify]: iteration  0 :  68  enodes  (cost  376 )
1.894 * * [simplify]: iteration  1 :  197  enodes  (cost  342 )
1.933 * * [simplify]: iteration  2 :  623  enodes  (cost  318 )
2.095 * * [simplify]: iteration  3 :  2125  enodes  (cost  318 )
2.863 * * [simplify]: iteration  done :  5000  enodes  (cost  318 )
2.863 * [simplify]: Simplified to:
   (* y (+ z x))
  (log (* y (+ z x)))
  (log (* y (+ z x)))
  (exp (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (* (cbrt (* y (+ z x))) (cbrt (* y (+ z x))))
  (cbrt (* y (+ z x)))
  (pow (* y (+ z x)) 3)
  (sqrt (* y (+ z x)))
  (sqrt (* y (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* (sqrt y) (sqrt (+ z x)))
  (* y z)
  (* x y)
  (* y z)
  (* x y)
  (* y (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* y (sqrt (+ z x)))
  y
  y
  (* (cbrt y) (+ z x))
  (* (sqrt y) (+ z x))
  (* y (+ z x))
  (* y (+ (pow z 3) (pow x 3)))
  (* y (- (* z z) (* x x)))
  (exp (+ x (* y (+ z x))))
  (log (+ x (* y (+ z x))))
  (exp (+ x (* y (+ z x))))
  (* (cbrt (+ x (* y (+ z x)))) (cbrt (+ x (* y (+ z x)))))
  (cbrt (+ x (* y (+ z x))))
  (pow (+ x (* y (+ z x))) 3)
  (sqrt (+ x (* y (+ z x))))
  (sqrt (+ x (* y (+ z x))))
  (+ (pow x 3) (pow (* y (+ z x)) 3))
  (+ (* (* y (+ z x)) (- (* y (+ z x)) x)) (* x x))
  (- (* x x) (* (* y (+ z x)) (* y (+ z x))))
  (- x (* y (+ z x)))
  (+ (* z y) x)
  (+ (* z y) x)
  (* y (+ z x))
  (* y (+ z x))
  (* y (+ z x))
  (+ x (* y (+ z x)))
  (+ x (* y (+ z x)))
  (+ x (* y (+ z x)))
2.863 * * * [progress]: adding candidates to table
2.906 * * [progress]: iteration 2 / 4
2.906 * * * [progress]: picking best candidate
2.918 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (+ (* y z) (* x y))))>
2.918 * * * [progress]: localizing error
2.924 * * * [progress]: generating rewritten candidates
2.924 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
2.928 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
2.934 * * * [progress]: generating series expansions
2.934 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
2.934 * [approximate]: Taking taylor expansion of (+ (* x y) (* z y)) in (y z x) around 0
2.934 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
2.935 * [taylor]: Taking taylor expansion of (* x y) in x
2.935 * [taylor]: Taking taylor expansion of x in x
2.935 * [taylor]: Taking taylor expansion of y in x
2.935 * [taylor]: Taking taylor expansion of (* z y) in x
2.935 * [taylor]: Taking taylor expansion of z in x
2.935 * [taylor]: Taking taylor expansion of y in x
2.935 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in z
2.935 * [taylor]: Taking taylor expansion of (* x y) in z
2.935 * [taylor]: Taking taylor expansion of x in z
2.935 * [taylor]: Taking taylor expansion of y in z
2.935 * [taylor]: Taking taylor expansion of (* z y) in z
2.935 * [taylor]: Taking taylor expansion of z in z
2.935 * [taylor]: Taking taylor expansion of y in z
2.935 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
2.935 * [taylor]: Taking taylor expansion of (* x y) in y
2.935 * [taylor]: Taking taylor expansion of x in y
2.935 * [taylor]: Taking taylor expansion of y in y
2.935 * [taylor]: Taking taylor expansion of (* z y) in y
2.935 * [taylor]: Taking taylor expansion of z in y
2.935 * [taylor]: Taking taylor expansion of y in y
2.935 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
2.935 * [taylor]: Taking taylor expansion of (* x y) in y
2.935 * [taylor]: Taking taylor expansion of x in y
2.935 * [taylor]: Taking taylor expansion of y in y
2.935 * [taylor]: Taking taylor expansion of (* z y) in y
2.935 * [taylor]: Taking taylor expansion of z in y
2.935 * [taylor]: Taking taylor expansion of y in y
2.935 * [taylor]: Taking taylor expansion of 0 in z
2.935 * [taylor]: Taking taylor expansion of 0 in x
2.935 * [taylor]: Taking taylor expansion of (+ x z) in z
2.935 * [taylor]: Taking taylor expansion of x in z
2.935 * [taylor]: Taking taylor expansion of z in z
2.935 * [taylor]: Taking taylor expansion of x in x
2.935 * [taylor]: Taking taylor expansion of 0 in x
2.935 * [taylor]: Taking taylor expansion of 0 in z
2.935 * [taylor]: Taking taylor expansion of 0 in x
2.935 * [taylor]: Taking taylor expansion of 1 in x
2.935 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [taylor]: Taking taylor expansion of 0 in z
2.936 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [taylor]: Taking taylor expansion of 0 in x
2.936 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
2.936 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.936 * [taylor]: Taking taylor expansion of (* z y) in x
2.936 * [taylor]: Taking taylor expansion of z in x
2.936 * [taylor]: Taking taylor expansion of y in x
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.936 * [taylor]: Taking taylor expansion of (* x y) in x
2.936 * [taylor]: Taking taylor expansion of x in x
2.936 * [taylor]: Taking taylor expansion of y in x
2.936 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.936 * [taylor]: Taking taylor expansion of (* z y) in z
2.936 * [taylor]: Taking taylor expansion of z in z
2.936 * [taylor]: Taking taylor expansion of y in z
2.936 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.936 * [taylor]: Taking taylor expansion of (* x y) in z
2.936 * [taylor]: Taking taylor expansion of x in z
2.936 * [taylor]: Taking taylor expansion of y in z
2.937 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.937 * [taylor]: Taking taylor expansion of (* z y) in y
2.937 * [taylor]: Taking taylor expansion of z in y
2.937 * [taylor]: Taking taylor expansion of y in y
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.937 * [taylor]: Taking taylor expansion of (* x y) in y
2.937 * [taylor]: Taking taylor expansion of x in y
2.937 * [taylor]: Taking taylor expansion of y in y
2.937 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.937 * [taylor]: Taking taylor expansion of (* z y) in y
2.937 * [taylor]: Taking taylor expansion of z in y
2.937 * [taylor]: Taking taylor expansion of y in y
2.937 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.937 * [taylor]: Taking taylor expansion of (* x y) in y
2.937 * [taylor]: Taking taylor expansion of x in y
2.937 * [taylor]: Taking taylor expansion of y in y
2.937 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
2.937 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.937 * [taylor]: Taking taylor expansion of x in z
2.937 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.937 * [taylor]: Taking taylor expansion of z in z
2.937 * [taylor]: Taking taylor expansion of 1 in x
2.937 * [taylor]: Taking taylor expansion of 0 in z
2.938 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.938 * [taylor]: Taking taylor expansion of x in x
2.938 * [taylor]: Taking taylor expansion of 0 in z
2.938 * [taylor]: Taking taylor expansion of 0 in x
2.938 * [taylor]: Taking taylor expansion of 0 in x
2.938 * [taylor]: Taking taylor expansion of 0 in z
2.938 * [taylor]: Taking taylor expansion of 0 in x
2.938 * [taylor]: Taking taylor expansion of 0 in x
2.939 * [taylor]: Taking taylor expansion of 0 in x
2.939 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in (y z x) around 0
2.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
2.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.939 * [taylor]: Taking taylor expansion of (* z y) in x
2.939 * [taylor]: Taking taylor expansion of z in x
2.939 * [taylor]: Taking taylor expansion of y in x
2.939 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.939 * [taylor]: Taking taylor expansion of (* x y) in x
2.939 * [taylor]: Taking taylor expansion of x in x
2.939 * [taylor]: Taking taylor expansion of y in x
2.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
2.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.939 * [taylor]: Taking taylor expansion of (* z y) in z
2.939 * [taylor]: Taking taylor expansion of z in z
2.939 * [taylor]: Taking taylor expansion of y in z
2.939 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.939 * [taylor]: Taking taylor expansion of (* x y) in z
2.939 * [taylor]: Taking taylor expansion of x in z
2.939 * [taylor]: Taking taylor expansion of y in z
2.939 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
2.939 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.939 * [taylor]: Taking taylor expansion of (* z y) in y
2.939 * [taylor]: Taking taylor expansion of z in y
2.939 * [taylor]: Taking taylor expansion of y in y
2.940 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.940 * [taylor]: Taking taylor expansion of (* x y) in y
2.940 * [taylor]: Taking taylor expansion of x in y
2.940 * [taylor]: Taking taylor expansion of y in y
2.940 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
2.940 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.940 * [taylor]: Taking taylor expansion of (* z y) in y
2.940 * [taylor]: Taking taylor expansion of z in y
2.940 * [taylor]: Taking taylor expansion of y in y
2.940 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.940 * [taylor]: Taking taylor expansion of (* x y) in y
2.940 * [taylor]: Taking taylor expansion of x in y
2.940 * [taylor]: Taking taylor expansion of y in y
2.940 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
2.940 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.940 * [taylor]: Taking taylor expansion of x in z
2.940 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.940 * [taylor]: Taking taylor expansion of z in z
2.940 * [taylor]: Taking taylor expansion of 1 in x
2.940 * [taylor]: Taking taylor expansion of 0 in z
2.940 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.940 * [taylor]: Taking taylor expansion of x in x
2.941 * [taylor]: Taking taylor expansion of 0 in z
2.941 * [taylor]: Taking taylor expansion of 0 in x
2.941 * [taylor]: Taking taylor expansion of 0 in x
2.941 * [taylor]: Taking taylor expansion of 0 in z
2.941 * [taylor]: Taking taylor expansion of 0 in x
2.941 * [taylor]: Taking taylor expansion of 0 in x
2.941 * [taylor]: Taking taylor expansion of 0 in x
2.942 * * * * [progress]: [ 2 / 2 ] generating series at (2)
2.942 * [approximate]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in (x y z) around 0
2.942 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in z
2.942 * [taylor]: Taking taylor expansion of x in z
2.942 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in z
2.942 * [taylor]: Taking taylor expansion of (* x y) in z
2.942 * [taylor]: Taking taylor expansion of x in z
2.942 * [taylor]: Taking taylor expansion of y in z
2.942 * [taylor]: Taking taylor expansion of (* z y) in z
2.942 * [taylor]: Taking taylor expansion of z in z
2.942 * [taylor]: Taking taylor expansion of y in z
2.942 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in y
2.942 * [taylor]: Taking taylor expansion of x in y
2.942 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in y
2.942 * [taylor]: Taking taylor expansion of (* x y) in y
2.942 * [taylor]: Taking taylor expansion of x in y
2.942 * [taylor]: Taking taylor expansion of y in y
2.942 * [taylor]: Taking taylor expansion of (* z y) in y
2.942 * [taylor]: Taking taylor expansion of z in y
2.942 * [taylor]: Taking taylor expansion of y in y
2.942 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in x
2.942 * [taylor]: Taking taylor expansion of x in x
2.942 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
2.942 * [taylor]: Taking taylor expansion of (* x y) in x
2.942 * [taylor]: Taking taylor expansion of x in x
2.942 * [taylor]: Taking taylor expansion of y in x
2.942 * [taylor]: Taking taylor expansion of (* z y) in x
2.942 * [taylor]: Taking taylor expansion of z in x
2.942 * [taylor]: Taking taylor expansion of y in x
2.942 * [taylor]: Taking taylor expansion of (+ x (+ (* x y) (* z y))) in x
2.942 * [taylor]: Taking taylor expansion of x in x
2.942 * [taylor]: Taking taylor expansion of (+ (* x y) (* z y)) in x
2.942 * [taylor]: Taking taylor expansion of (* x y) in x
2.942 * [taylor]: Taking taylor expansion of x in x
2.942 * [taylor]: Taking taylor expansion of y in x
2.942 * [taylor]: Taking taylor expansion of (* z y) in x
2.942 * [taylor]: Taking taylor expansion of z in x
2.942 * [taylor]: Taking taylor expansion of y in x
2.943 * [taylor]: Taking taylor expansion of (* z y) in y
2.943 * [taylor]: Taking taylor expansion of z in y
2.943 * [taylor]: Taking taylor expansion of y in y
2.943 * [taylor]: Taking taylor expansion of 0 in z
2.943 * [taylor]: Taking taylor expansion of (+ y 1) in y
2.943 * [taylor]: Taking taylor expansion of y in y
2.943 * [taylor]: Taking taylor expansion of 1 in y
2.943 * [taylor]: Taking taylor expansion of 1 in z
2.943 * [taylor]: Taking taylor expansion of z in z
2.943 * [taylor]: Taking taylor expansion of 0 in y
2.943 * [taylor]: Taking taylor expansion of 0 in z
2.943 * [taylor]: Taking taylor expansion of 1 in z
2.943 * [taylor]: Taking taylor expansion of 0 in z
2.943 * [approximate]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in (x y z) around 0
2.943 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in z
2.943 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.943 * [taylor]: Taking taylor expansion of (* z y) in z
2.943 * [taylor]: Taking taylor expansion of z in z
2.944 * [taylor]: Taking taylor expansion of y in z
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in z
2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.944 * [taylor]: Taking taylor expansion of x in z
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.944 * [taylor]: Taking taylor expansion of (* x y) in z
2.944 * [taylor]: Taking taylor expansion of x in z
2.944 * [taylor]: Taking taylor expansion of y in z
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in y
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.944 * [taylor]: Taking taylor expansion of (* z y) in y
2.944 * [taylor]: Taking taylor expansion of z in y
2.944 * [taylor]: Taking taylor expansion of y in y
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y
2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.944 * [taylor]: Taking taylor expansion of x in y
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.944 * [taylor]: Taking taylor expansion of (* x y) in y
2.944 * [taylor]: Taking taylor expansion of x in y
2.944 * [taylor]: Taking taylor expansion of y in y
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.944 * [taylor]: Taking taylor expansion of (* z y) in x
2.944 * [taylor]: Taking taylor expansion of z in x
2.944 * [taylor]: Taking taylor expansion of y in x
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.944 * [taylor]: Taking taylor expansion of x in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.944 * [taylor]: Taking taylor expansion of (* x y) in x
2.944 * [taylor]: Taking taylor expansion of x in x
2.944 * [taylor]: Taking taylor expansion of y in x
2.944 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (+ (/ 1 x) (/ 1 (* x y)))) in x
2.944 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.944 * [taylor]: Taking taylor expansion of (* z y) in x
2.944 * [taylor]: Taking taylor expansion of z in x
2.944 * [taylor]: Taking taylor expansion of y in x
2.945 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x
2.945 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.945 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.945 * [taylor]: Taking taylor expansion of (* x y) in x
2.945 * [taylor]: Taking taylor expansion of x in x
2.945 * [taylor]: Taking taylor expansion of y in x
2.945 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y
2.945 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.945 * [taylor]: Taking taylor expansion of y in y
2.945 * [taylor]: Taking taylor expansion of 1 in y
2.945 * [taylor]: Taking taylor expansion of 1 in z
2.945 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.945 * [taylor]: Taking taylor expansion of (* z y) in y
2.945 * [taylor]: Taking taylor expansion of z in y
2.945 * [taylor]: Taking taylor expansion of y in y
2.945 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.945 * [taylor]: Taking taylor expansion of z in z
2.945 * [taylor]: Taking taylor expansion of 1 in z
2.946 * [taylor]: Taking taylor expansion of 0 in y
2.946 * [taylor]: Taking taylor expansion of 0 in z
2.946 * [taylor]: Taking taylor expansion of 0 in z
2.946 * [approximate]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in (x y z) around 0
2.946 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in z
2.946 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in z
2.946 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in z
2.946 * [taylor]: Taking taylor expansion of (* z y) in z
2.946 * [taylor]: Taking taylor expansion of z in z
2.946 * [taylor]: Taking taylor expansion of y in z
2.946 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in z
2.946 * [taylor]: Taking taylor expansion of (* x y) in z
2.946 * [taylor]: Taking taylor expansion of x in z
2.946 * [taylor]: Taking taylor expansion of y in z
2.947 * [taylor]: Taking taylor expansion of (/ 1 x) in z
2.947 * [taylor]: Taking taylor expansion of x in z
2.947 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in y
2.947 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in y
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.947 * [taylor]: Taking taylor expansion of (* z y) in y
2.947 * [taylor]: Taking taylor expansion of z in y
2.947 * [taylor]: Taking taylor expansion of y in y
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y
2.947 * [taylor]: Taking taylor expansion of (* x y) in y
2.947 * [taylor]: Taking taylor expansion of x in y
2.947 * [taylor]: Taking taylor expansion of y in y
2.947 * [taylor]: Taking taylor expansion of (/ 1 x) in y
2.947 * [taylor]: Taking taylor expansion of x in y
2.947 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
2.947 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.947 * [taylor]: Taking taylor expansion of (* z y) in x
2.947 * [taylor]: Taking taylor expansion of z in x
2.947 * [taylor]: Taking taylor expansion of y in x
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.947 * [taylor]: Taking taylor expansion of (* x y) in x
2.947 * [taylor]: Taking taylor expansion of x in x
2.947 * [taylor]: Taking taylor expansion of y in x
2.947 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.947 * [taylor]: Taking taylor expansion of x in x
2.947 * [taylor]: Taking taylor expansion of (- (+ (/ 1 (* z y)) (/ 1 (* x y))) (/ 1 x)) in x
2.947 * [taylor]: Taking taylor expansion of (+ (/ 1 (* z y)) (/ 1 (* x y))) in x
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in x
2.947 * [taylor]: Taking taylor expansion of (* z y) in x
2.947 * [taylor]: Taking taylor expansion of z in x
2.947 * [taylor]: Taking taylor expansion of y in x
2.947 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x
2.947 * [taylor]: Taking taylor expansion of (* x y) in x
2.947 * [taylor]: Taking taylor expansion of x in x
2.947 * [taylor]: Taking taylor expansion of y in x
2.948 * [taylor]: Taking taylor expansion of (/ 1 x) in x
2.948 * [taylor]: Taking taylor expansion of x in x
2.948 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y
2.948 * [taylor]: Taking taylor expansion of (/ 1 y) in y
2.948 * [taylor]: Taking taylor expansion of y in y
2.948 * [taylor]: Taking taylor expansion of 1 in y
2.948 * [taylor]: Taking taylor expansion of 1 in z
2.948 * [taylor]: Taking taylor expansion of (/ 1 (* z y)) in y
2.948 * [taylor]: Taking taylor expansion of (* z y) in y
2.948 * [taylor]: Taking taylor expansion of z in y
2.948 * [taylor]: Taking taylor expansion of y in y
2.948 * [taylor]: Taking taylor expansion of (/ 1 z) in z
2.948 * [taylor]: Taking taylor expansion of z in z
2.948 * [taylor]: Taking taylor expansion of (neg 1) in z
2.948 * [taylor]: Taking taylor expansion of 1 in z
2.949 * [taylor]: Taking taylor expansion of 0 in y
2.949 * [taylor]: Taking taylor expansion of 0 in z
2.949 * [taylor]: Taking taylor expansion of 0 in z
2.949 * * * [progress]: simplifying candidates
2.949 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* (exp (* y z)) (exp (* x y)))
  (log (+ (* y z) (* x y)))
  (exp (+ (* y z) (* x y)))
  (* (cbrt (+ (* y z) (* x y))) (cbrt (+ (* y z) (* x y))))
  (cbrt (+ (* y z) (* x y)))
  (* (* (+ (* y z) (* x y)) (+ (* y z) (* x y))) (+ (* y z) (* x y)))
  (sqrt (+ (* y z) (* x y)))
  (sqrt (+ (* y z) (* x y)))
  (+ (pow (* y z) 3) (pow (* x y) 3))
  (+ (* (* y z) (* y z)) (- (* (* x y) (* x y)) (* (* y z) (* x y))))
  (- (* (* y z) (* y z)) (* (* x y) (* x y)))
  (- (* y z) (* x y))
  (* (exp x) (* (exp (* y z)) (exp (* x y))))
  (* (exp x) (exp (+ (* y z) (* x y))))
  (log (+ x (+ (* y z) (* x y))))
  (exp (+ x (+ (* y z) (* x y))))
  (* (cbrt (+ x (+ (* y z) (* x y)))) (cbrt (+ x (+ (* y z) (* x y)))))
  (cbrt (+ x (+ (* y z) (* x y))))
  (* (* (+ x (+ (* y z) (* x y))) (+ x (+ (* y z) (* x y)))) (+ x (+ (* y z) (* x y))))
  (sqrt (+ x (+ (* y z) (* x y))))
  (sqrt (+ x (+ (* y z) (* x y))))
  (+ (pow x 3) (pow (+ (* y z) (* x y)) 3))
  (+ (* x x) (- (* (+ (* y z) (* x y)) (+ (* y z) (* x y))) (* x (+ (* y z) (* x y)))))
  (- (* x x) (* (+ (* y z) (* x y)) (+ (* y z) (* x y))))
  (- x (+ (* y z) (* x y)))
  (+ x (+ (* y z) (* x y)))
  (+ x (* y z))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (* z y))
  (+ (* x y) (+ (* z y) x))
  (+ x (+ (* x y) (* z y)))
  (+ x (+ (* x y) (* z y)))
2.951 * * [simplify]: iteration  0 :  53  enodes  (cost  400 )
2.963 * * [simplify]: iteration  1 :  174  enodes  (cost  300 )
2.997 * * [simplify]: iteration  2 :  581  enodes  (cost  280 )
3.156 * * [simplify]: iteration  3 :  2197  enodes  (cost  278 )
3.730 * * [simplify]: iteration  done :  5000  enodes  (cost  278 )
3.730 * [simplify]: Simplified to:
   (exp (* y (+ x z)))
  (log (* y (+ x z)))
  (exp (* y (+ x z)))
  (* (cbrt (* y (+ x z))) (cbrt (* y (+ x z))))
  (cbrt (* y (+ x z)))
  (pow (* y (+ x z)) 3)
  (sqrt (* y (+ x z)))
  (sqrt (* y (+ x z)))
  (+ (pow (* y z) 3) (pow (* x y) 3))
  (* y (+ (* x (* y (- x z))) (* y (* z z))))
  (* y (* (+ x z) (* y (- z x))))
  (* y (- z x))
  (exp (+ x (* y (+ x z))))
  (exp (+ x (* y (+ x z))))
  (log (+ x (* y (+ x z))))
  (exp (+ x (* y (+ x z))))
  (* (cbrt (+ x (* y (+ x z)))) (cbrt (+ x (* y (+ x z)))))
  (cbrt (+ x (* y (+ x z))))
  (pow (+ x (* y (+ x z))) 3)
  (sqrt (+ x (* y (+ x z))))
  (sqrt (+ x (* y (+ x z))))
  (+ (pow (* y (+ x z)) 3) (pow x 3))
  (+ (* (* y (+ x z)) (- (* y (+ x z)) x)) (* x x))
  (- (* x x) (* (* y (+ x z)) (* y (+ x z))))
  (- x (* y (+ x z)))
  (+ x (* y (+ x z)))
  (+ x (* y z))
  (* y (+ x z))
  (* y (+ x z))
  (* y (+ x z))
  (+ x (* y (+ x z)))
  (+ x (* y (+ x z)))
  (+ x (* y (+ x z)))
3.730 * * * [progress]: adding candidates to table
3.759 * * [progress]: iteration 3 / 4
3.759 * * * [progress]: picking best candidate
3.768 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))>
3.768 * * * [progress]: localizing error
3.777 * * * [progress]: generating rewritten candidates
3.777 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2 1)
3.778 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
3.780 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
3.781 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
3.789 * * * [progress]: generating series expansions
3.789 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2 1)
3.789 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
3.789 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.789 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.789 * [taylor]: Taking taylor expansion of 1/3 in y
3.789 * [taylor]: Taking taylor expansion of (log y) in y
3.789 * [taylor]: Taking taylor expansion of y in y
3.790 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.790 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.790 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.790 * [taylor]: Taking taylor expansion of 1/3 in y
3.790 * [taylor]: Taking taylor expansion of (log y) in y
3.790 * [taylor]: Taking taylor expansion of y in y
3.797 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
3.797 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.797 * [taylor]: Taking taylor expansion of 1/3 in y
3.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.797 * [taylor]: Taking taylor expansion of y in y
3.797 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.797 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.797 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.797 * [taylor]: Taking taylor expansion of 1/3 in y
3.797 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.797 * [taylor]: Taking taylor expansion of y in y
3.804 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
3.804 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.804 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.804 * [taylor]: Taking taylor expansion of 1/3 in y
3.804 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.804 * [taylor]: Taking taylor expansion of y in y
3.804 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.804 * [taylor]: Taking taylor expansion of -1 in y
3.804 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.804 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.805 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.805 * [taylor]: Taking taylor expansion of 1/3 in y
3.805 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.805 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.805 * [taylor]: Taking taylor expansion of y in y
3.805 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.805 * [taylor]: Taking taylor expansion of -1 in y
3.816 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
3.816 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
3.816 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.816 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.816 * [taylor]: Taking taylor expansion of 1/3 in y
3.816 * [taylor]: Taking taylor expansion of (log y) in y
3.816 * [taylor]: Taking taylor expansion of y in y
3.816 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.816 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.816 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.816 * [taylor]: Taking taylor expansion of 1/3 in y
3.817 * [taylor]: Taking taylor expansion of (log y) in y
3.817 * [taylor]: Taking taylor expansion of y in y
3.823 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
3.823 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.823 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.823 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.823 * [taylor]: Taking taylor expansion of 1/3 in y
3.823 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.823 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.823 * [taylor]: Taking taylor expansion of y in y
3.824 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.824 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.824 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.824 * [taylor]: Taking taylor expansion of 1/3 in y
3.824 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.824 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.824 * [taylor]: Taking taylor expansion of y in y
3.831 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
3.831 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.831 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.831 * [taylor]: Taking taylor expansion of 1/3 in y
3.831 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.831 * [taylor]: Taking taylor expansion of y in y
3.831 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.831 * [taylor]: Taking taylor expansion of -1 in y
3.831 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.831 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.831 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.831 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.831 * [taylor]: Taking taylor expansion of 1/3 in y
3.831 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.831 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.831 * [taylor]: Taking taylor expansion of y in y
3.831 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.831 * [taylor]: Taking taylor expansion of -1 in y
3.840 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
3.840 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0
3.840 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.840 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.840 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.840 * [taylor]: Taking taylor expansion of 1/3 in y
3.840 * [taylor]: Taking taylor expansion of (log y) in y
3.840 * [taylor]: Taking taylor expansion of y in y
3.841 * [taylor]: Taking taylor expansion of (pow y 1/3) in y
3.841 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y
3.841 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y
3.841 * [taylor]: Taking taylor expansion of 1/3 in y
3.841 * [taylor]: Taking taylor expansion of (log y) in y
3.841 * [taylor]: Taking taylor expansion of y in y
3.847 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0
3.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.847 * [taylor]: Taking taylor expansion of 1/3 in y
3.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.847 * [taylor]: Taking taylor expansion of y in y
3.847 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.847 * [taylor]: Taking taylor expansion of 1/3 in y
3.847 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.847 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.847 * [taylor]: Taking taylor expansion of y in y
3.854 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0
3.854 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.854 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.854 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.854 * [taylor]: Taking taylor expansion of 1/3 in y
3.855 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.855 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.855 * [taylor]: Taking taylor expansion of -1 in y
3.855 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y
3.855 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y
3.855 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y
3.855 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y
3.855 * [taylor]: Taking taylor expansion of 1/3 in y
3.855 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y
3.855 * [taylor]: Taking taylor expansion of (/ 1 y) in y
3.855 * [taylor]: Taking taylor expansion of y in y
3.855 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.855 * [taylor]: Taking taylor expansion of -1 in y
3.864 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
3.864 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0
3.864 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
3.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
3.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
3.864 * [taylor]: Taking taylor expansion of 1/3 in y
3.864 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
3.864 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.864 * [taylor]: Taking taylor expansion of y in y
3.864 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y
3.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y
3.864 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y
3.864 * [taylor]: Taking taylor expansion of 1/3 in y
3.864 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y
3.864 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.864 * [taylor]: Taking taylor expansion of y in y
3.871 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0
3.871 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
3.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
3.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
3.871 * [taylor]: Taking taylor expansion of 1/3 in y
3.871 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
3.871 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.871 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.871 * [taylor]: Taking taylor expansion of y in y
3.872 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
3.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
3.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
3.872 * [taylor]: Taking taylor expansion of 1/3 in y
3.872 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
3.872 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.872 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.872 * [taylor]: Taking taylor expansion of y in y
3.879 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0
3.879 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
3.879 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
3.879 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.879 * [taylor]: Taking taylor expansion of -1 in y
3.879 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
3.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
3.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
3.880 * [taylor]: Taking taylor expansion of 1/3 in y
3.880 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
3.880 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.880 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.880 * [taylor]: Taking taylor expansion of y in y
3.880 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y
3.880 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
3.880 * [taylor]: Taking taylor expansion of (cbrt -1) in y
3.880 * [taylor]: Taking taylor expansion of -1 in y
3.880 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y
3.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y
3.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y
3.880 * [taylor]: Taking taylor expansion of 1/3 in y
3.880 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y
3.880 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y
3.880 * [taylor]: Taking taylor expansion of (pow y 2) in y
3.880 * [taylor]: Taking taylor expansion of y in y
3.891 * * * [progress]: simplifying candidates
3.892 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (* (cbrt y) (cbrt y)))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  (cbrt 1)
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  (* (* (cbrt y) (cbrt y)) (cbrt y))
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (+ 1/3 1/3)
  (+ 1 1)
  (* y y)
  (* (cbrt y) (cbrt y))
  (+ 1 1)
  (+ (log (cbrt y)) (log (cbrt y)))
  (log (* (cbrt y) (cbrt y)))
  (exp (* (cbrt y) (cbrt y)))
  (* y y)
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (cbrt (* (cbrt y) (cbrt y)))
  (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (sqrt (* (cbrt y) (cbrt y)))
  (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt y) (cbrt y))
  (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 1 1)
  (* (cbrt y) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (cbrt (sqrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* (sqrt (cbrt y)) (sqrt (cbrt y)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt y) (cbrt (* (cbrt y) (cbrt y))))
  (* (cbrt y) (cbrt (sqrt y)))
  (* (cbrt y) (cbrt 1))
  (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))))
  (* (cbrt y) (sqrt (cbrt y)))
  (* (cbrt y) 1)
  (* (cbrt (cbrt y)) (cbrt y))
  (* (cbrt (sqrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (* (cbrt (cbrt y)) (cbrt y))
  (* (sqrt (cbrt y)) (cbrt y))
  (* (cbrt y) (cbrt y))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (log y) (log 1))))
  (exp (* 1/3 (- (log 1) (log (/ 1 y)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1))
  (exp (* 1/3 (+ (* 2 (log y)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y)))))))
3.895 * * [simplify]: iteration  0 :  76  enodes  (cost  590 )
3.908 * * [simplify]: iteration  1 :  151  enodes  (cost  525 )
3.930 * * [simplify]: iteration  2 :  383  enodes  (cost  462 )
3.997 * * [simplify]: iteration  3 :  1207  enodes  (cost  382 )
4.229 * * [simplify]: iteration  4 :  3610  enodes  (cost  374 )
4.722 * * [simplify]: iteration  done :  5001  enodes  (cost  374 )
4.722 * [simplify]: Simplified to:
   (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  (log (cbrt y))
  (exp (cbrt y))
  (cbrt (pow y 2/3))
  (cbrt (cbrt y))
  (cbrt (sqrt y))
  (cbrt (sqrt y))
  1
  (cbrt y)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt (cbrt y))
  y
  (sqrt (cbrt y))
  (sqrt (cbrt y))
  2/3
  2
  (pow y 2)
  (pow y 2/3)
  2
  (* (log y) 2/3)
  (* (log y) 2/3)
  (exp (pow y 2/3))
  (pow y 2)
  (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3)))
  (cbrt (pow y 2/3))
  (pow y 2)
  (fabs (cbrt y))
  (fabs (cbrt y))
  (* (cbrt (pow y 2/3)) (cbrt (pow y 2/3)))
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  1
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt (cbrt y)) (cbrt (cbrt y)))
  (cbrt y)
  (cbrt y)
  1
  (pow y 2/3)
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (cbrt (sqrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (* (cbrt (sqrt y)) (sqrt (cbrt y)))
  (cbrt y)
  (cbrt y)
  2/3
  2
  (* (cbrt y) (cbrt (pow y 2/3)))
  (* (cbrt y) (cbrt (sqrt y)))
  (cbrt y)
  (pow (cbrt (cbrt y)) 5)
  (pow (sqrt (cbrt y)) 3)
  (cbrt y)
  (pow (cbrt (cbrt y)) 4)
  (* (cbrt y) (cbrt (sqrt y)))
  (pow y 2/3)
  (pow (cbrt (cbrt y)) 4)
  (pow (sqrt (cbrt y)) 3)
  (pow y 2/3)
  (cbrt y)
  (cbrt y)
  (* (cbrt (/ 1 (/ -1 y))) (cbrt -1))
  (cbrt y)
  (cbrt y)
  (* (cbrt (/ 1 (/ -1 y))) (cbrt -1))
  (cbrt y)
  (cbrt y)
  (* (cbrt (/ 1 (/ -1 y))) (cbrt -1))
  (pow y 2/3)
  (pow y 2/3)
  (* (pow (/ -1 y) -2/3) (pow (cbrt -1) 2))
4.723 * * * [progress]: adding candidates to table
4.804 * * [progress]: iteration 4 / 4
4.804 * * * [progress]: picking best candidate
4.810 * * * * [pick]: Picked  #<alt (λ (x y z) (+ x (* (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (+ z x)))))>
4.810 * * * [progress]: localizing error
4.819 * * * [progress]: generating rewritten candidates
4.819 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
4.822 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
4.826 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
4.829 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
4.843 * * * [progress]: generating series expansions
4.843 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
4.844 * [approximate]: Taking taylor expansion of (pow (+ x z) 1/3) in (z x) around 0
4.844 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in x
4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in x
4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in x
4.844 * [taylor]: Taking taylor expansion of 1/3 in x
4.844 * [taylor]: Taking taylor expansion of (log (+ x z)) in x
4.844 * [taylor]: Taking taylor expansion of (+ x z) in x
4.844 * [taylor]: Taking taylor expansion of x in x
4.844 * [taylor]: Taking taylor expansion of z in x
4.844 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.844 * [taylor]: Taking taylor expansion of 1/3 in z
4.844 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.844 * [taylor]: Taking taylor expansion of (+ x z) in z
4.844 * [taylor]: Taking taylor expansion of x in z
4.844 * [taylor]: Taking taylor expansion of z in z
4.844 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.844 * [taylor]: Taking taylor expansion of 1/3 in z
4.844 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.844 * [taylor]: Taking taylor expansion of (+ x z) in z
4.844 * [taylor]: Taking taylor expansion of x in z
4.844 * [taylor]: Taking taylor expansion of z in z
4.844 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.844 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.844 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.844 * [taylor]: Taking taylor expansion of 1/3 in x
4.844 * [taylor]: Taking taylor expansion of (log x) in x
4.844 * [taylor]: Taking taylor expansion of x in x
4.845 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) in x
4.845 * [taylor]: Taking taylor expansion of 1/3 in x
4.845 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.845 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.845 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.845 * [taylor]: Taking taylor expansion of 1/3 in x
4.845 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.845 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.845 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.845 * [taylor]: Taking taylor expansion of x in x
4.846 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 5)) 1/3)) in x
4.846 * [taylor]: Taking taylor expansion of -1/9 in x
4.846 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 5)) 1/3) in x
4.846 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 5))))) in x
4.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 5)))) in x
4.847 * [taylor]: Taking taylor expansion of 1/3 in x
4.847 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 5))) in x
4.847 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
4.847 * [taylor]: Taking taylor expansion of (pow x 5) in x
4.847 * [taylor]: Taking taylor expansion of x in x
4.847 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in (z x) around 0
4.847 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.847 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.847 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.847 * [taylor]: Taking taylor expansion of 1/3 in x
4.847 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.847 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.847 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.847 * [taylor]: Taking taylor expansion of x in x
4.848 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.848 * [taylor]: Taking taylor expansion of z in x
4.848 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.848 * [taylor]: Taking taylor expansion of 1/3 in z
4.848 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.848 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.848 * [taylor]: Taking taylor expansion of x in z
4.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.848 * [taylor]: Taking taylor expansion of z in z
4.848 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.848 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.848 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.848 * [taylor]: Taking taylor expansion of 1/3 in z
4.848 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.848 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.848 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.848 * [taylor]: Taking taylor expansion of x in z
4.848 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.848 * [taylor]: Taking taylor expansion of z in z
4.849 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.849 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.849 * [taylor]: Taking taylor expansion of 1/3 in x
4.849 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.849 * [taylor]: Taking taylor expansion of (log 1) in x
4.849 * [taylor]: Taking taylor expansion of 1 in x
4.849 * [taylor]: Taking taylor expansion of (log z) in x
4.849 * [taylor]: Taking taylor expansion of z in x
4.850 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log 1) (log z)))) x)) in x
4.850 * [taylor]: Taking taylor expansion of 1/3 in x
4.850 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) x) in x
4.850 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.850 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.850 * [taylor]: Taking taylor expansion of 1/3 in x
4.850 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.850 * [taylor]: Taking taylor expansion of (log 1) in x
4.850 * [taylor]: Taking taylor expansion of 1 in x
4.850 * [taylor]: Taking taylor expansion of (log z) in x
4.850 * [taylor]: Taking taylor expansion of z in x
4.850 * [taylor]: Taking taylor expansion of x in x
4.852 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2))) in x
4.852 * [taylor]: Taking taylor expansion of -1/9 in x
4.852 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2)) in x
4.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.852 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.852 * [taylor]: Taking taylor expansion of 1/3 in x
4.852 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.852 * [taylor]: Taking taylor expansion of (log 1) in x
4.852 * [taylor]: Taking taylor expansion of 1 in x
4.852 * [taylor]: Taking taylor expansion of (log z) in x
4.852 * [taylor]: Taking taylor expansion of z in x
4.852 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.852 * [taylor]: Taking taylor expansion of x in x
4.856 * [taylor]: Taking taylor expansion of (* 5/81 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3))) in x
4.856 * [taylor]: Taking taylor expansion of 5/81 in x
4.856 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3)) in x
4.856 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.856 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.856 * [taylor]: Taking taylor expansion of 1/3 in x
4.856 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.856 * [taylor]: Taking taylor expansion of (log 1) in x
4.856 * [taylor]: Taking taylor expansion of 1 in x
4.856 * [taylor]: Taking taylor expansion of (log z) in x
4.856 * [taylor]: Taking taylor expansion of z in x
4.857 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.857 * [taylor]: Taking taylor expansion of x in x
4.859 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in (z x) around 0
4.859 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in x
4.859 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.859 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.859 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.859 * [taylor]: Taking taylor expansion of 1/3 in x
4.859 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.859 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.859 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.860 * [taylor]: Taking taylor expansion of x in x
4.860 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.860 * [taylor]: Taking taylor expansion of z in x
4.860 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.860 * [taylor]: Taking taylor expansion of -1 in x
4.860 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.860 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.860 * [taylor]: Taking taylor expansion of 1/3 in z
4.860 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.860 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.860 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.860 * [taylor]: Taking taylor expansion of x in z
4.860 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.860 * [taylor]: Taking taylor expansion of z in z
4.860 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.860 * [taylor]: Taking taylor expansion of -1 in z
4.860 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.860 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.861 * [taylor]: Taking taylor expansion of 1/3 in z
4.861 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.861 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.861 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.861 * [taylor]: Taking taylor expansion of x in z
4.861 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.861 * [taylor]: Taking taylor expansion of z in z
4.861 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.861 * [taylor]: Taking taylor expansion of -1 in z
4.861 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.861 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.861 * [taylor]: Taking taylor expansion of 1/3 in x
4.861 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.861 * [taylor]: Taking taylor expansion of (log 1) in x
4.861 * [taylor]: Taking taylor expansion of 1 in x
4.861 * [taylor]: Taking taylor expansion of (log z) in x
4.861 * [taylor]: Taking taylor expansion of z in x
4.861 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.861 * [taylor]: Taking taylor expansion of -1 in x
4.862 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x)) in x
4.862 * [taylor]: Taking taylor expansion of 1/3 in x
4.863 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x) in x
4.863 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.863 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.863 * [taylor]: Taking taylor expansion of 1/3 in x
4.863 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.863 * [taylor]: Taking taylor expansion of (log 1) in x
4.863 * [taylor]: Taking taylor expansion of 1 in x
4.863 * [taylor]: Taking taylor expansion of (log z) in x
4.863 * [taylor]: Taking taylor expansion of z in x
4.863 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.863 * [taylor]: Taking taylor expansion of -1 in x
4.863 * [taylor]: Taking taylor expansion of x in x
4.866 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)))) in x
4.866 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2))) in x
4.866 * [taylor]: Taking taylor expansion of 1/9 in x
4.866 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)) in x
4.866 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.866 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.866 * [taylor]: Taking taylor expansion of 1/3 in x
4.866 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.866 * [taylor]: Taking taylor expansion of (log 1) in x
4.866 * [taylor]: Taking taylor expansion of 1 in x
4.866 * [taylor]: Taking taylor expansion of (log z) in x
4.866 * [taylor]: Taking taylor expansion of z in x
4.866 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.866 * [taylor]: Taking taylor expansion of -1 in x
4.866 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.866 * [taylor]: Taking taylor expansion of x in x
4.873 * [taylor]: Taking taylor expansion of (* 5/81 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3))) in x
4.873 * [taylor]: Taking taylor expansion of 5/81 in x
4.873 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3)) in x
4.873 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.873 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.873 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.873 * [taylor]: Taking taylor expansion of 1/3 in x
4.873 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.873 * [taylor]: Taking taylor expansion of (log 1) in x
4.873 * [taylor]: Taking taylor expansion of 1 in x
4.873 * [taylor]: Taking taylor expansion of (log z) in x
4.873 * [taylor]: Taking taylor expansion of z in x
4.873 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.873 * [taylor]: Taking taylor expansion of -1 in x
4.873 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.873 * [taylor]: Taking taylor expansion of x in x
4.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
4.877 * [approximate]: Taking taylor expansion of (pow (+ x z) 1/3) in (z x) around 0
4.877 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in x
4.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in x
4.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in x
4.877 * [taylor]: Taking taylor expansion of 1/3 in x
4.877 * [taylor]: Taking taylor expansion of (log (+ x z)) in x
4.877 * [taylor]: Taking taylor expansion of (+ x z) in x
4.877 * [taylor]: Taking taylor expansion of x in x
4.877 * [taylor]: Taking taylor expansion of z in x
4.877 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.877 * [taylor]: Taking taylor expansion of 1/3 in z
4.877 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.877 * [taylor]: Taking taylor expansion of (+ x z) in z
4.877 * [taylor]: Taking taylor expansion of x in z
4.877 * [taylor]: Taking taylor expansion of z in z
4.877 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.877 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.877 * [taylor]: Taking taylor expansion of 1/3 in z
4.877 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.877 * [taylor]: Taking taylor expansion of (+ x z) in z
4.877 * [taylor]: Taking taylor expansion of x in z
4.877 * [taylor]: Taking taylor expansion of z in z
4.878 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.878 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.878 * [taylor]: Taking taylor expansion of 1/3 in x
4.878 * [taylor]: Taking taylor expansion of (log x) in x
4.878 * [taylor]: Taking taylor expansion of x in x
4.878 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) in x
4.878 * [taylor]: Taking taylor expansion of 1/3 in x
4.878 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.878 * [taylor]: Taking taylor expansion of 1/3 in x
4.878 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.878 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.878 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.878 * [taylor]: Taking taylor expansion of x in x
4.880 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 5)) 1/3)) in x
4.880 * [taylor]: Taking taylor expansion of -1/9 in x
4.880 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 5)) 1/3) in x
4.880 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 5))))) in x
4.880 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 5)))) in x
4.880 * [taylor]: Taking taylor expansion of 1/3 in x
4.880 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 5))) in x
4.880 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
4.880 * [taylor]: Taking taylor expansion of (pow x 5) in x
4.880 * [taylor]: Taking taylor expansion of x in x
4.881 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in (z x) around 0
4.881 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.881 * [taylor]: Taking taylor expansion of 1/3 in x
4.881 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.881 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.881 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.881 * [taylor]: Taking taylor expansion of x in x
4.881 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.881 * [taylor]: Taking taylor expansion of z in x
4.881 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.881 * [taylor]: Taking taylor expansion of 1/3 in z
4.881 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.881 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.881 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.881 * [taylor]: Taking taylor expansion of x in z
4.881 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.881 * [taylor]: Taking taylor expansion of z in z
4.881 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.881 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.881 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.882 * [taylor]: Taking taylor expansion of 1/3 in z
4.882 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.882 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.882 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.882 * [taylor]: Taking taylor expansion of x in z
4.882 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.882 * [taylor]: Taking taylor expansion of z in z
4.882 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.882 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.882 * [taylor]: Taking taylor expansion of 1/3 in x
4.882 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.882 * [taylor]: Taking taylor expansion of (log 1) in x
4.882 * [taylor]: Taking taylor expansion of 1 in x
4.882 * [taylor]: Taking taylor expansion of (log z) in x
4.882 * [taylor]: Taking taylor expansion of z in x
4.883 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log 1) (log z)))) x)) in x
4.883 * [taylor]: Taking taylor expansion of 1/3 in x
4.883 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) x) in x
4.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.883 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.883 * [taylor]: Taking taylor expansion of 1/3 in x
4.883 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.883 * [taylor]: Taking taylor expansion of (log 1) in x
4.883 * [taylor]: Taking taylor expansion of 1 in x
4.883 * [taylor]: Taking taylor expansion of (log z) in x
4.883 * [taylor]: Taking taylor expansion of z in x
4.883 * [taylor]: Taking taylor expansion of x in x
4.885 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2))) in x
4.885 * [taylor]: Taking taylor expansion of -1/9 in x
4.885 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2)) in x
4.885 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.885 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.885 * [taylor]: Taking taylor expansion of 1/3 in x
4.885 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.885 * [taylor]: Taking taylor expansion of (log 1) in x
4.885 * [taylor]: Taking taylor expansion of 1 in x
4.885 * [taylor]: Taking taylor expansion of (log z) in x
4.885 * [taylor]: Taking taylor expansion of z in x
4.885 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.885 * [taylor]: Taking taylor expansion of x in x
4.889 * [taylor]: Taking taylor expansion of (* 5/81 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3))) in x
4.889 * [taylor]: Taking taylor expansion of 5/81 in x
4.889 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3)) in x
4.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.889 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.889 * [taylor]: Taking taylor expansion of 1/3 in x
4.889 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.889 * [taylor]: Taking taylor expansion of (log 1) in x
4.889 * [taylor]: Taking taylor expansion of 1 in x
4.890 * [taylor]: Taking taylor expansion of (log z) in x
4.890 * [taylor]: Taking taylor expansion of z in x
4.890 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.890 * [taylor]: Taking taylor expansion of x in x
4.896 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in (z x) around 0
4.896 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in x
4.896 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.896 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.896 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.896 * [taylor]: Taking taylor expansion of 1/3 in x
4.896 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.896 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.896 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.896 * [taylor]: Taking taylor expansion of x in x
4.896 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.896 * [taylor]: Taking taylor expansion of z in x
4.896 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.896 * [taylor]: Taking taylor expansion of -1 in x
4.897 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.897 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.897 * [taylor]: Taking taylor expansion of 1/3 in z
4.897 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.897 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.897 * [taylor]: Taking taylor expansion of x in z
4.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.897 * [taylor]: Taking taylor expansion of z in z
4.897 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.897 * [taylor]: Taking taylor expansion of -1 in z
4.897 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.897 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.897 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.897 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.897 * [taylor]: Taking taylor expansion of 1/3 in z
4.897 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.897 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.897 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.897 * [taylor]: Taking taylor expansion of x in z
4.897 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.897 * [taylor]: Taking taylor expansion of z in z
4.898 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.898 * [taylor]: Taking taylor expansion of -1 in z
4.898 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.898 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.898 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.898 * [taylor]: Taking taylor expansion of 1/3 in x
4.898 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.898 * [taylor]: Taking taylor expansion of (log 1) in x
4.898 * [taylor]: Taking taylor expansion of 1 in x
4.898 * [taylor]: Taking taylor expansion of (log z) in x
4.898 * [taylor]: Taking taylor expansion of z in x
4.898 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.898 * [taylor]: Taking taylor expansion of -1 in x
4.899 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x)) in x
4.899 * [taylor]: Taking taylor expansion of 1/3 in x
4.899 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x) in x
4.899 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.900 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.900 * [taylor]: Taking taylor expansion of 1/3 in x
4.900 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.900 * [taylor]: Taking taylor expansion of (log 1) in x
4.900 * [taylor]: Taking taylor expansion of 1 in x
4.900 * [taylor]: Taking taylor expansion of (log z) in x
4.900 * [taylor]: Taking taylor expansion of z in x
4.900 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.900 * [taylor]: Taking taylor expansion of -1 in x
4.900 * [taylor]: Taking taylor expansion of x in x
4.903 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)))) in x
4.903 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2))) in x
4.903 * [taylor]: Taking taylor expansion of 1/9 in x
4.904 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)) in x
4.904 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.904 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.904 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.904 * [taylor]: Taking taylor expansion of 1/3 in x
4.904 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.904 * [taylor]: Taking taylor expansion of (log 1) in x
4.904 * [taylor]: Taking taylor expansion of 1 in x
4.904 * [taylor]: Taking taylor expansion of (log z) in x
4.904 * [taylor]: Taking taylor expansion of z in x
4.904 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.904 * [taylor]: Taking taylor expansion of -1 in x
4.904 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.904 * [taylor]: Taking taylor expansion of x in x
4.910 * [taylor]: Taking taylor expansion of (* 5/81 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3))) in x
4.910 * [taylor]: Taking taylor expansion of 5/81 in x
4.910 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3)) in x
4.910 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.910 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.910 * [taylor]: Taking taylor expansion of 1/3 in x
4.910 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.910 * [taylor]: Taking taylor expansion of (log 1) in x
4.910 * [taylor]: Taking taylor expansion of 1 in x
4.910 * [taylor]: Taking taylor expansion of (log z) in x
4.910 * [taylor]: Taking taylor expansion of z in x
4.911 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.911 * [taylor]: Taking taylor expansion of -1 in x
4.911 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.911 * [taylor]: Taking taylor expansion of x in x
4.914 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
4.915 * [approximate]: Taking taylor expansion of (pow (+ x z) 1/3) in (z x) around 0
4.915 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in x
4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in x
4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in x
4.915 * [taylor]: Taking taylor expansion of 1/3 in x
4.915 * [taylor]: Taking taylor expansion of (log (+ x z)) in x
4.915 * [taylor]: Taking taylor expansion of (+ x z) in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.915 * [taylor]: Taking taylor expansion of z in x
4.915 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.915 * [taylor]: Taking taylor expansion of 1/3 in z
4.915 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.915 * [taylor]: Taking taylor expansion of (+ x z) in z
4.915 * [taylor]: Taking taylor expansion of x in z
4.915 * [taylor]: Taking taylor expansion of z in z
4.915 * [taylor]: Taking taylor expansion of (pow (+ x z) 1/3) in z
4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ x z)))) in z
4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ x z))) in z
4.915 * [taylor]: Taking taylor expansion of 1/3 in z
4.915 * [taylor]: Taking taylor expansion of (log (+ x z)) in z
4.915 * [taylor]: Taking taylor expansion of (+ x z) in z
4.915 * [taylor]: Taking taylor expansion of x in z
4.915 * [taylor]: Taking taylor expansion of z in z
4.915 * [taylor]: Taking taylor expansion of (pow x 1/3) in x
4.915 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log x))) in x
4.915 * [taylor]: Taking taylor expansion of (* 1/3 (log x)) in x
4.915 * [taylor]: Taking taylor expansion of 1/3 in x
4.915 * [taylor]: Taking taylor expansion of (log x) in x
4.915 * [taylor]: Taking taylor expansion of x in x
4.916 * [taylor]: Taking taylor expansion of (* 1/3 (pow (/ 1 (pow x 2)) 1/3)) in x
4.916 * [taylor]: Taking taylor expansion of 1/3 in x
4.916 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 2)) 1/3) in x
4.916 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 2))))) in x
4.916 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 2)))) in x
4.916 * [taylor]: Taking taylor expansion of 1/3 in x
4.916 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 2))) in x
4.916 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x
4.916 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.916 * [taylor]: Taking taylor expansion of x in x
4.917 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 5)) 1/3)) in x
4.917 * [taylor]: Taking taylor expansion of -1/9 in x
4.917 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 5)) 1/3) in x
4.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 5))))) in x
4.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 5)))) in x
4.918 * [taylor]: Taking taylor expansion of 1/3 in x
4.918 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 5))) in x
4.918 * [taylor]: Taking taylor expansion of (/ 1 (pow x 5)) in x
4.918 * [taylor]: Taking taylor expansion of (pow x 5) in x
4.918 * [taylor]: Taking taylor expansion of x in x
4.918 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in (z x) around 0
4.918 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.918 * [taylor]: Taking taylor expansion of 1/3 in x
4.918 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.918 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.918 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.919 * [taylor]: Taking taylor expansion of x in x
4.919 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.919 * [taylor]: Taking taylor expansion of z in x
4.919 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.919 * [taylor]: Taking taylor expansion of 1/3 in z
4.919 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.919 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.919 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.919 * [taylor]: Taking taylor expansion of x in z
4.919 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.919 * [taylor]: Taking taylor expansion of z in z
4.919 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.919 * [taylor]: Taking taylor expansion of 1/3 in z
4.919 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.919 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.919 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.919 * [taylor]: Taking taylor expansion of x in z
4.919 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.919 * [taylor]: Taking taylor expansion of z in z
4.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.920 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.920 * [taylor]: Taking taylor expansion of 1/3 in x
4.920 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.920 * [taylor]: Taking taylor expansion of (log 1) in x
4.920 * [taylor]: Taking taylor expansion of 1 in x
4.920 * [taylor]: Taking taylor expansion of (log z) in x
4.920 * [taylor]: Taking taylor expansion of z in x
4.920 * [taylor]: Taking taylor expansion of (* 1/3 (/ (exp (* 1/3 (- (log 1) (log z)))) x)) in x
4.920 * [taylor]: Taking taylor expansion of 1/3 in x
4.920 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) x) in x
4.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.920 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.920 * [taylor]: Taking taylor expansion of 1/3 in x
4.920 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.921 * [taylor]: Taking taylor expansion of (log 1) in x
4.921 * [taylor]: Taking taylor expansion of 1 in x
4.921 * [taylor]: Taking taylor expansion of (log z) in x
4.921 * [taylor]: Taking taylor expansion of z in x
4.921 * [taylor]: Taking taylor expansion of x in x
4.923 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2))) in x
4.923 * [taylor]: Taking taylor expansion of -1/9 in x
4.923 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 2)) in x
4.923 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.923 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.923 * [taylor]: Taking taylor expansion of 1/3 in x
4.923 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.923 * [taylor]: Taking taylor expansion of (log 1) in x
4.923 * [taylor]: Taking taylor expansion of 1 in x
4.923 * [taylor]: Taking taylor expansion of (log z) in x
4.923 * [taylor]: Taking taylor expansion of z in x
4.923 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.923 * [taylor]: Taking taylor expansion of x in x
4.927 * [taylor]: Taking taylor expansion of (* 5/81 (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3))) in x
4.927 * [taylor]: Taking taylor expansion of 5/81 in x
4.927 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (log z)))) (pow x 3)) in x
4.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.927 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.927 * [taylor]: Taking taylor expansion of 1/3 in x
4.927 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.927 * [taylor]: Taking taylor expansion of (log 1) in x
4.927 * [taylor]: Taking taylor expansion of 1 in x
4.927 * [taylor]: Taking taylor expansion of (log z) in x
4.927 * [taylor]: Taking taylor expansion of z in x
4.927 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.927 * [taylor]: Taking taylor expansion of x in x
4.930 * [approximate]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in (z x) around 0
4.930 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in x
4.930 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in x
4.930 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in x
4.930 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in x
4.930 * [taylor]: Taking taylor expansion of 1/3 in x
4.930 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in x
4.930 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.930 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.930 * [taylor]: Taking taylor expansion of x in x
4.930 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.930 * [taylor]: Taking taylor expansion of z in x
4.931 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.931 * [taylor]: Taking taylor expansion of -1 in x
4.931 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.931 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.931 * [taylor]: Taking taylor expansion of 1/3 in z
4.931 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.931 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.931 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.931 * [taylor]: Taking taylor expansion of x in z
4.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.931 * [taylor]: Taking taylor expansion of z in z
4.931 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.931 * [taylor]: Taking taylor expansion of -1 in z
4.931 * [taylor]: Taking taylor expansion of (* (pow (+ (/ 1 x) (/ 1 z)) 1/3) (cbrt -1)) in z
4.931 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 1/3) in z
4.931 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (+ (/ 1 x) (/ 1 z))))) in z
4.931 * [taylor]: Taking taylor expansion of (* 1/3 (log (+ (/ 1 x) (/ 1 z)))) in z
4.931 * [taylor]: Taking taylor expansion of 1/3 in z
4.931 * [taylor]: Taking taylor expansion of (log (+ (/ 1 x) (/ 1 z))) in z
4.931 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.931 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.931 * [taylor]: Taking taylor expansion of x in z
4.931 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.931 * [taylor]: Taking taylor expansion of z in z
4.932 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.932 * [taylor]: Taking taylor expansion of -1 in z
4.932 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.932 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.932 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.932 * [taylor]: Taking taylor expansion of 1/3 in x
4.932 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.932 * [taylor]: Taking taylor expansion of (log 1) in x
4.932 * [taylor]: Taking taylor expansion of 1 in x
4.932 * [taylor]: Taking taylor expansion of (log z) in x
4.932 * [taylor]: Taking taylor expansion of z in x
4.932 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.932 * [taylor]: Taking taylor expansion of -1 in x
4.933 * [taylor]: Taking taylor expansion of (* 1/3 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x)) in x
4.933 * [taylor]: Taking taylor expansion of 1/3 in x
4.933 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) x) in x
4.933 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.933 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.933 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.933 * [taylor]: Taking taylor expansion of 1/3 in x
4.933 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.933 * [taylor]: Taking taylor expansion of (log 1) in x
4.933 * [taylor]: Taking taylor expansion of 1 in x
4.933 * [taylor]: Taking taylor expansion of (log z) in x
4.934 * [taylor]: Taking taylor expansion of z in x
4.934 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.934 * [taylor]: Taking taylor expansion of -1 in x
4.934 * [taylor]: Taking taylor expansion of x in x
4.937 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)))) in x
4.937 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2))) in x
4.937 * [taylor]: Taking taylor expansion of 1/9 in x
4.937 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 2)) in x
4.937 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.937 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.937 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.937 * [taylor]: Taking taylor expansion of 1/3 in x
4.937 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.937 * [taylor]: Taking taylor expansion of (log 1) in x
4.937 * [taylor]: Taking taylor expansion of 1 in x
4.937 * [taylor]: Taking taylor expansion of (log z) in x
4.937 * [taylor]: Taking taylor expansion of z in x
4.937 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.937 * [taylor]: Taking taylor expansion of -1 in x
4.937 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.937 * [taylor]: Taking taylor expansion of x in x
4.943 * [taylor]: Taking taylor expansion of (* 5/81 (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3))) in x
4.943 * [taylor]: Taking taylor expansion of 5/81 in x
4.943 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) (pow x 3)) in x
4.943 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (log z)))) (cbrt -1)) in x
4.944 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (log z)))) in x
4.944 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (log z))) in x
4.944 * [taylor]: Taking taylor expansion of 1/3 in x
4.944 * [taylor]: Taking taylor expansion of (- (log 1) (log z)) in x
4.944 * [taylor]: Taking taylor expansion of (log 1) in x
4.944 * [taylor]: Taking taylor expansion of 1 in x
4.944 * [taylor]: Taking taylor expansion of (log z) in x
4.944 * [taylor]: Taking taylor expansion of z in x
4.944 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.944 * [taylor]: Taking taylor expansion of -1 in x
4.944 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.944 * [taylor]: Taking taylor expansion of x in x
4.948 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
4.948 * [approximate]: Taking taylor expansion of (pow (pow (+ x z) 2) 1/3) in (z x) around 0
4.948 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 2) 1/3) in x
4.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x z) 2)))) in x
4.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x z) 2))) in x
4.948 * [taylor]: Taking taylor expansion of 1/3 in x
4.948 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 2)) in x
4.948 * [taylor]: Taking taylor expansion of (pow (+ x z) 2) in x
4.948 * [taylor]: Taking taylor expansion of (+ x z) in x
4.948 * [taylor]: Taking taylor expansion of x in x
4.948 * [taylor]: Taking taylor expansion of z in x
4.948 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 2) 1/3) in z
4.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x z) 2)))) in z
4.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x z) 2))) in z
4.948 * [taylor]: Taking taylor expansion of 1/3 in z
4.948 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 2)) in z
4.948 * [taylor]: Taking taylor expansion of (pow (+ x z) 2) in z
4.948 * [taylor]: Taking taylor expansion of (+ x z) in z
4.948 * [taylor]: Taking taylor expansion of x in z
4.948 * [taylor]: Taking taylor expansion of z in z
4.948 * [taylor]: Taking taylor expansion of (pow (pow (+ x z) 2) 1/3) in z
4.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ x z) 2)))) in z
4.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ x z) 2))) in z
4.949 * [taylor]: Taking taylor expansion of 1/3 in z
4.949 * [taylor]: Taking taylor expansion of (log (pow (+ x z) 2)) in z
4.949 * [taylor]: Taking taylor expansion of (pow (+ x z) 2) in z
4.949 * [taylor]: Taking taylor expansion of (+ x z) in z
4.949 * [taylor]: Taking taylor expansion of x in z
4.949 * [taylor]: Taking taylor expansion of z in z
4.949 * [taylor]: Taking taylor expansion of (pow (pow x 2) 1/3) in x
4.949 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow x 2)))) in x
4.949 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow x 2))) in x
4.949 * [taylor]: Taking taylor expansion of 1/3 in x
4.949 * [taylor]: Taking taylor expansion of (log (pow x 2)) in x
4.949 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.949 * [taylor]: Taking taylor expansion of x in x
4.950 * [taylor]: Taking taylor expansion of (* 2/3 (pow (/ 1 x) 1/3)) in x
4.950 * [taylor]: Taking taylor expansion of 2/3 in x
4.950 * [taylor]: Taking taylor expansion of (pow (/ 1 x) 1/3) in x
4.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 x)))) in x
4.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 x))) in x
4.950 * [taylor]: Taking taylor expansion of 1/3 in x
4.950 * [taylor]: Taking taylor expansion of (log (/ 1 x)) in x
4.950 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.950 * [taylor]: Taking taylor expansion of x in x
4.952 * [taylor]: Taking taylor expansion of (* -1/9 (pow (/ 1 (pow x 4)) 1/3)) in x
4.952 * [taylor]: Taking taylor expansion of -1/9 in x
4.952 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow x 4)) 1/3) in x
4.952 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow x 4))))) in x
4.952 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow x 4)))) in x
4.952 * [taylor]: Taking taylor expansion of 1/3 in x
4.952 * [taylor]: Taking taylor expansion of (log (/ 1 (pow x 4))) in x
4.952 * [taylor]: Taking taylor expansion of (/ 1 (pow x 4)) in x
4.952 * [taylor]: Taking taylor expansion of (pow x 4) in x
4.952 * [taylor]: Taking taylor expansion of x in x
4.953 * [approximate]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in (z x) around 0
4.953 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in x
4.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in x
4.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in x
4.953 * [taylor]: Taking taylor expansion of 1/3 in x
4.953 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in x
4.953 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in x
4.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.953 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.953 * [taylor]: Taking taylor expansion of x in x
4.953 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.953 * [taylor]: Taking taylor expansion of z in x
4.953 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in z
4.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in z
4.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in z
4.953 * [taylor]: Taking taylor expansion of 1/3 in z
4.953 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in z
4.953 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in z
4.953 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.953 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.953 * [taylor]: Taking taylor expansion of x in z
4.953 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.953 * [taylor]: Taking taylor expansion of z in z
4.953 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in z
4.953 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in z
4.953 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in z
4.953 * [taylor]: Taking taylor expansion of 1/3 in z
4.953 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in z
4.954 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in z
4.954 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.954 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.954 * [taylor]: Taking taylor expansion of x in z
4.954 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.954 * [taylor]: Taking taylor expansion of z in z
4.954 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.954 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.954 * [taylor]: Taking taylor expansion of 1/3 in x
4.954 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.954 * [taylor]: Taking taylor expansion of (log 1) in x
4.954 * [taylor]: Taking taylor expansion of 1 in x
4.954 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.954 * [taylor]: Taking taylor expansion of 2 in x
4.954 * [taylor]: Taking taylor expansion of (log z) in x
4.954 * [taylor]: Taking taylor expansion of z in x
4.955 * [taylor]: Taking taylor expansion of (* 2/3 (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) x)) in x
4.955 * [taylor]: Taking taylor expansion of 2/3 in x
4.955 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) x) in x
4.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.955 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.955 * [taylor]: Taking taylor expansion of 1/3 in x
4.955 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.955 * [taylor]: Taking taylor expansion of (log 1) in x
4.955 * [taylor]: Taking taylor expansion of 1 in x
4.955 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.955 * [taylor]: Taking taylor expansion of 2 in x
4.955 * [taylor]: Taking taylor expansion of (log z) in x
4.955 * [taylor]: Taking taylor expansion of z in x
4.955 * [taylor]: Taking taylor expansion of x in x
4.957 * [taylor]: Taking taylor expansion of (* -1/9 (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow x 2))) in x
4.958 * [taylor]: Taking taylor expansion of -1/9 in x
4.958 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow x 2)) in x
4.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.958 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.958 * [taylor]: Taking taylor expansion of 1/3 in x
4.958 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.958 * [taylor]: Taking taylor expansion of (log 1) in x
4.958 * [taylor]: Taking taylor expansion of 1 in x
4.958 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.958 * [taylor]: Taking taylor expansion of 2 in x
4.958 * [taylor]: Taking taylor expansion of (log z) in x
4.958 * [taylor]: Taking taylor expansion of z in x
4.958 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.958 * [taylor]: Taking taylor expansion of x in x
4.963 * [taylor]: Taking taylor expansion of (* 4/81 (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow x 3))) in x
4.963 * [taylor]: Taking taylor expansion of 4/81 in x
4.963 * [taylor]: Taking taylor expansion of (/ (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow x 3)) in x
4.963 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.963 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.963 * [taylor]: Taking taylor expansion of 1/3 in x
4.963 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.963 * [taylor]: Taking taylor expansion of (log 1) in x
4.963 * [taylor]: Taking taylor expansion of 1 in x
4.963 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.963 * [taylor]: Taking taylor expansion of 2 in x
4.963 * [taylor]: Taking taylor expansion of (log z) in x
4.963 * [taylor]: Taking taylor expansion of z in x
4.963 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.963 * [taylor]: Taking taylor expansion of x in x
4.966 * [approximate]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) (pow (cbrt -1) 2)) in (z x) around 0
4.966 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) (pow (cbrt -1) 2)) in x
4.966 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in x
4.966 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in x
4.966 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in x
4.966 * [taylor]: Taking taylor expansion of 1/3 in x
4.966 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in x
4.966 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in x
4.966 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in x
4.966 * [taylor]: Taking taylor expansion of (/ 1 x) in x
4.966 * [taylor]: Taking taylor expansion of x in x
4.967 * [taylor]: Taking taylor expansion of (/ 1 z) in x
4.967 * [taylor]: Taking taylor expansion of z in x
4.967 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.967 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.967 * [taylor]: Taking taylor expansion of -1 in x
4.967 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) (pow (cbrt -1) 2)) in z
4.967 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in z
4.967 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in z
4.967 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in z
4.967 * [taylor]: Taking taylor expansion of 1/3 in z
4.967 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in z
4.967 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in z
4.967 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.967 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.967 * [taylor]: Taking taylor expansion of x in z
4.967 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.967 * [taylor]: Taking taylor expansion of z in z
4.967 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
4.967 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.967 * [taylor]: Taking taylor expansion of -1 in z
4.968 * [taylor]: Taking taylor expansion of (* (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) (pow (cbrt -1) 2)) in z
4.968 * [taylor]: Taking taylor expansion of (pow (pow (+ (/ 1 x) (/ 1 z)) 2) 1/3) in z
4.968 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2)))) in z
4.968 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (+ (/ 1 x) (/ 1 z)) 2))) in z
4.968 * [taylor]: Taking taylor expansion of 1/3 in z
4.968 * [taylor]: Taking taylor expansion of (log (pow (+ (/ 1 x) (/ 1 z)) 2)) in z
4.968 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 z)) 2) in z
4.968 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 z)) in z
4.968 * [taylor]: Taking taylor expansion of (/ 1 x) in z
4.968 * [taylor]: Taking taylor expansion of x in z
4.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z
4.968 * [taylor]: Taking taylor expansion of z in z
4.968 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
4.968 * [taylor]: Taking taylor expansion of (cbrt -1) in z
4.968 * [taylor]: Taking taylor expansion of -1 in z
4.968 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log z)))))) in x
4.969 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.969 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.969 * [taylor]: Taking taylor expansion of -1 in x
4.969 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.969 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.969 * [taylor]: Taking taylor expansion of 1/3 in x
4.969 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.969 * [taylor]: Taking taylor expansion of (log 1) in x
4.969 * [taylor]: Taking taylor expansion of 1 in x
4.969 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.969 * [taylor]: Taking taylor expansion of 2 in x
4.969 * [taylor]: Taking taylor expansion of (log z) in x
4.969 * [taylor]: Taking taylor expansion of z in x
4.971 * [taylor]: Taking taylor expansion of (* 2/3 (/ (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) x)) in x
4.971 * [taylor]: Taking taylor expansion of 2/3 in x
4.971 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) x) in x
4.971 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) in x
4.971 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.971 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.971 * [taylor]: Taking taylor expansion of 1/3 in x
4.971 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.971 * [taylor]: Taking taylor expansion of (log 1) in x
4.971 * [taylor]: Taking taylor expansion of 1 in x
4.971 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.971 * [taylor]: Taking taylor expansion of 2 in x
4.971 * [taylor]: Taking taylor expansion of (log z) in x
4.971 * [taylor]: Taking taylor expansion of z in x
4.972 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.972 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.972 * [taylor]: Taking taylor expansion of -1 in x
4.972 * [taylor]: Taking taylor expansion of x in x
4.976 * [taylor]: Taking taylor expansion of (neg (* 1/9 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log z)))))) (pow x 2)))) in x
4.976 * [taylor]: Taking taylor expansion of (* 1/9 (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log z)))))) (pow x 2))) in x
4.976 * [taylor]: Taking taylor expansion of 1/9 in x
4.976 * [taylor]: Taking taylor expansion of (/ (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log z)))))) (pow x 2)) in x
4.976 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log z)))))) in x
4.976 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.976 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.976 * [taylor]: Taking taylor expansion of -1 in x
4.976 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.976 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.976 * [taylor]: Taking taylor expansion of 1/3 in x
4.976 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.976 * [taylor]: Taking taylor expansion of (log 1) in x
4.976 * [taylor]: Taking taylor expansion of 1 in x
4.976 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.977 * [taylor]: Taking taylor expansion of 2 in x
4.977 * [taylor]: Taking taylor expansion of (log z) in x
4.977 * [taylor]: Taking taylor expansion of z in x
4.977 * [taylor]: Taking taylor expansion of (pow x 2) in x
4.977 * [taylor]: Taking taylor expansion of x in x
4.985 * [taylor]: Taking taylor expansion of (* 4/81 (/ (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) (pow x 3))) in x
4.985 * [taylor]: Taking taylor expansion of 4/81 in x
4.985 * [taylor]: Taking taylor expansion of (/ (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) (pow x 3)) in x
4.985 * [taylor]: Taking taylor expansion of (* (exp (* 1/3 (- (log 1) (* 2 (log z))))) (pow (cbrt -1) 2)) in x
4.985 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log 1) (* 2 (log z))))) in x
4.985 * [taylor]: Taking taylor expansion of (* 1/3 (- (log 1) (* 2 (log z)))) in x
4.985 * [taylor]: Taking taylor expansion of 1/3 in x
4.985 * [taylor]: Taking taylor expansion of (- (log 1) (* 2 (log z))) in x
4.985 * [taylor]: Taking taylor expansion of (log 1) in x
4.985 * [taylor]: Taking taylor expansion of 1 in x
4.985 * [taylor]: Taking taylor expansion of (* 2 (log z)) in x
4.986 * [taylor]: Taking taylor expansion of 2 in x
4.986 * [taylor]: Taking taylor expansion of (log z) in x
4.986 * [taylor]: Taking taylor expansion of z in x
4.986 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in x
4.986 * [taylor]: Taking taylor expansion of (cbrt -1) in x
4.986 * [taylor]: Taking taylor expansion of -1 in x
4.986 * [taylor]: Taking taylor expansion of (pow x 3) in x
4.986 * [taylor]: Taking taylor expansion of x in x
4.991 * * * [progress]: simplifying candidates
4.995 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (- (* x x) (* z x))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (* (* (cbrt (+ z x)) (cbrt (+ z x))) (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (- (* x x) (* z x))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (* (* (cbrt (+ z x)) (cbrt (+ z x))) (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt 1)
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (- (* x x) (* z x))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (* (* (cbrt (+ z x)) (cbrt (+ z x))) (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (+ z x) (+ z x))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (+ 1 1)
  (+ (log (cbrt (+ z x))) (log (cbrt (+ z x))))
  (log (* (cbrt (+ z x)) (cbrt (+ z x))))
  (exp (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* (+ z x) (+ z x))
  (* (cbrt (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (cbrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* (* (* (cbrt (+ z x)) (cbrt (+ z x))) (* (cbrt (+ z x)) (cbrt (+ z x)))) (* (cbrt (+ z x)) (cbrt (+ z x))))
  (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (sqrt (* (cbrt (+ z x)) (cbrt (+ z x))))
  (* (cbrt (+ (pow z 3) (pow x 3))) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (+ (* z z) (- (* x x) (* z x)))) (cbrt (+ (* z z) (- (* x x) (* z x)))))
  (* (cbrt (+ (pow z 3) (pow x 3))) (cbrt (- (* z z) (* x x))))
  (* (cbrt (+ (* z z) (- (* x x) (* z x)))) (cbrt (- z x)))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (- z x)) (cbrt (+ (* z z) (- (* x x) (* z x)))))
  (* (cbrt (- (* z z) (* x x))) (cbrt (- (* z z) (* x x))))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (* (cbrt (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x)))) (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x)))))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* 1 1)
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (sqrt (cbrt (+ z x))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (+ z x)) (cbrt (* (cbrt (+ z x)) (cbrt (+ z x)))))
  (* (cbrt (+ z x)) (cbrt (sqrt (+ z x))))
  (* (cbrt (+ z x)) (cbrt 1))
  (* (cbrt (+ z x)) (cbrt 1))
  (* (cbrt (+ z x)) (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x)))))
  (* (cbrt (+ z x)) (sqrt (cbrt (+ z x))))
  (* (cbrt (+ z x)) 1)
  (* (cbrt (cbrt (+ z x))) (cbrt (+ z x)))
  (* (cbrt (sqrt (+ z x))) (cbrt (+ z x)))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt (cbrt (+ z x))) (cbrt (+ z x)))
  (* (sqrt (cbrt (+ z x))) (cbrt (+ z x)))
  (* (cbrt (+ z x)) (cbrt (+ z x)))
  (* (cbrt (+ z x)) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (+ z x)) (cbrt (- (* z z) (* x x))))
  (* (cbrt (+ (pow z 3) (pow x 3))) (cbrt (+ z x)))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ z x)))
  (- (+ (exp (* 1/3 (+ (log 1) (log x)))) (* 1/3 (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))))) (* 1/9 (* (pow z 2) (exp (* 1/3 (- (log 1) (* 5 (log x))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
  (- (+ (exp (* 1/3 (+ (log 1) (log x)))) (* 1/3 (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))))) (* 1/9 (* (pow z 2) (exp (* 1/3 (- (log 1) (* 5 (log x))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
  (- (+ (exp (* 1/3 (+ (log 1) (log x)))) (* 1/3 (* z (exp (* 1/3 (- (log 1) (* 2 (log x)))))))) (* 1/9 (* (pow z 2) (exp (* 1/3 (- (log 1) (* 5 (log x))))))))
  (exp (* 1/3 (- (log 1) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log 1) (log (/ -1 z))))) (cbrt -1))
  (- (+ (* 2/3 (* z (exp (* 1/3 (- (log 1) (log x)))))) (exp (* 1/3 (+ (log 1) (* 2 (log x)))))) (* 1/9 (* (pow z 2) (exp (* 1/3 (- (log 1) (* 4 (log x))))))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2))
5.001 * * [simplify]: iteration  0 :  136  enodes  (cost  1356 )
5.020 * * [simplify]: iteration  1 :  287  enodes  (cost  1243 )
5.071 * * [simplify]: iteration  2 :  790  enodes  (cost  1131 )
5.207 * * [simplify]: iteration  3 :  2359  enodes  (cost  1010 )
5.558 * * [simplify]: iteration  done :  5001  enodes  (cost  1010 )
5.559 * [simplify]: Simplified to:
   (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (pow (sqrt (cbrt (+ z x))) 4))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  1
  (cbrt (+ z x))
  1
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (* x (- x z))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (+ z x)
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (pow (sqrt (cbrt (+ z x))) 4))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  1
  (cbrt (+ z x))
  1
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (* x (- x z))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (+ z x)
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  (log (cbrt (+ z x)))
  (exp (cbrt (+ z x)))
  (cbrt (pow (sqrt (cbrt (+ z x))) 4))
  (cbrt (cbrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  (cbrt (sqrt (+ z x)))
  1
  (cbrt (+ z x))
  1
  (cbrt (+ z x))
  (cbrt (+ (pow z 3) (pow x 3)))
  (cbrt (+ (* z z) (* x (- x z))))
  (cbrt (- (* z z) (* x x)))
  (cbrt (- z x))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (cbrt (+ z x)))
  (+ z x)
  (sqrt (cbrt (+ z x)))
  (sqrt (cbrt (+ z x)))
  2/3
  2
  (pow (cbrt (+ z x)) 6)
  (pow (sqrt (cbrt (+ z x))) 4)
  2
  (* 2 (log (cbrt (+ z x))))
  (* 2 (log (cbrt (+ z x))))
  (exp (pow (sqrt (cbrt (+ z x))) 4))
  (pow (cbrt (+ z x)) 6)
  (* (cbrt (pow (sqrt (cbrt (+ z x))) 4)) (cbrt (pow (sqrt (cbrt (+ z x))) 4)))
  (cbrt (pow (sqrt (cbrt (+ z x))) 4))
  (pow (cbrt (+ z x)) 6)
  (fabs (cbrt (+ z x)))
  (fabs (cbrt (+ z x)))
  (* (cbrt (+ (pow z 3) (pow x 3))) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (+ (* z z) (* x (- x z)))) (cbrt (+ (* z z) (* x (- x z)))))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (+ (* z z) (* x (- x z)))) (cbrt (- z x)))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (+ (* z z) (* x (- x z)))) (cbrt (- z x)))
  (* (cbrt (- (* z z) (* x x))) (cbrt (- (* z z) (* x x))))
  (* (cbrt (- z x)) (cbrt (- z x)))
  (* (cbrt (pow (sqrt (cbrt (+ z x))) 4)) (cbrt (pow (sqrt (cbrt (+ z x))) 4)))
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  1
  (pow (sqrt (cbrt (+ z x))) 4)
  1
  (pow (sqrt (cbrt (+ z x))) 4)
  1
  (pow (sqrt (cbrt (+ z x))) 4)
  1
  (pow (sqrt (cbrt (+ z x))) 4)
  (pow (cbrt (cbrt (+ z x))) 4)
  (* (cbrt (cbrt (+ z x))) (cbrt (cbrt (+ z x))))
  (cbrt (+ z x))
  (cbrt (+ z x))
  1
  (pow (sqrt (cbrt (+ z x))) 4)
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (cbrt (sqrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (* (sqrt (cbrt (+ z x))) (cbrt (sqrt (+ z x))))
  (cbrt (+ z x))
  (cbrt (+ z x))
  2/3
  2
  (* (cbrt (+ z x)) (cbrt (pow (sqrt (cbrt (+ z x))) 4)))
  (* (cbrt (+ z x)) (cbrt (sqrt (+ z x))))
  (cbrt (+ z x))
  (cbrt (+ z x))
  (* (cbrt (cbrt (+ z x))) (pow (cbrt (cbrt (+ z x))) 4))
  (pow (sqrt (cbrt (+ z x))) 3)
  (cbrt (+ z x))
  (pow (cbrt (cbrt (+ z x))) 4)
  (* (cbrt (+ z x)) (cbrt (sqrt (+ z x))))
  (pow (sqrt (cbrt (+ z x))) 4)
  (pow (sqrt (cbrt (+ z x))) 4)
  (pow (cbrt (cbrt (+ z x))) 4)
  (pow (sqrt (cbrt (+ z x))) 3)
  (pow (sqrt (cbrt (+ z x))) 4)
  (* (cbrt (+ z x)) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ z x)))
  (* (cbrt (+ z x)) (cbrt (+ (pow z 3) (pow x 3))))
  (* (cbrt (- (* z z) (* x x))) (cbrt (+ z x)))
  (+ (+ (cbrt x) (* (cbrt (pow x -2)) (* 1/3 z))) (* (* -1/9 (cbrt (pow x -5))) (pow z 2)))
  (cbrt z)
  (* (cbrt (exp (neg (log (/ -1 z))))) (cbrt -1))
  (+ (+ (cbrt x) (* (cbrt (pow x -2)) (* 1/3 z))) (* (* -1/9 (cbrt (pow x -5))) (pow z 2)))
  (cbrt z)
  (* (cbrt (exp (neg (log (/ -1 z))))) (cbrt -1))
  (+ (+ (cbrt x) (* (cbrt (pow x -2)) (* 1/3 z))) (* (* -1/9 (cbrt (pow x -5))) (pow z 2)))
  (cbrt z)
  (* (cbrt (exp (neg (log (/ -1 z))))) (cbrt -1))
  (+ (* (cbrt (pow x -4)) (* (* z z) -1/9)) (+ (pow x 2/3) (* (* (cbrt (/ 1 x)) 2/3) z)))
  (cbrt (* z z))
  (* (cbrt (pow (/ -1 z) -2)) (pow (cbrt -1) 2))
5.559 * * * [progress]: adding candidates to table
5.666 * [progress]: [Phase 3 of 3] Extracting.
5.667 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))> #<alt (λ (x y z) (+ x (+ (* y z) (* x y))))> #<alt (λ (x y z) (+ x (* (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))>)
5.667 * * * [regime-changes]: Trying 3 branch expressions: (z y x)
5.667 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))> #<alt (λ (x y z) (+ x (+ (* y z) (* x y))))> #<alt (λ (x y z) (+ x (* (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))>)
5.714 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))> #<alt (λ (x y z) (+ x (+ (* y z) (* x y))))> #<alt (λ (x y z) (+ x (* (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))>)
5.761 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (+ x (* (* (cbrt y) (cbrt y)) (* (cbrt y) (+ z x)))))> #<alt (λ (x y z) (+ x (+ (* y z) (* x y))))> #<alt (λ (x y z) (+ x (* (* y (* (cbrt (+ z x)) (cbrt (+ z x)))) (cbrt (+ z x)))))> #<alt (λ (x y z) (+ x (* (* y (sqrt (+ z x))) (sqrt (+ z x)))))>)
5.810 * * * [regime]: Found split indices: #<option (#s(si 1 255))>
5.810 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (+ x (+ (* y z) (* x y)))
5.810 * * [simplify]: iteration  0 :  7  enodes  (cost  9 )
5.810 * * [simplify]: iteration  1 :  11  enodes  (cost  9 )
5.811 * * [simplify]: iteration  done :  11  enodes  (cost  9 )
5.811 * [simplify]: Simplified to:
   (+ x (+ (* y z) (* x y)))
6.944 * [regime-testing]: End program error score: 0.01577321227671488