sec Pow Add Add Add 4 Mul tan Add x0 x0 acot acot x3 Add x0 x2 2 -2 
Mul Mul tan Pow Add Add Add 4 Mul tan Add x0 x0 acot acot x3 Add x0 x2 2 -2 sec Pow Add Add Add 4 Mul tan Add x0 x0 acot acot x3 Add x0 x2 2 -2 Mul Pow Add Add Add 4 Mul tan Add x0 x0 acot acot x3 Add x0 x2 2 3 Mul -2 Add Mul acot acot x3 Mul Pow sec Add x0 x0 2 2 1 