cos Pow x7 asin asech acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 
Mul Mul -1 sin Pow x7 asin asech acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 Mul Pow x7 Add asin asech acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 -1 Mul Mul x7 log x7 Mul Mul Mul -1 Mul Add Mul Mul cosh E x0 Mul Mul Pow acosh asec asinh pi Add x0 -1 Mul acosh asec asinh pi log acosh asec asinh pi Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow acosh asec asinh pi x0 Pow acosh asec asinh pi x0 -1 Pow acosh asec asinh pi x0 Pow acosh asec asinh pi x0 -1 Mul asec Pow acosh asec asinh pi x0 cosh E Pow Add 1 Mul Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 -1 Pow Mul Mul acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 sqrt Add 1 Mul -1 Pow Mul acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 -1 -1 Pow sqrt Add 1 Mul -1 Mul asech acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 asech acot Mul asec Pow acosh asec asinh pi x0 Mul cosh E x0 -1 