Pow Add x0 csch atan Pow x0 acot x1 csch Add Pow x3 x0 x5 
Mul Pow Add x0 csch atan Pow x0 acot x1 Add csch Add Pow x3 x0 x5 -1 Add Mul csch Add Pow x3 x0 x5 Add 1 Mul Mul Mul -1 coth atan Pow x0 acot x1 csch atan Pow x0 acot x1 Mul Mul Pow x0 Add acot x1 -1 acot x1 Pow Add 1 Mul Pow x0 acot x1 Pow x0 acot x1 -1 Mul Mul Add x0 csch atan Pow x0 acot x1 log Add x0 csch atan Pow x0 acot x1 Mul Mul Mul -1 coth Add Pow x3 x0 x5 csch Add Pow x3 x0 x5 Mul Pow x3 Add x0 -1 Mul x3 log x3 