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