Pow atan Pow tanh x5 x2 Pow sech acot cosh x0 Add x0 x4 
Mul Pow atan Pow tanh x5 x2 Add Pow sech acot cosh x0 Add x0 x4 -1 Mul Mul atan Pow tanh x5 x2 log atan Pow tanh x5 x2 Mul Pow sech acot cosh x0 Add Add x0 x4 -1 Add Mul Add x0 x4 Mul Mul tanh acot cosh x0 Mul -1 sech acot cosh x0 Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul sech acot cosh x0 log sech acot cosh x0 