user: What is the c source code of the assembly code below?

```asm
<french>:
  endbr64
  push   %r14
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,%ebx
  movsd  %xmm0,0x30(%rsp)
  movsd  %xmm1,0x10(%rsp)
  movsd  %xmm2,0x8(%rsp)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,0x18(%rsp)
  movq   %xmm5,%r14
  movsd  %xmm6,0x20(%rsp)
  ucomisd %xmm0,%xmm0
  mov    $0x0,%edi
  jp     L77
  movapd %xmm0,%xmm5
  mov    $0x0,%edi
  comisd D60(%rip),%xmm0
  jb     L77
  movsd  D109(%rip),%xmm0
  comisd %xmm5,%xmm0
  setae  %dil
  movzbl %dil,%edi
L77:
  mov    $0x0,%eax
  call   <assert@plt>
  movsd  0x10(%rsp),%xmm6
  ucomisd %xmm6,%xmm6
  mov    $0x0,%edi
  jp     L63
  mov    $0x0,%edi
  comisd D60(%rip),%xmm6
  jb     L63
  movsd  D109(%rip),%xmm0
  comisd %xmm6,%xmm0
  setae  %dil
  movzbl %dil,%edi
L63:
  mov    $0x0,%eax
  call   <assert@plt>
  movsd  0x8(%rsp),%xmm2
  ucomisd %xmm2,%xmm2
  mov    $0x0,%edi
  jp     L33
  mov    $0x0,%edi
  comisd D21(%rip),%xmm2
  jb     L33
  movsd  D64(%rip),%xmm0
  comisd %xmm2,%xmm0
  setae  %dil
  movzbl %dil,%edi
L33:
  mov    $0x0,%eax
  call   <assert@plt>
  movsd  0x18(%rsp),%xmm3
  pxor   %xmm4,%xmm4
  comisd %xmm4,%xmm3
  setae  %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movq   %r14,%xmm3
  pxor   %xmm1,%xmm1
  comisd %xmm1,%xmm3
  setae  %dil
  movzbl %dil,%edi
  mov    $0x0,%eax
  call   <assert@plt>
  movsd  0x20(%rsp),%xmm7
  pxor   %xmm5,%xmm5
  mov    $0x0,%edi
  comisd %xmm5,%xmm7
  jbe    L88
  movsd  D108(%rip),%xmm0
  comisd %xmm7,%xmm0
  setae  %dil
  movzbl %dil,%edi
L88:
  mov    $0x0,%eax
  call   <assert@plt>
  pxor   %xmm0,%xmm0
  movsd  0x28(%rsp),%xmm7
  ucomisd %xmm7,%xmm0
  ja     L104
  sqrtsd %xmm7,%xmm7
  movapd %xmm7,%xmm0
L90:
  movapd %xmm0,%xmm4
  mulsd  0x20(%rsp),%xmm4
  movsd  %xmm4,0x38(%rsp)
  movsd  0x30(%rsp),%xmm2
  divsd  0x10(%rsp),%xmm2
  movapd %xmm2,%xmm0
  call   <log@plt>
  movapd %xmm0,%xmm2
  movsd  0x20(%rsp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  D22(%rip),%xmm0
  mulsd  0x28(%rsp),%xmm0
  movsd  0x8(%rsp),%xmm6
  movapd %xmm6,%xmm1
  movq   %r14,%xmm3
  mulsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x38(%rsp),%xmm4
  divsd  %xmm4,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movapd %xmm0,%xmm7
  subsd  %xmm4,%xmm7
  movsd  %xmm7,0x28(%rsp)
  test   %ebx,%ebx
  je     L27
  subsd  0x18(%rsp),%xmm3
  movapd %xmm3,%xmm0
  mulsd  %xmm6,%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm3
  mulsd  0x30(%rsp),%xmm3
  movsd  %xmm3,0x30(%rsp)
  movsd  0x20(%rsp),%xmm0
  mov    $0x1,%eax
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm3
  mulsd  0x30(%rsp),%xmm3
  movsd  %xmm3,0x20(%rsp)
  movsd  0x18(%rsp),%xmm4
  xorpd  D55(%rip),%xmm4
  movapd %xmm4,%xmm0
  mulsd  0x8(%rsp),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm6
  mulsd  0x10(%rsp),%xmm6
  movsd  %xmm6,0x8(%rsp)
  movsd  0x28(%rsp),%xmm0
  mov    $0x1,%eax
  call   <cnd@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  mulsd  0x8(%rsp),%xmm1
  movsd  0x20(%rsp),%xmm0
  subsd  %xmm1,%xmm0
L23:
  add    $0x48,%rsp
  pop    %rbx
  pop    %r14
  ret
L104:
  movsd  0x28(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L90
L27:
  movsd  0x18(%rsp),%xmm0
  xorpd  D55(%rip),%xmm0
  mulsd  0x8(%rsp),%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm5
  mulsd  0x10(%rsp),%xmm5
  movsd  %xmm5,0x10(%rsp)
  movsd  0x28(%rsp),%xmm7
  xorpd  D55(%rip),%xmm7
  movapd %xmm7,%xmm0
  mov    $0x1,%eax
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  cvtsi2sd %eax,%xmm0
  movapd %xmm0,%xmm2
  mulsd  0x10(%rsp),%xmm2
  movsd  %xmm2,0x10(%rsp)
  movq   %r14,%xmm5
  subsd  0x18(%rsp),%xmm5
  movsd  0x8(%rsp),%xmm0
  mulsd  %xmm5,%xmm0
  call   <exp@plt>
  movapd %xmm0,%xmm4
  mulsd  0x30(%rsp),%xmm4
  movsd  %xmm4,0x8(%rsp)
  movsd  0x20(%rsp),%xmm1
  xorpd  D55(%rip),%xmm1
  movapd %xmm1,%xmm0
  mov    $0x1,%eax
  call   <cnd@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %eax,%xmm1
  mulsd  0x8(%rsp),%xmm1
  movsd  0x10(%rsp),%xmm0
  subsd  %xmm1,%xmm0
  jmp    L23
```

tool_calls: name: disassemble_data
arguments: tag: D60
data_type: f64[2]
name: disassemble_data
arguments: tag: D109
data_type: f64
name: disassemble_data
arguments: tag: D21
data_type: byte[16]
name: disassemble_data
arguments: tag: D64
data_type: f64
name: disassemble_data
arguments: tag: D108
data_type: f64
name: disassemble_data
arguments: tag: D22
data_type: f32[2]
name: disassemble_data
arguments: tag: D55
data_type: f32[4]

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

tool: D109: 1000000000000

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

tool: D64: 20

tool: D108: 100

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

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

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;
}
```