Pow Add x0 Add Mul x3 csch x0 Pow x0 Mul x2 Mul x4 Pow x0 acot x0 cosh Mul x4 x4 
Mul Pow Add x0 Add Mul x3 csch x0 Pow x0 Mul x2 Mul x4 Pow x0 acot x0 Add cosh Mul x4 x4 -1 Mul cosh Mul x4 x4 Add 1 Add Mul x3 Mul Mul -1 coth x0 csch x0 Mul Pow x0 Add Mul x2 Mul x4 Pow x0 acot x0 -1 Add Mul x2 Mul x4 Pow x0 acot x0 Mul Mul x0 log x0 Mul x2 Mul x4 Mul Pow x0 Add acot x0 -1 Add acot x0 Mul Mul x0 log x0 Mul -1 Pow Add 1 Mul x0 x0 -1 