Pow Mul acot x3 Mul asin Pow Mul Pow pi x3 x0 x3 x0 Mul acos coth x5 x0 
Mul Pow Mul acot x3 Mul asin Pow Mul Pow pi x3 x0 x3 x0 Add Mul acos coth x5 x0 -1 Add Mul Mul acos coth x5 x0 Mul acot x3 Add Mul x0 Mul Mul Pow Mul Pow pi x3 x0 Add x3 -1 Mul x3 Pow pi x3 Pow sqrt Add 1 Mul -1 Mul Pow Mul Pow pi x3 x0 x3 Pow Mul Pow pi x3 x0 x3 -1 asin Pow Mul Pow pi x3 x0 x3 Mul Mul Mul acot x3 Mul asin Pow Mul Pow pi x3 x0 x3 x0 log Mul acot x3 Mul asin Pow Mul Pow pi x3 x0 x3 x0 acos coth x5 