Mul x0 Pow acsc Mul atanh Mul -2 Mul x0 csch x0 exp E x1 
Add Pow acsc Mul atanh Mul -2 Mul x0 csch x0 exp E x1 Mul x0 Mul Pow acsc Mul atanh Mul -2 Mul x0 csch x0 exp E Add x1 -1 Mul x1 Mul -1 Mul Mul exp E Mul Mul -2 Add csch x0 Mul x0 Mul Mul -1 coth x0 csch x0 Pow Add 1 Mul -1 Mul Mul -2 Mul x0 csch x0 Mul -2 Mul x0 csch x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul atanh Mul -2 Mul x0 csch x0 exp E Mul atanh Mul -2 Mul x0 csch x0 exp E -1 Mul atanh Mul -2 Mul x0 csch x0 exp E Mul atanh Mul -2 Mul x0 csch x0 exp E -1 