cosh Pow Pow Pow x0 x4 log Mul -4 x0 5 
Mul sinh Pow Pow Pow x0 x4 log Mul -4 x0 5 Mul Pow Pow Pow x0 x4 log Mul -4 x0 4 Mul 5 Mul Pow Pow x0 x4 Add log Mul -4 x0 -1 Add Mul log Mul -4 x0 Mul Pow x0 Add x4 -1 x4 Mul Mul Pow x0 x4 log Pow x0 x4 Mul -4 Pow Mul -4 x0 -1 