TRIG IDENTITIES SOLVER