Mul log Mul x0 x0 sec Add pi Add tan x0 x0 
Add Mul sec Add pi Add tan x0 x0 Mul Add x0 x0 Pow Mul x0 x0 -1 Mul log Mul x0 x0 Mul Mul tan Add pi Add tan x0 x0 sec Add pi Add tan x0 x0 Add Pow sec x0 2 1 