Pow x7 Add Add Mul -3 Mul sqrt asec x0 Pow x5 4 pi tan asec tan x0 
Mul Pow x7 Add Add Add Mul -3 Mul sqrt asec x0 Pow x5 4 pi tan asec tan x0 -1 Mul Mul x7 log x7 Add Mul -3 Mul Pow x5 4 Mul Pow Mul 2 sqrt asec x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 x0 x0 -1 Mul Pow sec asec tan x0 2 Mul Pow sec x0 2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan x0 tan x0 -1 tan x0 tan x0 -1 