Add Pow Pow sqrt asec x1 acosh x0 -5 Pow x0 -3 
Add Mul Pow Pow sqrt asec x1 acosh x0 6 Mul -5 Mul Pow sqrt asec x1 Add acosh x0 -1 Mul Mul sqrt asec x1 log sqrt asec x1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow x0 4 -3 