user: 这段汇编代码用C语言表示是什么样的?

```asm
<unitcdf>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x28(%rbp)
  movsd  -0x28(%rbp),%xmm0
  comisd D256(%rip),%xmm0
  jbe    L8
  movsd  D188(%rip),%xmm0
  jmp    L88
L8:
  movsd  D437(%rip),%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L55
  pxor   %xmm0,%xmm0
  jmp    L88
L55:
  movsd  -0x28(%rbp),%xmm0
  movq   D227(%rip),%xmm1
  andpd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D468(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L114
  movsd  D112(%rip),%xmm0
  jmp    L88
L114:
  movsd  D29(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L118
  movsd  -0x28(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm1
  movsd  D153(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D458(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x10(%rbp),%xmm1
  movsd  D178(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x10(%rbp),%xmm1
  movsd  D490(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x10(%rbp),%xmm1
  movsd  D448(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm2
  movsd  D110(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D247(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D420(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D30(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D112(%rip),%xmm0
  addsd  %xmm1,%xmm0
  jmp    L88
L118:
  movsd  D42(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L10
  movsd  -0x18(%rbp),%xmm1
  movsd  D74(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D389(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D262(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D297(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D4(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D33(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D477(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x18(%rbp),%xmm0
  movapd %xmm0,%xmm1
  movsd  D228(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x18(%rbp),%xmm1
  movsd  D498(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x18(%rbp),%xmm2
  movsd  D472(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D243(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D190(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D28(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D238(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D162(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D70(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x18(%rbp),%xmm2
  movsd  D331(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  D433(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  movsd  -0x8(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L58
L10:
  movsd  -0x28(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D188(%rip),%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  movsd  -0x10(%rbp),%xmm1
  movsd  D108(%rip),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  D213(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  movsd  D11(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x10(%rbp),%xmm1
  movsd  D394(%rip),%xmm0
  addsd  %xmm1,%xmm0
  mulsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  movsd  D245(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm1
  mulsd  -0x10(%rbp),%xmm1
  movsd  D298(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  -0x10(%rbp),%xmm2
  movsd  D366(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D86(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D378(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D450(%rip),%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x10(%rbp),%xmm2
  movsd  D221(%rip),%xmm1
  addsd  %xmm2,%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x10(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  movapd %xmm0,%xmm1
  movsd  D128(%rip),%xmm0
  subsd  %xmm1,%xmm0
  divsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  -0x28(%rbp),%xmm1
  movsd  D433(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm0,%xmm4
  mulsd  -0x28(%rbp),%xmm4
  movq   %xmm4,%rax
  movq   %rax,%xmm0
  call   <exp@plt>
  mulsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
L58:
  movsd  -0x28(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm0
  jbe    L27
  movsd  D188(%rip),%xmm0
  subsd  -0x18(%rbp),%xmm0
  jmp    L88
L27:
  movsd  -0x18(%rbp),%xmm0
L88:
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D256
type_infered: f64[2]
name: extract_symbolic_data
arguments: data_tag: D188
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D437
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D227
type_infered: qword
name: extract_symbolic_data
arguments: data_tag: D468
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_tag: D112
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D29
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D153
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D458
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D178
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D490
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D448
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D110
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D247
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D420
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D30
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D42
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D74
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D389
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D262
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D297
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D4
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D33
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D477
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D228
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D498
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D472
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D243
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D190
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D28
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D238
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D162
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D70
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D331
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D433
type_infered: f32[2]
name: extract_symbolic_data
arguments: data_tag: D108
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D213
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D11
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D394
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D245
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D298
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D366
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D86
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D378
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D450
type_infered: f64
name: extract_symbolic_data
arguments: data_tag: D221
type_infered: byte[8]
name: extract_symbolic_data
arguments: data_tag: D128
type_infered: f64

tool: {"D256": [8.572,1.0]}

tool: D188: 1

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

tool: D227: 9223372036854775807

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

tool: D112: 0.5

tool: D29: 0.66291

tool: D153: 0.06568233791820745

tool: D458: 2.2352520354606837

tool: D178: 161.02823106855587

tool: D490: 1067.6894854603709

tool: D448: 18154.98125334356

tool: D110: 47.202581904688245

tool: D247: 976.0985517377767

tool: D420: 10260.932208618979

tool: D30: 45507.78933502673

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

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

tool: D389: 0.39894151208813466

tool: D262: 8.883149794388377

tool: D297: 93.50665613217785

tool: D4: 597.2702763948002

tool: D33: 2494.5375852903726

tool: D477: 6848.190450536283

tool: D228: 11602.65143764735

tool: D498: 9842.714838383978

tool: D472: 22.266688044328117

tool: D243: 235.387901782625

tool: D190: 1519.3775994075547

tool: D28: 6485.558298266761

tool: D238: 18615.571640885097

tool: D162: 34900.95272114598

tool: D70: 38912.00328609327

tool: D331: 19685.429676859992

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

tool: D108: 0.023073441764940174

tool: D213: 0.215898534057957

tool: D11: 0.12740116116024736

tool: D394: 0.022235277870649807

tool: D245: 0.0014216191932278934

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

tool: D366: 1.284260096144911

tool: D86: 0.4682382124808651

tool: D378: 0.06598813786892856

tool: D450: 0.0037823963320275824

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

tool: D128: 0.3989422804014327

assistant: ```c
double unitcdf(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;
}
```