user: Please show me the C implementation that matches the assembly code listed below:

```asm
<french>:
  endbr64
  push   %rbx
  mov    %edi,%ebx
  sub    $0x40,%rsp
  ucomisd %xmm0,%xmm0
  movsd  %xmm0,0x30(%rsp)
  movsd  %xmm1,0x8(%rsp)
  movsd  %xmm2,(%rsp)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,0x18(%rsp)
  movsd  %xmm5,0x20(%rsp)
  movsd  %xmm6,0x10(%rsp)
  jp     L0
  comisd D97(%rip),%xmm0
  movapd %xmm0,%xmm6
  jae    L79
L0:
  xor    %edi,%edi
L100:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x8(%rsp),%xmm7
  ucomisd %xmm7,%xmm7
  jp     L69
  comisd D97(%rip),%xmm7
  jae    L52
L69:
  xor    %edi,%edi
L53:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  (%rsp),%xmm3
  ucomisd %xmm3,%xmm3
  jp     L96
  comisd D104(%rip),%xmm3
  jae    L2
L96:
  xor    %edi,%edi
L94:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x18(%rsp),%xmm4
  pxor   %xmm7,%xmm7
  xor    %edi,%edi
  comisd %xmm7,%xmm4
  setae  %dil
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x20(%rsp),%xmm4
  pxor   %xmm6,%xmm6
  xor    %edi,%edi
  comisd %xmm6,%xmm4
  setae  %dil
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x10(%rsp),%xmm7
  pxor   %xmm4,%xmm4
  xor    %edi,%edi
  comisd %xmm4,%xmm7
  jbe    L8
  movsd  D108(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm7,%xmm0
  setae  %dil
L8:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x28(%rsp),%xmm5
  pxor   %xmm4,%xmm4
  ucomisd %xmm5,%xmm4
  ja     L31
  sqrtsd %xmm5,%xmm5
  movapd %xmm5,%xmm2
L17:
  mulsd  0x10(%rsp),%xmm2
  movsd  0x30(%rsp),%xmm0
  divsd  0x8(%rsp),%xmm0
  movsd  %xmm2,0x38(%rsp)
  call   <log@plt>
  movsd  (%rsp),%xmm7
  movsd  0x20(%rsp),%xmm5
  movapd %xmm0,%xmm3
  movsd  0x10(%rsp),%xmm1
  movsd  0x38(%rsp),%xmm2
  movapd %xmm7,%xmm0
  movsd  0x18(%rsp),%xmm6
  mulsd  %xmm5,%xmm0
  mulsd  %xmm1,%xmm1
  mulsd  D59(%rip),%xmm1
  mulsd  0x28(%rsp),%xmm1
  addsd  %xmm3,%xmm0
  movq   D69(%rip),%xmm3
  addsd  %xmm0,%xmm1
  divsd  %xmm2,%xmm1
  movapd %xmm1,%xmm4
  subsd  %xmm2,%xmm4
  movapd %xmm6,%xmm2
  xorpd  %xmm3,%xmm2
  test   %ebx,%ebx
  je     L101
  subsd  %xmm6,%xmm5
  movsd  %xmm4,0x20(%rsp)
  movsd  %xmm2,0x28(%rsp)
  movsd  %xmm1,0x18(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm7,%xmm0
  call   <exp@plt>
  movsd  0x30(%rsp),%xmm3
  movsd  0x18(%rsp),%xmm1
  mov    $0x1,%eax
  mulsd  %xmm0,%xmm3
  movapd %xmm1,%xmm0
  movsd  %xmm3,0x10(%rsp)
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x10(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm2
  cvtsi2sd %eax,%xmm0
  mulsd  %xmm0,%xmm1
  movsd  (%rsp),%xmm0
  mulsd  %xmm2,%xmm0
  movsd  %xmm1,0x10(%rsp)
  call   <exp@plt>
  mulsd  0x8(%rsp),%xmm0
  movsd  0x20(%rsp),%xmm4
  mov    $0x1,%eax
  movsd  %xmm0,(%rsp)
  movapd %xmm4,%xmm0
  call   <cnd@plt>
  pxor   %xmm2,%xmm2
  movsd  0x10(%rsp),%xmm1
  cvtsi2sd %eax,%xmm2
  mulsd  (%rsp),%xmm2
  add    $0x40,%rsp
  pop    %rbx
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  ret
  xchg   %ax,%ax
L101:
  mulsd  (%rsp),%xmm2
  movsd  %xmm1,0x10(%rsp)
  movsd  %xmm4,0x28(%rsp)
  movapd %xmm2,%xmm0
  call   <exp@plt>
  mulsd  0x8(%rsp),%xmm0
  movsd  0x28(%rsp),%xmm4
  mov    $0x1,%eax
  movq   D69(%rip),%xmm3
  xorpd  %xmm3,%xmm4
  movsd  %xmm0,0x8(%rsp)
  movapd %xmm4,%xmm0
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x8(%rsp),%xmm2
  cvtsi2sd %eax,%xmm0
  mulsd  %xmm0,%xmm2
  movsd  0x20(%rsp),%xmm0
  subsd  0x18(%rsp),%xmm0
  mulsd  (%rsp),%xmm0
  movsd  %xmm2,0x8(%rsp)
  call   <exp@plt>
  mulsd  0x30(%rsp),%xmm0
  movsd  0x10(%rsp),%xmm1
  mov    $0x1,%eax
  movq   D69(%rip),%xmm3
  xorpd  %xmm3,%xmm1
  movsd  %xmm0,(%rsp)
  movapd %xmm1,%xmm0
  call   <cnd@plt>
  pxor   %xmm1,%xmm1
  movsd  0x8(%rsp),%xmm2
  cvtsi2sd %eax,%xmm1
  mulsd  (%rsp),%xmm1
  add    $0x40,%rsp
  pop    %rbx
  subsd  %xmm1,%xmm2
  movapd %xmm2,%xmm0
  ret
L2:
  movsd  D103(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm3,%xmm0
  setae  %dil
  jmp    L94
  nopw   0x0(%rax,%rax,1)
L52:
  movsd  D77(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm7,%xmm0
  setae  %dil
  jmp    L53
  nopw   0x0(%rax,%rax,1)
L79:
  movsd  D77(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm6,%xmm0
  setae  %dil
  jmp    L100
L31:
  movsd  0x28(%rsp),%xmm0
  call   <sqrt@plt>
  movapd %xmm0,%xmm2
  jmp    L17
```

tool_calls: name: parse_data
arguments: tag: D97
datatype: f64[2]
name: parse_data
arguments: tag: D104
datatype: byte[16]
name: parse_data
arguments: tag: D108
datatype: f64
name: parse_data
arguments: tag: D59
datatype: f32[2]
name: parse_data
arguments: tag: D69
datatype: f32[2]
name: parse_data
arguments: tag: D103
datatype: f64
name: parse_data
arguments: tag: D77
datatype: f64

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

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

tool: D108: 100

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

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

tool: D103: 20

tool: D77: 1000000000000

assistant: ```c
double french(int fCall, double S, double X, double T, double t1, double r, double b, double v) {
  double vst1, d1, d2, result;
  assert(((S) == (S)) && (S) >= 0.000001 && (S) <= 1000000000000.0);
  assert(((X) == (X)) && (X) >= 0.000001 && (X) <= 1000000000000.0);
  assert(((T) == (T)) && (T) >= (1.0 / (253.0 * 24.0)) && (T) <= (20.0));
  assert(r >= 0.0);
  assert(b >= 0.0);
  assert(v > 0.0 && v <= 100.0);
  vst1 = v * sqrt(t1);
  d1 = (log(S / X) + b * T + ((v) * (v)) / 2.0 * t1) / vst1;
  d2 = d1 - vst1;
  if (fCall)
    result = S * exp((b - r) * T) * cnd(d1) - X * exp(-r * T) * cnd(d2);
  else
    result = X * exp(-r * T) * cnd(-d2) - S * exp((b - r) * T) * cnd(-d1);
  return result;
}
```