- unsigned result = 0;
- ex e, d;
-
- // Fraction cancellation
- e = numeric(1)/2 * z * (2*x + 2*y);
- d = z * (x + y);
- result += check_normal(e, d);
-
- e = numeric(1)/6 * z * (3*x + 3*y) * (2*x + 2*w);
- d = z * (x + y) * (x + w);
- result += check_normal(e, d);
-
- e = (3*x + 3*y) * (w/3 + z/3);
- d = (x + y) * (w + z);
- result += check_normal(e, d);
-
- e = (pow(x, 2) - pow(y, 2)) / pow(x-y, 3);
- d = (x + y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
- result += check_normal(e, d);
-
- e = (pow(x, -1) + x) / (pow(x , 2) * 2 + 2);
- d = pow(x * 2, -1);
- result += check_normal(e, d);
-
- // Fraction cancellation with rational coefficients
- e = (pow(x, 2) - pow(y, 2)) / pow(x/2 - y/2, 3);
- d = (8 * x + 8 * y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
- result += check_normal(e, d);
-
- // Fraction cancellation with rational coefficients
- e = z/5 * (x/7 + y/10) / (x/14 + y/20);
- d = 2*z/5;
- result += check_normal(e, d);
-
- return result;
+ unsigned result = 0;
+ ex e, d;
+
+ // Fraction cancellation
+ e = numeric(1)/2 * z * (2*x + 2*y);
+ d = z * (x + y);
+ result += check_normal(e, d);
+
+ e = numeric(1)/6 * z * (3*x + 3*y) * (2*x + 2*w);
+ d = z * (x + y) * (x + w);
+ result += check_normal(e, d);
+
+ e = (3*x + 3*y) * (w/3 + z/3);
+ d = (x + y) * (w + z);
+ result += check_normal(e, d);
+
+ e = (pow(x, 2) - pow(y, 2)) / pow(x-y, 3);
+ d = (x + y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
+ result += check_normal(e, d);
+
+ e = (pow(x, -1) + x) / (pow(x , 2) * 2 + 2);
+ d = pow(x * 2, -1);
+ result += check_normal(e, d);
+
+ // Fraction cancellation with rational coefficients
+ e = (pow(x, 2) - pow(y, 2)) / pow(x/2 - y/2, 3);
+ d = (8 * x + 8 * y) / (pow(x, 2) + pow(y, 2) - x * y * 2);
+ result += check_normal(e, d);
+
+ // Fraction cancellation with rational coefficients
+ e = z/5 * (x/7 + y/10) / (x/14 + y/20);
+ d = 2*z/5;
+ result += check_normal(e, d);
+
+ return result;