How do you find the value of tan45 using the half angle identity?