11.223 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.049 * * * [progress]: [2/2] Setting up program. 0.052 * [progress]: [Phase 2 of 3] Improving. 0.053 * [simplify]: Simplifying using # : (- (+ x (cos y)) (* z (sin y))) 0.053 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.054 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 0.056 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 0.059 * * [simplify]: iteration 3 : 33 enodes (cost 9 ) 0.063 * * [simplify]: iteration 4 : 39 enodes (cost 9 ) 0.072 * * [simplify]: iteration 5 : 48 enodes (cost 9 ) 0.078 * * [simplify]: iteration 6 : 61 enodes (cost 9 ) 0.085 * * [simplify]: iteration 7 : 87 enodes (cost 9 ) 0.093 * * [simplify]: iteration 8 : 104 enodes (cost 9 ) 0.102 * * [simplify]: iteration 9 : 133 enodes (cost 9 ) 0.112 * * [simplify]: iteration 10 : 171 enodes (cost 9 ) 0.127 * * [simplify]: iteration 11 : 199 enodes (cost 9 ) 0.141 * * [simplify]: iteration 12 : 226 enodes (cost 9 ) 0.153 * * [simplify]: iteration 13 : 249 enodes (cost 9 ) 0.168 * * [simplify]: iteration 14 : 271 enodes (cost 9 ) 0.186 * * [simplify]: iteration 15 : 297 enodes (cost 9 ) 0.198 * * [simplify]: iteration 16 : 320 enodes (cost 9 ) 0.212 * * [simplify]: iteration 17 : 342 enodes (cost 9 ) 0.230 * * [simplify]: iteration 18 : 368 enodes (cost 9 ) 0.242 * * [simplify]: iteration 19 : 391 enodes (cost 9 ) 0.257 * * [simplify]: iteration 20 : 413 enodes (cost 9 ) 0.272 * * [simplify]: iteration 21 : 439 enodes (cost 9 ) 0.287 * * [simplify]: iteration 22 : 462 enodes (cost 9 ) 0.302 * * [simplify]: iteration 23 : 484 enodes (cost 9 ) 0.317 * * [simplify]: iteration 24 : 510 enodes (cost 9 ) 0.329 * * [simplify]: iteration 25 : 533 enodes (cost 9 ) 0.347 * * [simplify]: iteration 26 : 555 enodes (cost 9 ) 0.362 * * [simplify]: iteration 27 : 581 enodes (cost 9 ) 0.374 * * [simplify]: iteration 28 : 604 enodes (cost 9 ) 0.392 * * [simplify]: iteration 29 : 626 enodes (cost 9 ) 0.407 * * [simplify]: iteration 30 : 652 enodes (cost 9 ) 0.419 * * [simplify]: iteration 31 : 675 enodes (cost 9 ) 0.434 * * [simplify]: iteration 32 : 697 enodes (cost 9 ) 0.452 * * [simplify]: iteration 33 : 723 enodes (cost 9 ) 0.464 * * [simplify]: iteration 34 : 746 enodes (cost 9 ) 0.479 * * [simplify]: iteration 35 : 768 enodes (cost 9 ) 0.498 * * [simplify]: iteration 36 : 794 enodes (cost 9 ) 0.510 * * [simplify]: iteration 37 : 817 enodes (cost 9 ) 0.524 * * [simplify]: iteration 38 : 839 enodes (cost 9 ) 0.539 * * [simplify]: iteration 39 : 865 enodes (cost 9 ) 0.555 * * [simplify]: iteration 40 : 888 enodes (cost 9 ) 0.570 * * [simplify]: iteration 41 : 910 enodes (cost 9 ) 0.585 * * [simplify]: iteration 42 : 936 enodes (cost 9 ) 0.601 * * [simplify]: iteration 43 : 959 enodes (cost 9 ) 0.615 * * [simplify]: iteration 44 : 981 enodes (cost 9 ) 0.630 * * [simplify]: iteration 45 : 1007 enodes (cost 9 ) 0.642 * * [simplify]: iteration 46 : 1030 enodes (cost 9 ) 0.660 * * [simplify]: iteration 47 : 1052 enodes (cost 9 ) 0.675 * * [simplify]: iteration 48 : 1078 enodes (cost 9 ) 0.687 * * [simplify]: iteration 49 : 1101 enodes (cost 9 ) 0.706 * * [simplify]: iteration 50 : 1123 enodes (cost 9 ) 0.720 * * [simplify]: iteration 51 : 1149 enodes (cost 9 ) 0.732 * * [simplify]: iteration 52 : 1172 enodes (cost 9 ) 0.747 * * [simplify]: iteration 53 : 1194 enodes (cost 9 ) 0.765 * * [simplify]: iteration 54 : 1220 enodes (cost 9 ) 0.777 * * [simplify]: iteration 55 : 1243 enodes (cost 9 ) 0.792 * * [simplify]: iteration 56 : 1265 enodes (cost 9 ) 0.810 * * [simplify]: iteration 57 : 1291 enodes (cost 9 ) 0.822 * * [simplify]: iteration 58 : 1314 enodes (cost 9 ) 0.837 * * [simplify]: iteration 59 : 1336 enodes (cost 9 ) 0.851 * * [simplify]: iteration 60 : 1362 enodes (cost 9 ) 0.867 * * [simplify]: iteration 61 : 1385 enodes (cost 9 ) 0.882 * * [simplify]: iteration 62 : 1407 enodes (cost 9 ) 0.896 * * [simplify]: iteration 63 : 1433 enodes (cost 9 ) 0.908 * * [simplify]: iteration 64 : 1456 enodes (cost 9 ) 0.927 * * [simplify]: iteration 65 : 1478 enodes (cost 9 ) 0.942 * * [simplify]: iteration 66 : 1504 enodes (cost 9 ) 0.954 * * [simplify]: iteration 67 : 1527 enodes (cost 9 ) 0.972 * * [simplify]: iteration 68 : 1549 enodes (cost 9 ) 0.986 * * [simplify]: iteration 69 : 1575 enodes (cost 9 ) 0.999 * * [simplify]: iteration 70 : 1598 enodes (cost 9 ) 1.014 * * [simplify]: iteration 71 : 1620 enodes (cost 9 ) 1.032 * * [simplify]: iteration 72 : 1646 enodes (cost 9 ) 1.044 * * [simplify]: iteration 73 : 1669 enodes (cost 9 ) 1.058 * * [simplify]: iteration 74 : 1691 enodes (cost 9 ) 1.076 * * [simplify]: iteration 75 : 1717 enodes (cost 9 ) 1.088 * * [simplify]: iteration 76 : 1740 enodes (cost 9 ) 1.104 * * [simplify]: iteration 77 : 1762 enodes (cost 9 ) 1.119 * * [simplify]: iteration 78 : 1788 enodes (cost 9 ) 1.134 * * [simplify]: iteration 79 : 1811 enodes (cost 9 ) 1.149 * * [simplify]: iteration 80 : 1833 enodes (cost 9 ) 1.165 * * [simplify]: iteration 81 : 1859 enodes (cost 9 ) 1.180 * * [simplify]: iteration 82 : 1882 enodes (cost 9 ) 1.195 * * [simplify]: iteration 83 : 1904 enodes (cost 9 ) 1.210 * * [simplify]: iteration 84 : 1930 enodes (cost 9 ) 1.222 * * [simplify]: iteration 85 : 1953 enodes (cost 9 ) 1.241 * * [simplify]: iteration 86 : 1975 enodes (cost 9 ) 1.255 * * [simplify]: iteration 87 : 2001 enodes (cost 9 ) 1.267 * * [simplify]: iteration 88 : 2024 enodes (cost 9 ) 1.286 * * [simplify]: iteration 89 : 2046 enodes (cost 9 ) 1.301 * * [simplify]: iteration 90 : 2072 enodes (cost 9 ) 1.313 * * [simplify]: iteration 91 : 2095 enodes (cost 9 ) 1.327 * * [simplify]: iteration 92 : 2117 enodes (cost 9 ) 1.345 * * [simplify]: iteration 93 : 2143 enodes (cost 9 ) 1.358 * * [simplify]: iteration 94 : 2166 enodes (cost 9 ) 1.372 * * [simplify]: iteration 95 : 2188 enodes (cost 9 ) 1.391 * * [simplify]: iteration 96 : 2214 enodes (cost 9 ) 1.403 * * [simplify]: iteration 97 : 2237 enodes (cost 9 ) 1.418 * * [simplify]: iteration 98 : 2259 enodes (cost 9 ) 1.432 * * [simplify]: iteration 99 : 2285 enodes (cost 9 ) 1.448 * * [simplify]: iteration 100 : 2308 enodes (cost 9 ) 1.463 * * [simplify]: iteration 101 : 2330 enodes (cost 9 ) 1.478 * * [simplify]: iteration 102 : 2356 enodes (cost 9 ) 1.493 * * [simplify]: iteration 103 : 2379 enodes (cost 9 ) 1.508 * * [simplify]: iteration 104 : 2401 enodes (cost 9 ) 1.523 * * [simplify]: iteration 105 : 2427 enodes (cost 9 ) 1.535 * * [simplify]: iteration 106 : 2450 enodes (cost 9 ) 1.553 * * [simplify]: iteration 107 : 2472 enodes (cost 9 ) 1.568 * * [simplify]: iteration 108 : 2498 enodes (cost 9 ) 1.580 * * [simplify]: iteration 109 : 2521 enodes (cost 9 ) 1.598 * * [simplify]: iteration 110 : 2543 enodes (cost 9 ) 1.613 * * [simplify]: iteration 111 : 2569 enodes (cost 9 ) 1.624 * * [simplify]: iteration 112 : 2592 enodes (cost 9 ) 1.639 * * [simplify]: iteration 113 : 2614 enodes (cost 9 ) 1.657 * * [simplify]: iteration 114 : 2640 enodes (cost 9 ) 1.669 * * [simplify]: iteration 115 : 2663 enodes (cost 9 ) 1.684 * * [simplify]: iteration 116 : 2685 enodes (cost 9 ) 1.702 * * [simplify]: iteration 117 : 2711 enodes (cost 9 ) 1.714 * * [simplify]: iteration 118 : 2734 enodes (cost 9 ) 1.729 * * [simplify]: iteration 119 : 2756 enodes (cost 9 ) 1.743 * * [simplify]: iteration 120 : 2782 enodes (cost 9 ) 1.758 * * [simplify]: iteration 121 : 2805 enodes (cost 9 ) 1.773 * * [simplify]: iteration 122 : 2827 enodes (cost 9 ) 1.788 * * [simplify]: iteration 123 : 2853 enodes (cost 9 ) 1.800 * * [simplify]: iteration 124 : 2876 enodes (cost 9 ) 1.818 * * [simplify]: iteration 125 : 2898 enodes (cost 9 ) 1.833 * * [simplify]: iteration 126 : 2924 enodes (cost 9 ) 1.844 * * [simplify]: iteration 127 : 2947 enodes (cost 9 ) 1.863 * * [simplify]: iteration 128 : 2969 enodes (cost 9 ) 1.877 * * [simplify]: iteration 129 : 2995 enodes (cost 9 ) 1.889 * * [simplify]: iteration 130 : 3018 enodes (cost 9 ) 1.904 * * [simplify]: iteration 131 : 3040 enodes (cost 9 ) 1.922 * * [simplify]: iteration 132 : 3066 enodes (cost 9 ) 1.934 * * [simplify]: iteration 133 : 3089 enodes (cost 9 ) 1.949 * * [simplify]: iteration 134 : 3111 enodes (cost 9 ) 1.967 * * [simplify]: iteration 135 : 3137 enodes (cost 9 ) 1.980 * * [simplify]: iteration 136 : 3160 enodes (cost 9 ) 1.995 * * [simplify]: iteration 137 : 3182 enodes (cost 9 ) 2.010 * * [simplify]: iteration 138 : 3208 enodes (cost 9 ) 2.025 * * [simplify]: iteration 139 : 3231 enodes (cost 9 ) 2.041 * * [simplify]: iteration 140 : 3253 enodes (cost 9 ) 2.056 * * [simplify]: iteration 141 : 3279 enodes (cost 9 ) 2.072 * * [simplify]: iteration 142 : 3302 enodes (cost 9 ) 2.087 * * [simplify]: iteration 143 : 3324 enodes (cost 9 ) 2.102 * * [simplify]: iteration 144 : 3350 enodes (cost 9 ) 2.114 * * [simplify]: iteration 145 : 3373 enodes (cost 9 ) 2.132 * * [simplify]: iteration 146 : 3395 enodes (cost 9 ) 2.147 * * [simplify]: iteration 147 : 3421 enodes (cost 9 ) 2.159 * * [simplify]: iteration 148 : 3444 enodes (cost 9 ) 2.178 * * [simplify]: iteration 149 : 3466 enodes (cost 9 ) 2.193 * * [simplify]: iteration 150 : 3492 enodes (cost 9 ) 2.205 * * [simplify]: iteration 151 : 3515 enodes (cost 9 ) 2.219 * * [simplify]: iteration 152 : 3537 enodes (cost 9 ) 2.237 * * [simplify]: iteration 153 : 3563 enodes (cost 9 ) 2.249 * * [simplify]: iteration 154 : 3586 enodes (cost 9 ) 2.264 * * [simplify]: iteration 155 : 3608 enodes (cost 9 ) 2.282 * * [simplify]: iteration 156 : 3634 enodes (cost 9 ) 2.294 * * [simplify]: iteration 157 : 3657 enodes (cost 9 ) 2.310 * * [simplify]: iteration 158 : 3679 enodes (cost 9 ) 2.324 * * [simplify]: iteration 159 : 3705 enodes (cost 9 ) 2.339 * * [simplify]: iteration 160 : 3728 enodes (cost 9 ) 2.354 * * [simplify]: iteration 161 : 3750 enodes (cost 9 ) 2.369 * * [simplify]: iteration 162 : 3776 enodes (cost 9 ) 2.381 * * [simplify]: iteration 163 : 3799 enodes (cost 9 ) 2.399 * * [simplify]: iteration 164 : 3821 enodes (cost 9 ) 2.414 * * [simplify]: iteration 165 : 3847 enodes (cost 9 ) 2.426 * * [simplify]: iteration 166 : 3870 enodes (cost 9 ) 2.444 * * [simplify]: iteration 167 : 3892 enodes (cost 9 ) 2.459 * * [simplify]: iteration 168 : 3918 enodes (cost 9 ) 2.471 * * [simplify]: iteration 169 : 3941 enodes (cost 9 ) 2.486 * * [simplify]: iteration 170 : 3963 enodes (cost 9 ) 2.504 * * [simplify]: iteration 171 : 3989 enodes (cost 9 ) 2.516 * * [simplify]: iteration 172 : 4012 enodes (cost 9 ) 2.531 * * [simplify]: iteration 173 : 4034 enodes (cost 9 ) 2.550 * * [simplify]: iteration 174 : 4060 enodes (cost 9 ) 2.562 * * [simplify]: iteration 175 : 4083 enodes (cost 9 ) 2.577 * * [simplify]: iteration 176 : 4105 enodes (cost 9 ) 2.591 * * [simplify]: iteration 177 : 4131 enodes (cost 9 ) 2.607 * * [simplify]: iteration 178 : 4154 enodes (cost 9 ) 2.623 * * [simplify]: iteration 179 : 4176 enodes (cost 9 ) 2.638 * * [simplify]: iteration 180 : 4202 enodes (cost 9 ) 2.653 * * [simplify]: iteration 181 : 4225 enodes (cost 9 ) 2.668 * * [simplify]: iteration 182 : 4247 enodes (cost 9 ) 2.684 * * [simplify]: iteration 183 : 4273 enodes (cost 9 ) 2.695 * * [simplify]: iteration 184 : 4296 enodes (cost 9 ) 2.714 * * [simplify]: iteration 185 : 4318 enodes (cost 9 ) 2.728 * * [simplify]: iteration 186 : 4344 enodes (cost 9 ) 2.741 * * [simplify]: iteration 187 : 4367 enodes (cost 9 ) 2.760 * * [simplify]: iteration 188 : 4389 enodes (cost 9 ) 2.774 * * [simplify]: iteration 189 : 4415 enodes (cost 9 ) 2.787 * * [simplify]: iteration 190 : 4438 enodes (cost 9 ) 2.802 * * [simplify]: iteration 191 : 4460 enodes (cost 9 ) 2.820 * * [simplify]: iteration 192 : 4486 enodes (cost 9 ) 2.832 * * [simplify]: iteration 193 : 4509 enodes (cost 9 ) 2.847 * * [simplify]: iteration 194 : 4531 enodes (cost 9 ) 2.865 * * [simplify]: iteration 195 : 4557 enodes (cost 9 ) 2.877 * * [simplify]: iteration 196 : 4580 enodes (cost 9 ) 2.892 * * [simplify]: iteration 197 : 4602 enodes (cost 9 ) 2.907 * * [simplify]: iteration 198 : 4628 enodes (cost 9 ) 2.922 * * [simplify]: iteration 199 : 4651 enodes (cost 9 ) 2.937 * * [simplify]: iteration 200 : 4673 enodes (cost 9 ) 2.952 * * [simplify]: iteration 201 : 4699 enodes (cost 9 ) 2.964 * * [simplify]: iteration 202 : 4722 enodes (cost 9 ) 2.982 * * [simplify]: iteration 203 : 4744 enodes (cost 9 ) 2.997 * * [simplify]: iteration 204 : 4770 enodes (cost 9 ) 3.009 * * [simplify]: iteration 205 : 4793 enodes (cost 9 ) 3.027 * * [simplify]: iteration 206 : 4815 enodes (cost 9 ) 3.042 * * [simplify]: iteration 207 : 4841 enodes (cost 9 ) 3.054 * * [simplify]: iteration 208 : 4864 enodes (cost 9 ) 3.069 * * [simplify]: iteration 209 : 4886 enodes (cost 9 ) 3.087 * * [simplify]: iteration 210 : 4912 enodes (cost 9 ) 3.099 * * [simplify]: iteration 211 : 4935 enodes (cost 9 ) 3.114 * * [simplify]: iteration 212 : 4957 enodes (cost 9 ) 3.131 * * [simplify]: iteration 213 : 4983 enodes (cost 9 ) 3.143 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 3.143 * [simplify]: Simplified to: (- (+ x (cos y)) (* z (sin y))) 3.143 * * [progress]: iteration 1 / 4 3.143 * * * [progress]: picking best candidate 3.146 * * * * [pick]: Picked # 3.146 * * * [progress]: localizing error 3.155 * * * [progress]: generating rewritten candidates 3.155 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 3.160 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 3.168 * * * [progress]: generating series expansions 3.168 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 3.168 * [approximate]: Taking taylor expansion of (* z (sin y)) in (z y) around 0 3.168 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.168 * [taylor]: Taking taylor expansion of z in y 3.168 * [taylor]: Taking taylor expansion of (sin y) in y 3.168 * [taylor]: Taking taylor expansion of y in y 3.168 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (sin y) in z 3.168 * [taylor]: Taking taylor expansion of y in z 3.168 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.168 * [taylor]: Taking taylor expansion of z in z 3.168 * [taylor]: Taking taylor expansion of (sin y) in z 3.168 * [taylor]: Taking taylor expansion of y in z 3.169 * [taylor]: Taking taylor expansion of 0 in y 3.169 * [taylor]: Taking taylor expansion of (sin y) in y 3.169 * [taylor]: Taking taylor expansion of y in y 3.169 * [taylor]: Taking taylor expansion of 0 in y 3.170 * [taylor]: Taking taylor expansion of 0 in y 3.171 * [taylor]: Taking taylor expansion of 0 in y 3.171 * [approximate]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in (z y) around 0 3.171 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.171 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.171 * [taylor]: Taking taylor expansion of y in y 3.171 * [taylor]: Taking taylor expansion of z in y 3.171 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.171 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.171 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.171 * [taylor]: Taking taylor expansion of y in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.171 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.171 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.171 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.171 * [taylor]: Taking taylor expansion of y in z 3.171 * [taylor]: Taking taylor expansion of z in z 3.171 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.171 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.171 * [taylor]: Taking taylor expansion of y in y 3.172 * [taylor]: Taking taylor expansion of 0 in y 3.172 * [taylor]: Taking taylor expansion of 0 in y 3.173 * [taylor]: Taking taylor expansion of 0 in y 3.173 * [approximate]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in (z y) around 0 3.173 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in y 3.173 * [taylor]: Taking taylor expansion of -1 in y 3.173 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.173 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.173 * [taylor]: Taking taylor expansion of -1 in y 3.173 * [taylor]: Taking taylor expansion of y in y 3.173 * [taylor]: Taking taylor expansion of z in y 3.173 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 3.173 * [taylor]: Taking taylor expansion of -1 in z 3.173 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.173 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.173 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.173 * [taylor]: Taking taylor expansion of -1 in z 3.173 * [taylor]: Taking taylor expansion of y in z 3.173 * [taylor]: Taking taylor expansion of z in z 3.174 * [taylor]: Taking taylor expansion of (* -1 (/ (sin (/ -1 y)) z)) in z 3.174 * [taylor]: Taking taylor expansion of -1 in z 3.174 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.174 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.174 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.174 * [taylor]: Taking taylor expansion of -1 in z 3.174 * [taylor]: Taking taylor expansion of y in z 3.174 * [taylor]: Taking taylor expansion of z in z 3.174 * [taylor]: Taking taylor expansion of (* -1 (sin (/ -1 y))) in y 3.174 * [taylor]: Taking taylor expansion of -1 in y 3.174 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.174 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.174 * [taylor]: Taking taylor expansion of -1 in y 3.174 * [taylor]: Taking taylor expansion of y in y 3.175 * [taylor]: Taking taylor expansion of 0 in y 3.175 * [taylor]: Taking taylor expansion of 0 in y 3.176 * [taylor]: Taking taylor expansion of 0 in y 3.176 * * * * [progress]: [ 2 / 2 ] generating series at (2) 3.176 * [approximate]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in (x y z) around 0 3.176 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in z 3.176 * [taylor]: Taking taylor expansion of (+ (cos y) x) in z 3.176 * [taylor]: Taking taylor expansion of (cos y) in z 3.176 * [taylor]: Taking taylor expansion of y in z 3.176 * [taylor]: Taking taylor expansion of x in z 3.176 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.176 * [taylor]: Taking taylor expansion of z in z 3.176 * [taylor]: Taking taylor expansion of (sin y) in z 3.176 * [taylor]: Taking taylor expansion of y in z 3.176 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in y 3.176 * [taylor]: Taking taylor expansion of (+ (cos y) x) in y 3.176 * [taylor]: Taking taylor expansion of (cos y) in y 3.176 * [taylor]: Taking taylor expansion of y in y 3.176 * [taylor]: Taking taylor expansion of x in y 3.176 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.176 * [taylor]: Taking taylor expansion of z in y 3.176 * [taylor]: Taking taylor expansion of (sin y) in y 3.176 * [taylor]: Taking taylor expansion of y in y 3.176 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x 3.176 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x 3.176 * [taylor]: Taking taylor expansion of (cos y) in x 3.176 * [taylor]: Taking taylor expansion of y in x 3.177 * [taylor]: Taking taylor expansion of x in x 3.177 * [taylor]: Taking taylor expansion of (* z (sin y)) in x 3.177 * [taylor]: Taking taylor expansion of z in x 3.177 * [taylor]: Taking taylor expansion of (sin y) in x 3.177 * [taylor]: Taking taylor expansion of y in x 3.177 * [taylor]: Taking taylor expansion of (- (+ (cos y) x) (* z (sin y))) in x 3.177 * [taylor]: Taking taylor expansion of (+ (cos y) x) in x 3.177 * [taylor]: Taking taylor expansion of (cos y) in x 3.177 * [taylor]: Taking taylor expansion of y in x 3.177 * [taylor]: Taking taylor expansion of x in x 3.177 * [taylor]: Taking taylor expansion of (* z (sin y)) in x 3.177 * [taylor]: Taking taylor expansion of z in x 3.177 * [taylor]: Taking taylor expansion of (sin y) in x 3.177 * [taylor]: Taking taylor expansion of y in x 3.177 * [taylor]: Taking taylor expansion of (- (cos y) (* z (sin y))) in y 3.177 * [taylor]: Taking taylor expansion of (cos y) in y 3.177 * [taylor]: Taking taylor expansion of y in y 3.177 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.177 * [taylor]: Taking taylor expansion of z in y 3.177 * [taylor]: Taking taylor expansion of (sin y) in y 3.177 * [taylor]: Taking taylor expansion of y in y 3.177 * [taylor]: Taking taylor expansion of 1 in z 3.178 * [taylor]: Taking taylor expansion of 1 in y 3.178 * [taylor]: Taking taylor expansion of 1 in z 3.178 * [taylor]: Taking taylor expansion of (neg z) in z 3.178 * [taylor]: Taking taylor expansion of z in z 3.178 * [taylor]: Taking taylor expansion of 0 in y 3.178 * [taylor]: Taking taylor expansion of 0 in z 3.179 * [taylor]: Taking taylor expansion of 0 in z 3.179 * [taylor]: Taking taylor expansion of (neg 1/2) in z 3.179 * [taylor]: Taking taylor expansion of 1/2 in z 3.179 * [approximate]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in (x y z) around 0 3.179 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in z 3.179 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in z 3.179 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.179 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.179 * [taylor]: Taking taylor expansion of y in z 3.179 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.179 * [taylor]: Taking taylor expansion of x in z 3.179 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.179 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.179 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.179 * [taylor]: Taking taylor expansion of y in z 3.179 * [taylor]: Taking taylor expansion of z in z 3.180 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in y 3.180 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in y 3.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.180 * [taylor]: Taking taylor expansion of y in y 3.180 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.180 * [taylor]: Taking taylor expansion of x in y 3.180 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.180 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.180 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.180 * [taylor]: Taking taylor expansion of y in y 3.180 * [taylor]: Taking taylor expansion of z in y 3.180 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 3.180 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 3.180 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 3.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.180 * [taylor]: Taking taylor expansion of y in x 3.180 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.180 * [taylor]: Taking taylor expansion of x in x 3.180 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 3.180 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.180 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.180 * [taylor]: Taking taylor expansion of y in x 3.180 * [taylor]: Taking taylor expansion of z in x 3.180 * [taylor]: Taking taylor expansion of (- (+ (cos (/ 1 y)) (/ 1 x)) (/ (sin (/ 1 y)) z)) in x 3.181 * [taylor]: Taking taylor expansion of (+ (cos (/ 1 y)) (/ 1 x)) in x 3.181 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in x 3.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.181 * [taylor]: Taking taylor expansion of y in x 3.181 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.181 * [taylor]: Taking taylor expansion of x in x 3.181 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in x 3.181 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in x 3.181 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.181 * [taylor]: Taking taylor expansion of y in x 3.181 * [taylor]: Taking taylor expansion of z in x 3.181 * [taylor]: Taking taylor expansion of 1 in y 3.181 * [taylor]: Taking taylor expansion of 1 in z 3.181 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in y 3.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in y 3.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.182 * [taylor]: Taking taylor expansion of y in y 3.182 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.182 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.182 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.182 * [taylor]: Taking taylor expansion of y in y 3.182 * [taylor]: Taking taylor expansion of z in y 3.182 * [taylor]: Taking taylor expansion of (- (cos (/ 1 y)) (/ (sin (/ 1 y)) z)) in z 3.182 * [taylor]: Taking taylor expansion of (cos (/ 1 y)) in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.182 * [taylor]: Taking taylor expansion of y in z 3.182 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.182 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.182 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.182 * [taylor]: Taking taylor expansion of y in z 3.182 * [taylor]: Taking taylor expansion of z in z 3.182 * [taylor]: Taking taylor expansion of 0 in z 3.183 * [taylor]: Taking taylor expansion of 0 in y 3.183 * [taylor]: Taking taylor expansion of 0 in z 3.183 * [taylor]: Taking taylor expansion of 0 in z 3.183 * [taylor]: Taking taylor expansion of 0 in z 3.184 * [approximate]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in (x y z) around 0 3.184 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in z 3.184 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 3.184 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.184 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.184 * [taylor]: Taking taylor expansion of -1 in z 3.184 * [taylor]: Taking taylor expansion of y in z 3.184 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.184 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.184 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.184 * [taylor]: Taking taylor expansion of -1 in z 3.184 * [taylor]: Taking taylor expansion of y in z 3.184 * [taylor]: Taking taylor expansion of z in z 3.185 * [taylor]: Taking taylor expansion of (/ 1 x) in z 3.185 * [taylor]: Taking taylor expansion of x in z 3.185 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in y 3.185 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 3.185 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.185 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.185 * [taylor]: Taking taylor expansion of -1 in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.185 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.185 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.185 * [taylor]: Taking taylor expansion of -1 in y 3.185 * [taylor]: Taking taylor expansion of y in y 3.185 * [taylor]: Taking taylor expansion of z in y 3.185 * [taylor]: Taking taylor expansion of (/ 1 x) in y 3.185 * [taylor]: Taking taylor expansion of x in y 3.185 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 3.185 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 3.185 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 3.185 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.185 * [taylor]: Taking taylor expansion of -1 in x 3.185 * [taylor]: Taking taylor expansion of y in x 3.185 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 3.185 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.185 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.185 * [taylor]: Taking taylor expansion of -1 in x 3.185 * [taylor]: Taking taylor expansion of y in x 3.185 * [taylor]: Taking taylor expansion of z in x 3.185 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.185 * [taylor]: Taking taylor expansion of x in x 3.185 * [taylor]: Taking taylor expansion of (- (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) (/ 1 x)) in x 3.186 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in x 3.186 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in x 3.186 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.186 * [taylor]: Taking taylor expansion of -1 in x 3.186 * [taylor]: Taking taylor expansion of y in x 3.186 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in x 3.186 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in x 3.186 * [taylor]: Taking taylor expansion of (/ -1 y) in x 3.186 * [taylor]: Taking taylor expansion of -1 in x 3.186 * [taylor]: Taking taylor expansion of y in x 3.186 * [taylor]: Taking taylor expansion of z in x 3.186 * [taylor]: Taking taylor expansion of (/ 1 x) in x 3.186 * [taylor]: Taking taylor expansion of x in x 3.186 * [taylor]: Taking taylor expansion of (neg 1) in y 3.186 * [taylor]: Taking taylor expansion of 1 in y 3.186 * [taylor]: Taking taylor expansion of (neg 1) in z 3.186 * [taylor]: Taking taylor expansion of 1 in z 3.186 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in y 3.186 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in y 3.186 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.186 * [taylor]: Taking taylor expansion of -1 in y 3.187 * [taylor]: Taking taylor expansion of y in y 3.187 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.187 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.187 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.187 * [taylor]: Taking taylor expansion of -1 in y 3.187 * [taylor]: Taking taylor expansion of y in y 3.187 * [taylor]: Taking taylor expansion of z in y 3.187 * [taylor]: Taking taylor expansion of (+ (cos (/ -1 y)) (/ (sin (/ -1 y)) z)) in z 3.187 * [taylor]: Taking taylor expansion of (cos (/ -1 y)) in z 3.187 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.187 * [taylor]: Taking taylor expansion of -1 in z 3.187 * [taylor]: Taking taylor expansion of y in z 3.187 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.187 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.187 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.187 * [taylor]: Taking taylor expansion of -1 in z 3.187 * [taylor]: Taking taylor expansion of y in z 3.187 * [taylor]: Taking taylor expansion of z in z 3.187 * [taylor]: Taking taylor expansion of 0 in z 3.188 * [taylor]: Taking taylor expansion of 0 in y 3.188 * [taylor]: Taking taylor expansion of 0 in z 3.188 * [taylor]: Taking taylor expansion of 0 in z 3.188 * [taylor]: Taking taylor expansion of 0 in z 3.189 * * * [progress]: simplifying candidates 3.189 * [simplify]: Simplifying using # : (* 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))) 3.191 * * [simplify]: iteration 0 : 69 enodes (cost 365 ) 3.201 * * [simplify]: iteration 1 : 160 enodes (cost 346 ) 3.230 * * [simplify]: iteration 2 : 479 enodes (cost 320 ) 3.332 * * [simplify]: iteration 3 : 1497 enodes (cost 320 ) 3.764 * * [simplify]: iteration done : 5000 enodes (cost 320 ) 3.765 * [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))) 3.765 * * * [progress]: adding candidates to table 3.803 * * [progress]: iteration 2 / 4 3.803 * * * [progress]: picking best candidate 3.822 * * * * [pick]: Picked # 3.822 * * * [progress]: localizing error 3.835 * * * [progress]: generating rewritten candidates 3.835 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 3.838 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2) 3.841 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 1) 3.844 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1) 3.852 * * * [progress]: generating series expansions 3.852 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 3.852 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0 3.852 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y 3.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y 3.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y 3.852 * [taylor]: Taking taylor expansion of 1/3 in y 3.852 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y 3.852 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.852 * [taylor]: Taking taylor expansion of z in y 3.852 * [taylor]: Taking taylor expansion of (sin y) in y 3.852 * [taylor]: Taking taylor expansion of y in y 3.852 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.852 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.852 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.852 * [taylor]: Taking taylor expansion of 1/3 in z 3.852 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.852 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.852 * [taylor]: Taking taylor expansion of z in z 3.852 * [taylor]: Taking taylor expansion of (sin y) in z 3.852 * [taylor]: Taking taylor expansion of y in z 3.853 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.853 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.853 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.853 * [taylor]: Taking taylor expansion of 1/3 in z 3.853 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.853 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.853 * [taylor]: Taking taylor expansion of z in z 3.853 * [taylor]: Taking taylor expansion of (sin y) in z 3.853 * [taylor]: Taking taylor expansion of y in z 3.854 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y 3.854 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y 3.854 * [taylor]: Taking taylor expansion of 1/3 in y 3.854 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y 3.854 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.854 * [taylor]: Taking taylor expansion of (sin y) in y 3.854 * [taylor]: Taking taylor expansion of y in y 3.854 * [taylor]: Taking taylor expansion of (log z) in y 3.854 * [taylor]: Taking taylor expansion of z in y 3.855 * [taylor]: Taking taylor expansion of 0 in y 3.856 * [taylor]: Taking taylor expansion of 0 in y 3.859 * [taylor]: Taking taylor expansion of 0 in y 3.862 * [taylor]: Taking taylor expansion of 0 in y 3.862 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 3.862 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 3.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 3.862 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 3.862 * [taylor]: Taking taylor expansion of 1/3 in y 3.862 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 3.862 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.862 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.862 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.862 * [taylor]: Taking taylor expansion of y in y 3.862 * [taylor]: Taking taylor expansion of z in y 3.863 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.863 * [taylor]: Taking taylor expansion of 1/3 in z 3.863 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.863 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.863 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.863 * [taylor]: Taking taylor expansion of y in z 3.863 * [taylor]: Taking taylor expansion of z in z 3.863 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.863 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.863 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.863 * [taylor]: Taking taylor expansion of 1/3 in z 3.863 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.863 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.863 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.863 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.863 * [taylor]: Taking taylor expansion of y in z 3.863 * [taylor]: Taking taylor expansion of z in z 3.864 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 3.864 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 3.864 * [taylor]: Taking taylor expansion of 1/3 in y 3.864 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 3.864 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.864 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.864 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.864 * [taylor]: Taking taylor expansion of y in y 3.864 * [taylor]: Taking taylor expansion of (log z) in y 3.864 * [taylor]: Taking taylor expansion of z in y 3.865 * [taylor]: Taking taylor expansion of 0 in y 3.866 * [taylor]: Taking taylor expansion of 0 in y 3.868 * [taylor]: Taking taylor expansion of 0 in y 3.869 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 3.869 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y 3.869 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 3.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 3.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 3.869 * [taylor]: Taking taylor expansion of 1/3 in y 3.869 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 3.869 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.869 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.869 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.869 * [taylor]: Taking taylor expansion of -1 in y 3.869 * [taylor]: Taking taylor expansion of y in y 3.869 * [taylor]: Taking taylor expansion of z in y 3.869 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.869 * [taylor]: Taking taylor expansion of -1 in y 3.869 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.869 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.869 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.869 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.869 * [taylor]: Taking taylor expansion of 1/3 in z 3.869 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.869 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.869 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.869 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.869 * [taylor]: Taking taylor expansion of -1 in z 3.869 * [taylor]: Taking taylor expansion of y in z 3.870 * [taylor]: Taking taylor expansion of z in z 3.870 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.870 * [taylor]: Taking taylor expansion of -1 in z 3.870 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.870 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.870 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.870 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.870 * [taylor]: Taking taylor expansion of 1/3 in z 3.870 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.870 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.870 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.870 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.870 * [taylor]: Taking taylor expansion of -1 in z 3.870 * [taylor]: Taking taylor expansion of y in z 3.870 * [taylor]: Taking taylor expansion of z in z 3.871 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.871 * [taylor]: Taking taylor expansion of -1 in z 3.871 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 3.871 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.871 * [taylor]: Taking taylor expansion of -1 in y 3.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 3.871 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 3.871 * [taylor]: Taking taylor expansion of 1/3 in y 3.871 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 3.871 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.871 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.871 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.871 * [taylor]: Taking taylor expansion of -1 in y 3.871 * [taylor]: Taking taylor expansion of y in y 3.871 * [taylor]: Taking taylor expansion of (log z) in y 3.871 * [taylor]: Taking taylor expansion of z in y 3.873 * [taylor]: Taking taylor expansion of 0 in y 3.875 * [taylor]: Taking taylor expansion of 0 in y 3.877 * [taylor]: Taking taylor expansion of 0 in y 3.877 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2) 3.877 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0 3.877 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y 3.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y 3.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y 3.878 * [taylor]: Taking taylor expansion of 1/3 in y 3.878 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y 3.878 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.878 * [taylor]: Taking taylor expansion of z in y 3.878 * [taylor]: Taking taylor expansion of (sin y) in y 3.878 * [taylor]: Taking taylor expansion of y in y 3.878 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.878 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.878 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.878 * [taylor]: Taking taylor expansion of 1/3 in z 3.878 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.878 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.878 * [taylor]: Taking taylor expansion of z in z 3.878 * [taylor]: Taking taylor expansion of (sin y) in z 3.878 * [taylor]: Taking taylor expansion of y in z 3.878 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.879 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.879 * [taylor]: Taking taylor expansion of 1/3 in z 3.879 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.879 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.879 * [taylor]: Taking taylor expansion of z in z 3.879 * [taylor]: Taking taylor expansion of (sin y) in z 3.879 * [taylor]: Taking taylor expansion of y in z 3.879 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y 3.879 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y 3.879 * [taylor]: Taking taylor expansion of 1/3 in y 3.879 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y 3.879 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.879 * [taylor]: Taking taylor expansion of (sin y) in y 3.879 * [taylor]: Taking taylor expansion of y in y 3.879 * [taylor]: Taking taylor expansion of (log z) in y 3.879 * [taylor]: Taking taylor expansion of z in y 3.881 * [taylor]: Taking taylor expansion of 0 in y 3.882 * [taylor]: Taking taylor expansion of 0 in y 3.884 * [taylor]: Taking taylor expansion of 0 in y 3.888 * [taylor]: Taking taylor expansion of 0 in y 3.888 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 3.888 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 3.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 3.888 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 3.888 * [taylor]: Taking taylor expansion of 1/3 in y 3.888 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 3.888 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.888 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.888 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.888 * [taylor]: Taking taylor expansion of y in y 3.888 * [taylor]: Taking taylor expansion of z in y 3.888 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.888 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.889 * [taylor]: Taking taylor expansion of 1/3 in z 3.889 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.889 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.889 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.889 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.889 * [taylor]: Taking taylor expansion of y in z 3.889 * [taylor]: Taking taylor expansion of z in z 3.889 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.889 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.889 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.889 * [taylor]: Taking taylor expansion of 1/3 in z 3.889 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.889 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.889 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.889 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.889 * [taylor]: Taking taylor expansion of y in z 3.889 * [taylor]: Taking taylor expansion of z in z 3.890 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 3.890 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 3.890 * [taylor]: Taking taylor expansion of 1/3 in y 3.890 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 3.890 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.890 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.890 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.890 * [taylor]: Taking taylor expansion of y in y 3.890 * [taylor]: Taking taylor expansion of (log z) in y 3.890 * [taylor]: Taking taylor expansion of z in y 3.891 * [taylor]: Taking taylor expansion of 0 in y 3.893 * [taylor]: Taking taylor expansion of 0 in y 3.898 * [taylor]: Taking taylor expansion of 0 in y 3.899 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 3.899 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y 3.899 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 3.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 3.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 3.899 * [taylor]: Taking taylor expansion of 1/3 in y 3.899 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 3.899 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.899 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.899 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.899 * [taylor]: Taking taylor expansion of -1 in y 3.899 * [taylor]: Taking taylor expansion of y in y 3.899 * [taylor]: Taking taylor expansion of z in y 3.899 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.899 * [taylor]: Taking taylor expansion of -1 in y 3.899 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.899 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.899 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.899 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.899 * [taylor]: Taking taylor expansion of 1/3 in z 3.899 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.899 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.900 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.900 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.900 * [taylor]: Taking taylor expansion of -1 in z 3.900 * [taylor]: Taking taylor expansion of y in z 3.900 * [taylor]: Taking taylor expansion of z in z 3.900 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.900 * [taylor]: Taking taylor expansion of -1 in z 3.900 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.900 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.900 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.900 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.900 * [taylor]: Taking taylor expansion of 1/3 in z 3.900 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.900 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.900 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.900 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.900 * [taylor]: Taking taylor expansion of -1 in z 3.900 * [taylor]: Taking taylor expansion of y in z 3.900 * [taylor]: Taking taylor expansion of z in z 3.901 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.901 * [taylor]: Taking taylor expansion of -1 in z 3.901 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 3.901 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.901 * [taylor]: Taking taylor expansion of -1 in y 3.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 3.901 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 3.901 * [taylor]: Taking taylor expansion of 1/3 in y 3.901 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 3.901 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.901 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.901 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.901 * [taylor]: Taking taylor expansion of -1 in y 3.901 * [taylor]: Taking taylor expansion of y in y 3.902 * [taylor]: Taking taylor expansion of (log z) in y 3.902 * [taylor]: Taking taylor expansion of z in y 3.903 * [taylor]: Taking taylor expansion of 0 in y 3.905 * [taylor]: Taking taylor expansion of 0 in y 3.908 * [taylor]: Taking taylor expansion of 0 in y 3.908 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 1) 3.908 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0 3.908 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y 3.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y 3.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y 3.908 * [taylor]: Taking taylor expansion of 1/3 in y 3.908 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y 3.908 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 3.908 * [taylor]: Taking taylor expansion of z in y 3.908 * [taylor]: Taking taylor expansion of (sin y) in y 3.908 * [taylor]: Taking taylor expansion of y in y 3.908 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.908 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.908 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.908 * [taylor]: Taking taylor expansion of 1/3 in z 3.909 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.909 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.909 * [taylor]: Taking taylor expansion of z in z 3.909 * [taylor]: Taking taylor expansion of (sin y) in z 3.909 * [taylor]: Taking taylor expansion of y in z 3.909 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 3.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 3.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 3.909 * [taylor]: Taking taylor expansion of 1/3 in z 3.909 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 3.909 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 3.909 * [taylor]: Taking taylor expansion of z in z 3.909 * [taylor]: Taking taylor expansion of (sin y) in z 3.909 * [taylor]: Taking taylor expansion of y in z 3.910 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y 3.910 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y 3.910 * [taylor]: Taking taylor expansion of 1/3 in y 3.910 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y 3.910 * [taylor]: Taking taylor expansion of (log (sin y)) in y 3.910 * [taylor]: Taking taylor expansion of (sin y) in y 3.910 * [taylor]: Taking taylor expansion of y in y 3.910 * [taylor]: Taking taylor expansion of (log z) in y 3.910 * [taylor]: Taking taylor expansion of z in y 3.911 * [taylor]: Taking taylor expansion of 0 in y 3.912 * [taylor]: Taking taylor expansion of 0 in y 3.915 * [taylor]: Taking taylor expansion of 0 in y 3.918 * [taylor]: Taking taylor expansion of 0 in y 3.918 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 3.918 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 3.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 3.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 3.918 * [taylor]: Taking taylor expansion of 1/3 in y 3.918 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 3.918 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 3.918 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.918 * [taylor]: Taking taylor expansion of y in y 3.918 * [taylor]: Taking taylor expansion of z in y 3.919 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.919 * [taylor]: Taking taylor expansion of 1/3 in z 3.919 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.919 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.919 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.919 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.919 * [taylor]: Taking taylor expansion of y in z 3.919 * [taylor]: Taking taylor expansion of z in z 3.919 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 3.919 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 3.919 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 3.919 * [taylor]: Taking taylor expansion of 1/3 in z 3.919 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 3.919 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 3.919 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.919 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.919 * [taylor]: Taking taylor expansion of y in z 3.919 * [taylor]: Taking taylor expansion of z in z 3.920 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 3.920 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 3.920 * [taylor]: Taking taylor expansion of 1/3 in y 3.920 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 3.920 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 3.920 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.920 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.920 * [taylor]: Taking taylor expansion of y in y 3.920 * [taylor]: Taking taylor expansion of (log z) in y 3.920 * [taylor]: Taking taylor expansion of z in y 3.921 * [taylor]: Taking taylor expansion of 0 in y 3.922 * [taylor]: Taking taylor expansion of 0 in y 3.924 * [taylor]: Taking taylor expansion of 0 in y 3.925 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 3.925 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y 3.925 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 3.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 3.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 3.925 * [taylor]: Taking taylor expansion of 1/3 in y 3.925 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 3.925 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 3.925 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.925 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.925 * [taylor]: Taking taylor expansion of -1 in y 3.925 * [taylor]: Taking taylor expansion of y in y 3.925 * [taylor]: Taking taylor expansion of z in y 3.925 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.925 * [taylor]: Taking taylor expansion of -1 in y 3.925 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.925 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.925 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.925 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.925 * [taylor]: Taking taylor expansion of 1/3 in z 3.925 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.925 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.925 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.925 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.925 * [taylor]: Taking taylor expansion of -1 in z 3.925 * [taylor]: Taking taylor expansion of y in z 3.926 * [taylor]: Taking taylor expansion of z in z 3.926 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.926 * [taylor]: Taking taylor expansion of -1 in z 3.926 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 3.926 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 3.926 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 3.926 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 3.926 * [taylor]: Taking taylor expansion of 1/3 in z 3.926 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 3.926 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 3.926 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.926 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.926 * [taylor]: Taking taylor expansion of -1 in z 3.926 * [taylor]: Taking taylor expansion of y in z 3.926 * [taylor]: Taking taylor expansion of z in z 3.927 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.927 * [taylor]: Taking taylor expansion of -1 in z 3.927 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 3.927 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.927 * [taylor]: Taking taylor expansion of -1 in y 3.927 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 3.927 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 3.927 * [taylor]: Taking taylor expansion of 1/3 in y 3.927 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 3.927 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 3.927 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.927 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.927 * [taylor]: Taking taylor expansion of -1 in y 3.927 * [taylor]: Taking taylor expansion of y in y 3.927 * [taylor]: Taking taylor expansion of (log z) in y 3.927 * [taylor]: Taking taylor expansion of z in y 3.929 * [taylor]: Taking taylor expansion of 0 in y 3.931 * [taylor]: Taking taylor expansion of 0 in y 3.933 * [taylor]: Taking taylor expansion of 0 in y 3.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1) 3.934 * [approximate]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in (z y) around 0 3.934 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in y 3.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in y 3.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in y 3.934 * [taylor]: Taking taylor expansion of 1/3 in y 3.934 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in y 3.934 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in y 3.934 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.934 * [taylor]: Taking taylor expansion of z in y 3.934 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 3.934 * [taylor]: Taking taylor expansion of (sin y) in y 3.934 * [taylor]: Taking taylor expansion of y in y 3.934 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z 3.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z 3.934 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z 3.934 * [taylor]: Taking taylor expansion of 1/3 in z 3.934 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z 3.934 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z 3.935 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.935 * [taylor]: Taking taylor expansion of z in z 3.935 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 3.935 * [taylor]: Taking taylor expansion of (sin y) in z 3.935 * [taylor]: Taking taylor expansion of y in z 3.935 * [taylor]: Taking taylor expansion of (pow (* (pow z 2) (pow (sin y) 2)) 1/3) in z 3.935 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* (pow z 2) (pow (sin y) 2))))) in z 3.935 * [taylor]: Taking taylor expansion of (* 1/3 (log (* (pow z 2) (pow (sin y) 2)))) in z 3.935 * [taylor]: Taking taylor expansion of 1/3 in z 3.935 * [taylor]: Taking taylor expansion of (log (* (pow z 2) (pow (sin y) 2))) in z 3.935 * [taylor]: Taking taylor expansion of (* (pow z 2) (pow (sin y) 2)) in z 3.935 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.935 * [taylor]: Taking taylor expansion of z in z 3.935 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in z 3.935 * [taylor]: Taking taylor expansion of (sin y) in z 3.935 * [taylor]: Taking taylor expansion of y in z 3.936 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2))))) in y 3.936 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log z)) (log (pow (sin y) 2)))) in y 3.936 * [taylor]: Taking taylor expansion of 1/3 in y 3.936 * [taylor]: Taking taylor expansion of (+ (* 2 (log z)) (log (pow (sin y) 2))) in y 3.936 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.936 * [taylor]: Taking taylor expansion of 2 in y 3.936 * [taylor]: Taking taylor expansion of (log z) in y 3.936 * [taylor]: Taking taylor expansion of z in y 3.936 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 3.936 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 3.936 * [taylor]: Taking taylor expansion of (sin y) in y 3.936 * [taylor]: Taking taylor expansion of y in y 3.937 * [taylor]: Taking taylor expansion of 0 in y 3.939 * [taylor]: Taking taylor expansion of 0 in y 3.942 * [taylor]: Taking taylor expansion of 0 in y 3.945 * [taylor]: Taking taylor expansion of 0 in y 3.946 * [approximate]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in (z y) around 0 3.946 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in y 3.946 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in y 3.946 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in y 3.946 * [taylor]: Taking taylor expansion of 1/3 in y 3.946 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in y 3.946 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in y 3.946 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 3.946 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.946 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.946 * [taylor]: Taking taylor expansion of y in y 3.946 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.946 * [taylor]: Taking taylor expansion of z in y 3.947 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 3.947 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 3.947 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 3.947 * [taylor]: Taking taylor expansion of 1/3 in z 3.947 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 3.947 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 3.947 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 3.947 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.947 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.947 * [taylor]: Taking taylor expansion of y in z 3.947 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.947 * [taylor]: Taking taylor expansion of z in z 3.947 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ 1 y)) 2) (pow z 2)) 1/3) in z 3.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))))) in z 3.948 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ 1 y)) 2) (pow z 2)))) in z 3.948 * [taylor]: Taking taylor expansion of 1/3 in z 3.948 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ 1 y)) 2) (pow z 2))) in z 3.948 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ 1 y)) 2) (pow z 2)) in z 3.948 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in z 3.948 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 3.948 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.948 * [taylor]: Taking taylor expansion of y in z 3.948 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.948 * [taylor]: Taking taylor expansion of z in z 3.948 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))))) in y 3.948 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z)))) in y 3.948 * [taylor]: Taking taylor expansion of 1/3 in y 3.948 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ 1 y)) 2)) (* 2 (log z))) in y 3.948 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 3.949 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 3.949 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 3.949 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.949 * [taylor]: Taking taylor expansion of y in y 3.949 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.949 * [taylor]: Taking taylor expansion of 2 in y 3.949 * [taylor]: Taking taylor expansion of (log z) in y 3.949 * [taylor]: Taking taylor expansion of z in y 3.950 * [taylor]: Taking taylor expansion of 0 in y 3.952 * [taylor]: Taking taylor expansion of 0 in y 3.955 * [taylor]: Taking taylor expansion of 0 in y 3.955 * [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 3.955 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in y 3.955 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in y 3.955 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in y 3.955 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in y 3.955 * [taylor]: Taking taylor expansion of 1/3 in y 3.956 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in y 3.956 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in y 3.956 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 3.956 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.956 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.956 * [taylor]: Taking taylor expansion of -1 in y 3.956 * [taylor]: Taking taylor expansion of y in y 3.956 * [taylor]: Taking taylor expansion of (pow z 2) in y 3.956 * [taylor]: Taking taylor expansion of z in y 3.956 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.956 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.956 * [taylor]: Taking taylor expansion of -1 in y 3.956 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 3.956 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 3.956 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 3.956 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 3.956 * [taylor]: Taking taylor expansion of 1/3 in z 3.957 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 3.957 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 3.957 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 3.957 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.957 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.957 * [taylor]: Taking taylor expansion of -1 in z 3.957 * [taylor]: Taking taylor expansion of y in z 3.957 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.957 * [taylor]: Taking taylor expansion of z in z 3.957 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.957 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.957 * [taylor]: Taking taylor expansion of -1 in z 3.958 * [taylor]: Taking taylor expansion of (* (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 3.958 * [taylor]: Taking taylor expansion of (pow (/ (pow (sin (/ -1 y)) 2) (pow z 2)) 1/3) in z 3.958 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))))) in z 3.958 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow (sin (/ -1 y)) 2) (pow z 2)))) in z 3.958 * [taylor]: Taking taylor expansion of 1/3 in z 3.958 * [taylor]: Taking taylor expansion of (log (/ (pow (sin (/ -1 y)) 2) (pow z 2))) in z 3.958 * [taylor]: Taking taylor expansion of (/ (pow (sin (/ -1 y)) 2) (pow z 2)) in z 3.958 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in z 3.958 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 3.958 * [taylor]: Taking taylor expansion of (/ -1 y) in z 3.958 * [taylor]: Taking taylor expansion of -1 in z 3.958 * [taylor]: Taking taylor expansion of y in z 3.958 * [taylor]: Taking taylor expansion of (pow z 2) in z 3.958 * [taylor]: Taking taylor expansion of z in z 3.958 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 3.958 * [taylor]: Taking taylor expansion of (cbrt -1) in z 3.958 * [taylor]: Taking taylor expansion of -1 in z 3.959 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))))) in y 3.959 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 3.959 * [taylor]: Taking taylor expansion of (cbrt -1) in y 3.959 * [taylor]: Taking taylor expansion of -1 in y 3.959 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))))) in y 3.959 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z)))) in y 3.959 * [taylor]: Taking taylor expansion of 1/3 in y 3.959 * [taylor]: Taking taylor expansion of (- (log (pow (sin (/ -1 y)) 2)) (* 2 (log z))) in y 3.959 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 3.959 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 3.959 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 3.959 * [taylor]: Taking taylor expansion of (/ -1 y) in y 3.959 * [taylor]: Taking taylor expansion of -1 in y 3.959 * [taylor]: Taking taylor expansion of y in y 3.959 * [taylor]: Taking taylor expansion of (* 2 (log z)) in y 3.960 * [taylor]: Taking taylor expansion of 2 in y 3.960 * [taylor]: Taking taylor expansion of (log z) in y 3.960 * [taylor]: Taking taylor expansion of z in y 3.962 * [taylor]: Taking taylor expansion of 0 in y 3.965 * [taylor]: Taking taylor expansion of 0 in y 3.969 * [taylor]: Taking taylor expansion of 0 in y 3.969 * * * [progress]: simplifying candidates 3.970 * [simplify]: Simplifying using # : (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)) 3.974 * * [simplify]: iteration 0 : 90 enodes (cost 814 ) 3.989 * * [simplify]: iteration 1 : 200 enodes (cost 733 ) 4.021 * * [simplify]: iteration 2 : 560 enodes (cost 633 ) 4.127 * * [simplify]: iteration 3 : 1657 enodes (cost 560 ) 4.483 * * [simplify]: iteration done : 5000 enodes (cost 535 ) 4.483 * [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 (* 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 (* 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)))) 2/3 2 (pow (cbrt (* z (sin y))) 6) (pow (sqrt (cbrt (* z (sin y)))) 4) 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 (sqrt (cbrt (* z (sin y)))) 4) (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 (sqrt (cbrt (* z (sin y)))) 4) (* (cbrt (exp (+ (log y) (log z)))) (+ 1 (* -1/18 (pow y 2)))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt -1) (cbrt (exp (- (log (sin y)) (log (/ -1 z)))))) (* (cbrt (exp (+ (log y) (log z)))) (+ 1 (* -1/18 (pow y 2)))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt -1) (cbrt (exp (- (log (sin y)) (log (/ -1 z)))))) (* (cbrt (exp (+ (log y) (log z)))) (+ 1 (* -1/18 (pow y 2)))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt -1) (cbrt (exp (- (log (sin y)) (log (/ -1 z)))))) (* (exp (* 2/3 (+ (log y) (log z)))) (+ 1 (* -1/9 (pow y 2)))) (exp (* 2/3 (+ (log z) (log (sin y))))) (* (exp (* 2/3 (- (log (sin y)) (log (/ -1 z))))) (pow (cbrt -1) 2)) 4.484 * * * [progress]: adding candidates to table 4.562 * * [progress]: iteration 3 / 4 4.563 * * * [progress]: picking best candidate 4.585 * * * * [pick]: Picked # 4.586 * * * [progress]: localizing error 4.604 * * * [progress]: generating rewritten candidates 4.604 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 4.607 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 4.608 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 4.610 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 1) 4.619 * * * [progress]: generating series expansions 4.619 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 4.619 * [approximate]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in (z y) around 0 4.619 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in y 4.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in y 4.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in y 4.619 * [taylor]: Taking taylor expansion of 1/3 in y 4.619 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in y 4.619 * [taylor]: Taking taylor expansion of (* z (sin y)) in y 4.619 * [taylor]: Taking taylor expansion of z in y 4.619 * [taylor]: Taking taylor expansion of (sin y) in y 4.619 * [taylor]: Taking taylor expansion of y in y 4.619 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 4.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 4.619 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 4.619 * [taylor]: Taking taylor expansion of 1/3 in z 4.619 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 4.619 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 4.619 * [taylor]: Taking taylor expansion of z in z 4.619 * [taylor]: Taking taylor expansion of (sin y) in z 4.619 * [taylor]: Taking taylor expansion of y in z 4.620 * [taylor]: Taking taylor expansion of (pow (* z (sin y)) 1/3) in z 4.620 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (* z (sin y))))) in z 4.620 * [taylor]: Taking taylor expansion of (* 1/3 (log (* z (sin y)))) in z 4.620 * [taylor]: Taking taylor expansion of 1/3 in z 4.620 * [taylor]: Taking taylor expansion of (log (* z (sin y))) in z 4.620 * [taylor]: Taking taylor expansion of (* z (sin y)) in z 4.620 * [taylor]: Taking taylor expansion of z in z 4.620 * [taylor]: Taking taylor expansion of (sin y) in z 4.620 * [taylor]: Taking taylor expansion of y in z 4.621 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log (sin y)) (log z)))) in y 4.621 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log (sin y)) (log z))) in y 4.621 * [taylor]: Taking taylor expansion of 1/3 in y 4.621 * [taylor]: Taking taylor expansion of (+ (log (sin y)) (log z)) in y 4.621 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.621 * [taylor]: Taking taylor expansion of (sin y) in y 4.621 * [taylor]: Taking taylor expansion of y in y 4.621 * [taylor]: Taking taylor expansion of (log z) in y 4.621 * [taylor]: Taking taylor expansion of z in y 4.622 * [taylor]: Taking taylor expansion of 0 in y 4.623 * [taylor]: Taking taylor expansion of 0 in y 4.628 * [taylor]: Taking taylor expansion of 0 in y 4.632 * [taylor]: Taking taylor expansion of 0 in y 4.632 * [approximate]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in (z y) around 0 4.632 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in y 4.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in y 4.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in y 4.632 * [taylor]: Taking taylor expansion of 1/3 in y 4.632 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in y 4.632 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in y 4.632 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.632 * [taylor]: Taking taylor expansion of y in y 4.632 * [taylor]: Taking taylor expansion of z in y 4.632 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.632 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.632 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.632 * [taylor]: Taking taylor expansion of 1/3 in z 4.632 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.632 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.633 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.633 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.633 * [taylor]: Taking taylor expansion of y in z 4.633 * [taylor]: Taking taylor expansion of z in z 4.633 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ 1 y)) z) 1/3) in z 4.633 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ 1 y)) z)))) in z 4.633 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ 1 y)) z))) in z 4.633 * [taylor]: Taking taylor expansion of 1/3 in z 4.633 * [taylor]: Taking taylor expansion of (log (/ (sin (/ 1 y)) z)) in z 4.633 * [taylor]: Taking taylor expansion of (/ (sin (/ 1 y)) z) in z 4.633 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in z 4.633 * [taylor]: Taking taylor expansion of (/ 1 y) in z 4.633 * [taylor]: Taking taylor expansion of y in z 4.633 * [taylor]: Taking taylor expansion of z in z 4.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ 1 y))) (log z)))) in y 4.634 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ 1 y))) (log z))) in y 4.634 * [taylor]: Taking taylor expansion of 1/3 in y 4.634 * [taylor]: Taking taylor expansion of (- (log (sin (/ 1 y))) (log z)) in y 4.634 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.634 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.634 * [taylor]: Taking taylor expansion of y in y 4.634 * [taylor]: Taking taylor expansion of (log z) in y 4.634 * [taylor]: Taking taylor expansion of z in y 4.635 * [taylor]: Taking taylor expansion of 0 in y 4.636 * [taylor]: Taking taylor expansion of 0 in y 4.639 * [taylor]: Taking taylor expansion of 0 in y 4.639 * [approximate]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in (z y) around 0 4.639 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in y 4.639 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in y 4.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in y 4.639 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in y 4.639 * [taylor]: Taking taylor expansion of 1/3 in y 4.639 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in y 4.639 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in y 4.639 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.639 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.639 * [taylor]: Taking taylor expansion of -1 in y 4.639 * [taylor]: Taking taylor expansion of y in y 4.639 * [taylor]: Taking taylor expansion of z in y 4.639 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.639 * [taylor]: Taking taylor expansion of -1 in y 4.639 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 4.639 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.639 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.640 * [taylor]: Taking taylor expansion of 1/3 in z 4.640 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.640 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.640 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.640 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.640 * [taylor]: Taking taylor expansion of -1 in z 4.640 * [taylor]: Taking taylor expansion of y in z 4.640 * [taylor]: Taking taylor expansion of z in z 4.640 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.640 * [taylor]: Taking taylor expansion of -1 in z 4.640 * [taylor]: Taking taylor expansion of (* (pow (/ (sin (/ -1 y)) z) 1/3) (cbrt -1)) in z 4.640 * [taylor]: Taking taylor expansion of (pow (/ (sin (/ -1 y)) z) 1/3) in z 4.640 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (sin (/ -1 y)) z)))) in z 4.640 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (sin (/ -1 y)) z))) in z 4.640 * [taylor]: Taking taylor expansion of 1/3 in z 4.640 * [taylor]: Taking taylor expansion of (log (/ (sin (/ -1 y)) z)) in z 4.640 * [taylor]: Taking taylor expansion of (/ (sin (/ -1 y)) z) in z 4.640 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in z 4.640 * [taylor]: Taking taylor expansion of (/ -1 y) in z 4.640 * [taylor]: Taking taylor expansion of -1 in z 4.640 * [taylor]: Taking taylor expansion of y in z 4.640 * [taylor]: Taking taylor expansion of z in z 4.641 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.641 * [taylor]: Taking taylor expansion of -1 in z 4.641 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (* 1/3 (- (log (sin (/ -1 y))) (log z))))) in y 4.641 * [taylor]: Taking taylor expansion of (cbrt -1) in y 4.641 * [taylor]: Taking taylor expansion of -1 in y 4.641 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (sin (/ -1 y))) (log z)))) in y 4.641 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (sin (/ -1 y))) (log z))) in y 4.641 * [taylor]: Taking taylor expansion of 1/3 in y 4.641 * [taylor]: Taking taylor expansion of (- (log (sin (/ -1 y))) (log z)) in y 4.641 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.641 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.641 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.641 * [taylor]: Taking taylor expansion of -1 in y 4.641 * [taylor]: Taking taylor expansion of y in y 4.642 * [taylor]: Taking taylor expansion of (log z) in y 4.642 * [taylor]: Taking taylor expansion of z in y 4.643 * [taylor]: Taking taylor expansion of 0 in y 4.645 * [taylor]: Taking taylor expansion of 0 in y 4.647 * [taylor]: Taking taylor expansion of 0 in y 4.647 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 4.648 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.648 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.648 * [taylor]: Taking taylor expansion of 1/3 in y 4.648 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.648 * [taylor]: Taking taylor expansion of (sin y) in y 4.648 * [taylor]: Taking taylor expansion of y in y 4.648 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.648 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.648 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.648 * [taylor]: Taking taylor expansion of 1/3 in y 4.648 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.648 * [taylor]: Taking taylor expansion of (sin y) in y 4.648 * [taylor]: Taking taylor expansion of y in y 4.652 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.652 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.652 * [taylor]: Taking taylor expansion of 1/3 in y 4.652 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.652 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.652 * [taylor]: Taking taylor expansion of y in y 4.652 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.652 * [taylor]: Taking taylor expansion of 1/3 in y 4.652 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.652 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.652 * [taylor]: Taking taylor expansion of y in y 4.660 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.660 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.660 * [taylor]: Taking taylor expansion of 1/3 in y 4.660 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.660 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.660 * [taylor]: Taking taylor expansion of -1 in y 4.660 * [taylor]: Taking taylor expansion of y in y 4.660 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.660 * [taylor]: Taking taylor expansion of 1/3 in y 4.660 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.660 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.660 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.660 * [taylor]: Taking taylor expansion of -1 in y 4.660 * [taylor]: Taking taylor expansion of y in y 4.667 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 4.668 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 4.668 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.668 * [taylor]: Taking taylor expansion of 1/3 in y 4.668 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.668 * [taylor]: Taking taylor expansion of (sin y) in y 4.668 * [taylor]: Taking taylor expansion of y in y 4.668 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 4.668 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 4.668 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 4.668 * [taylor]: Taking taylor expansion of 1/3 in y 4.668 * [taylor]: Taking taylor expansion of (log (sin y)) in y 4.668 * [taylor]: Taking taylor expansion of (sin y) in y 4.668 * [taylor]: Taking taylor expansion of y in y 4.672 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 4.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.672 * [taylor]: Taking taylor expansion of 1/3 in y 4.672 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.672 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.672 * [taylor]: Taking taylor expansion of y in y 4.672 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 4.672 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 4.672 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 4.672 * [taylor]: Taking taylor expansion of 1/3 in y 4.672 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 4.672 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 4.672 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.672 * [taylor]: Taking taylor expansion of y in y 4.680 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 4.680 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.680 * [taylor]: Taking taylor expansion of 1/3 in y 4.680 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.680 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.680 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of y in y 4.680 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 4.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 4.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 4.680 * [taylor]: Taking taylor expansion of 1/3 in y 4.680 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 4.680 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 4.680 * [taylor]: Taking taylor expansion of (/ -1 y) in y 4.680 * [taylor]: Taking taylor expansion of -1 in y 4.680 * [taylor]: Taking taylor expansion of y in y 4.688 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 1) 4.688 * [approximate]: Taking taylor expansion of (pow (pow z 2) 1/3) in (z) around 0 4.688 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 4.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 4.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 4.688 * [taylor]: Taking taylor expansion of 1/3 in z 4.688 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 4.688 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.688 * [taylor]: Taking taylor expansion of z in z 4.688 * [taylor]: Taking taylor expansion of (pow (pow z 2) 1/3) in z 4.688 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow z 2)))) in z 4.688 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow z 2))) in z 4.688 * [taylor]: Taking taylor expansion of 1/3 in z 4.688 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 4.688 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.688 * [taylor]: Taking taylor expansion of z in z 4.696 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in (z) around 0 4.696 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.696 * [taylor]: Taking taylor expansion of 1/3 in z 4.696 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.696 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.696 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.696 * [taylor]: Taking taylor expansion of z in z 4.696 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.696 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.696 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.696 * [taylor]: Taking taylor expansion of 1/3 in z 4.696 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.696 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.696 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.696 * [taylor]: Taking taylor expansion of z in z 4.704 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in (z) around 0 4.704 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 4.704 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.704 * [taylor]: Taking taylor expansion of 1/3 in z 4.704 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.704 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.704 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.704 * [taylor]: Taking taylor expansion of z in z 4.704 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 4.704 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.704 * [taylor]: Taking taylor expansion of -1 in z 4.704 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow z 2)) 1/3) (pow (cbrt -1) 2)) in z 4.704 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow z 2)) 1/3) in z 4.704 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow z 2))))) in z 4.704 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow z 2)))) in z 4.704 * [taylor]: Taking taylor expansion of 1/3 in z 4.704 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 4.704 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 4.704 * [taylor]: Taking taylor expansion of (pow z 2) in z 4.704 * [taylor]: Taking taylor expansion of z in z 4.705 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in z 4.705 * [taylor]: Taking taylor expansion of (cbrt -1) in z 4.705 * [taylor]: Taking taylor expansion of -1 in z 4.716 * * * [progress]: simplifying candidates 4.717 * [simplify]: Simplifying using # : (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))))))) 4.720 * * [simplify]: iteration 0 : 117 enodes (cost 691 ) 4.739 * * [simplify]: iteration 1 : 235 enodes (cost 626 ) 4.779 * * [simplify]: iteration 2 : 656 enodes (cost 548 ) 4.884 * * [simplify]: iteration 3 : 1874 enodes (cost 491 ) 5.206 * * [simplify]: iteration done : 5000 enodes (cost 484 ) 5.207 * [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 (* 2 (log (cbrt z))) (* 2 (log (cbrt z))) (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))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (* (sqrt (cbrt z)) (cbrt (sqrt z))) (cbrt z) (cbrt z) 2/3 2 (* (cbrt z) (cbrt (* (cbrt z) (cbrt z)))) (* (cbrt z) (cbrt (sqrt z))) (cbrt z) (* (cbrt (cbrt z)) (pow (cbrt (cbrt z)) 4)) (pow (sqrt (cbrt z)) 3) (cbrt z) (pow (cbrt (cbrt z)) 4) (* (cbrt z) (cbrt (sqrt z))) (* (cbrt z) (cbrt z)) (pow (cbrt (cbrt z)) 4) (pow (sqrt (cbrt z)) 3) (* (cbrt z) (cbrt z)) (* (pow z 1/3) (* (cbrt y) (- 1 (* 1/18 (pow y 2))))) (cbrt (exp (+ (log z) (log (sin y))))) (* (cbrt (exp (- (log (sin y)) (log (/ -1 z))))) (cbrt -1)) (* (cbrt y) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4))))) (cbrt (sin y)) (cbrt (sin y)) (* (cbrt y) (- 1 (+ (* 1/18 (pow y 2)) (* 1/3240 (pow y 4))))) (cbrt (sin y)) (cbrt (sin y)) (pow z 2/3) (pow z 2/3) (* (cbrt (pow (/ -1 z) -2)) (pow (cbrt -1) 2)) 5.207 * * * [progress]: adding candidates to table 5.293 * * [progress]: iteration 4 / 4 5.293 * * * [progress]: picking best candidate 5.316 * * * * [pick]: Picked # 5.316 * * * [progress]: localizing error 5.329 * * * [progress]: generating rewritten candidates 5.329 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 5.330 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 2) 5.332 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1) 5.334 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2) 5.343 * * * [progress]: generating series expansions 5.343 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 5.343 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 5.343 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.343 * [taylor]: Taking taylor expansion of 1/3 in y 5.343 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.343 * [taylor]: Taking taylor expansion of (sin y) in y 5.343 * [taylor]: Taking taylor expansion of y in y 5.343 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.343 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.343 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.343 * [taylor]: Taking taylor expansion of 1/3 in y 5.343 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.343 * [taylor]: Taking taylor expansion of (sin y) in y 5.343 * [taylor]: Taking taylor expansion of y in y 5.347 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 5.347 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.347 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.348 * [taylor]: Taking taylor expansion of 1/3 in y 5.348 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.348 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.348 * [taylor]: Taking taylor expansion of y in y 5.348 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.348 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.348 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.348 * [taylor]: Taking taylor expansion of 1/3 in y 5.348 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.348 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.348 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.348 * [taylor]: Taking taylor expansion of y in y 5.355 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 5.355 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.355 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.355 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.356 * [taylor]: Taking taylor expansion of 1/3 in y 5.356 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.356 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.356 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.356 * [taylor]: Taking taylor expansion of -1 in y 5.356 * [taylor]: Taking taylor expansion of y in y 5.356 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.356 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.356 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.356 * [taylor]: Taking taylor expansion of 1/3 in y 5.356 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.356 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.356 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.356 * [taylor]: Taking taylor expansion of -1 in y 5.356 * [taylor]: Taking taylor expansion of y in y 5.363 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 2) 5.363 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 5.363 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.363 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.363 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.363 * [taylor]: Taking taylor expansion of 1/3 in y 5.363 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.363 * [taylor]: Taking taylor expansion of (sin y) in y 5.363 * [taylor]: Taking taylor expansion of y in y 5.364 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.364 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.364 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.364 * [taylor]: Taking taylor expansion of 1/3 in y 5.364 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.364 * [taylor]: Taking taylor expansion of (sin y) in y 5.364 * [taylor]: Taking taylor expansion of y in y 5.368 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 5.368 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.368 * [taylor]: Taking taylor expansion of 1/3 in y 5.368 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.368 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.368 * [taylor]: Taking taylor expansion of y in y 5.368 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.368 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.368 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.368 * [taylor]: Taking taylor expansion of 1/3 in y 5.368 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.368 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.368 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.368 * [taylor]: Taking taylor expansion of y in y 5.375 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 5.375 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.375 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.375 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.375 * [taylor]: Taking taylor expansion of 1/3 in y 5.375 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.375 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.375 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.375 * [taylor]: Taking taylor expansion of -1 in y 5.375 * [taylor]: Taking taylor expansion of y in y 5.376 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.376 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.376 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.376 * [taylor]: Taking taylor expansion of 1/3 in y 5.376 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.376 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.376 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.376 * [taylor]: Taking taylor expansion of -1 in y 5.376 * [taylor]: Taking taylor expansion of y in y 5.386 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1) 5.386 * [approximate]: Taking taylor expansion of (pow (sin y) 1/3) in (y) around 0 5.386 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.386 * [taylor]: Taking taylor expansion of 1/3 in y 5.386 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.386 * [taylor]: Taking taylor expansion of (sin y) in y 5.386 * [taylor]: Taking taylor expansion of y in y 5.386 * [taylor]: Taking taylor expansion of (pow (sin y) 1/3) in y 5.386 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin y)))) in y 5.386 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin y))) in y 5.386 * [taylor]: Taking taylor expansion of 1/3 in y 5.386 * [taylor]: Taking taylor expansion of (log (sin y)) in y 5.386 * [taylor]: Taking taylor expansion of (sin y) in y 5.386 * [taylor]: Taking taylor expansion of y in y 5.390 * [approximate]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in (y) around 0 5.390 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.390 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.390 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.390 * [taylor]: Taking taylor expansion of 1/3 in y 5.390 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.391 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.391 * [taylor]: Taking taylor expansion of y in y 5.391 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 1/3) in y 5.391 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ 1 y))))) in y 5.391 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ 1 y)))) in y 5.391 * [taylor]: Taking taylor expansion of 1/3 in y 5.391 * [taylor]: Taking taylor expansion of (log (sin (/ 1 y))) in y 5.391 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.391 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.391 * [taylor]: Taking taylor expansion of y in y 5.398 * [approximate]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in (y) around 0 5.398 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.398 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.398 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.398 * [taylor]: Taking taylor expansion of 1/3 in y 5.398 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.398 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.398 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.398 * [taylor]: Taking taylor expansion of -1 in y 5.398 * [taylor]: Taking taylor expansion of y in y 5.399 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 1/3) in y 5.399 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (sin (/ -1 y))))) in y 5.399 * [taylor]: Taking taylor expansion of (* 1/3 (log (sin (/ -1 y)))) in y 5.399 * [taylor]: Taking taylor expansion of 1/3 in y 5.399 * [taylor]: Taking taylor expansion of (log (sin (/ -1 y))) in y 5.399 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.399 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.399 * [taylor]: Taking taylor expansion of -1 in y 5.399 * [taylor]: Taking taylor expansion of y in y 5.406 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2) 5.406 * [approximate]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in (y) around 0 5.406 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 5.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 5.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 5.406 * [taylor]: Taking taylor expansion of 1/3 in y 5.406 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 5.406 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 5.406 * [taylor]: Taking taylor expansion of (sin y) in y 5.406 * [taylor]: Taking taylor expansion of y in y 5.406 * [taylor]: Taking taylor expansion of (pow (pow (sin y) 2) 1/3) in y 5.406 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin y) 2)))) in y 5.406 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin y) 2))) in y 5.406 * [taylor]: Taking taylor expansion of 1/3 in y 5.407 * [taylor]: Taking taylor expansion of (log (pow (sin y) 2)) in y 5.407 * [taylor]: Taking taylor expansion of (pow (sin y) 2) in y 5.407 * [taylor]: Taking taylor expansion of (sin y) in y 5.407 * [taylor]: Taking taylor expansion of y in y 5.411 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in (y) around 0 5.411 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 5.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 5.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 5.411 * [taylor]: Taking taylor expansion of 1/3 in y 5.411 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 5.411 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 5.411 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.411 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.411 * [taylor]: Taking taylor expansion of y in y 5.411 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ 1 y)) 2) 1/3) in y 5.411 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ 1 y)) 2)))) in y 5.411 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ 1 y)) 2))) in y 5.412 * [taylor]: Taking taylor expansion of 1/3 in y 5.412 * [taylor]: Taking taylor expansion of (log (pow (sin (/ 1 y)) 2)) in y 5.412 * [taylor]: Taking taylor expansion of (pow (sin (/ 1 y)) 2) in y 5.412 * [taylor]: Taking taylor expansion of (sin (/ 1 y)) in y 5.412 * [taylor]: Taking taylor expansion of (/ 1 y) in y 5.412 * [taylor]: Taking taylor expansion of y in y 5.421 * [approximate]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in (y) around 0 5.421 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 5.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 5.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 5.421 * [taylor]: Taking taylor expansion of 1/3 in y 5.421 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 5.421 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 5.421 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.421 * [taylor]: Taking taylor expansion of -1 in y 5.421 * [taylor]: Taking taylor expansion of y in y 5.421 * [taylor]: Taking taylor expansion of (pow (pow (sin (/ -1 y)) 2) 1/3) in y 5.421 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (sin (/ -1 y)) 2)))) in y 5.421 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (sin (/ -1 y)) 2))) in y 5.421 * [taylor]: Taking taylor expansion of 1/3 in y 5.421 * [taylor]: Taking taylor expansion of (log (pow (sin (/ -1 y)) 2)) in y 5.421 * [taylor]: Taking taylor expansion of (pow (sin (/ -1 y)) 2) in y 5.421 * [taylor]: Taking taylor expansion of (sin (/ -1 y)) in y 5.421 * [taylor]: Taking taylor expansion of (/ -1 y) in y 5.421 * [taylor]: Taking taylor expansion of -1 in y 5.421 * [taylor]: Taking taylor expansion of y in y 5.431 * * * [progress]: simplifying candidates 5.432 * [simplify]: Simplifying using # : (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) 5.435 * * [simplify]: iteration 0 : 76 enodes (cost 792 ) 5.446 * * [simplify]: iteration 1 : 164 enodes (cost 713 ) 5.476 * * [simplify]: iteration 2 : 488 enodes (cost 581 ) 5.597 * * [simplify]: iteration 3 : 1934 enodes (cost 515 ) 6.025 * * [simplify]: iteration done : 5000 enodes (cost 515 ) 6.026 * [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)))) (* (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 (sqrt (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) (+ (* (pow y 4) 1/3240) (* 1/18 (pow y 2))))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* (pow y 4) 1/3240) (* 1/18 (pow y 2))))) (cbrt (sin y)) (cbrt (sin y)) (- (cbrt y) (* (cbrt y) (+ (* (pow y 4) 1/3240) (* 1/18 (pow y 2))))) (cbrt (sin y)) (cbrt (sin y)) (* (pow y 2/3) (+ (+ (* 1/405 (pow y 4)) 1) (* (pow y 2) -1/9))) (cbrt (pow (sin y) 2)) (cbrt (pow (sin y) 2)) 6.026 * * * [progress]: adding candidates to table 6.111 * [progress]: [Phase 3 of 3] Extracting. 6.111 * * [regime]: Finding splitpoints for: (# # # # # # #) 6.113 * * * [regime-changes]: Trying 4 branch expressions: ((- (+ x (cos y)) (* z (sin y))) z y x) 6.113 * * * * [regimes]: Trying to branch on (- (+ x (cos y)) (* z (sin y))) from (# # # # # # #) 6.190 * * * * [regimes]: Trying to branch on z from (# # # # # # #) 6.254 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 6.318 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 6.383 * * * [regime]: Found split indices: #