x + \sin^{-1} \left(\cosh x\right)
double f(double x) { double r1468125 = x; double r1468126 = cosh(r1468125); double r1468127 = asin(r1468126); double r1468128 = r1468125 + r1468127; return r1468128; }