How do you evaluate sin(tan1(3))?