acot Mul 2 Pow Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 x0 
Mul -1 Mul Mul 2 Mul Pow Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 Add x0 -1 Add Mul x0 Mul Pow Pow E cosh x0 5 Mul -4 Mul Pow E Add cosh x0 -1 Mul Mul E log E sinh x0 Mul Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 log Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 Pow Add 1 Mul Mul 2 Pow Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 x0 Mul 2 Pow Add Pow Pow E cosh x0 -4 cosh Mul -2 x2 x0 -1 