Pow asec Pow x0 acosh sech Pow x7 -2 Add 4 Add 4 x0 
Mul Pow asec Pow x0 acosh sech Pow x7 -2 Add Add 4 Add 4 x0 -1 Add Mul Add 4 Add 4 x0 Mul Mul Pow x0 Add acosh sech Pow x7 -2 -1 acosh sech Pow x7 -2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow x0 acosh sech Pow x7 -2 Pow x0 acosh sech Pow x7 -2 -1 Pow x0 acosh sech Pow x7 -2 Pow x0 acosh sech Pow x7 -2 -1 Mul asec Pow x0 acosh sech Pow x7 -2 log asec Pow x0 acosh sech Pow x7 -2 