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