x + \sin^{-1} \left(\cosh x\right)
double f(double x) { double r1830602 = x; double r1830603 = cosh(r1830602); double r1830604 = asin(r1830603); double r1830605 = r1830602 + r1830604; return r1830605; }