Add Mul Mul Mul Mul coth x0 Add -4 Pow x3 x0 acot x0 Mul Pow x0 x7 asech x7 x0 E 
Add Mul x0 Add Mul Mul Pow x0 x7 asech x7 Add Mul acot x0 Add Mul Add -4 Pow x3 x0 Mul -1 Pow csch x0 2 Mul coth x0 Mul Pow x3 Add x0 -1 Mul x3 log x3 Mul Mul coth x0 Add -4 Pow x3 x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Mul Mul coth x0 Add -4 Pow x3 x0 acot x0 Mul asech x7 Mul Pow x0 Add x7 -1 x7 Mul Mul Mul coth x0 Add -4 Pow x3 x0 acot x0 Mul Pow x0 x7 asech x7 