cotan \(arccos\(x\/\(Sqrt\(Pi\^2-x\^2\)\)\)