user: What is the c source code of the assembly code below:

```asm
<pochisq>:
  endbr64
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x20,%rsp
  movapd %xmm0,%xmm7
  movsd  %xmm0,(%rsp)
  pxor   %xmm0,%xmm0
  comisd %xmm7,%xmm0
  jae    L114
  mov    %edi,%ebx
  test   %edi,%edi
  jle    L264
  mulsd  D2(%rip),%xmm7
  movsd  %xmm7,0x8(%rsp)
  mov    %edi,%r12d
  shr    $0x1f,%r12d
  add    %edi,%r12d
  and    $0xfffffffe,%r12d
  cmp    $0x1,%edi
  jle    L238
  movq   %xmm0,%rbp
  comisd D166(%rip),%xmm7
  jbe    L161
L238:
  cmp    %ebx,%r12d
  jne    L224
  cmp    $0x2,%ebx
  jle    L16
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  subsd  D72(%rip),%xmm0
  mulsd  D2(%rip),%xmm0
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm1
  comisd D166(%rip),%xmm1
  ja     L128
  mov    %rbp,%r12
  movsd  D72(%rip),%xmm0
  movapd %xmm0,%xmm1
  jmp    L180
L161:
  movapd %xmm7,%xmm0
  xorpd  D152(%rip),%xmm0
  call   <exp@plt>
  movq   %xmm0,%rbp
  jmp    L238
L224:
  pxor   %xmm0,%xmm0
  movsd  (%rsp),%xmm1
  ucomisd %xmm1,%xmm0
  ja     L4
  sqrtsd %xmm1,%xmm1
  movapd %xmm1,%xmm0
L36:
  call   <ntail@plt>
  addsd  %xmm0,%xmm0
  movq   %xmm0,%r12
  cmp    $0x2,%ebx
  jle    L25
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm0
  subsd  D72(%rip),%xmm0
  mulsd  D2(%rip),%xmm0
  movq   %xmm0,%rbx
  movsd  0x8(%rsp),%xmm2
  comisd D166(%rip),%xmm2
  ja     L52
  pxor   %xmm0,%xmm0
  ucomisd 0x8(%rsp),%xmm0
  ja     L26
  movsd  0x8(%rsp),%xmm0
  sqrtsd %xmm0,%xmm0
L121:
  movsd  D52(%rip),%xmm1
  divsd  %xmm0,%xmm1
  movsd  D2(%rip),%xmm0
L180:
  pxor   %xmm2,%xmm2
  movsd  D72(%rip),%xmm4
  movq   %rbx,%xmm6
  comisd %xmm0,%xmm6
  jb     L210
L50:
  movsd  0x8(%rsp),%xmm3
  divsd  %xmm0,%xmm3
  mulsd  %xmm3,%xmm1
  addsd  %xmm1,%xmm2
  addsd  %xmm4,%xmm0
  movq   %rbx,%xmm7
  comisd %xmm0,%xmm7
  jae    L50
L66:
  movq   %rbp,%xmm3
  mulsd  %xmm2,%xmm3
  movq   %r12,%xmm5
  addsd  %xmm3,%xmm5
  movq   %xmm5,%rbp
  jmp    L16
L4:
  movsd  (%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L36
L25:
  movq   %xmm0,%rbp
  jmp    L16
L128:
  movsd  D72(%rip),%xmm2
  movsd  %xmm2,(%rsp)
  pxor   %xmm4,%xmm4
  movsd  %xmm4,0x10(%rsp)
  jmp    L206
L52:
  mov    %r12,%rbp
  movsd  D2(%rip),%xmm2
  movsd  %xmm2,(%rsp)
  movsd  D192(%rip),%xmm4
  movsd  %xmm4,0x10(%rsp)
L206:
  movsd  0x8(%rsp),%xmm0
  call   <log@plt>
  movsd  %xmm0,0x18(%rsp)
  movq   %rbx,%xmm2
  comisd (%rsp),%xmm2
  jb     L16
  mov    D163(%rip),%r12
  jmp    L162
L148:
  movq   %rbp,%xmm3
  addsd  %xmm1,%xmm3
  movq   %xmm3,%rbp
  movsd  D72(%rip),%xmm6
  addsd  (%rsp),%xmm6
  movsd  %xmm6,(%rsp)
  movq   %rbx,%xmm4
  comisd %xmm6,%xmm4
  jb     L16
L162:
  movsd  (%rsp),%xmm0
  call   <log@plt>
  movapd %xmm0,%xmm5
  addsd  0x10(%rsp),%xmm5
  movsd  %xmm5,0x10(%rsp)
  movsd  0x18(%rsp),%xmm4
  mulsd  (%rsp),%xmm4
  movapd %xmm4,%xmm0
  subsd  0x8(%rsp),%xmm0
  subsd  %xmm5,%xmm0
  movq   %r12,%xmm1
  movsd  D134(%rip),%xmm2
  comisd %xmm0,%xmm2
  ja     L148
  call   <exp@plt>
  movapd %xmm0,%xmm1
  jmp    L148
L26:
  movsd  0x8(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L121
L210:
  pxor   %xmm2,%xmm2
  jmp    L66
L114:
  mov    D72(%rip),%rbp
L16:
  movq   %rbp,%xmm0
  add    $0x20,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
L264:
  mov    D72(%rip),%rbp
  jmp    L16
```

tool_calls: name: extract_symbolic_data
arguments: tag: D2
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D166
type_guessed: f64[2]
name: extract_symbolic_data
arguments: tag: D72
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D152
type_guessed: f32[4]
name: extract_symbolic_data
arguments: tag: D52
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D192
type_guessed: f64
name: extract_symbolic_data
arguments: tag: D163
type_guessed: f32[2]
name: extract_symbolic_data
arguments: tag: D134
type_guessed: f32[2]

tool: D2: 0.5

tool: {"D166": [20.0,-20.0]}

tool: D72: 1

tool: {"D152": [0.0,-0.0,0.0,0.0]}

tool: D52: 0.5641895835477563

tool: D192: 0.5723649429247001

tool: {"D163": [0.0,0.0]}

tool: {"D134": [0.0,-2.8125]}

assistant: ```c
double pochisq(double x, int df) {
  double a, y, s;
  double e, c, z;
  double poz();
  int even;
  if (x <= 0.0 || df < 1)
    return (1.0);
  a = 0.5 * x;
  even = (2 * (df / 2)) == df;
  if (df > 1)
    y = (((-a) < -20.0) ? 0.0 : exp(-a));
  s = (even ? y : (2.0 * ntail(sqrt(x))));
  if (df > 2) {
    x = 0.5 * (df - 1.0);
    z = (even ? 1.0 : 0.5);
    if (a > 20.0) {
      e = (even ? 0.0 : 0.5723649429247000870717135);
      c = log(a);
      while (z <= x) {
        e = log(z) + e;
        s += (((c * z - a - e) < -20.0) ? 0.0 : exp(c * z - a - e));
        z += 1.0;
      }
      return (s);
    } else {
      e = (even ? 1.0 : (0.5641895835477562869480795 / sqrt(a)));
      c = 0.0;
      while (z <= x) {
        e = e * (a / z);
        c = c + e;
        z += 1.0;
      }
      return (c * y + s);
    }
  } else
    return (s);
}
```