Pow tan Add x0 Add x0 acot Mul sin x0 2 x4 
Mul Pow tan Add x0 Add x0 acot Mul sin x0 2 Add x4 -1 Mul x4 Mul Pow sec Add x0 Add x0 acot Mul sin x0 2 2 Add 1 Add 1 Mul -1 Mul Mul 2 cos x0 Pow Add 1 Mul Mul sin x0 2 Mul sin x0 2 -1 