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

```asm
<target_phi>:
  endbr64
  push   %r14
  push   %rbx
  sub    $0x108,%rsp
  mov    %rdi,%rcx
  mov    %rsi,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0xf8(%rsp)
  xor    %eax,%eax
  movss  D393(%rip),%xmm0
  movss  %xmm0,0x70(%rsp)
  movss  %xmm0,0x74(%rsp)
  movl   $0xc1900000,0x78(%rsp)
  movl   $0xc1901aa0,0x7c(%rsp)
  movl   $0x0,0x80(%rsp)
  movl   $0x0,0x84(%rsp)
  movl   $0x0,0x88(%rsp)
  movl   $0x0,0x8c(%rsp)
  movl   $0x0,0x90(%rsp)
  movl   $0x0,0x94(%rsp)
  movss  D267(%rip),%xmm0
  movss  %xmm0,0xa0(%rsp)
  movss  %xmm0,0xa4(%rsp)
  movl   $0x41900000,0xa8(%rsp)
  movl   $0x418fe979,0xac(%rsp)
  movl   $0x0,0xb0(%rsp)
  movl   $0x0,0xb4(%rsp)
  movl   $0x0,0xb8(%rsp)
  movl   $0x0,0xbc(%rsp)
  movl   $0x0,0xc0(%rsp)
  movl   $0x0,0xc4(%rsp)
  movq   $0x0,0xd0(%rsp)
  movq   $0x0,0xd8(%rsp)
  movq   $0x0,0xe0(%rsp)
  movq   $0x0,0xe8(%rsp)
  movq   $0x0,0xf0(%rsp)
  test   %edx,%edx
  jle    L36
  mov    %edx,%edx
  movss  D254(%rip),%xmm2
  jmp    L25
L54:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xd0(%rsp,%rax,4)
L6:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L36
L25:
  movss  0x70(%rsp,%rax,4),%xmm1
  movss  0xa0(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L54
  jne    L54
  jmp    L6
L36:
  movss  0xd0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D267(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D243(%rip),%xmm0
  movaps %xmm2,%xmm6
  addss  %xmm0,%xmm6
  movaps %xmm6,%xmm7
  movss  %xmm6,0x2c(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xd4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm13
  addss  %xmm0,%xmm13
  movss  %xmm13,0x10(%rsp)
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0x20(%rsp)
  movss  0xd8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D126(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm8
  addss  %xmm0,%xmm8
  movaps %xmm8,%xmm10
  movss  %xmm8,0x8(%rsp)
  mulss  0x8(%rbx),%xmm3
  movss  %xmm3,0x24(%rsp)
  movss  0xdc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D252(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm15
  addss  %xmm0,%xmm15
  movss  %xmm15,0xc(%rsp)
  movaps %xmm3,%xmm2
  mulss  0xc(%rbx),%xmm2
  movss  %xmm2,0x28(%rsp)
  movaps %xmm6,%xmm2
  mulss  %xmm6,%xmm2
  movaps %xmm13,%xmm3
  mulss  %xmm13,%xmm3
  movaps %xmm8,%xmm5
  movaps %xmm8,%xmm9
  mulss  %xmm8,%xmm5
  movaps %xmm5,%xmm8
  movss  %xmm5,0x68(%rsp)
  movaps %xmm15,%xmm14
  mulss  %xmm15,%xmm14
  movss  %xmm14,0x30(%rsp)
  mulss  D405(%rip),%xmm6
  movss  %xmm6,0x34(%rsp)
  movaps %xmm13,%xmm12
  mulss  D233(%rip),%xmm12
  movss  %xmm12,0x38(%rsp)
  movaps %xmm7,%xmm5
  mulss  D30(%rip),%xmm5
  movss  %xmm5,0x3c(%rsp)
  mulss  D375(%rip),%xmm9
  movss  %xmm9,0x40(%rsp)
  movaps %xmm10,%xmm0
  mulss  %xmm8,%xmm0
  mulss  D164(%rip),%xmm0
  movss  %xmm0,0x14(%rsp)
  movaps %xmm13,%xmm11
  mulss  D429(%rip),%xmm11
  movss  %xmm11,0x44(%rsp)
  mulss  %xmm10,%xmm11
  movss  %xmm11,0x48(%rsp)
  movaps %xmm7,%xmm0
  mulss  %xmm2,%xmm0
  movaps %xmm0,%xmm4
  mulss  D261(%rip),%xmm4
  movss  %xmm4,0x18(%rsp)
  movaps %xmm3,%xmm4
  mulss  D205(%rip),%xmm4
  movss  %xmm4,0x4c(%rsp)
  mulss  %xmm10,%xmm4
  movss  %xmm4,0x1c(%rsp)
  movaps %xmm7,%xmm0
  mulss  D86(%rip),%xmm0
  addss  D464(%rip),%xmm0
  movaps %xmm10,%xmm4
  mulss  D7(%rip),%xmm4
  addss  %xmm4,%xmm0
  mulss  %xmm13,%xmm6
  addss  %xmm6,%xmm0
  movaps %xmm12,%xmm4
  mulss  %xmm10,%xmm4
  addss  %xmm4,%xmm0
  mulss  %xmm15,%xmm5
  addss  %xmm5,%xmm0
  movaps %xmm9,%xmm4
  mulss  %xmm15,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm13,%xmm4
  mulss  D14(%rip),%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm15,%xmm4
  mulss  D271(%rip),%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm7,%xmm4
  mulss  D203(%rip),%xmm4
  mulss  %xmm14,%xmm4
  addss  %xmm4,%xmm0
  movss  0x14(%rsp),%xmm5
  mulss  %xmm15,%xmm5
  addss  %xmm5,%xmm0
  movaps %xmm7,%xmm4
  mulss  D331(%rip),%xmm4
  mulss  %xmm3,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm11,%xmm4
  mulss  %xmm15,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm10,%xmm4
  mulss  D397(%rip),%xmm4
  mulss  %xmm14,%xmm4
  addss  %xmm4,%xmm0
  movss  0x18(%rsp),%xmm5
  mulss  %xmm13,%xmm5
  addss  %xmm5,%xmm0
  movss  0x1c(%rsp),%xmm4
  mulss  %xmm15,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm13,%xmm5
  mulss  D74(%rip),%xmm5
  movss  %xmm5,0x50(%rsp)
  mulss  D323(%rip),%xmm7
  movss  %xmm7,0x54(%rsp)
  mulss  %xmm13,%xmm7
  movss  %xmm7,0x58(%rsp)
  mulss  D308(%rip),%xmm8
  movss  %xmm8,0x5c(%rsp)
  mulss  %xmm10,%xmm5
  movaps %xmm5,%xmm4
  mulss  %xmm14,%xmm4
  addss  %xmm4,%xmm0
  mulss  %xmm10,%xmm7
  addss  %xmm7,%xmm0
  mulss  %xmm15,%xmm8
  addss  %xmm8,%xmm0
  movaps %xmm2,%xmm5
  mulss  D41(%rip),%xmm5
  movss  %xmm5,0x60(%rsp)
  mulss  %xmm13,%xmm5
  movss  %xmm5,0x64(%rsp)
  movaps %xmm5,%xmm4
  mulss  %xmm10,%xmm4
  addss  %xmm0,%xmm4
  movd   %xmm4,%r14d
  pxor   %xmm4,%xmm4
  movaps %xmm1,%xmm0
  addss  %xmm4,%xmm0
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  addss  0x28(%rsp),%xmm0
  ucomiss %xmm4,%xmm0
  jp     L71
  movaps %xmm4,%xmm0
  jne    L71
L74:
  movss  %xmm0,(%rbx)
  mov    0xf8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L35
  movd   %r14d,%xmm0
  add    $0x108,%rsp
  pop    %rbx
  pop    %r14
  ret
L71:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x6c(%rsp)
  movss  0x10(%rsp),%xmm6
  movaps %xmm6,%xmm0
  mulss  D405(%rip),%xmm0
  subss  D8(%rip),%xmm0
  movss  0xc(%rsp),%xmm1
  mulss  D30(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x30(%rsp),%xmm5
  mulss  D203(%rip),%xmm5
  addss  %xmm5,%xmm0
  mulss  D331(%rip),%xmm3
  addss  %xmm3,%xmm0
  mulss  D196(%rip),%xmm2
  mulss  %xmm6,%xmm2
  addss  %xmm2,%xmm0
  movaps %xmm6,%xmm2
  mulss  D323(%rip),%xmm2
  movaps %xmm2,%xmm1
  movss  0x8(%rsp),%xmm5
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  movss  0x2c(%rsp),%xmm2
  mulss  D57(%rip),%xmm2
  movaps %xmm2,%xmm1
  mulss  %xmm6,%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x6c(%rsp)
  movss  0x20(%rsp),%xmm4
  mulss  %xmm4,%xmm4
  movss  %xmm4,0x20(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x34(%rsp),%xmm0
  movss  0x8(%rsp),%xmm5
  movaps %xmm5,%xmm2
  mulss  D233(%rip),%xmm2
  addss  %xmm2,%xmm0
  subss  D113(%rip),%xmm0
  movss  0x10(%rsp),%xmm6
  movaps %xmm6,%xmm2
  mulss  D457(%rip),%xmm2
  movaps %xmm2,%xmm1
  mulss  0x2c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm2
  mulss  D429(%rip),%xmm2
  movaps %xmm2,%xmm1
  movss  0xc(%rsp),%xmm3
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  addss  0x18(%rsp),%xmm0
  movaps %xmm6,%xmm1
  mulss  D33(%rip),%xmm1
  mulss  %xmm5,%xmm1
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm1
  mulss  D74(%rip),%xmm1
  mulss  0x30(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x54(%rsp),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  movss  0x60(%rsp),%xmm9
  mulss  %xmm5,%xmm9
  addss  %xmm9,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x20(%rsp),%xmm0
  addss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x18(%rsp)
  movss  0x24(%rsp),%xmm4
  mulss  %xmm4,%xmm4
  movss  %xmm4,0x20(%rsp)
  movss  0x38(%rsp),%xmm0
  addss  D7(%rip),%xmm0
  movss  0xc(%rsp),%xmm3
  movaps %xmm3,%xmm1
  mulss  D375(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x68(%rsp),%xmm9
  mulss  D407(%rip),%xmm9
  movaps %xmm9,%xmm1
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  movss  0x44(%rsp),%xmm11
  mulss  %xmm3,%xmm11
  addss  %xmm11,%xmm0
  movss  0x30(%rsp),%xmm7
  movaps %xmm7,%xmm2
  mulss  D397(%rip),%xmm2
  addss  %xmm2,%xmm0
  movss  0x4c(%rsp),%xmm9
  mulss  %xmm3,%xmm9
  addss  %xmm9,%xmm0
  movss  0x50(%rsp),%xmm11
  mulss  %xmm7,%xmm11
  addss  %xmm11,%xmm0
  addss  0x58(%rsp),%xmm0
  movss  0x8(%rsp),%xmm1
  mulss  D486(%rip),%xmm1
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  addss  0x64(%rsp),%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x20(%rsp),%xmm0
  movaps %xmm0,%xmm4
  addss  0x18(%rsp),%xmm4
  movss  %xmm4,0x18(%rsp)
  movss  0x28(%rsp),%xmm7
  mulss  %xmm7,%xmm7
  movss  %xmm7,0x20(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x3c(%rsp),%xmm0
  addss  0x40(%rsp),%xmm0
  addss  D271(%rip),%xmm0
  movss  0xc(%rsp),%xmm3
  movaps %xmm3,%xmm1
  mulss  D90(%rip),%xmm1
  mulss  0x2c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  addss  0x14(%rsp),%xmm0
  addss  0x48(%rsp),%xmm0
  movaps %xmm3,%xmm1
  mulss  D347(%rip),%xmm1
  movss  0x8(%rsp),%xmm5
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  addss  0x1c(%rsp),%xmm0
  mulss  D498(%rip),%xmm3
  movaps %xmm3,%xmm1
  mulss  0x10(%rsp),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  addss  0x5c(%rsp),%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x20(%rsp),%xmm0
  addss  0x18(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L74
L35:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D393
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D267
datatype: f32
name: extract_symbolic_data
arguments: data_tag: D254
datatype: f32
name: extract_symbolic_data
arguments: data_tag: D243
datatype: f32
name: extract_symbolic_data
arguments: data_tag: D126
datatype: f32
name: extract_symbolic_data
arguments: data_tag: D252
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D405
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D233
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D30
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D375
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D164
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D429
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D261
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D205
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D86
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D464
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D7
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D14
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D271
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D203
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D331
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D397
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D74
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D323
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D308
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D41
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D8
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D196
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D57
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D113
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D457
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D33
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D407
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D486
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D90
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D347
datatype: byte[4]
name: extract_symbolic_data
arguments: data_tag: D498
datatype: byte[4]

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

tool: D267: 15

tool: D254: 2

tool: D243: 1

tool: D126: 18

tool: {"D252": [0x79,0xe9,0x8f,0x41]}

tool: {"D405": [0x5a,0x2a,0x3b,0x3b]}

tool: {"D233": [0xdd,0xac,0xaa,0xbb]}

tool: {"D30": [0xd3,0xb7,0x9d,0xbb]}

tool: {"D375": [0x34,0xf5,0x0e,0x3c]}

tool: {"D164": [0x56,0x1e,0xc0,0xb8]}

tool: {"D429": [0x11,0x38,0x02,0xb9]}

tool: {"D261": [0x9c,0x88,0x1b,0xb8]}

tool: {"D205": [0x9a,0x1b,0x91,0xb8]}

tool: {"D86": [0xa4,0xd6,0x69,0xbd]}

tool: {"D464": [0x8c,0xca,0x97,0x3a]}

tool: {"D7": [0x89,0xe4,0x8c,0x3d]}

tool: {"D14": [0x70,0x85,0x25,0xb9]}

tool: {"D271": [0x9c,0x97,0x89,0x39]}

tool: {"D203": [0x0c,0xdd,0x72,0xb8]}

tool: {"D331": [0xd4,0xb9,0xf7,0x37]}

tool: {"D397": [0xdd,0x80,0x39,0x39]}

tool: {"D74": [0x81,0x4e,0xbe,0x38]}

tool: {"D323": [0x52,0xbb,0x0e,0x37]}

tool: {"D308": [0x5a,0x3e,0x7e,0xb7]}

tool: {"D41": [0xc4,0x8f,0xbe,0x38]}

tool: {"D8": [0xa4,0xd6,0x69,0x3d]}

tool: {"D196": [0xea,0x4c,0xe9,0xb8]}

tool: {"D57": [0xc4,0x8f,0x3e,0x39]}

tool: {"D113": [0x70,0x85,0x25,0x39]}

tool: {"D457": [0xd4,0xb9,0x77,0x38]}

tool: {"D33": [0x9a,0x1b,0x11,0xb9]}

tool: {"D407": [0xc0,0x16,0x90,0xb9]}

tool: {"D486": [0x5a,0x3e,0xfe,0xb7]}

tool: {"D90": [0x0c,0xdd,0xf2,0xb8]}

tool: {"D347": [0xdd,0x80,0xb9,0x39]}

tool: {"D498": [0x81,0x4e,0x3e,0x39]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.1158064E-02;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18013E+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.17989E+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.10983568E-07, -0.57089463E-01, 0.68795271E-01, 0.28559179E-02, -0.52085952E-02, -0.48131733E-02, 0.87254532E-02, -0.15785336E-03, 0.26243634E-03, -0.57903162E-04, -0.91609239E-04, 0.29531227E-04, -0.12418652E-03, 0.17690980E-03, -0.37082107E-04, -0.69192800E-04, 0.90745285E-04, 0.85074735E-05, -0.15154097E-04, 0.90866844E-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 x31 = x3;
  float x32 = x31 * x3;
  float x33 = x32 * x3;
  float x41 = x4;
  float x42 = x41 * x4;
  float v_target_phi = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x31 + coeff[3] * x11 * x21 + coeff[4] * x21 * x31 + coeff[5] * x11 * x41 + coeff[6] * x31 * x41 + coeff[7] * x21;
  v_target_phi = v_target_phi + coeff[8] * x41 + coeff[9] * x11 * x42 + coeff[10] * x33 * x41 + coeff[11] * x11 * x22 + coeff[12] * x21 * x31 * x41 + coeff[13] * x31 * x42 + coeff[14] * x13 * x21 + coeff[15] * x22 * x31 * x41 + coeff[16] * x21 * x31 * x42;
  v_target_phi = v_target_phi + coeff[17] * x11 * x21 * x31 + coeff[18] * x32 * x41 + coeff[19] * x12 * x21 * x31;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_phi = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + coeff[3] * x21 + coeff[5] * x41 + coeff[9] * x42 + coeff[11] * x22 + 3 * coeff[14] * x12 * x21 + coeff[17] * x21 * x31 + 2 * coeff[19] * x11 * x21 * x31, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[7] + 2 * coeff[11] * x21 * x11 + coeff[12] * x31 * x41 + coeff[14] * x13 + 2 * coeff[15] * x21 * x31 * x41 + coeff[16] * x31 * x42 + coeff[17] * x11 * x31 + coeff[19] * x12 * x31, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x21 + coeff[6] * x41 + 3 * coeff[10] * x32 * x41 + coeff[12] * x21 * x41 + coeff[13] * x42 + coeff[15] * x22 * x41 + coeff[16] * x21 * x42 + coeff[17] * x11 * x21 + 2 * coeff[18] * x31 * x41 + coeff[19] * x12 * x21, 2) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[8] + 2 * coeff[9] * x41 * x11 + coeff[10] * x33 + coeff[12] * x21 * x31 + 2 * coeff[13] * x41 * x31 + coeff[15] * x22 * x31 + 2 * coeff[16] * x41 * x21 * x31 + coeff[18] * x32, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```