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

```asm
<erfcc>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x20,%rsp
  movss  %xmm0,-0x14(%rbp)
  mov    -0x14(%rbp),%eax
  movd   %eax,%xmm0
  call   <fabs@plt>
  movd   %xmm0,%eax
  mov    %eax,-0xc(%rbp)
  pxor   %xmm1,%xmm1
  cvtss2sd -0xc(%rbp),%xmm1
  movsd  D13(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D33(%rip),%xmm0
  addsd  %xmm0,%xmm1
  movsd  D33(%rip),%xmm0
  divsd  %xmm1,%xmm0
  cvtsd2ss %xmm0,%xmm0
  movss  %xmm0,-0x8(%rbp)
  movss  -0xc(%rbp),%xmm0
  movss  D43(%rip),%xmm1
  xorps  %xmm1,%xmm0
  mulss  -0xc(%rbp),%xmm0
  cvtss2sd %xmm0,%xmm0
  movsd  D67(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  pxor   %xmm2,%xmm2
  cvtss2sd -0x8(%rbp),%xmm2
  pxor   %xmm3,%xmm3
  cvtss2sd -0x8(%rbp),%xmm3
  pxor   %xmm4,%xmm4
  cvtss2sd -0x8(%rbp),%xmm4
  pxor   %xmm5,%xmm5
  cvtss2sd -0x8(%rbp),%xmm5
  pxor   %xmm6,%xmm6
  cvtss2sd -0x8(%rbp),%xmm6
  pxor   %xmm7,%xmm7
  cvtss2sd -0x8(%rbp),%xmm7
  pxor   %xmm8,%xmm8
  cvtss2sd -0x8(%rbp),%xmm8
  pxor   %xmm9,%xmm9
  cvtss2sd -0x8(%rbp),%xmm9
  pxor   %xmm10,%xmm10
  cvtss2sd -0x8(%rbp),%xmm10
  movsd  D103(%rip),%xmm0
  mulsd  %xmm10,%xmm0
  movsd  D122(%rip),%xmm10
  subsd  %xmm10,%xmm0
  mulsd  %xmm0,%xmm9
  movsd  D16(%rip),%xmm0
  addsd  %xmm9,%xmm0
  mulsd  %xmm8,%xmm0
  movsd  D31(%rip),%xmm8
  subsd  %xmm8,%xmm0
  mulsd  %xmm0,%xmm7
  movsd  D149(%rip),%xmm0
  addsd  %xmm7,%xmm0
  mulsd  %xmm6,%xmm0
  movsd  D26(%rip),%xmm6
  subsd  %xmm6,%xmm0
  mulsd  %xmm0,%xmm5
  movsd  D68(%rip),%xmm0
  addsd  %xmm5,%xmm0
  mulsd  %xmm0,%xmm4
  movsd  D21(%rip),%xmm0
  addsd  %xmm4,%xmm0
  mulsd  %xmm0,%xmm3
  movsd  D14(%rip),%xmm0
  addsd  %xmm3,%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm1,%xmm0
  pxor   %xmm2,%xmm2
  cvtsd2ss %xmm0,%xmm2
  movd   %xmm2,%eax
  movd   %eax,%xmm0
  call   <exp@plt>
  movss  -0x8(%rbp),%xmm1
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x4(%rbp)
  movss  -0x14(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comiss %xmm1,%xmm0
  jb     L13
  movss  -0x4(%rbp),%xmm0
  jmp    L12
L13:
  movss  D118(%rip),%xmm0
  subss  -0x4(%rbp),%xmm0
L12:
  leave
  ret
```

tool_calls: name: read_data
arguments: data_label: D13
type: f64
name: read_data
arguments: data_label: D33
type: f64
name: read_data
arguments: data_label: D43
type: byte[4]
name: read_data
arguments: data_label: D67
type: f64
name: read_data
arguments: data_label: D103
type: f64
name: read_data
arguments: data_label: D122
type: f64
name: read_data
arguments: data_label: D16
type: f64
name: read_data
arguments: data_label: D31
type: f64
name: read_data
arguments: data_label: D149
type: f64
name: read_data
arguments: data_label: D26
type: f64
name: read_data
arguments: data_label: D68
type: f64
name: read_data
arguments: data_label: D21
type: f64
name: read_data
arguments: data_label: D14
type: f64
name: read_data
arguments: data_label: D118
type: f32

tool: D13: 0.5

tool: D33: 1

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

tool: D67: 1.26551223

tool: D103: 0.17087277

tool: D122: 0.82215223

tool: D16: 1.48851587

tool: D31: 1.13520398

tool: D149: 0.27886807

tool: D26: 0.18628806

tool: D68: 0.09678418

tool: D21: 0.37409196

tool: D14: 1.00002368

tool: D118: 2

assistant: ```c
float erfcc(float x) {
  float t, z, ans;
  z = fabs(x);
  t = 1.0 / (1.0 + 0.5 * z);
  ans = t * exp(-z * z - 1.26551223 + t * (1.00002368 + t * (0.37409196 + t * (0.09678418 + t * (-0.18628806 + t * (0.27886807 + t * (-1.13520398 + t * (1.48851587 + t * (-0.82215223 + t * 0.17087277)))))))));
  return x >= 0.0 ? ans : 2.0 - ans;
}
```