Solve 32 - 32*cos(x) = 25 - 24*cos(pi-x)