9.424 * [progress]: [Phase 1 of 3] Setting up.
0.001 * * * [progress]: [1/2] Preparing points
0.051 * * * [progress]: [2/2] Setting up program.
0.055 * [progress]: [Phase 2 of 3] Improving.
0.055 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ x (cos y)) (* z (sin y)))
0.056 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
0.057 * * [simplify]: iteration  1 :  14  enodes  (cost  9 )
0.058 * * [simplify]: iteration  2 :  27  enodes  (cost  9 )
0.062 * * [simplify]: iteration  3 :  33  enodes  (cost  9 )
0.075 * * [simplify]: iteration  4 :  39  enodes  (cost  9 )
0.079 * * [simplify]: iteration  5 :  48  enodes  (cost  9 )
0.086 * * [simplify]: iteration  6 :  61  enodes  (cost  9 )
0.093 * * [simplify]: iteration  7 :  74  enodes  (cost  9 )
0.101 * * [simplify]: iteration  8 :  101  enodes  (cost  9 )
0.110 * * [simplify]: iteration  9 :  124  enodes  (cost  9 )
0.120 * * [simplify]: iteration  10 :  159  enodes  (cost  9 )
0.144 * * [simplify]: iteration  11 :  191  enodes  (cost  9 )
0.156 * * [simplify]: iteration  12 :  207  enodes  (cost  9 )
0.170 * * [simplify]: iteration  13 :  221  enodes  (cost  9 )
0.190 * * [simplify]: iteration  14 :  233  enodes  (cost  9 )
0.205 * * [simplify]: iteration  15 :  245  enodes  (cost  9 )
0.220 * * [simplify]: iteration  16 :  257  enodes  (cost  9 )
0.243 * * [simplify]: iteration  17 :  269  enodes  (cost  9 )
0.260 * * [simplify]: iteration  18 :  281  enodes  (cost  9 )
0.278 * * [simplify]: iteration  19 :  293  enodes  (cost  9 )
0.303 * * [simplify]: iteration  20 :  305  enodes  (cost  9 )
0.323 * * [simplify]: iteration  21 :  317  enodes  (cost  9 )
0.343 * * [simplify]: iteration  22 :  329  enodes  (cost  9 )
0.370 * * [simplify]: iteration  23 :  341  enodes  (cost  9 )
0.392 * * [simplify]: iteration  24 :  353  enodes  (cost  9 )
0.421 * * [simplify]: iteration  25 :  365  enodes  (cost  9 )
0.446 * * [simplify]: iteration  26 :  377  enodes  (cost  9 )
0.477 * * [simplify]: iteration  27 :  389  enodes  (cost  9 )
0.502 * * [simplify]: iteration  28 :  401  enodes  (cost  9 )
0.535 * * [simplify]: iteration  29 :  413  enodes  (cost  9 )
0.562 * * [simplify]: iteration  30 :  425  enodes  (cost  9 )
0.597 * * [simplify]: iteration  31 :  437  enodes  (cost  9 )
0.632 * * [simplify]: iteration  32 :  449  enodes  (cost  9 )
0.661 * * [simplify]: iteration  33 :  461  enodes  (cost  9 )
0.698 * * [simplify]: iteration  34 :  473  enodes  (cost  9 )
0.729 * * [simplify]: iteration  35 :  485  enodes  (cost  9 )
0.767 * * [simplify]: iteration  36 :  497  enodes  (cost  9 )
0.806 * * [simplify]: iteration  37 :  509  enodes  (cost  9 )
0.839 * * [simplify]: iteration  38 :  521  enodes  (cost  9 )
0.881 * * [simplify]: iteration  39 :  533  enodes  (cost  9 )
0.922 * * [simplify]: iteration  40 :  545  enodes  (cost  9 )
0.965 * * [simplify]: iteration  41 :  557  enodes  (cost  9 )
1.001 * * [simplify]: iteration  42 :  569  enodes  (cost  9 )
1.045 * * [simplify]: iteration  43 :  581  enodes  (cost  9 )
1.090 * * [simplify]: iteration  44 :  593  enodes  (cost  9 )
1.136 * * [simplify]: iteration  45 :  605  enodes  (cost  9 )
1.183 * * [simplify]: iteration  46 :  617  enodes  (cost  9 )
1.223 * * [simplify]: iteration  47 :  629  enodes  (cost  9 )
1.271 * * [simplify]: iteration  48 :  641  enodes  (cost  9 )
1.321 * * [simplify]: iteration  49 :  653  enodes  (cost  9 )
1.370 * * [simplify]: iteration  50 :  665  enodes  (cost  9 )
1.422 * * [simplify]: iteration  51 :  677  enodes  (cost  9 )
1.474 * * [simplify]: iteration  52 :  689  enodes  (cost  9 )
1.528 * * [simplify]: iteration  53 :  701  enodes  (cost  9 )
1.581 * * [simplify]: iteration  54 :  713  enodes  (cost  9 )
1.636 * * [simplify]: iteration  55 :  725  enodes  (cost  9 )
1.691 * * [simplify]: iteration  56 :  737  enodes  (cost  9 )
1.747 * * [simplify]: iteration  57 :  749  enodes  (cost  9 )
1.804 * * [simplify]: iteration  58 :  761  enodes  (cost  9 )
1.861 * * [simplify]: iteration  59 :  773  enodes  (cost  9 )
1.919 * * [simplify]: iteration  60 :  785  enodes  (cost  9 )
1.979 * * [simplify]: iteration  61 :  797  enodes  (cost  9 )
2.038 * * [simplify]: iteration  62 :  809  enodes  (cost  9 )
2.100 * * [simplify]: iteration  63 :  821  enodes  (cost  9 )
2.161 * * [simplify]: iteration  64 :  833  enodes  (cost  9 )
2.224 * * [simplify]: iteration  65 :  845  enodes  (cost  9 )
2.294 * * [simplify]: iteration  66 :  857  enodes  (cost  9 )
2.357 * * [simplify]: iteration  67 :  869  enodes  (cost  9 )
2.422 * * [simplify]: iteration  68 :  881  enodes  (cost  9 )
2.487 * * [simplify]: iteration  69 :  893  enodes  (cost  9 )
2.553 * * [simplify]: iteration  70 :  905  enodes  (cost  9 )
2.625 * * [simplify]: iteration  71 :  917  enodes  (cost  9 )
2.693 * * [simplify]: iteration  72 :  929  enodes  (cost  9 )
2.761 * * [simplify]: iteration  73 :  941  enodes  (cost  9 )
2.831 * * [simplify]: iteration  74 :  953  enodes  (cost  9 )
2.903 * * [simplify]: iteration  75 :  965  enodes  (cost  9 )
2.974 * * [simplify]: iteration  76 :  977  enodes  (cost  9 )
3.046 * * [simplify]: iteration  77 :  989  enodes  (cost  9 )
3.119 * * [simplify]: iteration  78 :  1001  enodes  (cost  9 )
3.192 * * [simplify]: iteration  79 :  1013  enodes  (cost  9 )
3.274 * * [simplify]: iteration  80 :  1025  enodes  (cost  9 )
3.350 * * [simplify]: iteration  81 :  1037  enodes  (cost  9 )
3.427 * * [simplify]: iteration  82 :  1049  enodes  (cost  9 )
3.504 * * [simplify]: iteration  83 :  1061  enodes  (cost  9 )
3.582 * * [simplify]: iteration  84 :  1073  enodes  (cost  9 )
3.661 * * [simplify]: iteration  85 :  1085  enodes  (cost  9 )
3.740 * * [simplify]: iteration  86 :  1097  enodes  (cost  9 )
3.821 * * [simplify]: iteration  87 :  1109  enodes  (cost  9 )
3.902 * * [simplify]: iteration  88 :  1121  enodes  (cost  9 )
3.985 * * [simplify]: iteration  89 :  1133  enodes  (cost  9 )
4.074 * * [simplify]: iteration  90 :  1145  enodes  (cost  9 )
4.153 * * [simplify]: iteration  91 :  1157  enodes  (cost  9 )
4.238 * * [simplify]: iteration  92 :  1169  enodes  (cost  9 )
4.323 * * [simplify]: iteration  93 :  1181  enodes  (cost  9 )
4.410 * * [simplify]: iteration  94 :  1193  enodes  (cost  9 )
4.503 * * [simplify]: iteration  95 :  1205  enodes  (cost  9 )
4.590 * * [simplify]: iteration  96 :  1217  enodes  (cost  9 )
4.680 * * [simplify]: iteration  97 :  1229  enodes  (cost  9 )
4.770 * * [simplify]: iteration  98 :  1241  enodes  (cost  9 )
4.860 * * [simplify]: iteration  99 :  1253  enodes  (cost  9 )
4.952 * * [simplify]: iteration  100 :  1265  enodes  (cost  9 )
5.045 * * [simplify]: iteration  101 :  1277  enodes  (cost  9 )
5.144 * * [simplify]: iteration  102 :  1289  enodes  (cost  9 )
5.238 * * [simplify]: iteration  103 :  1301  enodes  (cost  9 )
5.333 * * [simplify]: iteration  104 :  1313  enodes  (cost  9 )
5.429 * * [simplify]: iteration  105 :  1325  enodes  (cost  9 )
5.526 * * [simplify]: iteration  106 :  1337  enodes  (cost  9 )
5.623 * * [simplify]: iteration  107 :  1349  enodes  (cost  9 )
5.727 * * [simplify]: iteration  108 :  1361  enodes  (cost  9 )
5.834 * * [simplify]: iteration  109 :  1373  enodes  (cost  9 )
5.933 * * [simplify]: iteration  110 :  1385  enodes  (cost  9 )
6.035 * * [simplify]: iteration  111 :  1397  enodes  (cost  9 )
6.136 * * [simplify]: iteration  112 :  1409  enodes  (cost  9 )
6.239 * * [simplify]: iteration  113 :  1421  enodes  (cost  9 )
6.343 * * [simplify]: iteration  114 :  1433  enodes  (cost  9 )
6.448 * * [simplify]: iteration  115 :  1445  enodes  (cost  9 )
6.554 * * [simplify]: iteration  116 :  1457  enodes  (cost  9 )
6.662 * * [simplify]: iteration  117 :  1469  enodes  (cost  9 )
6.768 * * [simplify]: iteration  118 :  1481  enodes  (cost  9 )
6.876 * * [simplify]: iteration  119 :  1493  enodes  (cost  9 )
6.983 * * [simplify]: iteration  120 :  1505  enodes  (cost  9 )
7.100 * * [simplify]: iteration  121 :  1517  enodes  (cost  9 )
7.216 * * [simplify]: iteration  122 :  1529  enodes  (cost  9 )
7.326 * * [simplify]: iteration  123 :  1541  enodes  (cost  9 )
7.439 * * [simplify]: iteration  124 :  1553  enodes  (cost  9 )
7.552 * * [simplify]: iteration  125 :  1565  enodes  (cost  9 )
7.667 * * [simplify]: iteration  126 :  1577  enodes  (cost  9 )
7.782 * * [simplify]: iteration  127 :  1589  enodes  (cost  9 )
7.903 * * [simplify]: iteration  128 :  1601  enodes  (cost  9 )
8.019 * * [simplify]: iteration  129 :  1613  enodes  (cost  9 )
8.138 * * [simplify]: iteration  130 :  1625  enodes  (cost  9 )
8.257 * * [simplify]: iteration  131 :  1637  enodes  (cost  9 )
8.383 * * [simplify]: iteration  132 :  1649  enodes  (cost  9 )
8.503 * * [simplify]: iteration  133 :  1661  enodes  (cost  9 )
8.623 * * [simplify]: iteration  134 :  1673  enodes  (cost  9 )
8.753 * * [simplify]: iteration  135 :  1685  enodes  (cost  9 )
8.874 * * [simplify]: iteration  136 :  1697  enodes  (cost  9 )
8.997 * * [simplify]: iteration  137 :  1709  enodes  (cost  9 )
9.128 * * [simplify]: iteration  138 :  1721  enodes  (cost  9 )
9.252 * * [simplify]: iteration  139 :  1733  enodes  (cost  9 )
9.378 * * [simplify]: iteration  140 :  1745  enodes  (cost  9 )
9.506 * * [simplify]: iteration  141 :  1757  enodes  (cost  9 )
9.633 * * [simplify]: iteration  142 :  1769  enodes  (cost  9 )
9.760 * * [simplify]: iteration  143 :  1781  enodes  (cost  9 )
9.888 * * [simplify]: iteration  144 :  1793  enodes  (cost  9 )
10.018 * * [simplify]: iteration  145 :  1805  enodes  (cost  9 )
10.147 * * [simplify]: iteration  146 :  1817  enodes  (cost  9 )
10.278 * * [simplify]: iteration  147 :  1829  enodes  (cost  9 )
10.410 * * [simplify]: iteration  148 :  1841  enodes  (cost  9 )
10.543 * * [simplify]: iteration  149 :  1853  enodes  (cost  9 )
10.677 * * [simplify]: iteration  150 :  1865  enodes  (cost  9 )
10.813 * * [simplify]: iteration  151 :  1877  enodes  (cost  9 )
10.955 * * [simplify]: iteration  152 :  1889  enodes  (cost  9 )
11.091 * * [simplify]: iteration  153 :  1901  enodes  (cost  9 )
11.228 * * [simplify]: iteration  154 :  1913  enodes  (cost  9 )
11.375 * * [simplify]: iteration  155 :  1925  enodes  (cost  9 )
11.513 * * [simplify]: iteration  156 :  1937  enodes  (cost  9 )
11.653 * * [simplify]: iteration  157 :  1949  enodes  (cost  9 )
11.799 * * [simplify]: iteration  158 :  1961  enodes  (cost  9 )
11.941 * * [simplify]: iteration  159 :  1973  enodes  (cost  9 )
12.083 * * [simplify]: iteration  160 :  1985  enodes  (cost  9 )
12.227 * * [simplify]: iteration  161 :  1997  enodes  (cost  9 )
12.371 * * [simplify]: iteration  162 :  2009  enodes  (cost  9 )
12.525 * * [simplify]: iteration  163 :  2021  enodes  (cost  9 )
12.669 * * [simplify]: iteration  164 :  2033  enodes  (cost  9 )
12.816 * * [simplify]: iteration  165 :  2045  enodes  (cost  9 )
12.963 * * [simplify]: iteration  166 :  2057  enodes  (cost  9 )
13.112 * * [simplify]: iteration  167 :  2069  enodes  (cost  9 )
13.261 * * [simplify]: iteration  168 :  2081  enodes  (cost  9 )
13.420 * * [simplify]: iteration  169 :  2093  enodes  (cost  9 )
13.579 * * [simplify]: iteration  170 :  2105  enodes  (cost  9 )
13.738 * * [simplify]: iteration  171 :  2117  enodes  (cost  9 )
13.899 * * [simplify]: iteration  172 :  2129  enodes  (cost  9 )
14.060 * * [simplify]: iteration  173 :  2141  enodes  (cost  9 )
14.216 * * [simplify]: iteration  174 :  2153  enodes  (cost  9 )
14.375 * * [simplify]: iteration  175 :  2165  enodes  (cost  9 )
14.533 * * [simplify]: iteration  176 :  2177  enodes  (cost  9 )
14.693 * * [simplify]: iteration  177 :  2189  enodes  (cost  9 )
14.858 * * [simplify]: iteration  178 :  2201  enodes  (cost  9 )
15.025 * * [simplify]: iteration  179 :  2213  enodes  (cost  9 )
15.190 * * [simplify]: iteration  180 :  2225  enodes  (cost  9 )
15.349 * * [simplify]: iteration  181 :  2237  enodes  (cost  9 )
15.510 * * [simplify]: iteration  182 :  2249  enodes  (cost  9 )
15.673 * * [simplify]: iteration  183 :  2261  enodes  (cost  9 )
15.835 * * [simplify]: iteration  184 :  2273  enodes  (cost  9 )
15.999 * * [simplify]: iteration  185 :  2285  enodes  (cost  9 )
16.172 * * [simplify]: iteration  186 :  2297  enodes  (cost  9 )
16.338 * * [simplify]: iteration  187 :  2309  enodes  (cost  9 )
16.504 * * [simplify]: iteration  188 :  2321  enodes  (cost  9 )
16.672 * * [simplify]: iteration  189 :  2333  enodes  (cost  9 )
16.848 * * [simplify]: iteration  190 :  2345  enodes  (cost  9 )
17.017 * * [simplify]: iteration  191 :  2357  enodes  (cost  9 )
17.188 * * [simplify]: iteration  192 :  2369  enodes  (cost  9 )
17.359 * * [simplify]: iteration  193 :  2381  enodes  (cost  9 )
17.539 * * [simplify]: iteration  194 :  2393  enodes  (cost  9 )
17.711 * * [simplify]: iteration  195 :  2405  enodes  (cost  9 )
17.891 * * [simplify]: iteration  196 :  2417  enodes  (cost  9 )
18.061 * * [simplify]: iteration  197 :  2429  enodes  (cost  9 )
18.234 * * [simplify]: iteration  198 :  2441  enodes  (cost  9 )
18.418 * * [simplify]: iteration  199 :  2453  enodes  (cost  9 )
18.593 * * [simplify]: iteration  200 :  2465  enodes  (cost  9 )
18.783 * * [simplify]: iteration  201 :  2477  enodes  (cost  9 )
18.960 * * [simplify]: iteration  202 :  2489  enodes  (cost  9 )
19.148 * * [simplify]: iteration  203 :  2501  enodes  (cost  9 )
19.320 * * [simplify]: iteration  204 :  2513  enodes  (cost  9 )
19.510 * * [simplify]: iteration  205 :  2525  enodes  (cost  9 )
19.682 * * [simplify]: iteration  206 :  2537  enodes  (cost  9 )
19.874 * * [simplify]: iteration  207 :  2549  enodes  (cost  9 )
20.056 * * [simplify]: iteration  208 :  2561  enodes  (cost  9 )
20.249 * * [simplify]: iteration  209 :  2573  enodes  (cost  9 )
20.434 * * [simplify]: iteration  210 :  2585  enodes  (cost  9 )
20.622 * * [simplify]: iteration  211 :  2597  enodes  (cost  9 )
20.815 * * [simplify]: iteration  212 :  2609  enodes  (cost  9 )
20.999 * * [simplify]: iteration  213 :  2621  enodes  (cost  9 )
21.189 * * [simplify]: iteration  214 :  2633  enodes  (cost  9 )
21.387 * * [simplify]: iteration  215 :  2645  enodes  (cost  9 )
21.575 * * [simplify]: iteration  216 :  2657  enodes  (cost  9 )
21.765 * * [simplify]: iteration  217 :  2669  enodes  (cost  9 )
21.967 * * [simplify]: iteration  218 :  2681  enodes  (cost  9 )
22.160 * * [simplify]: iteration  219 :  2693  enodes  (cost  9 )
22.353 * * [simplify]: iteration  220 :  2705  enodes  (cost  9 )
22.547 * * [simplify]: iteration  221 :  2717  enodes  (cost  9 )
22.750 * * [simplify]: iteration  222 :  2729  enodes  (cost  9 )
22.958 * * [simplify]: iteration  223 :  2741  enodes  (cost  9 )
23.153 * * [simplify]: iteration  224 :  2753  enodes  (cost  9 )
23.351 * * [simplify]: iteration  225 :  2765  enodes  (cost  9 )
23.549 * * [simplify]: iteration  226 :  2777  enodes  (cost  9 )
23.750 * * [simplify]: iteration  227 :  2789  enodes  (cost  9 )
23.950 * * [simplify]: iteration  228 :  2801  enodes  (cost  9 )
24.172 * * [simplify]: iteration  229 :  2813  enodes  (cost  9 )
24.384 * * [simplify]: iteration  230 :  2825  enodes  (cost  9 )
24.594 * * [simplify]: iteration  231 :  2837  enodes  (cost  9 )
24.804 * * [simplify]: iteration  232 :  2849  enodes  (cost  9 )
25.014 * * [simplify]: iteration  233 :  2861  enodes  (cost  9 )
25.224 * * [simplify]: iteration  234 :  2873  enodes  (cost  9 )
25.436 * * [simplify]: iteration  235 :  2885  enodes  (cost  9 )
25.648 * * [simplify]: iteration  236 :  2897  enodes  (cost  9 )
25.862 * * [simplify]: iteration  237 :  2909  enodes  (cost  9 )
26.067 * * [simplify]: iteration  238 :  2921  enodes  (cost  9 )
26.275 * * [simplify]: iteration  239 :  2933  enodes  (cost  9 )
26.485 * * [simplify]: iteration  240 :  2945  enodes  (cost  9 )
26.694 * * [simplify]: iteration  241 :  2957  enodes  (cost  9 )
26.903 * * [simplify]: iteration  242 :  2969  enodes  (cost  9 )
27.122 * * [simplify]: iteration  243 :  2981  enodes  (cost  9 )
27.337 * * [simplify]: iteration  244 :  2993  enodes  (cost  9 )
27.555 * * [simplify]: iteration  245 :  3005  enodes  (cost  9 )
27.767 * * [simplify]: iteration  246 :  3017  enodes  (cost  9 )
27.983 * * [simplify]: iteration  247 :  3029  enodes  (cost  9 )
28.207 * * [simplify]: iteration  248 :  3041  enodes  (cost  9 )
28.427 * * [simplify]: iteration  249 :  3053  enodes  (cost  9 )
28.643 * * [simplify]: iteration  250 :  3065  enodes  (cost  9 )
28.861 * * [simplify]: iteration  251 :  3077  enodes  (cost  9 )
29.089 * * [simplify]: iteration  252 :  3089  enodes  (cost  9 )
29.308 * * [simplify]: iteration  253 :  3101  enodes  (cost  9 )
29.527 * * [simplify]: iteration  254 :  3113  enodes  (cost  9 )
29.756 * * [simplify]: iteration  255 :  3125  enodes  (cost  9 )
29.977 * * [simplify]: iteration  256 :  3137  enodes  (cost  9 )
30.200 * * [simplify]: iteration  257 :  3149  enodes  (cost  9 )
30.433 * * [simplify]: iteration  258 :  3161  enodes  (cost  9 )
30.656 * * [simplify]: iteration  259 :  3173  enodes  (cost  9 )
30.891 * * [simplify]: iteration  260 :  3185  enodes  (cost  9 )
31.117 * * [simplify]: iteration  261 :  3197  enodes  (cost  9 )
31.352 * * [simplify]: iteration  262 :  3209  enodes  (cost  9 )
31.577 * * [simplify]: iteration  263 :  3221  enodes  (cost  9 )
31.813 * * [simplify]: iteration  264 :  3233  enodes  (cost  9 )
32.040 * * [simplify]: iteration  265 :  3245  enodes  (cost  9 )
32.280 * * [simplify]: iteration  266 :  3257  enodes  (cost  9 )
32.511 * * [simplify]: iteration  267 :  3269  enodes  (cost  9 )
32.752 * * [simplify]: iteration  268 :  3281  enodes  (cost  9 )
32.986 * * [simplify]: iteration  269 :  3293  enodes  (cost  9 )
33.219 * * [simplify]: iteration  270 :  3305  enodes  (cost  9 )
33.464 * * [simplify]: iteration  271 :  3317  enodes  (cost  9 )
33.698 * * [simplify]: iteration  272 :  3329  enodes  (cost  9 )
33.943 * * [simplify]: iteration  273 :  3341  enodes  (cost  9 )
34.188 * * [simplify]: iteration  274 :  3353  enodes  (cost  9 )
34.420 * * [simplify]: iteration  275 :  3365  enodes  (cost  9 )
34.659 * * [simplify]: iteration  276 :  3377  enodes  (cost  9 )
34.909 * * [simplify]: iteration  277 :  3389  enodes  (cost  9 )
35.149 * * [simplify]: iteration  278 :  3401  enodes  (cost  9 )
35.392 * * [simplify]: iteration  279 :  3413  enodes  (cost  9 )
35.634 * * [simplify]: iteration  280 :  3425  enodes  (cost  9 )
35.889 * * [simplify]: iteration  281 :  3437  enodes  (cost  9 )
36.144 * * [simplify]: iteration  282 :  3449  enodes  (cost  9 )
36.386 * * [simplify]: iteration  283 :  3461  enodes  (cost  9 )
36.634 * * [simplify]: iteration  284 :  3473  enodes  (cost  9 )
36.881 * * [simplify]: iteration  285 :  3485  enodes  (cost  9 )
37.129 * * [simplify]: iteration  286 :  3497  enodes  (cost  9 )
37.389 * * [simplify]: iteration  287 :  3509  enodes  (cost  9 )
37.649 * * [simplify]: iteration  288 :  3521  enodes  (cost  9 )
37.909 * * [simplify]: iteration  289 :  3533  enodes  (cost  9 )
38.171 * * [simplify]: iteration  290 :  3545  enodes  (cost  9 )
38.434 * * [simplify]: iteration  291 :  3557  enodes  (cost  9 )
38.696 * * [simplify]: iteration  292 :  3569  enodes  (cost  9 )
38.960 * * [simplify]: iteration  293 :  3581  enodes  (cost  9 )
39.225 * * [simplify]: iteration  294 :  3593  enodes  (cost  9 )
39.490 * * [simplify]: iteration  295 :  3605  enodes  (cost  9 )
39.757 * * [simplify]: iteration  296 :  3617  enodes  (cost  9 )
40.028 * * [simplify]: iteration  297 :  3629  enodes  (cost  9 )
40.295 * * [simplify]: iteration  298 :  3641  enodes  (cost  9 )
40.563 * * [simplify]: iteration  299 :  3653  enodes  (cost  9 )
40.824 * * [simplify]: iteration  300 :  3665  enodes  (cost  9 )
41.088 * * [simplify]: iteration  301 :  3677  enodes  (cost  9 )
41.351 * * [simplify]: iteration  302 :  3689  enodes  (cost  9 )
41.626 * * [simplify]: iteration  303 :  3701  enodes  (cost  9 )
41.894 * * [simplify]: iteration  304 :  3713  enodes  (cost  9 )
42.173 * * [simplify]: iteration  305 :  3725  enodes  (cost  9 )
42.439 * * [simplify]: iteration  306 :  3737  enodes  (cost  9 )
42.705 * * [simplify]: iteration  307 :  3749  enodes  (cost  9 )
42.984 * * [simplify]: iteration  308 :  3761  enodes  (cost  9 )
43.258 * * [simplify]: iteration  309 :  3773  enodes  (cost  9 )
43.526 * * [simplify]: iteration  310 :  3785  enodes  (cost  9 )
43.796 * * [simplify]: iteration  311 :  3797  enodes  (cost  9 )
44.079 * * [simplify]: iteration  312 :  3809  enodes  (cost  9 )
44.351 * * [simplify]: iteration  313 :  3821  enodes  (cost  9 )
44.622 * * [simplify]: iteration  314 :  3833  enodes  (cost  9 )
44.907 * * [simplify]: iteration  315 :  3845  enodes  (cost  9 )
45.183 * * [simplify]: iteration  316 :  3857  enodes  (cost  9 )
45.471 * * [simplify]: iteration  317 :  3869  enodes  (cost  9 )
45.744 * * [simplify]: iteration  318 :  3881  enodes  (cost  9 )
46.020 * * [simplify]: iteration  319 :  3893  enodes  (cost  9 )
46.308 * * [simplify]: iteration  320 :  3905  enodes  (cost  9 )
46.588 * * [simplify]: iteration  321 :  3917  enodes  (cost  9 )
46.877 * * [simplify]: iteration  322 :  3929  enodes  (cost  9 )
47.158 * * [simplify]: iteration  323 :  3941  enodes  (cost  9 )
47.449 * * [simplify]: iteration  324 :  3953  enodes  (cost  9 )
47.731 * * [simplify]: iteration  325 :  3965  enodes  (cost  9 )
48.020 * * [simplify]: iteration  326 :  3977  enodes  (cost  9 )
48.315 * * [simplify]: iteration  327 :  3989  enodes  (cost  9 )
48.593 * * [simplify]: iteration  328 :  4001  enodes  (cost  9 )
48.891 * * [simplify]: iteration  329 :  4013  enodes  (cost  9 )
49.179 * * [simplify]: iteration  330 :  4025  enodes  (cost  9 )
49.467 * * [simplify]: iteration  331 :  4037  enodes  (cost  9 )
49.769 * * [simplify]: iteration  332 :  4049  enodes  (cost  9 )
50.058 * * [simplify]: iteration  333 :  4061  enodes  (cost  9 )
50.351 * * [simplify]: iteration  334 :  4073  enodes  (cost  9 )
50.655 * * [simplify]: iteration  335 :  4085  enodes  (cost  9 )
50.948 * * [simplify]: iteration  336 :  4097  enodes  (cost  9 )
51.242 * * [simplify]: iteration  337 :  4109  enodes  (cost  9 )
51.543 * * [simplify]: iteration  338 :  4121  enodes  (cost  9 )
51.851 * * [simplify]: iteration  339 :  4133  enodes  (cost  9 )
52.156 * * [simplify]: iteration  340 :  4145  enodes  (cost  9 )
52.761 * * [simplify]: iteration  341 :  4157  enodes  (cost  9 )
53.057 * * [simplify]: iteration  342 :  4169  enodes  (cost  9 )
53.356 * * [simplify]: iteration  343 :  4181  enodes  (cost  9 )
53.665 * * [simplify]: iteration  344 :  4193  enodes  (cost  9 )
53.975 * * [simplify]: iteration  345 :  4205  enodes  (cost  9 )
54.284 * * [simplify]: iteration  346 :  4217  enodes  (cost  9 )
54.595 * * [simplify]: iteration  347 :  4229  enodes  (cost  9 )
54.901 * * [simplify]: iteration  348 :  4241  enodes  (cost  9 )
55.198 * * [simplify]: iteration  349 :  4253  enodes  (cost  9 )
55.501 * * [simplify]: iteration  350 :  4265  enodes  (cost  9 )
55.804 * * [simplify]: iteration  351 :  4277  enodes  (cost  9 )
56.109 * * [simplify]: iteration  352 :  4289  enodes  (cost  9 )
56.414 * * [simplify]: iteration  353 :  4301  enodes  (cost  9 )
56.720 * * [simplify]: iteration  354 :  4313  enodes  (cost  9 )
57.028 * * [simplify]: iteration  355 :  4325  enodes  (cost  9 )
57.346 * * [simplify]: iteration  356 :  4337  enodes  (cost  9 )
57.662 * * [simplify]: iteration  357 :  4349  enodes  (cost  9 )
57.979 * * [simplify]: iteration  358 :  4361  enodes  (cost  9 )
58.301 * * [simplify]: iteration  359 :  4373  enodes  (cost  9 )
58.620 * * [simplify]: iteration  360 :  4385  enodes  (cost  9 )
58.931 * * [simplify]: iteration  361 :  4397  enodes  (cost  9 )
59.244 * * [simplify]: iteration  362 :  4409  enodes  (cost  9 )
59.559 * * [simplify]: iteration  363 :  4421  enodes  (cost  9 )
59.884 * * [simplify]: iteration  364 :  4433  enodes  (cost  9 )
60.209 * * [simplify]: iteration  365 :  4445  enodes  (cost  9 )
60.523 * * [simplify]: iteration  366 :  4457  enodes  (cost  9 )
60.842 * * [simplify]: iteration  367 :  4469  enodes  (cost  9 )
61.169 * * [simplify]: iteration  368 :  4481  enodes  (cost  9 )
61.498 * * [simplify]: iteration  369 :  4493  enodes  (cost  9 )
61.816 * * [simplify]: iteration  370 :  4505  enodes  (cost  9 )
62.149 * * [simplify]: iteration  371 :  4517  enodes  (cost  9 )
62.474 * * [simplify]: iteration  372 :  4529  enodes  (cost  9 )
62.798 * * [simplify]: iteration  373 :  4541  enodes  (cost  9 )
63.131 * * [simplify]: iteration  374 :  4553  enodes  (cost  9 )
63.459 * * [simplify]: iteration  375 :  4565  enodes  (cost  9 )
63.784 * * [simplify]: iteration  376 :  4577  enodes  (cost  9 )
64.123 * * [simplify]: iteration  377 :  4589  enodes  (cost  9 )
64.451 * * [simplify]: iteration  378 :  4601  enodes  (cost  9 )
64.793 * * [simplify]: iteration  379 :  4613  enodes  (cost  9 )
65.122 * * [simplify]: iteration  380 :  4625  enodes  (cost  9 )
65.462 * * [simplify]: iteration  381 :  4637  enodes  (cost  9 )
65.791 * * [simplify]: iteration  382 :  4649  enodes  (cost  9 )
66.133 * * [simplify]: iteration  383 :  4661  enodes  (cost  9 )
66.459 * * [simplify]: iteration  384 :  4673  enodes  (cost  9 )
66.806 * * [simplify]: iteration  385 :  4685  enodes  (cost  9 )
67.137 * * [simplify]: iteration  386 :  4697  enodes  (cost  9 )
67.482 * * [simplify]: iteration  387 :  4709  enodes  (cost  9 )
67.814 * * [simplify]: iteration  388 :  4721  enodes  (cost  9 )
68.157 * * [simplify]: iteration  389 :  4733  enodes  (cost  9 )
68.504 * * [simplify]: iteration  390 :  4745  enodes  (cost  9 )
68.839 * * [simplify]: iteration  391 :  4757  enodes  (cost  9 )
69.187 * * [simplify]: iteration  392 :  4769  enodes  (cost  9 )
69.538 * * [simplify]: iteration  393 :  4781  enodes  (cost  9 )
69.874 * * [simplify]: iteration  394 :  4793  enodes  (cost  9 )
70.216 * * [simplify]: iteration  395 :  4805  enodes  (cost  9 )
70.569 * * [simplify]: iteration  396 :  4817  enodes  (cost  9 )
70.922 * * [simplify]: iteration  397 :  4829  enodes  (cost  9 )
71.262 * * [simplify]: iteration  398 :  4841  enodes  (cost  9 )
71.605 * * [simplify]: iteration  399 :  4853  enodes  (cost  9 )
71.963 * * [simplify]: iteration  400 :  4865  enodes  (cost  9 )
72.321 * * [simplify]: iteration  401 :  4877  enodes  (cost  9 )
72.681 * * [simplify]: iteration  402 :  4889  enodes  (cost  9 )
73.040 * * [simplify]: iteration  403 :  4901  enodes  (cost  9 )
73.380 * * [simplify]: iteration  404 :  4913  enodes  (cost  9 )
73.731 * * [simplify]: iteration  405 :  4925  enodes  (cost  9 )
74.082 * * [simplify]: iteration  406 :  4937  enodes  (cost  9 )
74.433 * * [simplify]: iteration  407 :  4949  enodes  (cost  9 )
74.798 * * [simplify]: iteration  408 :  4961  enodes  (cost  9 )
75.165 * * [simplify]: iteration  409 :  4973  enodes  (cost  9 )
75.529 * * [simplify]: iteration  410 :  4985  enodes  (cost  9 )
75.897 * * [simplify]: iteration  411 :  4997  enodes  (cost  9 )
76.250 * * [simplify]: iteration  done :  5001  enodes  (cost  9 )
76.250 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
76.251 * * [progress]: iteration 1 / 4
76.251 * * * [progress]: picking best candidate
76.254 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))>
76.254 * * * [progress]: localizing error
76.263 * * * [progress]: generating rewritten candidates
76.263 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2)
76.269 * * * * [progress]: [ 2 / 2 ] rewriting at (2)
76.276 * * * [progress]: generating series expansions
76.276 * * * * [progress]: [ 1 / 2 ] generating series at (2 2)
76.276 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0
76.276 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
76.276 * [taylor]: Taking taylor expansion of z in y
76.276 * [taylor]: Taking taylor expansion of (sin y) in y
76.276 * [taylor]: Taking taylor expansion of y in y
76.276 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
76.276 * [taylor]: Taking taylor expansion of z in z
76.277 * [taylor]: Taking taylor expansion of (sin y) in z
76.277 * [taylor]: Taking taylor expansion of y in z
76.277 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
76.277 * [taylor]: Taking taylor expansion of z in z
76.277 * [taylor]: Taking taylor expansion of (sin y) in z
76.277 * [taylor]: Taking taylor expansion of y in z
76.277 * [taylor]: Taking taylor expansion of 0 in y
76.278 * [taylor]: Taking taylor expansion of (sin y) in y
76.278 * [taylor]: Taking taylor expansion of y in y
76.278 * [taylor]: Taking taylor expansion of 0 in y
76.279 * [taylor]: Taking taylor expansion of 0 in y
76.280 * [taylor]: Taking taylor expansion of 0 in y
76.280 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0
76.280 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
76.280 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.280 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.280 * [taylor]: Taking taylor expansion of y in y
76.280 * [taylor]: Taking taylor expansion of z in y
76.280 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.280 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.280 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.280 * [taylor]: Taking taylor expansion of y in z
76.280 * [taylor]: Taking taylor expansion of z in z
76.281 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.281 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.281 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.281 * [taylor]: Taking taylor expansion of y in z
76.281 * [taylor]: Taking taylor expansion of z in z
76.281 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.281 * [taylor]: Taking taylor expansion of y in y
76.281 * [taylor]: Taking taylor expansion of 0 in y
76.282 * [taylor]: Taking taylor expansion of 0 in y
76.282 * [taylor]: Taking taylor expansion of 0 in y
76.282 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0
76.282 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y
76.282 * [taylor]: Taking taylor expansion of -1 in y
76.283 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
76.283 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.283 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.283 * [taylor]: Taking taylor expansion of -1 in y
76.283 * [taylor]: Taking taylor expansion of y in y
76.283 * [taylor]: Taking taylor expansion of z in y
76.283 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
76.283 * [taylor]: Taking taylor expansion of -1 in z
76.283 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.283 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.283 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.283 * [taylor]: Taking taylor expansion of -1 in z
76.283 * [taylor]: Taking taylor expansion of y in z
76.283 * [taylor]: Taking taylor expansion of z in z
76.283 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z
76.283 * [taylor]: Taking taylor expansion of -1 in z
76.283 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.283 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.283 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.283 * [taylor]: Taking taylor expansion of -1 in z
76.283 * [taylor]: Taking taylor expansion of y in z
76.283 * [taylor]: Taking taylor expansion of z in z
76.283 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y
76.283 * [taylor]: Taking taylor expansion of -1 in y
76.283 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.284 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.284 * [taylor]: Taking taylor expansion of -1 in y
76.284 * [taylor]: Taking taylor expansion of y in y
76.284 * [taylor]: Taking taylor expansion of 0 in y
76.285 * [taylor]: Taking taylor expansion of 0 in y
76.285 * [taylor]: Taking taylor expansion of 0 in y
76.285 * * * * [progress]: [ 2 / 2 ] generating series at (2)
76.286 * [approximate]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in (x y z) around 0
76.286 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in z
76.286 * [taylor]: Taking taylor expansion of (+ (cos y) x) in z
76.286 * [taylor]: Taking taylor expansion of (cos y) in z
76.286 * [taylor]: Taking taylor expansion of y in z
76.286 * [taylor]: Taking taylor expansion of x in z
76.286 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
76.286 * [taylor]: Taking taylor expansion of z in z
76.286 * [taylor]: Taking taylor expansion of (sin y) in z
76.286 * [taylor]: Taking taylor expansion of y in z
76.286 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in y
76.286 * [taylor]: Taking taylor expansion of (+ (cos y) x) in y
76.286 * [taylor]: Taking taylor expansion of (cos y) in y
76.286 * [taylor]: Taking taylor expansion of y in y
76.286 * [taylor]: Taking taylor expansion of x in y
76.286 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
76.286 * [taylor]: Taking taylor expansion of z in y
76.286 * [taylor]: Taking taylor expansion of (sin y) in y
76.286 * [taylor]: Taking taylor expansion of y in y
76.286 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
76.286 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
76.286 * [taylor]: Taking taylor expansion of (cos y) in x
76.286 * [taylor]: Taking taylor expansion of y in x
76.286 * [taylor]: Taking taylor expansion of x in x
76.286 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
76.286 * [taylor]: Taking taylor expansion of z in x
76.286 * [taylor]: Taking taylor expansion of (sin y) in x
76.286 * [taylor]: Taking taylor expansion of y in x
76.286 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x
76.286 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x
76.286 * [taylor]: Taking taylor expansion of (cos y) in x
76.286 * [taylor]: Taking taylor expansion of y in x
76.286 * [taylor]: Taking taylor expansion of x in x
76.286 * [taylor]: Taking taylor expansion of (* z (sin y)) in x
76.286 * [taylor]: Taking taylor expansion of z in x
76.286 * [taylor]: Taking taylor expansion of (sin y) in x
76.286 * [taylor]: Taking taylor expansion of y in x
76.287 * [taylor]: Taking taylor expansion of (- (cos y) (* z (sin y))) in y
76.287 * [taylor]: Taking taylor expansion of (cos y) in y
76.287 * [taylor]: Taking taylor expansion of y in y
76.287 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
76.287 * [taylor]: Taking taylor expansion of z in y
76.287 * [taylor]: Taking taylor expansion of (sin y) in y
76.287 * [taylor]: Taking taylor expansion of y in y
76.287 * [taylor]: Taking taylor expansion of 1 in z
76.288 * [taylor]: Taking taylor expansion of 1 in y
76.288 * [taylor]: Taking taylor expansion of 1 in z
76.288 * [taylor]: Taking taylor expansion of (neg z) in z
76.288 * [taylor]: Taking taylor expansion of z in z
76.288 * [taylor]: Taking taylor expansion of 0 in y
76.288 * [taylor]: Taking taylor expansion of 0 in z
76.289 * [taylor]: Taking taylor expansion of 0 in z
76.289 * [taylor]: Taking taylor expansion of (neg 1/2) in z
76.289 * [taylor]: Taking taylor expansion of 1/2 in z
76.289 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0
76.289 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z
76.289 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z
76.289 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
76.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.289 * [taylor]: Taking taylor expansion of y in z
76.289 * [taylor]: Taking taylor expansion of (/ 1 x) in z
76.289 * [taylor]: Taking taylor expansion of x in z
76.289 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.289 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.289 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.289 * [taylor]: Taking taylor expansion of y in z
76.290 * [taylor]: Taking taylor expansion of z in z
76.290 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y
76.290 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y
76.290 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
76.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.290 * [taylor]: Taking taylor expansion of y in y
76.290 * [taylor]: Taking taylor expansion of (/ 1 x) in y
76.290 * [taylor]: Taking taylor expansion of x in y
76.290 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
76.290 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.290 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.290 * [taylor]: Taking taylor expansion of y in y
76.290 * [taylor]: Taking taylor expansion of z in y
76.290 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
76.290 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
76.290 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
76.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x
76.290 * [taylor]: Taking taylor expansion of y in x
76.290 * [taylor]: Taking taylor expansion of (/ 1 x) in x
76.290 * [taylor]: Taking taylor expansion of x in x
76.290 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
76.290 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
76.290 * [taylor]: Taking taylor expansion of (/ 1 y) in x
76.290 * [taylor]: Taking taylor expansion of y in x
76.290 * [taylor]: Taking taylor expansion of z in x
76.291 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x
76.291 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x
76.291 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x
76.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
76.291 * [taylor]: Taking taylor expansion of y in x
76.291 * [taylor]: Taking taylor expansion of (/ 1 x) in x
76.291 * [taylor]: Taking taylor expansion of x in x
76.291 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x
76.291 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x
76.291 * [taylor]: Taking taylor expansion of (/ 1 y) in x
76.291 * [taylor]: Taking taylor expansion of y in x
76.291 * [taylor]: Taking taylor expansion of z in x
76.291 * [taylor]: Taking taylor expansion of 1 in y
76.291 * [taylor]: Taking taylor expansion of 1 in z
76.292 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y
76.292 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y
76.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.292 * [taylor]: Taking taylor expansion of y in y
76.292 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
76.292 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.292 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.292 * [taylor]: Taking taylor expansion of y in y
76.292 * [taylor]: Taking taylor expansion of z in y
76.292 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z
76.292 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z
76.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.292 * [taylor]: Taking taylor expansion of y in z
76.292 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.292 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.292 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.292 * [taylor]: Taking taylor expansion of y in z
76.292 * [taylor]: Taking taylor expansion of z in z
76.293 * [taylor]: Taking taylor expansion of 0 in z
76.293 * [taylor]: Taking taylor expansion of 0 in y
76.293 * [taylor]: Taking taylor expansion of 0 in z
76.293 * [taylor]: Taking taylor expansion of 0 in z
76.293 * [taylor]: Taking taylor expansion of 0 in z
76.294 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0
76.294 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z
76.294 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
76.294 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
76.294 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.294 * [taylor]: Taking taylor expansion of -1 in z
76.294 * [taylor]: Taking taylor expansion of y in z
76.294 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.294 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.294 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.294 * [taylor]: Taking taylor expansion of -1 in z
76.294 * [taylor]: Taking taylor expansion of y in z
76.295 * [taylor]: Taking taylor expansion of z in z
76.295 * [taylor]: Taking taylor expansion of (/ 1 x) in z
76.295 * [taylor]: Taking taylor expansion of x in z
76.295 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y
76.295 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
76.295 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
76.295 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.295 * [taylor]: Taking taylor expansion of -1 in y
76.295 * [taylor]: Taking taylor expansion of y in y
76.295 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
76.295 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.295 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.295 * [taylor]: Taking taylor expansion of -1 in y
76.295 * [taylor]: Taking taylor expansion of y in y
76.295 * [taylor]: Taking taylor expansion of z in y
76.295 * [taylor]: Taking taylor expansion of (/ 1 x) in y
76.295 * [taylor]: Taking taylor expansion of x in y
76.295 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
76.295 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
76.295 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
76.295 * [taylor]: Taking taylor expansion of (/ -1 y) in x
76.295 * [taylor]: Taking taylor expansion of -1 in x
76.295 * [taylor]: Taking taylor expansion of y in x
76.295 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
76.295 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
76.295 * [taylor]: Taking taylor expansion of (/ -1 y) in x
76.295 * [taylor]: Taking taylor expansion of -1 in x
76.295 * [taylor]: Taking taylor expansion of y in x
76.295 * [taylor]: Taking taylor expansion of z in x
76.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
76.296 * [taylor]: Taking taylor expansion of x in x
76.296 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x
76.296 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x
76.296 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x
76.296 * [taylor]: Taking taylor expansion of (/ -1 y) in x
76.296 * [taylor]: Taking taylor expansion of -1 in x
76.296 * [taylor]: Taking taylor expansion of y in x
76.296 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x
76.296 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x
76.296 * [taylor]: Taking taylor expansion of (/ -1 y) in x
76.296 * [taylor]: Taking taylor expansion of -1 in x
76.296 * [taylor]: Taking taylor expansion of y in x
76.296 * [taylor]: Taking taylor expansion of z in x
76.296 * [taylor]: Taking taylor expansion of (/ 1 x) in x
76.296 * [taylor]: Taking taylor expansion of x in x
76.296 * [taylor]: Taking taylor expansion of (neg 1) in y
76.296 * [taylor]: Taking taylor expansion of 1 in y
76.296 * [taylor]: Taking taylor expansion of (neg 1) in z
76.296 * [taylor]: Taking taylor expansion of 1 in z
76.297 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y
76.297 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y
76.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.297 * [taylor]: Taking taylor expansion of -1 in y
76.297 * [taylor]: Taking taylor expansion of y in y
76.297 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
76.297 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.297 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.297 * [taylor]: Taking taylor expansion of -1 in y
76.297 * [taylor]: Taking taylor expansion of y in y
76.297 * [taylor]: Taking taylor expansion of z in y
76.297 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z
76.297 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z
76.297 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.297 * [taylor]: Taking taylor expansion of -1 in z
76.297 * [taylor]: Taking taylor expansion of y in z
76.297 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.297 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.297 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.297 * [taylor]: Taking taylor expansion of -1 in z
76.297 * [taylor]: Taking taylor expansion of y in z
76.297 * [taylor]: Taking taylor expansion of z in z
76.298 * [taylor]: Taking taylor expansion of 0 in z
76.298 * [taylor]: Taking taylor expansion of 0 in y
76.298 * [taylor]: Taking taylor expansion of 0 in z
76.298 * [taylor]: Taking taylor expansion of 0 in z
76.298 * [taylor]: Taking taylor expansion of 0 in z
76.299 * * * [progress]: simplifying candidates
76.300 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (* z (sin y))
  (+ (log z) (log (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (* (* (* z z) z) (* (* (sin y) (sin y)) (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (* (* (* z (sin y)) (* z (sin y))) (* z (sin y)))
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  (* z 1)
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (/ (* (exp x) (exp (cos y))) (exp (* z (sin y))))
  (/ (exp (+ x (cos y))) (exp (* z (sin y))))
  (log (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
  (cbrt (- (+ x (cos y)) (* z (sin y))))
  (* (* (- (+ x (cos y)) (* z (sin y))) (- (+ x (cos y)) (* z (sin y)))) (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (+ x (cos y)) (+ x (cos y))) (+ (* (* z (sin y)) (* z (sin y))) (* (+ x (cos y)) (* z (sin y)))))
  (neg (* z (sin y)))
  (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (+ x (cos y)) (* z (sin y)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ 1 x) (* 1/2 (pow y 2)))
  (- (+ (cos y) x) (* z (sin y)))
  (- (+ (cos y) x) (* z (sin y)))
76.302 * * [simplify]: iteration  0 :  69  enodes  (cost  365 )
76.311 * * [simplify]: iteration  1 :  160  enodes  (cost  348 )
76.349 * * [simplify]: iteration  2 :  450  enodes  (cost  320 )
76.455 * * [simplify]: iteration  3 :  1458  enodes  (cost  320 )
76.878 * * [simplify]: iteration  done :  5000  enodes  (cost  320 )
76.878 * [simplify]: Simplified to:
   (* z (sin y))
  (log (* z (sin y)))
  (log (* z (sin y)))
  (exp (* z (sin y)))
  (pow (* z (sin y)) 3)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (cbrt (* z (sin y)))
  (pow (* z (sin y)) 3)
  (sqrt (* z (sin y)))
  (sqrt (* z (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* (sqrt z) (sqrt (sin y)))
  (* z (* (cbrt (sin y)) (cbrt (sin y))))
  (* z (sqrt (sin y)))
  z
  (* (cbrt z) (sin y))
  (* (sqrt z) (sin y))
  (* z (sin y))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (log (- (+ x (cos y)) (* z (sin y))))
  (exp (- (+ x (cos y)) (* z (sin y))))
  (* (cbrt (- (+ x (cos y)) (* z (sin y)))) (cbrt (- (+ x (cos y)) (* z (sin y)))))
  (cbrt (- (+ x (cos y)) (* z (sin y))))
  (pow (- (+ x (cos y)) (* z (sin y))) 3)
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (sqrt (- (+ x (cos y)) (* z (sin y))))
  (- (pow (+ x (cos y)) 3) (pow (* z (sin y)) 3))
  (+ (* (* z (sin y)) (+ (+ x (cos y)) (* z (sin y)))) (* (+ x (cos y)) (+ x (cos y))))
  (neg (* z (sin y)))
  (- (* (+ x (cos y)) (+ x (cos y))) (* (* z (sin y)) (* z (sin y))))
  (+ (+ x (cos y)) (* z (sin y)))
  (- (cos y) (* z (sin y)))
  (neg (* z (sin y)))
  (* z y)
  (* z (sin y))
  (* z (sin y))
  (- (+ 1 x) (* 1/2 (pow y 2)))
  (- (+ x (cos y)) (* z (sin y)))
  (- (+ x (cos y)) (* z (sin y)))
76.886 * * * [progress]: adding candidates to table
76.922 * * [progress]: iteration 2 / 4
76.922 * * * [progress]: picking best candidate
76.941 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))>
76.941 * * * [progress]: localizing error
76.954 * * * [progress]: generating rewritten candidates
76.954 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
76.963 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2)
76.966 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1)
76.969 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1)
76.977 * * * [progress]: generating series expansions
76.977 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
76.977 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
76.977 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
76.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
76.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
76.977 * [taylor]: Taking taylor expansion of 1/3 in y
76.977 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
76.977 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
76.977 * [taylor]: Taking taylor expansion of z in y
76.977 * [taylor]: Taking taylor expansion of (sin y) in y
76.977 * [taylor]: Taking taylor expansion of y in y
76.977 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
76.977 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
76.977 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
76.977 * [taylor]: Taking taylor expansion of 1/3 in z
76.977 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
76.977 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
76.977 * [taylor]: Taking taylor expansion of z in z
76.977 * [taylor]: Taking taylor expansion of (sin y) in z
76.977 * [taylor]: Taking taylor expansion of y in z
76.978 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
76.978 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
76.978 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
76.978 * [taylor]: Taking taylor expansion of 1/3 in z
76.978 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
76.978 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
76.978 * [taylor]: Taking taylor expansion of z in z
76.978 * [taylor]: Taking taylor expansion of (sin y) in z
76.978 * [taylor]: Taking taylor expansion of y in z
76.979 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
76.979 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
76.979 * [taylor]: Taking taylor expansion of 1/3 in y
76.979 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
76.979 * [taylor]: Taking taylor expansion of (log (sin y)) in y
76.979 * [taylor]: Taking taylor expansion of (sin y) in y
76.979 * [taylor]: Taking taylor expansion of y in y
76.979 * [taylor]: Taking taylor expansion of (log z) in y
76.979 * [taylor]: Taking taylor expansion of z in y
76.980 * [taylor]: Taking taylor expansion of 0 in y
76.981 * [taylor]: Taking taylor expansion of 0 in y
76.984 * [taylor]: Taking taylor expansion of 0 in y
76.987 * [taylor]: Taking taylor expansion of 0 in y
76.988 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
76.988 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
76.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
76.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
76.988 * [taylor]: Taking taylor expansion of 1/3 in y
76.988 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
76.988 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
76.988 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.988 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.988 * [taylor]: Taking taylor expansion of y in y
76.988 * [taylor]: Taking taylor expansion of z in y
76.988 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
76.988 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
76.988 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
76.988 * [taylor]: Taking taylor expansion of 1/3 in z
76.988 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
76.988 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.988 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.988 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.988 * [taylor]: Taking taylor expansion of y in z
76.988 * [taylor]: Taking taylor expansion of z in z
76.989 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
76.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
76.989 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
76.989 * [taylor]: Taking taylor expansion of 1/3 in z
76.989 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
76.989 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
76.989 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
76.989 * [taylor]: Taking taylor expansion of (/ 1 y) in z
76.989 * [taylor]: Taking taylor expansion of y in z
76.989 * [taylor]: Taking taylor expansion of z in z
76.989 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
76.989 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
76.989 * [taylor]: Taking taylor expansion of 1/3 in y
76.990 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
76.990 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
76.990 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
76.990 * [taylor]: Taking taylor expansion of (/ 1 y) in y
76.990 * [taylor]: Taking taylor expansion of y in y
76.990 * [taylor]: Taking taylor expansion of (log z) in y
76.990 * [taylor]: Taking taylor expansion of z in y
76.991 * [taylor]: Taking taylor expansion of 0 in y
76.992 * [taylor]: Taking taylor expansion of 0 in y
76.995 * [taylor]: Taking taylor expansion of 0 in y
76.995 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
76.995 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
76.995 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
76.995 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
76.995 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
76.995 * [taylor]: Taking taylor expansion of 1/3 in y
76.995 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
76.995 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
76.995 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.995 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.995 * [taylor]: Taking taylor expansion of -1 in y
76.995 * [taylor]: Taking taylor expansion of y in y
76.995 * [taylor]: Taking taylor expansion of z in y
76.995 * [taylor]: Taking taylor expansion of (cbrt -1) in y
76.995 * [taylor]: Taking taylor expansion of -1 in y
76.995 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
76.996 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
76.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
76.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
76.996 * [taylor]: Taking taylor expansion of 1/3 in z
76.996 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
76.996 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.996 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.996 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.996 * [taylor]: Taking taylor expansion of -1 in z
76.996 * [taylor]: Taking taylor expansion of y in z
76.996 * [taylor]: Taking taylor expansion of z in z
76.996 * [taylor]: Taking taylor expansion of (cbrt -1) in z
76.996 * [taylor]: Taking taylor expansion of -1 in z
76.996 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
76.996 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
76.996 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
76.996 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
76.996 * [taylor]: Taking taylor expansion of 1/3 in z
76.996 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
76.996 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
76.996 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
76.996 * [taylor]: Taking taylor expansion of (/ -1 y) in z
76.996 * [taylor]: Taking taylor expansion of -1 in z
76.996 * [taylor]: Taking taylor expansion of y in z
76.997 * [taylor]: Taking taylor expansion of z in z
76.997 * [taylor]: Taking taylor expansion of (cbrt -1) in z
76.997 * [taylor]: Taking taylor expansion of -1 in z
76.997 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
76.997 * [taylor]: Taking taylor expansion of (cbrt -1) in y
76.997 * [taylor]: Taking taylor expansion of -1 in y
76.997 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
76.997 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
76.997 * [taylor]: Taking taylor expansion of 1/3 in y
76.997 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
76.997 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
76.997 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
76.997 * [taylor]: Taking taylor expansion of (/ -1 y) in y
76.998 * [taylor]: Taking taylor expansion of -1 in y
76.998 * [taylor]: Taking taylor expansion of y in y
76.998 * [taylor]: Taking taylor expansion of (log z) in y
76.998 * [taylor]: Taking taylor expansion of z in y
76.999 * [taylor]: Taking taylor expansion of 0 in y
77.001 * [taylor]: Taking taylor expansion of 0 in y
77.004 * [taylor]: Taking taylor expansion of 0 in y
77.004 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2)
77.004 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
77.004 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
77.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
77.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
77.004 * [taylor]: Taking taylor expansion of 1/3 in y
77.004 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
77.004 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
77.004 * [taylor]: Taking taylor expansion of z in y
77.004 * [taylor]: Taking taylor expansion of (sin y) in y
77.004 * [taylor]: Taking taylor expansion of y in y
77.004 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
77.004 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
77.004 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
77.004 * [taylor]: Taking taylor expansion of 1/3 in z
77.004 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
77.004 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
77.004 * [taylor]: Taking taylor expansion of z in z
77.004 * [taylor]: Taking taylor expansion of (sin y) in z
77.004 * [taylor]: Taking taylor expansion of y in z
77.005 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
77.005 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
77.005 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
77.005 * [taylor]: Taking taylor expansion of 1/3 in z
77.005 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
77.005 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
77.005 * [taylor]: Taking taylor expansion of z in z
77.005 * [taylor]: Taking taylor expansion of (sin y) in z
77.005 * [taylor]: Taking taylor expansion of y in z
77.006 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
77.006 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
77.006 * [taylor]: Taking taylor expansion of 1/3 in y
77.006 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
77.006 * [taylor]: Taking taylor expansion of (log (sin y)) in y
77.006 * [taylor]: Taking taylor expansion of (sin y) in y
77.006 * [taylor]: Taking taylor expansion of y in y
77.006 * [taylor]: Taking taylor expansion of (log z) in y
77.006 * [taylor]: Taking taylor expansion of z in y
77.007 * [taylor]: Taking taylor expansion of 0 in y
77.008 * [taylor]: Taking taylor expansion of 0 in y
77.010 * [taylor]: Taking taylor expansion of 0 in y
77.014 * [taylor]: Taking taylor expansion of 0 in y
77.014 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
77.014 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
77.014 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
77.014 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
77.014 * [taylor]: Taking taylor expansion of 1/3 in y
77.014 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
77.014 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
77.014 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.014 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.014 * [taylor]: Taking taylor expansion of y in y
77.014 * [taylor]: Taking taylor expansion of z in y
77.015 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
77.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
77.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
77.015 * [taylor]: Taking taylor expansion of 1/3 in z
77.015 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
77.015 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
77.015 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.015 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.015 * [taylor]: Taking taylor expansion of y in z
77.015 * [taylor]: Taking taylor expansion of z in z
77.015 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
77.015 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
77.015 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
77.015 * [taylor]: Taking taylor expansion of 1/3 in z
77.015 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
77.015 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
77.015 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.015 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.015 * [taylor]: Taking taylor expansion of y in z
77.015 * [taylor]: Taking taylor expansion of z in z
77.016 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
77.016 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
77.016 * [taylor]: Taking taylor expansion of 1/3 in y
77.016 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
77.016 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
77.016 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.016 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.016 * [taylor]: Taking taylor expansion of y in y
77.016 * [taylor]: Taking taylor expansion of (log z) in y
77.016 * [taylor]: Taking taylor expansion of z in y
77.017 * [taylor]: Taking taylor expansion of 0 in y
77.019 * [taylor]: Taking taylor expansion of 0 in y
77.021 * [taylor]: Taking taylor expansion of 0 in y
77.021 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
77.021 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
77.021 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
77.021 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
77.021 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
77.021 * [taylor]: Taking taylor expansion of 1/3 in y
77.021 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
77.021 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
77.021 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.021 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.021 * [taylor]: Taking taylor expansion of -1 in y
77.021 * [taylor]: Taking taylor expansion of y in y
77.021 * [taylor]: Taking taylor expansion of z in y
77.022 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.022 * [taylor]: Taking taylor expansion of -1 in y
77.022 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
77.022 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
77.022 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
77.022 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
77.022 * [taylor]: Taking taylor expansion of 1/3 in z
77.022 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
77.022 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
77.022 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.022 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.022 * [taylor]: Taking taylor expansion of -1 in z
77.022 * [taylor]: Taking taylor expansion of y in z
77.022 * [taylor]: Taking taylor expansion of z in z
77.022 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.022 * [taylor]: Taking taylor expansion of -1 in z
77.023 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
77.023 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
77.023 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
77.023 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
77.023 * [taylor]: Taking taylor expansion of 1/3 in z
77.023 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
77.023 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
77.023 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.023 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.023 * [taylor]: Taking taylor expansion of -1 in z
77.023 * [taylor]: Taking taylor expansion of y in z
77.023 * [taylor]: Taking taylor expansion of z in z
77.023 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.023 * [taylor]: Taking taylor expansion of -1 in z
77.024 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
77.024 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.024 * [taylor]: Taking taylor expansion of -1 in y
77.024 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
77.024 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
77.024 * [taylor]: Taking taylor expansion of 1/3 in y
77.024 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
77.024 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
77.024 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.024 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.024 * [taylor]: Taking taylor expansion of -1 in y
77.024 * [taylor]: Taking taylor expansion of y in y
77.024 * [taylor]: Taking taylor expansion of (log z) in y
77.024 * [taylor]: Taking taylor expansion of z in y
77.026 * [taylor]: Taking taylor expansion of 0 in y
77.027 * [taylor]: Taking taylor expansion of 0 in y
77.030 * [taylor]: Taking taylor expansion of 0 in y
77.030 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1)
77.030 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
77.030 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
77.030 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
77.030 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
77.030 * [taylor]: Taking taylor expansion of 1/3 in y
77.030 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
77.031 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
77.031 * [taylor]: Taking taylor expansion of z in y
77.031 * [taylor]: Taking taylor expansion of (sin y) in y
77.031 * [taylor]: Taking taylor expansion of y in y
77.031 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
77.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
77.031 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
77.031 * [taylor]: Taking taylor expansion of 1/3 in z
77.031 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
77.031 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
77.031 * [taylor]: Taking taylor expansion of z in z
77.031 * [taylor]: Taking taylor expansion of (sin y) in z
77.031 * [taylor]: Taking taylor expansion of y in z
77.031 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
77.031 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
77.032 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
77.032 * [taylor]: Taking taylor expansion of 1/3 in z
77.032 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
77.032 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
77.032 * [taylor]: Taking taylor expansion of z in z
77.032 * [taylor]: Taking taylor expansion of (sin y) in z
77.032 * [taylor]: Taking taylor expansion of y in z
77.032 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
77.032 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
77.032 * [taylor]: Taking taylor expansion of 1/3 in y
77.032 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
77.032 * [taylor]: Taking taylor expansion of (log (sin y)) in y
77.032 * [taylor]: Taking taylor expansion of (sin y) in y
77.032 * [taylor]: Taking taylor expansion of y in y
77.032 * [taylor]: Taking taylor expansion of (log z) in y
77.032 * [taylor]: Taking taylor expansion of z in y
77.033 * [taylor]: Taking taylor expansion of 0 in y
77.035 * [taylor]: Taking taylor expansion of 0 in y
77.037 * [taylor]: Taking taylor expansion of 0 in y
77.040 * [taylor]: Taking taylor expansion of 0 in y
77.041 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
77.041 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
77.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
77.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
77.041 * [taylor]: Taking taylor expansion of 1/3 in y
77.041 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
77.041 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
77.041 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.041 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.041 * [taylor]: Taking taylor expansion of y in y
77.041 * [taylor]: Taking taylor expansion of z in y
77.041 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
77.041 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
77.041 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
77.041 * [taylor]: Taking taylor expansion of 1/3 in z
77.041 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
77.041 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
77.041 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.041 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.041 * [taylor]: Taking taylor expansion of y in z
77.041 * [taylor]: Taking taylor expansion of z in z
77.042 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
77.042 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
77.042 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
77.042 * [taylor]: Taking taylor expansion of 1/3 in z
77.042 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
77.042 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
77.042 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.042 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.042 * [taylor]: Taking taylor expansion of y in z
77.042 * [taylor]: Taking taylor expansion of z in z
77.043 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
77.043 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
77.043 * [taylor]: Taking taylor expansion of 1/3 in y
77.043 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
77.043 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
77.043 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.043 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.043 * [taylor]: Taking taylor expansion of y in y
77.043 * [taylor]: Taking taylor expansion of (log z) in y
77.043 * [taylor]: Taking taylor expansion of z in y
77.044 * [taylor]: Taking taylor expansion of 0 in y
77.045 * [taylor]: Taking taylor expansion of 0 in y
77.047 * [taylor]: Taking taylor expansion of 0 in y
77.048 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
77.048 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
77.048 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
77.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
77.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
77.048 * [taylor]: Taking taylor expansion of 1/3 in y
77.048 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
77.048 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
77.048 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.048 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.048 * [taylor]: Taking taylor expansion of -1 in y
77.048 * [taylor]: Taking taylor expansion of y in y
77.048 * [taylor]: Taking taylor expansion of z in y
77.048 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.048 * [taylor]: Taking taylor expansion of -1 in y
77.048 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
77.048 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
77.048 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
77.048 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
77.048 * [taylor]: Taking taylor expansion of 1/3 in z
77.048 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
77.048 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
77.048 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.049 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.049 * [taylor]: Taking taylor expansion of -1 in z
77.049 * [taylor]: Taking taylor expansion of y in z
77.049 * [taylor]: Taking taylor expansion of z in z
77.049 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.049 * [taylor]: Taking taylor expansion of -1 in z
77.049 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
77.049 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
77.049 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
77.049 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
77.049 * [taylor]: Taking taylor expansion of 1/3 in z
77.049 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
77.049 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
77.049 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.049 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.049 * [taylor]: Taking taylor expansion of -1 in z
77.049 * [taylor]: Taking taylor expansion of y in z
77.049 * [taylor]: Taking taylor expansion of z in z
77.050 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.050 * [taylor]: Taking taylor expansion of -1 in z
77.050 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
77.050 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.050 * [taylor]: Taking taylor expansion of -1 in y
77.050 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
77.050 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
77.050 * [taylor]: Taking taylor expansion of 1/3 in y
77.050 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
77.050 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
77.050 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.050 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.050 * [taylor]: Taking taylor expansion of -1 in y
77.050 * [taylor]: Taking taylor expansion of y in y
77.050 * [taylor]: Taking taylor expansion of (log z) in y
77.051 * [taylor]: Taking taylor expansion of z in y
77.052 * [taylor]: Taking taylor expansion of 0 in y
77.054 * [taylor]: Taking taylor expansion of 0 in y
77.056 * [taylor]: Taking taylor expansion of 0 in y
77.057 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1)
77.057 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in (z y) around 0
77.057 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in y
77.057 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in y
77.057 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in y
77.057 * [taylor]: Taking taylor expansion of 1/3 in y
77.057 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in y
77.057 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in y
77.057 * [taylor]: Taking taylor expansion of (pow z 2) in y
77.057 * [taylor]: Taking taylor expansion of z in y
77.057 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
77.057 * [taylor]: Taking taylor expansion of (sin y) in y
77.057 * [taylor]: Taking taylor expansion of y in y
77.058 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z
77.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z
77.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z
77.058 * [taylor]: Taking taylor expansion of 1/3 in z
77.058 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z
77.058 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z
77.058 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.058 * [taylor]: Taking taylor expansion of z in z
77.058 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
77.058 * [taylor]: Taking taylor expansion of (sin y) in z
77.058 * [taylor]: Taking taylor expansion of y in z
77.058 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z
77.058 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z
77.058 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z
77.058 * [taylor]: Taking taylor expansion of 1/3 in z
77.059 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z
77.059 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z
77.059 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.059 * [taylor]: Taking taylor expansion of z in z
77.059 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z
77.059 * [taylor]: Taking taylor expansion of (sin y) in z
77.059 * [taylor]: Taking taylor expansion of y in z
77.059 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2))))) in y
77.059 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2)))) in y
77.059 * [taylor]: Taking taylor expansion of 1/3 in y
77.059 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (sin y) 2))) in y
77.059 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
77.059 * [taylor]: Taking taylor expansion of 2 in y
77.059 * [taylor]: Taking taylor expansion of (log z) in y
77.059 * [taylor]: Taking taylor expansion of z in y
77.059 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
77.059 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
77.059 * [taylor]: Taking taylor expansion of (sin y) in y
77.059 * [taylor]: Taking taylor expansion of y in y
77.061 * [taylor]: Taking taylor expansion of 0 in y
77.063 * [taylor]: Taking taylor expansion of 0 in y
77.065 * [taylor]: Taking taylor expansion of 0 in y
77.069 * [taylor]: Taking taylor expansion of 0 in y
77.076 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0
77.076 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in y
77.076 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in y
77.076 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in y
77.076 * [taylor]: Taking taylor expansion of 1/3 in y
77.076 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in y
77.076 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in y
77.076 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
77.076 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.076 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.077 * [taylor]: Taking taylor expansion of y in y
77.077 * [taylor]: Taking taylor expansion of (pow z 2) in y
77.077 * [taylor]: Taking taylor expansion of z in y
77.077 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z
77.077 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z
77.077 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z
77.077 * [taylor]: Taking taylor expansion of 1/3 in z
77.077 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z
77.077 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z
77.077 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
77.077 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.077 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.077 * [taylor]: Taking taylor expansion of y in z
77.078 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.078 * [taylor]: Taking taylor expansion of z in z
77.078 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z
77.078 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z
77.078 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z
77.078 * [taylor]: Taking taylor expansion of 1/3 in z
77.078 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z
77.078 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z
77.078 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z
77.078 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
77.078 * [taylor]: Taking taylor expansion of (/ 1 y) in z
77.078 * [taylor]: Taking taylor expansion of y in z
77.079 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.079 * [taylor]: Taking taylor expansion of z in z
77.079 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))))) in y
77.079 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z)))) in y
77.079 * [taylor]: Taking taylor expansion of 1/3 in y
77.079 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))) in y
77.079 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
77.079 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
77.079 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
77.079 * [taylor]: Taking taylor expansion of (/ 1 y) in y
77.079 * [taylor]: Taking taylor expansion of y in y
77.079 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
77.080 * [taylor]: Taking taylor expansion of 2 in y
77.080 * [taylor]: Taking taylor expansion of (log z) in y
77.080 * [taylor]: Taking taylor expansion of z in y
77.081 * [taylor]: Taking taylor expansion of 0 in y
77.083 * [taylor]: Taking taylor expansion of 0 in y
77.086 * [taylor]: Taking taylor expansion of 0 in y
77.086 * [approximate]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z y) around 0
77.086 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in y
77.086 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in y
77.086 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in y
77.086 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in y
77.086 * [taylor]: Taking taylor expansion of 1/3 in y
77.086 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in y
77.086 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in y
77.087 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
77.087 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.087 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.087 * [taylor]: Taking taylor expansion of -1 in y
77.087 * [taylor]: Taking taylor expansion of y in y
77.087 * [taylor]: Taking taylor expansion of (pow z 2) in y
77.087 * [taylor]: Taking taylor expansion of z in y
77.087 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
77.087 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.087 * [taylor]: Taking taylor expansion of -1 in y
77.087 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
77.087 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z
77.087 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z
77.087 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z
77.087 * [taylor]: Taking taylor expansion of 1/3 in z
77.087 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z
77.088 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z
77.088 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
77.088 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.088 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.088 * [taylor]: Taking taylor expansion of -1 in z
77.088 * [taylor]: Taking taylor expansion of y in z
77.088 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.088 * [taylor]: Taking taylor expansion of z in z
77.088 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
77.088 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.088 * [taylor]: Taking taylor expansion of -1 in z
77.089 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
77.089 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z
77.089 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z
77.089 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z
77.089 * [taylor]: Taking taylor expansion of 1/3 in z
77.089 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z
77.089 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z
77.089 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z
77.089 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
77.089 * [taylor]: Taking taylor expansion of (/ -1 y) in z
77.089 * [taylor]: Taking taylor expansion of -1 in z
77.089 * [taylor]: Taking taylor expansion of y in z
77.089 * [taylor]: Taking taylor expansion of (pow z 2) in z
77.089 * [taylor]: Taking taylor expansion of z in z
77.090 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
77.090 * [taylor]: Taking taylor expansion of (cbrt -1) in z
77.090 * [taylor]: Taking taylor expansion of -1 in z
77.090 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))))) in y
77.090 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y
77.090 * [taylor]: Taking taylor expansion of (cbrt -1) in y
77.090 * [taylor]: Taking taylor expansion of -1 in y
77.090 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))))) in y
77.090 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))) in y
77.090 * [taylor]: Taking taylor expansion of 1/3 in y
77.090 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))) in y
77.090 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
77.090 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
77.090 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
77.090 * [taylor]: Taking taylor expansion of (/ -1 y) in y
77.090 * [taylor]: Taking taylor expansion of -1 in y
77.090 * [taylor]: Taking taylor expansion of y in y
77.091 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y
77.091 * [taylor]: Taking taylor expansion of 2 in y
77.091 * [taylor]: Taking taylor expansion of (log z) in y
77.091 * [taylor]: Taking taylor expansion of z in y
77.093 * [taylor]: Taking taylor expansion of 0 in y
77.096 * [taylor]: Taking taylor expansion of 0 in y
77.100 * [taylor]: Taking taylor expansion of 0 in y
77.100 * * * [progress]: simplifying candidates
77.101 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (* z (sin y)) (* z (sin y)))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (+ 1 1)
  (+ (log (cbrt (* z (sin y)))) (log (cbrt (* z (sin y)))))
  (log (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (exp (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (* z (sin y)) (* z (sin y)))
  (* (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))))
  (cbrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))) (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (sqrt (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))))
  (* (cbrt z) (cbrt z))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* 1 1)
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* (sqrt (cbrt (* z (sin y)))) (sqrt (cbrt (* z (sin y)))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (* z (sin y))) (cbrt z))
  (* (cbrt (* z (sin y))) (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y))))))
  (* (cbrt (* z (sin y))) (sqrt (cbrt (* z (sin y)))))
  (* (cbrt (* z (sin y))) 1)
  (* (cbrt (sin y)) (cbrt (* z (sin y))))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (* (sqrt (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (* (cbrt (* z (sin y))) (cbrt (* z (sin y))))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (* 2 (log y)) (+ (* 2 (log z)) (log 1))))) (* 1/9 (* (exp (* 1/3 (+ (* 2 (log y)) (+ (* 2 (log z)) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ 1 z))))))
  (* (exp (* 1/3 (- (log (pow (sin y) 2)) (* 2 (log (/ -1 z)))))) (pow (cbrt -1) 2))
77.104 * * [simplify]: iteration  0 :  90  enodes  (cost  814 )
77.117 * * [simplify]: iteration  1 :  200  enodes  (cost  737 )
77.154 * * [simplify]: iteration  2 :  559  enodes  (cost  633 )
77.269 * * [simplify]: iteration  3 :  1626  enodes  (cost  570 )
77.645 * * [simplify]: iteration  4 :  4827  enodes  (cost  502 )
78.472 * * [simplify]: iteration  done :  5000  enodes  (cost  502 )
78.473 * [simplify]: Simplified to:
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (sin y) z)
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (sin y) z)
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (sin y) z)
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  2/3
  2
  (pow (cbrt (* z (sin y))) 6)
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  2
  (* 2 (log (cbrt (* z (sin y)))))
  (* 2 (log (cbrt (* z (sin y)))))
  (exp (pow (sqrt (cbrt (* z (sin y)))) 4))
  (pow (cbrt (* z (sin y))) 6)
  (* (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)) (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4)))
  (cbrt (pow (sqrt (cbrt (* z (sin y)))) 4))
  (pow (cbrt (* z (sin y))) 6)
  (fabs (cbrt (* z (sin y))))
  (fabs (cbrt (* z (sin y))))
  (* (cbrt z) (cbrt z))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (pow (cbrt (cbrt (* z (sin y)))) 4)
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (* z (sin y)))
  (cbrt (* z (sin y)))
  1
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  (cbrt (* z (sin y)))
  (cbrt (* z (sin y)))
  2/3
  2
  (* (cbrt (* z (sin y))) (cbrt z))
  (* (cbrt (cbrt (* z (sin y)))) (pow (cbrt (cbrt (* z (sin y)))) 4))
  (pow (sqrt (cbrt (* z (sin y)))) 3)
  (cbrt (* z (sin y)))
  (* (cbrt (sin y)) (cbrt (* z (sin y))))
  (pow (cbrt (cbrt (* z (sin y)))) 4)
  (pow (sqrt (cbrt (* z (sin y)))) 3)
  (pow (cbrt (cbrt (* z (sin y)))) 6)
  (* (cbrt (* z y)) (+ (* (* y -1/18) y) 1))
  (cbrt (* (sin y) z))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (* z y)) (+ (* (* y -1/18) y) 1))
  (cbrt (* (sin y) z))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (* z y)) (+ (* (* y -1/18) y) 1))
  (cbrt (* (sin y) z))
  (* (cbrt -1) (cbrt (/ (sin y) (/ -1 z))))
  (* (cbrt (pow (* z y) 2)) (+ 1 (* (pow y 2) -1/9)))
  (cbrt (pow (* (sin y) z) 2))
  (* (cbrt (pow (/ (sin y) (/ -1 z)) 2)) (pow (cbrt -1) 2))
78.473 * * * [progress]: adding candidates to table
78.560 * * [progress]: iteration 3 / 4
78.560 * * * [progress]: picking best candidate
78.584 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* (* (cbrt z) (cbrt z)) (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* z (sin y))))))>
78.584 * * * [progress]: localizing error
78.601 * * * [progress]: generating rewritten candidates
78.601 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
78.604 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
78.606 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
78.608 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1)
78.617 * * * [progress]: generating series expansions
78.617 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
78.617 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0
78.617 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y
78.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y
78.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y
78.617 * [taylor]: Taking taylor expansion of 1/3 in y
78.617 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y
78.617 * [taylor]: Taking taylor expansion of (* z (sin y)) in y
78.617 * [taylor]: Taking taylor expansion of z in y
78.617 * [taylor]: Taking taylor expansion of (sin y) in y
78.617 * [taylor]: Taking taylor expansion of y in y
78.617 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
78.617 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
78.617 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
78.618 * [taylor]: Taking taylor expansion of 1/3 in z
78.618 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
78.618 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
78.618 * [taylor]: Taking taylor expansion of z in z
78.618 * [taylor]: Taking taylor expansion of (sin y) in z
78.618 * [taylor]: Taking taylor expansion of y in z
78.618 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z
78.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z
78.618 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z
78.618 * [taylor]: Taking taylor expansion of 1/3 in z
78.618 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z
78.618 * [taylor]: Taking taylor expansion of (* z (sin y)) in z
78.618 * [taylor]: Taking taylor expansion of z in z
78.618 * [taylor]: Taking taylor expansion of (sin y) in z
78.618 * [taylor]: Taking taylor expansion of y in z
78.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y
78.619 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y
78.619 * [taylor]: Taking taylor expansion of 1/3 in y
78.619 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y
78.619 * [taylor]: Taking taylor expansion of (log (sin y)) in y
78.619 * [taylor]: Taking taylor expansion of (sin y) in y
78.619 * [taylor]: Taking taylor expansion of y in y
78.619 * [taylor]: Taking taylor expansion of (log z) in y
78.619 * [taylor]: Taking taylor expansion of z in y
78.620 * [taylor]: Taking taylor expansion of 0 in y
78.621 * [taylor]: Taking taylor expansion of 0 in y
78.624 * [taylor]: Taking taylor expansion of 0 in y
78.627 * [taylor]: Taking taylor expansion of 0 in y
78.628 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0
78.628 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y
78.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y
78.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y
78.628 * [taylor]: Taking taylor expansion of 1/3 in y
78.628 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y
78.628 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y
78.628 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.628 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.628 * [taylor]: Taking taylor expansion of y in y
78.628 * [taylor]: Taking taylor expansion of z in y
78.628 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
78.628 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
78.628 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
78.628 * [taylor]: Taking taylor expansion of 1/3 in z
78.628 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
78.628 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
78.628 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
78.628 * [taylor]: Taking taylor expansion of (/ 1 y) in z
78.628 * [taylor]: Taking taylor expansion of y in z
78.628 * [taylor]: Taking taylor expansion of z in z
78.629 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z
78.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z
78.629 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z
78.629 * [taylor]: Taking taylor expansion of 1/3 in z
78.629 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z
78.629 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z
78.629 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z
78.629 * [taylor]: Taking taylor expansion of (/ 1 y) in z
78.629 * [taylor]: Taking taylor expansion of y in z
78.629 * [taylor]: Taking taylor expansion of z in z
78.629 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y
78.629 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y
78.629 * [taylor]: Taking taylor expansion of 1/3 in y
78.629 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y
78.629 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
78.629 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.629 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.629 * [taylor]: Taking taylor expansion of y in y
78.629 * [taylor]: Taking taylor expansion of (log z) in y
78.629 * [taylor]: Taking taylor expansion of z in y
78.630 * [taylor]: Taking taylor expansion of 0 in y
78.632 * [taylor]: Taking taylor expansion of 0 in y
78.634 * [taylor]: Taking taylor expansion of 0 in y
78.634 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0
78.634 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y
78.634 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y
78.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y
78.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y
78.634 * [taylor]: Taking taylor expansion of 1/3 in y
78.634 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y
78.634 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y
78.634 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.635 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.635 * [taylor]: Taking taylor expansion of -1 in y
78.635 * [taylor]: Taking taylor expansion of y in y
78.635 * [taylor]: Taking taylor expansion of z in y
78.635 * [taylor]: Taking taylor expansion of (cbrt -1) in y
78.635 * [taylor]: Taking taylor expansion of -1 in y
78.635 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
78.635 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
78.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
78.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
78.635 * [taylor]: Taking taylor expansion of 1/3 in z
78.635 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
78.635 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
78.635 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
78.635 * [taylor]: Taking taylor expansion of (/ -1 y) in z
78.635 * [taylor]: Taking taylor expansion of -1 in z
78.635 * [taylor]: Taking taylor expansion of y in z
78.635 * [taylor]: Taking taylor expansion of z in z
78.636 * [taylor]: Taking taylor expansion of (cbrt -1) in z
78.636 * [taylor]: Taking taylor expansion of -1 in z
78.636 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z
78.636 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z
78.636 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z
78.636 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z
78.636 * [taylor]: Taking taylor expansion of 1/3 in z
78.636 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z
78.636 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z
78.636 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z
78.636 * [taylor]: Taking taylor expansion of (/ -1 y) in z
78.636 * [taylor]: Taking taylor expansion of -1 in z
78.636 * [taylor]: Taking taylor expansion of y in z
78.636 * [taylor]: Taking taylor expansion of z in z
78.636 * [taylor]: Taking taylor expansion of (cbrt -1) in z
78.636 * [taylor]: Taking taylor expansion of -1 in z
78.637 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y
78.637 * [taylor]: Taking taylor expansion of (cbrt -1) in y
78.637 * [taylor]: Taking taylor expansion of -1 in y
78.637 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y
78.637 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y
78.637 * [taylor]: Taking taylor expansion of 1/3 in y
78.637 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y
78.637 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
78.637 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.637 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.637 * [taylor]: Taking taylor expansion of -1 in y
78.637 * [taylor]: Taking taylor expansion of y in y
78.637 * [taylor]: Taking taylor expansion of (log z) in y
78.637 * [taylor]: Taking taylor expansion of z in y
78.638 * [taylor]: Taking taylor expansion of 0 in y
78.640 * [taylor]: Taking taylor expansion of 0 in y
78.643 * [taylor]: Taking taylor expansion of 0 in y
78.643 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
78.643 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
78.643 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
78.643 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
78.643 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
78.643 * [taylor]: Taking taylor expansion of 1/3 in y
78.643 * [taylor]: Taking taylor expansion of (log (sin y)) in y
78.643 * [taylor]: Taking taylor expansion of (sin y) in y
78.643 * [taylor]: Taking taylor expansion of y in y
78.644 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
78.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
78.644 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
78.644 * [taylor]: Taking taylor expansion of 1/3 in y
78.644 * [taylor]: Taking taylor expansion of (log (sin y)) in y
78.644 * [taylor]: Taking taylor expansion of (sin y) in y
78.644 * [taylor]: Taking taylor expansion of y in y
78.648 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
78.648 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
78.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
78.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
78.648 * [taylor]: Taking taylor expansion of 1/3 in y
78.648 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
78.648 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.648 * [taylor]: Taking taylor expansion of y in y
78.648 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
78.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
78.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
78.648 * [taylor]: Taking taylor expansion of 1/3 in y
78.648 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
78.648 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.648 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.648 * [taylor]: Taking taylor expansion of y in y
78.663 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
78.663 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
78.663 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
78.663 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
78.663 * [taylor]: Taking taylor expansion of 1/3 in y
78.663 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
78.663 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.663 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.663 * [taylor]: Taking taylor expansion of -1 in y
78.663 * [taylor]: Taking taylor expansion of y in y
78.664 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
78.664 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
78.664 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
78.664 * [taylor]: Taking taylor expansion of 1/3 in y
78.664 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
78.664 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.664 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.664 * [taylor]: Taking taylor expansion of -1 in y
78.664 * [taylor]: Taking taylor expansion of y in y
78.671 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
78.671 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
78.671 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
78.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
78.671 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
78.671 * [taylor]: Taking taylor expansion of 1/3 in y
78.671 * [taylor]: Taking taylor expansion of (log (sin y)) in y
78.671 * [taylor]: Taking taylor expansion of (sin y) in y
78.671 * [taylor]: Taking taylor expansion of y in y
78.672 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
78.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
78.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
78.672 * [taylor]: Taking taylor expansion of 1/3 in y
78.672 * [taylor]: Taking taylor expansion of (log (sin y)) in y
78.672 * [taylor]: Taking taylor expansion of (sin y) in y
78.672 * [taylor]: Taking taylor expansion of y in y
78.676 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
78.676 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
78.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
78.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
78.676 * [taylor]: Taking taylor expansion of 1/3 in y
78.676 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
78.676 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.676 * [taylor]: Taking taylor expansion of y in y
78.676 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
78.676 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
78.676 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
78.676 * [taylor]: Taking taylor expansion of 1/3 in y
78.676 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
78.676 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
78.676 * [taylor]: Taking taylor expansion of (/ 1 y) in y
78.676 * [taylor]: Taking taylor expansion of y in y
78.684 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
78.684 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
78.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
78.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
78.684 * [taylor]: Taking taylor expansion of 1/3 in y
78.684 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
78.684 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.684 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.684 * [taylor]: Taking taylor expansion of -1 in y
78.684 * [taylor]: Taking taylor expansion of y in y
78.684 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
78.684 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
78.684 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
78.684 * [taylor]: Taking taylor expansion of 1/3 in y
78.684 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
78.684 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
78.684 * [taylor]: Taking taylor expansion of (/ -1 y) in y
78.684 * [taylor]: Taking taylor expansion of -1 in y
78.684 * [taylor]: Taking taylor expansion of y in y
78.692 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1)
78.692 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0
78.692 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
78.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
78.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
78.692 * [taylor]: Taking taylor expansion of 1/3 in z
78.692 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
78.692 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.692 * [taylor]: Taking taylor expansion of z in z
78.692 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z
78.692 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z
78.692 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z
78.692 * [taylor]: Taking taylor expansion of 1/3 in z
78.692 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z
78.692 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.692 * [taylor]: Taking taylor expansion of z in z
78.700 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0
78.700 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
78.700 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
78.700 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
78.700 * [taylor]: Taking taylor expansion of 1/3 in z
78.700 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
78.700 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
78.700 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.700 * [taylor]: Taking taylor expansion of z in z
78.701 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
78.701 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
78.701 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
78.701 * [taylor]: Taking taylor expansion of 1/3 in z
78.701 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
78.701 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
78.701 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.701 * [taylor]: Taking taylor expansion of z in z
78.709 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0
78.709 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
78.709 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
78.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
78.709 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
78.709 * [taylor]: Taking taylor expansion of 1/3 in z
78.709 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
78.709 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
78.709 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.709 * [taylor]: Taking taylor expansion of z in z
78.709 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
78.709 * [taylor]: Taking taylor expansion of (cbrt -1) in z
78.709 * [taylor]: Taking taylor expansion of -1 in z
78.709 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z
78.709 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z
78.709 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z
78.710 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z
78.710 * [taylor]: Taking taylor expansion of 1/3 in z
78.710 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z
78.710 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z
78.710 * [taylor]: Taking taylor expansion of (pow z 2) in z
78.710 * [taylor]: Taking taylor expansion of z in z
78.710 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z
78.710 * [taylor]: Taking taylor expansion of (cbrt -1) in z
78.710 * [taylor]: Taking taylor expansion of -1 in z
78.721 * * * [progress]: simplifying candidates
78.722 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* z z)
  (* (cbrt z) (cbrt z))
  (+ 1 1)
  (+ (log (cbrt z)) (log (cbrt z)))
  (log (* (cbrt z) (cbrt z)))
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (sqrt (* (cbrt z) (cbrt z)))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt z) (cbrt z))
  (* (* (cbrt (cbrt z)) (cbrt (cbrt z))) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 1 1)
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (cbrt (sqrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* (sqrt (cbrt z)) (sqrt (cbrt z)))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt z) (cbrt (sqrt z)))
  (* (cbrt z) (cbrt 1))
  (* (cbrt z) (* (cbrt (cbrt z)) (cbrt (cbrt z))))
  (* (cbrt z) (sqrt (cbrt z)))
  (* (cbrt z) 1)
  (* (cbrt (cbrt z)) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (* (cbrt (cbrt z)) (cbrt z))
  (* (sqrt (cbrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (- (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (* 1/18 (* (exp (* 1/3 (+ (log y) (+ (log z) (log 1))))) (pow y 2))))
  (exp (* 1/3 (- (log (sin y)) (log (/ 1 z)))))
  (* (exp (* 1/3 (- (log (sin y)) (log (/ -1 z))))) (cbrt -1))
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (exp (* 1/3 (+ (* 2 (log z)) (log 1))))
  (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 z))))))
  (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 z)))))))
78.725 * * [simplify]: iteration  0 :  117  enodes  (cost  691 )
78.741 * * [simplify]: iteration  1 :  235  enodes  (cost  627 )
78.782 * * [simplify]: iteration  2 :  663  enodes  (cost  552 )
78.945 * * [simplify]: iteration  3 :  1817  enodes  (cost  494 )
79.304 * * [simplify]: iteration  4 :  4971  enodes  (cost  475 )
80.136 * * [simplify]: iteration  done :  5000  enodes  (cost  475 )
80.137 * [simplify]: Simplified to:
   (log (cbrt (* z (sin y))))
  (exp (cbrt (* z (sin y))))
  (cbrt z)
  (cbrt (sin y))
  (* (cbrt (cbrt (* z (sin y)))) (cbrt (cbrt (* z (sin y)))))
  (cbrt (cbrt (* z (sin y))))
  (* z (sin y))
  (sqrt (cbrt (* z (sin y))))
  (sqrt (cbrt (* z (sin y))))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  2/3
  2
  (* z z)
  (* (cbrt z) (cbrt z))
  2
  (* (log (cbrt z)) 2)
  (* (log (cbrt z)) 2)
  (exp (* (cbrt z) (cbrt z)))
  (* z z)
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (cbrt (* (cbrt z) (cbrt z)))
  (* z z)
  (fabs (cbrt z))
  (fabs (cbrt z))
  (* (cbrt (* (cbrt z) (cbrt z))) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  1
  (* (cbrt z) (cbrt z))
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt (cbrt z)) (cbrt (cbrt z)))
  (cbrt z)
  (cbrt z)
  1
  (* (cbrt z) (cbrt z))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (cbrt (sqrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (* (cbrt (sqrt z)) (sqrt (cbrt z)))
  (cbrt z)
  (cbrt z)
  2/3
  2
  (* (cbrt z) (cbrt (* (cbrt z) (cbrt z))))
  (* (cbrt (sqrt z)) (cbrt z))
  (cbrt z)
  (* (pow (cbrt (cbrt z)) 4) (cbrt (cbrt z)))
  (pow (sqrt (cbrt z)) 3)
  (cbrt z)
  (pow (cbrt (cbrt z)) 4)
  (* (cbrt (sqrt z)) (cbrt z))
  (* (cbrt z) (cbrt z))
  (pow (cbrt (cbrt z)) 4)
  (pow (sqrt (cbrt z)) 3)
  (* (cbrt z) (cbrt z))
  (* (cbrt (* z y)) (+ 1 (* -1/18 (pow y 2))))
  (cbrt (* z (sin y)))
  (* (cbrt (/ (sin y) (/ -1 z))) (cbrt -1))
  (* (cbrt y) (- 1 (+ (* 1/18 (pow y 2)) (* (pow y 4) 1/3240))))
  (cbrt (sin y))
  (cbrt (sin y))
  (* (cbrt y) (- 1 (+ (* 1/18 (pow y 2)) (* (pow y 4) 1/3240))))
  (cbrt (sin y))
  (cbrt (sin y))
  (pow z 2/3)
  (pow z 2/3)
  (* (pow (/ -1 z) -2/3) (pow (cbrt -1) 2))
80.137 * * * [progress]: adding candidates to table
80.220 * * [progress]: iteration 4 / 4
80.220 * * * [progress]: picking best candidate
80.244 * * * * [pick]: Picked  #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (sin y)))))>
80.244 * * * [progress]: localizing error
80.257 * * * [progress]: generating rewritten candidates
80.257 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2)
80.259 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2)
80.261 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1)
80.263 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2)
80.272 * * * [progress]: generating series expansions
80.272 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2)
80.272 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
80.272 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.272 * [taylor]: Taking taylor expansion of 1/3 in y
80.272 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.272 * [taylor]: Taking taylor expansion of (sin y) in y
80.272 * [taylor]: Taking taylor expansion of y in y
80.272 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.272 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.272 * [taylor]: Taking taylor expansion of 1/3 in y
80.272 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.272 * [taylor]: Taking taylor expansion of (sin y) in y
80.272 * [taylor]: Taking taylor expansion of y in y
80.277 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
80.277 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.277 * [taylor]: Taking taylor expansion of 1/3 in y
80.277 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.277 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.277 * [taylor]: Taking taylor expansion of y in y
80.277 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.277 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.277 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.277 * [taylor]: Taking taylor expansion of 1/3 in y
80.277 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.277 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.277 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.277 * [taylor]: Taking taylor expansion of y in y
80.285 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
80.285 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.285 * [taylor]: Taking taylor expansion of 1/3 in y
80.285 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.285 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.285 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.285 * [taylor]: Taking taylor expansion of -1 in y
80.285 * [taylor]: Taking taylor expansion of y in y
80.285 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.285 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.285 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.285 * [taylor]: Taking taylor expansion of 1/3 in y
80.285 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.285 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.285 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.285 * [taylor]: Taking taylor expansion of -1 in y
80.285 * [taylor]: Taking taylor expansion of y in y
80.293 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2)
80.293 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
80.293 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.293 * [taylor]: Taking taylor expansion of 1/3 in y
80.293 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.293 * [taylor]: Taking taylor expansion of (sin y) in y
80.293 * [taylor]: Taking taylor expansion of y in y
80.293 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.293 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.293 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.293 * [taylor]: Taking taylor expansion of 1/3 in y
80.293 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.293 * [taylor]: Taking taylor expansion of (sin y) in y
80.293 * [taylor]: Taking taylor expansion of y in y
80.297 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
80.297 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.297 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.297 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.297 * [taylor]: Taking taylor expansion of 1/3 in y
80.297 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.297 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.297 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.297 * [taylor]: Taking taylor expansion of y in y
80.298 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.298 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.298 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.298 * [taylor]: Taking taylor expansion of 1/3 in y
80.298 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.298 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.298 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.298 * [taylor]: Taking taylor expansion of y in y
80.306 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
80.306 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.306 * [taylor]: Taking taylor expansion of 1/3 in y
80.306 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.306 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.306 * [taylor]: Taking taylor expansion of -1 in y
80.306 * [taylor]: Taking taylor expansion of y in y
80.306 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.306 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.306 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.306 * [taylor]: Taking taylor expansion of 1/3 in y
80.306 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.306 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.306 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.306 * [taylor]: Taking taylor expansion of -1 in y
80.306 * [taylor]: Taking taylor expansion of y in y
80.321 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1)
80.321 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0
80.321 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.321 * [taylor]: Taking taylor expansion of 1/3 in y
80.321 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.321 * [taylor]: Taking taylor expansion of (sin y) in y
80.321 * [taylor]: Taking taylor expansion of y in y
80.321 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y
80.321 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y
80.321 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y
80.321 * [taylor]: Taking taylor expansion of 1/3 in y
80.321 * [taylor]: Taking taylor expansion of (log (sin y)) in y
80.321 * [taylor]: Taking taylor expansion of (sin y) in y
80.321 * [taylor]: Taking taylor expansion of y in y
80.325 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0
80.325 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.325 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.325 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.326 * [taylor]: Taking taylor expansion of 1/3 in y
80.326 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.326 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.326 * [taylor]: Taking taylor expansion of y in y
80.326 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y
80.326 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y
80.326 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y
80.326 * [taylor]: Taking taylor expansion of 1/3 in y
80.326 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y
80.326 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.326 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.326 * [taylor]: Taking taylor expansion of y in y
80.334 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0
80.334 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.334 * [taylor]: Taking taylor expansion of 1/3 in y
80.334 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.334 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.334 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.334 * [taylor]: Taking taylor expansion of -1 in y
80.334 * [taylor]: Taking taylor expansion of y in y
80.334 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y
80.334 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y
80.334 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y
80.334 * [taylor]: Taking taylor expansion of 1/3 in y
80.334 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y
80.334 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.334 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.334 * [taylor]: Taking taylor expansion of -1 in y
80.334 * [taylor]: Taking taylor expansion of y in y
80.342 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2)
80.342 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0
80.342 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
80.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
80.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
80.342 * [taylor]: Taking taylor expansion of 1/3 in y
80.342 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
80.342 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
80.342 * [taylor]: Taking taylor expansion of (sin y) in y
80.342 * [taylor]: Taking taylor expansion of y in y
80.342 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y
80.342 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y
80.342 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y
80.342 * [taylor]: Taking taylor expansion of 1/3 in y
80.342 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y
80.342 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y
80.342 * [taylor]: Taking taylor expansion of (sin y) in y
80.342 * [taylor]: Taking taylor expansion of y in y
80.347 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0
80.347 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
80.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
80.347 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
80.347 * [taylor]: Taking taylor expansion of 1/3 in y
80.347 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
80.347 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
80.347 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.347 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.347 * [taylor]: Taking taylor expansion of y in y
80.348 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y
80.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y
80.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y
80.348 * [taylor]: Taking taylor expansion of 1/3 in y
80.348 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y
80.348 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y
80.348 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y
80.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y
80.348 * [taylor]: Taking taylor expansion of y in y
80.357 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0
80.357 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
80.357 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
80.357 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
80.357 * [taylor]: Taking taylor expansion of 1/3 in y
80.357 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
80.357 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
80.357 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.357 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.357 * [taylor]: Taking taylor expansion of -1 in y
80.357 * [taylor]: Taking taylor expansion of y in y
80.358 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y
80.358 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y
80.358 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y
80.358 * [taylor]: Taking taylor expansion of 1/3 in y
80.358 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y
80.358 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y
80.358 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y
80.358 * [taylor]: Taking taylor expansion of (/ -1 y) in y
80.358 * [taylor]: Taking taylor expansion of -1 in y
80.358 * [taylor]: Taking taylor expansion of y in y
80.367 * * * [progress]: simplifying candidates
80.368 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt 1)
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (* (* (cbrt (sin y)) (cbrt (sin y))) (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (+ 1/3 1/3)
  (+ 1 1)
  (* (sin y) (sin y))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (+ 1 1)
  (+ (log (cbrt (sin y))) (log (cbrt (sin y))))
  (log (* (cbrt (sin y)) (cbrt (sin y))))
  (exp (* (cbrt (sin y)) (cbrt (sin y))))
  (* (sin y) (sin y))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (cbrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (* (* (cbrt (sin y)) (cbrt (sin y))) (* (cbrt (sin y)) (cbrt (sin y)))) (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (sqrt (* (cbrt (sin y)) (cbrt (sin y))))
  (* (cbrt (* (cbrt (sin y)) (cbrt (sin y)))) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt 1) (cbrt 1))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 1 1)
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (cbrt (sqrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* (sqrt (cbrt (sin y))) (sqrt (cbrt (sin y))))
  (* 2 1/3)
  (* 2 1)
  (* (cbrt (sin y)) (cbrt (* (cbrt (sin y)) (cbrt (sin y)))))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (* (cbrt (sin y)) (cbrt 1))
  (* (cbrt (sin y)) (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y)))))
  (* (cbrt (sin y)) (sqrt (cbrt (sin y))))
  (* (cbrt (sin y)) 1)
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sqrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (* (cbrt (cbrt (sin y))) (cbrt (sin y)))
  (* (sqrt (cbrt (sin y))) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sin y)))
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (exp (* 1/3 (+ (log y) (log 1)))) (+ (* 1/18 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 2))) (* 1/3240 (* (exp (* 1/3 (+ (log y) (log 1)))) (pow y 4)))))
  (pow (sin y) 1/3)
  (pow (sin y) 1/3)
  (- (+ (* 1/405 (* (pow y 4) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))) (exp (* 1/3 (+ (* 2 (log y)) (log 1))))) (* 1/9 (* (pow y 2) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))))))
  (pow (pow (sin y) 2) 1/3)
  (pow (pow (sin y) 2) 1/3)
80.371 * * [simplify]: iteration  0 :  76  enodes  (cost  792 )
80.382 * * [simplify]: iteration  1 :  164  enodes  (cost  715 )
80.413 * * [simplify]: iteration  2 :  507  enodes  (cost  586 )
80.537 * * [simplify]: iteration  3 :  2000  enodes  (cost  521 )
81.177 * * [simplify]: iteration  done :  5001  enodes  (cost  515 )
81.177 * [simplify]: Simplified to:
   (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  (log (cbrt (sin y)))
  (exp (cbrt (sin y)))
  (cbrt (pow (sin y) 2/3))
  (cbrt (cbrt (sin y)))
  (cbrt (sqrt (sin y)))
  (cbrt (sqrt (sin y)))
  1
  (cbrt (sin y))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (cbrt (sin y)))
  (sin y)
  (sqrt (cbrt (sin y)))
  (sqrt (cbrt (sin y)))
  2/3
  2
  (pow (sin y) 2)
  (pow (sin y) 2/3)
  2
  (log (pow (sin y) 2/3))
  (log (pow (sin y) 2/3))
  (exp (pow (sin y) 2/3))
  (pow (sin y) 2)
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (cbrt (pow (sin y) 2/3))
  (pow (sin y) 2)
  (fabs (cbrt (sin y)))
  (fabs (cbrt (sin y)))
  (* (cbrt (pow (sin y) 2/3)) (cbrt (pow (sin y) 2/3)))
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  1
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (cbrt (sin y))) (cbrt (cbrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  1
  (pow (sin y) 2/3)
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (cbrt (sqrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (* (cbrt (sqrt (sin y))) (sqrt (cbrt (sin y))))
  (cbrt (sin y))
  (cbrt (sin y))
  2/3
  2
  (* (cbrt (pow (sin y) 2/3)) (cbrt (sin y)))
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (cbrt (sin y))
  (* (pow (cbrt (cbrt (sin y))) 4) (cbrt (cbrt (sin y))))
  (pow (sqrt (cbrt (sin y))) 3)
  (cbrt (sin y))
  (pow (cbrt (cbrt (sin y))) 4)
  (* (cbrt (sin y)) (cbrt (sqrt (sin y))))
  (pow (sin y) 2/3)
  (pow (cbrt (cbrt (sin y))) 4)
  (pow (sqrt (cbrt (sin y))) 3)
  (pow (sin y) 2/3)
  (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (- (cbrt y) (* (cbrt y) (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4)))))
  (cbrt (sin y))
  (cbrt (sin y))
  (* (pow y 2/3) (- (+ (* 1/405 (pow y 4)) 1) (* 1/9 (pow y 2))))
  (cbrt (pow (sin y) 2))
  (cbrt (pow (sin y) 2))
81.178 * * * [progress]: adding candidates to table
81.266 * [progress]: [Phase 3 of 3] Extracting.
81.266 * * [regime]: Finding splitpoints for: (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (cbrt (pow (- (+ x (cos y)) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* (pow (pow (cbrt (cbrt (* z (sin y)))) 6) 1) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
81.267 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x)
81.267 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (cbrt (pow (- (+ x (cos y)) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* (pow (pow (cbrt (cbrt (* z (sin y)))) 6) 1) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
81.345 * * * * [regimes]: Trying to branch on z from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (cbrt (pow (- (+ x (cos y)) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* (pow (pow (cbrt (cbrt (* z (sin y)))) 6) 1) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
81.409 * * * * [regimes]: Trying to branch on y from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (cbrt (pow (- (+ x (cos y)) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* (pow (pow (cbrt (cbrt (* z (sin y)))) 6) 1) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
81.472 * * * * [regimes]: Trying to branch on x from (#<alt (λ (x y z) (- (+ x (cos y)) (* z (sin y))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (sqrt (sin y))) (sqrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* (cbrt (* z (sin y))) (cbrt (* z (sin y)))) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (cbrt (pow (- (+ x (cos y)) (* z (sin y))) 3)))> #<alt (λ (x y z) (- (+ x (cos y)) (* (pow (pow (cbrt (cbrt (* z (sin y)))) 6) 1) (cbrt (* z (sin y))))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (cbrt (pow (sin y) 2))) (cbrt (sin y)))))> #<alt (λ (x y z) (- (+ x (cos y)) (* (* z (pow (pow (sin y) 2) 1/3)) (cbrt (sin y)))))>)
81.537 * * * [regime]: Found split indices: #<option (#s(si 0 255))>
81.537 * [simplify]: Simplifying using  #<procedure:simplify-batch-regraph> :
   (- (+ x (cos y)) (* z (sin y)))
81.537 * * [simplify]: iteration  0 :  8  enodes  (cost  9 )
81.538 * * [simplify]: iteration  1 :  10  enodes  (cost  9 )
81.538 * * [simplify]: iteration  done :  10  enodes  (cost  9 )
81.538 * [simplify]: Simplified to:
   (- (+ x (cos y)) (* z (sin y)))
84.091 * [regime-testing]: End program error score: 0.053881735216902114