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