Add Mul x0 x6 cosh Pow sech Pow exp x5 x7 exp cosh Pow x0 Add x0 Add 4 x0 
Add x6 Mul sinh Pow sech Pow exp x5 x7 exp cosh Pow x0 Add x0 Add 4 x0 Mul Pow sech Pow exp x5 x7 Add exp cosh Pow x0 Add x0 Add 4 x0 -1 Mul Mul sech Pow exp x5 x7 log sech Pow exp x5 x7 Mul exp cosh Pow x0 Add x0 Add 4 x0 Mul sinh Pow x0 Add x0 Add 4 x0 Mul Pow x0 Add Add x0 Add 4 x0 -1 Add Add x0 Add 4 x0 Mul Mul x0 log x0 2 