solve[2 + 1.8^2 - 2*1.8*(cos[x1] - cos[x2]) - 2*cos(x2-x1) == 0, x1, x2]