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

```asm
<target_x>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x130,%rsp
  mov    %rdi,-0x118(%rbp)
  mov    %rsi,-0x120(%rbp)
  mov    %edx,-0x124(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x9,-0x108(%rbp)
  movss  D122(%rip),%xmm0
  movss  %xmm0,-0x104(%rbp)
  movss  D110(%rip),%xmm0
  movss  %xmm0,-0xc0(%rbp)
  movss  D110(%rip),%xmm0
  movss  %xmm0,-0xbc(%rbp)
  movss  D82(%rip),%xmm0
  movss  %xmm0,-0xb8(%rbp)
  movss  D195(%rip),%xmm0
  movss  %xmm0,-0xb4(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xb0(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xac(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xa8(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xa4(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xa0(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x9c(%rbp)
  movss  D53(%rip),%xmm0
  movss  %xmm0,-0x90(%rbp)
  movss  D53(%rip),%xmm0
  movss  %xmm0,-0x8c(%rbp)
  movss  D62(%rip),%xmm0
  movss  %xmm0,-0x88(%rbp)
  movss  D44(%rip),%xmm0
  movss  %xmm0,-0x84(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x80(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x7c(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x78(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x74(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x70(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x6c(%rbp)
  movq   $0x0,-0x60(%rbp)
  movq   $0x0,-0x58(%rbp)
  movq   $0x0,-0x50(%rbp)
  movq   $0x0,-0x48(%rbp)
  movq   $0x0,-0x40(%rbp)
  movss  D100(%rip),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  D112(%rip),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  D131(%rip),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  D169(%rip),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  D30(%rip),%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  D125(%rip),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  D130(%rip),%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D193(%rip),%xmm0
  movss  %xmm0,-0x14(%rbp)
  movss  D189(%rip),%xmm0
  movss  %xmm0,-0x10(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xc(%rbp)
  movl   $0x0,-0x100(%rbp)
  cmpl   $0x0,-0x100(%rbp)
  jne    L24
  movl   $0x1,-0x100(%rbp)
  movl   $0x0,-0x10c(%rbp)
  jmp    L86
L1:
  mov    -0x10c(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm0
  mov    -0x10c(%rbp),%eax
  cltq
  movss  -0x90(%rbp,%rax,4),%xmm1
  ucomiss %xmm1,%xmm0
  jp     L90
  ucomiss %xmm1,%xmm0
  je     L54
L90:
  mov    -0x10c(%rbp),%eax
  cltq
  movss  -0x90(%rbp,%rax,4),%xmm0
  mov    -0x10c(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  D176(%rip),%xmm0
  divss  %xmm1,%xmm0
  mov    -0x10c(%rbp),%eax
  cltq
  movss  %xmm0,-0x60(%rbp,%rax,4)
  jmp    L10
L54:
  nop
L10:
  addl   $0x1,-0x10c(%rbp)
L86:
  mov    -0x10c(%rbp),%eax
  cmp    -0x124(%rbp),%eax
  jl     L1
L24:
  mov    -0x118(%rbp),%rax
  movss  (%rax),%xmm0
  movss  -0x90(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x60(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D200(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  mov    -0x120(%rbp),%rax
  movss  (%rax),%xmm1
  movss  -0x60(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xf8(%rbp)
  mov    -0x118(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  -0x8c(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x5c(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D200(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xf4(%rbp)
  mov    -0x120(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  movss  -0x5c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xf0(%rbp)
  mov    -0x118(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  -0x88(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D200(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xec(%rbp)
  mov    -0x120(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xe8(%rbp)
  mov    -0x118(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  movss  -0x84(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x54(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D200(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xe4(%rbp)
  mov    -0x120(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  movss  -0x54(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0xe0(%rbp)
  movss  -0xfc(%rbp),%xmm0
  movss  %xmm0,-0xdc(%rbp)
  movss  -0xf4(%rbp),%xmm0
  movss  %xmm0,-0xd8(%rbp)
  movss  -0xec(%rbp),%xmm0
  movss  %xmm0,-0xd4(%rbp)
  movss  -0xe4(%rbp),%xmm0
  movss  %xmm0,-0xd0(%rbp)
  movss  -0x30(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x104(%rbp),%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0xdc(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0xd8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0xd4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0xd0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0xdc(%rbp),%xmm0
  mulss  -0xd8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0xdc(%rbp),%xmm0
  mulss  -0xd0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0xd8(%rbp),%xmm0
  mulss  -0xd4(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xcc(%rbp)
  movss  -0x10(%rbp),%xmm0
  mulss  -0xd4(%rbp),%xmm0
  mulss  -0xd0(%rbp),%xmm0
  movss  -0xcc(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xcc(%rbp)
  movss  -0xf8(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm1,%xmm0
  addss  -0xf0(%rbp),%xmm0
  addss  -0xe8(%rbp),%xmm0
  movss  -0xe0(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xc8(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0xc8(%rbp),%xmm0
  jp     L67
  pxor   %xmm0,%xmm0
  ucomiss -0xc8(%rbp),%xmm0
  je     L39
L67:
  movss  -0xf8(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x128(%rbp)
  movss  -0x2c(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0xd8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0xd0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  movaps %xmm0,%xmm4
  mulss  -0x128(%rbp),%xmm4
  movss  %xmm4,-0x128(%rbp)
  movss  -0xf0(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x12c(%rbp)
  movss  -0x28(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0xdc(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0xd4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x12c(%rbp),%xmm0
  addss  -0x128(%rbp),%xmm0
  movss  %xmm0,-0x128(%rbp)
  movss  -0xe8(%rbp),%xmm0
  movaps %xmm0,%xmm7
  mulss  %xmm0,%xmm7
  movss  %xmm7,-0x12c(%rbp)
  movss  -0x24(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0xd8(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  -0xd0(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x12c(%rbp),%xmm0
  movaps %xmm0,%xmm3
  addss  -0x128(%rbp),%xmm3
  movss  %xmm3,-0x128(%rbp)
  movss  -0xe0(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x12c(%rbp)
  movss  -0x20(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0xdc(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x10(%rbp),%xmm0
  mulss  -0xd4(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x12c(%rbp),%xmm0
  addss  -0x128(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sqrt@plt>
  movd   %xmm0,%eax
  jmp    L97
L39:
  mov    D85(%rip),%eax
L97:
  mov    %eax,-0xc4(%rbp)
  mov    -0x120(%rbp),%rax
  movss  -0xc4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0xcc(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L63
  call   <__stack_chk_fail@plt>
L63:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D122
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D110
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D82
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D195
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D53
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D62
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D44
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D100
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D112
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D131
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D169
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D30
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D125
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D130
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D193
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D189
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D176
type: f32
name: extract_symbolic_data
arguments: data_tag: D200
type: f32
name: extract_symbolic_data
arguments: data_tag: D85
type: f32

tool: {"D122": [0xaf,0x3e,0x9e,0x3f]}

tool: {"D110": [0x00,0x00,0x70,0xc1]}

tool: {"D82": [0x3d,0x0a,0x90,0xc1]}

tool: {"D195": [0x62,0x10,0x90,0xc1]}

tool: {"D53": [0x00,0x00,0x70,0x41]}

tool: {"D62": [0x25,0x06,0x90,0x41]}

tool: {"D44": [0x0c,0x02,0x90,0x41]}

tool: {"D100": [0xbd,0x2d,0x65,0xba]}

tool: {"D112": [0x56,0xf0,0x17,0xc2]}

tool: {"D131": [0x45,0x3e,0x72,0x40]}

tool: {"D169": [0x57,0xde,0x7d,0x42]}

tool: {"D30": [0x2e,0xde,0xc6,0xc0]}

tool: {"D125": [0x2c,0xd5,0x16,0xbd]}

tool: {"D130": [0xc3,0x76,0x64,0x3d]}

tool: {"D193": [0xac,0xc9,0x87,0x3d]}

tool: {"D189": [0x02,0xce,0xcf,0xbd]}

tool: D176: 2

tool: D200: 1

tool: D85: 0

assistant: ```c
float target_x(float *x, float *dx, int m) {
  int ncoeff = 9;
  float avdat = 0.1236288E+01;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18005E+02, -0.18008E+02, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00};
  float xmax[10] = {0.15000E+02, 0.15000E+02, 0.18003E+02, 0.18001E+02, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00, 0.00000E+00};
  float scale[10] = {0};
  float coeff[10] = {-0.87424723E-03, -0.37984703E+02, 0.37850506E+01, 0.63467129E+02, -0.62146215E+01, -0.36824390E-01, 0.55777323E-01, 0.66302627E-01, -0.10146715E+00, 0.};
  int ientry = 0;
  int i;
  if (ientry == 0) {
    ientry = 1;
    for (i = 0; i < m; i++) {
      if (xmin[i] == xmax[i])
        continue;
      scale[i] = 2. / (xmax[i] - xmin[i]);
    }
  }
  float x1 = 1. + (x[0] - xmax[0]) * scale[0];
  float dx1 = dx[0] * scale[0];
  float x2 = 1. + (x[1] - xmax[1]) * scale[1];
  float dx2 = dx[1] * scale[1];
  float x3 = 1. + (x[2] - xmax[2]) * scale[2];
  float dx3 = dx[2] * scale[2];
  float x4 = 1. + (x[3] - xmax[3]) * scale[3];
  float dx4 = dx[3] * scale[3];
  float x11 = x1;
  float x21 = x2;
  float x31 = x3;
  float x41 = x4;
  float v_target_x = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x21 + coeff[3] * x31 + coeff[4] * x41 + coeff[5] * x11 * x21 + coeff[6] * x11 * x41 + coeff[7] * x21 * x31;
  v_target_x = v_target_x + coeff[8] * x31 * x41;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_x = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + coeff[5] * x21 + coeff[6] * x41, 2) + dx2 * dx2 * pow(0 + coeff[2] + coeff[5] * x11 + coeff[7] * x31, 2) + dx3 * dx3 * pow(0 + coeff[3] + coeff[7] * x21 + coeff[8] * x41, 2) + dx4 * dx4 * pow(0 + coeff[4] + coeff[6] * x11 + coeff[8] * x31, 2));
  dx[0] = dv_target_x;
  return v_target_x;
}
```