How do you evaluate tan(sin1(16))?