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

```asm
<plfit_kolmogorov>:
  endbr64
  push   %r14
  movapd %xmm0,%xmm2
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x70,%rsp
  andpd  D126(%rip),%xmm2
  movsd  D56(%rip),%xmm3
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  movapd D101(%rip),%xmm1
  comisd %xmm2,%xmm3
  movaps %xmm1,0x20(%rsp)
  movapd D52(%rip),%xmm1
  movaps %xmm1,0x30(%rsp)
  movsd  D55(%rip),%xmm1
  ja     L41
  movsd  D114(%rip),%xmm3
  comisd %xmm2,%xmm3
  ja     L17
  movsd  D44(%rip),%xmm1
  comisd %xmm2,%xmm1
  ja     L65
  pxor   %xmm1,%xmm1
L41:
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L66
  add    $0x70,%rsp
  movapd %xmm1,%xmm0
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  ret
  nopl   (%rax)
L65:
  pxor   %xmm1,%xmm1
  mov    $0x1,%eax
  lea    0x20(%rsp),%r13
  movaps %xmm1,0x40(%rsp)
  mulsd  %xmm0,%xmm0
  lea    0x40(%rsp),%r12
  movaps %xmm1,0x50(%rsp)
  movsd  D105(%rip),%xmm1
  divsd  %xmm2,%xmm1
  movq   %xmm0,%r14
  addsd  D85(%rip),%xmm1
  cvttsd2si %xmm1,%rbp
  test   %rbp,%rbp
  cmovle %rax,%rbp
  xor    %ebx,%ebx
L5:
  movq   %r14,%xmm0
  mulsd  0x0(%r13,%rbx,8),%xmm0
  call   <exp@plt>
  movsd  %xmm0,(%r12,%rbx,8)
  add    $0x1,%rbx
  cmp    %rbx,%rbp
  jne    L5
  movsd  0x40(%rsp),%xmm1
  subsd  0x48(%rsp),%xmm1
  addsd  0x50(%rsp),%xmm1
  subsd  0x58(%rsp),%xmm1
  addsd  %xmm1,%xmm1
  jmp    L41
  nopl   0x0(%rax)
L17:
  mulsd  %xmm0,%xmm0
  movapd %xmm1,%xmm4
  movsd  %xmm2,0x18(%rsp)
  movsd  %xmm1,0x10(%rsp)
  divsd  %xmm0,%xmm4
  movapd %xmm4,%xmm0
  movq   %xmm4,%rbx
  mulsd  D120(%rip),%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm5
  mulsd  D59(%rip),%xmm5
  movsd  %xmm0,(%rsp)
  movapd %xmm5,%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm6
  mulsd  D48(%rip),%xmm6
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm6,%xmm0
  call   <exp@plt>
  movsd  (%rsp),%xmm7
  addsd  0x8(%rsp),%xmm7
  movapd %xmm0,%xmm3
  movsd  0x18(%rsp),%xmm2
  movsd  0x10(%rsp),%xmm1
  movapd %xmm7,%xmm0
  addsd  %xmm3,%xmm0
  mulsd  D122(%rip),%xmm0
  divsd  %xmm2,%xmm0
  subsd  %xmm0,%xmm1
  jmp    L41
L66:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_label: D126
data_type: qword[2]
name: disassemble_data
arguments: data_label: D56
data_type: f64
name: disassemble_data
arguments: data_label: D101
data_type: byte[16]
name: disassemble_data
arguments: data_label: D52
data_type: byte[16]
name: disassemble_data
arguments: data_label: D55
data_type: f64
name: disassemble_data
arguments: data_label: D114
data_type: f64
name: disassemble_data
arguments: data_label: D44
data_type: f64
name: disassemble_data
arguments: data_label: D105
data_type: f64
name: disassemble_data
arguments: data_label: D85
data_type: f64
name: disassemble_data
arguments: data_label: D120
data_type: byte[8]
name: disassemble_data
arguments: data_label: D59
data_type: byte[8]
name: disassemble_data
arguments: data_label: D48
data_type: byte[8]
name: disassemble_data
arguments: data_label: D122
data_type: f64

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

tool: D56: 0.2

tool: {"D101": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0xc0,0x00,0x00,0x00,0x00,0x00,0x00,0x20,0xc0]}

tool: {"D52": [0x00,0x00,0x00,0x00,0x00,0x00,0x32,0xc0,0x00,0x00,0x00,0x00,0x00,0x00,0x40,0xc0]}

tool: D55: 1

tool: D114: 0.755

tool: D44: 6.8116

tool: D105: 3

tool: D85: 0.5

tool: {"D120": [0xde,0x45,0xbe,0xc9,0x3c,0xbd,0xf3,0xbf]}

tool: {"D59": [0x9a,0x0e,0xf6,0x62,0xe4,0x34,0x26,0xc0]}

tool: {"D48": [0x2b,0x4d,0x39,0xfb,0xae,0xd7,0x3e,0xc0]}

tool: D122: 2.50662827

assistant: ```c
double plfit_kolmogorov(double z) {
  const double fj[4] = {-2, -8, -18, -32};
  const double w = 2.50662827;
  const double c1 = -1.2337005501361697;
  const double c2 = -11.103304951225528;
  const double c3 = -30.842513753404244;
  double u = fabs(z);
  double v;
  if (u < 0.2)
    return 1;
  if (u < 0.755) {
    v = 1.0 / (u * u);
    return 1 - w * (exp(c1 * v) + exp(c2 * v) + exp(c3 * v)) / u;
  }
  if (u < 6.8116) {
    double r[4] = {0, 0, 0, 0};
    long int maxj = (long int)(3.0 / u + 0.5);
    long int j;
    if (maxj < 1)
      maxj = 1;
    v = u * u;
    for (j = 0; j < maxj; j++) {
      r[j] = exp(fj[j] * v);
    }
    return 2 * (r[0] - r[1] + r[2] - r[3]);
  }
  return 0;
}
```