user: What would the C source look like for the assembly code provided here:

```asm
<IncompleteGamma>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  movq   %xmm0,%rbx
  movsd  %xmm1,0x8(%rsp)
  movq   %xmm2,%rbp
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  ucomisd D73(%rip),%xmm0
  jp     L21
  pxor   %xmm0,%xmm0
  je     L18
L21:
  pxor   %xmm0,%xmm0
  movq   %rbx,%xmm6
  comisd %xmm6,%xmm0
  ja     L185
  movsd  D7(%rip),%xmm0
  pxor   %xmm1,%xmm1
  comisd 0x8(%rsp),%xmm1
  jae    L18
  movq   %rbx,%xmm0
  call   <log@plt>
  mulsd  0x8(%rsp),%xmm0
  movq   %rbx,%xmm6
  subsd  %xmm6,%xmm0
  movq   %rbp,%xmm6
  subsd  %xmm6,%xmm0
  call   <exp@plt>
  movq   %xmm0,%rdi
  movq   %rbx,%xmm4
  comisd D68(%rip),%xmm4
  jbe    L136
  movsd  0x8(%rsp),%xmm7
  comisd %xmm7,%xmm4
  jb     L33
  movsd  D68(%rip),%xmm1
  movapd %xmm1,%xmm3
  subsd  %xmm7,%xmm3
  movq   %rbx,%xmm2
  addsd  %xmm3,%xmm2
  addsd  %xmm1,%xmm2
  movsd  %xmm1,0x10(%rsp)
  mov    %rbx,0x18(%rsp)
  addsd  %xmm4,%xmm1
  movsd  %xmm1,0x20(%rsp)
  movq   %rbx,%xmm0
  mulsd  %xmm2,%xmm0
  movsd  %xmm0,0x28(%rsp)
  divsd  %xmm0,%xmm1
  movapd %xmm1,%xmm14
  pxor   %xmm4,%xmm4
  movsd  D68(%rip),%xmm5
  movsd  D70(%rip),%xmm8
  movapd %xmm4,%xmm7
  movsd  D0(%rip),%xmm10
  movapd %xmm10,%xmm6
  jmp    L118
L136:
  movsd  0x8(%rsp),%xmm2
  movsd  D68(%rip),%xmm1
  movapd %xmm1,%xmm3
  jmp    L147
L33:
  movsd  0x8(%rsp),%xmm2
  movsd  D68(%rip),%xmm1
  movapd %xmm1,%xmm3
L147:
  movsd  D68(%rip),%xmm5
  movsd  D2(%rip),%xmm4
L0:
  addsd  %xmm5,%xmm2
  movq   %rbx,%xmm0
  divsd  %xmm2,%xmm0
  mulsd  %xmm0,%xmm1
  addsd  %xmm1,%xmm3
  comisd %xmm4,%xmm1
  ja     L0
  movq   %rdi,%xmm0
  divsd  0x8(%rsp),%xmm0
  mulsd  %xmm3,%xmm0
L18:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L35
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  ret
L37:
  movq   %rdi,%xmm1
  mulsd  %xmm14,%xmm1
  movsd  D68(%rip),%xmm0
  subsd  %xmm1,%xmm0
  jmp    L18
L72:
  movapd %xmm0,%xmm14
L190:
  movsd  %xmm11,0x10(%rsp)
  movsd  %xmm12,0x18(%rsp)
  movsd  %xmm1,0x20(%rsp)
  movsd  %xmm13,0x28(%rsp)
  andpd  D45(%rip),%xmm1
  comisd %xmm1,%xmm10
  jbe    L81
L118:
  addsd  %xmm5,%xmm3
  addsd  %xmm8,%xmm2
  addsd  %xmm5,%xmm4
  movapd %xmm3,%xmm15
  mulsd  %xmm4,%xmm15
  movsd  0x20(%rsp),%xmm11
  movapd %xmm2,%xmm1
  mulsd  %xmm11,%xmm1
  movapd %xmm15,%xmm0
  mulsd  0x10(%rsp),%xmm0
  subsd  %xmm0,%xmm1
  movsd  %xmm1,0x30(%rsp)
  movsd  0x28(%rsp),%xmm12
  movapd %xmm12,%xmm13
  mulsd  %xmm2,%xmm13
  mulsd  0x18(%rsp),%xmm15
  subsd  %xmm15,%xmm13
  movsd  %xmm13,0x38(%rsp)
  ucomisd %xmm7,%xmm13
  jp     L6
  ucomisd D73(%rip),%xmm13
  je     L190
L6:
  movapd %xmm1,%xmm0
  divsd  %xmm13,%xmm0
  movapd %xmm14,%xmm15
  subsd  %xmm0,%xmm15
  andpd  D45(%rip),%xmm15
  comisd D2(%rip),%xmm15
  ja     L72
  movapd %xmm0,%xmm9
  mulsd  D2(%rip),%xmm9
  comisd %xmm15,%xmm9
  jae    L37
  movapd %xmm0,%xmm14
  jmp    L190
L81:
  lea    0x10(%rsp),%rax
  lea    0x30(%rsp),%rdx
L50:
  movsd  (%rax),%xmm1
  divsd  %xmm6,%xmm1
  movsd  %xmm1,(%rax)
  add    $0x8,%rax
  cmp    %rdx,%rax
  jne    L50
  jmp    L118
L185:
  movsd  D7(%rip),%xmm0
  jmp    L18
L35:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: tag: D73
datatype: f64
name: retrieve_data
arguments: tag: D7
datatype: byte[8]
name: retrieve_data
arguments: tag: D68
datatype: byte[16]
name: retrieve_data
arguments: tag: D70
datatype: byte[8]
name: retrieve_data
arguments: tag: D0
datatype: f64
name: retrieve_data
arguments: tag: D2
datatype: byte[16]
name: retrieve_data
arguments: tag: D45
datatype: qword[2]

tool: D73: 0

tool: {"D7": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0xbf]}

tool: {"D68": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f,0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0xbf]}

tool: {"D70": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

tool: D0: 1e+60

tool: {"D2": [0xbb,0xbd,0xd7,0xd9,0xdf,0x7c,0xdb,0x3d,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

tool: {"D45": [0x7fffffffffffffff,0x0000000000000000]}

assistant: ```c
double IncompleteGamma(double x, double alpha, double ln_gamma_alpha) {
  int i;
  double p = alpha, g = ln_gamma_alpha;
  double accurate = 1e-10, overflow = 1e60;
  double factor, gin = 0, rn = 0, a = 0, b = 0, an = 0, dif = 0, term = 0, pn[6];
  if (x == 0)
    return (0);
  if (x < 0 || p <= 0)
    return (-1);
  factor = exp(p * log(x) - x - g);
  if (x > 1 && x >= p)
    goto l30;
  gin = 1;
  term = 1;
  rn = p;
l20:
  rn++;
  term *= x / rn;
  gin += term;
  if (term > accurate)
    goto l20;
  gin *= factor / p;
  goto l50;
l30:
  a = 1 - p;
  b = a + x + 1;
  term = 0;
  pn[0] = 1;
  pn[1] = x;
  pn[2] = x + 1;
  pn[3] = x * b;
  gin = pn[2] / pn[3];
l32:
  a++;
  b += 2;
  term++;
  an = a * term;
  for (i = 0; i < 2; i++)
    pn[i + 4] = b * pn[i + 2] - an * pn[i];
  if (pn[5] == 0)
    goto l35;
  rn = pn[4] / pn[5];
  dif = fabs(gin - rn);
  if (dif > accurate)
    goto l34;
  if (dif <= accurate * rn)
    goto l42;
l34:
  gin = rn;
l35:
  for (i = 0; i < 4; i++)
    pn[i] = pn[i + 2];
  if (fabs(pn[4]) < overflow)
    goto l32;
  for (i = 0; i < 4; i++)
    pn[i] /= overflow;
  goto l32;
l42:
  gin = 1 - factor * gin;
l50:
  return (gin);
}
```