Mul Add x0 x0 Add Pow csch cosh Pow acot cosh x2 x0 -1 x0 
Add Mul Add Pow csch cosh Pow acot cosh x2 x0 -1 x0 2 Mul Add x0 x0 Add Mul Pow csch cosh Pow acot cosh x2 x0 2 Mul -1 Mul Mul Mul -1 coth cosh Pow acot cosh x2 x0 csch cosh Pow acot cosh x2 x0 Mul sinh Pow acot cosh x2 x0 Mul Pow acot cosh x2 Add x0 -1 Mul acot cosh x2 log acot cosh x2 1 