If cos(tan^-1 x + cot^-1 √3) = 0, find the value of x.