Mul x2 asec Mul exp Pow 4 atanh x1 Mul coth x0 -5 
Mul x2 Mul Mul exp Pow 4 atanh x1 Mul -5 Mul -1 Pow csch x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul exp Pow 4 atanh x1 Mul coth x0 -5 Mul exp Pow 4 atanh x1 Mul coth x0 -5 -1 Mul exp Pow 4 atanh x1 Mul coth x0 -5 Mul exp Pow 4 atanh x1 Mul coth x0 -5 -1 