Add Mul Pow Mul log Mul 4 x0 2 x7 Pow coth x0 Add acot acsch acosh x4 acoth x2 x0 
Add Add Mul Pow coth x0 Add acot acsch acosh x4 acoth x2 Mul Pow Mul log Mul 4 x0 2 Add x7 -1 Mul x7 Mul 2 Mul 4 Pow Mul 4 x0 -1 Mul Pow Mul log Mul 4 x0 2 x7 Mul Pow coth x0 Add Add acot acsch acosh x4 acoth x2 -1 Mul Add acot acsch acosh x4 acoth x2 Mul -1 Pow csch x0 2 1 