Add atan Mul Pow x0 csch Pow x0 Add x0 cosh x0 acsch pi -3 
Mul Mul acsch pi Mul Pow x0 Add csch Pow x0 Add x0 cosh x0 -1 Add csch Pow x0 Add x0 cosh x0 Mul Mul x0 log x0 Mul Mul Mul -1 coth Pow x0 Add x0 cosh x0 csch Pow x0 Add x0 cosh x0 Mul Pow x0 Add Add x0 cosh x0 -1 Add Add x0 cosh x0 Mul Mul x0 log x0 Add 1 sinh x0 Pow Add 1 Mul Mul Pow x0 csch Pow x0 Add x0 cosh x0 acsch pi Mul Pow x0 csch Pow x0 Add x0 cosh x0 acsch pi -1 