solve cos 4x = -1