Mul x0 Pow x5 asec Mul Mul x1 x0 x0 
Add Pow x5 asec Mul Mul x1 x0 x0 Mul x0 Mul Pow x5 Add asec Mul Mul x1 x0 x0 -1 Mul Mul x5 log x5 Mul Add Mul x0 x1 Mul x1 x0 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Mul Mul x1 x0 x0 Mul Mul x1 x0 x0 -1 Mul Mul x1 x0 x0 Mul Mul x1 x0 x0 -1 