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

```asm
<target_theta>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0x180,%rsp
  mov    %rdi,-0x168(%rbp)
  mov    %rsi,-0x170(%rbp)
  mov    %edx,-0x174(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x8(%rbp)
  xor    %eax,%eax
  movl   $0x14,-0x15c(%rbp)
  movss  D15(%rip),%xmm0
  movss  %xmm0,-0x158(%rbp)
  movss  D36(%rip),%xmm0
  movss  %xmm0,-0xf0(%rbp)
  movss  D36(%rip),%xmm0
  movss  %xmm0,-0xec(%rbp)
  movss  D206(%rip),%xmm0
  movss  %xmm0,-0xe8(%rbp)
  movss  D370(%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  D77(%rip),%xmm0
  movss  %xmm0,-0xc0(%rbp)
  movss  D77(%rip),%xmm0
  movss  %xmm0,-0xbc(%rbp)
  movss  D412(%rip),%xmm0
  movss  %xmm0,-0xb8(%rbp)
  movss  D265(%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  D402(%rip),%xmm0
  movss  %xmm0,-0x60(%rbp)
  movss  D30(%rip),%xmm0
  movss  %xmm0,-0x5c(%rbp)
  movss  D297(%rip),%xmm0
  movss  %xmm0,-0x58(%rbp)
  movss  D50(%rip),%xmm0
  movss  %xmm0,-0x54(%rbp)
  movss  D188(%rip),%xmm0
  movss  %xmm0,-0x50(%rbp)
  movss  D338(%rip),%xmm0
  movss  %xmm0,-0x4c(%rbp)
  movss  D219(%rip),%xmm0
  movss  %xmm0,-0x48(%rbp)
  movss  D323(%rip),%xmm0
  movss  %xmm0,-0x44(%rbp)
  movss  D399(%rip),%xmm0
  movss  %xmm0,-0x40(%rbp)
  movss  D343(%rip),%xmm0
  movss  %xmm0,-0x3c(%rbp)
  movss  D166(%rip),%xmm0
  movss  %xmm0,-0x38(%rbp)
  movss  D221(%rip),%xmm0
  movss  %xmm0,-0x34(%rbp)
  movss  D18(%rip),%xmm0
  movss  %xmm0,-0x30(%rbp)
  movss  D345(%rip),%xmm0
  movss  %xmm0,-0x2c(%rbp)
  movss  D142(%rip),%xmm0
  movss  %xmm0,-0x28(%rbp)
  movss  D10(%rip),%xmm0
  movss  %xmm0,-0x24(%rbp)
  movss  D88(%rip),%xmm0
  movss  %xmm0,-0x20(%rbp)
  movss  D147(%rip),%xmm0
  movss  %xmm0,-0x1c(%rbp)
  movss  D200(%rip),%xmm0
  movss  %xmm0,-0x18(%rbp)
  movss  D350(%rip),%xmm0
  movss  %xmm0,-0x14(%rbp)
  pxor   %xmm0,%xmm0
  movss  %xmm0,-0x10(%rbp)
  movl   $0x0,-0x154(%rbp)
  cmpl   $0x0,-0x154(%rbp)
  jne    L85
  movl   $0x1,-0x154(%rbp)
  movl   $0x0,-0x160(%rbp)
  jmp    L66
L87:
  mov    -0x160(%rbp),%eax
  cltq
  movss  -0xf0(%rbp,%rax,4),%xmm0
  mov    -0x160(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm1
  ucomiss %xmm1,%xmm0
  jp     L82
  ucomiss %xmm1,%xmm0
  je     L2
L82:
  mov    -0x160(%rbp),%eax
  cltq
  movss  -0xc0(%rbp,%rax,4),%xmm0
  mov    -0x160(%rbp),%eax
  cltq
  movss  -0xf0(%rbp,%rax,4),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  D217(%rip),%xmm0
  divss  %xmm1,%xmm0
  mov    -0x160(%rbp),%eax
  cltq
  movss  %xmm0,-0x90(%rbp,%rax,4)
  jmp    L41
L2:
  nop
L41:
  addl   $0x1,-0x160(%rbp)
L66:
  mov    -0x160(%rbp),%eax
  cmp    -0x174(%rbp),%eax
  jl     L87
L85:
  mov    -0x168(%rbp),%rax
  movss  (%rax),%xmm0
  movss  -0xc0(%rbp),%xmm2
  movaps %xmm0,%xmm1
  subss  %xmm2,%xmm1
  movss  -0x90(%rbp),%xmm0
  mulss  %xmm0,%xmm1
  movss  D151(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x150(%rbp)
  mov    -0x170(%rbp),%rax
  movss  (%rax),%xmm1
  movss  -0x90(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x14c(%rbp)
  mov    -0x168(%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  D151(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x148(%rbp)
  mov    -0x170(%rbp),%rax
  add    $0x4,%rax
  movss  (%rax),%xmm1
  movss  -0x8c(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x144(%rbp)
  mov    -0x168(%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  D151(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x140(%rbp)
  mov    -0x170(%rbp),%rax
  add    $0x8,%rax
  movss  (%rax),%xmm1
  movss  -0x88(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x13c(%rbp)
  mov    -0x168(%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  D151(%rip),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0x138(%rbp)
  mov    -0x170(%rbp),%rax
  add    $0xc,%rax
  movss  (%rax),%xmm1
  movss  -0x84(%rbp),%xmm0
  mulss  %xmm1,%xmm0
  movss  %xmm0,-0x134(%rbp)
  movss  -0x150(%rbp),%xmm0
  movss  %xmm0,-0x130(%rbp)
  movss  -0x130(%rbp),%xmm0
  mulss  -0x150(%rbp),%xmm0
  movss  %xmm0,-0x12c(%rbp)
  movss  -0x12c(%rbp),%xmm0
  mulss  -0x150(%rbp),%xmm0
  movss  %xmm0,-0x128(%rbp)
  movss  -0x128(%rbp),%xmm0
  mulss  -0x150(%rbp),%xmm0
  movss  %xmm0,-0x124(%rbp)
  movss  -0x148(%rbp),%xmm0
  movss  %xmm0,-0x120(%rbp)
  movss  -0x120(%rbp),%xmm0
  mulss  -0x148(%rbp),%xmm0
  movss  %xmm0,-0x11c(%rbp)
  movss  -0x11c(%rbp),%xmm0
  mulss  -0x148(%rbp),%xmm0
  movss  %xmm0,-0x118(%rbp)
  movss  -0x118(%rbp),%xmm0
  mulss  -0x148(%rbp),%xmm0
  movss  %xmm0,-0x114(%rbp)
  movss  -0x140(%rbp),%xmm0
  movss  %xmm0,-0x110(%rbp)
  movss  -0x110(%rbp),%xmm0
  mulss  -0x140(%rbp),%xmm0
  movss  %xmm0,-0x10c(%rbp)
  movss  -0x138(%rbp),%xmm0
  movss  %xmm0,-0x108(%rbp)
  movss  -0x108(%rbp),%xmm0
  mulss  -0x138(%rbp),%xmm0
  movss  %xmm0,-0x104(%rbp)
  movss  -0x104(%rbp),%xmm0
  mulss  -0x138(%rbp),%xmm0
  movss  %xmm0,-0x100(%rbp)
  movss  -0x60(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0x158(%rbp),%xmm1
  movss  -0x5c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x58(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x54(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x50(%rbp),%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x110(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4c(%rbp),%xmm0
  mulss  -0x10c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x40(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0xfc(%rbp),%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm0
  mulss  -0x100(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x114(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  movaps %xmm0,%xmm1
  addss  -0xfc(%rbp),%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xfc(%rbp)
  movss  -0x14c(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm1,%xmm0
  addss  -0x144(%rbp),%xmm0
  addss  -0x13c(%rbp),%xmm0
  movss  -0x134(%rbp),%xmm1
  addss  %xmm1,%xmm0
  movss  %xmm0,-0xf8(%rbp)
  pxor   %xmm0,%xmm0
  ucomiss -0xf8(%rbp),%xmm0
  jp     L55
  pxor   %xmm0,%xmm0
  ucomiss -0xf8(%rbp),%xmm0
  je     L1
L55:
  movss  -0x14c(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x178(%rbp)
  movss  -0x58(%rbp),%xmm0
  addss  %xmm0,%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x130(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x50(%rbp),%xmm0
  mulss  -0x110(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x3c(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm2
  movss  D288(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm2
  movss  D288(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x128(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x130(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  movaps %xmm0,%xmm4
  mulss  -0x178(%rbp),%xmm4
  movss  %xmm4,-0x178(%rbp)
  movss  -0x144(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x17c(%rbp)
  movss  -0x54(%rbp),%xmm0
  addss  %xmm0,%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x120(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x44(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x40(%rbp),%xmm2
  movss  D35(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x11c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x2c(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x28(%rbp),%xmm2
  movss  D35(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x120(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm2
  movss  D288(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x118(%rbp),%xmm0
  mulss  -0x108(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm2
  movss  D35(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x11c(%rbp),%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x17c(%rbp),%xmm0
  addss  -0x178(%rbp),%xmm0
  movss  %xmm0,-0x178(%rbp)
  movss  -0x13c(%rbp),%xmm0
  movaps %xmm0,%xmm7
  mulss  %xmm0,%xmm7
  movss  %xmm7,-0x17c(%rbp)
  movss  -0x50(%rbp),%xmm0
  movaps %xmm0,%xmm1
  mulss  -0x130(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x4c(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x110(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x17c(%rbp),%xmm0
  movaps %xmm0,%xmm3
  addss  -0x178(%rbp),%xmm3
  movss  %xmm3,-0x178(%rbp)
  movss  -0x134(%rbp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,-0x17c(%rbp)
  movss  -0x5c(%rbp),%xmm1
  pxor   %xmm0,%xmm0
  addss  %xmm0,%xmm1
  movss  -0x48(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x3c(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x38(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x34(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x108(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x30(%rbp),%xmm2
  movss  D35(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  -0x104(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x24(%rbp),%xmm0
  mulss  -0x124(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x20(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x11c(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x1c(%rbp),%xmm0
  mulss  -0x114(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x18(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x108(%rbp),%xmm0
  mulss  -0x12c(%rbp),%xmm0
  mulss  -0x120(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movss  -0x14(%rbp),%xmm0
  addss  %xmm0,%xmm0
  mulss  -0x108(%rbp),%xmm0
  mulss  -0x118(%rbp),%xmm0
  addss  %xmm0,%xmm1
  movd   %xmm1,%eax
  mov    $0x2,%edi
  movd   %eax,%xmm0
  call   <pow@plt>
  mulss  -0x17c(%rbp),%xmm0
  addss  -0x178(%rbp),%xmm0
  movd   %xmm0,%eax
  movd   %eax,%xmm0
  call   <sqrt@plt>
  movd   %xmm0,%eax
  jmp    L70
L1:
  mov    D195(%rip),%eax
L70:
  mov    %eax,-0xf4(%rbp)
  mov    -0x170(%rbp),%rax
  movss  -0xf4(%rbp),%xmm0
  movss  %xmm0,(%rax)
  movss  -0xfc(%rbp),%xmm0
  mov    -0x8(%rbp),%rax
  sub    %fs:0x28,%rax
  je     L44
  call   <__stack_chk_fail@plt>
L44:
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D15
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D36
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D206
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D370
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D77
data_type: f32
name: extract_symbolic_data
arguments: label: D412
data_type: f32
name: extract_symbolic_data
arguments: label: D265
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D402
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D30
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D297
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D50
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D188
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D338
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D219
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D323
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D399
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D343
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D166
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D221
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D18
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D345
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D142
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D10
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D88
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D147
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D200
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D350
data_type: byte[4]
name: extract_symbolic_data
arguments: label: D217
data_type: f32
name: extract_symbolic_data
arguments: label: D151
data_type: f32
name: extract_symbolic_data
arguments: label: D288
data_type: f32
name: extract_symbolic_data
arguments: label: D35
data_type: f32
name: extract_symbolic_data
arguments: label: D195
data_type: f32

tool: {"D15": [0x63,0x98,0x18,0x3c]}

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

tool: {"D206": [0x00,0x00,0x90,0xc1]}

tool: {"D370": [0x4c,0x37,0x90,0xc1]}

tool: D77: 15

tool: D412: 18

tool: {"D265": [0xc1,0xca,0x8f,0x41]}

tool: {"D402": [0x7e,0x47,0x33,0x39]}

tool: {"D30": [0xa5,0x13,0xd3,0x3b]}

tool: {"D297": [0xa3,0xd0,0xa0,0xbb]}

tool: {"D50": [0x6a,0x6b,0x32,0xbb]}

tool: {"D188": [0xce,0x40,0x83,0x3c]}

tool: {"D338": [0xcd,0x39,0x54,0xbc]}

tool: {"D219": [0x97,0xa5,0x7f,0x3b]}

tool: {"D323": [0xbf,0xa1,0x9a,0xbd]}

tool: {"D399": [0x5f,0xd1,0x41,0xbf]}

tool: {"D343": [0xef,0x42,0xac,0x3d]}

tool: {"D166": [0x35,0x56,0x22,0x40]}

tool: {"D221": [0x5b,0x3d,0x3e,0xc0]}

tool: {"D18": [0x94,0x22,0x99,0x3f]}

tool: {"D345": [0xa3,0x09,0x3a,0x3d]}

tool: {"D142": [0xed,0xbb,0x83,0x3d]}

tool: {"D10": [0xca,0xa9,0x56,0xbd]}

tool: {"D88": [0x89,0xdc,0xe0,0xbd]}

tool: {"D147": [0xc7,0x30,0x8c,0x3d]}

tool: {"D200": [0x6a,0xda,0x33,0x3d]}

tool: {"D350": [0x8c,0x8d,0x89,0xbd]}

tool: D217: 2

tool: D151: 1

tool: D288: 4

tool: D35: 3

tool: D195: 0

assistant: ```c
float target_theta(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.9313676E-02;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18027E+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.17974E+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.17097403E-03, 0.64415508E-02, -0.49076839E-02, -0.27224668E-02, 0.16022112E-01, -0.12953234E-01, 0.39008611E-02, -0.75503819E-01, -0.75710100E+00, 0.84112041E-01, 0.25365117E+01, -0.29724948E+01, 0.11963677E+01, 0.45419347E-01, 0.64323284E-01, -0.52408017E-01, -0.10979564E+00, 0.68452410E-01, 0.43909468E-01, -0.67164510E-01, 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 x14 = x13 * x1;
  float x21 = x2;
  float x22 = x21 * x2;
  float x23 = x22 * x2;
  float x24 = x23 * x2;
  float x31 = x3;
  float x32 = x31 * x3;
  float x41 = x4;
  float x42 = x41 * x4;
  float x43 = x42 * x4;
  float v_target_theta = avdat + coeff[0] + coeff[1] * x41 + coeff[2] * x12 + coeff[3] * x22 + coeff[4] * x11 * x31 + coeff[5] * x32 + coeff[6] * x21 * x41 + coeff[7] * x12 * x21;
  v_target_theta = v_target_theta + coeff[8] * x23 + coeff[9] * x12 * x41 + coeff[10] * x22 * x41 + coeff[11] * x21 * x42 + coeff[12] * x43 + coeff[13] * x14 * x21 + coeff[14] * x12 * x23 + coeff[15] * x14 * x41 + coeff[16] * x12 * x22 * x41;
  v_target_theta = v_target_theta + coeff[17] * x24 * x41 + coeff[18] * x12 * x21 * x42 + coeff[19] * x23 * x42;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_theta = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + 2 * coeff[2] * x11 + coeff[4] * x31 + 2 * coeff[7] * x11 * x21 + 2 * coeff[9] * x11 * x41 + 4 * coeff[13] * x13 * x21 + 2 * coeff[14] * x11 * x23 + 4 * coeff[15] * x13 * x41 + 2 * coeff[16] * x11 * x22 * x41 + 2 * coeff[18] * x11 * x21 * x42, 2) + dx2 * dx2 * pow(0 + 2 * coeff[3] * x21 + coeff[6] * x41 + coeff[7] * x12 + 3 * coeff[8] * x22 + 2 * coeff[10] * x21 * x41 + coeff[11] * x42 + coeff[13] * x14 + 3 * coeff[14] * x22 * x12 + 2 * coeff[16] * x21 * x12 * x41 + 4 * coeff[17] * x23 * x41 + coeff[18] * x12 * x42 + 3 * coeff[19] * x22 * x42, 2) + dx3 * dx3 * pow(0 + coeff[4] * x11 + 2 * coeff[5] * x31, 2) + dx4 * dx4 * pow(0 + coeff[1] + coeff[6] * x21 + coeff[9] * x12 + coeff[10] * x22 + 2 * coeff[11] * x41 * x21 + 3 * coeff[12] * x42 + coeff[15] * x14 + coeff[16] * x12 * x22 + coeff[17] * x24 + 2 * coeff[18] * x41 * x12 * x21 + 2 * coeff[19] * x41 * x23, 2));
  dx[0] = dv_target_theta;
  return v_target_theta;
}
```