user: 请从给定的汇编指令推导出C源代码：

```asm
<filter_r3>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  mov    %rdi,-0x28(%rbp)
  mov    %rsi,-0x30(%rbp)
  mov    %rdx,-0x38(%rbp)
  mov    %ecx,-0x3c(%rbp)
  mov    -0x3c(%rbp),%eax
  mov    $0x8,%edx
  cmp    %edx,%eax
  cmovg  %edx,%eax
  mov    %eax,-0x14(%rbp)
  mov    -0x28(%rbp),%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  D53(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x1,-0x18(%rbp)
  jmp    L68
L73:
  mov    -0x18(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  -0x10(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x8(%rbp),%xmm1
  movsd  D53(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  addl   $0x1,-0x18(%rbp)
L68:
  mov    -0x18(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  jle    L73
  mov    -0x30(%rbp),%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  movl   $0x1,-0x18(%rbp)
  jmp    L15
L99:
  mov    -0x18(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D96(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x18(%rbp)
L15:
  mov    -0x18(%rbp),%eax
  cmp    -0x3c(%rbp),%eax
  jl     L99
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  D53(%rip),%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movl   $0x1,-0x18(%rbp)
  jmp    L30
L48:
  mov    -0x3c(%rbp),%eax
  sub    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movsd  -0x10(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x8(%rbp),%xmm1
  movsd  D53(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  addl   $0x1,-0x18(%rbp)
L30:
  mov    -0x18(%rbp),%eax
  cmp    -0x14(%rbp),%eax
  jle    L48
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0x3c(%rbp),%eax
  sub    $0x2,%eax
  mov    %eax,-0x18(%rbp)
  jmp    L74
L95:
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  mov    -0x18(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D96(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  subl   $0x1,-0x18(%rbp)
L74:
  cmpl   $0x0,-0x18(%rbp)
  jns    L95
  movl   $0x0,-0x18(%rbp)
  jmp    L5
L91:
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D14(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D135(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x18(%rbp),%eax
  cltq
  add    $0x1,%rax
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D36(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x18(%rbp),%eax
  cltq
  lea    0x0(,%rax,8),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  D47(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  addl   $0x1,-0x18(%rbp)
L5:
  mov    -0x3c(%rbp),%eax
  sub    $0x1,%eax
  cmp    %eax,-0x18(%rbp)
  jl     L91
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x38(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm1
  movsd  D14(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D135(%rip),%xmm1
  mulsd  %xmm1,%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm0
  addsd  %xmm0,%xmm1
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x28(%rbp),%rax
  add    %rdx,%rax
  movsd  (%rax),%xmm2
  movsd  D36(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  mov    -0x3c(%rbp),%eax
  cltq
  shl    $0x3,%rax
  lea    -0x8(%rax),%rdx
  mov    -0x30(%rbp),%rax
  add    %rdx,%rax
  movsd  D47(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  nop
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: tag: D53
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D96
datatype: f64
name: extract_symbolic_data
arguments: tag: D14
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D135
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D36
datatype: byte[8]
name: extract_symbolic_data
arguments: tag: D47
datatype: f64

tool: {"D53": [0x55,0x55,0x55,0x55,0x55,0x55,0xd5,0xbf]}

tool: D96: 0.3333333333333333

tool: {"D14": [0x00,0x00,0x00,0x00,0x00,0x00,0x20,0xc0]}

tool: {"D135": [0x1c,0xc7,0x71,0x1c,0xc7,0x71,0xec,0x3f]}

tool: {"D36": [0x55,0x55,0x55,0x55,0x55,0x55,0x27,0x40]}

tool: D47: 6

assistant: ```c
void filter_r3(double *x, double *y, double *t, int len) {
  double init_val, pow_val;
  int i, lookahead;
  lookahead = (len < (8) ? len : (8));
  init_val = x[0];
  pow_val = -(0.3333333333333333333333333333333);
  for (i = 1; i <= lookahead; i++) {
    init_val += pow_val * x[i - 1];
    pow_val *= -(0.3333333333333333333333333333333);
  }
  y[0] = init_val;
  for (i = 1; i < len; i++)
    y[i] = x[i - 1] - (0.3333333333333333333333333333333) * y[i - 1];
  init_val = x[len - 1];
  pow_val = -(0.3333333333333333333333333333333);
  for (i = 1; i <= lookahead; i++) {
    init_val += pow_val * x[len - i];
    pow_val *= -(0.3333333333333333333333333333333);
  }
  t[len - 1] = init_val;
  for (i = len - 2; i >= 0; i--)
    t[i] = x[i] - (0.3333333333333333333333333333333) * t[i + 1];
  for (i = 0; i < len - 1; i++)
    y[i] = (-8.0 * t[i] - 8.0 / 9.0 * y[i] + x[i + 1] + 35.0 / 3.0 * x[i]) / 6.0;
  y[len - 1] = (-8.0 * t[len - 1] - 8.0 / 9.0 * y[len - 1] + x[len - 1] + 35.0 / 3.0 * x[len - 1]) / 6.0;
}
```