exp Pow Mul Add x0 E x6 sqrt Mul x1 x0 
Mul exp Pow Mul Add x0 E x6 sqrt Mul x1 x0 Mul Pow Mul Add x0 E x6 Add sqrt Mul x1 x0 -1 Add Mul sqrt Mul x1 x0 x6 Mul Mul Mul Add x0 E x6 log Mul Add x0 E x6 Mul Pow Mul 2 sqrt Mul x1 x0 -1 x1 