How do you evaluate sin(135)?