How do you find the exact value for cos(arctan(2)) ?