Mul Pow asech Pow log acoth x2 atanh x0 log acot x0 pi 
Mul pi Mul Pow asech Pow log acoth x2 atanh x0 Add log acot x0 -1 Add Mul log acot x0 Mul Mul Pow log acoth x2 Add atanh x0 -1 Mul Mul log acoth x2 log log acoth x2 Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Mul Mul Pow log acoth x2 atanh x0 Pow log acoth x2 atanh x0 sqrt Add 1 Mul -1 Pow Mul Pow log acoth x2 atanh x0 Pow log acoth x2 atanh x0 -1 -1 Mul Mul asech Pow log acoth x2 atanh x0 log asech Pow log acoth x2 atanh x0 Mul Mul -1 Pow Add 1 Mul x0 x0 -1 Pow acot x0 -1 