Origin for each line in src/rules.red from check-in c1ddb4c814:

c1ddb4c814 2021-03-01 jeff@gridfini: % Rules
c1ddb4c814 2021-03-01 jeff@gridfini: %trig1:={sin(~x)^2+cos(~x)^2=>1, cos(~x)^2+sin(~x)^2=>1};
c1ddb4c814 2021-03-01 jeff@gridfini: trig1:={sin(~x)^2=>(1-cos(x)^2)};
c1ddb4c814 2021-03-01 jeff@gridfini: let trig1;
c1ddb4c814 2021-03-01 jeff@gridfini: trig2:={tan (~x)=>(sin (x)/cos (x))};
c1ddb4c814 2021-03-01 jeff@gridfini: let trig2;
c1ddb4c814 2021-03-01 jeff@gridfini: end;