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

c1ddb4c814 2021-03-01 jeff@gridfini: (a+b)^2;
c1ddb4c814 2021-03-01 jeff@gridfini: (a+b)^3;
c1ddb4c814 2021-03-01 jeff@gridfini: (a+b)^4;
c1ddb4c814 2021-03-01 jeff@gridfini: (a+b)^5;
c1ddb4c814 2021-03-01 jeff@gridfini: (a+b)^6;
c1ddb4c814 2021-03-01 jeff@gridfini: c:=(a+b)^6;
c1ddb4c814 2021-03-01 jeff@gridfini: d:=(a+b)^3;
c1ddb4c814 2021-03-01 jeff@gridfini: c/d;
c1ddb4c814 2021-03-01 jeff@gridfini: a:=sin (x);
c1ddb4c814 2021-03-01 jeff@gridfini: b:=cos (x);
c1ddb4c814 2021-03-01 jeff@gridfini: c:=a^2+b^2;
c1ddb4c814 2021-03-01 jeff@gridfini: d:=a/b;
c1ddb4c814 2021-03-01 jeff@gridfini: f:=tan (x)-d;
c1ddb4c814 2021-03-01 jeff@gridfini: % Trigo Rules;
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: % now with rules;
c1ddb4c814 2021-03-01 jeff@gridfini: c;
c1ddb4c814 2021-03-01 jeff@gridfini: d;
c1ddb4c814 2021-03-01 jeff@gridfini: f;
c1ddb4c814 2021-03-01 jeff@gridfini: end;