[GiNaC-list] trigonometric identity s2+c2=1