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