24.068 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.028 * * * [progress]: [2/2] Setting up program. 0.031 * [progress]: [Phase 2 of 3] Improving. 0.031 * [simplify]: Simplifying using # : (* x (exp (* y y))) 0.032 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.033 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 0.034 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 0.035 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 0.039 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 0.047 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 0.092 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 0.358 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 2.793 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 5.234 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 5.234 * [simplify]: Simplified to: (* x (exp (* y y))) 5.235 * * [progress]: iteration 1 / 4 5.235 * * * [progress]: picking best candidate 5.243 * * * * [pick]: Picked # 5.243 * * * [progress]: localizing error 5.248 * * * [progress]: generating rewritten candidates 5.248 * * * * [progress]: [ 1 / 2 ] rewriting at (2) 5.253 * * * * [progress]: [ 2 / 2 ] rewriting at (2 2) 5.255 * * * [progress]: generating series expansions 5.255 * * * * [progress]: [ 1 / 2 ] generating series at (2) 5.256 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 5.256 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 5.256 * [taylor]: Taking taylor expansion of x in y 5.256 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.256 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.256 * [taylor]: Taking taylor expansion of y in y 5.256 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.256 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.256 * [taylor]: Taking taylor expansion of y in x 5.256 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 5.256 * [taylor]: Taking taylor expansion of x in x 5.256 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 5.256 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.256 * [taylor]: Taking taylor expansion of y in x 5.256 * [taylor]: Taking taylor expansion of 0 in y 5.256 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.256 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.256 * [taylor]: Taking taylor expansion of y in y 5.257 * [taylor]: Taking taylor expansion of 0 in y 5.257 * [taylor]: Taking taylor expansion of 0 in y 5.257 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 5.257 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.257 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.257 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.258 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.258 * [taylor]: Taking taylor expansion of y in y 5.258 * [taylor]: Taking taylor expansion of x in y 5.258 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.258 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.258 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.258 * [taylor]: Taking taylor expansion of y in x 5.258 * [taylor]: Taking taylor expansion of x in x 5.258 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.258 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.258 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.258 * [taylor]: Taking taylor expansion of y in x 5.258 * [taylor]: Taking taylor expansion of x in x 5.258 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.258 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.258 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.258 * [taylor]: Taking taylor expansion of y in y 5.259 * [taylor]: Taking taylor expansion of 0 in y 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.260 * [taylor]: Taking taylor expansion of 0 in y 5.261 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 5.261 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 5.261 * [taylor]: Taking taylor expansion of -1 in y 5.261 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 5.261 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.261 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.261 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.261 * [taylor]: Taking taylor expansion of y in y 5.261 * [taylor]: Taking taylor expansion of x in y 5.261 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.261 * [taylor]: Taking taylor expansion of -1 in x 5.261 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.261 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.261 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.261 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.261 * [taylor]: Taking taylor expansion of y in x 5.261 * [taylor]: Taking taylor expansion of x in x 5.261 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 5.261 * [taylor]: Taking taylor expansion of -1 in x 5.261 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 5.261 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 5.261 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 5.261 * [taylor]: Taking taylor expansion of (pow y 2) in x 5.261 * [taylor]: Taking taylor expansion of y in x 5.262 * [taylor]: Taking taylor expansion of x in x 5.262 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 5.262 * [taylor]: Taking taylor expansion of -1 in y 5.262 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.262 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.262 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.262 * [taylor]: Taking taylor expansion of y in y 5.263 * [taylor]: Taking taylor expansion of 0 in y 5.263 * [taylor]: Taking taylor expansion of 0 in y 5.264 * [taylor]: Taking taylor expansion of 0 in y 5.264 * * * * [progress]: [ 2 / 2 ] generating series at (2 2) 5.264 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 5.264 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.264 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.264 * [taylor]: Taking taylor expansion of y in y 5.264 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 5.265 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.265 * [taylor]: Taking taylor expansion of y in y 5.266 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.266 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.266 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.266 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 5.266 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.266 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 5.266 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 5.266 * [taylor]: Taking taylor expansion of (pow y 2) in y 5.266 * [taylor]: Taking taylor expansion of y in y 5.267 * * * [progress]: simplifying candidates 5.267 * [simplify]: Simplifying using # : (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) 5.268 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.269 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 5.269 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 5.271 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 5.274 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 5.283 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 5.325 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 5.586 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 7.987 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 10.223 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 10.224 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 10.225 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 10.225 * * [simplify]: iteration done : 6 enodes (cost 6 ) 10.226 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 10.227 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 10.228 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 10.230 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 10.242 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 10.255 * * [simplify]: iteration 5 : 189 enodes (cost 6 ) 10.341 * * [simplify]: iteration 6 : 587 enodes (cost 6 ) 10.948 * * [simplify]: iteration 7 : 2119 enodes (cost 6 ) 12.412 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 12.412 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 12.413 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 12.414 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 12.417 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 12.423 * * [simplify]: iteration 4 : 105 enodes (cost 7 ) 12.443 * * [simplify]: iteration 5 : 306 enodes (cost 7 ) 12.633 * * [simplify]: iteration 6 : 1065 enodes (cost 7 ) 14.475 * * [simplify]: iteration done : 5002 enodes (cost 7 ) 14.476 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 14.484 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 14.488 * * [simplify]: iteration 2 : 58 enodes (cost 10 ) 14.500 * * [simplify]: iteration 3 : 141 enodes (cost 10 ) 14.563 * * [simplify]: iteration 4 : 448 enodes (cost 8 ) 15.108 * * [simplify]: iteration 5 : 1783 enodes (cost 8 ) 17.116 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 17.117 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 17.118 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 17.119 * * [simplify]: iteration 2 : 14 enodes (cost 15 ) 17.121 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 17.124 * * [simplify]: iteration 4 : 49 enodes (cost 15 ) 17.132 * * [simplify]: iteration 5 : 114 enodes (cost 15 ) 17.177 * * [simplify]: iteration 6 : 300 enodes (cost 15 ) 17.431 * * [simplify]: iteration 7 : 992 enodes (cost 15 ) 19.890 * * [simplify]: iteration 8 : 3778 enodes (cost 15 ) 22.134 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 22.135 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 22.136 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 22.137 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 22.138 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 22.142 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 22.150 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 22.193 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 22.458 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 24.771 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 27.257 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 27.259 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 27.260 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 27.264 * * [simplify]: iteration 2 : 57 enodes (cost 8 ) 27.286 * * [simplify]: iteration 3 : 141 enodes (cost 8 ) 27.359 * * [simplify]: iteration 4 : 430 enodes (cost 8 ) 27.956 * * [simplify]: iteration 5 : 1507 enodes (cost 8 ) 31.223 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 31.224 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 31.225 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 31.226 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 31.227 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 31.231 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 31.245 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 31.282 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 31.542 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 33.864 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 36.122 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 36.123 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 36.123 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 36.124 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 36.126 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 36.129 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 36.138 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 36.183 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 36.444 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 38.758 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 41.010 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 41.011 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 41.012 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 41.013 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 41.014 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 41.017 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 41.023 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 41.044 * * [simplify]: iteration 6 : 184 enodes (cost 8 ) 41.152 * * [simplify]: iteration 7 : 562 enodes (cost 8 ) 41.904 * * [simplify]: iteration 8 : 1985 enodes (cost 8 ) 43.976 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 43.976 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 43.977 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 43.979 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 43.980 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 43.982 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 43.988 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 44.010 * * [simplify]: iteration 6 : 184 enodes (cost 8 ) 44.116 * * [simplify]: iteration 7 : 562 enodes (cost 8 ) 44.862 * * [simplify]: iteration 8 : 1985 enodes (cost 8 ) 46.920 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 46.921 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 46.922 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 46.924 * * [simplify]: iteration 2 : 18 enodes (cost 13 ) 46.926 * * [simplify]: iteration 3 : 23 enodes (cost 13 ) 46.930 * * [simplify]: iteration 4 : 41 enodes (cost 13 ) 46.936 * * [simplify]: iteration 5 : 81 enodes (cost 13 ) 46.957 * * [simplify]: iteration 6 : 185 enodes (cost 13 ) 47.061 * * [simplify]: iteration 7 : 559 enodes (cost 13 ) 47.822 * * [simplify]: iteration 8 : 1974 enodes (cost 13 ) 49.753 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 49.759 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 49.759 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 49.760 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 49.762 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 49.764 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 49.769 * * [simplify]: iteration 5 : 77 enodes (cost 7 ) 49.790 * * [simplify]: iteration 6 : 182 enodes (cost 7 ) 49.893 * * [simplify]: iteration 7 : 564 enodes (cost 7 ) 50.642 * * [simplify]: iteration 8 : 1989 enodes (cost 7 ) 52.432 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 52.433 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 52.433 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 52.434 * * [simplify]: iteration done : 6 enodes (cost 1 ) 52.434 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 52.435 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 52.436 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 52.437 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 52.441 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 52.449 * * [simplify]: iteration 5 : 118 enodes (cost 7 ) 52.492 * * [simplify]: iteration 6 : 308 enodes (cost 7 ) 52.750 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 55.371 * * [simplify]: iteration 8 : 3797 enodes (cost 7 ) 57.586 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 57.587 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 57.588 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 57.589 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 57.590 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 57.594 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 57.602 * * [simplify]: iteration 5 : 118 enodes (cost 7 ) 57.645 * * [simplify]: iteration 6 : 308 enodes (cost 7 ) 57.902 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 60.305 * * [simplify]: iteration 8 : 3797 enodes (cost 7 ) 62.485 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 62.485 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 62.486 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 62.487 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 62.488 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 62.492 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 62.500 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 62.541 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 62.794 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 65.119 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 67.318 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 67.319 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 67.319 * * [simplify]: iteration done : 2 enodes (cost 2 ) 67.319 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 67.320 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 67.324 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 67.326 * * [simplify]: iteration 3 : 20 enodes (cost 3 ) 67.328 * * [simplify]: iteration 4 : 45 enodes (cost 3 ) 67.335 * * [simplify]: iteration 5 : 120 enodes (cost 3 ) 67.388 * * [simplify]: iteration 6 : 367 enodes (cost 3 ) 67.728 * * [simplify]: iteration 7 : 1333 enodes (cost 3 ) 69.363 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 69.364 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 69.364 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 69.365 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 69.366 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 69.369 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 69.374 * * [simplify]: iteration 5 : 97 enodes (cost 5 ) 69.410 * * [simplify]: iteration 6 : 266 enodes (cost 5 ) 69.571 * * [simplify]: iteration 7 : 882 enodes (cost 5 ) 70.802 * * [simplify]: iteration 8 : 3713 enodes (cost 5 ) 71.962 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 71.963 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 71.964 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 71.965 * * [simplify]: iteration 2 : 11 enodes (cost 11 ) 71.966 * * [simplify]: iteration 3 : 16 enodes (cost 11 ) 71.968 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 71.973 * * [simplify]: iteration 5 : 76 enodes (cost 11 ) 71.994 * * [simplify]: iteration 6 : 185 enodes (cost 11 ) 72.093 * * [simplify]: iteration 7 : 565 enodes (cost 11 ) 72.800 * * [simplify]: iteration 8 : 1982 enodes (cost 11 ) 74.889 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 74.890 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 74.890 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 74.891 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 74.892 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 74.894 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 74.899 * * [simplify]: iteration 5 : 75 enodes (cost 5 ) 74.920 * * [simplify]: iteration 6 : 186 enodes (cost 5 ) 75.020 * * [simplify]: iteration 7 : 559 enodes (cost 5 ) 75.749 * * [simplify]: iteration 8 : 1990 enodes (cost 5 ) 77.949 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 77.949 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 77.950 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 77.952 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 77.957 * * [simplify]: iteration 3 : 62 enodes (cost 6 ) 77.968 * * [simplify]: iteration 4 : 135 enodes (cost 6 ) 78.027 * * [simplify]: iteration 5 : 389 enodes (cost 6 ) 78.501 * * [simplify]: iteration 6 : 1621 enodes (cost 6 ) 80.231 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 80.231 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 80.232 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 80.233 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 80.234 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 80.236 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 80.241 * * [simplify]: iteration 5 : 76 enodes (cost 5 ) 80.261 * * [simplify]: iteration 6 : 183 enodes (cost 5 ) 80.361 * * [simplify]: iteration 7 : 564 enodes (cost 5 ) 81.113 * * [simplify]: iteration 8 : 1989 enodes (cost 5 ) 83.118 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 83.119 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 83.119 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 83.120 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 83.121 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 83.123 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 83.128 * * [simplify]: iteration 5 : 76 enodes (cost 5 ) 83.148 * * [simplify]: iteration 6 : 183 enodes (cost 5 ) 83.247 * * [simplify]: iteration 7 : 564 enodes (cost 5 ) 83.987 * * [simplify]: iteration 8 : 1989 enodes (cost 5 ) 86.009 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 86.009 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 86.010 * * [simplify]: iteration done : 1 enodes (cost 1 ) 86.010 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 86.011 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 86.012 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 86.014 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 86.016 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 86.021 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 86.036 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 86.085 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 86.381 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 89.162 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 91.003 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 91.004 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 91.004 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 91.006 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 91.007 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 91.010 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 91.015 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 91.026 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 91.081 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 91.381 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 94.182 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 96.015 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 96.016 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 96.017 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 96.021 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 96.032 * * [simplify]: iteration 3 : 129 enodes (cost 11 ) 96.104 * * [simplify]: iteration 4 : 363 enodes (cost 11 ) 96.259 * * [simplify]: iteration 5 : 803 enodes (cost 11 ) 97.513 * * [simplify]: iteration 6 : 2850 enodes (cost 11 ) 100.184 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 100.184 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 100.185 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 100.186 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 100.187 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 100.194 * * [simplify]: iteration 4 : 40 enodes (cost 4 ) 100.197 * * [simplify]: iteration 5 : 68 enodes (cost 4 ) 100.205 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 100.238 * * [simplify]: iteration 7 : 280 enodes (cost 4 ) 100.388 * * [simplify]: iteration 8 : 871 enodes (cost 4 ) 101.598 * * [simplify]: iteration 9 : 3198 enodes (cost 4 ) 103.538 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 103.539 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 103.539 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 103.545 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 103.546 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 103.548 * * [simplify]: iteration 4 : 40 enodes (cost 4 ) 103.552 * * [simplify]: iteration 5 : 68 enodes (cost 4 ) 103.559 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 103.592 * * [simplify]: iteration 7 : 280 enodes (cost 4 ) 103.744 * * [simplify]: iteration 8 : 871 enodes (cost 4 ) 104.971 * * [simplify]: iteration 9 : 3198 enodes (cost 4 ) 106.913 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 106.914 * [simplify]: Simplified to: (* x (exp (* y y))) (+ (log x) (* y y)) (+ (* y y) (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (* y y)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) 106.914 * * * [progress]: adding candidates to table 106.946 * * [progress]: iteration 2 / 4 106.946 * * * [progress]: picking best candidate 106.952 * * * * [pick]: Picked # 106.952 * * * [progress]: localizing error 106.957 * * * [progress]: generating rewritten candidates 106.958 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 106.965 * * * [progress]: generating series expansions 106.965 * * * * [progress]: [ 1 / 1 ] generating series at (2) 106.965 * [approximate]: Taking taylor expansion of (* x (pow (exp y) y)) in (x y) around 0 106.965 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in y 106.965 * [taylor]: Taking taylor expansion of x in y 106.965 * [taylor]: Taking taylor expansion of (pow (exp y) y) in y 106.965 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in y 106.965 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in y 106.965 * [taylor]: Taking taylor expansion of y in y 106.965 * [taylor]: Taking taylor expansion of (log (exp y)) in y 106.965 * [taylor]: Taking taylor expansion of (exp y) in y 106.965 * [taylor]: Taking taylor expansion of y in y 106.965 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 106.965 * [taylor]: Taking taylor expansion of x in x 106.965 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 106.966 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 106.966 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 106.966 * [taylor]: Taking taylor expansion of y in x 106.966 * [taylor]: Taking taylor expansion of (log (exp y)) in x 106.966 * [taylor]: Taking taylor expansion of (exp y) in x 106.966 * [taylor]: Taking taylor expansion of y in x 106.966 * [taylor]: Taking taylor expansion of (* x (pow (exp y) y)) in x 106.966 * [taylor]: Taking taylor expansion of x in x 106.966 * [taylor]: Taking taylor expansion of (pow (exp y) y) in x 106.966 * [taylor]: Taking taylor expansion of (exp (* y (log (exp y)))) in x 106.966 * [taylor]: Taking taylor expansion of (* y (log (exp y))) in x 106.966 * [taylor]: Taking taylor expansion of y in x 106.966 * [taylor]: Taking taylor expansion of (log (exp y)) in x 106.966 * [taylor]: Taking taylor expansion of (exp y) in x 106.966 * [taylor]: Taking taylor expansion of y in x 106.966 * [taylor]: Taking taylor expansion of 0 in y 106.967 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 106.967 * [taylor]: Taking taylor expansion of (pow y 2) in y 106.967 * [taylor]: Taking taylor expansion of y in y 106.967 * [taylor]: Taking taylor expansion of 0 in y 106.968 * [taylor]: Taking taylor expansion of 0 in y 106.969 * [approximate]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in (x y) around 0 106.969 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in y 106.969 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in y 106.969 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in y 106.969 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in y 106.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 106.969 * [taylor]: Taking taylor expansion of y in y 106.969 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in y 106.969 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in y 106.969 * [taylor]: Taking taylor expansion of (/ 1 y) in y 106.969 * [taylor]: Taking taylor expansion of y in y 106.969 * [taylor]: Taking taylor expansion of x in y 106.969 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 106.969 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 106.969 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 106.969 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 106.969 * [taylor]: Taking taylor expansion of (/ 1 y) in x 106.969 * [taylor]: Taking taylor expansion of y in x 106.970 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 106.970 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 106.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 106.970 * [taylor]: Taking taylor expansion of y in x 106.970 * [taylor]: Taking taylor expansion of x in x 106.970 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ 1 y)) (/ 1 y)) x) in x 106.970 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 y)) (/ 1 y)) in x 106.970 * [taylor]: Taking taylor expansion of (exp (* (/ 1 y) (log (exp (/ 1 y))))) in x 106.970 * [taylor]: Taking taylor expansion of (* (/ 1 y) (log (exp (/ 1 y)))) in x 106.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 106.970 * [taylor]: Taking taylor expansion of y in x 106.970 * [taylor]: Taking taylor expansion of (log (exp (/ 1 y))) in x 106.970 * [taylor]: Taking taylor expansion of (exp (/ 1 y)) in x 106.970 * [taylor]: Taking taylor expansion of (/ 1 y) in x 106.970 * [taylor]: Taking taylor expansion of y in x 106.970 * [taylor]: Taking taylor expansion of x in x 106.970 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 106.971 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 106.971 * [taylor]: Taking taylor expansion of (pow y 2) in y 106.971 * [taylor]: Taking taylor expansion of y in y 106.971 * [taylor]: Taking taylor expansion of 0 in y 106.972 * [taylor]: Taking taylor expansion of 0 in y 106.973 * [taylor]: Taking taylor expansion of 0 in y 106.974 * [approximate]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in (x y) around 0 106.974 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in y 106.974 * [taylor]: Taking taylor expansion of -1 in y 106.974 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in y 106.974 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in y 106.974 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in y 106.974 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in y 106.974 * [taylor]: Taking taylor expansion of (/ -1 y) in y 106.974 * [taylor]: Taking taylor expansion of -1 in y 106.974 * [taylor]: Taking taylor expansion of y in y 106.974 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in y 106.974 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in y 106.974 * [taylor]: Taking taylor expansion of (/ -1 y) in y 106.974 * [taylor]: Taking taylor expansion of -1 in y 106.974 * [taylor]: Taking taylor expansion of y in y 106.974 * [taylor]: Taking taylor expansion of x in y 106.974 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 106.975 * [taylor]: Taking taylor expansion of -1 in x 106.975 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 106.975 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 106.975 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 106.975 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 106.975 * [taylor]: Taking taylor expansion of (/ -1 y) in x 106.975 * [taylor]: Taking taylor expansion of -1 in x 106.975 * [taylor]: Taking taylor expansion of y in x 106.975 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 106.975 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 106.975 * [taylor]: Taking taylor expansion of (/ -1 y) in x 106.975 * [taylor]: Taking taylor expansion of -1 in x 106.975 * [taylor]: Taking taylor expansion of y in x 106.975 * [taylor]: Taking taylor expansion of x in x 106.975 * [taylor]: Taking taylor expansion of (* -1 (/ (pow (exp (/ -1 y)) (/ -1 y)) x)) in x 106.975 * [taylor]: Taking taylor expansion of -1 in x 106.975 * [taylor]: Taking taylor expansion of (/ (pow (exp (/ -1 y)) (/ -1 y)) x) in x 106.975 * [taylor]: Taking taylor expansion of (pow (exp (/ -1 y)) (/ -1 y)) in x 106.975 * [taylor]: Taking taylor expansion of (exp (* (/ -1 y) (log (exp (/ -1 y))))) in x 106.975 * [taylor]: Taking taylor expansion of (* (/ -1 y) (log (exp (/ -1 y)))) in x 106.975 * [taylor]: Taking taylor expansion of (/ -1 y) in x 106.976 * [taylor]: Taking taylor expansion of -1 in x 106.976 * [taylor]: Taking taylor expansion of y in x 106.976 * [taylor]: Taking taylor expansion of (log (exp (/ -1 y))) in x 106.976 * [taylor]: Taking taylor expansion of (exp (/ -1 y)) in x 106.976 * [taylor]: Taking taylor expansion of (/ -1 y) in x 106.976 * [taylor]: Taking taylor expansion of -1 in x 106.976 * [taylor]: Taking taylor expansion of y in x 106.976 * [taylor]: Taking taylor expansion of x in x 106.976 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 106.976 * [taylor]: Taking taylor expansion of -1 in y 106.976 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 106.976 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 106.976 * [taylor]: Taking taylor expansion of (pow y 2) in y 106.976 * [taylor]: Taking taylor expansion of y in y 106.977 * [taylor]: Taking taylor expansion of 0 in y 106.978 * [taylor]: Taking taylor expansion of 0 in y 106.980 * [taylor]: Taking taylor expansion of 0 in y 106.980 * * * [progress]: simplifying candidates 106.981 * [simplify]: Simplifying using # : (+ (log x) (* y y)) (+ (log x) (* (log (exp y)) y)) (+ (log x) (log (pow (exp y) y))) (log (* x (pow (exp y) y))) (exp (* x (pow (exp y) y))) (* (* (* x x) x) (* (* (pow (exp y) y) (pow (exp y) y)) (pow (exp y) y))) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (* (* (* x (pow (exp y) y)) (* x (pow (exp y) y))) (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) (* x (pow 1 y)) (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) (* x 1) (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 106.982 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 106.982 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 106.983 * * [simplify]: iteration done : 6 enodes (cost 6 ) 106.983 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 106.984 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 106.985 * * [simplify]: iteration done : 9 enodes (cost 6 ) 106.986 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 106.986 * * [simplify]: iteration 1 : 14 enodes (cost 8 ) 106.988 * * [simplify]: iteration 2 : 22 enodes (cost 6 ) 106.995 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 107.002 * * [simplify]: iteration 4 : 122 enodes (cost 6 ) 107.048 * * [simplify]: iteration 5 : 342 enodes (cost 6 ) 107.341 * * [simplify]: iteration 6 : 1206 enodes (cost 6 ) 109.260 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 109.261 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 109.261 * * [simplify]: iteration 1 : 14 enodes (cost 7 ) 109.263 * * [simplify]: iteration 2 : 28 enodes (cost 7 ) 109.268 * * [simplify]: iteration 3 : 69 enodes (cost 6 ) 109.280 * * [simplify]: iteration 4 : 177 enodes (cost 6 ) 109.357 * * [simplify]: iteration 5 : 514 enodes (cost 6 ) 109.816 * * [simplify]: iteration 6 : 1751 enodes (cost 6 ) 111.437 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 111.438 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 111.438 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 111.440 * * [simplify]: iteration 2 : 27 enodes (cost 7 ) 111.444 * * [simplify]: iteration 3 : 68 enodes (cost 7 ) 111.456 * * [simplify]: iteration 4 : 188 enodes (cost 7 ) 111.556 * * [simplify]: iteration 5 : 629 enodes (cost 7 ) 112.226 * * [simplify]: iteration 6 : 2631 enodes (cost 7 ) 113.312 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 113.312 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 113.314 * * [simplify]: iteration 1 : 22 enodes (cost 17 ) 113.318 * * [simplify]: iteration 2 : 68 enodes (cost 10 ) 113.341 * * [simplify]: iteration 3 : 231 enodes (cost 10 ) 113.506 * * [simplify]: iteration 4 : 897 enodes (cost 8 ) 115.964 * * [simplify]: iteration 5 : 4207 enodes (cost 8 ) 118.770 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 118.771 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 118.772 * * [simplify]: iteration 1 : 12 enodes (cost 15 ) 118.773 * * [simplify]: iteration 2 : 21 enodes (cost 15 ) 118.776 * * [simplify]: iteration 3 : 47 enodes (cost 15 ) 118.785 * * [simplify]: iteration 4 : 113 enodes (cost 15 ) 118.826 * * [simplify]: iteration 5 : 302 enodes (cost 15 ) 119.080 * * [simplify]: iteration 6 : 994 enodes (cost 15 ) 121.402 * * [simplify]: iteration 7 : 3760 enodes (cost 15 ) 123.603 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 123.603 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 123.604 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 123.605 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 123.608 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 123.617 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 123.655 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 123.888 * * [simplify]: iteration 6 : 989 enodes (cost 7 ) 126.216 * * [simplify]: iteration 7 : 3769 enodes (cost 7 ) 128.395 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 128.396 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 128.397 * * [simplify]: iteration 1 : 22 enodes (cost 20 ) 128.401 * * [simplify]: iteration 2 : 72 enodes (cost 8 ) 128.429 * * [simplify]: iteration 3 : 255 enodes (cost 8 ) 128.675 * * [simplify]: iteration 4 : 991 enodes (cost 8 ) 131.561 * * [simplify]: iteration 5 : 4212 enodes (cost 8 ) 134.322 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 134.323 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 134.324 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 134.325 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 134.328 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 134.336 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 134.376 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 134.617 * * [simplify]: iteration 6 : 989 enodes (cost 7 ) 136.973 * * [simplify]: iteration 7 : 3769 enodes (cost 7 ) 139.175 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 139.176 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 139.177 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 139.178 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 139.181 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 139.189 * * [simplify]: iteration 4 : 113 enodes (cost 7 ) 139.230 * * [simplify]: iteration 5 : 299 enodes (cost 7 ) 139.471 * * [simplify]: iteration 6 : 989 enodes (cost 7 ) 142.043 * * [simplify]: iteration 7 : 3769 enodes (cost 7 ) 144.242 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 144.243 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 144.244 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 144.245 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 144.249 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 144.258 * * [simplify]: iteration 4 : 111 enodes (cost 8 ) 144.298 * * [simplify]: iteration 5 : 298 enodes (cost 8 ) 144.544 * * [simplify]: iteration 6 : 983 enodes (cost 8 ) 146.873 * * [simplify]: iteration 7 : 3754 enodes (cost 8 ) 149.072 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 149.073 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 149.074 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 149.075 * * [simplify]: iteration 2 : 21 enodes (cost 8 ) 149.079 * * [simplify]: iteration 3 : 47 enodes (cost 8 ) 149.087 * * [simplify]: iteration 4 : 111 enodes (cost 8 ) 149.128 * * [simplify]: iteration 5 : 298 enodes (cost 8 ) 149.372 * * [simplify]: iteration 6 : 983 enodes (cost 8 ) 151.708 * * [simplify]: iteration 7 : 3754 enodes (cost 8 ) 153.903 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 153.904 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 153.904 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 153.906 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 153.908 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 153.913 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 153.939 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 154.037 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 154.741 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 156.723 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 156.724 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 156.725 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 156.726 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 156.729 * * [simplify]: iteration 3 : 36 enodes (cost 8 ) 156.734 * * [simplify]: iteration 4 : 76 enodes (cost 8 ) 156.755 * * [simplify]: iteration 5 : 186 enodes (cost 8 ) 156.857 * * [simplify]: iteration 6 : 569 enodes (cost 8 ) 157.557 * * [simplify]: iteration 7 : 1967 enodes (cost 8 ) 159.543 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 159.544 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 159.545 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 159.546 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 159.549 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 159.559 * * [simplify]: iteration 4 : 129 enodes (cost 9 ) 159.609 * * [simplify]: iteration 5 : 344 enodes (cost 9 ) 159.903 * * [simplify]: iteration 6 : 1161 enodes (cost 9 ) 162.836 * * [simplify]: iteration 7 : 4335 enodes (cost 9 ) 164.900 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 164.900 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 164.902 * * [simplify]: iteration 1 : 12 enodes (cost 9 ) 164.903 * * [simplify]: iteration 2 : 24 enodes (cost 9 ) 164.907 * * [simplify]: iteration 3 : 55 enodes (cost 9 ) 164.921 * * [simplify]: iteration 4 : 129 enodes (cost 9 ) 164.969 * * [simplify]: iteration 5 : 344 enodes (cost 9 ) 165.272 * * [simplify]: iteration 6 : 1161 enodes (cost 9 ) 168.015 * * [simplify]: iteration 7 : 4335 enodes (cost 9 ) 170.077 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 170.078 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 170.079 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 170.080 * * [simplify]: iteration 2 : 21 enodes (cost 11 ) 170.084 * * [simplify]: iteration 3 : 47 enodes (cost 11 ) 170.092 * * [simplify]: iteration 4 : 111 enodes (cost 11 ) 170.134 * * [simplify]: iteration 5 : 298 enodes (cost 11 ) 170.380 * * [simplify]: iteration 6 : 983 enodes (cost 11 ) 172.711 * * [simplify]: iteration 7 : 3758 enodes (cost 11 ) 174.988 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 174.989 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 174.990 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 174.992 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 174.995 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 175.008 * * [simplify]: iteration 4 : 114 enodes (cost 7 ) 175.044 * * [simplify]: iteration 5 : 301 enodes (cost 7 ) 175.284 * * [simplify]: iteration 6 : 997 enodes (cost 7 ) 177.521 * * [simplify]: iteration 7 : 3773 enodes (cost 7 ) 179.743 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 179.743 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 179.744 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 179.745 * * [simplify]: iteration 2 : 15 enodes (cost 1 ) 179.746 * * [simplify]: iteration 3 : 21 enodes (cost 1 ) 179.747 * * [simplify]: iteration 4 : 28 enodes (cost 1 ) 179.749 * * [simplify]: iteration 5 : 38 enodes (cost 1 ) 179.752 * * [simplify]: iteration 6 : 51 enodes (cost 1 ) 179.755 * * [simplify]: iteration 7 : 67 enodes (cost 1 ) 179.760 * * [simplify]: iteration 8 : 86 enodes (cost 1 ) 179.765 * * [simplify]: iteration 9 : 108 enodes (cost 1 ) 179.773 * * [simplify]: iteration 10 : 133 enodes (cost 1 ) 179.786 * * [simplify]: iteration 11 : 161 enodes (cost 1 ) 179.799 * * [simplify]: iteration 12 : 192 enodes (cost 1 ) 179.815 * * [simplify]: iteration 13 : 226 enodes (cost 1 ) 179.838 * * [simplify]: iteration 14 : 263 enodes (cost 1 ) 179.864 * * [simplify]: iteration 15 : 303 enodes (cost 1 ) 179.898 * * [simplify]: iteration 16 : 346 enodes (cost 1 ) 179.937 * * [simplify]: iteration 17 : 392 enodes (cost 1 ) 179.988 * * [simplify]: iteration 18 : 441 enodes (cost 1 ) 180.052 * * [simplify]: iteration 19 : 493 enodes (cost 1 ) 180.127 * * [simplify]: iteration 20 : 548 enodes (cost 1 ) 180.219 * * [simplify]: iteration 21 : 606 enodes (cost 1 ) 180.327 * * [simplify]: iteration 22 : 667 enodes (cost 1 ) 180.458 * * [simplify]: iteration 23 : 731 enodes (cost 1 ) 180.611 * * [simplify]: iteration 24 : 798 enodes (cost 1 ) 180.783 * * [simplify]: iteration 25 : 868 enodes (cost 1 ) 180.987 * * [simplify]: iteration 26 : 941 enodes (cost 1 ) 181.224 * * [simplify]: iteration 27 : 1017 enodes (cost 1 ) 181.500 * * [simplify]: iteration 28 : 1096 enodes (cost 1 ) 181.816 * * [simplify]: iteration 29 : 1178 enodes (cost 1 ) 182.178 * * [simplify]: iteration 30 : 1263 enodes (cost 1 ) 182.595 * * [simplify]: iteration 31 : 1351 enodes (cost 1 ) 183.086 * * [simplify]: iteration 32 : 1442 enodes (cost 1 ) 183.834 * * [simplify]: iteration 33 : 1536 enodes (cost 1 ) 184.453 * * [simplify]: iteration 34 : 1633 enodes (cost 1 ) 185.171 * * [simplify]: iteration 35 : 1733 enodes (cost 1 ) 185.963 * * [simplify]: iteration 36 : 1836 enodes (cost 1 ) 186.855 * * [simplify]: iteration 37 : 1942 enodes (cost 1 ) 187.844 * * [simplify]: iteration 38 : 2051 enodes (cost 1 ) 188.936 * * [simplify]: iteration 39 : 2163 enodes (cost 1 ) 190.163 * * [simplify]: iteration 40 : 2278 enodes (cost 1 ) 191.544 * * [simplify]: iteration 41 : 2396 enodes (cost 1 ) 193.084 * * [simplify]: iteration 42 : 2517 enodes (cost 1 ) 194.785 * * [simplify]: iteration 43 : 2641 enodes (cost 1 ) 196.679 * * [simplify]: iteration 44 : 2768 enodes (cost 1 ) 198.723 * * [simplify]: iteration 45 : 2898 enodes (cost 1 ) 200.909 * * [simplify]: iteration 46 : 3031 enodes (cost 1 ) 203.257 * * [simplify]: iteration 47 : 3167 enodes (cost 1 ) 205.835 * * [simplify]: iteration 48 : 3306 enodes (cost 1 ) 208.574 * * [simplify]: iteration 49 : 3448 enodes (cost 1 ) 211.527 * * [simplify]: iteration 50 : 3593 enodes (cost 1 ) 214.709 * * [simplify]: iteration 51 : 3741 enodes (cost 1 ) 218.159 * * [simplify]: iteration 52 : 3892 enodes (cost 1 ) 221.869 * * [simplify]: iteration 53 : 4046 enodes (cost 1 ) 225.849 * * [simplify]: iteration 54 : 4203 enodes (cost 1 ) 230.156 * * [simplify]: iteration 55 : 4363 enodes (cost 1 ) 234.983 * * [simplify]: iteration 56 : 4526 enodes (cost 1 ) 239.937 * * [simplify]: iteration 57 : 4692 enodes (cost 1 ) 245.129 * * [simplify]: iteration 58 : 4861 enodes (cost 1 ) 246.679 * * [simplify]: iteration done : 5001 enodes (cost 1 ) 246.679 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 246.680 * * [simplify]: iteration 1 : 14 enodes (cost 13 ) 246.682 * * [simplify]: iteration 2 : 21 enodes (cost 13 ) 246.685 * * [simplify]: iteration 3 : 39 enodes (cost 13 ) 246.690 * * [simplify]: iteration 4 : 79 enodes (cost 13 ) 246.711 * * [simplify]: iteration 5 : 184 enodes (cost 13 ) 246.814 * * [simplify]: iteration 6 : 565 enodes (cost 13 ) 247.554 * * [simplify]: iteration 7 : 1978 enodes (cost 13 ) 249.690 * * [simplify]: iteration done : 5000 enodes (cost 13 ) 249.691 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 249.692 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 249.693 * * [simplify]: iteration 2 : 17 enodes (cost 7 ) 249.695 * * [simplify]: iteration 3 : 35 enodes (cost 7 ) 249.708 * * [simplify]: iteration 4 : 75 enodes (cost 7 ) 249.729 * * [simplify]: iteration 5 : 183 enodes (cost 7 ) 249.836 * * [simplify]: iteration 6 : 564 enodes (cost 7 ) 250.588 * * [simplify]: iteration 7 : 1976 enodes (cost 7 ) 252.580 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 252.580 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 252.581 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 252.581 * * [simplify]: iteration done : 6 enodes (cost 1 ) 252.582 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 252.583 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 252.584 * * [simplify]: iteration 2 : 23 enodes (cost 8 ) 252.587 * * [simplify]: iteration 3 : 52 enodes (cost 8 ) 252.596 * * [simplify]: iteration 4 : 125 enodes (cost 8 ) 252.649 * * [simplify]: iteration 5 : 336 enodes (cost 8 ) 252.952 * * [simplify]: iteration 6 : 1159 enodes (cost 8 ) 255.710 * * [simplify]: iteration 7 : 4354 enodes (cost 8 ) 257.771 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 257.772 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 257.773 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 257.774 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 257.777 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 257.785 * * [simplify]: iteration 4 : 114 enodes (cost 7 ) 257.827 * * [simplify]: iteration 5 : 301 enodes (cost 7 ) 258.075 * * [simplify]: iteration 6 : 1000 enodes (cost 7 ) 260.458 * * [simplify]: iteration 7 : 3790 enodes (cost 7 ) 262.659 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 262.660 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 262.661 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 262.662 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 262.665 * * [simplify]: iteration 3 : 46 enodes (cost 7 ) 262.673 * * [simplify]: iteration 4 : 114 enodes (cost 7 ) 262.715 * * [simplify]: iteration 5 : 301 enodes (cost 7 ) 262.967 * * [simplify]: iteration 6 : 1000 enodes (cost 7 ) 265.336 * * [simplify]: iteration 7 : 3790 enodes (cost 7 ) 267.765 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 267.766 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 267.767 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 267.768 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 267.771 * * [simplify]: iteration 3 : 45 enodes (cost 6 ) 267.779 * * [simplify]: iteration 4 : 109 enodes (cost 6 ) 267.822 * * [simplify]: iteration 5 : 302 enodes (cost 6 ) 268.068 * * [simplify]: iteration 6 : 999 enodes (cost 6 ) 270.473 * * [simplify]: iteration 7 : 3774 enodes (cost 6 ) 272.677 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 272.678 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 272.678 * * [simplify]: iteration done : 1 enodes (cost 1 ) 272.678 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 272.679 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 272.681 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 272.682 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 272.685 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 272.690 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 272.707 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 272.762 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 273.065 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 275.937 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 277.761 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 277.761 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 277.762 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 277.764 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 277.765 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 277.768 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 277.772 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 277.792 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 277.843 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 278.150 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 280.991 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 282.841 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 282.841 * [simplify]: Simplified to: (+ (log x) (* y y)) (+ (* y y) (log x)) (+ (* y y) (log x)) (+ (* y y) (log x)) (exp (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (* (cbrt (* x (pow (exp y) y))) (cbrt (* x (pow (exp y) y)))) (cbrt (* x (pow (exp y) y))) (pow (* x (pow (exp y) y)) 3) (sqrt (* x (pow (exp y) y))) (sqrt (* x (pow (exp y) y))) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (pow (sqrt (exp y)) y)) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (sqrt (pow (exp y) y))) (* (sqrt x) (pow (exp y) (/ y 2))) (* (sqrt x) (pow (exp y) (/ y 2))) (* x (pow (* (cbrt (exp y)) (cbrt (exp y))) y)) (* x (pow (sqrt (exp y)) y)) x (* x (* (cbrt (pow (exp y) y)) (cbrt (pow (exp y) y)))) (* x (sqrt (pow (exp y) y))) x (* x (pow (exp y) (/ y 2))) (* (cbrt x) (pow (exp y) y)) (* (sqrt x) (pow (exp y) y)) (* x (pow (exp y) y)) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) 282.841 * * * [progress]: adding candidates to table 282.868 * * [progress]: iteration 3 / 4 282.868 * * * [progress]: picking best candidate 282.872 * * * * [pick]: Picked # 282.872 * * * [progress]: localizing error 282.880 * * * [progress]: generating rewritten candidates 282.880 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 282.882 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1 1) 282.896 * * * * [progress]: [ 3 / 4 ] rewriting at (2 1) 282.901 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 1 2) 282.904 * * * [progress]: generating series expansions 282.904 * * * * [progress]: [ 1 / 4 ] generating series at (2) 282.905 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 282.905 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 282.905 * [taylor]: Taking taylor expansion of x in y 282.905 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.905 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.905 * [taylor]: Taking taylor expansion of y in y 282.905 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.905 * [taylor]: Taking taylor expansion of x in x 282.905 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.905 * [taylor]: Taking taylor expansion of y in x 282.905 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.905 * [taylor]: Taking taylor expansion of x in x 282.905 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.905 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.905 * [taylor]: Taking taylor expansion of y in x 282.905 * [taylor]: Taking taylor expansion of 0 in y 282.905 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.905 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.905 * [taylor]: Taking taylor expansion of y in y 282.906 * [taylor]: Taking taylor expansion of 0 in y 282.906 * [taylor]: Taking taylor expansion of 0 in y 282.907 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 282.907 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 282.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.907 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.907 * [taylor]: Taking taylor expansion of y in y 282.907 * [taylor]: Taking taylor expansion of x in y 282.907 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.907 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.907 * [taylor]: Taking taylor expansion of y in x 282.907 * [taylor]: Taking taylor expansion of x in x 282.907 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.907 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.907 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.907 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.907 * [taylor]: Taking taylor expansion of y in x 282.907 * [taylor]: Taking taylor expansion of x in x 282.908 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.908 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.908 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.908 * [taylor]: Taking taylor expansion of y in y 282.908 * [taylor]: Taking taylor expansion of 0 in y 282.909 * [taylor]: Taking taylor expansion of 0 in y 282.910 * [taylor]: Taking taylor expansion of 0 in y 282.910 * [approximate]: Taking taylor expansion of (/ (* (cbrt -1) (exp (/ 1 (pow y 2)))) x) in (x y) around 0 282.910 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (/ 1 (pow y 2)))) x) in y 282.910 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (/ 1 (pow y 2)))) in y 282.910 * [taylor]: Taking taylor expansion of (cbrt -1) in y 282.910 * [taylor]: Taking taylor expansion of -1 in y 282.910 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.910 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.910 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.910 * [taylor]: Taking taylor expansion of y in y 282.910 * [taylor]: Taking taylor expansion of x in y 282.911 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (/ 1 (pow y 2)))) x) in x 282.911 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (/ 1 (pow y 2)))) in x 282.911 * [taylor]: Taking taylor expansion of (cbrt -1) in x 282.911 * [taylor]: Taking taylor expansion of -1 in x 282.911 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.911 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.911 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.911 * [taylor]: Taking taylor expansion of y in x 282.911 * [taylor]: Taking taylor expansion of x in x 282.911 * [taylor]: Taking taylor expansion of (/ (* (cbrt -1) (exp (/ 1 (pow y 2)))) x) in x 282.911 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (/ 1 (pow y 2)))) in x 282.911 * [taylor]: Taking taylor expansion of (cbrt -1) in x 282.911 * [taylor]: Taking taylor expansion of -1 in x 282.911 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.911 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.911 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.912 * [taylor]: Taking taylor expansion of y in x 282.912 * [taylor]: Taking taylor expansion of x in x 282.912 * [taylor]: Taking taylor expansion of (* (cbrt -1) (exp (/ 1 (pow y 2)))) in y 282.912 * [taylor]: Taking taylor expansion of (cbrt -1) in y 282.912 * [taylor]: Taking taylor expansion of -1 in y 282.912 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.912 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.912 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.912 * [taylor]: Taking taylor expansion of y in y 282.913 * [taylor]: Taking taylor expansion of 0 in y 282.914 * [taylor]: Taking taylor expansion of 0 in y 282.916 * [taylor]: Taking taylor expansion of 0 in y 282.916 * * * * [progress]: [ 2 / 4 ] generating series at (2 1 1) 282.916 * [approximate]: Taking taylor expansion of (* x (exp (pow y 2))) in (x y) around 0 282.916 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 282.916 * [taylor]: Taking taylor expansion of x in y 282.916 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.916 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.916 * [taylor]: Taking taylor expansion of y in y 282.916 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.916 * [taylor]: Taking taylor expansion of x in x 282.916 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.917 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.917 * [taylor]: Taking taylor expansion of y in x 282.917 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.917 * [taylor]: Taking taylor expansion of x in x 282.917 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.917 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.917 * [taylor]: Taking taylor expansion of y in x 282.917 * [taylor]: Taking taylor expansion of 0 in y 282.917 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.917 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.917 * [taylor]: Taking taylor expansion of y in y 282.918 * [taylor]: Taking taylor expansion of 0 in y 282.918 * [taylor]: Taking taylor expansion of 0 in y 282.918 * [approximate]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in (x y) around 0 282.918 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 282.918 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.918 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.918 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.918 * [taylor]: Taking taylor expansion of y in y 282.918 * [taylor]: Taking taylor expansion of x in y 282.919 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.919 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.919 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.919 * [taylor]: Taking taylor expansion of y in x 282.919 * [taylor]: Taking taylor expansion of x in x 282.919 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.919 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.919 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.919 * [taylor]: Taking taylor expansion of y in x 282.919 * [taylor]: Taking taylor expansion of x in x 282.919 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.919 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.919 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.919 * [taylor]: Taking taylor expansion of y in y 282.920 * [taylor]: Taking taylor expansion of 0 in y 282.921 * [taylor]: Taking taylor expansion of 0 in y 282.921 * [taylor]: Taking taylor expansion of 0 in y 282.922 * [approximate]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in (x y) around 0 282.922 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 282.922 * [taylor]: Taking taylor expansion of -1 in y 282.922 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 282.922 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.922 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.922 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.922 * [taylor]: Taking taylor expansion of y in y 282.922 * [taylor]: Taking taylor expansion of x in y 282.922 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 282.922 * [taylor]: Taking taylor expansion of -1 in x 282.922 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.922 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.922 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.922 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.922 * [taylor]: Taking taylor expansion of y in x 282.922 * [taylor]: Taking taylor expansion of x in x 282.922 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 282.922 * [taylor]: Taking taylor expansion of -1 in x 282.922 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.922 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.922 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.922 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.922 * [taylor]: Taking taylor expansion of y in x 282.923 * [taylor]: Taking taylor expansion of x in x 282.923 * [taylor]: Taking taylor expansion of (* -1 (exp (/ 1 (pow y 2)))) in y 282.923 * [taylor]: Taking taylor expansion of -1 in y 282.923 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.923 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.923 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.923 * [taylor]: Taking taylor expansion of y in y 282.924 * [taylor]: Taking taylor expansion of 0 in y 282.925 * [taylor]: Taking taylor expansion of 0 in y 282.926 * [taylor]: Taking taylor expansion of 0 in y 282.926 * * * * [progress]: [ 3 / 4 ] generating series at (2 1) 282.926 * [approximate]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 3) in (x y) around 0 282.926 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 3) in y 282.926 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in y 282.926 * [taylor]: Taking taylor expansion of x in y 282.926 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.926 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.926 * [taylor]: Taking taylor expansion of y in y 282.926 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 3) in x 282.926 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.926 * [taylor]: Taking taylor expansion of x in x 282.926 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.926 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.926 * [taylor]: Taking taylor expansion of y in x 282.927 * [taylor]: Taking taylor expansion of (pow (* x (exp (pow y 2))) 3) in x 282.927 * [taylor]: Taking taylor expansion of (* x (exp (pow y 2))) in x 282.927 * [taylor]: Taking taylor expansion of x in x 282.927 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in x 282.927 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.927 * [taylor]: Taking taylor expansion of y in x 282.927 * [taylor]: Taking taylor expansion of (pow (exp (pow y 2)) 3) in y 282.927 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.927 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.927 * [taylor]: Taking taylor expansion of y in y 282.928 * [taylor]: Taking taylor expansion of 0 in y 282.929 * [taylor]: Taking taylor expansion of 0 in y 282.930 * [taylor]: Taking taylor expansion of 0 in y 282.931 * [taylor]: Taking taylor expansion of 0 in y 282.932 * [approximate]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 3) in (x y) around 0 282.932 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 3) in y 282.932 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 282.932 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.932 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.932 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.932 * [taylor]: Taking taylor expansion of y in y 282.932 * [taylor]: Taking taylor expansion of x in y 282.932 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 3) in x 282.932 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.932 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.932 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.932 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.932 * [taylor]: Taking taylor expansion of y in x 282.932 * [taylor]: Taking taylor expansion of x in x 282.933 * [taylor]: Taking taylor expansion of (pow (/ (exp (/ 1 (pow y 2))) x) 3) in x 282.933 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.933 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.933 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.933 * [taylor]: Taking taylor expansion of y in x 282.933 * [taylor]: Taking taylor expansion of x in x 282.933 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 282.933 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.933 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.933 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.933 * [taylor]: Taking taylor expansion of y in y 282.935 * [taylor]: Taking taylor expansion of 0 in y 282.936 * [taylor]: Taking taylor expansion of 0 in y 282.937 * [taylor]: Taking taylor expansion of 0 in y 282.938 * [approximate]: Taking taylor expansion of (pow (* -1 (/ (exp (/ 1 (pow y 2))) x)) 3) in (x y) around 0 282.938 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (exp (/ 1 (pow y 2))) x)) 3) in y 282.938 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in y 282.938 * [taylor]: Taking taylor expansion of -1 in y 282.938 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in y 282.938 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.938 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.938 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.938 * [taylor]: Taking taylor expansion of y in y 282.938 * [taylor]: Taking taylor expansion of x in y 282.938 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (exp (/ 1 (pow y 2))) x)) 3) in x 282.938 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 282.938 * [taylor]: Taking taylor expansion of -1 in x 282.938 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.938 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.938 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.938 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.938 * [taylor]: Taking taylor expansion of y in x 282.938 * [taylor]: Taking taylor expansion of x in x 282.939 * [taylor]: Taking taylor expansion of (pow (* -1 (/ (exp (/ 1 (pow y 2))) x)) 3) in x 282.939 * [taylor]: Taking taylor expansion of (* -1 (/ (exp (/ 1 (pow y 2))) x)) in x 282.939 * [taylor]: Taking taylor expansion of -1 in x 282.939 * [taylor]: Taking taylor expansion of (/ (exp (/ 1 (pow y 2))) x) in x 282.939 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in x 282.939 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in x 282.939 * [taylor]: Taking taylor expansion of (pow y 2) in x 282.939 * [taylor]: Taking taylor expansion of y in x 282.939 * [taylor]: Taking taylor expansion of x in x 282.939 * [taylor]: Taking taylor expansion of (* -1 (pow (exp (/ 1 (pow y 2))) 3)) in y 282.939 * [taylor]: Taking taylor expansion of -1 in y 282.939 * [taylor]: Taking taylor expansion of (pow (exp (/ 1 (pow y 2))) 3) in y 282.939 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.939 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.939 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.940 * [taylor]: Taking taylor expansion of y in y 282.941 * [taylor]: Taking taylor expansion of 0 in y 282.942 * [taylor]: Taking taylor expansion of 0 in y 282.944 * [taylor]: Taking taylor expansion of 0 in y 282.944 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 1 2) 282.944 * [approximate]: Taking taylor expansion of (exp (pow y 2)) in (y) around 0 282.944 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.944 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.944 * [taylor]: Taking taylor expansion of y in y 282.944 * [taylor]: Taking taylor expansion of (exp (pow y 2)) in y 282.944 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.944 * [taylor]: Taking taylor expansion of y in y 282.946 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 282.946 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.946 * [taylor]: Taking taylor expansion of y in y 282.946 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.946 * [taylor]: Taking taylor expansion of y in y 282.946 * [approximate]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in (y) around 0 282.946 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.946 * [taylor]: Taking taylor expansion of y in y 282.946 * [taylor]: Taking taylor expansion of (exp (/ 1 (pow y 2))) in y 282.946 * [taylor]: Taking taylor expansion of (/ 1 (pow y 2)) in y 282.946 * [taylor]: Taking taylor expansion of (pow y 2) in y 282.946 * [taylor]: Taking taylor expansion of y in y 282.947 * * * [progress]: simplifying candidates 282.948 * [simplify]: Simplifying using # : (log (cbrt (pow (* x (exp (* y y))) 3))) (exp (cbrt (pow (* x (exp (* y y))) 3))) (cbrt (pow x 3)) (cbrt (pow (exp (* y y)) 3)) (cbrt (* (* x (exp (* y y))) (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (cbrt (* (cbrt (pow (* x (exp (* y y))) 3)) (cbrt (pow (* x (exp (* y y))) 3)))) (cbrt (cbrt (pow (* x (exp (* y y))) 3))) (cbrt (pow x 3)) (cbrt (pow (exp (* y y)) 3)) (cbrt (* x (exp (* y y)))) (cbrt (* (* x (exp (* y y))) (* x (exp (* y y))))) (cbrt (sqrt (pow (* x (exp (* y y))) 3))) (cbrt (sqrt (pow (* x (exp (* y y))) 3))) (cbrt 1) (cbrt (pow (* x (exp (* y y))) 3)) (cbrt (pow (* x (exp (* y y))) (/ 3 2))) (cbrt (pow (* x (exp (* y y))) (/ 3 2))) (* (cbrt (cbrt (pow (* x (exp (* y y))) 3))) (cbrt (cbrt (pow (* x (exp (* y y))) 3)))) (cbrt (cbrt (pow (* x (exp (* y y))) 3))) (* (* (cbrt (pow (* x (exp (* y y))) 3)) (cbrt (pow (* x (exp (* y y))) 3))) (cbrt (pow (* x (exp (* y y))) 3))) (sqrt (cbrt (pow (* x (exp (* y y))) 3))) (sqrt (cbrt (pow (* x (exp (* y y))) 3))) (* x (exp (* y y))) (+ (log x) (* y y)) (log (* x (exp (* y y)))) (exp (* x (exp (* y y)))) (* (* (* x x) x) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y)))) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (* (* (* x (exp (* y y))) (* x (exp (* y y)))) (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) (* x 1) (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (* (+ (log x) (* y y)) 3) (* (log (* x (exp (* y y)))) 3) (* (log (* x (exp (* y y)))) 3) (* 1 3) (* 1 3) (pow (* x (exp (* y y))) (* (cbrt 3) (cbrt 3))) (pow (* x (exp (* y y))) (sqrt 3)) (pow (* x (exp (* y y))) 1) (pow x 3) (pow (exp (* y y)) 3) (* (* x (exp (* y y))) (* x (exp (* y y)))) (log (pow (* x (exp (* y y))) 3)) (exp (pow (* x (exp (* y y))) 3)) (* (cbrt (pow (* x (exp (* y y))) 3)) (cbrt (pow (* x (exp (* y y))) 3))) (cbrt (pow (* x (exp (* y y))) 3)) (* (* (pow (* x (exp (* y y))) 3) (pow (* x (exp (* y y))) 3)) (pow (* x (exp (* y y))) 3)) (pow x 3) (pow (exp (* y y)) 3) (* (* x (exp (* y y))) (* x (exp (* y y)))) (sqrt (pow (* x (exp (* y y))) 3)) (sqrt (pow (* x (exp (* y y))) 3)) (pow (* x (exp (* y y))) (/ 3 2)) (pow (* x (exp (* y y))) (/ 3 2)) (exp y) (log (exp (* y y))) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (* (* (exp (* y y)) (exp (* y y))) (exp (* y y))) (sqrt (exp (* y y))) (sqrt (exp (* y y))) x (* x (exp (pow y 2))) (* -1 (* x (* (exp (pow y 2)) (cbrt -1)))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (+ (* 3 (* (pow x 3) (pow y 2))) (pow x 3)) (* (pow x 3) (pow (exp (pow y 2)) 3)) (* (pow x 3) (pow (exp (pow y 2)) 3)) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) 282.948 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 282.950 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 282.953 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 282.968 * * [simplify]: iteration 3 : 189 enodes (cost 6 ) 283.073 * * [simplify]: iteration 4 : 640 enodes (cost 6 ) 284.068 * * [simplify]: iteration 5 : 2640 enodes (cost 6 ) 285.952 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 285.953 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 285.954 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 285.957 * * [simplify]: iteration 2 : 65 enodes (cost 7 ) 285.973 * * [simplify]: iteration 3 : 193 enodes (cost 7 ) 286.078 * * [simplify]: iteration 4 : 638 enodes (cost 7 ) 287.020 * * [simplify]: iteration 5 : 2544 enodes (cost 7 ) 289.319 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 289.319 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 289.320 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 289.321 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 289.323 * * [simplify]: iteration 3 : 28 enodes (cost 1 ) 289.326 * * [simplify]: iteration 4 : 51 enodes (cost 1 ) 289.335 * * [simplify]: iteration 5 : 114 enodes (cost 1 ) 289.386 * * [simplify]: iteration 6 : 328 enodes (cost 1 ) 289.862 * * [simplify]: iteration 7 : 1249 enodes (cost 1 ) 292.560 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 292.561 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 292.561 * * [simplify]: iteration 1 : 16 enodes (cost 4 ) 292.563 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 292.567 * * [simplify]: iteration 3 : 67 enodes (cost 4 ) 292.586 * * [simplify]: iteration 4 : 151 enodes (cost 4 ) 292.653 * * [simplify]: iteration 5 : 432 enodes (cost 4 ) 293.098 * * [simplify]: iteration 6 : 1641 enodes (cost 4 ) 294.672 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 294.673 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 294.674 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 294.677 * * [simplify]: iteration 2 : 36 enodes (cost 11 ) 294.683 * * [simplify]: iteration 3 : 72 enodes (cost 11 ) 294.704 * * [simplify]: iteration 4 : 174 enodes (cost 11 ) 294.808 * * [simplify]: iteration 5 : 493 enodes (cost 11 ) 295.465 * * [simplify]: iteration 6 : 1630 enodes (cost 11 ) 297.546 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 297.547 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 297.547 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 297.548 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 297.550 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 297.553 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 297.562 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 297.605 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 297.865 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 300.153 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 302.366 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 302.367 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 302.368 * * [simplify]: iteration 1 : 23 enodes (cost 14 ) 302.379 * * [simplify]: iteration 2 : 61 enodes (cost 14 ) 302.394 * * [simplify]: iteration 3 : 182 enodes (cost 11 ) 302.496 * * [simplify]: iteration 4 : 604 enodes (cost 11 ) 303.393 * * [simplify]: iteration 5 : 2382 enodes (cost 11 ) 305.435 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 305.436 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 305.438 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 305.441 * * [simplify]: iteration 2 : 61 enodes (cost 7 ) 305.456 * * [simplify]: iteration 3 : 181 enodes (cost 7 ) 305.558 * * [simplify]: iteration 4 : 593 enodes (cost 7 ) 306.482 * * [simplify]: iteration 5 : 2383 enodes (cost 7 ) 308.281 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 308.281 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 308.282 * * [simplify]: iteration 1 : 12 enodes (cost 1 ) 308.283 * * [simplify]: iteration 2 : 18 enodes (cost 1 ) 308.285 * * [simplify]: iteration 3 : 28 enodes (cost 1 ) 308.289 * * [simplify]: iteration 4 : 51 enodes (cost 1 ) 308.298 * * [simplify]: iteration 5 : 114 enodes (cost 1 ) 308.349 * * [simplify]: iteration 6 : 328 enodes (cost 1 ) 308.833 * * [simplify]: iteration 7 : 1249 enodes (cost 1 ) 311.315 * * [simplify]: iteration done : 5000 enodes (cost 1 ) 311.316 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 311.317 * * [simplify]: iteration 1 : 16 enodes (cost 4 ) 311.319 * * [simplify]: iteration 2 : 29 enodes (cost 4 ) 311.323 * * [simplify]: iteration 3 : 67 enodes (cost 4 ) 311.336 * * [simplify]: iteration 4 : 151 enodes (cost 4 ) 311.410 * * [simplify]: iteration 5 : 432 enodes (cost 4 ) 311.854 * * [simplify]: iteration 6 : 1641 enodes (cost 4 ) 313.426 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 313.426 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 313.427 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 313.428 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 313.430 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 313.433 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 313.441 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 313.485 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 313.749 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 316.058 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 318.537 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 318.538 * * [simplify]: iteration 0 : 7 enodes (cost 14 ) 318.539 * * [simplify]: iteration 1 : 17 enodes (cost 14 ) 318.549 * * [simplify]: iteration 2 : 36 enodes (cost 11 ) 318.555 * * [simplify]: iteration 3 : 72 enodes (cost 11 ) 318.572 * * [simplify]: iteration 4 : 174 enodes (cost 11 ) 318.678 * * [simplify]: iteration 5 : 493 enodes (cost 11 ) 319.360 * * [simplify]: iteration 6 : 1630 enodes (cost 11 ) 321.492 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 321.493 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 321.499 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 321.503 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 321.524 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 321.624 * * [simplify]: iteration 4 : 601 enodes (cost 10 ) 322.531 * * [simplify]: iteration 5 : 2389 enodes (cost 10 ) 324.172 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 324.172 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 324.174 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 324.177 * * [simplify]: iteration 2 : 62 enodes (cost 10 ) 324.191 * * [simplify]: iteration 3 : 182 enodes (cost 10 ) 324.295 * * [simplify]: iteration 4 : 601 enodes (cost 10 ) 325.208 * * [simplify]: iteration 5 : 2389 enodes (cost 10 ) 326.835 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 326.836 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 326.836 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 326.836 * * [simplify]: iteration done : 4 enodes (cost 1 ) 326.837 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 326.838 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 326.842 * * [simplify]: iteration 2 : 60 enodes (cost 6 ) 326.863 * * [simplify]: iteration 3 : 174 enodes (cost 6 ) 326.964 * * [simplify]: iteration 4 : 606 enodes (cost 6 ) 327.884 * * [simplify]: iteration 5 : 2411 enodes (cost 6 ) 330.050 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 330.050 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 330.052 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 330.053 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 330.056 * * [simplify]: iteration 3 : 46 enodes (cost 9 ) 330.062 * * [simplify]: iteration 4 : 95 enodes (cost 9 ) 330.086 * * [simplify]: iteration 5 : 216 enodes (cost 9 ) 330.177 * * [simplify]: iteration 6 : 612 enodes (cost 9 ) 330.906 * * [simplify]: iteration 7 : 2204 enodes (cost 9 ) 332.672 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 332.672 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 332.674 * * [simplify]: iteration 1 : 18 enodes (cost 9 ) 332.676 * * [simplify]: iteration 2 : 27 enodes (cost 9 ) 332.685 * * [simplify]: iteration 3 : 46 enodes (cost 9 ) 332.691 * * [simplify]: iteration 4 : 95 enodes (cost 9 ) 332.709 * * [simplify]: iteration 5 : 216 enodes (cost 9 ) 332.806 * * [simplify]: iteration 6 : 612 enodes (cost 9 ) 333.527 * * [simplify]: iteration 7 : 2204 enodes (cost 9 ) 335.310 * * [simplify]: iteration done : 5001 enodes (cost 9 ) 335.311 * * [simplify]: iteration 0 : 10 enodes (cost 21 ) 335.312 * * [simplify]: iteration 1 : 24 enodes (cost 15 ) 335.316 * * [simplify]: iteration 2 : 62 enodes (cost 15 ) 335.331 * * [simplify]: iteration 3 : 183 enodes (cost 15 ) 335.435 * * [simplify]: iteration 4 : 599 enodes (cost 15 ) 336.375 * * [simplify]: iteration 5 : 2438 enodes (cost 15 ) 338.505 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 338.506 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 338.507 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 338.510 * * [simplify]: iteration 2 : 61 enodes (cost 7 ) 338.533 * * [simplify]: iteration 3 : 181 enodes (cost 7 ) 338.631 * * [simplify]: iteration 4 : 593 enodes (cost 7 ) 339.559 * * [simplify]: iteration 5 : 2383 enodes (cost 7 ) 341.360 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 341.361 * * [simplify]: iteration 0 : 10 enodes (cost 29 ) 341.362 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 341.366 * * [simplify]: iteration 2 : 60 enodes (cost 8 ) 341.380 * * [simplify]: iteration 3 : 178 enodes (cost 8 ) 341.485 * * [simplify]: iteration 4 : 599 enodes (cost 8 ) 342.426 * * [simplify]: iteration 5 : 2434 enodes (cost 8 ) 344.479 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 344.480 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 344.481 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 344.485 * * [simplify]: iteration 2 : 61 enodes (cost 7 ) 344.499 * * [simplify]: iteration 3 : 181 enodes (cost 7 ) 344.599 * * [simplify]: iteration 4 : 593 enodes (cost 7 ) 345.515 * * [simplify]: iteration 5 : 2383 enodes (cost 7 ) 347.571 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 347.572 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 347.573 * * [simplify]: iteration 1 : 23 enodes (cost 7 ) 347.576 * * [simplify]: iteration 2 : 61 enodes (cost 7 ) 347.591 * * [simplify]: iteration 3 : 181 enodes (cost 7 ) 347.693 * * [simplify]: iteration 4 : 593 enodes (cost 7 ) 348.619 * * [simplify]: iteration 5 : 2383 enodes (cost 7 ) 350.412 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 350.413 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 350.414 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 350.415 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 350.416 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 350.425 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 350.434 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 350.472 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 350.734 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 353.135 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 355.388 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 355.389 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 355.390 * * [simplify]: iteration 1 : 6 enodes (cost 6 ) 355.390 * * [simplify]: iteration done : 6 enodes (cost 6 ) 355.391 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 355.392 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 355.393 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 355.396 * * [simplify]: iteration 3 : 31 enodes (cost 6 ) 355.401 * * [simplify]: iteration 4 : 71 enodes (cost 6 ) 355.414 * * [simplify]: iteration 5 : 189 enodes (cost 6 ) 355.506 * * [simplify]: iteration 6 : 587 enodes (cost 6 ) 356.113 * * [simplify]: iteration 7 : 2119 enodes (cost 6 ) 357.587 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 357.587 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 357.588 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 357.589 * * [simplify]: iteration 2 : 20 enodes (cost 7 ) 357.597 * * [simplify]: iteration 3 : 41 enodes (cost 7 ) 357.604 * * [simplify]: iteration 4 : 105 enodes (cost 7 ) 357.624 * * [simplify]: iteration 5 : 306 enodes (cost 7 ) 357.815 * * [simplify]: iteration 6 : 1065 enodes (cost 7 ) 359.673 * * [simplify]: iteration done : 5002 enodes (cost 7 ) 359.674 * * [simplify]: iteration 0 : 9 enodes (cost 20 ) 359.676 * * [simplify]: iteration 1 : 20 enodes (cost 19 ) 359.679 * * [simplify]: iteration 2 : 58 enodes (cost 10 ) 359.697 * * [simplify]: iteration 3 : 141 enodes (cost 10 ) 359.761 * * [simplify]: iteration 4 : 448 enodes (cost 8 ) 360.316 * * [simplify]: iteration 5 : 1783 enodes (cost 8 ) 362.342 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 362.343 * * [simplify]: iteration 0 : 7 enodes (cost 15 ) 362.343 * * [simplify]: iteration 1 : 10 enodes (cost 15 ) 362.350 * * [simplify]: iteration 2 : 14 enodes (cost 15 ) 362.352 * * [simplify]: iteration 3 : 23 enodes (cost 15 ) 362.355 * * [simplify]: iteration 4 : 49 enodes (cost 15 ) 362.363 * * [simplify]: iteration 5 : 114 enodes (cost 15 ) 362.402 * * [simplify]: iteration 6 : 300 enodes (cost 15 ) 362.662 * * [simplify]: iteration 7 : 992 enodes (cost 15 ) 365.131 * * [simplify]: iteration 8 : 3778 enodes (cost 15 ) 367.343 * * [simplify]: iteration done : 5000 enodes (cost 15 ) 367.344 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 367.345 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 367.346 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 367.347 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 367.350 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 367.359 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 367.401 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 367.652 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 370.166 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 372.363 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 372.364 * * [simplify]: iteration 0 : 7 enodes (cost 20 ) 372.365 * * [simplify]: iteration 1 : 20 enodes (cost 20 ) 372.369 * * [simplify]: iteration 2 : 57 enodes (cost 8 ) 372.389 * * [simplify]: iteration 3 : 141 enodes (cost 8 ) 372.459 * * [simplify]: iteration 4 : 430 enodes (cost 8 ) 373.034 * * [simplify]: iteration 5 : 1507 enodes (cost 8 ) 376.226 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 376.227 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 376.227 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 376.228 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 376.230 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 376.233 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 376.242 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 376.283 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 376.537 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 378.787 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 380.969 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 380.970 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 380.971 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 380.972 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 380.973 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 380.976 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 380.985 * * [simplify]: iteration 5 : 116 enodes (cost 7 ) 381.026 * * [simplify]: iteration 6 : 307 enodes (cost 7 ) 381.281 * * [simplify]: iteration 7 : 1004 enodes (cost 7 ) 383.533 * * [simplify]: iteration 8 : 3776 enodes (cost 7 ) 385.726 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 385.727 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 385.728 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 385.729 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 385.730 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 385.733 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 385.744 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 385.766 * * [simplify]: iteration 6 : 184 enodes (cost 8 ) 385.869 * * [simplify]: iteration 7 : 562 enodes (cost 8 ) 386.603 * * [simplify]: iteration 8 : 1985 enodes (cost 8 ) 388.608 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 388.608 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 388.609 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 388.610 * * [simplify]: iteration 2 : 14 enodes (cost 8 ) 388.612 * * [simplify]: iteration 3 : 20 enodes (cost 8 ) 388.614 * * [simplify]: iteration 4 : 38 enodes (cost 8 ) 388.624 * * [simplify]: iteration 5 : 78 enodes (cost 8 ) 388.647 * * [simplify]: iteration 6 : 184 enodes (cost 8 ) 388.748 * * [simplify]: iteration 7 : 562 enodes (cost 8 ) 389.482 * * [simplify]: iteration 8 : 1985 enodes (cost 8 ) 391.477 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 391.478 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 391.479 * * [simplify]: iteration 1 : 12 enodes (cost 13 ) 391.480 * * [simplify]: iteration 2 : 18 enodes (cost 13 ) 391.486 * * [simplify]: iteration 3 : 23 enodes (cost 13 ) 391.489 * * [simplify]: iteration 4 : 41 enodes (cost 13 ) 391.495 * * [simplify]: iteration 5 : 81 enodes (cost 13 ) 391.516 * * [simplify]: iteration 6 : 185 enodes (cost 13 ) 391.618 * * [simplify]: iteration 7 : 559 enodes (cost 13 ) 392.356 * * [simplify]: iteration 8 : 1974 enodes (cost 13 ) 394.484 * * [simplify]: iteration done : 5001 enodes (cost 13 ) 394.485 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 394.486 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 394.487 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 394.488 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 394.490 * * [simplify]: iteration 4 : 37 enodes (cost 7 ) 394.501 * * [simplify]: iteration 5 : 77 enodes (cost 7 ) 394.523 * * [simplify]: iteration 6 : 182 enodes (cost 7 ) 394.626 * * [simplify]: iteration 7 : 564 enodes (cost 7 ) 395.381 * * [simplify]: iteration 8 : 1989 enodes (cost 7 ) 397.167 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 397.168 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 397.168 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 397.168 * * [simplify]: iteration done : 6 enodes (cost 1 ) 397.169 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 397.170 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 397.171 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 397.172 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 397.175 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 397.185 * * [simplify]: iteration 5 : 118 enodes (cost 7 ) 397.226 * * [simplify]: iteration 6 : 308 enodes (cost 7 ) 397.481 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 399.831 * * [simplify]: iteration 8 : 3797 enodes (cost 7 ) 402.010 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 402.011 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 402.012 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 402.013 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 402.014 * * [simplify]: iteration 3 : 22 enodes (cost 7 ) 402.017 * * [simplify]: iteration 4 : 48 enodes (cost 7 ) 402.027 * * [simplify]: iteration 5 : 118 enodes (cost 7 ) 402.068 * * [simplify]: iteration 6 : 308 enodes (cost 7 ) 402.313 * * [simplify]: iteration 7 : 1006 enodes (cost 7 ) 404.633 * * [simplify]: iteration 8 : 3797 enodes (cost 7 ) 406.811 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 406.811 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 406.812 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 406.813 * * [simplify]: iteration 2 : 12 enodes (cost 6 ) 406.815 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 406.818 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 406.826 * * [simplify]: iteration 5 : 113 enodes (cost 6 ) 406.869 * * [simplify]: iteration 6 : 302 enodes (cost 6 ) 407.128 * * [simplify]: iteration 7 : 994 enodes (cost 6 ) 409.472 * * [simplify]: iteration 8 : 3759 enodes (cost 6 ) 411.685 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 411.686 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 411.687 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 411.688 * * [simplify]: iteration 2 : 17 enodes (cost 8 ) 411.691 * * [simplify]: iteration 3 : 21 enodes (cost 8 ) 411.697 * * [simplify]: iteration done : 21 enodes (cost 8 ) 411.698 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 411.699 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 411.700 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 411.704 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 411.710 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 411.727 * * [simplify]: iteration 5 : 243 enodes (cost 8 ) 411.851 * * [simplify]: iteration 6 : 763 enodes (cost 8 ) 412.875 * * [simplify]: iteration 7 : 3092 enodes (cost 8 ) 414.208 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 414.209 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 414.210 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 414.211 * * [simplify]: iteration 2 : 28 enodes (cost 8 ) 414.215 * * [simplify]: iteration 3 : 48 enodes (cost 8 ) 414.222 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 414.239 * * [simplify]: iteration 5 : 243 enodes (cost 8 ) 414.367 * * [simplify]: iteration 6 : 763 enodes (cost 8 ) 415.592 * * [simplify]: iteration 7 : 3092 enodes (cost 8 ) 416.917 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 416.918 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 416.919 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 416.919 * * [simplify]: iteration done : 6 enodes (cost 1 ) 416.920 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 416.920 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 416.920 * * [simplify]: iteration done : 6 enodes (cost 1 ) 416.921 * * [simplify]: iteration 0 : 9 enodes (cost 12 ) 416.922 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 416.924 * * [simplify]: iteration 2 : 26 enodes (cost 12 ) 416.927 * * [simplify]: iteration 3 : 59 enodes (cost 12 ) 416.937 * * [simplify]: iteration 4 : 141 enodes (cost 12 ) 416.992 * * [simplify]: iteration 5 : 361 enodes (cost 12 ) 417.284 * * [simplify]: iteration 6 : 1157 enodes (cost 12 ) 419.476 * * [simplify]: iteration 7 : 4246 enodes (cost 12 ) 420.803 * * [simplify]: iteration done : 5001 enodes (cost 12 ) 420.804 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 420.805 * * [simplify]: iteration 1 : 15 enodes (cost 9 ) 420.807 * * [simplify]: iteration 2 : 23 enodes (cost 9 ) 420.810 * * [simplify]: iteration 3 : 50 enodes (cost 9 ) 420.817 * * [simplify]: iteration 4 : 115 enodes (cost 9 ) 420.857 * * [simplify]: iteration 5 : 282 enodes (cost 9 ) 421.020 * * [simplify]: iteration 6 : 823 enodes (cost 9 ) 422.204 * * [simplify]: iteration 7 : 3086 enodes (cost 9 ) 423.982 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 423.983 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 423.989 * * [simplify]: iteration 1 : 17 enodes (cost 6 ) 423.991 * * [simplify]: iteration 2 : 27 enodes (cost 6 ) 423.994 * * [simplify]: iteration 3 : 47 enodes (cost 6 ) 424.000 * * [simplify]: iteration 4 : 95 enodes (cost 6 ) 424.019 * * [simplify]: iteration 5 : 214 enodes (cost 6 ) 424.129 * * [simplify]: iteration 6 : 603 enodes (cost 6 ) 424.967 * * [simplify]: iteration 7 : 2209 enodes (cost 6 ) 426.605 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 426.606 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 426.606 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 426.608 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 426.609 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 426.612 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 426.621 * * [simplify]: iteration 5 : 113 enodes (cost 3 ) 426.669 * * [simplify]: iteration 6 : 327 enodes (cost 3 ) 427.122 * * [simplify]: iteration 7 : 1246 enodes (cost 3 ) 429.590 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 429.590 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 429.591 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 429.593 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 429.597 * * [simplify]: iteration 3 : 66 enodes (cost 6 ) 429.610 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 429.681 * * [simplify]: iteration 5 : 438 enodes (cost 6 ) 430.130 * * [simplify]: iteration 6 : 1659 enodes (cost 6 ) 431.729 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 431.730 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 431.731 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 431.734 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 431.740 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 431.761 * * [simplify]: iteration 4 : 176 enodes (cost 10 ) 431.851 * * [simplify]: iteration 5 : 494 enodes (cost 10 ) 432.513 * * [simplify]: iteration 6 : 1637 enodes (cost 10 ) 434.637 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 434.638 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 434.639 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 434.643 * * [simplify]: iteration 2 : 75 enodes (cost 9 ) 434.665 * * [simplify]: iteration 3 : 244 enodes (cost 8 ) 434.797 * * [simplify]: iteration 4 : 880 enodes (cost 8 ) 436.093 * * [simplify]: iteration 5 : 3733 enodes (cost 8 ) 438.109 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 438.110 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 438.112 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 438.120 * * [simplify]: iteration 2 : 68 enodes (cost 9 ) 438.136 * * [simplify]: iteration 3 : 223 enodes (cost 9 ) 438.257 * * [simplify]: iteration 4 : 841 enodes (cost 9 ) 439.309 * * [simplify]: iteration 5 : 3623 enodes (cost 9 ) 440.567 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 440.568 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 440.569 * * [simplify]: iteration 1 : 22 enodes (cost 13 ) 440.573 * * [simplify]: iteration 2 : 60 enodes (cost 13 ) 440.587 * * [simplify]: iteration 3 : 178 enodes (cost 10 ) 440.687 * * [simplify]: iteration 4 : 597 enodes (cost 10 ) 441.588 * * [simplify]: iteration 5 : 2435 enodes (cost 10 ) 443.641 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 443.642 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 443.643 * * [simplify]: iteration 1 : 22 enodes (cost 6 ) 443.646 * * [simplify]: iteration 2 : 60 enodes (cost 6 ) 443.667 * * [simplify]: iteration 3 : 174 enodes (cost 6 ) 443.773 * * [simplify]: iteration 4 : 606 enodes (cost 6 ) 444.679 * * [simplify]: iteration 5 : 2411 enodes (cost 6 ) 446.787 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 446.788 * * [simplify]: iteration 0 : 9 enodes (cost 26 ) 446.792 * * [simplify]: iteration 1 : 27 enodes (cost 17 ) 446.798 * * [simplify]: iteration 2 : 109 enodes (cost 10 ) 446.861 * * [simplify]: iteration 3 : 756 enodes (cost 10 ) 448.071 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 448.071 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 448.072 * * [simplify]: iteration 1 : 11 enodes (cost 3 ) 448.073 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 448.075 * * [simplify]: iteration 3 : 27 enodes (cost 3 ) 448.078 * * [simplify]: iteration 4 : 50 enodes (cost 3 ) 448.087 * * [simplify]: iteration 5 : 113 enodes (cost 3 ) 448.137 * * [simplify]: iteration 6 : 327 enodes (cost 3 ) 448.595 * * [simplify]: iteration 7 : 1246 enodes (cost 3 ) 451.071 * * [simplify]: iteration done : 5000 enodes (cost 3 ) 451.072 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 451.073 * * [simplify]: iteration 1 : 15 enodes (cost 6 ) 451.074 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 451.078 * * [simplify]: iteration 3 : 66 enodes (cost 6 ) 451.092 * * [simplify]: iteration 4 : 152 enodes (cost 6 ) 451.162 * * [simplify]: iteration 5 : 438 enodes (cost 6 ) 451.608 * * [simplify]: iteration 6 : 1659 enodes (cost 6 ) 453.216 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 453.217 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 453.217 * * [simplify]: iteration 1 : 16 enodes (cost 13 ) 453.220 * * [simplify]: iteration 2 : 35 enodes (cost 10 ) 453.227 * * [simplify]: iteration 3 : 70 enodes (cost 10 ) 453.248 * * [simplify]: iteration 4 : 176 enodes (cost 10 ) 453.340 * * [simplify]: iteration 5 : 494 enodes (cost 10 ) 454.008 * * [simplify]: iteration 6 : 1637 enodes (cost 10 ) 456.168 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 456.169 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 456.170 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 456.173 * * [simplify]: iteration 2 : 61 enodes (cost 9 ) 456.191 * * [simplify]: iteration 3 : 175 enodes (cost 9 ) 456.295 * * [simplify]: iteration 4 : 609 enodes (cost 9 ) 457.189 * * [simplify]: iteration 5 : 2411 enodes (cost 9 ) 459.164 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 459.165 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 459.166 * * [simplify]: iteration 1 : 22 enodes (cost 9 ) 459.169 * * [simplify]: iteration 2 : 61 enodes (cost 9 ) 459.184 * * [simplify]: iteration 3 : 175 enodes (cost 9 ) 459.287 * * [simplify]: iteration 4 : 609 enodes (cost 9 ) 460.173 * * [simplify]: iteration 5 : 2411 enodes (cost 9 ) 462.397 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 462.398 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 462.399 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 462.401 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 462.403 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 462.409 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 462.427 * * [simplify]: iteration 5 : 221 enodes (cost 8 ) 462.520 * * [simplify]: iteration 6 : 616 enodes (cost 8 ) 463.224 * * [simplify]: iteration 7 : 2222 enodes (cost 8 ) 465.095 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 465.096 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 465.097 * * [simplify]: iteration 1 : 16 enodes (cost 8 ) 465.099 * * [simplify]: iteration 2 : 26 enodes (cost 8 ) 465.102 * * [simplify]: iteration 3 : 45 enodes (cost 8 ) 465.108 * * [simplify]: iteration 4 : 94 enodes (cost 8 ) 465.125 * * [simplify]: iteration 5 : 221 enodes (cost 8 ) 465.217 * * [simplify]: iteration 6 : 616 enodes (cost 8 ) 465.921 * * [simplify]: iteration 7 : 2222 enodes (cost 8 ) 467.791 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 467.792 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 467.792 * * [simplify]: iteration done : 2 enodes (cost 2 ) 467.792 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 467.793 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 467.797 * * [simplify]: iteration 2 : 12 enodes (cost 3 ) 467.798 * * [simplify]: iteration 3 : 20 enodes (cost 3 ) 467.801 * * [simplify]: iteration 4 : 45 enodes (cost 3 ) 467.808 * * [simplify]: iteration 5 : 120 enodes (cost 3 ) 467.861 * * [simplify]: iteration 6 : 367 enodes (cost 3 ) 468.201 * * [simplify]: iteration 7 : 1333 enodes (cost 3 ) 469.861 * * [simplify]: iteration done : 5001 enodes (cost 3 ) 469.862 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 469.863 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 469.863 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 469.864 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 469.867 * * [simplify]: iteration 4 : 40 enodes (cost 5 ) 469.873 * * [simplify]: iteration 5 : 97 enodes (cost 5 ) 469.910 * * [simplify]: iteration 6 : 266 enodes (cost 5 ) 470.077 * * [simplify]: iteration 7 : 882 enodes (cost 5 ) 471.329 * * [simplify]: iteration 8 : 3713 enodes (cost 5 ) 472.498 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 472.498 * * [simplify]: iteration 0 : 5 enodes (cost 11 ) 472.499 * * [simplify]: iteration 1 : 7 enodes (cost 11 ) 472.500 * * [simplify]: iteration 2 : 11 enodes (cost 11 ) 472.501 * * [simplify]: iteration 3 : 16 enodes (cost 11 ) 472.503 * * [simplify]: iteration 4 : 34 enodes (cost 11 ) 472.508 * * [simplify]: iteration 5 : 76 enodes (cost 11 ) 472.529 * * [simplify]: iteration 6 : 185 enodes (cost 11 ) 472.628 * * [simplify]: iteration 7 : 565 enodes (cost 11 ) 473.351 * * [simplify]: iteration 8 : 1982 enodes (cost 11 ) 475.477 * * [simplify]: iteration done : 5001 enodes (cost 11 ) 475.478 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 475.478 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 475.479 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 475.480 * * [simplify]: iteration 3 : 15 enodes (cost 5 ) 475.482 * * [simplify]: iteration 4 : 33 enodes (cost 5 ) 475.487 * * [simplify]: iteration 5 : 75 enodes (cost 5 ) 475.507 * * [simplify]: iteration 6 : 186 enodes (cost 5 ) 475.610 * * [simplify]: iteration 7 : 559 enodes (cost 5 ) 476.344 * * [simplify]: iteration 8 : 1990 enodes (cost 5 ) 478.375 * * [simplify]: iteration done : 5000 enodes (cost 5 ) 478.376 * * [simplify]: iteration 0 : 5 enodes (cost 14 ) 478.377 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 478.378 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 478.383 * * [simplify]: iteration 3 : 62 enodes (cost 6 ) 478.395 * * [simplify]: iteration 4 : 135 enodes (cost 6 ) 478.455 * * [simplify]: iteration 5 : 389 enodes (cost 6 ) 478.934 * * [simplify]: iteration 6 : 1621 enodes (cost 6 ) 480.691 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 480.691 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 480.692 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 480.693 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 480.694 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 480.696 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 480.701 * * [simplify]: iteration 5 : 76 enodes (cost 5 ) 480.722 * * [simplify]: iteration 6 : 183 enodes (cost 5 ) 480.823 * * [simplify]: iteration 7 : 564 enodes (cost 5 ) 481.577 * * [simplify]: iteration 8 : 1989 enodes (cost 5 ) 483.610 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 483.611 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 483.611 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 483.612 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 483.613 * * [simplify]: iteration 3 : 16 enodes (cost 5 ) 483.615 * * [simplify]: iteration 4 : 34 enodes (cost 5 ) 483.620 * * [simplify]: iteration 5 : 76 enodes (cost 5 ) 483.646 * * [simplify]: iteration 6 : 183 enodes (cost 5 ) 483.744 * * [simplify]: iteration 7 : 564 enodes (cost 5 ) 484.743 * * [simplify]: iteration 8 : 1989 enodes (cost 5 ) 486.817 * * [simplify]: iteration done : 5001 enodes (cost 5 ) 486.818 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 486.818 * * [simplify]: iteration done : 1 enodes (cost 1 ) 486.819 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 486.820 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 486.821 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 486.823 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 486.826 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 486.830 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 486.848 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 486.902 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 487.204 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 490.041 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 491.891 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 491.892 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 491.894 * * [simplify]: iteration 1 : 23 enodes (cost 10 ) 491.897 * * [simplify]: iteration 2 : 65 enodes (cost 10 ) 491.909 * * [simplify]: iteration 3 : 116 enodes (cost 10 ) 491.942 * * [simplify]: iteration 4 : 170 enodes (cost 10 ) 491.991 * * [simplify]: iteration 5 : 334 enodes (cost 10 ) 492.165 * * [simplify]: iteration 6 : 765 enodes (cost 10 ) 493.140 * * [simplify]: iteration 7 : 2100 enodes (cost 10 ) 495.042 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 495.043 * * [simplify]: iteration 0 : 1 enodes (cost 1 ) 495.043 * * [simplify]: iteration done : 1 enodes (cost 1 ) 495.044 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 495.044 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 495.046 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 495.047 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 495.050 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 495.055 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 495.072 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 495.127 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 495.428 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 498.231 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 500.071 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 500.071 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 500.072 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 500.074 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 500.075 * * [simplify]: iteration 3 : 32 enodes (cost 6 ) 500.078 * * [simplify]: iteration 4 : 47 enodes (cost 6 ) 500.082 * * [simplify]: iteration 5 : 83 enodes (cost 6 ) 500.093 * * [simplify]: iteration 6 : 167 enodes (cost 6 ) 500.149 * * [simplify]: iteration 7 : 410 enodes (cost 6 ) 500.443 * * [simplify]: iteration 8 : 1292 enodes (cost 6 ) 503.226 * * [simplify]: iteration 9 : 4982 enodes (cost 6 ) 505.093 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 505.094 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 505.095 * * [simplify]: iteration 1 : 26 enodes (cost 13 ) 505.101 * * [simplify]: iteration 2 : 84 enodes (cost 13 ) 505.117 * * [simplify]: iteration 3 : 209 enodes (cost 11 ) 505.212 * * [simplify]: iteration 4 : 526 enodes (cost 11 ) 505.657 * * [simplify]: iteration 5 : 1315 enodes (cost 11 ) 508.479 * * [simplify]: iteration 6 : 4304 enodes (cost 11 ) 511.427 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 511.428 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 511.429 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 511.434 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 511.449 * * [simplify]: iteration 3 : 216 enodes (cost 10 ) 511.544 * * [simplify]: iteration 4 : 660 enodes (cost 10 ) 512.408 * * [simplify]: iteration 5 : 2847 enodes (cost 8 ) 514.312 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 514.313 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 514.314 * * [simplify]: iteration 1 : 27 enodes (cost 10 ) 514.319 * * [simplify]: iteration 2 : 78 enodes (cost 10 ) 514.334 * * [simplify]: iteration 3 : 216 enodes (cost 10 ) 514.423 * * [simplify]: iteration 4 : 660 enodes (cost 10 ) 515.272 * * [simplify]: iteration 5 : 2847 enodes (cost 8 ) 517.174 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 517.175 * * [simplify]: iteration 0 : 10 enodes (cost 11 ) 517.176 * * [simplify]: iteration 1 : 24 enodes (cost 11 ) 517.180 * * [simplify]: iteration 2 : 53 enodes (cost 11 ) 517.195 * * [simplify]: iteration 3 : 129 enodes (cost 11 ) 517.266 * * [simplify]: iteration 4 : 363 enodes (cost 11 ) 517.419 * * [simplify]: iteration 5 : 803 enodes (cost 11 ) 518.664 * * [simplify]: iteration 6 : 2850 enodes (cost 11 ) 521.104 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 521.104 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 521.105 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 521.106 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 521.107 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 521.109 * * [simplify]: iteration 4 : 40 enodes (cost 4 ) 521.113 * * [simplify]: iteration 5 : 68 enodes (cost 4 ) 521.120 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 521.156 * * [simplify]: iteration 7 : 280 enodes (cost 4 ) 521.305 * * [simplify]: iteration 8 : 871 enodes (cost 4 ) 522.520 * * [simplify]: iteration 9 : 3198 enodes (cost 4 ) 524.446 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 524.447 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 524.447 * * [simplify]: iteration 1 : 9 enodes (cost 4 ) 524.449 * * [simplify]: iteration 2 : 21 enodes (cost 4 ) 524.450 * * [simplify]: iteration 3 : 29 enodes (cost 4 ) 524.452 * * [simplify]: iteration 4 : 40 enodes (cost 4 ) 524.455 * * [simplify]: iteration 5 : 68 enodes (cost 4 ) 524.463 * * [simplify]: iteration 6 : 127 enodes (cost 4 ) 524.500 * * [simplify]: iteration 7 : 280 enodes (cost 4 ) 524.651 * * [simplify]: iteration 8 : 871 enodes (cost 4 ) 525.863 * * [simplify]: iteration 9 : 3198 enodes (cost 4 ) 527.803 * * [simplify]: iteration done : 5000 enodes (cost 4 ) 527.804 * [simplify]: Simplified to: (+ (* y y) (log x)) (exp (* x (exp (* y y)))) x (pow (exp y) y) (cbrt (* x (* (pow (exp y) (* 2 y)) x))) (cbrt (* x (exp (* y y)))) (cbrt (* (* x x) (pow (exp y) (* 2 y)))) (cbrt (* x (exp (* y y)))) x (pow (exp y) y) (cbrt (* x (exp (* y y)))) (cbrt (* x (* (pow (exp y) (* 2 y)) x))) (cbrt (sqrt (pow (* x (exp (* y y))) 3))) (cbrt (sqrt (pow (* x (exp (* y y))) 3))) 1 (* x (exp (* y y))) (cbrt (pow (* x (exp (* y y))) 3/2)) (cbrt (pow (* x (exp (* y y))) 3/2)) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* x (exp (* y y))) (+ (log x) (* y y)) (+ (* y y) (log x)) (exp (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (* (cbrt (* x (exp (* y y)))) (cbrt (* x (exp (* y y))))) (cbrt (* x (exp (* y y)))) (pow (* x (exp (* y y))) 3) (sqrt (* x (exp (* y y)))) (sqrt (* x (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* (sqrt x) (sqrt (exp (* y y)))) (* x (* (cbrt (exp (* y y))) (cbrt (exp (* y y))))) (* x (sqrt (exp (* y y)))) x (* (cbrt x) (exp (* y y))) (* (sqrt x) (exp (* y y))) (* x (exp (* y y))) (* (+ (log x) (* y y)) 3) (* (+ (* y y) (log x)) 3) (* (+ (* y y) (log x)) 3) 3 3 (pow (* x (exp (* y y))) (* (cbrt 3) (cbrt 3))) (pow (* x (exp (* y y))) (sqrt 3)) (* x (exp (* y y))) (pow x 3) (pow (exp (* y y)) 3) (* (* x x) (pow (exp y) (* 2 y))) (* 3 (+ (* y y) (log x))) (exp (pow (* x (exp (* y y))) 3)) (* (pow (exp y) (* 2 y)) (* x x)) (* x (exp (* y y))) (pow (pow (* x (exp (* y y))) 3) 3) (pow x 3) (pow (exp (* y y)) 3) (* (* x x) (pow (exp y) (* 2 y))) (sqrt (pow (* x (exp (* y y))) 3)) (sqrt (pow (* x (exp (* y y))) 3)) (pow (* x (exp (* y y))) 3/2) (pow (* x (exp (* y y))) 3/2) (exp y) (* y y) (exp (exp (* y y))) (* (cbrt (exp (* y y))) (cbrt (exp (* y y)))) (cbrt (exp (* y y))) (pow (exp (* y y)) 3) (sqrt (exp (* y y))) (sqrt (exp (* y y))) x (* x (exp (pow y 2))) (neg (* x (* (exp (pow y 2)) (cbrt -1)))) x (* x (exp (pow y 2))) (* x (exp (pow y 2))) (* (+ (* 3 (pow y 2)) 1) (pow x 3)) (pow (* x (exp (pow y 2))) 3) (pow (* x (exp (pow y 2))) 3) (+ (* 1/2 (pow y 4)) (+ (pow y 2) 1)) (exp (pow y 2)) (exp (pow y 2)) 527.805 * * * [progress]: adding candidates to table 527.904 * [progress]: [Phase 3 of 3] Extracting. 527.904 * * [regime]: Finding splitpoints for: (# #) 527.906 * * * [regime-changes]: Trying 5 branch expressions: ((* y y) (exp (* y y)) (* x (exp (* y y))) y x) 527.906 * * * * [regimes]: Trying to branch on (* y y) from (# #) 527.939 * * * * [regimes]: Trying to branch on (exp (* y y)) from (# #) 527.967 * * * * [regimes]: Trying to branch on (* x (exp (* y y))) from (# #) 528.010 * * * * [regimes]: Trying to branch on y from (# #) 528.044 * * * * [regimes]: Trying to branch on x from (# #) 528.078 * * * [regime]: Found split indices: #