Given sin30^circ=1/2 and tan30^circ=sqrt3/3, how do you find cot30^circ?