sinh Mul Pow x6 Mul acos x0 Add x2 x7 x6 
Mul cosh Mul Pow x6 Mul acos x0 Add x2 x7 x6 Mul x6 Mul Pow x6 Add Mul acos x0 Add x2 x7 -1 Mul Mul x6 log x6 Mul Add x2 x7 Mul -1 Pow sqrt Add 1 Mul -1 Mul x0 x0 -1 