Add Mul x6 4 acosh Mul x0 Mul Mul asin sinh cosh x0 x0 Mul acos x0 x5 
Mul Add Mul Mul asin sinh cosh x0 x0 Mul acos x0 x5 Mul x0 Add Mul Mul acos x0 x5 Add Mul x0 Mul Mul cosh cosh x0 sinh x0 Pow sqrt Add 1 Mul -1 Mul sinh cosh x0 sinh cosh x0 -1 asin sinh cosh x0 Mul Mul asin sinh cosh x0 x0 Mul x5 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 Pow Mul sqrt Add Mul x0 Mul Mul asin sinh cosh x0 x0 Mul acos x0 x5 -1 sqrt Add 1 Mul x0 Mul Mul asin sinh cosh x0 x0 Mul acos x0 x5 -1 