tan asech Add Add Add x0 sqrt x0 Mul 3 x0 1 
Mul Pow sec asech Add Add Add x0 sqrt x0 Mul 3 x0 1 2 Mul Add Add 1 Pow Mul 2 sqrt x0 -1 3 Pow Mul Mul Add Add Add x0 sqrt x0 Mul 3 x0 1 Add Add Add x0 sqrt x0 Mul 3 x0 1 sqrt Add 1 Mul -1 Pow Mul Add Add Add x0 sqrt x0 Mul 3 x0 1 Add Add Add x0 sqrt x0 Mul 3 x0 1 -1 -1 