<div dir="ltr">Hi,<div><br></div><div>I modified the first benchmark at <a href="http://www.ginac.de/csSC-0004015.pdf">http://www.ginac.de/csSC-0004015.pdf</a> to,</div><div><br></div><div>e = expanded value of  (a0 + a1 + sqrt(3)*a2 + sqrt(3)*a3 + ... + sqrt(3)*a(n-1))^2<br><br>in e, substitute a0 with  -sqrt(3)*a2 - sqrt(3)*a3 - ... - sqrt(3)*a(n-1)<br><br>expand e again to obtain a1^2<br><br><br></div><div>For n = 4, I get,<br></div><div><br></div><div> -3*a3^2+2*3*a2^2+a1^2-6*a2^2+3*a3^2<br></div><div><br></div><div>Or </div><div><br></div><div><div>3*a3^2-3*a2^2-3*a3^2+a1^2+3*a2^2</div></div><div><br></div><div>which is true, but not the expression I expected. Why are the terms 3*a2^2 and -3*a2^2, not canceled out immediately? Also a term like 2*3*a2^2 means there is some bug right?<br></div><div><br>I am using ginac-1.6.3 on Ubuntu 14.10 with gcc-4.9.1. I am attaching the sample program. <br><br></div><div><br></div><div>Isuru Fernando</div><div><br></div><div><br></div></div>