void dpdx_e263de() {
float arg_0 = 1.0f;
float res = ddx(arg_0);
}
void fragment_main() {
dpdx_e263de();
return;