exp Add Mul Pow Pow x0 x0 Pow 2 Pow Add Mul tanh Pow x0 x4 -3 1 acosh E x1 -3.01562500000000 
Mul exp Add Mul Pow Pow x0 x0 Pow 2 Pow Add Mul tanh Pow x0 x4 -3 1 acosh E x1 -3.01562500000000 Mul x1 Mul Pow Pow x0 x0 Add Pow 2 Pow Add Mul tanh Pow x0 x4 -3 1 acosh E -1 Add Mul Pow 2 Pow Add Mul tanh Pow x0 x4 -3 1 acosh E Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 Mul Mul Pow x0 x0 log Pow x0 x0 Mul Pow 2 Add Pow Add Mul tanh Pow x0 x4 -3 1 acosh E -1 Mul 2.69314718055995 Mul Pow Add Mul tanh Pow x0 x4 -3 1 Add acosh E -1 Mul acosh E Mul -3 Mul Pow sech Pow x0 x4 2 Mul Pow x0 Add x4 -1 x4 