Add Mul x0 Mul -3 Add Mul x3 Mul x0 x0 Mul Pow x1 x2 x0 sinh Pow x0 Add acosh E x0 
Add Add Mul -3 Add Mul x3 Mul x0 x0 Mul Pow x1 x2 x0 Mul x0 Mul -3 Add Mul x3 Add x0 x0 Pow x1 x2 Mul cosh Pow x0 Add acosh E x0 Mul Pow x0 Add Add acosh E x0 -1 Add Add acosh E x0 Mul x0 log x0 