user: 请从给定的汇编指令推导出C源代码:

```asm
<blackscholes_put>:
  endbr64
  sub    $0x38,%rsp
  ucomisd %xmm0,%xmm0
  movsd  %xmm0,0x20(%rsp)
  movsd  %xmm1,0x8(%rsp)
  movsd  %xmm2,(%rsp)
  movsd  %xmm3,0x28(%rsp)
  movsd  %xmm4,0x10(%rsp)
  jp     L87
  comisd D8(%rip),%xmm0
  movapd %xmm0,%xmm7
  jae    L31
L87:
  xor    %edi,%edi
L90:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x8(%rsp),%xmm3
  ucomisd %xmm3,%xmm3
  jp     L103
  comisd D8(%rip),%xmm3
  jae    L16
L103:
  xor    %edi,%edi
L1:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  (%rsp),%xmm2
  ucomisd %xmm2,%xmm2
  jp     L47
  comisd D99(%rip),%xmm2
  jae    L23
L47:
  xor    %edi,%edi
L33:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x28(%rsp),%xmm6
  ucomisd %xmm6,%xmm6
  jp     L147
  pxor   %xmm7,%xmm7
  xor    %edi,%edi
  comisd %xmm7,%xmm6
  movsd  %xmm7,0x18(%rsp)
  jb     L54
  movsd  D62(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm6,%xmm0
  setae  %dil
L54:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x10(%rsp),%xmm5
  ucomisd %xmm5,%xmm5
  jp     L40
  comisd D118(%rip),%xmm5
  jae    L130
L40:
  xor    %edi,%edi
L24:
  xor    %eax,%eax
  call   <assert@plt>
  movsd  0x18(%rsp),%xmm7
  movsd  (%rsp),%xmm4
  ucomisd %xmm4,%xmm7
  ja     L46
  sqrtsd %xmm4,%xmm4
  movapd %xmm4,%xmm0
L81:
  movsd  0x10(%rsp),%xmm6
  movsd  0x20(%rsp),%xmm7
  divsd  0x8(%rsp),%xmm7
  mulsd  %xmm0,%xmm6
  movapd %xmm7,%xmm0
  movsd  %xmm6,0x18(%rsp)
  call   <log@plt>
  movsd  0x28(%rsp),%xmm5
  movsd  (%rsp),%xmm4
  movapd %xmm0,%xmm1
  movsd  0x10(%rsp),%xmm0
  mulsd  %xmm0,%xmm0
  mulsd  D43(%rip),%xmm0
  addsd  %xmm5,%xmm0
  xorpd  D50(%rip),%xmm5
  mulsd  %xmm4,%xmm0
  addsd  %xmm1,%xmm0
  divsd  0x18(%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movapd %xmm5,%xmm0
  mulsd  %xmm4,%xmm0
  call   <exp@plt>
  movsd  0x8(%rsp),%xmm3
  mov    $0x1,%eax
  mulsd  %xmm0,%xmm3
  movsd  (%rsp),%xmm0
  subsd  0x18(%rsp),%xmm0
  xorpd  D50(%rip),%xmm0
  movsd  %xmm3,0x8(%rsp)
  call   <cnd@plt>
  pxor   %xmm0,%xmm0
  movsd  0x8(%rsp),%xmm1
  cvtsi2sd %eax,%xmm0
  mov    $0x1,%eax
  mulsd  %xmm0,%xmm1
  movsd  (%rsp),%xmm0
  xorpd  D50(%rip),%xmm0
  movsd  %xmm1,0x8(%rsp)
  call   <cnd@plt>
  pxor   %xmm2,%xmm2
  movsd  0x8(%rsp),%xmm1
  cvtsi2sd %eax,%xmm2
  mulsd  0x20(%rsp),%xmm2
  add    $0x38,%rsp
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm0
  ret
  nopl   (%rax)
L147:
  pxor   %xmm6,%xmm6
  xor    %edi,%edi
  movsd  %xmm6,0x18(%rsp)
  jmp    L54
  nopl   0x0(%rax)
L23:
  movsd  D95(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm2,%xmm0
  setae  %dil
  jmp    L33
  nopw   0x0(%rax,%rax,1)
L16:
  movsd  D119(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm3,%xmm0
  setae  %dil
  jmp    L1
  nopw   0x0(%rax,%rax,1)
L31:
  movsd  D119(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm7,%xmm0
  setae  %dil
  jmp    L90
  nopw   0x0(%rax,%rax,1)
L130:
  movsd  D17(%rip),%xmm0
  xor    %edi,%edi
  comisd %xmm5,%xmm0
  setae  %dil
  jmp    L24
L46:
  movsd  (%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L81
```

tool_calls: name: disassemble_data
arguments: data_label: D8
type_guessed: f64[2]
name: disassemble_data
arguments: data_label: D99
type_guessed: byte[16]
name: disassemble_data
arguments: data_label: D62
type_guessed: f64
name: disassemble_data
arguments: data_label: D118
type_guessed: f64[2]
name: disassemble_data
arguments: data_label: D43
type_guessed: f32[2]
name: disassemble_data
arguments: data_label: D50
type_guessed: f32[4]
name: disassemble_data
arguments: data_label: D95
type_guessed: f64
name: disassemble_data
arguments: data_label: D119
type_guessed: f64
name: disassemble_data
arguments: data_label: D17
type_guessed: f64

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

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

tool: D62: 1000

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

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

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

tool: D95: 20

tool: D119: 1000000000000

tool: D17: 100.99999

assistant: ```c
extern double blackscholes_put(double S, double X, double T, double r, double v) {
  double vst, d1;
  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) == (r)) && (r) >= 0.0 && (r) <= 1000.0);
  assert(((v) == (v)) && (v) >= 0.0000001 && v <= 100.99999);
  vst = v * sqrt(T);
  d1 = (log(S / X) + (r + ((v) * (v)) / 2) * T) / (vst);
  return X * exp(-r * T) * cnd(-(d1 - vst)) - S * cnd(-d1);
}
```