Mul x0 sec Mul x0 acot Pow Add x0 -2 Add -4 x1 
Add sec Mul x0 acot Pow Add x0 -2 Add -4 x1 Mul x0 Mul Mul tan Mul x0 acot Pow Add x0 -2 Add -4 x1 sec Mul x0 acot Pow Add x0 -2 Add -4 x1 Add acot Pow Add x0 -2 Add -4 x1 Mul x0 Mul -1 Mul Mul Pow Add x0 -2 Add Add -4 x1 -1 Add -4 x1 Pow Add 1 Mul Pow Add x0 -2 Add -4 x1 Pow Add x0 -2 Add -4 x1 -1 