Mul Pow Mul x7 -4 x0 Mul Pow x0 coth x0 acot sqrt x0 
Add Mul Mul Pow x0 coth x0 acot sqrt x0 Mul Pow Mul x7 -4 Add x0 -1 Mul Mul x7 -4 log Mul x7 -4 Mul Pow Mul x7 -4 x0 Add Mul acot sqrt x0 Mul Pow x0 Add coth x0 -1 Add coth x0 Mul Mul x0 log x0 Mul -1 Pow csch x0 2 Mul Pow x0 coth x0 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul sqrt x0 sqrt x0 -1 