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