user: Please show me the C implementation that matches the assembly code listed below:

```asm
<gint1_fn_cD>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x70,%rsp
  mov    %rdi,-0x48(%rbp)
  movsd  %xmm0,-0x50(%rbp)
  mov    %rsi,-0x58(%rbp)
  mov    %rdx,-0x60(%rbp)
  mov    -0x58(%rbp),%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0x58(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x48(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x38(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  D78(%rip),%xmm0
  mov    -0x50(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0x50(%rbp),%xmm0
  movq   D61(%rip),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  mulsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x10(%rbp),%xmm1
  movsd  D16(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x8(%rbp),%xmm0
  mov    -0x60(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x8(%rbp),%xmm1
  movsd  D3(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  mov    -0x60(%rbp),%rax
  add    $0x8,%rax
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x38(%rbp),%xmm1
  movsd  D3(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  add    $0x10,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x18(%rbp),%xmm1
  movsd  D16(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  add    $0x18,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x30(%rbp),%xmm1
  movsd  D3(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  add    $0x20,%rax
  mulsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movsd  -0x20(%rbp),%xmm1
  movsd  D16(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x60(%rbp),%rax
  add    $0x28,%rax
  mulsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: unpack_data
arguments: tag: D78
type_infered: f64
name: unpack_data
arguments: tag: D61
type_infered: byte[8]
name: unpack_data
arguments: tag: D16
type_infered: f64
name: unpack_data
arguments: tag: D3
type_infered: f64

tool: D78: 1.75

tool: {"D61": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80]}

tool: D16: 1.64592278064949

tool: D3: 2.85082188141996

assistant: ```c
void gint1_fn_cD(double *a, double a_a, double *p, double *out) {
  double tmp2, tmp3, tmp4, tmp8, v_0, v_1, v_2;
  v_0 = p[0] - a[0];
  v_1 = p[1] - a[1];
  v_2 = p[2] - a[2];
  tmp2 = v_2 * v_2;
  tmp3 = v_1 * v_1;
  tmp4 = v_0 * v_0;
  tmp8 = pow(a_a, 1.75) * exp(-a_a * (tmp2 + tmp3 + tmp4));
  out[0] = 1.64592278064949 * tmp4 * tmp8;
  out[1] = 2.85082188141996 * tmp8 * v_0 * v_1;
  v_2 = tmp8 * v_2;
  out[2] = 2.85082188141996 * v_0 * v_2;
  out[3] = 1.64592278064949 * tmp3 * tmp8;
  out[4] = 2.85082188141996 * v_1 * v_2;
  out[5] = 1.64592278064949 * tmp2 * tmp8;
}
```