Pow x0 exp Mul Pow sech log pi acoth x0 x0 
Mul Pow x0 Add exp Mul Pow sech log pi acoth x0 x0 -1 Add exp Mul Pow sech log pi acoth x0 x0 Mul Mul x0 log x0 Mul exp Mul Pow sech log pi acoth x0 x0 Add Mul x0 Mul Pow sech log pi Add acoth x0 -1 Mul Mul sech log pi log sech log pi Pow Add 1 Mul -1 Mul x0 x0 -1 Pow sech log pi acoth x0 