Improve normalization with nested functions.

[ginac.git] / check / exam_normalization.cpp

diff --git a/check/exam_normalization.cpp b/check/exam_normalization.cpp
index a184ad28ecd2d030e686d34bc36120efe5045b69..d98dec681a79d9071d03ccc3cfd300f36545cdcc 100644 (file)
--- a/check/exam_normalization.cpp
+++ b/check/exam_normalization.cpp
@@ -163,7 +163,12 @@ static unsigned exam_normal4()
        e = (pow(x-y*2,4)/pow(pow(x,2)-pow(y,2)*4,2)+1)*(x+y*2)*(y+z)/(pow(x,2)+pow(y,2)*4);
        d = (y*2 + z*2) / (x + y*2);
        result += check_normal(e, d);
-       
+
+       // Replacement of nested functions with temporary symbols
+       e = x/(sqrt(sin(z)-1)) + y/(sqrt(sin(z)-1));
+       d = (x + y)/(sqrt(sin(z)-1));
+       result += check_normal(e, d);
+
        return result;
 }