x + \sin^{-1} \left(\cosh x\right)
double f(double x) { double r8021 = x; double r8022 = cosh(r8021); double r8023 = asin(r8022); double r8024 = r8021 + r8023; return r8024; }