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