could do trig out to several decimal places in his head

He’s got to have memorised that before class, or has memorised a bunch of common angles. The formula I remember using for them is a mess and doesn’t converge quickly.