Mul exp Pow x0 Add -2 x0 Mul acosh Mul 4 x3 Add x4 x0 
Add Mul Mul acosh Mul 4 x3 Add x4 x0 Mul exp Pow x0 Add -2 x0 Mul Pow x0 Add Add -2 x0 -1 Add Add -2 x0 Mul x0 log x0 Mul exp Pow x0 Add -2 x0 acosh Mul 4 x3 