user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<main>:
  endbr64
  push   %rbp
  lea    D44(%rip),%rdi
  lea    D84(%rip),%rbp
  sub    $0x20,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x18(%rsp)
  xor    %eax,%eax
  call   <printf@plt>
  lea    0x10(%rsp),%rsi
  mov    %rbp,%rdi
  call   <scanf@plt>
  lea    D51(%rip),%rdi
  xor    %eax,%eax
  call   <printf@plt>
  lea    0x14(%rsp),%rsi
  mov    %rbp,%rdi
  call   <scanf@plt>
  movss  0x14(%rsp),%xmm1
  movss  0x10(%rsp),%xmm0
  call   <plus@plt>
  movss  0x14(%rsp),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movss  0x10(%rsp),%xmm0
  call   <plus@plt>
  movsd  0x8(%rsp),%xmm2
  mov    $0x2,%eax
  lea    D35(%rip),%rdi
  movapd %xmm2,%xmm1
  call   <printf@plt>
  movss  0x14(%rsp),%xmm1
  movss  0x10(%rsp),%xmm0
  call   <minus@plt>
  movss  0x14(%rsp),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movss  0x10(%rsp),%xmm0
  call   <minus@plt>
  movsd  0x8(%rsp),%xmm2
  mov    $0x2,%eax
  lea    D83(%rip),%rdi
  movapd %xmm2,%xmm1
  call   <printf@plt>
  movss  0x14(%rsp),%xmm1
  movss  0x10(%rsp),%xmm0
  call   <mul@plt>
  movss  0x14(%rsp),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movss  0x10(%rsp),%xmm0
  call   <mul@plt>
  movsd  0x8(%rsp),%xmm2
  mov    $0x2,%eax
  lea    D38(%rip),%rdi
  movapd %xmm2,%xmm1
  call   <printf@plt>
  movss  0x14(%rsp),%xmm1
  ucomiss D13(%rip),%xmm1
  jp     L15
  jne    L15
  lea    D89(%rip),%rdi
  call   <puts@plt>
L3:
  mov    0x18(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L14
  add    $0x20,%rsp
  xor    %eax,%eax
  pop    %rbp
  ret
L15:
  movss  0x10(%rsp),%xmm0
  call   <div@plt>
  movss  0x14(%rsp),%xmm1
  movsd  %xmm0,0x8(%rsp)
  movss  0x10(%rsp),%xmm0
  call   <div@plt>
  movsd  0x8(%rsp),%xmm2
  mov    $0x2,%eax
  lea    D34(%rip),%rdi
  movapd %xmm2,%xmm1
  call   <printf@plt>
  jmp    L3
L14:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D44
datatype: string
name: extract_symbolic_data
arguments: data_tag: D84
datatype: string
name: extract_symbolic_data
arguments: data_tag: D51
datatype: string
name: extract_symbolic_data
arguments: data_tag: D35
datatype: string
name: extract_symbolic_data
arguments: data_tag: D83
datatype: string
name: extract_symbolic_data
arguments: data_tag: D38
datatype: string
name: extract_symbolic_data
arguments: data_tag: D13
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D89
datatype: string
name: extract_symbolic_data
arguments: data_tag: D34
datatype: string

tool: D44:  Input a  number, please? 

tool: D84: %f

tool: D51:  Input a  number2, please?  

tool: D35:  c + d = %.4f     %e


tool: D83:  c - d = %.4f     %e


tool: D38:  c * d = %.4f     %e


tool: {"D13": [0x00,0x00,0x00,0x00]}

tool: D89:  Unknown.

tool: D34:  c / d = %.4f     %e


assistant: ```c
int main() {
  float c, d;
  printf(" Input a  number, please? ");
  scanf("%f", &c);
  printf(" Input a  number2, please?  ");
  scanf("%f", &d);
  printf(" c + d = %.4f     %e\n", plus(c, d), plus(c, d));
  printf(" c - d = %.4f     %e\n", minus(c, d), minus(c, d));
  printf(" c * d = %.4f     %e\n", mul(c, d), mul(c, d));
  if (d == 0)
    printf(" Unknown.\n");
  else
    printf(" c / d = %.4f     %e\n", div(c, d), div(c, d));
  return 0;
}
```