user: 下面的汇编指令对应的C源代码是什么:

```asm
<PointNormal>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  add    $0xffffffffffffff80,%rsp
  movsd  %xmm0,-0x78(%rbp)
  movsd  D30(%rip),%xmm0
  movsd  %xmm0,-0x68(%rbp)
  movsd  D161(%rip),%xmm0
  movsd  %xmm0,-0x60(%rbp)
  movsd  D73(%rip),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movsd  D75(%rip),%xmm0
  movsd  %xmm0,-0x50(%rbp)
  movsd  D152(%rip),%xmm0
  movsd  %xmm0,-0x48(%rbp)
  movsd  D159(%rip),%xmm0
  movsd  %xmm0,-0x40(%rbp)
  movsd  D101(%rip),%xmm0
  movsd  %xmm0,-0x38(%rbp)
  movsd  D11(%rip),%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D168(%rip),%xmm0
  movsd  %xmm0,-0x28(%rbp)
  movsd  D37(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  movsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D137(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L43
  movsd  -0x18(%rbp),%xmm0
  jmp    L42
L43:
  movsd  D149(%rip),%xmm0
  subsd  -0x18(%rbp),%xmm0
L42:
  movsd  %xmm0,-0x10(%rbp)
  movsd  D134(%rip),%xmm0
  comisd -0x10(%rbp),%xmm0
  jbe    L24
  movsd  D39(%rip),%xmm0
  movsd  %xmm0,-0x70(%rbp)
  jmp    L2
L24:
  movsd  -0x10(%rbp),%xmm0
  movapd %xmm0,%xmm1
  mulsd  %xmm0,%xmm1
  movsd  D149(%rip),%xmm0
  divsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%eax
  mov    %eax,%edi
  call   <log@plt>
  mov    %eax,%edi
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  addsd  -0x50(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  addsd  -0x60(%rbp),%xmm0
  mulsd  -0x8(%rbp),%xmm0
  addsd  -0x68(%rbp),%xmm0
  movsd  -0x8(%rbp),%xmm1
  mulsd  -0x20(%rbp),%xmm1
  addsd  -0x28(%rbp),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  addsd  -0x30(%rbp),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  addsd  -0x38(%rbp),%xmm1
  mulsd  -0x8(%rbp),%xmm1
  addsd  -0x40(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x8(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
L2:
  movsd  D137(%rip),%xmm0
  comisd -0x18(%rbp),%xmm0
  jbe    L26
  movsd  -0x70(%rbp),%xmm0
  movq   D63(%rip),%xmm1
  xorpd  %xmm1,%xmm0
  jmp    L20
L26:
  movsd  -0x70(%rbp),%xmm0
L20:
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: read_data
arguments: data_tag: D30
type: byte[8]
name: read_data
arguments: data_tag: D161
type: f32[2]
name: read_data
arguments: data_tag: D73
type: byte[8]
name: read_data
arguments: data_tag: D75
type: byte[8]
name: read_data
arguments: data_tag: D152
type: byte[8]
name: read_data
arguments: data_tag: D159
type: byte[8]
name: read_data
arguments: data_tag: D101
type: byte[8]
name: read_data
arguments: data_tag: D11
type: byte[8]
name: read_data
arguments: data_tag: D168
type: byte[8]
name: read_data
arguments: data_tag: D37
type: byte[8]
name: read_data
arguments: data_tag: D137
type: f64
name: read_data
arguments: data_tag: D149
type: f64
name: read_data
arguments: data_tag: D134
type: byte[8]
name: read_data
arguments: data_tag: D39
type: f32[2]
name: read_data
arguments: data_tag: D63
type: f32[2]

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

tool: {"D161": [0.0,-1.875]}

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

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

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

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

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

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

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

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

tool: D137: 0.5

tool: D149: 1

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

tool: {"D39": [0.0,4.4755859375]}

tool: {"D63": [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)
    z = 999;
  else {
    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);
}
```