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

5ce5316a33 2021-03-01    1: % Rules
5ce5316a33 2021-03-01    2: %trig1:={sin(~x)^2+cos(~x)^2=>1, cos(~x)^2+sin(~x)^2=>1};
5ce5316a33 2021-03-01    3: trig1:={sin(~x)^2=>(1-cos(x)^2)};
5ce5316a33 2021-03-01    4: let trig1;
5ce5316a33 2021-03-01    5: trig2:={tan (~x)=>(sin (x)/cos (x))};
5ce5316a33 2021-03-01    6: let trig2;
5ce5316a33 2021-03-01    7: end;