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

```asm
<target_x>:
  endbr64
  push   %r14
  push   %rbx
  sub    $0xe8,%rsp
  mov    %rdi,%rcx
  mov    %rsi,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0xd8(%rsp)
  xor    %eax,%eax
  movss  D317(%rip),%xmm0
  movss  %xmm0,0x50(%rsp)
  movss  %xmm0,0x54(%rsp)
  movl   $0xc1900000,0x58(%rsp)
  movl   $0xc1902f1b,0x5c(%rsp)
  movl   $0x0,0x60(%rsp)
  movl   $0x0,0x64(%rsp)
  movl   $0x0,0x68(%rsp)
  movl   $0x0,0x6c(%rsp)
  movl   $0x0,0x70(%rsp)
  movl   $0x0,0x74(%rsp)
  movss  D157(%rip),%xmm0
  movss  %xmm0,0x80(%rsp)
  movss  %xmm0,0x84(%rsp)
  movl   $0x41900000,0x88(%rsp)
  movl   $0x418fd4fe,0x8c(%rsp)
  movl   $0x0,0x90(%rsp)
  movl   $0x0,0x94(%rsp)
  movl   $0x0,0x98(%rsp)
  movl   $0x0,0x9c(%rsp)
  movl   $0x0,0xa0(%rsp)
  movl   $0x0,0xa4(%rsp)
  movq   $0x0,0xb0(%rsp)
  movq   $0x0,0xb8(%rsp)
  movq   $0x0,0xc0(%rsp)
  movq   $0x0,0xc8(%rsp)
  movq   $0x0,0xd0(%rsp)
  test   %edx,%edx
  jle    L3
  mov    %edx,%edx
  movss  D313(%rip),%xmm2
  jmp    L58
L45:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xb0(%rsp,%rax,4)
L50:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L3
L58:
  movss  0x50(%rsp,%rax,4),%xmm1
  movss  0x80(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L45
  jne    L45
  jmp    L50
L3:
  movss  0xb0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D157(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D374(%rip),%xmm0
  movaps %xmm2,%xmm6
  addss  %xmm0,%xmm6
  movss  %xmm6,0x1c(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xb4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm12
  addss  %xmm0,%xmm12
  movaps %xmm12,%xmm13
  movss  %xmm12,0x20(%rsp)
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0x10(%rsp)
  movss  0xb8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D159(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm8
  addss  %xmm0,%xmm8
  movaps %xmm8,%xmm10
  movss  %xmm8,0x4(%rsp)
  movaps %xmm3,%xmm5
  mulss  0x8(%rbx),%xmm5
  movss  %xmm5,0x14(%rsp)
  movss  0xbc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D353(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm15
  addss  %xmm0,%xmm15
  movss  %xmm15,(%rsp)
  movaps %xmm3,%xmm4
  mulss  0xc(%rbx),%xmm4
  movss  %xmm4,0x18(%rsp)
  movaps %xmm12,%xmm2
  mulss  %xmm12,%xmm2
  movaps %xmm8,%xmm7
  mulss  %xmm8,%xmm7
  movaps %xmm7,%xmm8
  movss  %xmm7,0x24(%rsp)
  movaps %xmm15,%xmm14
  mulss  %xmm15,%xmm14
  movss  %xmm14,0x48(%rsp)
  movaps %xmm6,%xmm7
  mulss  D221(%rip),%xmm7
  movss  %xmm7,0x28(%rsp)
  movaps %xmm10,%xmm9
  mulss  D403(%rip),%xmm9
  movss  %xmm9,0x2c(%rsp)
  mulss  D76(%rip),%xmm12
  movss  %xmm12,0x30(%rsp)
  movaps %xmm6,%xmm4
  mulss  D387(%rip),%xmm6
  movss  %xmm6,0x34(%rsp)
  movaps %xmm4,%xmm5
  mulss  D93(%rip),%xmm5
  movss  %xmm5,0x38(%rsp)
  mulss  %xmm13,%xmm5
  movss  %xmm5,0x3c(%rsp)
  movaps %xmm2,%xmm3
  mulss  D135(%rip),%xmm3
  movss  %xmm3,0x8(%rsp)
  movaps %xmm13,%xmm11
  mulss  D376(%rip),%xmm11
  movss  %xmm11,0x40(%rsp)
  mulss  %xmm10,%xmm11
  movss  %xmm11,0x44(%rsp)
  movaps %xmm4,%xmm0
  mulss  %xmm4,%xmm0
  mulss  D191(%rip),%xmm0
  movss  %xmm0,0xc(%rsp)
  movaps %xmm4,%xmm0
  mulss  D9(%rip),%xmm0
  addss  D1(%rip),%xmm0
  movaps %xmm10,%xmm3
  mulss  D8(%rip),%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm13,%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm9,%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  mulss  D130(%rip),%xmm13
  addss  %xmm13,%xmm0
  movaps %xmm15,%xmm3
  mulss  D388(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm12,%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm15,%xmm6
  addss  %xmm6,%xmm0
  movaps %xmm4,%xmm3
  mulss  D6(%rip),%xmm3
  mulss  %xmm2,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm15,%xmm5
  addss  %xmm5,%xmm0
  movss  0x8(%rsp),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm11,%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm10,%xmm3
  mulss  D110(%rip),%xmm3
  mulss  %xmm14,%xmm3
  addss  %xmm3,%xmm0
  movss  0xc(%rsp),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  mulss  D211(%rip),%xmm4
  movaps %xmm4,%xmm3
  mulss  %xmm8,%xmm3
  addss  %xmm3,%xmm0
  mulss  D309(%rip),%xmm8
  movaps %xmm8,%xmm3
  mulss  %xmm14,%xmm3
  movaps %xmm3,%xmm6
  addss  %xmm0,%xmm6
  movd   %xmm6,%r14d
  pxor   %xmm3,%xmm3
  movaps %xmm1,%xmm0
  addss  %xmm3,%xmm0
  addss  0x10(%rsp),%xmm0
  addss  0x14(%rsp),%xmm0
  addss  0x18(%rsp),%xmm0
  ucomiss %xmm3,%xmm0
  jp     L89
  movaps %xmm3,%xmm0
  jne    L89
L30:
  movss  %xmm0,(%rbx)
  mov    0xd8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L86
  movd   %r14d,%xmm0
  add    $0xe8,%rsp
  pop    %rbx
  pop    %r14
  ret
L89:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x4c(%rsp)
  movss  0x20(%rsp),%xmm5
  movaps %xmm5,%xmm0
  mulss  D221(%rip),%xmm0
  subss  D32(%rip),%xmm0
  movss  (%rsp),%xmm7
  movaps %xmm7,%xmm1
  mulss  D387(%rip),%xmm1
  addss  %xmm1,%xmm0
  mulss  D6(%rip),%xmm2
  addss  %xmm2,%xmm0
  movaps %xmm5,%xmm1
  mulss  D93(%rip),%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movss  0x1c(%rsp),%xmm6
  mulss  D181(%rip),%xmm6
  movaps %xmm6,%xmm1
  mulss  0x4(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x24(%rsp),%xmm2
  mulss  D211(%rip),%xmm2
  addss  %xmm2,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x4c(%rsp),%xmm0
  movss  %xmm0,0x4c(%rsp)
  movss  0x10(%rsp),%xmm3
  mulss  %xmm3,%xmm3
  movss  %xmm3,0x10(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x28(%rsp),%xmm0
  subss  D212(%rip),%xmm0
  movss  0x4(%rsp),%xmm6
  movaps %xmm6,%xmm1
  mulss  D76(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x20(%rsp),%xmm5
  movaps %xmm5,%xmm1
  mulss  D391(%rip),%xmm1
  mulss  0x1c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x38(%rsp),%xmm1
  movss  (%rsp),%xmm7
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  mulss  D219(%rip),%xmm5
  movaps %xmm5,%xmm1
  mulss  %xmm6,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm6,%xmm1
  mulss  D376(%rip),%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x10(%rsp),%xmm0
  movaps %xmm0,%xmm3
  addss  0x4c(%rsp),%xmm3
  movss  %xmm3,0x10(%rsp)
  movss  0x14(%rsp),%xmm5
  mulss  %xmm5,%xmm5
  movss  %xmm5,0x14(%rsp)
  movss  (%rsp),%xmm7
  movaps %xmm7,%xmm0
  mulss  D403(%rip),%xmm0
  addss  D8(%rip),%xmm0
  addss  0x30(%rsp),%xmm0
  addss  0x8(%rsp),%xmm0
  movss  0x40(%rsp),%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movss  0x48(%rsp),%xmm3
  movaps %xmm3,%xmm1
  mulss  D110(%rip),%xmm1
  addss  %xmm1,%xmm0
  addss  0xc(%rsp),%xmm0
  movss  0x4(%rsp),%xmm6
  movaps %xmm6,%xmm1
  mulss  D87(%rip),%xmm1
  mulss  0x1c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  D80(%rip),%xmm1
  mulss  %xmm6,%xmm1
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x14(%rsp),%xmm0
  addss  0x10(%rsp),%xmm0
  movss  %xmm0,0x8(%rsp)
  movss  0x18(%rsp),%xmm5
  mulss  %xmm5,%xmm5
  movss  %xmm5,0xc(%rsp)
  pxor   %xmm4,%xmm4
  addss  0x2c(%rsp),%xmm4
  movaps %xmm4,%xmm0
  addss  D388(%rip),%xmm0
  addss  0x34(%rsp),%xmm0
  addss  0x3c(%rsp),%xmm0
  addss  0x44(%rsp),%xmm0
  movss  (%rsp),%xmm7
  movaps %xmm7,%xmm1
  mulss  D242(%rip),%xmm1
  mulss  0x4(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  D80(%rip),%xmm1
  mulss  %xmm7,%xmm1
  mulss  0x24(%rsp),%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  0x8(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L30
L86:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D317
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D157
data_type: f32
name: extract_symbolic_data
arguments: data_tag: D313
data_type: f32
name: extract_symbolic_data
arguments: data_tag: D374
data_type: f32
name: extract_symbolic_data
arguments: data_tag: D159
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D353
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D221
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D403
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D76
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D387
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D93
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D135
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D376
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D191
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D9
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D1
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D8
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D130
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D388
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D6
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D110
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D211
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D309
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D32
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D181
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D212
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D391
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D219
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D87
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D80
data_type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D242
data_type: byte[4]

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

tool: D157: 15

tool: D313: 2

tool: D374: 1

tool: {"D159": [0x00,0x00,0x90,0x41]}

tool: {"D353": [0xfe,0xd4,0x8f,0x41]}

tool: {"D221": [0x46,0xa1,0x52,0x3f]}

tool: {"D403": [0xab,0xb7,0x1c,0x40]}

tool: {"D76": [0xbf,0x78,0xbe,0xbf]}

tool: {"D387": [0x75,0x6d,0xad,0xbf]}

tool: {"D93": [0xb2,0x04,0x41,0xbd]}

tool: {"D135": [0xdc,0x3c,0x69,0xbc]}

tool: {"D376": [0x8e,0x50,0xe9,0xbc]}

tool: {"D191": [0x93,0x1c,0xea,0xbb]}

tool: {"D9": [0x3f,0xdd,0x1f,0xc2]}

tool: {"D1": [0x27,0x13,0xde,0x3f]}

tool: {"D8": [0x28,0xfa,0x83,0x42]}

tool: {"D130": [0x98,0xc0,0x35,0xbd]}

tool: {"D388": [0xd8,0x5c,0x95,0x3d]}

tool: {"D6": [0x63,0x86,0x08,0x3d]}

tool: {"D110": [0x61,0xcd,0x90,0x3d]}

tool: {"D211": [0x6f,0x16,0x1e,0x3c]}

tool: {"D309": [0xc0,0x76,0xb3,0x3a]}

tool: {"D32": [0x3f,0xdd,0x1f,0x42]}

tool: {"D181": [0x93,0x1c,0x6a,0xbc]}

tool: {"D212": [0x98,0xc0,0x35,0x3d]}

tool: {"D391": [0x63,0x86,0x88,0x3d]}

tool: {"D219": [0xdc,0x3c,0xe9,0xbc]}

tool: {"D87": [0x6f,0x16,0x9e,0x3c]}

tool: {"D80": [0xc0,0x76,0x33,0x3b]}

tool: {"D242": [0x61,0xcd,0x10,0x3e]}

assistant: ```c
float target_x(float *x, float *dx, int m) {
  int ncoeff = 17;
  float avdat = 0.1735133E+01;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18023E+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.18000E+02, 0.17979E+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[18] = {-0.17353994E-03, -0.39966061E+02, 0.65988586E+02, 0.82277334E+00, 0.24487102E+01, -0.44373125E-01, 0.72930992E-01, -0.14880599E+01, -0.13549029E+01, 0.33331286E-01, -0.47123618E-01, -0.14235701E-01, -0.28480794E-01, 0.70704229E-01, -0.71445196E-02, 0.96489033E-02, 0.13692006E-02, 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 x12 = x11 * x1;
  float x21 = x2;
  float x22 = x21 * x2;
  float x31 = x3;
  float x32 = x31 * x3;
  float x41 = x4;
  float x42 = x41 * x4;
  float v_target_x = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x31 + coeff[3] * x11 * x21 + coeff[4] * x31 * x41 + coeff[5] * x21 + coeff[6] * x41 + coeff[7] * x21 * x31;
  v_target_x = v_target_x + coeff[8] * x11 * x41 + coeff[9] * x11 * x22 + coeff[10] * x11 * x21 * x41 + coeff[11] * x22 * x31 + coeff[12] * x21 * x31 * x41 + coeff[13] * x31 * x42 + coeff[14] * x12 * x31 + coeff[15] * x11 * x32 + coeff[16] * x32 * x42;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_x = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + coeff[3] * x21 + coeff[8] * x41 + coeff[9] * x22 + coeff[10] * x21 * x41 + 2 * coeff[14] * x11 * x31 + coeff[15] * x32, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[5] + coeff[7] * x31 + 2 * coeff[9] * x21 * x11 + coeff[10] * x11 * x41 + 2 * coeff[11] * x21 * x31 + coeff[12] * x31 * x41, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x41 + coeff[7] * x21 + coeff[11] * x22 + coeff[12] * x21 * x41 + coeff[13] * x42 + coeff[14] * x12 + 2 * coeff[15] * x31 * x11 + 2 * coeff[16] * x31 * x42, 2) + dx4 * dx4 * pow(0 + coeff[4] * x31 + coeff[6] + coeff[8] * x11 + coeff[10] * x11 * x21 + coeff[12] * x21 * x31 + 2 * coeff[13] * x41 * x31 + 2 * coeff[16] * x41 * x32, 2));
  dx[0] = dv_target_x;
  return v_target_x;
}
```