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