Mul cosh x7 cosh Mul x3 Pow E Pow x1 Add exp Pow x0 x5 x0 
Mul cosh x7 Mul sinh Mul x3 Pow E Pow x1 Add exp Pow x0 x5 x0 Mul x3 Mul Pow E Add Pow x1 Add exp Pow x0 x5 x0 -1 Mul Mul E log E Mul Pow x1 Add Add exp Pow x0 x5 x0 -1 Mul Mul x1 log x1 Add Mul exp Pow x0 x5 Mul Pow x0 Add x5 -1 x5 1 