Trig or treat : an encyclopedia of trigonometric identity proofs (TIPs) ; intellectually challenging games / Yeo Adrian