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