How do you evaluate tan1(3)?