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

```asm
<calcDistImgProjFullR>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x98,%rsp
  mov    %rdi,-0xe8(%rbp)
  mov    %rsi,-0xf0(%rbp)
  mov    %rdx,-0xf8(%rbp)
  mov    %rcx,-0x100(%rbp)
  mov    %r8,-0x108(%rbp)
  mov    %r9,-0x110(%rbp)
  mov    -0xe8(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0xe0(%rbp)
  mov    -0xf8(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0xd8(%rbp)
  mov    -0x108(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  mov    -0xf8(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  mov    -0x108(%rbp),%rax
  movsd  0x8(%rax),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  mov    -0xf8(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  mov    -0x108(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xd0(%rbp),%xmm0
  movq   D51(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  mulsd  -0xd8(%rbp),%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  -0xc8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm1
  mulsd  -0xb8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  mov    -0xf8(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xb0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc0(%rbp),%xmm1
  mulsd  -0xb8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa0(%rbp),%xmm1
  movsd  -0xb8(%rbp),%xmm0
  mulsd  -0xd0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm1
  mulsd  -0xd8(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xa0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xb0(%rbp),%xmm1
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc8(%rbp),%xmm1
  mulsd  -0xd0(%rbp),%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xd8(%rbp),%xmm0
  movq   D51(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0x98(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xb8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x90(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x88(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x100(%rbp),%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0x80(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  movq   D51(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0x88(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0xc8(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x98(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0xd8(%rbp),%xmm0
  mulsd  -0x90(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x100(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x70(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  D19(%rip),%xmm0
  divsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  movq   D51(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xa8(%rbp),%xmm1
  movsd  -0xa0(%rbp),%xmm0
  mulsd  -0x90(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x88(%rbp),%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0xd8(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x98(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x100(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0x50(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0x48(%rbp),%xmm0
  mulsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0x58(%rbp),%xmm0
  addsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0xf0(%rbp),%rax
  movsd  (%rax),%xmm1
  mov    -0xf0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  mov    -0xf0(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x38(%rbp),%xmm0
  addsd  %xmm2,%xmm0
  mulsd  -0x38(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x38(%rbp),%xmm1
  movsd  D19(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D19(%rip),%xmm0
  divsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0xf0(%rbp),%rax
  movsd  0x10(%rax),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x60(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0xf0(%rbp),%rax
  movsd  0x18(%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x28(%rbp),%xmm1
  movsd  -0x40(%rbp),%xmm2
  movsd  D83(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  -0x58(%rbp),%xmm0
  mulsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x10(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x80(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x30(%rbp),%xmm0
  mulsd  -0x80(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x28(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  addsd  %xmm0,%xmm0
  mulsd  -0x80(%rbp),%xmm0
  mulsd  -0x18(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D83(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  -0x40(%rbp),%xmm0
  mulsd  -0x10(%rbp),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0xe0(%rbp),%xmm1
  mov    -0xe8(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0xe8(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x110(%rbp),%rax
  movsd  %xmm0,(%rax)
  mov    -0xe8(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm0
  mulsd  -0xe0(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x8(%rbp),%xmm1
  mov    -0xe8(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm0
  mov    -0x110(%rbp),%rax
  add    $0x8,%rax
  addsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D51
type_infered: byte[8]
name: read_data
arguments: data_label: D19
type_infered: f64
name: read_data
arguments: data_label: D83
type_infered: f64

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

tool: D19: 1

tool: D83: 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;
  }
}
```