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