245.179 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.022 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (/ (* x y) z) 0.023 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.024 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.024 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 0.026 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 0.028 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 0.029 * * [simplify]: iteration done : 16 enodes (cost 5 ) 0.029 * [simplify]: Simplified to: (/ (* x y) z) 0.030 * * [progress]: iteration 1 / 4 0.030 * * * [progress]: picking best candidate 0.041 * * * * [pick]: Picked # 0.041 * * * [progress]: localizing error 0.046 * * * [progress]: generating rewritten candidates 0.046 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.051 * * * [progress]: generating series expansions 0.051 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.051 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 0.051 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 0.051 * [taylor]: Taking taylor expansion of (* x y) in z 0.051 * [taylor]: Taking taylor expansion of x in z 0.052 * [taylor]: Taking taylor expansion of y in z 0.052 * [taylor]: Taking taylor expansion of z in z 0.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 0.052 * [taylor]: Taking taylor expansion of (* x y) in y 0.052 * [taylor]: Taking taylor expansion of x in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of z in y 0.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 0.052 * [taylor]: Taking taylor expansion of (* x y) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of z in x 0.052 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 0.052 * [taylor]: Taking taylor expansion of (* x y) in x 0.052 * [taylor]: Taking taylor expansion of x in x 0.052 * [taylor]: Taking taylor expansion of y in x 0.052 * [taylor]: Taking taylor expansion of z in x 0.052 * [taylor]: Taking taylor expansion of (/ y z) in y 0.052 * [taylor]: Taking taylor expansion of y in y 0.052 * [taylor]: Taking taylor expansion of z in y 0.052 * [taylor]: Taking taylor expansion of (/ 1 z) in z 0.052 * [taylor]: Taking taylor expansion of z in z 0.052 * [taylor]: Taking taylor expansion of 0 in y 0.052 * [taylor]: Taking taylor expansion of 0 in z 0.052 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in y 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [taylor]: Taking taylor expansion of 0 in z 0.053 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 0.054 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 0.054 * [taylor]: Taking taylor expansion of z in z 0.054 * [taylor]: Taking taylor expansion of (* x y) in z 0.054 * [taylor]: Taking taylor expansion of x in z 0.054 * [taylor]: Taking taylor expansion of y in z 0.054 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 0.054 * [taylor]: Taking taylor expansion of z in y 0.054 * [taylor]: Taking taylor expansion of (* x y) in y 0.054 * [taylor]: Taking taylor expansion of x in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 0.054 * [taylor]: Taking taylor expansion of z in x 0.054 * [taylor]: Taking taylor expansion of (* x y) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 0.054 * [taylor]: Taking taylor expansion of z in x 0.054 * [taylor]: Taking taylor expansion of (* x y) in x 0.054 * [taylor]: Taking taylor expansion of x in x 0.054 * [taylor]: Taking taylor expansion of y in x 0.054 * [taylor]: Taking taylor expansion of (/ z y) in y 0.054 * [taylor]: Taking taylor expansion of z in y 0.054 * [taylor]: Taking taylor expansion of y in y 0.054 * [taylor]: Taking taylor expansion of z in z 0.054 * [taylor]: Taking taylor expansion of 0 in y 0.054 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in y 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [taylor]: Taking taylor expansion of 0 in z 0.055 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 0.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 0.055 * [taylor]: Taking taylor expansion of -1 in z 0.055 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 0.055 * [taylor]: Taking taylor expansion of z in z 0.055 * [taylor]: Taking taylor expansion of (* x y) in z 0.055 * [taylor]: Taking taylor expansion of x in z 0.055 * [taylor]: Taking taylor expansion of y in z 0.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 0.055 * [taylor]: Taking taylor expansion of -1 in y 0.055 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 0.055 * [taylor]: Taking taylor expansion of z in y 0.055 * [taylor]: Taking taylor expansion of (* x y) in y 0.055 * [taylor]: Taking taylor expansion of x in y 0.055 * [taylor]: Taking taylor expansion of y in y 0.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 0.055 * [taylor]: Taking taylor expansion of -1 in x 0.055 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 0.055 * [taylor]: Taking taylor expansion of z in x 0.055 * [taylor]: Taking taylor expansion of (* x y) in x 0.055 * [taylor]: Taking taylor expansion of x in x 0.055 * [taylor]: Taking taylor expansion of y in x 0.055 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 0.056 * [taylor]: Taking taylor expansion of -1 in x 0.056 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 0.056 * [taylor]: Taking taylor expansion of z in x 0.056 * [taylor]: Taking taylor expansion of (* x y) in x 0.056 * [taylor]: Taking taylor expansion of x in x 0.056 * [taylor]: Taking taylor expansion of y in x 0.056 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 0.056 * [taylor]: Taking taylor expansion of -1 in y 0.056 * [taylor]: Taking taylor expansion of (/ z y) in y 0.056 * [taylor]: Taking taylor expansion of z in y 0.056 * [taylor]: Taking taylor expansion of y in y 0.056 * [taylor]: Taking taylor expansion of (* -1 z) in z 0.056 * [taylor]: Taking taylor expansion of -1 in z 0.056 * [taylor]: Taking taylor expansion of z in z 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [taylor]: Taking taylor expansion of 0 in z 0.056 * [taylor]: Taking taylor expansion of 0 in y 0.056 * [taylor]: Taking taylor expansion of 0 in z 0.057 * [taylor]: Taking taylor expansion of 0 in z 0.057 * * * [progress]: simplifying candidates 0.057 * [simplify]: Simplifying using # : (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (* (* (* x x) x) (* (* y y) y)) (* (* z z) z)) (/ (* (* (* x y) (* x y)) (* x y)) (* (* z z) 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)) (neg (* x y)) (neg z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) (/ x 1) (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (/ (* x y) 1) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 0.058 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 0.059 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 0.060 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 0.063 * * [simplify]: iteration 3 : 26 enodes (cost 8 ) 0.066 * * [simplify]: iteration 4 : 32 enodes (cost 8 ) 0.070 * * [simplify]: iteration 5 : 41 enodes (cost 8 ) 0.076 * * [simplify]: iteration 6 : 54 enodes (cost 8 ) 0.084 * * [simplify]: iteration 7 : 72 enodes (cost 8 ) 0.094 * * [simplify]: iteration 8 : 88 enodes (cost 8 ) 0.110 * * [simplify]: iteration 9 : 95 enodes (cost 8 ) 0.124 * * [simplify]: iteration 10 : 112 enodes (cost 8 ) 0.138 * * [simplify]: iteration 11 : 114 enodes (cost 8 ) 0.151 * * [simplify]: iteration done : 114 enodes (cost 8 ) 0.151 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.152 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 0.154 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.156 * * [simplify]: iteration 3 : 28 enodes (cost 7 ) 0.159 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 0.162 * * [simplify]: iteration 5 : 37 enodes (cost 7 ) 0.171 * * [simplify]: iteration 6 : 46 enodes (cost 7 ) 0.177 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 0.186 * * [simplify]: iteration 8 : 77 enodes (cost 7 ) 0.195 * * [simplify]: iteration 9 : 93 enodes (cost 7 ) 0.206 * * [simplify]: iteration 10 : 100 enodes (cost 7 ) 0.221 * * [simplify]: iteration 11 : 117 enodes (cost 7 ) 0.239 * * [simplify]: iteration 12 : 119 enodes (cost 7 ) 0.252 * * [simplify]: iteration done : 119 enodes (cost 7 ) 0.253 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.254 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.255 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.258 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 0.264 * * [simplify]: iteration 4 : 59 enodes (cost 6 ) 0.272 * * [simplify]: iteration 5 : 67 enodes (cost 6 ) 0.281 * * [simplify]: iteration 6 : 79 enodes (cost 6 ) 0.296 * * [simplify]: iteration 7 : 97 enodes (cost 6 ) 0.307 * * [simplify]: iteration 8 : 113 enodes (cost 6 ) 0.320 * * [simplify]: iteration 9 : 120 enodes (cost 6 ) 0.338 * * [simplify]: iteration 10 : 137 enodes (cost 6 ) 0.358 * * [simplify]: iteration 11 : 139 enodes (cost 6 ) 0.373 * * [simplify]: iteration done : 139 enodes (cost 6 ) 0.374 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.374 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 0.375 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 0.377 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 0.379 * * [simplify]: iteration 4 : 27 enodes (cost 6 ) 0.384 * * [simplify]: iteration 5 : 40 enodes (cost 6 ) 0.390 * * [simplify]: iteration 6 : 73 enodes (cost 6 ) 0.402 * * [simplify]: iteration 7 : 156 enodes (cost 6 ) 0.479 * * [simplify]: iteration 8 : 369 enodes (cost 6 ) 0.735 * * [simplify]: iteration 9 : 1012 enodes (cost 6 ) 2.628 * * [simplify]: iteration 10 : 4069 enodes (cost 6 ) 3.876 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 3.877 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 3.879 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 3.891 * * [simplify]: iteration 2 : 122 enodes (cost 11 ) 3.933 * * [simplify]: iteration 3 : 554 enodes (cost 11 ) 4.615 * * [simplify]: iteration 4 : 2264 enodes (cost 9 ) 8.269 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 8.270 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 8.271 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 8.278 * * [simplify]: iteration 2 : 129 enodes (cost 9 ) 8.344 * * [simplify]: iteration 3 : 692 enodes (cost 7 ) 9.614 * * [simplify]: iteration 4 : 2636 enodes (cost 7 ) 17.863 * * [simplify]: iteration 5 : 4904 enodes (cost 7 ) 18.880 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 18.881 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 18.882 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 18.883 * * [simplify]: iteration 2 : 14 enodes (cost 13 ) 18.885 * * [simplify]: iteration 3 : 17 enodes (cost 13 ) 18.887 * * [simplify]: iteration 4 : 18 enodes (cost 13 ) 18.889 * * [simplify]: iteration done : 18 enodes (cost 13 ) 18.889 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 18.890 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 18.891 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 18.893 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 18.895 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 18.897 * * [simplify]: iteration done : 17 enodes (cost 6 ) 18.897 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 18.898 * * [simplify]: iteration 1 : 17 enodes (cost 17 ) 18.901 * * [simplify]: iteration 2 : 58 enodes (cost 7 ) 18.925 * * [simplify]: iteration 3 : 237 enodes (cost 7 ) 19.128 * * [simplify]: iteration 4 : 990 enodes (cost 7 ) 21.529 * * [simplify]: iteration 5 : 2904 enodes (cost 7 ) 29.145 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 29.145 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.146 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 29.147 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 29.149 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 29.150 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 29.153 * * [simplify]: iteration done : 17 enodes (cost 6 ) 29.153 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.154 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 29.155 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 29.157 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 29.158 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 29.160 * * [simplify]: iteration done : 17 enodes (cost 6 ) 29.161 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 29.161 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 29.162 * * [simplify]: iteration 2 : 11 enodes (cost 4 ) 29.164 * * [simplify]: iteration done : 11 enodes (cost 4 ) 29.164 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 29.164 * * [simplify]: iteration done : 2 enodes (cost 2 ) 29.165 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 29.166 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 29.173 * * [simplify]: iteration done : 7 enodes (cost 7 ) 29.173 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 29.174 * * [simplify]: iteration done : 4 enodes (cost 4 ) 29.174 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 29.175 * * [simplify]: iteration done : 4 enodes (cost 4 ) 29.175 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 29.176 * * [simplify]: iteration done : 4 enodes (cost 4 ) 29.176 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.176 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 29.177 * * [simplify]: iteration done : 5 enodes (cost 1 ) 29.177 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.178 * * [simplify]: iteration done : 3 enodes (cost 3 ) 29.178 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.179 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 29.179 * * [simplify]: iteration done : 5 enodes (cost 3 ) 29.180 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.180 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 29.181 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 29.182 * * [simplify]: iteration done : 10 enodes (cost 5 ) 29.183 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 29.184 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 29.187 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 29.191 * * [simplify]: iteration 3 : 42 enodes (cost 9 ) 29.196 * * [simplify]: iteration 4 : 46 enodes (cost 9 ) 29.202 * * [simplify]: iteration done : 46 enodes (cost 9 ) 29.203 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.203 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 29.205 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 29.206 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 29.208 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 29.210 * * [simplify]: iteration done : 17 enodes (cost 6 ) 29.211 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.212 * * [simplify]: iteration 1 : 10 enodes (cost 3 ) 29.213 * * [simplify]: iteration 2 : 18 enodes (cost 3 ) 29.215 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 29.218 * * [simplify]: iteration 4 : 32 enodes (cost 3 ) 29.220 * * [simplify]: iteration done : 32 enodes (cost 3 ) 29.221 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 29.221 * * [simplify]: iteration done : 3 enodes (cost 3 ) 29.221 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.222 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 29.223 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 29.224 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 29.226 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 29.228 * * [simplify]: iteration done : 16 enodes (cost 5 ) 29.229 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.229 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 29.230 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 29.231 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 29.233 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 29.236 * * [simplify]: iteration done : 16 enodes (cost 5 ) 29.236 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.237 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 29.243 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 29.244 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 29.246 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 29.248 * * [simplify]: iteration done : 16 enodes (cost 5 ) 29.248 * [simplify]: Simplified to: (- (+ (log x) (log y)) (log z)) (- (log (* x y)) (log z)) (log (/ (* x y) z)) (exp (/ (* x y) z)) (/ (pow y 3) (pow (/ z x) 3)) (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)) (neg (* x y)) (neg z) (/ x (* (cbrt z) (cbrt z))) (/ y (cbrt z)) (/ x (sqrt z)) (/ y (sqrt z)) x (/ y z) (/ 1 z) (/ z (* x y)) (/ (* x y) (* (cbrt z) (cbrt z))) (/ (* x y) (sqrt z)) (* x y) (/ z y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 29.248 * * * [progress]: adding candidates to table 29.283 * * [progress]: iteration 2 / 4 29.283 * * * [progress]: picking best candidate 29.303 * * * * [pick]: Picked # 29.303 * * * [progress]: localizing error 29.307 * * * [progress]: generating rewritten candidates 29.307 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 29.321 * * * [progress]: generating series expansions 29.322 * * * * [progress]: [ 1 / 1 ] generating series at (2) 29.322 * [approximate]: Taking taylor expansion of (/ (* x y) z) in (x y z) around 0 29.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in z 29.322 * [taylor]: Taking taylor expansion of (* x y) in z 29.322 * [taylor]: Taking taylor expansion of x in z 29.322 * [taylor]: Taking taylor expansion of y in z 29.322 * [taylor]: Taking taylor expansion of z in z 29.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in y 29.322 * [taylor]: Taking taylor expansion of (* x y) in y 29.322 * [taylor]: Taking taylor expansion of x in y 29.322 * [taylor]: Taking taylor expansion of y in y 29.322 * [taylor]: Taking taylor expansion of z in y 29.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 29.322 * [taylor]: Taking taylor expansion of (* x y) in x 29.322 * [taylor]: Taking taylor expansion of x in x 29.322 * [taylor]: Taking taylor expansion of y in x 29.322 * [taylor]: Taking taylor expansion of z in x 29.322 * [taylor]: Taking taylor expansion of (/ (* x y) z) in x 29.322 * [taylor]: Taking taylor expansion of (* x y) in x 29.322 * [taylor]: Taking taylor expansion of x in x 29.322 * [taylor]: Taking taylor expansion of y in x 29.322 * [taylor]: Taking taylor expansion of z in x 29.322 * [taylor]: Taking taylor expansion of (/ y z) in y 29.322 * [taylor]: Taking taylor expansion of y in y 29.322 * [taylor]: Taking taylor expansion of z in y 29.322 * [taylor]: Taking taylor expansion of (/ 1 z) in z 29.322 * [taylor]: Taking taylor expansion of z in z 29.323 * [taylor]: Taking taylor expansion of 0 in y 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in y 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in y 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.323 * [taylor]: Taking taylor expansion of 0 in z 29.324 * [approximate]: Taking taylor expansion of (/ z (* x y)) in (x y z) around 0 29.324 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 29.324 * [taylor]: Taking taylor expansion of z in z 29.324 * [taylor]: Taking taylor expansion of (* x y) in z 29.324 * [taylor]: Taking taylor expansion of x in z 29.324 * [taylor]: Taking taylor expansion of y in z 29.324 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 29.324 * [taylor]: Taking taylor expansion of z in y 29.324 * [taylor]: Taking taylor expansion of (* x y) in y 29.324 * [taylor]: Taking taylor expansion of x in y 29.324 * [taylor]: Taking taylor expansion of y in y 29.324 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 29.324 * [taylor]: Taking taylor expansion of z in x 29.324 * [taylor]: Taking taylor expansion of (* x y) in x 29.324 * [taylor]: Taking taylor expansion of x in x 29.324 * [taylor]: Taking taylor expansion of y in x 29.324 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 29.324 * [taylor]: Taking taylor expansion of z in x 29.324 * [taylor]: Taking taylor expansion of (* x y) in x 29.324 * [taylor]: Taking taylor expansion of x in x 29.324 * [taylor]: Taking taylor expansion of y in x 29.324 * [taylor]: Taking taylor expansion of (/ z y) in y 29.324 * [taylor]: Taking taylor expansion of z in y 29.324 * [taylor]: Taking taylor expansion of y in y 29.324 * [taylor]: Taking taylor expansion of z in z 29.325 * [taylor]: Taking taylor expansion of 0 in y 29.325 * [taylor]: Taking taylor expansion of 0 in z 29.325 * [taylor]: Taking taylor expansion of 0 in y 29.325 * [taylor]: Taking taylor expansion of 0 in z 29.325 * [taylor]: Taking taylor expansion of 0 in z 29.325 * [approximate]: Taking taylor expansion of (* -1 (/ z (* x y))) in (x y z) around 0 29.325 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in z 29.325 * [taylor]: Taking taylor expansion of -1 in z 29.325 * [taylor]: Taking taylor expansion of (/ z (* x y)) in z 29.325 * [taylor]: Taking taylor expansion of z in z 29.325 * [taylor]: Taking taylor expansion of (* x y) in z 29.325 * [taylor]: Taking taylor expansion of x in z 29.325 * [taylor]: Taking taylor expansion of y in z 29.325 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in y 29.325 * [taylor]: Taking taylor expansion of -1 in y 29.325 * [taylor]: Taking taylor expansion of (/ z (* x y)) in y 29.325 * [taylor]: Taking taylor expansion of z in y 29.325 * [taylor]: Taking taylor expansion of (* x y) in y 29.325 * [taylor]: Taking taylor expansion of x in y 29.325 * [taylor]: Taking taylor expansion of y in y 29.326 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 29.326 * [taylor]: Taking taylor expansion of -1 in x 29.326 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 29.326 * [taylor]: Taking taylor expansion of z in x 29.326 * [taylor]: Taking taylor expansion of (* x y) in x 29.326 * [taylor]: Taking taylor expansion of x in x 29.326 * [taylor]: Taking taylor expansion of y in x 29.326 * [taylor]: Taking taylor expansion of (* -1 (/ z (* x y))) in x 29.326 * [taylor]: Taking taylor expansion of -1 in x 29.326 * [taylor]: Taking taylor expansion of (/ z (* x y)) in x 29.326 * [taylor]: Taking taylor expansion of z in x 29.326 * [taylor]: Taking taylor expansion of (* x y) in x 29.326 * [taylor]: Taking taylor expansion of x in x 29.326 * [taylor]: Taking taylor expansion of y in x 29.326 * [taylor]: Taking taylor expansion of (* -1 (/ z y)) in y 29.326 * [taylor]: Taking taylor expansion of -1 in y 29.326 * [taylor]: Taking taylor expansion of (/ z y) in y 29.326 * [taylor]: Taking taylor expansion of z in y 29.326 * [taylor]: Taking taylor expansion of y in y 29.326 * [taylor]: Taking taylor expansion of (* -1 z) in z 29.326 * [taylor]: Taking taylor expansion of -1 in z 29.326 * [taylor]: Taking taylor expansion of z in z 29.326 * [taylor]: Taking taylor expansion of 0 in y 29.326 * [taylor]: Taking taylor expansion of 0 in z 29.327 * [taylor]: Taking taylor expansion of 0 in y 29.327 * [taylor]: Taking taylor expansion of 0 in z 29.327 * [taylor]: Taking taylor expansion of 0 in z 29.327 * * * [progress]: simplifying candidates 29.327 * [simplify]: Simplifying using # : (* x (/ y z)) (+ (log x) (- (log y) (log z))) (+ (log x) (log (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (* (* (* x x) x) (/ (* (* y y) y) (* (* z z) 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))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* x (/ (* (cbrt y) (cbrt y)) 1)) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* x (/ (sqrt y) 1)) (* x (/ 1 (* (cbrt z) (cbrt z)))) (* x (/ 1 (sqrt z))) (* x (/ 1 1)) (* x 1) (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (* x (/ y z)) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 29.328 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 29.329 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 29.330 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 29.331 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 29.333 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 29.335 * * [simplify]: iteration done : 16 enodes (cost 5 ) 29.336 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 29.337 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 29.338 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 29.340 * * [simplify]: iteration 3 : 29 enodes (cost 8 ) 29.344 * * [simplify]: iteration 4 : 35 enodes (cost 8 ) 29.349 * * [simplify]: iteration 5 : 45 enodes (cost 8 ) 29.354 * * [simplify]: iteration 6 : 52 enodes (cost 8 ) 29.360 * * [simplify]: iteration 7 : 64 enodes (cost 8 ) 29.369 * * [simplify]: iteration 8 : 87 enodes (cost 8 ) 29.389 * * [simplify]: iteration 9 : 101 enodes (cost 8 ) 29.400 * * [simplify]: iteration 10 : 107 enodes (cost 8 ) 29.412 * * [simplify]: iteration done : 107 enodes (cost 8 ) 29.413 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 29.414 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 29.415 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 29.417 * * [simplify]: iteration 3 : 26 enodes (cost 7 ) 29.420 * * [simplify]: iteration 4 : 36 enodes (cost 7 ) 29.425 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 29.431 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 29.436 * * [simplify]: iteration 7 : 59 enodes (cost 7 ) 29.448 * * [simplify]: iteration 8 : 76 enodes (cost 7 ) 29.461 * * [simplify]: iteration 9 : 95 enodes (cost 7 ) 29.472 * * [simplify]: iteration 10 : 103 enodes (cost 7 ) 29.485 * * [simplify]: iteration done : 103 enodes (cost 7 ) 29.485 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.487 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 29.488 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 29.490 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 29.495 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 29.508 * * [simplify]: iteration 5 : 69 enodes (cost 6 ) 29.517 * * [simplify]: iteration 6 : 81 enodes (cost 6 ) 29.527 * * [simplify]: iteration 7 : 99 enodes (cost 6 ) 29.538 * * [simplify]: iteration 8 : 115 enodes (cost 6 ) 29.552 * * [simplify]: iteration 9 : 122 enodes (cost 6 ) 29.573 * * [simplify]: iteration 10 : 139 enodes (cost 6 ) 29.589 * * [simplify]: iteration 11 : 141 enodes (cost 6 ) 29.604 * * [simplify]: iteration done : 141 enodes (cost 6 ) 29.605 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 29.606 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 29.607 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 29.610 * * [simplify]: iteration 3 : 34 enodes (cost 6 ) 29.614 * * [simplify]: iteration 4 : 67 enodes (cost 6 ) 29.630 * * [simplify]: iteration 5 : 148 enodes (cost 6 ) 29.691 * * [simplify]: iteration 6 : 360 enodes (cost 6 ) 30.124 * * [simplify]: iteration 7 : 1389 enodes (cost 6 ) 33.289 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 33.290 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 33.292 * * [simplify]: iteration 1 : 26 enodes (cost 17 ) 33.297 * * [simplify]: iteration 2 : 104 enodes (cost 11 ) 33.341 * * [simplify]: iteration 3 : 444 enodes (cost 9 ) 33.827 * * [simplify]: iteration 4 : 1700 enodes (cost 9 ) 37.620 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 37.621 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 37.623 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 37.627 * * [simplify]: iteration 2 : 71 enodes (cost 9 ) 37.646 * * [simplify]: iteration 3 : 225 enodes (cost 9 ) 37.800 * * [simplify]: iteration 4 : 778 enodes (cost 7 ) 39.080 * * [simplify]: iteration 5 : 2424 enodes (cost 7 ) 42.459 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 42.460 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 42.461 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 42.462 * * [simplify]: iteration 2 : 13 enodes (cost 13 ) 42.463 * * [simplify]: iteration 3 : 17 enodes (cost 13 ) 42.465 * * [simplify]: iteration 4 : 18 enodes (cost 13 ) 42.467 * * [simplify]: iteration done : 18 enodes (cost 13 ) 42.468 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 42.469 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 42.470 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 42.471 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 42.473 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 42.475 * * [simplify]: iteration done : 17 enodes (cost 6 ) 42.475 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 42.477 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 42.491 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 42.520 * * [simplify]: iteration 3 : 270 enodes (cost 7 ) 42.753 * * [simplify]: iteration 4 : 827 enodes (cost 7 ) 44.253 * * [simplify]: iteration 5 : 2540 enodes (cost 7 ) 51.103 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 51.104 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.105 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.106 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 51.108 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 51.110 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 51.111 * * [simplify]: iteration done : 17 enodes (cost 6 ) 51.112 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.113 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.114 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 51.116 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 51.118 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 51.120 * * [simplify]: iteration done : 17 enodes (cost 6 ) 51.120 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 51.121 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 51.122 * * [simplify]: iteration done : 8 enodes (cost 7 ) 51.122 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 51.123 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 51.124 * * [simplify]: iteration done : 8 enodes (cost 7 ) 51.125 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 51.126 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 51.133 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 51.135 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 51.137 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 51.139 * * [simplify]: iteration done : 19 enodes (cost 8 ) 51.140 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 51.140 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 51.142 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 51.143 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 51.145 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 51.148 * * [simplify]: iteration done : 19 enodes (cost 8 ) 51.148 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 51.149 * * [simplify]: iteration 1 : 10 enodes (cost 11 ) 51.150 * * [simplify]: iteration 2 : 12 enodes (cost 11 ) 51.152 * * [simplify]: iteration done : 12 enodes (cost 11 ) 51.152 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.153 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 51.154 * * [simplify]: iteration done : 7 enodes (cost 6 ) 51.154 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 51.156 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 51.158 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 51.166 * * [simplify]: iteration 3 : 86 enodes (cost 13 ) 51.187 * * [simplify]: iteration 4 : 142 enodes (cost 13 ) 51.224 * * [simplify]: iteration 5 : 158 enodes (cost 13 ) 51.259 * * [simplify]: iteration done : 158 enodes (cost 13 ) 51.260 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 51.261 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 51.263 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 51.266 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 51.271 * * [simplify]: iteration 4 : 51 enodes (cost 10 ) 51.279 * * [simplify]: iteration 5 : 53 enodes (cost 10 ) 51.286 * * [simplify]: iteration done : 53 enodes (cost 10 ) 51.286 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 51.287 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 51.289 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 51.295 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 51.314 * * [simplify]: iteration 4 : 98 enodes (cost 7 ) 51.324 * * [simplify]: iteration done : 98 enodes (cost 7 ) 51.325 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 51.326 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 51.327 * * [simplify]: iteration 2 : 24 enodes (cost 10 ) 51.331 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 51.336 * * [simplify]: iteration 4 : 50 enodes (cost 10 ) 51.342 * * [simplify]: iteration done : 50 enodes (cost 10 ) 51.343 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 51.344 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 51.345 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 51.346 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 51.348 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 51.350 * * [simplify]: iteration done : 18 enodes (cost 7 ) 51.351 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.352 * * [simplify]: iteration 1 : 11 enodes (cost 4 ) 51.353 * * [simplify]: iteration 2 : 18 enodes (cost 4 ) 51.355 * * [simplify]: iteration 3 : 27 enodes (cost 4 ) 51.358 * * [simplify]: iteration 4 : 33 enodes (cost 4 ) 51.361 * * [simplify]: iteration done : 33 enodes (cost 4 ) 51.361 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 51.363 * * [simplify]: iteration 1 : 14 enodes (cost 9 ) 51.365 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 51.368 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 51.378 * * [simplify]: iteration 4 : 49 enodes (cost 7 ) 51.390 * * [simplify]: iteration 5 : 79 enodes (cost 7 ) 51.400 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 51.409 * * [simplify]: iteration done : 82 enodes (cost 7 ) 51.409 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.410 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 51.411 * * [simplify]: iteration 2 : 14 enodes (cost 4 ) 51.413 * * [simplify]: iteration 3 : 15 enodes (cost 4 ) 51.414 * * [simplify]: iteration 4 : 20 enodes (cost 4 ) 51.416 * * [simplify]: iteration 5 : 21 enodes (cost 4 ) 51.418 * * [simplify]: iteration done : 21 enodes (cost 4 ) 51.419 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 51.419 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 51.420 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 51.421 * * [simplify]: iteration done : 14 enodes (cost 1 ) 51.421 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 51.422 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 51.422 * * [simplify]: iteration done : 6 enodes (cost 1 ) 51.423 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 51.423 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 51.424 * * [simplify]: iteration done : 4 enodes (cost 3 ) 51.424 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.425 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.427 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 51.428 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 51.430 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 51.432 * * [simplify]: iteration done : 17 enodes (cost 6 ) 51.433 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 51.434 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 51.435 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 51.436 * * [simplify]: iteration 3 : 16 enodes (cost 6 ) 51.443 * * [simplify]: iteration 4 : 17 enodes (cost 6 ) 51.445 * * [simplify]: iteration done : 17 enodes (cost 6 ) 51.446 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 51.447 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 51.447 * * [simplify]: iteration 2 : 11 enodes (cost 5 ) 51.449 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 51.451 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 51.452 * * [simplify]: iteration done : 16 enodes (cost 5 ) 51.453 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 51.453 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 51.454 * * [simplify]: iteration done : 4 enodes (cost 3 ) 51.454 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 51.455 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 51.456 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 51.457 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 51.459 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 51.461 * * [simplify]: iteration done : 16 enodes (cost 5 ) 51.461 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 51.462 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 51.463 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 51.465 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 51.467 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 51.468 * * [simplify]: iteration done : 16 enodes (cost 5 ) 51.469 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 51.470 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 51.470 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 51.472 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 51.474 * * [simplify]: iteration 4 : 16 enodes (cost 5 ) 51.475 * * [simplify]: iteration done : 16 enodes (cost 5 ) 51.476 * [simplify]: Simplified to: (* x (/ y z)) (+ (log x) (- (log y) (log z))) (+ (log x) (log (/ y z))) (log (* x (/ y z))) (exp (* x (/ y z))) (* (pow x 3) (pow (/ y z) 3)) (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))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* (sqrt x) (/ (sqrt y) (sqrt z))) (* x (* (cbrt (/ y z)) (cbrt (/ y z)))) (* x (sqrt (/ y z))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (sqrt z))) (* (* (cbrt y) (cbrt y)) x) (* x (/ (sqrt y) (* (cbrt z) (cbrt z)))) (* x (/ (sqrt y) (sqrt z))) (* (sqrt y) x) (/ x (* (cbrt z) (cbrt z))) (/ x (sqrt z)) x x (* x y) (* (cbrt x) (/ y z)) (* (sqrt x) (/ y z)) (* x (/ y z)) (* x y) (/ (* x y) z) (/ (* x y) z) (/ (* x y) z) 51.476 * * * [progress]: adding candidates to table 51.517 * * [progress]: iteration 3 / 4 51.517 * * * [progress]: picking best candidate 51.551 * * * * [pick]: Picked # 51.551 * * * [progress]: localizing error 51.563 * * * [progress]: generating rewritten candidates 51.563 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 51.577 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 51.578 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 2) 51.580 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1) 51.583 * * * [progress]: generating series expansions 51.583 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 51.583 * [approximate]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in (x y z) around 0 51.583 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in z 51.583 * [taylor]: Taking taylor expansion of x in z 51.583 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in z 51.583 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in z 51.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in z 51.584 * [taylor]: Taking taylor expansion of 1/3 in z 51.584 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in z 51.584 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in z 51.584 * [taylor]: Taking taylor expansion of (pow y 2) in z 51.584 * [taylor]: Taking taylor expansion of y in z 51.584 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.584 * [taylor]: Taking taylor expansion of z in z 51.584 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in y 51.584 * [taylor]: Taking taylor expansion of x in y 51.584 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 51.584 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 51.584 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 51.584 * [taylor]: Taking taylor expansion of 1/3 in y 51.584 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 51.584 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 51.584 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.584 * [taylor]: Taking taylor expansion of y in y 51.584 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.584 * [taylor]: Taking taylor expansion of z in y 51.585 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 51.585 * [taylor]: Taking taylor expansion of x in x 51.585 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 51.585 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 51.585 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 51.585 * [taylor]: Taking taylor expansion of 1/3 in x 51.585 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 51.585 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 51.585 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.585 * [taylor]: Taking taylor expansion of y in x 51.585 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.585 * [taylor]: Taking taylor expansion of z in x 51.586 * [taylor]: Taking taylor expansion of (* x (pow (/ (pow y 2) (pow z 2)) 1/3)) in x 51.586 * [taylor]: Taking taylor expansion of x in x 51.586 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in x 51.586 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in x 51.586 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in x 51.586 * [taylor]: Taking taylor expansion of 1/3 in x 51.586 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in x 51.586 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in x 51.586 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.586 * [taylor]: Taking taylor expansion of y in x 51.586 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.586 * [taylor]: Taking taylor expansion of z in x 51.586 * [taylor]: Taking taylor expansion of 0 in y 51.586 * [taylor]: Taking taylor expansion of 0 in z 51.587 * [taylor]: Taking taylor expansion of (pow (/ (pow y 2) (pow z 2)) 1/3) in y 51.587 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow y 2) (pow z 2))))) in y 51.587 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow y 2) (pow z 2)))) in y 51.587 * [taylor]: Taking taylor expansion of 1/3 in y 51.587 * [taylor]: Taking taylor expansion of (log (/ (pow y 2) (pow z 2))) in y 51.588 * [taylor]: Taking taylor expansion of (/ (pow y 2) (pow z 2)) in y 51.588 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.588 * [taylor]: Taking taylor expansion of y in y 51.588 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.588 * [taylor]: Taking taylor expansion of z in y 51.588 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (* 2 (log y)) (log (/ 1 (pow z 2)))))) in z 51.588 * [taylor]: Taking taylor expansion of (* 1/3 (+ (* 2 (log y)) (log (/ 1 (pow z 2))))) in z 51.588 * [taylor]: Taking taylor expansion of 1/3 in z 51.588 * [taylor]: Taking taylor expansion of (+ (* 2 (log y)) (log (/ 1 (pow z 2)))) in z 51.588 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 51.588 * [taylor]: Taking taylor expansion of 2 in z 51.588 * [taylor]: Taking taylor expansion of (log y) in z 51.588 * [taylor]: Taking taylor expansion of y in z 51.588 * [taylor]: Taking taylor expansion of (log (/ 1 (pow z 2))) in z 51.588 * [taylor]: Taking taylor expansion of (/ 1 (pow z 2)) in z 51.588 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.588 * [taylor]: Taking taylor expansion of z in z 51.589 * [taylor]: Taking taylor expansion of 0 in z 51.590 * [taylor]: Taking taylor expansion of 0 in y 51.590 * [taylor]: Taking taylor expansion of 0 in z 51.591 * [taylor]: Taking taylor expansion of 0 in z 51.591 * [taylor]: Taking taylor expansion of 0 in z 51.592 * [approximate]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in (x y z) around 0 51.592 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 51.592 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.592 * [taylor]: Taking taylor expansion of x in z 51.592 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 51.592 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 51.592 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 51.592 * [taylor]: Taking taylor expansion of 1/3 in z 51.592 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 51.592 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 51.592 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.592 * [taylor]: Taking taylor expansion of z in z 51.592 * [taylor]: Taking taylor expansion of (pow y 2) in z 51.592 * [taylor]: Taking taylor expansion of y in z 51.593 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 51.593 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.593 * [taylor]: Taking taylor expansion of x in y 51.593 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 51.593 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 51.593 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 51.593 * [taylor]: Taking taylor expansion of 1/3 in y 51.593 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 51.593 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 51.593 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.593 * [taylor]: Taking taylor expansion of z in y 51.593 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.594 * [taylor]: Taking taylor expansion of y in y 51.594 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 51.594 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.594 * [taylor]: Taking taylor expansion of x in x 51.594 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 51.594 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 51.594 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 51.594 * [taylor]: Taking taylor expansion of 1/3 in x 51.594 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 51.594 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 51.594 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.594 * [taylor]: Taking taylor expansion of z in x 51.594 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.594 * [taylor]: Taking taylor expansion of y in x 51.595 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 51.595 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.595 * [taylor]: Taking taylor expansion of x in x 51.595 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 51.595 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 51.595 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 51.595 * [taylor]: Taking taylor expansion of 1/3 in x 51.595 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 51.595 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 51.595 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.595 * [taylor]: Taking taylor expansion of z in x 51.595 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.595 * [taylor]: Taking taylor expansion of y in x 51.596 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 51.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 51.596 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 51.596 * [taylor]: Taking taylor expansion of 1/3 in y 51.596 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 51.596 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 51.596 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.596 * [taylor]: Taking taylor expansion of z in y 51.596 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.596 * [taylor]: Taking taylor expansion of y in y 51.596 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 51.596 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 51.596 * [taylor]: Taking taylor expansion of 1/3 in z 51.596 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 51.596 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 51.596 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.597 * [taylor]: Taking taylor expansion of z in z 51.597 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 51.597 * [taylor]: Taking taylor expansion of 2 in z 51.597 * [taylor]: Taking taylor expansion of (log y) in z 51.597 * [taylor]: Taking taylor expansion of y in z 51.598 * [taylor]: Taking taylor expansion of 0 in y 51.598 * [taylor]: Taking taylor expansion of 0 in z 51.599 * [taylor]: Taking taylor expansion of 0 in z 51.601 * [taylor]: Taking taylor expansion of 0 in y 51.601 * [taylor]: Taking taylor expansion of 0 in z 51.601 * [taylor]: Taking taylor expansion of 0 in z 51.602 * [taylor]: Taking taylor expansion of 0 in z 51.602 * [approximate]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in (x y z) around 0 51.602 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in z 51.602 * [taylor]: Taking taylor expansion of -1 in z 51.602 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in z 51.603 * [taylor]: Taking taylor expansion of (/ 1 x) in z 51.603 * [taylor]: Taking taylor expansion of x in z 51.603 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in z 51.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in z 51.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in z 51.603 * [taylor]: Taking taylor expansion of 1/3 in z 51.603 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in z 51.603 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in z 51.603 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.603 * [taylor]: Taking taylor expansion of z in z 51.603 * [taylor]: Taking taylor expansion of (pow y 2) in z 51.603 * [taylor]: Taking taylor expansion of y in z 51.603 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in y 51.603 * [taylor]: Taking taylor expansion of -1 in y 51.603 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 51.603 * [taylor]: Taking taylor expansion of (/ 1 x) in y 51.603 * [taylor]: Taking taylor expansion of x in y 51.603 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 51.603 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 51.603 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 51.603 * [taylor]: Taking taylor expansion of 1/3 in y 51.603 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 51.603 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 51.603 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.603 * [taylor]: Taking taylor expansion of z in y 51.603 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.604 * [taylor]: Taking taylor expansion of y in y 51.604 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 51.604 * [taylor]: Taking taylor expansion of -1 in x 51.604 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 51.604 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.604 * [taylor]: Taking taylor expansion of x in x 51.604 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 51.604 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 51.604 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 51.604 * [taylor]: Taking taylor expansion of 1/3 in x 51.604 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 51.604 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 51.604 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.604 * [taylor]: Taking taylor expansion of z in x 51.604 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.604 * [taylor]: Taking taylor expansion of y in x 51.605 * [taylor]: Taking taylor expansion of (* -1 (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3))) in x 51.605 * [taylor]: Taking taylor expansion of -1 in x 51.605 * [taylor]: Taking taylor expansion of (* (/ 1 x) (pow (/ (pow z 2) (pow y 2)) 1/3)) in x 51.605 * [taylor]: Taking taylor expansion of (/ 1 x) in x 51.605 * [taylor]: Taking taylor expansion of x in x 51.605 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in x 51.605 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in x 51.605 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in x 51.605 * [taylor]: Taking taylor expansion of 1/3 in x 51.605 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in x 51.605 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in x 51.605 * [taylor]: Taking taylor expansion of (pow z 2) in x 51.605 * [taylor]: Taking taylor expansion of z in x 51.605 * [taylor]: Taking taylor expansion of (pow y 2) in x 51.605 * [taylor]: Taking taylor expansion of y in x 51.606 * [taylor]: Taking taylor expansion of (* -1 (pow (/ (pow z 2) (pow y 2)) 1/3)) in y 51.606 * [taylor]: Taking taylor expansion of -1 in y 51.606 * [taylor]: Taking taylor expansion of (pow (/ (pow z 2) (pow y 2)) 1/3) in y 51.606 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ (pow z 2) (pow y 2))))) in y 51.606 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ (pow z 2) (pow y 2)))) in y 51.606 * [taylor]: Taking taylor expansion of 1/3 in y 51.606 * [taylor]: Taking taylor expansion of (log (/ (pow z 2) (pow y 2))) in y 51.606 * [taylor]: Taking taylor expansion of (/ (pow z 2) (pow y 2)) in y 51.606 * [taylor]: Taking taylor expansion of (pow z 2) in y 51.606 * [taylor]: Taking taylor expansion of z in y 51.606 * [taylor]: Taking taylor expansion of (pow y 2) in y 51.606 * [taylor]: Taking taylor expansion of y in y 51.606 * [taylor]: Taking taylor expansion of (* -1 (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y)))))) in z 51.606 * [taylor]: Taking taylor expansion of -1 in z 51.612 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log (pow z 2)) (* 2 (log y))))) in z 51.612 * [taylor]: Taking taylor expansion of (* 1/3 (- (log (pow z 2)) (* 2 (log y)))) in z 51.612 * [taylor]: Taking taylor expansion of 1/3 in z 51.612 * [taylor]: Taking taylor expansion of (- (log (pow z 2)) (* 2 (log y))) in z 51.612 * [taylor]: Taking taylor expansion of (log (pow z 2)) in z 51.612 * [taylor]: Taking taylor expansion of (pow z 2) in z 51.612 * [taylor]: Taking taylor expansion of z in z 51.612 * [taylor]: Taking taylor expansion of (* 2 (log y)) in z 51.612 * [taylor]: Taking taylor expansion of 2 in z 51.612 * [taylor]: Taking taylor expansion of (log y) in z 51.612 * [taylor]: Taking taylor expansion of y in z 51.614 * [taylor]: Taking taylor expansion of 0 in y 51.614 * [taylor]: Taking taylor expansion of 0 in z 51.615 * [taylor]: Taking taylor expansion of 0 in z 51.617 * [taylor]: Taking taylor expansion of 0 in y 51.617 * [taylor]: Taking taylor expansion of 0 in z 51.617 * [taylor]: Taking taylor expansion of 0 in z 51.618 * [taylor]: Taking taylor expansion of 0 in z 51.618 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 51.618 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 51.618 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.618 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.618 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.618 * [taylor]: Taking taylor expansion of 1/3 in y 51.618 * [taylor]: Taking taylor expansion of (log y) in y 51.619 * [taylor]: Taking taylor expansion of y in y 51.619 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.619 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.619 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.619 * [taylor]: Taking taylor expansion of 1/3 in y 51.619 * [taylor]: Taking taylor expansion of (log y) in y 51.619 * [taylor]: Taking taylor expansion of y in y 51.626 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 51.626 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.626 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.626 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.627 * [taylor]: Taking taylor expansion of 1/3 in y 51.627 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.627 * [taylor]: Taking taylor expansion of y in y 51.627 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.627 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.627 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.627 * [taylor]: Taking taylor expansion of 1/3 in y 51.627 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.627 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.627 * [taylor]: Taking taylor expansion of y in y 51.634 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 51.634 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.634 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.634 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.634 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.634 * [taylor]: Taking taylor expansion of 1/3 in y 51.634 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.634 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.634 * [taylor]: Taking taylor expansion of y in y 51.634 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.635 * [taylor]: Taking taylor expansion of -1 in y 51.635 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.635 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.635 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.635 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.635 * [taylor]: Taking taylor expansion of 1/3 in y 51.635 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.635 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.635 * [taylor]: Taking taylor expansion of y in y 51.635 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.635 * [taylor]: Taking taylor expansion of -1 in y 51.644 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 2) 51.644 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 51.644 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.644 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.644 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.644 * [taylor]: Taking taylor expansion of 1/3 in y 51.644 * [taylor]: Taking taylor expansion of (log y) in y 51.644 * [taylor]: Taking taylor expansion of y in y 51.645 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.645 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.645 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.645 * [taylor]: Taking taylor expansion of 1/3 in y 51.645 * [taylor]: Taking taylor expansion of (log y) in y 51.645 * [taylor]: Taking taylor expansion of y in y 51.652 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 51.652 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.652 * [taylor]: Taking taylor expansion of 1/3 in y 51.652 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.652 * [taylor]: Taking taylor expansion of y in y 51.652 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.652 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.652 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.652 * [taylor]: Taking taylor expansion of 1/3 in y 51.652 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.652 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.652 * [taylor]: Taking taylor expansion of y in y 51.660 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 51.660 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.660 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.660 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.660 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.660 * [taylor]: Taking taylor expansion of 1/3 in y 51.660 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.661 * [taylor]: Taking taylor expansion of y in y 51.661 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.661 * [taylor]: Taking taylor expansion of -1 in y 51.661 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.661 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.661 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.661 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.661 * [taylor]: Taking taylor expansion of 1/3 in y 51.661 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.661 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.661 * [taylor]: Taking taylor expansion of y in y 51.661 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.661 * [taylor]: Taking taylor expansion of -1 in y 51.670 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1) 51.670 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 51.670 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.670 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.670 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.670 * [taylor]: Taking taylor expansion of 1/3 in y 51.670 * [taylor]: Taking taylor expansion of (log y) in y 51.670 * [taylor]: Taking taylor expansion of y in y 51.671 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 51.671 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 51.671 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 51.671 * [taylor]: Taking taylor expansion of 1/3 in y 51.671 * [taylor]: Taking taylor expansion of (log y) in y 51.671 * [taylor]: Taking taylor expansion of y in y 51.678 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 51.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.678 * [taylor]: Taking taylor expansion of 1/3 in y 51.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.678 * [taylor]: Taking taylor expansion of y in y 51.678 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.678 * [taylor]: Taking taylor expansion of 1/3 in y 51.678 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.678 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.678 * [taylor]: Taking taylor expansion of y in y 51.686 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 51.686 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.686 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.686 * [taylor]: Taking taylor expansion of 1/3 in y 51.686 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.686 * [taylor]: Taking taylor expansion of y in y 51.686 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.686 * [taylor]: Taking taylor expansion of -1 in y 51.686 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 51.686 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 51.686 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 51.686 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 51.686 * [taylor]: Taking taylor expansion of 1/3 in y 51.686 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 51.686 * [taylor]: Taking taylor expansion of (/ 1 y) in y 51.686 * [taylor]: Taking taylor expansion of y in y 51.687 * [taylor]: Taking taylor expansion of (cbrt -1) in y 51.687 * [taylor]: Taking taylor expansion of -1 in y 51.696 * * * [progress]: simplifying candidates 51.697 * [simplify]: Simplifying using # : (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (- (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt z) (cbrt z))))) (+ (log x) (- (log (* (cbrt y) (cbrt y))) (+ (log (cbrt z)) (log (cbrt z))))) (+ (log x) (- (log (* (cbrt y) (cbrt y))) (log (* (cbrt z) (cbrt z))))) (+ (log x) (log (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (log (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (/ (* y y) (* z z))) (* (* (* x x) x) (/ (* y y) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* z z))) (* (* (* x x) x) (/ (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (* (* (* (cbrt z) (cbrt z)) (* (cbrt z) (cbrt z))) (* (cbrt z) (cbrt z))))) (* (* (* x x) x) (* (* (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (* x (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* x (/ (cbrt y) (cbrt z))) (* x 1) (* x (* (cbrt y) (cbrt y))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (* (cbrt y) (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (* (exp (* 1/3 (- (+ (* 2 (log y)) (log 1)) (* 2 (log z))))) x) (* (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ 1 z)))) (* 2 (log (/ 1 y)))))) x) (* x (exp (* 1/3 (- (+ (log 1) (* 2 (log (/ -1 z)))) (* 2 (log (/ -1 y))))))) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) 51.698 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 51.699 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 51.701 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 51.717 * * [simplify]: iteration 3 : 86 enodes (cost 13 ) 51.738 * * [simplify]: iteration 4 : 142 enodes (cost 13 ) 51.775 * * [simplify]: iteration 5 : 158 enodes (cost 13 ) 51.807 * * [simplify]: iteration done : 158 enodes (cost 13 ) 51.808 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 51.809 * * [simplify]: iteration 1 : 24 enodes (cost 14 ) 51.812 * * [simplify]: iteration 2 : 58 enodes (cost 12 ) 51.823 * * [simplify]: iteration 3 : 112 enodes (cost 12 ) 51.864 * * [simplify]: iteration 4 : 214 enodes (cost 12 ) 51.994 * * [simplify]: iteration 5 : 397 enodes (cost 12 ) 52.252 * * [simplify]: iteration 6 : 648 enodes (cost 12 ) 52.518 * * [simplify]: iteration 7 : 777 enodes (cost 12 ) 52.784 * * [simplify]: iteration 8 : 798 enodes (cost 12 ) 53.086 * * [simplify]: iteration done : 798 enodes (cost 12 ) 53.087 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 53.089 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 53.092 * * [simplify]: iteration 2 : 47 enodes (cost 14 ) 53.100 * * [simplify]: iteration 3 : 96 enodes (cost 12 ) 53.128 * * [simplify]: iteration 4 : 183 enodes (cost 12 ) 53.222 * * [simplify]: iteration 5 : 351 enodes (cost 12 ) 53.482 * * [simplify]: iteration 6 : 633 enodes (cost 12 ) 53.760 * * [simplify]: iteration 7 : 784 enodes (cost 12 ) 54.011 * * [simplify]: iteration 8 : 838 enodes (cost 12 ) 54.293 * * [simplify]: iteration done : 838 enodes (cost 12 ) 54.293 * * [simplify]: iteration 0 : 12 enodes (cost 17 ) 54.295 * * [simplify]: iteration 1 : 23 enodes (cost 15 ) 54.299 * * [simplify]: iteration 2 : 54 enodes (cost 14 ) 54.313 * * [simplify]: iteration 3 : 111 enodes (cost 12 ) 54.342 * * [simplify]: iteration 4 : 197 enodes (cost 12 ) 54.447 * * [simplify]: iteration 5 : 365 enodes (cost 12 ) 54.619 * * [simplify]: iteration 6 : 573 enodes (cost 12 ) 54.964 * * [simplify]: iteration 7 : 830 enodes (cost 12 ) 55.227 * * [simplify]: iteration 8 : 865 enodes (cost 12 ) 55.499 * * [simplify]: iteration 9 : 866 enodes (cost 12 ) 55.773 * * [simplify]: iteration done : 866 enodes (cost 12 ) 55.774 * * [simplify]: iteration 0 : 12 enodes (cost 16 ) 55.775 * * [simplify]: iteration 1 : 21 enodes (cost 16 ) 55.778 * * [simplify]: iteration 2 : 43 enodes (cost 14 ) 55.785 * * [simplify]: iteration 3 : 92 enodes (cost 12 ) 55.805 * * [simplify]: iteration 4 : 159 enodes (cost 12 ) 55.880 * * [simplify]: iteration 5 : 299 enodes (cost 12 ) 56.051 * * [simplify]: iteration 6 : 509 enodes (cost 12 ) 56.390 * * [simplify]: iteration 7 : 778 enodes (cost 12 ) 56.655 * * [simplify]: iteration 8 : 842 enodes (cost 12 ) 56.930 * * [simplify]: iteration 9 : 845 enodes (cost 12 ) 57.205 * * [simplify]: iteration done : 845 enodes (cost 12 ) 57.206 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 57.207 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 57.209 * * [simplify]: iteration 2 : 46 enodes (cost 15 ) 57.216 * * [simplify]: iteration 3 : 101 enodes (cost 11 ) 57.237 * * [simplify]: iteration 4 : 196 enodes (cost 11 ) 57.316 * * [simplify]: iteration 5 : 365 enodes (cost 11 ) 57.549 * * [simplify]: iteration 6 : 591 enodes (cost 11 ) 57.791 * * [simplify]: iteration 7 : 748 enodes (cost 11 ) 58.031 * * [simplify]: iteration 8 : 832 enodes (cost 11 ) 58.320 * * [simplify]: iteration 9 : 836 enodes (cost 11 ) 58.604 * * [simplify]: iteration done : 836 enodes (cost 11 ) 58.605 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 58.606 * * [simplify]: iteration 1 : 22 enodes (cost 14 ) 58.609 * * [simplify]: iteration 2 : 65 enodes (cost 14 ) 58.621 * * [simplify]: iteration 3 : 155 enodes (cost 11 ) 58.664 * * [simplify]: iteration 4 : 337 enodes (cost 11 ) 58.791 * * [simplify]: iteration 5 : 590 enodes (cost 11 ) 59.164 * * [simplify]: iteration 6 : 926 enodes (cost 11 ) 59.470 * * [simplify]: iteration 7 : 1075 enodes (cost 11 ) 59.764 * * [simplify]: iteration 8 : 1154 enodes (cost 11 ) 60.116 * * [simplify]: iteration 9 : 1155 enodes (cost 11 ) 60.461 * * [simplify]: iteration done : 1155 enodes (cost 11 ) 60.462 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 60.463 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 60.467 * * [simplify]: iteration 2 : 56 enodes (cost 14 ) 60.477 * * [simplify]: iteration 3 : 124 enodes (cost 14 ) 60.510 * * [simplify]: iteration 4 : 280 enodes (cost 14 ) 60.590 * * [simplify]: iteration 5 : 610 enodes (cost 14 ) 61.029 * * [simplify]: iteration 6 : 1404 enodes (cost 14 ) 65.466 * * [simplify]: iteration 7 : 4965 enodes (cost 14 ) 66.395 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 66.396 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 66.406 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 66.409 * * [simplify]: iteration 2 : 71 enodes (cost 11 ) 66.430 * * [simplify]: iteration 3 : 213 enodes (cost 11 ) 66.534 * * [simplify]: iteration 4 : 547 enodes (cost 11 ) 66.989 * * [simplify]: iteration 5 : 1081 enodes (cost 11 ) 68.238 * * [simplify]: iteration 6 : 1938 enodes (cost 11 ) 72.321 * * [simplify]: iteration 7 : 4968 enodes (cost 11 ) 73.240 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 73.241 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 73.243 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 73.250 * * [simplify]: iteration 2 : 132 enodes (cost 15 ) 73.320 * * [simplify]: iteration 3 : 707 enodes (cost 11 ) 74.648 * * [simplify]: iteration 4 : 3215 enodes (cost 11 ) 76.269 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 76.270 * * [simplify]: iteration 0 : 12 enodes (cost 27 ) 76.272 * * [simplify]: iteration 1 : 33 enodes (cost 27 ) 76.280 * * [simplify]: iteration 2 : 125 enodes (cost 15 ) 76.337 * * [simplify]: iteration 3 : 564 enodes (cost 11 ) 77.089 * * [simplify]: iteration 4 : 2202 enodes (cost 11 ) 79.934 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 79.935 * * [simplify]: iteration 0 : 15 enodes (cost 41 ) 79.939 * * [simplify]: iteration 1 : 44 enodes (cost 41 ) 79.954 * * [simplify]: iteration 2 : 234 enodes (cost 19 ) 80.182 * * [simplify]: iteration 3 : 1968 enodes (cost 11 ) 81.745 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 81.746 * * [simplify]: iteration 0 : 13 enodes (cost 41 ) 81.749 * * [simplify]: iteration 1 : 32 enodes (cost 41 ) 81.756 * * [simplify]: iteration 2 : 149 enodes (cost 17 ) 81.846 * * [simplify]: iteration 3 : 886 enodes (cost 17 ) 84.616 * * [simplify]: iteration done : 5001 enodes (cost 17 ) 84.617 * * [simplify]: iteration 0 : 11 enodes (cost 29 ) 84.618 * * [simplify]: iteration 1 : 20 enodes (cost 29 ) 84.621 * * [simplify]: iteration 2 : 49 enodes (cost 29 ) 84.629 * * [simplify]: iteration 3 : 89 enodes (cost 29 ) 84.656 * * [simplify]: iteration 4 : 145 enodes (cost 29 ) 84.688 * * [simplify]: iteration 5 : 161 enodes (cost 29 ) 84.723 * * [simplify]: iteration done : 161 enodes (cost 29 ) 84.724 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 84.725 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 84.728 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 84.737 * * [simplify]: iteration 3 : 89 enodes (cost 14 ) 84.764 * * [simplify]: iteration 4 : 145 enodes (cost 14 ) 84.795 * * [simplify]: iteration 5 : 161 enodes (cost 14 ) 84.831 * * [simplify]: iteration done : 161 enodes (cost 14 ) 84.832 * * [simplify]: iteration 0 : 11 enodes (cost 41 ) 84.834 * * [simplify]: iteration 1 : 30 enodes (cost 41 ) 84.840 * * [simplify]: iteration 2 : 140 enodes (cost 15 ) 84.942 * * [simplify]: iteration 3 : 882 enodes (cost 15 ) 86.990 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 86.990 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 86.992 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 86.994 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 87.002 * * [simplify]: iteration 3 : 89 enodes (cost 14 ) 87.032 * * [simplify]: iteration 4 : 145 enodes (cost 14 ) 87.064 * * [simplify]: iteration 5 : 161 enodes (cost 14 ) 87.100 * * [simplify]: iteration done : 161 enodes (cost 14 ) 87.101 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 87.102 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 87.105 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 87.113 * * [simplify]: iteration 3 : 89 enodes (cost 14 ) 87.141 * * [simplify]: iteration 4 : 145 enodes (cost 14 ) 87.173 * * [simplify]: iteration 5 : 161 enodes (cost 14 ) 87.210 * * [simplify]: iteration done : 161 enodes (cost 14 ) 87.211 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 87.212 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 87.214 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 87.218 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 87.221 * * [simplify]: iteration done : 34 enodes (cost 9 ) 87.222 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 87.224 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 87.226 * * [simplify]: iteration 2 : 28 enodes (cost 9 ) 87.230 * * [simplify]: iteration 3 : 34 enodes (cost 9 ) 87.233 * * [simplify]: iteration done : 34 enodes (cost 9 ) 87.234 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 87.235 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 87.236 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 87.238 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 87.240 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 87.242 * * [simplify]: iteration done : 19 enodes (cost 8 ) 87.243 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 87.243 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 87.245 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 87.246 * * [simplify]: iteration 3 : 18 enodes (cost 8 ) 87.248 * * [simplify]: iteration 4 : 19 enodes (cost 8 ) 87.250 * * [simplify]: iteration done : 19 enodes (cost 8 ) 87.251 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 87.257 * * [simplify]: iteration 1 : 20 enodes (cost 27 ) 87.259 * * [simplify]: iteration 2 : 31 enodes (cost 27 ) 87.263 * * [simplify]: iteration 3 : 37 enodes (cost 27 ) 87.268 * * [simplify]: iteration done : 37 enodes (cost 27 ) 87.268 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 87.269 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 87.272 * * [simplify]: iteration 2 : 27 enodes (cost 8 ) 87.275 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 87.279 * * [simplify]: iteration done : 33 enodes (cost 8 ) 87.279 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 87.280 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 87.282 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 87.283 * * [simplify]: iteration 3 : 17 enodes (cost 7 ) 87.285 * * [simplify]: iteration 4 : 18 enodes (cost 7 ) 87.287 * * [simplify]: iteration done : 18 enodes (cost 7 ) 87.288 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.289 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 87.289 * * [simplify]: iteration done : 6 enodes (cost 1 ) 87.289 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 87.290 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 87.291 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 87.293 * * [simplify]: iteration done : 10 enodes (cost 7 ) 87.293 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 87.295 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 87.297 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 87.305 * * [simplify]: iteration 3 : 90 enodes (cost 14 ) 87.331 * * [simplify]: iteration 4 : 146 enodes (cost 14 ) 87.364 * * [simplify]: iteration 5 : 162 enodes (cost 14 ) 87.399 * * [simplify]: iteration done : 162 enodes (cost 14 ) 87.400 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 87.401 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 87.404 * * [simplify]: iteration 2 : 48 enodes (cost 14 ) 87.412 * * [simplify]: iteration 3 : 90 enodes (cost 14 ) 87.438 * * [simplify]: iteration 4 : 146 enodes (cost 14 ) 87.471 * * [simplify]: iteration 5 : 162 enodes (cost 14 ) 87.505 * * [simplify]: iteration done : 162 enodes (cost 14 ) 87.506 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 87.507 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 87.511 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 87.520 * * [simplify]: iteration 3 : 86 enodes (cost 13 ) 87.540 * * [simplify]: iteration 4 : 142 enodes (cost 13 ) 87.578 * * [simplify]: iteration 5 : 158 enodes (cost 13 ) 87.612 * * [simplify]: iteration done : 158 enodes (cost 13 ) 87.613 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 87.613 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 87.615 * * [simplify]: iteration 2 : 10 enodes (cost 7 ) 87.616 * * [simplify]: iteration done : 10 enodes (cost 7 ) 87.617 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.617 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.618 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.618 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.619 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 87.620 * * [simplify]: iteration done : 4 enodes (cost 6 ) 87.620 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.620 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.621 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.621 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.622 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.622 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.623 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 87.623 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 87.623 * * [simplify]: iteration done : 4 enodes (cost 1 ) 87.624 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 87.624 * * [simplify]: iteration done : 2 enodes (cost 2 ) 87.625 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 87.625 * * [simplify]: iteration done : 4 enodes (cost 7 ) 87.626 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.626 * * [simplify]: iteration done : 3 enodes (cost 3 ) 87.626 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 87.627 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 87.628 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 87.629 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 87.629 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 87.630 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 87.632 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 87.635 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 87.644 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 87.693 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 88.184 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 90.697 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 90.698 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.698 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.698 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.699 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.699 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.700 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.700 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.700 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.701 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 90.702 * * [simplify]: iteration done : 4 enodes (cost 6 ) 90.702 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.702 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.703 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.703 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.704 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.704 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.705 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 90.705 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 90.705 * * [simplify]: iteration done : 4 enodes (cost 1 ) 90.706 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 90.706 * * [simplify]: iteration done : 2 enodes (cost 2 ) 90.707 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 90.707 * * [simplify]: iteration done : 4 enodes (cost 7 ) 90.708 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 90.708 * * [simplify]: iteration done : 3 enodes (cost 3 ) 90.709 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 90.709 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 90.710 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 90.711 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 90.711 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 90.713 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 90.714 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 90.717 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 90.733 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 90.776 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 91.261 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 93.786 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 93.787 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.787 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.788 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.788 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.789 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.789 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.790 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.790 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 93.791 * * [simplify]: iteration done : 4 enodes (cost 6 ) 93.791 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.792 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.792 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.792 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.793 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.793 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.794 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 93.794 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 93.794 * * [simplify]: iteration done : 4 enodes (cost 1 ) 93.795 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 93.795 * * [simplify]: iteration done : 2 enodes (cost 2 ) 93.796 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 93.796 * * [simplify]: iteration done : 4 enodes (cost 7 ) 93.797 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 93.797 * * [simplify]: iteration done : 3 enodes (cost 3 ) 93.797 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 93.798 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 93.799 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 93.799 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 93.800 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 93.801 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 93.803 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 93.806 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 93.815 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 93.865 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 94.350 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 96.883 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 96.890 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 96.891 * * [simplify]: iteration done : 3 enodes (cost 3 ) 96.891 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 96.892 * * [simplify]: iteration done : 3 enodes (cost 3 ) 96.892 * * [simplify]: iteration 0 : 16 enodes (cost 17 ) 96.894 * * [simplify]: iteration 1 : 29 enodes (cost 16 ) 96.898 * * [simplify]: iteration 2 : 60 enodes (cost 14 ) 96.909 * * [simplify]: iteration 3 : 142 enodes (cost 11 ) 96.939 * * [simplify]: iteration 4 : 304 enodes (cost 9 ) 97.065 * * [simplify]: iteration 5 : 701 enodes (cost 9 ) 97.763 * * [simplify]: iteration 6 : 2388 enodes (cost 7 ) 98.907 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 98.908 * * [simplify]: iteration 0 : 18 enodes (cost 21 ) 98.911 * * [simplify]: iteration 1 : 37 enodes (cost 18 ) 98.923 * * [simplify]: iteration 2 : 80 enodes (cost 14 ) 98.944 * * [simplify]: iteration 3 : 212 enodes (cost 11 ) 99.024 * * [simplify]: iteration 4 : 506 enodes (cost 10 ) 99.326 * * [simplify]: iteration 5 : 1227 enodes (cost 7 ) 100.777 * * [simplify]: iteration 6 : 3766 enodes (cost 7 ) 101.701 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 101.702 * * [simplify]: iteration 0 : 19 enodes (cost 21 ) 101.705 * * [simplify]: iteration 1 : 37 enodes (cost 20 ) 101.710 * * [simplify]: iteration 2 : 74 enodes (cost 16 ) 101.724 * * [simplify]: iteration 3 : 194 enodes (cost 14 ) 101.783 * * [simplify]: iteration 4 : 542 enodes (cost 13 ) 102.200 * * [simplify]: iteration 5 : 1721 enodes (cost 11 ) 103.524 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 103.525 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 103.526 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 103.537 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 103.541 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 103.547 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 103.564 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 103.621 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 103.823 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 105.255 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 107.126 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 107.127 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 107.128 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 107.131 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 107.144 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 107.152 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 107.181 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 107.297 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 107.823 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 109.706 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 109.707 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 109.708 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 109.711 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 109.717 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 109.746 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 109.819 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 110.120 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 111.566 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 112.899 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 112.899 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 112.901 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 112.903 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 112.907 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 112.913 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 112.930 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 112.987 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 113.195 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 114.635 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 116.511 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 116.512 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 116.513 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 116.516 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 116.521 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 116.529 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 116.559 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 116.675 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 117.205 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 119.093 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 119.094 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 119.096 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 119.098 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 119.105 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 119.134 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 119.207 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 119.512 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 120.981 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 122.307 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 122.308 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 122.309 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 122.311 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 122.315 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 122.321 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 122.338 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 122.396 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 122.605 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 124.063 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 125.947 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 125.947 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 125.949 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 125.952 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 125.957 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 125.966 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 126.000 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 126.111 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 126.637 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 128.499 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 128.500 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 128.501 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 128.505 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 128.512 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 128.540 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 128.615 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 128.920 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 130.380 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 131.708 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 131.709 * [simplify]: Simplified to: (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (+ (* 2 (- (log (cbrt y)) (log (cbrt z)))) (log x)) (+ (* 2 (- (log (cbrt y)) (log (cbrt z)))) (log x)) (+ (* 2 (- (log (cbrt y)) (log (cbrt z)))) (log x)) (+ (* 2 (- (log (cbrt y)) (log (cbrt z)))) (log x)) (+ (* 2 (log (/ (cbrt y) (cbrt z)))) (log x)) (+ (log x) (* 2 (log (/ (cbrt y) (cbrt z))))) (exp (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (/ (* y (pow x 3)) (/ (* z z) y)) (* (/ (/ (* y y) z) z) (pow x 3)) (* (/ (pow x 3) z) (/ (* y y) z)) (* (/ y (/ (* z z) y)) (pow x 3)) (* (pow (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))) 3) (pow x 3)) (* (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (pow (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) 3) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x)) (* (fabs (/ (cbrt y) (cbrt z))) (sqrt x)) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* (sqrt x) (/ (cbrt y) (cbrt z))) (* x (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (* x (fabs (/ (cbrt y) (cbrt z)))) (* x (/ (cbrt y) (cbrt z))) x (* x (* (cbrt y) (cbrt y))) (* (cbrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* (sqrt x) (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (* x (* (cbrt y) (cbrt y))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (* x (pow (/ y z) 2/3)) (* (pow (/ y z) 2/3) x) (* x (exp (* 2/3 (- (log y) (log z))))) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) 131.709 * * * [progress]: adding candidates to table 131.786 * * [progress]: iteration 4 / 4 131.786 * * * [progress]: picking best candidate 131.822 * * * * [pick]: Picked # 131.822 * * * [progress]: localizing error 131.845 * * * [progress]: generating rewritten candidates 131.845 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2) 131.855 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1) 131.856 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 1 1 2) 131.858 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2 1 1 1) 131.860 * * * [progress]: generating series expansions 131.860 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2) 131.860 * [approximate]: Taking taylor expansion of (pow (/ y z) 1/3) in (y z) around 0 131.860 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in z 131.860 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in z 131.860 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in z 131.861 * [taylor]: Taking taylor expansion of 1/3 in z 131.861 * [taylor]: Taking taylor expansion of (log (/ y z)) in z 131.861 * [taylor]: Taking taylor expansion of (/ y z) in z 131.861 * [taylor]: Taking taylor expansion of y in z 131.861 * [taylor]: Taking taylor expansion of z in z 131.861 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y 131.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y 131.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y 131.861 * [taylor]: Taking taylor expansion of 1/3 in y 131.861 * [taylor]: Taking taylor expansion of (log (/ y z)) in y 131.861 * [taylor]: Taking taylor expansion of (/ y z) in y 131.861 * [taylor]: Taking taylor expansion of y in y 131.861 * [taylor]: Taking taylor expansion of z in y 131.861 * [taylor]: Taking taylor expansion of (pow (/ y z) 1/3) in y 131.861 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ y z)))) in y 131.861 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ y z))) in y 131.861 * [taylor]: Taking taylor expansion of 1/3 in y 131.861 * [taylor]: Taking taylor expansion of (log (/ y z)) in y 131.861 * [taylor]: Taking taylor expansion of (/ y z) in y 131.861 * [taylor]: Taking taylor expansion of y in y 131.861 * [taylor]: Taking taylor expansion of z in y 131.862 * [taylor]: Taking taylor expansion of (exp (* 1/3 (+ (log y) (log (/ 1 z))))) in z 131.862 * [taylor]: Taking taylor expansion of (* 1/3 (+ (log y) (log (/ 1 z)))) in z 131.862 * [taylor]: Taking taylor expansion of 1/3 in z 131.862 * [taylor]: Taking taylor expansion of (+ (log y) (log (/ 1 z))) in z 131.862 * [taylor]: Taking taylor expansion of (log y) in z 131.862 * [taylor]: Taking taylor expansion of y in z 131.862 * [taylor]: Taking taylor expansion of (log (/ 1 z)) in z 131.862 * [taylor]: Taking taylor expansion of (/ 1 z) in z 131.862 * [taylor]: Taking taylor expansion of z in z 131.863 * [taylor]: Taking taylor expansion of 0 in z 131.864 * [taylor]: Taking taylor expansion of 0 in z 131.866 * [taylor]: Taking taylor expansion of 0 in z 131.866 * [approximate]: Taking taylor expansion of (pow (/ z y) 1/3) in (y z) around 0 131.866 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z 131.866 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z 131.866 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z 131.866 * [taylor]: Taking taylor expansion of 1/3 in z 131.866 * [taylor]: Taking taylor expansion of (log (/ z y)) in z 131.866 * [taylor]: Taking taylor expansion of (/ z y) in z 131.866 * [taylor]: Taking taylor expansion of z in z 131.866 * [taylor]: Taking taylor expansion of y in z 131.867 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y 131.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y 131.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y 131.867 * [taylor]: Taking taylor expansion of 1/3 in y 131.867 * [taylor]: Taking taylor expansion of (log (/ z y)) in y 131.867 * [taylor]: Taking taylor expansion of (/ z y) in y 131.867 * [taylor]: Taking taylor expansion of z in y 131.867 * [taylor]: Taking taylor expansion of y in y 131.867 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y 131.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y 131.867 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y 131.867 * [taylor]: Taking taylor expansion of 1/3 in y 131.867 * [taylor]: Taking taylor expansion of (log (/ z y)) in y 131.867 * [taylor]: Taking taylor expansion of (/ z y) in y 131.867 * [taylor]: Taking taylor expansion of z in y 131.867 * [taylor]: Taking taylor expansion of y in y 131.867 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log z) (log y)))) in z 131.867 * [taylor]: Taking taylor expansion of (* 1/3 (- (log z) (log y))) in z 131.867 * [taylor]: Taking taylor expansion of 1/3 in z 131.867 * [taylor]: Taking taylor expansion of (- (log z) (log y)) in z 131.867 * [taylor]: Taking taylor expansion of (log z) in z 131.867 * [taylor]: Taking taylor expansion of z in z 131.867 * [taylor]: Taking taylor expansion of (log y) in z 131.867 * [taylor]: Taking taylor expansion of y in z 131.868 * [taylor]: Taking taylor expansion of 0 in z 131.869 * [taylor]: Taking taylor expansion of 0 in z 131.871 * [taylor]: Taking taylor expansion of 0 in z 131.871 * [approximate]: Taking taylor expansion of (pow (/ z y) 1/3) in (y z) around 0 131.871 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in z 131.871 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in z 131.871 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in z 131.871 * [taylor]: Taking taylor expansion of 1/3 in z 131.871 * [taylor]: Taking taylor expansion of (log (/ z y)) in z 131.871 * [taylor]: Taking taylor expansion of (/ z y) in z 131.871 * [taylor]: Taking taylor expansion of z in z 131.871 * [taylor]: Taking taylor expansion of y in z 131.871 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y 131.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y 131.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y 131.872 * [taylor]: Taking taylor expansion of 1/3 in y 131.872 * [taylor]: Taking taylor expansion of (log (/ z y)) in y 131.872 * [taylor]: Taking taylor expansion of (/ z y) in y 131.872 * [taylor]: Taking taylor expansion of z in y 131.872 * [taylor]: Taking taylor expansion of y in y 131.872 * [taylor]: Taking taylor expansion of (pow (/ z y) 1/3) in y 131.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ z y)))) in y 131.872 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ z y))) in y 131.872 * [taylor]: Taking taylor expansion of 1/3 in y 131.872 * [taylor]: Taking taylor expansion of (log (/ z y)) in y 131.872 * [taylor]: Taking taylor expansion of (/ z y) in y 131.872 * [taylor]: Taking taylor expansion of z in y 131.872 * [taylor]: Taking taylor expansion of y in y 131.872 * [taylor]: Taking taylor expansion of (exp (* 1/3 (- (log z) (log y)))) in z 131.872 * [taylor]: Taking taylor expansion of (* 1/3 (- (log z) (log y))) in z 131.872 * [taylor]: Taking taylor expansion of 1/3 in z 131.872 * [taylor]: Taking taylor expansion of (- (log z) (log y)) in z 131.872 * [taylor]: Taking taylor expansion of (log z) in z 131.872 * [taylor]: Taking taylor expansion of z in z 131.872 * [taylor]: Taking taylor expansion of (log y) in z 131.872 * [taylor]: Taking taylor expansion of y in z 131.873 * [taylor]: Taking taylor expansion of 0 in z 131.874 * [taylor]: Taking taylor expansion of 0 in z 131.876 * [taylor]: Taking taylor expansion of 0 in z 131.876 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1) 131.876 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 131.876 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.876 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.876 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.876 * [taylor]: Taking taylor expansion of 1/3 in y 131.876 * [taylor]: Taking taylor expansion of (log y) in y 131.876 * [taylor]: Taking taylor expansion of y in y 131.877 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.877 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.877 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.877 * [taylor]: Taking taylor expansion of 1/3 in y 131.877 * [taylor]: Taking taylor expansion of (log y) in y 131.877 * [taylor]: Taking taylor expansion of y in y 131.883 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 131.883 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.883 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.883 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.883 * [taylor]: Taking taylor expansion of 1/3 in y 131.883 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.883 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.883 * [taylor]: Taking taylor expansion of y in y 131.884 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.884 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.884 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.884 * [taylor]: Taking taylor expansion of 1/3 in y 131.884 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.884 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.884 * [taylor]: Taking taylor expansion of y in y 131.891 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 131.891 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.891 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.891 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.891 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.891 * [taylor]: Taking taylor expansion of 1/3 in y 131.891 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.891 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.891 * [taylor]: Taking taylor expansion of y in y 131.891 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.892 * [taylor]: Taking taylor expansion of -1 in y 131.892 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.892 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.892 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.892 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.892 * [taylor]: Taking taylor expansion of 1/3 in y 131.892 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.892 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.892 * [taylor]: Taking taylor expansion of y in y 131.892 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.892 * [taylor]: Taking taylor expansion of -1 in y 131.901 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 1 1 2) 131.901 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 131.901 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.901 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.901 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.901 * [taylor]: Taking taylor expansion of 1/3 in y 131.901 * [taylor]: Taking taylor expansion of (log y) in y 131.901 * [taylor]: Taking taylor expansion of y in y 131.902 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.902 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.902 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.902 * [taylor]: Taking taylor expansion of 1/3 in y 131.902 * [taylor]: Taking taylor expansion of (log y) in y 131.902 * [taylor]: Taking taylor expansion of y in y 131.909 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 131.909 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.909 * [taylor]: Taking taylor expansion of 1/3 in y 131.909 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.909 * [taylor]: Taking taylor expansion of y in y 131.909 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.909 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.909 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.909 * [taylor]: Taking taylor expansion of 1/3 in y 131.909 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.909 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.909 * [taylor]: Taking taylor expansion of y in y 131.917 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 131.917 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.917 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.917 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.917 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.917 * [taylor]: Taking taylor expansion of 1/3 in y 131.917 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.917 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.917 * [taylor]: Taking taylor expansion of y in y 131.917 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.917 * [taylor]: Taking taylor expansion of -1 in y 131.918 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.918 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.918 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.918 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.918 * [taylor]: Taking taylor expansion of 1/3 in y 131.918 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.918 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.918 * [taylor]: Taking taylor expansion of y in y 131.918 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.918 * [taylor]: Taking taylor expansion of -1 in y 131.934 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2 1 1 1) 131.934 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 131.934 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.934 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.934 * [taylor]: Taking taylor expansion of 1/3 in y 131.934 * [taylor]: Taking taylor expansion of (log y) in y 131.934 * [taylor]: Taking taylor expansion of y in y 131.934 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 131.934 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 131.934 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 131.934 * [taylor]: Taking taylor expansion of 1/3 in y 131.934 * [taylor]: Taking taylor expansion of (log y) in y 131.934 * [taylor]: Taking taylor expansion of y in y 131.941 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 131.941 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.941 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.941 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.941 * [taylor]: Taking taylor expansion of 1/3 in y 131.941 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.941 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.941 * [taylor]: Taking taylor expansion of y in y 131.942 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.942 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.942 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.942 * [taylor]: Taking taylor expansion of 1/3 in y 131.942 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.942 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.942 * [taylor]: Taking taylor expansion of y in y 131.950 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 131.950 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.950 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.950 * [taylor]: Taking taylor expansion of 1/3 in y 131.950 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.950 * [taylor]: Taking taylor expansion of y in y 131.950 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.950 * [taylor]: Taking taylor expansion of -1 in y 131.950 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 131.950 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 131.950 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 131.950 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 131.950 * [taylor]: Taking taylor expansion of 1/3 in y 131.950 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 131.950 * [taylor]: Taking taylor expansion of (/ 1 y) in y 131.950 * [taylor]: Taking taylor expansion of y in y 131.950 * [taylor]: Taking taylor expansion of (cbrt -1) in y 131.950 * [taylor]: Taking taylor expansion of -1 in y 131.959 * * * [progress]: simplifying candidates 131.960 * [simplify]: Simplifying using # : (log (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (exp (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (cbrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (cbrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (cbrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (* (* (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (* (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))))) (sqrt (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (/ (cbrt y) (cbrt z))) (sqrt (/ (cbrt y) (cbrt z))) (sqrt 1) (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z)))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (/ 1 (* (cbrt z) (cbrt z)))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt z) (cbrt z))) (/ 1 2) (sqrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (sqrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (exp (* 1/3 (- (+ (log y) (log 1)) (log z)))) (exp (* 1/3 (- (+ (log 1) (log (/ 1 z))) (log (/ 1 y))))) (exp (* 1/3 (- (+ (log 1) (log (/ -1 z))) (log (/ -1 y))))) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) 131.961 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 131.962 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 131.964 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 131.967 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 131.971 * * [simplify]: iteration done : 31 enodes (cost 7 ) 131.971 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 131.973 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 131.974 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 131.978 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 131.981 * * [simplify]: iteration done : 31 enodes (cost 7 ) 131.982 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 131.983 * * [simplify]: iteration 1 : 16 enodes (cost 27 ) 131.985 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 131.988 * * [simplify]: iteration 3 : 32 enodes (cost 15 ) 131.992 * * [simplify]: iteration done : 32 enodes (cost 15 ) 131.992 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 131.993 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 131.995 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 131.998 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 132.002 * * [simplify]: iteration done : 31 enodes (cost 7 ) 132.003 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 132.004 * * [simplify]: iteration 1 : 17 enodes (cost 24 ) 132.013 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 132.021 * * [simplify]: iteration 3 : 90 enodes (cost 8 ) 132.041 * * [simplify]: iteration 4 : 153 enodes (cost 8 ) 132.081 * * [simplify]: iteration 5 : 187 enodes (cost 8 ) 132.117 * * [simplify]: iteration 6 : 211 enodes (cost 8 ) 132.168 * * [simplify]: iteration 7 : 276 enodes (cost 8 ) 132.268 * * [simplify]: iteration 8 : 481 enodes (cost 8 ) 132.813 * * [simplify]: iteration 9 : 1394 enodes (cost 8 ) 135.298 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 135.298 * * [simplify]: iteration 0 : 10 enodes (cost 26 ) 135.304 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 135.306 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 135.310 * * [simplify]: iteration 3 : 32 enodes (cost 13 ) 135.319 * * [simplify]: iteration done : 32 enodes (cost 13 ) 135.320 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 135.321 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 135.323 * * [simplify]: iteration 2 : 24 enodes (cost 13 ) 135.326 * * [simplify]: iteration 3 : 30 enodes (cost 13 ) 135.330 * * [simplify]: iteration done : 30 enodes (cost 13 ) 135.331 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 135.332 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 135.333 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 135.337 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 135.340 * * [simplify]: iteration done : 31 enodes (cost 7 ) 135.341 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 135.342 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 135.344 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 135.347 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 135.351 * * [simplify]: iteration done : 31 enodes (cost 7 ) 135.352 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 135.352 * * [simplify]: iteration done : 6 enodes (cost 6 ) 135.353 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 135.354 * * [simplify]: iteration done : 6 enodes (cost 6 ) 135.354 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 135.354 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 135.355 * * [simplify]: iteration done : 4 enodes (cost 1 ) 135.355 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 135.356 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 135.358 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 135.361 * * [simplify]: iteration 3 : 30 enodes (cost 6 ) 135.364 * * [simplify]: iteration done : 30 enodes (cost 6 ) 135.365 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 135.365 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 135.366 * * [simplify]: iteration done : 5 enodes (cost 3 ) 135.366 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 135.367 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 135.368 * * [simplify]: iteration done : 10 enodes (cost 8 ) 135.368 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 135.369 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 135.369 * * [simplify]: iteration done : 5 enodes (cost 3 ) 135.370 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 135.370 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 135.371 * * [simplify]: iteration done : 5 enodes (cost 3 ) 135.371 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.372 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 135.372 * * [simplify]: iteration done : 6 enodes (cost 1 ) 135.373 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 135.374 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 135.375 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 135.379 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 135.382 * * [simplify]: iteration done : 31 enodes (cost 7 ) 135.383 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 135.390 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 135.392 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 135.395 * * [simplify]: iteration 3 : 31 enodes (cost 7 ) 135.399 * * [simplify]: iteration done : 31 enodes (cost 7 ) 135.399 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.400 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.400 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.401 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.401 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 135.402 * * [simplify]: iteration done : 4 enodes (cost 6 ) 135.402 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.403 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.403 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.403 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.404 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.404 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.405 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 135.405 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 135.405 * * [simplify]: iteration done : 4 enodes (cost 1 ) 135.406 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 135.406 * * [simplify]: iteration done : 2 enodes (cost 2 ) 135.407 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 135.407 * * [simplify]: iteration done : 4 enodes (cost 7 ) 135.408 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 135.408 * * [simplify]: iteration done : 3 enodes (cost 3 ) 135.409 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 135.409 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 135.410 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 135.411 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 135.412 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 135.413 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 135.415 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 135.417 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 135.426 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 135.476 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 135.966 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 138.481 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 138.482 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.482 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.482 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.483 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.483 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.484 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.484 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.484 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.485 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 138.485 * * [simplify]: iteration done : 4 enodes (cost 6 ) 138.486 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.486 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.487 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.487 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.488 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.488 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.489 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 138.489 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 138.489 * * [simplify]: iteration done : 4 enodes (cost 1 ) 138.490 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 138.490 * * [simplify]: iteration done : 2 enodes (cost 2 ) 138.490 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 138.491 * * [simplify]: iteration done : 4 enodes (cost 7 ) 138.491 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.492 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.492 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 138.493 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 138.493 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 138.494 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 138.495 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 138.496 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 138.498 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 138.501 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 138.517 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 138.560 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 139.049 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 142.365 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 142.366 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.366 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.367 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.367 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.367 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.368 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.368 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.369 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.369 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 142.370 * * [simplify]: iteration done : 4 enodes (cost 6 ) 142.370 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.370 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.371 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.371 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.372 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.372 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.373 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 142.373 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 142.373 * * [simplify]: iteration done : 4 enodes (cost 1 ) 142.374 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 142.374 * * [simplify]: iteration done : 2 enodes (cost 2 ) 142.374 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 142.375 * * [simplify]: iteration done : 4 enodes (cost 7 ) 142.375 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.376 * * [simplify]: iteration done : 3 enodes (cost 3 ) 142.376 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 142.377 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 142.377 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 142.378 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 142.379 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 142.380 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 142.382 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 142.385 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 142.393 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 142.444 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 142.935 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 145.447 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 145.448 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 145.448 * * [simplify]: iteration done : 3 enodes (cost 3 ) 145.449 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 145.449 * * [simplify]: iteration done : 3 enodes (cost 3 ) 145.450 * * [simplify]: iteration 0 : 11 enodes (cost 11 ) 145.451 * * [simplify]: iteration 1 : 21 enodes (cost 10 ) 145.461 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 145.468 * * [simplify]: iteration 3 : 94 enodes (cost 7 ) 145.484 * * [simplify]: iteration 4 : 167 enodes (cost 4 ) 145.514 * * [simplify]: iteration 5 : 315 enodes (cost 4 ) 145.666 * * [simplify]: iteration 6 : 762 enodes (cost 4 ) 146.368 * * [simplify]: iteration 7 : 2220 enodes (cost 4 ) 147.413 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 147.414 * * [simplify]: iteration 0 : 13 enodes (cost 15 ) 147.416 * * [simplify]: iteration 1 : 29 enodes (cost 12 ) 147.431 * * [simplify]: iteration 2 : 60 enodes (cost 9 ) 147.448 * * [simplify]: iteration 3 : 160 enodes (cost 7 ) 147.474 * * [simplify]: iteration 4 : 281 enodes (cost 6 ) 147.563 * * [simplify]: iteration 5 : 542 enodes (cost 4 ) 147.816 * * [simplify]: iteration 6 : 1075 enodes (cost 4 ) 149.011 * * [simplify]: iteration 7 : 3093 enodes (cost 4 ) 150.104 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 150.105 * * [simplify]: iteration 0 : 14 enodes (cost 15 ) 150.108 * * [simplify]: iteration 1 : 29 enodes (cost 14 ) 150.112 * * [simplify]: iteration 2 : 68 enodes (cost 12 ) 150.132 * * [simplify]: iteration 3 : 209 enodes (cost 11 ) 150.224 * * [simplify]: iteration 4 : 586 enodes (cost 8 ) 150.570 * * [simplify]: iteration 5 : 1441 enodes (cost 4 ) 151.997 * * [simplify]: iteration 6 : 3675 enodes (cost 4 ) 152.925 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 152.925 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 152.927 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 152.929 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 152.933 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 152.939 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 152.961 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 153.016 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 153.210 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 154.601 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 156.450 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 156.451 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 156.452 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 156.455 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 156.460 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 156.468 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 156.502 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 156.612 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 157.123 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 158.929 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 158.929 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 158.931 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 158.934 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 158.940 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 158.961 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 159.031 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 159.323 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 160.751 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 162.063 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 162.064 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 162.066 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 162.068 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 162.072 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 162.085 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 162.102 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 162.157 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 162.353 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 163.748 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 165.592 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 165.592 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 165.594 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 165.596 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 165.601 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 165.615 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 165.644 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 165.756 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 166.269 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 168.087 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 168.088 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 168.090 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 168.092 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 168.098 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 168.121 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 168.198 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 168.493 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 169.910 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 171.225 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 171.226 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 171.228 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 171.230 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 171.233 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 171.239 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 171.256 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 171.312 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 171.505 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 172.916 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 174.761 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 174.762 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 174.763 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 174.773 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 174.778 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 174.786 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 174.814 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 174.926 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 175.440 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 177.268 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 177.269 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 177.276 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 177.279 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 177.284 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 177.312 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 177.386 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 177.683 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 179.108 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 180.415 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 180.416 * [simplify]: Simplified to: (log (fabs (/ (cbrt y) (cbrt z)))) (exp (fabs (/ (cbrt y) (cbrt z)))) (* (cbrt (fabs (/ (cbrt y) (cbrt z)))) (cbrt (fabs (/ (cbrt y) (cbrt z))))) (cbrt (fabs (/ (cbrt y) (cbrt z)))) (pow (fabs (/ (cbrt y) (cbrt z))) 3) (fabs (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (cbrt (/ (* (cbrt y) (cbrt y)) (* (cbrt z) (cbrt z))))) (sqrt (fabs (/ (cbrt y) (cbrt z)))) (sqrt (fabs (/ (cbrt y) (cbrt z)))) (sqrt (/ (cbrt y) (cbrt z))) (sqrt (/ (cbrt y) (cbrt z))) 1 (fabs (/ (cbrt y) (cbrt z))) (fabs (cbrt y)) (sqrt (/ 1 (* (cbrt z) (cbrt z)))) (fabs (cbrt y)) (fabs (cbrt z)) 1/2 (sqrt (fabs (/ (cbrt y) (cbrt z)))) (sqrt (fabs (/ (cbrt y) (cbrt z)))) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) 1 (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) y (sqrt (cbrt y)) (sqrt (cbrt y)) (cbrt (/ y z)) (cbrt (/ y z)) (cbrt (/ y z)) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) 180.416 * * * [progress]: adding candidates to table 180.477 * [progress]: [Phase 3 of 3] Extracting. 180.477 * * [regime]: Finding splitpoints for: (# # # # # # # # # # # # #) 180.478 * * * [regime-changes]: Trying 5 branch expressions: ((* x y) (/ (* x y) z) z y x) 180.478 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # # # # # # # # #) 180.560 * * * * [regimes]: Trying to branch on (* x y) from (# # # # # #) 180.616 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (# # # # # # # # # # # # #) 180.711 * * * * [regimes]: Trying to branch on (/ (* x y) z) from (# # #) 180.755 * * * * [regimes]: Trying to branch on z from (# # # # # # # # # # # # #) 180.837 * * * * [regimes]: Trying to branch on y from (# # # # # # # # # # # # #) 180.919 * * * * [regimes]: Trying to branch on x from (# # # # # # # # # # # # #) 181.000 * * * [regime]: Found split indices: #