How do you evaluate sin1(sin(4π3)) without a calculator?