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