How do you evaluate tan(arcsin(9/13))?