sinh Mul x7 Mul x0 Mul Add Pow x0 Mul Mul 6 x0 x0 sec x5 -2 
Mul cosh Mul x7 Mul x0 Mul Add Pow x0 Mul Mul 6 x0 x0 sec x5 -2 Mul x7 Add Mul Add Pow x0 Mul Mul 6 x0 x0 sec x5 -2 Mul x0 Mul -2 Mul Pow x0 Add Mul Mul 6 x0 x0 -1 Add Mul Mul 6 x0 x0 Mul Mul x0 log x0 Add Mul x0 6 Mul 6 x0 