Mul -1 atan Add Pow Mul pi acoth pi Pow log x0 x0 cosh x2 
Mul -1 Mul Mul Pow Mul pi acoth pi Add Pow log x0 x0 -1 Mul Mul Mul pi acoth pi log Mul pi acoth pi Mul Pow log x0 Add x0 -1 Add Mul x0 Pow x0 -1 Mul log x0 log log x0 Pow Add 1 Mul Add Pow Mul pi acoth pi Pow log x0 x0 cosh x2 Add Pow Mul pi acoth pi Pow log x0 x0 cosh x2 -1 