user: 请从给定的汇编指令推导出C源代码:

```asm
<PointNormal>:
  endbr64
  sub    $0x18,%rsp
  movsd  D167(%rip),%xmm4
  movapd %xmm0,%xmm2
  movapd %xmm0,%xmm1
  comisd %xmm0,%xmm4
  ja     L22
  movsd  D61(%rip),%xmm1
  subsd  %xmm0,%xmm1
L22:
  movsd  D98(%rip),%xmm3
  movsd  D42(%rip),%xmm0
  movsd  %xmm2,0x8(%rsp)
  comisd %xmm1,%xmm3
  jbe    L4
L25:
  add    $0x18,%rsp
  ret
  nopl   0x0(%rax,%rax,1)
L4:
  mulsd  %xmm1,%xmm1
  movsd  D61(%rip),%xmm0
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%edi
  call   <log@plt>
  mov    %eax,%edi
  call   <sqrt@plt>
  movsd  D24(%rip),%xmm1
  movsd  D167(%rip),%xmm5
  movapd %xmm0,%xmm3
  movsd  D96(%rip),%xmm0
  movsd  0x8(%rsp),%xmm2
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm0
  comisd %xmm2,%xmm5
  addsd  D145(%rip),%xmm1
  subsd  D69(%rip),%xmm0
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm0
  addsd  D146(%rip),%xmm1
  subsd  D66(%rip),%xmm0
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm0
  addsd  D58(%rip),%xmm1
  subsd  D61(%rip),%xmm0
  mulsd  %xmm3,%xmm1
  mulsd  %xmm3,%xmm0
  addsd  D12(%rip),%xmm1
  subsd  D55(%rip),%xmm0
  divsd  %xmm1,%xmm0
  addsd  %xmm3,%xmm0
  jbe    L25
  xorpd  D117(%rip),%xmm0
  add    $0x18,%rsp
  ret
```

tool_calls: name: read_data
arguments: data_label: D167
type_infered: f64
name: read_data
arguments: data_label: D61
type_infered: f64
name: read_data
arguments: data_label: D98
type_infered: byte[8]
name: read_data
arguments: data_label: D42
type_infered: f32[2]
name: read_data
arguments: data_label: D24
type_infered: byte[8]
name: read_data
arguments: data_label: D96
type_infered: byte[8]
name: read_data
arguments: data_label: D145
type_infered: byte[8]
name: read_data
arguments: data_label: D69
type_infered: byte[8]
name: read_data
arguments: data_label: D146
type_infered: byte[8]
name: read_data
arguments: data_label: D66
type_infered: byte[8]
name: read_data
arguments: data_label: D58
type_infered: byte[8]
name: read_data
arguments: data_label: D12
type_infered: byte[8]
name: read_data
arguments: data_label: D55
type_infered: byte[8]
name: read_data
arguments: data_label: D117
type_infered: f32[4]

tool: D167: 0.5

tool: D61: 1

tool: {"D98": [0x23,0x42,0x92,0x0c,0xa1,0x9c,0xc7,0x3b]}

tool: {"D42": [0.0,-6.11029052734375]}

tool: {"D24": [0x88,0x45,0x07,0xda,0xc3,0x96,0x6f,0x3f]}

tool: {"D96": [0x62,0x1a,0xed,0xc3,0xae,0xc8,0x07,0xbf]}

tool: {"D145": [0x68,0x5f,0x64,0x3e,0x73,0x81,0xba,0x3f]}

tool: {"D69": [0x30,0xa8,0x87,0x73,0xcc,0xe9,0x94,0x3f]}

tool: {"D146": [0x54,0xf0,0x34,0xb0,0xcc,0xfe,0xe0,0x3f]}

tool: {"D66": [0x46,0xf1,0x67,0x5c,0x4b,0xe7,0xd5,0x3f]}

tool: {"D58": [0x2f,0xbd,0x89,0x04,0xa9,0xd5,0xe2,0x3f]}

tool: {"D12": [0x54,0xf7,0xcc,0x9d,0xe6,0x6e,0xb9,0x3f]}

tool: {"D55": [0x37,0xf2,0x4e,0xc6,0x74,0x9f,0xd4,0x3f]}

tool: {"D117": [0.0,-0.0,0.0,0.0]}

assistant: ```c
double PointNormal(double prob) {
  double a0 = -.322232431088, a1 = -1, a2 = -.342242088547, a3 = -.0204231210245;
  double a4 = -.453642210148e-4, b0 = .0993484626060, b1 = .588581570495;
  double b2 = .531103462366, b3 = .103537752850, b4 = .0038560700634;
  double y, z = 0, p = prob, p1;
  p1 = (p < 0.5 ? p : 1 - p);
  if (p1 < 1e-20)
    return (-9999);
  y = sqrt(log(1 / (p1 * p1)));
  z = y + ((((y * a4 + a3) * y + a2) * y + a1) * y + a0) / ((((y * b4 + b3) * y + b2) * y + b1) * y + b0);
  return (p < 0.5 ? -z : z);
}
```