Mul Pow sech asin tanh x2 Mul Mul x0 x0 acosh cos Mul x7 pi Mul cosh x0 x0 
Add Mul Mul cosh x0 x0 Mul Pow sech asin tanh x2 Add Mul Mul x0 x0 acosh cos Mul x7 pi -1 Mul Mul sech asin tanh x2 log sech asin tanh x2 Mul acosh cos Mul x7 pi Add x0 x0 Mul Pow sech asin tanh x2 Mul Mul x0 x0 acosh cos Mul x7 pi Add Mul x0 sinh x0 cosh x0 