sqrt Pow Mul 3 Add Pow tan sech Mul Mul cosh x4 x7 x0 Pow x0 x0 Pow x5 x0 acot sech x0 
Mul Pow Mul 2 sqrt Pow Mul 3 Add Pow tan sech Mul Mul cosh x4 x7 x0 Pow x0 x0 Pow x5 x0 acot sech x0 -1 Mul Pow Mul 3 Add Pow tan sech Mul Mul cosh x4 x7 x0 Pow x0 x0 Pow x5 x0 Add acot sech x0 -1 Add Mul acot sech x0 Mul 3 Add Mul Pow tan sech Mul Mul cosh x4 x7 x0 Add Pow x0 x0 -1 Add Mul Pow x0 x0 Mul Pow sec sech Mul Mul cosh x4 x7 x0 2 Mul Mul tanh Mul Mul cosh x4 x7 x0 Mul -1 sech Mul Mul cosh x4 x7 x0 Mul cosh x4 x7 Mul Mul tan sech Mul Mul cosh x4 x7 x0 log tan sech Mul Mul cosh x4 x7 x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Pow x5 Add x0 -1 Mul x5 log x5 Mul Mul Mul 3 Add Pow tan sech Mul Mul cosh x4 x7 x0 Pow x0 x0 Pow x5 x0 log Mul 3 Add Pow tan sech Mul Mul cosh x4 x7 x0 Pow x0 x0 Pow x5 x0 Mul -1 Mul Mul tanh x0 Mul -1 sech x0 Pow Add 1 Mul sech x0 sech x0 -1 