Running circles around symbol manipulation in trigonometry