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