Add x0 coth acoth Mul E Mul x0 Mul -2 x0 
Add 1 Mul Mul -1 Pow csch acoth Mul E Mul x0 Mul -2 x0 2 Mul Mul E Add Mul -2 x0 Mul x0 -2 Pow Add 1 Mul -1 Mul Mul E Mul x0 Mul -2 x0 Mul E Mul x0 Mul -2 x0 -1 