cos Pow x0 Pow acosh Pow asec x7 x0 2 
Mul Mul -1 sin Pow x0 Pow acosh Pow asec x7 x0 2 Mul Pow x0 Add Pow acosh Pow asec x7 x0 2 -1 Add Pow acosh Pow asec x7 x0 2 Mul Mul x0 log x0 Mul acosh Pow asec x7 x0 Mul 2 Mul Mul Pow asec x7 Add x0 -1 Mul asec x7 log asec x7 Pow Mul sqrt Add Pow asec x7 x0 -1 sqrt Add 1 Pow asec x7 x0 -1 