Add Mul x0 Add Pow sqrt sqrt x0 x0 sqrt x5 x0 
Add Add Add Pow sqrt sqrt x0 x0 sqrt x5 Mul x0 Mul Pow sqrt sqrt x0 Add x0 -1 Add Mul x0 Mul Pow Mul 2 sqrt sqrt x0 -1 Pow Mul 2 sqrt x0 -1 Mul sqrt sqrt x0 log sqrt sqrt x0 1 