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

```asm
<pochisq>:
  endbr64
  pxor   %xmm3,%xmm3
  comisd %xmm0,%xmm3
  jae    L124
  push   %r14
  push   %rbp
  push   %rbx
  mov    %edi,%ebx
  sub    $0x30,%rsp
  test   %edi,%edi
  jle    L102
  movsd  D137(%rip),%xmm6
  mov    %edi,%ebp
  movapd %xmm0,%xmm1
  and    $0xfffffffe,%ebp
  mulsd  %xmm0,%xmm6
  movsd  %xmm6,(%rsp)
  cmp    $0x1,%edi
  je     L207
  movsd  D106(%rip),%xmm3
  pxor   %xmm2,%xmm2
  comisd %xmm3,%xmm6
  jbe    L136
L115:
  cmp    %ebx,%ebp
  jne    L223
  cmp    $0x2,%ebp
  jne    L213
L104:
  add    $0x30,%rsp
  movapd %xmm2,%xmm0
  pop    %rbx
  pop    %rbp
  pop    %r14
  ret
  nopl   0x0(%rax,%rax,1)
L223:
  movsd  %xmm2,0x10(%rsp)
L207:
  pxor   %xmm7,%xmm7
  ucomisd %xmm1,%xmm7
  ja     L101
  sqrtsd %xmm1,%xmm1
  movapd %xmm1,%xmm0
L215:
  call   <ntail@plt>
  movapd %xmm0,%xmm2
  addsd  %xmm0,%xmm2
  cmp    $0x2,%ebx
  jle    L104
  pxor   %xmm0,%xmm0
  movsd  D48(%rip),%xmm3
  cvtsi2sd %ebx,%xmm0
  movsd  %xmm3,0x8(%rsp)
  subsd  %xmm3,%xmm0
  mulsd  D137(%rip),%xmm0
  movq   %xmm0,%r14
  cmp    %ebx,%ebp
  je     L75
  movsd  (%rsp),%xmm7
  comisd D106(%rip),%xmm7
  ja     L77
  pxor   %xmm3,%xmm3
  ucomisd (%rsp),%xmm3
  ja     L166
  movsd  (%rsp),%xmm0
  sqrtsd %xmm0,%xmm0
L154:
  movsd  D78(%rip),%xmm1
  mov    D137(%rip),%rax
  divsd  %xmm0,%xmm1
  movq   %rax,%xmm0
L110:
  movq   %r14,%xmm4
  pxor   %xmm3,%xmm3
  comisd %xmm0,%xmm4
  jb     L117
  nopw   0x0(%rax,%rax,1)
L114:
  movsd  (%rsp),%xmm4
  divsd  %xmm0,%xmm4
  addsd  0x8(%rsp),%xmm0
  mulsd  %xmm4,%xmm1
  movq   %r14,%xmm4
  comisd %xmm0,%xmm4
  addsd  %xmm1,%xmm3
  jae    L114
L117:
  mulsd  0x10(%rsp),%xmm3
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r14
  addsd  %xmm3,%xmm2
  movapd %xmm2,%xmm0
  ret
  nopl   0x0(%rax)
L124:
  movsd  D48(%rip),%xmm2
  movapd %xmm2,%xmm0
  ret
  nopl   (%rax)
L213:
  pxor   %xmm0,%xmm0
  movsd  D48(%rip),%xmm7
  movsd  %xmm2,0x10(%rsp)
  cvtsi2sd %ebp,%xmm0
  movsd  %xmm7,0x8(%rsp)
  subsd  %xmm7,%xmm0
  mulsd  D137(%rip),%xmm0
  movq   %xmm0,%r14
L239:
  movsd  (%rsp),%xmm7
  movsd  0x8(%rsp),%xmm1
  comisd %xmm3,%xmm7
  movapd %xmm1,%xmm0
  jbe    L110
  movq   $0x0,0x10(%rsp)
L9:
  movsd  (%rsp),%xmm0
  movsd  %xmm2,0x20(%rsp)
  movsd  %xmm1,0x18(%rsp)
  call   <log@plt>
  movsd  0x18(%rsp),%xmm1
  movq   %r14,%xmm2
  movsd  %xmm0,0x28(%rsp)
  comisd %xmm1,%xmm2
  movsd  0x20(%rsp),%xmm2
  jae    L88
  jmp    L104
  nopw   0x0(%rax,%rax,1)
L35:
  addsd  0x8(%rsp),%xmm1
  movq   %r14,%xmm6
  addsd  %xmm3,%xmm2
  comisd %xmm1,%xmm6
  jb     L104
L88:
  movapd %xmm1,%xmm0
  movsd  %xmm2,0x20(%rsp)
  movsd  %xmm1,0x18(%rsp)
  call   <log@plt>
  movsd  0x10(%rsp),%xmm5
  pxor   %xmm3,%xmm3
  movsd  0x18(%rsp),%xmm1
  movsd  D148(%rip),%xmm6
  movsd  0x20(%rsp),%xmm2
  addsd  %xmm0,%xmm5
  movsd  0x28(%rsp),%xmm0
  mulsd  %xmm1,%xmm0
  subsd  (%rsp),%xmm0
  movsd  %xmm5,0x10(%rsp)
  subsd  %xmm5,%xmm0
  comisd %xmm0,%xmm6
  ja     L35
  call   <exp@plt>
  movsd  0x20(%rsp),%xmm2
  movsd  0x18(%rsp),%xmm1
  movapd %xmm0,%xmm3
  jmp    L35
  nopl   0x0(%rax)
L77:
  mov    D137(%rip),%rax
  movsd  D83(%rip),%xmm3
  movq   %rax,%xmm1
  movsd  %xmm3,0x10(%rsp)
  jmp    L9
  nop
L102:
  movsd  D48(%rip),%xmm2
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  movapd %xmm2,%xmm0
  pop    %r14
  ret
  nopl   (%rax)
L136:
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm6,%xmm0
  xorpd  D17(%rip),%xmm0
  movsd  %xmm3,0x10(%rsp)
  call   <exp@plt>
  movsd  0x10(%rsp),%xmm3
  movsd  0x8(%rsp),%xmm1
  movapd %xmm0,%xmm2
  jmp    L115
L101:
  movapd %xmm1,%xmm0
  call   <sqrt@plt>
  jmp    L215
L166:
  movsd  (%rsp),%xmm0
  movsd  %xmm2,0x18(%rsp)
  call   <sqrt@plt>
  movsd  0x18(%rsp),%xmm2
  jmp    L154
L75:
  movsd  D106(%rip),%xmm3
  jmp    L239
```

tool_calls: name: read_data
arguments: data_tag: D137
datatype: f64
name: read_data
arguments: data_tag: D106
datatype: f64[2]
name: read_data
arguments: data_tag: D48
datatype: f64
name: read_data
arguments: data_tag: D78
datatype: f64
name: read_data
arguments: data_tag: D148
datatype: f32[2]
name: read_data
arguments: data_tag: D83
datatype: f64
name: read_data
arguments: data_tag: D17
datatype: f32[4]

tool: D137: 0.5

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

tool: D48: 1

tool: D78: 0.5641895835477563

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

tool: D83: 0.5723649429247001

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

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);
}
```