Add x0 Mul x0 Pow Pow x0 x3 sec Pow Add Mul acot x0 x3 x4 -5 
Add 1 Add Pow Pow x0 x3 sec Pow Add Mul acot x0 x3 x4 -5 Mul x0 Mul Pow Pow x0 x3 Add sec Pow Add Mul acot x0 x3 x4 -5 -1 Add Mul sec Pow Add Mul acot x0 x3 x4 -5 Mul Pow x0 Add x3 -1 x3 Mul Mul Pow x0 x3 log Pow x0 x3 Mul Mul tan Pow Add Mul acot x0 x3 x4 -5 sec Pow Add Mul acot x0 x3 x4 -5 Mul Pow Add Mul acot x0 x3 x4 6 Mul -5 Mul x3 Mul -1 Pow Add 1 Mul x0 x0 -1 