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

```asm
<calcDistImgProjFullR>:
  endbr64
  movsd  (%r8),%xmm5
  movsd  0x10(%rdx),%xmm7
  movsd  0x8(%rdx),%xmm11
  movsd  0x8(%r8),%xmm6
  movapd %xmm5,%xmm1
  movapd %xmm7,%xmm0
  movsd  (%rdi),%xmm2
  xorpd  D22(%rip),%xmm1
  mulsd  %xmm6,%xmm0
  movsd  0x18(%rdx),%xmm4
  movsd  0x10(%r8),%xmm3
  movapd %xmm5,%xmm10
  mulsd  %xmm11,%xmm1
  movapd %xmm7,%xmm8
  movapd %xmm6,%xmm13
  movsd  D15(%rip),%xmm9
  mulsd  %xmm3,%xmm8
  subsd  %xmm0,%xmm1
  movapd %xmm4,%xmm0
  mulsd  %xmm3,%xmm0
  subsd  %xmm0,%xmm1
  movsd  (%rdx),%xmm0
  mulsd  %xmm0,%xmm10
  mulsd  %xmm0,%xmm13
  addsd  %xmm8,%xmm10
  movapd %xmm6,%xmm8
  mulsd  %xmm4,%xmm8
  mulsd  %xmm11,%xmm6
  subsd  %xmm8,%xmm10
  movapd %xmm5,%xmm8
  mulsd  %xmm4,%xmm8
  mulsd  %xmm7,%xmm5
  addsd  %xmm8,%xmm13
  movapd %xmm11,%xmm8
  mulsd  %xmm3,%xmm8
  mulsd  %xmm0,%xmm3
  subsd  %xmm8,%xmm13
  movapd %xmm0,%xmm8
  addsd  %xmm6,%xmm3
  movapd %xmm9,%xmm6
  subsd  %xmm5,%xmm3
  movapd %xmm11,%xmm5
  mulsd  %xmm1,%xmm5
  movapd %xmm3,%xmm12
  movapd %xmm0,%xmm3
  mulsd  %xmm10,%xmm3
  mulsd  %xmm12,%xmm8
  mulsd  %xmm13,%xmm0
  subsd  %xmm5,%xmm3
  movapd %xmm4,%xmm5
  mulsd  %xmm13,%xmm5
  subsd  %xmm5,%xmm3
  movapd %xmm7,%xmm5
  mulsd  %xmm12,%xmm5
  addsd  %xmm5,%xmm3
  movapd %xmm4,%xmm5
  addsd  (%rcx),%xmm3
  mulsd  %xmm1,%xmm5
  mulsd  %xmm10,%xmm4
  subsd  %xmm5,%xmm8
  movapd %xmm7,%xmm5
  mulsd  %xmm10,%xmm5
  mulsd  %xmm1,%xmm7
  movapd %xmm11,%xmm1
  mulsd  %xmm12,%xmm1
  subsd  %xmm5,%xmm8
  movapd %xmm11,%xmm5
  mulsd  %xmm13,%xmm5
  subsd  %xmm7,%xmm0
  subsd  %xmm1,%xmm0
  addsd  %xmm5,%xmm8
  addsd  0x10(%rcx),%xmm8
  movapd %xmm0,%xmm1
  addsd  %xmm4,%xmm1
  addsd  0x8(%rcx),%xmm1
  movsd  0x20(%rsi),%xmm4
  movapd %xmm8,%xmm5
  mulsd  %xmm8,%xmm5
  movapd %xmm1,%xmm7
  mulsd  %xmm1,%xmm7
  divsd  %xmm5,%xmm6
  movapd %xmm3,%xmm5
  mulsd  %xmm3,%xmm5
  mulsd  %xmm6,%xmm5
  mulsd  %xmm6,%xmm7
  mulsd  %xmm1,%xmm6
  movapd %xmm5,%xmm0
  addsd  %xmm7,%xmm0
  movapd %xmm7,%xmm11
  movapd %xmm6,%xmm10
  movsd  0x18(%rsi),%xmm6
  mulsd  %xmm0,%xmm4
  addsd  0x8(%rsi),%xmm4
  mulsd  %xmm0,%xmm4
  addsd  (%rsi),%xmm4
  mulsd  %xmm0,%xmm4
  movsd  0x10(%rsi),%xmm0
  addsd  %xmm9,%xmm4
  divsd  %xmm8,%xmm9
  movsd  D11(%rip),%xmm8
  mulsd  %xmm8,%xmm11
  mulsd  %xmm4,%xmm1
  addsd  %xmm5,%xmm11
  mulsd  %xmm8,%xmm5
  mulsd  %xmm0,%xmm11
  addsd  %xmm0,%xmm0
  addsd  %xmm7,%xmm5
  mulsd  %xmm3,%xmm0
  mulsd  %xmm6,%xmm5
  mulsd  %xmm10,%xmm0
  mulsd  %xmm9,%xmm1
  addsd  %xmm11,%xmm1
  movapd %xmm6,%xmm11
  addsd  %xmm6,%xmm11
  mulsd  %xmm3,%xmm11
  mulsd  %xmm4,%xmm3
  mulsd  %xmm10,%xmm11
  mulsd  %xmm9,%xmm3
  addsd  %xmm11,%xmm1
  addsd  %xmm3,%xmm0
  movsd  0x20(%rdi),%xmm3
  mulsd  %xmm1,%xmm3
  addsd  %xmm5,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm3,%xmm0
  addsd  0x8(%rdi),%xmm0
  movsd  %xmm0,(%r9)
  mulsd  0x18(%rdi),%xmm2
  mulsd  %xmm1,%xmm2
  addsd  0x10(%rdi),%xmm2
  movsd  %xmm2,0x8(%r9)
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D22
type_infered: byte[16]
name: extract_symbolic_data
arguments: tag: D15
type_infered: f64
name: extract_symbolic_data
arguments: tag: D11
type_infered: f64

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

tool: D15: 1

tool: D11: 3

assistant: ```c
void calcDistImgProjFullR(double a[5], double kc[5], double qr0[4], double t[3], double M[3], double n[2]) {
  double t1;
  double t11;
  double t13;
  double t17;
  double t2;
  double t22;
  double t27;
  double t3;
  double t30;
  double t31;
  double t37;
  double t38;
  double t39;
  double t40;
  double t46;
  double t47;
  double t48;
  double t49;
  double t5;
  double t58;
  double t6;
  double t60;
  double t62;
  double t64;
  double t67;
  double t8;
  double t82;
  double t9;
  {
    t1 = a[0];
    t2 = qr0[1];
    t3 = M[0];
    t5 = qr0[2];
    t6 = M[1];
    t8 = qr0[3];
    t9 = M[2];
    t11 = -t3 * t2 - t6 * t5 - t9 * t8;
    t13 = qr0[0];
    t17 = t13 * t3 + t5 * t9 - t6 * t8;
    t22 = t6 * t13 + t8 * t3 - t9 * t2;
    t27 = t13 * t9 + t2 * t6 - t5 * t3;
    t30 = -t2 * t11 + t13 * t17 - t8 * t22 + t27 * t5 + t[0];
    t31 = t30 * t30;
    t37 = -t8 * t11 + t13 * t27 - t5 * t17 + t2 * t22 + t[2];
    t38 = t37 * t37;
    t39 = 1 / t38;
    t40 = t39 * t31;
    t46 = -t5 * t11 + t13 * t22 - t27 * t2 + t17 * t8 + t[1];
    t47 = t46 * t46;
    t48 = t47 * t39;
    t49 = t40 + t48;
    t58 = 1.0 + t49 * (kc[0] + t49 * (kc[1] + t49 * kc[4]));
    t60 = 1 / t37;
    t62 = kc[2];
    t64 = t39 * t46;
    t67 = kc[3];
    t82 = t58 * t46 * t60 + t62 * (t40 + 3.0 * t48) + 2.0 * t67 * t30 * t64;
    n[0] = t1 * (t58 * t30 * t60 + 2.0 * t62 * t30 * t64 + t67 * (3.0 * t40 + t48)) + a[4] * t82 + a[1];
    n[1] = t1 * a[3] * t82 + a[2];
    return;
  }
}
```