user: Please show me the C implementation that matches the assembly code listed below:

```asm
<erfc1__>:
  endbr64
  push   %rbp
  push   %rbx
  sub    $0x18,%rsp
  mov    %edi,%ebp
  movapd %xmm0,%xmm5
  movsd  %xmm0,(%rsp)
  andpd  D254(%rip),%xmm5
  movsd  %xmm5,0x8(%rsp)
  movsd  D347(%rip),%xmm0
  comisd %xmm5,%xmm0
  jae    L52
  movsd  D380(%rip),%xmm0
  movsd  0x8(%rsp),%xmm4
  comisd %xmm4,%xmm0
  jb     L109
  movapd %xmm4,%xmm0
  mulsd  D264(%rip),%xmm0
  addsd  D230(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D259(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D302(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D477(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D474(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D396(%rip),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  D14(%rip),%xmm0
  movapd %xmm4,%xmm1
  addsd  D216(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D201(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D102(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D82(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D429(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D278(%rip),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  D407(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movq   %xmm0,%rbx
L90:
  test   %ebp,%ebp
  je     L10
  pxor   %xmm0,%xmm0
  comisd (%rsp),%xmm0
  ja     L72
L149:
  movq   %rbx,%xmm0
  add    $0x18,%rsp
  pop    %rbx
  pop    %rbp
  ret
L52:
  movsd  (%rsp),%xmm6
  movapd %xmm6,%xmm2
  mulsd  %xmm6,%xmm2
  movapd %xmm2,%xmm1
  mulsd  D109(%rip),%xmm1
  subsd  D335(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  addsd  D140(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  addsd  D59(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  addsd  D197(%rip),%xmm1
  movsd  D345(%rip),%xmm3
  addsd  %xmm3,%xmm1
  movapd %xmm2,%xmm0
  mulsd  D152(%rip),%xmm0
  addsd  D196(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  D91(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm3,%xmm0
  divsd  %xmm0,%xmm1
  mulsd  %xmm6,%xmm1
  movsd  D347(%rip),%xmm3
  movapd %xmm3,%xmm0
  subsd  %xmm1,%xmm0
  addsd  %xmm3,%xmm0
  movq   %xmm0,%rbx
  test   %edi,%edi
  je     L149
  movapd %xmm2,%xmm0
  call   <exp@plt>
  movq   %rbx,%xmm7
  mulsd  %xmm0,%xmm7
  movq   %xmm7,%rbx
  jmp    L149
L109:
  movsd  D191(%rip),%xmm0
  comisd (%rsp),%xmm0
  jae    L79
  test   %edi,%edi
  jne    L13
  mov    D467(%rip),%rbx
  movsd  (%rsp),%xmm1
  comisd D470(%rip),%xmm1
  ja     L149
  mov    $0x1,%edi
  call   <exparg@plt>
  xorpd  D224(%rip),%xmm0
  mov    D467(%rip),%rbx
  movsd  (%rsp),%xmm7
  movapd %xmm7,%xmm1
  mulsd  %xmm7,%xmm1
  comisd %xmm0,%xmm1
  ja     L149
L13:
  movsd  D345(%rip),%xmm2
  movsd  (%rsp),%xmm7
  movapd %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  movapd %xmm2,%xmm3
  divsd  %xmm0,%xmm3
  movapd %xmm3,%xmm1
  mulsd  D50(%rip),%xmm1
  addsd  D151(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  D464(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  D244(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  addsd  D44(%rip),%xmm1
  mulsd  %xmm3,%xmm1
  movapd %xmm3,%xmm0
  mulsd  D276(%rip),%xmm0
  addsd  D479(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  D15(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  D446(%rip),%xmm0
  mulsd  %xmm3,%xmm0
  addsd  %xmm2,%xmm0
  divsd  %xmm0,%xmm1
  movsd  D61(%rip),%xmm0
  subsd  %xmm1,%xmm0
  divsd  0x8(%rsp),%xmm0
  movq   %xmm0,%rbx
  jmp    L90
L79:
  mov    D97(%rip),%rbx
  test   %edi,%edi
  je     L149
  movsd  (%rsp),%xmm0
  mulsd  %xmm0,%xmm0
  call   <exp@plt>
  addsd  %xmm0,%xmm0
  movq   %xmm0,%rbx
  jmp    L149
L72:
  movsd  (%rsp),%xmm0
  mulsd  %xmm0,%xmm0
  call   <exp@plt>
  addsd  %xmm0,%xmm0
  movq   %rbx,%xmm7
  subsd  %xmm7,%xmm0
  movq   %xmm0,%rbx
  jmp    L149
L10:
  movsd  (%rsp),%xmm6
  movapd %xmm6,%xmm7
  mulsd  %xmm6,%xmm7
  movsd  %xmm7,0x8(%rsp)
  movapd %xmm7,%xmm0
  xorpd  D224(%rip),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm3
  movsd  0x8(%rsp),%xmm1
  subsd  %xmm1,%xmm1
  movsd  D347(%rip),%xmm2
  movapd %xmm2,%xmm0
  subsd  %xmm1,%xmm0
  addsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm0
  movq   %rbx,%xmm3
  mulsd  %xmm0,%xmm3
  movq   %xmm3,%rbx
  pxor   %xmm0,%xmm0
  comisd (%rsp),%xmm0
  jbe    L149
  movsd  D97(%rip),%xmm0
  subsd  %xmm3,%xmm0
  movq   %xmm0,%rbx
  jmp    L149
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D254
datatype: qword[2]
name: extract_symbolic_data
arguments: data_label: D347
datatype: f64
name: extract_symbolic_data
arguments: data_label: D380
datatype: f64
name: extract_symbolic_data
arguments: data_label: D264
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D230
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D259
datatype: f64
name: extract_symbolic_data
arguments: data_label: D302
datatype: f64
name: extract_symbolic_data
arguments: data_label: D477
datatype: f64
name: extract_symbolic_data
arguments: data_label: D474
datatype: f64
name: extract_symbolic_data
arguments: data_label: D396
datatype: f64
name: extract_symbolic_data
arguments: data_label: D14
datatype: f64
name: extract_symbolic_data
arguments: data_label: D216
datatype: f64
name: extract_symbolic_data
arguments: data_label: D201
datatype: f64
name: extract_symbolic_data
arguments: data_label: D102
datatype: f64
name: extract_symbolic_data
arguments: data_label: D82
datatype: f64
name: extract_symbolic_data
arguments: data_label: D429
datatype: f64
name: extract_symbolic_data
arguments: data_label: D278
datatype: f64
name: extract_symbolic_data
arguments: data_label: D407
datatype: f64
name: extract_symbolic_data
arguments: data_label: D109
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D335
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D140
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D59
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D197
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D345
datatype: f64
name: extract_symbolic_data
arguments: data_label: D152
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D196
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D91
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D191
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D467
datatype: f64
name: extract_symbolic_data
arguments: data_label: D470
datatype: f64[2]
name: extract_symbolic_data
arguments: data_label: D224
datatype: byte[16]
name: extract_symbolic_data
arguments: data_label: D50
datatype: f64
name: extract_symbolic_data
arguments: data_label: D151
datatype: f64
name: extract_symbolic_data
arguments: data_label: D464
datatype: f64
name: extract_symbolic_data
arguments: data_label: D244
datatype: f64
name: extract_symbolic_data
arguments: data_label: D44
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D276
datatype: f64
name: extract_symbolic_data
arguments: data_label: D479
datatype: f64
name: extract_symbolic_data
arguments: data_label: D15
datatype: f64
name: extract_symbolic_data
arguments: data_label: D446
datatype: f64
name: extract_symbolic_data
arguments: data_label: D61
datatype: byte[8]
name: extract_symbolic_data
arguments: data_label: D97
datatype: f64

tool: {"D254": [0x7fffffffffffffff,0x0000000000000000]}

tool: D347: 0.5

tool: D380: 4

tool: {"D264": [0xe7,0xbd,0x5a,0x04,0xa4,0x5e,0x82,0xbe]}

tool: {"D230": [0x57,0xe7,0x03,0xc2,0xe3,0x0d,0xe2,0x3f]}

tool: D259: 7.21175825088309

tool: D302: 43.1622272220567

tool: D477: 152.98928504694

tool: D474: 339.320816734344

tool: D396: 451.918953711873

tool: D14: 300.459261020162

tool: D216: 12.7827273196294

tool: D201: 77.0001529352295

tool: D102: 277.585444743988

tool: D82: 638.980264465631

tool: D429: 931.35409485061

tool: D278: 790.950925327898

tool: D407: 300.459260956983

tool: {"D109": [0x52,0x38,0x61,0x68,0x7c,0x36,0x14,0x3f]}

tool: {"D335": [0xa8,0xa2,0x17,0x74,0x33,0xe9,0x55,0x3f]}

tool: {"D140": [0x02,0x2e,0x60,0x1c,0xa1,0x8a,0xa0,0x3f]}

tool: {"D59": [0x71,0x02,0x23,0x7a,0x25,0x88,0xa8,0x3f]}

tool: {"D197": [0x78,0xdb,0x14,0x82,0xba,0x6e,0xc0,0x3f]}

tool: D345: 1

tool: {"D152": [0x2f,0x09,0xdb,0x88,0x72,0xa9,0x68,0x3f]}

tool: {"D196": [0xfe,0x7f,0x76,0xe2,0x68,0x98,0xab,0x3f]}

tool: {"D91": [0x9f,0x56,0xde,0xa5,0x09,0x0d,0xd8,0x3f]}

tool: {"D191": [0x66,0x66,0x66,0x66,0x66,0x66,0x16,0xc0]}

tool: D467: 0

tool: {"D470": [100.0,2.10144126479064]}

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

tool: D50: 2.10144126479064

tool: D151: 26.2370141675169

tool: D464: 21.3688200555087

tool: D244: 4.6580782871847

tool: {"D44": [0x6f,0x82,0x42,0x50,0xd7,0x0d,0xd2,0x3f]}

tool: D276: 94.153775055546

tool: D479: 187.11481179959

tool: D15: 99.0191814623914

tool: D446: 18.0124575948747

tool: {"D61": [0x6a,0x9b,0x42,0x50,0xd7,0x0d,0xe2,0x3f]}

tool: D97: 2

assistant: ```c
double erfc1__(int ind, double x) {
  double c = .564189583547756;
  double a[5] = {7.7105849500132e-5, -.00133733772997339, .0323076579225834, .0479137145607681, .128379167095513};
  double b[3] = {.00301048631703895, .0538971687740286, .375795757275549};
  double p[8] = {-1.36864857382717e-7, .564195517478974, 7.21175825088309, 43.1622272220567, 152.98928504694, 339.320816734344, 451.918953711873, 300.459261020162};
  double q[8] = {1., 12.7827273196294, 77.0001529352295, 277.585444743988, 638.980264465631, 931.35409485061, 790.950925327898, 300.459260956983};
  double r[5] = {2.10144126479064, 26.2370141675169, 21.3688200555087, 4.6580782871847, .282094791773523};
  double s[4] = {94.153775055546, 187.11481179959, 99.0191814623914, 18.0124575948747};
  double ret_val;
  double e, t, w, bot, top;
  double ax = fabs(x);
  if (ax <= 0.5) {
    double t = x * x, top = (((a[0] * t + a[1]) * t + a[2]) * t + a[3]) * t + a[4] + 1.0, bot = ((b[0] * t + b[1]) * t + b[2]) * t + 1.0;
    ret_val = 0.5 - x * (top / bot) + 0.5;
    if (ind != 0) {
      ret_val = exp(t) * ret_val;
    }
    return ret_val;
  }
  if (ax <= 4.0) {
    top = ((((((p[0] * ax + p[1]) * ax + p[2]) * ax + p[3]) * ax + p[4]) * ax + p[5]) * ax + p[6]) * ax + p[7];
    bot = ((((((q[0] * ax + q[1]) * ax + q[2]) * ax + q[3]) * ax + q[4]) * ax + q[5]) * ax + q[6]) * ax + q[7];
    ret_val = top / bot;
  } else {
    if (x <= -5.6) {
      ret_val = 2.0;
      if (ind != 0) {
        ret_val = exp(x * x) * 2.0;
      }
      return ret_val;
    }
    if (ind == 0 && (x > 100.0 || x * x > -exparg(1))) {
      return 0.0;
    }
    t = 1. / (x * x);
    top = (((r[0] * t + r[1]) * t + r[2]) * t + r[3]) * t + r[4];
    bot = (((s[0] * t + s[1]) * t + s[2]) * t + s[3]) * t + 1.0;
    ret_val = (c - t * top / bot) / ax;
  }
  if (ind != 0) {
    if (x < 0.0)
      ret_val = exp(x * x) * 2.0 - ret_val;
  } else {
    w = x * x;
    t = w;
    e = w - t;
    ret_val = (0.5 - e + 0.5) * exp(-t) * ret_val;
    if (x < 0.0)
      ret_val = 2.0 - ret_val;
  }
  return ret_val;
}
```