Pow x0 cosh exp Pow Mul Mul -2 Mul x0 -1 x0 9 
Mul Pow x0 Add cosh exp Pow Mul Mul -2 Mul x0 -1 x0 9 -1 Add cosh exp Pow Mul Mul -2 Mul x0 -1 x0 9 Mul Mul x0 log x0 Mul sinh exp Pow Mul Mul -2 Mul x0 -1 x0 9 Mul exp Pow Mul Mul -2 Mul x0 -1 x0 9 Mul Pow Mul Mul -2 Mul x0 -1 x0 8 Mul 9 Add Mul x0 3 Mul -2 Mul x0 -1 