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