PC.AGRa: Algebraic & Geometric Reasoning – Trigonometric Identities and Equations