Mul cos acot x0 Pow sec Add x0 asec pi Add Mul x0 x0 E 
Add Mul Pow sec Add x0 asec pi Add Mul x0 x0 E Mul Mul -1 sin acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul cos acot x0 Mul Pow sec Add x0 asec pi Add Add Mul x0 x0 E -1 Add Mul Add Mul x0 x0 E Mul tan Add x0 asec pi sec Add x0 asec pi Mul Mul sec Add x0 asec pi log sec Add x0 asec pi Add x0 x0 