Pow Pow Mul Pow sqrt x0 x1 3 x0 -4 
Mul Pow Pow Mul Pow sqrt x0 x1 3 x0 5 Mul -4 Mul Pow Mul Pow sqrt x0 x1 3 Add x0 -1 Add Mul x0 Mul 3 Mul Pow sqrt x0 Add x1 -1 Mul x1 Pow Mul 2 sqrt x0 -1 Mul Mul Pow sqrt x0 x1 3 log Mul Pow sqrt x0 x1 3 