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

```asm
<LnGamma>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D92(%rip),%xmm0
  comisd -0x20(%rbp),%xmm0
  jbe    L3
  movsd  D26(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movsd  D26(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L25
L9:
  movsd  -0x18(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
L25:
  movsd  -0x10(%rbp),%xmm1
  movsd  D26(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  D92(%rip),%xmm0
  comisd -0x10(%rbp),%xmm0
  ja     L9
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  setp   %al
  mov    $0x1,%edx
  pxor   %xmm0,%xmm0
  ucomisd -0x18(%rbp),%xmm0
  cmovne %edx,%eax
  movzbl %al,%eax
  mov    %eax,%edi
  call   <assert@plt>
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  movq   %xmm0,%rax
  movq   D3(%rip),%xmm0
  movq   %rax,%xmm3
  xorpd  %xmm0,%xmm3
  movapd %xmm3,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L3:
  movsd  -0x20(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D26(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x20(%rbp),%xmm0
  movsd  D21(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <log@plt>
  mulsd  -0x30(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x20(%rbp),%xmm1
  movsd  D73(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x10(%rbp),%xmm2
  movsd  D66(%rip),%xmm0
  mulsd  %xmm0,%xmm2
  movsd  D129(%rip),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movsd  D105(%rip),%xmm2
  subsd  %xmm2,%xmm0
  movapd %xmm0,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D39(%rip),%xmm0
  addsd  %xmm2,%xmm0
  divsd  -0x20(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D92
data_type: f64
name: extract_symbolic_data
arguments: tag: D26
data_type: f64
name: extract_symbolic_data
arguments: tag: D3
data_type: f32[2]
name: extract_symbolic_data
arguments: tag: D21
data_type: f64
name: extract_symbolic_data
arguments: tag: D73
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D66
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D129
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D105
data_type: byte[8]
name: extract_symbolic_data
arguments: tag: D39
data_type: byte[8]

tool: D92: 7

tool: D26: 1

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

tool: D21: 0.5

tool: {"D73": [0xb7,0xbe,0x64,0xc8,0xf1,0x67,0xed,0x3f]}

tool: {"D66": [0xa5,0x34,0x81,0x13,0x38,0x81,0x43,0xbf]}

tool: {"D129": [0x89,0xa7,0x01,0x1a,0xa0,0x01,0x4a,0x3f]}

tool: {"D105": [0x17,0x6e,0xc1,0x16,0x6c,0xc1,0x66,0x3f]}

tool: {"D39": [0x3d,0x55,0x55,0x55,0x55,0x55,0xb5,0x3f]}

assistant: ```c
double LnGamma(double alpha) {
  double x, f, z, result;
  x = alpha;
  f = 0.0;
  if (x < 7.0) {
    f = 1.0;
    z = alpha - 1.0;
    while ((z = z + 1.0) < 7.0) {
      f *= z;
    }
    x = z;
    assert(f != 0.0);
    f = -log(f);
  }
  z = 1 / (x * x);
  result = f + (x - 0.5) * log(x) - x + .918938533204673 + (((-.000595238095238 * z + .000793650793651) * z - .002777777777778) * z + .083333333333333) / x;
  return result;
}
```