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

```asm
<target_theta>:
  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  D43(%rip),%xmm0
  movss  %xmm0,0x50(%rsp)
  movss  %xmm0,0x54(%rsp)
  movl   $0xc1900625,0x58(%rsp)
  movl   $0xc190147b,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  D427(%rip),%xmm0
  movss  %xmm0,0x80(%rsp)
  movss  %xmm0,0x84(%rsp)
  movl   $0x4190147b,0x88(%rsp)
  movl   $0x41900419,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    L85
  mov    %edx,%edx
  movss  D435(%rip),%xmm2
  jmp    L5
L0:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xb0(%rsp,%rax,4)
L82:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L85
L5:
  movss  0x50(%rsp,%rax,4),%xmm1
  movss  0x80(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L0
  jne    L0
  jmp    L82
L85:
  movss  0xb0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D427(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D162(%rip),%xmm0
  movaps %xmm2,%xmm6
  addss  %xmm0,%xmm6
  movaps %xmm6,%xmm7
  movss  %xmm6,0x1c(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xb4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm8
  addss  %xmm0,%xmm8
  movss  %xmm8,0x4(%rsp)
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0xc(%rsp)
  movss  0xb8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D356(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm10
  addss  %xmm0,%xmm10
  movaps %xmm10,%xmm12
  movss  %xmm10,0x18(%rsp)
  movaps %xmm3,%xmm4
  mulss  0x8(%rbx),%xmm4
  movss  %xmm4,0x10(%rsp)
  movss  0xbc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D118(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm13
  addss  %xmm0,%xmm13
  movss  %xmm13,0x8(%rsp)
  movaps %xmm3,%xmm5
  mulss  0xc(%rbx),%xmm5
  movss  %xmm5,0x14(%rsp)
  movaps %xmm6,%xmm2
  mulss  %xmm6,%xmm2
  movaps %xmm8,%xmm9
  mulss  %xmm8,%xmm9
  movss  %xmm9,0x24(%rsp)
  movaps %xmm8,%xmm4
  mulss  %xmm9,%xmm4
  movss  %xmm4,0x48(%rsp)
  movaps %xmm10,%xmm6
  mulss  %xmm10,%xmm6
  movaps %xmm6,%xmm10
  movss  %xmm6,0x20(%rsp)
  movaps %xmm13,%xmm14
  mulss  %xmm13,%xmm14
  movss  %xmm14,0x28(%rsp)
  movaps %xmm13,%xmm15
  mulss  %xmm14,%xmm15
  movss  %xmm15,0x2c(%rsp)
  movaps %xmm12,%xmm11
  mulss  D335(%rip),%xmm11
  movss  %xmm11,0x30(%rsp)
  movaps %xmm7,%xmm6
  mulss  D126(%rip),%xmm7
  movss  %xmm7,0x34(%rsp)
  movaps %xmm6,%xmm5
  mulss  D197(%rip),%xmm5
  movss  %xmm5,0x38(%rsp)
  movaps %xmm6,%xmm0
  mulss  D166(%rip),%xmm0
  addss  D355(%rip),%xmm0
  movaps %xmm8,%xmm3
  mulss  D240(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm12,%xmm3
  mulss  D182(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm13,%xmm3
  mulss  D270(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm13,%xmm3
  mulss  %xmm15,%xmm3
  mulss  D478(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm9,%xmm3
  mulss  D308(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm11,%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm12,%xmm3
  mulss  D397(%rip),%xmm3
  mulss  %xmm14,%xmm3
  addss  %xmm3,%xmm0
  mulss  D495(%rip),%xmm4
  movaps %xmm4,%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm8,%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm6,%xmm3
  mulss  D441(%rip),%xmm3
  mulss  %xmm9,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm6,%xmm3
  mulss  D464(%rip),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm12,%xmm3
  mulss  %xmm10,%xmm3
  mulss  D432(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm2,%xmm3
  mulss  D454(%rip),%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm12,%xmm5
  addss  %xmm5,%xmm0
  movaps %xmm6,%xmm4
  mulss  D313(%rip),%xmm4
  movss  %xmm4,0x3c(%rsp)
  movaps %xmm6,%xmm5
  movaps %xmm6,%xmm3
  mulss  %xmm2,%xmm3
  mulss  D243(%rip),%xmm3
  mulss  %xmm13,%xmm4
  addss  %xmm4,%xmm0
  addss  %xmm3,%xmm0
  movaps %xmm8,%xmm3
  mulss  D448(%rip),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  mulss  D329(%rip),%xmm5
  movss  %xmm5,0x40(%rsp)
  mulss  %xmm8,%xmm5
  movss  %xmm5,0x44(%rsp)
  movaps %xmm5,%xmm3
  mulss  %xmm13,%xmm3
  movaps %xmm3,%xmm6
  addss  %xmm0,%xmm6
  movd   %xmm6,%r14d
  pxor   %xmm3,%xmm3
  movaps %xmm1,%xmm0
  addss  %xmm3,%xmm0
  addss  0xc(%rsp),%xmm0
  addss  0x10(%rsp),%xmm0
  addss  0x14(%rsp),%xmm0
  ucomiss %xmm3,%xmm0
  jp     L32
  movaps %xmm3,%xmm0
  jne    L32
L6:
  movss  %xmm0,(%rbx)
  mov    0xd8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L57
  movd   %r14d,%xmm0
  add    $0xe8,%rsp
  pop    %rbx
  pop    %r14
  ret
L32:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x4c(%rsp)
  movss  0x4(%rsp),%xmm7
  movaps %xmm7,%xmm0
  mulss  D126(%rip),%xmm0
  subss  D383(%rip),%xmm0
  movss  0x24(%rsp),%xmm1
  mulss  D441(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x20(%rsp),%xmm1
  mulss  D464(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x1c(%rsp),%xmm6
  mulss  D80(%rip),%xmm6
  addss  %xmm6,%xmm0
  movss  0x18(%rsp),%xmm1
  mulss  D197(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x8(%rsp),%xmm6
  movaps %xmm6,%xmm1
  mulss  D313(%rip),%xmm1
  addss  %xmm1,%xmm0
  mulss  D304(%rip),%xmm2
  addss  %xmm0,%xmm2
  movaps %xmm7,%xmm0
  mulss  D329(%rip),%xmm0
  mulss  %xmm6,%xmm0
  addss  %xmm0,%xmm2
  cvttss2si %xmm2,%edi
  mov    $0x2,%esi
  call   <pow@plt>
  movaps %xmm0,%xmm11
  mulss  0x4c(%rsp),%xmm11
  movss  %xmm11,0x4c(%rsp)
  movss  0xc(%rsp),%xmm14
  mulss  %xmm14,%xmm14
  movss  %xmm14,0xc(%rsp)
  movss  0x4(%rsp),%xmm7
  movaps %xmm7,%xmm1
  mulss  D138(%rip),%xmm1
  subss  D351(%rip),%xmm1
  movss  D201(%rip),%xmm0
  mulss  0x24(%rsp),%xmm0
  mulss  0x2c(%rsp),%xmm0
  addss  %xmm1,%xmm0
  addss  0x34(%rsp),%xmm0
  movaps %xmm7,%xmm1
  mulss  D96(%rip),%xmm1
  mulss  0x1c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x20(%rsp),%xmm5
  mulss  D448(%rip),%xmm5
  addss  %xmm5,%xmm0
  movss  0x40(%rsp),%xmm12
  mulss  0x8(%rsp),%xmm12
  addss  %xmm12,%xmm0
  cvttss2si %xmm0,%edi
  mov    $0x2,%esi
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  0x4c(%rsp),%xmm0
  movss  %xmm0,0xc(%rsp)
  movss  0x10(%rsp),%xmm15
  mulss  %xmm15,%xmm15
  movss  %xmm15,0x10(%rsp)
  movss  0x8(%rsp),%xmm0
  mulss  D335(%rip),%xmm0
  addss  D182(%rip),%xmm0
  movss  0x28(%rsp),%xmm11
  mulss  D397(%rip),%xmm11
  addss  %xmm11,%xmm0
  movss  0x18(%rsp),%xmm4
  movaps %xmm4,%xmm5
  mulss  D470(%rip),%xmm5
  movaps %xmm5,%xmm1
  mulss  0x1c(%rsp),%xmm1
  addss  %xmm0,%xmm1
  movss  0x20(%rsp),%xmm5
  mulss  D303(%rip),%xmm5
  movaps %xmm5,%xmm0
  addss  %xmm1,%xmm0
  addss  0x38(%rsp),%xmm0
  movaps %xmm4,%xmm5
  mulss  D398(%rip),%xmm5
  movaps %xmm5,%xmm1
  mulss  0x4(%rsp),%xmm1
  addss  %xmm1,%xmm0
  cvttss2si %xmm0,%edi
  mov    $0x2,%esi
  call   <pow@plt>
  mulss  0x10(%rsp),%xmm0
  movaps %xmm0,%xmm2
  addss  0xc(%rsp),%xmm2
  movss  %xmm2,0x4(%rsp)
  movss  0x14(%rsp),%xmm7
  mulss  %xmm7,%xmm7
  movss  %xmm7,0xc(%rsp)
  movss  0x2c(%rsp),%xmm3
  mulss  D77(%rip),%xmm3
  movaps %xmm3,%xmm0
  addss  D270(%rip),%xmm0
  movss  0x30(%rsp),%xmm1
  addss  %xmm0,%xmm1
  movss  0x8(%rsp),%xmm0
  mulss  D35(%rip),%xmm0
  mulss  0x18(%rsp),%xmm0
  addss  %xmm1,%xmm0
  movss  D201(%rip),%xmm1
  mulss  0x28(%rsp),%xmm1
  mulss  0x48(%rsp),%xmm1
  addss  %xmm1,%xmm0
  addss  0x3c(%rsp),%xmm0
  addss  0x44(%rsp),%xmm0
  cvttss2si %xmm0,%edi
  mov    $0x2,%esi
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  0x4(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L6
L57:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: tag: D43
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D427
type_infered: f32
name: extract_symbolic_data
arguments: tag: D435
type_infered: f32
name: extract_symbolic_data
arguments: tag: D162
type_infered: f32
name: extract_symbolic_data
arguments: tag: D356
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D118
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D335
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D126
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D197
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D166
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D355
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D240
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D182
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D270
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D478
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D308
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D397
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D495
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D441
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D464
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D432
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D454
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D313
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D243
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D448
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D329
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D383
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D80
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D304
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D138
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D351
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D201
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D96
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D470
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D303
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D398
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D77
type_infered: byte[4]
name: extract_symbolic_data
arguments: tag: D35
type_infered: byte[4]

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

tool: D427: 15

tool: D435: 2

tool: D162: 1

tool: {"D356": [0x7b,0x14,0x90,0x41]}

tool: {"D118": [0x19,0x04,0x90,0x41]}

tool: {"D335": [0x34,0x49,0xad,0x38]}

tool: {"D126": [0x84,0xe2,0xba,0xb7]}

tool: {"D197": [0xfd,0xac,0xcb,0xb7]}

tool: {"D166": [0x47,0x12,0x06,0xbd]}

tool: {"D355": [0x6f,0xa9,0x1e,0x3d]}

tool: {"D240": [0xbd,0x6b,0x4a,0xbd]}

tool: {"D182": [0xa7,0x75,0x4d,0x3d]}

tool: {"D270": [0x1d,0x0f,0x67,0x3d]}

tool: {"D478": [0x1c,0x61,0x3d,0xb9]}

tool: {"D308": [0x8f,0x1e,0x4a,0x37]}

tool: {"D397": [0xef,0x6a,0x0d,0x39]}

tool: {"D495": [0xec,0x36,0xed,0x38]}

tool: {"D441": [0xe5,0x4c,0x63,0xb6]}

tool: {"D464": [0xad,0x6a,0xa1,0xb9]}

tool: {"D432": [0x00,0x39,0x97,0x39]}

tool: {"D454": [0xb2,0x6e,0x7d,0x37]}

tool: {"D313": [0xc9,0x7f,0xfa,0xb7]}

tool: {"D243": [0x37,0xd8,0x63,0x38]}

tool: {"D448": [0x83,0x1a,0x01,0xb7]}

tool: {"D329": [0xab,0xea,0x98,0xb8]}

tool: {"D383": [0x47,0x12,0x06,0x3d]}

tool: {"D80": [0xb2,0x6e,0xfd,0x37]}

tool: {"D304": [0x29,0xe2,0x2a,0x39]}

tool: {"D138": [0x8f,0x1e,0xca,0x37]}

tool: {"D351": [0xbd,0x6b,0x4a,0x3d]}

tool: {"D201": [0x31,0xe9,0xb1,0x39]}

tool: {"D96": [0xe5,0x4c,0xe3,0xb6]}

tool: {"D470": [0xad,0x6a,0x21,0xba]}

tool: {"D303": [0x80,0xd5,0x62,0x3a]}

tool: {"D398": [0x83,0x1a,0x81,0xb7]}

tool: {"D77": [0x1c,0x61,0x3d,0xba]}

tool: {"D35": [0xef,0x6a,0x8d,0x39]}

assistant: ```c
float target_theta(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.3872641E-01;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18003E+02, -0.18010E+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.18010E+02, 0.18002E+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[21] = {0.93905282E-05, -0.32732274E-01, -0.49419153E-01, 0.50161030E-01, 0.56410898E-01, -0.18060621E-03, 0.12047253E-04, 0.82629180E-04, 0.13486644E-03, 0.11311271E-03, -0.22278407E-04, -0.33870394E-05, -0.30787793E-03, 0.28843433E-03, 0.15105748E-04, -0.24280040E-04, -0.29861827E-04, 0.54322383E-04, -0.76951719E-05, -0.72916351E-04, 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 x13 = x12 * x1;
  float x21 = x2;
  float x22 = x21 * x2;
  float x23 = x22 * x2;
  float x31 = x3;
  float x32 = x31 * x3;
  float x33 = x32 * x3;
  float x41 = x4;
  float x42 = x41 * x4;
  float x43 = x42 * x4;
  float x44 = x43 * x4;
  float v_target_theta = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x21 + coeff[3] * x31 + coeff[4] * x41 + coeff[5] * x44 + coeff[6] * x22 + coeff[7] * x31 * x41;
  v_target_theta = v_target_theta + coeff[8] * x31 * x42 + coeff[9] * x23 * x43 + coeff[10] * x11 * x21 + coeff[11] * x11 * x22 + coeff[12] * x11 * x32 + coeff[13] * x33 + coeff[14] * x12 + coeff[15] * x11 * x31 + coeff[16] * x11 * x41;
  v_target_theta = v_target_theta + coeff[17] * x13 + coeff[18] * x21 * x32 + coeff[19] * x11 * x21 * x41;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_theta = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + coeff[10] * x21 + coeff[11] * x22 + coeff[12] * x32 + 2 * coeff[14] * x11 + coeff[15] * x31 + coeff[16] * x41 + 3 * coeff[17] * x12 + coeff[19] * x21 * x41, 2) + dx2 * dx2 * pow(0 + coeff[2] + 2 * coeff[6] * x21 + 3 * coeff[9] * x22 * x43 + coeff[10] * x11 + 2 * coeff[11] * x21 * x11 + coeff[18] * x32 + coeff[19] * x11 * x41, 2) + dx3 * dx3 * pow(0 + coeff[3] + coeff[7] * x41 + coeff[8] * x42 + 2 * coeff[12] * x31 * x11 + 3 * coeff[13] * x32 + coeff[15] * x11 + 2 * coeff[18] * x31 * x21, 2) + dx4 * dx4 * pow(0 + coeff[4] + 4 * coeff[5] * x43 + coeff[7] * x31 + 2 * coeff[8] * x41 * x31 + 3 * coeff[9] * x42 * x23 + coeff[16] * x11 + coeff[19] * x11 * x21, 2));
  dx[0] = dv_target_theta;
  return v_target_theta;
}
```