user: 下面的汇编指令对应的C源代码是什么：

```asm
<_libtcas_filter_MitchellNetravali>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  movsd  %xmm0,-0x48(%rbp)
  movsd  %xmm1,-0x50(%rbp)
  movsd  %xmm2,-0x58(%rbp)
  movsd  -0x50(%rbp),%xmm0
  movapd %xmm0,%xmm1
  addsd  %xmm0,%xmm1
  movsd  D248(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  -0x50(%rbp),%xmm1
  movsd  D165(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D202(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D248(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x50(%rbp),%xmm1
  movsd  D5(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D165(%rip),%xmm0
  subsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D248(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x50(%rbp),%xmm1
  movsd  D243(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D11(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x50(%rbp),%xmm1
  movsd  D21(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D50(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x50(%rbp),%xmm1
  movsd  D248(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x58(%rbp),%xmm2
  movsd  D219(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x50(%rbp),%xmm0
  movq   D214(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  -0x58(%rbp),%xmm2
  movsd  D248(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D248(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x48(%rbp),%xmm0
  jbe    L44
  movsd  -0x48(%rbp),%xmm0
  movq   D214(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
L44:
  movsd  D125(%rip),%xmm0
  comisd -0x48(%rbp),%xmm0
  jbe    L0
  movsd  -0x28(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x30(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x38(%rbp),%xmm0
  jmp    L18
L0:
  movsd  D4(%rip),%xmm0
  comisd -0x48(%rbp),%xmm0
  jbe    L11
  movsd  -0x8(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x10(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x20(%rbp),%xmm0
  jmp    L18
L11:
  pxor   %xmm0,%xmm0
L18:
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  pop    %rbp
  ret
```

tool_calls: name: unpack_data
arguments: data_tag: D248
type_infered: f64
name: unpack_data
arguments: data_tag: D165
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D202
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D5
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D243
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D11
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D21
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D50
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D219
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D214
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D125
type_infered: byte[8]
name: unpack_data
arguments: data_tag: D4
type_infered: byte[8]

tool: D248: 6

tool: {"D165": [0x00,0x00,0x00,0x00,0x00,0x00,0x28,0x40]}

tool: {"D202": [0x00,0x00,0x00,0x00,0x00,0x00,0x32,0x40]}

tool: {"D5": [0x00,0x00,0x00,0x00,0x00,0x00,0x22,0x40]}

tool: {"D243": [0x00,0x00,0x00,0x00,0x00,0x00,0x20,0x40]}

tool: {"D11": [0x00,0x00,0x00,0x00,0x00,0x00,0x38,0x40]}

tool: {"D21": [0x00,0x00,0x00,0x00,0x00,0x00,0x28,0xc0]}

tool: {"D50": [0x00,0x00,0x00,0x00,0x00,0x00,0x48,0x40]}

tool: {"D219": [0x00,0x00,0x00,0x00,0x00,0x00,0x3e,0x40]}

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

tool: {"D125": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: {"D4": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x40]}

assistant: ```c
double _libtcas_filter_MitchellNetravali(double x, double b, double c) {
  double p0, p2, p3, q0, q1, q2, q3;
  p0 = (6 - 2 * b) / 6.0;
  p2 = (-18 + 12 * b + 6 * c) / 6.0;
  p3 = (12 - 9 * b - 6 * c) / 6.0;
  q0 = (8 * b + 24 * c) / 6.0;
  q1 = (-12 * b - 48 * c) / 6.0;
  q2 = (6 * b + 30 * c) / 6.0;
  q3 = (-b - 6 * c) / 6.0;
  if (x < 0)
    x = -x;
  if (x < 1)
    return p0 + (p2 + p3 * x) * x * x;
  else if (x < 2)
    return q0 + (q1 + (q2 + q3 * x) * x) * x;
  else
    return 0;
}
```