Mul 1.54308063481524 Pow Mul exp Add Mul cosh x0 -1 x0 x0 x0 
Mul 1.54308063481524 Mul Pow Mul exp Add Mul cosh x0 -1 x0 x0 Add x0 -1 Add Mul x0 Add Mul x0 Mul exp Add Mul cosh x0 -1 x0 Add Mul -1 sinh x0 1 exp Add Mul cosh x0 -1 x0 Mul Mul exp Add Mul cosh x0 -1 x0 x0 log Mul exp Add Mul cosh x0 -1 x0 x0 