Involving sin-1((((z2+1)1/2-z)/(2(z2+1)1/2))1/2) and cot-1(1/z) (4 formulas)
© 1998-2012 Wolfram Research, Inc.
