Mul Mul x0 asec Add 4 Pow sqrt x0 Pow x4 x5 -2 
Mul -2 Add asec Add 4 Pow sqrt x0 Pow x4 x5 Mul x0 Mul Mul Pow sqrt x0 Add Pow x4 x5 -1 Mul Pow x4 x5 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add 4 Pow sqrt x0 Pow x4 x5 Add 4 Pow sqrt x0 Pow x4 x5 -1 Add 4 Pow sqrt x0 Pow x4 x5 Add 4 Pow sqrt x0 Pow x4 x5 -1 