user: 请将这段汇编代码片段转换成等效的C代码：

```asm
<target_phi>:
  endbr64
  push   %rbx
  pxor   %xmm0,%xmm0
  mov    %rsi,%rbx
  sub    $0xf0,%rsp
  movss  D190(%rip),%xmm1
  movss  D291(%rip),%xmm3
  mov    %fs:0x28,%rax
  mov    %rax,0xe8(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0xc0(%rsp)
  movabs $0xc1900c4ac1900831,%rax
  mov    %rax,0x68(%rsp)
  movabs $0x4190020c41900625,%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  %xmm3,0x94(%rsp)
  movaps %xmm0,0xd0(%rsp)
  test   %edx,%edx
  jle    L78
  sub    $0x1,%edx
  movss  D293(%rip),%xmm2
  xor    %eax,%eax
  movaps %xmm3,%xmm0
  shl    $0x2,%rdx
  lea    0x64(%rsp),%rsi
  lea    0x94(%rsp),%rcx
  jmp    L45
  nop
L39:
  movss  (%rsi,%rax,1),%xmm1
  movss  (%rcx,%rax,1),%xmm0
  add    $0x4,%rax
L45:
  ucomiss %xmm0,%xmm1
  jp     L4
  je     L54
L4:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xc0(%rsp,%rax,1)
L54:
  cmp    %rdx,%rax
  jne    L39
  movss  0xc0(%rsp),%xmm8
  pxor   %xmm0,%xmm0
  movss  0xc4(%rsp),%xmm6
  movss  0xc8(%rsp),%xmm1
  movss  0xcc(%rsp),%xmm5
L99:
  movss  (%rdi),%xmm4
  movss  0x4(%rdi),%xmm2
  movss  D494(%rip),%xmm7
  movss  D273(%rip),%xmm12
  subss  %xmm3,%xmm4
  subss  %xmm3,%xmm2
  movss  0x8(%rdi),%xmm3
  movss  D260(%rip),%xmm15
  subss  D322(%rip),%xmm3
  mulss  %xmm8,%xmm4
  mulss  %xmm1,%xmm3
  mulss  0x8(%rbx),%xmm1
  mulss  %xmm6,%xmm2
  mulss  (%rbx),%xmm8
  addss  %xmm7,%xmm4
  mulss  0x4(%rbx),%xmm6
  addss  %xmm7,%xmm3
  movss  %xmm1,0x20(%rsp)
  movss  0xc(%rdi),%xmm1
  subss  D38(%rip),%xmm1
  mulss  %xmm4,%xmm12
  movaps %xmm4,%xmm14
  addss  %xmm7,%xmm2
  mulss  %xmm4,%xmm14
  mulss  %xmm5,%xmm1
  mulss  0xc(%rbx),%xmm5
  movaps %xmm2,%xmm9
  movaps %xmm2,%xmm10
  mulss  %xmm2,%xmm9
  movss  %xmm12,0x4(%rsp)
  mulss  %xmm4,%xmm15
  movss  D178(%rip),%xmm12
  mulss  %xmm2,%xmm12
  addss  %xmm7,%xmm1
  movaps %xmm3,%xmm7
  mulss  %xmm3,%xmm7
  movaps %xmm5,%xmm13
  movaps %xmm4,%xmm5
  mulss  %xmm14,%xmm5
  movss  %xmm15,0x24(%rsp)
  mulss  %xmm3,%xmm15
  movaps %xmm1,%xmm11
  mulss  %xmm1,%xmm11
  movss  %xmm12,0x8(%rsp)
  mulss  %xmm9,%xmm10
  movss  D493(%rip),%xmm12
  mulss  %xmm5,%xmm12
  mulss  D143(%rip),%xmm5
  movss  %xmm12,0xc(%rsp)
  movss  D199(%rip),%xmm12
  movss  %xmm5,0x10(%rsp)
  movss  D238(%rip),%xmm5
  mulss  %xmm2,%xmm12
  mulss  %xmm9,%xmm5
  mulss  %xmm7,%xmm5
  movss  %xmm5,0x14(%rsp)
  movss  D255(%rip),%xmm5
  mulss  %xmm4,%xmm5
  movss  %xmm5,0x18(%rsp)
  movss  D346(%rip),%xmm5
  mulss  %xmm4,%xmm5
  subss  D139(%rip),%xmm5
  addss  %xmm5,%xmm12
  movss  D198(%rip),%xmm5
  mulss  %xmm3,%xmm5
  addss  %xmm12,%xmm5
  movss  D496(%rip),%xmm12
  mulss  %xmm1,%xmm12
  addss  %xmm5,%xmm12
  movss  D371(%rip),%xmm5
  mulss  %xmm14,%xmm5
  addss  %xmm12,%xmm5
  movaps %xmm15,%xmm12
  addss  %xmm5,%xmm12
  movss  0x4(%rsp),%xmm5
  movss  D429(%rip),%xmm15
  mulss  %xmm1,%xmm5
  mulss  %xmm11,%xmm15
  addss  %xmm12,%xmm5
  movss  0x8(%rsp),%xmm12
  mulss  %xmm1,%xmm12
  addss  %xmm5,%xmm12
  movaps %xmm15,%xmm5
  movss  D86(%rip),%xmm15
  mulss  %xmm4,%xmm15
  addss  %xmm12,%xmm5
  movss  0xc(%rsp),%xmm12
  mulss  %xmm2,%xmm12
  addss  %xmm5,%xmm12
  movaps %xmm15,%xmm5
  movss  D499(%rip),%xmm15
  mulss  %xmm10,%xmm5
  mulss  %xmm3,%xmm15
  addss  %xmm12,%xmm5
  movss  0x10(%rsp),%xmm12
  movss  %xmm15,0x1c(%rsp)
  mulss  %xmm1,%xmm12
  addss  %xmm12,%xmm5
  movss  0x14(%rsp),%xmm12
  mulss  %xmm1,%xmm12
  addss  %xmm5,%xmm12
  movss  D237(%rip),%xmm5
  mulss  %xmm2,%xmm5
  mulss  %xmm7,%xmm5
  mulss  %xmm11,%xmm5
  addss  %xmm12,%xmm5
  movss  0x18(%rsp),%xmm12
  mulss  %xmm2,%xmm12
  addss  %xmm12,%xmm5
  movss  D21(%rip),%xmm12
  mulss  %xmm2,%xmm12
  movaps %xmm12,%xmm15
  mulss  %xmm3,%xmm15
  addss  %xmm15,%xmm5
  movss  D11(%rip),%xmm15
  mulss  %xmm7,%xmm15
  addss  %xmm15,%xmm5
  movss  0x1c(%rsp),%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm5,%xmm15
  movss  D355(%rip),%xmm5
  mulss  %xmm10,%xmm5
  mulss  %xmm7,%xmm5
  addss  %xmm15,%xmm5
  movaps %xmm8,%xmm15
  addss  %xmm0,%xmm15
  addss  %xmm6,%xmm15
  addss  0x20(%rsp),%xmm15
  addss  %xmm13,%xmm15
  ucomiss %xmm0,%xmm15
  jp     L34
  jne    L34
L94:
  movss  %xmm0,(%rbx)
  mov    0xe8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L10
  add    $0xf0,%rsp
  movaps %xmm5,%xmm0
  pop    %rbx
  ret
  nopw   0x0(%rax,%rax,1)
L34:
  movss  %xmm6,0x2c(%rsp)
  movss  D260(%rip),%xmm6
  mulss  %xmm8,%xmm8
  movaps %xmm4,%xmm0
  mulss  D32(%rip),%xmm0
  mov    $0x2,%edi
  movss  %xmm5,0x5c(%rsp)
  mulss  %xmm3,%xmm6
  subss  D487(%rip),%xmm0
  movss  %xmm13,0x50(%rsp)
  movss  %xmm12,0x4c(%rsp)
  movss  %xmm10,0x48(%rsp)
  movss  %xmm8,0x28(%rsp)
  movss  %xmm11,0x58(%rsp)
  movaps %xmm6,%xmm8
  movss  D407(%rip),%xmm6
  movss  %xmm7,0x54(%rsp)
  addss  %xmm0,%xmm8
  movss  D273(%rip),%xmm0
  movss  %xmm9,0x40(%rsp)
  mulss  %xmm14,%xmm6
  movss  %xmm4,0x3c(%rsp)
  mulss  %xmm1,%xmm0
  movss  %xmm3,0x38(%rsp)
  movss  %xmm1,0x34(%rsp)
  movss  %xmm2,0x30(%rsp)
  addss  %xmm8,%xmm0
  movaps %xmm6,%xmm8
  mulss  %xmm2,%xmm8
  addss  %xmm0,%xmm8
  movss  D86(%rip),%xmm0
  mulss  %xmm10,%xmm0
  addss  %xmm0,%xmm8
  movss  D192(%rip),%xmm0
  mulss  %xmm14,%xmm0
  movss  D255(%rip),%xmm14
  mulss  %xmm2,%xmm14
  mulss  %xmm1,%xmm0
  addss  %xmm8,%xmm0
  addss  %xmm14,%xmm0
  call   <pow@plt>
  movss  0x2c(%rsp),%xmm6
  mov    $0x2,%edi
  movss  0x34(%rsp),%xmm1
  mulss  0x28(%rsp),%xmm0
  movss  D178(%rip),%xmm4
  movaps %xmm6,%xmm7
  movss  0x40(%rsp),%xmm9
  movss  0x30(%rsp),%xmm2
  movss  %xmm1,0x40(%rsp)
  mulss  %xmm1,%xmm4
  movss  D237(%rip),%xmm3
  movss  0x58(%rsp),%xmm11
  mulss  %xmm6,%xmm7
  movss  D210(%rip),%xmm6
  movss  %xmm2,0x44(%rsp)
  movss  %xmm9,0x34(%rsp)
  mulss  %xmm9,%xmm6
  movss  %xmm0,0x28(%rsp)
  movss  D199(%rip),%xmm0
  addss  %xmm4,%xmm0
  movss  0x3c(%rsp),%xmm4
  addss  0xc(%rsp),%xmm0
  movss  %xmm11,0x3c(%rsp)
  movss  %xmm7,0x2c(%rsp)
  movss  0x54(%rsp),%xmm7
  mulss  %xmm4,%xmm6
  movss  0x18(%rsp),%xmm4
  movss  %xmm7,0x30(%rsp)
  mulss  %xmm7,%xmm3
  addss  %xmm6,%xmm0
  movss  D470(%rip),%xmm6
  mulss  %xmm2,%xmm6
  movss  D21(%rip),%xmm2
  mulss  %xmm7,%xmm6
  mulss  %xmm1,%xmm6
  addss  %xmm0,%xmm6
  movaps %xmm3,%xmm0
  movss  0x38(%rsp),%xmm3
  mulss  %xmm11,%xmm0
  mulss  %xmm3,%xmm2
  addss  %xmm6,%xmm0
  addss  %xmm0,%xmm4
  movaps %xmm2,%xmm0
  addss  %xmm4,%xmm0
  movaps %xmm9,%xmm4
  mulss  D444(%rip),%xmm4
  mulss  %xmm7,%xmm4
  addss  %xmm4,%xmm0
  call   <pow@plt>
  mulss  0x2c(%rsp),%xmm0
  movss  0x28(%rsp),%xmm7
  mov    $0x2,%edi
  movss  0x38(%rsp),%xmm3
  movss  0x34(%rsp),%xmm9
  movss  0x40(%rsp),%xmm1
  movss  0x44(%rsp),%xmm2
  movss  0x3c(%rsp),%xmm11
  movss  0x4c(%rsp),%xmm12
  movss  0x48(%rsp),%xmm10
  movss  0x20(%rsp),%xmm6
  movss  %xmm1,0x20(%rsp)
  addss  %xmm0,%xmm7
  movss  D470(%rip),%xmm0
  mulss  %xmm6,%xmm6
  mulss  %xmm3,%xmm0
  movss  %xmm7,0xc(%rsp)
  movss  %xmm6,0x18(%rsp)
  mulss  %xmm9,%xmm0
  movaps %xmm0,%xmm4
  movss  D198(%rip),%xmm0
  addss  0x24(%rsp),%xmm0
  movss  %xmm2,0x24(%rsp)
  mulss  %xmm1,%xmm4
  addss  %xmm4,%xmm0
  movss  D432(%rip),%xmm4
  mulss  %xmm3,%xmm4
  mulss  %xmm2,%xmm4
  mulss  %xmm11,%xmm4
  addss  %xmm4,%xmm0
  movss  D420(%rip),%xmm4
  mulss  %xmm3,%xmm4
  addss  %xmm12,%xmm0
  mulss  D60(%rip),%xmm3
  addss  %xmm4,%xmm0
  movss  D499(%rip),%xmm4
  mulss  %xmm10,%xmm3
  mulss  %xmm1,%xmm4
  addss  %xmm4,%xmm0
  addss  %xmm3,%xmm0
  call   <pow@plt>
  movss  0x20(%rsp),%xmm1
  mov    $0x2,%edi
  movss  D443(%rip),%xmm3
  mulss  0x18(%rsp),%xmm0
  movss  0x24(%rsp),%xmm2
  mulss  %xmm1,%xmm3
  addss  0xc(%rsp),%xmm0
  movss  0x4(%rsp),%xmm7
  mulss  D432(%rip),%xmm1
  subss  D159(%rip),%xmm7
  movss  0x50(%rsp),%xmm13
  movss  %xmm0,0xc(%rsp)
  movss  0x8(%rsp),%xmm0
  mulss  %xmm13,%xmm13
  addss  %xmm7,%xmm0
  movss  0x30(%rsp),%xmm7
  mulss  %xmm2,%xmm1
  addss  %xmm3,%xmm0
  addss  0x10(%rsp),%xmm0
  addss  0x14(%rsp),%xmm0
  movss  %xmm13,0x18(%rsp)
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  addss  0x1c(%rsp),%xmm0
  call   <pow@plt>
  mulss  0x18(%rsp),%xmm0
  addss  0xc(%rsp),%xmm0
  call   <sqrt@plt>
  movss  0x5c(%rsp),%xmm5
  jmp    L94
  nopl   0x0(%rax)
L78:
  pxor   %xmm0,%xmm0
  movaps %xmm0,%xmm5
  movaps %xmm0,%xmm1
  movaps %xmm0,%xmm6
  movaps %xmm0,%xmm8
  jmp    L99
L10:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: unpack_data
arguments: data_tag: D190
data_type: byte[4]
name: unpack_data
arguments: data_tag: D291
data_type: f32
name: unpack_data
arguments: data_tag: D293
data_type: f32
name: unpack_data
arguments: data_tag: D494
data_type: f32
name: unpack_data
arguments: data_tag: D273
data_type: byte[4]
name: unpack_data
arguments: data_tag: D260
data_type: byte[4]
name: unpack_data
arguments: data_tag: D322
data_type: byte[4]
name: unpack_data
arguments: data_tag: D38
data_type: byte[4]
name: unpack_data
arguments: data_tag: D178
data_type: byte[4]
name: unpack_data
arguments: data_tag: D493
data_type: byte[4]
name: unpack_data
arguments: data_tag: D143
data_type: byte[4]
name: unpack_data
arguments: data_tag: D199
data_type: byte[4]
name: unpack_data
arguments: data_tag: D238
data_type: byte[4]
name: unpack_data
arguments: data_tag: D255
data_type: byte[4]
name: unpack_data
arguments: data_tag: D346
data_type: byte[4]
name: unpack_data
arguments: data_tag: D139
data_type: byte[4]
name: unpack_data
arguments: data_tag: D198
data_type: byte[4]
name: unpack_data
arguments: data_tag: D496
data_type: byte[4]
name: unpack_data
arguments: data_tag: D371
data_type: byte[4]
name: unpack_data
arguments: data_tag: D429
data_type: byte[4]
name: unpack_data
arguments: data_tag: D86
data_type: byte[4]
name: unpack_data
arguments: data_tag: D499
data_type: byte[4]
name: unpack_data
arguments: data_tag: D237
data_type: byte[4]
name: unpack_data
arguments: data_tag: D21
data_type: byte[4]
name: unpack_data
arguments: data_tag: D11
data_type: byte[4]
name: unpack_data
arguments: data_tag: D355
data_type: byte[4]
name: unpack_data
arguments: data_tag: D32
data_type: byte[4]
name: unpack_data
arguments: data_tag: D487
data_type: byte[4]
name: unpack_data
arguments: data_tag: D407
data_type: byte[4]
name: unpack_data
arguments: data_tag: D192
data_type: byte[4]
name: unpack_data
arguments: data_tag: D210
data_type: byte[4]
name: unpack_data
arguments: data_tag: D470
data_type: byte[4]
name: unpack_data
arguments: data_tag: D444
data_type: byte[4]
name: unpack_data
arguments: data_tag: D432
data_type: byte[4]
name: unpack_data
arguments: data_tag: D420
data_type: byte[4]
name: unpack_data
arguments: data_tag: D60
data_type: byte[4]
name: unpack_data
arguments: data_tag: D443
data_type: byte[4]
name: unpack_data
arguments: data_tag: D159
data_type: byte[4]

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

tool: D291: 15

tool: D293: 2

tool: D494: 1

tool: {"D273": [0xad,0x54,0xf6,0x38]}

tool: {"D260": [0xe4,0xaf,0xce,0x38]}

tool: {"D322": [0x25,0x06,0x90,0x41]}

tool: {"D38": [0x0c,0x02,0x90,0x41]}

tool: {"D178": [0x53,0xf6,0xad,0x37]}

tool: {"D493": [0xe2,0x9b,0xc0,0x35]}

tool: {"D143": [0x81,0x1c,0x21,0xb6]}

tool: {"D199": [0x31,0x8c,0x8a,0x3c]}

tool: {"D238": [0x5f,0x44,0xb7,0x39]}

tool: {"D255": [0xf2,0xd5,0xe0,0xb8]}

tool: {"D346": [0x40,0x53,0x60,0xbd]}

tool: {"D139": [0x6b,0xac,0xc7,0x3a]}

tool: {"D198": [0xc1,0x19,0x85,0x3d]}

tool: {"D496": [0x2c,0x2a,0xd6,0xbc]}

tool: {"D371": [0x41,0x33,0xe3,0xb7]}

tool: {"D429": [0x9f,0x3b,0xe9,0xb7]}

tool: {"D86": [0x82,0x41,0x07,0xb5]}

tool: {"D499": [0xad,0xa2,0x61,0xb9]}

tool: {"D237": [0x71,0xaa,0x7c,0xb9]}

tool: {"D21": [0x7f,0xc8,0x46,0x39]}

tool: {"D11": [0x63,0x6b,0xb9,0xb8]}

tool: {"D355": [0xbd,0x2f,0x05,0xb9]}

tool: {"D32": [0x41,0x33,0x63,0xb8]}

tool: {"D487": [0x40,0x53,0x60,0x3d]}

tool: {"D407": [0xea,0x74,0x90,0x36]}

tool: {"D192": [0xc2,0xaa,0xf1,0xb6]}

tool: {"D210": [0x43,0xe2,0xca,0xb5]}

tool: {"D470": [0x5f,0x44,0x37,0x3a]}

tool: {"D444": [0x9c,0xc7,0xc7,0xb9]}

tool: {"D432": [0x71,0xaa,0xfc,0xb9]}

tool: {"D420": [0x63,0x6b,0x39,0xb9]}

tool: {"D60": [0xbd,0x2f,0x85,0xb9]}

tool: {"D443": [0x9f,0x3b,0x69,0xb8]}

tool: {"D159": [0x2c,0x2a,0xd6,0x3c]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = -0.1527863E-02;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18004E+02, -0.18006E+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.18003E+02, 0.18001E+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.44750327E-05, -0.54766893E-01, 0.16912552E-01, 0.64990528E-01, -0.26143156E-01, -0.27084376E-04, 0.98556076E-04, 0.11745966E-03, 0.20737911E-04, -0.27803528E-04, 0.14350483E-05, -0.50386745E-06, -0.24007461E-05, 0.34955420E-03, -0.24096087E-03, -0.10721003E-03, 0.18957442E-03, -0.88414898E-04, -0.21518274E-03, -0.12701652E-03, 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 x41 = x4;
  float x42 = x41 * x4;
  float v_target_phi = avdat + coeff[0] + coeff[1] * x11 + coeff[2] * x21 + coeff[3] * x31 + coeff[4] * x41 + coeff[5] * x12 + coeff[6] * x11 * x31 + coeff[7] * x11 * x41;
  v_target_phi = v_target_phi + coeff[8] * x21 * x41 + coeff[9] * x42 + coeff[10] * x13 * x21 + coeff[11] * x11 * x23 + coeff[12] * x13 * x41 + coeff[13] * x22 * x32 * x41 + coeff[14] * x21 * x32 * x42 + coeff[15] * x11 * x21 + coeff[16] * x21 * x31;
  v_target_phi = v_target_phi + coeff[17] * x32 + coeff[18] * x31 * x41 + coeff[19] * x23 * x32;
  float dxall = 0 + dx1 + dx2 + dx3 + dx4;
  float dv_target_phi = dxall == 0 ? 0 : sqrt(+dx1 * dx1 * pow(0 + coeff[1] + 2 * coeff[5] * x11 + coeff[6] * x31 + coeff[7] * x41 + 3 * coeff[10] * x12 * x21 + coeff[11] * x23 + 3 * coeff[12] * x12 * x41 + coeff[15] * x21, 2) + dx2 * dx2 * pow(0 + coeff[2] + coeff[8] * x41 + coeff[10] * x13 + 3 * coeff[11] * x22 * x11 + 2 * coeff[13] * x21 * x32 * x41 + coeff[14] * x32 * x42 + coeff[15] * x11 + coeff[16] * x31 + 3 * coeff[19] * x22 * x32, 2) + dx3 * dx3 * pow(0 + coeff[3] + coeff[6] * x11 + 2 * coeff[13] * x31 * x22 * x41 + 2 * coeff[14] * x31 * x21 * x42 + coeff[16] * x21 + 2 * coeff[17] * x31 + coeff[18] * x41 + 2 * coeff[19] * x31 * x23, 2) + dx4 * dx4 * pow(0 + coeff[4] + coeff[7] * x11 + coeff[8] * x21 + 2 * coeff[9] * x41 + coeff[12] * x13 + coeff[13] * x22 * x32 + 2 * coeff[14] * x41 * x21 * x32 + coeff[18] * x31, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```