Mul acos exp x0 Mul x0 asec Mul 5 Pow x2 x0 
Add Mul Mul x0 asec Mul 5 Pow x2 x0 Mul -1 Mul exp x0 Pow sqrt Add 1 Mul -1 Mul exp x0 exp x0 -1 Mul acos exp x0 Add asec Mul 5 Pow x2 x0 Mul x0 Mul Mul 5 Mul Pow x2 Add x0 -1 Mul x2 log x2 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul 5 Pow x2 x0 Mul 5 Pow x2 x0 -1 Mul 5 Pow x2 x0 Mul 5 Pow x2 x0 -1 