asech cosh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 
Mul Mul sinh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 Mul Pow sinh acosh Mul x0 -1 Add Mul x3 Add x3 Pow x0 Add -3 x2 -1 Add Mul Mul x3 Add x3 Pow x0 Add -3 x2 Mul cosh acosh Mul x0 -1 Mul -1 Pow Mul sqrt Add Mul x0 -1 -1 sqrt Add 1 Mul x0 -1 -1 Mul Mul sinh acosh Mul x0 -1 log sinh acosh Mul x0 -1 Mul x3 Mul Pow x0 Add Add -3 x2 -1 Add -3 x2 Pow Mul Mul cosh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 cosh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 sqrt Add 1 Mul -1 Pow Mul cosh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 cosh Pow sinh acosh Mul x0 -1 Mul x3 Add x3 Pow x0 Add -3 x2 -1 -1 