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