123456 / (cot(pi/13) + csc(pi/13))