user: Demonstrate the C code that generates the assembly output below:

```asm
<eval_pol20>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x100,%rsp
  mov    %rdi,-0xe8(%rbp)
  movsd  %xmm0,-0xf0(%rbp)
  movsd  %xmm1,-0xf8(%rbp)
  movsd  %xmm2,-0x100(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movsd  -0xf8(%rbp),%xmm0
  movsd  %xmm0,-0xc8(%rbp)
  movsd  -0xf0(%rbp),%xmm0
  movsd  %xmm0,-0xc0(%rbp)
  movsd  -0x100(%rbp),%xmm0
  movsd  %xmm0,-0xb8(%rbp)
  movsd  D4(%rip),%xmm0
  movsd  %xmm0,-0xb0(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0xa8(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0xa0(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x98(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x90(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x88(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x80(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xc0(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xc8(%rbp),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0xc0(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0xc8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0xb8(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  -0xb8(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  movl   $0x0,-0xd4(%rbp)
  jmp    L0
L21:
  mov    -0xd4(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0xe8(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  mov    -0xd4(%rbp),%eax
  cltq
  movsd  -0xb0(%rbp,%rax,8),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0xd0(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0xd0(%rbp)
  addl   $0x1,-0xd4(%rbp)
L0:
  cmpl   $0x13,-0xd4(%rbp)
  jle    L21
  movsd  -0xd0(%rbp),%xmm0
  movq   %xmm0,%rax
  mov    -0x8(%rbp),%rdx
  sub    %fs:0x28,%rdx
  je     L29
  call   <__stack_chk_fail@plt>
L29:
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D4
datatype: f32[2]

tool: {"D4": [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;
}
```