user: What is the c source code of the assembly code below?

```asm
<target_phi>:
  endbr64
  push   %r14
  push   %rbx
  sub    $0xf8,%rsp
  mov    %rdi,%rcx
  mov    %rsi,%rbx
  mov    %fs:0x28,%rax
  mov    %rax,0xe8(%rsp)
  xor    %eax,%eax
  movss  D368(%rip),%xmm0
  movss  %xmm0,0x60(%rsp)
  movss  %xmm0,0x64(%rsp)
  movl   $0xc1900000,0x68(%rsp)
  movl   $0xc19024dd,0x6c(%rsp)
  movl   $0x0,0x70(%rsp)
  movl   $0x0,0x74(%rsp)
  movl   $0x0,0x78(%rsp)
  movl   $0x0,0x7c(%rsp)
  movl   $0x0,0x80(%rsp)
  movl   $0x0,0x84(%rsp)
  movss  D456(%rip),%xmm0
  movss  %xmm0,0x90(%rsp)
  movss  %xmm0,0x94(%rsp)
  movl   $0x41900000,0x98(%rsp)
  movl   $0x418fdd2f,0x9c(%rsp)
  movl   $0x0,0xa0(%rsp)
  movl   $0x0,0xa4(%rsp)
  movl   $0x0,0xa8(%rsp)
  movl   $0x0,0xac(%rsp)
  movl   $0x0,0xb0(%rsp)
  movl   $0x0,0xb4(%rsp)
  movq   $0x0,0xc0(%rsp)
  movq   $0x0,0xc8(%rsp)
  movq   $0x0,0xd0(%rsp)
  movq   $0x0,0xd8(%rsp)
  movq   $0x0,0xe0(%rsp)
  test   %edx,%edx
  jle    L86
  mov    %edx,%edx
  movss  D416(%rip),%xmm2
  jmp    L11
L50:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xc0(%rsp,%rax,4)
L80:
  add    $0x1,%rax
  cmp    %rdx,%rax
  je     L86
L11:
  movss  0x60(%rsp,%rax,4),%xmm1
  movss  0x90(%rsp,%rax,4),%xmm0
  ucomiss %xmm0,%xmm1
  jp     L50
  jne    L50
  jmp    L80
L86:
  movss  0xc0(%rsp),%xmm1
  movss  (%rcx),%xmm0
  movss  D456(%rip),%xmm4
  subss  %xmm4,%xmm0
  movaps %xmm0,%xmm2
  mulss  %xmm1,%xmm2
  movss  D125(%rip),%xmm0
  movaps %xmm2,%xmm5
  addss  %xmm0,%xmm5
  movss  %xmm5,0x8(%rsp)
  mulss  (%rbx),%xmm1
  movss  0xc4(%rsp),%xmm3
  movss  0x4(%rcx),%xmm2
  subss  %xmm4,%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm7
  addss  %xmm0,%xmm7
  mulss  0x4(%rbx),%xmm3
  movss  %xmm3,0x20(%rsp)
  movss  0xc8(%rsp),%xmm3
  movss  0x8(%rcx),%xmm2
  subss  D385(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm10
  addss  %xmm0,%xmm10
  movaps %xmm10,%xmm11
  movss  %xmm10,0x10(%rsp)
  movaps %xmm3,%xmm2
  mulss  0x8(%rbx),%xmm2
  movss  %xmm2,0x24(%rsp)
  movss  0xcc(%rsp),%xmm3
  movss  0xc(%rcx),%xmm2
  subss  D422(%rip),%xmm2
  mulss  %xmm3,%xmm2
  movaps %xmm2,%xmm12
  addss  %xmm0,%xmm12
  movaps %xmm12,%xmm15
  movss  %xmm12,0x4(%rsp)
  movaps %xmm3,%xmm4
  mulss  0xc(%rbx),%xmm4
  movss  %xmm4,0x28(%rsp)
  movaps %xmm7,%xmm4
  mulss  %xmm7,%xmm4
  movaps %xmm7,%xmm2
  movss  %xmm4,0xc(%rsp)
  mulss  %xmm4,%xmm2
  movaps %xmm10,%xmm9
  mulss  %xmm10,%xmm9
  movss  %xmm9,0x14(%rsp)
  movaps %xmm10,%xmm8
  mulss  %xmm9,%xmm8
  movss  %xmm8,0x54(%rsp)
  movaps %xmm12,%xmm6
  mulss  %xmm12,%xmm6
  movaps %xmm6,%xmm12
  movss  %xmm6,0x2c(%rsp)
  movaps %xmm15,%xmm13
  mulss  %xmm6,%xmm13
  movss  %xmm13,0x30(%rsp)
  movaps %xmm15,%xmm14
  mulss  %xmm13,%xmm14
  movss  %xmm14,0x58(%rsp)
  movaps %xmm5,%xmm4
  mulss  D501(%rip),%xmm4
  movss  %xmm4,0x34(%rsp)
  movss  %xmm7,(%rsp)
  movaps %xmm7,%xmm3
  mulss  D122(%rip),%xmm3
  movss  %xmm3,0x18(%rsp)
  movaps %xmm5,%xmm7
  mulss  D335(%rip),%xmm7
  movss  %xmm7,0x38(%rsp)
  mulss  D350(%rip),%xmm10
  movss  %xmm10,0x3c(%rsp)
  movaps %xmm5,%xmm6
  mulss  D345(%rip),%xmm6
  movss  %xmm6,0x40(%rsp)
  movaps %xmm5,%xmm0
  mulss  D19(%rip),%xmm0
  mulss  %xmm2,%xmm0
  movss  %xmm0,0x1c(%rsp)
  movaps %xmm5,%xmm0
  mulss  D470(%rip),%xmm0
  addss  D404(%rip),%xmm0
  movaps %xmm11,%xmm3
  mulss  D0(%rip),%xmm3
  addss  %xmm3,%xmm0
  mulss  (%rsp),%xmm4
  addss  %xmm4,%xmm0
  movss  0x18(%rsp),%xmm3
  movaps %xmm11,%xmm4
  mulss  %xmm11,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm15,%xmm7
  addss  %xmm7,%xmm0
  movaps %xmm10,%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm15,%xmm3
  mulss  D164(%rip),%xmm3
  addss  %xmm3,%xmm0
  movss  (%rsp),%xmm11
  movaps %xmm11,%xmm3
  mulss  D523(%rip),%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm4,%xmm3
  mulss  D332(%rip),%xmm3
  mulss  %xmm14,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm11,%xmm6
  movaps %xmm6,%xmm3
  mulss  %xmm9,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm11,%xmm3
  mulss  D492(%rip),%xmm3
  mulss  %xmm8,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm5,%xmm3
  mulss  D467(%rip),%xmm3
  mulss  %xmm13,%xmm3
  addss  %xmm3,%xmm0
  movss  0x1c(%rsp),%xmm3
  mulss  %xmm15,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm11,%xmm6
  mulss  D486(%rip),%xmm6
  movaps %xmm6,%xmm3
  mulss  %xmm9,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm4,%xmm7
  movaps %xmm4,%xmm3
  mulss  D8(%rip),%xmm3
  mulss  %xmm12,%xmm3
  addss  %xmm3,%xmm0
  movaps %xmm5,%xmm3
  mulss  D437(%rip),%xmm3
  mulss  0xc(%rsp),%xmm3
  movaps %xmm3,%xmm4
  movss  %xmm3,0x44(%rsp)
  movaps %xmm5,%xmm3
  mulss  %xmm5,%xmm3
  mulss  D243(%rip),%xmm3
  movaps %xmm3,%xmm6
  movss  %xmm3,0x48(%rsp)
  mulss  %xmm7,%xmm6
  movss  %xmm6,0x4c(%rsp)
  movaps %xmm5,%xmm3
  mulss  D104(%rip),%xmm3
  mulss  %xmm2,%xmm3
  addss  %xmm3,%xmm0
  mulss  %xmm15,%xmm4
  addss  %xmm4,%xmm0
  mulss  %xmm15,%xmm6
  addss  %xmm6,%xmm0
  mulss  D222(%rip),%xmm5
  movaps %xmm5,%xmm3
  mulss  %xmm9,%xmm3
  movss  %xmm3,0x50(%rsp)
  mulss  %xmm15,%xmm3
  movaps %xmm3,%xmm5
  addss  %xmm0,%xmm5
  movd   %xmm5,%r14d
  pxor   %xmm3,%xmm3
  movaps %xmm1,%xmm0
  addss  %xmm3,%xmm0
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  addss  0x28(%rsp),%xmm0
  ucomiss %xmm3,%xmm0
  jp     L72
  movaps %xmm3,%xmm0
  jne    L72
L75:
  movss  %xmm0,(%rbx)
  mov    0xe8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L38
  movd   %r14d,%xmm0
  add    $0xf8,%rsp
  pop    %rbx
  pop    %r14
  ret
L72:
  mulss  %xmm1,%xmm1
  movss  %xmm1,0x5c(%rsp)
  movss  (%rsp),%xmm7
  movaps %xmm7,%xmm0
  mulss  D501(%rip),%xmm0
  subss  D520(%rip),%xmm0
  movss  0x4(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D335(%rip),%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm7,%xmm1
  mulss  D345(%rip),%xmm1
  movss  0x14(%rsp),%xmm5
  mulss  %xmm5,%xmm1
  addss  %xmm1,%xmm0
  movss  0x30(%rsp),%xmm6
  mulss  D467(%rip),%xmm6
  addss  %xmm6,%xmm0
  movaps %xmm2,%xmm3
  mulss  D19(%rip),%xmm3
  movaps %xmm3,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  mulss  D104(%rip),%xmm2
  addss  %xmm2,%xmm0
  movss  0xc(%rsp),%xmm6
  mulss  D437(%rip),%xmm6
  movaps %xmm6,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movss  0x8(%rsp),%xmm6
  mulss  D140(%rip),%xmm6
  movaps %xmm6,%xmm1
  mulss  0x10(%rsp),%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm2
  mulss  D222(%rip),%xmm2
  movaps %xmm2,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x5c(%rsp),%xmm0
  movss  %xmm0,0x5c(%rsp)
  movss  0x20(%rsp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,0x20(%rsp)
  pxor   %xmm11,%xmm11
  addss  0x34(%rsp),%xmm11
  movaps %xmm11,%xmm0
  movss  0x10(%rsp),%xmm1
  mulss  D122(%rip),%xmm1
  addss  %xmm1,%xmm0
  subss  D553(%rip),%xmm0
  movss  0x40(%rsp),%xmm11
  movss  0x14(%rsp),%xmm5
  mulss  %xmm5,%xmm11
  addss  %xmm11,%xmm0
  movss  0x54(%rsp),%xmm2
  mulss  D492(%rip),%xmm2
  addss  %xmm2,%xmm0
  movss  0xc(%rsp),%xmm8
  movaps %xmm8,%xmm2
  mulss  D543(%rip),%xmm2
  movaps %xmm2,%xmm1
  movss  0x8(%rsp),%xmm3
  mulss  %xmm3,%xmm1
  movss  0x4(%rsp),%xmm4
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm5,%xmm2
  mulss  D486(%rip),%xmm2
  addss  %xmm2,%xmm0
  mulss  D132(%rip),%xmm8
  movaps %xmm8,%xmm1
  mulss  %xmm3,%xmm1
  addss  %xmm1,%xmm0
  movss  (%rsp),%xmm2
  mulss  D270(%rip),%xmm2
  movaps %xmm2,%xmm1
  mulss  %xmm3,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x20(%rsp),%xmm0
  addss  0x5c(%rsp),%xmm0
  movss  %xmm0,0xc(%rsp)
  movss  0x24(%rsp),%xmm0
  mulss  %xmm0,%xmm0
  movss  %xmm0,0x20(%rsp)
  movss  0x18(%rsp),%xmm8
  addss  D0(%rip),%xmm8
  movaps %xmm8,%xmm0
  movss  0x4(%rsp),%xmm4
  movaps %xmm4,%xmm1
  mulss  D350(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x58(%rsp),%xmm1
  mulss  D332(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x10(%rsp),%xmm6
  movaps %xmm6,%xmm1
  mulss  D263(%rip),%xmm1
  movss  0x8(%rsp),%xmm3
  mulss  %xmm3,%xmm1
  movss  (%rsp),%xmm7
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movss  0x14(%rsp),%xmm1
  mulss  D455(%rip),%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movaps %xmm6,%xmm1
  mulss  D364(%rip),%xmm1
  mulss  %xmm7,%xmm1
  addss  %xmm1,%xmm0
  movss  0x2c(%rsp),%xmm1
  mulss  D8(%rip),%xmm1
  addss  %xmm1,%xmm0
  movss  0x48(%rsp),%xmm14
  mulss  %xmm4,%xmm14
  addss  %xmm14,%xmm0
  movaps %xmm6,%xmm1
  mulss  D341(%rip),%xmm1
  mulss  %xmm3,%xmm1
  mulss  %xmm4,%xmm1
  addss  %xmm1,%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0x20(%rsp),%xmm0
  movaps %xmm0,%xmm2
  addss  0xc(%rsp),%xmm2
  movss  %xmm2,(%rsp)
  movss  0x28(%rsp),%xmm2
  mulss  %xmm2,%xmm2
  movss  %xmm2,0xc(%rsp)
  pxor   %xmm0,%xmm0
  addss  0x38(%rsp),%xmm0
  addss  0x3c(%rsp),%xmm0
  addss  D164(%rip),%xmm0
  movss  0x30(%rsp),%xmm7
  mulss  D327(%rip),%xmm7
  movaps %xmm7,%xmm1
  movss  0x10(%rsp),%xmm6
  mulss  %xmm6,%xmm1
  addss  %xmm1,%xmm0
  movss  0x2c(%rsp),%xmm1
  mulss  D346(%rip),%xmm1
  mulss  0x8(%rsp),%xmm1
  addss  %xmm1,%xmm0
  movss  0x1c(%rsp),%xmm1
  addss  %xmm0,%xmm1
  movss  0x4(%rsp),%xmm4
  mulss  D24(%rip),%xmm4
  movaps %xmm4,%xmm0
  mulss  %xmm6,%xmm0
  addss  %xmm1,%xmm0
  addss  0x44(%rsp),%xmm0
  addss  0x4c(%rsp),%xmm0
  addss  0x50(%rsp),%xmm0
  mov    $0x2,%edi
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  (%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L75
L38:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D368
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D456
type_guessed: f32
name: extract_symbolic_data
arguments: label: D416
type_guessed: f32
name: extract_symbolic_data
arguments: label: D125
type_guessed: f32
name: extract_symbolic_data
arguments: label: D385
type_guessed: f32
name: extract_symbolic_data
arguments: label: D422
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D501
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D122
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D335
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D350
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D345
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D19
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D470
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D404
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D0
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D164
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D523
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D332
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D492
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D467
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D486
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D8
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D437
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D243
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D104
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D222
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D520
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D140
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D553
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D543
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D132
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D270
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D263
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D455
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D364
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D341
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D327
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D346
type_guessed: byte[4]
name: extract_symbolic_data
arguments: label: D24
type_guessed: byte[4]

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

tool: D456: 15

tool: D416: 2

tool: D125: 1

tool: D385: 18

tool: {"D422": [0x2f,0xdd,0x8f,0x41]}

tool: {"D501": [0x14,0x58,0x7a,0x3b]}

tool: {"D122": [0x7f,0x3e,0xe4,0xbb]}

tool: {"D335": [0x9f,0xa3,0xd3,0xbb]}

tool: {"D350": [0x14,0xa2,0x3f,0x3c]}

tool: {"D345": [0x6b,0x10,0x53,0x38]}

tool: {"D19": [0xfc,0x43,0xe5,0xb7]}

tool: {"D470": [0xfe,0x97,0x6a,0xbd]}

tool: {"D404": [0x86,0x31,0x17,0x3b]}

tool: {"D0": [0x7f,0xb9,0x8d,0x3d]}

tool: {"D164": [0x6b,0x54,0xca,0x39]}

tool: {"D523": [0x3d,0xf3,0x6f,0xb9]}

tool: {"D332": [0xf3,0x67,0x1b,0x38]}

tool: {"D492": [0x98,0xfc,0x70,0x36]}

tool: {"D467": [0x43,0x3a,0x0c,0x39]}

tool: {"D486": [0x34,0x10,0xb7,0xb6]}

tool: {"D8": [0x0d,0xd2,0xe8,0x37]}

tool: {"D437": [0xf7,0x1b,0x54,0xb9]}

tool: {"D243": [0xf1,0x88,0xe6,0x38]}

tool: {"D104": [0xcf,0xa8,0xcb,0x38]}

tool: {"D222": [0x66,0x01,0x59,0xb9]}

tool: {"D520": [0xfe,0x97,0x6a,0x3d]}

tool: {"D140": [0xf1,0x88,0x66,0x39]}

tool: {"D553": [0x3d,0xf3,0x6f,0x39]}

tool: {"D543": [0xfd,0xf2,0xab,0xb8]}

tool: {"D132": [0x9b,0xbe,0x98,0x39]}

tool: {"D270": [0xf7,0x1b,0xd4,0xb9]}

tool: {"D263": [0x6b,0x10,0xd3,0x38]}

tool: {"D455": [0x72,0xbd,0x34,0x37]}

tool: {"D364": [0x34,0x10,0x37,0xb7]}

tool: {"D341": [0x66,0x01,0xd9,0xb9]}

tool: {"D327": [0xf3,0x67,0x1b,0x39]}

tool: {"D346": [0x64,0x57,0xd2,0x39]}

tool: {"D24": [0x0d,0xd2,0x68,0x38]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.2306961E-02;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18018E+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.17983E+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.68065482E-07, -0.57273857E-01, 0.69201462E-01, 0.38199471E-02, -0.69654579E-02, -0.64587141E-02, 0.11696357E-01, 0.38591339E-03, -0.22883429E-03, 0.37051690E-04, 0.50321611E-04, 0.35909816E-05, 0.13373145E-03, -0.27330585E-04, -0.54557113E-05, 0.27754368E-04, 0.97112374E-04, -0.20228313E-03, 0.10992762E-03, -0.20695254E-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 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 x43 = x42 * x4;
  float x44 = x43 * 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] * x31 * x44 + coeff[10] * x11 * x21 * x32 + coeff[11] * x21 * x33 + coeff[12] * x11 * x43 + coeff[13] * x11 * x23 * x41 + coeff[14] * x21 * x32 + coeff[15] * x31 * x42 + coeff[16] * x11 * x23;
  v_target_phi = v_target_phi + coeff[17] * x11 * x22 * x41 + coeff[18] * x12 * x31 * x41 + coeff[19] * x11 * x32 * 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[10] * x21 * x32 + coeff[12] * x43 + coeff[13] * x23 * x41 + coeff[16] * x23 + coeff[17] * x22 * x41 + 2 * coeff[18] * x11 * x31 * x41 + coeff[19] * x32 * x41, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[8] + coeff[10] * x11 * x32 + coeff[11] * x33 + 3 * coeff[13] * x22 * x11 * x41 + coeff[14] * x32 + 3 * coeff[16] * x22 * x11 + 2 * coeff[17] * x21 * x11 * x41, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x21 + coeff[6] * x41 + coeff[9] * x44 + 2 * coeff[10] * x31 * x11 * x21 + 3 * coeff[11] * x32 * x21 + 2 * coeff[14] * x31 * x21 + coeff[15] * x42 + coeff[18] * x12 * x41 + 2 * coeff[19] * x31 * x11 * x41, 2) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[7] + 4 * coeff[9] * x43 * x31 + 3 * coeff[12] * x42 * x11 + coeff[13] * x11 * x23 + 2 * coeff[15] * x41 * x31 + coeff[17] * x11 * x22 + coeff[18] * x12 * x31 + coeff[19] * x11 * x32, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```