How do you calculate tan(2arcsin(-8/17))?