Mul -2 exp Pow x0 Add x3 Add x3 Mul 2 log x0 
Mul -2 Mul exp Pow x0 Add x3 Add x3 Mul 2 log x0 Mul Pow x0 Add Add x3 Add x3 Mul 2 log x0 -1 Add Add x3 Add x3 Mul 2 log x0 Mul Mul x0 log x0 Mul 2 Pow x0 -1 