Mul x0 asec Mul Pow x0 log asinh x5 acosh x1 
Add asec Mul Pow x0 log asinh x5 acosh x1 Mul x0 Mul Mul acosh x1 Mul Pow x0 Add log asinh x5 -1 log asinh x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 log asinh x5 acosh x1 Mul Pow x0 log asinh x5 acosh x1 -1 Mul Pow x0 log asinh x5 acosh x1 Mul Pow x0 log asinh x5 acosh x1 -1 