Pow Mul asin Pow acot x0 asech x0 Mul pi coth exp x0 x0 
Mul Pow Mul asin Pow acot x0 asech x0 Mul pi coth exp x0 Add x0 -1 Add Mul x0 Add Mul Mul pi coth exp x0 Mul Mul Pow acot x0 Add asech x0 -1 Add Mul asech x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul acot x0 log acot x0 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul Pow acot x0 asech x0 Pow acot x0 asech x0 -1 Mul asin Pow acot x0 asech x0 Mul pi Mul Mul -1 Pow csch exp x0 2 exp x0 Mul Mul asin Pow acot x0 asech x0 Mul pi coth exp x0 log Mul asin Pow acot x0 asech x0 Mul pi coth exp x0 