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