How do you simplify sin1(16)?