Pow cosh Mul Add Add exp Add x0 x0 Pow x0 x3 x0 sech Mul x3 x5 1.77215424758523 
Mul Pow cosh Mul Add Add exp Add x0 x0 Pow x0 x3 x0 sech Mul x3 x5 0.772154247585227 Mul 1.77215424758523 Mul sinh Mul Add Add exp Add x0 x0 Pow x0 x3 x0 sech Mul x3 x5 Mul sech Mul x3 x5 Add Add Mul exp Add x0 x0 2 Mul Pow x0 Add x3 -1 x3 1 