user: What would the C source look like for the assembly code provided here:

```asm
<target_y>:
  endbr64
  push   %rbx
  pxor   %xmm0,%xmm0
  mov    %rsi,%rbx
  sub    $0xf0,%rsp
  movss  D138(%rip),%xmm1
  movss  D401(%rip),%xmm7
  mov    %fs:0x28,%rax
  mov    %rax,0xe8(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0xc0(%rsp)
  movabs $0xc19022d1c1900000,%rax
  mov    %rax,0x68(%rsp)
  movabs $0x418fe14841900000,%rax
  movq   $0x0,0x70(%rsp)
  movq   $0x0,0x78(%rsp)
  movq   $0x0,0x80(%rsp)
  mov    %rax,0x98(%rsp)
  movq   $0x0,0xa0(%rsp)
  movq   $0x0,0xa8(%rsp)
  movq   $0x0,0xb0(%rsp)
  movq   $0x0,0xe0(%rsp)
  movss  %xmm1,0x64(%rsp)
  movss  %xmm7,0x94(%rsp)
  movaps %xmm0,0xd0(%rsp)
  test   %edx,%edx
  jle    L27
  sub    $0x1,%edx
  movss  D257(%rip),%xmm2
  xor    %eax,%eax
  movaps %xmm7,%xmm0
  shl    $0x2,%rdx
  lea    0x64(%rsp),%rsi
  lea    0x94(%rsp),%rcx
  jmp    L10
  nop
L89:
  movss  (%rsi,%rax,1),%xmm1
  movss  (%rcx,%rax,1),%xmm0
  add    $0x4,%rax
L10:
  ucomiss %xmm0,%xmm1
  jp     L62
  je     L76
L62:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xc0(%rsp,%rax,1)
L76:
  cmp    %rdx,%rax
  jne    L89
  movss  0xc0(%rsp),%xmm8
  pxor   %xmm10,%xmm10
  movss  0xc4(%rsp),%xmm6
  movss  0xc8(%rsp),%xmm1
  movss  0xcc(%rsp),%xmm0
L21:
  movss  (%rdi),%xmm4
  movss  0x8(%rdi),%xmm2
  subss  D411(%rip),%xmm2
  movss  0x4(%rdi),%xmm3
  subss  %xmm7,%xmm4
  movss  D451(%rip),%xmm5
  movss  D152(%rip),%xmm15
  movss  D264(%rip),%xmm14
  subss  %xmm7,%xmm3
  mulss  %xmm1,%xmm2
  mulss  %xmm8,%xmm4
  mulss  0x8(%rbx),%xmm1
  mulss  %xmm6,%xmm3
  mulss  (%rbx),%xmm8
  addss  %xmm5,%xmm2
  mulss  0x4(%rbx),%xmm6
  addss  %xmm5,%xmm4
  movss  %xmm1,0x14(%rsp)
  movss  0xc(%rdi),%xmm1
  subss  D182(%rip),%xmm1
  addss  %xmm5,%xmm3
  movaps %xmm2,%xmm13
  movaps %xmm4,%xmm7
  movaps %xmm4,%xmm12
  mulss  %xmm4,%xmm7
  mulss  %xmm0,%xmm1
  movaps %xmm3,%xmm9
  mulss  0xc(%rbx),%xmm0
  mulss  %xmm3,%xmm15
  mulss  %xmm3,%xmm9
  mulss  %xmm7,%xmm12
  addss  %xmm5,%xmm1
  movaps %xmm4,%xmm5
  movss  %xmm0,0x18(%rsp)
  movss  %xmm15,(%rsp)
  movaps %xmm1,%xmm11
  mulss  %xmm12,%xmm5
  mulss  %xmm1,%xmm11
  movss  %xmm5,0x1c(%rsp)
  movaps %xmm2,%xmm5
  mulss  %xmm2,%xmm5
  movaps %xmm11,%xmm0
  movaps %xmm1,%xmm11
  mulss  %xmm0,%xmm11
  mulss  %xmm5,%xmm13
  movss  %xmm11,0x24(%rsp)
  movss  %xmm13,0x20(%rsp)
  movss  D392(%rip),%xmm13
  mulss  %xmm7,%xmm13
  movaps %xmm13,%xmm11
  mulss  %xmm3,%xmm11
  movss  %xmm11,0x4(%rsp)
  movss  D279(%rip),%xmm11
  mulss  %xmm4,%xmm11
  movaps %xmm11,%xmm15
  mulss  %xmm3,%xmm15
  movss  %xmm15,0x28(%rsp)
  mulss  %xmm2,%xmm15
  movss  %xmm15,0x8(%rsp)
  movss  D21(%rip),%xmm15
  mulss  %xmm3,%xmm15
  mulss  %xmm5,%xmm15
  movss  %xmm15,0xc(%rsp)
  movss  D186(%rip),%xmm15
  mulss  %xmm4,%xmm15
  movss  %xmm15,0x10(%rsp)
  movss  D148(%rip),%xmm15
  mulss  %xmm3,%xmm15
  addss  %xmm15,%xmm14
  movss  D151(%rip),%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm14,%xmm15
  movss  0x24(%rsp),%xmm14
  mulss  %xmm1,%xmm14
  mulss  D33(%rip),%xmm14
  addss  %xmm15,%xmm14
  movss  D436(%rip),%xmm15
  mulss  D251(%rip),%xmm0
  mulss  %xmm9,%xmm15
  mulss  D141(%rip),%xmm9
  addss  %xmm14,%xmm15
  movss  (%rsp),%xmm14
  mulss  %xmm1,%xmm14
  addss  %xmm15,%xmm14
  addss  %xmm14,%xmm0
  movss  0x20(%rsp),%xmm14
  mulss  %xmm2,%xmm14
  mulss  D460(%rip),%xmm14
  addss  %xmm14,%xmm0
  movss  0x4(%rsp),%xmm14
  mulss  %xmm1,%xmm14
  addss  %xmm0,%xmm14
  movss  0x8(%rsp),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm14,%xmm0
  movss  0xc(%rsp),%xmm14
  mulss  %xmm1,%xmm14
  addss  %xmm0,%xmm14
  movss  0x1c(%rsp),%xmm0
  mulss  D449(%rip),%xmm0
  mulss  %xmm5,%xmm0
  addss  %xmm14,%xmm0
  movss  D10(%rip),%xmm14
  mulss  %xmm7,%xmm14
  mulss  D335(%rip),%xmm7
  addss  %xmm14,%xmm0
  movss  0x10(%rsp),%xmm14
  mulss  %xmm2,%xmm14
  addss  %xmm0,%xmm14
  movss  D437(%rip),%xmm0
  mulss  %xmm5,%xmm0
  addss  %xmm14,%xmm0
  movss  D111(%rip),%xmm14
  mulss  %xmm2,%xmm14
  addss  %xmm14,%xmm0
  movss  D105(%rip),%xmm14
  mulss  %xmm5,%xmm14
  movaps %xmm14,%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm0,%xmm15
  movss  D44(%rip),%xmm0
  mulss  %xmm4,%xmm0
  addss  %xmm15,%xmm0
  movaps %xmm7,%xmm15
  mulss  %xmm3,%xmm15
  addss  %xmm15,%xmm0
  movaps %xmm9,%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm0,%xmm15
  movaps %xmm8,%xmm0
  addss  %xmm10,%xmm0
  addss  %xmm6,%xmm0
  addss  0x14(%rsp),%xmm0
  addss  0x18(%rsp),%xmm0
  ucomiss %xmm10,%xmm0
  jp     L42
  movaps %xmm10,%xmm0
  jne    L42
L77:
  movss  %xmm0,(%rbx)
  mov    0xe8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L40
  add    $0xf0,%rsp
  movaps %xmm15,%xmm0
  pop    %rbx
  ret
  nopl   0x0(%rax)
L42:
  movss  %xmm6,0x30(%rsp)
  mulss  %xmm8,%xmm8
  movss  D263(%rip),%xmm6
  movss  D279(%rip),%xmm0
  mulss  D209(%rip),%xmm12
  mov    $0x2,%esi
  movss  %xmm15,0x5c(%rsp)
  mulss  %xmm4,%xmm6
  movss  %xmm9,0x58(%rsp)
  mulss  %xmm3,%xmm0
  movss  %xmm14,0x50(%rsp)
  movss  %xmm10,0x44(%rsp)
  movss  %xmm8,0x2c(%rsp)
  mulss  %xmm5,%xmm12
  movss  %xmm7,0x54(%rsp)
  movaps %xmm6,%xmm8
  movss  D186(%rip),%xmm6
  movss  %xmm11,0x4c(%rsp)
  mulss  %xmm3,%xmm8
  movss  %xmm13,0x48(%rsp)
  mulss  %xmm2,%xmm0
  movss  %xmm1,0x3c(%rsp)
  mulss  %xmm2,%xmm6
  movss  %xmm5,0x40(%rsp)
  movss  %xmm2,0x38(%rsp)
  movss  %xmm3,0x34(%rsp)
  mulss  %xmm1,%xmm8
  mulss  %xmm1,%xmm0
  addss  %xmm10,%xmm8
  addss  %xmm8,%xmm0
  addss  %xmm0,%xmm12
  movss  D160(%rip),%xmm0
  mulss  %xmm4,%xmm0
  mulss  D316(%rip),%xmm4
  addss  %xmm12,%xmm0
  mulss  %xmm3,%xmm4
  addss  %xmm6,%xmm0
  addss  D44(%rip),%xmm0
  addss  %xmm4,%xmm0
  cvttss2si %xmm0,%edi
  call   <pow@plt>
  movss  0x3c(%rsp),%xmm1
  mov    $0x2,%esi
  movss  D152(%rip),%xmm5
  movss  0x34(%rsp),%xmm3
  movss  0x38(%rsp),%xmm2
  mulss  %xmm1,%xmm5
  movss  D20(%rip),%xmm4
  movss  0x4c(%rsp),%xmm11
  movss  %xmm1,0x34(%rsp)
  mulss  0x2c(%rsp),%xmm0
  movss  0x48(%rsp),%xmm13
  movss  %xmm2,0x3c(%rsp)
  mulss  %xmm3,%xmm4
  movss  0x54(%rsp),%xmm7
  movss  0x30(%rsp),%xmm6
  movss  %xmm3,0x38(%rsp)
  mulss  %xmm2,%xmm11
  subss  D317(%rip),%xmm4
  mulss  %xmm1,%xmm13
  mulss  %xmm6,%xmm6
  movss  %xmm0,0x2c(%rsp)
  movaps %xmm5,%xmm0
  movss  0x40(%rsp),%xmm5
  mulss  D21(%rip),%xmm5
  addss  %xmm4,%xmm0
  movaps %xmm3,%xmm4
  mulss  %xmm1,%xmm11
  mulss  D156(%rip),%xmm4
  addss  %xmm0,%xmm13
  movss  %xmm6,0x30(%rsp)
  mulss  %xmm1,%xmm5
  addss  %xmm13,%xmm11
  movaps %xmm4,%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm11,%xmm5
  addss  %xmm7,%xmm5
  addss  %xmm0,%xmm5
  cvttss2si %xmm5,%edi
  call   <pow@plt>
  mulss  0x30(%rsp),%xmm0
  movss  0x2c(%rsp),%xmm7
  mov    $0x2,%esi
  movss  0x34(%rsp),%xmm1
  movss  0x44(%rsp),%xmm10
  movss  0x3c(%rsp),%xmm2
  movss  0x38(%rsp),%xmm3
  movss  0x14(%rsp),%xmm6
  addss  %xmm0,%xmm7
  movss  0x20(%rsp),%xmm0
  mulss  %xmm6,%xmm6
  mulss  D139(%rip),%xmm0
  movss  %xmm7,0x2c(%rsp)
  movss  %xmm6,0x14(%rsp)
  movaps %xmm0,%xmm4
  movss  0x28(%rsp),%xmm0
  addss  %xmm10,%xmm4
  mulss  %xmm1,%xmm0
  addss  %xmm4,%xmm0
  movss  D220(%rip),%xmm4
  mulss  %xmm2,%xmm4
  mulss  %xmm4,%xmm3
  mulss  %xmm1,%xmm3
  addss  %xmm3,%xmm0
  movss  D63(%rip),%xmm3
  mulss  %xmm2,%xmm3
  mulss  0x1c(%rsp),%xmm3
  movss  %xmm1,0x1c(%rsp)
  addss  %xmm3,%xmm0
  movss  D158(%rip),%xmm3
  addss  0x10(%rsp),%xmm0
  mulss  %xmm2,%xmm3
  mulss  D463(%rip),%xmm2
  addss  %xmm3,%xmm0
  subss  D104(%rip),%xmm0
  mulss  %xmm1,%xmm2
  addss  %xmm2,%xmm0
  cvttss2si %xmm0,%edi
  call   <pow@plt>
  mulss  0x14(%rsp),%xmm0
  movss  0x24(%rsp),%xmm7
  mov    $0x2,%esi
  mulss  D338(%rip),%xmm7
  addss  0x2c(%rsp),%xmm0
  movss  0x1c(%rsp),%xmm1
  mulss  D337(%rip),%xmm1
  movss  0x50(%rsp),%xmm14
  movss  0x58(%rsp),%xmm9
  movss  %xmm0,0x10(%rsp)
  movss  D151(%rip),%xmm0
  movss  0x18(%rsp),%xmm6
  addss  %xmm7,%xmm0
  addss  (%rsp),%xmm0
  mulss  %xmm6,%xmm6
  addss  %xmm1,%xmm0
  addss  0x4(%rsp),%xmm0
  addss  0x8(%rsp),%xmm0
  addss  0xc(%rsp),%xmm0
  movss  %xmm6,0x14(%rsp)
  addss  %xmm14,%xmm0
  addss  %xmm9,%xmm0
  cvttss2si %xmm0,%edi
  call   <pow@plt>
  mulss  0x14(%rsp),%xmm0
  addss  0x10(%rsp),%xmm0
  call   <sqrt@plt>
  movss  0x5c(%rsp),%xmm15
  jmp    L77
  nopw   0x0(%rax,%rax,1)
L27:
  pxor   %xmm10,%xmm10
  movaps %xmm10,%xmm0
  movaps %xmm10,%xmm1
  movaps %xmm10,%xmm6
  movaps %xmm10,%xmm8
  jmp    L21
L40:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D138
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D401
type: f32
name: extract_symbolic_data
arguments: data_tag: D257
type: f32
name: extract_symbolic_data
arguments: data_tag: D411
type: f32
name: extract_symbolic_data
arguments: data_tag: D451
type: f32
name: extract_symbolic_data
arguments: data_tag: D152
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D264
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D182
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D392
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D279
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D21
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D186
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D148
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D151
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D33
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D436
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D251
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D141
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D460
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D449
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D10
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D335
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D437
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D111
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D105
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D44
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D263
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D209
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D160
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D316
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D20
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D317
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D156
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D139
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D220
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D63
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D158
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D463
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D104
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D338
type: byte[4]
name: extract_symbolic_data
arguments: data_tag: D337
type: byte[4]

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

tool: D401: 15

tool: D257: 2

tool: D411: 18

tool: D451: 1

tool: {"D152": [0x3c,0x8b,0x36,0xbf]}

tool: {"D264": [0x57,0xbb,0x5e,0x40]}

tool: {"D182": [0x48,0xe1,0x8f,0x41]}

tool: {"D392": [0xca,0x88,0x92,0x3b]}

tool: {"D279": [0x82,0x78,0x3d,0xbc]}

tool: {"D21": [0x2c,0x9d,0xf7,0x3b]}

tool: {"D186": [0xe1,0x0c,0x45,0x3f]}

tool: {"D148": [0xcd,0x56,0x1b,0xc2]}

tool: {"D151": [0x66,0x0a,0x81,0x42]}

tool: {"D33": [0xf5,0x15,0xea,0xb8]}

tool: {"D436": [0x51,0xbb,0x4f,0x3e]}

tool: {"D251": [0x4a,0xaf,0x20,0x3f]}

tool: {"D141": [0xa8,0xf5,0xa4,0x3a]}

tool: {"D460": [0x95,0x0e,0x1c,0x3a]}

tool: {"D449": [0xf7,0x04,0x38,0xba]}

tool: {"D10": [0x1f,0x04,0x88,0xbe]}

tool: {"D335": [0xac,0xb6,0x5b,0x3b]}

tool: {"D437": [0x05,0x93,0x08,0xbf]}

tool: {"D111": [0x5a,0xb1,0xd6,0xbb]}

tool: {"D105": [0xac,0xab,0xf1,0xbb]}

tool: {"D44": [0xc6,0x3b,0xa3,0x3b]}

tool: {"D263": [0xca,0x88,0x12,0x3c]}

tool: {"D209": [0xf7,0x04,0x38,0xbb]}

tool: {"D160": [0x1f,0x04,0x08,0xbf]}

tool: {"D316": [0xac,0xb6,0xdb,0x3b]}

tool: {"D20": [0x51,0xbb,0xcf,0x3e]}

tool: {"D317": [0xcd,0x56,0x1b,0x42]}

tool: {"D156": [0xa8,0xf5,0x24,0x3b]}

tool: {"D139": [0x95,0x0e,0x1c,0x3b]}

tool: {"D220": [0x2c,0x9d,0x77,0x3c]}

tool: {"D63": [0xf7,0x04,0xb8,0xba]}

tool: {"D158": [0x05,0x93,0x88,0xbf]}

tool: {"D463": [0xac,0xab,0x71,0xbc]}

tool: {"D104": [0x5a,0xb1,0xd6,0x3b]}

tool: {"D338": [0xf5,0x15,0xea,0xb9]}

tool: {"D337": [0x4a,0xaf,0xa0,0x3f]}

assistant: ```c
float target_y(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.3503791E+01;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18017E+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.17985E+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.23606796E-01, -0.38834766E+02, 0.64520309E+02, -0.11162079E-03, 0.20286299E+00, -0.71306205E+00, 0.62767470E+00, 0.59531006E-03, 0.44718729E-02, -0.11564376E-01, 0.75565781E-02, -0.70197828E-03, -0.26565644E+00, 0.76972777E+00, -0.53349334E+00, -0.65519037E-02, -0.73752012E-02, 0.49814908E-02, 0.33525629E-02, 0.12585418E-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 x13 = x12 * x1;
  float x14 = x13 * 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_y = avdat + coeff[0] + coeff[1] * x21 + coeff[2] * x41 + coeff[3] * x44 + coeff[4] * x22 + coeff[5] * x21 * x41 + coeff[6] * x42 + coeff[7] * x34;
  v_target_y = v_target_y + coeff[8] * x12 * x21 * x41 + coeff[9] * x11 * x21 * x31 * x41 + coeff[10] * x21 * x32 * x41 + coeff[11] * x14 * x32 + coeff[12] * x12 + coeff[13] * x11 * x31 + coeff[14] * x32 + coeff[15] * x31 + coeff[16] * x32 * x41;
  v_target_y = v_target_y + coeff[17] * x11 + coeff[18] * x12 * x21 + coeff[19] * x22 * x41;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_y = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + 2 * coeff[8] * x11 * x21 * x41 + coeff[9] * x21 * x31 * x41 + 4 * coeff[11] * x13 * x32 + 2 * coeff[12] * x11 + coeff[13] * x31 + coeff[17] + 2 * coeff[18] * x11 * x21, 2) + dx2 * dx2 * pow(0 + coeff[1] + 2 * coeff[4] * x21 + coeff[5] * x41 + coeff[8] * x12 * x41 + coeff[9] * x11 * x31 * x41 + coeff[10] * x32 * x41 + coeff[18] * x12 + 2 * coeff[19] * x21 * x41, 2) + dx3 * dx3 * pow(0 + 4 * coeff[7] * x33 + coeff[9] * x11 * x21 * x41 + 2 * coeff[10] * x31 * x21 * x41 + 2 * coeff[11] * x31 * x14 + coeff[13] * x11 + 2 * coeff[14] * x31 + coeff[15] + 2 * coeff[16] * x31 * x41, 2) + dx4 * dx4 * pow(0 + coeff[2] + 4 * coeff[3] * x43 + coeff[5] * x21 + 2 * coeff[6] * x41 + coeff[8] * x12 * x21 + coeff[9] * x11 * x21 * x31 + coeff[10] * x21 * x32 + coeff[16] * x32 + coeff[19] * x22, 2));
  dx[0] = dv_target_y;
  return v_target_y;
}
```