How do you find the value of tan60 using the double angle identity?