Question 1128093
tan = 1/cot = sqrt(3)