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

```asm
<eval_pol20>:
  endbr64
  movapd %xmm0,%xmm3
  sub    $0xb8,%rsp
  movapd %xmm1,%xmm5
  mov    D0(%rip),%rcx
  mov    %fs:0x28,%rdx
  mov    %rdx,0xa8(%rsp)
  xor    %edx,%edx
  mulsd  %xmm0,%xmm3
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm1,%xmm4
  mulsd  %xmm0,%xmm5
  movapd %xmm1,%xmm7
  mov    %rcx,(%rsp)
  movapd %xmm2,%xmm6
  mulsd  %xmm1,%xmm4
  movapd %xmm0,%xmm8
  movsd  %xmm1,0x10(%rsp)
  movsd  %xmm2,0x18(%rsp)
  mulsd  %xmm2,%xmm8
  mulsd  %xmm2,%xmm7
  mulsd  %xmm3,%xmm0
  movsd  %xmm3,0x38(%rsp)
  movsd  %xmm5,0x20(%rsp)
  mulsd  %xmm2,%xmm6
  movapd %xmm5,%xmm9
  mulsd  %xmm1,%xmm5
  movsd  %xmm4,0x40(%rsp)
  movsd  %xmm8,0x28(%rsp)
  mulsd  %xmm2,%xmm9
  movsd  %xmm7,0x30(%rsp)
  mulsd  %xmm2,%xmm8
  movsd  %xmm0,0x58(%rsp)
  mulsd  %xmm2,%xmm7
  movapd %xmm3,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm6,0x48(%rsp)
  mulsd  %xmm4,%xmm1
  movsd  %xmm5,0x60(%rsp)
  mulsd  %xmm2,%xmm3
  movsd  %xmm9,0x50(%rsp)
  mulsd  %xmm2,%xmm4
  movsd  %xmm8,0x68(%rsp)
  movsd  %xmm7,0x80(%rsp)
  mulsd  %xmm2,%xmm6
  movsd  %xmm0,0x70(%rsp)
  movupd (%rdi),%xmm0
  mulpd  (%rsp),%xmm0
  movsd  %xmm1,0x78(%rsp)
  pxor   %xmm1,%xmm1
  movsd  %xmm3,0x88(%rsp)
  movsd  %xmm4,0x90(%rsp)
  movsd  %xmm6,0x98(%rsp)
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm0,%xmm1
  movupd 0x10(%rdi),%xmm0
  mulpd  0x10(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm2
  movupd 0x20(%rdi),%xmm0
  mulpd  0x20(%rsp),%xmm0
  addsd  %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  movupd 0x30(%rdi),%xmm0
  mulpd  0x30(%rsp),%xmm0
  addsd  %xmm2,%xmm1
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm2
  movupd 0x40(%rdi),%xmm0
  mulpd  0x40(%rsp),%xmm0
  addsd  %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  movupd 0x50(%rdi),%xmm0
  mulpd  0x50(%rsp),%xmm0
  addsd  %xmm2,%xmm1
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm2
  movupd 0x60(%rdi),%xmm0
  mulpd  0x60(%rsp),%xmm0
  addsd  %xmm1,%xmm2
  addsd  %xmm0,%xmm2
  unpckhpd %xmm0,%xmm0
  movapd %xmm0,%xmm1
  movupd 0x70(%rdi),%xmm0
  mulpd  0x70(%rsp),%xmm0
  addsd  %xmm2,%xmm1
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm0
  movupd 0x80(%rdi),%xmm1
  mulpd  0x80(%rsp),%xmm1
  addsd  %xmm1,%xmm0
  unpckhpd %xmm1,%xmm1
  addsd  %xmm0,%xmm1
  movupd 0x90(%rdi),%xmm0
  mulpd  0x90(%rsp),%xmm0
  addsd  %xmm0,%xmm1
  unpckhpd %xmm0,%xmm0
  addsd  %xmm1,%xmm0
  mov    0xa8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L4
  add    $0xb8,%rsp
  ret
L4:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: retrieve_data
arguments: data_tag: D0
type_infered: f32[2]

tool: {"D0": [0.0,1.875]}

assistant: ```c
double eval_pol20(double c[20], double x, double y, double z) {
  double col = y;
  double lig = x;
  double alt = z;
  double m[20] = {1, lig, col, alt, lig * col, lig * alt, col * alt, lig * lig, col * col, alt * alt, col * lig * alt, lig * lig * lig, lig * col * col, lig * alt * alt, lig * lig * col, col * col * col, col * alt * alt, lig * lig * alt, col * col * alt, alt * alt * alt};
  double r = 0;
  for (int i = 0; i < 20; i++)
    r += c[i] * m[i];
  return r;
}
```