user: Please show me the C implementation that matches the assembly code listed below:

```asm
<target_x>:
  endbr64
  push   %rbx
  pxor   %xmm0,%xmm0
  mov    %rsi,%rbx
  sub    $0x70,%rsp
  mov    %fs:0x28,%rax
  mov    %rax,0x68(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0x40(%rsp)
  test   %edx,%edx
  jle    L58
  movss  D164(%rip),%xmm5
  cmp    $0x1,%edx
  je     L87
  movss  %xmm5,0x44(%rsp)
  cmp    $0x2,%edx
  je     L87
  movl   $0x3d638148,0x48(%rsp)
  cmp    $0x3,%edx
  je     L87
  movl   $0x3d637faa,0x4c(%rsp)
L87:
  movss  0x44(%rsp),%xmm9
  movss  0x48(%rsp),%xmm8
  pxor   %xmm0,%xmm0
  movss  0x4c(%rsp),%xmm6
L68:
  movss  D62(%rip),%xmm1
  movss  0x4(%rdi),%xmm4
  movss  (%rdi),%xmm3
  movss  0x8(%rdi),%xmm2
  subss  %xmm1,%xmm4
  movss  D83(%rip),%xmm7
  subss  D267(%rip),%xmm2
  movss  D143(%rip),%xmm15
  subss  %xmm1,%xmm3
  movss  D138(%rip),%xmm11
  movss  D159(%rip),%xmm14
  movss  0xc(%rdi),%xmm1
  mulss  %xmm9,%xmm4
  subss  D244(%rip),%xmm1
  movss  D261(%rip),%xmm12
  mulss  %xmm5,%xmm3
  mulss  %xmm8,%xmm2
  mulss  %xmm6,%xmm1
  mulss  (%rbx),%xmm5
  addss  %xmm7,%xmm4
  mulss  0x4(%rbx),%xmm9
  addss  %xmm7,%xmm3
  mulss  0x8(%rbx),%xmm8
  addss  %xmm7,%xmm2
  mulss  0xc(%rbx),%xmm6
  mulss  %xmm4,%xmm15
  addss  %xmm7,%xmm1
  mulss  %xmm3,%xmm11
  mulss  %xmm3,%xmm14
  movaps %xmm2,%xmm10
  mulss  D238(%rip),%xmm3
  movaps %xmm1,%xmm7
  movaps %xmm1,%xmm13
  addss  D157(%rip),%xmm3
  mulss  %xmm4,%xmm12
  mulss  %xmm2,%xmm10
  movss  %xmm11,0x8(%rsp)
  mulss  %xmm1,%xmm7
  addss  %xmm3,%xmm15
  movss  D293(%rip),%xmm3
  movaps %xmm14,%xmm11
  movss  D173(%rip),%xmm14
  mulss  %xmm2,%xmm3
  mulss  %xmm2,%xmm14
  mulss  %xmm2,%xmm10
  mulss  %xmm7,%xmm13
  mulss  D224(%rip),%xmm7
  addss  %xmm15,%xmm3
  movss  D72(%rip),%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm3,%xmm15
  movss  0x8(%rsp),%xmm3
  mulss  %xmm4,%xmm3
  addss  %xmm15,%xmm3
  movaps %xmm11,%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm3,%xmm15
  movaps %xmm12,%xmm3
  mulss  %xmm2,%xmm3
  addss  %xmm15,%xmm3
  movaps %xmm14,%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm3,%xmm15
  movaps %xmm2,%xmm3
  mulss  %xmm10,%xmm3
  mulss  D291(%rip),%xmm3
  addss  %xmm15,%xmm3
  movaps %xmm1,%xmm15
  mulss  %xmm13,%xmm15
  mulss  D202(%rip),%xmm15
  addss  %xmm3,%xmm15
  movaps %xmm4,%xmm3
  mulss  %xmm4,%xmm3
  mulss  D6(%rip),%xmm3
  addss  %xmm15,%xmm3
  addss  %xmm3,%xmm7
  movaps %xmm5,%xmm3
  addss  %xmm0,%xmm3
  addss  %xmm9,%xmm3
  addss  %xmm8,%xmm3
  addss  %xmm6,%xmm3
  ucomiss %xmm0,%xmm3
  jp     L16
  jne    L16
L52:
  movss  %xmm0,(%rbx)
  mov    0x68(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L75
  add    $0x70,%rsp
  movaps %xmm7,%xmm0
  pop    %rbx
  ret
  nopl   (%rax)
L16:
  mulss  %xmm5,%xmm5
  mov    $0x2,%edi
  movss  D159(%rip),%xmm3
  movss  D138(%rip),%xmm0
  movss  %xmm7,0x3c(%rsp)
  mulss  %xmm1,%xmm3
  movss  %xmm13,0x38(%rsp)
  mulss  %xmm4,%xmm0
  movss  %xmm6,0x30(%rsp)
  subss  D92(%rip),%xmm0
  movss  %xmm14,0x24(%rsp)
  movss  %xmm11,0x1c(%rsp)
  movss  %xmm10,0x34(%rsp)
  addss  %xmm3,%xmm0
  movss  %xmm8,0x2c(%rsp)
  movss  %xmm12,0x20(%rsp)
  movss  %xmm1,0x14(%rsp)
  movss  %xmm2,0x28(%rsp)
  movss  %xmm9,0x10(%rsp)
  movss  %xmm5,0xc(%rsp)
  movss  %xmm4,0x18(%rsp)
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  mov    $0x2,%edi
  movss  0x28(%rsp),%xmm2
  mulss  D261(%rip),%xmm2
  movss  D143(%rip),%xmm5
  addss  0x8(%rsp),%xmm5
  movss  0x18(%rsp),%xmm4
  mulss  D262(%rip),%xmm4
  movss  0x10(%rsp),%xmm9
  movss  %xmm0,0xc(%rsp)
  mulss  %xmm9,%xmm9
  movaps %xmm5,%xmm0
  addss  %xmm2,%xmm0
  addss  %xmm4,%xmm0
  movss  %xmm9,0x10(%rsp)
  call   <pow@plt>
  mulss  0x10(%rsp),%xmm0
  movss  0xc(%rsp),%xmm5
  mov    $0x2,%edi
  movss  0x14(%rsp),%xmm1
  movss  0x20(%rsp),%xmm12
  addss  D293(%rip),%xmm12
  movss  0x34(%rsp),%xmm10
  mulss  D268(%rip),%xmm10
  movss  0x2c(%rsp),%xmm8
  movss  %xmm1,0x10(%rsp)
  addss  %xmm0,%xmm5
  movss  D173(%rip),%xmm0
  mulss  %xmm8,%xmm8
  mulss  %xmm1,%xmm0
  movss  %xmm5,0x8(%rsp)
  movss  %xmm8,0xc(%rsp)
  addss  %xmm0,%xmm12
  movaps %xmm12,%xmm0
  addss  %xmm10,%xmm0
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  movss  0x1c(%rsp),%xmm11
  mov    $0x2,%edi
  addss  0x8(%rsp),%xmm0
  movss  0x24(%rsp),%xmm14
  subss  D211(%rip),%xmm11
  movss  0x38(%rsp),%xmm13
  mulss  D200(%rip),%xmm13
  movss  0x10(%rsp),%xmm1
  movss  %xmm0,0x8(%rsp)
  mulss  D161(%rip),%xmm1
  movss  0x30(%rsp),%xmm6
  movaps %xmm11,%xmm0
  addss  %xmm14,%xmm0
  mulss  %xmm6,%xmm6
  addss  %xmm13,%xmm0
  movss  %xmm6,0xc(%rsp)
  addss  %xmm1,%xmm0
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  0x8(%rsp),%xmm0
  call   <sqrt@plt>
  movss  0x3c(%rsp),%xmm7
  jmp    L52
  nopl   (%rax)
L58:
  pxor   %xmm0,%xmm0
  movaps %xmm0,%xmm6
  movaps %xmm0,%xmm8
  movaps %xmm0,%xmm9
  movaps %xmm0,%xmm5
  jmp    L68
L75:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D164
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D62
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D83
type_infered: f32
name: extract_symbolic_data
arguments: tag: D267
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D143
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D138
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D159
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D244
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D261
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D238
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D157
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D293
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D173
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D224
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D72
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D291
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D202
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D6
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D92
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D262
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D268
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D211
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D200
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D161
type_infered: byte[4]

tool: {"D164": [0x89,0x88,0x88,0x3d]}

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

tool: D83: 1

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

tool: {"D143": [0xb5,0xb4,0x74,0x40]}

tool: {"D138": [0xf4,0xe9,0x17,0xbd]}

tool: {"D159": [0x54,0x8e,0x65,0x3d]}

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

tool: {"D261": [0xe8,0xbd,0x88,0x3d]}

tool: {"D238": [0xa3,0x4f,0x18,0xc2]}

tool: {"D157": [0x41,0xff,0x9d,0x3f]}

tool: {"D293": [0x78,0x4e,0x7e,0x42]}

tool: {"D173": [0x39,0xd9,0xd0,0xbd]}

tool: {"D224": [0x71,0xbc,0x79,0xbb]}

tool: {"D72": [0x83,0xc5,0xc8,0xc0]}

tool: {"D291": [0x14,0x9d,0xcc,0xba]}

tool: {"D202": [0x04,0x9b,0x5c,0xb9]}

tool: {"D6": [0x2a,0x8f,0x0f,0x3b]}

tool: {"D92": [0xa3,0x4f,0x18,0x42]}

tool: {"D262": [0x2a,0x8f,0x8f,0x3b]}

tool: {"D268": [0x14,0x9d,0xcc,0xbb]}

tool: {"D211": [0x83,0xc5,0xc8,0x40]}

tool: {"D200": [0x04,0x9b,0x5c,0xba]}

tool: {"D161": [0x71,0xbc,0xf9,0xbb]}

assistant: ```c
float target_x(float *x, float *dx, int m) {
  int ncoeff = 13;
  float avdat = 0.1234657E+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[14] = {-0.30487232E-03, -0.38077770E+02, 0.38235295E+01, 0.63576630E+02, -0.62741103E+01, -0.37088349E-01, 0.56043938E-01, 0.66768467E-01, -0.10197682E+00, -0.15610778E-02, -0.21038583E-03, 0.21905401E-02, -0.38106705E-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 x21 = x2;
  float x22 = x21 * x2;
  float x31 = x3;
  float x32 = x31 * x3;
  float x33 = x32 * x3;
  float x34 = x33 * x3;
  float x41 = x4;
  float x42 = x41 * x4;
  float x43 = x42 * x4;
  float x44 = x43 * 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 + coeff[9] * x34 + coeff[10] * x44 + coeff[11] * x22 + coeff[12] * x42;
  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 * coeff[11] * x21, 2) + dx3 * dx3 * pow(0 + coeff[3] + coeff[7] * x21 + coeff[8] * x41 + 4 * coeff[9] * x33, 2) + dx4 * dx4 * pow(0 + coeff[4] + coeff[6] * x11 + coeff[8] * x31 + 4 * coeff[10] * x43 + 2 * coeff[12] * x41, 2));
  dx[0] = dv_target_x;
  return v_target_x;
}
```