File src/rules.red artifact e266788fa7 part of check-in c1ddb4c814
% Rules %trig1:={sin(~x)^2+cos(~x)^2=>1, cos(~x)^2+sin(~x)^2=>1}; trig1:={sin(~x)^2=>(1-cos(x)^2)}; let trig1; trig2:={tan (~x)=>(sin (x)/cos (x))}; let trig2; end;
% Rules %trig1:={sin(~x)^2+cos(~x)^2=>1, cos(~x)^2+sin(~x)^2=>1}; trig1:={sin(~x)^2=>(1-cos(x)^2)}; let trig1; trig2:={tan (~x)=>(sin (x)/cos (x))}; let trig2; end;