asin Pow atan acoth Mul acot Add E coth x2 x3 Add Pow x0 pi x0 
Mul Mul Pow atan acoth Mul acot Add E coth x2 x3 Add Add Pow x0 pi x0 -1 Mul Mul atan acoth Mul acot Add E coth x2 x3 log atan acoth Mul acot Add E coth x2 x3 Add Mul Pow x0 Add pi -1 pi 1 Pow sqrt Add 1 Mul -1 Mul Pow atan acoth Mul acot Add E coth x2 x3 Add Pow x0 pi x0 Pow atan acoth Mul acot Add E coth x2 x3 Add Pow x0 pi x0 -1 