Does sin(pi-x) = sin(x)?