Add x0 Pow x0 exp acot Pow x0 asec x6 
Add 1 Mul Pow x0 Add exp acot Pow x0 asec x6 -1 Add exp acot Pow x0 asec x6 Mul Mul x0 log x0 Mul exp acot Pow x0 asec x6 Mul -1 Mul Mul Pow x0 Add asec x6 -1 asec x6 Pow Add 1 Mul Pow x0 asec x6 Pow x0 asec x6 -1 