+// This one was a result of a modification to frac_cancel() & Co. to avoid
+// expanding the numerator and denominator when bringing them from Q[X] to
+// Z[X]. multiply_lcm() forgot to multiply the x-linear term with the LCM of
+// the coefficient's denominators (2 in this case). Introduced on Jan 25th
+// 2000 and fixed on Jan 31th.
+static unsigned paranoia_check9(void)
+{
+ unsigned result = 0;
+ symbol x("x");
+
+ ex e = (exp(-x)-2*x*exp(-x)+pow(x,2)/2*exp(-x))/exp(-x);
+ ex f = e.normal();
+
+ if (!f.is_equal(1-2*x+pow(x,2)/2)) {
+ clog << "normal(" << e << ") returns " << f << " instead of 1-2*x+1/2*x^2\n";
+ ++result;
+ }
+ return result;
+}
+