File src/example02.red from the latest check-in
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;
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;