592.873 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.017 * * * [progress]: [2/2] Setting up program. 0.020 * [progress]: [Phase 2 of 3] Improving. 0.020 * [simplify]: Simplifying using # : (+ (+ (* x y) x) y) 0.021 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 0.021 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.023 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 0.025 * * [simplify]: iteration 3 : 25 enodes (cost 7 ) 0.029 * * [simplify]: iteration 4 : 33 enodes (cost 7 ) 0.034 * * [simplify]: iteration 5 : 45 enodes (cost 7 ) 0.040 * * [simplify]: iteration 6 : 51 enodes (cost 7 ) 0.044 * * [simplify]: iteration done : 51 enodes (cost 7 ) 0.044 * [simplify]: Simplified to: (+ (+ (* x y) x) y) 0.044 * * [progress]: iteration 1 / 4 0.044 * * * [progress]: picking best candidate 0.046 * * * * [pick]: Picked # 0.046 * * * [progress]: localizing error 0.051 * * * [progress]: generating rewritten candidates 0.051 * * * * [progress]: [ 1 / 1 ] rewriting at (2 1) 0.056 * * * [progress]: generating series expansions 0.057 * * * * [progress]: [ 1 / 1 ] generating series at (2 1) 0.057 * [approximate]: Taking taylor expansion of (+ (* x y) x) in (x y) around 0 0.057 * [taylor]: Taking taylor expansion of (+ (* x y) x) in y 0.057 * [taylor]: Taking taylor expansion of (* x y) in y 0.057 * [taylor]: Taking taylor expansion of x in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.057 * [taylor]: Taking taylor expansion of x in y 0.057 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x 0.057 * [taylor]: Taking taylor expansion of (* x y) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of y in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of (+ (* x y) x) in x 0.057 * [taylor]: Taking taylor expansion of (* x y) in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of y in x 0.057 * [taylor]: Taking taylor expansion of x in x 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of (+ y 1) in y 0.057 * [taylor]: Taking taylor expansion of y in y 0.057 * [taylor]: Taking taylor expansion of 1 in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.057 * [taylor]: Taking taylor expansion of 0 in y 0.058 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.058 * [taylor]: Taking taylor expansion of (* x y) in y 0.058 * [taylor]: Taking taylor expansion of x in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.058 * [taylor]: Taking taylor expansion of (* x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.058 * [taylor]: Taking taylor expansion of (* x y) in x 0.058 * [taylor]: Taking taylor expansion of x in x 0.058 * [taylor]: Taking taylor expansion of y in x 0.058 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 0.058 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.058 * [taylor]: Taking taylor expansion of y in y 0.058 * [taylor]: Taking taylor expansion of 1 in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.059 * [taylor]: Taking taylor expansion of 0 in y 0.060 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 0.060 * [taylor]: Taking taylor expansion of (* x y) in y 0.060 * [taylor]: Taking taylor expansion of x in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.060 * [taylor]: Taking taylor expansion of x in y 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.060 * [taylor]: Taking taylor expansion of (* x y) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of y in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 0.060 * [taylor]: Taking taylor expansion of (* x y) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of y in x 0.060 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.060 * [taylor]: Taking taylor expansion of x in x 0.060 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 0.060 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.060 * [taylor]: Taking taylor expansion of y in y 0.060 * [taylor]: Taking taylor expansion of 1 in y 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.061 * [taylor]: Taking taylor expansion of 0 in y 0.062 * [taylor]: Taking taylor expansion of 0 in y 0.062 * * * [progress]: simplifying candidates 0.062 * [simplify]: Simplifying using # : (* (exp (* x y)) (exp x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (* (* (+ (* x y) x) (+ (* x y) x)) (+ (* x y) x)) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (- (* x x) (* (* x y) x))) (- (* (* x y) (* x y)) (* x x)) (- (* x y) x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) 0.063 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.063 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.065 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 0.068 * * [simplify]: iteration 3 : 43 enodes (cost 6 ) 0.077 * * [simplify]: iteration 4 : 98 enodes (cost 6 ) 0.097 * * [simplify]: iteration 5 : 219 enodes (cost 6 ) 0.190 * * [simplify]: iteration 6 : 559 enodes (cost 6 ) 0.669 * * [simplify]: iteration 7 : 1746 enodes (cost 6 ) 1.970 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 1.971 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 1.972 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 1.973 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 1.974 * * [simplify]: iteration 3 : 17 enodes (cost 6 ) 1.975 * * [simplify]: iteration 4 : 24 enodes (cost 6 ) 1.979 * * [simplify]: iteration done : 24 enodes (cost 6 ) 1.979 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 1.980 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 1.981 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 1.983 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 1.990 * * [simplify]: iteration 4 : 63 enodes (cost 6 ) 2.001 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 2.027 * * [simplify]: iteration 6 : 288 enodes (cost 6 ) 2.172 * * [simplify]: iteration 7 : 752 enodes (cost 6 ) 2.941 * * [simplify]: iteration 8 : 2426 enodes (cost 6 ) 4.233 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 4.234 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 4.235 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 4.236 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 4.237 * * [simplify]: iteration 3 : 15 enodes (cost 13 ) 4.239 * * [simplify]: iteration 4 : 21 enodes (cost 13 ) 4.242 * * [simplify]: iteration done : 21 enodes (cost 13 ) 4.242 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 4.243 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 4.244 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 4.245 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 4.246 * * [simplify]: iteration 4 : 20 enodes (cost 6 ) 4.249 * * [simplify]: iteration done : 20 enodes (cost 6 ) 4.250 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 4.251 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 4.255 * * [simplify]: iteration 2 : 68 enodes (cost 7 ) 4.278 * * [simplify]: iteration 3 : 211 enodes (cost 7 ) 4.407 * * [simplify]: iteration 4 : 703 enodes (cost 7 ) 5.723 * * [simplify]: iteration 5 : 3064 enodes (cost 7 ) 7.832 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.833 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 7.833 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 7.834 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 7.835 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 7.837 * * [simplify]: iteration 4 : 20 enodes (cost 6 ) 7.840 * * [simplify]: iteration done : 20 enodes (cost 6 ) 7.840 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 7.841 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 7.842 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 7.843 * * [simplify]: iteration 3 : 14 enodes (cost 6 ) 7.844 * * [simplify]: iteration 4 : 20 enodes (cost 6 ) 7.847 * * [simplify]: iteration done : 20 enodes (cost 6 ) 7.847 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 7.849 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 7.853 * * [simplify]: iteration 2 : 63 enodes (cost 9 ) 7.874 * * [simplify]: iteration 3 : 170 enodes (cost 9 ) 7.941 * * [simplify]: iteration 4 : 384 enodes (cost 9 ) 8.207 * * [simplify]: iteration 5 : 1233 enodes (cost 9 ) 10.215 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 10.216 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 10.218 * * [simplify]: iteration 1 : 22 enodes (cost 15 ) 10.222 * * [simplify]: iteration 2 : 52 enodes (cost 13 ) 10.233 * * [simplify]: iteration 3 : 100 enodes (cost 13 ) 10.260 * * [simplify]: iteration 4 : 202 enodes (cost 11 ) 10.327 * * [simplify]: iteration 5 : 374 enodes (cost 11 ) 10.569 * * [simplify]: iteration 6 : 657 enodes (cost 11 ) 10.818 * * [simplify]: iteration 7 : 918 enodes (cost 11 ) 11.647 * * [simplify]: iteration 8 : 1649 enodes (cost 11 ) 12.949 * * [simplify]: iteration 9 : 2316 enodes (cost 11 ) 13.678 * * [simplify]: iteration 10 : 2331 enodes (cost 11 ) 14.380 * * [simplify]: iteration done : 2331 enodes (cost 11 ) 14.381 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 14.382 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 14.385 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 14.393 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 14.406 * * [simplify]: iteration 4 : 126 enodes (cost 9 ) 14.454 * * [simplify]: iteration 5 : 276 enodes (cost 9 ) 14.569 * * [simplify]: iteration 6 : 490 enodes (cost 9 ) 14.839 * * [simplify]: iteration 7 : 997 enodes (cost 9 ) 16.569 * * [simplify]: iteration 8 : 3163 enodes (cost 9 ) 19.190 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 19.190 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.191 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 19.192 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 19.193 * * [simplify]: iteration done : 8 enodes (cost 5 ) 19.193 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.194 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.200 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 19.201 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 19.203 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 19.205 * * [simplify]: iteration done : 19 enodes (cost 5 ) 19.206 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.206 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.207 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 19.208 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 19.209 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 19.212 * * [simplify]: iteration done : 19 enodes (cost 5 ) 19.212 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 19.213 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 19.214 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 19.215 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 19.216 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 19.219 * * [simplify]: iteration done : 19 enodes (cost 5 ) 19.219 * [simplify]: Simplified to: (exp (+ (* x y) x)) (log (+ (* x y) x)) (exp (+ (* x y) x)) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (pow (+ (* x y) x) 3) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (+ (pow (* x y) 3) (pow x 3)) (* (- x (* y (- x (* x y)))) x) (* x (- (* x (* y y)) x)) (- (* x y) x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) 19.219 * * * [progress]: adding candidates to table 19.234 * * [progress]: iteration 2 / 4 19.234 * * * [progress]: picking best candidate 19.236 * * * * [pick]: Picked # 19.236 * * * [progress]: localizing error 19.247 * * * [progress]: generating rewritten candidates 19.247 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1) 19.261 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1 2 1) 19.268 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 1) 19.277 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 19.284 * * * [progress]: generating series expansions 19.284 * * * * [progress]: [ 1 / 4 ] generating series at (2 1) 19.288 * [approximate]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in (x y) around 0 19.288 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in y 19.288 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in y 19.288 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y 19.288 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.288 * [taylor]: Taking taylor expansion of x in y 19.288 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.288 * [taylor]: Taking taylor expansion of y in y 19.288 * [taylor]: Taking taylor expansion of x in y 19.288 * [taylor]: Taking taylor expansion of x in y 19.288 * [taylor]: Taking taylor expansion of (- (* x y) x) in y 19.288 * [taylor]: Taking taylor expansion of (* x y) in y 19.288 * [taylor]: Taking taylor expansion of x in y 19.288 * [taylor]: Taking taylor expansion of y in y 19.288 * [taylor]: Taking taylor expansion of x in y 19.288 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in x 19.288 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 19.288 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 19.288 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.288 * [taylor]: Taking taylor expansion of x in x 19.288 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.288 * [taylor]: Taking taylor expansion of y in x 19.288 * [taylor]: Taking taylor expansion of x in x 19.288 * [taylor]: Taking taylor expansion of x in x 19.288 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 19.288 * [taylor]: Taking taylor expansion of (* x y) in x 19.288 * [taylor]: Taking taylor expansion of x in x 19.288 * [taylor]: Taking taylor expansion of y in x 19.288 * [taylor]: Taking taylor expansion of x in x 19.289 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in x 19.289 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 19.289 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 19.289 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.289 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.289 * [taylor]: Taking taylor expansion of y in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.289 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 19.289 * [taylor]: Taking taylor expansion of (* x y) in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.289 * [taylor]: Taking taylor expansion of y in x 19.289 * [taylor]: Taking taylor expansion of x in x 19.290 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) 1) (- y 1)) in y 19.290 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y 19.290 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.290 * [taylor]: Taking taylor expansion of y in y 19.290 * [taylor]: Taking taylor expansion of 1 in y 19.290 * [taylor]: Taking taylor expansion of (- y 1) in y 19.290 * [taylor]: Taking taylor expansion of y in y 19.290 * [taylor]: Taking taylor expansion of 1 in y 19.291 * [taylor]: Taking taylor expansion of 0 in y 19.291 * [taylor]: Taking taylor expansion of 0 in y 19.292 * [taylor]: Taking taylor expansion of 0 in y 19.292 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in (x y) around 0 19.292 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in y 19.293 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y 19.293 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 19.293 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.293 * [taylor]: Taking taylor expansion of x in y 19.293 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.293 * [taylor]: Taking taylor expansion of y in y 19.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.293 * [taylor]: Taking taylor expansion of x in y 19.293 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in y 19.293 * [taylor]: Taking taylor expansion of x in y 19.293 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 19.293 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.293 * [taylor]: Taking taylor expansion of (* x y) in y 19.293 * [taylor]: Taking taylor expansion of x in y 19.293 * [taylor]: Taking taylor expansion of y in y 19.293 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.293 * [taylor]: Taking taylor expansion of x in y 19.293 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x 19.293 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 19.293 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.293 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.293 * [taylor]: Taking taylor expansion of x in x 19.293 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.293 * [taylor]: Taking taylor expansion of y in x 19.293 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.293 * [taylor]: Taking taylor expansion of x in x 19.293 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x 19.293 * [taylor]: Taking taylor expansion of x in x 19.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 19.294 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.294 * [taylor]: Taking taylor expansion of (* x y) in x 19.294 * [taylor]: Taking taylor expansion of x in x 19.294 * [taylor]: Taking taylor expansion of y in x 19.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.294 * [taylor]: Taking taylor expansion of x in x 19.294 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x 19.294 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 19.294 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.294 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.294 * [taylor]: Taking taylor expansion of x in x 19.294 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.294 * [taylor]: Taking taylor expansion of y in x 19.294 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.295 * [taylor]: Taking taylor expansion of x in x 19.295 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x 19.295 * [taylor]: Taking taylor expansion of x in x 19.295 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 19.295 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.295 * [taylor]: Taking taylor expansion of (* x y) in x 19.295 * [taylor]: Taking taylor expansion of x in x 19.295 * [taylor]: Taking taylor expansion of y in x 19.295 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.295 * [taylor]: Taking taylor expansion of x in x 19.295 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) 1) (- (/ 1 y) 1)) in y 19.295 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y 19.295 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.295 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.295 * [taylor]: Taking taylor expansion of y in y 19.295 * [taylor]: Taking taylor expansion of 1 in y 19.295 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 19.295 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.295 * [taylor]: Taking taylor expansion of y in y 19.295 * [taylor]: Taking taylor expansion of 1 in y 19.296 * [taylor]: Taking taylor expansion of 0 in y 19.297 * [taylor]: Taking taylor expansion of 0 in y 19.298 * [taylor]: Taking taylor expansion of 0 in y 19.300 * [taylor]: Taking taylor expansion of 0 in y 19.301 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in (x y) around 0 19.301 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in y 19.301 * [taylor]: Taking taylor expansion of -1 in y 19.301 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in y 19.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y 19.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 19.301 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.301 * [taylor]: Taking taylor expansion of y in y 19.301 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 19.301 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.301 * [taylor]: Taking taylor expansion of (* x y) in y 19.301 * [taylor]: Taking taylor expansion of x in y 19.301 * [taylor]: Taking taylor expansion of y in y 19.301 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x 19.301 * [taylor]: Taking taylor expansion of -1 in x 19.301 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x 19.301 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 19.301 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.301 * [taylor]: Taking taylor expansion of x in x 19.301 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.301 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.301 * [taylor]: Taking taylor expansion of x in x 19.301 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.302 * [taylor]: Taking taylor expansion of y in x 19.302 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x 19.302 * [taylor]: Taking taylor expansion of x in x 19.302 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 19.302 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.302 * [taylor]: Taking taylor expansion of x in x 19.302 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.302 * [taylor]: Taking taylor expansion of (* x y) in x 19.302 * [taylor]: Taking taylor expansion of x in x 19.302 * [taylor]: Taking taylor expansion of y in x 19.302 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x 19.302 * [taylor]: Taking taylor expansion of -1 in x 19.303 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x 19.303 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 19.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.303 * [taylor]: Taking taylor expansion of x in x 19.303 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.303 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.303 * [taylor]: Taking taylor expansion of x in x 19.303 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.303 * [taylor]: Taking taylor expansion of y in x 19.303 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x 19.303 * [taylor]: Taking taylor expansion of x in x 19.303 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 19.303 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.303 * [taylor]: Taking taylor expansion of x in x 19.303 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.303 * [taylor]: Taking taylor expansion of (* x y) in x 19.303 * [taylor]: Taking taylor expansion of x in x 19.303 * [taylor]: Taking taylor expansion of y in x 19.304 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1))) in y 19.304 * [taylor]: Taking taylor expansion of -1 in y 19.304 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1)) in y 19.304 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y 19.304 * [taylor]: Taking taylor expansion of 1 in y 19.304 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.304 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.304 * [taylor]: Taking taylor expansion of y in y 19.304 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 19.304 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.304 * [taylor]: Taking taylor expansion of y in y 19.304 * [taylor]: Taking taylor expansion of 1 in y 19.305 * [taylor]: Taking taylor expansion of 0 in y 19.306 * [taylor]: Taking taylor expansion of 0 in y 19.308 * [taylor]: Taking taylor expansion of 0 in y 19.309 * [taylor]: Taking taylor expansion of 0 in y 19.310 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1 2 1) 19.310 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 19.310 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.310 * [taylor]: Taking taylor expansion of x in y 19.310 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.310 * [taylor]: Taking taylor expansion of y in y 19.310 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.310 * [taylor]: Taking taylor expansion of x in x 19.310 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.310 * [taylor]: Taking taylor expansion of y in x 19.310 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.310 * [taylor]: Taking taylor expansion of x in x 19.310 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.310 * [taylor]: Taking taylor expansion of y in x 19.310 * [taylor]: Taking taylor expansion of 0 in y 19.310 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.310 * [taylor]: Taking taylor expansion of y in y 19.310 * [taylor]: Taking taylor expansion of 0 in y 19.311 * [taylor]: Taking taylor expansion of 0 in y 19.311 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 19.311 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 19.311 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.311 * [taylor]: Taking taylor expansion of x in y 19.311 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.311 * [taylor]: Taking taylor expansion of y in y 19.311 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.311 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.311 * [taylor]: Taking taylor expansion of x in x 19.311 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.311 * [taylor]: Taking taylor expansion of y in x 19.311 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.311 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.311 * [taylor]: Taking taylor expansion of x in x 19.311 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.311 * [taylor]: Taking taylor expansion of y in x 19.312 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.312 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.312 * [taylor]: Taking taylor expansion of y in y 19.312 * [taylor]: Taking taylor expansion of 0 in y 19.312 * [taylor]: Taking taylor expansion of 0 in y 19.313 * [taylor]: Taking taylor expansion of 0 in y 19.313 * [taylor]: Taking taylor expansion of 0 in y 19.314 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 19.314 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 19.314 * [taylor]: Taking taylor expansion of -1 in y 19.314 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.314 * [taylor]: Taking taylor expansion of x in y 19.314 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.314 * [taylor]: Taking taylor expansion of y in y 19.314 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 19.314 * [taylor]: Taking taylor expansion of -1 in x 19.314 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.314 * [taylor]: Taking taylor expansion of x in x 19.314 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.314 * [taylor]: Taking taylor expansion of y in x 19.314 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 19.314 * [taylor]: Taking taylor expansion of -1 in x 19.314 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.314 * [taylor]: Taking taylor expansion of x in x 19.314 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.314 * [taylor]: Taking taylor expansion of y in x 19.315 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 19.315 * [taylor]: Taking taylor expansion of -1 in y 19.315 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.315 * [taylor]: Taking taylor expansion of y in y 19.315 * [taylor]: Taking taylor expansion of 0 in y 19.316 * [taylor]: Taking taylor expansion of 0 in y 19.316 * [taylor]: Taking taylor expansion of 0 in y 19.317 * [taylor]: Taking taylor expansion of 0 in y 19.317 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 1) 19.318 * [approximate]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in (x y) around 0 19.318 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in y 19.318 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y 19.318 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.318 * [taylor]: Taking taylor expansion of x in y 19.318 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.318 * [taylor]: Taking taylor expansion of y in y 19.318 * [taylor]: Taking taylor expansion of x in y 19.318 * [taylor]: Taking taylor expansion of x in y 19.318 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 19.318 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 19.318 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.318 * [taylor]: Taking taylor expansion of y in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 19.318 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 19.318 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.318 * [taylor]: Taking taylor expansion of y in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of x in x 19.318 * [taylor]: Taking taylor expansion of 0 in y 19.319 * [taylor]: Taking taylor expansion of 0 in y 19.319 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y 19.319 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.319 * [taylor]: Taking taylor expansion of y in y 19.319 * [taylor]: Taking taylor expansion of 1 in y 19.320 * [taylor]: Taking taylor expansion of 0 in y 19.320 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in (x y) around 0 19.320 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in y 19.320 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y 19.320 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 19.320 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.320 * [taylor]: Taking taylor expansion of x in y 19.320 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.320 * [taylor]: Taking taylor expansion of y in y 19.320 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.320 * [taylor]: Taking taylor expansion of x in y 19.320 * [taylor]: Taking taylor expansion of x in y 19.320 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x 19.320 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 19.320 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.320 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.320 * [taylor]: Taking taylor expansion of x in x 19.320 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.320 * [taylor]: Taking taylor expansion of y in x 19.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.321 * [taylor]: Taking taylor expansion of x in x 19.321 * [taylor]: Taking taylor expansion of x in x 19.321 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) x) in x 19.321 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 19.321 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.321 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.321 * [taylor]: Taking taylor expansion of x in x 19.321 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.321 * [taylor]: Taking taylor expansion of y in x 19.321 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.321 * [taylor]: Taking taylor expansion of x in x 19.321 * [taylor]: Taking taylor expansion of x in x 19.321 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y 19.321 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.321 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.321 * [taylor]: Taking taylor expansion of y in y 19.322 * [taylor]: Taking taylor expansion of 1 in y 19.322 * [taylor]: Taking taylor expansion of 0 in y 19.323 * [taylor]: Taking taylor expansion of 0 in y 19.323 * [taylor]: Taking taylor expansion of 0 in y 19.324 * [taylor]: Taking taylor expansion of 0 in y 19.325 * [taylor]: Taking taylor expansion of 0 in y 19.326 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in (x y) around 0 19.326 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in y 19.326 * [taylor]: Taking taylor expansion of -1 in y 19.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in y 19.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y 19.326 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.326 * [taylor]: Taking taylor expansion of x in y 19.326 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 19.326 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 19.326 * [taylor]: Taking taylor expansion of x in y 19.326 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.326 * [taylor]: Taking taylor expansion of y in y 19.326 * [taylor]: Taking taylor expansion of x in y 19.326 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x 19.326 * [taylor]: Taking taylor expansion of -1 in x 19.326 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x 19.326 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 19.326 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.326 * [taylor]: Taking taylor expansion of x in x 19.326 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.326 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.326 * [taylor]: Taking taylor expansion of x in x 19.326 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.326 * [taylor]: Taking taylor expansion of y in x 19.327 * [taylor]: Taking taylor expansion of x in x 19.327 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x)) in x 19.327 * [taylor]: Taking taylor expansion of -1 in x 19.327 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) x) in x 19.327 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 19.327 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.327 * [taylor]: Taking taylor expansion of x in x 19.327 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 19.327 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 19.327 * [taylor]: Taking taylor expansion of x in x 19.327 * [taylor]: Taking taylor expansion of (pow y 2) in x 19.327 * [taylor]: Taking taylor expansion of y in x 19.328 * [taylor]: Taking taylor expansion of x in x 19.328 * [taylor]: Taking taylor expansion of (* -1 (- 1 (/ 1 (pow y 2)))) in y 19.328 * [taylor]: Taking taylor expansion of -1 in y 19.328 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y 19.328 * [taylor]: Taking taylor expansion of 1 in y 19.328 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 19.328 * [taylor]: Taking taylor expansion of (pow y 2) in y 19.328 * [taylor]: Taking taylor expansion of y in y 19.329 * [taylor]: Taking taylor expansion of 0 in y 19.330 * [taylor]: Taking taylor expansion of 0 in y 19.331 * [taylor]: Taking taylor expansion of 0 in y 19.332 * [taylor]: Taking taylor expansion of 0 in y 19.333 * [taylor]: Taking taylor expansion of 0 in y 19.333 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 19.333 * [approximate]: Taking taylor expansion of (- (* x y) x) in (x y) around 0 19.333 * [taylor]: Taking taylor expansion of (- (* x y) x) in y 19.333 * [taylor]: Taking taylor expansion of (* x y) in y 19.333 * [taylor]: Taking taylor expansion of x in y 19.333 * [taylor]: Taking taylor expansion of y in y 19.333 * [taylor]: Taking taylor expansion of x in y 19.333 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 19.333 * [taylor]: Taking taylor expansion of (* x y) in x 19.333 * [taylor]: Taking taylor expansion of x in x 19.333 * [taylor]: Taking taylor expansion of y in x 19.333 * [taylor]: Taking taylor expansion of x in x 19.333 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 19.333 * [taylor]: Taking taylor expansion of (* x y) in x 19.333 * [taylor]: Taking taylor expansion of x in x 19.333 * [taylor]: Taking taylor expansion of y in x 19.333 * [taylor]: Taking taylor expansion of x in x 19.334 * [taylor]: Taking taylor expansion of 0 in y 19.334 * [taylor]: Taking taylor expansion of (- y 1) in y 19.334 * [taylor]: Taking taylor expansion of y in y 19.334 * [taylor]: Taking taylor expansion of 1 in y 19.334 * [taylor]: Taking taylor expansion of 0 in y 19.334 * [taylor]: Taking taylor expansion of 0 in y 19.334 * [taylor]: Taking taylor expansion of 0 in y 19.334 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 19.334 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 19.334 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.334 * [taylor]: Taking taylor expansion of (* x y) in y 19.334 * [taylor]: Taking taylor expansion of x in y 19.334 * [taylor]: Taking taylor expansion of y in y 19.334 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.334 * [taylor]: Taking taylor expansion of x in y 19.334 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 19.334 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.334 * [taylor]: Taking taylor expansion of (* x y) in x 19.335 * [taylor]: Taking taylor expansion of x in x 19.335 * [taylor]: Taking taylor expansion of y in x 19.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.335 * [taylor]: Taking taylor expansion of x in x 19.335 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 19.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.335 * [taylor]: Taking taylor expansion of (* x y) in x 19.335 * [taylor]: Taking taylor expansion of x in x 19.335 * [taylor]: Taking taylor expansion of y in x 19.335 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.335 * [taylor]: Taking taylor expansion of x in x 19.335 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 19.335 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.335 * [taylor]: Taking taylor expansion of y in y 19.335 * [taylor]: Taking taylor expansion of 1 in y 19.335 * [taylor]: Taking taylor expansion of 0 in y 19.335 * [taylor]: Taking taylor expansion of 0 in y 19.336 * [taylor]: Taking taylor expansion of 0 in y 19.336 * [taylor]: Taking taylor expansion of 0 in y 19.336 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 19.336 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 19.336 * [taylor]: Taking taylor expansion of (/ 1 x) in y 19.336 * [taylor]: Taking taylor expansion of x in y 19.336 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 19.336 * [taylor]: Taking taylor expansion of (* x y) in y 19.336 * [taylor]: Taking taylor expansion of x in y 19.336 * [taylor]: Taking taylor expansion of y in y 19.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 19.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.337 * [taylor]: Taking taylor expansion of x in x 19.337 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.337 * [taylor]: Taking taylor expansion of (* x y) in x 19.337 * [taylor]: Taking taylor expansion of x in x 19.337 * [taylor]: Taking taylor expansion of y in x 19.337 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 19.337 * [taylor]: Taking taylor expansion of (/ 1 x) in x 19.337 * [taylor]: Taking taylor expansion of x in x 19.337 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 19.337 * [taylor]: Taking taylor expansion of (* x y) in x 19.337 * [taylor]: Taking taylor expansion of x in x 19.337 * [taylor]: Taking taylor expansion of y in x 19.337 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 19.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 19.337 * [taylor]: Taking taylor expansion of y in y 19.337 * [taylor]: Taking taylor expansion of 1 in y 19.337 * [taylor]: Taking taylor expansion of 0 in y 19.337 * [taylor]: Taking taylor expansion of 0 in y 19.338 * [taylor]: Taking taylor expansion of 0 in y 19.338 * [taylor]: Taking taylor expansion of 0 in y 19.338 * * * [progress]: simplifying candidates 19.339 * [simplify]: Simplifying using # : (- (+ (log x) (log (- (* x (* y y)) x))) (log (- (* x y) x))) (- (log (* x (- (* x (* y y)) x))) (log (- (* x y) x))) (log (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (exp (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (/ (* (* (* x x) x) (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x))) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x))) (/ (* (* (* x (- (* x (* y y)) x)) (* x (- (* x (* y y)) x))) (* x (- (* x (* y y)) x))) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x))) (* (cbrt (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (cbrt (/ (* x (- (* x (* y y)) x)) (- (* x y) x)))) (cbrt (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (* (* (/ (* x (- (* x (* y y)) x)) (- (* x y) x)) (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (sqrt (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (sqrt (/ (* x (- (* x (* y y)) x)) (- (* x y) x))) (neg (* x (- (* x (* y y)) x))) (neg (- (* x y) x)) (/ x (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (cbrt (- (* x y) x))) (/ x (sqrt (- (* x y) x))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) (/ x 1) (/ (- (* x (* y y)) x) (- (* x y) x)) (/ 1 (- (* x y) x)) (/ (- (* x y) x) (* x (- (* x (* y y)) x))) (/ (* x (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (* x (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (/ (* x (- (* x (* y y)) x)) 1) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (* x (- (* x (* y y)) x)) (- (pow (* x y) 3) (pow x 3))) (/ (* x (- (* x (* y y)) x)) (- (* (* x y) (* x y)) (* x x))) (* (- (* x y) x) (+ (* (* x (* y y)) (* x (* y y))) (+ (* x x) (* (* x (* y y)) x)))) (* (- (* x y) x) (+ (* x (* y y)) x)) (* x (* y y)) (* x (* y y)) (+ (log x) (+ (log y) (log y))) (+ (log x) (log (* y y))) (log (* x (* y y))) (exp (* x (* y y))) (* (* (* x x) x) (* (* (* y y) y) (* (* y y) y))) (* (* (* x x) x) (* (* (* y y) (* y y)) (* y y))) (* (cbrt (* x (* y y))) (cbrt (* x (* y y)))) (cbrt (* x (* y y))) (* (* (* x (* y y)) (* x (* y y))) (* x (* y y))) (sqrt (* x (* y y))) (sqrt (* x (* y y))) (* (sqrt x) y) (* (sqrt x) y) (* x y) (* (cbrt x) (* y y)) (* (sqrt x) (* y y)) (* x (* y y)) (* x (- (* x (* y y)) x)) (+ (log x) (log (- (* x (* y y)) x))) (log (* x (- (* x (* y y)) x))) (exp (* x (- (* x (* y y)) x))) (* (* (* x x) x) (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x))) (* (cbrt (* x (- (* x (* y y)) x))) (cbrt (* x (- (* x (* y y)) x)))) (cbrt (* x (- (* x (* y y)) x))) (* (* (* x (- (* x (* y y)) x)) (* x (- (* x (* y y)) x))) (* x (- (* x (* y y)) x))) (sqrt (* x (- (* x (* y y)) x))) (sqrt (* x (- (* x (* y y)) x))) (* (sqrt x) (sqrt (- (* x (* y y)) x))) (* (sqrt x) (sqrt (- (* x (* y y)) x))) (* x (* x (* y y))) (* x (neg x)) (* x (* x (* y y))) (* x (neg x)) (* (* x (* y y)) x) (* (neg x) x) (* (* x (* y y)) x) (* (neg x) x) (* x (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x)))) (* x (sqrt (- (* x (* y y)) x))) (* x 1) (* (cbrt x) (- (* x (* y y)) x)) (* (sqrt x) (- (* x (* y y)) x)) (* x (- (* x (* y y)) x)) (* x (- (pow (* x (* y y)) 3) (pow x 3))) (* x (- (* (* x (* y y)) (* x (* y y))) (* x x))) (/ (exp (* x y)) (exp x)) (log (- (* x y) x)) (exp (- (* x y) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))) (cbrt (- (* x y) x)) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x)) (sqrt (- (* x y) x)) (sqrt (- (* x y) x)) (- (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (+ (* x x) (* (* x y) x))) (neg x) (- (* (* x y) (* x y)) (* x x)) (+ (* x y) x) (neg x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (* -1 (pow x 2)) (- (* (pow x 2) (pow y 2)) (pow x 2)) (- (* (pow x 2) (pow y 2)) (pow x 2)) (- (* x y) x) (- (* x y) x) (- (* x y) x) 19.340 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 19.342 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 19.345 * * [simplify]: iteration 2 : 33 enodes (cost 18 ) 19.349 * * [simplify]: iteration 3 : 39 enodes (cost 18 ) 19.354 * * [simplify]: iteration 4 : 45 enodes (cost 18 ) 19.359 * * [simplify]: iteration 5 : 54 enodes (cost 18 ) 19.371 * * [simplify]: iteration 6 : 67 enodes (cost 18 ) 19.381 * * [simplify]: iteration 7 : 85 enodes (cost 18 ) 19.392 * * [simplify]: iteration 8 : 101 enodes (cost 18 ) 19.404 * * [simplify]: iteration 9 : 108 enodes (cost 18 ) 19.419 * * [simplify]: iteration 10 : 125 enodes (cost 18 ) 19.438 * * [simplify]: iteration 11 : 127 enodes (cost 18 ) 19.452 * * [simplify]: iteration done : 127 enodes (cost 18 ) 19.453 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 19.455 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 19.458 * * [simplify]: iteration 2 : 38 enodes (cost 17 ) 19.463 * * [simplify]: iteration 3 : 57 enodes (cost 17 ) 19.471 * * [simplify]: iteration 4 : 67 enodes (cost 17 ) 19.484 * * [simplify]: iteration 5 : 75 enodes (cost 17 ) 19.494 * * [simplify]: iteration 6 : 99 enodes (cost 17 ) 19.511 * * [simplify]: iteration 7 : 160 enodes (cost 17 ) 19.547 * * [simplify]: iteration 8 : 296 enodes (cost 8 ) 19.654 * * [simplify]: iteration 9 : 557 enodes (cost 6 ) 19.972 * * [simplify]: iteration 10 : 1238 enodes (cost 6 ) 23.097 * * [simplify]: iteration 11 : 4803 enodes (cost 6 ) 24.270 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 24.271 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 24.273 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 24.276 * * [simplify]: iteration 2 : 46 enodes (cost 16 ) 24.283 * * [simplify]: iteration 3 : 95 enodes (cost 16 ) 24.299 * * [simplify]: iteration 4 : 163 enodes (cost 14 ) 24.337 * * [simplify]: iteration 5 : 253 enodes (cost 12 ) 24.390 * * [simplify]: iteration 6 : 362 enodes (cost 12 ) 24.513 * * [simplify]: iteration 7 : 725 enodes (cost 8 ) 27.234 * * [simplify]: iteration 8 : 4201 enodes (cost 6 ) 29.178 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 29.178 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 29.180 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 29.182 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 29.188 * * [simplify]: iteration 3 : 70 enodes (cost 16 ) 29.200 * * [simplify]: iteration 4 : 137 enodes (cost 14 ) 29.236 * * [simplify]: iteration 5 : 260 enodes (cost 12 ) 29.291 * * [simplify]: iteration 6 : 463 enodes (cost 12 ) 29.506 * * [simplify]: iteration 7 : 1336 enodes (cost 8 ) 30.944 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 30.945 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 30.948 * * [simplify]: iteration 1 : 36 enodes (cost 47 ) 30.955 * * [simplify]: iteration 2 : 165 enodes (cost 21 ) 31.017 * * [simplify]: iteration 3 : 850 enodes (cost 21 ) 32.008 * * [simplify]: iteration 4 : 4103 enodes (cost 19 ) 33.817 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 33.818 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 33.820 * * [simplify]: iteration 1 : 38 enodes (cost 47 ) 33.829 * * [simplify]: iteration 2 : 178 enodes (cost 19 ) 33.915 * * [simplify]: iteration 3 : 999 enodes (cost 17 ) 35.575 * * [simplify]: iteration 4 : 4527 enodes (cost 15 ) 36.983 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 36.984 * * [simplify]: iteration 0 : 11 enodes (cost 33 ) 36.986 * * [simplify]: iteration 1 : 20 enodes (cost 33 ) 36.989 * * [simplify]: iteration 2 : 36 enodes (cost 33 ) 36.995 * * [simplify]: iteration 3 : 69 enodes (cost 33 ) 37.012 * * [simplify]: iteration 4 : 122 enodes (cost 29 ) 37.041 * * [simplify]: iteration 5 : 211 enodes (cost 25 ) 37.085 * * [simplify]: iteration 6 : 306 enodes (cost 25 ) 37.200 * * [simplify]: iteration 7 : 642 enodes (cost 17 ) 39.883 * * [simplify]: iteration 8 : 4083 enodes (cost 13 ) 41.750 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 41.751 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 41.752 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 41.755 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 41.760 * * [simplify]: iteration 3 : 68 enodes (cost 16 ) 41.772 * * [simplify]: iteration 4 : 120 enodes (cost 14 ) 41.805 * * [simplify]: iteration 5 : 207 enodes (cost 12 ) 41.845 * * [simplify]: iteration 6 : 302 enodes (cost 12 ) 41.961 * * [simplify]: iteration 7 : 638 enodes (cost 8 ) 44.816 * * [simplify]: iteration 8 : 4048 enodes (cost 6 ) 46.841 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 46.842 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 46.844 * * [simplify]: iteration 1 : 27 enodes (cost 47 ) 46.855 * * [simplify]: iteration 2 : 80 enodes (cost 17 ) 46.878 * * [simplify]: iteration 3 : 358 enodes (cost 17 ) 47.206 * * [simplify]: iteration 4 : 1995 enodes (cost 15 ) 48.868 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 48.869 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 48.878 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 48.881 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 48.886 * * [simplify]: iteration 3 : 68 enodes (cost 16 ) 48.898 * * [simplify]: iteration 4 : 120 enodes (cost 14 ) 48.926 * * [simplify]: iteration 5 : 207 enodes (cost 12 ) 48.971 * * [simplify]: iteration 6 : 302 enodes (cost 12 ) 49.088 * * [simplify]: iteration 7 : 638 enodes (cost 8 ) 51.770 * * [simplify]: iteration 8 : 4048 enodes (cost 6 ) 53.821 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 53.822 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 53.823 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 53.826 * * [simplify]: iteration 2 : 35 enodes (cost 16 ) 53.832 * * [simplify]: iteration 3 : 68 enodes (cost 16 ) 53.852 * * [simplify]: iteration 4 : 120 enodes (cost 14 ) 53.880 * * [simplify]: iteration 5 : 207 enodes (cost 12 ) 53.925 * * [simplify]: iteration 6 : 302 enodes (cost 12 ) 54.043 * * [simplify]: iteration 7 : 638 enodes (cost 8 ) 56.917 * * [simplify]: iteration 8 : 4048 enodes (cost 6 ) 58.977 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 58.978 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 58.979 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 58.981 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 58.989 * * [simplify]: iteration 3 : 80 enodes (cost 10 ) 59.015 * * [simplify]: iteration 4 : 125 enodes (cost 9 ) 59.046 * * [simplify]: iteration 5 : 204 enodes (cost 9 ) 59.163 * * [simplify]: iteration 6 : 369 enodes (cost 9 ) 59.293 * * [simplify]: iteration 7 : 558 enodes (cost 9 ) 59.572 * * [simplify]: iteration 8 : 872 enodes (cost 9 ) 60.282 * * [simplify]: iteration 9 : 1538 enodes (cost 9 ) 64.090 * * [simplify]: iteration 10 : 3804 enodes (cost 9 ) 65.757 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 65.758 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 65.758 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 65.759 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 65.761 * * [simplify]: iteration 3 : 19 enodes (cost 6 ) 65.763 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 65.766 * * [simplify]: iteration 5 : 23 enodes (cost 5 ) 65.768 * * [simplify]: iteration 6 : 27 enodes (cost 5 ) 65.772 * * [simplify]: iteration 7 : 34 enodes (cost 5 ) 65.777 * * [simplify]: iteration 8 : 35 enodes (cost 5 ) 65.780 * * [simplify]: iteration done : 35 enodes (cost 5 ) 65.781 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 65.781 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 65.783 * * [simplify]: iteration 2 : 13 enodes (cost 15 ) 65.785 * * [simplify]: iteration done : 13 enodes (cost 15 ) 65.785 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 65.786 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 65.789 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 65.793 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 65.803 * * [simplify]: iteration 4 : 57 enodes (cost 14 ) 65.811 * * [simplify]: iteration 5 : 62 enodes (cost 14 ) 65.820 * * [simplify]: iteration 6 : 64 enodes (cost 14 ) 65.828 * * [simplify]: iteration done : 64 enodes (cost 14 ) 65.829 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 65.830 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 65.831 * * [simplify]: iteration 2 : 10 enodes (cost 8 ) 65.832 * * [simplify]: iteration done : 10 enodes (cost 8 ) 65.832 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 65.834 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 65.836 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 65.841 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 65.848 * * [simplify]: iteration 4 : 57 enodes (cost 14 ) 65.855 * * [simplify]: iteration 5 : 62 enodes (cost 14 ) 65.866 * * [simplify]: iteration 6 : 64 enodes (cost 14 ) 65.875 * * [simplify]: iteration done : 64 enodes (cost 14 ) 65.875 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 65.876 * * [simplify]: iteration 1 : 5 enodes (cost 1 ) 65.876 * * [simplify]: iteration done : 5 enodes (cost 1 ) 65.877 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 65.878 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 65.880 * * [simplify]: iteration 2 : 28 enodes (cost 13 ) 65.884 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 65.893 * * [simplify]: iteration 4 : 96 enodes (cost 13 ) 65.918 * * [simplify]: iteration 5 : 142 enodes (cost 13 ) 65.952 * * [simplify]: iteration 6 : 221 enodes (cost 13 ) 66.227 * * [simplify]: iteration 7 : 786 enodes (cost 13 ) 69.495 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 69.496 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 69.497 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 69.502 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 69.503 * * [simplify]: iteration done : 12 enodes (cost 7 ) 69.504 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 69.505 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 69.509 * * [simplify]: iteration 2 : 53 enodes (cost 15 ) 69.518 * * [simplify]: iteration 3 : 103 enodes (cost 13 ) 69.539 * * [simplify]: iteration 4 : 144 enodes (cost 11 ) 69.619 * * [simplify]: iteration 5 : 389 enodes (cost 11 ) 70.658 * * [simplify]: iteration 6 : 1834 enodes (cost 11 ) 73.274 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 73.274 * * [simplify]: iteration 0 : 11 enodes (cost 23 ) 73.276 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 73.280 * * [simplify]: iteration 2 : 50 enodes (cost 23 ) 73.288 * * [simplify]: iteration 3 : 104 enodes (cost 23 ) 73.307 * * [simplify]: iteration 4 : 205 enodes (cost 23 ) 73.364 * * [simplify]: iteration 5 : 350 enodes (cost 23 ) 73.510 * * [simplify]: iteration 6 : 502 enodes (cost 23 ) 73.714 * * [simplify]: iteration 7 : 602 enodes (cost 23 ) 73.951 * * [simplify]: iteration 8 : 806 enodes (cost 23 ) 74.412 * * [simplify]: iteration 9 : 1360 enodes (cost 23 ) 75.502 * * [simplify]: iteration 10 : 2721 enodes (cost 23 ) 78.297 * * [simplify]: iteration done : 5000 enodes (cost 23 ) 78.297 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 78.299 * * [simplify]: iteration 1 : 19 enodes (cost 16 ) 78.301 * * [simplify]: iteration 2 : 32 enodes (cost 16 ) 78.306 * * [simplify]: iteration 3 : 56 enodes (cost 16 ) 78.321 * * [simplify]: iteration 4 : 96 enodes (cost 16 ) 78.339 * * [simplify]: iteration 5 : 140 enodes (cost 16 ) 78.373 * * [simplify]: iteration 6 : 186 enodes (cost 16 ) 78.411 * * [simplify]: iteration 7 : 245 enodes (cost 16 ) 78.472 * * [simplify]: iteration 8 : 370 enodes (cost 16 ) 78.634 * * [simplify]: iteration 9 : 639 enodes (cost 16 ) 78.969 * * [simplify]: iteration 10 : 1307 enodes (cost 16 ) 80.631 * * [simplify]: iteration 11 : 3739 enodes (cost 16 ) 82.511 * * [simplify]: iteration done : 5000 enodes (cost 16 ) 82.512 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 82.513 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 82.515 * * [simplify]: iteration 2 : 35 enodes (cost 9 ) 82.522 * * [simplify]: iteration 3 : 65 enodes (cost 9 ) 82.536 * * [simplify]: iteration 4 : 93 enodes (cost 9 ) 82.552 * * [simplify]: iteration 5 : 153 enodes (cost 9 ) 82.600 * * [simplify]: iteration 6 : 277 enodes (cost 9 ) 82.654 * * [simplify]: iteration 7 : 355 enodes (cost 9 ) 82.711 * * [simplify]: iteration 8 : 468 enodes (cost 9 ) 82.867 * * [simplify]: iteration 9 : 760 enodes (cost 9 ) 83.201 * * [simplify]: iteration 10 : 1208 enodes (cost 9 ) 84.034 * * [simplify]: iteration 11 : 2024 enodes (cost 9 ) 86.670 * * [simplify]: iteration 12 : 4777 enodes (cost 9 ) 88.210 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 88.210 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 88.211 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 88.214 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 88.218 * * [simplify]: iteration 3 : 37 enodes (cost 13 ) 88.223 * * [simplify]: iteration 4 : 59 enodes (cost 13 ) 88.232 * * [simplify]: iteration 5 : 86 enodes (cost 13 ) 88.261 * * [simplify]: iteration 6 : 220 enodes (cost 13 ) 89.109 * * [simplify]: iteration 7 : 1644 enodes (cost 13 ) 92.247 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 92.247 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 92.249 * * [simplify]: iteration 1 : 37 enodes (cost 19 ) 92.256 * * [simplify]: iteration 2 : 98 enodes (cost 19 ) 92.286 * * [simplify]: iteration 3 : 287 enodes (cost 19 ) 92.407 * * [simplify]: iteration 4 : 944 enodes (cost 19 ) 93.181 * * [simplify]: iteration 5 : 4844 enodes (cost 17 ) 94.188 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 94.189 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 94.191 * * [simplify]: iteration 1 : 29 enodes (cost 21 ) 94.196 * * [simplify]: iteration 2 : 64 enodes (cost 19 ) 94.208 * * [simplify]: iteration 3 : 200 enodes (cost 19 ) 94.311 * * [simplify]: iteration 4 : 831 enodes (cost 1 ) 95.698 * * [simplify]: iteration 5 : 3130 enodes (cost 1 ) 97.238 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 97.239 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 97.246 * * [simplify]: iteration 1 : 36 enodes (cost 27 ) 97.253 * * [simplify]: iteration 2 : 128 enodes (cost 25 ) 97.301 * * [simplify]: iteration 3 : 508 enodes (cost 21 ) 97.667 * * [simplify]: iteration 4 : 1490 enodes (cost 19 ) 99.552 * * [simplify]: iteration 5 : 3833 enodes (cost 19 ) 101.694 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 101.695 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 101.696 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 101.699 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 101.712 * * [simplify]: iteration 3 : 157 enodes (cost 13 ) 101.761 * * [simplify]: iteration 4 : 313 enodes (cost 13 ) 101.908 * * [simplify]: iteration 5 : 566 enodes (cost 13 ) 102.236 * * [simplify]: iteration 6 : 986 enodes (cost 13 ) 103.023 * * [simplify]: iteration 7 : 2139 enodes (cost 13 ) 105.747 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 105.747 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 105.748 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 105.749 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 105.750 * * [simplify]: iteration done : 9 enodes (cost 5 ) 105.750 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 105.751 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 105.752 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 105.753 * * [simplify]: iteration done : 9 enodes (cost 5 ) 105.754 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 105.754 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 105.755 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 105.757 * * [simplify]: iteration done : 14 enodes (cost 7 ) 105.757 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 105.758 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 105.759 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 105.761 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 105.762 * * [simplify]: iteration done : 16 enodes (cost 7 ) 105.763 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 105.764 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 105.765 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 105.768 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 105.770 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 105.773 * * [simplify]: iteration done : 26 enodes (cost 6 ) 105.774 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 105.774 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 105.780 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 105.782 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 105.787 * * [simplify]: iteration 4 : 80 enodes (cost 6 ) 105.801 * * [simplify]: iteration 5 : 182 enodes (cost 6 ) 105.878 * * [simplify]: iteration 6 : 446 enodes (cost 6 ) 106.228 * * [simplify]: iteration 7 : 1298 enodes (cost 6 ) 108.601 * * [simplify]: iteration 8 : 4672 enodes (cost 6 ) 110.022 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 110.023 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 110.024 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 110.029 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 110.058 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 110.164 * * [simplify]: iteration 4 : 416 enodes (cost 7 ) 110.611 * * [simplify]: iteration 5 : 1162 enodes (cost 7 ) 113.018 * * [simplify]: iteration 6 : 3922 enodes (cost 7 ) 115.124 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 115.125 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 115.126 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 115.131 * * [simplify]: iteration 2 : 69 enodes (cost 9 ) 115.153 * * [simplify]: iteration 3 : 196 enodes (cost 7 ) 115.270 * * [simplify]: iteration 4 : 441 enodes (cost 7 ) 115.781 * * [simplify]: iteration 5 : 1243 enodes (cost 7 ) 118.454 * * [simplify]: iteration 6 : 4192 enodes (cost 7 ) 120.678 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 120.679 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 120.680 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 120.681 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 120.686 * * [simplify]: iteration done : 11 enodes (cost 13 ) 120.686 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 120.687 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 120.688 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 120.689 * * [simplify]: iteration done : 10 enodes (cost 6 ) 120.690 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 120.691 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 120.695 * * [simplify]: iteration 2 : 70 enodes (cost 7 ) 120.722 * * [simplify]: iteration 3 : 224 enodes (cost 7 ) 120.878 * * [simplify]: iteration 4 : 365 enodes (cost 7 ) 121.096 * * [simplify]: iteration 5 : 531 enodes (cost 7 ) 121.693 * * [simplify]: iteration 6 : 1425 enodes (cost 7 ) 125.028 * * [simplify]: iteration 7 : 4784 enodes (cost 7 ) 126.660 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 126.660 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 126.661 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 126.662 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 126.663 * * [simplify]: iteration done : 10 enodes (cost 6 ) 126.664 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 126.664 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 126.665 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 126.666 * * [simplify]: iteration done : 10 enodes (cost 6 ) 126.667 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 126.667 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 126.668 * * [simplify]: iteration done : 5 enodes (cost 4 ) 126.668 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 126.669 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 126.669 * * [simplify]: iteration done : 5 enodes (cost 4 ) 126.670 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 126.670 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 126.671 * * [simplify]: iteration done : 4 enodes (cost 3 ) 126.671 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 126.672 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 126.673 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 126.674 * * [simplify]: iteration done : 10 enodes (cost 6 ) 126.674 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 126.675 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 126.676 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 126.678 * * [simplify]: iteration done : 10 enodes (cost 6 ) 126.678 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 126.679 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 126.680 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 126.681 * * [simplify]: iteration done : 9 enodes (cost 5 ) 126.687 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 126.688 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 126.690 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 126.693 * * [simplify]: iteration 3 : 31 enodes (cost 9 ) 126.698 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 126.704 * * [simplify]: iteration 5 : 41 enodes (cost 9 ) 126.710 * * [simplify]: iteration 6 : 47 enodes (cost 9 ) 126.717 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 126.730 * * [simplify]: iteration 8 : 127 enodes (cost 9 ) 126.777 * * [simplify]: iteration 9 : 277 enodes (cost 9 ) 126.894 * * [simplify]: iteration 10 : 493 enodes (cost 9 ) 127.162 * * [simplify]: iteration 11 : 984 enodes (cost 9 ) 128.900 * * [simplify]: iteration 12 : 3181 enodes (cost 9 ) 131.157 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 131.157 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 131.159 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 131.160 * * [simplify]: iteration 2 : 17 enodes (cost 11 ) 131.162 * * [simplify]: iteration done : 17 enodes (cost 11 ) 131.163 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 131.164 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 131.166 * * [simplify]: iteration 2 : 26 enodes (cost 10 ) 131.170 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 131.175 * * [simplify]: iteration 4 : 40 enodes (cost 10 ) 131.185 * * [simplify]: iteration 5 : 43 enodes (cost 10 ) 131.192 * * [simplify]: iteration 6 : 52 enodes (cost 10 ) 131.201 * * [simplify]: iteration 7 : 77 enodes (cost 10 ) 131.214 * * [simplify]: iteration 8 : 144 enodes (cost 10 ) 131.460 * * [simplify]: iteration 9 : 304 enodes (cost 10 ) 131.585 * * [simplify]: iteration 10 : 521 enodes (cost 10 ) 131.865 * * [simplify]: iteration 11 : 1035 enodes (cost 10 ) 133.692 * * [simplify]: iteration 12 : 3233 enodes (cost 10 ) 135.937 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 135.938 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 135.939 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 135.941 * * [simplify]: iteration 2 : 30 enodes (cost 10 ) 135.951 * * [simplify]: iteration 3 : 58 enodes (cost 10 ) 135.960 * * [simplify]: iteration 4 : 118 enodes (cost 10 ) 135.981 * * [simplify]: iteration 5 : 265 enodes (cost 10 ) 136.098 * * [simplify]: iteration 6 : 767 enodes (cost 10 ) 136.880 * * [simplify]: iteration 7 : 2698 enodes (cost 10 ) 137.866 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 137.867 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 137.869 * * [simplify]: iteration 1 : 22 enodes (cost 29 ) 137.873 * * [simplify]: iteration 2 : 68 enodes (cost 13 ) 137.891 * * [simplify]: iteration 3 : 283 enodes (cost 13 ) 138.078 * * [simplify]: iteration 4 : 1198 enodes (cost 11 ) 140.139 * * [simplify]: iteration 5 : 4880 enodes (cost 11 ) 142.075 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 142.076 * * [simplify]: iteration 0 : 8 enodes (cost 21 ) 142.077 * * [simplify]: iteration 1 : 14 enodes (cost 21 ) 142.079 * * [simplify]: iteration 2 : 23 enodes (cost 21 ) 142.082 * * [simplify]: iteration 3 : 33 enodes (cost 21 ) 142.094 * * [simplify]: iteration 4 : 36 enodes (cost 21 ) 142.100 * * [simplify]: iteration 5 : 39 enodes (cost 21 ) 142.107 * * [simplify]: iteration 6 : 45 enodes (cost 21 ) 142.114 * * [simplify]: iteration 7 : 67 enodes (cost 21 ) 142.127 * * [simplify]: iteration 8 : 125 enodes (cost 21 ) 142.173 * * [simplify]: iteration 9 : 277 enodes (cost 21 ) 142.291 * * [simplify]: iteration 10 : 493 enodes (cost 21 ) 142.558 * * [simplify]: iteration 11 : 1004 enodes (cost 21 ) 144.301 * * [simplify]: iteration 12 : 3196 enodes (cost 21 ) 146.523 * * [simplify]: iteration done : 5000 enodes (cost 21 ) 146.523 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 146.530 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 146.532 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 146.536 * * [simplify]: iteration 3 : 32 enodes (cost 10 ) 146.541 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 146.548 * * [simplify]: iteration 5 : 39 enodes (cost 10 ) 146.554 * * [simplify]: iteration 6 : 45 enodes (cost 10 ) 146.562 * * [simplify]: iteration 7 : 67 enodes (cost 10 ) 146.574 * * [simplify]: iteration 8 : 125 enodes (cost 10 ) 146.620 * * [simplify]: iteration 9 : 279 enodes (cost 10 ) 146.735 * * [simplify]: iteration 10 : 497 enodes (cost 10 ) 146.997 * * [simplify]: iteration 11 : 1003 enodes (cost 10 ) 148.733 * * [simplify]: iteration 12 : 3179 enodes (cost 10 ) 151.164 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 151.165 * * [simplify]: iteration 0 : 8 enodes (cost 29 ) 151.171 * * [simplify]: iteration 1 : 24 enodes (cost 29 ) 151.176 * * [simplify]: iteration 2 : 80 enodes (cost 11 ) 151.200 * * [simplify]: iteration 3 : 312 enodes (cost 11 ) 151.423 * * [simplify]: iteration 4 : 1105 enodes (cost 11 ) 152.983 * * [simplify]: iteration 5 : 3560 enodes (cost 11 ) 155.000 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 155.001 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 155.002 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 155.004 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 155.007 * * [simplify]: iteration 3 : 32 enodes (cost 10 ) 155.012 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 155.018 * * [simplify]: iteration 5 : 39 enodes (cost 10 ) 155.024 * * [simplify]: iteration 6 : 45 enodes (cost 10 ) 155.032 * * [simplify]: iteration 7 : 67 enodes (cost 10 ) 155.048 * * [simplify]: iteration 8 : 125 enodes (cost 10 ) 155.093 * * [simplify]: iteration 9 : 279 enodes (cost 10 ) 155.214 * * [simplify]: iteration 10 : 497 enodes (cost 10 ) 155.483 * * [simplify]: iteration 11 : 1003 enodes (cost 10 ) 157.253 * * [simplify]: iteration 12 : 3179 enodes (cost 10 ) 159.486 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 159.486 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 159.487 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 159.489 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 159.492 * * [simplify]: iteration 3 : 32 enodes (cost 10 ) 159.498 * * [simplify]: iteration 4 : 36 enodes (cost 10 ) 159.504 * * [simplify]: iteration 5 : 39 enodes (cost 10 ) 159.510 * * [simplify]: iteration 6 : 45 enodes (cost 10 ) 159.518 * * [simplify]: iteration 7 : 67 enodes (cost 10 ) 159.533 * * [simplify]: iteration 8 : 125 enodes (cost 10 ) 159.579 * * [simplify]: iteration 9 : 279 enodes (cost 10 ) 159.698 * * [simplify]: iteration 10 : 497 enodes (cost 10 ) 159.964 * * [simplify]: iteration 11 : 1003 enodes (cost 10 ) 161.715 * * [simplify]: iteration 12 : 3179 enodes (cost 10 ) 163.944 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 163.945 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 163.946 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 163.948 * * [simplify]: iteration 2 : 17 enodes (cost 11 ) 163.950 * * [simplify]: iteration done : 17 enodes (cost 11 ) 163.951 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 163.952 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 163.953 * * [simplify]: iteration 2 : 17 enodes (cost 11 ) 163.955 * * [simplify]: iteration done : 17 enodes (cost 11 ) 163.956 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 163.957 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 163.958 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 163.963 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 163.966 * * [simplify]: iteration done : 23 enodes (cost 7 ) 163.967 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 163.967 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 163.968 * * [simplify]: iteration done : 6 enodes (cost 4 ) 163.969 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 163.969 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 163.971 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 163.974 * * [simplify]: iteration 3 : 23 enodes (cost 7 ) 163.977 * * [simplify]: iteration done : 23 enodes (cost 7 ) 163.978 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 163.978 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 163.979 * * [simplify]: iteration done : 6 enodes (cost 4 ) 163.980 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 163.980 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 163.982 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 163.984 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 163.988 * * [simplify]: iteration done : 22 enodes (cost 7 ) 163.989 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 163.989 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 163.990 * * [simplify]: iteration done : 6 enodes (cost 4 ) 163.990 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 163.991 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 163.992 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 163.997 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 164.001 * * [simplify]: iteration done : 22 enodes (cost 7 ) 164.002 * * [simplify]: iteration 0 : 3 enodes (cost 4 ) 164.002 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 164.003 * * [simplify]: iteration done : 6 enodes (cost 4 ) 164.004 * * [simplify]: iteration 0 : 8 enodes (cost 19 ) 164.005 * * [simplify]: iteration 1 : 16 enodes (cost 19 ) 164.007 * * [simplify]: iteration 2 : 21 enodes (cost 19 ) 164.010 * * [simplify]: iteration done : 21 enodes (cost 19 ) 164.010 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 164.011 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 164.013 * * [simplify]: iteration 2 : 16 enodes (cost 10 ) 164.015 * * [simplify]: iteration done : 16 enodes (cost 10 ) 164.016 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 164.016 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 164.016 * * [simplify]: iteration done : 6 enodes (cost 1 ) 164.017 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 164.018 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 164.020 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 164.024 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 164.031 * * [simplify]: iteration 4 : 62 enodes (cost 10 ) 164.040 * * [simplify]: iteration 5 : 68 enodes (cost 10 ) 164.050 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 164.063 * * [simplify]: iteration done : 71 enodes (cost 10 ) 164.064 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 164.065 * * [simplify]: iteration 1 : 13 enodes (cost 10 ) 164.067 * * [simplify]: iteration 2 : 22 enodes (cost 10 ) 164.070 * * [simplify]: iteration 3 : 41 enodes (cost 10 ) 164.078 * * [simplify]: iteration 4 : 62 enodes (cost 10 ) 164.088 * * [simplify]: iteration 5 : 68 enodes (cost 10 ) 164.098 * * [simplify]: iteration 6 : 71 enodes (cost 10 ) 164.110 * * [simplify]: iteration done : 71 enodes (cost 10 ) 164.111 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 164.111 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 164.113 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 164.116 * * [simplify]: iteration 3 : 31 enodes (cost 9 ) 164.121 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 164.127 * * [simplify]: iteration 5 : 41 enodes (cost 9 ) 164.134 * * [simplify]: iteration 6 : 47 enodes (cost 9 ) 164.141 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 164.154 * * [simplify]: iteration 8 : 127 enodes (cost 9 ) 164.200 * * [simplify]: iteration 9 : 277 enodes (cost 9 ) 164.318 * * [simplify]: iteration 10 : 493 enodes (cost 9 ) 164.585 * * [simplify]: iteration 11 : 984 enodes (cost 9 ) 166.323 * * [simplify]: iteration 12 : 3181 enodes (cost 9 ) 168.800 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 168.801 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 168.802 * * [simplify]: iteration 1 : 30 enodes (cost 13 ) 168.808 * * [simplify]: iteration 2 : 104 enodes (cost 13 ) 168.851 * * [simplify]: iteration 3 : 404 enodes (cost 13 ) 169.178 * * [simplify]: iteration 4 : 1200 enodes (cost 11 ) 171.425 * * [simplify]: iteration 5 : 4970 enodes (cost 11 ) 172.979 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 172.980 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 172.982 * * [simplify]: iteration 1 : 23 enodes (cost 17 ) 172.986 * * [simplify]: iteration 2 : 72 enodes (cost 15 ) 173.011 * * [simplify]: iteration 3 : 175 enodes (cost 13 ) 173.070 * * [simplify]: iteration 4 : 361 enodes (cost 11 ) 173.275 * * [simplify]: iteration 5 : 779 enodes (cost 11 ) 173.837 * * [simplify]: iteration 6 : 1526 enodes (cost 11 ) 175.510 * * [simplify]: iteration 7 : 3656 enodes (cost 11 ) 177.134 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 177.134 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 177.135 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 177.137 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 177.139 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 177.144 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 177.157 * * [simplify]: iteration 5 : 180 enodes (cost 6 ) 177.243 * * [simplify]: iteration 6 : 554 enodes (cost 6 ) 178.036 * * [simplify]: iteration 7 : 2198 enodes (cost 6 ) 180.141 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 180.142 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 180.142 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 180.143 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 180.144 * * [simplify]: iteration done : 9 enodes (cost 6 ) 180.145 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 180.146 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 180.147 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 180.152 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 180.156 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 180.165 * * [simplify]: iteration 5 : 135 enodes (cost 6 ) 180.226 * * [simplify]: iteration 6 : 421 enodes (cost 6 ) 180.539 * * [simplify]: iteration 7 : 1163 enodes (cost 6 ) 182.372 * * [simplify]: iteration 8 : 3680 enodes (cost 6 ) 183.601 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 183.602 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 183.603 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 183.604 * * [simplify]: iteration 2 : 10 enodes (cost 13 ) 183.605 * * [simplify]: iteration done : 10 enodes (cost 13 ) 183.605 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 183.606 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 183.607 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 183.608 * * [simplify]: iteration done : 9 enodes (cost 6 ) 183.608 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 183.609 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 183.611 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 183.616 * * [simplify]: iteration 3 : 80 enodes (cost 7 ) 183.644 * * [simplify]: iteration 4 : 254 enodes (cost 7 ) 183.767 * * [simplify]: iteration 5 : 776 enodes (cost 7 ) 184.764 * * [simplify]: iteration 6 : 2773 enodes (cost 7 ) 186.322 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 186.323 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 186.324 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 186.325 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 186.326 * * [simplify]: iteration done : 9 enodes (cost 6 ) 186.326 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 186.327 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 186.328 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 186.329 * * [simplify]: iteration done : 9 enodes (cost 6 ) 186.329 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 186.330 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 186.335 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 186.358 * * [simplify]: iteration 3 : 202 enodes (cost 9 ) 186.438 * * [simplify]: iteration 4 : 475 enodes (cost 9 ) 186.758 * * [simplify]: iteration 5 : 1548 enodes (cost 9 ) 188.543 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 188.543 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 188.545 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 188.552 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 188.563 * * [simplify]: iteration 3 : 78 enodes (cost 11 ) 188.582 * * [simplify]: iteration 4 : 117 enodes (cost 11 ) 188.616 * * [simplify]: iteration 5 : 178 enodes (cost 11 ) 188.665 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 188.700 * * [simplify]: iteration 7 : 240 enodes (cost 11 ) 188.775 * * [simplify]: iteration 8 : 305 enodes (cost 11 ) 188.829 * * [simplify]: iteration 9 : 311 enodes (cost 11 ) 188.882 * * [simplify]: iteration done : 311 enodes (cost 11 ) 188.882 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 188.882 * * [simplify]: iteration done : 2 enodes (cost 2 ) 188.883 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 188.884 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 188.887 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 188.894 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 188.907 * * [simplify]: iteration 4 : 126 enodes (cost 9 ) 188.953 * * [simplify]: iteration 5 : 276 enodes (cost 9 ) 189.068 * * [simplify]: iteration 6 : 490 enodes (cost 9 ) 189.338 * * [simplify]: iteration 7 : 997 enodes (cost 9 ) 191.051 * * [simplify]: iteration 8 : 3163 enodes (cost 9 ) 193.420 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 193.421 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 193.422 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 193.422 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 193.424 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 193.425 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 193.428 * * [simplify]: iteration done : 19 enodes (cost 5 ) 193.428 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 193.429 * * [simplify]: iteration done : 2 enodes (cost 2 ) 193.429 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 193.430 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 193.430 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 193.432 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 193.438 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 193.440 * * [simplify]: iteration done : 19 enodes (cost 5 ) 193.441 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 193.442 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 193.442 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 193.443 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 193.445 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 193.447 * * [simplify]: iteration done : 19 enodes (cost 5 ) 193.448 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 193.448 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 193.449 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 193.450 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 193.451 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 193.454 * * [simplify]: iteration done : 19 enodes (cost 5 ) 193.455 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 193.456 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 193.457 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 193.459 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 193.461 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 193.464 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 193.467 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 193.477 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 193.523 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 193.960 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 196.199 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 196.200 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 196.200 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 196.202 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 196.204 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 196.206 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 196.209 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 196.213 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 196.222 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 196.269 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 196.706 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 198.962 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 198.963 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 198.964 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 198.965 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 198.967 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 198.969 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 198.972 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 198.976 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 198.991 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 199.035 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 199.471 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 201.722 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 201.723 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 201.724 * * [simplify]: iteration 1 : 12 enodes (cost 4 ) 201.726 * * [simplify]: iteration 2 : 34 enodes (cost 4 ) 201.729 * * [simplify]: iteration 3 : 39 enodes (cost 4 ) 201.731 * * [simplify]: iteration 4 : 45 enodes (cost 4 ) 201.734 * * [simplify]: iteration 5 : 55 enodes (cost 4 ) 201.738 * * [simplify]: iteration 6 : 77 enodes (cost 4 ) 201.748 * * [simplify]: iteration 7 : 141 enodes (cost 4 ) 201.797 * * [simplify]: iteration 8 : 352 enodes (cost 4 ) 202.240 * * [simplify]: iteration 9 : 1283 enodes (cost 4 ) 204.653 * * [simplify]: iteration done : 5001 enodes (cost 4 ) 204.654 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 204.655 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 204.659 * * [simplify]: iteration 2 : 68 enodes (cost 11 ) 204.667 * * [simplify]: iteration 3 : 94 enodes (cost 9 ) 204.676 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 204.686 * * [simplify]: iteration 5 : 148 enodes (cost 9 ) 204.708 * * [simplify]: iteration 6 : 248 enodes (cost 9 ) 204.777 * * [simplify]: iteration 7 : 516 enodes (cost 9 ) 204.982 * * [simplify]: iteration 8 : 1141 enodes (cost 9 ) 206.181 * * [simplify]: iteration 9 : 3466 enodes (cost 9 ) 208.011 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 208.012 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 208.013 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 208.018 * * [simplify]: iteration 2 : 68 enodes (cost 11 ) 208.025 * * [simplify]: iteration 3 : 94 enodes (cost 9 ) 208.034 * * [simplify]: iteration 4 : 111 enodes (cost 9 ) 208.047 * * [simplify]: iteration 5 : 148 enodes (cost 9 ) 208.066 * * [simplify]: iteration 6 : 248 enodes (cost 9 ) 208.145 * * [simplify]: iteration 7 : 516 enodes (cost 9 ) 208.350 * * [simplify]: iteration 8 : 1141 enodes (cost 9 ) 209.553 * * [simplify]: iteration 9 : 3466 enodes (cost 9 ) 211.594 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 211.595 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 211.595 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 211.596 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 211.597 * * [simplify]: iteration done : 8 enodes (cost 5 ) 211.597 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 211.598 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 211.599 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 211.600 * * [simplify]: iteration done : 8 enodes (cost 5 ) 211.600 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 211.601 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 211.602 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 211.602 * * [simplify]: iteration done : 8 enodes (cost 5 ) 211.603 * [simplify]: Simplified to: (- (+ (log x) (log (- (* x (* y y)) x))) (log (- (* x y) x))) (log (+ (* x y) x)) (log (+ (* x y) x)) (exp (/ (+ y 1) (/ 1 x))) (/ (pow (* x (- (* x (* y y)) x)) 3) (pow (- (* x y) x) 3)) (pow (/ (- (* x (* y y)) x) (- (/ y 1) 1)) 3) (* (cbrt (+ (* x y) x)) (cbrt (+ (* x y) x))) (cbrt (+ (* x y) x)) (pow (/ (- (* x (* y y)) x) (- (/ y 1) 1)) 3) (sqrt (+ (* x y) x)) (sqrt (+ (* x y) x)) (* x (- x (* x (* y y)))) (- x (* x y)) (/ x (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (cbrt (- (* x y) x))) (/ x (sqrt (- (* x y) x))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) x (/ (- (* x (* y y)) x) (- (* x y) x)) (/ 1 (- (* x y) x)) (/ (+ y -1) (- (* x (* y y)) x)) (/ (* x (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (* x (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (* x (- (* x (* y y)) x)) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (* (+ (/ (* y y) 1) -1) 1) (- (* x (pow y 3)) x)) 1 (* (* (- (* x y) x) (* x x)) (+ (* y (+ y (pow y 3))) 1)) (* (- (* x y) x) (+ (* x (* y y)) x)) (* x (* y y)) (* x (* y y)) (+ (log x) (* 2 (log y))) (+ (log x) (log (* y y))) (log (* x (* y y))) (exp (* x (* y y))) (* (pow y 6) (pow x 3)) (* (pow y 6) (pow x 3)) (* (cbrt (* x (* y y))) (cbrt (* x (* y y)))) (cbrt (* x (* y y))) (pow (* x (* y y)) 3) (sqrt (* x (* y y))) (sqrt (* x (* y y))) (* (sqrt x) y) (* (sqrt x) y) (* x y) (* (cbrt x) (* y y)) (* (sqrt x) (* y y)) (* x (* y y)) (* (- (* x (* y y)) x) x) (+ (log x) (log (- (* x (* y y)) x))) (log (* x (- (* x (* y y)) x))) (exp (* x (- (* x (* y y)) x))) (pow (* x (- (* x (* y y)) x)) 3) (* (cbrt (* x (- (* x (* y y)) x))) (cbrt (* x (- (* x (* y y)) x)))) (cbrt (* x (- (* x (* y y)) x))) (pow (* x (- (* x (* y y)) x)) 3) (sqrt (* x (- (* x (* y y)) x))) (sqrt (* x (- (* x (* y y)) x))) (* (sqrt x) (sqrt (- (* x (* y y)) x))) (* (sqrt x) (sqrt (- (* x (* y y)) x))) (* x (* x (* y y))) (* x (neg x)) (* x (* x (* y y))) (* x (neg x)) (* (* x (* y y)) x) (* (neg x) x) (* (* x (* y y)) x) (* (neg x) x) (* x (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x)))) (* x (sqrt (- (* x (* y y)) x))) x (* (cbrt x) (- (* x (* y y)) x)) (* (sqrt x) (- (* x (* y y)) x)) (* (- (* x (* y y)) x) x) (* (pow x 3) (- (* (pow y 6) x) x)) (- (* (pow x 3) (pow y 4)) (pow x 3)) (exp (- (* x y) x)) (log (- (* x y) x)) (exp (- (* x y) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))) (cbrt (- (* x y) x)) (pow (- (* x y) x) 3) (sqrt (- (* x y) x)) (sqrt (- (* x y) x)) (- (pow (* x y) 3) (pow x 3)) (* (* x (+ (+ y 1) (* y y))) x) (neg x) (* x (- (* x (* y y)) x)) (+ (* x y) x) (neg x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (neg (pow x 2)) (* x (- (* (pow y 2) x) x)) (* x (- (* (pow y 2) x) x)) (- (* x y) x) (- (* x y) x) (- (* x y) x) 211.604 * * * [progress]: adding candidates to table 211.699 * * [progress]: iteration 3 / 4 211.699 * * * [progress]: picking best candidate 211.701 * * * * [pick]: Picked # 211.701 * * * [progress]: localizing error 211.712 * * * [progress]: generating rewritten candidates 211.712 * * * * [progress]: [ 1 / 4 ] rewriting at (2 1 2 1 1) 211.719 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 2) 211.731 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1 2 2) 211.736 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1) 211.754 * * * [progress]: generating series expansions 211.754 * * * * [progress]: [ 1 / 4 ] generating series at (2 1 2 1 1) 211.754 * [approximate]: Taking taylor expansion of (* x (pow y 2)) in (x y) around 0 211.754 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.754 * [taylor]: Taking taylor expansion of x in y 211.754 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.754 * [taylor]: Taking taylor expansion of y in y 211.754 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.754 * [taylor]: Taking taylor expansion of x in x 211.754 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.754 * [taylor]: Taking taylor expansion of y in x 211.754 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.754 * [taylor]: Taking taylor expansion of x in x 211.754 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.754 * [taylor]: Taking taylor expansion of y in x 211.754 * [taylor]: Taking taylor expansion of 0 in y 211.755 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.755 * [taylor]: Taking taylor expansion of y in y 211.755 * [taylor]: Taking taylor expansion of 0 in y 211.755 * [taylor]: Taking taylor expansion of 0 in y 211.755 * [approximate]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in (x y) around 0 211.755 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 211.755 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.755 * [taylor]: Taking taylor expansion of x in y 211.755 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.755 * [taylor]: Taking taylor expansion of y in y 211.755 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.755 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.755 * [taylor]: Taking taylor expansion of x in x 211.755 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.755 * [taylor]: Taking taylor expansion of y in x 211.756 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.756 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.756 * [taylor]: Taking taylor expansion of x in x 211.756 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.756 * [taylor]: Taking taylor expansion of y in x 211.756 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 211.756 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.756 * [taylor]: Taking taylor expansion of y in y 211.756 * [taylor]: Taking taylor expansion of 0 in y 211.757 * [taylor]: Taking taylor expansion of 0 in y 211.757 * [taylor]: Taking taylor expansion of 0 in y 211.758 * [taylor]: Taking taylor expansion of 0 in y 211.758 * [approximate]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in (x y) around 0 211.758 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in y 211.758 * [taylor]: Taking taylor expansion of -1 in y 211.758 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.758 * [taylor]: Taking taylor expansion of x in y 211.758 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.758 * [taylor]: Taking taylor expansion of y in y 211.758 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 211.758 * [taylor]: Taking taylor expansion of -1 in x 211.758 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.758 * [taylor]: Taking taylor expansion of x in x 211.758 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.758 * [taylor]: Taking taylor expansion of y in x 211.759 * [taylor]: Taking taylor expansion of (/ -1 (* x (pow y 2))) in x 211.759 * [taylor]: Taking taylor expansion of -1 in x 211.759 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.759 * [taylor]: Taking taylor expansion of x in x 211.759 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.759 * [taylor]: Taking taylor expansion of y in x 211.759 * [taylor]: Taking taylor expansion of (/ -1 (pow y 2)) in y 211.759 * [taylor]: Taking taylor expansion of -1 in y 211.759 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.759 * [taylor]: Taking taylor expansion of y in y 211.759 * [taylor]: Taking taylor expansion of 0 in y 211.760 * [taylor]: Taking taylor expansion of 0 in y 211.760 * [taylor]: Taking taylor expansion of 0 in y 211.761 * [taylor]: Taking taylor expansion of 0 in y 211.761 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 2) 211.761 * [approximate]: Taking taylor expansion of (/ (- (* x (pow y 2)) x) (- (* x y) x)) in (x y) around 0 211.761 * [taylor]: Taking taylor expansion of (/ (- (* x (pow y 2)) x) (- (* x y) x)) in y 211.761 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y 211.761 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.761 * [taylor]: Taking taylor expansion of x in y 211.762 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.762 * [taylor]: Taking taylor expansion of y in y 211.762 * [taylor]: Taking taylor expansion of x in y 211.762 * [taylor]: Taking taylor expansion of (- (* x y) x) in y 211.762 * [taylor]: Taking taylor expansion of (* x y) in y 211.762 * [taylor]: Taking taylor expansion of x in y 211.762 * [taylor]: Taking taylor expansion of y in y 211.762 * [taylor]: Taking taylor expansion of x in y 211.762 * [taylor]: Taking taylor expansion of (/ (- (* x (pow y 2)) x) (- (* x y) x)) in x 211.762 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 211.762 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.762 * [taylor]: Taking taylor expansion of y in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.762 * [taylor]: Taking taylor expansion of (* x y) in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of y in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of (/ (- (* x (pow y 2)) x) (- (* x y) x)) in x 211.762 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 211.762 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.762 * [taylor]: Taking taylor expansion of y in x 211.762 * [taylor]: Taking taylor expansion of x in x 211.762 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.762 * [taylor]: Taking taylor expansion of (* x y) in x 211.763 * [taylor]: Taking taylor expansion of x in x 211.763 * [taylor]: Taking taylor expansion of y in x 211.763 * [taylor]: Taking taylor expansion of x in x 211.763 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) 1) (- y 1)) in y 211.763 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y 211.763 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.763 * [taylor]: Taking taylor expansion of y in y 211.763 * [taylor]: Taking taylor expansion of 1 in y 211.763 * [taylor]: Taking taylor expansion of (- y 1) in y 211.763 * [taylor]: Taking taylor expansion of y in y 211.763 * [taylor]: Taking taylor expansion of 1 in y 211.764 * [taylor]: Taking taylor expansion of 0 in y 211.764 * [taylor]: Taking taylor expansion of 0 in y 211.765 * [taylor]: Taking taylor expansion of 0 in y 211.765 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (- (/ 1 (* x y)) (/ 1 x))) in (x y) around 0 211.765 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (- (/ 1 (* x y)) (/ 1 x))) in y 211.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y 211.765 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 211.765 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.765 * [taylor]: Taking taylor expansion of x in y 211.765 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.765 * [taylor]: Taking taylor expansion of y in y 211.765 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.765 * [taylor]: Taking taylor expansion of x in y 211.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 211.765 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.765 * [taylor]: Taking taylor expansion of (* x y) in y 211.765 * [taylor]: Taking taylor expansion of x in y 211.765 * [taylor]: Taking taylor expansion of y in y 211.765 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.765 * [taylor]: Taking taylor expansion of x in y 211.765 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (- (/ 1 (* x y)) (/ 1 x))) in x 211.765 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 211.765 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.765 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.765 * [taylor]: Taking taylor expansion of x in x 211.765 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.766 * [taylor]: Taking taylor expansion of y in x 211.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.766 * [taylor]: Taking taylor expansion of x in x 211.766 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.766 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.766 * [taylor]: Taking taylor expansion of (* x y) in x 211.766 * [taylor]: Taking taylor expansion of x in x 211.766 * [taylor]: Taking taylor expansion of y in x 211.766 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.766 * [taylor]: Taking taylor expansion of x in x 211.766 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (- (/ 1 (* x y)) (/ 1 x))) in x 211.766 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 211.766 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.766 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.766 * [taylor]: Taking taylor expansion of x in x 211.766 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.766 * [taylor]: Taking taylor expansion of y in x 211.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.767 * [taylor]: Taking taylor expansion of x in x 211.767 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.767 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.767 * [taylor]: Taking taylor expansion of (* x y) in x 211.767 * [taylor]: Taking taylor expansion of x in x 211.767 * [taylor]: Taking taylor expansion of y in x 211.767 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.767 * [taylor]: Taking taylor expansion of x in x 211.767 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) 1) (- (/ 1 y) 1)) in y 211.767 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y 211.767 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 211.767 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.767 * [taylor]: Taking taylor expansion of y in y 211.767 * [taylor]: Taking taylor expansion of 1 in y 211.767 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 211.767 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.767 * [taylor]: Taking taylor expansion of y in y 211.767 * [taylor]: Taking taylor expansion of 1 in y 211.772 * [taylor]: Taking taylor expansion of 0 in y 211.774 * [taylor]: Taking taylor expansion of 0 in y 211.775 * [taylor]: Taking taylor expansion of 0 in y 211.777 * [taylor]: Taking taylor expansion of 0 in y 211.777 * [approximate]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (+ (/ 1 x) (/ 1 (* x y)))) in (x y) around 0 211.777 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (+ (/ 1 x) (/ 1 (* x y)))) in y 211.777 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y 211.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.777 * [taylor]: Taking taylor expansion of x in y 211.777 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 211.777 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.777 * [taylor]: Taking taylor expansion of x in y 211.777 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.777 * [taylor]: Taking taylor expansion of y in y 211.777 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 211.777 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.777 * [taylor]: Taking taylor expansion of x in y 211.777 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.777 * [taylor]: Taking taylor expansion of (* x y) in y 211.777 * [taylor]: Taking taylor expansion of x in y 211.777 * [taylor]: Taking taylor expansion of y in y 211.778 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (+ (/ 1 x) (/ 1 (* x y)))) in x 211.778 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 211.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.778 * [taylor]: Taking taylor expansion of x in x 211.778 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.778 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.778 * [taylor]: Taking taylor expansion of x in x 211.778 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.778 * [taylor]: Taking taylor expansion of y in x 211.778 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.778 * [taylor]: Taking taylor expansion of x in x 211.778 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.778 * [taylor]: Taking taylor expansion of (* x y) in x 211.778 * [taylor]: Taking taylor expansion of x in x 211.778 * [taylor]: Taking taylor expansion of y in x 211.778 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (+ (/ 1 x) (/ 1 (* x y)))) in x 211.778 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 211.778 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.778 * [taylor]: Taking taylor expansion of x in x 211.779 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.779 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.779 * [taylor]: Taking taylor expansion of x in x 211.779 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.779 * [taylor]: Taking taylor expansion of y in x 211.779 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.779 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.779 * [taylor]: Taking taylor expansion of x in x 211.779 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.779 * [taylor]: Taking taylor expansion of (* x y) in x 211.779 * [taylor]: Taking taylor expansion of x in x 211.779 * [taylor]: Taking taylor expansion of y in x 211.779 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow y 2))) (+ 1 (/ 1 y))) in y 211.779 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y 211.779 * [taylor]: Taking taylor expansion of 1 in y 211.779 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 211.779 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.779 * [taylor]: Taking taylor expansion of y in y 211.780 * [taylor]: Taking taylor expansion of (+ 1 (/ 1 y)) in y 211.780 * [taylor]: Taking taylor expansion of 1 in y 211.780 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.780 * [taylor]: Taking taylor expansion of y in y 211.780 * [taylor]: Taking taylor expansion of 0 in y 211.781 * [taylor]: Taking taylor expansion of 0 in y 211.782 * [taylor]: Taking taylor expansion of 0 in y 211.784 * [taylor]: Taking taylor expansion of 0 in y 211.784 * * * * [progress]: [ 3 / 4 ] generating series at (2 1 2 2) 211.784 * [approximate]: Taking taylor expansion of (- (* x y) x) in (x y) around 0 211.784 * [taylor]: Taking taylor expansion of (- (* x y) x) in y 211.784 * [taylor]: Taking taylor expansion of (* x y) in y 211.784 * [taylor]: Taking taylor expansion of x in y 211.784 * [taylor]: Taking taylor expansion of y in y 211.784 * [taylor]: Taking taylor expansion of x in y 211.784 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.784 * [taylor]: Taking taylor expansion of (* x y) in x 211.784 * [taylor]: Taking taylor expansion of x in x 211.784 * [taylor]: Taking taylor expansion of y in x 211.784 * [taylor]: Taking taylor expansion of x in x 211.784 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.784 * [taylor]: Taking taylor expansion of (* x y) in x 211.784 * [taylor]: Taking taylor expansion of x in x 211.784 * [taylor]: Taking taylor expansion of y in x 211.784 * [taylor]: Taking taylor expansion of x in x 211.784 * [taylor]: Taking taylor expansion of 0 in y 211.784 * [taylor]: Taking taylor expansion of (- y 1) in y 211.785 * [taylor]: Taking taylor expansion of y in y 211.785 * [taylor]: Taking taylor expansion of 1 in y 211.785 * [taylor]: Taking taylor expansion of 0 in y 211.785 * [taylor]: Taking taylor expansion of 0 in y 211.785 * [taylor]: Taking taylor expansion of 0 in y 211.785 * [approximate]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in (x y) around 0 211.785 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 211.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.785 * [taylor]: Taking taylor expansion of (* x y) in y 211.785 * [taylor]: Taking taylor expansion of x in y 211.785 * [taylor]: Taking taylor expansion of y in y 211.785 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.785 * [taylor]: Taking taylor expansion of x in y 211.785 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.785 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.785 * [taylor]: Taking taylor expansion of (* x y) in x 211.785 * [taylor]: Taking taylor expansion of x in x 211.785 * [taylor]: Taking taylor expansion of y in x 211.785 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.785 * [taylor]: Taking taylor expansion of x in x 211.786 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.786 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.786 * [taylor]: Taking taylor expansion of (* x y) in x 211.786 * [taylor]: Taking taylor expansion of x in x 211.786 * [taylor]: Taking taylor expansion of y in x 211.786 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.786 * [taylor]: Taking taylor expansion of x in x 211.786 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 211.786 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.786 * [taylor]: Taking taylor expansion of y in y 211.786 * [taylor]: Taking taylor expansion of 1 in y 211.786 * [taylor]: Taking taylor expansion of 0 in y 211.786 * [taylor]: Taking taylor expansion of 0 in y 211.787 * [taylor]: Taking taylor expansion of 0 in y 211.787 * [taylor]: Taking taylor expansion of 0 in y 211.787 * [approximate]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in (x y) around 0 211.787 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 211.787 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.787 * [taylor]: Taking taylor expansion of x in y 211.787 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.787 * [taylor]: Taking taylor expansion of (* x y) in y 211.787 * [taylor]: Taking taylor expansion of x in y 211.787 * [taylor]: Taking taylor expansion of y in y 211.787 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.787 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.787 * [taylor]: Taking taylor expansion of x in x 211.787 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.787 * [taylor]: Taking taylor expansion of (* x y) in x 211.787 * [taylor]: Taking taylor expansion of x in x 211.788 * [taylor]: Taking taylor expansion of y in x 211.788 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.788 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.788 * [taylor]: Taking taylor expansion of x in x 211.788 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.788 * [taylor]: Taking taylor expansion of (* x y) in x 211.788 * [taylor]: Taking taylor expansion of x in x 211.788 * [taylor]: Taking taylor expansion of y in x 211.788 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 211.788 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.788 * [taylor]: Taking taylor expansion of y in y 211.788 * [taylor]: Taking taylor expansion of 1 in y 211.788 * [taylor]: Taking taylor expansion of 0 in y 211.788 * [taylor]: Taking taylor expansion of 0 in y 211.789 * [taylor]: Taking taylor expansion of 0 in y 211.789 * [taylor]: Taking taylor expansion of 0 in y 211.789 * * * * [progress]: [ 4 / 4 ] generating series at (2 1) 211.789 * [approximate]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in (x y) around 0 211.789 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in y 211.789 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in y 211.789 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in y 211.789 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.789 * [taylor]: Taking taylor expansion of x in y 211.789 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.789 * [taylor]: Taking taylor expansion of y in y 211.789 * [taylor]: Taking taylor expansion of x in y 211.789 * [taylor]: Taking taylor expansion of x in y 211.789 * [taylor]: Taking taylor expansion of (- (* x y) x) in y 211.789 * [taylor]: Taking taylor expansion of (* x y) in y 211.789 * [taylor]: Taking taylor expansion of x in y 211.790 * [taylor]: Taking taylor expansion of y in y 211.790 * [taylor]: Taking taylor expansion of x in y 211.790 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in x 211.790 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 211.790 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 211.790 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.790 * [taylor]: Taking taylor expansion of x in x 211.790 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.790 * [taylor]: Taking taylor expansion of y in x 211.790 * [taylor]: Taking taylor expansion of x in x 211.790 * [taylor]: Taking taylor expansion of x in x 211.790 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.790 * [taylor]: Taking taylor expansion of (* x y) in x 211.790 * [taylor]: Taking taylor expansion of x in x 211.790 * [taylor]: Taking taylor expansion of y in x 211.790 * [taylor]: Taking taylor expansion of x in x 211.791 * [taylor]: Taking taylor expansion of (/ (* (- (* x (pow y 2)) x) x) (- (* x y) x)) in x 211.791 * [taylor]: Taking taylor expansion of (* (- (* x (pow y 2)) x) x) in x 211.791 * [taylor]: Taking taylor expansion of (- (* x (pow y 2)) x) in x 211.791 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.791 * [taylor]: Taking taylor expansion of x in x 211.791 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.791 * [taylor]: Taking taylor expansion of y in x 211.791 * [taylor]: Taking taylor expansion of x in x 211.791 * [taylor]: Taking taylor expansion of x in x 211.791 * [taylor]: Taking taylor expansion of (- (* x y) x) in x 211.791 * [taylor]: Taking taylor expansion of (* x y) in x 211.791 * [taylor]: Taking taylor expansion of x in x 211.791 * [taylor]: Taking taylor expansion of y in x 211.791 * [taylor]: Taking taylor expansion of x in x 211.792 * [taylor]: Taking taylor expansion of (/ (- (pow y 2) 1) (- y 1)) in y 211.792 * [taylor]: Taking taylor expansion of (- (pow y 2) 1) in y 211.792 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.792 * [taylor]: Taking taylor expansion of y in y 211.792 * [taylor]: Taking taylor expansion of 1 in y 211.792 * [taylor]: Taking taylor expansion of (- y 1) in y 211.792 * [taylor]: Taking taylor expansion of y in y 211.792 * [taylor]: Taking taylor expansion of 1 in y 211.792 * [taylor]: Taking taylor expansion of 0 in y 211.793 * [taylor]: Taking taylor expansion of 0 in y 211.794 * [taylor]: Taking taylor expansion of 0 in y 211.794 * [approximate]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in (x y) around 0 211.794 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in y 211.794 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in y 211.794 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 211.794 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.794 * [taylor]: Taking taylor expansion of x in y 211.794 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.794 * [taylor]: Taking taylor expansion of y in y 211.794 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.794 * [taylor]: Taking taylor expansion of x in y 211.794 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in y 211.794 * [taylor]: Taking taylor expansion of x in y 211.794 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in y 211.794 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.794 * [taylor]: Taking taylor expansion of (* x y) in y 211.794 * [taylor]: Taking taylor expansion of x in y 211.794 * [taylor]: Taking taylor expansion of y in y 211.794 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.794 * [taylor]: Taking taylor expansion of x in y 211.795 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x 211.795 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 211.795 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.795 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.795 * [taylor]: Taking taylor expansion of x in x 211.795 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.795 * [taylor]: Taking taylor expansion of y in x 211.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.795 * [taylor]: Taking taylor expansion of x in x 211.795 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x 211.795 * [taylor]: Taking taylor expansion of x in x 211.795 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.795 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.795 * [taylor]: Taking taylor expansion of (* x y) in x 211.795 * [taylor]: Taking taylor expansion of x in x 211.795 * [taylor]: Taking taylor expansion of y in x 211.795 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.795 * [taylor]: Taking taylor expansion of x in x 211.796 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (* x (pow y 2))) (/ 1 x)) (* x (- (/ 1 (* x y)) (/ 1 x)))) in x 211.796 * [taylor]: Taking taylor expansion of (- (/ 1 (* x (pow y 2))) (/ 1 x)) in x 211.796 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.796 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.796 * [taylor]: Taking taylor expansion of x in x 211.796 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.796 * [taylor]: Taking taylor expansion of y in x 211.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.796 * [taylor]: Taking taylor expansion of x in x 211.796 * [taylor]: Taking taylor expansion of (* x (- (/ 1 (* x y)) (/ 1 x))) in x 211.796 * [taylor]: Taking taylor expansion of x in x 211.796 * [taylor]: Taking taylor expansion of (- (/ 1 (* x y)) (/ 1 x)) in x 211.796 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.796 * [taylor]: Taking taylor expansion of (* x y) in x 211.796 * [taylor]: Taking taylor expansion of x in x 211.796 * [taylor]: Taking taylor expansion of y in x 211.796 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.796 * [taylor]: Taking taylor expansion of x in x 211.797 * [taylor]: Taking taylor expansion of (/ (- (/ 1 (pow y 2)) 1) (- (/ 1 y) 1)) in y 211.797 * [taylor]: Taking taylor expansion of (- (/ 1 (pow y 2)) 1) in y 211.797 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 211.797 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.797 * [taylor]: Taking taylor expansion of y in y 211.797 * [taylor]: Taking taylor expansion of 1 in y 211.797 * [taylor]: Taking taylor expansion of (- (/ 1 y) 1) in y 211.797 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.797 * [taylor]: Taking taylor expansion of y in y 211.797 * [taylor]: Taking taylor expansion of 1 in y 211.798 * [taylor]: Taking taylor expansion of 0 in y 211.799 * [taylor]: Taking taylor expansion of 0 in y 211.800 * [taylor]: Taking taylor expansion of 0 in y 211.802 * [taylor]: Taking taylor expansion of 0 in y 211.802 * [approximate]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in (x y) around 0 211.802 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in y 211.802 * [taylor]: Taking taylor expansion of -1 in y 211.802 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in y 211.802 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in y 211.802 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.802 * [taylor]: Taking taylor expansion of x in y 211.802 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in y 211.802 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in y 211.802 * [taylor]: Taking taylor expansion of x in y 211.802 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.802 * [taylor]: Taking taylor expansion of y in y 211.803 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in y 211.803 * [taylor]: Taking taylor expansion of x in y 211.803 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in y 211.803 * [taylor]: Taking taylor expansion of (/ 1 x) in y 211.803 * [taylor]: Taking taylor expansion of x in y 211.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 211.803 * [taylor]: Taking taylor expansion of (* x y) in y 211.803 * [taylor]: Taking taylor expansion of x in y 211.803 * [taylor]: Taking taylor expansion of y in y 211.803 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x 211.803 * [taylor]: Taking taylor expansion of -1 in x 211.803 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x 211.803 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 211.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.803 * [taylor]: Taking taylor expansion of x in x 211.803 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.803 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.803 * [taylor]: Taking taylor expansion of x in x 211.803 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.803 * [taylor]: Taking taylor expansion of y in x 211.803 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x 211.803 * [taylor]: Taking taylor expansion of x in x 211.803 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.803 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.803 * [taylor]: Taking taylor expansion of x in x 211.803 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.803 * [taylor]: Taking taylor expansion of (* x y) in x 211.803 * [taylor]: Taking taylor expansion of x in x 211.803 * [taylor]: Taking taylor expansion of y in x 211.804 * [taylor]: Taking taylor expansion of (* -1 (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y)))))) in x 211.804 * [taylor]: Taking taylor expansion of -1 in x 211.804 * [taylor]: Taking taylor expansion of (/ (- (/ 1 x) (/ 1 (* x (pow y 2)))) (* x (+ (/ 1 x) (/ 1 (* x y))))) in x 211.804 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 (* x (pow y 2)))) in x 211.804 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.804 * [taylor]: Taking taylor expansion of x in x 211.804 * [taylor]: Taking taylor expansion of (/ 1 (* x (pow y 2))) in x 211.804 * [taylor]: Taking taylor expansion of (* x (pow y 2)) in x 211.804 * [taylor]: Taking taylor expansion of x in x 211.804 * [taylor]: Taking taylor expansion of (pow y 2) in x 211.804 * [taylor]: Taking taylor expansion of y in x 211.805 * [taylor]: Taking taylor expansion of (* x (+ (/ 1 x) (/ 1 (* x y)))) in x 211.805 * [taylor]: Taking taylor expansion of x in x 211.805 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 (* x y))) in x 211.805 * [taylor]: Taking taylor expansion of (/ 1 x) in x 211.805 * [taylor]: Taking taylor expansion of x in x 211.805 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 211.805 * [taylor]: Taking taylor expansion of (* x y) in x 211.805 * [taylor]: Taking taylor expansion of x in x 211.805 * [taylor]: Taking taylor expansion of y in x 211.806 * [taylor]: Taking taylor expansion of (* -1 (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1))) in y 211.806 * [taylor]: Taking taylor expansion of -1 in y 211.806 * [taylor]: Taking taylor expansion of (/ (- 1 (/ 1 (pow y 2))) (+ (/ 1 y) 1)) in y 211.806 * [taylor]: Taking taylor expansion of (- 1 (/ 1 (pow y 2))) in y 211.806 * [taylor]: Taking taylor expansion of 1 in y 211.806 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 211.806 * [taylor]: Taking taylor expansion of (pow y 2) in y 211.806 * [taylor]: Taking taylor expansion of y in y 211.806 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1) in y 211.806 * [taylor]: Taking taylor expansion of (/ 1 y) in y 211.806 * [taylor]: Taking taylor expansion of y in y 211.806 * [taylor]: Taking taylor expansion of 1 in y 211.807 * [taylor]: Taking taylor expansion of 0 in y 211.808 * [taylor]: Taking taylor expansion of 0 in y 211.809 * [taylor]: Taking taylor expansion of 0 in y 211.811 * [taylor]: Taking taylor expansion of 0 in y 211.811 * * * [progress]: simplifying candidates 211.813 * [simplify]: Simplifying using # : (* x (* y y)) (* x (* y y)) (+ (log x) (+ (log y) (log y))) (+ (log x) (log (* y y))) (log (* x (* y y))) (exp (* x (* y y))) (* (* (* x x) x) (* (* (* y y) y) (* (* y y) y))) (* (* (* x x) x) (* (* (* y y) (* y y)) (* y y))) (* (cbrt (* x (* y y))) (cbrt (* x (* y y)))) (cbrt (* x (* y y))) (* (* (* x (* y y)) (* x (* y y))) (* x (* y y))) (sqrt (* x (* y y))) (sqrt (* x (* y y))) (* (sqrt x) y) (* (sqrt x) y) (* x y) (* (cbrt x) (* y y)) (* (sqrt x) (* y y)) (* x (* y y)) (- (log (- (* x (* y y)) x)) (log (- (* x y) x))) (log (/ (- (* x (* y y)) x) (- (* x y) x))) (exp (/ (- (* x (* y y)) x) (- (* x y) x))) (/ (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x)) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x))) (* (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (* (* (/ (- (* x (* y y)) x) (- (* x y) x)) (/ (- (* x (* y y)) x) (- (* x y) x))) (/ (- (* x (* y y)) x) (- (* x y) x))) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x))) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x))) (neg (- (* x (* y y)) x)) (neg (- (* x y) x)) (/ (* x (* y y)) (- (* x y) x)) (/ x (- (* x y) x)) (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (cbrt (- (* x (* y y)) x)) (cbrt (- (* x y) x))) (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (sqrt (- (* x y) x))) (/ (cbrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) 1) (/ (cbrt (- (* x (* y y)) x)) (- (* x y) x)) (/ (sqrt (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (sqrt (- (* x (* y y)) x)) (cbrt (- (* x y) x))) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (/ (sqrt (- (* x (* y y)) x)) 1) (/ (sqrt (- (* x (* y y)) x)) (- (* x y) x)) (/ 1 (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (cbrt (- (* x y) x))) (/ 1 (sqrt (- (* x y) x))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) (/ 1 1) (/ (- (* x (* y y)) x) (- (* x y) x)) (/ 1 (- (* x y) x)) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (- (* x (* y y)) x) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) (/ (- (* x (* y y)) x) 1) (/ (- (* x y) x) (cbrt (- (* x (* y y)) x))) (/ (- (* x y) x) (sqrt (- (* x (* y y)) x))) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (- (* x (* y y)) x) (- (pow (* x y) 3) (pow x 3))) (/ (- (* x (* y y)) x) (- (* (* x y) (* x y)) (* x x))) (* (- (* x y) x) (+ (* (* x (* y y)) (* x (* y y))) (+ (* x x) (* (* x (* y y)) x)))) (* (- (* x y) x) (+ (* x (* y y)) x)) (/ (exp (* x y)) (exp x)) (log (- (* x y) x)) (exp (- (* x y) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))) (cbrt (- (* x y) x)) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x)) (sqrt (- (* x y) x)) (sqrt (- (* x y) x)) (- (pow (* x y) 3) (pow x 3)) (+ (* (* x y) (* x y)) (+ (* x x) (* (* x y) x))) (neg x) (- (* (* x y) (* x y)) (* x x)) (+ (* x y) x) (neg x) (* x (/ (- (* x (* y y)) x) (- (* x y) x))) (+ (log x) (- (log (- (* x (* y y)) x)) (log (- (* x y) x)))) (+ (log x) (log (/ (- (* x (* y y)) x) (- (* x y) x)))) (log (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (exp (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (* (* x x) x) (/ (* (* (- (* x (* y y)) x) (- (* x (* y y)) x)) (- (* x (* y y)) x)) (* (* (- (* x y) x) (- (* x y) x)) (- (* x y) x)))) (* (* (* x x) x) (* (* (/ (- (* x (* y y)) x) (- (* x y) x)) (/ (- (* x (* y y)) x) (- (* x y) x))) (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (cbrt (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (cbrt (* x (/ (- (* x (* y y)) x) (- (* x y) x))))) (cbrt (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (* (* x (/ (- (* x (* y y)) x) (- (* x y) x))) (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (sqrt (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (sqrt (* x (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (sqrt x) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (sqrt x) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (sqrt x) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* (sqrt x) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* x (* (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))))) (* x (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* x (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))) (* x (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (sqrt (- (* x y) x)))) (* x (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) 1)) (* x (/ (sqrt (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))) (* x (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* x (/ (sqrt (- (* x (* y y)) x)) 1)) (* x (/ 1 (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))) (* x (/ 1 (sqrt (- (* x y) x)))) (* x (/ 1 1)) (* x 1) (* x (- (* x (* y y)) x)) (* x (/ (- (* x (* y y)) x) (- (pow (* x y) 3) (pow x 3)))) (* x (/ (- (* x (* y y)) x) (- (* (* x y) (* x y)) (* x x)))) (* (cbrt x) (/ (- (* x (* y y)) x) (- (* x y) x))) (* (sqrt x) (/ (- (* x (* y y)) x) (- (* x y) x))) (* x (/ (- (* x (* y y)) x) (- (* x y) x))) (* x (- (* x (* y y)) x)) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ y 1) (+ y 1) (+ y 1) (- (* x y) x) (- (* x y) x) (- (* x y) x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) 211.813 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 211.814 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 211.815 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 211.816 * * [simplify]: iteration done : 9 enodes (cost 5 ) 211.817 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 211.817 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 211.818 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 211.819 * * [simplify]: iteration done : 9 enodes (cost 5 ) 211.820 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 211.820 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 211.822 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 211.823 * * [simplify]: iteration done : 14 enodes (cost 7 ) 211.824 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 211.824 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 211.825 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 211.827 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 211.829 * * [simplify]: iteration done : 16 enodes (cost 7 ) 211.829 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 211.830 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 211.831 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 211.833 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 211.836 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 211.839 * * [simplify]: iteration done : 26 enodes (cost 6 ) 211.839 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 211.840 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 211.841 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 211.844 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 211.854 * * [simplify]: iteration 4 : 80 enodes (cost 6 ) 211.867 * * [simplify]: iteration 5 : 182 enodes (cost 6 ) 211.946 * * [simplify]: iteration 6 : 446 enodes (cost 6 ) 212.306 * * [simplify]: iteration 7 : 1298 enodes (cost 6 ) 214.747 * * [simplify]: iteration 8 : 4672 enodes (cost 6 ) 215.974 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 215.975 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 215.977 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 215.981 * * [simplify]: iteration 2 : 73 enodes (cost 11 ) 216.011 * * [simplify]: iteration 3 : 200 enodes (cost 7 ) 216.122 * * [simplify]: iteration 4 : 416 enodes (cost 7 ) 216.578 * * [simplify]: iteration 5 : 1162 enodes (cost 7 ) 218.982 * * [simplify]: iteration 6 : 3922 enodes (cost 7 ) 221.079 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 221.079 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 221.081 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 221.086 * * [simplify]: iteration 2 : 69 enodes (cost 9 ) 221.107 * * [simplify]: iteration 3 : 196 enodes (cost 7 ) 221.221 * * [simplify]: iteration 4 : 441 enodes (cost 7 ) 221.725 * * [simplify]: iteration 5 : 1243 enodes (cost 7 ) 224.368 * * [simplify]: iteration 6 : 4192 enodes (cost 7 ) 226.590 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 226.591 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 226.591 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 226.593 * * [simplify]: iteration 2 : 11 enodes (cost 13 ) 226.594 * * [simplify]: iteration done : 11 enodes (cost 13 ) 226.594 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 226.595 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 226.596 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 226.597 * * [simplify]: iteration done : 10 enodes (cost 6 ) 226.598 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 226.599 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 226.603 * * [simplify]: iteration 2 : 70 enodes (cost 7 ) 226.634 * * [simplify]: iteration 3 : 224 enodes (cost 7 ) 226.790 * * [simplify]: iteration 4 : 365 enodes (cost 7 ) 227.010 * * [simplify]: iteration 5 : 531 enodes (cost 7 ) 227.614 * * [simplify]: iteration 6 : 1425 enodes (cost 7 ) 230.922 * * [simplify]: iteration 7 : 4784 enodes (cost 7 ) 232.807 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 232.808 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 232.809 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 232.810 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 232.811 * * [simplify]: iteration done : 10 enodes (cost 6 ) 232.812 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 232.813 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 232.814 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 232.815 * * [simplify]: iteration done : 10 enodes (cost 6 ) 232.815 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 232.816 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 232.816 * * [simplify]: iteration done : 5 enodes (cost 4 ) 232.817 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 232.817 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 232.818 * * [simplify]: iteration done : 5 enodes (cost 4 ) 232.818 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 232.819 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 232.819 * * [simplify]: iteration done : 4 enodes (cost 3 ) 232.820 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 232.820 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 232.821 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 232.822 * * [simplify]: iteration done : 10 enodes (cost 6 ) 232.823 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 232.824 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 232.824 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 232.826 * * [simplify]: iteration done : 10 enodes (cost 6 ) 232.826 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 232.827 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 232.828 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 232.829 * * [simplify]: iteration done : 9 enodes (cost 5 ) 232.829 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 232.831 * * [simplify]: iteration 1 : 18 enodes (cost 15 ) 232.833 * * [simplify]: iteration 2 : 22 enodes (cost 15 ) 232.836 * * [simplify]: iteration done : 22 enodes (cost 15 ) 232.836 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 232.837 * * [simplify]: iteration 1 : 21 enodes (cost 14 ) 232.841 * * [simplify]: iteration 2 : 34 enodes (cost 14 ) 232.850 * * [simplify]: iteration 3 : 59 enodes (cost 14 ) 232.859 * * [simplify]: iteration 4 : 103 enodes (cost 14 ) 232.882 * * [simplify]: iteration 5 : 149 enodes (cost 14 ) 232.925 * * [simplify]: iteration 6 : 228 enodes (cost 14 ) 233.049 * * [simplify]: iteration 7 : 537 enodes (cost 14 ) 235.466 * * [simplify]: iteration 8 : 3419 enodes (cost 14 ) 237.581 * * [simplify]: iteration done : 5001 enodes (cost 14 ) 237.582 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 237.583 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 237.585 * * [simplify]: iteration 2 : 32 enodes (cost 14 ) 237.590 * * [simplify]: iteration 3 : 58 enodes (cost 14 ) 237.599 * * [simplify]: iteration 4 : 109 enodes (cost 14 ) 237.625 * * [simplify]: iteration 5 : 177 enodes (cost 14 ) 237.678 * * [simplify]: iteration 6 : 326 enodes (cost 14 ) 237.884 * * [simplify]: iteration 7 : 954 enodes (cost 14 ) 240.991 * * [simplify]: iteration 8 : 4788 enodes (cost 14 ) 242.685 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 242.686 * * [simplify]: iteration 0 : 12 enodes (cost 41 ) 242.688 * * [simplify]: iteration 1 : 27 enodes (cost 41 ) 242.693 * * [simplify]: iteration 2 : 89 enodes (cost 17 ) 242.719 * * [simplify]: iteration 3 : 312 enodes (cost 15 ) 242.831 * * [simplify]: iteration 4 : 1139 enodes (cost 15 ) 243.766 * * [simplify]: iteration 5 : 4858 enodes (cost 15 ) 245.130 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 245.131 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 245.132 * * [simplify]: iteration 1 : 19 enodes (cost 29 ) 245.135 * * [simplify]: iteration 2 : 30 enodes (cost 29 ) 245.139 * * [simplify]: iteration 3 : 54 enodes (cost 29 ) 245.154 * * [simplify]: iteration 4 : 98 enodes (cost 29 ) 245.176 * * [simplify]: iteration 5 : 144 enodes (cost 29 ) 245.214 * * [simplify]: iteration 6 : 223 enodes (cost 29 ) 245.490 * * [simplify]: iteration 7 : 791 enodes (cost 29 ) 248.997 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 248.997 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 248.999 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 249.001 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 249.005 * * [simplify]: iteration 3 : 53 enodes (cost 14 ) 249.014 * * [simplify]: iteration 4 : 97 enodes (cost 14 ) 249.035 * * [simplify]: iteration 5 : 143 enodes (cost 14 ) 249.078 * * [simplify]: iteration 6 : 223 enodes (cost 14 ) 249.197 * * [simplify]: iteration 7 : 527 enodes (cost 14 ) 251.640 * * [simplify]: iteration 8 : 3422 enodes (cost 14 ) 253.722 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 253.723 * * [simplify]: iteration 0 : 10 enodes (cost 41 ) 253.725 * * [simplify]: iteration 1 : 26 enodes (cost 41 ) 253.729 * * [simplify]: iteration 2 : 65 enodes (cost 15 ) 253.747 * * [simplify]: iteration 3 : 247 enodes (cost 15 ) 253.857 * * [simplify]: iteration 4 : 1037 enodes (cost 15 ) 255.566 * * [simplify]: iteration 5 : 4710 enodes (cost 15 ) 257.069 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 257.069 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 257.071 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 257.073 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 257.077 * * [simplify]: iteration 3 : 53 enodes (cost 14 ) 257.086 * * [simplify]: iteration 4 : 97 enodes (cost 14 ) 257.114 * * [simplify]: iteration 5 : 143 enodes (cost 14 ) 257.153 * * [simplify]: iteration 6 : 223 enodes (cost 14 ) 257.273 * * [simplify]: iteration 7 : 527 enodes (cost 14 ) 259.696 * * [simplify]: iteration 8 : 3422 enodes (cost 14 ) 261.981 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 261.982 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 261.983 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 261.990 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 261.994 * * [simplify]: iteration 3 : 53 enodes (cost 14 ) 262.003 * * [simplify]: iteration 4 : 97 enodes (cost 14 ) 262.025 * * [simplify]: iteration 5 : 143 enodes (cost 14 ) 262.068 * * [simplify]: iteration 6 : 223 enodes (cost 14 ) 262.190 * * [simplify]: iteration 7 : 527 enodes (cost 14 ) 264.655 * * [simplify]: iteration 8 : 3422 enodes (cost 14 ) 266.753 * * [simplify]: iteration done : 5000 enodes (cost 14 ) 266.753 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 266.754 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 266.756 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 266.758 * * [simplify]: iteration 3 : 30 enodes (cost 8 ) 266.763 * * [simplify]: iteration 4 : 43 enodes (cost 7 ) 266.769 * * [simplify]: iteration 5 : 46 enodes (cost 7 ) 266.776 * * [simplify]: iteration 6 : 50 enodes (cost 7 ) 266.788 * * [simplify]: iteration 7 : 57 enodes (cost 7 ) 266.798 * * [simplify]: iteration 8 : 58 enodes (cost 7 ) 266.805 * * [simplify]: iteration done : 58 enodes (cost 7 ) 266.805 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 266.806 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 266.807 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 266.808 * * [simplify]: iteration 3 : 19 enodes (cost 6 ) 266.811 * * [simplify]: iteration 4 : 20 enodes (cost 5 ) 266.813 * * [simplify]: iteration 5 : 23 enodes (cost 5 ) 266.816 * * [simplify]: iteration 6 : 27 enodes (cost 5 ) 266.819 * * [simplify]: iteration 7 : 34 enodes (cost 5 ) 266.825 * * [simplify]: iteration 8 : 35 enodes (cost 5 ) 266.828 * * [simplify]: iteration done : 35 enodes (cost 5 ) 266.828 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 266.829 * * [simplify]: iteration 1 : 14 enodes (cost 11 ) 266.831 * * [simplify]: iteration 2 : 26 enodes (cost 11 ) 266.835 * * [simplify]: iteration 3 : 58 enodes (cost 11 ) 266.848 * * [simplify]: iteration 4 : 104 enodes (cost 9 ) 266.875 * * [simplify]: iteration 5 : 140 enodes (cost 7 ) 266.916 * * [simplify]: iteration 6 : 229 enodes (cost 7 ) 267.094 * * [simplify]: iteration 7 : 716 enodes (cost 7 ) 270.372 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 270.373 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 270.378 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 270.379 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 270.380 * * [simplify]: iteration done : 9 enodes (cost 7 ) 270.381 * * [simplify]: iteration 0 : 12 enodes (cost 31 ) 270.383 * * [simplify]: iteration 1 : 24 enodes (cost 31 ) 270.386 * * [simplify]: iteration 2 : 36 enodes (cost 31 ) 270.391 * * [simplify]: iteration 3 : 42 enodes (cost 31 ) 270.396 * * [simplify]: iteration done : 42 enodes (cost 31 ) 270.396 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 270.398 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 270.400 * * [simplify]: iteration 2 : 19 enodes (cost 15 ) 270.402 * * [simplify]: iteration done : 19 enodes (cost 15 ) 270.403 * * [simplify]: iteration 0 : 11 enodes (cost 24 ) 270.404 * * [simplify]: iteration 1 : 19 enodes (cost 24 ) 270.406 * * [simplify]: iteration 2 : 24 enodes (cost 24 ) 270.414 * * [simplify]: iteration 3 : 25 enodes (cost 24 ) 270.417 * * [simplify]: iteration done : 25 enodes (cost 24 ) 270.418 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 270.419 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 270.421 * * [simplify]: iteration 2 : 19 enodes (cost 15 ) 270.424 * * [simplify]: iteration done : 19 enodes (cost 15 ) 270.424 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 270.426 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 270.428 * * [simplify]: iteration 2 : 27 enodes (cost 17 ) 270.431 * * [simplify]: iteration 3 : 32 enodes (cost 17 ) 270.435 * * [simplify]: iteration done : 32 enodes (cost 17 ) 270.435 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 270.437 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 270.439 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 270.441 * * [simplify]: iteration done : 18 enodes (cost 14 ) 270.442 * * [simplify]: iteration 0 : 11 enodes (cost 22 ) 270.443 * * [simplify]: iteration 1 : 19 enodes (cost 22 ) 270.445 * * [simplify]: iteration 2 : 22 enodes (cost 22 ) 270.448 * * [simplify]: iteration done : 22 enodes (cost 22 ) 270.449 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 270.450 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 270.452 * * [simplify]: iteration 2 : 19 enodes (cost 15 ) 270.454 * * [simplify]: iteration done : 19 enodes (cost 15 ) 270.455 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 270.456 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 270.458 * * [simplify]: iteration 2 : 19 enodes (cost 15 ) 270.460 * * [simplify]: iteration done : 19 enodes (cost 15 ) 270.461 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 270.462 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 270.464 * * [simplify]: iteration 2 : 19 enodes (cost 15 ) 270.466 * * [simplify]: iteration done : 19 enodes (cost 15 ) 270.467 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 270.468 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 270.470 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 270.476 * * [simplify]: iteration done : 20 enodes (cost 8 ) 270.477 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 270.478 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 270.480 * * [simplify]: iteration 2 : 18 enodes (cost 14 ) 270.483 * * [simplify]: iteration done : 18 enodes (cost 14 ) 270.483 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 270.484 * * [simplify]: iteration 1 : 15 enodes (cost 15 ) 270.486 * * [simplify]: iteration 2 : 16 enodes (cost 15 ) 270.487 * * [simplify]: iteration done : 16 enodes (cost 15 ) 270.488 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 270.489 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 270.492 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 270.496 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 270.502 * * [simplify]: iteration 4 : 57 enodes (cost 14 ) 270.509 * * [simplify]: iteration 5 : 62 enodes (cost 14 ) 270.518 * * [simplify]: iteration 6 : 64 enodes (cost 14 ) 270.527 * * [simplify]: iteration done : 64 enodes (cost 14 ) 270.528 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 270.528 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 270.530 * * [simplify]: iteration 2 : 13 enodes (cost 8 ) 270.535 * * [simplify]: iteration done : 13 enodes (cost 8 ) 270.536 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 270.537 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 270.539 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 270.543 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 270.550 * * [simplify]: iteration 4 : 57 enodes (cost 14 ) 270.558 * * [simplify]: iteration 5 : 62 enodes (cost 14 ) 270.566 * * [simplify]: iteration 6 : 64 enodes (cost 14 ) 270.575 * * [simplify]: iteration done : 64 enodes (cost 14 ) 270.575 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 270.576 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 270.576 * * [simplify]: iteration done : 4 enodes (cost 1 ) 270.576 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 270.578 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 270.581 * * [simplify]: iteration 2 : 28 enodes (cost 13 ) 270.585 * * [simplify]: iteration 3 : 52 enodes (cost 13 ) 270.597 * * [simplify]: iteration 4 : 96 enodes (cost 13 ) 270.618 * * [simplify]: iteration 5 : 142 enodes (cost 13 ) 270.656 * * [simplify]: iteration 6 : 221 enodes (cost 13 ) 270.934 * * [simplify]: iteration 7 : 786 enodes (cost 13 ) 274.379 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 274.379 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 274.380 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 274.381 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 274.382 * * [simplify]: iteration done : 12 enodes (cost 7 ) 274.383 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 274.384 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 274.387 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 274.390 * * [simplify]: iteration 3 : 37 enodes (cost 13 ) 274.396 * * [simplify]: iteration 4 : 59 enodes (cost 13 ) 274.405 * * [simplify]: iteration 5 : 86 enodes (cost 13 ) 274.431 * * [simplify]: iteration 6 : 220 enodes (cost 13 ) 275.274 * * [simplify]: iteration 7 : 1644 enodes (cost 13 ) 278.185 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 278.187 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 278.188 * * [simplify]: iteration 1 : 21 enodes (cost 21 ) 278.191 * * [simplify]: iteration 2 : 43 enodes (cost 21 ) 278.198 * * [simplify]: iteration 3 : 89 enodes (cost 21 ) 278.220 * * [simplify]: iteration 4 : 151 enodes (cost 21 ) 278.252 * * [simplify]: iteration 5 : 169 enodes (cost 21 ) 278.285 * * [simplify]: iteration 6 : 171 enodes (cost 21 ) 278.319 * * [simplify]: iteration done : 171 enodes (cost 21 ) 278.319 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 278.321 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 278.323 * * [simplify]: iteration 2 : 29 enodes (cost 14 ) 278.327 * * [simplify]: iteration 3 : 44 enodes (cost 14 ) 278.334 * * [simplify]: iteration 4 : 57 enodes (cost 14 ) 278.341 * * [simplify]: iteration 5 : 62 enodes (cost 14 ) 278.350 * * [simplify]: iteration 6 : 64 enodes (cost 14 ) 278.359 * * [simplify]: iteration done : 64 enodes (cost 14 ) 278.360 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 278.361 * * [simplify]: iteration 1 : 17 enodes (cost 7 ) 278.364 * * [simplify]: iteration 2 : 30 enodes (cost 7 ) 278.367 * * [simplify]: iteration 3 : 48 enodes (cost 7 ) 278.380 * * [simplify]: iteration 4 : 81 enodes (cost 7 ) 278.390 * * [simplify]: iteration 5 : 98 enodes (cost 7 ) 278.399 * * [simplify]: iteration done : 98 enodes (cost 7 ) 278.400 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 278.401 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 278.403 * * [simplify]: iteration 2 : 27 enodes (cost 14 ) 278.407 * * [simplify]: iteration 3 : 32 enodes (cost 14 ) 278.411 * * [simplify]: iteration 4 : 34 enodes (cost 14 ) 278.415 * * [simplify]: iteration done : 34 enodes (cost 14 ) 278.416 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 278.418 * * [simplify]: iteration 1 : 18 enodes (cost 14 ) 278.420 * * [simplify]: iteration 2 : 27 enodes (cost 14 ) 278.423 * * [simplify]: iteration 3 : 32 enodes (cost 14 ) 278.427 * * [simplify]: iteration 4 : 34 enodes (cost 14 ) 278.435 * * [simplify]: iteration done : 34 enodes (cost 14 ) 278.435 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 278.436 * * [simplify]: iteration 1 : 17 enodes (cost 13 ) 278.439 * * [simplify]: iteration 2 : 26 enodes (cost 13 ) 278.442 * * [simplify]: iteration 3 : 37 enodes (cost 13 ) 278.448 * * [simplify]: iteration 4 : 59 enodes (cost 13 ) 278.457 * * [simplify]: iteration 5 : 86 enodes (cost 13 ) 278.481 * * [simplify]: iteration 6 : 220 enodes (cost 13 ) 279.330 * * [simplify]: iteration 7 : 1644 enodes (cost 13 ) 282.258 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 282.259 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 282.261 * * [simplify]: iteration 1 : 36 enodes (cost 17 ) 282.267 * * [simplify]: iteration 2 : 94 enodes (cost 17 ) 282.290 * * [simplify]: iteration 3 : 269 enodes (cost 17 ) 282.408 * * [simplify]: iteration 4 : 980 enodes (cost 17 ) 283.382 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 283.383 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 283.384 * * [simplify]: iteration 1 : 28 enodes (cost 19 ) 283.389 * * [simplify]: iteration 2 : 68 enodes (cost 17 ) 283.403 * * [simplify]: iteration 3 : 204 enodes (cost 17 ) 283.473 * * [simplify]: iteration 4 : 740 enodes (cost 15 ) 284.343 * * [simplify]: iteration 5 : 1851 enodes (cost 3 ) 287.793 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 287.794 * * [simplify]: iteration 0 : 12 enodes (cost 29 ) 287.796 * * [simplify]: iteration 1 : 36 enodes (cost 27 ) 287.803 * * [simplify]: iteration 2 : 128 enodes (cost 25 ) 287.852 * * [simplify]: iteration 3 : 508 enodes (cost 21 ) 288.213 * * [simplify]: iteration 4 : 1490 enodes (cost 19 ) 290.083 * * [simplify]: iteration 5 : 3833 enodes (cost 19 ) 292.442 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 292.443 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 292.444 * * [simplify]: iteration 1 : 21 enodes (cost 13 ) 292.448 * * [simplify]: iteration 2 : 55 enodes (cost 13 ) 292.466 * * [simplify]: iteration 3 : 157 enodes (cost 13 ) 292.511 * * [simplify]: iteration 4 : 313 enodes (cost 13 ) 292.658 * * [simplify]: iteration 5 : 566 enodes (cost 13 ) 292.982 * * [simplify]: iteration 6 : 986 enodes (cost 13 ) 293.784 * * [simplify]: iteration 7 : 2139 enodes (cost 13 ) 296.504 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 296.505 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 296.506 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 296.507 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 296.510 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 296.514 * * [simplify]: iteration 4 : 69 enodes (cost 6 ) 296.526 * * [simplify]: iteration 5 : 180 enodes (cost 6 ) 296.613 * * [simplify]: iteration 6 : 554 enodes (cost 6 ) 297.402 * * [simplify]: iteration 7 : 2198 enodes (cost 6 ) 299.521 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 299.522 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 299.523 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 299.524 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 299.525 * * [simplify]: iteration done : 9 enodes (cost 6 ) 299.525 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 299.526 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 299.527 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 299.529 * * [simplify]: iteration 3 : 27 enodes (cost 6 ) 299.533 * * [simplify]: iteration 4 : 55 enodes (cost 6 ) 299.542 * * [simplify]: iteration 5 : 135 enodes (cost 6 ) 299.605 * * [simplify]: iteration 6 : 421 enodes (cost 6 ) 299.901 * * [simplify]: iteration 7 : 1163 enodes (cost 6 ) 301.714 * * [simplify]: iteration 8 : 3680 enodes (cost 6 ) 302.925 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 302.925 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 302.926 * * [simplify]: iteration 1 : 9 enodes (cost 13 ) 302.927 * * [simplify]: iteration 2 : 10 enodes (cost 13 ) 302.929 * * [simplify]: iteration done : 10 enodes (cost 13 ) 302.929 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 302.930 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 302.931 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 302.932 * * [simplify]: iteration done : 9 enodes (cost 6 ) 302.932 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 302.934 * * [simplify]: iteration 1 : 10 enodes (cost 17 ) 302.935 * * [simplify]: iteration 2 : 25 enodes (cost 7 ) 302.940 * * [simplify]: iteration 3 : 80 enodes (cost 7 ) 302.965 * * [simplify]: iteration 4 : 254 enodes (cost 7 ) 303.085 * * [simplify]: iteration 5 : 776 enodes (cost 7 ) 304.073 * * [simplify]: iteration 6 : 2773 enodes (cost 7 ) 305.620 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 305.621 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 305.621 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 305.622 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 305.623 * * [simplify]: iteration done : 9 enodes (cost 6 ) 305.624 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 305.625 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 305.625 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 305.627 * * [simplify]: iteration done : 9 enodes (cost 6 ) 305.627 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 305.628 * * [simplify]: iteration 1 : 25 enodes (cost 9 ) 305.633 * * [simplify]: iteration 2 : 77 enodes (cost 9 ) 305.652 * * [simplify]: iteration 3 : 202 enodes (cost 9 ) 305.733 * * [simplify]: iteration 4 : 475 enodes (cost 9 ) 306.056 * * [simplify]: iteration 5 : 1548 enodes (cost 9 ) 307.602 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 307.602 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 307.604 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 307.607 * * [simplify]: iteration 2 : 47 enodes (cost 13 ) 307.617 * * [simplify]: iteration 3 : 78 enodes (cost 11 ) 307.638 * * [simplify]: iteration 4 : 117 enodes (cost 11 ) 307.669 * * [simplify]: iteration 5 : 178 enodes (cost 11 ) 307.718 * * [simplify]: iteration 6 : 189 enodes (cost 11 ) 307.756 * * [simplify]: iteration 7 : 240 enodes (cost 11 ) 307.829 * * [simplify]: iteration 8 : 305 enodes (cost 11 ) 307.883 * * [simplify]: iteration 9 : 311 enodes (cost 11 ) 307.937 * * [simplify]: iteration done : 311 enodes (cost 11 ) 307.937 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 307.938 * * [simplify]: iteration done : 2 enodes (cost 2 ) 307.938 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 307.939 * * [simplify]: iteration 1 : 18 enodes (cost 11 ) 307.942 * * [simplify]: iteration 2 : 41 enodes (cost 9 ) 307.952 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 307.965 * * [simplify]: iteration 4 : 126 enodes (cost 9 ) 308.011 * * [simplify]: iteration 5 : 276 enodes (cost 9 ) 308.126 * * [simplify]: iteration 6 : 490 enodes (cost 9 ) 308.396 * * [simplify]: iteration 7 : 997 enodes (cost 9 ) 310.105 * * [simplify]: iteration 8 : 3163 enodes (cost 9 ) 312.698 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 312.699 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 312.700 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 312.700 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 312.701 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 312.703 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 312.705 * * [simplify]: iteration done : 19 enodes (cost 5 ) 312.706 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 312.706 * * [simplify]: iteration done : 2 enodes (cost 2 ) 312.707 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 312.708 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 312.711 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 312.717 * * [simplify]: iteration 3 : 86 enodes (cost 15 ) 312.738 * * [simplify]: iteration 4 : 170 enodes (cost 13 ) 312.788 * * [simplify]: iteration 5 : 277 enodes (cost 11 ) 312.871 * * [simplify]: iteration 6 : 421 enodes (cost 11 ) 313.262 * * [simplify]: iteration 7 : 1087 enodes (cost 7 ) 315.122 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 315.123 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 315.125 * * [simplify]: iteration 1 : 23 enodes (cost 18 ) 315.127 * * [simplify]: iteration 2 : 33 enodes (cost 18 ) 315.132 * * [simplify]: iteration 3 : 42 enodes (cost 18 ) 315.137 * * [simplify]: iteration 4 : 48 enodes (cost 18 ) 315.144 * * [simplify]: iteration 5 : 58 enodes (cost 18 ) 315.151 * * [simplify]: iteration 6 : 65 enodes (cost 18 ) 315.163 * * [simplify]: iteration 7 : 77 enodes (cost 18 ) 315.175 * * [simplify]: iteration 8 : 100 enodes (cost 18 ) 315.189 * * [simplify]: iteration 9 : 114 enodes (cost 18 ) 315.202 * * [simplify]: iteration 10 : 120 enodes (cost 18 ) 315.220 * * [simplify]: iteration done : 120 enodes (cost 18 ) 315.220 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 315.222 * * [simplify]: iteration 1 : 24 enodes (cost 17 ) 315.225 * * [simplify]: iteration 2 : 41 enodes (cost 17 ) 315.232 * * [simplify]: iteration 3 : 74 enodes (cost 17 ) 315.243 * * [simplify]: iteration 4 : 128 enodes (cost 17 ) 315.272 * * [simplify]: iteration 5 : 183 enodes (cost 17 ) 315.318 * * [simplify]: iteration 6 : 267 enodes (cost 17 ) 315.444 * * [simplify]: iteration 7 : 575 enodes (cost 17 ) 317.926 * * [simplify]: iteration 8 : 3507 enodes (cost 17 ) 319.999 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 319.999 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 320.001 * * [simplify]: iteration 1 : 25 enodes (cost 16 ) 320.005 * * [simplify]: iteration 2 : 51 enodes (cost 16 ) 320.012 * * [simplify]: iteration 3 : 106 enodes (cost 16 ) 320.035 * * [simplify]: iteration 4 : 209 enodes (cost 14 ) 320.093 * * [simplify]: iteration 5 : 330 enodes (cost 12 ) 320.185 * * [simplify]: iteration 6 : 489 enodes (cost 12 ) 320.586 * * [simplify]: iteration 7 : 1174 enodes (cost 8 ) 322.363 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 322.364 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 322.366 * * [simplify]: iteration 1 : 24 enodes (cost 16 ) 322.369 * * [simplify]: iteration 2 : 50 enodes (cost 16 ) 322.381 * * [simplify]: iteration 3 : 113 enodes (cost 16 ) 322.401 * * [simplify]: iteration 4 : 267 enodes (cost 14 ) 322.483 * * [simplify]: iteration 5 : 630 enodes (cost 12 ) 322.911 * * [simplify]: iteration 6 : 1593 enodes (cost 12 ) 324.466 * * [simplify]: iteration done : 5000 enodes (cost 12 ) 324.467 * * [simplify]: iteration 0 : 15 enodes (cost 47 ) 324.469 * * [simplify]: iteration 1 : 36 enodes (cost 47 ) 324.476 * * [simplify]: iteration 2 : 144 enodes (cost 21 ) 324.531 * * [simplify]: iteration 3 : 684 enodes (cost 19 ) 325.206 * * [simplify]: iteration 4 : 3297 enodes (cost 19 ) 326.925 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 326.926 * * [simplify]: iteration 0 : 13 enodes (cost 47 ) 326.928 * * [simplify]: iteration 1 : 35 enodes (cost 47 ) 326.935 * * [simplify]: iteration 2 : 107 enodes (cost 19 ) 326.970 * * [simplify]: iteration 3 : 454 enodes (cost 19 ) 327.309 * * [simplify]: iteration 4 : 2436 enodes (cost 17 ) 328.349 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 328.350 * * [simplify]: iteration 0 : 11 enodes (cost 33 ) 328.352 * * [simplify]: iteration 1 : 23 enodes (cost 33 ) 328.355 * * [simplify]: iteration 2 : 43 enodes (cost 33 ) 328.362 * * [simplify]: iteration 3 : 88 enodes (cost 33 ) 328.378 * * [simplify]: iteration 4 : 172 enodes (cost 29 ) 328.429 * * [simplify]: iteration 5 : 279 enodes (cost 25 ) 328.517 * * [simplify]: iteration 6 : 422 enodes (cost 25 ) 328.915 * * [simplify]: iteration 7 : 1088 enodes (cost 17 ) 330.813 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 330.814 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 330.815 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 330.825 * * [simplify]: iteration 2 : 42 enodes (cost 16 ) 330.831 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 330.846 * * [simplify]: iteration 4 : 168 enodes (cost 14 ) 330.898 * * [simplify]: iteration 5 : 275 enodes (cost 12 ) 331.003 * * [simplify]: iteration 6 : 420 enodes (cost 12 ) 331.182 * * [simplify]: iteration 7 : 859 enodes (cost 8 ) 334.339 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 334.340 * * [simplify]: iteration 0 : 11 enodes (cost 47 ) 334.342 * * [simplify]: iteration 1 : 33 enodes (cost 47 ) 334.348 * * [simplify]: iteration 2 : 104 enodes (cost 17 ) 334.390 * * [simplify]: iteration 3 : 427 enodes (cost 17 ) 334.795 * * [simplify]: iteration 4 : 2207 enodes (cost 15 ) 336.122 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 336.123 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 336.124 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 336.127 * * [simplify]: iteration 2 : 42 enodes (cost 16 ) 336.134 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 336.149 * * [simplify]: iteration 4 : 168 enodes (cost 14 ) 336.202 * * [simplify]: iteration 5 : 275 enodes (cost 12 ) 336.306 * * [simplify]: iteration 6 : 420 enodes (cost 12 ) 336.486 * * [simplify]: iteration 7 : 859 enodes (cost 8 ) 339.635 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 339.636 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 339.637 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 339.641 * * [simplify]: iteration 2 : 42 enodes (cost 16 ) 339.648 * * [simplify]: iteration 3 : 87 enodes (cost 16 ) 339.663 * * [simplify]: iteration 4 : 168 enodes (cost 14 ) 339.716 * * [simplify]: iteration 5 : 275 enodes (cost 12 ) 339.823 * * [simplify]: iteration 6 : 420 enodes (cost 12 ) 339.999 * * [simplify]: iteration 7 : 859 enodes (cost 8 ) 343.351 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 343.351 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 343.353 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 343.356 * * [simplify]: iteration 2 : 32 enodes (cost 17 ) 343.360 * * [simplify]: iteration 3 : 56 enodes (cost 17 ) 343.369 * * [simplify]: iteration 4 : 100 enodes (cost 17 ) 343.396 * * [simplify]: iteration 5 : 146 enodes (cost 17 ) 343.431 * * [simplify]: iteration 6 : 225 enodes (cost 17 ) 343.712 * * [simplify]: iteration 7 : 783 enodes (cost 17 ) 346.947 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 346.948 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 346.949 * * [simplify]: iteration 1 : 21 enodes (cost 17 ) 346.952 * * [simplify]: iteration 2 : 32 enodes (cost 17 ) 346.956 * * [simplify]: iteration 3 : 56 enodes (cost 17 ) 346.965 * * [simplify]: iteration 4 : 100 enodes (cost 17 ) 346.987 * * [simplify]: iteration 5 : 146 enodes (cost 17 ) 347.025 * * [simplify]: iteration 6 : 225 enodes (cost 17 ) 347.314 * * [simplify]: iteration 7 : 783 enodes (cost 17 ) 350.531 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 350.532 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 350.533 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 350.536 * * [simplify]: iteration 2 : 27 enodes (cost 18 ) 350.539 * * [simplify]: iteration 3 : 31 enodes (cost 18 ) 350.543 * * [simplify]: iteration 4 : 32 enodes (cost 18 ) 350.547 * * [simplify]: iteration done : 32 enodes (cost 18 ) 350.548 * * [simplify]: iteration 0 : 12 enodes (cost 18 ) 350.549 * * [simplify]: iteration 1 : 21 enodes (cost 18 ) 350.552 * * [simplify]: iteration 2 : 27 enodes (cost 18 ) 350.555 * * [simplify]: iteration 3 : 31 enodes (cost 18 ) 350.563 * * [simplify]: iteration 4 : 32 enodes (cost 18 ) 350.567 * * [simplify]: iteration done : 32 enodes (cost 18 ) 350.567 * * [simplify]: iteration 0 : 11 enodes (cost 31 ) 350.569 * * [simplify]: iteration 1 : 23 enodes (cost 31 ) 350.572 * * [simplify]: iteration 2 : 36 enodes (cost 31 ) 350.577 * * [simplify]: iteration 3 : 60 enodes (cost 31 ) 350.586 * * [simplify]: iteration 4 : 104 enodes (cost 31 ) 350.608 * * [simplify]: iteration 5 : 150 enodes (cost 31 ) 350.653 * * [simplify]: iteration 6 : 229 enodes (cost 31 ) 350.777 * * [simplify]: iteration 7 : 543 enodes (cost 31 ) 353.260 * * [simplify]: iteration 8 : 3467 enodes (cost 31 ) 355.535 * * [simplify]: iteration done : 5000 enodes (cost 31 ) 355.536 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 355.538 * * [simplify]: iteration 1 : 20 enodes (cost 16 ) 355.540 * * [simplify]: iteration 2 : 31 enodes (cost 16 ) 355.545 * * [simplify]: iteration 3 : 55 enodes (cost 16 ) 355.553 * * [simplify]: iteration 4 : 99 enodes (cost 16 ) 355.576 * * [simplify]: iteration 5 : 145 enodes (cost 16 ) 355.620 * * [simplify]: iteration 6 : 224 enodes (cost 16 ) 355.740 * * [simplify]: iteration 7 : 525 enodes (cost 16 ) 358.296 * * [simplify]: iteration 8 : 3419 enodes (cost 16 ) 360.463 * * [simplify]: iteration done : 5001 enodes (cost 16 ) 360.464 * * [simplify]: iteration 0 : 13 enodes (cost 33 ) 360.471 * * [simplify]: iteration 1 : 28 enodes (cost 33 ) 360.475 * * [simplify]: iteration 2 : 60 enodes (cost 33 ) 360.486 * * [simplify]: iteration 3 : 99 enodes (cost 33 ) 360.508 * * [simplify]: iteration 4 : 155 enodes (cost 33 ) 360.546 * * [simplify]: iteration 5 : 169 enodes (cost 33 ) 360.581 * * [simplify]: iteration done : 169 enodes (cost 33 ) 360.582 * * [simplify]: iteration 0 : 12 enodes (cost 26 ) 360.584 * * [simplify]: iteration 1 : 23 enodes (cost 26 ) 360.587 * * [simplify]: iteration 2 : 36 enodes (cost 26 ) 360.592 * * [simplify]: iteration 3 : 51 enodes (cost 26 ) 360.601 * * [simplify]: iteration 4 : 64 enodes (cost 26 ) 360.610 * * [simplify]: iteration 5 : 66 enodes (cost 26 ) 360.619 * * [simplify]: iteration done : 66 enodes (cost 26 ) 360.619 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 360.621 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 360.624 * * [simplify]: iteration 2 : 42 enodes (cost 19 ) 360.635 * * [simplify]: iteration 3 : 81 enodes (cost 19 ) 360.651 * * [simplify]: iteration 4 : 119 enodes (cost 19 ) 360.665 * * [simplify]: iteration done : 119 enodes (cost 19 ) 360.666 * * [simplify]: iteration 0 : 12 enodes (cost 24 ) 360.667 * * [simplify]: iteration 1 : 23 enodes (cost 24 ) 360.670 * * [simplify]: iteration 2 : 37 enodes (cost 24 ) 360.676 * * [simplify]: iteration 3 : 51 enodes (cost 24 ) 360.682 * * [simplify]: iteration 4 : 63 enodes (cost 24 ) 360.695 * * [simplify]: iteration done : 63 enodes (cost 24 ) 360.695 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 360.697 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 360.699 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 360.703 * * [simplify]: iteration 3 : 30 enodes (cost 17 ) 360.706 * * [simplify]: iteration 4 : 31 enodes (cost 17 ) 360.711 * * [simplify]: iteration done : 31 enodes (cost 17 ) 360.711 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 360.713 * * [simplify]: iteration 1 : 19 enodes (cost 10 ) 360.716 * * [simplify]: iteration 2 : 29 enodes (cost 10 ) 360.719 * * [simplify]: iteration 3 : 38 enodes (cost 10 ) 360.725 * * [simplify]: iteration 4 : 44 enodes (cost 10 ) 360.729 * * [simplify]: iteration done : 44 enodes (cost 10 ) 360.729 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 360.730 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 360.733 * * [simplify]: iteration 2 : 30 enodes (cost 15 ) 360.737 * * [simplify]: iteration 3 : 38 enodes (cost 15 ) 360.742 * * [simplify]: iteration 4 : 58 enodes (cost 15 ) 360.758 * * [simplify]: iteration 5 : 91 enodes (cost 15 ) 360.769 * * [simplify]: iteration 6 : 96 enodes (cost 15 ) 360.779 * * [simplify]: iteration done : 96 enodes (cost 15 ) 360.780 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 360.781 * * [simplify]: iteration 1 : 16 enodes (cost 10 ) 360.783 * * [simplify]: iteration 2 : 20 enodes (cost 8 ) 360.785 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 360.787 * * [simplify]: iteration 4 : 26 enodes (cost 8 ) 360.789 * * [simplify]: iteration 5 : 27 enodes (cost 8 ) 360.792 * * [simplify]: iteration done : 27 enodes (cost 8 ) 360.792 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 360.793 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 360.794 * * [simplify]: iteration 2 : 14 enodes (cost 1 ) 360.794 * * [simplify]: iteration done : 14 enodes (cost 1 ) 360.795 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 360.795 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 360.796 * * [simplify]: iteration done : 6 enodes (cost 1 ) 360.796 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 360.797 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 360.799 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 360.802 * * [simplify]: iteration 3 : 31 enodes (cost 9 ) 360.811 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 360.818 * * [simplify]: iteration 5 : 41 enodes (cost 9 ) 360.824 * * [simplify]: iteration 6 : 47 enodes (cost 9 ) 360.832 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 360.844 * * [simplify]: iteration 8 : 127 enodes (cost 9 ) 360.893 * * [simplify]: iteration 9 : 277 enodes (cost 9 ) 361.009 * * [simplify]: iteration 10 : 493 enodes (cost 9 ) 361.279 * * [simplify]: iteration 11 : 984 enodes (cost 9 ) 363.069 * * [simplify]: iteration 12 : 3181 enodes (cost 9 ) 365.360 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 365.360 * * [simplify]: iteration 0 : 12 enodes (cost 19 ) 365.362 * * [simplify]: iteration 1 : 40 enodes (cost 19 ) 365.369 * * [simplify]: iteration 2 : 105 enodes (cost 19 ) 365.400 * * [simplify]: iteration 3 : 293 enodes (cost 19 ) 365.528 * * [simplify]: iteration 4 : 1148 enodes (cost 19 ) 366.356 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 366.357 * * [simplify]: iteration 0 : 11 enodes (cost 21 ) 366.358 * * [simplify]: iteration 1 : 32 enodes (cost 21 ) 366.364 * * [simplify]: iteration 2 : 80 enodes (cost 19 ) 366.386 * * [simplify]: iteration 3 : 297 enodes (cost 19 ) 366.543 * * [simplify]: iteration 4 : 1301 enodes (cost 1 ) 369.803 * * [simplify]: iteration 5 : 4112 enodes (cost 1 ) 371.129 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 371.130 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 371.131 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 371.134 * * [simplify]: iteration 2 : 42 enodes (cost 16 ) 371.141 * * [simplify]: iteration 3 : 98 enodes (cost 16 ) 371.163 * * [simplify]: iteration 4 : 195 enodes (cost 16 ) 371.228 * * [simplify]: iteration 5 : 360 enodes (cost 16 ) 371.382 * * [simplify]: iteration 6 : 573 enodes (cost 16 ) 372.108 * * [simplify]: iteration 7 : 1428 enodes (cost 13 ) 373.792 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 373.792 * * [simplify]: iteration 0 : 10 enodes (cost 16 ) 373.794 * * [simplify]: iteration 1 : 22 enodes (cost 16 ) 373.797 * * [simplify]: iteration 2 : 42 enodes (cost 16 ) 373.804 * * [simplify]: iteration 3 : 98 enodes (cost 16 ) 373.821 * * [simplify]: iteration 4 : 195 enodes (cost 16 ) 373.887 * * [simplify]: iteration 5 : 360 enodes (cost 16 ) 374.042 * * [simplify]: iteration 6 : 573 enodes (cost 16 ) 374.587 * * [simplify]: iteration 7 : 1428 enodes (cost 13 ) 376.289 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 376.289 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 376.291 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 376.294 * * [simplify]: iteration 2 : 41 enodes (cost 15 ) 376.301 * * [simplify]: iteration 3 : 86 enodes (cost 15 ) 376.317 * * [simplify]: iteration 4 : 170 enodes (cost 13 ) 376.369 * * [simplify]: iteration 5 : 277 enodes (cost 11 ) 376.454 * * [simplify]: iteration 6 : 421 enodes (cost 11 ) 376.844 * * [simplify]: iteration 7 : 1087 enodes (cost 7 ) 378.705 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 378.706 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 378.707 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 378.709 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 378.712 * * [simplify]: iteration 3 : 31 enodes (cost 9 ) 378.717 * * [simplify]: iteration 4 : 38 enodes (cost 9 ) 378.723 * * [simplify]: iteration 5 : 41 enodes (cost 9 ) 378.729 * * [simplify]: iteration 6 : 47 enodes (cost 9 ) 378.737 * * [simplify]: iteration 7 : 69 enodes (cost 9 ) 378.749 * * [simplify]: iteration 8 : 127 enodes (cost 9 ) 378.795 * * [simplify]: iteration 9 : 277 enodes (cost 9 ) 378.912 * * [simplify]: iteration 10 : 493 enodes (cost 9 ) 379.181 * * [simplify]: iteration 11 : 984 enodes (cost 9 ) 380.928 * * [simplify]: iteration 12 : 3181 enodes (cost 9 ) 383.199 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 383.200 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 383.201 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 383.203 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 383.204 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 383.206 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 383.209 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 383.213 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 383.226 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 383.269 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 383.709 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 385.941 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 385.942 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 385.942 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 385.944 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 385.947 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 385.949 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 385.951 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 385.955 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 385.964 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 386.013 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 386.460 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 388.693 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 388.694 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 388.694 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 388.696 * * [simplify]: iteration 2 : 27 enodes (cost 5 ) 388.698 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 388.700 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 388.703 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 388.706 * * [simplify]: iteration 6 : 70 enodes (cost 5 ) 388.716 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 388.765 * * [simplify]: iteration 8 : 346 enodes (cost 5 ) 389.207 * * [simplify]: iteration 9 : 1272 enodes (cost 5 ) 391.696 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 391.697 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 391.702 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 391.703 * * [simplify]: iteration done : 6 enodes (cost 3 ) 391.708 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 391.708 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 391.709 * * [simplify]: iteration done : 6 enodes (cost 3 ) 391.709 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 391.710 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 391.710 * * [simplify]: iteration done : 6 enodes (cost 3 ) 391.711 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.711 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 391.712 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 391.713 * * [simplify]: iteration done : 8 enodes (cost 5 ) 391.714 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.714 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 391.715 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 391.716 * * [simplify]: iteration done : 8 enodes (cost 5 ) 391.717 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.717 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 391.718 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 391.719 * * [simplify]: iteration done : 8 enodes (cost 5 ) 391.719 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.720 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 391.721 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 391.722 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 391.723 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 391.726 * * [simplify]: iteration done : 19 enodes (cost 5 ) 391.726 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.727 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 391.728 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 391.729 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 391.730 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 391.733 * * [simplify]: iteration done : 19 enodes (cost 5 ) 391.734 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 391.734 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 391.735 * * [simplify]: iteration 2 : 9 enodes (cost 5 ) 391.736 * * [simplify]: iteration 3 : 13 enodes (cost 5 ) 391.738 * * [simplify]: iteration 4 : 19 enodes (cost 5 ) 391.741 * * [simplify]: iteration done : 19 enodes (cost 5 ) 391.742 * [simplify]: Simplified to: (* x (* y y)) (* x (* y y)) (+ (log x) (* 2 (log y))) (+ (log x) (log (* y y))) (log (* x (* y y))) (exp (* x (* y y))) (* (pow y 6) (pow x 3)) (* (pow y 6) (pow x 3)) (* (cbrt (* x (* y y))) (cbrt (* x (* y y)))) (cbrt (* x (* y y))) (pow (* x (* y y)) 3) (sqrt (* x (* y y))) (sqrt (* x (* y y))) (* (sqrt x) y) (* (sqrt x) y) (* x y) (* (cbrt x) (* y y)) (* (sqrt x) (* y y)) (* x (* y y)) (- (log (- (* x (* y y)) x)) (log (- (* x y) x))) (log (/ (- (* x (* y y)) x) (- (* x y) x))) (exp (/ (- (* x (* y y)) x) (- (* x y) x))) (pow (/ (- (* x (* y y)) x) (- (* x y) x)) 3) (* (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (pow (/ (- (* x (* y y)) x) (- (* x y) x)) 3) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x))) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x))) (- x (* x (* y y))) (- x (* x y)) (/ y (- 1 (/ 1 y))) (/ x (- (* x y) x)) (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (cbrt (- (* x (* y y)) x)) (cbrt (- (* x y) x))) (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (sqrt (- (* x y) x))) (/ (cbrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (/ (cbrt (- (* x (* y y)) x)) (- (* x y) x)) (/ (sqrt (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (sqrt (- (* x (* y y)) x)) (cbrt (- (* x y) x))) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x))) (sqrt (- (* x (* y y)) x)) (/ (sqrt (- (* x (* y y)) x)) (- (* x y) x)) (/ 1 (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (cbrt (- (* x y) x))) (/ 1 (sqrt (- (* x y) x))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) 1 (/ (- (* x (* y y)) x) (- (* x y) x)) (/ 1 (- (* x y) x)) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (- (* x (* y y)) x) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ (- (* x (* y y)) x) (sqrt (- (* x y) x))) (- (* x (* y y)) x) (/ (- (* x y) x) (cbrt (- (* x (* y y)) x))) (/ (- (* x y) x) (sqrt (- (* x (* y y)) x))) (/ (- (* x y) x) (- (* x (* y y)) x)) (/ (- (* x (* y y)) x) (- (pow (* x y) 3) (pow x 3))) (/ 1 x) (* (* (- (* x y) x) (* x x)) (+ (* y (+ y (pow y 3))) 1)) (* (- (* x y) x) (+ (* x (* y y)) x)) (exp (- (* x y) x)) (log (- (* x y) x)) (exp (- (* x y) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))) (cbrt (- (* x y) x)) (pow (- (* x y) x) 3) (sqrt (- (* x y) x)) (sqrt (- (* x y) x)) (- (pow (* x y) 3) (pow x 3)) (* (* x (+ (+ y 1) (* y y))) x) (neg x) (* x (- (* x (* y y)) x)) (+ (* x y) x) (neg x) (/ (+ y 1) (/ 1 x)) (+ (log x) (- (log (- (* x (* y y)) x)) (log (- (* x y) x)))) (+ (log x) (log (/ (- (* x (* y y)) x) (- (* x y) x)))) (log (/ (+ (* x y) x) 1)) (exp (/ (- (* x (* y y)) x) (+ y -1))) (* (pow (/ (- (* x (* y y)) x) (- (* x y) x)) 3) (pow x 3)) (pow (/ (- (* x (* y y)) x) (+ (/ y 1) -1)) 3) (* (cbrt (/ (+ (* x y) x) 1)) (cbrt (/ (+ (* x y) x) 1))) (cbrt (+ (* y x) x)) (pow (/ (- (* x (* y y)) x) (- (/ y 1) 1)) 3) (sqrt (+ (* y x) x)) (sqrt (+ (* y x) x)) (* (sqrt x) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (sqrt x) (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* (sqrt x) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* (sqrt x) (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* x (* (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))) (cbrt (/ (- (* x (* y y)) x) (- (* x y) x))))) (* x (sqrt (/ (- (* x (* y y)) x) (- (* x y) x)))) (* x (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))) (* x (/ (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x))) (sqrt (- (* x y) x)))) (* x (* (cbrt (- (* x (* y y)) x)) (cbrt (- (* x (* y y)) x)))) (* x (/ (sqrt (- (* x (* y y)) x)) (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x))))) (* x (/ (sqrt (- (* x (* y y)) x)) (sqrt (- (* x y) x)))) (* (sqrt (- (* x (* y y)) x)) x) (/ x (* (cbrt (- (* x y) x)) (cbrt (- (* x y) x)))) (/ x (sqrt (- (* x y) x))) x x (* (- (* x (* y y)) x) x) (* x (/ (- (* x (* y y)) x) (- (pow (* x y) 3) (pow x 3)))) 1 (/ (- (* (* y y) (cbrt x)) (cbrt x)) (+ -1 y)) (/ (- (* (* y y) (sqrt x)) (sqrt x)) (+ -1 y)) (/ (+ y 1) (/ 1 x)) (* (- (* x (* y y)) x) x) (* x (pow y 2)) (* x (pow y 2)) (* x (pow y 2)) (+ y 1) (+ y 1) (+ y 1) (- (* x y) x) (- (* x y) x) (- (* x y) x) (+ (* x y) x) (+ x (* x y)) (+ x (* x y)) 391.743 * * * [progress]: adding candidates to table 391.857 * [progress]: [Phase 3 of 3] Extracting. 391.857 * * [regime]: Finding splitpoints for: (# #) 391.857 * * * [regime-changes]: Trying 3 branch expressions: ((+ (+ (* x y) x) y) y x) 391.857 * * * * [regimes]: Trying to branch on (+ (+ (* x y) x) y) from (# #) 391.891 * * * * [regimes]: Trying to branch on y from (# #) 391.925 * * * * [regimes]: Trying to branch on x from (# #) 391.959 * * * [regime]: Found split indices: #