How do you evaluate sin1(12)?