- labels: --> Lisp Core - Simplification
(%i52) (%e^(-2*sqrt(2))*(%e^(2*sqrt(2))+2*%e^sqrt(2)+1)^2)/16+(%e^(-2*sqrt(2))*(%e^(2*sqrt(2))
-2*%e^sqrt(2)+1)^2)/16-(%e^(-2*sqrt(2))*(%e^(2*sqrt(2))-1)^2)/8$
/* should be 1 */
(%i53) expand(%);
(%o53) %e^(2^(3/2)-2*sqrt(2))/2+1/2
(%i54) expand(%,0,0);
(%o54) 1
Logged In: YES
user_id=1797506
Originator: NO
seems to be a basic simplification problem.
(%i8) 2^(1/2)*2 - 2*2^(1/2);
(%o8) 2^(3/2)-2*sqrt(2)
(%i9) 2^(3/2)-2*sqrt(2);
(%o9) 0
With revision 1.80 of simp.lisp the example simplifies as expected:
(%i6) %e^-2^(3/2)*(%e^2^(3/2)+2*%e^sqrt(2)+1)^2/16
+%e^-2^(3/2)*(%e^2^(3/2)-2*%e^sqrt(2)+1)^2/16
-%e^-2^(3/2)*(%e^2^(3/2)-1)^2/8$
(%i7) expand(%);
(%o7) 1
Closing this bug report as fixed.
Dieter Kaiser
Log in to post a comment.