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

```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  D249(%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  D216(%rip),%xmm0
  movss  %xmm0,0xa0(%rsp)
  movss  %xmm0,0xa4(%rsp)
  movl   $0x41900000,0xa8(%rsp)
  movl   $0x418fe76d,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    L49
  mov    %edx,%edx
  movss  D136(%rip),%xmm2
  jmp    L15
L6:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xd0(%rsp,%rax,4)
L53:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L49
L15:
  movss  0x70(%rsp,%rax,4),%xmm1
  movss  0xa0(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L6
  jne    L6
  jmp    L53
L49:
  movss  0xd0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D216(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D168(%rip),%xmm0
  addss  %xmm0,%xmm2
  movaps %xmm2,%xmm14
  movss  %xmm2,0x2c(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xd4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm7
  addss  %xmm0,%xmm7
  movaps %xmm7,%xmm9
  movss  %xmm7,0x10(%rsp)
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0x1c(%rsp)
  movss  0xd8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D243(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm11
  addss  %xmm0,%xmm11
  movaps %xmm11,%xmm12
  movss  %xmm11,0x28(%rsp)
  movaps %xmm3,%xmm5
  mulss  0x8(%rbx),%xmm5
  movss  %xmm5,0x20(%rsp)
  movss  0xdc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D417(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm10
  addss  %xmm0,%xmm10
  movaps %xmm3,%xmm6
  mulss  0xc(%rbx),%xmm6
  movss  %xmm6,0x24(%rsp)
  movaps %xmm14,%xmm2
  mulss  %xmm14,%xmm2
  movaps %xmm14,%xmm4
  mulss  %xmm2,%xmm4
  movaps %xmm7,%xmm5
  mulss  %xmm7,%xmm5
  movaps %xmm5,%xmm7
  movss  %xmm5,0x34(%rsp)
  movaps %xmm11,%xmm5
  mulss  %xmm11,%xmm5
  movss  %xmm5,0x68(%rsp)
  movaps %xmm10,%xmm6
  movss  %xmm10,0xc(%rsp)
  mulss  %xmm10,%xmm6
  movaps %xmm6,%xmm10
  movss  %xmm6,0x30(%rsp)
  movaps %xmm14,%xmm15
  mulss  D454(%rip),%xmm15
  movss  %xmm15,0x38(%rsp)
  movaps %xmm9,%xmm8
  mulss  D125(%rip),%xmm8
  movss  %xmm8,0x3c(%rsp)
  movaps %xmm14,%xmm13
  mulss  D226(%rip),%xmm13
  movss  %xmm13,0x40(%rsp)
  mulss  D482(%rip),%xmm11
  movss  %xmm11,0x44(%rsp)
  movaps %xmm12,%xmm0
  mulss  %xmm5,%xmm0
  mulss  D217(%rip),%xmm0
  movss  %xmm0,0x14(%rsp)
  movaps %xmm4,%xmm5
  mulss  D289(%rip),%xmm5
  movss  %xmm5,0x18(%rsp)
  movaps %xmm7,%xmm6
  mulss  D193(%rip),%xmm6
  movss  %xmm6,0x48(%rsp)
  mulss  %xmm12,%xmm6
  movss  %xmm6,0x4c(%rsp)
  movaps %xmm9,%xmm5
  mulss  D36(%rip),%xmm5
  movss  %xmm5,0x50(%rsp)
  movaps %xmm14,%xmm0
  mulss  D402(%rip),%xmm0
  addss  D199(%rip),%xmm0
  movaps %xmm12,%xmm3
  mulss  D350(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm15,%xmm3
  mulss  %xmm9,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm8,%xmm3
  mulss  %xmm12,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm13,%xmm3
  movss  0xc(%rsp),%xmm13
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm11,%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm13,%xmm3
  mulss  D25(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm9,%xmm3
  mulss  D431(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm14,%xmm3
  mulss  D275(%rip),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  movss  0x14(%rsp),%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  mulss  D346(%rip),%xmm14
  movaps %xmm14,%xmm3
  mulss  %xmm7,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm12,%xmm3
  mulss  D227(%rip),%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  movss  0x18(%rsp),%xmm3
  mulss  %xmm9,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm13,%xmm6
  addss  %xmm6,%xmm0
  mulss  %xmm12,%xmm5
  movaps %xmm5,%xmm3
  mulss  %xmm10,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm7,%xmm10
  mulss  D405(%rip),%xmm10
  movss  %xmm10,0x54(%rsp)
  movaps %xmm2,%xmm6
  mulss  D269(%rip),%xmm6
  movss  %xmm6,0x58(%rsp)
  mulss  %xmm9,%xmm6
  movss  %xmm6,0x5c(%rsp)
  movaps %xmm9,%xmm3
  mulss  %xmm7,%xmm3
  movaps %xmm3,%xmm5
  mulss  D1(%rip),%xmm5
  movss  %xmm5,0x60(%rsp)
  movaps %xmm10,%xmm3
  mulss  %xmm12,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm12,%xmm6
  addss  %xmm6,%xmm0
  mulss  %xmm12,%xmm5
  addss  %xmm5,%xmm0
  mulss  D113(%rip),%xmm4
  movss  %xmm4,0x64(%rsp)
  movaps %xmm4,%xmm3
  mulss  %xmm13,%xmm3
  movaps %xmm3,%xmm7
  addss  %xmm0,%xmm7
  movd   %xmm7,%r14d
  pxor   %xmm3,%xmm3
  movaps %xmm1,%xmm0
  addss  %xmm3,%xmm0
  addss  0x1c(%rsp),%xmm0
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  ucomiss %xmm3,%xmm0
  jp     L43
  movaps %xmm3,%xmm0
  jne    L43
L50:
  movss  %xmm0,(%rbx)
  mov    0xf8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L13
  movd   %r14d,%xmm0
  add    $0x108,%rsp
  pop    %rbx
  pop    %r14
  ret
L43:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x6c(%rsp)
  movss  0x10(%rsp),%xmm7
  movaps %xmm7,%xmm0
  mulss  D454(%rip),%xmm0
  subss  D439(%rip),%xmm0
  movss  0xc(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D226(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x30(%rsp),%xmm1
  mulss  D275(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x34(%rsp),%xmm5
  mulss  D346(%rip),%xmm5
  addss  %xmm5,%xmm0
  movaps %xmm2,%xmm3
  mulss  D104(%rip),%xmm3
  movaps %xmm3,%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movss  0x2c(%rsp),%xmm1
  mulss  D403(%rip),%xmm1
  mulss  %xmm7,%xmm1
  mulss  0x28(%rsp),%xmm1
  addss  %xmm1,%xmm0
  mulss  D244(%rip),%xmm2
  mulss  %xmm4,%xmm2
  addss  %xmm2,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x6c(%rsp)
  movss  0x1c(%rsp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,0x1c(%rsp)
  pxor   %xmm15,%xmm15
  addss  0x38(%rsp),%xmm15
  movaps %xmm15,%xmm0
  movss  0x28(%rsp),%xmm5
  movaps %xmm5,%xmm1
  mulss  D125(%rip),%xmm1
  addss  %xmm1,%xmm0
  subss  D449(%rip),%xmm0
  movss  0x10(%rsp),%xmm7
  movaps %xmm7,%xmm1
  mulss  D234(%rip),%xmm1
  mulss  0x2c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  addss  0x18(%rsp),%xmm0
  movaps %xmm7,%xmm1
  mulss  D38(%rip),%xmm1
  mulss  %xmm5,%xmm1
  mulss  0xc(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm1
  mulss  D36(%rip),%xmm1
  mulss  0x30(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm7,%xmm1
  mulss  D418(%rip),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  movss  0x58(%rsp),%xmm15
  mulss  %xmm5,%xmm15
  addss  %xmm15,%xmm0
  movss  0x34(%rsp),%xmm2
  mulss  D174(%rip),%xmm2
  movaps %xmm2,%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x1c(%rsp),%xmm0
  addss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x18(%rsp)
  movss  0x20(%rsp),%xmm2
  mulss  %xmm2,%xmm2
  movss  %xmm2,0x1c(%rsp)
  movss  0x3c(%rsp),%xmm0
  addss  D350(%rip),%xmm0
  movss  0xc(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D482(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x68(%rsp),%xmm15
  mulss  D21(%rip),%xmm15
  movaps %xmm15,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x30(%rsp),%xmm6
  movaps %xmm6,%xmm2
  mulss  D227(%rip),%xmm2
  addss  %xmm2,%xmm0
  movss  0x48(%rsp),%xmm15
  mulss  %xmm4,%xmm15
  addss  %xmm15,%xmm0
  movss  0x50(%rsp),%xmm15
  mulss  %xmm6,%xmm15
  addss  %xmm15,%xmm0
  addss  0x54(%rsp),%xmm0
  addss  0x5c(%rsp),%xmm0
  addss  0x60(%rsp),%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x1c(%rsp),%xmm0
  movaps %xmm0,%xmm2
  addss  0x18(%rsp),%xmm2
  movss  %xmm2,0x18(%rsp)
  movss  0x24(%rsp),%xmm6
  mulss  %xmm6,%xmm6
  movss  %xmm6,0x1c(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x40(%rsp),%xmm0
  addss  0x44(%rsp),%xmm0
  addss  D25(%rip),%xmm0
  movss  0xc(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D13(%rip),%xmm1
  mulss  0x2c(%rsp),%xmm1
  addss  %xmm1,%xmm0
  addss  0x14(%rsp),%xmm0
  movaps %xmm4,%xmm1
  mulss  D233(%rip),%xmm1
  movss  0x28(%rsp),%xmm5
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  addss  0x4c(%rsp),%xmm0
  mulss  D205(%rip),%xmm4
  movaps %xmm4,%xmm1
  mulss  0x10(%rsp),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  addss  0x64(%rsp),%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x1c(%rsp),%xmm0
  addss  0x18(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L50
L13:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: disassemble_data
arguments: data_tag: D249
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D216
datatype: f32
name: disassemble_data
arguments: data_tag: D136
datatype: f32
name: disassemble_data
arguments: data_tag: D168
datatype: f32
name: disassemble_data
arguments: data_tag: D243
datatype: f32
name: disassemble_data
arguments: data_tag: D417
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D454
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D125
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D226
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D482
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D217
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D289
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D193
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D36
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D402
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D199
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D350
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D25
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D431
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D275
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D346
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D227
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D405
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D269
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D1
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D113
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D439
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D104
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D403
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D244
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D449
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D234
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D38
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D418
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D174
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D21
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D13
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D233
datatype: byte[4]
name: disassemble_data
arguments: data_tag: D205
datatype: byte[4]

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

tool: D216: 15

tool: D136: 2

tool: D168: 1

tool: D243: 18

tool: {"D417": [0x6d,0xe7,0x8f,0x41]}

tool: {"D454": [0x9e,0x3d,0x3e,0x3b]}

tool: {"D125": [0xaa,0xf3,0xab,0xbb]}

tool: {"D226": [0x1b,0x8e,0x9f,0xbb]}

tool: {"D482": [0x7d,0xad,0x0f,0x3c]}

tool: {"D217": [0x72,0x6e,0x0e,0xb9]}

tool: {"D289": [0x05,0x96,0x01,0xb9]}

tool: {"D193": [0x7b,0x7f,0xf5,0xb9]}

tool: {"D36": [0x35,0xb2,0xaa,0x39]}

tool: {"D402": [0x15,0xad,0x69,0xbd]}

tool: {"D199": [0xdc,0x37,0x9e,0x36]}

tool: {"D350": [0x76,0xc6,0x8c,0x3d]}

tool: {"D25": [0x77,0x78,0x4d,0x38]}

tool: {"D431": [0xa2,0x02,0xf8,0xb7]}

tool: {"D275": [0xec,0x19,0x5c,0xb8]}

tool: {"D346": [0x8e,0x59,0xd9,0x37]}

tool: {"D227": [0x85,0x97,0xc7,0x38]}

tool: {"D405": [0xbe,0xbb,0x45,0xb8]}

tool: {"D269": [0xfe,0x9d,0x2d,0x39]}

tool: {"D1": [0xc0,0x22,0x32,0x39]}

tool: {"D113": [0x62,0x4e,0x66,0x38]}

tool: {"D439": [0x15,0xad,0x69,0x3d]}

tool: {"D104": [0x08,0x61,0xc2,0xb9]}

tool: {"D403": [0xfe,0x9d,0xad,0x39]}

tool: {"D244": [0xca,0xba,0x2c,0x39]}

tool: {"D449": [0xa2,0x02,0xf8,0x37]}

tool: {"D234": [0x8e,0x59,0x59,0x38]}

tool: {"D38": [0x7b,0x7f,0x75,0xba]}

tool: {"D418": [0xbe,0xbb,0xc5,0xb8]}

tool: {"D174": [0x10,0x9a,0x05,0x3a]}

tool: {"D21": [0xab,0xa5,0xd5,0xb9]}

tool: {"D13": [0xec,0x19,0xdc,0xb8]}

tool: {"D233": [0x85,0x97,0x47,0x39]}

tool: {"D205": [0x35,0xb2,0x2a,0x3a]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.4717777E-05;
  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.17988E+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.25069742E-08, -0.57049830E-01, 0.68737909E-01, 0.29028426E-02, -0.52475529E-02, -0.48692352E-02, 0.87693902E-02, 0.48988000E-04, -0.29565130E-04, -0.52476229E-04, -0.13583319E-03, 0.25910118E-04, 0.95172822E-04, -0.12358285E-03, -0.46825022E-03, 0.32557701E-03, -0.47143309E-04, 0.16557422E-03, 0.16988348E-03, 0.54909273E-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 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] * x41;
  v_target_phi = v_target_phi + coeff[8] * x21 + coeff[9] * x11 * x42 + coeff[10] * x33 * x41 + coeff[11] * x11 * x22 + coeff[12] * x31 * x42 + coeff[13] * x13 * x21 + coeff[14] * x22 * x31 * x41 + coeff[15] * x21 * x31 * x42 + coeff[16] * x22 * x31;
  v_target_phi = v_target_phi + coeff[17] * x12 * x21 * x31 + coeff[18] * x23 * x31 + coeff[19] * x13 * x41;
  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[13] * x12 * x21 + 2 * coeff[17] * x11 * x21 * x31 + 3 * coeff[19] * x12 * x41, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[8] + 2 * coeff[11] * x21 * x11 + coeff[13] * x13 + 2 * coeff[14] * x21 * x31 * x41 + coeff[15] * x31 * x42 + 2 * coeff[16] * x21 * x31 + coeff[17] * x12 * x31 + 3 * coeff[18] * x22 * x31, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x21 + coeff[6] * x41 + 3 * coeff[10] * x32 * x41 + coeff[12] * x42 + coeff[14] * x22 * x41 + coeff[15] * x21 * x42 + coeff[16] * x22 + coeff[17] * x12 * x21 + coeff[18] * x23, 2) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[7] + 2 * coeff[9] * x41 * x11 + coeff[10] * x33 + 2 * coeff[12] * x41 * x31 + coeff[14] * x22 * x31 + 2 * coeff[15] * x41 * x21 * x31 + coeff[19] * x13, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```