Pow sec x0 Add Mul Add x0 x5 x0 asech coth x7 
Mul Pow sec x0 Add Add Mul Add x0 x5 x0 asech coth x7 -1 Add Mul Add Mul Add x0 x5 x0 asech coth x7 Mul tan x0 sec x0 Mul Mul sec x0 log sec x0 Add x0 Add x0 x5 