Pow asec x7 Mul x0 Pow atan sec x0 Mul asech x4 x4 
Mul Pow asec x7 Add Mul x0 Pow atan sec x0 Mul asech x4 x4 -1 Mul Mul asec x7 log asec x7 Add Pow atan sec x0 Mul asech x4 x4 Mul x0 Mul Pow atan sec x0 Add Mul asech x4 x4 -1 Mul Mul asech x4 x4 Mul Mul tan x0 sec x0 Pow Add 1 Mul sec x0 sec x0 -1 