Pow Pow asec acosh sqrt E x0 Add Pow x0 x0 -2 
Mul Pow Pow asec acosh sqrt E x0 Add Add Pow x0 x0 -2 -1 Add Mul Add Pow x0 x0 -2 Mul Pow asec acosh sqrt E Add x0 -1 Mul asec acosh sqrt E log asec acosh sqrt E Mul Mul Pow asec acosh sqrt E x0 log Pow asec acosh sqrt E x0 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 