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