user: 请将以下的汇编代码转换成C语言代码：

```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  D383(%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  D239(%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    L5
  mov    %edx,%edx
  movss  D274(%rip),%xmm2
  jmp    L53
L81:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xd0(%rsp,%rax,4)
L76:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L5
L53:
  movss  0x70(%rsp,%rax,4),%xmm1
  movss  0xa0(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L81
  jne    L81
  jmp    L76
L5:
  movss  0xd0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D239(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D96(%rip),%xmm0
  movaps %xmm2,%xmm7
  addss  %xmm0,%xmm7
  movaps %xmm7,%xmm5
  movss  %xmm7,0x14(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xd4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm9
  addss  %xmm0,%xmm9
  movaps %xmm9,%xmm10
  movss  %xmm9,0xc(%rsp)
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0x2c(%rsp)
  movss  0xd8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D152(%rip),%xmm2
  mulss  %xmm3,%xmm2
  addss  %xmm0,%xmm2
  movaps %xmm2,%xmm13
  movss  %xmm2,0x10(%rsp)
  movaps %xmm3,%xmm2
  mulss  0x8(%rbx),%xmm2
  movss  %xmm2,0x30(%rsp)
  movss  0xdc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D492(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm15
  addss  %xmm0,%xmm15
  movaps %xmm3,%xmm4
  mulss  0xc(%rbx),%xmm4
  movss  %xmm4,0x34(%rsp)
  movaps %xmm9,%xmm2
  mulss  %xmm9,%xmm2
  movaps %xmm13,%xmm6
  movaps %xmm13,%xmm3
  mulss  %xmm13,%xmm6
  movaps %xmm6,%xmm11
  movss  %xmm6,0x18(%rsp)
  movaps %xmm15,%xmm6
  mulss  %xmm15,%xmm6
  movss  %xmm6,0x38(%rsp)
  movss  %xmm15,0x8(%rsp)
  movaps %xmm15,%xmm14
  movaps %xmm6,%xmm15
  mulss  %xmm6,%xmm14
  movss  %xmm14,0x68(%rsp)
  movaps %xmm7,%xmm4
  mulss  D36(%rip),%xmm4
  movss  %xmm4,0x3c(%rsp)
  mulss  D484(%rip),%xmm9
  movss  %xmm9,0x40(%rsp)
  mulss  D115(%rip),%xmm7
  movss  %xmm7,0x44(%rsp)
  movaps %xmm13,%xmm12
  mulss  D418(%rip),%xmm12
  movss  %xmm12,0x48(%rsp)
  movaps %xmm10,%xmm8
  mulss  D382(%rip),%xmm8
  movss  %xmm8,0x4c(%rsp)
  mulss  %xmm13,%xmm8
  movss  %xmm8,0x50(%rsp)
  movaps %xmm5,%xmm0
  mulss  %xmm5,%xmm0
  mulss  D465(%rip),%xmm0
  movaps %xmm0,%xmm6
  movss  %xmm0,0x54(%rsp)
  mulss  %xmm10,%xmm6
  movss  %xmm6,0x1c(%rsp)
  movaps %xmm5,%xmm6
  mulss  D248(%rip),%xmm6
  movss  %xmm6,0x58(%rsp)
  movaps %xmm5,%xmm0
  mulss  D373(%rip),%xmm0
  mulss  %xmm2,%xmm0
  movss  %xmm0,0x20(%rsp)
  movaps %xmm5,%xmm0
  mulss  D315(%rip),%xmm0
  mulss  %xmm11,%xmm0
  movss  %xmm0,0x24(%rsp)
  movaps %xmm13,%xmm0
  mulss  %xmm11,%xmm0
  mulss  D11(%rip),%xmm0
  movss  %xmm0,0x28(%rsp)
  movaps %xmm5,%xmm0
  mulss  D296(%rip),%xmm0
  addss  D180(%rip),%xmm0
  mulss  D428(%rip),%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm10,%xmm4
  addss  %xmm4,%xmm0
  movaps %xmm9,%xmm3
  movaps %xmm13,%xmm4
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movss  0x8(%rsp),%xmm13
  mulss  %xmm13,%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm12,%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm10,%xmm3
  mulss  D348(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm13,%xmm3
  mulss  D419(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm8,%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm4,%xmm3
  mulss  D485(%rip),%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  movss  0x1c(%rsp),%xmm3
  mulss  %xmm4,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm10,%xmm6
  movaps %xmm6,%xmm3
  mulss  %xmm11,%xmm3
  addss  %xmm3,%xmm0
  movss  0x20(%rsp),%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movss  0x24(%rsp),%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movss  0x28(%rsp),%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm5,%xmm3
  mulss  D429(%rip),%xmm3
  movss  %xmm3,0x5c(%rsp)
  mulss  %xmm10,%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  mulss  D413(%rip),%xmm4
  movaps %xmm4,%xmm3
  mulss  %xmm14,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm10,%xmm3
  mulss  D361(%rip),%xmm3
  mulss  %xmm11,%xmm3
  addss  %xmm3,%xmm0
  mulss  D347(%rip),%xmm5
  movss  %xmm5,0x60(%rsp)
  mulss  %xmm10,%xmm5
  movss  %xmm5,0x64(%rsp)
  movaps %xmm5,%xmm3
  mulss  %xmm13,%xmm3
  movaps %xmm3,%xmm7
  addss  %xmm0,%xmm7
  movd   %xmm7,%r14d
  pxor   %xmm3,%xmm3
  movaps %xmm1,%xmm0
  addss  %xmm3,%xmm0
  addss  0x2c(%rsp),%xmm0
  addss  0x30(%rsp),%xmm0
  addss  0x34(%rsp),%xmm0
  ucomiss %xmm3,%xmm0
  jp     L26
  movaps %xmm3,%xmm0
  jne    L26
L87:
  movss  %xmm0,(%rbx)
  mov    0xf8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L32
  movd   %r14d,%xmm0
  add    $0x108,%rsp
  pop    %rbx
  pop    %r14
  ret
L26:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x6c(%rsp)
  movss  0xc(%rsp),%xmm5
  movaps %xmm5,%xmm0
  mulss  D36(%rip),%xmm0
  subss  D30(%rip),%xmm0
  movss  0x8(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D115(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x14(%rsp),%xmm1
  mulss  D73(%rip),%xmm1
  mulss  %xmm5,%xmm1
  mulss  0x10(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm1
  mulss  D248(%rip),%xmm1
  movss  0x18(%rsp),%xmm7
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  mulss  D373(%rip),%xmm2
  mulss  %xmm4,%xmm2
  addss  %xmm2,%xmm0
  movaps %xmm7,%xmm1
  mulss  D315(%rip),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm1
  mulss  D429(%rip),%xmm1
  mulss  0x38(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm1
  mulss  D347(%rip),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x6c(%rsp)
  movss  0x2c(%rsp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,0x2c(%rsp)
  pxor   %xmm9,%xmm9
  addss  0x3c(%rsp),%xmm9
  movaps %xmm9,%xmm0
  movss  0x10(%rsp),%xmm6
  movaps %xmm6,%xmm2
  mulss  D484(%rip),%xmm2
  addss  %xmm2,%xmm0
  subss  D338(%rip),%xmm0
  movaps %xmm6,%xmm2
  mulss  D382(%rip),%xmm2
  movaps %xmm2,%xmm1
  movss  0x8(%rsp),%xmm4
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x54(%rsp),%xmm9
  mulss  %xmm6,%xmm9
  addss  %xmm9,%xmm0
  movss  0x58(%rsp),%xmm9
  movss  0x18(%rsp),%xmm2
  mulss  %xmm2,%xmm9
  addss  %xmm9,%xmm0
  movss  0xc(%rsp),%xmm1
  mulss  D275(%rip),%xmm1
  mulss  0x14(%rsp),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x5c(%rsp),%xmm7
  mulss  0x38(%rsp),%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm2,%xmm7
  mulss  D361(%rip),%xmm7
  addss  %xmm7,%xmm0
  movss  0x60(%rsp),%xmm9
  mulss  %xmm4,%xmm9
  addss  %xmm9,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x2c(%rsp),%xmm0
  addss  0x6c(%rsp),%xmm0
  movss  %xmm0,0x2c(%rsp)
  movss  0x30(%rsp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,0x30(%rsp)
  movss  0x40(%rsp),%xmm13
  addss  D428(%rip),%xmm13
  movaps %xmm13,%xmm0
  movss  0x8(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D418(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x4c(%rsp),%xmm8
  mulss  %xmm4,%xmm8
  addss  %xmm8,%xmm0
  movss  0x38(%rsp),%xmm14
  mulss  D485(%rip),%xmm14
  addss  %xmm14,%xmm0
  addss  0x1c(%rsp),%xmm0
  movss  0x10(%rsp),%xmm6
  movaps %xmm6,%xmm2
  mulss  D344(%rip),%xmm2
  movaps %xmm2,%xmm1
  movss  0x14(%rsp),%xmm3
  mulss  %xmm3,%xmm1
  movss  0xc(%rsp),%xmm5
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm6,%xmm1
  mulss  D206(%rip),%xmm1
  mulss  %xmm3,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x18(%rsp),%xmm1
  mulss  D431(%rip),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x68(%rsp),%xmm7
  mulss  D413(%rip),%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm6,%xmm1
  mulss  D212(%rip),%xmm1
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x30(%rsp),%xmm0
  movaps %xmm0,%xmm7
  addss  0x2c(%rsp),%xmm7
  movss  %xmm7,0x18(%rsp)
  movss  0x34(%rsp),%xmm2
  mulss  %xmm2,%xmm2
  movss  %xmm2,0x1c(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x44(%rsp),%xmm0
  addss  0x48(%rsp),%xmm0
  addss  D419(%rip),%xmm0
  addss  0x50(%rsp),%xmm0
  movss  0x8(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D53(%rip),%xmm1
  movss  0x10(%rsp),%xmm6
  mulss  %xmm6,%xmm1
  addss  %xmm1,%xmm0
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  addss  0x28(%rsp),%xmm0
  mulss  D188(%rip),%xmm4
  movaps %xmm4,%xmm1
  mulss  0x14(%rsp),%xmm1
  mulss  0xc(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x38(%rsp),%xmm1
  mulss  D399(%rip),%xmm1
  mulss  %xmm6,%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    L87
L32:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D383
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D239
data_type: f32
name: extract_symbolic_data
arguments: data_label: D274
data_type: f32
name: extract_symbolic_data
arguments: data_label: D96
data_type: f32
name: extract_symbolic_data
arguments: data_label: D152
data_type: f32
name: extract_symbolic_data
arguments: data_label: D492
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D36
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D484
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D115
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D418
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D382
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D465
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D248
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D373
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D315
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D11
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D296
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D180
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D428
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D348
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D419
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D485
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D429
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D413
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D361
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D347
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D30
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D73
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D338
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D275
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D344
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D206
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D431
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D212
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D53
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D188
data_type: byte[4]
name: extract_symbolic_data
arguments: data_label: D399
data_type: byte[4]

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

tool: D239: 15

tool: D274: 2

tool: D96: 1

tool: D152: 18

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

tool: {"D36": [0x53,0x57,0x3c,0x3b]}

tool: {"D484": [0x75,0xf3,0xaa,0xbb]}

tool: {"D115": [0x0f,0x87,0x9d,0xbb]}

tool: {"D418": [0xf8,0x9a,0x0e,0x3c]}

tool: {"D382": [0xd4,0x9e,0xd9,0xb7]}

tool: {"D465": [0xb9,0x82,0xf9,0xb8]}

tool: {"D248": [0xc8,0x4b,0x31,0x39]}

tool: {"D373": [0x3e,0x3b,0x1d,0xb7]}

tool: {"D315": [0xfc,0x4d,0x59,0x39]}

tool: {"D11": [0xb3,0xcf,0x9b,0xb9]}

tool: {"D296": [0x81,0xb5,0x69,0xbd]}

tool: {"D180": [0xc4,0xb6,0x97,0x3a]}

tool: {"D428": [0xff,0xd0,0x8c,0x3d]}

tool: {"D348": [0xb4,0xfe,0x20,0xb9]}

tool: {"D419": [0x06,0xfd,0x86,0x39]}

tool: {"D485": [0x70,0x21,0x8b,0x38]}

tool: {"D429": [0x2f,0xec,0x19,0xb8]}

tool: {"D413": [0x34,0xe2,0xa4,0x38]}

tool: {"D361": [0x63,0x7e,0x44,0xb6]}

tool: {"D347": [0xac,0x3a,0x94,0xb7]}

tool: {"D30": [0x81,0xb5,0x69,0x3d]}

tool: {"D73": [0xb9,0x82,0x79,0xb9]}

tool: {"D338": [0xb4,0xfe,0x20,0x39]}

tool: {"D275": [0x3e,0x3b,0x9d,0xb7]}

tool: {"D344": [0xc8,0x4b,0xb1,0x39]}

tool: {"D206": [0xfc,0x4d,0xd9,0x39]}

tool: {"D431": [0x8c,0xb7,0x69,0xba]}

tool: {"D212": [0x63,0x7e,0xc4,0xb6]}

tool: {"D53": [0x70,0x21,0x0b,0x39]}

tool: {"D188": [0x2f,0xec,0x99,0xb8]}

tool: {"D399": [0x4e,0x53,0x77,0x39]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.1157476E-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.94611536E-08, -0.57057861E-01, 0.68758003E-01, 0.28738573E-02, -0.52170106E-02, -0.48073600E-02, 0.87039396E-02, -0.15353673E-03, 0.25746989E-03, -0.25942376E-04, 0.66342647E-04, -0.11897594E-03, 0.16908266E-03, -0.93717226E-05, 0.20723784E-03, -0.29718652E-03, -0.36698006E-04, 0.78622630E-04, -0.29279843E-05, -0.17670296E-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 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 x43 = x42 * 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] * x21 * x31 * x41 + coeff[10] * x31 * x42 + coeff[11] * x12 * x21 * x31 + coeff[12] * x11 * x21 * x32 + coeff[13] * x11 * x22 * x41 + coeff[14] * x11 * x32 * x41 + coeff[15] * x33 * x41 + coeff[16] * x11 * x21 * x42;
  v_target_phi = v_target_phi + coeff[17] * x31 * x43 + coeff[18] * x21 * x32 + coeff[19] * x11 * x21 * 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 + 2 * coeff[11] * x11 * x21 * x31 + coeff[12] * x21 * x32 + coeff[13] * x22 * x41 + coeff[14] * x32 * x41 + coeff[16] * x21 * x42 + coeff[19] * x21 * x41, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[7] + coeff[9] * x31 * x41 + coeff[11] * x12 * x31 + coeff[12] * x11 * x32 + 2 * coeff[13] * x21 * x11 * x41 + coeff[16] * x11 * x42 + coeff[18] * x32 + coeff[19] * x11 * x41, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x21 + coeff[6] * x41 + coeff[9] * x21 * x41 + coeff[10] * x42 + coeff[11] * x12 * x21 + 2 * coeff[12] * x31 * x11 * x21 + 2 * coeff[14] * x31 * x11 * x41 + 3 * coeff[15] * x32 * x41 + coeff[17] * x43 + 2 * coeff[18] * x31 * x21, 2) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[8] + coeff[9] * x21 * x31 + 2 * coeff[10] * x41 * x31 + coeff[13] * x11 * x22 + coeff[14] * x11 * x32 + coeff[15] * x33 + 2 * coeff[16] * x41 * x11 * x21 + 3 * coeff[17] * x42 * x31 + coeff[19] * x11 * x21, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```