Mul Mul cosh acos x0 Add Mul Pow Mul x6 x1 Pow Pow x1 E 3 x0 x4 -2 
Mul -2 Add Mul Add Mul Pow Mul x6 x1 Pow Pow x1 E 3 x0 x4 Mul sinh acos x0 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Mul cosh acos x0 Pow Mul x6 x1 Pow Pow x1 E 3 