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

```asm
<gint1_fn_cF>:
  endbr64
  push   %r14
  push   %rbp
  push   %rbx
  sub    $0x30,%rsp
  movq   %xmm0,%rbp
  mov    %rdx,%rbx
  movsd  (%rsi),%xmm0
  movapd %xmm0,%xmm7
  subsd  (%rdi),%xmm7
  movsd  0x8(%rsi),%xmm0
  movapd %xmm0,%xmm8
  subsd  0x8(%rdi),%xmm8
  movsd  0x10(%rsi),%xmm0
  subsd  0x10(%rdi),%xmm0
  movapd %xmm0,%xmm5
  movsd  %xmm0,0x28(%rsp)
  mulsd  %xmm0,%xmm5
  movsd  %xmm5,(%rsp)
  movapd %xmm8,%xmm9
  movsd  %xmm8,0x20(%rsp)
  mulsd  %xmm8,%xmm9
  movsd  %xmm9,0x8(%rsp)
  movapd %xmm7,%xmm4
  movsd  %xmm7,0x18(%rsp)
  mulsd  %xmm7,%xmm4
  movsd  %xmm4,0x10(%rsp)
  movsd  D49(%rip),%xmm1
  movq   %rbp,%xmm0
  call   <pow@plt>
  movq   %xmm0,%r14
  movsd  (%rsp),%xmm0
  addsd  0x8(%rsp),%xmm0
  addsd  0x10(%rsp),%xmm0
  movq   %rbp,%xmm1
  xorpd  D24(%rip),%xmm1
  mulsd  %xmm1,%xmm0
  call   <exp@plt>
  movq   %r14,%xmm5
  mulsd  %xmm5,%xmm0
  movsd  0x18(%rsp),%xmm7
  movapd %xmm7,%xmm3
  mulsd  %xmm0,%xmm3
  movsd  D28(%rip),%xmm5
  movsd  0x10(%rsp),%xmm4
  movapd %xmm4,%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm3,%xmm1
  movsd  %xmm1,(%rbx)
  movsd  0x20(%rsp),%xmm8
  movapd %xmm8,%xmm6
  mulsd  %xmm0,%xmm6
  movsd  D12(%rip),%xmm2
  mulsd  %xmm2,%xmm4
  movapd %xmm4,%xmm1
  mulsd  %xmm6,%xmm4
  movsd  %xmm4,0x8(%rbx)
  mulsd  0x28(%rsp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x10(%rbx)
  movsd  0x8(%rsp),%xmm9
  movapd %xmm9,%xmm4
  mulsd  %xmm2,%xmm4
  movapd %xmm4,%xmm1
  mulsd  %xmm3,%xmm1
  movsd  %xmm1,0x18(%rbx)
  mulsd  D27(%rip),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm8,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x20(%rbx)
  movsd  (%rsp),%xmm7
  mulsd  %xmm7,%xmm2
  mulsd  %xmm2,%xmm3
  movsd  %xmm3,0x28(%rbx)
  movapd %xmm9,%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  %xmm6,%xmm1
  movsd  %xmm1,0x30(%rbx)
  mulsd  %xmm0,%xmm4
  movsd  %xmm4,0x38(%rbx)
  mulsd  %xmm6,%xmm2
  movsd  %xmm2,0x40(%rbx)
  mulsd  %xmm5,%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,0x48(%rbx)
  add    $0x30,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r14
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D49
type_guessed: f64
name: extract_symbolic_data
arguments: data_tag: D24
type_guessed: byte[16]
name: extract_symbolic_data
arguments: data_tag: D28
type_guessed: f64
name: extract_symbolic_data
arguments: data_tag: D12
type_guessed: f64
name: extract_symbolic_data
arguments: data_tag: D27
type_guessed: f64

tool: D49: 2.25

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

tool: D28: 1.47215808929909

tool: D12: 3.29184556129898

tool: D27: 5.70164376283992

assistant: ```c
void gint1_fn_cF(double *a, double a_a, double *p, double *out) {
  double tmp11, tmp2, tmp3, tmp4, tmp6, tmp7, 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;
  tmp11 = pow(a_a, 2.25) * exp(-a_a * (tmp2 + tmp3 + tmp4));
  tmp7 = tmp11 * v_0;
  out[0] = 1.47215808929909 * tmp4 * tmp7;
  tmp6 = tmp11 * v_1;
  out[1] = 3.29184556129898 * tmp4 * tmp6;
  v_2 = tmp11 * v_2;
  out[2] = 3.29184556129898 * tmp4 * v_2;
  out[3] = 3.29184556129898 * tmp3 * tmp7;
  out[4] = 5.70164376283992 * v_0 * v_1 * v_2;
  out[5] = 3.29184556129898 * tmp2 * tmp7;
  out[6] = 1.47215808929909 * tmp3 * tmp6;
  out[7] = 3.29184556129898 * tmp3 * v_2;
  out[8] = 3.29184556129898 * tmp2 * tmp6;
  out[9] = 1.47215808929909 * tmp2 * v_2;
}
```