Mul x0 Pow Pow cosh x7 Mul Mul pi Mul x0 Pow x6 x0 x1 sech acot x0 
Add Pow Pow cosh x7 Mul Mul pi Mul x0 Pow x6 x0 x1 sech acot x0 Mul x0 Mul Pow Pow cosh x7 Mul Mul pi Mul x0 Pow x6 x0 x1 Add sech acot x0 -1 Add Mul sech acot x0 Mul Pow cosh x7 Add Mul Mul pi Mul x0 Pow x6 x0 x1 -1 Mul Mul cosh x7 log cosh x7 Mul x1 Mul pi Add Pow x6 x0 Mul x0 Mul Pow x6 Add x0 -1 Mul x6 log x6 Mul Mul Pow cosh x7 Mul Mul pi Mul x0 Pow x6 x0 x1 log Pow cosh x7 Mul Mul pi Mul x0 Pow x6 x0 x1 Mul Mul tanh acot x0 Mul -1 sech acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 