PC.RT: Reasoning with Trigonometry