78.519 * [progress]: [Phase 1 of 3] Setting up. 0.001 * * * [progress]: [1/2] Preparing points 0.015 * * * [progress]: [2/2] Setting up program. 0.017 * [progress]: [Phase 2 of 3] Improving. 0.018 * [simplify]: Simplifying using # : (/ (- x y) x) 0.018 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 0.019 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 0.020 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 0.021 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 0.022 * * [simplify]: iteration done : 17 enodes (cost 5 ) 0.022 * [simplify]: Simplified to: (/ (- x y) x) 0.023 * * [progress]: iteration 1 / 4 0.023 * * * [progress]: picking best candidate 0.025 * * * * [pick]: Picked # 0.025 * * * [progress]: localizing error 0.028 * * * [progress]: generating rewritten candidates 0.028 * * * * [progress]: [ 1 / 1 ] rewriting at (2) 0.036 * * * [progress]: generating series expansions 0.036 * * * * [progress]: [ 1 / 1 ] generating series at (2) 0.036 * [approximate]: Taking taylor expansion of (/ (- x y) x) in (x y) around 0 0.036 * [taylor]: Taking taylor expansion of (/ (- x y) x) in y 0.036 * [taylor]: Taking taylor expansion of (- x y) in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of y in y 0.036 * [taylor]: Taking taylor expansion of x in y 0.036 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 0.036 * [taylor]: Taking taylor expansion of (- x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (/ (- x y) x) in x 0.036 * [taylor]: Taking taylor expansion of (- x y) in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of y in x 0.036 * [taylor]: Taking taylor expansion of x in x 0.036 * [taylor]: Taking taylor expansion of (* -1 y) in y 0.036 * [taylor]: Taking taylor expansion of -1 in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of 1 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [taylor]: Taking taylor expansion of 0 in y 0.037 * [approximate]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in (x y) around 0 0.037 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in y 0.037 * [taylor]: Taking taylor expansion of x in y 0.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in y 0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.037 * [taylor]: Taking taylor expansion of x in y 0.037 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.037 * [taylor]: Taking taylor expansion of y in y 0.037 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.037 * [taylor]: Taking taylor expansion of x in x 0.037 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.037 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of (* x (- (/ 1 x) (/ 1 y))) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (- (/ 1 x) (/ 1 y)) in x 0.038 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.038 * [taylor]: Taking taylor expansion of x in x 0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.038 * [taylor]: Taking taylor expansion of y in x 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.038 * [taylor]: Taking taylor expansion of 1 in y 0.038 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.038 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.038 * [taylor]: Taking taylor expansion of y in y 0.038 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [taylor]: Taking taylor expansion of 0 in y 0.039 * [approximate]: Taking taylor expansion of (* -1 (* x (- (/ 1 y) (/ 1 x)))) in (x y) around 0 0.039 * [taylor]: Taking taylor expansion of (* -1 (* x (- (/ 1 y) (/ 1 x)))) in y 0.039 * [taylor]: Taking taylor expansion of -1 in y 0.039 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.039 * [taylor]: Taking taylor expansion of y in y 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in y 0.039 * [taylor]: Taking taylor expansion of x in y 0.039 * [taylor]: Taking taylor expansion of (* -1 (* x (- (/ 1 y) (/ 1 x)))) in x 0.039 * [taylor]: Taking taylor expansion of -1 in x 0.039 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.039 * [taylor]: Taking taylor expansion of y in x 0.039 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.039 * [taylor]: Taking taylor expansion of (* -1 (* x (- (/ 1 y) (/ 1 x)))) in x 0.039 * [taylor]: Taking taylor expansion of -1 in x 0.039 * [taylor]: Taking taylor expansion of (* x (- (/ 1 y) (/ 1 x))) in x 0.039 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of (- (/ 1 y) (/ 1 x)) in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in x 0.040 * [taylor]: Taking taylor expansion of y in x 0.040 * [taylor]: Taking taylor expansion of (/ 1 x) in x 0.040 * [taylor]: Taking taylor expansion of x in x 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.040 * [taylor]: Taking taylor expansion of 1 in y 0.040 * [taylor]: Taking taylor expansion of (neg (/ 1 y)) in y 0.040 * [taylor]: Taking taylor expansion of (/ 1 y) in y 0.040 * [taylor]: Taking taylor expansion of y in y 0.040 * [taylor]: Taking taylor expansion of 0 in y 0.041 * [taylor]: Taking taylor expansion of 0 in y 0.041 * * * [progress]: simplifying candidates 0.042 * [simplify]: Simplifying using # : (- (log (- x y)) (log x)) (log (/ (- x y) x)) (exp (/ (- x y) x)) (/ (* (* (- x y) (- x y)) (- x y)) (* (* x x) x)) (* (cbrt (/ (- x y) x)) (cbrt (/ (- x y) x))) (cbrt (/ (- x y) x)) (* (* (/ (- x y) x) (/ (- x y) x)) (/ (- x y) x)) (sqrt (/ (- x y) x)) (sqrt (/ (- x y) x)) (neg (- x y)) (neg x) (/ x x) (/ y x) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt x) (cbrt x))) (/ (cbrt (- x y)) (cbrt x)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt x)) (/ (cbrt (- x y)) (sqrt x)) (/ (* (cbrt (- x y)) (cbrt (- x y))) 1) (/ (cbrt (- x y)) x) (/ (sqrt (- x y)) (* (cbrt x) (cbrt x))) (/ (sqrt (- x y)) (cbrt x)) (/ (sqrt (- x y)) (sqrt x)) (/ (sqrt (- x y)) (sqrt x)) (/ (sqrt (- x y)) 1) (/ (sqrt (- x y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- x y) (cbrt x)) (/ 1 (sqrt x)) (/ (- x y) (sqrt x)) (/ 1 1) (/ (- x y) x) (/ (+ (sqrt x) (sqrt y)) (* (cbrt x) (cbrt x))) (/ (- (sqrt x) (sqrt y)) (cbrt x)) (/ (+ (sqrt x) (sqrt y)) (sqrt x)) (/ (- (sqrt x) (sqrt y)) (sqrt x)) (/ (+ (sqrt x) (sqrt y)) 1) (/ (- (sqrt x) (sqrt y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- x y) (cbrt x)) (/ 1 (sqrt x)) (/ (- x y) (sqrt x)) (/ 1 1) (/ (- x y) x) (/ 1 x) (/ x (- x y)) (/ (- x y) (* (cbrt x) (cbrt x))) (/ (- x y) (sqrt x)) (/ (- x y) 1) (/ x (cbrt (- x y))) (/ x (sqrt (- x y))) (/ x (- x y)) (/ x (- (sqrt x) (sqrt y))) (/ x (- x y)) (* x (+ (* x x) (+ (* y y) (* x y)))) (* x (+ x y)) (- 1 (/ y x)) (- 1 (/ y x)) (- 1 (/ y x)) 0.042 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 0.043 * * [simplify]: iteration 1 : 10 enodes (cost 7 ) 0.044 * * [simplify]: iteration 2 : 12 enodes (cost 7 ) 0.045 * * [simplify]: iteration done : 12 enodes (cost 7 ) 0.046 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.046 * * [simplify]: iteration 1 : 13 enodes (cost 6 ) 0.048 * * [simplify]: iteration 2 : 19 enodes (cost 6 ) 0.049 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 0.051 * * [simplify]: iteration done : 24 enodes (cost 6 ) 0.052 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 0.053 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 0.055 * * [simplify]: iteration 2 : 17 enodes (cost 6 ) 0.056 * * [simplify]: iteration 3 : 24 enodes (cost 6 ) 0.058 * * [simplify]: iteration 4 : 26 enodes (cost 6 ) 0.061 * * [simplify]: iteration 5 : 30 enodes (cost 6 ) 0.071 * * [simplify]: iteration 6 : 34 enodes (cost 6 ) 0.076 * * [simplify]: iteration 7 : 50 enodes (cost 6 ) 0.081 * * [simplify]: iteration 8 : 55 enodes (cost 6 ) 0.087 * * [simplify]: iteration 9 : 60 enodes (cost 6 ) 0.093 * * [simplify]: iteration 10 : 64 enodes (cost 6 ) 0.100 * * [simplify]: iteration 11 : 76 enodes (cost 6 ) 0.109 * * [simplify]: iteration 12 : 84 enodes (cost 6 ) 0.117 * * [simplify]: iteration 13 : 88 enodes (cost 6 ) 0.131 * * [simplify]: iteration 14 : 93 enodes (cost 6 ) 0.140 * * [simplify]: iteration 15 : 96 enodes (cost 6 ) 0.148 * * [simplify]: iteration 16 : 107 enodes (cost 6 ) 0.160 * * [simplify]: iteration 17 : 132 enodes (cost 6 ) 0.177 * * [simplify]: iteration 18 : 143 enodes (cost 6 ) 0.198 * * [simplify]: iteration 19 : 148 enodes (cost 6 ) 0.212 * * [simplify]: iteration 20 : 154 enodes (cost 6 ) 0.228 * * [simplify]: iteration 21 : 159 enodes (cost 6 ) 0.243 * * [simplify]: iteration 22 : 161 enodes (cost 6 ) 0.264 * * [simplify]: iteration 23 : 163 enodes (cost 6 ) 0.279 * * [simplify]: iteration done : 163 enodes (cost 6 ) 0.280 * * [simplify]: iteration 0 : 8 enodes (cost 17 ) 0.281 * * [simplify]: iteration 1 : 19 enodes (cost 17 ) 0.284 * * [simplify]: iteration 2 : 67 enodes (cost 9 ) 0.299 * * [simplify]: iteration 3 : 202 enodes (cost 7 ) 0.362 * * [simplify]: iteration 4 : 559 enodes (cost 7 ) 0.798 * * [simplify]: iteration 5 : 2062 enodes (cost 7 ) 2.862 * * [simplify]: iteration done : 5001 enodes (cost 7 ) 2.862 * * [simplify]: iteration 0 : 6 enodes (cost 13 ) 2.863 * * [simplify]: iteration 1 : 11 enodes (cost 13 ) 2.870 * * [simplify]: iteration 2 : 15 enodes (cost 13 ) 2.871 * * [simplify]: iteration 3 : 19 enodes (cost 13 ) 2.873 * * [simplify]: iteration done : 19 enodes (cost 13 ) 2.873 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 2.874 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 2.875 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 2.876 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 2.878 * * [simplify]: iteration done : 18 enodes (cost 6 ) 2.878 * * [simplify]: iteration 0 : 6 enodes (cost 17 ) 2.880 * * [simplify]: iteration 1 : 18 enodes (cost 17 ) 2.883 * * [simplify]: iteration 2 : 50 enodes (cost 7 ) 2.894 * * [simplify]: iteration 3 : 178 enodes (cost 7 ) 3.016 * * [simplify]: iteration 4 : 604 enodes (cost 7 ) 3.918 * * [simplify]: iteration 5 : 2255 enodes (cost 7 ) 5.844 * * [simplify]: iteration done : 5000 enodes (cost 7 ) 5.844 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.845 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.846 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 5.848 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 5.850 * * [simplify]: iteration done : 18 enodes (cost 6 ) 5.850 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.851 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.852 * * [simplify]: iteration 2 : 14 enodes (cost 6 ) 5.853 * * [simplify]: iteration 3 : 18 enodes (cost 6 ) 5.855 * * [simplify]: iteration done : 18 enodes (cost 6 ) 5.855 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 5.856 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 5.856 * * [simplify]: iteration 2 : 10 enodes (cost 4 ) 5.858 * * [simplify]: iteration 3 : 12 enodes (cost 4 ) 5.859 * * [simplify]: iteration 4 : 13 enodes (cost 3 ) 5.860 * * [simplify]: iteration done : 13 enodes (cost 3 ) 5.861 * * [simplify]: iteration 0 : 2 enodes (cost 2 ) 5.861 * * [simplify]: iteration done : 2 enodes (cost 2 ) 5.861 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 5.862 * * [simplify]: iteration 1 : 3 enodes (cost 1 ) 5.862 * * [simplify]: iteration 2 : 5 enodes (cost 1 ) 5.862 * * [simplify]: iteration done : 5 enodes (cost 1 ) 5.863 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 5.863 * * [simplify]: iteration done : 3 enodes (cost 3 ) 5.864 * * [simplify]: iteration 0 : 8 enodes (cost 15 ) 5.872 * * [simplify]: iteration 1 : 16 enodes (cost 15 ) 5.873 * * [simplify]: iteration 2 : 26 enodes (cost 15 ) 5.877 * * [simplify]: iteration 3 : 32 enodes (cost 15 ) 5.881 * * [simplify]: iteration done : 32 enodes (cost 15 ) 5.881 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.882 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 5.883 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 5.883 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.884 * * [simplify]: iteration 0 : 7 enodes (cost 12 ) 5.885 * * [simplify]: iteration 1 : 11 enodes (cost 12 ) 5.886 * * [simplify]: iteration 2 : 14 enodes (cost 12 ) 5.887 * * [simplify]: iteration 3 : 15 enodes (cost 12 ) 5.889 * * [simplify]: iteration done : 15 enodes (cost 12 ) 5.890 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.890 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 5.891 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 5.892 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.893 * * [simplify]: iteration 0 : 7 enodes (cost 11 ) 5.894 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 5.895 * * [simplify]: iteration 2 : 20 enodes (cost 9 ) 5.897 * * [simplify]: iteration 3 : 25 enodes (cost 9 ) 5.899 * * [simplify]: iteration done : 25 enodes (cost 9 ) 5.899 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.900 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 5.901 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 5.901 * * [simplify]: iteration done : 8 enodes (cost 6 ) 5.902 * * [simplify]: iteration 0 : 7 enodes (cost 10 ) 5.903 * * [simplify]: iteration 1 : 11 enodes (cost 10 ) 5.904 * * [simplify]: iteration 2 : 12 enodes (cost 10 ) 5.905 * * [simplify]: iteration done : 12 enodes (cost 10 ) 5.906 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.906 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 5.908 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 5.909 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.909 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.910 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 5.911 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 5.912 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.912 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.913 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 5.914 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 5.915 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.915 * * [simplify]: iteration 0 : 6 enodes (cost 6 ) 5.916 * * [simplify]: iteration 1 : 10 enodes (cost 4 ) 5.917 * * [simplify]: iteration 2 : 13 enodes (cost 4 ) 5.918 * * [simplify]: iteration done : 13 enodes (cost 4 ) 5.918 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.919 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 5.919 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 5.920 * * [simplify]: iteration done : 8 enodes (cost 6 ) 5.921 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 5.921 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 5.922 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.923 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.923 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.924 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 5.926 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 5.927 * * [simplify]: iteration done : 15 enodes (cost 6 ) 5.928 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 5.928 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 5.929 * * [simplify]: iteration done : 6 enodes (cost 4 ) 5.929 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.930 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.931 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 5.932 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 5.933 * * [simplify]: iteration done : 15 enodes (cost 6 ) 5.934 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 5.934 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 5.935 * * [simplify]: iteration done : 4 enodes (cost 1 ) 5.935 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 5.936 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 5.937 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 5.944 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 5.945 * * [simplify]: iteration done : 17 enodes (cost 5 ) 5.946 * * [simplify]: iteration 0 : 8 enodes (cost 11 ) 5.947 * * [simplify]: iteration 1 : 11 enodes (cost 11 ) 5.948 * * [simplify]: iteration done : 11 enodes (cost 11 ) 5.949 * * [simplify]: iteration 0 : 7 enodes (cost 8 ) 5.949 * * [simplify]: iteration 1 : 12 enodes (cost 8 ) 5.951 * * [simplify]: iteration 2 : 15 enodes (cost 8 ) 5.952 * * [simplify]: iteration 3 : 17 enodes (cost 8 ) 5.954 * * [simplify]: iteration done : 17 enodes (cost 8 ) 5.955 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 5.955 * * [simplify]: iteration 1 : 7 enodes (cost 8 ) 5.956 * * [simplify]: iteration done : 7 enodes (cost 8 ) 5.957 * * [simplify]: iteration 0 : 6 enodes (cost 8 ) 5.957 * * [simplify]: iteration 1 : 11 enodes (cost 8 ) 5.959 * * [simplify]: iteration 2 : 15 enodes (cost 7 ) 5.960 * * [simplify]: iteration 3 : 19 enodes (cost 7 ) 5.961 * * [simplify]: iteration done : 19 enodes (cost 7 ) 5.962 * * [simplify]: iteration 0 : 7 enodes (cost 7 ) 5.963 * * [simplify]: iteration 1 : 10 enodes (cost 5 ) 5.964 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 5.964 * * [simplify]: iteration done : 12 enodes (cost 5 ) 5.965 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 5.966 * * [simplify]: iteration 1 : 11 enodes (cost 7 ) 5.967 * * [simplify]: iteration 2 : 14 enodes (cost 7 ) 5.969 * * [simplify]: iteration 3 : 16 enodes (cost 7 ) 5.971 * * [simplify]: iteration done : 16 enodes (cost 7 ) 5.971 * * [simplify]: iteration 0 : 5 enodes (cost 7 ) 5.972 * * [simplify]: iteration 1 : 9 enodes (cost 7 ) 5.973 * * [simplify]: iteration done : 9 enodes (cost 7 ) 5.973 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.974 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.975 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 5.976 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 5.978 * * [simplify]: iteration done : 15 enodes (cost 6 ) 5.978 * * [simplify]: iteration 0 : 4 enodes (cost 4 ) 5.979 * * [simplify]: iteration 1 : 6 enodes (cost 4 ) 5.979 * * [simplify]: iteration done : 6 enodes (cost 4 ) 5.980 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 5.980 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 5.981 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 5.983 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 5.984 * * [simplify]: iteration done : 15 enodes (cost 6 ) 5.985 * * [simplify]: iteration 0 : 2 enodes (cost 3 ) 5.985 * * [simplify]: iteration 1 : 4 enodes (cost 1 ) 5.985 * * [simplify]: iteration done : 4 enodes (cost 1 ) 5.986 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 5.986 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 5.987 * * [simplify]: iteration 2 : 13 enodes (cost 5 ) 5.989 * * [simplify]: iteration 3 : 17 enodes (cost 5 ) 5.990 * * [simplify]: iteration done : 17 enodes (cost 5 ) 5.991 * * [simplify]: iteration 0 : 3 enodes (cost 3 ) 5.991 * * [simplify]: iteration 1 : 5 enodes (cost 3 ) 5.991 * * [simplify]: iteration done : 5 enodes (cost 3 ) 5.992 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 5.992 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 5.993 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 5.994 * * [simplify]: iteration done : 7 enodes (cost 5 ) 5.994 * * [simplify]: iteration 0 : 6 enodes (cost 9 ) 5.995 * * [simplify]: iteration 1 : 13 enodes (cost 9 ) 5.996 * * [simplify]: iteration 2 : 21 enodes (cost 9 ) 5.999 * * [simplify]: iteration 3 : 26 enodes (cost 9 ) 6.002 * * [simplify]: iteration 4 : 29 enodes (cost 9 ) 6.005 * * [simplify]: iteration done : 29 enodes (cost 9 ) 6.006 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 6.006 * * [simplify]: iteration 1 : 10 enodes (cost 6 ) 6.007 * * [simplify]: iteration 2 : 13 enodes (cost 6 ) 6.009 * * [simplify]: iteration 3 : 15 enodes (cost 6 ) 6.016 * * [simplify]: iteration done : 15 enodes (cost 6 ) 6.017 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 6.017 * * [simplify]: iteration 1 : 12 enodes (cost 3 ) 6.019 * * [simplify]: iteration 2 : 17 enodes (cost 3 ) 6.020 * * [simplify]: iteration done : 17 enodes (cost 3 ) 6.020 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 6.021 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 6.022 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 6.022 * * [simplify]: iteration done : 8 enodes (cost 6 ) 6.023 * * [simplify]: iteration 0 : 5 enodes (cost 6 ) 6.024 * * [simplify]: iteration 1 : 7 enodes (cost 6 ) 6.024 * * [simplify]: iteration 2 : 8 enodes (cost 6 ) 6.025 * * [simplify]: iteration done : 8 enodes (cost 6 ) 6.026 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 6.026 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 6.027 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 6.029 * * [simplify]: iteration done : 7 enodes (cost 5 ) 6.029 * * [simplify]: iteration 0 : 6 enodes (cost 7 ) 6.030 * * [simplify]: iteration 1 : 8 enodes (cost 7 ) 6.031 * * [simplify]: iteration 2 : 9 enodes (cost 7 ) 6.032 * * [simplify]: iteration done : 9 enodes (cost 7 ) 6.032 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 6.033 * * [simplify]: iteration 1 : 6 enodes (cost 5 ) 6.033 * * [simplify]: iteration 2 : 7 enodes (cost 5 ) 6.034 * * [simplify]: iteration done : 7 enodes (cost 5 ) 6.035 * * [simplify]: iteration 0 : 8 enodes (cost 13 ) 6.036 * * [simplify]: iteration 1 : 22 enodes (cost 11 ) 6.040 * * [simplify]: iteration 2 : 48 enodes (cost 11 ) 6.048 * * [simplify]: iteration 3 : 75 enodes (cost 11 ) 6.062 * * [simplify]: iteration 4 : 83 enodes (cost 11 ) 6.084 * * [simplify]: iteration 5 : 93 enodes (cost 11 ) 6.099 * * [simplify]: iteration 6 : 116 enodes (cost 11 ) 6.121 * * [simplify]: iteration 7 : 176 enodes (cost 11 ) 6.182 * * [simplify]: iteration 8 : 379 enodes (cost 11 ) 6.700 * * [simplify]: iteration 9 : 1310 enodes (cost 11 ) 9.099 * * [simplify]: iteration done : 5000 enodes (cost 11 ) 9.100 * * [simplify]: iteration 0 : 4 enodes (cost 5 ) 9.100 * * [simplify]: iteration 1 : 11 enodes (cost 5 ) 9.102 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 9.103 * * [simplify]: iteration done : 12 enodes (cost 5 ) 9.104 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.112 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 9.113 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 9.114 * * [simplify]: iteration done : 12 enodes (cost 5 ) 9.115 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.115 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 9.116 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 9.117 * * [simplify]: iteration done : 12 enodes (cost 5 ) 9.118 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.118 * * [simplify]: iteration 1 : 9 enodes (cost 5 ) 9.119 * * [simplify]: iteration 2 : 12 enodes (cost 5 ) 9.120 * * [simplify]: iteration done : 12 enodes (cost 5 ) 9.120 * [simplify]: Simplified to: (- (log (- x y)) (log x)) (log (/ (- x y) x)) (exp (/ (- x y) x)) (pow (/ (- x y) x) 3) (* (cbrt (/ (- x y) x)) (cbrt (/ (- x y) x))) (cbrt (/ (- x y) x)) (pow (/ (- x y) x) 3) (sqrt (/ (- x y) x)) (sqrt (/ (- x y) x)) (- y x) (neg x) 1 (/ y x) (/ (* (cbrt (- x y)) (cbrt (- x y))) (* (cbrt x) (cbrt x))) (/ (cbrt (- x y)) (cbrt x)) (/ (* (cbrt (- x y)) (cbrt (- x y))) (sqrt x)) (/ (cbrt (- x y)) (sqrt x)) (* (cbrt (- x y)) (cbrt (- x y))) (/ (cbrt (- x y)) x) (/ (sqrt (- x y)) (* (cbrt x) (cbrt x))) (/ (sqrt (- x y)) (cbrt x)) (/ (sqrt (- x y)) (sqrt x)) (/ (sqrt (- x y)) (sqrt x)) (sqrt (- x y)) (/ (sqrt (- x y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- x y) (cbrt x)) (/ 1 (sqrt x)) (/ (- x y) (sqrt x)) 1 (/ (- x y) x) (/ (+ (sqrt x) (sqrt y)) (* (cbrt x) (cbrt x))) (/ (- (sqrt x) (sqrt y)) (cbrt x)) (/ (+ (sqrt x) (sqrt y)) (sqrt x)) (- 1 (/ (sqrt y) (sqrt x))) (+ (sqrt y) (sqrt x)) (/ (- (sqrt x) (sqrt y)) x) (/ 1 (* (cbrt x) (cbrt x))) (/ (- x y) (cbrt x)) (/ 1 (sqrt x)) (/ (- x y) (sqrt x)) 1 (/ (- x y) x) (/ 1 x) (/ x (- x y)) (/ (- x y) (* (cbrt x) (cbrt x))) (/ (- x y) (sqrt x)) (- x y) (/ x (cbrt (- x y))) (/ x (sqrt (- x y))) (/ x (- x y)) (/ x (- (sqrt x) (sqrt y))) (/ x (- x y)) (* (+ (* y (+ y x)) (* x x)) x) (* x (+ x y)) (- 1 (/ y x)) (- 1 (/ y x)) (- 1 (/ y x)) 9.121 * * * [progress]: adding candidates to table 9.158 * * [progress]: iteration 2 / 4 9.158 * * * [progress]: picking best candidate 9.160 * * * * [pick]: Picked # 9.160 * * * [progress]: localizing error 9.164 * * * [progress]: generating rewritten candidates 9.164 * * * [progress]: generating series expansions 9.164 * * * [progress]: simplifying candidates 9.164 * [simplify]: Simplifying using # : 9.164 * [simplify]: Simplified to: 9.164 * * * [progress]: adding candidates to table 9.164 * [progress]: [Phase 3 of 3] Extracting. 9.167 * [simplify]: Simplifying using # : (- 1 (/ y x)) 9.168 * * [simplify]: iteration 0 : 5 enodes (cost 5 ) 9.168 * * [simplify]: iteration 1 : 7 enodes (cost 5 ) 9.168 * * [simplify]: iteration done : 7 enodes (cost 5 ) 9.168 * [simplify]: Simplified to: (- 1 (/ y x)) 9.832 * [regime-testing]: End program error score: 0.0016135630198285433 9.897 * [regime-testing]: Target error score: 0.0016135630198285433