CLISP 1996-07-22 (July 1996)
Punimax (Maxima 4.153 Sun Aug 19 1990, with enhancements by W. Schelter).
(C1) sin(%pi/12)+tan(%pi/6);
%PI 1
(D1) SIN(---) + -------
12 SQRT(3)
(C2) ev(%,numer);
(D2) 0.8361693142921465
(C3) cos(x)^2-sin(x)^2;
2 2
(D3) COS (X) - SIN (X)
(C4) ev(%,x:%pi/3);
1
(D4) - -
2
(C5) diff(%th(2),x);
(D5) - 4 COS(X) SIN(X)
(C6) integrate(%th(3),x);
SIN(2 X) SIN(2 X)
-------- + X X - --------
2 2
(D6) ------------ - ------------
2 2
(C7) expand(%);
SIN(2 X)
(D7) --------
2
(C8) trigexpand(%);
(D8) COS(X) SIN(X)
(C9) sech(x)^2*sinh(x)*tanh(x)/coth(x)^2 + cosh(x)^2*sech(x)^2*tanh(x)/coth(x)^2+sech(x)^2*tanh(x)/coth(x)^2;
2 2 2 2
SECH (X) SINH(X) TANH(X) COSH (X) SECH (X) TANH(X) SECH (X) TANH(X)
(D9) ------------------------ + ------------------------- + ----------------
2 2 2
COTH (X) COTH (X) COTH (X)
(C10) trigsimp(%);
;; Loading file /usr/local/punimax/src1/trgsmp.lsp ...
;; Loading of file /usr/local/punimax/src1/trgsmp.lsp is finished.
5 4 3
SINH (X) + SINH (X) + 2 SINH (X)
(D10) --------------------------------
5
COSH (X)
(C11) ev(sin(x),exponentialize);
%I X - %I X
%I (%E - %E )
(D11) - ----------------------
2
(C12) taylor(sin(x)/x,x,0,4);
2 4
X X
(D12)/T/ 1 - -- + --- + . . .
6 120
(C13)