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