exp Mul 5 acot tan Pow sec Add cos x0 x0 x0 
Mul exp Mul 5 acot tan Pow sec Add cos x0 x0 x0 Mul 5 Mul -1 Mul Mul Pow sec Pow sec Add cos x0 x0 x0 2 Mul Pow sec Add cos x0 x0 Add x0 -1 Add Mul x0 Mul Mul tan Add cos x0 x0 sec Add cos x0 x0 Add Mul -1 sin x0 1 Mul sec Add cos x0 x0 log sec Add cos x0 x0 Pow Add 1 Mul tan Pow sec Add cos x0 x0 x0 tan Pow sec Add cos x0 x0 x0 -1 