Mul x0 Mul Pow Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 tanh x0 x0 
Add Mul Pow Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 tanh x0 x0 Mul x0 Add Mul x0 Mul Pow Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 Add tanh x0 -1 Add Mul tanh x0 Add Mul Pow acsch x7 Pow x0 tanh x1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 acot x0 Mul Mul acot x0 x0 Mul Pow acsch x7 Add Pow x0 tanh x1 -1 Mul Mul acsch x7 log acsch x7 Mul Pow x0 Add tanh x1 -1 tanh x1 Mul Mul Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 log Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 Pow sech x0 2 Pow Mul Mul acot x0 x0 Pow acsch x7 Pow x0 tanh x1 tanh x0 