exp sec acot Add x0 Mul cos x2 x0 
Mul exp sec acot Add x0 Mul cos x2 x0 Mul Mul tan acot Add x0 Mul cos x2 x0 sec acot Add x0 Mul cos x2 x0 Mul -1 Mul Add 1 cos x2 Pow Add 1 Mul Add x0 Mul cos x2 x0 Add x0 Mul cos x2 x0 -1 