acosh asech Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 
Mul Mul Mul x4 Mul Pow x0 Add Add cosh x0 asec Pow x5 x7 -1 Add Add cosh x0 asec Pow x5 x7 Mul Mul x0 log x0 sinh x0 Pow Mul Mul Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 sqrt Add 1 Mul -1 Pow Mul Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 -1 -1 Pow Mul sqrt Add asech Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 -1 sqrt Add 1 asech Mul Pow x0 Add cosh x0 asec Pow x5 x7 x4 -1 