solve for x: 8cos(3*x) - 6cos(x) = 1