Pow cosh x0 Pow 1.55740772465490 Mul Mul x0 acot x0 -2 
Mul Pow cosh x0 Add Pow 1.55740772465490 Mul Mul x0 acot x0 -2 -1 Add Mul Pow 1.55740772465490 Mul Mul x0 acot x0 -2 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow 1.55740772465490 Add Mul Mul x0 acot x0 -2 -1 Mul 2.00043044877182 Mul -2 Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 