Add 3 acosh Mul x0 coth Add Mul Add x0 Pow x0 E Pow atanh x7 2 x0 
Mul Add coth Add Mul Add x0 Pow x0 E Pow atanh x7 2 x0 Mul x0 Mul Mul -1 Pow csch Add Mul Add x0 Pow x0 E Pow atanh x7 2 x0 2 Add Mul Pow atanh x7 2 Add 1 Mul Pow x0 Add E -1 E 1 Pow Mul sqrt Add Mul x0 coth Add Mul Add x0 Pow x0 E Pow atanh x7 2 x0 -1 sqrt Add 1 Mul x0 coth Add Mul Add x0 Pow x0 E Pow atanh x7 2 x0 -1 