218.776 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.016 * * * [progress]: [2/2] Setting up program. 0.018 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (* x (- 1.0 y)) 0.019 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.020 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.020 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.022 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.025 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.028 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.030 * [simplify]: Simplified to: (* x (- 1.0 y)) 0.031 * * [progress]: iteration 1 / 4 0.031 * * * [progress]: picking best candidate 0.033 * * * * [pick]: Picked # 0.033 * * * [progress]: localizing error 0.037 * * * [progress]: generating rewritten candidates 0.037 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.045 * * * [progress]: generating series expansions 0.045 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.045 * [approximate]: Taking taylor expansion of (* x (- 1.0 y)) in (x y) around 0 0.045 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in y 0.046 * [taylor]: Taking taylor expansion of x in y 0.046 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 0.046 * [taylor]: Taking taylor expansion of 1.0 in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 0.046 * [taylor]: Taking taylor expansion of 1.0 in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in x 0.046 * [taylor]: Taking taylor expansion of x in x 0.046 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 0.046 * [taylor]: Taking taylor expansion of 1.0 in x 0.046 * [taylor]: Taking taylor expansion of y in x 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.046 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 0.046 * [taylor]: Taking taylor expansion of 1.0 in y 0.046 * [taylor]: Taking taylor expansion of y in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.046 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [taylor]: Taking taylor expansion of 0 in y 0.047 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in (x y) around 0 0.047 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in y 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.047 * [taylor]: Taking taylor expansion of 1.0 in y 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.047 * [taylor]: Taking taylor expansion of y in y 0.047 * [taylor]: Taking taylor expansion of x in y 0.047 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.047 * [taylor]: Taking taylor expansion of y in x 0.047 * [taylor]: Taking taylor expansion of x in x 0.047 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in x 0.047 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 0.047 * [taylor]: Taking taylor expansion of 1.0 in x 0.047 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.048 * [taylor]: Taking taylor expansion of y in x 0.048 * [taylor]: Taking taylor expansion of x in x 0.048 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 0.048 * [taylor]: Taking taylor expansion of 1.0 in y 0.048 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.048 * [taylor]: Taking taylor expansion of y in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.048 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [taylor]: Taking taylor expansion of 0 in y 0.049 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in (x y) around 0 0.049 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in y 0.049 * [taylor]: Taking taylor expansion of -1 in y 0.049 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in y 0.049 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.049 * [taylor]: Taking taylor expansion of y in y 0.049 * [taylor]: Taking taylor expansion of 1.0 in y 0.049 * [taylor]: Taking taylor expansion of x in y 0.049 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in x 0.049 * [taylor]: Taking taylor expansion of -1 in x 0.049 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 0.049 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.049 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.049 * [taylor]: Taking taylor expansion of y in x 0.049 * [taylor]: Taking taylor expansion of 1.0 in x 0.049 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in x 0.050 * [taylor]: Taking taylor expansion of -1 in x 0.050 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 0.050 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.050 * [taylor]: Taking taylor expansion of y in x 0.050 * [taylor]: Taking taylor expansion of 1.0 in x 0.050 * [taylor]: Taking taylor expansion of x in x 0.050 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 y))) in y 0.050 * [taylor]: Taking taylor expansion of -1 in y 0.050 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 0.050 * [taylor]: Taking taylor expansion of 1.0 in y 0.050 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.050 * [taylor]: Taking taylor expansion of y in y 0.050 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.051 * [taylor]: Taking taylor expansion of 0 in y 0.052 * * * [progress]: simplifying candidates 0.052 * [simplify]: Simplifying using # : (* x (- 1.0 y)) (+ (log x) (log (- 1.0 y))) (log (* x (- 1.0 y))) (exp (* x (- 1.0 y))) (* (* (* x x) x) (* (* (- 1.0 y) (- 1.0 y)) (- 1.0 y))) (* (cbrt (* x (- 1.0 y))) (cbrt (* x (- 1.0 y)))) (cbrt (* x (- 1.0 y))) (* (* (* x (- 1.0 y)) (* x (- 1.0 y))) (* x (- 1.0 y))) (sqrt (* x (- 1.0 y))) (sqrt (* x (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* x 1.0) (* x (neg y)) (* x 1.0) (* x (neg y)) (* 1.0 x) (* (neg y) x) (* 1.0 x) (* (neg y) x) (* x (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* x (sqrt (- 1.0 y))) (* x 1) (* x (+ (sqrt 1.0) (sqrt y))) (* x 1) (* (cbrt x) (- 1.0 y)) (* (sqrt x) (- 1.0 y)) (* x (- 1.0 y)) (* x (- (pow 1.0 3) (pow y 3))) (* x (- (* 1.0 1.0) (* y y))) (- (* 1.0 x) (* x y)) (- (* 1.0 x) (* x y)) (- (* 1.0 x) (* x y)) 0.053 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 0.053 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 0.054 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 0.056 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 0.058 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 0.061 * * [simplify]: iteration done : 24 enodes (cost 5 ) 0.062 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 0.063 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.063 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 0.064 * * [simplify]: iteration done : 11 enodes (cost 7 ) 0.065 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.066 * * [simplify]: iteration 1 : 12 enodes (cost 6 ) 0.067 * * [simplify]: iteration 2 : 20 enodes (cost 6 ) 0.074 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 0.077 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 0.080 * * [simplify]: iteration done : 29 enodes (cost 6 ) 0.081 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 0.082 * * [simplify]: iteration 1 : 11 enodes (cost 6 ) 0.084 * * [simplify]: iteration 2 : 24 enodes (cost 6 ) 0.087 * * [simplify]: iteration 3 : 49 enodes (cost 6 ) 0.094 * * [simplify]: iteration 4 : 90 enodes (cost 6 ) 0.108 * * [simplify]: iteration 5 : 192 enodes (cost 6 ) 0.177 * * [simplify]: iteration 6 : 441 enodes (cost 6 ) 0.488 * * [simplify]: iteration 7 : 1402 enodes (cost 6 ) 2.113 * * [simplify]: iteration done : 5001 enodes (cost 6 ) 2.114 * * [simplify]: iteration 0 : 9 enodes (cost 17 ) 2.116 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 2.120 * * [simplify]: iteration 2 : 62 enodes (cost 9 ) 2.141 * * [simplify]: iteration 3 : 243 enodes (cost 9 ) 2.256 * * [simplify]: iteration 4 : 855 enodes (cost 7 ) 3.287 * * [simplify]: iteration 5 : 2965 enodes (cost 7 ) 4.887 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 4.888 * * [simplify]: iteration 0 : 7 enodes (cost 13 ) 4.888 * * [simplify]: iteration 1 : 10 enodes (cost 13 ) 4.889 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 4.892 * * [simplify]: iteration 3 : 22 enodes (cost 13 ) 4.894 * * [simplify]: iteration 4 : 26 enodes (cost 13 ) 4.897 * * [simplify]: iteration done : 26 enodes (cost 13 ) 4.898 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 4.898 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 4.899 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 4.901 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 4.904 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 4.907 * * [simplify]: iteration done : 25 enodes (cost 6 ) 4.907 * * [simplify]: iteration 0 : 7 enodes (cost 17 ) 4.908 * * [simplify]: iteration 1 : 20 enodes (cost 17 ) 4.912 * * [simplify]: iteration 2 : 74 enodes (cost 7 ) 4.938 * * [simplify]: iteration 3 : 266 enodes (cost 7 ) 5.089 * * [simplify]: iteration 4 : 818 enodes (cost 7 ) 5.905 * * [simplify]: iteration 5 : 2511 enodes (cost 7 ) 7.800 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 7.801 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.802 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.803 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.805 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.808 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.811 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.811 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.812 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.813 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.820 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.823 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.826 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.827 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.828 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.829 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.830 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.830 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.831 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 7.832 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 7.833 * * [simplify]: iteration done : 11 enodes (cost 7 ) 7.834 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.834 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.835 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.835 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.836 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.836 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.837 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.839 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.839 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.839 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.840 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.840 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.841 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.842 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.843 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.844 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.844 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.845 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.845 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.846 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.846 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.847 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.848 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.849 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.850 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.850 * * [simplify]: iteration 1 : 4 enodes (cost 3 ) 7.851 * * [simplify]: iteration done : 4 enodes (cost 3 ) 7.851 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 7.852 * * [simplify]: iteration 1 : 7 enodes (cost 4 ) 7.852 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 7.853 * * [simplify]: iteration 3 : 11 enodes (cost 4 ) 7.855 * * [simplify]: iteration done : 11 enodes (cost 4 ) 7.855 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 7.856 * * [simplify]: iteration 1 : 12 enodes (cost 11 ) 7.857 * * [simplify]: iteration 2 : 15 enodes (cost 11 ) 7.859 * * [simplify]: iteration done : 15 enodes (cost 11 ) 7.860 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.860 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.862 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 7.862 * * [simplify]: iteration done : 10 enodes (cost 6 ) 7.863 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.864 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.864 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.865 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 7.865 * * [simplify]: iteration 1 : 15 enodes (cost 7 ) 7.867 * * [simplify]: iteration 2 : 16 enodes (cost 7 ) 7.869 * * [simplify]: iteration done : 16 enodes (cost 7 ) 7.870 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 7.870 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 7.870 * * [simplify]: iteration done : 6 enodes (cost 1 ) 7.871 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.871 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.872 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.874 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.877 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.880 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.881 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 7.881 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 7.882 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 7.885 * * [simplify]: iteration 3 : 21 enodes (cost 6 ) 7.891 * * [simplify]: iteration 4 : 25 enodes (cost 6 ) 7.894 * * [simplify]: iteration done : 25 enodes (cost 6 ) 7.894 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 7.895 * * [simplify]: iteration 1 : 8 enodes (cost 5 ) 7.896 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 7.898 * * [simplify]: iteration 3 : 20 enodes (cost 5 ) 7.900 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 7.903 * * [simplify]: iteration done : 24 enodes (cost 5 ) 7.904 * * [simplify]: iteration 0 : 8 enodes (cost 9 ) 7.905 * * [simplify]: iteration 1 : 24 enodes (cost 9 ) 7.908 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 7.917 * * [simplify]: iteration 3 : 131 enodes (cost 9 ) 7.950 * * [simplify]: iteration 4 : 309 enodes (cost 9 ) 8.083 * * [simplify]: iteration 5 : 988 enodes (cost 9 ) 9.154 * * [simplify]: iteration 6 : 4466 enodes (cost 9 ) 11.281 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 11.282 * * [simplify]: iteration 0 : 7 enodes (cost 9 ) 11.283 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 11.285 * * [simplify]: iteration 2 : 30 enodes (cost 9 ) 11.296 * * [simplify]: iteration 3 : 76 enodes (cost 9 ) 11.311 * * [simplify]: iteration 4 : 159 enodes (cost 9 ) 11.352 * * [simplify]: iteration 5 : 245 enodes (cost 9 ) 11.429 * * [simplify]: iteration 6 : 400 enodes (cost 9 ) 11.616 * * [simplify]: iteration 7 : 771 enodes (cost 9 ) 13.276 * * [simplify]: iteration 8 : 3375 enodes (cost 9 ) 15.450 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 15.451 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.452 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.453 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 15.456 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 15.459 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 15.462 * * [simplify]: iteration done : 24 enodes (cost 5 ) 15.462 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.463 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.464 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 15.467 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 15.470 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 15.473 * * [simplify]: iteration done : 24 enodes (cost 5 ) 15.473 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 15.474 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 15.475 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 15.478 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 15.481 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 15.485 * * [simplify]: iteration done : 24 enodes (cost 5 ) 15.485 * [simplify]: Simplified to: (* x (- 1.0 y)) (+ (log x) (log (- 1.0 y))) (log (* x (- 1.0 y))) (exp (* x (- 1.0 y))) (pow (* x (- 1.0 y)) 3) (* (cbrt (* x (- 1.0 y))) (cbrt (* x (- 1.0 y)))) (cbrt (* x (- 1.0 y))) (pow (* x (- 1.0 y)) 3) (sqrt (* x (- 1.0 y))) (sqrt (* x (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* x 1.0) (* x (neg y)) (* x 1.0) (* x (neg y)) (* 1.0 x) (* (neg y) x) (* 1.0 x) (* (neg y) x) (* x (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (* x (sqrt (- 1.0 y))) x (* x (+ (sqrt 1.0) (sqrt y))) x (* (cbrt x) (- 1.0 y)) (* (sqrt x) (- 1.0 y)) (* x (- 1.0 y)) (* x (- (pow 1.0 3) (pow y 3))) (* x (* (- 1.0 y) (+ 1.0 y))) (* x (- 1.0 y)) (* x (- 1.0 y)) (* x (- 1.0 y)) 15.485 * * * [progress]: adding candidates to table 15.520 * * [progress]: iteration 2 / 4 15.520 * * * [progress]: picking best candidate 15.524 * * * * [pick]: Picked # 15.524 * * * [progress]: localizing error 15.530 * * * [progress]: generating rewritten candidates 15.530 * * * * [progress]: [ 1 / 4 ] rewriting at (2) 15.544 * * * * [progress]: [ 2 / 4 ] rewriting at (2 1) 15.552 * * * * [progress]: [ 3 / 4 ] rewriting at (2 2) 15.556 * * * * [progress]: [ 4 / 4 ] rewriting at (2 1 2) 15.564 * * * [progress]: generating series expansions 15.564 * * * * [progress]: [ 1 / 4 ] generating series at (2) 15.564 * [approximate]: Taking taylor expansion of (* x (- 1.0 y)) in (x y) around 0 15.564 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in y 15.564 * [taylor]: Taking taylor expansion of x in y 15.564 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.564 * [taylor]: Taking taylor expansion of 1.0 in y 15.564 * [taylor]: Taking taylor expansion of y in y 15.564 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in x 15.564 * [taylor]: Taking taylor expansion of x in x 15.564 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 15.564 * [taylor]: Taking taylor expansion of 1.0 in x 15.564 * [taylor]: Taking taylor expansion of y in x 15.564 * [taylor]: Taking taylor expansion of (* x (- 1.0 y)) in x 15.564 * [taylor]: Taking taylor expansion of x in x 15.564 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 15.564 * [taylor]: Taking taylor expansion of 1.0 in x 15.564 * [taylor]: Taking taylor expansion of y in x 15.564 * [taylor]: Taking taylor expansion of 0 in y 15.564 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.564 * [taylor]: Taking taylor expansion of 1.0 in y 15.564 * [taylor]: Taking taylor expansion of y in y 15.565 * [taylor]: Taking taylor expansion of 0 in y 15.565 * [taylor]: Taking taylor expansion of 0 in y 15.565 * [taylor]: Taking taylor expansion of 0 in y 15.565 * [approximate]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in (x y) around 0 15.565 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in y 15.565 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.565 * [taylor]: Taking taylor expansion of 1.0 in y 15.565 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.565 * [taylor]: Taking taylor expansion of y in y 15.565 * [taylor]: Taking taylor expansion of x in y 15.565 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in x 15.565 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 15.565 * [taylor]: Taking taylor expansion of 1.0 in x 15.565 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.565 * [taylor]: Taking taylor expansion of y in x 15.565 * [taylor]: Taking taylor expansion of x in x 15.566 * [taylor]: Taking taylor expansion of (/ (- 1.0 (/ 1 y)) x) in x 15.566 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 15.566 * [taylor]: Taking taylor expansion of 1.0 in x 15.566 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.566 * [taylor]: Taking taylor expansion of y in x 15.566 * [taylor]: Taking taylor expansion of x in x 15.566 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.566 * [taylor]: Taking taylor expansion of 1.0 in y 15.566 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.566 * [taylor]: Taking taylor expansion of y in y 15.566 * [taylor]: Taking taylor expansion of 0 in y 15.566 * [taylor]: Taking taylor expansion of 0 in y 15.567 * [taylor]: Taking taylor expansion of 0 in y 15.567 * [taylor]: Taking taylor expansion of 0 in y 15.567 * [approximate]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in (x y) around 0 15.567 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in y 15.568 * [taylor]: Taking taylor expansion of -1 in y 15.568 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in y 15.568 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.568 * [taylor]: Taking taylor expansion of y in y 15.568 * [taylor]: Taking taylor expansion of 1.0 in y 15.568 * [taylor]: Taking taylor expansion of x in y 15.568 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in x 15.568 * [taylor]: Taking taylor expansion of -1 in x 15.568 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 15.568 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 15.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.568 * [taylor]: Taking taylor expansion of y in x 15.568 * [taylor]: Taking taylor expansion of 1.0 in x 15.568 * [taylor]: Taking taylor expansion of x in x 15.568 * [taylor]: Taking taylor expansion of (* -1 (/ (+ (/ 1 y) 1.0) x)) in x 15.568 * [taylor]: Taking taylor expansion of -1 in x 15.568 * [taylor]: Taking taylor expansion of (/ (+ (/ 1 y) 1.0) x) in x 15.568 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 15.568 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.568 * [taylor]: Taking taylor expansion of y in x 15.568 * [taylor]: Taking taylor expansion of 1.0 in x 15.568 * [taylor]: Taking taylor expansion of x in x 15.568 * [taylor]: Taking taylor expansion of (* -1 (+ 1.0 (/ 1 y))) in y 15.568 * [taylor]: Taking taylor expansion of -1 in y 15.568 * [taylor]: Taking taylor expansion of (+ 1.0 (/ 1 y)) in y 15.568 * [taylor]: Taking taylor expansion of 1.0 in y 15.568 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.569 * [taylor]: Taking taylor expansion of y in y 15.569 * [taylor]: Taking taylor expansion of 0 in y 15.569 * [taylor]: Taking taylor expansion of 0 in y 15.569 * [taylor]: Taking taylor expansion of 0 in y 15.570 * [taylor]: Taking taylor expansion of 0 in y 15.570 * * * * [progress]: [ 2 / 4 ] generating series at (2 1) 15.570 * [approximate]: Taking taylor expansion of (* x (sqrt (- 1.0 y))) in (x y) around 0 15.570 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 y))) in y 15.570 * [taylor]: Taking taylor expansion of x in y 15.570 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.570 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.570 * [taylor]: Taking taylor expansion of 1.0 in y 15.570 * [taylor]: Taking taylor expansion of y in y 15.570 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 y))) in x 15.570 * [taylor]: Taking taylor expansion of x in x 15.570 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in x 15.570 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 15.571 * [taylor]: Taking taylor expansion of 1.0 in x 15.571 * [taylor]: Taking taylor expansion of y in x 15.571 * [taylor]: Taking taylor expansion of (* x (sqrt (- 1.0 y))) in x 15.571 * [taylor]: Taking taylor expansion of x in x 15.571 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in x 15.571 * [taylor]: Taking taylor expansion of (- 1.0 y) in x 15.571 * [taylor]: Taking taylor expansion of 1.0 in x 15.571 * [taylor]: Taking taylor expansion of y in x 15.571 * [taylor]: Taking taylor expansion of 0 in y 15.571 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.571 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.571 * [taylor]: Taking taylor expansion of 1.0 in y 15.571 * [taylor]: Taking taylor expansion of y in y 15.571 * [taylor]: Taking taylor expansion of 0 in y 15.572 * [taylor]: Taking taylor expansion of 0 in y 15.572 * [approximate]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1.0 (/ 1 y)))) in (x y) around 0 15.572 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1.0 (/ 1 y)))) in y 15.572 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.572 * [taylor]: Taking taylor expansion of x in y 15.572 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.572 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.572 * [taylor]: Taking taylor expansion of 1.0 in y 15.572 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.572 * [taylor]: Taking taylor expansion of y in y 15.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1.0 (/ 1 y)))) in x 15.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.573 * [taylor]: Taking taylor expansion of x in x 15.573 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in x 15.573 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 15.573 * [taylor]: Taking taylor expansion of 1.0 in x 15.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.573 * [taylor]: Taking taylor expansion of y in x 15.573 * [taylor]: Taking taylor expansion of (* (/ 1 x) (sqrt (- 1.0 (/ 1 y)))) in x 15.573 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.573 * [taylor]: Taking taylor expansion of x in x 15.573 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in x 15.573 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in x 15.573 * [taylor]: Taking taylor expansion of 1.0 in x 15.573 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.573 * [taylor]: Taking taylor expansion of y in x 15.573 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.573 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.573 * [taylor]: Taking taylor expansion of 1.0 in y 15.573 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.573 * [taylor]: Taking taylor expansion of y in y 15.574 * [taylor]: Taking taylor expansion of 0 in y 15.574 * [taylor]: Taking taylor expansion of 0 in y 15.575 * [taylor]: Taking taylor expansion of 0 in y 15.576 * [approximate]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x))) in (x y) around 0 15.576 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x))) in y 15.576 * [taylor]: Taking taylor expansion of -1 in y 15.576 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x)) in y 15.576 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.576 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.576 * [taylor]: Taking taylor expansion of y in y 15.576 * [taylor]: Taking taylor expansion of 1.0 in y 15.576 * [taylor]: Taking taylor expansion of (/ 1 x) in y 15.576 * [taylor]: Taking taylor expansion of x in y 15.576 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x))) in x 15.576 * [taylor]: Taking taylor expansion of -1 in x 15.576 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x)) in x 15.576 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in x 15.576 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 15.576 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.576 * [taylor]: Taking taylor expansion of y in x 15.576 * [taylor]: Taking taylor expansion of 1.0 in x 15.576 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.576 * [taylor]: Taking taylor expansion of x in x 15.576 * [taylor]: Taking taylor expansion of (* -1 (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x))) in x 15.576 * [taylor]: Taking taylor expansion of -1 in x 15.576 * [taylor]: Taking taylor expansion of (* (sqrt (+ (/ 1 y) 1.0)) (/ 1 x)) in x 15.576 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in x 15.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in x 15.577 * [taylor]: Taking taylor expansion of (/ 1 y) in x 15.577 * [taylor]: Taking taylor expansion of y in x 15.577 * [taylor]: Taking taylor expansion of 1.0 in x 15.577 * [taylor]: Taking taylor expansion of (/ 1 x) in x 15.577 * [taylor]: Taking taylor expansion of x in x 15.577 * [taylor]: Taking taylor expansion of (* -1 (sqrt (+ (/ 1 y) 1.0))) in y 15.577 * [taylor]: Taking taylor expansion of -1 in y 15.577 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.577 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.577 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.577 * [taylor]: Taking taylor expansion of y in y 15.577 * [taylor]: Taking taylor expansion of 1.0 in y 15.577 * [taylor]: Taking taylor expansion of 0 in y 15.578 * [taylor]: Taking taylor expansion of 0 in y 15.578 * [taylor]: Taking taylor expansion of 0 in y 15.580 * * * * [progress]: [ 3 / 4 ] generating series at (2 2) 15.580 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 y)) in (y) around 0 15.580 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.580 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.580 * [taylor]: Taking taylor expansion of 1.0 in y 15.580 * [taylor]: Taking taylor expansion of y in y 15.580 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.580 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.580 * [taylor]: Taking taylor expansion of 1.0 in y 15.580 * [taylor]: Taking taylor expansion of y in y 15.581 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in (y) around 0 15.581 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.581 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.581 * [taylor]: Taking taylor expansion of 1.0 in y 15.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.581 * [taylor]: Taking taylor expansion of y in y 15.581 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.581 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.581 * [taylor]: Taking taylor expansion of 1.0 in y 15.581 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.581 * [taylor]: Taking taylor expansion of y in y 15.582 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in (y) around 0 15.582 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.582 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.583 * [taylor]: Taking taylor expansion of y in y 15.583 * [taylor]: Taking taylor expansion of 1.0 in y 15.583 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.583 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.583 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.583 * [taylor]: Taking taylor expansion of y in y 15.583 * [taylor]: Taking taylor expansion of 1.0 in y 15.584 * * * * [progress]: [ 4 / 4 ] generating series at (2 1 2) 15.584 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 y)) in (y) around 0 15.584 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.584 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.584 * [taylor]: Taking taylor expansion of 1.0 in y 15.584 * [taylor]: Taking taylor expansion of y in y 15.584 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 y)) in y 15.584 * [taylor]: Taking taylor expansion of (- 1.0 y) in y 15.584 * [taylor]: Taking taylor expansion of 1.0 in y 15.584 * [taylor]: Taking taylor expansion of y in y 15.585 * [approximate]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in (y) around 0 15.585 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.585 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.585 * [taylor]: Taking taylor expansion of 1.0 in y 15.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.585 * [taylor]: Taking taylor expansion of y in y 15.585 * [taylor]: Taking taylor expansion of (sqrt (- 1.0 (/ 1 y))) in y 15.585 * [taylor]: Taking taylor expansion of (- 1.0 (/ 1 y)) in y 15.585 * [taylor]: Taking taylor expansion of 1.0 in y 15.585 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.585 * [taylor]: Taking taylor expansion of y in y 15.586 * [approximate]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in (y) around 0 15.586 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.586 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.586 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.586 * [taylor]: Taking taylor expansion of y in y 15.587 * [taylor]: Taking taylor expansion of 1.0 in y 15.587 * [taylor]: Taking taylor expansion of (sqrt (+ (/ 1 y) 1.0)) in y 15.587 * [taylor]: Taking taylor expansion of (+ (/ 1 y) 1.0) in y 15.587 * [taylor]: Taking taylor expansion of (/ 1 y) in y 15.587 * [taylor]: Taking taylor expansion of y in y 15.587 * [taylor]: Taking taylor expansion of 1.0 in y 15.588 * * * [progress]: simplifying candidates 15.589 * [simplify]: Simplifying using # : (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y))) (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y))) (+ (+ (log x) (log (sqrt (- 1.0 y)))) (log (sqrt (- 1.0 y)))) (+ (log (* x (sqrt (- 1.0 y)))) (log (sqrt (- 1.0 y)))) (log (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (exp (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* (* (* x x) x) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* (* (* x (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y)))) (* x (sqrt (- 1.0 y)))) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (cbrt (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (cbrt (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y))))) (cbrt (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y))) (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (sqrt (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (sqrt (* (* x (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (sqrt (- (pow 1.0 3) (pow y 3)))) (* (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))) (* (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (sqrt (- (* 1.0 1.0) (* y y)))) (* (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (sqrt (+ 1.0 y))) (* (* x (sqrt (- (* 1.0 1.0) (* y y)))) (sqrt (- (pow 1.0 3) (pow y 3)))) (* (sqrt (+ 1.0 y)) (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y))))) (* (* x (sqrt (- (* 1.0 1.0) (* y y)))) (sqrt (- (* 1.0 1.0) (* y y)))) (* (sqrt (+ 1.0 y)) (sqrt (+ 1.0 y))) (* (* x (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))) (* (* x (sqrt (- 1.0 y))) (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (* (* x (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y)))) (* (* x (sqrt (- 1.0 y))) (sqrt 1)) (* (* x (sqrt (- 1.0 y))) (sqrt (+ (sqrt 1.0) (sqrt y)))) (* (* x (sqrt (- 1.0 y))) (sqrt 1)) (* (* x (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y)))) (* (* x (sqrt (- 1.0 y))) 1) (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (* (* x (sqrt (- 1.0 y))) (sqrt (- (pow 1.0 3) (pow y 3)))) (* (* x (sqrt (- 1.0 y))) (sqrt (- (* 1.0 1.0) (* y y)))) (* (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (sqrt (- 1.0 y))) (* (* x (sqrt (- (* 1.0 1.0) (* y y)))) (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y))) (+ (log x) (log (sqrt (- 1.0 y)))) (log (* x (sqrt (- 1.0 y)))) (exp (* x (sqrt (- 1.0 y)))) (* (* (* x x) x) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y)))) (* (cbrt (* x (sqrt (- 1.0 y)))) (cbrt (* x (sqrt (- 1.0 y))))) (cbrt (* x (sqrt (- 1.0 y)))) (* (* (* x (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y)))) (* x (sqrt (- 1.0 y)))) (sqrt (* x (sqrt (- 1.0 y)))) (sqrt (* x (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* x (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))) (* x (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y))))) (* x (sqrt (sqrt (- 1.0 y)))) (* x (sqrt 1)) (* x (sqrt (+ (sqrt 1.0) (sqrt y)))) (* x (sqrt 1)) (* x (sqrt (sqrt (- 1.0 y)))) (* x 1) (* (cbrt x) (sqrt (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y))) (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (* x (sqrt (- (* 1.0 1.0) (* y y)))) (log (sqrt (- 1.0 y))) (exp (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y)))) (cbrt (sqrt (- 1.0 y))) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))) (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt 1) (sqrt (- 1.0 y)) (sqrt (+ (sqrt 1.0) (sqrt y))) (sqrt (- (sqrt 1.0) (sqrt y))) (sqrt 1) (sqrt (- 1.0 y)) (sqrt (- (pow 1.0 3) (pow y 3))) (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (sqrt (- (* 1.0 1.0) (* y y))) (sqrt (+ 1.0 y)) (/ 1 2) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (log (sqrt (- 1.0 y))) (exp (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y)))) (cbrt (sqrt (- 1.0 y))) (* (* (sqrt (- 1.0 y)) (sqrt (- 1.0 y))) (sqrt (- 1.0 y))) (sqrt (* (cbrt (- 1.0 y)) (cbrt (- 1.0 y)))) (sqrt (cbrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt 1) (sqrt (- 1.0 y)) (sqrt (+ (sqrt 1.0) (sqrt y))) (sqrt (- (sqrt 1.0) (sqrt y))) (sqrt 1) (sqrt (- 1.0 y)) (sqrt (- (pow 1.0 3) (pow y 3))) (sqrt (+ (* 1.0 1.0) (+ (* y y) (* 1.0 y)))) (sqrt (- (* 1.0 1.0) (* y y))) (sqrt (+ 1.0 y)) (/ 1 2) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (- (* 1.0 x) (* x y)) (- (* 1.0 x) (* x y)) (- (* 1.0 x) (* x y)) (- (* x (sqrt 1.0)) (+ (* 1/2 (/ (* x y) (sqrt 1.0))) (* 1/8 (/ (* x (pow y 2)) (pow (sqrt 1.0) 3))))) (- (+ (* 1.0 (/ (* x NAN) y)) (+ (* 2 (/ (* x (pow NAN 5)) (pow y 2))) (* x NAN))) (+ (* 2.0 (/ (* x (pow NAN 3)) (pow y 2))) (/ (* x (pow NAN 3)) y))) (- (+ (* x NAN) (+ (* 2 (/ (* x (pow NAN 5)) (pow y 2))) (/ (* x (pow NAN 3)) y))) (+ (* 2.0 (/ (* x (pow NAN 3)) (pow y 2))) (* 1.0 (/ (* x NAN) y)))) (- (sqrt 1.0) (+ (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 1/2 (/ y (sqrt 1.0))))) (- (+ NAN (+ (* 2 (/ (pow NAN 5) (pow y 2))) (* 1.0 (/ NAN y)))) (+ (* 2.0 (/ (pow NAN 3) (pow y 2))) (/ (pow NAN 3) y))) (- (+ NAN (+ (* 2 (/ (pow NAN 5) (pow y 2))) (/ (pow NAN 3) y))) (+ (* 2.0 (/ (pow NAN 3) (pow y 2))) (* 1.0 (/ NAN y)))) (- (sqrt 1.0) (+ (* 1/8 (/ (pow y 2) (pow (sqrt 1.0) 3))) (* 1/2 (/ y (sqrt 1.0))))) (- (+ NAN (+ (* 2 (/ (pow NAN 5) (pow y 2))) (* 1.0 (/ NAN y)))) (+ (* 2.0 (/ (pow NAN 3) (pow y 2))) (/ (pow NAN 3) y))) (- (+ NAN (+ (* 2 (/ (pow NAN 5) (pow y 2))) (/ (pow NAN 3) y))) (+ (* 2.0 (/ (pow NAN 3) (pow y 2))) (* 1.0 (/ NAN y)))) 15.590 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 15.591 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 15.593 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 15.595 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 15.602 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 15.605 * * [simplify]: iteration 5 : 32 enodes (cost 5 ) 15.610 * * [simplify]: iteration done : 32 enodes (cost 5 ) 15.610 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 15.611 * * [simplify]: iteration 1 : 13 enodes (cost 11 ) 15.613 * * [simplify]: iteration 2 : 15 enodes (cost 5 ) 15.615 * * [simplify]: iteration 3 : 24 enodes (cost 5 ) 15.618 * * [simplify]: iteration 4 : 28 enodes (cost 5 ) 15.621 * * [simplify]: iteration 5 : 32 enodes (cost 5 ) 15.625 * * [simplify]: iteration done : 32 enodes (cost 5 ) 15.626 * * [simplify]: iteration 0 : 9 enodes (cost 14 ) 15.627 * * [simplify]: iteration 1 : 15 enodes (cost 14 ) 15.629 * * [simplify]: iteration 2 : 19 enodes (cost 10 ) 15.631 * * [simplify]: iteration 3 : 20 enodes (cost 10 ) 15.633 * * [simplify]: iteration done : 20 enodes (cost 10 ) 15.633 * * [simplify]: iteration 0 : 9 enodes (cost 13 ) 15.634 * * [simplify]: iteration 1 : 15 enodes (cost 13 ) 15.636 * * [simplify]: iteration 2 : 19 enodes (cost 13 ) 15.638 * * [simplify]: iteration 3 : 22 enodes (cost 10 ) 15.640 * * [simplify]: iteration 4 : 23 enodes (cost 10 ) 15.642 * * [simplify]: iteration done : 23 enodes (cost 10 ) 15.643 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 15.644 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 15.646 * * [simplify]: iteration 2 : 25 enodes (cost 6 ) 15.649 * * [simplify]: iteration 3 : 38 enodes (cost 6 ) 15.653 * * [simplify]: iteration 4 : 44 enodes (cost 6 ) 15.658 * * [simplify]: iteration 5 : 49 enodes (cost 6 ) 15.666 * * [simplify]: iteration done : 49 enodes (cost 6 ) 15.667 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 15.667 * * [simplify]: iteration 1 : 16 enodes (cost 12 ) 15.670 * * [simplify]: iteration 2 : 28 enodes (cost 6 ) 15.673 * * [simplify]: iteration 3 : 55 enodes (cost 6 ) 15.682 * * [simplify]: iteration 4 : 116 enodes (cost 6 ) 15.700 * * [simplify]: iteration 5 : 244 enodes (cost 6 ) 15.803 * * [simplify]: iteration 6 : 576 enodes (cost 6 ) 16.203 * * [simplify]: iteration 7 : 1517 enodes (cost 6 ) 17.692 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 17.693 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 17.695 * * [simplify]: iteration 1 : 25 enodes (cost 23 ) 17.700 * * [simplify]: iteration 2 : 102 enodes (cost 15 ) 17.740 * * [simplify]: iteration 3 : 432 enodes (cost 9 ) 18.118 * * [simplify]: iteration 4 : 1600 enodes (cost 9 ) 20.810 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 20.811 * * [simplify]: iteration 0 : 11 enodes (cost 35 ) 20.812 * * [simplify]: iteration 1 : 29 enodes (cost 23 ) 20.819 * * [simplify]: iteration 2 : 114 enodes (cost 15 ) 20.871 * * [simplify]: iteration 3 : 464 enodes (cost 15 ) 21.333 * * [simplify]: iteration 4 : 1597 enodes (cost 7 ) 23.988 * * [simplify]: iteration 5 : 4746 enodes (cost 7 ) 25.969 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 25.970 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 25.971 * * [simplify]: iteration 1 : 15 enodes (cost 25 ) 25.973 * * [simplify]: iteration 2 : 17 enodes (cost 13 ) 25.975 * * [simplify]: iteration 3 : 26 enodes (cost 13 ) 25.978 * * [simplify]: iteration 4 : 30 enodes (cost 13 ) 25.982 * * [simplify]: iteration 5 : 34 enodes (cost 13 ) 25.986 * * [simplify]: iteration done : 34 enodes (cost 13 ) 25.986 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 25.987 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 25.989 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 25.991 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 25.994 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 25.998 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 26.006 * * [simplify]: iteration done : 33 enodes (cost 6 ) 26.007 * * [simplify]: iteration 0 : 9 enodes (cost 35 ) 26.008 * * [simplify]: iteration 1 : 24 enodes (cost 35 ) 26.014 * * [simplify]: iteration 2 : 80 enodes (cost 7 ) 26.046 * * [simplify]: iteration 3 : 271 enodes (cost 7 ) 26.240 * * [simplify]: iteration 4 : 867 enodes (cost 7 ) 27.233 * * [simplify]: iteration 5 : 2399 enodes (cost 7 ) 29.514 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 29.515 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 29.515 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 29.517 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 29.519 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 29.523 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 29.526 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 29.530 * * [simplify]: iteration done : 33 enodes (cost 6 ) 29.531 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 29.532 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 29.534 * * [simplify]: iteration 2 : 16 enodes (cost 6 ) 29.536 * * [simplify]: iteration 3 : 25 enodes (cost 6 ) 29.539 * * [simplify]: iteration 4 : 29 enodes (cost 6 ) 29.542 * * [simplify]: iteration 5 : 33 enodes (cost 6 ) 29.546 * * [simplify]: iteration done : 33 enodes (cost 6 ) 29.549 * * [simplify]: iteration 0 : 10 enodes (cost 19 ) 29.550 * * [simplify]: iteration 1 : 29 enodes (cost 19 ) 29.554 * * [simplify]: iteration 2 : 52 enodes (cost 9 ) 29.562 * * [simplify]: iteration 3 : 99 enodes (cost 9 ) 29.581 * * [simplify]: iteration 4 : 257 enodes (cost 9 ) 29.675 * * [simplify]: iteration 5 : 906 enodes (cost 9 ) 30.499 * * [simplify]: iteration 6 : 4198 enodes (cost 9 ) 32.516 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 32.516 * * [simplify]: iteration 0 : 9 enodes (cost 25 ) 32.518 * * [simplify]: iteration 1 : 16 enodes (cost 9 ) 32.520 * * [simplify]: iteration 2 : 25 enodes (cost 9 ) 32.523 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 32.527 * * [simplify]: iteration 4 : 27 enodes (cost 9 ) 32.531 * * [simplify]: iteration done : 27 enodes (cost 9 ) 32.532 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 32.534 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 32.539 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 32.554 * * [simplify]: iteration 3 : 114 enodes (cost 19 ) 32.574 * * [simplify]: iteration 4 : 223 enodes (cost 19 ) 32.636 * * [simplify]: iteration 5 : 595 enodes (cost 19 ) 33.002 * * [simplify]: iteration 6 : 2426 enodes (cost 19 ) 34.154 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 34.155 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 34.157 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 34.159 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 34.163 * * [simplify]: iteration 3 : 27 enodes (cost 15 ) 34.168 * * [simplify]: iteration 4 : 28 enodes (cost 15 ) 34.172 * * [simplify]: iteration done : 28 enodes (cost 15 ) 34.172 * * [simplify]: iteration 0 : 14 enodes (cost 19 ) 34.174 * * [simplify]: iteration 1 : 36 enodes (cost 19 ) 34.184 * * [simplify]: iteration 2 : 69 enodes (cost 19 ) 34.194 * * [simplify]: iteration 3 : 114 enodes (cost 19 ) 34.214 * * [simplify]: iteration 4 : 229 enodes (cost 19 ) 34.276 * * [simplify]: iteration 5 : 604 enodes (cost 19 ) 34.654 * * [simplify]: iteration 6 : 2439 enodes (cost 19 ) 35.754 * * [simplify]: iteration done : 5000 enodes (cost 19 ) 35.754 * * [simplify]: iteration 0 : 11 enodes (cost 17 ) 35.756 * * [simplify]: iteration 1 : 19 enodes (cost 15 ) 35.759 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 35.762 * * [simplify]: iteration 3 : 27 enodes (cost 15 ) 35.766 * * [simplify]: iteration 4 : 28 enodes (cost 15 ) 35.770 * * [simplify]: iteration done : 28 enodes (cost 15 ) 35.771 * * [simplify]: iteration 0 : 9 enodes (cost 19 ) 35.772 * * [simplify]: iteration 1 : 18 enodes (cost 19 ) 35.774 * * [simplify]: iteration 2 : 26 enodes (cost 9 ) 35.783 * * [simplify]: iteration 3 : 58 enodes (cost 9 ) 35.793 * * [simplify]: iteration 4 : 141 enodes (cost 9 ) 35.826 * * [simplify]: iteration 5 : 256 enodes (cost 9 ) 35.901 * * [simplify]: iteration 6 : 405 enodes (cost 9 ) 36.041 * * [simplify]: iteration 7 : 686 enodes (cost 9 ) 36.972 * * [simplify]: iteration 8 : 2298 enodes (cost 9 ) 40.644 * * [simplify]: iteration done : 5000 enodes (cost 9 ) 40.645 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 40.646 * * [simplify]: iteration 1 : 6 enodes (cost 3 ) 40.646 * * [simplify]: iteration 2 : 7 enodes (cost 3 ) 40.647 * * [simplify]: iteration done : 7 enodes (cost 3 ) 40.647 * * [simplify]: iteration 0 : 9 enodes (cost 18 ) 40.649 * * [simplify]: iteration 1 : 17 enodes (cost 18 ) 40.651 * * [simplify]: iteration 2 : 31 enodes (cost 18 ) 40.656 * * [simplify]: iteration 3 : 41 enodes (cost 18 ) 40.662 * * [simplify]: iteration done : 41 enodes (cost 18 ) 40.663 * * [simplify]: iteration 0 : 10 enodes (cost 17 ) 40.664 * * [simplify]: iteration 1 : 17 enodes (cost 12 ) 40.666 * * [simplify]: iteration 2 : 24 enodes (cost 12 ) 40.669 * * [simplify]: iteration 3 : 26 enodes (cost 12 ) 40.671 * * [simplify]: iteration done : 26 enodes (cost 12 ) 40.672 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 40.673 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 40.675 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 40.677 * * [simplify]: iteration done : 21 enodes (cost 12 ) 40.678 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 40.679 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 40.681 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 40.683 * * [simplify]: iteration done : 24 enodes (cost 6 ) 40.684 * * [simplify]: iteration 0 : 11 enodes (cost 13 ) 40.685 * * [simplify]: iteration 1 : 18 enodes (cost 13 ) 40.687 * * [simplify]: iteration 2 : 25 enodes (cost 13 ) 40.690 * * [simplify]: iteration done : 25 enodes (cost 13 ) 40.691 * * [simplify]: iteration 0 : 9 enodes (cost 9 ) 40.694 * * [simplify]: iteration 1 : 17 enodes (cost 8 ) 40.696 * * [simplify]: iteration 2 : 24 enodes (cost 8 ) 40.699 * * [simplify]: iteration done : 24 enodes (cost 6 ) 40.700 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 40.701 * * [simplify]: iteration 1 : 14 enodes (cost 12 ) 40.702 * * [simplify]: iteration 2 : 21 enodes (cost 12 ) 40.705 * * [simplify]: iteration done : 21 enodes (cost 12 ) 40.705 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 40.706 * * [simplify]: iteration 1 : 16 enodes (cost 6 ) 40.709 * * [simplify]: iteration 2 : 29 enodes (cost 6 ) 40.713 * * [simplify]: iteration 3 : 35 enodes (cost 6 ) 40.715 * * [simplify]: iteration done : 35 enodes (cost 6 ) 40.715 * * [simplify]: iteration 0 : 5 enodes (cost 9 ) 40.716 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 40.717 * * [simplify]: iteration 2 : 9 enodes (cost 3 ) 40.717 * * [simplify]: iteration done : 9 enodes (cost 3 ) 40.718 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 40.720 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 40.724 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 40.733 * * [simplify]: iteration 3 : 95 enodes (cost 15 ) 40.748 * * [simplify]: iteration 4 : 184 enodes (cost 15 ) 40.798 * * [simplify]: iteration 5 : 516 enodes (cost 15 ) 41.159 * * [simplify]: iteration 6 : 2321 enodes (cost 15 ) 42.242 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 42.243 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 42.244 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 42.247 * * [simplify]: iteration 2 : 39 enodes (cost 15 ) 42.253 * * [simplify]: iteration 3 : 64 enodes (cost 15 ) 42.263 * * [simplify]: iteration 4 : 92 enodes (cost 15 ) 42.281 * * [simplify]: iteration 5 : 153 enodes (cost 15 ) 42.327 * * [simplify]: iteration 6 : 304 enodes (cost 15 ) 42.820 * * [simplify]: iteration 7 : 1445 enodes (cost 15 ) 47.302 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 47.303 * * [simplify]: iteration 0 : 12 enodes (cost 15 ) 47.304 * * [simplify]: iteration 1 : 33 enodes (cost 15 ) 47.313 * * [simplify]: iteration 2 : 61 enodes (cost 15 ) 47.321 * * [simplify]: iteration 3 : 95 enodes (cost 15 ) 47.337 * * [simplify]: iteration 4 : 185 enodes (cost 15 ) 47.388 * * [simplify]: iteration 5 : 516 enodes (cost 15 ) 47.738 * * [simplify]: iteration 6 : 2305 enodes (cost 15 ) 48.861 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 48.862 * * [simplify]: iteration 0 : 11 enodes (cost 15 ) 48.863 * * [simplify]: iteration 1 : 21 enodes (cost 15 ) 48.866 * * [simplify]: iteration 2 : 39 enodes (cost 15 ) 48.872 * * [simplify]: iteration 3 : 64 enodes (cost 15 ) 48.883 * * [simplify]: iteration 4 : 92 enodes (cost 15 ) 48.904 * * [simplify]: iteration 5 : 144 enodes (cost 15 ) 48.951 * * [simplify]: iteration 6 : 291 enodes (cost 15 ) 49.443 * * [simplify]: iteration 7 : 1431 enodes (cost 15 ) 54.103 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 54.104 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 54.104 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 54.105 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 54.106 * * [simplify]: iteration done : 10 enodes (cost 6 ) 54.107 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 54.108 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 54.109 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 54.110 * * [simplify]: iteration done : 12 enodes (cost 8 ) 54.110 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 54.111 * * [simplify]: iteration 1 : 13 enodes (cost 7 ) 54.112 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 54.114 * * [simplify]: iteration done : 15 enodes (cost 7 ) 54.114 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 54.115 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 54.116 * * [simplify]: iteration 2 : 19 enodes (cost 7 ) 54.118 * * [simplify]: iteration 3 : 27 enodes (cost 7 ) 54.122 * * [simplify]: iteration 4 : 50 enodes (cost 7 ) 54.129 * * [simplify]: iteration 5 : 106 enodes (cost 7 ) 54.166 * * [simplify]: iteration 6 : 253 enodes (cost 7 ) 54.317 * * [simplify]: iteration 7 : 719 enodes (cost 7 ) 55.410 * * [simplify]: iteration 8 : 2745 enodes (cost 7 ) 57.436 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 57.437 * * [simplify]: iteration 0 : 10 enodes (cost 20 ) 57.438 * * [simplify]: iteration 1 : 19 enodes (cost 14 ) 57.442 * * [simplify]: iteration 2 : 58 enodes (cost 10 ) 57.461 * * [simplify]: iteration 3 : 172 enodes (cost 10 ) 57.516 * * [simplify]: iteration 4 : 347 enodes (cost 8 ) 57.657 * * [simplify]: iteration 5 : 661 enodes (cost 8 ) 58.101 * * [simplify]: iteration 6 : 1484 enodes (cost 8 ) 60.210 * * [simplify]: iteration 7 : 4488 enodes (cost 8 ) 62.143 * * [simplify]: iteration done : 5001 enodes (cost 8 ) 62.144 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 62.145 * * [simplify]: iteration 1 : 11 enodes (cost 15 ) 62.146 * * [simplify]: iteration 2 : 12 enodes (cost 15 ) 62.147 * * [simplify]: iteration done : 12 enodes (cost 15 ) 62.147 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 62.148 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 62.149 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 62.150 * * [simplify]: iteration done : 11 enodes (cost 7 ) 62.151 * * [simplify]: iteration 0 : 8 enodes (cost 20 ) 62.152 * * [simplify]: iteration 1 : 21 enodes (cost 20 ) 62.156 * * [simplify]: iteration 2 : 51 enodes (cost 8 ) 62.170 * * [simplify]: iteration 3 : 119 enodes (cost 8 ) 62.208 * * [simplify]: iteration 4 : 241 enodes (cost 8 ) 62.290 * * [simplify]: iteration 5 : 383 enodes (cost 8 ) 62.464 * * [simplify]: iteration 6 : 704 enodes (cost 8 ) 62.945 * * [simplify]: iteration 7 : 1510 enodes (cost 8 ) 65.085 * * [simplify]: iteration 8 : 4519 enodes (cost 8 ) 66.960 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 66.961 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.962 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.963 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 66.964 * * [simplify]: iteration done : 11 enodes (cost 7 ) 66.965 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.965 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.966 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 66.967 * * [simplify]: iteration done : 11 enodes (cost 7 ) 66.968 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.969 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 66.970 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 66.971 * * [simplify]: iteration done : 12 enodes (cost 8 ) 66.972 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.972 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 66.973 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 66.975 * * [simplify]: iteration done : 12 enodes (cost 8 ) 66.975 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.976 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 66.977 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 66.978 * * [simplify]: iteration done : 12 enodes (cost 8 ) 66.979 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.979 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 66.980 * * [simplify]: iteration 2 : 12 enodes (cost 8 ) 66.981 * * [simplify]: iteration done : 12 enodes (cost 8 ) 66.982 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 66.983 * * [simplify]: iteration 1 : 13 enodes (cost 13 ) 66.984 * * [simplify]: iteration 2 : 16 enodes (cost 13 ) 66.986 * * [simplify]: iteration done : 16 enodes (cost 13 ) 66.987 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 66.988 * * [simplify]: iteration 1 : 12 enodes (cost 7 ) 66.989 * * [simplify]: iteration 2 : 13 enodes (cost 7 ) 66.990 * * [simplify]: iteration done : 13 enodes (cost 7 ) 66.991 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 66.991 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 66.992 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 66.993 * * [simplify]: iteration done : 11 enodes (cost 7 ) 66.994 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 66.994 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 66.995 * * [simplify]: iteration done : 7 enodes (cost 3 ) 66.995 * * [simplify]: iteration 0 : 8 enodes (cost 8 ) 66.996 * * [simplify]: iteration 1 : 10 enodes (cost 8 ) 66.997 * * [simplify]: iteration done : 10 enodes (cost 8 ) 66.998 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 66.998 * * [simplify]: iteration 1 : 7 enodes (cost 3 ) 67.002 * * [simplify]: iteration done : 7 enodes (cost 3 ) 67.003 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 67.003 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 67.004 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 67.005 * * [simplify]: iteration done : 11 enodes (cost 7 ) 67.006 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 67.007 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 67.007 * * [simplify]: iteration done : 6 enodes (cost 1 ) 67.008 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 67.008 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 67.009 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 67.011 * * [simplify]: iteration done : 11 enodes (cost 7 ) 67.011 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 67.012 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 67.013 * * [simplify]: iteration 2 : 11 enodes (cost 7 ) 67.014 * * [simplify]: iteration done : 11 enodes (cost 7 ) 67.015 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 67.015 * * [simplify]: iteration 1 : 9 enodes (cost 6 ) 67.017 * * [simplify]: iteration 2 : 10 enodes (cost 6 ) 67.017 * * [simplify]: iteration done : 10 enodes (cost 6 ) 67.018 * * [simplify]: iteration 0 : 9 enodes (cost 10 ) 67.019 * * [simplify]: iteration 1 : 25 enodes (cost 10 ) 67.023 * * [simplify]: iteration 2 : 47 enodes (cost 10 ) 67.030 * * [simplify]: iteration 3 : 81 enodes (cost 10 ) 67.043 * * [simplify]: iteration 4 : 165 enodes (cost 10 ) 67.093 * * [simplify]: iteration 5 : 498 enodes (cost 10 ) 67.432 * * [simplify]: iteration 6 : 2240 enodes (cost 10 ) 68.583 * * [simplify]: iteration done : 5001 enodes (cost 10 ) 68.584 * * [simplify]: iteration 0 : 8 enodes (cost 10 ) 68.585 * * [simplify]: iteration 1 : 14 enodes (cost 10 ) 68.587 * * [simplify]: iteration 2 : 21 enodes (cost 10 ) 68.589 * * [simplify]: iteration 3 : 36 enodes (cost 10 ) 68.595 * * [simplify]: iteration 4 : 61 enodes (cost 10 ) 68.607 * * [simplify]: iteration 5 : 102 enodes (cost 10 ) 68.633 * * [simplify]: iteration 6 : 164 enodes (cost 10 ) 68.686 * * [simplify]: iteration 7 : 332 enodes (cost 10 ) 69.396 * * [simplify]: iteration 8 : 1616 enodes (cost 10 ) 75.463 * * [simplify]: iteration done : 5000 enodes (cost 10 ) 75.464 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 75.464 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 75.465 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 75.466 * * [simplify]: iteration done : 8 enodes (cost 5 ) 75.466 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 75.467 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 75.473 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 75.474 * * [simplify]: iteration done : 8 enodes (cost 5 ) 75.475 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 75.476 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 75.476 * * [simplify]: iteration 2 : 9 enodes (cost 11 ) 75.477 * * [simplify]: iteration done : 9 enodes (cost 11 ) 75.478 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 75.478 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 75.479 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 75.480 * * [simplify]: iteration done : 8 enodes (cost 5 ) 75.480 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 75.481 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 75.482 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 75.485 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 75.488 * * [simplify]: iteration 4 : 39 enodes (cost 6 ) 75.493 * * [simplify]: iteration 5 : 49 enodes (cost 6 ) 75.499 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 75.511 * * [simplify]: iteration 7 : 128 enodes (cost 6 ) 75.562 * * [simplify]: iteration 8 : 341 enodes (cost 6 ) 76.022 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 78.443 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 78.444 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 78.444 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 78.445 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 78.446 * * [simplify]: iteration done : 10 enodes (cost 5 ) 78.447 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.447 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 78.448 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 78.449 * * [simplify]: iteration done : 8 enodes (cost 5 ) 78.449 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.450 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 78.450 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 78.451 * * [simplify]: iteration done : 8 enodes (cost 5 ) 78.452 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 78.452 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 78.453 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 78.454 * * [simplify]: iteration done : 8 enodes (cost 5 ) 78.454 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 78.454 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 78.454 * * [simplify]: iteration done : 4 enodes (cost 1 ) 78.455 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.455 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 78.456 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 78.457 * * [simplify]: iteration done : 7 enodes (cost 4 ) 78.457 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 78.458 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 78.458 * * [simplify]: iteration done : 7 enodes (cost 6 ) 78.459 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 78.460 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 78.460 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 78.461 * * [simplify]: iteration done : 9 enodes (cost 6 ) 78.462 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 78.462 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 78.462 * * [simplify]: iteration done : 4 enodes (cost 1 ) 78.463 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 78.464 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 78.464 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 78.465 * * [simplify]: iteration done : 7 enodes (cost 4 ) 78.465 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 78.467 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 78.470 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 78.476 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 78.493 * * [simplify]: iteration 4 : 165 enodes (cost 8 ) 78.542 * * [simplify]: iteration 5 : 497 enodes (cost 8 ) 78.885 * * [simplify]: iteration 6 : 2266 enodes (cost 8 ) 80.017 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 80.017 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 80.018 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 80.020 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 80.024 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 80.027 * * [simplify]: iteration 4 : 27 enodes (cost 10 ) 80.031 * * [simplify]: iteration done : 27 enodes (cost 10 ) 80.032 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 80.033 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 80.034 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 80.037 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 80.042 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 80.053 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 80.078 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 80.132 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 80.837 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 87.027 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 87.028 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 87.029 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 87.029 * * [simplify]: iteration done : 5 enodes (cost 4 ) 87.030 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 87.030 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 87.030 * * [simplify]: iteration done : 6 enodes (cost 1 ) 87.031 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.031 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 87.032 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 87.033 * * [simplify]: iteration done : 8 enodes (cost 5 ) 87.033 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.034 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 87.034 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 87.035 * * [simplify]: iteration done : 8 enodes (cost 5 ) 87.036 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.036 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 87.037 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 87.037 * * [simplify]: iteration done : 8 enodes (cost 5 ) 87.038 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.038 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 87.039 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 87.040 * * [simplify]: iteration done : 8 enodes (cost 5 ) 87.040 * * [simplify]: iteration 0 : 6 enodes (cost 11 ) 87.041 * * [simplify]: iteration 1 : 8 enodes (cost 11 ) 87.042 * * [simplify]: iteration 2 : 9 enodes (cost 11 ) 87.043 * * [simplify]: iteration done : 9 enodes (cost 11 ) 87.043 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 87.044 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 87.045 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 87.045 * * [simplify]: iteration done : 8 enodes (cost 5 ) 87.046 * * [simplify]: iteration 0 : 6 enodes (cost 14 ) 87.047 * * [simplify]: iteration 1 : 9 enodes (cost 8 ) 87.048 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 87.051 * * [simplify]: iteration 3 : 29 enodes (cost 6 ) 87.054 * * [simplify]: iteration 4 : 39 enodes (cost 6 ) 87.059 * * [simplify]: iteration 5 : 49 enodes (cost 6 ) 87.065 * * [simplify]: iteration 6 : 70 enodes (cost 6 ) 87.080 * * [simplify]: iteration 7 : 128 enodes (cost 6 ) 87.130 * * [simplify]: iteration 8 : 341 enodes (cost 6 ) 87.580 * * [simplify]: iteration 9 : 1259 enodes (cost 6 ) 89.974 * * [simplify]: iteration done : 5000 enodes (cost 6 ) 89.975 * * [simplify]: iteration 0 : 6 enodes (cost 10 ) 89.975 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 89.976 * * [simplify]: iteration 2 : 10 enodes (cost 5 ) 89.977 * * [simplify]: iteration done : 10 enodes (cost 5 ) 89.977 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.978 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 89.982 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 89.983 * * [simplify]: iteration done : 8 enodes (cost 5 ) 89.984 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.984 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 89.985 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 89.986 * * [simplify]: iteration done : 8 enodes (cost 5 ) 89.986 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 89.987 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 89.987 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 89.988 * * [simplify]: iteration done : 8 enodes (cost 5 ) 89.989 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 89.989 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 89.989 * * [simplify]: iteration done : 4 enodes (cost 1 ) 89.990 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 89.990 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 89.991 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 89.992 * * [simplify]: iteration done : 7 enodes (cost 4 ) 89.992 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.993 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 89.993 * * [simplify]: iteration done : 7 enodes (cost 6 ) 89.994 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 89.994 * * [simplify]: iteration 1 : 8 enodes (cost 6 ) 89.995 * * [simplify]: iteration 2 : 9 enodes (cost 6 ) 89.996 * * [simplify]: iteration done : 9 enodes (cost 6 ) 89.997 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 89.997 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 89.998 * * [simplify]: iteration done : 4 enodes (cost 1 ) 89.998 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 89.999 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 89.999 * * [simplify]: iteration 2 : 7 enodes (cost 4 ) 90.000 * * [simplify]: iteration done : 7 enodes (cost 4 ) 90.001 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 90.002 * * [simplify]: iteration 1 : 22 enodes (cost 8 ) 90.005 * * [simplify]: iteration 2 : 44 enodes (cost 8 ) 90.012 * * [simplify]: iteration 3 : 78 enodes (cost 8 ) 90.025 * * [simplify]: iteration 4 : 165 enodes (cost 8 ) 90.074 * * [simplify]: iteration 5 : 497 enodes (cost 8 ) 90.412 * * [simplify]: iteration 6 : 2266 enodes (cost 8 ) 91.544 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 91.544 * * [simplify]: iteration 0 : 8 enodes (cost 12 ) 91.545 * * [simplify]: iteration 1 : 15 enodes (cost 10 ) 91.548 * * [simplify]: iteration 2 : 23 enodes (cost 10 ) 91.551 * * [simplify]: iteration 3 : 26 enodes (cost 10 ) 91.555 * * [simplify]: iteration 4 : 27 enodes (cost 10 ) 91.558 * * [simplify]: iteration done : 27 enodes (cost 10 ) 91.559 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 91.560 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 91.561 * * [simplify]: iteration 2 : 18 enodes (cost 8 ) 91.563 * * [simplify]: iteration 3 : 33 enodes (cost 8 ) 91.572 * * [simplify]: iteration 4 : 58 enodes (cost 8 ) 91.583 * * [simplify]: iteration 5 : 99 enodes (cost 8 ) 91.607 * * [simplify]: iteration 6 : 157 enodes (cost 8 ) 91.660 * * [simplify]: iteration 7 : 325 enodes (cost 8 ) 92.371 * * [simplify]: iteration 8 : 1570 enodes (cost 8 ) 98.762 * * [simplify]: iteration done : 5000 enodes (cost 8 ) 98.763 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 98.763 * * [simplify]: iteration 1 : 5 enodes (cost 4 ) 98.764 * * [simplify]: iteration done : 5 enodes (cost 4 ) 98.764 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 98.765 * * [simplify]: iteration 1 : 6 enodes (cost 1 ) 98.765 * * [simplify]: iteration done : 6 enodes (cost 1 ) 98.766 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 98.766 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 98.767 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 98.768 * * [simplify]: iteration done : 8 enodes (cost 5 ) 98.768 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 98.769 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 98.770 * * [simplify]: iteration 2 : 8 enodes (cost 5 ) 98.770 * * [simplify]: iteration done : 8 enodes (cost 5 ) 98.771 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 98.772 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 98.773 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 98.780 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 98.783 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 98.786 * * [simplify]: iteration done : 24 enodes (cost 5 ) 98.787 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 98.787 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 98.789 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 98.791 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 98.794 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 98.797 * * [simplify]: iteration done : 24 enodes (cost 5 ) 98.798 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 98.798 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 98.800 * * [simplify]: iteration 2 : 19 enodes (cost 5 ) 98.802 * * [simplify]: iteration 3 : 23 enodes (cost 5 ) 98.805 * * [simplify]: iteration 4 : 24 enodes (cost 5 ) 98.808 * * [simplify]: iteration done : 24 enodes (cost 5 ) 98.809 * * [simplify]: iteration 0 : 19 enodes (cost 26 ) 98.812 * * [simplify]: iteration 1 : 49 enodes (cost 26 ) 98.822 * * [simplify]: iteration 2 : 152 enodes (cost 26 ) 98.857 * * [simplify]: iteration 3 : 505 enodes (cost 26 ) 99.269 * * [simplify]: iteration 4 : 2133 enodes (cost 19 ) 101.126 * * [simplify]: iteration done : 5001 enodes (cost 19 ) 101.127 * * [simplify]: iteration 0 : 25 enodes (cost 43 ) 101.135 * * [simplify]: iteration 1 : 72 enodes (cost 43 ) 101.157 * * [simplify]: iteration 2 : 251 enodes (cost 43 ) 101.216 * * [simplify]: iteration 3 : 796 enodes (cost 37 ) 101.718 * * [simplify]: iteration 4 : 3029 enodes (cost 33 ) 103.256 * * [simplify]: iteration done : 5001 enodes (cost 33 ) 103.258 * * [simplify]: iteration 0 : 25 enodes (cost 43 ) 103.262 * * [simplify]: iteration 1 : 72 enodes (cost 43 ) 103.286 * * [simplify]: iteration 2 : 251 enodes (cost 43 ) 103.342 * * [simplify]: iteration 3 : 794 enodes (cost 43 ) 103.849 * * [simplify]: iteration 4 : 2981 enodes (cost 33 ) 105.377 * * [simplify]: iteration done : 5000 enodes (cost 33 ) 105.378 * * [simplify]: iteration 0 : 15 enodes (cost 20 ) 105.380 * * [simplify]: iteration 1 : 38 enodes (cost 20 ) 105.387 * * [simplify]: iteration 2 : 103 enodes (cost 20 ) 105.408 * * [simplify]: iteration 3 : 277 enodes (cost 20 ) 105.521 * * [simplify]: iteration 4 : 819 enodes (cost 15 ) 106.436 * * [simplify]: iteration 5 : 2866 enodes (cost 15 ) 107.814 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 107.815 * * [simplify]: iteration 0 : 21 enodes (cost 33 ) 107.818 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 107.831 * * [simplify]: iteration 2 : 182 enodes (cost 33 ) 107.865 * * [simplify]: iteration 3 : 496 enodes (cost 29 ) 108.066 * * [simplify]: iteration 4 : 1449 enodes (cost 29 ) 109.878 * * [simplify]: iteration 5 : 4899 enodes (cost 27 ) 111.164 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 111.165 * * [simplify]: iteration 0 : 21 enodes (cost 33 ) 111.168 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 111.189 * * [simplify]: iteration 2 : 182 enodes (cost 33 ) 111.222 * * [simplify]: iteration 3 : 496 enodes (cost 33 ) 111.431 * * [simplify]: iteration 4 : 1416 enodes (cost 30 ) 113.065 * * [simplify]: iteration 5 : 4541 enodes (cost 27 ) 114.364 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 114.365 * * [simplify]: iteration 0 : 15 enodes (cost 20 ) 114.367 * * [simplify]: iteration 1 : 38 enodes (cost 20 ) 114.374 * * [simplify]: iteration 2 : 103 enodes (cost 20 ) 114.391 * * [simplify]: iteration 3 : 277 enodes (cost 20 ) 114.507 * * [simplify]: iteration 4 : 819 enodes (cost 15 ) 115.647 * * [simplify]: iteration 5 : 2866 enodes (cost 15 ) 117.040 * * [simplify]: iteration done : 5001 enodes (cost 15 ) 117.041 * * [simplify]: iteration 0 : 21 enodes (cost 33 ) 117.044 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 117.056 * * [simplify]: iteration 2 : 182 enodes (cost 33 ) 117.096 * * [simplify]: iteration 3 : 496 enodes (cost 29 ) 117.300 * * [simplify]: iteration 4 : 1449 enodes (cost 29 ) 119.127 * * [simplify]: iteration 5 : 4899 enodes (cost 27 ) 120.430 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 120.431 * * [simplify]: iteration 0 : 21 enodes (cost 33 ) 120.434 * * [simplify]: iteration 1 : 57 enodes (cost 33 ) 120.447 * * [simplify]: iteration 2 : 182 enodes (cost 33 ) 120.488 * * [simplify]: iteration 3 : 496 enodes (cost 33 ) 120.701 * * [simplify]: iteration 4 : 1416 enodes (cost 30 ) 122.338 * * [simplify]: iteration 5 : 4541 enodes (cost 27 ) 123.639 * * [simplify]: iteration done : 5000 enodes (cost 27 ) 123.640 * [simplify]: Simplified to: (* (- 1.0 y) x) (* (- 1.0 y) x) (+ (log x) (* 2 (log (sqrt (- 1.0 y))))) (+ (* 2 (log (sqrt (- 1.0 y)))) (log x)) (log (* x (- 1.0 y))) (exp (* x (- 1.0 y))) (* (pow (- 1.0 y) 3) (pow x 3)) (pow (* x (- 1.0 y)) 3) (* (cbrt (* x (- 1.0 y))) (cbrt (* x (- 1.0 y)))) (cbrt (* x (- 1.0 y))) (pow (* x (- 1.0 y)) 3) (sqrt (* x (- 1.0 y))) (sqrt (* x (- 1.0 y))) (* (- (pow 1.0 3) (pow y 3)) x) (+ (* y (+ y 1.0)) (* 1.0 1.0)) (* (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (sqrt (- (* 1.0 1.0) (* y y)))) (* (sqrt (+ (* y (+ 1.0 y)) (* 1.0 1.0))) (sqrt (+ 1.0 y))) (* (* x (sqrt (- (* 1.0 1.0) (* y y)))) (sqrt (- (pow 1.0 3) (pow y 3)))) (* (sqrt (+ (* y (+ 1.0 y)) (* 1.0 1.0))) (sqrt (+ 1.0 y))) (* x (- (* 1.0 1.0) (* y y))) (+ 1.0 y) (* (* x (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))) (* (* x (sqrt (- 1.0 y))) (fabs (cbrt (- 1.0 y)))) (* (* x (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y)))) (* x (sqrt (- 1.0 y))) (* (* x (sqrt (- 1.0 y))) (sqrt (+ (sqrt 1.0) (sqrt y)))) (* x (sqrt (- 1.0 y))) (* (* x (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y)))) (* x (sqrt (- 1.0 y))) (- 1.0 y) (* (* x (sqrt (- 1.0 y))) (sqrt (- (pow 1.0 3) (pow y 3)))) (* (* x (sqrt (- 1.0 y))) (sqrt (- (* 1.0 1.0) (* y y)))) (* (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (sqrt (- 1.0 y))) (* (* x (sqrt (- (* 1.0 1.0) (* y y)))) (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y))) (+ (log x) (log (sqrt (- 1.0 y)))) (log (* x (sqrt (- 1.0 y)))) (exp (* x (sqrt (- 1.0 y)))) (pow (* x (sqrt (- 1.0 y))) 3) (* (cbrt (* x (sqrt (- 1.0 y)))) (cbrt (* x (sqrt (- 1.0 y))))) (cbrt (* x (sqrt (- 1.0 y)))) (pow (* x (sqrt (- 1.0 y))) 3) (sqrt (* x (sqrt (- 1.0 y)))) (sqrt (* x (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* (sqrt x) (sqrt (sqrt (- 1.0 y)))) (* x (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y))))) (* (fabs (cbrt (- 1.0 y))) x) (* x (sqrt (sqrt (- 1.0 y)))) (* 1 x) (* x (sqrt (+ (sqrt 1.0) (sqrt y)))) (* 1 x) (* x (sqrt (sqrt (- 1.0 y)))) x (* (cbrt x) (sqrt (- 1.0 y))) (* (sqrt x) (sqrt (- 1.0 y))) (* x (sqrt (- 1.0 y))) (* x (sqrt (- (pow 1.0 3) (pow y 3)))) (* x (sqrt (- (* 1.0 1.0) (* y y)))) (log (sqrt (- 1.0 y))) (exp (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y)))) (cbrt (sqrt (- 1.0 y))) (pow (sqrt (- 1.0 y)) 3) (fabs (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) 1 (sqrt (- 1.0 y)) (sqrt (+ (sqrt 1.0) (sqrt y))) (sqrt (- (sqrt 1.0) (sqrt y))) 1 (sqrt (- 1.0 y)) (sqrt (- (pow 1.0 3) (pow y 3))) (sqrt (+ (* y (+ y 1.0)) (* 1.0 1.0))) (sqrt (- (* 1.0 1.0) (* y y))) (sqrt (+ 1.0 y)) 1/2 (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (log (sqrt (- 1.0 y))) (exp (sqrt (- 1.0 y))) (* (cbrt (sqrt (- 1.0 y))) (cbrt (sqrt (- 1.0 y)))) (cbrt (sqrt (- 1.0 y))) (pow (sqrt (- 1.0 y)) 3) (fabs (cbrt (- 1.0 y))) (sqrt (cbrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) 1 (sqrt (- 1.0 y)) (sqrt (+ (sqrt 1.0) (sqrt y))) (sqrt (- (sqrt 1.0) (sqrt y))) 1 (sqrt (- 1.0 y)) (sqrt (- (pow 1.0 3) (pow y 3))) (sqrt (+ (* y (+ y 1.0)) (* 1.0 1.0))) (sqrt (- (* 1.0 1.0) (* y y))) (sqrt (+ 1.0 y)) 1/2 (sqrt (sqrt (- 1.0 y))) (sqrt (sqrt (- 1.0 y))) (* x (- 1.0 y)) (* x (- 1.0 y)) (* x (- 1.0 y)) (+ (* x (sqrt 1.0)) (* (/ (* x y) (sqrt 1.0)) (- -1/2 (/ 1/8 (/ 1.0 y))))) (- (+ (* (/ x y) (+ (/ (* 2 (pow NAN 5)) y) (* 1.0 NAN))) (* x NAN)) (* (+ (/ 2.0 y) 1) (/ (* x (pow NAN 3)) y))) (+ (* (/ (pow NAN 3) y) (- x (* (/ x y) 2.0))) (+ (* x NAN) (* (/ x y) (- (* 2 (/ (pow NAN 5) y)) (* 1.0 NAN))))) (- (sqrt 1.0) (* (/ y (sqrt 1.0)) (+ 1/2 (/ (* 1/8 y) 1.0)))) (+ NAN (+ (* (/ NAN y) (- 1.0 (* (+ (/ 2.0 y) 1) (* NAN NAN)))) (* 2 (/ (pow NAN 5) (pow y 2))))) (+ NAN (+ (* (/ NAN y) (- (* NAN (- NAN (/ (* 2.0 NAN) y))) 1.0)) (* 2 (/ (pow NAN 5) (pow y 2))))) (- (sqrt 1.0) (* (/ y (sqrt 1.0)) (+ 1/2 (/ (* 1/8 y) 1.0)))) (+ NAN (+ (* (/ NAN y) (- 1.0 (* (+ (/ 2.0 y) 1) (* NAN NAN)))) (* 2 (/ (pow NAN 5) (pow y 2))))) (+ NAN (+ (* (/ NAN y) (- (* NAN (- NAN (/ (* 2.0 NAN) y))) 1.0)) (* 2 (/ (pow NAN 5) (pow y 2))))) 123.641 * * * [progress]: adding candidates to table 123.815 * [progress]: [Phase 3 of 3] Extracting. 123.815 * * [regime]: Finding splitpoints for: (# #) 123.815 * * * [regime-changes]: Trying 4 branch expressions: ((- 1.0 y) (* x (- 1.0 y)) y x) 123.815 * * * * [regimes]: Trying to branch on (- 1.0 y) from (# #) 123.849 * * * * [regimes]: Trying to branch on (* x (- 1.0 y)) from (# #) 123.888 * * * * [regimes]: Trying to branch on y from (# #) 123.921 * * * * [regimes]: Trying to branch on x from (# #) 123.958 * * * [regime]: Found split indices: #