Pow x0 Add x1 Pow Mul acos atanh coth x0 x5 2 
Mul Pow x0 Add Add x1 Pow Mul acos atanh coth x0 x5 2 -1 Add Add x1 Pow Mul acos atanh coth x0 x5 2 Mul Mul x0 log x0 Mul Mul acos atanh coth x0 x5 Mul 2 Mul x5 Mul -1 Mul Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 Pow sqrt Add 1 Mul -1 Mul atanh coth x0 atanh coth x0 -1 