tan15 = cot75 =1/tan75