Pow Pow x0 Mul x2 Mul Pow Mul Mul Add 1 acosh x7 x0 3 x2 x0 cosh x4 
Mul Pow Pow x0 Mul x2 Mul Pow Mul Mul Add 1 acosh x7 x0 3 x2 x0 Add cosh x4 -1 Mul cosh x4 Mul Pow x0 Add Mul x2 Mul Pow Mul Mul Add 1 acosh x7 x0 3 x2 x0 -1 Add Mul x2 Mul Pow Mul Mul Add 1 acosh x7 x0 3 x2 x0 Mul Mul x0 log x0 Mul x2 Add Mul x0 Mul Pow Mul Mul Add 1 acosh x7 x0 3 Add x2 -1 Mul x2 Mul 3 Add 1 acosh x7 Pow Mul Mul Add 1 acosh x7 x0 3 x2 