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

```asm
<target_theta>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x190,%rsp
  mov    %rdi,-0x178(%rbp)
  mov    %rsi,-0x180(%rbp)
  mov    %edx,-0x184(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x14,-0x160(%rbp)
  movss  D34(%rip),%xmm0
  movss  %xmm0,-0x15c(%rbp)
  movss  D234(%rip),%xmm0
  movss  %xmm0,-0xf0(%rbp)
  movss  D234(%rip),%xmm0
  movss  %xmm0,-0xec(%rbp)
  movss  D296(%rip),%xmm0
  movss  %xmm0,-0xe8(%rbp)
  movss  D9(%rip),%xmm0
  movss  %xmm0,-0xe4(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xe0(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xdc(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xd8(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xd4(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xd0(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0xcc(%rbp)
  movss  D300(%rip),%xmm0
  movss  %xmm0,-0xc0(%rbp)
  movss  D300(%rip),%xmm0
  movss  %xmm0,-0xbc(%rbp)
  movss  D133(%rip),%xmm0
  movss  %xmm0,-0xb8(%rbp)
  movss  D271(%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)
  movq   $0x0,-0x90(%rbp)
  movq   $0x0,-0x88(%rbp)
  movq   $0x0,-0x80(%rbp)
  movq   $0x0,-0x78(%rbp)
  movq   $0x0,-0x70(%rbp)
  movss  D108(%rip),%xmm0
  movss  %xmm0,-0x60(%rbp)
  movss  D257(%rip),%xmm0
  movss  %xmm0,-0x5c(%rbp)
  movss  D121(%rip),%xmm0
  movss  %xmm0,-0x58(%rbp)
  movss  D274(%rip),%xmm0
  movss  %xmm0,-0x54(%rbp)
  movss  D287(%rip),%xmm0
  movss  %xmm0,-0x50(%rbp)
  movss  D253(%rip),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  movss  D147(%rip),%xmm0
  movss  %xmm0,-0x48(%rbp)
  movss  D325(%rip),%xmm0
  movss  %xmm0,-0x44(%rbp)
  movss  D43(%rip),%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  D297(%rip),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  D150(%rip),%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  D69(%rip),%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  D173(%rip),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  D207(%rip),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  D353(%rip),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  D289(%rip),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  D280(%rip),%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  D104(%rip),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  D276(%rip),%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D319(%rip),%xmm0
  movss  %xmm0,-0x14(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movl   $0x0,-0x158(%rbp)
  cmpl   $0x0,-0x158(%rbp)
  jne    L8
  movl   $0x1,-0x158(%rbp)
  movl   $0x0,-0x164(%rbp)
  jmp    L5
L76:
  mov    -0x164(%rbp),%eax
  cltq
  movss  -0xf0(%rbp,%rax,4),%xmm0
  mov    -0x164(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm1
  ucomiss %xmm1,%xmm0
  jp     L39
  ucomiss %xmm1,%xmm0
  je     L81
L39:
  mov    -0x164(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm0
  mov    -0x164(%rbp),%eax
  cltq
  movss  -0xf0(%rbp,%rax,4),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  D188(%rip),%xmm0
  divss  %xmm1,%xmm0
  mov    -0x164(%rbp),%eax
  cltq
  movss  %xmm0,-0x90(%rbp,%rax,4)
  jmp    L94
L81:
  nop
L94:
  addl   $0x1,-0x164(%rbp)
L5:
  mov    -0x164(%rbp),%eax
  cmp    -0x184(%rbp),%eax
  jl     L76
L8:
  mov    -0x178(%rbp),%rax
  movss  (%rax),%xmm0
  movss  -0xc0(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x90(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D123(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x154(%rbp)
  mov    -0x180(%rbp),%rax
  movss  (%rax),%xmm1
  movss  -0x90(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x150(%rbp)
  mov    -0x178(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm0
  movss  -0xbc(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x8c(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D123(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x14c(%rbp)
  mov    -0x180(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  movss  -0x8c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x148(%rbp)
  mov    -0x178(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm0
  movss  -0xb8(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x88(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D123(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x144(%rbp)
  mov    -0x180(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  movss  -0x88(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x140(%rbp)
  mov    -0x178(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm0
  movss  -0xb4(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x84(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D123(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x13c(%rbp)
  mov    -0x180(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  movss  -0x84(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x138(%rbp)
  movss  -0x154(%rbp),%xmm0
  movss  %xmm0,-0x134(%rbp)
  movss  -0x134(%rbp),%xmm0
  mulss  -0x154(%rbp),%xmm0
  movss  %xmm0,-0x130(%rbp)
  movss  -0x130(%rbp),%xmm0
  mulss  -0x154(%rbp),%xmm0
  movss  %xmm0,-0x12c(%rbp)
  movss  -0x14c(%rbp),%xmm0
  movss  %xmm0,-0x128(%rbp)
  movss  -0x128(%rbp),%xmm0
  mulss  -0x14c(%rbp),%xmm0
  movss  %xmm0,-0x124(%rbp)
  movss  -0x124(%rbp),%xmm0
  mulss  -0x14c(%rbp),%xmm0
  movss  %xmm0,-0x120(%rbp)
  movss  -0x120(%rbp),%xmm0
  mulss  -0x14c(%rbp),%xmm0
  movss  %xmm0,-0x11c(%rbp)
  movss  -0x144(%rbp),%xmm0
  movss  %xmm0,-0x118(%rbp)
  movss  -0x118(%rbp),%xmm0
  mulss  -0x144(%rbp),%xmm0
  movss  %xmm0,-0x114(%rbp)
  movss  -0x114(%rbp),%xmm0
  mulss  -0x144(%rbp),%xmm0
  movss  %xmm0,-0x110(%rbp)
  movss  -0x13c(%rbp),%xmm0
  movss  %xmm0,-0x10c(%rbp)
  movss  -0x10c(%rbp),%xmm0
  mulss  -0x13c(%rbp),%xmm0
  movss  %xmm0,-0x108(%rbp)
  movss  -0x108(%rbp),%xmm0
  mulss  -0x13c(%rbp),%xmm0
  movss  %xmm0,-0x104(%rbp)
  movss  -0x104(%rbp),%xmm0
  mulss  -0x13c(%rbp),%xmm0
  movss  %xmm0,-0x100(%rbp)
  movss  -0x60(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x15c(%rbp),%xmm1
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x54(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x50(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  mulss  -0x114(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x40(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0xfc(%rbp),%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x110(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0xfc(%rbp),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x150(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm1,%xmm0
  addss  -0x148(%rbp),%xmm0
  addss  -0x140(%rbp),%xmm0
  movss  -0x138(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xf8(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0xf8(%rbp),%xmm0
  jp     L74
  pxor   %xmm0,%xmm0
  ucomiss -0xf8(%rbp),%xmm0
  je     L54
L74:
  movss  -0x150(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x188(%rbp)
  movss  -0x5c(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  mulss  -0x114(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm2
  movss  D119(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm2
  movss  D119(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm1,%xmm0
  cvttss2si %xmm0,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <pow@plt>
  movaps %xmm0,%xmm4
  mulss  -0x188(%rbp),%xmm4
  movss  %xmm4,-0x188(%rbp)
  movss  -0x148(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x18c(%rbp)
  movss  -0x58(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x40(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm2
  movss  D36(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm1,%xmm0
  cvttss2si %xmm0,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <pow@plt>
  mulss  -0x18c(%rbp),%xmm0
  addss  -0x188(%rbp),%xmm0
  movss  %xmm0,-0x188(%rbp)
  movss  -0x140(%rbp),%xmm0
  movaps %xmm0,%xmm7
  mulss  %xmm0,%xmm7
  movss  %xmm7,-0x18c(%rbp)
  movss  -0x54(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x118(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm2
  movss  D119(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x114(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  addss  %xmm1,%xmm0
  cvttss2si %xmm0,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <pow@plt>
  mulss  -0x18c(%rbp),%xmm0
  movaps %xmm0,%xmm3
  addss  -0x188(%rbp),%xmm3
  movss  %xmm3,-0x188(%rbp)
  movss  -0x138(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x18c(%rbp)
  movss  -0x50(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4c(%rbp),%xmm2
  movss  D36(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x10c(%rbp),%xmm0
  mulss  -0x134(%rbp),%xmm0
  mulss  -0x114(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x40(%rbp),%xmm2
  movss  D36(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x104(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x110(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm2
  movss  D36(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x104(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x10c(%rbp),%xmm0
  mulss  -0x128(%rbp),%xmm0
  addss  %xmm1,%xmm0
  cvttss2si %xmm0,%eax
  mov    $0x2,%esi
  mov    %eax,%edi
  call   <pow@plt>
  mulss  -0x18c(%rbp),%xmm0
  addss  -0x188(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sqrt@plt>
  movd   %xmm0,%eax
  jmp    L47
L54:
  mov    D164(%rip),%eax
L47:
  mov    %eax,-0xf4(%rbp)
  mov    -0x180(%rbp),%rax
  movss  -0xf4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0xfc(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L17
  call   <__stack_chk_fail@plt>
L17:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D34
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D234
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D296
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D9
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D300
type: f32
name: extract_symbolic_data
arguments: data_label: D133
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D271
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D108
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D257
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D121
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D274
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D287
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D253
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D147
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D325
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D43
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D297
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D150
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D69
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D173
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D207
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D353
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D289
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D280
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D104
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D276
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D319
type: byte[4]
name: extract_symbolic_data
arguments: data_label: D188
type: f32
name: extract_symbolic_data
arguments: data_label: D123
type: f32
name: extract_symbolic_data
arguments: data_label: D119
type: f32
name: extract_symbolic_data
arguments: data_label: D36
type: f32
name: extract_symbolic_data
arguments: data_label: D164
type: f32

tool: {"D34": [0x7b,0x2b,0x27,0x3d]}

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

tool: {"D296": [0x25,0x06,0x90,0xc1]}

tool: {"D9": [0x7b,0x14,0x90,0xc1]}

tool: D300: 15

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

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

tool: {"D108": [0x20,0xab,0x8d,0x37]}

tool: {"D257": [0xd3,0xe3,0x02,0xbd]}

tool: {"D121": [0x68,0xb6,0x4c,0xbd]}

tool: {"D274": [0xa0,0xdf,0x49,0x3d]}

tool: {"D287": [0xfe,0x8f,0x6a,0x3d]}

tool: {"D253": [0x7d,0x29,0xac,0xb8]}

tool: {"D147": [0x77,0x20,0xc5,0xb9]}

tool: {"D325": [0x51,0xea,0xda,0x38]}

tool: {"D43": [0x5c,0x00,0x3b,0x39]}

tool: {"D297": [0xc4,0x88,0x3c,0x37]}

tool: {"D150": [0x47,0x27,0x37,0x38]}

tool: {"D69": [0x62,0x58,0x1d,0xb8]}

tool: {"D173": [0x66,0xe4,0xe4,0xb8]}

tool: {"D207": [0x6f,0x78,0xf5,0xb6]}

tool: {"D353": [0x76,0x3a,0x9e,0xb6]}

tool: {"D289": [0x68,0x67,0x85,0x3a]}

tool: {"D280": [0x51,0x7c,0x35,0xba]}

tool: {"D104": [0x48,0x66,0x6c,0x38]}

tool: {"D276": [0x3f,0xaa,0x9b,0xb8]}

tool: {"D319": [0x3c,0xad,0x8e,0xb7]}

tool: D188: 2

tool: D123: 1

tool: D119: 3

tool: D36: 4

tool: D164: 0

assistant: ```c
float target_theta(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.4081295E-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.16888196E-04, -0.31955551E-01, -0.49978644E-01, 0.49285531E-01, 0.57266228E-01, -0.82093269E-04, -0.37598956E-03, 0.10438695E-03, 0.17833844E-03, 0.11237516E-04, 0.43667180E-04, -0.37514030E-04, -0.10914430E-03, -0.73155893E-05, -0.47155727E-05, 0.10177912E-02, -0.69231266E-03, 0.56362042E-04, -0.74226868E-04, -0.17008388E-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 x24 = x23 * 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] * x11 * x32 * x42;
  v_target_theta = v_target_theta + coeff[8] * x22 * x44 + coeff[9] * x21 * x31 + coeff[10] * x33 * x41 + coeff[11] * x13 * x22 + coeff[12] * x24 * x44 + coeff[13] * x11 * x21 + coeff[14] * x11 * x31 + coeff[15] * x21 * x41 + coeff[16] * x42;
  v_target_theta = v_target_theta + coeff[17] * x22 * x41 + coeff[18] * x21 * x42 + coeff[19] * x13 * x21;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_theta = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + coeff[7] * x32 * x42 + 3 * coeff[11] * x12 * x22 + coeff[13] * x21 + coeff[14] * x31 + 3 * coeff[19] * x12 * x21, 2) + dx2 * dx2 * pow(0 + coeff[2] + 2 * coeff[6] * x21 + 2 * coeff[8] * x21 * x44 + coeff[9] * x31 + 2 * coeff[11] * x21 * x13 + 4 * coeff[12] * x23 * x44 + coeff[13] * x11 + coeff[15] * x41 + 2 * coeff[17] * x21 * x41 + coeff[18] * x42 + coeff[19] * x13, 2) + dx3 * dx3 * pow(0 + coeff[3] + 2 * coeff[7] * x31 * x11 * x42 + coeff[9] * x21 + 3 * coeff[10] * x32 * x41 + coeff[14] * x11, 2) + dx4 * dx4 * pow(0 + coeff[4] + 4 * coeff[5] * x43 + 2 * coeff[7] * x41 * x11 * x32 + 4 * coeff[8] * x43 * x22 + coeff[10] * x33 + 4 * coeff[12] * x43 * x24 + coeff[15] * x21 + 2 * coeff[16] * x41 + coeff[17] * x22 + 2 * coeff[18] * x41 * x21, 2));
  dx[0] = dv_target_theta;
  return v_target_theta;
}
```