asec Pow Mul acosh x5 x0 8 
Mul Mul Pow Mul acosh x5 x0 7 Mul 8 acosh x5 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow Mul acosh x5 x0 8 Pow Mul acosh x5 x0 8 -1 Pow Mul acosh x5 x0 8 Pow Mul acosh x5 x0 8 -1 