user: 请显示与下面列出的汇编代码相匹配的C语言实现：

```asm
<inverff>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x30,%rsp
  movsd  %xmm0,-0x28(%rbp)
  pxor   %xmm0,%xmm0
  ucomisd -0x28(%rbp),%xmm0
  jp     L17
  pxor   %xmm0,%xmm0
  ucomisd -0x28(%rbp),%xmm0
  jne    L17
  pxor   %xmm0,%xmm0
  jmp    L22
L17:
  movsd  D135(%rip),%xmm0
  comisd -0x28(%rbp),%xmm0
  jb     L175
  mov    D135(%rip),%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  movq   D79(%rip),%xmm0
  movq   %rax,%xmm2
  xorpd  %xmm0,%xmm2
  movapd %xmm2,%xmm0
  jmp    L22
L175:
  movsd  -0x28(%rbp),%xmm0
  movsd  D106(%rip),%xmm1
  comisd %xmm1,%xmm0
  jb     L72
  movsd  D106(%rip),%xmm0
  jmp    L22
L72:
  pxor   %xmm0,%xmm0
  comisd -0x28(%rbp),%xmm0
  jbe    L162
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  D60(%rip),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  jmp    L36
L78:
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  movsd  D106(%rip),%xmm1
  subsd  %xmm1,%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
L36:
  mov    -0x20(%rbp),%rax
  movq   %rax,%xmm0
  call   <erff_@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm3
  comisd -0x28(%rbp),%xmm3
  ja     L78
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L54
L162:
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  D87(%rip),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  jmp    L9
L105:
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x18(%rbp),%xmm1
  movsd  D106(%rip),%xmm0
  addsd  %xmm1,%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
L9:
  mov    -0x18(%rbp),%rax
  movq   %rax,%xmm0
  call   <erff_@plt>
  movsd  -0x28(%rbp),%xmm1
  comisd %xmm0,%xmm1
  ja     L105
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
L54:
  mov    -0x10(%rbp),%rax
  movq   %rax,%xmm0
  call   <erff_@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x8(%rbp)
  movsd  -0x8(%rbp),%xmm0
  subsd  -0x28(%rbp),%xmm0
  movq   D21(%rip),%xmm1
  andpd  %xmm0,%xmm1
  movsd  D59(%rip),%xmm0
  comisd %xmm1,%xmm0
  jbe    L70
  movsd  -0x10(%rbp),%xmm0
  jmp    L22
L70:
  movsd  -0x28(%rbp),%xmm0
  comisd -0x8(%rbp),%xmm0
  jbe    L89
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L54
L89:
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x20(%rbp),%xmm0
  addsd  -0x18(%rbp),%xmm0
  movsd  D95(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  jmp    L54
L22:
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: disassemble_data
arguments: tag: D135
type_infered: f32[2]
name: disassemble_data
arguments: tag: D79
type_infered: f32[2]
name: disassemble_data
arguments: tag: D106
type_infered: f64
name: disassemble_data
arguments: tag: D60
type_infered: f32[2]
name: disassemble_data
arguments: tag: D95
type_infered: f64
name: disassemble_data
arguments: tag: D87
type_infered: f64
name: disassemble_data
arguments: tag: D21
type_infered: qword
name: disassemble_data
arguments: tag: D59
type_infered: byte[8]

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

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

tool: D106: 1

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

tool: D95: 2

tool: D87: 0.5

tool: D21: 9223372036854775807

tool: {"D59": [0xdf,0x41,0x3a,0xdc,0x11,0xc5,0x29,0x3e]}

assistant: ```c
double inverff(double p) {
  double xlow, xhigh, xtry, ptry;
  if (p == 0) {
    return 0.0;
  }
  if (p <= -1.0) {
    return -sqrt(-1.0);
  } else if (p >= 1.0) {
    return sqrt(1.0);
  }
  if (p < 0) {
    xhigh = 0.0;
    xlow = -0.5;
    while (erff_(xlow) > p) {
      xhigh = xlow;
      xlow = (xlow - 1.0) / 2.;
    }
    xtry = (xlow + xhigh) / 2.;
  } else {
    xlow = 0.0;
    xhigh = 0.5;
    while (erff_(xhigh) < p) {
      xlow = xhigh;
      xhigh = (xhigh + 1.0) / 2.;
    }
    xtry = (xlow + xhigh) / 2.;
  }
  do {
    ptry = erff_(xtry);
    if (fabs(ptry - p) < 3.0e-9)
      return xtry;
    if (ptry < p) {
      xlow = xtry;
      xtry = (xlow + xhigh) / 2.;
    } else {
      xhigh = xtry;
      xtry = (xlow + xhigh) / 2.;
    }
  } while (1);
}
```