488.516 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.022 * * * [progress]: [2/2] Setting up program. 0.025 * [progress]: [Phase 2 of 3] Improving. 0.025 * [simplify]: Simplifying using # : (* (+ x y) (+ x y)) 0.026 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.026 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.028 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.037 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 0.044 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.056 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 0.068 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 0.082 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 0.099 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.099 * [simplify]: Simplified to: (* (+ x y) (+ x y)) 0.099 * * [progress]: iteration 1 / 4 0.099 * * * [progress]: picking best candidate 0.101 * * * * [pick]: Picked # 0.101 * * * [progress]: localizing error 0.104 * * * [progress]: generating rewritten candidates 0.105 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.115 * * * [progress]: generating series expansions 0.115 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.115 * [approximate]: Taking taylor expansion of (pow (+ x y) 2) in (x y) around 0 0.115 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in y 0.115 * [taylor]: Taking taylor expansion of (+ x y) in y 0.115 * [taylor]: Taking taylor expansion of x in y 0.115 * [taylor]: Taking taylor expansion of y in y 0.115 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.115 * [taylor]: Taking taylor expansion of (+ x y) in x 0.115 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of (pow (+ x y) 2) in x 0.116 * [taylor]: Taking taylor expansion of (+ x y) in x 0.116 * [taylor]: Taking taylor expansion of x in x 0.116 * [taylor]: Taking taylor expansion of y in x 0.116 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of (* 2 y) in y 0.116 * [taylor]: Taking taylor expansion of 2 in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.116 * [taylor]: Taking taylor expansion of 1 in y 0.116 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.116 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.116 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.116 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.116 * [taylor]: Taking taylor expansion of x in y 0.116 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.116 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.117 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.117 * [taylor]: Taking taylor expansion of x in x 0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.117 * [taylor]: Taking taylor expansion of y in x 0.117 * [taylor]: Taking taylor expansion of 1 in y 0.117 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.117 * [taylor]: Taking taylor expansion of 2 in y 0.117 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.117 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.117 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.117 * [taylor]: Taking taylor expansion of y in y 0.118 * [approximate]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in (x y) around 0 0.118 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in y 0.118 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.118 * [taylor]: Taking taylor expansion of x in y 0.118 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.118 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of (pow (+ (/ 1 x) (/ 1 y)) 2) in x 0.119 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.119 * [taylor]: Taking taylor expansion of x in x 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.119 * [taylor]: Taking taylor expansion of y in x 0.119 * [taylor]: Taking taylor expansion of 1 in y 0.119 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 0.119 * [taylor]: Taking taylor expansion of 2 in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.119 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 0.119 * [taylor]: Taking taylor expansion of (pow y 2) in y 0.119 * [taylor]: Taking taylor expansion of y in y 0.120 * * * [progress]: simplifying candidates 0.120 * [simplify]: Simplifying using # : (+ 1 1) (* (+ x y) (+ x y)) (+ 1 1) (+ (log (+ x y)) (log (+ x y))) (log (* (+ x y) (+ x y))) (exp (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* (+ x y) (+ x y)) (+ x y))) (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y))) (* (* (* (+ x y) (+ x y)) (* (+ x y) (+ x y))) (* (+ x y) (+ x y))) (sqrt (* (+ x y) (+ x y))) (sqrt (* (+ x y) (+ x y))) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y)) (* (* (cbrt (+ x y)) (cbrt (+ x y))) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (cbrt (+ x y)) (cbrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* 1 1) (* (+ x y) (+ x y)) (* (sqrt (+ x y)) (sqrt (+ x y))) (* (sqrt (+ x y)) (sqrt (+ x y))) (* 2 1) (* (+ x y) x) (* (+ x y) y) (* x (+ x y)) (* y (+ x y)) (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (+ x y) (sqrt (+ x y))) (* (+ x y) 1) (* (+ x y) 1) (* (cbrt (+ x y)) (+ x y)) (* (sqrt (+ x y)) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))) (* (+ x y) (- (* x x) (* y y))) (* (+ (pow x 3) (pow y 3)) (+ x y)) (* (- (* x x) (* y y)) (+ x y)) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) 0.121 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 0.121 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 0.122 * * [simplify]: iteration done : 6 enodes (cost 1 ) 0.122 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 0.123 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 0.125 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 0.129 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 0.135 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 0.147 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 0.163 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 0.176 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 0.190 * * [simplify]: iteration done : 84 enodes (cost 7 ) 0.191 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 0.191 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 0.191 * * [simplify]: iteration done : 6 enodes (cost 1 ) 0.192 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 0.193 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.194 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 0.194 * * [simplify]: iteration done : 9 enodes (cost 6 ) 0.195 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 0.196 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.199 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 0.204 * * [simplify]: iteration 3 : 46 enodes (cost 6 ) 0.211 * * [simplify]: iteration 4 : 65 enodes (cost 6 ) 0.226 * * [simplify]: iteration 5 : 80 enodes (cost 6 ) 0.238 * * [simplify]: iteration 6 : 87 enodes (cost 6 ) 0.252 * * [simplify]: iteration 7 : 89 enodes (cost 6 ) 0.268 * * [simplify]: iteration done : 89 enodes (cost 6 ) 0.268 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 0.269 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 0.271 * * [simplify]: iteration 2 : 38 enodes (cost 8 ) 0.280 * * [simplify]: iteration 3 : 71 enodes (cost 8 ) 0.292 * * [simplify]: iteration 4 : 147 enodes (cost 8 ) 0.328 * * [simplify]: iteration 5 : 323 enodes (cost 8 ) 0.478 * * [simplify]: iteration 6 : 988 enodes (cost 8 ) 1.904 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 1.905 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 1.906 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 1.913 * * [simplify]: iteration 2 : 105 enodes (cost 11 ) 1.950 * * [simplify]: iteration 3 : 362 enodes (cost 5 ) 2.177 * * [simplify]: iteration 4 : 1483 enodes (cost 5 ) 4.509 * * [simplify]: iteration done : 5002 enodes (cost 5 ) 4.510 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 4.511 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 4.513 * * [simplify]: iteration 2 : 26 enodes (cost 17 ) 4.517 * * [simplify]: iteration 3 : 42 enodes (cost 17 ) 4.524 * * [simplify]: iteration 4 : 61 enodes (cost 17 ) 4.538 * * [simplify]: iteration 5 : 77 enodes (cost 17 ) 4.552 * * [simplify]: iteration 6 : 84 enodes (cost 17 ) 4.565 * * [simplify]: iteration 7 : 86 enodes (cost 17 ) 4.579 * * [simplify]: iteration done : 86 enodes (cost 17 ) 4.580 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 4.581 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 4.583 * * [simplify]: iteration 2 : 25 enodes (cost 8 ) 4.587 * * [simplify]: iteration 3 : 41 enodes (cost 8 ) 4.597 * * [simplify]: iteration 4 : 62 enodes (cost 8 ) 4.608 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 4.621 * * [simplify]: iteration 6 : 85 enodes (cost 8 ) 4.634 * * [simplify]: iteration 7 : 87 enodes (cost 8 ) 4.651 * * [simplify]: iteration done : 87 enodes (cost 8 ) 4.651 * * [simplify]: iteration 0 : 6 enodes (cost 23 ) 4.652 * * [simplify]: iteration 1 : 21 enodes (cost 23 ) 4.657 * * [simplify]: iteration 2 : 92 enodes (cost 9 ) 4.688 * * [simplify]: iteration 3 : 297 enodes (cost 5 ) 4.876 * * [simplify]: iteration 4 : 1027 enodes (cost 5 ) 6.522 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 6.523 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 6.524 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 6.525 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 6.529 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 6.537 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 6.553 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 6.565 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 6.578 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 6.591 * * [simplify]: iteration done : 86 enodes (cost 4 ) 6.592 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 6.592 * * [simplify]: iteration 1 : 13 enodes (cost 4 ) 6.594 * * [simplify]: iteration 2 : 26 enodes (cost 4 ) 6.598 * * [simplify]: iteration 3 : 42 enodes (cost 4 ) 6.610 * * [simplify]: iteration 4 : 61 enodes (cost 4 ) 6.620 * * [simplify]: iteration 5 : 77 enodes (cost 4 ) 6.632 * * [simplify]: iteration 6 : 84 enodes (cost 4 ) 6.645 * * [simplify]: iteration 7 : 86 enodes (cost 4 ) 6.663 * * [simplify]: iteration done : 86 enodes (cost 4 ) 6.664 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 6.665 * * [simplify]: iteration 1 : 27 enodes (cost 15 ) 6.670 * * [simplify]: iteration 2 : 73 enodes (cost 15 ) 6.686 * * [simplify]: iteration 3 : 224 enodes (cost 15 ) 6.763 * * [simplify]: iteration 4 : 665 enodes (cost 15 ) 7.252 * * [simplify]: iteration 5 : 2459 enodes (cost 15 ) 9.023 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 9.024 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 9.025 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 9.029 * * [simplify]: iteration 2 : 64 enodes (cost 19 ) 9.045 * * [simplify]: iteration 3 : 247 enodes (cost 19 ) 9.171 * * [simplify]: iteration 4 : 913 enodes (cost 19 ) 10.424 * * [simplify]: iteration 5 : 3506 enodes (cost 19 ) 11.979 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 11.980 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 11.981 * * [simplify]: iteration 1 : 28 enodes (cost 15 ) 11.985 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 11.997 * * [simplify]: iteration 3 : 193 enodes (cost 15 ) 12.064 * * [simplify]: iteration 4 : 793 enodes (cost 15 ) 12.605 * * [simplify]: iteration 5 : 3088 enodes (cost 15 ) 16.054 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 16.055 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 16.056 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 16.059 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 16.070 * * [simplify]: iteration 3 : 140 enodes (cost 13 ) 16.116 * * [simplify]: iteration 4 : 361 enodes (cost 13 ) 16.337 * * [simplify]: iteration 5 : 892 enodes (cost 13 ) 17.314 * * [simplify]: iteration 6 : 2193 enodes (cost 13 ) 19.650 * * [simplify]: iteration 7 : 3882 enodes (cost 13 ) 24.222 * * [simplify]: iteration 8 : 4648 enodes (cost 13 ) 28.604 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 28.604 * * [simplify]: iteration 0 : 10 enodes (cost 15 ) 28.606 * * [simplify]: iteration 1 : 34 enodes (cost 15 ) 28.613 * * [simplify]: iteration 2 : 105 enodes (cost 15 ) 28.646 * * [simplify]: iteration 3 : 413 enodes (cost 15 ) 28.830 * * [simplify]: iteration 4 : 1430 enodes (cost 15 ) 30.092 * * [simplify]: iteration 5 : 4883 enodes (cost 15 ) 32.080 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 32.081 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 32.082 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 32.087 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 32.102 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 32.185 * * [simplify]: iteration 4 : 494 enodes (cost 13 ) 32.545 * * [simplify]: iteration 5 : 1263 enodes (cost 13 ) 34.210 * * [simplify]: iteration 6 : 3143 enodes (cost 13 ) 37.541 * * [simplify]: iteration 7 : 4779 enodes (cost 13 ) 38.704 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 38.705 * * [simplify]: iteration 0 : 6 enodes (cost 15 ) 38.706 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 38.707 * * [simplify]: iteration 2 : 31 enodes (cost 15 ) 38.714 * * [simplify]: iteration 3 : 126 enodes (cost 15 ) 38.764 * * [simplify]: iteration 4 : 505 enodes (cost 15 ) 39.091 * * [simplify]: iteration 5 : 1516 enodes (cost 15 ) 40.474 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 40.475 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 40.477 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 40.477 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 40.479 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 40.484 * * [simplify]: iteration 4 : 63 enodes (cost 7 ) 40.502 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 40.530 * * [simplify]: iteration 6 : 186 enodes (cost 7 ) 40.588 * * [simplify]: iteration 7 : 296 enodes (cost 7 ) 40.695 * * [simplify]: iteration 8 : 455 enodes (cost 7 ) 40.869 * * [simplify]: iteration 9 : 628 enodes (cost 7 ) 41.032 * * [simplify]: iteration 10 : 671 enodes (cost 7 ) 41.183 * * [simplify]: iteration 11 : 672 enodes (cost 7 ) 41.338 * * [simplify]: iteration done : 672 enodes (cost 7 ) 41.339 * * [simplify]: iteration 0 : 6 enodes (cost 19 ) 41.340 * * [simplify]: iteration 1 : 11 enodes (cost 19 ) 41.341 * * [simplify]: iteration 2 : 13 enodes (cost 11 ) 41.343 * * [simplify]: iteration 3 : 22 enodes (cost 6 ) 41.346 * * [simplify]: iteration 4 : 45 enodes (cost 6 ) 41.352 * * [simplify]: iteration 5 : 71 enodes (cost 6 ) 41.366 * * [simplify]: iteration 6 : 143 enodes (cost 6 ) 41.415 * * [simplify]: iteration 7 : 358 enodes (cost 6 ) 41.794 * * [simplify]: iteration 8 : 1286 enodes (cost 6 ) 43.462 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 43.462 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.463 * * [simplify]: iteration 1 : 6 enodes (cost 9 ) 43.464 * * [simplify]: iteration done : 6 enodes (cost 9 ) 43.464 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.465 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 43.465 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 43.466 * * [simplify]: iteration done : 7 enodes (cost 3 ) 43.467 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.467 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 43.468 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 43.468 * * [simplify]: iteration done : 7 enodes (cost 3 ) 43.469 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 43.469 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 43.469 * * [simplify]: iteration done : 4 enodes (cost 1 ) 43.470 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.470 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.472 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.485 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.493 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.503 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.515 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.528 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.546 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.547 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 43.547 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 43.548 * * [simplify]: iteration done : 4 enodes (cost 1 ) 43.548 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.549 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.551 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.555 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.561 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.572 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.584 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.603 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.616 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.617 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 43.617 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 43.617 * * [simplify]: iteration done : 4 enodes (cost 1 ) 43.618 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.618 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.620 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.624 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.631 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.641 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.659 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.672 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.685 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.686 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 43.686 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 43.686 * * [simplify]: iteration done : 4 enodes (cost 1 ) 43.687 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.688 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.689 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.693 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.700 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.716 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.729 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.741 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.755 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.755 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.756 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 43.756 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 43.757 * * [simplify]: iteration done : 7 enodes (cost 3 ) 43.758 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 43.758 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 43.759 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 43.760 * * [simplify]: iteration done : 7 enodes (cost 3 ) 43.760 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 43.761 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 43.761 * * [simplify]: iteration done : 6 enodes (cost 1 ) 43.761 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 43.762 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 43.763 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 43.764 * * [simplify]: iteration done : 13 enodes (cost 5 ) 43.765 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 43.765 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 43.767 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 43.768 * * [simplify]: iteration done : 13 enodes (cost 5 ) 43.769 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 43.770 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 43.776 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 43.778 * * [simplify]: iteration done : 12 enodes (cost 5 ) 43.778 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 43.779 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 43.780 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 43.782 * * [simplify]: iteration done : 12 enodes (cost 5 ) 43.782 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 43.783 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 43.784 * * [simplify]: iteration 2 : 20 enodes (cost 13 ) 43.787 * * [simplify]: iteration 3 : 32 enodes (cost 13 ) 43.792 * * [simplify]: iteration 4 : 34 enodes (cost 13 ) 43.796 * * [simplify]: iteration done : 34 enodes (cost 13 ) 43.797 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 43.798 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 43.798 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 43.800 * * [simplify]: iteration done : 15 enodes (cost 8 ) 43.801 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 43.801 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 43.803 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 43.806 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 43.807 * * [simplify]: iteration done : 28 enodes (cost 3 ) 43.808 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 43.808 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 43.809 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 43.812 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 43.813 * * [simplify]: iteration done : 28 enodes (cost 3 ) 43.814 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 43.814 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 43.816 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 43.818 * * [simplify]: iteration done : 14 enodes (cost 8 ) 43.818 * * [simplify]: iteration 0 : 5 enodes (cost 8 ) 43.819 * * [simplify]: iteration 1 : 13 enodes (cost 8 ) 43.821 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 43.822 * * [simplify]: iteration done : 14 enodes (cost 8 ) 43.823 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.824 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.825 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.830 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.842 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.853 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.864 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.877 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.896 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.896 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 43.897 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 43.899 * * [simplify]: iteration 2 : 24 enodes (cost 7 ) 43.902 * * [simplify]: iteration 3 : 40 enodes (cost 7 ) 43.910 * * [simplify]: iteration 4 : 59 enodes (cost 7 ) 43.920 * * [simplify]: iteration 5 : 75 enodes (cost 7 ) 43.932 * * [simplify]: iteration 6 : 82 enodes (cost 7 ) 43.945 * * [simplify]: iteration 7 : 84 enodes (cost 7 ) 43.964 * * [simplify]: iteration done : 84 enodes (cost 7 ) 43.965 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 43.966 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 43.971 * * [simplify]: iteration 2 : 88 enodes (cost 11 ) 43.989 * * [simplify]: iteration 3 : 207 enodes (cost 11 ) 44.051 * * [simplify]: iteration 4 : 433 enodes (cost 11 ) 44.240 * * [simplify]: iteration 5 : 1016 enodes (cost 11 ) 45.295 * * [simplify]: iteration 6 : 3242 enodes (cost 11 ) 47.384 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 47.385 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 47.386 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 47.388 * * [simplify]: iteration 2 : 35 enodes (cost 11 ) 47.395 * * [simplify]: iteration 3 : 106 enodes (cost 11 ) 47.424 * * [simplify]: iteration 4 : 259 enodes (cost 11 ) 47.534 * * [simplify]: iteration 5 : 562 enodes (cost 11 ) 47.998 * * [simplify]: iteration 6 : 1875 enodes (cost 11 ) 49.330 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 49.331 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 49.333 * * [simplify]: iteration 1 : 30 enodes (cost 11 ) 49.337 * * [simplify]: iteration 2 : 64 enodes (cost 11 ) 49.358 * * [simplify]: iteration 3 : 162 enodes (cost 11 ) 49.400 * * [simplify]: iteration 4 : 382 enodes (cost 11 ) 49.558 * * [simplify]: iteration 5 : 901 enodes (cost 11 ) 50.428 * * [simplify]: iteration 6 : 2996 enodes (cost 11 ) 52.242 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 52.243 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 52.244 * * [simplify]: iteration 1 : 19 enodes (cost 11 ) 52.247 * * [simplify]: iteration 2 : 54 enodes (cost 11 ) 52.266 * * [simplify]: iteration 3 : 145 enodes (cost 11 ) 52.307 * * [simplify]: iteration 4 : 330 enodes (cost 11 ) 52.489 * * [simplify]: iteration 5 : 921 enodes (cost 11 ) 54.343 * * [simplify]: iteration 6 : 4155 enodes (cost 11 ) 56.129 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 56.130 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 56.131 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 56.136 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 56.141 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 56.156 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 56.164 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 56.175 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 56.196 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 56.299 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 57.270 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 59.843 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 59.843 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 59.845 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 59.849 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 59.855 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 59.861 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 59.870 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 59.882 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 59.910 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 60.011 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 60.981 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 63.549 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 63.551 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 63.552 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 63.557 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 63.563 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 63.569 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 63.578 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 63.595 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 63.619 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 63.722 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 64.696 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 67.253 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 67.254 * [simplify]: Simplified to: 2 (* (+ x y) (+ x y)) 2 (* 2 (log (+ x y))) (* 2 (log (+ x y))) (exp (* (+ x y) (+ x y))) (pow (+ x y) 6) (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y))) (pow (+ x y) 6) (fabs (+ x y)) (fabs (+ x y)) (* (+ (pow x 3) (pow y 3)) (+ (pow x 3) (pow y 3))) (* (+ (* y (- y x)) (* x x)) (+ (* y (- y x)) (* x x))) (* (+ (pow x 3) (pow y 3)) (- (* x x) (* y y))) (* (- x y) (+ (* y (- y x)) (* x x))) (* (- (* x x) (* y y)) (+ (pow x 3) (pow y 3))) (* (- x y) (+ (* x x) (* y (- y x)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y)) (pow (cbrt (+ x y)) 4) (* (cbrt (+ x y)) (cbrt (+ x y))) (+ x y) (+ x y) 1 (* (+ x y) (+ x y)) 1 (* (+ x y) (+ x y)) 1 (* (+ x y) (+ x y)) 1 (* (+ x y) (+ x y)) (+ x y) (+ x y) 2 (* (+ x y) x) (* (+ x y) y) (* x (+ x y)) (* y (+ x y)) (* (+ x y) (* (cbrt (+ x y)) (cbrt (+ x y)))) (* (+ x y) (sqrt (+ x y))) (+ x y) (+ x y) (* (cbrt (+ x y)) (+ x y)) (* (sqrt (+ x y)) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ x y)) (* (+ x y) (+ (pow x 3) (pow y 3))) (* (+ x y) (- (* x x) (* y y))) (* (+ (pow x 3) (pow y 3)) (+ x y)) (* (- (* x x) (* y y)) (+ x y)) (+ (* x (+ (* 2 y) x)) (pow y 2)) (+ (* x (+ (* 2 y) x)) (pow y 2)) (+ (* x (+ (* 2 y) x)) (pow y 2)) 67.254 * * * [progress]: adding candidates to table 67.294 * * [progress]: iteration 2 / 4 67.295 * * * [progress]: picking best candidate 67.297 * * * * [pick]: Picked # 67.297 * * * [progress]: localizing error 67.303 * * * [progress]: generating rewritten candidates 67.303 * * * * [progress]: [ 1 / 3 ] rewriting at (2 2) 67.310 * * * * [progress]: [ 2 / 3 ] rewriting at (2) 67.318 * * * * [progress]: [ 3 / 3 ] rewriting at (2 1) 67.327 * * * [progress]: generating series expansions 67.327 * * * * [progress]: [ 1 / 3 ] generating series at (2 2) 67.327 * [approximate]: Taking taylor expansion of (* (+ x y) y) in (x y) around 0 67.327 * [taylor]: Taking taylor expansion of (* (+ x y) y) in y 67.327 * [taylor]: Taking taylor expansion of (+ x y) in y 67.327 * [taylor]: Taking taylor expansion of x in y 67.327 * [taylor]: Taking taylor expansion of y in y 67.327 * [taylor]: Taking taylor expansion of y in y 67.327 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x 67.327 * [taylor]: Taking taylor expansion of (+ x y) in x 67.327 * [taylor]: Taking taylor expansion of x in x 67.327 * [taylor]: Taking taylor expansion of y in x 67.327 * [taylor]: Taking taylor expansion of y in x 67.327 * [taylor]: Taking taylor expansion of (* (+ x y) y) in x 67.327 * [taylor]: Taking taylor expansion of (+ x y) in x 67.327 * [taylor]: Taking taylor expansion of x in x 67.327 * [taylor]: Taking taylor expansion of y in x 67.327 * [taylor]: Taking taylor expansion of y in x 67.327 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.327 * [taylor]: Taking taylor expansion of y in y 67.328 * [taylor]: Taking taylor expansion of y in y 67.328 * [taylor]: Taking taylor expansion of 0 in y 67.328 * [taylor]: Taking taylor expansion of 0 in y 67.328 * [taylor]: Taking taylor expansion of 0 in y 67.328 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (x y) around 0 67.328 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 67.328 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 67.328 * [taylor]: Taking taylor expansion of (/ 1 x) in y 67.328 * [taylor]: Taking taylor expansion of x in y 67.328 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.328 * [taylor]: Taking taylor expansion of y in y 67.328 * [taylor]: Taking taylor expansion of y in y 67.328 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 67.328 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.328 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.328 * [taylor]: Taking taylor expansion of x in x 67.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.329 * [taylor]: Taking taylor expansion of y in x 67.329 * [taylor]: Taking taylor expansion of y in x 67.329 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 67.329 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.329 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.329 * [taylor]: Taking taylor expansion of x in x 67.329 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.329 * [taylor]: Taking taylor expansion of y in x 67.329 * [taylor]: Taking taylor expansion of y in x 67.329 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.329 * [taylor]: Taking taylor expansion of y in y 67.329 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.329 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.329 * [taylor]: Taking taylor expansion of y in y 67.329 * [taylor]: Taking taylor expansion of 0 in y 67.330 * [taylor]: Taking taylor expansion of 0 in y 67.330 * [taylor]: Taking taylor expansion of 0 in y 67.331 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in (x y) around 0 67.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in y 67.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 67.331 * [taylor]: Taking taylor expansion of (/ 1 x) in y 67.331 * [taylor]: Taking taylor expansion of x in y 67.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.331 * [taylor]: Taking taylor expansion of y in y 67.331 * [taylor]: Taking taylor expansion of y in y 67.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 67.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.331 * [taylor]: Taking taylor expansion of x in x 67.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.331 * [taylor]: Taking taylor expansion of y in x 67.331 * [taylor]: Taking taylor expansion of y in x 67.331 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) y) in x 67.331 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.331 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.331 * [taylor]: Taking taylor expansion of x in x 67.331 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.331 * [taylor]: Taking taylor expansion of y in x 67.331 * [taylor]: Taking taylor expansion of y in x 67.331 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.331 * [taylor]: Taking taylor expansion of y in y 67.332 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.332 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.332 * [taylor]: Taking taylor expansion of y in y 67.332 * [taylor]: Taking taylor expansion of 0 in y 67.332 * [taylor]: Taking taylor expansion of 0 in y 67.333 * [taylor]: Taking taylor expansion of 0 in y 67.333 * * * * [progress]: [ 2 / 3 ] generating series at (2) 67.333 * [approximate]: Taking taylor expansion of (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) in (x y) around 0 67.333 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) in y 67.333 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in y 67.333 * [taylor]: Taking taylor expansion of 2 in y 67.333 * [taylor]: Taking taylor expansion of (* x y) in y 67.333 * [taylor]: Taking taylor expansion of x in y 67.333 * [taylor]: Taking taylor expansion of y in y 67.333 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in y 67.333 * [taylor]: Taking taylor expansion of (pow x 2) in y 67.334 * [taylor]: Taking taylor expansion of x in y 67.334 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.334 * [taylor]: Taking taylor expansion of y in y 67.334 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) in x 67.334 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 67.334 * [taylor]: Taking taylor expansion of 2 in x 67.334 * [taylor]: Taking taylor expansion of (* x y) in x 67.334 * [taylor]: Taking taylor expansion of x in x 67.334 * [taylor]: Taking taylor expansion of y in x 67.334 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 67.334 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.334 * [taylor]: Taking taylor expansion of x in x 67.334 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.334 * [taylor]: Taking taylor expansion of y in x 67.334 * [taylor]: Taking taylor expansion of (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) in x 67.334 * [taylor]: Taking taylor expansion of (* 2 (* x y)) in x 67.334 * [taylor]: Taking taylor expansion of 2 in x 67.334 * [taylor]: Taking taylor expansion of (* x y) in x 67.334 * [taylor]: Taking taylor expansion of x in x 67.334 * [taylor]: Taking taylor expansion of y in x 67.334 * [taylor]: Taking taylor expansion of (+ (pow x 2) (pow y 2)) in x 67.334 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.334 * [taylor]: Taking taylor expansion of x in x 67.334 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.334 * [taylor]: Taking taylor expansion of y in x 67.334 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.334 * [taylor]: Taking taylor expansion of y in y 67.334 * [taylor]: Taking taylor expansion of (* 2 y) in y 67.334 * [taylor]: Taking taylor expansion of 2 in y 67.334 * [taylor]: Taking taylor expansion of y in y 67.335 * [taylor]: Taking taylor expansion of 1 in y 67.335 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in (x y) around 0 67.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in y 67.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 67.335 * [taylor]: Taking taylor expansion of (pow x 2) in y 67.335 * [taylor]: Taking taylor expansion of x in y 67.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 67.335 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.335 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.335 * [taylor]: Taking taylor expansion of y in y 67.335 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 67.335 * [taylor]: Taking taylor expansion of 2 in y 67.335 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 67.335 * [taylor]: Taking taylor expansion of (* x y) in y 67.335 * [taylor]: Taking taylor expansion of x in y 67.335 * [taylor]: Taking taylor expansion of y in y 67.335 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in x 67.335 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 67.336 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.336 * [taylor]: Taking taylor expansion of x in x 67.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 67.336 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 67.336 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.336 * [taylor]: Taking taylor expansion of y in x 67.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 67.336 * [taylor]: Taking taylor expansion of 2 in x 67.336 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 67.336 * [taylor]: Taking taylor expansion of (* x y) in x 67.336 * [taylor]: Taking taylor expansion of x in x 67.336 * [taylor]: Taking taylor expansion of y in x 67.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in x 67.336 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 67.336 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.336 * [taylor]: Taking taylor expansion of x in x 67.336 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 67.336 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 67.336 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.336 * [taylor]: Taking taylor expansion of y in x 67.336 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 67.336 * [taylor]: Taking taylor expansion of 2 in x 67.336 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 67.336 * [taylor]: Taking taylor expansion of (* x y) in x 67.336 * [taylor]: Taking taylor expansion of x in x 67.336 * [taylor]: Taking taylor expansion of y in x 67.336 * [taylor]: Taking taylor expansion of 1 in y 67.337 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 67.337 * [taylor]: Taking taylor expansion of 2 in y 67.337 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.337 * [taylor]: Taking taylor expansion of y in y 67.337 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.337 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.337 * [taylor]: Taking taylor expansion of y in y 67.338 * [approximate]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in (x y) around 0 67.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in y 67.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in y 67.338 * [taylor]: Taking taylor expansion of (pow x 2) in y 67.338 * [taylor]: Taking taylor expansion of x in y 67.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in y 67.338 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.338 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.338 * [taylor]: Taking taylor expansion of y in y 67.338 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in y 67.338 * [taylor]: Taking taylor expansion of 2 in y 67.338 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in y 67.338 * [taylor]: Taking taylor expansion of (* x y) in y 67.338 * [taylor]: Taking taylor expansion of x in y 67.338 * [taylor]: Taking taylor expansion of y in y 67.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in x 67.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 67.338 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.338 * [taylor]: Taking taylor expansion of x in x 67.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 67.338 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 67.338 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.338 * [taylor]: Taking taylor expansion of y in x 67.338 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 67.338 * [taylor]: Taking taylor expansion of 2 in x 67.338 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 67.338 * [taylor]: Taking taylor expansion of (* x y) in x 67.338 * [taylor]: Taking taylor expansion of x in x 67.338 * [taylor]: Taking taylor expansion of y in x 67.338 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow x 2)) (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y))))) in x 67.338 * [taylor]: Taking taylor expansion of (/ 1 (pow x 2)) in x 67.339 * [taylor]: Taking taylor expansion of (pow x 2) in x 67.339 * [taylor]: Taking taylor expansion of x in x 67.339 * [taylor]: Taking taylor expansion of (+ (/ 1 (pow y 2)) (* 2 (/ 1 (* x y)))) in x 67.339 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 67.339 * [taylor]: Taking taylor expansion of (pow y 2) in x 67.339 * [taylor]: Taking taylor expansion of y in x 67.339 * [taylor]: Taking taylor expansion of (* 2 (/ 1 (* x y))) in x 67.339 * [taylor]: Taking taylor expansion of 2 in x 67.339 * [taylor]: Taking taylor expansion of (/ 1 (* x y)) in x 67.339 * [taylor]: Taking taylor expansion of (* x y) in x 67.339 * [taylor]: Taking taylor expansion of x in x 67.339 * [taylor]: Taking taylor expansion of y in x 67.339 * [taylor]: Taking taylor expansion of 1 in y 67.339 * [taylor]: Taking taylor expansion of (* 2 (/ 1 y)) in y 67.339 * [taylor]: Taking taylor expansion of 2 in y 67.339 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.339 * [taylor]: Taking taylor expansion of y in y 67.340 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 67.340 * [taylor]: Taking taylor expansion of (pow y 2) in y 67.340 * [taylor]: Taking taylor expansion of y in y 67.340 * * * * [progress]: [ 3 / 3 ] generating series at (2 1) 67.340 * [approximate]: Taking taylor expansion of (* (+ x y) x) in (x y) around 0 67.340 * [taylor]: Taking taylor expansion of (* (+ x y) x) in y 67.340 * [taylor]: Taking taylor expansion of (+ x y) in y 67.340 * [taylor]: Taking taylor expansion of x in y 67.340 * [taylor]: Taking taylor expansion of y in y 67.340 * [taylor]: Taking taylor expansion of x in y 67.340 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x 67.340 * [taylor]: Taking taylor expansion of (+ x y) in x 67.340 * [taylor]: Taking taylor expansion of x in x 67.340 * [taylor]: Taking taylor expansion of y in x 67.340 * [taylor]: Taking taylor expansion of x in x 67.340 * [taylor]: Taking taylor expansion of (* (+ x y) x) in x 67.340 * [taylor]: Taking taylor expansion of (+ x y) in x 67.340 * [taylor]: Taking taylor expansion of x in x 67.340 * [taylor]: Taking taylor expansion of y in x 67.340 * [taylor]: Taking taylor expansion of x in x 67.340 * [taylor]: Taking taylor expansion of 0 in y 67.340 * [taylor]: Taking taylor expansion of y in y 67.341 * [taylor]: Taking taylor expansion of 1 in y 67.341 * [taylor]: Taking taylor expansion of 0 in y 67.341 * [taylor]: Taking taylor expansion of 0 in y 67.341 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0 67.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y 67.341 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 67.341 * [taylor]: Taking taylor expansion of (/ 1 x) in y 67.341 * [taylor]: Taking taylor expansion of x in y 67.341 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.341 * [taylor]: Taking taylor expansion of y in y 67.341 * [taylor]: Taking taylor expansion of x in y 67.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 67.341 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.341 * [taylor]: Taking taylor expansion of x in x 67.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.341 * [taylor]: Taking taylor expansion of y in x 67.341 * [taylor]: Taking taylor expansion of x in x 67.341 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 67.341 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.341 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.341 * [taylor]: Taking taylor expansion of x in x 67.341 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.341 * [taylor]: Taking taylor expansion of y in x 67.342 * [taylor]: Taking taylor expansion of x in x 67.342 * [taylor]: Taking taylor expansion of 1 in y 67.342 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.342 * [taylor]: Taking taylor expansion of y in y 67.342 * [taylor]: Taking taylor expansion of 0 in y 67.342 * [taylor]: Taking taylor expansion of 0 in y 67.343 * [taylor]: Taking taylor expansion of 0 in y 67.343 * [approximate]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in (x y) around 0 67.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in y 67.343 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in y 67.343 * [taylor]: Taking taylor expansion of (/ 1 x) in y 67.343 * [taylor]: Taking taylor expansion of x in y 67.343 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.343 * [taylor]: Taking taylor expansion of y in y 67.343 * [taylor]: Taking taylor expansion of x in y 67.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 67.343 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.343 * [taylor]: Taking taylor expansion of x in x 67.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.343 * [taylor]: Taking taylor expansion of y in x 67.343 * [taylor]: Taking taylor expansion of x in x 67.343 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 x) (/ 1 y)) x) in x 67.343 * [taylor]: Taking taylor expansion of (+ (/ 1 x) (/ 1 y)) in x 67.343 * [taylor]: Taking taylor expansion of (/ 1 x) in x 67.343 * [taylor]: Taking taylor expansion of x in x 67.343 * [taylor]: Taking taylor expansion of (/ 1 y) in x 67.343 * [taylor]: Taking taylor expansion of y in x 67.343 * [taylor]: Taking taylor expansion of x in x 67.344 * [taylor]: Taking taylor expansion of 1 in y 67.344 * [taylor]: Taking taylor expansion of (/ 1 y) in y 67.344 * [taylor]: Taking taylor expansion of y in y 67.344 * [taylor]: Taking taylor expansion of 0 in y 67.344 * [taylor]: Taking taylor expansion of 0 in y 67.345 * [taylor]: Taking taylor expansion of 0 in y 67.345 * * * [progress]: simplifying candidates 67.346 * [simplify]: Simplifying using # : (* (+ x y) y) (+ (log (+ x y)) (log y)) (log (* (+ x y) y)) (exp (* (+ x y) y)) (* (* (* (+ x y) (+ x y)) (+ x 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 y)) (* (sqrt (+ x y)) (sqrt y)) (* (+ x y) (* (cbrt y) (cbrt y))) (* (+ x y) (sqrt y)) (* (+ x y) 1) (* (cbrt (+ x y)) y) (* (sqrt (+ x y)) y) (* (+ x y) y) (* (+ x y) y) (* (+ (pow x 3) (pow y 3)) y) (* (- (* x x) (* y y)) y) (* (exp (* (+ x y) x)) (exp (* (+ x y) y))) (log (+ (* (+ x y) x) (* (+ x y) y))) (exp (+ (* (+ x y) x) (* (+ x y) y))) (* (cbrt (+ (* (+ x y) x) (* (+ x y) y))) (cbrt (+ (* (+ x y) x) (* (+ x y) y)))) (cbrt (+ (* (+ x y) x) (* (+ x y) y))) (* (* (+ (* (+ x y) x) (* (+ x y) y)) (+ (* (+ x y) x) (* (+ x y) y))) (+ (* (+ x y) x) (* (+ x y) y))) (sqrt (+ (* (+ x y) x) (* (+ x y) y))) (sqrt (+ (* (+ x y) x) (* (+ x y) y))) (+ (* (* (+ (pow x 3) (pow y 3)) x) (+ (* x x) (- (* y y) (* x y)))) (* (+ (* x x) (- (* y y) (* x y))) (* (+ (pow x 3) (pow y 3)) y))) (* (+ (* x x) (- (* y y) (* x y))) (+ (* x x) (- (* y y) (* x y)))) (+ (* (* (+ (pow x 3) (pow y 3)) x) (- x y)) (* (+ (* x x) (- (* y y) (* x y))) (* (- (* x x) (* y y)) y))) (* (+ (* x x) (- (* y y) (* x y))) (- x y)) (+ (* (* (- (* x x) (* y y)) x) (+ (* x x) (- (* y y) (* x y)))) (* (- x y) (* (+ (pow x 3) (pow y 3)) y))) (* (- x y) (+ (* x x) (- (* y y) (* x y)))) (+ (* (* (- (* x x) (* y y)) x) (- x y)) (* (- x y) (* (- (* x x) (* y y)) y))) (* (- x y) (- x y)) (+ (pow (* (+ x y) x) 3) (pow (* (+ x y) y) 3)) (+ (* (* (+ x y) x) (* (+ x y) x)) (- (* (* (+ x y) y) (* (+ x y) y)) (* (* (+ x y) x) (* (+ x y) y)))) (- (* (* (+ x y) x) (* (+ x y) x)) (* (* (+ x y) y) (* (+ x y) y))) (- (* (+ x y) x) (* (+ x y) y)) (+ x y) (* (+ x y) x) (+ (log (+ x y)) (log x)) (log (* (+ x y) x)) (exp (* (+ x y) x)) (* (* (* (+ x y) (+ x y)) (+ x y)) (* (* x x) 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)) (* (sqrt (+ x y)) (sqrt x)) (* (sqrt (+ x y)) (sqrt x)) (* (+ x y) (* (cbrt x) (cbrt x))) (* (+ x y) (sqrt x)) (* (+ x y) 1) (* (cbrt (+ x y)) x) (* (sqrt (+ x y)) x) (* (+ x y) x) (* (+ x y) x) (* (+ (pow x 3) (pow y 3)) x) (* (- (* x x) (* y y)) x) (+ (* x y) (pow y 2)) (+ (* x y) (pow y 2)) (+ (* x y) (pow y 2)) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) (+ (* 2 (* x y)) (+ (pow x 2) (pow y 2))) (+ (* x y) (pow x 2)) (+ (* x y) (pow x 2)) (+ (* x y) (pow x 2)) 67.346 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 67.347 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 67.348 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 67.356 * * [simplify]: iteration done : 13 enodes (cost 5 ) 67.357 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 67.358 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 67.358 * * [simplify]: iteration done : 8 enodes (cost 7 ) 67.359 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 67.360 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 67.361 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 67.363 * * [simplify]: iteration done : 18 enodes (cost 6 ) 67.364 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 67.364 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 67.366 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 67.369 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 67.374 * * [simplify]: iteration 4 : 63 enodes (cost 6 ) 67.383 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 67.431 * * [simplify]: iteration 6 : 309 enodes (cost 6 ) 67.628 * * [simplify]: iteration 7 : 879 enodes (cost 6 ) 68.802 * * [simplify]: iteration 8 : 3038 enodes (cost 6 ) 72.466 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 72.467 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 72.468 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 72.474 * * [simplify]: iteration 2 : 87 enodes (cost 9 ) 72.505 * * [simplify]: iteration 3 : 237 enodes (cost 9 ) 72.634 * * [simplify]: iteration 4 : 854 enodes (cost 7 ) 73.666 * * [simplify]: iteration 5 : 3156 enodes (cost 7 ) 75.274 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 75.275 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 75.276 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 75.277 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 75.279 * * [simplify]: iteration done : 15 enodes (cost 13 ) 75.279 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 75.280 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 75.281 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 75.282 * * [simplify]: iteration done : 14 enodes (cost 6 ) 75.283 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 75.284 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 75.288 * * [simplify]: iteration 2 : 71 enodes (cost 7 ) 75.318 * * [simplify]: iteration 3 : 231 enodes (cost 7 ) 75.455 * * [simplify]: iteration 4 : 621 enodes (cost 7 ) 76.076 * * [simplify]: iteration 5 : 1859 enodes (cost 7 ) 78.274 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 78.274 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 78.275 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.276 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 78.278 * * [simplify]: iteration done : 14 enodes (cost 6 ) 78.278 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 78.279 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.280 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 78.281 * * [simplify]: iteration done : 14 enodes (cost 6 ) 78.282 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 78.283 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 78.283 * * [simplify]: iteration done : 8 enodes (cost 7 ) 78.284 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 78.284 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 78.285 * * [simplify]: iteration done : 8 enodes (cost 7 ) 78.286 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 78.287 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 78.288 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 78.291 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 78.296 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 78.300 * * [simplify]: iteration done : 34 enodes (cost 9 ) 78.301 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 78.301 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.302 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 78.304 * * [simplify]: iteration done : 15 enodes (cost 6 ) 78.304 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.305 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 78.306 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 78.313 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 78.314 * * [simplify]: iteration done : 28 enodes (cost 3 ) 78.314 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 78.315 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.316 * * [simplify]: iteration done : 7 enodes (cost 6 ) 78.316 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 78.317 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.318 * * [simplify]: iteration done : 7 enodes (cost 6 ) 78.318 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 78.319 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 78.319 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 78.321 * * [simplify]: iteration done : 13 enodes (cost 5 ) 78.322 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 78.322 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 78.323 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 78.325 * * [simplify]: iteration done : 13 enodes (cost 5 ) 78.325 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 78.326 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 78.329 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 78.335 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 78.349 * * [simplify]: iteration 4 : 156 enodes (cost 9 ) 78.394 * * [simplify]: iteration 5 : 391 enodes (cost 9 ) 78.664 * * [simplify]: iteration 6 : 1301 enodes (cost 9 ) 81.040 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 81.041 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 81.042 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 81.044 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 81.049 * * [simplify]: iteration 3 : 67 enodes (cost 9 ) 81.066 * * [simplify]: iteration 4 : 135 enodes (cost 9 ) 81.100 * * [simplify]: iteration 5 : 214 enodes (cost 9 ) 81.170 * * [simplify]: iteration 6 : 358 enodes (cost 9 ) 81.331 * * [simplify]: iteration 7 : 702 enodes (cost 9 ) 82.994 * * [simplify]: iteration 8 : 3273 enodes (cost 9 ) 85.157 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 85.158 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 85.159 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 85.162 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 85.169 * * [simplify]: iteration 3 : 95 enodes (cost 8 ) 85.191 * * [simplify]: iteration 4 : 282 enodes (cost 8 ) 85.326 * * [simplify]: iteration 5 : 867 enodes (cost 8 ) 86.600 * * [simplify]: iteration 6 : 3943 enodes (cost 8 ) 88.460 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 88.460 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 88.461 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 88.463 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 88.467 * * [simplify]: iteration 3 : 44 enodes (cost 6 ) 88.475 * * [simplify]: iteration 4 : 68 enodes (cost 6 ) 88.486 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 88.498 * * [simplify]: iteration 6 : 90 enodes (cost 6 ) 88.515 * * [simplify]: iteration 7 : 92 enodes (cost 6 ) 88.528 * * [simplify]: iteration done : 92 enodes (cost 6 ) 88.529 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 88.530 * * [simplify]: iteration 1 : 15 enodes (cost 8 ) 88.532 * * [simplify]: iteration 2 : 36 enodes (cost 8 ) 88.539 * * [simplify]: iteration 3 : 75 enodes (cost 8 ) 88.553 * * [simplify]: iteration 4 : 180 enodes (cost 8 ) 88.616 * * [simplify]: iteration 5 : 478 enodes (cost 8 ) 88.955 * * [simplify]: iteration 6 : 1754 enodes (cost 8 ) 89.836 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 89.837 * * [simplify]: iteration 0 : 8 enodes (cost 25 ) 89.838 * * [simplify]: iteration 1 : 13 enodes (cost 17 ) 89.840 * * [simplify]: iteration 2 : 25 enodes (cost 17 ) 89.844 * * [simplify]: iteration 3 : 41 enodes (cost 17 ) 89.851 * * [simplify]: iteration 4 : 66 enodes (cost 17 ) 89.862 * * [simplify]: iteration 5 : 82 enodes (cost 17 ) 89.874 * * [simplify]: iteration 6 : 89 enodes (cost 17 ) 89.891 * * [simplify]: iteration 7 : 91 enodes (cost 17 ) 89.905 * * [simplify]: iteration done : 91 enodes (cost 17 ) 89.906 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 89.907 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 89.909 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 89.913 * * [simplify]: iteration 3 : 40 enodes (cost 8 ) 89.919 * * [simplify]: iteration 4 : 61 enodes (cost 8 ) 89.930 * * [simplify]: iteration 5 : 77 enodes (cost 8 ) 89.942 * * [simplify]: iteration 6 : 84 enodes (cost 8 ) 89.959 * * [simplify]: iteration 7 : 86 enodes (cost 8 ) 89.972 * * [simplify]: iteration done : 86 enodes (cost 8 ) 89.972 * * [simplify]: iteration 0 : 8 enodes (cost 35 ) 89.974 * * [simplify]: iteration 1 : 26 enodes (cost 23 ) 89.980 * * [simplify]: iteration 2 : 112 enodes (cost 9 ) 90.030 * * [simplify]: iteration 3 : 446 enodes (cost 9 ) 90.405 * * [simplify]: iteration 4 : 1629 enodes (cost 5 ) 92.061 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 92.062 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 92.063 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 92.064 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 92.069 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 92.077 * * [simplify]: iteration 4 : 66 enodes (cost 4 ) 92.088 * * [simplify]: iteration 5 : 82 enodes (cost 4 ) 92.103 * * [simplify]: iteration 6 : 89 enodes (cost 4 ) 92.116 * * [simplify]: iteration 7 : 91 enodes (cost 4 ) 92.129 * * [simplify]: iteration done : 91 enodes (cost 4 ) 92.130 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 92.131 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 92.133 * * [simplify]: iteration 2 : 25 enodes (cost 4 ) 92.138 * * [simplify]: iteration 3 : 41 enodes (cost 4 ) 92.145 * * [simplify]: iteration 4 : 66 enodes (cost 4 ) 92.159 * * [simplify]: iteration 5 : 82 enodes (cost 4 ) 92.170 * * [simplify]: iteration 6 : 89 enodes (cost 4 ) 92.183 * * [simplify]: iteration 7 : 91 enodes (cost 4 ) 92.198 * * [simplify]: iteration done : 91 enodes (cost 4 ) 92.199 * * [simplify]: iteration 0 : 16 enodes (cost 43 ) 92.202 * * [simplify]: iteration 1 : 51 enodes (cost 39 ) 92.216 * * [simplify]: iteration 2 : 158 enodes (cost 29 ) 92.262 * * [simplify]: iteration 3 : 621 enodes (cost 21 ) 92.630 * * [simplify]: iteration 4 : 2757 enodes (cost 21 ) 93.980 * * [simplify]: iteration done : 5001 enodes (cost 21 ) 93.981 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 93.982 * * [simplify]: iteration 1 : 22 enodes (cost 19 ) 93.986 * * [simplify]: iteration 2 : 64 enodes (cost 19 ) 94.001 * * [simplify]: iteration 3 : 247 enodes (cost 19 ) 94.131 * * [simplify]: iteration 4 : 913 enodes (cost 19 ) 95.364 * * [simplify]: iteration 5 : 3506 enodes (cost 19 ) 96.907 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 96.908 * * [simplify]: iteration 0 : 18 enodes (cost 35 ) 96.911 * * [simplify]: iteration 1 : 53 enodes (cost 33 ) 96.920 * * [simplify]: iteration 2 : 142 enodes (cost 33 ) 96.961 * * [simplify]: iteration 3 : 511 enodes (cost 33 ) 97.213 * * [simplify]: iteration 4 : 2279 enodes (cost 29 ) 98.413 * * [simplify]: iteration done : 5001 enodes (cost 29 ) 98.413 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 98.415 * * [simplify]: iteration 1 : 20 enodes (cost 13 ) 98.418 * * [simplify]: iteration 2 : 49 enodes (cost 13 ) 98.427 * * [simplify]: iteration 3 : 140 enodes (cost 13 ) 98.470 * * [simplify]: iteration 4 : 361 enodes (cost 13 ) 98.678 * * [simplify]: iteration 5 : 892 enodes (cost 13 ) 99.630 * * [simplify]: iteration 6 : 2193 enodes (cost 13 ) 101.912 * * [simplify]: iteration 7 : 3882 enodes (cost 13 ) 106.474 * * [simplify]: iteration 8 : 4648 enodes (cost 13 ) 110.922 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 110.923 * * [simplify]: iteration 0 : 18 enodes (cost 35 ) 110.926 * * [simplify]: iteration 1 : 59 enodes (cost 33 ) 110.937 * * [simplify]: iteration 2 : 174 enodes (cost 33 ) 110.993 * * [simplify]: iteration 3 : 682 enodes (cost 33 ) 111.453 * * [simplify]: iteration 4 : 3074 enodes (cost 29 ) 112.860 * * [simplify]: iteration done : 5000 enodes (cost 29 ) 112.861 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 112.862 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 112.866 * * [simplify]: iteration 2 : 74 enodes (cost 13 ) 112.883 * * [simplify]: iteration 3 : 202 enodes (cost 13 ) 112.968 * * [simplify]: iteration 4 : 494 enodes (cost 13 ) 113.333 * * [simplify]: iteration 5 : 1263 enodes (cost 13 ) 115.029 * * [simplify]: iteration 6 : 3143 enodes (cost 13 ) 118.435 * * [simplify]: iteration 7 : 4779 enodes (cost 13 ) 119.623 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 119.624 * * [simplify]: iteration 0 : 11 enodes (cost 27 ) 119.626 * * [simplify]: iteration 1 : 26 enodes (cost 27 ) 119.639 * * [simplify]: iteration 2 : 93 enodes (cost 23 ) 119.665 * * [simplify]: iteration 3 : 363 enodes (cost 15 ) 119.856 * * [simplify]: iteration 4 : 1154 enodes (cost 15 ) 121.532 * * [simplify]: iteration 5 : 4694 enodes (cost 15 ) 123.651 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 123.652 * * [simplify]: iteration 0 : 4 enodes (cost 7 ) 123.652 * * [simplify]: iteration 1 : 6 enodes (cost 7 ) 123.653 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 123.655 * * [simplify]: iteration 3 : 30 enodes (cost 7 ) 123.660 * * [simplify]: iteration 4 : 63 enodes (cost 7 ) 123.672 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 123.702 * * [simplify]: iteration 6 : 186 enodes (cost 7 ) 123.758 * * [simplify]: iteration 7 : 296 enodes (cost 7 ) 123.866 * * [simplify]: iteration 8 : 455 enodes (cost 7 ) 124.034 * * [simplify]: iteration 9 : 628 enodes (cost 7 ) 124.199 * * [simplify]: iteration 10 : 671 enodes (cost 7 ) 124.358 * * [simplify]: iteration 11 : 672 enodes (cost 7 ) 124.507 * * [simplify]: iteration done : 672 enodes (cost 7 ) 124.507 * * [simplify]: iteration 0 : 9 enodes (cost 15 ) 124.509 * * [simplify]: iteration 1 : 31 enodes (cost 15 ) 124.523 * * [simplify]: iteration 2 : 107 enodes (cost 13 ) 124.555 * * [simplify]: iteration 3 : 362 enodes (cost 13 ) 124.777 * * [simplify]: iteration 4 : 1045 enodes (cost 13 ) 125.889 * * [simplify]: iteration 5 : 4044 enodes (cost 13 ) 129.528 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 129.529 * * [simplify]: iteration 0 : 10 enodes (cost 35 ) 129.531 * * [simplify]: iteration 1 : 37 enodes (cost 29 ) 129.539 * * [simplify]: iteration 2 : 123 enodes (cost 25 ) 129.592 * * [simplify]: iteration 3 : 427 enodes (cost 21 ) 129.869 * * [simplify]: iteration 4 : 1478 enodes (cost 17 ) 131.192 * * [simplify]: iteration done : 5000 enodes (cost 17 ) 131.193 * * [simplify]: iteration 0 : 8 enodes (cost 23 ) 131.194 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 131.200 * * [simplify]: iteration 2 : 98 enodes (cost 15 ) 131.230 * * [simplify]: iteration 3 : 318 enodes (cost 15 ) 131.396 * * [simplify]: iteration 4 : 1074 enodes (cost 15 ) 132.509 * * [simplify]: iteration 5 : 3634 enodes (cost 9 ) 134.163 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 134.164 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 134.165 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 134.167 * * [simplify]: iteration 2 : 34 enodes (cost 7 ) 134.173 * * [simplify]: iteration 3 : 74 enodes (cost 7 ) 134.190 * * [simplify]: iteration 4 : 154 enodes (cost 7 ) 134.234 * * [simplify]: iteration 5 : 225 enodes (cost 7 ) 134.411 * * [simplify]: iteration 6 : 596 enodes (cost 7 ) 138.121 * * [simplify]: iteration 7 : 2870 enodes (cost 7 ) 142.650 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 142.650 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 142.651 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 142.651 * * [simplify]: iteration done : 4 enodes (cost 3 ) 142.652 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 142.652 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 142.653 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 142.655 * * [simplify]: iteration done : 13 enodes (cost 5 ) 142.655 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 142.656 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 142.657 * * [simplify]: iteration done : 8 enodes (cost 7 ) 142.657 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 142.658 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 142.659 * * [simplify]: iteration 2 : 18 enodes (cost 6 ) 142.661 * * [simplify]: iteration done : 18 enodes (cost 6 ) 142.662 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 142.663 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 142.664 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 142.667 * * [simplify]: iteration 3 : 37 enodes (cost 6 ) 142.672 * * [simplify]: iteration 4 : 63 enodes (cost 6 ) 142.690 * * [simplify]: iteration 5 : 126 enodes (cost 6 ) 142.731 * * [simplify]: iteration 6 : 309 enodes (cost 6 ) 142.928 * * [simplify]: iteration 7 : 879 enodes (cost 6 ) 144.086 * * [simplify]: iteration 8 : 3024 enodes (cost 6 ) 145.891 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 145.891 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 145.893 * * [simplify]: iteration 1 : 28 enodes (cost 17 ) 145.899 * * [simplify]: iteration 2 : 87 enodes (cost 9 ) 145.922 * * [simplify]: iteration 3 : 237 enodes (cost 9 ) 146.058 * * [simplify]: iteration 4 : 862 enodes (cost 7 ) 147.093 * * [simplify]: iteration 5 : 3172 enodes (cost 7 ) 148.685 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 148.686 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 148.687 * * [simplify]: iteration 1 : 8 enodes (cost 13 ) 148.688 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 148.690 * * [simplify]: iteration done : 15 enodes (cost 13 ) 148.690 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 148.691 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 148.692 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 148.694 * * [simplify]: iteration done : 14 enodes (cost 6 ) 148.694 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 148.695 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 148.700 * * [simplify]: iteration 2 : 71 enodes (cost 7 ) 148.723 * * [simplify]: iteration 3 : 231 enodes (cost 7 ) 148.868 * * [simplify]: iteration 4 : 622 enodes (cost 7 ) 149.489 * * [simplify]: iteration 5 : 1853 enodes (cost 7 ) 151.716 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 151.717 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 151.717 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 151.718 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 151.720 * * [simplify]: iteration done : 14 enodes (cost 6 ) 151.721 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 151.721 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 151.722 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 151.724 * * [simplify]: iteration done : 14 enodes (cost 6 ) 151.725 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 151.725 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 151.726 * * [simplify]: iteration done : 8 enodes (cost 7 ) 151.726 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 151.727 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 151.728 * * [simplify]: iteration done : 8 enodes (cost 7 ) 151.728 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 151.729 * * [simplify]: iteration 1 : 10 enodes (cost 9 ) 151.730 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 151.733 * * [simplify]: iteration 3 : 32 enodes (cost 9 ) 151.738 * * [simplify]: iteration 4 : 34 enodes (cost 9 ) 151.743 * * [simplify]: iteration done : 34 enodes (cost 9 ) 151.744 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 151.749 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 151.750 * * [simplify]: iteration 2 : 15 enodes (cost 6 ) 151.752 * * [simplify]: iteration done : 15 enodes (cost 6 ) 151.752 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 151.753 * * [simplify]: iteration 1 : 9 enodes (cost 3 ) 151.754 * * [simplify]: iteration 2 : 20 enodes (cost 3 ) 151.757 * * [simplify]: iteration 3 : 28 enodes (cost 3 ) 151.758 * * [simplify]: iteration done : 28 enodes (cost 3 ) 151.759 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 151.760 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 151.761 * * [simplify]: iteration done : 7 enodes (cost 6 ) 151.761 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 151.762 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 151.762 * * [simplify]: iteration done : 7 enodes (cost 6 ) 151.763 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 151.763 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 151.764 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 151.766 * * [simplify]: iteration done : 13 enodes (cost 5 ) 151.767 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 151.767 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 151.768 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 151.770 * * [simplify]: iteration done : 13 enodes (cost 5 ) 151.770 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 151.771 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 151.775 * * [simplify]: iteration 2 : 39 enodes (cost 9 ) 151.780 * * [simplify]: iteration 3 : 77 enodes (cost 9 ) 151.793 * * [simplify]: iteration 4 : 156 enodes (cost 9 ) 151.842 * * [simplify]: iteration 5 : 392 enodes (cost 9 ) 152.135 * * [simplify]: iteration 6 : 1343 enodes (cost 9 ) 154.513 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 154.514 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 154.515 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 154.517 * * [simplify]: iteration 2 : 29 enodes (cost 9 ) 154.521 * * [simplify]: iteration 3 : 69 enodes (cost 9 ) 154.542 * * [simplify]: iteration 4 : 143 enodes (cost 9 ) 154.576 * * [simplify]: iteration 5 : 238 enodes (cost 9 ) 154.665 * * [simplify]: iteration 6 : 436 enodes (cost 9 ) 154.961 * * [simplify]: iteration 7 : 1135 enodes (cost 9 ) 158.534 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 158.535 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 158.536 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 158.538 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 158.540 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 158.542 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 158.545 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 158.556 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 158.566 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 158.616 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 159.100 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 161.614 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 161.615 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 161.616 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 161.618 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 161.620 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 161.622 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 161.625 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 161.630 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 161.639 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 161.691 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 162.175 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 164.707 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 164.708 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 164.709 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 164.711 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 164.713 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 164.715 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 164.718 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 164.722 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 164.732 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 164.785 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 165.274 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 167.784 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 167.785 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 167.793 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 167.799 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 167.804 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 167.811 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 167.820 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 167.831 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 167.861 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 167.959 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 168.942 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 171.509 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 171.510 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 171.512 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 171.516 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 171.522 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 171.528 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 171.537 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 171.555 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 171.577 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 171.679 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 172.667 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 175.217 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 175.218 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 175.219 * * [simplify]: iteration 1 : 25 enodes (cost 13 ) 175.224 * * [simplify]: iteration 2 : 48 enodes (cost 13 ) 175.229 * * [simplify]: iteration 3 : 56 enodes (cost 13 ) 175.241 * * [simplify]: iteration 4 : 73 enodes (cost 11 ) 175.250 * * [simplify]: iteration 5 : 94 enodes (cost 11 ) 175.262 * * [simplify]: iteration 6 : 134 enodes (cost 11 ) 175.285 * * [simplify]: iteration 7 : 254 enodes (cost 11 ) 175.385 * * [simplify]: iteration 8 : 667 enodes (cost 11 ) 176.346 * * [simplify]: iteration 9 : 2518 enodes (cost 11 ) 178.910 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 178.911 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 178.912 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 178.914 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 178.916 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 178.919 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 178.922 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 178.926 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 178.935 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 178.986 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 179.473 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 181.963 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 181.964 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 181.964 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 181.966 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 181.976 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 181.979 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 181.982 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 181.986 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 181.996 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 182.046 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 182.532 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 186.947 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 186.947 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 186.948 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 186.950 * * [simplify]: iteration 2 : 25 enodes (cost 5 ) 186.953 * * [simplify]: iteration 3 : 32 enodes (cost 5 ) 186.955 * * [simplify]: iteration 4 : 38 enodes (cost 5 ) 186.958 * * [simplify]: iteration 5 : 48 enodes (cost 5 ) 186.962 * * [simplify]: iteration 6 : 72 enodes (cost 5 ) 186.979 * * [simplify]: iteration 7 : 129 enodes (cost 5 ) 187.023 * * [simplify]: iteration 8 : 347 enodes (cost 5 ) 187.504 * * [simplify]: iteration 9 : 1285 enodes (cost 5 ) 190.035 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 190.036 * [simplify]: Simplified to: (* (+ x y) y) (+ (log (+ x y)) (log y)) (log (* (+ x y) y)) (exp (* (+ x y) y)) (pow (* (+ x y) y) 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 y)) (* (sqrt (+ x y)) (sqrt y)) (* (+ x y) (* (cbrt y) (cbrt y))) (* (+ x y) (sqrt y)) (+ x y) (* (cbrt (+ x y)) y) (* (sqrt (+ x y)) y) (* (+ x y) y) (* (+ x y) y) (* (+ (pow x 3) (pow y 3)) y) (* (+ x y) (* (- x y) y)) (exp (* (+ x y) (+ x y))) (* 2 (log (+ x y))) (exp (* (+ x y) (+ x y))) (* (cbrt (* (+ x y) (+ x y))) (cbrt (* (+ x y) (+ x y)))) (cbrt (* (+ x y) (+ x y))) (pow (+ x y) 6) (fabs (+ x y)) (fabs (+ x y)) (* (* (+ (pow x 3) (pow y 3)) (+ y x)) (+ (* x x) (* y (- y x)))) (* (+ (* y (- y x)) (* x x)) (+ (* y (- y x)) (* x x))) (* (- x y) (+ (* (* (+ (* y (- y x)) (* x x)) y) (+ x y)) (* (+ (pow x 3) (pow y 3)) x))) (* (- x y) (+ (* y (- y x)) (* x x))) (* (- x y) (+ (* (* x (+ (* y (- y x)) (* x x))) (+ x y)) (* (+ (pow x 3) (pow y 3)) y))) (* (- x y) (+ (* x x) (* y (- y x)))) (* (- (* x x) (* y y)) (- (* x x) (* y y))) (* (- x y) (- x y)) (* (pow (+ x y) 3) (+ (pow y 3) (pow x 3))) (* (* (+ x y) (+ (* x x) (* y (- y x)))) (+ x y)) (* (- x y) (pow (+ x y) 3)) (* (+ x y) (- x y)) (+ x y) (* (+ x y) x) (+ (log (+ x y)) (log x)) (log (* (+ x y) x)) (exp (* (+ x y) x)) (pow (* x (+ x y)) 3) (* (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)) (* (sqrt (+ x y)) (sqrt x)) (* (sqrt (+ x y)) (sqrt x)) (* (+ x y) (* (cbrt x) (cbrt x))) (* (+ x y) (sqrt x)) (+ x y) (* (cbrt (+ x y)) x) (* (sqrt (+ x y)) x) (* (+ x y) x) (* (+ x y) x) (* (+ (pow x 3) (pow y 3)) x) (* (- (* x x) (* y y)) x) (* y (+ y x)) (* y (+ y x)) (* y (+ y x)) (+ (* x (+ (* 2 y) x)) (pow y 2)) (+ (* x (+ (* 2 y) x)) (pow y 2)) (+ (* x (+ (* 2 y) x)) (pow y 2)) (* x (+ x y)) (* x (+ x y)) (* x (+ x y)) 190.036 * * * [progress]: adding candidates to table 190.105 * [progress]: [Phase 3 of 3] Extracting. 190.105 * * [regime]: Finding splitpoints for: (# #) 190.105 * * * [regime-changes]: Trying 4 branch expressions: ((+ x y) (* (+ x y) (+ x y)) y x) 190.105 * * * * [regimes]: Trying to branch on (+ x y) from (# #) 190.137 * * * * [regimes]: Trying to branch on (* (+ x y) (+ x y)) from (# #) 190.170 * * * * [regimes]: Trying to branch on y from (# #) 190.202 * * * * [regimes]: Trying to branch on x from (# #) 190.234 * * * [regime]: Found split indices: #