x + \sin^{-1} \left(\cosh x\right)
double f(double x) { double r3350 = x; double r3351 = cosh(r3350); double r3352 = asin(r3351); double r3353 = r3350 + r3352; return r3353; }