u:=(x+y+z)^3;
on factor; u;
df(x^x,x);
int(ws,x);
sin(pi/4);
sin(x)^2+cos(x)^2;
trigsimp ws;
v:=sqrt(pi);
on rounded; v;
precision(24); v;
off rounded;
end;

