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