user: Converte this assembly snippet into its equivalent C code:

```asm
<VasicekBondOption>:
  endbr64
  push   %r14
  movq   %xmm2,%r14
  push   %rbx
  mov    %edi,%ebx
  sub    $0x58,%rsp
  ucomisd %xmm1,%xmm1
  movsd  %xmm3,0x10(%rsp)
  movapd %xmm5,%xmm3
  movsd  %xmm0,0x30(%rsp)
  movsd  %xmm1,0x38(%rsp)
  movsd  %xmm4,0x20(%rsp)
  movsd  %xmm6,0x8(%rsp)
  movsd  %xmm7,0x18(%rsp)
  jp     L46
  comisd D16(%rip),%xmm1
  jae    L122
L46:
  xor    %edi,%edi
L10:
  xor    %eax,%eax
  movsd  %xmm3,0x28(%rsp)
  call   <assert@plt>
  movsd  0x10(%rsp),%xmm6
  movsd  0x28(%rsp),%xmm3
  ucomisd %xmm6,%xmm6
  jp     L142
  comisd D122(%rip),%xmm6
  jae    L143
L142:
  xor    %edi,%edi
L55:
  xor    %eax,%eax
  movsd  %xmm3,0x28(%rsp)
  call   <assert@plt>
  movsd  0x20(%rsp),%xmm5
  movsd  0x28(%rsp),%xmm3
  ucomisd %xmm5,%xmm5
  jp     L39
  pxor   %xmm7,%xmm7
  xor    %edi,%edi
  comisd %xmm7,%xmm5
  movsd  %xmm7,0x28(%rsp)
  jb     L102
  movsd  D147(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm5,%xmm0
  setae  %dil
L102:
  xor    %eax,%eax
  movsd  %xmm3,0x40(%rsp)
  call   <assert@plt>
  movsd  0x18(%rsp),%xmm7
  movsd  0x40(%rsp),%xmm3
  ucomisd %xmm7,%xmm7
  jp     L116
  comisd D102(%rip),%xmm7
  jae    L139
L116:
  xor    %edi,%edi
L146:
  xor    %eax,%eax
  movsd  %xmm3,0x40(%rsp)
  call   <assert@plt>
  movsd  0x38(%rsp),%xmm5
  pxor   %xmm0,%xmm0
  movsd  0x40(%rsp),%xmm3
  divsd  0x30(%rsp),%xmm5
  movsd  0x8(%rsp),%xmm4
  movsd  0x20(%rsp),%xmm2
  movsd  %xmm5,0x38(%rsp)
  movsd  0x10(%rsp),%xmm1
  movsd  0x18(%rsp),%xmm5
  mov    $0x6,%eax
  movsd  %xmm3,0x48(%rsp)
  call   <VasicekBondPrice@plt>
  pxor   %xmm3,%xmm3
  movq   %r14,%xmm1
  movsd  0x18(%rsp),%xmm5
  cvtsi2sd %eax,%xmm3
  movsd  0x8(%rsp),%xmm4
  movsd  0x20(%rsp),%xmm2
  pxor   %xmm0,%xmm0
  mov    $0x6,%eax
  movsd  %xmm3,0x40(%rsp)
  movsd  0x48(%rsp),%xmm3
  call   <VasicekBondPrice@plt>
  movsd  0x8(%rsp),%xmm7
  pxor   %xmm2,%xmm2
  mulsd  D104(%rip),%xmm7
  cvtsi2sd %eax,%xmm2
  movsd  %xmm2,0x20(%rsp)
  movapd %xmm7,%xmm1
  movsd  0x10(%rsp),%xmm7
  movsd  %xmm1,0x48(%rsp)
  mulsd  %xmm1,%xmm7
  movapd %xmm7,%xmm0
  call   <exp@plt>
  movsd  0x18(%rsp),%xmm6
  movsd  D142(%rip),%xmm2
  movapd %xmm0,%xmm3
  movsd  0x48(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm5
  mulsd  %xmm6,%xmm6
  subsd  %xmm3,%xmm2
  movq   D105(%rip),%xmm3
  movapd %xmm6,%xmm0
  mulsd  %xmm2,%xmm0
  xorpd  %xmm3,%xmm0
  divsd  %xmm1,%xmm0
  ucomisd %xmm0,%xmm5
  ja     L101
  sqrtsd %xmm0,%xmm0
  movsd  %xmm0,0x18(%rsp)
L95:
  movsd  0x8(%rsp),%xmm0
  movq   %r14,%xmm1
  subsd  0x10(%rsp),%xmm1
  xorpd  %xmm3,%xmm0
  mulsd  %xmm1,%xmm0
  call   <exp@plt>
  movsd  0x38(%rsp),%xmm4
  mulsd  0x40(%rsp),%xmm4
  movsd  D142(%rip),%xmm2
  subsd  %xmm0,%xmm2
  movsd  0x20(%rsp),%xmm0
  mulsd  0x18(%rsp),%xmm2
  divsd  0x8(%rsp),%xmm2
  movsd  %xmm2,0x10(%rsp)
  divsd  %xmm4,%xmm0
  movsd  %xmm4,0x8(%rsp)
  call   <log@plt>
  movsd  0x10(%rsp),%xmm2
  movsd  D142(%rip),%xmm1
  movsd  D32(%rip),%xmm7
  divsd  %xmm2,%xmm1
  mulsd  %xmm2,%xmm7
  mulsd  %xmm0,%xmm1
  addsd  %xmm7,%xmm1
  test   %ebx,%ebx
  je     L9
  movapd %xmm1,%xmm0
  mov    $0x1,%eax
  movsd  %xmm2,0x18(%rsp)
  movsd  %xmm1,0x10(%rsp)
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x20(%rsp),%xmm6
  movsd  0x10(%rsp),%xmm1
  cvtsi2sd %eax,%xmm0
  movsd  0x18(%rsp),%xmm2
  mov    $0x1,%eax
  subsd  %xmm2,%xmm1
  mulsd  %xmm0,%xmm6
  movapd %xmm1,%xmm0
  movq   %xmm6,%rbx
  call   <cnd@plt>
  pxor   %xmm1,%xmm1
  movq   %rbx,%xmm0
  cvtsi2sd %eax,%xmm1
  mulsd  0x8(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0x30(%rsp),%xmm0
  add    $0x58,%rsp
  pop    %rbx
  pop    %r14
  ret
  nopl   0x0(%rax)
L39:
  pxor   %xmm5,%xmm5
  xor    %edi,%edi
  movsd  %xmm5,0x28(%rsp)
  jmp    L102
  nopl   0x0(%rax)
L9:
  subsd  %xmm1,%xmm2
  mov    $0x1,%eax
  movsd  %xmm1,0x10(%rsp)
  movapd %xmm2,%xmm0
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x10(%rsp),%xmm1
  movq   D105(%rip),%xmm3
  cvtsi2sd %eax,%xmm0
  mulsd  0x8(%rsp),%xmm0
  mov    $0x1,%eax
  xorpd  %xmm3,%xmm1
  movq   %xmm0,%rbx
  movapd %xmm1,%xmm0
  call   <cnd@plt>
  pxor   %xmm1,%xmm1
  movq   %rbx,%xmm0
  cvtsi2sd %eax,%xmm1
  mulsd  0x20(%rsp),%xmm1
  subsd  %xmm1,%xmm0
  mulsd  0x30(%rsp),%xmm0
  add    $0x58,%rsp
  pop    %rbx
  pop    %r14
  ret
  nopl   0x0(%rax,%rax,1)
L143:
  movsd  D26(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm6,%xmm0
  setae  %dil
  jmp    L55
  nopw   0x0(%rax,%rax,1)
L122:
  movsd  D98(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm1,%xmm0
  setae  %dil
  jmp    L10
  nopw   0x0(%rax,%rax,1)
L139:
  movsd  D110(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm7,%xmm0
  setae  %dil
  jmp    L146
L101:
  call   <sqrt@plt>
  movq   D105(%rip),%xmm3
  movsd  %xmm0,0x18(%rsp)
  jmp    L95
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D16
type: f64[2]
name: extract_symbolic_data
arguments: data_label: D122
type: byte[16]
name: extract_symbolic_data
arguments: data_label: D147
type: f64
name: extract_symbolic_data
arguments: data_label: D102
type: f64[2]
name: extract_symbolic_data
arguments: data_label: D104
type: f32[2]
name: extract_symbolic_data
arguments: data_label: D142
type: f64
name: extract_symbolic_data
arguments: data_label: D105
type: f32[2]
name: extract_symbolic_data
arguments: data_label: D32
type: f32[2]
name: extract_symbolic_data
arguments: data_label: D26
type: f64
name: extract_symbolic_data
arguments: data_label: D98
type: f64
name: extract_symbolic_data
arguments: data_label: D110
type: f64

tool: {"D16": [1e-6,1000000000000.0]}

tool: {"D122": [0xce,0xd2,0x29,0x9c,0x17,0x96,0x25,0x3f,0x00,0x00,0x00,0x00,0x00,0x00,0x34,0x40]}

tool: D147: 1000

tool: {"D102": [1e-7,100.99999]}

tool: {"D104": [0.0,-2.0]}

tool: D142: 1

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

tool: {"D32": [0.0,1.75]}

tool: D26: 20

tool: D98: 1000000000000

tool: D110: 100.99999

assistant: ```c
double VasicekBondOption(int fCall, double F, double X, double tau, double T, double r, double Theta, double kappa, double v) {
  double PtT, Pt_tau, vp, H, result;
  assert(((X) == (X)) && (X) >= 0.000001 && (X) <= 1000000000000.0);
  assert(((T) == (T)) && (T) >= (1.0 / (253.0 * 24.0)) && (T) <= (20.0));
  assert(((r) == (r)) && (r) >= 0.0 && (r) <= 1000.0);
  assert(((v) == (v)) && (v) >= 0.0000001 && v <= 100.99999);
  X = X / F;
  PtT = VasicekBondPrice(0.0, T, r, Theta, kappa, v);
  Pt_tau = VasicekBondPrice(0.0, tau, r, Theta, kappa, v);
  vp = sqrt(((v) * (v)) * (1.0 - exp(-2.0 * kappa * T)) / (2.0 * kappa)) * (1.0 - exp(-kappa * (tau - T))) / kappa;
  H = 1.0 / vp * log(Pt_tau / (PtT * X)) + vp / 2.0;
  if (fCall)
    result = F * (Pt_tau * cnd(H) - X * PtT * cnd(H - vp));
  else
    result = F * (X * PtT * cnd(-H + vp) - Pt_tau * cnd(-H));
  return result;
}
```