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