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

```asm
<unitcdfP>:
  endbr64
  comisd D162(%rip),%xmm0
  ja     L14
  movsd  D188(%rip),%xmm2
  movapd %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  comisd %xmm1,%xmm2
  ja     L49
  movsd  D261(%rip),%xmm3
  movapd %xmm1,%xmm2
  andpd  D52(%rip),%xmm2
  movsd  D2(%rip),%xmm0
  comisd %xmm2,%xmm3
  ja     L49
  movsd  D470(%rip),%xmm3
  comisd %xmm2,%xmm3
  ja     L69
  sub    $0x18,%rsp
  movsd  D485(%rip),%xmm4
  movsd  D93(%rip),%xmm0
  mulsd  %xmm1,%xmm4
  comisd %xmm2,%xmm0
  mulsd  %xmm1,%xmm4
  jbe    L67
  movsd  D395(%rip),%xmm0
  movsd  D250(%rip),%xmm3
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm2,%xmm0
  addsd  %xmm2,%xmm3
  addsd  D84(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D445(%rip),%xmm3
  addsd  D253(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D203(%rip),%xmm3
  addsd  D125(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D60(%rip),%xmm3
  addsd  D290(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D15(%rip),%xmm3
  addsd  D430(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D148(%rip),%xmm3
  addsd  D397(%rip),%xmm0
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm0
  addsd  D152(%rip),%xmm3
  addsd  D102(%rip),%xmm0
  mulsd  %xmm2,%xmm0
  mulsd  %xmm3,%xmm2
  addsd  D288(%rip),%xmm0
  addsd  D270(%rip),%xmm2
  divsd  %xmm2,%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm4,%xmm0
  call   <exp@plt>
  mulsd  (%rsp),%xmm0
  movsd  0x8(%rsp),%xmm1
L3:
  comisd D101(%rip),%xmm1
  jbe    L63
  movsd  D49(%rip),%xmm1
  subsd  %xmm0,%xmm1
  movapd %xmm1,%xmm0
L63:
  add    $0x18,%rsp
  ret
  nopl   0x0(%rax)
L49:
  ret
  nopl   0x0(%rax)
L14:
  movsd  D49(%rip),%xmm0
  ret
  nopl   0x0(%rax)
L69:
  movapd %xmm1,%xmm4
  movsd  D411(%rip),%xmm2
  movsd  D12(%rip),%xmm3
  mulsd  %xmm1,%xmm4
  mulsd  %xmm4,%xmm2
  addsd  %xmm4,%xmm3
  addsd  D161(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D228(%rip),%xmm3
  addsd  D283(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D410(%rip),%xmm3
  addsd  D447(%rip),%xmm2
  mulsd  %xmm4,%xmm3
  mulsd  %xmm4,%xmm2
  addsd  D208(%rip),%xmm3
  addsd  D473(%rip),%xmm2
  divsd  %xmm3,%xmm2
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  ret
  nopl   (%rax)
L67:
  movapd %xmm1,%xmm0
  movsd  D49(%rip),%xmm5
  movsd  D245(%rip),%xmm3
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm1,%xmm0
  divsd  %xmm0,%xmm5
  movsd  D27(%rip),%xmm0
  mulsd  %xmm5,%xmm0
  addsd  %xmm5,%xmm3
  addsd  D117(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D216(%rip),%xmm3
  addsd  D183(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D425(%rip),%xmm3
  addsd  D284(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D332(%rip),%xmm3
  addsd  D276(%rip),%xmm0
  mulsd  %xmm5,%xmm3
  mulsd  %xmm5,%xmm0
  addsd  D194(%rip),%xmm3
  addsd  D271(%rip),%xmm0
  divsd  %xmm3,%xmm0
  movsd  D204(%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    L3
```

tool_calls: name: read_data
arguments: tag: D162
datatype: f64[2]
name: read_data
arguments: tag: D188
datatype: byte[8]
name: read_data
arguments: tag: D261
datatype: f32[2]
name: read_data
arguments: tag: D52
datatype: qword[2]
name: read_data
arguments: tag: D2
datatype: f64
name: read_data
arguments: tag: D470
datatype: f64
name: read_data
arguments: tag: D485
datatype: f32[2]
name: read_data
arguments: tag: D93
datatype: byte[8]
name: read_data
arguments: tag: D395
datatype: byte[8]
name: read_data
arguments: tag: D250
datatype: f64
name: read_data
arguments: tag: D84
datatype: f64
name: read_data
arguments: tag: D445
datatype: f64
name: read_data
arguments: tag: D253
datatype: f64
name: read_data
arguments: tag: D203
datatype: f64
name: read_data
arguments: tag: D125
datatype: f64
name: read_data
arguments: tag: D60
datatype: f64
name: read_data
arguments: tag: D290
datatype: f64
name: read_data
arguments: tag: D15
datatype: f64
name: read_data
arguments: tag: D430
datatype: f64
name: read_data
arguments: tag: D148
datatype: f64
name: read_data
arguments: tag: D397
datatype: f64
name: read_data
arguments: tag: D152
datatype: f64
name: read_data
arguments: tag: D102
datatype: f64
name: read_data
arguments: tag: D288
datatype: f64
name: read_data
arguments: tag: D270
datatype: f64
name: read_data
arguments: tag: D101
datatype: f32
name: read_data
arguments: tag: D49
datatype: f64
name: read_data
arguments: tag: D411
datatype: f64
name: read_data
arguments: tag: D12
datatype: f64
name: read_data
arguments: tag: D161
datatype: f64
name: read_data
arguments: tag: D228
datatype: f64
name: read_data
arguments: tag: D283
datatype: f64
name: read_data
arguments: tag: D410
datatype: f64
name: read_data
arguments: tag: D447
datatype: f64
name: read_data
arguments: tag: D208
datatype: f64
name: read_data
arguments: tag: D473
datatype: f64
name: read_data
arguments: tag: D245
datatype: f64
name: read_data
arguments: tag: D27
datatype: f64
name: read_data
arguments: tag: D117
datatype: f64
name: read_data
arguments: tag: D216
datatype: f64
name: read_data
arguments: tag: D183
datatype: f64
name: read_data
arguments: tag: D425
datatype: f64
name: read_data
arguments: tag: D284
datatype: f64
name: read_data
arguments: tag: D332
datatype: f64
name: read_data
arguments: tag: D276
datatype: f64
name: read_data
arguments: tag: D194
datatype: byte[8]
name: read_data
arguments: tag: D271
datatype: byte[8]
name: read_data
arguments: tag: D204
datatype: f64

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

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

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

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

tool: D2: 0.5

tool: D470: 0.66291

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

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

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

tool: D250: 22.266688044328117

tool: D84: 0.39894151208813466

tool: D445: 235.387901782625

tool: D253: 8.883149794388377

tool: D203: 1519.3775994075547

tool: D125: 93.50665613217785

tool: D60: 6485.558298266761

tool: D290: 597.2702763948002

tool: D15: 18615.571640885097

tool: D430: 2494.5375852903726

tool: D148: 34900.95272114598

tool: D397: 6848.190450536283

tool: D152: 38912.00328609327

tool: D102: 11602.65143764735

tool: D288: 9842.714838383978

tool: D270: 19685.429676859992

tool: D101: 0

tool: D49: 1

tool: D411: 0.06568233791820745

tool: D12: 47.202581904688245

tool: D161: 2.2352520354606837

tool: D228: 976.0985517377767

tool: D283: 161.02823106855587

tool: D410: 10260.932208618979

tool: D447: 1067.6894854603709

tool: D208: 45507.78933502673

tool: D473: 18154.98125334356

tool: D245: 1.284260096144911

tool: D27: 0.023073441764940174

tool: D117: 0.215898534057957

tool: D216: 0.4682382124808651

tool: D183: 0.12740116116024736

tool: D425: 0.06598813786892856

tool: D284: 0.022235277870649807

tool: D332: 0.0037823963320275824

tool: D276: 0.0014216191932278934

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

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

tool: D204: 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;
}
```