Pow cosh x0 Pow Mul acot x0 sech x0 x7 
Mul Pow cosh x0 Add Pow Mul acot x0 sech x0 x7 -1 Add Mul Pow Mul acot x0 sech x0 x7 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Mul acot x0 sech x0 Add x7 -1 Mul x7 Add Mul sech x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul tanh x0 Mul -1 sech x0 