Mul x0 Pow x0 cosh exp Pow Mul x0 Pow x0 Mul x6 x6 x0 
Add Pow x0 cosh exp Pow Mul x0 Pow x0 Mul x6 x6 x0 Mul x0 Mul Pow x0 Add cosh exp Pow Mul x0 Pow x0 Mul x6 x6 x0 -1 Add cosh exp Pow Mul x0 Pow x0 Mul x6 x6 x0 Mul Mul x0 log x0 Mul sinh exp Pow Mul x0 Pow x0 Mul x6 x6 x0 Mul exp Pow Mul x0 Pow x0 Mul x6 x6 x0 Mul Pow Mul x0 Pow x0 Mul x6 x6 Add x0 -1 Add Mul x0 Add Pow x0 Mul x6 x6 Mul x0 Mul Pow x0 Add Mul x6 x6 -1 Mul x6 x6 Mul Mul x0 Pow x0 Mul x6 x6 log Mul x0 Pow x0 Mul x6 x6 