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