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