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