Mul x0 Pow x2 sqrt Mul Mul asec x1 x0 3 
Add Pow x2 sqrt Mul Mul asec x1 x0 3 Mul x0 Mul Pow x2 Add sqrt Mul Mul asec x1 x0 3 -1 Mul Mul x2 log x2 Mul Pow Mul 2 sqrt Mul Mul asec x1 x0 3 -1 Mul 3 asec x1 