Mul cosh x0 asech Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 
Add Mul asech Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 sinh x0 Mul cosh x0 Mul Add Mul cosh Mul x0 x0 Add x0 x0 Mul Pow Mul x5 x0 Add acos x1 -1 Mul acos x1 x5 Pow Mul Mul Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 sqrt Add 1 Mul -1 Pow Mul Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 Add sinh Mul x0 x0 Pow Mul x5 x0 acos x1 -1 -1 