user: 提供的汇编代码用C语言表示会是什么样子：

```asm
<ibeta_appx>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x60,%rsp
  movsd  %xmm0,-0x48(%rbp)
  movsd  %xmm1,-0x50(%rbp)
  movsd  %xmm2,-0x58(%rbp)
  pxor   %xmm0,%xmm0
  comisd -0x48(%rbp),%xmm0
  ja     L5
  movsd  -0x48(%rbp),%xmm0
  movsd  D126(%rip),%xmm1
  comisd %xmm1,%xmm0
  jbe    L18
L5:
  lea    D75(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x1,%edi
  call   <exit@plt>
L18:
  pxor   %xmm0,%xmm0
  comisd -0x50(%rbp),%xmm0
  ja     L62
  pxor   %xmm0,%xmm0
  comisd -0x58(%rbp),%xmm0
  jbe    L25
L62:
  lea    D88(%rip),%rax
  mov    %rax,%rdi
  call   <printf@plt>
  mov    $0x1,%edi
  call   <exit@plt>
L25:
  movsd  -0x50(%rbp),%xmm0
  addsd  -0x58(%rbp),%xmm0
  movsd  D126(%rip),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D126(%rip),%xmm0
  subsd  -0x48(%rbp),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  movsd  D204(%rip),%xmm0
  comisd -0x30(%rbp),%xmm0
  jb     L6
  movsd  D156(%rip),%xmm0
  subsd  -0x48(%rbp),%xmm0
  mulsd  -0x30(%rbp),%xmm0
  movsd  -0x58(%rbp),%xmm1
  movsd  D126(%rip),%xmm3
  movapd %xmm1,%xmm2
  subsd  %xmm3,%xmm2
  movsd  D126(%rip),%xmm1
  subsd  -0x48(%rbp),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  D202(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  movsd  -0x58(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <qgamma@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  jmp    L14
L6:
  movsd  -0x30(%rbp),%xmm0
  comisd D204(%rip),%xmm0
  jbe    L14
  movsd  -0x58(%rbp),%xmm0
  mulsd  -0x48(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  D138(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movsd  D126(%rip),%xmm0
  subsd  -0x48(%rbp),%xmm0
  mulsd  -0x50(%rbp),%xmm0
  movq   %xmm0,%rax
  movsd  D138(%rip),%xmm0
  movapd %xmm0,%xmm1
  movq   %rax,%xmm0
  call   <pow@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x20(%rbp)
  movsd  -0x58(%rbp),%xmm1
  movsd  D143(%rip),%xmm0
  movapd %xmm1,%xmm2
  mulsd  %xmm0,%xmm2
  movsd  D126(%rip),%xmm0
  movapd %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movsd  D126(%rip),%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  movsd  -0x50(%rbp),%xmm2
  movsd  D143(%rip),%xmm1
  movapd %xmm2,%xmm3
  mulsd  %xmm1,%xmm3
  movsd  D126(%rip),%xmm1
  movapd %xmm1,%xmm2
  divsd  %xmm3,%xmm2
  movsd  D126(%rip),%xmm1
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm2
  mulsd  -0x20(%rbp),%xmm2
  movapd %xmm0,%xmm1
  subsd  %xmm2,%xmm1
  movsd  D48(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  movsd  D51(%rip),%xmm1
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x28(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  movapd %xmm0,%xmm1
  divsd  -0x58(%rbp),%xmm1
  movsd  -0x20(%rbp),%xmm0
  mulsd  %xmm0,%xmm0
  divsd  -0x50(%rbp),%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x10(%rbp)
  movsd  -0x18(%rbp),%xmm0
  divsd  -0x10(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  call   <erfc@plt>
  movq   %xmm0,%rax
  movsd  D202(%rip),%xmm1
  movq   %rax,%xmm0
  divsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
L14:
  movsd  -0x38(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D126
type: f64
name: extract_symbolic_data
arguments: label: D75
type: string
name: extract_symbolic_data
arguments: label: D88
type: string
name: extract_symbolic_data
arguments: label: D204
type: f64[2]
name: extract_symbolic_data
arguments: label: D156
type: f64
name: extract_symbolic_data
arguments: label: D202
type: f64
name: extract_symbolic_data
arguments: label: D138
type: byte[8]
name: extract_symbolic_data
arguments: label: D143
type: f64
name: extract_symbolic_data
arguments: label: D48
type: f32[2]
name: extract_symbolic_data
arguments: label: D51
type: byte[8]

tool: D126: 1

tool: D75: x only accepts real values between 0.0 and 1.0

tool: D88:  The Two Inputs should be nonnegative and real

tool: {"D204": [0.8,3.0]}

tool: D156: 3

tool: D202: 2

tool: {"D138": [0x55,0x55,0x55,0x55,0x55,0x55,0xd5,0x3f]}

tool: D143: 9

tool: {"D48": [0.0,-2.125]}

tool: {"D51": [0xcd,0x3b,0x7f,0x66,0x9e,0xa0,0xf6,0x3f]}

assistant: ```c
double ibeta_appx(double x, double a, double b) {
  double oup, abx, c2, w1, w2, num, den;
  if (x < 0. || x > 1.) {
    printf("x only accepts real values between 0.0 and 1.0");
    exit(1);
  }
  if (a < 0. || b < 0.) {
    printf(" The Two Inputs should be nonnegative and real");
    exit(1);
  }
  abx = (a + b - 1) * (1. - x);
  if (abx <= 0.8) {
    c2 = (abx * (3. - x) - (b - 1.) * (1. - x)) / 2.0;
    oup = qgamma(c2, b);
  } else if (abx > 0.8) {
    w1 = pow(b * x, (double)1. / 3.);
    w2 = pow(a * (1. - x), (double)1. / 3.);
    num = -3.0 * (w1 * (1. - 1. / (9. * b)) - w2 * (1. - 1. / (9. * a))) / sqrt(2);
    den = sqrt((w1 * w1 / b) + (w2 * w2 / a));
    oup = erfc(num / den) / 2.0;
  }
  return oup;
}
```