If tan^-1(√3) + cot^-1(x) = π/2, find x.