sin(3x) = cos(3pi/7)