37.273 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.021 * * * [progress]: [2/2] Setting up program. 0.024 * [progress]: [Phase 2 of 3] Improving. 0.024 * [simplify]: Simplifying using # : (/ (* x (- y z)) y) 0.025 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.025 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.027 * * [simplify]: iteration 2 : 22 enodes (cost 7 ) 0.029 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 0.035 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.041 * * [simplify]: iteration 5 : 80 enodes (cost 7 ) 0.054 * * [simplify]: iteration 6 : 93 enodes (cost 7 ) 0.063 * * [simplify]: iteration 7 : 135 enodes (cost 7 ) 0.075 * * [simplify]: iteration 8 : 149 enodes (cost 7 ) 0.083 * * [simplify]: iteration 9 : 191 enodes (cost 7 ) 0.096 * * [simplify]: iteration 10 : 205 enodes (cost 7 ) 0.107 * * [simplify]: iteration 11 : 247 enodes (cost 7 ) 0.119 * * [simplify]: iteration 12 : 261 enodes (cost 7 ) 0.127 * * [simplify]: iteration 13 : 303 enodes (cost 7 ) 0.139 * * [simplify]: iteration 14 : 317 enodes (cost 7 ) 0.148 * * [simplify]: iteration 15 : 359 enodes (cost 7 ) 0.163 * * [simplify]: iteration 16 : 373 enodes (cost 7 ) 0.172 * * [simplify]: iteration 17 : 415 enodes (cost 7 ) 0.184 * * [simplify]: iteration 18 : 429 enodes (cost 7 ) 0.192 * * [simplify]: iteration 19 : 471 enodes (cost 7 ) 0.204 * * [simplify]: iteration 20 : 485 enodes (cost 7 ) 0.216 * * [simplify]: iteration 21 : 527 enodes (cost 7 ) 0.228 * * [simplify]: iteration 22 : 541 enodes (cost 7 ) 0.236 * * [simplify]: iteration 23 : 583 enodes (cost 7 ) 0.248 * * [simplify]: iteration 24 : 597 enodes (cost 7 ) 0.256 * * [simplify]: iteration 25 : 639 enodes (cost 7 ) 0.272 * * [simplify]: iteration 26 : 653 enodes (cost 7 ) 0.281 * * [simplify]: iteration 27 : 695 enodes (cost 7 ) 0.293 * * [simplify]: iteration 28 : 709 enodes (cost 7 ) 0.301 * * [simplify]: iteration 29 : 751 enodes (cost 7 ) 0.313 * * [simplify]: iteration 30 : 765 enodes (cost 7 ) 0.324 * * [simplify]: iteration 31 : 807 enodes (cost 7 ) 0.337 * * [simplify]: iteration 32 : 821 enodes (cost 7 ) 0.345 * * [simplify]: iteration 33 : 863 enodes (cost 7 ) 0.357 * * [simplify]: iteration 34 : 877 enodes (cost 7 ) 0.365 * * [simplify]: iteration 35 : 919 enodes (cost 7 ) 0.380 * * [simplify]: iteration 36 : 933 enodes (cost 7 ) 0.389 * * [simplify]: iteration 37 : 975 enodes (cost 7 ) 0.402 * * [simplify]: iteration 38 : 989 enodes (cost 7 ) 0.410 * * [simplify]: iteration 39 : 1031 enodes (cost 7 ) 0.425 * * [simplify]: iteration 40 : 1045 enodes (cost 7 ) 0.433 * * [simplify]: iteration 41 : 1087 enodes (cost 7 ) 0.445 * * [simplify]: iteration 42 : 1101 enodes (cost 7 ) 0.453 * * [simplify]: iteration 43 : 1143 enodes (cost 7 ) 0.465 * * [simplify]: iteration 44 : 1157 enodes (cost 7 ) 0.476 * * [simplify]: iteration 45 : 1199 enodes (cost 7 ) 0.488 * * [simplify]: iteration 46 : 1213 enodes (cost 7 ) 0.497 * * [simplify]: iteration 47 : 1255 enodes (cost 7 ) 0.508 * * [simplify]: iteration 48 : 1269 enodes (cost 7 ) 0.517 * * [simplify]: iteration 49 : 1311 enodes (cost 7 ) 0.532 * * [simplify]: iteration 50 : 1325 enodes (cost 7 ) 0.540 * * [simplify]: iteration 51 : 1367 enodes (cost 7 ) 0.552 * * [simplify]: iteration 52 : 1381 enodes (cost 7 ) 0.560 * * [simplify]: iteration 53 : 1423 enodes (cost 7 ) 0.572 * * [simplify]: iteration 54 : 1437 enodes (cost 7 ) 0.583 * * [simplify]: iteration 55 : 1479 enodes (cost 7 ) 0.595 * * [simplify]: iteration 56 : 1493 enodes (cost 7 ) 0.604 * * [simplify]: iteration 57 : 1535 enodes (cost 7 ) 0.616 * * [simplify]: iteration 58 : 1549 enodes (cost 7 ) 0.624 * * [simplify]: iteration 59 : 1591 enodes (cost 7 ) 0.639 * * [simplify]: iteration 60 : 1605 enodes (cost 7 ) 0.647 * * [simplify]: iteration 61 : 1647 enodes (cost 7 ) 0.660 * * [simplify]: iteration 62 : 1661 enodes (cost 7 ) 0.668 * * [simplify]: iteration 63 : 1703 enodes (cost 7 ) 0.680 * * [simplify]: iteration 64 : 1717 enodes (cost 7 ) 0.691 * * [simplify]: iteration 65 : 1759 enodes (cost 7 ) 0.703 * * [simplify]: iteration 66 : 1773 enodes (cost 7 ) 0.711 * * [simplify]: iteration 67 : 1815 enodes (cost 7 ) 0.723 * * [simplify]: iteration 68 : 1829 enodes (cost 7 ) 0.732 * * [simplify]: iteration 69 : 1871 enodes (cost 7 ) 0.747 * * [simplify]: iteration 70 : 1885 enodes (cost 7 ) 0.755 * * [simplify]: iteration 71 : 1927 enodes (cost 7 ) 0.768 * * [simplify]: iteration 72 : 1941 enodes (cost 7 ) 0.776 * * [simplify]: iteration 73 : 1983 enodes (cost 7 ) 0.792 * * [simplify]: iteration 74 : 1997 enodes (cost 7 ) 0.800 * * [simplify]: iteration 75 : 2039 enodes (cost 7 ) 0.812 * * [simplify]: iteration 76 : 2053 enodes (cost 7 ) 0.820 * * [simplify]: iteration 77 : 2095 enodes (cost 7 ) 0.832 * * [simplify]: iteration 78 : 2109 enodes (cost 7 ) 0.843 * * [simplify]: iteration 79 : 2151 enodes (cost 7 ) 0.856 * * [simplify]: iteration 80 : 2165 enodes (cost 7 ) 0.864 * * [simplify]: iteration 81 : 2207 enodes (cost 7 ) 0.876 * * [simplify]: iteration 82 : 2221 enodes (cost 7 ) 0.885 * * [simplify]: iteration 83 : 2263 enodes (cost 7 ) 0.900 * * [simplify]: iteration 84 : 2277 enodes (cost 7 ) 0.908 * * [simplify]: iteration 85 : 2319 enodes (cost 7 ) 0.920 * * [simplify]: iteration 86 : 2333 enodes (cost 7 ) 0.928 * * [simplify]: iteration 87 : 2375 enodes (cost 7 ) 0.940 * * [simplify]: iteration 88 : 2389 enodes (cost 7 ) 0.952 * * [simplify]: iteration 89 : 2431 enodes (cost 7 ) 0.963 * * [simplify]: iteration 90 : 2445 enodes (cost 7 ) 0.972 * * [simplify]: iteration 91 : 2487 enodes (cost 7 ) 0.984 * * [simplify]: iteration 92 : 2501 enodes (cost 7 ) 0.993 * * [simplify]: iteration 93 : 2543 enodes (cost 7 ) 1.008 * * [simplify]: iteration 94 : 2557 enodes (cost 7 ) 1.016 * * [simplify]: iteration 95 : 2599 enodes (cost 7 ) 1.028 * * [simplify]: iteration 96 : 2613 enodes (cost 7 ) 1.036 * * [simplify]: iteration 97 : 2655 enodes (cost 7 ) 1.048 * * [simplify]: iteration 98 : 2669 enodes (cost 7 ) 1.060 * * [simplify]: iteration 99 : 2711 enodes (cost 7 ) 1.072 * * [simplify]: iteration 100 : 2725 enodes (cost 7 ) 1.080 * * [simplify]: iteration 101 : 2767 enodes (cost 7 ) 1.092 * * [simplify]: iteration 102 : 2781 enodes (cost 7 ) 1.100 * * [simplify]: iteration 103 : 2823 enodes (cost 7 ) 1.115 * * [simplify]: iteration 104 : 2837 enodes (cost 7 ) 1.124 * * [simplify]: iteration 105 : 2879 enodes (cost 7 ) 1.136 * * [simplify]: iteration 106 : 2893 enodes (cost 7 ) 1.144 * * [simplify]: iteration 107 : 2935 enodes (cost 7 ) 1.159 * * [simplify]: iteration 108 : 2949 enodes (cost 7 ) 1.167 * * [simplify]: iteration 109 : 2991 enodes (cost 7 ) 1.179 * * [simplify]: iteration 110 : 3005 enodes (cost 7 ) 1.187 * * [simplify]: iteration 111 : 3047 enodes (cost 7 ) 1.199 * * [simplify]: iteration 112 : 3061 enodes (cost 7 ) 1.211 * * [simplify]: iteration 113 : 3103 enodes (cost 7 ) 1.223 * * [simplify]: iteration 114 : 3117 enodes (cost 7 ) 1.232 * * [simplify]: iteration 115 : 3159 enodes (cost 7 ) 1.244 * * [simplify]: iteration 116 : 3173 enodes (cost 7 ) 1.252 * * [simplify]: iteration 117 : 3215 enodes (cost 7 ) 1.267 * * [simplify]: iteration 118 : 3229 enodes (cost 7 ) 1.275 * * [simplify]: iteration 119 : 3271 enodes (cost 7 ) 1.287 * * [simplify]: iteration 120 : 3285 enodes (cost 7 ) 1.296 * * [simplify]: iteration 121 : 3327 enodes (cost 7 ) 1.308 * * [simplify]: iteration 122 : 3341 enodes (cost 7 ) 1.319 * * [simplify]: iteration 123 : 3383 enodes (cost 7 ) 1.331 * * [simplify]: iteration 124 : 3397 enodes (cost 7 ) 1.339 * * [simplify]: iteration 125 : 3439 enodes (cost 7 ) 1.351 * * [simplify]: iteration 126 : 3453 enodes (cost 7 ) 1.360 * * [simplify]: iteration 127 : 3495 enodes (cost 7 ) 1.375 * * [simplify]: iteration 128 : 3509 enodes (cost 7 ) 1.383 * * [simplify]: iteration 129 : 3551 enodes (cost 7 ) 1.395 * * [simplify]: iteration 130 : 3565 enodes (cost 7 ) 1.403 * * [simplify]: iteration 131 : 3607 enodes (cost 7 ) 1.415 * * [simplify]: iteration 132 : 3621 enodes (cost 7 ) 1.426 * * [simplify]: iteration 133 : 3663 enodes (cost 7 ) 1.438 * * [simplify]: iteration 134 : 3677 enodes (cost 7 ) 1.446 * * [simplify]: iteration 135 : 3719 enodes (cost 7 ) 1.458 * * [simplify]: iteration 136 : 3733 enodes (cost 7 ) 1.466 * * [simplify]: iteration 137 : 3775 enodes (cost 7 ) 1.481 * * [simplify]: iteration 138 : 3789 enodes (cost 7 ) 1.490 * * [simplify]: iteration 139 : 3831 enodes (cost 7 ) 1.501 * * [simplify]: iteration 140 : 3845 enodes (cost 7 ) 1.510 * * [simplify]: iteration 141 : 3887 enodes (cost 7 ) 1.525 * * [simplify]: iteration 142 : 3901 enodes (cost 7 ) 1.533 * * [simplify]: iteration 143 : 3943 enodes (cost 7 ) 1.546 * * [simplify]: iteration 144 : 3957 enodes (cost 7 ) 1.554 * * [simplify]: iteration 145 : 3999 enodes (cost 7 ) 1.566 * * [simplify]: iteration 146 : 4013 enodes (cost 7 ) 1.578 * * [simplify]: iteration 147 : 4055 enodes (cost 7 ) 1.590 * * [simplify]: iteration 148 : 4069 enodes (cost 7 ) 1.598 * * [simplify]: iteration 149 : 4111 enodes (cost 7 ) 1.610 * * [simplify]: iteration 150 : 4125 enodes (cost 7 ) 1.618 * * [simplify]: iteration 151 : 4167 enodes (cost 7 ) 1.633 * * [simplify]: iteration 152 : 4181 enodes (cost 7 ) 1.642 * * [simplify]: iteration 153 : 4223 enodes (cost 7 ) 1.653 * * [simplify]: iteration 154 : 4237 enodes (cost 7 ) 1.662 * * [simplify]: iteration 155 : 4279 enodes (cost 7 ) 1.674 * * [simplify]: iteration 156 : 4293 enodes (cost 7 ) 1.685 * * [simplify]: iteration 157 : 4335 enodes (cost 7 ) 1.697 * * [simplify]: iteration 158 : 4349 enodes (cost 7 ) 1.705 * * [simplify]: iteration 159 : 4391 enodes (cost 7 ) 1.717 * * [simplify]: iteration 160 : 4405 enodes (cost 7 ) 1.726 * * [simplify]: iteration 161 : 4447 enodes (cost 7 ) 1.741 * * [simplify]: iteration 162 : 4461 enodes (cost 7 ) 1.749 * * [simplify]: iteration 163 : 4503 enodes (cost 7 ) 1.761 * * [simplify]: iteration 164 : 4517 enodes (cost 7 ) 1.770 * * [simplify]: iteration 165 : 4559 enodes (cost 7 ) 1.782 * * [simplify]: iteration 166 : 4573 enodes (cost 7 ) 1.793 * * [simplify]: iteration 167 : 4615 enodes (cost 7 ) 1.805 * * [simplify]: iteration 168 : 4629 enodes (cost 7 ) 1.813 * * [simplify]: iteration 169 : 4671 enodes (cost 7 ) 1.825 * * [simplify]: iteration 170 : 4685 enodes (cost 7 ) 1.834 * * [simplify]: iteration 171 : 4727 enodes (cost 7 ) 1.849 * * [simplify]: iteration 172 : 4741 enodes (cost 7 ) 1.858 * * [simplify]: iteration 173 : 4783 enodes (cost 7 ) 1.869 * * [simplify]: iteration 174 : 4797 enodes (cost 7 ) 1.878 * * [simplify]: iteration 175 : 4839 enodes (cost 7 ) 1.893 * * [simplify]: iteration 176 : 4853 enodes (cost 7 ) 1.901 * * [simplify]: iteration 177 : 4895 enodes (cost 7 ) 1.913 * * [simplify]: iteration 178 : 4909 enodes (cost 7 ) 1.921 * * [simplify]: iteration 179 : 4951 enodes (cost 7 ) 1.933 * * [simplify]: iteration 180 : 4965 enodes (cost 7 ) 1.944 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 1.944 * [simplify]: Simplified to: (/ (* x (- y z)) y) 1.945 * * [progress]: iteration 1 / 4 1.945 * * * [progress]: picking best candidate 1.947 * * * * [pick]: Picked # 1.947 * * * [progress]: localizing error 1.952 * * * [progress]: generating rewritten candidates 1.952 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 1.960 * * * * [progress]: [ 2 / 2 ] rewriting at (2 1) 1.968 * * * [progress]: generating series expansions 1.968 * * * * [progress]: [ 1 / 2 ] generating series at (2) 1.968 * [approximate]: Taking taylor expansion of (/ (* x (- y z)) y) in (x y z) around 0 1.968 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in z 1.968 * [taylor]: Taking taylor expansion of (* x (- y z)) in z 1.968 * [taylor]: Taking taylor expansion of x in z 1.968 * [taylor]: Taking taylor expansion of (- y z) in z 1.968 * [taylor]: Taking taylor expansion of y in z 1.968 * [taylor]: Taking taylor expansion of z in z 1.968 * [taylor]: Taking taylor expansion of y in z 1.968 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in y 1.968 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 1.968 * [taylor]: Taking taylor expansion of x in y 1.968 * [taylor]: Taking taylor expansion of (- y z) in y 1.968 * [taylor]: Taking taylor expansion of y in y 1.968 * [taylor]: Taking taylor expansion of z in y 1.968 * [taylor]: Taking taylor expansion of y in y 1.969 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 1.969 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 1.969 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of (- y z) in x 1.969 * [taylor]: Taking taylor expansion of y in x 1.969 * [taylor]: Taking taylor expansion of z in x 1.969 * [taylor]: Taking taylor expansion of y in x 1.969 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 1.969 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 1.969 * [taylor]: Taking taylor expansion of x in x 1.969 * [taylor]: Taking taylor expansion of (- y z) in x 1.969 * [taylor]: Taking taylor expansion of y in x 1.969 * [taylor]: Taking taylor expansion of z in x 1.969 * [taylor]: Taking taylor expansion of y in x 1.969 * [taylor]: Taking taylor expansion of (/ (- y z) y) in y 1.969 * [taylor]: Taking taylor expansion of (- y z) in y 1.969 * [taylor]: Taking taylor expansion of y in y 1.969 * [taylor]: Taking taylor expansion of z in y 1.969 * [taylor]: Taking taylor expansion of y in y 1.969 * [taylor]: Taking taylor expansion of (* -1 z) in z 1.969 * [taylor]: Taking taylor expansion of -1 in z 1.969 * [taylor]: Taking taylor expansion of z in z 1.969 * [taylor]: Taking taylor expansion of 0 in y 1.970 * [taylor]: Taking taylor expansion of 1 in z 1.970 * [taylor]: Taking taylor expansion of 0 in y 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.970 * [taylor]: Taking taylor expansion of 0 in y 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.970 * [taylor]: Taking taylor expansion of 0 in z 1.971 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in (x y z) around 0 1.971 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in z 1.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 1.971 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 1.971 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.971 * [taylor]: Taking taylor expansion of y in z 1.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.971 * [taylor]: Taking taylor expansion of z in z 1.971 * [taylor]: Taking taylor expansion of y in z 1.971 * [taylor]: Taking taylor expansion of x in z 1.971 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in y 1.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 1.971 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.971 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.971 * [taylor]: Taking taylor expansion of z in y 1.971 * [taylor]: Taking taylor expansion of y in y 1.971 * [taylor]: Taking taylor expansion of x in y 1.971 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in x 1.971 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 1.971 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.971 * [taylor]: Taking taylor expansion of y in x 1.971 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.971 * [taylor]: Taking taylor expansion of z in x 1.971 * [taylor]: Taking taylor expansion of y in x 1.971 * [taylor]: Taking taylor expansion of x in x 1.972 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in x 1.972 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 1.972 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 1.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.972 * [taylor]: Taking taylor expansion of y in x 1.972 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.972 * [taylor]: Taking taylor expansion of z in x 1.972 * [taylor]: Taking taylor expansion of y in x 1.972 * [taylor]: Taking taylor expansion of x in x 1.972 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in y 1.972 * [taylor]: Taking taylor expansion of y in y 1.972 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.972 * [taylor]: Taking taylor expansion of y in y 1.972 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.972 * [taylor]: Taking taylor expansion of z in y 1.972 * [taylor]: Taking taylor expansion of 1 in z 1.973 * [taylor]: Taking taylor expansion of 0 in y 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.973 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.973 * [taylor]: Taking taylor expansion of z in z 1.973 * [taylor]: Taking taylor expansion of 0 in y 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.973 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in y 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.974 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [taylor]: Taking taylor expansion of 0 in z 1.975 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 y)) y) x) in (x y z) around 0 1.975 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 y)) y) x) in z 1.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in z 1.975 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 1.975 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.975 * [taylor]: Taking taylor expansion of z in z 1.975 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.975 * [taylor]: Taking taylor expansion of y in z 1.975 * [taylor]: Taking taylor expansion of y in z 1.975 * [taylor]: Taking taylor expansion of x in z 1.975 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 y)) y) x) in y 1.975 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 1.975 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 1.975 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.975 * [taylor]: Taking taylor expansion of z in y 1.975 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.975 * [taylor]: Taking taylor expansion of y in y 1.975 * [taylor]: Taking taylor expansion of y in y 1.975 * [taylor]: Taking taylor expansion of x in y 1.976 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 y)) y) x) in x 1.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in x 1.976 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 1.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.976 * [taylor]: Taking taylor expansion of z in x 1.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.976 * [taylor]: Taking taylor expansion of y in x 1.976 * [taylor]: Taking taylor expansion of y in x 1.976 * [taylor]: Taking taylor expansion of x in x 1.976 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 z) (/ 1 y)) y) x) in x 1.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in x 1.976 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 1.976 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.976 * [taylor]: Taking taylor expansion of z in x 1.976 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.976 * [taylor]: Taking taylor expansion of y in x 1.976 * [taylor]: Taking taylor expansion of y in x 1.976 * [taylor]: Taking taylor expansion of x in x 1.976 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 1.976 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 1.976 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.977 * [taylor]: Taking taylor expansion of z in y 1.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.977 * [taylor]: Taking taylor expansion of y in y 1.977 * [taylor]: Taking taylor expansion of y in y 1.977 * [taylor]: Taking taylor expansion of (neg 1) in z 1.977 * [taylor]: Taking taylor expansion of 1 in z 1.977 * [taylor]: Taking taylor expansion of 0 in y 1.977 * [taylor]: Taking taylor expansion of 0 in z 1.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.977 * [taylor]: Taking taylor expansion of z in z 1.978 * [taylor]: Taking taylor expansion of 0 in y 1.978 * [taylor]: Taking taylor expansion of 0 in z 1.978 * [taylor]: Taking taylor expansion of 0 in z 1.978 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in y 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * [taylor]: Taking taylor expansion of 0 in z 1.979 * * * * [progress]: [ 2 / 2 ] generating series at (2 1) 1.979 * [approximate]: Taking taylor expansion of (* x (- y z)) in (x y z) around 0 1.979 * [taylor]: Taking taylor expansion of (* x (- y z)) in z 1.979 * [taylor]: Taking taylor expansion of x in z 1.979 * [taylor]: Taking taylor expansion of (- y z) in z 1.979 * [taylor]: Taking taylor expansion of y in z 1.979 * [taylor]: Taking taylor expansion of z in z 1.979 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 1.979 * [taylor]: Taking taylor expansion of x in y 1.979 * [taylor]: Taking taylor expansion of (- y z) in y 1.979 * [taylor]: Taking taylor expansion of y in y 1.979 * [taylor]: Taking taylor expansion of z in y 1.979 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 1.979 * [taylor]: Taking taylor expansion of x in x 1.979 * [taylor]: Taking taylor expansion of (- y z) in x 1.979 * [taylor]: Taking taylor expansion of y in x 1.980 * [taylor]: Taking taylor expansion of z in x 1.980 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 1.980 * [taylor]: Taking taylor expansion of x in x 1.980 * [taylor]: Taking taylor expansion of (- y z) in x 1.980 * [taylor]: Taking taylor expansion of y in x 1.980 * [taylor]: Taking taylor expansion of z in x 1.980 * [taylor]: Taking taylor expansion of 0 in y 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of (- y z) in y 1.980 * [taylor]: Taking taylor expansion of y in y 1.980 * [taylor]: Taking taylor expansion of z in y 1.980 * [taylor]: Taking taylor expansion of (neg z) in z 1.980 * [taylor]: Taking taylor expansion of z in z 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in y 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 1 in z 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in y 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.980 * [taylor]: Taking taylor expansion of 0 in z 1.981 * [approximate]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in (x y z) around 0 1.981 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in z 1.981 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.981 * [taylor]: Taking taylor expansion of y in z 1.981 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.981 * [taylor]: Taking taylor expansion of z in z 1.981 * [taylor]: Taking taylor expansion of x in z 1.981 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in y 1.981 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.981 * [taylor]: Taking taylor expansion of y in y 1.981 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.981 * [taylor]: Taking taylor expansion of z in y 1.981 * [taylor]: Taking taylor expansion of x in y 1.981 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 1.981 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.981 * [taylor]: Taking taylor expansion of y in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.981 * [taylor]: Taking taylor expansion of z in x 1.981 * [taylor]: Taking taylor expansion of x in x 1.981 * [taylor]: Taking taylor expansion of (/ (- (/ 1 y) (/ 1 z)) x) in x 1.981 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 1.981 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.981 * [taylor]: Taking taylor expansion of y in x 1.982 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.982 * [taylor]: Taking taylor expansion of z in x 1.982 * [taylor]: Taking taylor expansion of x in x 1.982 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.982 * [taylor]: Taking taylor expansion of y in y 1.982 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.982 * [taylor]: Taking taylor expansion of z in y 1.982 * [taylor]: Taking taylor expansion of 1 in z 1.982 * [taylor]: Taking taylor expansion of 0 in y 1.982 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.982 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.982 * [taylor]: Taking taylor expansion of z in z 1.983 * [taylor]: Taking taylor expansion of 0 in y 1.983 * [taylor]: Taking taylor expansion of 0 in z 1.983 * [taylor]: Taking taylor expansion of 0 in z 1.983 * [taylor]: Taking taylor expansion of 0 in y 1.983 * [taylor]: Taking taylor expansion of 0 in z 1.983 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [taylor]: Taking taylor expansion of 0 in z 1.984 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in (x y z) around 0 1.984 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in z 1.984 * [taylor]: Taking taylor expansion of -1 in z 1.984 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in z 1.984 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.984 * [taylor]: Taking taylor expansion of z in z 1.984 * [taylor]: Taking taylor expansion of (/ 1 y) in z 1.984 * [taylor]: Taking taylor expansion of y in z 1.984 * [taylor]: Taking taylor expansion of x in z 1.984 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in y 1.984 * [taylor]: Taking taylor expansion of -1 in y 1.984 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in y 1.984 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 1.984 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.984 * [taylor]: Taking taylor expansion of z in y 1.984 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.984 * [taylor]: Taking taylor expansion of y in y 1.984 * [taylor]: Taking taylor expansion of x in y 1.984 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in x 1.985 * [taylor]: Taking taylor expansion of -1 in x 1.985 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 1.985 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 1.985 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.985 * [taylor]: Taking taylor expansion of z in x 1.985 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.985 * [taylor]: Taking taylor expansion of y in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 z) (/ 1 y)) x)) in x 1.985 * [taylor]: Taking taylor expansion of -1 in x 1.985 * [taylor]: Taking taylor expansion of (/ (- (/ 1 z) (/ 1 y)) x) in x 1.985 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 1.985 * [taylor]: Taking taylor expansion of (/ 1 z) in x 1.985 * [taylor]: Taking taylor expansion of z in x 1.985 * [taylor]: Taking taylor expansion of (/ 1 y) in x 1.985 * [taylor]: Taking taylor expansion of y in x 1.985 * [taylor]: Taking taylor expansion of x in x 1.985 * [taylor]: Taking taylor expansion of (* -1 (- (/ 1 z) (/ 1 y))) in y 1.985 * [taylor]: Taking taylor expansion of -1 in y 1.985 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 z) in y 1.985 * [taylor]: Taking taylor expansion of z in y 1.985 * [taylor]: Taking taylor expansion of (/ 1 y) in y 1.985 * [taylor]: Taking taylor expansion of y in y 1.985 * [taylor]: Taking taylor expansion of 1 in z 1.986 * [taylor]: Taking taylor expansion of 0 in y 1.986 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 1.986 * [taylor]: Taking taylor expansion of (/ 1 z) in z 1.986 * [taylor]: Taking taylor expansion of z in z 1.986 * [taylor]: Taking taylor expansion of 0 in y 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.986 * [taylor]: Taking taylor expansion of 0 in z 1.987 * [taylor]: Taking taylor expansion of 0 in y 1.987 * [taylor]: Taking taylor expansion of 0 in z 1.987 * [taylor]: Taking taylor expansion of 0 in z 1.987 * [taylor]: Taking taylor expansion of 0 in z 1.988 * * * [progress]: simplifying candidates 1.988 * [simplify]: Simplifying using # : (- (+ (log x) (log (- y z))) (log y)) (- (log (* x (- y z))) (log y)) (log (/ (* x (- y z)) y)) (exp (/ (* x (- y z)) y)) (/ (* (* (* x x) x) (* (* (- y z) (- y z)) (- y z))) (* (* y y) y)) (/ (* (* (* x (- y z)) (* x (- y z))) (* x (- y z))) (* (* y y) y)) (* (cbrt (/ (* x (- y z)) y)) (cbrt (/ (* x (- y z)) y))) (cbrt (/ (* x (- y z)) y)) (* (* (/ (* x (- y z)) y) (/ (* x (- y z)) y)) (/ (* x (- y z)) y)) (sqrt (/ (* x (- y z)) y)) (sqrt (/ (* x (- y z)) y)) (neg (* x (- y z))) (neg y) (/ x (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ x (sqrt y)) (/ (- y z) (sqrt y)) (/ x 1) (/ (- y z) y) (/ 1 y) (/ y (* x (- y z))) (/ (* x (- y z)) (* (cbrt y) (cbrt y))) (/ (* x (- y z)) (sqrt y)) (/ (* x (- y z)) 1) (/ y (- y z)) (* y (+ (* y y) (+ (* z z) (* y z)))) (* y (+ y z)) (* x (- y z)) (+ (log x) (log (- y z))) (log (* x (- y z))) (exp (* x (- y z))) (* (* (* x x) x) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (* x (- y z))) (cbrt (* x (- y z)))) (cbrt (* x (- y z))) (* (* (* x (- y z)) (* x (- y z))) (* x (- y z))) (sqrt (* x (- y z))) (sqrt (* x (- y z))) (* (sqrt x) (sqrt (- y z))) (* (sqrt x) (sqrt (- y z))) (* x y) (* x (neg z)) (* x y) (* x (neg z)) (* y x) (* (neg z) x) (* y x) (* (neg z) x) (* x (* (cbrt (- y z)) (cbrt (- y z)))) (* x (sqrt (- y z))) (* x 1) (* x (+ (sqrt y) (sqrt z))) (* x 1) (* (cbrt x) (- y z)) (* (sqrt x) (- y z)) (* x (- y z)) (* x (- (pow y 3) (pow z 3))) (* x (- (* y y) (* z z))) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- (* x y) (* x z)) (- (* x y) (* x z)) (- (* x y) (* x z)) 1.990 * * [simplify]: iteration 0 : 90 enodes (cost 481 ) 2.004 * * [simplify]: iteration 1 : 224 enodes (cost 457 ) 2.049 * * [simplify]: iteration 2 : 780 enodes (cost 399 ) 2.292 * * [simplify]: iteration 3 : 4066 enodes (cost 399 ) 2.859 * * [simplify]: iteration done : 5001 enodes (cost 398 ) 2.859 * [simplify]: Simplified to: (log (/ (* x (- y z)) y)) (log (/ (* x (- y z)) y)) (log (/ (* x (- y z)) y)) (exp (/ (* x (- y z)) y)) (pow (/ (* x (- y z)) y) 3) (pow (/ (* x (- y z)) y) 3) (* (cbrt (/ (* x (- y z)) y)) (cbrt (/ (* x (- y z)) y))) (cbrt (/ (* x (- y z)) y)) (pow (/ (* x (- y z)) y) 3) (sqrt (/ (* x (- y z)) y)) (sqrt (/ (* x (- y z)) y)) (* x (- z y)) (neg y) (/ x (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ x (sqrt y)) (/ (- y z) (sqrt y)) x (/ (- y z) y) (/ 1 y) (/ y (* x (- y z))) (/ (* x (- y z)) (* (cbrt y) (cbrt y))) (/ (* x (- y z)) (sqrt y)) (* x (- y z)) (/ y (- y z)) (+ (pow y 3) (* y (* z (+ y z)))) (* y (+ y z)) (* x (- y z)) (log (* x (- y z))) (log (* x (- y z))) (exp (* x (- y z))) (pow (* x (- y z)) 3) (* (cbrt (* x (- y z))) (cbrt (* x (- y z)))) (cbrt (* x (- y z))) (pow (* x (- y z)) 3) (sqrt (* x (- y z))) (sqrt (* x (- y z))) (* (sqrt x) (sqrt (- y z))) (* (sqrt x) (sqrt (- y z))) (* x y) (* x (neg z)) (* x y) (* x (neg z)) (* x y) (* x (neg z)) (* x y) (* x (neg z)) (* x (* (cbrt (- y z)) (cbrt (- y z)))) (* x (sqrt (- y z))) x (* x (+ (sqrt y) (sqrt z))) x (* (cbrt x) (- y z)) (* (sqrt x) (- y z)) (* x (- y z)) (* x (- (pow y 3) (pow z 3))) (* x (- (* y y) (* z z))) (/ (* x (- y z)) y) (/ (* x (- y z)) y) (/ (* x (- y z)) y) (* x (- y z)) (* x (- y z)) (* x (- y z)) 2.859 * * * [progress]: adding candidates to table 2.915 * * [progress]: iteration 2 / 4 2.915 * * * [progress]: picking best candidate 2.935 * * * * [pick]: Picked # 2.935 * * * [progress]: localizing error 2.940 * * * [progress]: generating rewritten candidates 2.940 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 2.950 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 2.963 * * * [progress]: generating series expansions 2.963 * * * * [progress]: [ 1 / 2 ] generating series at (2) 2.964 * [approximate]: Taking taylor expansion of (/ (* x (- y z)) y) in (x y z) around 0 2.964 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in z 2.964 * [taylor]: Taking taylor expansion of (* x (- y z)) in z 2.964 * [taylor]: Taking taylor expansion of x in z 2.964 * [taylor]: Taking taylor expansion of (- y z) in z 2.964 * [taylor]: Taking taylor expansion of y in z 2.964 * [taylor]: Taking taylor expansion of z in z 2.964 * [taylor]: Taking taylor expansion of y in z 2.964 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in y 2.964 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 2.964 * [taylor]: Taking taylor expansion of x in y 2.964 * [taylor]: Taking taylor expansion of (- y z) in y 2.964 * [taylor]: Taking taylor expansion of y in y 2.964 * [taylor]: Taking taylor expansion of z in y 2.964 * [taylor]: Taking taylor expansion of y in y 2.964 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 2.964 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 2.964 * [taylor]: Taking taylor expansion of x in x 2.964 * [taylor]: Taking taylor expansion of (- y z) in x 2.964 * [taylor]: Taking taylor expansion of y in x 2.964 * [taylor]: Taking taylor expansion of z in x 2.964 * [taylor]: Taking taylor expansion of y in x 2.964 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 2.964 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 2.964 * [taylor]: Taking taylor expansion of x in x 2.964 * [taylor]: Taking taylor expansion of (- y z) in x 2.964 * [taylor]: Taking taylor expansion of y in x 2.964 * [taylor]: Taking taylor expansion of z in x 2.964 * [taylor]: Taking taylor expansion of y in x 2.965 * [taylor]: Taking taylor expansion of (/ (- y z) y) in y 2.965 * [taylor]: Taking taylor expansion of (- y z) in y 2.965 * [taylor]: Taking taylor expansion of y in y 2.965 * [taylor]: Taking taylor expansion of z in y 2.965 * [taylor]: Taking taylor expansion of y in y 2.965 * [taylor]: Taking taylor expansion of (* -1 z) in z 2.965 * [taylor]: Taking taylor expansion of -1 in z 2.965 * [taylor]: Taking taylor expansion of z in z 2.965 * [taylor]: Taking taylor expansion of 0 in y 2.965 * [taylor]: Taking taylor expansion of 1 in z 2.965 * [taylor]: Taking taylor expansion of 0 in y 2.965 * [taylor]: Taking taylor expansion of 0 in z 2.965 * [taylor]: Taking taylor expansion of 0 in z 2.966 * [taylor]: Taking taylor expansion of 0 in y 2.966 * [taylor]: Taking taylor expansion of 0 in z 2.966 * [taylor]: Taking taylor expansion of 0 in z 2.966 * [approximate]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in (x y z) around 0 2.966 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in z 2.966 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 2.966 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 2.966 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.966 * [taylor]: Taking taylor expansion of y in z 2.966 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.966 * [taylor]: Taking taylor expansion of z in z 2.966 * [taylor]: Taking taylor expansion of y in z 2.966 * [taylor]: Taking taylor expansion of x in z 2.966 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in y 2.966 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 2.966 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 2.966 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.966 * [taylor]: Taking taylor expansion of y in y 2.966 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.966 * [taylor]: Taking taylor expansion of z in y 2.966 * [taylor]: Taking taylor expansion of y in y 2.966 * [taylor]: Taking taylor expansion of x in y 2.967 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in x 2.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 2.967 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 2.967 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.967 * [taylor]: Taking taylor expansion of y in x 2.967 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.967 * [taylor]: Taking taylor expansion of z in x 2.967 * [taylor]: Taking taylor expansion of y in x 2.967 * [taylor]: Taking taylor expansion of x in x 2.967 * [taylor]: Taking taylor expansion of (/ (* (- (/ 1 y) (/ 1 z)) y) x) in x 2.967 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in x 2.967 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 2.967 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.967 * [taylor]: Taking taylor expansion of y in x 2.967 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.967 * [taylor]: Taking taylor expansion of z in x 2.967 * [taylor]: Taking taylor expansion of y in x 2.967 * [taylor]: Taking taylor expansion of x in x 2.967 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in y 2.968 * [taylor]: Taking taylor expansion of y in y 2.968 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 2.968 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.968 * [taylor]: Taking taylor expansion of y in y 2.968 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.968 * [taylor]: Taking taylor expansion of z in y 2.968 * [taylor]: Taking taylor expansion of 1 in z 2.968 * [taylor]: Taking taylor expansion of 0 in y 2.968 * [taylor]: Taking taylor expansion of 0 in z 2.968 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 2.968 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.968 * [taylor]: Taking taylor expansion of z in z 2.969 * [taylor]: Taking taylor expansion of 0 in y 2.969 * [taylor]: Taking taylor expansion of 0 in z 2.969 * [taylor]: Taking taylor expansion of 0 in z 2.969 * [taylor]: Taking taylor expansion of 0 in z 2.970 * [taylor]: Taking taylor expansion of 0 in y 2.970 * [taylor]: Taking taylor expansion of 0 in z 2.970 * [taylor]: Taking taylor expansion of 0 in z 2.970 * [taylor]: Taking taylor expansion of 0 in z 2.970 * [taylor]: Taking taylor expansion of 0 in z 2.971 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in (x y z) around 0 2.971 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in z 2.971 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in z 2.971 * [taylor]: Taking taylor expansion of y in z 2.971 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 2.971 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.971 * [taylor]: Taking taylor expansion of z in z 2.971 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.971 * [taylor]: Taking taylor expansion of y in z 2.971 * [taylor]: Taking taylor expansion of x in z 2.971 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in y 2.971 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y 2.971 * [taylor]: Taking taylor expansion of y in y 2.971 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 2.971 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.971 * [taylor]: Taking taylor expansion of z in y 2.971 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.971 * [taylor]: Taking taylor expansion of y in y 2.971 * [taylor]: Taking taylor expansion of x in y 2.971 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in x 2.971 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 2.971 * [taylor]: Taking taylor expansion of y in x 2.971 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 2.971 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.971 * [taylor]: Taking taylor expansion of z in x 2.971 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.971 * [taylor]: Taking taylor expansion of y in x 2.971 * [taylor]: Taking taylor expansion of x in x 2.972 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in x 2.972 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 2.972 * [taylor]: Taking taylor expansion of y in x 2.972 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 2.972 * [taylor]: Taking taylor expansion of (/ 1 z) in x 2.972 * [taylor]: Taking taylor expansion of z in x 2.972 * [taylor]: Taking taylor expansion of (/ 1 y) in x 2.972 * [taylor]: Taking taylor expansion of y in x 2.972 * [taylor]: Taking taylor expansion of x in x 2.972 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 2.972 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 2.972 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.972 * [taylor]: Taking taylor expansion of z in y 2.972 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.972 * [taylor]: Taking taylor expansion of y in y 2.972 * [taylor]: Taking taylor expansion of y in y 2.972 * [taylor]: Taking taylor expansion of (neg 1) in z 2.972 * [taylor]: Taking taylor expansion of 1 in z 2.973 * [taylor]: Taking taylor expansion of 0 in y 2.973 * [taylor]: Taking taylor expansion of 0 in z 2.973 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.973 * [taylor]: Taking taylor expansion of z in z 2.973 * [taylor]: Taking taylor expansion of 0 in y 2.973 * [taylor]: Taking taylor expansion of 0 in z 2.973 * [taylor]: Taking taylor expansion of 0 in z 2.973 * [taylor]: Taking taylor expansion of 0 in z 2.974 * [taylor]: Taking taylor expansion of 0 in y 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.974 * [taylor]: Taking taylor expansion of 0 in z 2.975 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 2.975 * [approximate]: Taking taylor expansion of (/ y (- y z)) in (y z) around 0 2.975 * [taylor]: Taking taylor expansion of (/ y (- y z)) in z 2.975 * [taylor]: Taking taylor expansion of y in z 2.975 * [taylor]: Taking taylor expansion of (- y z) in z 2.975 * [taylor]: Taking taylor expansion of y in z 2.975 * [taylor]: Taking taylor expansion of z in z 2.975 * [taylor]: Taking taylor expansion of (/ y (- y z)) in y 2.975 * [taylor]: Taking taylor expansion of y in y 2.975 * [taylor]: Taking taylor expansion of (- y z) in y 2.975 * [taylor]: Taking taylor expansion of y in y 2.975 * [taylor]: Taking taylor expansion of z in y 2.975 * [taylor]: Taking taylor expansion of (/ y (- y z)) in y 2.975 * [taylor]: Taking taylor expansion of y in y 2.975 * [taylor]: Taking taylor expansion of (- y z) in y 2.975 * [taylor]: Taking taylor expansion of y in y 2.975 * [taylor]: Taking taylor expansion of z in y 2.975 * [taylor]: Taking taylor expansion of (/ -1 z) in z 2.975 * [taylor]: Taking taylor expansion of -1 in z 2.975 * [taylor]: Taking taylor expansion of z in z 2.975 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 2))) in z 2.975 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.975 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.975 * [taylor]: Taking taylor expansion of z in z 2.976 * [taylor]: Taking taylor expansion of (neg (/ 1 (pow z 3))) in z 2.976 * [taylor]: Taking taylor expansion of (/ 1 (pow z 3)) in z 2.976 * [taylor]: Taking taylor expansion of (pow z 3) in z 2.976 * [taylor]: Taking taylor expansion of z in z 2.977 * [approximate]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in (y z) around 0 2.977 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in z 2.977 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in z 2.977 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 2.977 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.977 * [taylor]: Taking taylor expansion of y in z 2.977 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.977 * [taylor]: Taking taylor expansion of z in z 2.977 * [taylor]: Taking taylor expansion of y in z 2.977 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y 2.977 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 2.977 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 2.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.977 * [taylor]: Taking taylor expansion of y in y 2.977 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.977 * [taylor]: Taking taylor expansion of z in y 2.977 * [taylor]: Taking taylor expansion of y in y 2.977 * [taylor]: Taking taylor expansion of (/ 1 (* (- (/ 1 y) (/ 1 z)) y)) in y 2.977 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 2.977 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 2.977 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.977 * [taylor]: Taking taylor expansion of y in y 2.977 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.977 * [taylor]: Taking taylor expansion of z in y 2.977 * [taylor]: Taking taylor expansion of y in y 2.978 * [taylor]: Taking taylor expansion of 1 in z 2.978 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.978 * [taylor]: Taking taylor expansion of z in z 2.978 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.978 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.978 * [taylor]: Taking taylor expansion of z in z 2.979 * [approximate]: Taking taylor expansion of (/ -1 (* (- (/ 1 z) (/ 1 y)) y)) in (y z) around 0 2.979 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 z) (/ 1 y)) y)) in z 2.979 * [taylor]: Taking taylor expansion of -1 in z 2.979 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in z 2.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 2.979 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.979 * [taylor]: Taking taylor expansion of z in z 2.979 * [taylor]: Taking taylor expansion of (/ 1 y) in z 2.979 * [taylor]: Taking taylor expansion of y in z 2.979 * [taylor]: Taking taylor expansion of y in z 2.979 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 z) (/ 1 y)) y)) in y 2.979 * [taylor]: Taking taylor expansion of -1 in y 2.979 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 2.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 2.979 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.979 * [taylor]: Taking taylor expansion of z in y 2.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.979 * [taylor]: Taking taylor expansion of y in y 2.979 * [taylor]: Taking taylor expansion of y in y 2.979 * [taylor]: Taking taylor expansion of (/ -1 (* (- (/ 1 z) (/ 1 y)) y)) in y 2.979 * [taylor]: Taking taylor expansion of -1 in y 2.979 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 2.979 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 2.979 * [taylor]: Taking taylor expansion of (/ 1 z) in y 2.979 * [taylor]: Taking taylor expansion of z in y 2.979 * [taylor]: Taking taylor expansion of (/ 1 y) in y 2.979 * [taylor]: Taking taylor expansion of y in y 2.980 * [taylor]: Taking taylor expansion of y in y 2.980 * [taylor]: Taking taylor expansion of 1 in z 2.980 * [taylor]: Taking taylor expansion of (/ 1 z) in z 2.980 * [taylor]: Taking taylor expansion of z in z 2.980 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 2.980 * [taylor]: Taking taylor expansion of (pow z 2) in z 2.980 * [taylor]: Taking taylor expansion of z in z 2.981 * * * [progress]: simplifying candidates 2.983 * [simplify]: Simplifying using # : (- (log x) (- (log y) (log (- y z)))) (- (log x) (log (/ y (- y z)))) (log (/ x (/ y (- y z)))) (exp (/ x (/ y (- y z)))) (/ (* (* x x) x) (/ (* (* y y) y) (* (* (- y z) (- y z)) (- y z)))) (/ (* (* x x) x) (* (* (/ y (- y z)) (/ y (- y z))) (/ y (- y z)))) (* (cbrt (/ x (/ y (- y z)))) (cbrt (/ x (/ y (- y z))))) (cbrt (/ x (/ y (- y z)))) (* (* (/ x (/ y (- y z))) (/ x (/ y (- y z)))) (/ x (/ y (- y z)))) (sqrt (/ x (/ y (- y z)))) (sqrt (/ x (/ y (- y z)))) (neg x) (neg (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ (cbrt x) (cbrt (/ y (- y z)))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ y (- y z)))) (/ (cbrt x) (sqrt (/ y (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (cbrt x) (/ (cbrt y) (cbrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ (cbrt x) (/ (cbrt y) (sqrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt x) (/ (cbrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ (cbrt x) (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) 1)) (/ (cbrt x) (/ (cbrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (cbrt x) (/ (sqrt y) (cbrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (sqrt (- y z)))) (/ (cbrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) 1)) (/ (cbrt x) (/ (sqrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ (cbrt x) (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) 1)) (/ (cbrt x) (/ (sqrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))) (/ (cbrt x) (/ y (cbrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ 1 (sqrt (- y z)))) (/ (cbrt x) (/ y (sqrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) (/ 1 (+ (sqrt y) (sqrt z)))) (/ (cbrt x) (/ y (- (sqrt y) (sqrt z)))) (/ (* (cbrt x) (cbrt x)) (/ 1 1)) (/ (cbrt x) (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) 1) (/ (cbrt x) (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) y) (/ (cbrt x) (/ 1 (- y z))) (/ (* (cbrt x) (cbrt x)) (/ y (- (pow y 3) (pow z 3)))) (/ (cbrt x) (+ (* y y) (+ (* z z) (* y z)))) (/ (* (cbrt x) (cbrt x)) (/ y (- (* y y) (* z z)))) (/ (cbrt x) (+ y z)) (/ (sqrt x) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ (sqrt x) (cbrt (/ y (- y z)))) (/ (sqrt x) (sqrt (/ y (- y z)))) (/ (sqrt x) (sqrt (/ y (- y z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (sqrt x) (/ (cbrt y) (cbrt (- y z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ (sqrt x) (/ (cbrt y) (sqrt (- y z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt x) (/ (cbrt y) (- y z))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) 1)) (/ (sqrt x) (/ (cbrt y) (- y z))) (/ (sqrt x) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (sqrt x) (/ (sqrt y) (cbrt (- y z)))) (/ (sqrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (sqrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (sqrt x) (/ (sqrt y) 1)) (/ (sqrt x) (/ (sqrt y) (- y z))) (/ (sqrt x) (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (sqrt y) 1)) (/ (sqrt x) (/ (sqrt y) (- y z))) (/ (sqrt x) (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))) (/ (sqrt x) (/ y (cbrt (- y z)))) (/ (sqrt x) (/ 1 (sqrt (- y z)))) (/ (sqrt x) (/ y (sqrt (- y z)))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ y (- y z))) (/ (sqrt x) (/ 1 (+ (sqrt y) (sqrt z)))) (/ (sqrt x) (/ y (- (sqrt y) (sqrt z)))) (/ (sqrt x) (/ 1 1)) (/ (sqrt x) (/ y (- y z))) (/ (sqrt x) 1) (/ (sqrt x) (/ y (- y z))) (/ (sqrt x) y) (/ (sqrt x) (/ 1 (- y z))) (/ (sqrt x) (/ y (- (pow y 3) (pow z 3)))) (/ (sqrt x) (+ (* y y) (+ (* z z) (* y z)))) (/ (sqrt x) (/ y (- (* y y) (* z z)))) (/ (sqrt x) (+ y z)) (/ 1 (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ x (cbrt (/ y (- y z)))) (/ 1 (sqrt (/ y (- y z)))) (/ x (sqrt (/ y (- y z)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (cbrt y) (cbrt (- y z)))) (/ 1 (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ x (/ (cbrt y) (sqrt (- y z)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ x (/ (cbrt y) (- y z))) (/ 1 (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ x (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ 1 (/ (* (cbrt y) (cbrt y)) 1)) (/ x (/ (cbrt y) (- y z))) (/ 1 (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (sqrt y) (cbrt (- y z)))) (/ 1 (/ (sqrt y) (sqrt (- y z)))) (/ x (/ (sqrt y) (sqrt (- y z)))) (/ 1 (/ (sqrt y) 1)) (/ x (/ (sqrt y) (- y z))) (/ 1 (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ x (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ 1 (/ (sqrt y) 1)) (/ x (/ (sqrt y) (- y z))) (/ 1 (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ y (cbrt (- y z)))) (/ 1 (/ 1 (sqrt (- y z)))) (/ x (/ y (sqrt (- y z)))) (/ 1 (/ 1 1)) (/ x (/ y (- y z))) (/ 1 (/ 1 (+ (sqrt y) (sqrt z)))) (/ x (/ y (- (sqrt y) (sqrt z)))) (/ 1 (/ 1 1)) (/ x (/ y (- y z))) (/ 1 1) (/ x (/ y (- y z))) (/ 1 y) (/ x (/ 1 (- y z))) (/ 1 (/ y (- (pow y 3) (pow z 3)))) (/ x (+ (* y y) (+ (* z z) (* y z)))) (/ 1 (/ y (- (* y y) (* z z)))) (/ x (+ y z)) (/ 1 (/ y (- y z))) (/ (/ y (- y z)) x) (/ x (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ x (sqrt (/ y (- y z)))) (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ x (/ (* (cbrt y) (cbrt y)) 1)) (/ x (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ x (/ (* (cbrt y) (cbrt y)) 1)) (/ x (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (sqrt y) (sqrt (- y z)))) (/ x (/ (sqrt y) 1)) (/ x (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ x (/ (sqrt y) 1)) (/ x (/ 1 (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ 1 (sqrt (- y z)))) (/ x (/ 1 1)) (/ x (/ 1 (+ (sqrt y) (sqrt z)))) (/ x (/ 1 1)) (/ x 1) (/ x y) (/ x (/ y (- (pow y 3) (pow z 3)))) (/ x (/ y (- (* y y) (* z z)))) (/ (/ y (- y z)) (cbrt x)) (/ (/ y (- y z)) (sqrt x)) (/ (/ y (- y z)) x) (/ x y) (- (log y) (log (- y z))) (log (/ y (- y z))) (exp (/ y (- y z))) (/ (* (* y y) y) (* (* (- y z) (- y z)) (- y z))) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z)))) (cbrt (/ y (- y z))) (* (* (/ y (- y z)) (/ y (- y z))) (/ y (- y z))) (sqrt (/ y (- y z))) (sqrt (/ y (- y z))) (neg y) (neg (- y z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (cbrt y) (cbrt (- y z))) (/ (* (cbrt y) (cbrt y)) (sqrt (- y z))) (/ (cbrt y) (sqrt (- y z))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- y z)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z))) (/ (cbrt y) (- (sqrt y) (sqrt z))) (/ (* (cbrt y) (cbrt y)) 1) (/ (cbrt y) (- y z)) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (sqrt y) (cbrt (- y z))) (/ (sqrt y) (sqrt (- y z))) (/ (sqrt y) (sqrt (- y z))) (/ (sqrt y) 1) (/ (sqrt y) (- y z)) (/ (sqrt y) (+ (sqrt y) (sqrt z))) (/ (sqrt y) (- (sqrt y) (sqrt z))) (/ (sqrt y) 1) (/ (sqrt y) (- y z)) (/ 1 (* (cbrt (- y z)) (cbrt (- y z)))) (/ y (cbrt (- y z))) (/ 1 (sqrt (- y z))) (/ y (sqrt (- y z))) (/ 1 1) (/ y (- y z)) (/ 1 (+ (sqrt y) (sqrt z))) (/ y (- (sqrt y) (sqrt z))) (/ 1 1) (/ y (- y z)) (/ 1 (- y z)) (/ (- y z) y) (/ y (* (cbrt (- y z)) (cbrt (- y z)))) (/ y (sqrt (- y z))) (/ y 1) (/ y (+ (sqrt y) (sqrt z))) (/ y 1) (/ (- y z) (cbrt y)) (/ (- y z) (sqrt y)) (/ (- y z) y) (/ y (- (pow y 3) (pow z 3))) (/ y (- (* y y) (* z z))) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) 0 0 0 2.989 * * [simplify]: iteration 0 : 218 enodes (cost 2050 ) 3.026 * * [simplify]: iteration 1 : 482 enodes (cost 1914 ) 3.130 * * [simplify]: iteration 2 : 1982 enodes (cost 1842 ) 3.455 * * [simplify]: iteration done : 5000 enodes (cost 1842 ) 3.456 * [simplify]: Simplified to: (log (/ x (/ y (- y z)))) (log (/ x (/ y (- y z)))) (log (/ x (/ y (- y z)))) (exp (/ x (/ y (- y z)))) (pow (/ x (/ y (- y z))) 3) (pow (/ x (/ y (- y z))) 3) (* (cbrt (/ x (/ y (- y z)))) (cbrt (/ x (/ y (- y z))))) (cbrt (/ x (/ y (- y z)))) (pow (/ x (/ y (- y z))) 3) (sqrt (/ x (/ y (- y z)))) (sqrt (/ x (/ y (- y z)))) (neg x) (neg (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ (cbrt x) (cbrt (/ y (- y z)))) (/ (* (cbrt x) (cbrt x)) (sqrt (/ y (- y z)))) (/ (cbrt x) (sqrt (/ y (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (cbrt x) (/ (cbrt y) (cbrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ (cbrt x) (/ (cbrt y) (sqrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (/ (cbrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ (cbrt x) (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (/ (cbrt x) (/ (cbrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (cbrt x) (/ (sqrt y) (cbrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (sqrt (- y z)))) (/ (cbrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (* (cbrt x) (cbrt x)) (sqrt y)) (/ (cbrt x) (/ (sqrt y) (- y z))) (/ (* (cbrt x) (cbrt x)) (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ (cbrt x) (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ (* (cbrt x) (cbrt x)) (sqrt y)) (/ (cbrt x) (/ (sqrt y) (- y z))) (* (* (cbrt x) (cbrt x)) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (cbrt x) (/ y (cbrt (- y z)))) (* (* (cbrt x) (cbrt x)) (sqrt (- y z))) (/ (cbrt x) (/ y (sqrt (- y z)))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ y (- y z))) (* (* (cbrt x) (cbrt x)) (+ (sqrt y) (sqrt z))) (/ (cbrt x) (/ y (- (sqrt y) (sqrt z)))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ y (- y z))) (* (cbrt x) (cbrt x)) (/ (cbrt x) (/ y (- y z))) (/ (* (cbrt x) (cbrt x)) y) (* (- y z) (cbrt x)) (/ (* (cbrt x) (cbrt x)) (/ y (- (pow y 3) (pow z 3)))) (/ (cbrt x) (+ (* z (+ y z)) (* y y))) (/ (* (cbrt x) (cbrt x)) (/ y (- (* y y) (* z z)))) (/ (cbrt x) (+ y z)) (/ (sqrt x) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ (sqrt x) (cbrt (/ y (- y z)))) (/ (sqrt x) (sqrt (/ y (- y z)))) (/ (sqrt x) (sqrt (/ y (- y z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (sqrt x) (/ (cbrt y) (cbrt (- y z)))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ (sqrt x) (/ (cbrt y) (sqrt (- y z)))) (/ (sqrt x) (* (cbrt y) (cbrt y))) (/ (sqrt x) (/ (cbrt y) (- y z))) (/ (sqrt x) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ (sqrt x) (* (cbrt y) (cbrt y))) (/ (sqrt x) (/ (cbrt y) (- y z))) (/ (sqrt x) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ (sqrt x) (/ (sqrt y) (cbrt (- y z)))) (/ (sqrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (sqrt x) (/ (sqrt y) (sqrt (- y z)))) (/ (sqrt x) (sqrt y)) (/ (sqrt x) (/ (sqrt y) (- y z))) (/ (sqrt x) (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ (sqrt x) (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ (sqrt x) (sqrt y)) (/ (sqrt x) (/ (sqrt y) (- y z))) (* (sqrt x) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (sqrt x) (/ y (cbrt (- y z)))) (* (sqrt x) (sqrt (- y z))) (/ (sqrt x) (/ y (sqrt (- y z)))) (sqrt x) (/ (sqrt x) (/ y (- y z))) (* (sqrt x) (+ (sqrt y) (sqrt z))) (/ (sqrt x) (/ y (- (sqrt y) (sqrt z)))) (sqrt x) (/ (sqrt x) (/ y (- y z))) (sqrt x) (/ (sqrt x) (/ y (- y z))) (/ (sqrt x) y) (* (sqrt x) (- y z)) (/ (sqrt x) (/ y (- (pow y 3) (pow z 3)))) (/ (sqrt x) (+ (* z (+ y z)) (* y y))) (/ (sqrt x) (/ y (- (* y y) (* z z)))) (/ (sqrt x) (+ y z)) (/ 1 (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ x (cbrt (/ y (- y z)))) (/ 1 (sqrt (/ y (- y z)))) (/ x (sqrt (/ y (- y z)))) (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt y) (cbrt y))) (/ x (/ (cbrt y) (cbrt (- y z)))) (/ (sqrt (- y z)) (* (cbrt y) (cbrt y))) (/ x (/ (cbrt y) (sqrt (- y z)))) (/ 1 (* (cbrt y) (cbrt y))) (/ x (/ (cbrt y) (- y z))) (/ (+ (sqrt y) (sqrt z)) (* (cbrt y) (cbrt y))) (/ x (/ (cbrt y) (- (sqrt y) (sqrt z)))) (/ 1 (* (cbrt y) (cbrt y))) (/ x (/ (cbrt y) (- y z))) (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt y)) (/ x (/ (sqrt y) (cbrt (- y z)))) (/ (sqrt (- y z)) (sqrt y)) (/ x (/ (sqrt y) (sqrt (- y z)))) (/ 1 (sqrt y)) (/ x (/ (sqrt y) (- y z))) (/ (+ (sqrt y) (sqrt z)) (sqrt y)) (/ x (/ (sqrt y) (- (sqrt y) (sqrt z)))) (/ 1 (sqrt y)) (/ x (/ (sqrt y) (- y z))) (* (cbrt (- y z)) (cbrt (- y z))) (/ x (/ y (cbrt (- y z)))) (sqrt (- y z)) (/ x (/ y (sqrt (- y z)))) 1 (/ x (/ y (- y z))) (+ (sqrt y) (sqrt z)) (/ x (/ y (- (sqrt y) (sqrt z)))) 1 (/ x (/ y (- y z))) 1 (/ x (/ y (- y z))) (/ 1 y) (* x (- y z)) (/ 1 (/ y (- (pow y 3) (pow z 3)))) (/ x (+ (* z (+ y z)) (* y y))) (/ 1 (/ y (- (* y y) (* z z)))) (/ x (+ y z)) (/ 1 (/ y (- y z))) (/ (/ y (- y z)) x) (/ x (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z))))) (/ x (sqrt (/ y (- y z)))) (/ x (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (* (cbrt y) (cbrt y)) (sqrt (- y z)))) (/ x (* (cbrt y) (cbrt y))) (/ x (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z)))) (/ x (* (cbrt y) (cbrt y))) (/ x (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z))))) (/ x (/ (sqrt y) (sqrt (- y z)))) (/ x (sqrt y)) (/ x (/ (sqrt y) (+ (sqrt y) (sqrt z)))) (/ x (sqrt y)) (* x (* (cbrt (- y z)) (cbrt (- y z)))) (* x (sqrt (- y z))) x (* x (+ (sqrt y) (sqrt z))) x x (/ x y) (/ x (/ y (- (pow y 3) (pow z 3)))) (/ x (/ y (- (* y y) (* z z)))) (/ (/ y (- y z)) (cbrt x)) (/ (/ y (- y z)) (sqrt x)) (/ (/ y (- y z)) x) (/ x y) (log (/ y (- y z))) (log (/ y (- y z))) (exp (/ y (- y z))) (pow (/ y (- y z)) 3) (* (cbrt (/ y (- y z))) (cbrt (/ y (- y z)))) (cbrt (/ y (- y z))) (pow (/ y (- y z)) 3) (sqrt (/ y (- y z))) (sqrt (/ y (- y z))) (neg y) (neg (- y z)) (/ (* (cbrt y) (cbrt y)) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (cbrt y) (cbrt (- y z))) (* (/ (cbrt y) (sqrt (- y z))) (cbrt y)) (/ (cbrt y) (sqrt (- y z))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (- y z)) (/ (* (cbrt y) (cbrt y)) (+ (sqrt y) (sqrt z))) (/ (cbrt y) (- (sqrt y) (sqrt z))) (* (cbrt y) (cbrt y)) (/ (cbrt y) (- y z)) (/ (sqrt y) (* (cbrt (- y z)) (cbrt (- y z)))) (/ (sqrt y) (cbrt (- y z))) (/ (sqrt y) (sqrt (- y z))) (/ (sqrt y) (sqrt (- y z))) (sqrt y) (/ (sqrt y) (- y z)) (/ (sqrt y) (+ (sqrt y) (sqrt z))) (/ (sqrt y) (- (sqrt y) (sqrt z))) (sqrt y) (/ (sqrt y) (- y z)) (/ (/ 1 (cbrt (- y z))) (cbrt (- y z))) (/ y (cbrt (- y z))) (/ 1 (sqrt (- y z))) (/ y (sqrt (- y z))) 1 (/ y (- y z)) (/ 1 (+ (sqrt y) (sqrt z))) (/ y (- (sqrt y) (sqrt z))) 1 (/ y (- y z)) (/ 1 (- y z)) (/ (- y z) y) (/ y (* (cbrt (- y z)) (cbrt (- y z)))) (/ y (sqrt (- y z))) y (/ y (+ (sqrt y) (sqrt z))) y (/ (- y z) (cbrt y)) (/ (- y z) (sqrt y)) (/ (- y z) y) (/ y (- (pow y 3) (pow z 3))) (/ y (- (* y y) (* z z))) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) 0 0 0 3.457 * * * [progress]: adding candidates to table 3.577 * * [progress]: iteration 3 / 4 3.577 * * * [progress]: picking best candidate 3.591 * * * * [pick]: Picked # 3.591 * * * [progress]: localizing error 3.596 * * * [progress]: generating rewritten candidates 3.596 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 3.607 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 3.617 * * * [progress]: generating series expansions 3.617 * * * * [progress]: [ 1 / 2 ] generating series at (2) 3.617 * [approximate]: Taking taylor expansion of (/ (* x (- y z)) y) in (x y z) around 0 3.617 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in z 3.617 * [taylor]: Taking taylor expansion of (* x (- y z)) in z 3.617 * [taylor]: Taking taylor expansion of x in z 3.617 * [taylor]: Taking taylor expansion of (- y z) in z 3.617 * [taylor]: Taking taylor expansion of y in z 3.617 * [taylor]: Taking taylor expansion of z in z 3.617 * [taylor]: Taking taylor expansion of y in z 3.617 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in y 3.617 * [taylor]: Taking taylor expansion of (* x (- y z)) in y 3.617 * [taylor]: Taking taylor expansion of x in y 3.617 * [taylor]: Taking taylor expansion of (- y z) in y 3.617 * [taylor]: Taking taylor expansion of y in y 3.617 * [taylor]: Taking taylor expansion of z in y 3.617 * [taylor]: Taking taylor expansion of y in y 3.617 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 3.617 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 3.617 * [taylor]: Taking taylor expansion of x in x 3.617 * [taylor]: Taking taylor expansion of (- y z) in x 3.617 * [taylor]: Taking taylor expansion of y in x 3.617 * [taylor]: Taking taylor expansion of z in x 3.618 * [taylor]: Taking taylor expansion of y in x 3.618 * [taylor]: Taking taylor expansion of (/ (* x (- y z)) y) in x 3.618 * [taylor]: Taking taylor expansion of (* x (- y z)) in x 3.618 * [taylor]: Taking taylor expansion of x in x 3.618 * [taylor]: Taking taylor expansion of (- y z) in x 3.618 * [taylor]: Taking taylor expansion of y in x 3.618 * [taylor]: Taking taylor expansion of z in x 3.618 * [taylor]: Taking taylor expansion of y in x 3.618 * [taylor]: Taking taylor expansion of (/ (- y z) y) in y 3.618 * [taylor]: Taking taylor expansion of (- y z) in y 3.618 * [taylor]: Taking taylor expansion of y in y 3.618 * [taylor]: Taking taylor expansion of z in y 3.618 * [taylor]: Taking taylor expansion of y in y 3.618 * [taylor]: Taking taylor expansion of (* -1 z) in z 3.618 * [taylor]: Taking taylor expansion of -1 in z 3.618 * [taylor]: Taking taylor expansion of z in z 3.619 * [taylor]: Taking taylor expansion of 0 in y 3.619 * [taylor]: Taking taylor expansion of 1 in z 3.619 * [taylor]: Taking taylor expansion of 0 in y 3.619 * [taylor]: Taking taylor expansion of 0 in z 3.619 * [taylor]: Taking taylor expansion of 0 in z 3.619 * [taylor]: Taking taylor expansion of 0 in y 3.619 * [taylor]: Taking taylor expansion of 0 in z 3.619 * [taylor]: Taking taylor expansion of 0 in z 3.620 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 y) (/ 1 z))) x) in (x y z) around 0 3.620 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 y) (/ 1 z))) x) in z 3.620 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in z 3.620 * [taylor]: Taking taylor expansion of y in z 3.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 3.620 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.620 * [taylor]: Taking taylor expansion of y in z 3.620 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.620 * [taylor]: Taking taylor expansion of z in z 3.620 * [taylor]: Taking taylor expansion of x in z 3.620 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 y) (/ 1 z))) x) in y 3.620 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in y 3.620 * [taylor]: Taking taylor expansion of y in y 3.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 3.620 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.620 * [taylor]: Taking taylor expansion of y in y 3.620 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.620 * [taylor]: Taking taylor expansion of z in y 3.620 * [taylor]: Taking taylor expansion of x in y 3.620 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 y) (/ 1 z))) x) in x 3.620 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in x 3.620 * [taylor]: Taking taylor expansion of y in x 3.620 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 3.620 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.620 * [taylor]: Taking taylor expansion of y in x 3.620 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.620 * [taylor]: Taking taylor expansion of z in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 y) (/ 1 z))) x) in x 3.621 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in x 3.621 * [taylor]: Taking taylor expansion of y in x 3.621 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in x 3.621 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.621 * [taylor]: Taking taylor expansion of y in x 3.621 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.621 * [taylor]: Taking taylor expansion of z in x 3.621 * [taylor]: Taking taylor expansion of x in x 3.621 * [taylor]: Taking taylor expansion of (* (- (/ 1 y) (/ 1 z)) y) in y 3.621 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 3.621 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.621 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.621 * [taylor]: Taking taylor expansion of z in y 3.621 * [taylor]: Taking taylor expansion of y in y 3.621 * [taylor]: Taking taylor expansion of 1 in z 3.622 * [taylor]: Taking taylor expansion of 0 in y 3.622 * [taylor]: Taking taylor expansion of 0 in z 3.622 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.622 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.622 * [taylor]: Taking taylor expansion of z in z 3.622 * [taylor]: Taking taylor expansion of 0 in y 3.622 * [taylor]: Taking taylor expansion of 0 in z 3.622 * [taylor]: Taking taylor expansion of 0 in z 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.623 * [taylor]: Taking taylor expansion of 0 in y 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.623 * [taylor]: Taking taylor expansion of 0 in z 3.624 * [approximate]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in (x y z) around 0 3.624 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in z 3.624 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in z 3.624 * [taylor]: Taking taylor expansion of y in z 3.624 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 3.624 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.624 * [taylor]: Taking taylor expansion of z in z 3.624 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.624 * [taylor]: Taking taylor expansion of y in z 3.624 * [taylor]: Taking taylor expansion of x in z 3.624 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in y 3.624 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in y 3.624 * [taylor]: Taking taylor expansion of y in y 3.624 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.624 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.624 * [taylor]: Taking taylor expansion of z in y 3.624 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.624 * [taylor]: Taking taylor expansion of y in y 3.624 * [taylor]: Taking taylor expansion of x in y 3.624 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in x 3.624 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 3.625 * [taylor]: Taking taylor expansion of y in x 3.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.625 * [taylor]: Taking taylor expansion of z in x 3.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.625 * [taylor]: Taking taylor expansion of y in x 3.625 * [taylor]: Taking taylor expansion of x in x 3.625 * [taylor]: Taking taylor expansion of (/ (* y (- (/ 1 z) (/ 1 y))) x) in x 3.625 * [taylor]: Taking taylor expansion of (* y (- (/ 1 z) (/ 1 y))) in x 3.625 * [taylor]: Taking taylor expansion of y in x 3.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in x 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in x 3.625 * [taylor]: Taking taylor expansion of z in x 3.625 * [taylor]: Taking taylor expansion of (/ 1 y) in x 3.625 * [taylor]: Taking taylor expansion of y in x 3.625 * [taylor]: Taking taylor expansion of x in x 3.625 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 3.625 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.625 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.625 * [taylor]: Taking taylor expansion of z in y 3.625 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.625 * [taylor]: Taking taylor expansion of y in y 3.625 * [taylor]: Taking taylor expansion of y in y 3.626 * [taylor]: Taking taylor expansion of (neg 1) in z 3.626 * [taylor]: Taking taylor expansion of 1 in z 3.626 * [taylor]: Taking taylor expansion of 0 in y 3.626 * [taylor]: Taking taylor expansion of 0 in z 3.626 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.626 * [taylor]: Taking taylor expansion of z in z 3.627 * [taylor]: Taking taylor expansion of 0 in y 3.627 * [taylor]: Taking taylor expansion of 0 in z 3.627 * [taylor]: Taking taylor expansion of 0 in z 3.627 * [taylor]: Taking taylor expansion of 0 in z 3.627 * [taylor]: Taking taylor expansion of 0 in y 3.627 * [taylor]: Taking taylor expansion of 0 in z 3.628 * [taylor]: Taking taylor expansion of 0 in z 3.628 * [taylor]: Taking taylor expansion of 0 in z 3.628 * [taylor]: Taking taylor expansion of 0 in z 3.628 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 3.628 * [approximate]: Taking taylor expansion of (/ (- y z) y) in (y z) around 0 3.628 * [taylor]: Taking taylor expansion of (/ (- y z) y) in z 3.628 * [taylor]: Taking taylor expansion of (- y z) in z 3.628 * [taylor]: Taking taylor expansion of y in z 3.628 * [taylor]: Taking taylor expansion of z in z 3.628 * [taylor]: Taking taylor expansion of y in z 3.628 * [taylor]: Taking taylor expansion of (/ (- y z) y) in y 3.628 * [taylor]: Taking taylor expansion of (- y z) in y 3.628 * [taylor]: Taking taylor expansion of y in y 3.628 * [taylor]: Taking taylor expansion of z in y 3.628 * [taylor]: Taking taylor expansion of y in y 3.628 * [taylor]: Taking taylor expansion of (/ (- y z) y) in y 3.628 * [taylor]: Taking taylor expansion of (- y z) in y 3.628 * [taylor]: Taking taylor expansion of y in y 3.628 * [taylor]: Taking taylor expansion of z in y 3.629 * [taylor]: Taking taylor expansion of y in y 3.629 * [taylor]: Taking taylor expansion of (* -1 z) in z 3.629 * [taylor]: Taking taylor expansion of -1 in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.629 * [taylor]: Taking taylor expansion of 1 in z 3.629 * [taylor]: Taking taylor expansion of 0 in z 3.629 * [taylor]: Taking taylor expansion of 0 in z 3.629 * [approximate]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in (y z) around 0 3.629 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in z 3.629 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.629 * [taylor]: Taking taylor expansion of y in z 3.629 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.629 * [taylor]: Taking taylor expansion of z in z 3.630 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in y 3.630 * [taylor]: Taking taylor expansion of y in y 3.630 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 3.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.630 * [taylor]: Taking taylor expansion of y in y 3.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.630 * [taylor]: Taking taylor expansion of z in y 3.630 * [taylor]: Taking taylor expansion of (* y (- (/ 1 y) (/ 1 z))) in y 3.630 * [taylor]: Taking taylor expansion of y in y 3.630 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 z)) in y 3.630 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.630 * [taylor]: Taking taylor expansion of y in y 3.630 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.630 * [taylor]: Taking taylor expansion of z in y 3.630 * [taylor]: Taking taylor expansion of 0 in z 3.630 * [taylor]: Taking taylor expansion of 1 in z 3.630 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.630 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.630 * [taylor]: Taking taylor expansion of z in z 3.631 * [taylor]: Taking taylor expansion of 0 in z 3.631 * [taylor]: Taking taylor expansion of 0 in z 3.631 * [approximate]: Taking taylor expansion of (* -1 (* (- (/ 1 z) (/ 1 y)) y)) in (y z) around 0 3.631 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 z) (/ 1 y)) y)) in z 3.631 * [taylor]: Taking taylor expansion of -1 in z 3.631 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in z 3.631 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in z 3.631 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.631 * [taylor]: Taking taylor expansion of z in z 3.631 * [taylor]: Taking taylor expansion of (/ 1 y) in z 3.631 * [taylor]: Taking taylor expansion of y in z 3.631 * [taylor]: Taking taylor expansion of y in z 3.632 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 z) (/ 1 y)) y)) in y 3.632 * [taylor]: Taking taylor expansion of -1 in y 3.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 3.632 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.632 * [taylor]: Taking taylor expansion of z in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of (* -1 (* (- (/ 1 z) (/ 1 y)) y)) in y 3.632 * [taylor]: Taking taylor expansion of -1 in y 3.632 * [taylor]: Taking taylor expansion of (* (- (/ 1 z) (/ 1 y)) y) in y 3.632 * [taylor]: Taking taylor expansion of (- (/ 1 z) (/ 1 y)) in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 z) in y 3.632 * [taylor]: Taking taylor expansion of z in y 3.632 * [taylor]: Taking taylor expansion of (/ 1 y) in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of y in y 3.632 * [taylor]: Taking taylor expansion of 0 in z 3.632 * [taylor]: Taking taylor expansion of 1 in z 3.632 * [taylor]: Taking taylor expansion of (neg (/ 1 z)) in z 3.632 * [taylor]: Taking taylor expansion of (/ 1 z) in z 3.632 * [taylor]: Taking taylor expansion of z in z 3.633 * [taylor]: Taking taylor expansion of 0 in z 3.633 * [taylor]: Taking taylor expansion of 0 in z 3.633 * * * [progress]: simplifying candidates 3.634 * [simplify]: Simplifying using # : (* x (/ (- y z) y)) (+ (log x) (- (log (- y z)) (log y))) (+ (log x) (log (/ (- y z) y))) (log (* x (/ (- y z) y))) (exp (* x (/ (- y z) y))) (* (* (* x x) x) (/ (* (* (- y z) (- y z)) (- y z)) (* (* y y) y))) (* (* (* x x) x) (* (* (/ (- y z) y) (/ (- y z) y)) (/ (- y z) y))) (* (cbrt (* x (/ (- y z) y))) (cbrt (* x (/ (- y z) y)))) (cbrt (* x (/ (- y z) y))) (* (* (* x (/ (- y z) y)) (* x (/ (- y z) y))) (* x (/ (- y z) y))) (sqrt (* x (/ (- y z) y))) (sqrt (* x (/ (- y z) y))) (* (sqrt x) (sqrt (/ (- y z) y))) (* (sqrt x) (sqrt (/ (- y z) y))) (* (sqrt x) (/ (sqrt (- y z)) (sqrt y))) (* (sqrt x) (/ (sqrt (- y z)) (sqrt y))) (* x (* (cbrt (/ (- y z) y)) (cbrt (/ (- y z) y)))) (* x (sqrt (/ (- y z) y))) (* x (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt y))) (* x (/ (* (cbrt (- y z)) (cbrt (- y z))) 1)) (* x (/ (sqrt (- y z)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (- y z)) (sqrt y))) (* x (/ (sqrt (- y z)) 1)) (* x (/ 1 (* (cbrt y) (cbrt y)))) (* x (/ 1 (sqrt y))) (* x (/ 1 1)) (* x (/ (+ (sqrt y) (sqrt z)) (* (cbrt y) (cbrt y)))) (* x (/ (+ (sqrt y) (sqrt z)) (sqrt y))) (* x (/ (+ (sqrt y) (sqrt z)) 1)) (* x (/ 1 (* (cbrt y) (cbrt y)))) (* x (/ 1 (sqrt y))) (* x (/ 1 1)) (* x 1) (* x (- y z)) (* (cbrt x) (/ (- y z) y)) (* (sqrt x) (/ (- y z) y)) (* x (/ (- y z) y)) (* x (- y z)) (- (log (- y z)) (log y)) (log (/ (- y z) y)) (exp (/ (- y z) y)) (/ (* (* (- y z) (- y z)) (- y z)) (* (* y y) y)) (* (cbrt (/ (- y z) y)) (cbrt (/ (- y z) y))) (cbrt (/ (- y z) y)) (* (* (/ (- y z) y) (/ (- y z) y)) (/ (- y z) y)) (sqrt (/ (- y z) y)) (sqrt (/ (- y z) y)) (neg (- y z)) (neg y) (/ y y) (/ z y) (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- y z)) (cbrt y)) (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt y)) (/ (cbrt (- y z)) (sqrt y)) (/ (* (cbrt (- y z)) (cbrt (- y z))) 1) (/ (cbrt (- y z)) y) (/ (sqrt (- y z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- y z)) (cbrt y)) (/ (sqrt (- y z)) (sqrt y)) (/ (sqrt (- y z)) (sqrt y)) (/ (sqrt (- y z)) 1) (/ (sqrt (- y z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ 1 (sqrt y)) (/ (- y z) (sqrt y)) (/ 1 1) (/ (- y z) y) (/ (+ (sqrt y) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt y) (sqrt z)) (cbrt y)) (/ (+ (sqrt y) (sqrt z)) (sqrt y)) (/ (- (sqrt y) (sqrt z)) (sqrt y)) (/ (+ (sqrt y) (sqrt z)) 1) (/ (- (sqrt y) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ 1 (sqrt y)) (/ (- y z) (sqrt y)) (/ 1 1) (/ (- y z) y) (/ 1 y) (/ y (- y z)) (/ (- y z) (* (cbrt y) (cbrt y))) (/ (- y z) (sqrt y)) (/ (- y z) 1) (/ y (cbrt (- y z))) (/ y (sqrt (- y z))) (/ y (- y z)) (/ y (- (sqrt y) (sqrt z))) (/ y (- y z)) (* y (+ (* y y) (+ (* z z) (* y z)))) (* y (+ y z)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- 1 (/ z y)) (- 1 (/ z y)) (- 1 (/ z y)) 3.637 * * [simplify]: iteration 0 : 111 enodes (cost 813 ) 3.869 * * [simplify]: iteration 1 : 265 enodes (cost 769 ) 3.917 * * [simplify]: iteration 2 : 851 enodes (cost 706 ) 4.137 * * [simplify]: iteration 3 : 3437 enodes (cost 706 ) 4.596 * * [simplify]: iteration done : 5000 enodes (cost 705 ) 4.596 * [simplify]: Simplified to: (* x (/ (- y z) y)) (log (* x (/ (- y z) y))) (log (* x (/ (- y z) y))) (log (* x (/ (- y z) y))) (exp (* x (/ (- y z) y))) (pow (* x (/ (- y z) y)) 3) (pow (* x (/ (- y z) y)) 3) (* (cbrt (* x (/ (- y z) y))) (cbrt (* x (/ (- y z) y)))) (cbrt (* x (/ (- y z) y))) (pow (* x (/ (- y z) y)) 3) (sqrt (* x (/ (- y z) y))) (sqrt (* x (/ (- y z) y))) (* (sqrt x) (sqrt (/ (- y z) y))) (* (sqrt x) (sqrt (/ (- y z) y))) (* (sqrt x) (/ (sqrt (- y z)) (sqrt y))) (* (sqrt x) (/ (sqrt (- y z)) (sqrt y))) (* x (* (cbrt (/ (- y z) y)) (cbrt (/ (- y z) y)))) (* x (sqrt (/ (- y z) y))) (* x (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt y) (cbrt y)))) (* x (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt y))) (* (* (cbrt (- y z)) (cbrt (- y z))) x) (* x (/ (sqrt (- y z)) (* (cbrt y) (cbrt y)))) (* x (/ (sqrt (- y z)) (sqrt y))) (* x (sqrt (- y z))) (/ x (* (cbrt y) (cbrt y))) (/ x (sqrt y)) x (* x (/ (+ (sqrt y) (sqrt z)) (* (cbrt y) (cbrt y)))) (* x (/ (+ (sqrt y) (sqrt z)) (sqrt y))) (* (+ (sqrt y) (sqrt z)) x) (/ x (* (cbrt y) (cbrt y))) (/ x (sqrt y)) x x (* x (- y z)) (* (cbrt x) (/ (- y z) y)) (* (sqrt x) (/ (- y z) y)) (* x (/ (- y z) y)) (* x (- y z)) (log (/ (- y z) y)) (log (/ (- y z) y)) (exp (/ (- y z) y)) (pow (/ (- y z) y) 3) (* (cbrt (/ (- y z) y)) (cbrt (/ (- y z) y))) (cbrt (/ (- y z) y)) (pow (/ (- y z) y) 3) (sqrt (/ (- y z) y)) (sqrt (/ (- y z) y)) (- z y) (neg y) 1 (/ z y) (/ (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt y) (cbrt y))) (/ (cbrt (- y z)) (cbrt y)) (/ (* (cbrt (- y z)) (cbrt (- y z))) (sqrt y)) (/ (cbrt (- y z)) (sqrt y)) (* (cbrt (- y z)) (cbrt (- y z))) (/ (cbrt (- y z)) y) (/ (sqrt (- y z)) (* (cbrt y) (cbrt y))) (/ (sqrt (- y z)) (cbrt y)) (/ (sqrt (- y z)) (sqrt y)) (/ (sqrt (- y z)) (sqrt y)) (sqrt (- y z)) (/ (sqrt (- y z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ 1 (sqrt y)) (/ (- y z) (sqrt y)) 1 (/ (- y z) y) (/ (+ (sqrt y) (sqrt z)) (* (cbrt y) (cbrt y))) (/ (- (sqrt y) (sqrt z)) (cbrt y)) (/ (+ (sqrt y) (sqrt z)) (sqrt y)) (- 1 (/ (sqrt z) (sqrt y))) (+ (sqrt y) (sqrt z)) (/ (- (sqrt y) (sqrt z)) y) (/ 1 (* (cbrt y) (cbrt y))) (/ (- y z) (cbrt y)) (/ 1 (sqrt y)) (/ (- y z) (sqrt y)) 1 (/ (- y z) y) (/ 1 y) (/ y (- y z)) (/ (- y z) (* (cbrt y) (cbrt y))) (/ (- y z) (sqrt y)) (- y z) (/ y (cbrt (- y z))) (/ y (sqrt (- y z))) (/ y (- y z)) (/ y (- (sqrt y) (sqrt z))) (/ y (- y z)) (* y (+ (* z (+ y z)) (* y y))) (* y (+ y z)) (* x (/ (- y z) y)) (* x (/ (- y z) y)) (* x (/ (- y z) y)) (/ (- y z) y) (/ (- y z) y) (/ (- y z) y) 4.597 * * * [progress]: adding candidates to table 4.663 * * [progress]: iteration 4 / 4 4.663 * * * [progress]: picking best candidate 4.675 * * * * [pick]: Picked # 4.675 * * * [progress]: localizing error 4.681 * * * [progress]: generating rewritten candidates 4.681 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 4.692 * * * [progress]: generating series expansions 4.692 * * * * [progress]: [ 1 / 1 ] generating series at (2) 4.693 * [approximate]: Taking taylor expansion of (* x (- 1 (/ z y))) in (x z y) around 0 4.693 * [taylor]: Taking taylor expansion of (* x (- 1 (/ z y))) in y 4.693 * [taylor]: Taking taylor expansion of x in y 4.693 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in y 4.693 * [taylor]: Taking taylor expansion of 1 in y 4.693 * [taylor]: Taking taylor expansion of (/ z y) in y 4.693 * [taylor]: Taking taylor expansion of z in y 4.693 * [taylor]: Taking taylor expansion of y in y 4.693 * [taylor]: Taking taylor expansion of (* x (- 1 (/ z y))) in z 4.693 * [taylor]: Taking taylor expansion of x in z 4.693 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in z 4.693 * [taylor]: Taking taylor expansion of 1 in z 4.693 * [taylor]: Taking taylor expansion of (/ z y) in z 4.693 * [taylor]: Taking taylor expansion of z in z 4.693 * [taylor]: Taking taylor expansion of y in z 4.693 * [taylor]: Taking taylor expansion of (* x (- 1 (/ z y))) in x 4.693 * [taylor]: Taking taylor expansion of x in x 4.693 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in x 4.693 * [taylor]: Taking taylor expansion of 1 in x 4.693 * [taylor]: Taking taylor expansion of (/ z y) in x 4.693 * [taylor]: Taking taylor expansion of z in x 4.693 * [taylor]: Taking taylor expansion of y in x 4.693 * [taylor]: Taking taylor expansion of (* x (- 1 (/ z y))) in x 4.693 * [taylor]: Taking taylor expansion of x in x 4.693 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in x 4.693 * [taylor]: Taking taylor expansion of 1 in x 4.693 * [taylor]: Taking taylor expansion of (/ z y) in x 4.693 * [taylor]: Taking taylor expansion of z in x 4.693 * [taylor]: Taking taylor expansion of y in x 4.693 * [taylor]: Taking taylor expansion of 0 in z 4.693 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [taylor]: Taking taylor expansion of (- 1 (/ z y)) in z 4.694 * [taylor]: Taking taylor expansion of 1 in z 4.694 * [taylor]: Taking taylor expansion of (/ z y) in z 4.694 * [taylor]: Taking taylor expansion of z in z 4.694 * [taylor]: Taking taylor expansion of y in z 4.694 * [taylor]: Taking taylor expansion of 1 in y 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [taylor]: Taking taylor expansion of 0 in z 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 4.694 * [taylor]: Taking taylor expansion of (/ 1 y) in y 4.694 * [taylor]: Taking taylor expansion of y in y 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [taylor]: Taking taylor expansion of 0 in z 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.694 * [taylor]: Taking taylor expansion of 0 in y 4.695 * [taylor]: Taking taylor expansion of 0 in y 4.695 * [taylor]: Taking taylor expansion of 0 in y 4.695 * [approximate]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in (x z y) around 0 4.695 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in y 4.695 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in y 4.695 * [taylor]: Taking taylor expansion of 1 in y 4.695 * [taylor]: Taking taylor expansion of (/ y z) in y 4.695 * [taylor]: Taking taylor expansion of y in y 4.695 * [taylor]: Taking taylor expansion of z in y 4.695 * [taylor]: Taking taylor expansion of x in y 4.695 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in z 4.695 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z 4.695 * [taylor]: Taking taylor expansion of 1 in z 4.695 * [taylor]: Taking taylor expansion of (/ y z) in z 4.695 * [taylor]: Taking taylor expansion of y in z 4.695 * [taylor]: Taking taylor expansion of z in z 4.695 * [taylor]: Taking taylor expansion of x in z 4.695 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in x 4.695 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in x 4.695 * [taylor]: Taking taylor expansion of 1 in x 4.695 * [taylor]: Taking taylor expansion of (/ y z) in x 4.695 * [taylor]: Taking taylor expansion of y in x 4.695 * [taylor]: Taking taylor expansion of z in x 4.695 * [taylor]: Taking taylor expansion of x in x 4.696 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in x 4.696 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in x 4.696 * [taylor]: Taking taylor expansion of 1 in x 4.696 * [taylor]: Taking taylor expansion of (/ y z) in x 4.696 * [taylor]: Taking taylor expansion of y in x 4.696 * [taylor]: Taking taylor expansion of z in x 4.696 * [taylor]: Taking taylor expansion of x in x 4.696 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z 4.696 * [taylor]: Taking taylor expansion of 1 in z 4.696 * [taylor]: Taking taylor expansion of (/ y z) in z 4.696 * [taylor]: Taking taylor expansion of y in z 4.696 * [taylor]: Taking taylor expansion of z in z 4.696 * [taylor]: Taking taylor expansion of (neg y) in y 4.696 * [taylor]: Taking taylor expansion of y in y 4.696 * [taylor]: Taking taylor expansion of 0 in z 4.696 * [taylor]: Taking taylor expansion of 1 in y 4.697 * [taylor]: Taking taylor expansion of 0 in z 4.697 * [taylor]: Taking taylor expansion of 0 in y 4.697 * [taylor]: Taking taylor expansion of 0 in y 4.697 * [taylor]: Taking taylor expansion of 0 in z 4.697 * [taylor]: Taking taylor expansion of 0 in y 4.697 * [taylor]: Taking taylor expansion of 0 in y 4.697 * [approximate]: Taking taylor expansion of (* -1 (/ (- 1 (/ y z)) x)) in (x z y) around 0 4.698 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ y z)) x)) in y 4.698 * [taylor]: Taking taylor expansion of -1 in y 4.698 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in y 4.698 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in y 4.698 * [taylor]: Taking taylor expansion of 1 in y 4.698 * [taylor]: Taking taylor expansion of (/ y z) in y 4.698 * [taylor]: Taking taylor expansion of y in y 4.698 * [taylor]: Taking taylor expansion of z in y 4.698 * [taylor]: Taking taylor expansion of x in y 4.698 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ y z)) x)) in z 4.698 * [taylor]: Taking taylor expansion of -1 in z 4.698 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in z 4.698 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z 4.698 * [taylor]: Taking taylor expansion of 1 in z 4.698 * [taylor]: Taking taylor expansion of (/ y z) in z 4.698 * [taylor]: Taking taylor expansion of y in z 4.698 * [taylor]: Taking taylor expansion of z in z 4.698 * [taylor]: Taking taylor expansion of x in z 4.698 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ y z)) x)) in x 4.698 * [taylor]: Taking taylor expansion of -1 in x 4.698 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in x 4.698 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in x 4.698 * [taylor]: Taking taylor expansion of 1 in x 4.698 * [taylor]: Taking taylor expansion of (/ y z) in x 4.698 * [taylor]: Taking taylor expansion of y in x 4.698 * [taylor]: Taking taylor expansion of z in x 4.698 * [taylor]: Taking taylor expansion of x in x 4.698 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ y z)) x)) in x 4.698 * [taylor]: Taking taylor expansion of -1 in x 4.698 * [taylor]: Taking taylor expansion of (/ (- 1 (/ y z)) x) in x 4.698 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in x 4.698 * [taylor]: Taking taylor expansion of 1 in x 4.698 * [taylor]: Taking taylor expansion of (/ y z) in x 4.698 * [taylor]: Taking taylor expansion of y in x 4.698 * [taylor]: Taking taylor expansion of z in x 4.698 * [taylor]: Taking taylor expansion of x in x 4.699 * [taylor]: Taking taylor expansion of (* -1 (- 1 (/ y z))) in z 4.699 * [taylor]: Taking taylor expansion of -1 in z 4.699 * [taylor]: Taking taylor expansion of (- 1 (/ y z)) in z 4.699 * [taylor]: Taking taylor expansion of 1 in z 4.699 * [taylor]: Taking taylor expansion of (/ y z) in z 4.699 * [taylor]: Taking taylor expansion of y in z 4.699 * [taylor]: Taking taylor expansion of z in z 4.699 * [taylor]: Taking taylor expansion of y in y 4.699 * [taylor]: Taking taylor expansion of 0 in z 4.699 * [taylor]: Taking taylor expansion of (neg 1) in y 4.699 * [taylor]: Taking taylor expansion of 1 in y 4.700 * [taylor]: Taking taylor expansion of 0 in z 4.700 * [taylor]: Taking taylor expansion of 0 in y 4.700 * [taylor]: Taking taylor expansion of 0 in y 4.700 * [taylor]: Taking taylor expansion of 0 in z 4.700 * [taylor]: Taking taylor expansion of 0 in y 4.700 * [taylor]: Taking taylor expansion of 0 in y 4.701 * * * [progress]: simplifying candidates 4.701 * [simplify]: Simplifying using # : (* x (- 1 (/ z y))) (+ (log x) (log (- 1 (/ z y)))) (log (* x (- 1 (/ z y)))) (exp (* x (- 1 (/ z y)))) (* (* (* x x) x) (* (* (- 1 (/ z y)) (- 1 (/ z y))) (- 1 (/ z y)))) (* (cbrt (* x (- 1 (/ z y)))) (cbrt (* x (- 1 (/ z y))))) (cbrt (* x (- 1 (/ z y)))) (* (* (* x (- 1 (/ z y))) (* x (- 1 (/ z y)))) (* x (- 1 (/ z y)))) (sqrt (* x (- 1 (/ z y)))) (sqrt (* x (- 1 (/ z y)))) (* (sqrt x) (sqrt (- 1 (/ z y)))) (* (sqrt x) (sqrt (- 1 (/ z y)))) (* x 1) (* x (neg (/ z y))) (* x 1) (* x (neg (/ z y))) (* 1 x) (* (neg (/ z y)) x) (* 1 x) (* (neg (/ z y)) x) (* x (* (cbrt (- 1 (/ z y))) (cbrt (- 1 (/ z y))))) (* x (sqrt (- 1 (/ z y)))) (* x 1) (* x (+ (sqrt 1) (sqrt (/ z y)))) (* x (+ (sqrt 1) (/ (sqrt z) (sqrt y)))) (* x (+ 1 (sqrt (/ z y)))) (* x (+ 1 (/ (sqrt z) (sqrt y)))) (* x 1) (* (cbrt x) (- 1 (/ z y))) (* (sqrt x) (- 1 (/ z y))) (* x (- 1 (/ z y))) (* x (- (pow 1 3) (pow (/ z y) 3))) (* x (- (* 1 1) (* (/ z y) (/ z y)))) (- x (/ (* x z) y)) (- x (/ (* x z) y)) (- x (/ (* x z) y)) 4.703 * * [simplify]: iteration 0 : 62 enodes (cost 306 ) 4.715 * * [simplify]: iteration 1 : 154 enodes (cost 287 ) 4.737 * * [simplify]: iteration 2 : 404 enodes (cost 259 ) 4.804 * * [simplify]: iteration 3 : 1172 enodes (cost 259 ) 5.116 * * [simplify]: iteration 4 : 4050 enodes (cost 259 ) 5.659 * * [simplify]: iteration done : 5001 enodes (cost 259 ) 5.659 * [simplify]: Simplified to: (* (- 1 (/ z y)) x) (log (* x (- 1 (/ z y)))) (log (* x (- 1 (/ z y)))) (exp (* x (- 1 (/ z y)))) (pow (* x (- 1 (/ z y))) 3) (* (cbrt (* x (- 1 (/ z y)))) (cbrt (* x (- 1 (/ z y))))) (cbrt (* x (- 1 (/ z y)))) (pow (* x (- 1 (/ z y))) 3) (sqrt (* x (- 1 (/ z y)))) (sqrt (* x (- 1 (/ z y)))) (* (sqrt x) (sqrt (- 1 (/ z y)))) (* (sqrt x) (sqrt (- 1 (/ z y)))) x (* x (neg (/ z y))) x (* x (neg (/ z y))) x (* x (neg (/ z y))) x (* x (neg (/ z y))) (* x (* (cbrt (- 1 (/ z y))) (cbrt (- 1 (/ z y))))) (* x (sqrt (- 1 (/ z y)))) x (* x (+ 1 (sqrt (/ z y)))) (* x (+ (/ (sqrt z) (sqrt y)) 1)) (* x (+ 1 (sqrt (/ z y)))) (* x (+ (/ (sqrt z) (sqrt y)) 1)) x (* (cbrt x) (- 1 (/ z y))) (* (sqrt x) (- 1 (/ z y))) (* (- 1 (/ z y)) x) (* x (- 1 (pow (/ z y) 3))) (* (- 1 (* (/ z y) (/ z y))) x) (* (- 1 (/ z y)) x) (* (- 1 (/ z y)) x) (* (- 1 (/ z y)) x) 5.659 * * * [progress]: adding candidates to table 5.692 * [progress]: [Phase 3 of 3] Extracting. 5.692 * * [regime]: Finding splitpoints for: (# # # # # #) 5.692 * * * [regime-changes]: Trying 3 branch expressions: (z y x) 5.692 * * * * [regimes]: Trying to branch on z from (# # # # # #) 5.749 * * * * [regimes]: Trying to branch on y from (# # # # # #) 5.816 * * * * [regimes]: Trying to branch on x from (# # # # # #) 5.885 * * * [regime]: Found split indices: #