Mul acot x3 Mul x0 Mul Mul -1 x0 sin tan Pow x0 -1 
Mul acot x3 Add Mul Mul -1 x0 sin tan Pow x0 -1 Mul x0 Add Mul sin tan Pow x0 -1 -1 Mul Mul -1 x0 Mul cos tan Pow x0 -1 Mul Pow sec Pow x0 -1 2 Mul Pow x0 2 -1 