\left(\left(\log \left(x + y\right) + \log z\right) - t\right) + \left(a - 0.5\right) \cdot \log t
double f(double x, double y, double z, double t, double a) {
double r57600 = x;
double r57601 = y;
double r57602 = r57600 + r57601;
double r57603 = log(r57602);
double r57604 = z;
double r57605 = log(r57604);
double r57606 = r57603 + r57605;
double r57607 = t;
double r57608 = r57606 - r57607;
double r57609 = a;
double r57610 = 0.5;
double r57611 = r57609 - r57610;
double r57612 = log(r57607);
double r57613 = r57611 * r57612;
double r57614 = r57608 + r57613;
return r57614;
}