How do you evaluate tan(135)?