cot(cos^-1(-15/17))