How do you evaluate tan(tan1(135))?