167.664 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.019 * * * [progress]: [2/2] Setting up program. 0.021 * [progress]: [Phase 2 of 3] Improving. 0.022 * [simplify]: Simplifying using # : (* (* x y) (- 1.0 y)) 0.022 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.023 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.025 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 0.030 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 0.040 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 0.055 * * [simplify]: iteration 5 : 72 enodes (cost 7 ) 0.066 * * [simplify]: iteration done : 72 enodes (cost 7 ) 0.067 * [simplify]: Simplified to: (* (* x y) (- 1.0 y)) 0.067 * * [progress]: iteration 1 / 4 0.067 * * * [progress]: picking best candidate 0.069 * * * * [pick]: Picked # 0.069 * * * [progress]: localizing error 0.074 * * * [progress]: generating rewritten candidates 0.074 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.084 * * * [progress]: generating series expansions 0.084 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.084 * [approximate]: Taking taylor expansion of (* x (* y (- 1.0 y))) in (x y) around 0 0.084 * [taylor]: Taking taylor expansion of (* x (* y (- 1.0 y))) in y 0.084 * [taylor]: Taking taylor expansion of x in y 0.084 * [taylor]: Taking taylor expansion of (* y (- 1.0 y)) in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.084 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 0.084 * [taylor]: Taking taylor expansion of 1.0 in y 0.084 * [taylor]: Taking taylor expansion of y in y 0.084 * [taylor]: Taking taylor expansion of (* x (* y (- 1.0 y))) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (* y (- 1.0 y)) in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 0.084 * [taylor]: Taking taylor expansion of 1.0 in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (* x (* y (- 1.0 y))) in x 0.084 * [taylor]: Taking taylor expansion of x in x 0.084 * [taylor]: Taking taylor expansion of (* y (- 1.0 y)) in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.084 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 0.084 * [taylor]: Taking taylor expansion of 1.0 in x 0.084 * [taylor]: Taking taylor expansion of y in x 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (pow y 2)) in y 0.085 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 0.085 * [taylor]: Taking taylor expansion of 1.0 in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.085 * [taylor]: Taking taylor expansion of y in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.085 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [taylor]: Taking taylor expansion of 0 in y 0.086 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (* x y)) in (x y) around 0 0.086 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (* x y)) in y 0.086 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.086 * [taylor]: Taking taylor expansion of 1.0 in y 0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of (* x y) in y 0.086 * [taylor]: Taking taylor expansion of x in y 0.086 * [taylor]: Taking taylor expansion of y in y 0.086 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (* x y)) in x 0.086 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.086 * [taylor]: Taking taylor expansion of 1.0 in x 0.086 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.086 * [taylor]: Taking taylor expansion of y in x 0.086 * [taylor]: Taking taylor expansion of (* x y) in x 0.086 * [taylor]: Taking taylor expansion of x in x 0.086 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) (* x y)) in x 0.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.087 * [taylor]: Taking taylor expansion of 1.0 in x 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of (* x y) in x 0.087 * [taylor]: Taking taylor expansion of x in x 0.087 * [taylor]: Taking taylor expansion of y in x 0.087 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) y) in y 0.087 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.087 * [taylor]: Taking taylor expansion of 1.0 in y 0.087 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of y in y 0.087 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.088 * [taylor]: Taking taylor expansion of 0 in y 0.089 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x y)) in (x y) around 0 0.089 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x y)) in y 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.089 * [taylor]: Taking taylor expansion of 1.0 in y 0.089 * [taylor]: Taking taylor expansion of (* x y) in y 0.089 * [taylor]: Taking taylor expansion of x in y 0.089 * [taylor]: Taking taylor expansion of y in y 0.089 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x y)) in x 0.089 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.089 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.089 * [taylor]: Taking taylor expansion of y in x 0.089 * [taylor]: Taking taylor expansion of 1.0 in x 0.089 * [taylor]: Taking taylor expansion of (* x y) in x 0.089 * [taylor]: Taking taylor expansion of x in x 0.089 * [taylor]: Taking taylor expansion of y in x 0.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) (* x y)) in x 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.090 * [taylor]: Taking taylor expansion of y in x 0.090 * [taylor]: Taking taylor expansion of 1.0 in x 0.090 * [taylor]: Taking taylor expansion of (* x y) in x 0.090 * [taylor]: Taking taylor expansion of x in x 0.090 * [taylor]: Taking taylor expansion of y in x 0.090 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) y) in y 0.090 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.090 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of 1.0 in y 0.090 * [taylor]: Taking taylor expansion of y in y 0.090 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.091 * [taylor]: Taking taylor expansion of 0 in y 0.092 * [taylor]: Taking taylor expansion of 0 in y 0.092 * * * [progress]: simplifying candidates 0.093 * [simplify]: Simplifying using # : (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) (+ (+ (log x) (log y)) (log (- 1.0 y))) (+ (log (* x y)) (log (- 1.0 y))) (log (* (* x y) (- 1.0 y))) (exp (* (* x y) (- 1.0 y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y))) (* (cbrt (* (* x y) (- 1.0 y))) (cbrt (* (* x y) (- 1.0 y)))) (cbrt (* (* x y) (- 1.0 y))) (* (* (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y))) (* (* x y) (- 1.0 y))) (sqrt (* (* x y) (- 1.0 y))) (sqrt (* (* x y) (- 1.0 y))) (* (* x y) 1.0) (* (* x y) (neg y)) (* (* x y) 1.0) (* (* x y) (neg y)) (* 1.0 (* x y)) (* (neg y) (* x y)) (* 1.0 (* x y)) (* (neg y) (* x y)) (* (* x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (* x y) (sqrt (- 1.0 y))) (* (* x y) 1) (* (* x y) (+ (sqrt 1.0) (sqrt y))) (* (* x y) 1) (* y (- 1.0 y)) (* (* x y) (- (pow 1.0 3) (pow y 3))) (* (* x y) (- (* 1.0 1.0) (* y y))) (- (* 1.0 (* x y)) (* x (pow y 2))) (- (* 1.0 (* x y)) (* x (pow y 2))) (- (* 1.0 (* x y)) (* x (pow y 2))) 0.093 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.094 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.096 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 0.101 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 0.110 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 0.124 * * [simplify]: iteration 5 : 72 enodes (cost 7 ) 0.136 * * [simplify]: iteration done : 72 enodes (cost 7 ) 0.136 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.137 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 0.139 * * [simplify]: iteration 2 : 31 enodes (cost 7 ) 0.144 * * [simplify]: iteration 3 : 57 enodes (cost 7 ) 0.153 * * [simplify]: iteration 4 : 66 enodes (cost 7 ) 0.163 * * [simplify]: iteration 5 : 72 enodes (cost 7 ) 0.178 * * [simplify]: iteration done : 72 enodes (cost 7 ) 0.179 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 0.180 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 0.181 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 0.184 * * [simplify]: iteration done : 22 enodes (cost 10 ) 0.184 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 0.185 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 0.187 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 0.189 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 0.192 * * [simplify]: iteration done : 25 enodes (cost 9 ) 0.192 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.193 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 0.195 * * [simplify]: iteration 2 : 42 enodes (cost 8 ) 0.202 * * [simplify]: iteration 3 : 80 enodes (cost 8 ) 0.214 * * [simplify]: iteration 4 : 85 enodes (cost 8 ) 0.226 * * [simplify]: iteration 5 : 91 enodes (cost 8 ) 0.243 * * [simplify]: iteration done : 91 enodes (cost 8 ) 0.243 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 0.244 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 0.246 * * [simplify]: iteration 2 : 45 enodes (cost 8 ) 0.254 * * [simplify]: iteration 3 : 103 enodes (cost 8 ) 0.271 * * [simplify]: iteration 4 : 195 enodes (cost 8 ) 0.310 * * [simplify]: iteration 5 : 420 enodes (cost 8 ) 0.518 * * [simplify]: iteration 6 : 1161 enodes (cost 8 ) 1.997 * * [simplify]: iteration 7 : 4345 enodes (cost 8 ) 3.066 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 3.068 * * [simplify]: iteration 0 : 12 enodes (cost 23 ) 3.070 * * [simplify]: iteration 1 : 27 enodes (cost 23 ) 3.076 * * [simplify]: iteration 2 : 111 enodes (cost 13 ) 3.124 * * [simplify]: iteration 3 : 530 enodes (cost 13 ) 3.800 * * [simplify]: iteration 4 : 2950 enodes (cost 11 ) 5.755 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 5.756 * * [simplify]: iteration 0 : 10 enodes (cost 23 ) 5.758 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 5.764 * * [simplify]: iteration 2 : 115 enodes (cost 11 ) 5.820 * * [simplify]: iteration 3 : 566 enodes (cost 11 ) 6.610 * * [simplify]: iteration 4 : 3020 enodes (cost 9 ) 9.257 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 9.257 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 9.258 * * [simplify]: iteration 1 : 14 enodes (cost 17 ) 9.260 * * [simplify]: iteration 2 : 33 enodes (cost 17 ) 9.265 * * [simplify]: iteration 3 : 59 enodes (cost 17 ) 9.280 * * [simplify]: iteration 4 : 66 enodes (cost 17 ) 9.290 * * [simplify]: iteration 5 : 72 enodes (cost 17 ) 9.302 * * [simplify]: iteration done : 72 enodes (cost 17 ) 9.303 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 9.304 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 9.305 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 9.310 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 9.319 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 9.329 * * [simplify]: iteration 5 : 69 enodes (cost 8 ) 9.345 * * [simplify]: iteration done : 69 enodes (cost 8 ) 9.345 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 9.346 * * [simplify]: iteration 1 : 24 enodes (cost 23 ) 9.352 * * [simplify]: iteration 2 : 125 enodes (cost 9 ) 9.429 * * [simplify]: iteration 3 : 685 enodes (cost 9 ) 10.727 * * [simplify]: iteration 4 : 3389 enodes (cost 9 ) 13.056 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 13.057 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 13.058 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 13.060 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 13.066 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 13.075 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 13.089 * * [simplify]: iteration 5 : 69 enodes (cost 8 ) 13.100 * * [simplify]: iteration done : 69 enodes (cost 8 ) 13.101 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 13.102 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 13.104 * * [simplify]: iteration 2 : 32 enodes (cost 8 ) 13.109 * * [simplify]: iteration 3 : 58 enodes (cost 8 ) 13.119 * * [simplify]: iteration 4 : 63 enodes (cost 8 ) 13.129 * * [simplify]: iteration 5 : 69 enodes (cost 8 ) 13.140 * * [simplify]: iteration done : 69 enodes (cost 8 ) 13.141 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.142 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 13.143 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 13.148 * * [simplify]: iteration done : 15 enodes (cost 5 ) 13.149 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 13.150 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 13.151 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 13.155 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 13.159 * * [simplify]: iteration 4 : 30 enodes (cost 6 ) 13.163 * * [simplify]: iteration done : 30 enodes (cost 6 ) 13.164 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.165 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 13.166 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 13.168 * * [simplify]: iteration done : 15 enodes (cost 5 ) 13.168 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 13.169 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 13.170 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 13.174 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 13.178 * * [simplify]: iteration 4 : 30 enodes (cost 6 ) 13.182 * * [simplify]: iteration done : 30 enodes (cost 6 ) 13.183 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.183 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 13.185 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 13.186 * * [simplify]: iteration done : 15 enodes (cost 5 ) 13.187 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 13.188 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 13.190 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 13.193 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 13.197 * * [simplify]: iteration 4 : 28 enodes (cost 6 ) 13.201 * * [simplify]: iteration done : 28 enodes (cost 6 ) 13.202 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.203 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 13.204 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 13.209 * * [simplify]: iteration done : 15 enodes (cost 5 ) 13.210 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 13.211 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 13.212 * * [simplify]: iteration 2 : 21 enodes (cost 6 ) 13.215 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 13.219 * * [simplify]: iteration 4 : 28 enodes (cost 6 ) 13.224 * * [simplify]: iteration done : 28 enodes (cost 6 ) 13.225 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 13.226 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 13.228 * * [simplify]: iteration 2 : 30 enodes (cost 13 ) 13.232 * * [simplify]: iteration 3 : 40 enodes (cost 13 ) 13.239 * * [simplify]: iteration done : 40 enodes (cost 13 ) 13.240 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 13.241 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 13.243 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 13.245 * * [simplify]: iteration done : 20 enodes (cost 8 ) 13.246 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.246 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 13.248 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 13.250 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 13.251 * * [simplify]: iteration done : 27 enodes (cost 3 ) 13.252 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 13.253 * * [simplify]: iteration 1 : 19 enodes (cost 9 ) 13.255 * * [simplify]: iteration 2 : 46 enodes (cost 9 ) 13.263 * * [simplify]: iteration 3 : 54 enodes (cost 9 ) 13.274 * * [simplify]: iteration done : 54 enodes (cost 9 ) 13.275 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 13.276 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 13.277 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 13.279 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 13.281 * * [simplify]: iteration done : 27 enodes (cost 3 ) 13.282 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 13.282 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 13.283 * * [simplify]: iteration 2 : 14 enodes (cost 5 ) 13.285 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 13.287 * * [simplify]: iteration 4 : 18 enodes (cost 5 ) 13.289 * * [simplify]: iteration done : 18 enodes (cost 5 ) 13.290 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 13.291 * * [simplify]: iteration 1 : 28 enodes (cost 11 ) 13.296 * * [simplify]: iteration 2 : 68 enodes (cost 11 ) 13.309 * * [simplify]: iteration 3 : 204 enodes (cost 11 ) 13.374 * * [simplify]: iteration 4 : 590 enodes (cost 11 ) 13.791 * * [simplify]: iteration 5 : 2155 enodes (cost 11 ) 15.208 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 15.209 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 15.210 * * [simplify]: iteration 1 : 17 enodes (cost 11 ) 15.213 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 15.223 * * [simplify]: iteration 3 : 148 enodes (cost 11 ) 15.267 * * [simplify]: iteration 4 : 356 enodes (cost 11 ) 15.407 * * [simplify]: iteration 5 : 566 enodes (cost 11 ) 15.669 * * [simplify]: iteration 6 : 923 enodes (cost 11 ) 16.298 * * [simplify]: iteration 7 : 1704 enodes (cost 11 ) 17.617 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 17.618 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 17.619 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 17.623 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 17.629 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 17.641 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 17.659 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 17.674 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 17.693 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 17.752 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 18.222 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 20.516 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 20.517 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 20.518 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 20.522 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 20.528 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 20.540 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 20.559 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 20.574 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 20.595 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 20.655 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 21.126 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 23.419 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 23.419 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 23.421 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 23.424 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 23.430 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 23.447 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 23.461 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 23.476 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 23.500 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 23.559 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 24.040 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 26.330 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 26.330 * [simplify]: Simplified to: (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) (+ (+ (log x) (log y)) (log (- 1.0 y))) (+ (log (* x y)) (log (- 1.0 y))) (log (* (* x y) (- 1.0 y))) (exp (* (* x y) (- 1.0 y))) (* (pow (- 1.0 y) 3) (pow (* x y) 3)) (pow (* (* x y) (- 1.0 y)) 3) (* (cbrt (* (* x y) (- 1.0 y))) (cbrt (* (* x y) (- 1.0 y)))) (cbrt (* (* x y) (- 1.0 y))) (pow (* (* x y) (- 1.0 y)) 3) (sqrt (* (* x y) (- 1.0 y))) (sqrt (* (* x y) (- 1.0 y))) (* (* x y) 1.0) (* (* x y) (neg y)) (* (* x y) 1.0) (* (* x y) (neg y)) (* 1.0 (* x y)) (* (neg y) (* x y)) (* 1.0 (* x y)) (* (neg y) (* x y)) (* (* x y) (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* (* x y) (sqrt (- 1.0 y))) (* x y) (* (* x y) (+ (sqrt 1.0) (sqrt y))) (* x y) (* y (- 1.0 y)) (* (* x y) (- (pow 1.0 3) (pow y 3))) (* (* x y) (- (* 1.0 1.0) (* y y))) (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) 26.331 * * * [progress]: adding candidates to table 26.371 * * [progress]: iteration 2 / 4 26.371 * * * [progress]: picking best candidate 26.393 * * * * [pick]: Picked # 26.393 * * * [progress]: localizing error 26.400 * * * [progress]: generating rewritten candidates 26.400 * * * * [progress]: [ 1 / 2 ] rewriting at (2 2) 26.407 * * * * [progress]: [ 2 / 2 ] rewriting at (2) 26.414 * * * [progress]: generating series expansions 26.414 * * * * [progress]: [ 1 / 2 ] generating series at (2 2) 26.415 * [approximate]: Taking taylor expansion of (* -1 (* x (pow y 2))) in (x y) around 0 26.415 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in y 26.415 * [taylor]: Taking taylor expansion of -1 in y 26.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.415 * [taylor]: Taking taylor expansion of x in y 26.415 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.415 * [taylor]: Taking taylor expansion of y in y 26.415 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in x 26.415 * [taylor]: Taking taylor expansion of -1 in x 26.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.415 * [taylor]: Taking taylor expansion of x in x 26.415 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.415 * [taylor]: Taking taylor expansion of y in x 26.415 * [taylor]: Taking taylor expansion of (* -1 (* x (pow y 2))) in x 26.415 * [taylor]: Taking taylor expansion of -1 in x 26.415 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.415 * [taylor]: Taking taylor expansion of x in x 26.415 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.415 * [taylor]: Taking taylor expansion of y in x 26.415 * [taylor]: Taking taylor expansion of 0 in y 26.419 * [taylor]: Taking taylor expansion of (neg (pow y 2)) in y 26.419 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.419 * [taylor]: Taking taylor expansion of y in y 26.419 * [taylor]: Taking taylor expansion of 0 in y 26.420 * [taylor]: Taking taylor expansion of 0 in y 26.420 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 26.420 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 26.420 * [taylor]: Taking taylor expansion of -1 in y 26.420 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.420 * [taylor]: Taking taylor expansion of x in y 26.420 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.420 * [taylor]: Taking taylor expansion of y in y 26.420 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 26.420 * [taylor]: Taking taylor expansion of -1 in x 26.420 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.420 * [taylor]: Taking taylor expansion of x in x 26.420 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.420 * [taylor]: Taking taylor expansion of y in x 26.420 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 26.420 * [taylor]: Taking taylor expansion of -1 in x 26.420 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.420 * [taylor]: Taking taylor expansion of x in x 26.420 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.420 * [taylor]: Taking taylor expansion of y in x 26.421 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 26.421 * [taylor]: Taking taylor expansion of -1 in y 26.421 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.421 * [taylor]: Taking taylor expansion of y in y 26.421 * [taylor]: Taking taylor expansion of 0 in y 26.422 * [taylor]: Taking taylor expansion of 0 in y 26.422 * [taylor]: Taking taylor expansion of 0 in y 26.423 * [taylor]: Taking taylor expansion of 0 in y 26.423 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 26.423 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 26.423 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.423 * [taylor]: Taking taylor expansion of x in y 26.423 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.423 * [taylor]: Taking taylor expansion of y in y 26.423 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.423 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.423 * [taylor]: Taking taylor expansion of x in x 26.423 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.423 * [taylor]: Taking taylor expansion of y in x 26.424 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.424 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.424 * [taylor]: Taking taylor expansion of x in x 26.424 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.424 * [taylor]: Taking taylor expansion of y in x 26.424 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 26.424 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.424 * [taylor]: Taking taylor expansion of y in y 26.425 * [taylor]: Taking taylor expansion of 0 in y 26.425 * [taylor]: Taking taylor expansion of 0 in y 26.426 * [taylor]: Taking taylor expansion of 0 in y 26.426 * [taylor]: Taking taylor expansion of 0 in y 26.427 * * * * [progress]: [ 2 / 2 ] generating series at (2) 26.427 * [approximate]: Taking taylor expansion of (- (* 1.0 (* x y)) (* x (pow y 2))) in (x y) around 0 26.427 * [taylor]: Taking taylor expansion of (- (* 1.0 (* x y)) (* x (pow y 2))) in y 26.427 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in y 26.427 * [taylor]: Taking taylor expansion of 1.0 in y 26.427 * [taylor]: Taking taylor expansion of (* x y) in y 26.427 * [taylor]: Taking taylor expansion of x in y 26.427 * [taylor]: Taking taylor expansion of y in y 26.427 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.428 * [taylor]: Taking taylor expansion of x in y 26.428 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.428 * [taylor]: Taking taylor expansion of y in y 26.428 * [taylor]: Taking taylor expansion of (- (* 1.0 (* x y)) (* x (pow y 2))) in x 26.428 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 26.428 * [taylor]: Taking taylor expansion of 1.0 in x 26.428 * [taylor]: Taking taylor expansion of (* x y) in x 26.428 * [taylor]: Taking taylor expansion of x in x 26.428 * [taylor]: Taking taylor expansion of y in x 26.428 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.428 * [taylor]: Taking taylor expansion of x in x 26.428 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.428 * [taylor]: Taking taylor expansion of y in x 26.428 * [taylor]: Taking taylor expansion of (- (* 1.0 (* x y)) (* x (pow y 2))) in x 26.428 * [taylor]: Taking taylor expansion of (* 1.0 (* x y)) in x 26.428 * [taylor]: Taking taylor expansion of 1.0 in x 26.428 * [taylor]: Taking taylor expansion of (* x y) in x 26.428 * [taylor]: Taking taylor expansion of x in x 26.428 * [taylor]: Taking taylor expansion of y in x 26.428 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.428 * [taylor]: Taking taylor expansion of x in x 26.428 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.428 * [taylor]: Taking taylor expansion of y in x 26.428 * [taylor]: Taking taylor expansion of 0 in y 26.429 * [taylor]: Taking taylor expansion of (- (* 1.0 y) (pow y 2)) in y 26.429 * [taylor]: Taking taylor expansion of (* 1.0 y) in y 26.429 * [taylor]: Taking taylor expansion of 1.0 in y 26.429 * [taylor]: Taking taylor expansion of y in y 26.429 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.429 * [taylor]: Taking taylor expansion of y in y 26.429 * [taylor]: Taking taylor expansion of 0 in y 26.429 * [taylor]: Taking taylor expansion of 0 in y 26.430 * [taylor]: Taking taylor expansion of 0 in y 26.430 * [approximate]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x y))) (/ 1 (* x (pow y 2)))) in (x y) around 0 26.430 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x y))) (/ 1 (* x (pow y 2)))) in y 26.430 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 26.430 * [taylor]: Taking taylor expansion of 1.0 in y 26.430 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.430 * [taylor]: Taking taylor expansion of (* x y) in y 26.430 * [taylor]: Taking taylor expansion of x in y 26.430 * [taylor]: Taking taylor expansion of y in y 26.430 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 26.430 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.430 * [taylor]: Taking taylor expansion of x in y 26.430 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.430 * [taylor]: Taking taylor expansion of y in y 26.430 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x y))) (/ 1 (* x (pow y 2)))) in x 26.430 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 26.430 * [taylor]: Taking taylor expansion of 1.0 in x 26.430 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.431 * [taylor]: Taking taylor expansion of (* x y) in x 26.431 * [taylor]: Taking taylor expansion of x in x 26.431 * [taylor]: Taking taylor expansion of y in x 26.431 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.431 * [taylor]: Taking taylor expansion of x in x 26.431 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.431 * [taylor]: Taking taylor expansion of y in x 26.431 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 (* x y))) (/ 1 (* x (pow y 2)))) in x 26.431 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 26.431 * [taylor]: Taking taylor expansion of 1.0 in x 26.431 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.431 * [taylor]: Taking taylor expansion of (* x y) in x 26.431 * [taylor]: Taking taylor expansion of x in x 26.431 * [taylor]: Taking taylor expansion of y in x 26.431 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.431 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.431 * [taylor]: Taking taylor expansion of x in x 26.431 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.431 * [taylor]: Taking taylor expansion of y in x 26.432 * [taylor]: Taking taylor expansion of (- (* 1.0 (/ 1 y)) (/ 1 (pow y 2))) in y 26.432 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 26.432 * [taylor]: Taking taylor expansion of 1.0 in y 26.432 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.432 * [taylor]: Taking taylor expansion of y in y 26.432 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 26.432 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.432 * [taylor]: Taking taylor expansion of y in y 26.432 * [taylor]: Taking taylor expansion of 0 in y 26.433 * [taylor]: Taking taylor expansion of 0 in y 26.434 * [taylor]: Taking taylor expansion of 0 in y 26.435 * [taylor]: Taking taylor expansion of 0 in y 26.435 * [approximate]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (* 1.0 (/ 1 (* x y)))) in (x y) around 0 26.435 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (* 1.0 (/ 1 (* x y)))) in y 26.435 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 26.435 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 26.435 * [taylor]: Taking taylor expansion of x in y 26.435 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.435 * [taylor]: Taking taylor expansion of y in y 26.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in y 26.436 * [taylor]: Taking taylor expansion of 1.0 in y 26.436 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 26.436 * [taylor]: Taking taylor expansion of (* x y) in y 26.436 * [taylor]: Taking taylor expansion of x in y 26.436 * [taylor]: Taking taylor expansion of y in y 26.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (* 1.0 (/ 1 (* x y)))) in x 26.436 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.436 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.436 * [taylor]: Taking taylor expansion of x in x 26.436 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.436 * [taylor]: Taking taylor expansion of y in x 26.436 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 26.436 * [taylor]: Taking taylor expansion of 1.0 in x 26.436 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.436 * [taylor]: Taking taylor expansion of (* x y) in x 26.436 * [taylor]: Taking taylor expansion of x in x 26.436 * [taylor]: Taking taylor expansion of y in x 26.436 * [taylor]: Taking taylor expansion of (+ (/ 1 (* x (pow y 2))) (* 1.0 (/ 1 (* x y)))) in x 26.436 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 26.436 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 26.436 * [taylor]: Taking taylor expansion of x in x 26.436 * [taylor]: Taking taylor expansion of (pow y 2) in x 26.436 * [taylor]: Taking taylor expansion of y in x 26.437 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 (* x y))) in x 26.437 * [taylor]: Taking taylor expansion of 1.0 in x 26.437 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 26.437 * [taylor]: Taking taylor expansion of (* x y) in x 26.437 * [taylor]: Taking taylor expansion of x in x 26.437 * [taylor]: Taking taylor expansion of y in x 26.437 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 1.0 (/ 1 y))) in y 26.437 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 26.437 * [taylor]: Taking taylor expansion of (pow y 2) in y 26.437 * [taylor]: Taking taylor expansion of y in y 26.437 * [taylor]: Taking taylor expansion of (* 1.0 (/ 1 y)) in y 26.437 * [taylor]: Taking taylor expansion of 1.0 in y 26.437 * [taylor]: Taking taylor expansion of (/ 1 y) in y 26.437 * [taylor]: Taking taylor expansion of y in y 26.437 * [taylor]: Taking taylor expansion of 0 in y 26.438 * [taylor]: Taking taylor expansion of 0 in y 26.439 * [taylor]: Taking taylor expansion of 0 in y 26.440 * [taylor]: Taking taylor expansion of 0 in y 26.440 * * * [progress]: simplifying candidates 26.441 * [simplify]: Simplifying using # : (* (* x y) (neg y)) (* (* x y) (neg y)) (+ (+ (log x) (log y)) (log (neg y))) (+ (log (* x y)) (log (neg y))) (log (* (* x y) (neg y))) (exp (* (* x y) (neg y))) (* (* (* (* x x) x) (* (* y y) y)) (* (* (neg y) (neg y)) (neg y))) (* (* (* (* x y) (* x y)) (* x y)) (* (* (neg y) (neg y)) (neg y))) (* (cbrt (* (* x y) (neg y))) (cbrt (* (* x y) (neg y)))) (cbrt (* (* x y) (neg y))) (* (* (* (* x y) (neg y)) (* (* x y) (neg y))) (* (* x y) (neg y))) (sqrt (* (* x y) (neg y))) (sqrt (* (* x y) (neg y))) (* (* x y) y) (* (* x y) (* (cbrt (neg y)) (cbrt (neg y)))) (* (* x y) (sqrt (neg y))) (* (* x y) 1) (* (* x y) -1) (* (* x y) (neg (* (cbrt y) (cbrt y)))) (* (* x y) (neg (sqrt y))) (* (* x y) (neg 1)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* (* x y) 1) (* y (neg y)) (* (exp (* (* x y) 1.0)) (exp (* (* x y) (neg y)))) (log (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (exp (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (* (cbrt (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (cbrt (+ (* (* x y) 1.0) (* (* x y) (neg y))))) (cbrt (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (* (* (+ (* (* x y) 1.0) (* (* x y) (neg y))) (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (sqrt (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (sqrt (+ (* (* x y) 1.0) (* (* x y) (neg y)))) (+ (pow (* (* x y) 1.0) 3) (pow (* (* x y) (neg y)) 3)) (+ (* (* (* x y) 1.0) (* (* x y) 1.0)) (- (* (* (* x y) (neg y)) (* (* x y) (neg y))) (* (* (* x y) 1.0) (* (* x y) (neg y))))) (- (* (* (* x y) 1.0) (* (* x y) 1.0)) (* (* (* x y) (neg y)) (* (* x y) (neg y)))) (- (* (* x y) 1.0) (* (* x y) (neg y))) (+ 1.0 (neg y)) (* -1 (* x (pow y 2))) (* -1 (* x (pow y 2))) (* -1 (* x (pow y 2))) (- (* 1.0 (* x y)) (* x (pow y 2))) (- (* 1.0 (* x y)) (* x (pow y 2))) (- (* 1.0 (* x y)) (* x (pow y 2))) 26.442 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 26.442 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 26.444 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 26.448 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 26.452 * * [simplify]: iteration 4 : 30 enodes (cost 6 ) 26.456 * * [simplify]: iteration done : 30 enodes (cost 6 ) 26.456 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 26.457 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 26.459 * * [simplify]: iteration 2 : 23 enodes (cost 6 ) 26.462 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 26.467 * * [simplify]: iteration 4 : 30 enodes (cost 6 ) 26.471 * * [simplify]: iteration done : 30 enodes (cost 6 ) 26.472 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 26.473 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 26.474 * * [simplify]: iteration 2 : 18 enodes (cost 9 ) 26.476 * * [simplify]: iteration 3 : 20 enodes (cost 9 ) 26.478 * * [simplify]: iteration done : 20 enodes (cost 9 ) 26.479 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 26.479 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 26.481 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 26.483 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 26.485 * * [simplify]: iteration done : 21 enodes (cost 8 ) 26.486 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.486 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 26.492 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 26.496 * * [simplify]: iteration 3 : 52 enodes (cost 7 ) 26.503 * * [simplify]: iteration 4 : 58 enodes (cost 7 ) 26.511 * * [simplify]: iteration 5 : 62 enodes (cost 7 ) 26.519 * * [simplify]: iteration 6 : 64 enodes (cost 7 ) 26.527 * * [simplify]: iteration 7 : 65 enodes (cost 7 ) 26.535 * * [simplify]: iteration done : 65 enodes (cost 7 ) 26.535 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 26.536 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 26.538 * * [simplify]: iteration 2 : 40 enodes (cost 7 ) 26.544 * * [simplify]: iteration 3 : 75 enodes (cost 7 ) 26.557 * * [simplify]: iteration 4 : 150 enodes (cost 7 ) 26.584 * * [simplify]: iteration 5 : 337 enodes (cost 7 ) 26.732 * * [simplify]: iteration 6 : 779 enodes (cost 7 ) 27.351 * * [simplify]: iteration 7 : 2061 enodes (cost 7 ) 28.388 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 28.388 * * [simplify]: iteration 0 : 11 enodes (cost 20 ) 28.390 * * [simplify]: iteration 1 : 30 enodes (cost 18 ) 28.398 * * [simplify]: iteration 2 : 118 enodes (cost 12 ) 28.487 * * [simplify]: iteration 3 : 541 enodes (cost 8 ) 29.279 * * [simplify]: iteration 4 : 1540 enodes (cost 8 ) 33.544 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 33.545 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 33.546 * * [simplify]: iteration 1 : 32 enodes (cost 18 ) 33.553 * * [simplify]: iteration 2 : 127 enodes (cost 10 ) 33.661 * * [simplify]: iteration 3 : 630 enodes (cost 10 ) 34.725 * * [simplify]: iteration 4 : 1536 enodes (cost 8 ) 40.478 * * [simplify]: iteration 5 : 4259 enodes (cost 8 ) 42.430 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 42.431 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 42.431 * * [simplify]: iteration 1 : 13 enodes (cost 15 ) 42.433 * * [simplify]: iteration 2 : 25 enodes (cost 15 ) 42.437 * * [simplify]: iteration 3 : 31 enodes (cost 15 ) 42.441 * * [simplify]: iteration 4 : 32 enodes (cost 15 ) 42.445 * * [simplify]: iteration done : 32 enodes (cost 15 ) 42.446 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 42.446 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 42.448 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 42.451 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 42.462 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 42.466 * * [simplify]: iteration done : 31 enodes (cost 7 ) 42.467 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 42.468 * * [simplify]: iteration 1 : 23 enodes (cost 20 ) 42.473 * * [simplify]: iteration 2 : 116 enodes (cost 8 ) 42.558 * * [simplify]: iteration 3 : 579 enodes (cost 8 ) 43.707 * * [simplify]: iteration 4 : 1507 enodes (cost 8 ) 48.346 * * [simplify]: iteration 5 : 3196 enodes (cost 8 ) 50.631 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 50.632 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.632 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 50.634 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 50.638 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 50.642 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 50.646 * * [simplify]: iteration done : 31 enodes (cost 7 ) 50.647 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.647 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 50.649 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 50.653 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 50.658 * * [simplify]: iteration 4 : 31 enodes (cost 7 ) 50.662 * * [simplify]: iteration done : 31 enodes (cost 7 ) 50.663 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 50.664 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 50.664 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 50.666 * * [simplify]: iteration done : 9 enodes (cost 5 ) 50.666 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 50.667 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 50.669 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 50.673 * * [simplify]: iteration 3 : 36 enodes (cost 11 ) 50.683 * * [simplify]: iteration done : 36 enodes (cost 11 ) 50.684 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.685 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 50.686 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 50.688 * * [simplify]: iteration 3 : 18 enodes (cost 7 ) 50.690 * * [simplify]: iteration done : 18 enodes (cost 7 ) 50.691 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.691 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 50.693 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 50.695 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 50.696 * * [simplify]: iteration done : 27 enodes (cost 3 ) 50.697 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.697 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 50.698 * * [simplify]: iteration 2 : 16 enodes (cost 4 ) 50.701 * * [simplify]: iteration 3 : 22 enodes (cost 4 ) 50.703 * * [simplify]: iteration done : 22 enodes (cost 4 ) 50.704 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 50.705 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 50.707 * * [simplify]: iteration 2 : 43 enodes (cost 10 ) 50.716 * * [simplify]: iteration 3 : 87 enodes (cost 10 ) 50.745 * * [simplify]: iteration 4 : 120 enodes (cost 10 ) 50.779 * * [simplify]: iteration 5 : 127 enodes (cost 10 ) 50.816 * * [simplify]: iteration done : 127 enodes (cost 10 ) 50.816 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 50.817 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 50.819 * * [simplify]: iteration 2 : 26 enodes (cost 7 ) 50.823 * * [simplify]: iteration 3 : 43 enodes (cost 7 ) 50.830 * * [simplify]: iteration 4 : 51 enodes (cost 7 ) 50.843 * * [simplify]: iteration done : 51 enodes (cost 7 ) 50.844 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 50.844 * * [simplify]: iteration 1 : 15 enodes (cost 5 ) 50.846 * * [simplify]: iteration 2 : 28 enodes (cost 4 ) 50.854 * * [simplify]: iteration 3 : 70 enodes (cost 4 ) 50.860 * * [simplify]: iteration 4 : 76 enodes (cost 4 ) 50.866 * * [simplify]: iteration done : 76 enodes (cost 4 ) 50.867 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 50.867 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 50.869 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 50.873 * * [simplify]: iteration 3 : 37 enodes (cost 9 ) 50.879 * * [simplify]: iteration done : 37 enodes (cost 9 ) 50.880 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 50.880 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 50.882 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 50.883 * * [simplify]: iteration done : 15 enodes (cost 6 ) 50.884 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 50.885 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 50.887 * * [simplify]: iteration 2 : 23 enodes (cost 3 ) 50.889 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 50.890 * * [simplify]: iteration done : 27 enodes (cost 3 ) 50.891 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 50.891 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 50.892 * * [simplify]: iteration done : 6 enodes (cost 4 ) 50.892 * * [simplify]: iteration 0 : 10 enodes (cost 14 ) 50.894 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 50.901 * * [simplify]: iteration 2 : 69 enodes (cost 9 ) 50.913 * * [simplify]: iteration 3 : 158 enodes (cost 8 ) 50.948 * * [simplify]: iteration 4 : 428 enodes (cost 8 ) 51.321 * * [simplify]: iteration 5 : 1989 enodes (cost 8 ) 52.338 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 52.339 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 52.340 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 52.344 * * [simplify]: iteration 2 : 54 enodes (cost 8 ) 52.355 * * [simplify]: iteration 3 : 86 enodes (cost 8 ) 52.369 * * [simplify]: iteration 4 : 98 enodes (cost 8 ) 52.382 * * [simplify]: iteration done : 98 enodes (cost 8 ) 52.382 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 52.384 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 52.388 * * [simplify]: iteration 2 : 69 enodes (cost 8 ) 52.405 * * [simplify]: iteration 3 : 141 enodes (cost 8 ) 52.432 * * [simplify]: iteration 4 : 329 enodes (cost 8 ) 52.648 * * [simplify]: iteration 5 : 1440 enodes (cost 8 ) 53.853 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 53.854 * * [simplify]: iteration 0 : 10 enodes (cost 27 ) 53.855 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 53.859 * * [simplify]: iteration 2 : 52 enodes (cost 17 ) 53.870 * * [simplify]: iteration 3 : 75 enodes (cost 17 ) 53.882 * * [simplify]: iteration 4 : 77 enodes (cost 17 ) 53.896 * * [simplify]: iteration done : 77 enodes (cost 17 ) 53.897 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 53.898 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 53.902 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 53.912 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 53.924 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 53.935 * * [simplify]: iteration done : 76 enodes (cost 8 ) 53.936 * * [simplify]: iteration 0 : 10 enodes (cost 38 ) 53.938 * * [simplify]: iteration 1 : 35 enodes (cost 26 ) 53.949 * * [simplify]: iteration 2 : 164 enodes (cost 9 ) 54.066 * * [simplify]: iteration 3 : 1090 enodes (cost 9 ) 55.865 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 55.866 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 55.867 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 55.870 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 55.881 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 55.893 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 55.904 * * [simplify]: iteration done : 76 enodes (cost 8 ) 55.905 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 55.906 * * [simplify]: iteration 1 : 21 enodes (cost 9 ) 55.909 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 55.924 * * [simplify]: iteration 3 : 74 enodes (cost 8 ) 55.936 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 55.947 * * [simplify]: iteration done : 76 enodes (cost 8 ) 55.948 * * [simplify]: iteration 0 : 11 enodes (cost 16 ) 55.950 * * [simplify]: iteration 1 : 39 enodes (cost 16 ) 55.958 * * [simplify]: iteration 2 : 164 enodes (cost 14 ) 56.047 * * [simplify]: iteration 3 : 847 enodes (cost 13 ) 57.424 * * [simplify]: iteration 4 : 3048 enodes (cost 13 ) 59.253 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 59.253 * * [simplify]: iteration 0 : 12 enodes (cost 38 ) 59.256 * * [simplify]: iteration 1 : 45 enodes (cost 31 ) 59.268 * * [simplify]: iteration 2 : 212 enodes (cost 27 ) 59.466 * * [simplify]: iteration 3 : 906 enodes (cost 23 ) 60.744 * * [simplify]: iteration 4 : 2594 enodes (cost 18 ) 63.166 * * [simplify]: iteration done : 5001 enodes (cost 18 ) 63.166 * * [simplify]: iteration 0 : 10 enodes (cost 25 ) 63.168 * * [simplify]: iteration 1 : 37 enodes (cost 25 ) 63.182 * * [simplify]: iteration 2 : 163 enodes (cost 15 ) 63.309 * * [simplify]: iteration 3 : 639 enodes (cost 15 ) 63.846 * * [simplify]: iteration 4 : 1567 enodes (cost 15 ) 66.079 * * [simplify]: iteration 5 : 4024 enodes (cost 15 ) 67.854 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 67.855 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 67.856 * * [simplify]: iteration 1 : 21 enodes (cost 8 ) 67.860 * * [simplify]: iteration 2 : 57 enodes (cost 8 ) 67.882 * * [simplify]: iteration 3 : 121 enodes (cost 7 ) 67.907 * * [simplify]: iteration 4 : 141 enodes (cost 7 ) 67.928 * * [simplify]: iteration 5 : 165 enodes (cost 7 ) 67.954 * * [simplify]: iteration 6 : 208 enodes (cost 7 ) 68.010 * * [simplify]: iteration 7 : 292 enodes (cost 7 ) 68.153 * * [simplify]: iteration 8 : 403 enodes (cost 7 ) 68.233 * * [simplify]: iteration 9 : 407 enodes (cost 7 ) 68.306 * * [simplify]: iteration done : 407 enodes (cost 7 ) 68.307 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 68.307 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 68.308 * * [simplify]: iteration done : 6 enodes (cost 3 ) 68.308 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 68.309 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 68.313 * * [simplify]: iteration 2 : 49 enodes (cost 6 ) 68.319 * * [simplify]: iteration 3 : 74 enodes (cost 6 ) 68.330 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 68.339 * * [simplify]: iteration 5 : 97 enodes (cost 6 ) 68.349 * * [simplify]: iteration 6 : 121 enodes (cost 6 ) 68.369 * * [simplify]: iteration 7 : 179 enodes (cost 6 ) 68.430 * * [simplify]: iteration 8 : 384 enodes (cost 6 ) 68.888 * * [simplify]: iteration 9 : 1303 enodes (cost 6 ) 71.226 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 71.227 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 71.228 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 71.231 * * [simplify]: iteration 2 : 49 enodes (cost 6 ) 71.237 * * [simplify]: iteration 3 : 74 enodes (cost 6 ) 71.247 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 71.256 * * [simplify]: iteration 5 : 97 enodes (cost 6 ) 71.267 * * [simplify]: iteration 6 : 121 enodes (cost 6 ) 71.286 * * [simplify]: iteration 7 : 179 enodes (cost 6 ) 71.338 * * [simplify]: iteration 8 : 384 enodes (cost 6 ) 71.801 * * [simplify]: iteration 9 : 1303 enodes (cost 6 ) 74.147 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 74.148 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 74.148 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 74.151 * * [simplify]: iteration 2 : 49 enodes (cost 6 ) 74.157 * * [simplify]: iteration 3 : 74 enodes (cost 6 ) 74.167 * * [simplify]: iteration 4 : 87 enodes (cost 6 ) 74.176 * * [simplify]: iteration 5 : 97 enodes (cost 6 ) 74.193 * * [simplify]: iteration 6 : 121 enodes (cost 6 ) 74.208 * * [simplify]: iteration 7 : 179 enodes (cost 6 ) 74.260 * * [simplify]: iteration 8 : 384 enodes (cost 6 ) 74.722 * * [simplify]: iteration 9 : 1303 enodes (cost 6 ) 77.088 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 77.088 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 77.090 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 77.094 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 77.100 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 77.112 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 77.131 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 77.146 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 77.166 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 77.226 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 77.696 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 80.245 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 80.246 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 80.247 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 80.251 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 80.257 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 80.269 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 80.287 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 80.303 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 80.322 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 80.382 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 80.863 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 83.189 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 83.190 * * [simplify]: iteration 0 : 9 enodes (cost 11 ) 83.191 * * [simplify]: iteration 1 : 21 enodes (cost 11 ) 83.195 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 83.201 * * [simplify]: iteration 3 : 73 enodes (cost 7 ) 83.217 * * [simplify]: iteration 4 : 107 enodes (cost 7 ) 83.232 * * [simplify]: iteration 5 : 125 enodes (cost 7 ) 83.247 * * [simplify]: iteration 6 : 149 enodes (cost 7 ) 83.270 * * [simplify]: iteration 7 : 217 enodes (cost 7 ) 83.331 * * [simplify]: iteration 8 : 433 enodes (cost 7 ) 83.810 * * [simplify]: iteration 9 : 1382 enodes (cost 7 ) 86.120 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 86.124 * [simplify]: Simplified to: (* (* x y) (neg y)) (* (* x y) (neg y)) (+ (+ (log x) (log y)) (log (neg y))) (+ (log (* x y)) (log (neg y))) (log (* (* x y) (neg y))) (exp (* (* x y) (neg y))) (neg (* (pow x 3) (pow y 6))) (pow (* (* x (neg y)) y) 3) (* (cbrt (* (* x y) (neg y))) (cbrt (* (* x y) (neg y)))) (cbrt (* (* x y) (neg y))) (pow (* (* x y) (neg y)) 3) (sqrt (* (* x y) (neg y))) (sqrt (* (* x y) (neg y))) (* (* x y) y) (* (* x y) (* (cbrt (neg y)) (cbrt (neg y)))) (* (* x y) (sqrt (neg y))) (* x y) (neg (* x y)) (* (* x y) (neg (* (cbrt y) (cbrt y)))) (* (* x y) (neg (sqrt y))) (neg (* x y)) (* (* x y) (* (cbrt y) (cbrt y))) (* (* x y) (sqrt y)) (* x y) (* y (neg y)) (pow (exp (* x y)) (- 1.0 y)) (log (* (- 1.0 y) (* x y))) (exp (* (- 1.0 y) (* x y))) (* (cbrt (* (- 1.0 y) (* x y))) (cbrt (* (- 1.0 y) (* x y)))) (cbrt (* (- 1.0 y) (* x y))) (pow (* (- 1.0 y) (* x y)) 3) (sqrt (* (- 1.0 y) (* x y))) (sqrt (* (- 1.0 y) (* x y))) (* (- (pow 1.0 3) (pow y 3)) (pow (* x y) 3)) (* (* (* x y) (* x y)) (- (* 1.0 1.0) (* y (- (neg y) 1.0)))) (* (* (* x y) (* x y)) (- (* 1.0 1.0) (* y y))) (* (* (+ 1.0 y) y) x) (- 1.0 y) (neg (* x (pow y 2))) (neg (* x (pow y 2))) (neg (* x (pow y 2))) (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) (* (* x y) (- 1.0 y)) 86.125 * * * [progress]: adding candidates to table 86.176 * * [progress]: iteration 3 / 4 86.176 * * * [progress]: picking best candidate 86.197 * * * * [pick]: Picked # 86.197 * * * [progress]: localizing error 86.208 * * * [progress]: generating rewritten candidates 86.208 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 2) 86.209 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 2) 86.211 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1) 86.212 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 1 2 1) 86.221 * * * [progress]: generating series expansions 86.221 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 2) 86.221 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 86.221 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.221 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.221 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.221 * [taylor]: Taking taylor expansion of 1/3 in y 86.221 * [taylor]: Taking taylor expansion of (log y) in y 86.221 * [taylor]: Taking taylor expansion of y in y 86.222 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.222 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.222 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.222 * [taylor]: Taking taylor expansion of 1/3 in y 86.222 * [taylor]: Taking taylor expansion of (log y) in y 86.222 * [taylor]: Taking taylor expansion of y in y 86.229 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 86.229 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.229 * [taylor]: Taking taylor expansion of 1/3 in y 86.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.229 * [taylor]: Taking taylor expansion of y in y 86.229 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.229 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.229 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.229 * [taylor]: Taking taylor expansion of 1/3 in y 86.229 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.229 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.229 * [taylor]: Taking taylor expansion of y in y 86.238 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 86.238 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.238 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.238 * [taylor]: Taking taylor expansion of 1/3 in y 86.238 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.238 * [taylor]: Taking taylor expansion of y in y 86.238 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.238 * [taylor]: Taking taylor expansion of -1 in y 86.238 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.238 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.238 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.238 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.238 * [taylor]: Taking taylor expansion of 1/3 in y 86.238 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.238 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.238 * [taylor]: Taking taylor expansion of y in y 86.239 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.239 * [taylor]: Taking taylor expansion of -1 in y 86.248 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 2) 86.248 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 86.248 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.248 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.248 * [taylor]: Taking taylor expansion of 1/3 in y 86.248 * [taylor]: Taking taylor expansion of (log y) in y 86.248 * [taylor]: Taking taylor expansion of y in y 86.248 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.248 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.248 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.248 * [taylor]: Taking taylor expansion of 1/3 in y 86.248 * [taylor]: Taking taylor expansion of (log y) in y 86.248 * [taylor]: Taking taylor expansion of y in y 86.255 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 86.255 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.255 * [taylor]: Taking taylor expansion of 1/3 in y 86.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.255 * [taylor]: Taking taylor expansion of y in y 86.255 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.255 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.255 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.255 * [taylor]: Taking taylor expansion of 1/3 in y 86.255 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.255 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.255 * [taylor]: Taking taylor expansion of y in y 86.262 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 86.262 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.262 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.262 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.262 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.262 * [taylor]: Taking taylor expansion of 1/3 in y 86.262 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.262 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.262 * [taylor]: Taking taylor expansion of y in y 86.263 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.263 * [taylor]: Taking taylor expansion of -1 in y 86.263 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.263 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.263 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.263 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.263 * [taylor]: Taking taylor expansion of 1/3 in y 86.263 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.263 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.263 * [taylor]: Taking taylor expansion of y in y 86.263 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.263 * [taylor]: Taking taylor expansion of -1 in y 86.272 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1) 86.272 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 86.272 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.272 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.272 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.272 * [taylor]: Taking taylor expansion of 1/3 in y 86.272 * [taylor]: Taking taylor expansion of (log y) in y 86.272 * [taylor]: Taking taylor expansion of y in y 86.273 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 86.273 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 86.273 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 86.273 * [taylor]: Taking taylor expansion of 1/3 in y 86.273 * [taylor]: Taking taylor expansion of (log y) in y 86.273 * [taylor]: Taking taylor expansion of y in y 86.280 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 86.280 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.280 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.280 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.280 * [taylor]: Taking taylor expansion of 1/3 in y 86.280 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.281 * [taylor]: Taking taylor expansion of y in y 86.281 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.281 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.281 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.281 * [taylor]: Taking taylor expansion of 1/3 in y 86.281 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.281 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.281 * [taylor]: Taking taylor expansion of y in y 86.288 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 86.288 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.288 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.288 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.288 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.289 * [taylor]: Taking taylor expansion of 1/3 in y 86.289 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.289 * [taylor]: Taking taylor expansion of y in y 86.289 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.289 * [taylor]: Taking taylor expansion of -1 in y 86.289 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 86.289 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 86.289 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 86.289 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 86.289 * [taylor]: Taking taylor expansion of 1/3 in y 86.289 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 86.289 * [taylor]: Taking taylor expansion of (/ 1 y) in y 86.289 * [taylor]: Taking taylor expansion of y in y 86.289 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.289 * [taylor]: Taking taylor expansion of -1 in y 86.303 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 1 2 1) 86.304 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/3) in (y) around 0 86.304 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 86.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 86.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 86.304 * [taylor]: Taking taylor expansion of 1/3 in y 86.304 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 86.304 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.304 * [taylor]: Taking taylor expansion of y in y 86.304 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/3) in y 86.304 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow y 2)))) in y 86.304 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow y 2))) in y 86.304 * [taylor]: Taking taylor expansion of 1/3 in y 86.304 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 86.304 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.304 * [taylor]: Taking taylor expansion of y in y 86.311 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in (y) around 0 86.311 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 86.311 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 86.311 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 86.311 * [taylor]: Taking taylor expansion of 1/3 in y 86.311 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 86.311 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 86.311 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.311 * [taylor]: Taking taylor expansion of y in y 86.312 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 86.312 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 86.312 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 86.312 * [taylor]: Taking taylor expansion of 1/3 in y 86.312 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 86.312 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 86.312 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.312 * [taylor]: Taking taylor expansion of y in y 86.320 * [approximate]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in (y) around 0 86.320 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 86.320 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 86.320 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.320 * [taylor]: Taking taylor expansion of -1 in y 86.320 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 86.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 86.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 86.320 * [taylor]: Taking taylor expansion of 1/3 in y 86.320 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 86.320 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 86.320 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.320 * [taylor]: Taking taylor expansion of y in y 86.320 * [taylor]: Taking taylor expansion of (* (pow (cbrt -1) 2) (pow (/ 1 (pow y 2)) 1/3)) in y 86.320 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 86.320 * [taylor]: Taking taylor expansion of (cbrt -1) in y 86.320 * [taylor]: Taking taylor expansion of -1 in y 86.320 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/3) in y 86.320 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 (pow y 2))))) in y 86.320 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 (pow y 2)))) in y 86.320 * [taylor]: Taking taylor expansion of 1/3 in y 86.320 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 86.320 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 86.320 * [taylor]: Taking taylor expansion of (pow y 2) in y 86.321 * [taylor]: Taking taylor expansion of y in y 86.333 * * * [progress]: simplifying candidates 86.334 * [simplify]: Simplifying using # : (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (log (cbrt y)) (exp (cbrt y)) (cbrt (* (cbrt y) (cbrt y))) (cbrt (cbrt y)) (cbrt (sqrt y)) (cbrt (sqrt y)) (cbrt 1) (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt (cbrt y)) (* (* (cbrt y) (cbrt y)) (cbrt y)) (sqrt (cbrt y)) (sqrt (cbrt y)) (+ 1/3 1/3) (+ 1 1) (* y y) (* (cbrt y) (cbrt y)) (+ 1 1) (+ (log (cbrt y)) (log (cbrt y))) (log (* (cbrt y) (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* (* (* (cbrt y) (cbrt y)) (* (cbrt y) (cbrt y))) (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (sqrt (* (cbrt y) (cbrt y))) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt 1) (cbrt 1)) (* (cbrt y) (cbrt y)) (* (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 1 1) (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (sqrt (cbrt y))) (* 2 1/3) (* 2 1) (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* (cbrt y) (cbrt 1)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (* (cbrt y) 1) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (log y) (log 1)))) (exp (* 1/3 (- (log 1) (log (/ 1 y))))) (* (exp (* 1/3 (- (log 1) (log (/ -1 y))))) (cbrt -1)) (exp (* 1/3 (+ (* 2 (log y)) (log 1)))) (exp (* 1/3 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (cbrt -1) 2) (exp (* 1/3 (- (log 1) (* 2 (log (/ -1 y))))))) 86.335 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.335 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.335 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.336 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.336 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 86.337 * * [simplify]: iteration done : 4 enodes (cost 6 ) 86.337 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.337 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.338 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.338 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.339 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.339 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.340 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 86.340 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 86.340 * * [simplify]: iteration done : 4 enodes (cost 1 ) 86.341 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 86.341 * * [simplify]: iteration done : 2 enodes (cost 2 ) 86.342 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 86.342 * * [simplify]: iteration done : 4 enodes (cost 7 ) 86.342 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 86.343 * * [simplify]: iteration done : 3 enodes (cost 3 ) 86.343 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 86.344 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 86.344 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 86.345 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 86.346 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 86.347 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 86.349 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 86.352 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 86.360 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 86.407 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 86.878 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 89.309 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 89.309 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.310 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.310 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.310 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.311 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.311 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.312 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.312 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.313 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 89.313 * * [simplify]: iteration done : 4 enodes (cost 6 ) 89.314 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.314 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.315 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.315 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.316 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.316 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.317 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 89.317 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 89.317 * * [simplify]: iteration done : 4 enodes (cost 1 ) 89.318 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 89.318 * * [simplify]: iteration done : 2 enodes (cost 2 ) 89.319 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 89.324 * * [simplify]: iteration done : 4 enodes (cost 7 ) 89.324 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 89.325 * * [simplify]: iteration done : 3 enodes (cost 3 ) 89.325 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 89.326 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 89.327 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 89.327 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 89.328 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 89.329 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 89.331 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 89.333 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 89.342 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 89.388 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 89.859 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 92.293 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 92.294 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.294 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.295 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.295 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.295 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.296 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.296 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.297 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.297 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 92.297 * * [simplify]: iteration done : 4 enodes (cost 6 ) 92.298 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.298 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.299 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.299 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.300 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.300 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.300 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 92.301 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 92.301 * * [simplify]: iteration done : 4 enodes (cost 1 ) 92.301 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 92.302 * * [simplify]: iteration done : 2 enodes (cost 2 ) 92.302 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 92.303 * * [simplify]: iteration done : 4 enodes (cost 7 ) 92.303 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 92.303 * * [simplify]: iteration done : 3 enodes (cost 3 ) 92.304 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 92.304 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 92.305 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 92.306 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 92.307 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 92.308 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 92.310 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 92.313 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 92.321 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 92.368 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 92.835 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 95.283 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 95.284 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 95.284 * * [simplify]: iteration done : 3 enodes (cost 3 ) 95.285 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 95.285 * * [simplify]: iteration done : 3 enodes (cost 3 ) 95.285 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 95.286 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 95.286 * * [simplify]: iteration done : 5 enodes (cost 1 ) 95.286 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 95.287 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 95.287 * * [simplify]: iteration done : 6 enodes (cost 1 ) 95.288 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 95.288 * * [simplify]: iteration done : 2 enodes (cost 3 ) 95.288 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 95.289 * * [simplify]: iteration done : 3 enodes (cost 5 ) 95.289 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 95.290 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 95.290 * * [simplify]: iteration done : 6 enodes (cost 1 ) 95.291 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 95.291 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 95.292 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 95.292 * * [simplify]: iteration done : 7 enodes (cost 5 ) 95.293 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 95.293 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 95.294 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 95.295 * * [simplify]: iteration 3 : 9 enodes (cost 5 ) 95.296 * * [simplify]: iteration done : 9 enodes (cost 5 ) 95.296 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 95.297 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 95.298 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 95.299 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 95.301 * * [simplify]: iteration 4 : 33 enodes (cost 6 ) 95.307 * * [simplify]: iteration 5 : 73 enodes (cost 6 ) 95.327 * * [simplify]: iteration 6 : 177 enodes (cost 6 ) 95.427 * * [simplify]: iteration 7 : 560 enodes (cost 6 ) 96.325 * * [simplify]: iteration 8 : 2247 enodes (cost 6 ) 98.506 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 98.507 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 98.508 * * [simplify]: iteration done : 2 enodes (cost 3 ) 98.508 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 98.509 * * [simplify]: iteration done : 5 enodes (cost 13 ) 98.509 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 98.510 * * [simplify]: iteration done : 4 enodes (cost 6 ) 98.510 * * [simplify]: iteration 0 : 5 enodes (cost 17 ) 98.511 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 98.514 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 98.518 * * [simplify]: iteration 3 : 34 enodes (cost 3 ) 98.522 * * [simplify]: iteration 4 : 53 enodes (cost 3 ) 98.529 * * [simplify]: iteration 5 : 87 enodes (cost 3 ) 98.539 * * [simplify]: iteration 6 : 151 enodes (cost 3 ) 98.584 * * [simplify]: iteration 7 : 335 enodes (cost 3 ) 98.721 * * [simplify]: iteration 8 : 832 enodes (cost 3 ) 99.856 * * [simplify]: iteration 9 : 3226 enodes (cost 3 ) 101.636 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 101.637 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 101.637 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 101.638 * * [simplify]: iteration done : 5 enodes (cost 3 ) 101.638 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 101.639 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 101.639 * * [simplify]: iteration done : 5 enodes (cost 3 ) 101.640 * * [simplify]: iteration 0 : 5 enodes (cost 13 ) 101.640 * * [simplify]: iteration done : 5 enodes (cost 13 ) 101.641 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 101.641 * * [simplify]: iteration done : 4 enodes (cost 7 ) 101.642 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 101.642 * * [simplify]: iteration done : 4 enodes (cost 7 ) 101.643 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 101.643 * * [simplify]: iteration done : 4 enodes (cost 7 ) 101.644 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 101.645 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 101.645 * * [simplify]: iteration done : 5 enodes (cost 1 ) 101.646 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 101.646 * * [simplify]: iteration done : 3 enodes (cost 5 ) 101.647 * * [simplify]: iteration 0 : 5 enodes (cost 15 ) 101.648 * * [simplify]: iteration 1 : 9 enodes (cost 15 ) 101.649 * * [simplify]: iteration 2 : 11 enodes (cost 9 ) 101.651 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 101.653 * * [simplify]: iteration 4 : 35 enodes (cost 5 ) 101.658 * * [simplify]: iteration 5 : 61 enodes (cost 5 ) 101.668 * * [simplify]: iteration 6 : 131 enodes (cost 5 ) 101.715 * * [simplify]: iteration 7 : 348 enodes (cost 5 ) 102.077 * * [simplify]: iteration 8 : 1255 enodes (cost 5 ) 103.920 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 103.921 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.921 * * [simplify]: iteration done : 4 enodes (cost 7 ) 103.922 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.922 * * [simplify]: iteration done : 4 enodes (cost 2 ) 103.923 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.923 * * [simplify]: iteration done : 4 enodes (cost 2 ) 103.924 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 103.924 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 103.924 * * [simplify]: iteration done : 4 enodes (cost 1 ) 103.925 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 103.925 * * [simplify]: iteration done : 3 enodes (cost 5 ) 103.926 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.926 * * [simplify]: iteration done : 4 enodes (cost 7 ) 103.927 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.927 * * [simplify]: iteration done : 4 enodes (cost 7 ) 103.928 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 103.929 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 103.929 * * [simplify]: iteration done : 7 enodes (cost 7 ) 103.930 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 103.930 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 103.931 * * [simplify]: iteration done : 7 enodes (cost 7 ) 103.932 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 103.932 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 103.933 * * [simplify]: iteration done : 7 enodes (cost 7 ) 103.933 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 103.934 * * [simplify]: iteration 1 : 7 enodes (cost 7 ) 103.935 * * [simplify]: iteration done : 7 enodes (cost 7 ) 103.935 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.936 * * [simplify]: iteration done : 4 enodes (cost 2 ) 103.936 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 103.937 * * [simplify]: iteration done : 4 enodes (cost 2 ) 103.937 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 103.938 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 103.938 * * [simplify]: iteration done : 5 enodes (cost 1 ) 103.939 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 103.939 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 103.939 * * [simplify]: iteration done : 6 enodes (cost 1 ) 103.940 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 103.940 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 103.941 * * [simplify]: iteration done : 6 enodes (cost 9 ) 103.941 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 103.942 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 103.942 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.943 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 103.944 * * [simplify]: iteration 1 : 8 enodes (cost 4 ) 103.944 * * [simplify]: iteration done : 8 enodes (cost 4 ) 103.945 * * [simplify]: iteration 0 : 5 enodes (cost 10 ) 103.945 * * [simplify]: iteration 1 : 8 enodes (cost 10 ) 103.946 * * [simplify]: iteration 2 : 10 enodes (cost 10 ) 103.947 * * [simplify]: iteration done : 10 enodes (cost 10 ) 103.948 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.948 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 103.949 * * [simplify]: iteration done : 5 enodes (cost 6 ) 103.949 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 103.950 * * [simplify]: iteration 1 : 7 enodes (cost 2 ) 103.957 * * [simplify]: iteration 2 : 10 enodes (cost 2 ) 103.958 * * [simplify]: iteration done : 10 enodes (cost 2 ) 103.959 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.960 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 103.960 * * [simplify]: iteration done : 5 enodes (cost 6 ) 103.961 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 103.961 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 103.962 * * [simplify]: iteration done : 6 enodes (cost 6 ) 103.962 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 103.963 * * [simplify]: iteration done : 3 enodes (cost 5 ) 103.963 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.964 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 103.964 * * [simplify]: iteration done : 5 enodes (cost 6 ) 103.965 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 103.965 * * [simplify]: iteration 1 : 5 enodes (cost 6 ) 103.966 * * [simplify]: iteration done : 5 enodes (cost 6 ) 103.966 * * [simplify]: iteration 0 : 3 enodes (cost 5 ) 103.967 * * [simplify]: iteration done : 3 enodes (cost 5 ) 103.967 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 103.968 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 103.970 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 103.974 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 103.980 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 103.995 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 104.050 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 104.251 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 105.660 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 107.468 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 107.468 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 107.475 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 107.477 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 107.482 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 107.491 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 107.519 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 107.630 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 108.143 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 109.938 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 109.939 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 109.941 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 109.944 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 109.950 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 109.976 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 110.049 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 110.344 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 111.757 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 113.048 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 113.048 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 113.050 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 113.052 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 113.055 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 113.061 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 113.077 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 113.131 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 113.329 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 114.716 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 116.523 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 116.524 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 116.526 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 116.528 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 116.533 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 116.543 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 116.571 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 116.681 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 117.183 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 118.955 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 118.955 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 118.957 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 118.960 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 118.965 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 118.991 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 119.062 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 119.352 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 120.761 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 122.044 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 122.044 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 122.046 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 122.048 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 122.051 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 122.057 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 122.073 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 122.128 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 122.325 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 123.927 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 125.771 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 125.772 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 125.773 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 125.776 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 125.781 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 125.788 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 125.817 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 125.929 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 126.441 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 128.251 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 128.252 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 128.254 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 128.257 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 128.263 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 128.289 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 128.359 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 128.647 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 130.056 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 131.337 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 131.338 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 131.339 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 131.342 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 131.347 * * [simplify]: iteration 3 : 79 enodes (cost 3 ) 131.365 * * [simplify]: iteration 4 : 156 enodes (cost 3 ) 131.418 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 131.603 * * [simplify]: iteration 6 : 887 enodes (cost 3 ) 132.813 * * [simplify]: iteration 7 : 2959 enodes (cost 3 ) 134.208 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 134.209 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 134.210 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 134.213 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 134.227 * * [simplify]: iteration 3 : 131 enodes (cost 5 ) 134.268 * * [simplify]: iteration 4 : 286 enodes (cost 3 ) 134.421 * * [simplify]: iteration 5 : 617 enodes (cost 3 ) 135.342 * * [simplify]: iteration 6 : 1980 enodes (cost 3 ) 136.610 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 136.611 * * [simplify]: iteration 0 : 15 enodes (cost 17 ) 136.613 * * [simplify]: iteration 1 : 31 enodes (cost 16 ) 136.617 * * [simplify]: iteration 2 : 66 enodes (cost 14 ) 136.633 * * [simplify]: iteration 3 : 189 enodes (cost 11 ) 136.691 * * [simplify]: iteration 4 : 548 enodes (cost 10 ) 137.306 * * [simplify]: iteration 5 : 2145 enodes (cost 10 ) 138.536 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 138.536 * [simplify]: Simplified to: (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)) 2/3 2 (* y y) (* (cbrt y) (cbrt y)) 2 (* 2 (log (cbrt y))) (* 2 (log (cbrt y))) (exp (* (cbrt y) (cbrt y))) (* y y) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y))) (* y y) (fabs (cbrt y)) (fabs (cbrt y)) (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) 1 (* (cbrt y) (cbrt y)) (pow (cbrt (cbrt y)) 4) (* (cbrt (cbrt y)) (cbrt (cbrt y))) (cbrt y) (cbrt y) 1 (* (cbrt y) (cbrt y)) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (cbrt (sqrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (cbrt (sqrt y)) (sqrt (cbrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (* (sqrt (cbrt y)) (cbrt (sqrt y))) (cbrt y) (cbrt y) 2/3 2 (* (cbrt y) (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt (sqrt y))) (* 1 (cbrt y)) (* (cbrt y) (* (cbrt (cbrt y)) (cbrt (cbrt y)))) (* (cbrt y) (sqrt (cbrt y))) (cbrt y) (* (cbrt (cbrt y)) (cbrt y)) (* (cbrt (sqrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (* (cbrt (cbrt y)) (cbrt y)) (* (sqrt (cbrt y)) (cbrt y)) (* (cbrt y) (cbrt y)) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (cbrt y) (pow y 2/3) (pow y 2/3) (* (cbrt (* y y)) (pow (cbrt -1) 2)) 138.537 * * * [progress]: adding candidates to table 138.608 * * [progress]: iteration 4 / 4 138.608 * * * [progress]: picking best candidate 138.623 * * * * [pick]: Picked # 138.623 * * * [progress]: localizing error 138.640 * * * [progress]: generating rewritten candidates 138.640 * * * * [progress]: [ 1 / 4 ] rewriting at (2 2 1 2 1 2) 138.645 * * * * [progress]: [ 2 / 4 ] rewriting at (2 2 1 2 1 1 2) 138.651 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2 1 2 1 1 1) 138.656 * * * * [progress]: [ 4 / 4 ] rewriting at (2 2 2) 138.658 * * * [progress]: generating series expansions 138.658 * * * * [progress]: [ 1 / 4 ] generating series at (2 2 1 2 1 2) 138.658 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 138.658 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.658 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.658 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.658 * [taylor]: Taking taylor expansion of 1/9 in y 138.658 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.658 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.658 * [taylor]: Taking taylor expansion of y in y 138.658 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.658 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.658 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.658 * [taylor]: Taking taylor expansion of 1/9 in y 138.658 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.658 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.658 * [taylor]: Taking taylor expansion of y in y 138.669 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 138.669 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.669 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.669 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.669 * [taylor]: Taking taylor expansion of 1/9 in y 138.669 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.669 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.669 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.669 * [taylor]: Taking taylor expansion of y in y 138.670 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.670 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.670 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.670 * [taylor]: Taking taylor expansion of 1/9 in y 138.670 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.670 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.670 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.670 * [taylor]: Taking taylor expansion of y in y 138.678 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0 138.678 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.678 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.678 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.678 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.678 * [taylor]: Taking taylor expansion of 1/9 in y 138.678 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.678 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.678 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.678 * [taylor]: Taking taylor expansion of y in y 138.678 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.678 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.678 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.678 * [taylor]: Taking taylor expansion of 1/3 in y 138.678 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.678 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.679 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.679 * [taylor]: Taking taylor expansion of -1 in y 138.679 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.679 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.679 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.679 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.679 * [taylor]: Taking taylor expansion of 1/9 in y 138.679 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.679 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.679 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.679 * [taylor]: Taking taylor expansion of y in y 138.679 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.680 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.680 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.680 * [taylor]: Taking taylor expansion of 1/3 in y 138.680 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.680 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.680 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.680 * [taylor]: Taking taylor expansion of -1 in y 138.702 * * * * [progress]: [ 2 / 4 ] generating series at (2 2 1 2 1 1 2) 138.703 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 138.703 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.703 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.703 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.703 * [taylor]: Taking taylor expansion of 1/9 in y 138.703 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.703 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.703 * [taylor]: Taking taylor expansion of y in y 138.703 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.703 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.703 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.703 * [taylor]: Taking taylor expansion of 1/9 in y 138.703 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.703 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.703 * [taylor]: Taking taylor expansion of y in y 138.711 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 138.711 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.711 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.711 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.711 * [taylor]: Taking taylor expansion of 1/9 in y 138.711 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.711 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.711 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.711 * [taylor]: Taking taylor expansion of y in y 138.711 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.711 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.711 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.711 * [taylor]: Taking taylor expansion of 1/9 in y 138.711 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.711 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.711 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.711 * [taylor]: Taking taylor expansion of y in y 138.719 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0 138.719 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.719 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.719 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.719 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.719 * [taylor]: Taking taylor expansion of 1/9 in y 138.719 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.719 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.719 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.719 * [taylor]: Taking taylor expansion of y in y 138.720 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.720 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.720 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.720 * [taylor]: Taking taylor expansion of 1/3 in y 138.720 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.720 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.720 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.720 * [taylor]: Taking taylor expansion of -1 in y 138.720 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.720 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.720 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.720 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.720 * [taylor]: Taking taylor expansion of 1/9 in y 138.720 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.720 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.720 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.720 * [taylor]: Taking taylor expansion of y in y 138.721 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.721 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.721 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.721 * [taylor]: Taking taylor expansion of 1/3 in y 138.721 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.721 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.721 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.721 * [taylor]: Taking taylor expansion of -1 in y 138.744 * * * * [progress]: [ 3 / 4 ] generating series at (2 2 1 2 1 1 1) 138.744 * [approximate]: Taking taylor expansion of (pow (pow y 2) 1/9) in (y) around 0 138.744 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.744 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.744 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.744 * [taylor]: Taking taylor expansion of 1/9 in y 138.744 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.744 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.744 * [taylor]: Taking taylor expansion of y in y 138.744 * [taylor]: Taking taylor expansion of (pow (pow y 2) 1/9) in y 138.744 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (pow y 2)))) in y 138.744 * [taylor]: Taking taylor expansion of (* 1/9 (log (pow y 2))) in y 138.745 * [taylor]: Taking taylor expansion of 1/9 in y 138.745 * [taylor]: Taking taylor expansion of (log (pow y 2)) in y 138.745 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.745 * [taylor]: Taking taylor expansion of y in y 138.752 * [approximate]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in (y) around 0 138.752 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.752 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.752 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.752 * [taylor]: Taking taylor expansion of 1/9 in y 138.752 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.752 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.752 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.752 * [taylor]: Taking taylor expansion of y in y 138.753 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.753 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.753 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.753 * [taylor]: Taking taylor expansion of 1/9 in y 138.753 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.753 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.753 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.753 * [taylor]: Taking taylor expansion of y in y 138.761 * [approximate]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in (y) around 0 138.761 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.761 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.761 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.761 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.761 * [taylor]: Taking taylor expansion of 1/9 in y 138.761 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.761 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.761 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.761 * [taylor]: Taking taylor expansion of y in y 138.761 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.761 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.761 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.761 * [taylor]: Taking taylor expansion of 1/3 in y 138.761 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.761 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.761 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.761 * [taylor]: Taking taylor expansion of -1 in y 138.762 * [taylor]: Taking taylor expansion of (* (pow (/ 1 (pow y 2)) 1/9) (pow (pow (cbrt -1) 2) 1/3)) in y 138.762 * [taylor]: Taking taylor expansion of (pow (/ 1 (pow y 2)) 1/9) in y 138.762 * [taylor]: Taking taylor expansion of (exp (* 1/9 (log (/ 1 (pow y 2))))) in y 138.762 * [taylor]: Taking taylor expansion of (* 1/9 (log (/ 1 (pow y 2)))) in y 138.762 * [taylor]: Taking taylor expansion of 1/9 in y 138.762 * [taylor]: Taking taylor expansion of (log (/ 1 (pow y 2))) in y 138.762 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 138.762 * [taylor]: Taking taylor expansion of (pow y 2) in y 138.762 * [taylor]: Taking taylor expansion of y in y 138.762 * [taylor]: Taking taylor expansion of (pow (pow (cbrt -1) 2) 1/3) in y 138.762 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (pow (cbrt -1) 2)))) in y 138.762 * [taylor]: Taking taylor expansion of (* 1/3 (log (pow (cbrt -1) 2))) in y 138.762 * [taylor]: Taking taylor expansion of 1/3 in y 138.762 * [taylor]: Taking taylor expansion of (log (pow (cbrt -1) 2)) in y 138.762 * [taylor]: Taking taylor expansion of (pow (cbrt -1) 2) in y 138.762 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.762 * [taylor]: Taking taylor expansion of -1 in y 138.788 * * * * [progress]: [ 4 / 4 ] generating series at (2 2 2) 138.788 * [approximate]: Taking taylor expansion of (pow y 1/3) in (y) around 0 138.788 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 138.788 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 138.788 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 138.788 * [taylor]: Taking taylor expansion of 1/3 in y 138.789 * [taylor]: Taking taylor expansion of (log y) in y 138.789 * [taylor]: Taking taylor expansion of y in y 138.789 * [taylor]: Taking taylor expansion of (pow y 1/3) in y 138.789 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log y))) in y 138.789 * [taylor]: Taking taylor expansion of (* 1/3 (log y)) in y 138.789 * [taylor]: Taking taylor expansion of 1/3 in y 138.789 * [taylor]: Taking taylor expansion of (log y) in y 138.789 * [taylor]: Taking taylor expansion of y in y 138.796 * [approximate]: Taking taylor expansion of (pow (/ 1 y) 1/3) in (y) around 0 138.796 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 138.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 138.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 138.796 * [taylor]: Taking taylor expansion of 1/3 in y 138.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 138.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 138.796 * [taylor]: Taking taylor expansion of y in y 138.796 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 138.796 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 138.796 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 138.796 * [taylor]: Taking taylor expansion of 1/3 in y 138.796 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 138.796 * [taylor]: Taking taylor expansion of (/ 1 y) in y 138.796 * [taylor]: Taking taylor expansion of y in y 138.804 * [approximate]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in (y) around 0 138.804 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 138.804 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 138.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 138.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 138.804 * [taylor]: Taking taylor expansion of 1/3 in y 138.804 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 138.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y 138.804 * [taylor]: Taking taylor expansion of y in y 138.804 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.804 * [taylor]: Taking taylor expansion of -1 in y 138.804 * [taylor]: Taking taylor expansion of (* (pow (/ 1 y) 1/3) (cbrt -1)) in y 138.804 * [taylor]: Taking taylor expansion of (pow (/ 1 y) 1/3) in y 138.804 * [taylor]: Taking taylor expansion of (exp (* 1/3 (log (/ 1 y)))) in y 138.804 * [taylor]: Taking taylor expansion of (* 1/3 (log (/ 1 y))) in y 138.804 * [taylor]: Taking taylor expansion of 1/3 in y 138.804 * [taylor]: Taking taylor expansion of (log (/ 1 y)) in y 138.804 * [taylor]: Taking taylor expansion of (/ 1 y) in y 138.804 * [taylor]: Taking taylor expansion of y in y 138.804 * [taylor]: Taking taylor expansion of (cbrt -1) in y 138.804 * [taylor]: Taking taylor expansion of -1 in y 138.814 * * * [progress]: simplifying candidates 138.814 * [simplify]: Simplifying using # : (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (* (cbrt (* (cbrt y) (cbrt y))) (cbrt (* (cbrt y) (cbrt y)))) (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (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)) (exp (* 1/9 (+ (* 2 (log y)) (log 1)))) (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 y))))))) (exp (* 1/9 (+ (* 2 (log y)) (log 1)))) (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 2 (log (/ -1 y))))))) (exp (* 1/9 (+ (* 2 (log y)) (log 1)))) (exp (* 1/9 (- (log 1) (* 2 (log (/ 1 y)))))) (* (pow (pow (cbrt -1) 2) 1/3) (exp (* 1/9 (- (log 1) (* 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)) 138.815 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 138.816 * * [simplify]: iteration done : 5 enodes (cost 7 ) 138.817 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 138.817 * * [simplify]: iteration done : 5 enodes (cost 7 ) 138.818 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.818 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.819 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 138.819 * * [simplify]: iteration done : 3 enodes (cost 3 ) 138.820 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 138.820 * * [simplify]: iteration done : 6 enodes (cost 15 ) 138.821 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 138.821 * * [simplify]: iteration done : 5 enodes (cost 7 ) 138.822 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 138.822 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 138.823 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 138.824 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 138.826 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 138.828 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 138.831 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 138.841 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 138.889 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 139.343 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 141.951 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 141.952 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.953 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.954 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.954 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.955 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.955 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.956 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.956 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.957 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 141.957 * * [simplify]: iteration done : 3 enodes (cost 3 ) 141.958 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 141.958 * * [simplify]: iteration done : 3 enodes (cost 3 ) 141.959 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 141.959 * * [simplify]: iteration done : 6 enodes (cost 15 ) 141.960 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 141.960 * * [simplify]: iteration done : 5 enodes (cost 7 ) 141.961 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 141.961 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 141.962 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 141.963 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 141.965 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 141.971 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 141.975 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 141.984 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 142.031 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 142.481 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 144.865 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 144.866 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.867 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.867 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.868 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.868 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.869 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.869 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.870 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.871 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 144.871 * * [simplify]: iteration done : 3 enodes (cost 3 ) 144.871 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 144.872 * * [simplify]: iteration done : 3 enodes (cost 3 ) 144.872 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 144.873 * * [simplify]: iteration done : 6 enodes (cost 15 ) 144.873 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 144.874 * * [simplify]: iteration done : 5 enodes (cost 7 ) 144.875 * * [simplify]: iteration 0 : 6 enodes (cost 20 ) 144.875 * * [simplify]: iteration 1 : 7 enodes (cost 20 ) 144.876 * * [simplify]: iteration 2 : 9 enodes (cost 8 ) 144.877 * * [simplify]: iteration 3 : 14 enodes (cost 5 ) 144.879 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 144.881 * * [simplify]: iteration 5 : 30 enodes (cost 5 ) 144.885 * * [simplify]: iteration 6 : 53 enodes (cost 5 ) 144.894 * * [simplify]: iteration 7 : 118 enodes (cost 5 ) 144.942 * * [simplify]: iteration 8 : 324 enodes (cost 5 ) 145.399 * * [simplify]: iteration 9 : 1243 enodes (cost 5 ) 147.787 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 147.788 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.788 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.789 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 147.789 * * [simplify]: iteration done : 5 enodes (cost 7 ) 147.790 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.790 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.791 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.791 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.791 * * [simplify]: iteration 0 : 4 enodes (cost 6 ) 147.792 * * [simplify]: iteration done : 4 enodes (cost 6 ) 147.792 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.793 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.793 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.794 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.794 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.794 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.795 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 147.795 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 147.795 * * [simplify]: iteration done : 4 enodes (cost 1 ) 147.796 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 147.796 * * [simplify]: iteration done : 2 enodes (cost 2 ) 147.797 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 147.797 * * [simplify]: iteration done : 4 enodes (cost 7 ) 147.798 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 147.798 * * [simplify]: iteration done : 3 enodes (cost 3 ) 147.798 * * [simplify]: iteration 0 : 4 enodes (cost 8 ) 147.799 * * [simplify]: iteration 1 : 5 enodes (cost 8 ) 147.800 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 147.800 * * [simplify]: iteration 3 : 12 enodes (cost 1 ) 147.801 * * [simplify]: iteration 4 : 16 enodes (cost 1 ) 147.802 * * [simplify]: iteration 5 : 22 enodes (cost 1 ) 147.804 * * [simplify]: iteration 6 : 32 enodes (cost 1 ) 147.807 * * [simplify]: iteration 7 : 55 enodes (cost 1 ) 147.816 * * [simplify]: iteration 8 : 122 enodes (cost 1 ) 147.862 * * [simplify]: iteration 9 : 333 enodes (cost 1 ) 148.328 * * [simplify]: iteration 10 : 1272 enodes (cost 1 ) 150.720 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 150.721 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 150.721 * * [simplify]: iteration done : 3 enodes (cost 3 ) 150.722 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 150.722 * * [simplify]: iteration done : 3 enodes (cost 3 ) 150.723 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 150.724 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 150.727 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 150.733 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 150.749 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 150.802 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 150.990 * * [simplify]: iteration 6 : 889 enodes (cost 3 ) 152.206 * * [simplify]: iteration 7 : 2957 enodes (cost 3 ) 153.576 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 153.577 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 153.578 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 153.581 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 153.590 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 153.636 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 153.785 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 154.710 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 156.016 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 156.017 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 156.019 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 156.024 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 156.036 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 156.090 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 156.718 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 158.079 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 158.080 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 158.082 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 158.084 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 158.090 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 158.106 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 158.158 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 158.346 * * [simplify]: iteration 6 : 889 enodes (cost 3 ) 159.562 * * [simplify]: iteration 7 : 2957 enodes (cost 3 ) 160.929 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 160.930 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 160.937 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 160.940 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 160.955 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 160.997 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 161.147 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 162.287 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 163.612 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 163.613 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 163.615 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 163.620 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 163.631 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 163.685 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 164.308 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 165.676 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 165.677 * * [simplify]: iteration 0 : 10 enodes (cost 10 ) 165.678 * * [simplify]: iteration 1 : 23 enodes (cost 9 ) 165.681 * * [simplify]: iteration 2 : 39 enodes (cost 5 ) 165.687 * * [simplify]: iteration 3 : 78 enodes (cost 3 ) 165.707 * * [simplify]: iteration 4 : 155 enodes (cost 3 ) 165.760 * * [simplify]: iteration 5 : 314 enodes (cost 3 ) 165.948 * * [simplify]: iteration 6 : 889 enodes (cost 3 ) 167.172 * * [simplify]: iteration 7 : 2957 enodes (cost 3 ) 168.549 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 168.550 * * [simplify]: iteration 0 : 11 enodes (cost 12 ) 168.552 * * [simplify]: iteration 1 : 22 enodes (cost 10 ) 168.554 * * [simplify]: iteration 2 : 46 enodes (cost 8 ) 168.564 * * [simplify]: iteration 3 : 130 enodes (cost 5 ) 168.608 * * [simplify]: iteration 4 : 285 enodes (cost 3 ) 168.754 * * [simplify]: iteration 5 : 616 enodes (cost 3 ) 169.682 * * [simplify]: iteration 6 : 1979 enodes (cost 3 ) 171.010 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 171.011 * * [simplify]: iteration 0 : 17 enodes (cost 19 ) 171.018 * * [simplify]: iteration 1 : 38 enodes (cost 17 ) 171.024 * * [simplify]: iteration 2 : 75 enodes (cost 15 ) 171.040 * * [simplify]: iteration 3 : 199 enodes (cost 13 ) 171.094 * * [simplify]: iteration 4 : 569 enodes (cost 11 ) 171.711 * * [simplify]: iteration 5 : 2214 enodes (cost 11 ) 173.087 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 173.087 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 173.089 * * [simplify]: iteration 1 : 20 enodes (cost 7 ) 173.091 * * [simplify]: iteration 2 : 28 enodes (cost 5 ) 173.094 * * [simplify]: iteration 3 : 50 enodes (cost 2 ) 173.103 * * [simplify]: iteration 4 : 87 enodes (cost 2 ) 173.120 * * [simplify]: iteration 5 : 174 enodes (cost 2 ) 173.173 * * [simplify]: iteration 6 : 360 enodes (cost 2 ) 173.366 * * [simplify]: iteration 7 : 911 enodes (cost 2 ) 174.730 * * [simplify]: iteration 8 : 3082 enodes (cost 2 ) 176.528 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 176.528 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 176.530 * * [simplify]: iteration 1 : 19 enodes (cost 8 ) 176.532 * * [simplify]: iteration 2 : 35 enodes (cost 5 ) 176.537 * * [simplify]: iteration 3 : 72 enodes (cost 2 ) 176.550 * * [simplify]: iteration 4 : 126 enodes (cost 2 ) 176.578 * * [simplify]: iteration 5 : 264 enodes (cost 2 ) 176.689 * * [simplify]: iteration 6 : 568 enodes (cost 2 ) 177.187 * * [simplify]: iteration 7 : 1635 enodes (cost 2 ) 179.153 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 179.154 * * [simplify]: iteration 0 : 12 enodes (cost 13 ) 179.155 * * [simplify]: iteration 1 : 23 enodes (cost 12 ) 179.158 * * [simplify]: iteration 2 : 40 enodes (cost 11 ) 179.164 * * [simplify]: iteration 3 : 95 enodes (cost 10 ) 179.185 * * [simplify]: iteration 4 : 227 enodes (cost 9 ) 179.257 * * [simplify]: iteration 5 : 546 enodes (cost 7 ) 179.548 * * [simplify]: iteration 6 : 1204 enodes (cost 6 ) 180.957 * * [simplify]: iteration 7 : 3460 enodes (cost 2 ) 182.229 * * [simplify]: iteration done : 5000 enodes (cost 2 ) 182.230 * [simplify]: Simplified to: (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt y)) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt y)) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (log (cbrt (* (cbrt y) (cbrt y)))) (exp (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt y)) (cbrt (cbrt y)) (* (cbrt (cbrt (* (cbrt y) (cbrt y)))) (cbrt (cbrt (* (cbrt y) (cbrt y))))) (cbrt (cbrt (* (cbrt y) (cbrt y)))) (* (cbrt y) (cbrt y)) (sqrt (cbrt (* (cbrt y) (cbrt y)))) (sqrt (cbrt (* (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)) (pow y 2/9) (pow y 2/9) (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2))) (pow y 2/9) (pow y 2/9) (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2))) (pow y 2/9) (pow y 2/9) (* (pow (/ -1 y) -2/9) (cbrt (pow (cbrt -1) 2))) (cbrt y) (cbrt y) (cbrt y) 182.230 * * * [progress]: adding candidates to table 182.291 * [progress]: [Phase 3 of 3] Extracting. 182.291 * * [regime]: Finding splitpoints for: (# # # # # # #) 182.292 * * * [regime-changes]: Trying 3 branch expressions: ((* (* x y) (- 1.0 y)) y x) 182.292 * * * * [regimes]: Trying to branch on (* (* x y) (- 1.0 y)) from (# # # # # # #) 182.344 * * * * [regimes]: Trying to branch on y from (# # # # # # #) 182.395 * * * * [regimes]: Trying to branch on x from (# # # # # # #) 182.447 * * * [regime]: Found split indices: #