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