Add Mul Pow Mul log x0 3 sqrt Add x0 x3 x0 x1 
Add Mul x0 Mul Pow Mul log x0 3 Add sqrt Add x0 x3 -1 Add Mul sqrt Add x0 x3 Mul 3 Pow x0 -1 Mul Mul Mul log x0 3 log Mul log x0 3 Pow Mul 2 sqrt Add x0 x3 -1 Pow Mul log x0 3 sqrt Add x0 x3 