cosh Pow Pow Mul x0 Mul cosh Mul x0 2 3 x0 cosh Pow x0 x3 
Mul sinh Pow Pow Mul x0 Mul cosh Mul x0 2 3 x0 cosh Pow x0 x3 Mul Pow Pow Mul x0 Mul cosh Mul x0 2 3 x0 Add cosh Pow x0 x3 -1 Add Mul cosh Pow x0 x3 Mul Pow Mul x0 Mul cosh Mul x0 2 3 Add x0 -1 Add Mul x0 Add Mul cosh Mul x0 2 3 Mul x0 Mul 3 Mul sinh Mul x0 2 2 Mul Mul x0 Mul cosh Mul x0 2 3 log Mul x0 Mul cosh Mul x0 2 3 Mul Mul Pow Mul x0 Mul cosh Mul x0 2 3 x0 log Pow Mul x0 Mul cosh Mul x0 2 3 x0 Mul sinh Pow x0 x3 Mul Pow x0 Add x3 -1 x3 