Given that sin(x) = 1/2 and that cos(x) > 0, work out the exact value of cos(x) in the form sqrt(a)/b.
