Mul Pow x0 Add x0 Mul Mul acosh E x0 x1 Pow Mul -3 x5 Add Add x0 x0 Add x0 x0 
Add Mul Pow Mul -3 x5 Add Add x0 x0 Add x0 x0 Mul Pow x0 Add Add x0 Mul Mul acosh E x0 x1 -1 Add Add x0 Mul Mul acosh E x0 x1 Mul Mul x0 log x0 Add 1 Mul x1 acosh E Mul Pow x0 Add x0 Mul Mul acosh E x0 x1 Mul Pow Mul -3 x5 Add Add Add x0 x0 Add x0 x0 -1 Mul Mul Mul -3 x5 log Mul -3 x5 4 