-\frac{1}{\frac{\pi}{4}} \cdot \log \left(\frac{e^{\frac{\pi}{4} \cdot f} + e^{-\frac{\pi}{4} \cdot f}}{e^{\frac{\pi}{4} \cdot f} - e^{-\frac{\pi}{4} \cdot f}}\right)double f(double f) {
double r7996 = 1.0;
double r7997 = atan2(1.0, 0.0);
double r7998 = 4.0;
double r7999 = r7997 / r7998;
double r8000 = r7996 / r7999;
double r8001 = f;
double r8002 = r7999 * r8001;
double r8003 = exp(r8002);
double r8004 = -r8002;
double r8005 = exp(r8004);
double r8006 = r8003 + r8005;
double r8007 = r8003 - r8005;
double r8008 = r8006 / r8007;
double r8009 = log(r8008);
double r8010 = r8000 * r8009;
double r8011 = -r8010;
return r8011;
}