Mul Pow Pow Add x0 Pow x0 tan csch x0 x1 Pow x0 Pow x0 sinh Mul Mul x0 -1 x0 acoth x0 
Add Mul acoth x0 Mul Pow Pow Add x0 Pow x0 tan csch x0 x1 Add Pow x0 Pow x0 sinh Mul Mul x0 -1 x0 -1 Add Mul Pow x0 Pow x0 sinh Mul Mul x0 -1 x0 Mul Pow Add x0 Pow x0 tan csch x0 Add x1 -1 Mul x1 Add 1 Mul Pow x0 Add tan csch x0 -1 Add tan csch x0 Mul Mul x0 log x0 Mul Pow sec csch x0 2 Mul Mul -1 coth x0 csch x0 Mul Mul Pow Add x0 Pow x0 tan csch x0 x1 log Pow Add x0 Pow x0 tan csch x0 x1 Mul Pow x0 Add Pow x0 sinh Mul Mul x0 -1 x0 -1 Add Pow x0 sinh Mul Mul x0 -1 x0 Mul Mul x0 log x0 Mul Pow x0 Add sinh Mul Mul x0 -1 x0 -1 Add sinh Mul Mul x0 -1 x0 Mul Mul x0 log x0 Mul cosh Mul Mul x0 -1 x0 Add Mul x0 -1 Mul x0 -1 Mul Pow Pow Add x0 Pow x0 tan csch x0 x1 Pow x0 Pow x0 sinh Mul Mul x0 -1 x0 Pow Add 1 Mul -1 Mul x0 x0 -1 