Mul x0 Pow Pow atan log x0 exp asec asec x3 x5 
Add Pow Pow atan log x0 exp asec asec x3 x5 Mul x0 Mul Pow Pow atan log x0 exp asec asec x3 Add x5 -1 Mul x5 Mul Pow atan log x0 Add exp asec asec x3 -1 Mul exp asec asec x3 Mul Pow x0 -1 Pow Add 1 Mul log x0 log x0 -1 