user: Demonstrate the C code that generates the assembly output below:

```asm
<get_max_def_res>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r12
  push   %rbx
  sub    $0x90,%rsp
  mov    %edi,-0x74(%rbp)
  mov    %esi,-0x78(%rbp)
  mov    %edx,-0x7c(%rbp)
  mov    %rcx,-0x88(%rbp)
  mov    %r8,-0x90(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  pxor   %xmm0,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  movl   $0xffffffff,-0x64(%rbp)
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_N1@plt>
  mov    %eax,-0x60(%rbp)
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_N2@plt>
  mov    %eax,-0x5c(%rbp)
  mov    -0x60(%rbp),%eax
  mov    %eax,%edi
  call   <GET_NODE_X@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x48(%rbp)
  mov    -0x60(%rbp),%eax
  mov    %eax,%edi
  call   <GET_NODE_Y@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x40(%rbp)
  mov    -0x5c(%rbp),%eax
  mov    %eax,%edi
  call   <GET_NODE_X@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x38(%rbp)
  mov    -0x5c(%rbp),%eax
  mov    %eax,%edi
  call   <GET_NODE_Y@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x30(%rbp)
  movsd  -0x38(%rbp),%xmm0
  movapd %xmm0,%xmm1
  subsd  -0x48(%rbp),%xmm1
  movsd  -0x38(%rbp),%xmm0
  subsd  -0x48(%rbp),%xmm0
  mulsd  %xmm0,%xmm1
  movsd  -0x30(%rbp),%xmm0
  movapd %xmm0,%xmm2
  subsd  -0x40(%rbp),%xmm2
  movsd  -0x30(%rbp),%xmm0
  subsd  -0x40(%rbp),%xmm0
  mulsd  %xmm2,%xmm0
  addsd  %xmm0,%xmm1
  movq   %xmm1,%rax
  movq   %rax,%xmm0
  call   <sqrt@plt>
  movq   %xmm0,%rax
  mov    %rax,-0x28(%rbp)
  movl   $0x0,-0x68(%rbp)
  jmp    L13
L2:
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_E@plt>
  movsd  %xmm0,-0x98(%rbp)
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_I@plt>
  mulsd  -0x98(%rbp),%xmm0
  movsd  %xmm0,-0x20(%rbp)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x68(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x7c(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  movsd  -0x28(%rbp),%xmm1
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_VB@plt>
  mov    %eax,%r12d
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_VA@plt>
  mov    %eax,%ebx
  mov    -0x78(%rbp),%eax
  mov    %eax,%edi
  call   <GET_ELEM_TYPE@plt>
  mov    %eax,%ecx
  movsd  -0x50(%rbp),%xmm0
  mov    -0x28(%rbp),%rax
  movapd %xmm0,%xmm1
  mov    %r12d,%edx
  mov    %ebx,%esi
  movq   %rax,%xmm0
  mov    %ecx,%edi
  call   <md_compute_e_def_y@plt>
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  divsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,-0x18(%rbp)
  movsd  -0x18(%rbp),%xmm0
  movq   D7(%rip),%xmm1
  andpd  %xmm1,%xmm0
  comisd -0x58(%rbp),%xmm0
  jbe    L11
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0x68(%rbp),%eax
  mov    %eax,-0x64(%rbp)
L11:
  addl   $0x1,-0x68(%rbp)
L13:
  mov    -0x68(%rbp),%eax
  cmp    -0x7c(%rbp),%eax
  jle    L2
  mov    -0x88(%rbp),%rax
  mov    -0x64(%rbp),%edx
  mov    %edx,(%rax)
  pxor   %xmm0,%xmm0
  cvtsi2sdl -0x64(%rbp),%xmm0
  pxor   %xmm1,%xmm1
  cvtsi2sdl -0x7c(%rbp),%xmm1
  divsd  %xmm1,%xmm0
  mulsd  -0x28(%rbp),%xmm0
  mov    -0x90(%rbp),%rax
  movsd  %xmm0,(%rax)
  movsd  -0x58(%rbp),%xmm0
  movq   %xmm0,%rax
  movq   %rax,%xmm0
  add    $0x90,%rsp
  pop    %rbx
  pop    %r12
  pop    %rbp
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D7
datatype: qword

tool: D7: 9223372036854775807

assistant: ```c
double get_max_def_res(int type, int epos, int div, int *ppos, double *x) {
  int i, n1, n2;
  double val, EI, L, x1, y1, x2, y2;
  double xx = 0.0;
  double max = 0.0;
  int pos = -1;
  n1 = GET_ELEM_N1(epos);
  n2 = GET_ELEM_N2(epos);
  x1 = (GET_NODE_X(n1));
  y1 = (GET_NODE_Y(n1));
  x2 = (GET_NODE_X(n2));
  y2 = (GET_NODE_Y(n2));
  L = sqrt((x2 - x1) * (x2 - x1) + (y2 - y1) * (y2 - y1));
  for (i = 0; i <= div; i++) {
    EI = GET_ELEM_E(epos) * GET_ELEM_I(epos);
    xx = ((double)i / (double)div) * L;
    val = ((md_compute_e_def_y(GET_ELEM_TYPE(epos), L, GET_ELEM_VA(epos), GET_ELEM_VB(epos), xx) / EI));
    if (fabs(val) > max) {
      max = val;
      pos = i;
    }
  }
  *ppos = pos;
  *x = ((double)pos / (double)div) * L;
  return (max);
}
```