How do you evaluate tan1(13)?