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

```asm
<unitcdfP>:
  endbr64
  comisd D413(%rip),%xmm0
  ja     L27
  movsd  D265(%rip),%xmm2
  movapd %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm2
  ja     L50
  movsd  D187(%rip),%xmm3
  movapd %xmm1,%xmm2
  andpd  D159(%rip),%xmm2
  movsd  D330(%rip),%xmm0
  comisd %xmm2,%xmm3
  ja     L50
  movsd  D50(%rip),%xmm3
  comisd %xmm2,%xmm3
  ja     L67
  sub    $0x18,%rsp
  movsd  D422(%rip),%xmm4
  movsd  D343(%rip),%xmm0
  mulsd  %xmm1,%xmm4
  comisd %xmm2,%xmm0
  mulsd  %xmm1,%xmm4
  jbe    L23
  movsd  D280(%rip),%xmm0
  movsd  D206(%rip),%xmm3
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm2,%xmm0
  addsd  %xmm2,%xmm3
  addsd  D21(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D424(%rip),%xmm3
  addsd  D150(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D282(%rip),%xmm3
  addsd  D131(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D484(%rip),%xmm3
  addsd  D368(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D251(%rip),%xmm3
  addsd  D246(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D274(%rip),%xmm3
  addsd  D369(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D28(%rip),%xmm3
  addsd  D218(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm2
  addsd  D105(%rip),%xmm0
  addsd  D367(%rip),%xmm2
  divsd  %xmm2,%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm4,%xmm0
  call   <exp@plt>
  mulsd  (%rsp),%xmm0
  movsd  0x8(%rsp),%xmm1
L13:
  comisd D362(%rip),%xmm1
  jbe    L33
  movsd  D171(%rip),%xmm1
  subsd  %xmm0,%xmm1
  movapd %xmm1,%xmm0
L33:
  add    $0x18,%rsp
  ret
  nopl   0x0(%rax)
L50:
  ret
  nopl   0x0(%rax)
L27:
  movsd  D171(%rip),%xmm0
  ret
  nopl   0x0(%rax)
L67:
  movapd %xmm1,%xmm4
  movsd  D247(%rip),%xmm2
  movsd  D4(%rip),%xmm3
  mulsd  %xmm1,%xmm4
  mulsd  %xmm4,%xmm2
  addsd  %xmm4,%xmm3
  addsd  D239(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D372(%rip),%xmm3
  addsd  D87(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D23(%rip),%xmm3
  addsd  D196(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D126(%rip),%xmm3
  addsd  D18(%rip),%xmm2
  divsd  %xmm3,%xmm2
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  ret
  nopl   (%rax)
L23:
  movapd %xmm1,%xmm0
  movsd  D171(%rip),%xmm5
  movsd  D394(%rip),%xmm3
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm1,%xmm0
  divsd  %xmm0,%xmm5
  movsd  D350(%rip),%xmm0
  mulsd  %xmm5,%xmm0
  addsd  %xmm5,%xmm3
  addsd  D36(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D204(%rip),%xmm3
  addsd  D83(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D456(%rip),%xmm3
  addsd  D279(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D342(%rip),%xmm3
  addsd  D379(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D346(%rip),%xmm3
  addsd  D96(%rip),%xmm0
  divsd  %xmm3,%xmm0
  movsd  D115(%rip),%xmm3
  mulsd  %xmm5,%xmm0
  subsd  %xmm0,%xmm3
  movapd %xmm4,%xmm0
  divsd  %xmm2,%xmm3
  movsd  %xmm3,(%rsp)
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm1
  mulsd  (%rsp),%xmm0
  jmp    L13
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D413
type_guessed: f64[2]
name: extract_symbolic_data
arguments: data_label: D265
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D187
type_guessed: f32[2]
name: extract_symbolic_data
arguments: data_label: D159
type_guessed: qword[2]
name: extract_symbolic_data
arguments: data_label: D330
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D50
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D422
type_guessed: f32[2]
name: extract_symbolic_data
arguments: data_label: D343
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D280
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D206
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D21
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D424
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D150
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D282
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D131
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D484
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D368
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D251
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D246
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D274
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D369
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D28
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D218
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D105
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D367
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D362
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D171
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D247
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D4
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D239
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D372
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D87
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D23
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D196
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D126
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D18
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D394
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D350
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D36
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D204
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D83
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D456
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D279
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D342
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D379
type_guessed: f64
name: extract_symbolic_data
arguments: data_label: D346
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D96
type_guessed: byte[8]
name: extract_symbolic_data
arguments: data_label: D115
type_guessed: f64

tool: {"D413": [8.572,-37.519]}

tool: {"D265": [0xdf,0x4f,0x8d,0x97,0x6e,0xc2,0x42,0xc0]}

tool: {"D187": [0.0,0.01953125]}

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

tool: D330: 0.5

tool: D50: 0.66291

tool: {"D422": [0.0,-1.75]}

tool: {"D343": [0xcd,0x3b,0x7f,0x66,0x9e,0xa0,0x16,0x40]}

tool: {"D280": [0x15,0x58,0x5f,0x3c,0x70,0x1e,0x47,0x3e]}

tool: D206: 22.266688044328117

tool: D21: 0.39894151208813466

tool: D424: 235.387901782625

tool: D150: 8.883149794388377

tool: D282: 1519.3775994075547

tool: D131: 93.50665613217785

tool: D484: 6485.558298266761

tool: D368: 597.2702763948002

tool: D251: 18615.571640885097

tool: D246: 2494.5375852903726

tool: D274: 34900.95272114598

tool: D369: 6848.190450536283

tool: D28: 38912.00328609327

tool: D218: 11602.65143764735

tool: D105: 9842.714838383978

tool: D367: 19685.429676859992

tool: D362: 0

tool: D171: 1

tool: D247: 0.06568233791820745

tool: D4: 47.202581904688245

tool: D239: 2.2352520354606837

tool: D372: 976.0985517377767

tool: D87: 161.02823106855587

tool: D23: 10260.932208618979

tool: D196: 1067.6894854603709

tool: D126: 45507.78933502673

tool: D18: 18154.98125334356

tool: D394: 1.284260096144911

tool: D350: 0.023073441764940174

tool: D36: 0.215898534057957

tool: D204: 0.4682382124808651

tool: D83: 0.12740116116024736

tool: D456: 0.06598813786892856

tool: D279: 0.022235277870649807

tool: D342: 0.0037823963320275824

tool: D379: 0.0014216191932278934

tool: {"D346": [0xd1,0xba,0x14,0xa0,0x47,0x21,0x13,0x3f]}

tool: {"D96": [0x83,0xc4,0x6d,0x88,0xed,0x86,0xfe,0x3e]}

tool: D115: 0.3989422804014327

assistant: ```c
double unitcdfP(double x) {
  double y, z, u;
  if (x > 8.572)
    return 1.0;
  if (x < -37.519)
    return 0.0;
  z = fabs(x);
  if (z < 0.5 * 2.2204460492503131e-16)
    return 0.5;
  if (z < 0.66291) {
    y = x * x;
    z = ((((0.065682337918207449113 * y + 2.2352520354606839287) * y + 161.02823106855587881) * y + 1067.6894854603709582) * y + 18154.981253343561249) / ((((y + 47.20258190468824187) * y + 976.09855173777669322) * y + 10260.932208618978205) * y + 45507.789335026729956);
    return 0.5 + x * z;
  }
  if (z < 4 * 1.41421356237309504880168872421) {
    u = ((((((((1.0765576773720192317e-8 * z + 0.39894151208813466764) * z + 8.8831497943883759412) * z + 93.506656132177855979) * z + 597.27027639480026226) * z + 2494.5375852903726711) * z + 6848.1904505362823326) * z + 11602.651437647350124) * z + 9842.7148383839780218) / ((((((((z + 22.266688044328115691) * z + 235.38790178262499861) * z + 1519.377599407554805) * z + 6485.558298266760755) * z + 18615.571640885098091) * z + 34900.952721145977266) * z + 38912.003286093271411) * z + 19685.429676859990727);
    z = u * exp(-0.5 * x * x);
  } else {
    y = 1 / (x * x);
    u = (((((0.02307344176494017303 * y + 0.21589853405795699) * y + 0.1274011611602473639) * y + 0.022235277870649807) * y + 0.001421619193227893466) * y + 2.9112874951168792e-5) / (((((y + 1.28426009614491121) * y + 0.468238212480865118) * y + 0.0659881378689285515) * y + 0.00378239633202758244) * y + 7.29751555083966205e-5);
    z = (((0.39894228040143267793994605993) - y * u) / z) * exp(-0.5 * x * x);
  }
  return (x > 0) ? 1 - z : z;
}
```