Pow cosh x0 Pow Mul 2 Mul exp Add x0 x1 -2 Mul x0 1.09975017029462 
Mul Pow cosh x0 Add Pow Mul 2 Mul exp Add x0 x1 -2 Mul x0 1.09975017029462 -1 Add Mul Pow Mul 2 Mul exp Add x0 x1 -2 Mul x0 1.09975017029462 sinh x0 Mul Mul cosh x0 log cosh x0 Mul Pow Mul 2 Mul exp Add x0 x1 -2 Add Mul x0 1.09975017029462 -1 Add Mul Mul x0 1.09975017029462 Mul 2 Mul -2 exp Add x0 x1 Mul Mul Mul 2 Mul exp Add x0 x1 -2 log Mul 2 Mul exp Add x0 x1 -2 1.09975017029462 