How do you evaluate sin1(cos(π3))?