How do you calculate tan(2arcsin(817))?