acot Mul Add Mul Add -1 Pow Mul pi acsch Add csch x7 x1 x0 x0 x0 Pow x0 atan tanh x2 
Mul -1 Mul Add Mul Pow x0 atan tanh x2 Add Add Mul x0 Mul Pow Mul pi acsch Add csch x7 x1 Add x0 -1 Mul Mul pi acsch Add csch x7 x1 log Mul pi acsch Add csch x7 x1 Add -1 Pow Mul pi acsch Add csch x7 x1 x0 1 Mul Add Mul Add -1 Pow Mul pi acsch Add csch x7 x1 x0 x0 x0 Mul Pow x0 Add atan tanh x2 -1 atan tanh x2 Pow Add 1 Mul Mul Add Mul Add -1 Pow Mul pi acsch Add csch x7 x1 x0 x0 x0 Pow x0 atan tanh x2 Mul Add Mul Add -1 Pow Mul pi acsch Add csch x7 x1 x0 x0 x0 Pow x0 atan tanh x2 -1 