user: Demonstrate the C code that generates the assembly output below:

```asm
<target_phi>:
  endbr64
  push   %rbx
  pxor   %xmm0,%xmm0
  mov    %rsi,%rbx
  sub    $0x100,%rsp
  movss  D418(%rip),%xmm1
  movss  D68(%rip),%xmm3
  mov    %fs:0x28,%rax
  mov    %rax,0xf8(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0xd0(%rsp)
  movabs $0xc1901aa0c1900000,%rax
  mov    %rax,0x78(%rsp)
  movabs $0x418fe76d41900000,%rax
  movq   $0x0,0x80(%rsp)
  movq   $0x0,0x88(%rsp)
  movq   $0x0,0x90(%rsp)
  mov    %rax,0xa8(%rsp)
  movq   $0x0,0xb0(%rsp)
  movq   $0x0,0xb8(%rsp)
  movq   $0x0,0xc0(%rsp)
  movq   $0x0,0xf0(%rsp)
  movss  %xmm1,0x74(%rsp)
  movss  %xmm3,0xa4(%rsp)
  movaps %xmm0,0xe0(%rsp)
  test   %edx,%edx
  jle    L18
  sub    $0x1,%edx
  movss  D310(%rip),%xmm2
  xor    %eax,%eax
  movaps %xmm3,%xmm0
  shl    $0x2,%rdx
  lea    0x74(%rsp),%rsi
  lea    0xa4(%rsp),%rcx
  jmp    L37
  nopl   (%rax)
L86:
  movss  (%rsi,%rax,1),%xmm1
  movss  (%rcx,%rax,1),%xmm0
  add    $0x4,%rax
L37:
  ucomiss %xmm0,%xmm1
  jp     L10
  je     L6
L10:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xd0(%rsp,%rax,1)
L6:
  cmp    %rdx,%rax
  jne    L86
  movss  0xd0(%rsp),%xmm9
  pxor   %xmm10,%xmm10
  movss  0xd4(%rsp),%xmm7
  movss  0xd8(%rsp),%xmm8
  movss  0xdc(%rsp),%xmm0
L54:
  movss  (%rdi),%xmm2
  movss  0x4(%rdi),%xmm4
  movss  0xc(%rdi),%xmm1
  subss  D47(%rip),%xmm1
  subss  %xmm3,%xmm2
  subss  %xmm3,%xmm4
  movss  0x8(%rdi),%xmm3
  movss  D227(%rip),%xmm5
  subss  D78(%rip),%xmm3
  movss  D386(%rip),%xmm15
  movss  D203(%rip),%xmm11
  mulss  %xmm0,%xmm1
  movss  D239(%rip),%xmm13
  mulss  %xmm7,%xmm4
  mulss  %xmm8,%xmm3
  mulss  0xc(%rbx),%xmm0
  mulss  %xmm9,%xmm2
  addss  %xmm5,%xmm1
  mulss  (%rbx),%xmm9
  addss  %xmm5,%xmm4
  mulss  0x4(%rbx),%xmm7
  addss  %xmm5,%xmm3
  mulss  0x8(%rbx),%xmm8
  movss  %xmm0,0x20(%rsp)
  movss  D509(%rip),%xmm0
  movaps %xmm1,%xmm12
  addss  %xmm5,%xmm2
  movaps %xmm4,%xmm14
  movaps %xmm1,%xmm5
  mulss  %xmm3,%xmm15
  movaps %xmm3,%xmm6
  mulss  %xmm4,%xmm0
  mulss  %xmm2,%xmm11
  mulss  %xmm2,%xmm13
  mulss  %xmm4,%xmm14
  movss  %xmm15,0x8(%rsp)
  mulss  %xmm1,%xmm5
  movaps %xmm2,%xmm15
  mulss  %xmm2,%xmm15
  movss  %xmm0,(%rsp)
  movss  D132(%rip),%xmm0
  movss  %xmm11,0xc(%rsp)
  mulss  %xmm3,%xmm6
  movss  D9(%rip),%xmm11
  movss  %xmm13,0x4(%rsp)
  movss  D211(%rip),%xmm13
  mulss  %xmm2,%xmm11
  mulss  %xmm4,%xmm13
  mulss  %xmm15,%xmm0
  mulss  %xmm5,%xmm12
  mulss  %xmm14,%xmm11
  movss  %xmm13,0x28(%rsp)
  mulss  %xmm3,%xmm13
  movaps %xmm0,%xmm15
  movss  %xmm0,0x30(%rsp)
  movss  D35(%rip),%xmm0
  mulss  %xmm4,%xmm15
  movss  %xmm12,0x24(%rsp)
  movss  D43(%rip),%xmm12
  mulss  %xmm2,%xmm0
  movss  %xmm11,0x10(%rsp)
  mulss  %xmm2,%xmm12
  movaps %xmm3,%xmm11
  mulss  %xmm6,%xmm11
  movss  %xmm13,0x2c(%rsp)
  mulss  %xmm1,%xmm13
  movss  %xmm15,0x34(%rsp)
  mulss  %xmm3,%xmm15
  mulss  %xmm6,%xmm0
  movss  %xmm0,0x14(%rsp)
  mulss  D159(%rip),%xmm11
  movss  D109(%rip),%xmm0
  mulss  %xmm3,%xmm0
  movss  %xmm11,0x18(%rsp)
  movss  D172(%rip),%xmm11
  mulss  %xmm2,%xmm11
  addss  D6(%rip),%xmm11
  addss  %xmm11,%xmm0
  movaps %xmm12,%xmm11
  mulss  %xmm4,%xmm11
  addss  %xmm0,%xmm11
  movss  (%rsp),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm11,%xmm0
  movss  0x4(%rsp),%xmm11
  mulss  %xmm1,%xmm11
  addss  %xmm0,%xmm11
  movss  0x8(%rsp),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm11,%xmm0
  movss  D104(%rip),%xmm11
  mulss  %xmm1,%xmm11
  addss  %xmm0,%xmm11
  movss  D112(%rip),%xmm0
  mulss  %xmm4,%xmm0
  addss  %xmm11,%xmm0
  movaps %xmm13,%xmm11
  movss  D235(%rip),%xmm13
  mulss  %xmm3,%xmm13
  addss  %xmm0,%xmm11
  movaps %xmm13,%xmm0
  movss  D319(%rip),%xmm13
  mulss  %xmm5,%xmm0
  mulss  %xmm2,%xmm13
  addss  %xmm11,%xmm0
  movaps %xmm15,%xmm11
  movaps %xmm13,%xmm15
  mulss  %xmm4,%xmm15
  addss  %xmm0,%xmm11
  movss  0xc(%rsp),%xmm0
  mulss  %xmm4,%xmm0
  movss  %xmm15,0x1c(%rsp)
  mulss  %xmm6,%xmm0
  addss  %xmm11,%xmm0
  movss  0x10(%rsp),%xmm11
  mulss  %xmm1,%xmm11
  addss  %xmm0,%xmm11
  movss  0x14(%rsp),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm11,%xmm0
  movss  0x18(%rsp),%xmm11
  mulss  %xmm1,%xmm11
  addss  %xmm11,%xmm0
  movss  D267(%rip),%xmm11
  mulss  %xmm2,%xmm11
  movaps %xmm11,%xmm15
  mulss  %xmm4,%xmm15
  mulss  %xmm5,%xmm15
  addss  %xmm0,%xmm15
  movss  D469(%rip),%xmm0
  mulss  %xmm3,%xmm0
  mulss  0x24(%rsp),%xmm0
  addss  %xmm15,%xmm0
  movss  0x1c(%rsp),%xmm15
  mulss  %xmm1,%xmm15
  addss  %xmm0,%xmm15
  movss  D412(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  %xmm5,%xmm0
  addss  %xmm0,%xmm15
  movaps %xmm9,%xmm0
  addss  %xmm10,%xmm0
  addss  %xmm7,%xmm0
  addss  %xmm8,%xmm0
  addss  0x20(%rsp),%xmm0
  ucomiss %xmm10,%xmm0
  jp     L12
  movaps %xmm10,%xmm0
  jne    L12
L16:
  movss  %xmm0,(%rbx)
  mov    0xf8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L1
  add    $0x100,%rsp
  movaps %xmm15,%xmm0
  pop    %rbx
  ret
  nopw   0x0(%rax,%rax,1)
L12:
  movss  %xmm7,0x3c(%rsp)
  mulss  %xmm9,%xmm9
  movss  D43(%rip),%xmm7
  movss  D239(%rip),%xmm0
  mulss  D9(%rip),%xmm14
  movss  %xmm6,0x4c(%rsp)
  mov    $0x2,%edi
  mulss  %xmm4,%xmm7
  movss  %xmm15,0x6c(%rsp)
  mulss  %xmm1,%xmm0
  movss  %xmm8,0x68(%rsp)
  movss  %xmm10,0x58(%rsp)
  movss  %xmm9,0x38(%rsp)
  mulss  %xmm1,%xmm14
  movss  %xmm13,0x64(%rsp)
  movaps %xmm7,%xmm9
  movaps %xmm2,%xmm7
  subss  D490(%rip),%xmm9
  movss  %xmm11,0x60(%rsp)
  mulss  D106(%rip),%xmm7
  movss  %xmm12,0x54(%rsp)
  movss  %xmm2,0x5c(%rsp)
  addss  %xmm9,%xmm0
  movss  %xmm3,0x50(%rsp)
  movss  %xmm4,0x48(%rsp)
  movss  %xmm1,0x44(%rsp)
  movaps %xmm7,%xmm9
  movss  %xmm5,0x40(%rsp)
  mulss  %xmm4,%xmm9
  mulss  %xmm3,%xmm9
  addss  %xmm0,%xmm9
  movss  D203(%rip),%xmm0
  mulss  %xmm4,%xmm0
  mulss  %xmm6,%xmm0
  addss  %xmm9,%xmm0
  addss  %xmm0,%xmm14
  movss  D35(%rip),%xmm0
  mulss  %xmm6,%xmm0
  movss  D267(%rip),%xmm6
  mulss  %xmm4,%xmm6
  mulss  %xmm1,%xmm0
  movaps %xmm6,%xmm9
  movss  D412(%rip),%xmm6
  mulss  %xmm5,%xmm9
  mulss  %xmm5,%xmm6
  addss  %xmm14,%xmm0
  addss  %xmm0,%xmm9
  movss  D319(%rip),%xmm0
  mulss  %xmm4,%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm9,%xmm0
  addss  %xmm6,%xmm0
  call   <pow@plt>
  movss  0x50(%rsp),%xmm3
  movss  D509(%rip),%xmm5
  mov    $0x2,%edi
  movss  0x58(%rsp),%xmm10
  movss  0x54(%rsp),%xmm12
  mulss  %xmm3,%xmm5
  movss  0x44(%rsp),%xmm1
  movss  0x4c(%rsp),%xmm6
  movss  %xmm3,0x54(%rsp)
  addss  %xmm10,%xmm12
  mulss  0x38(%rsp),%xmm0
  movss  0x3c(%rsp),%xmm7
  movss  0x48(%rsp),%xmm4
  movss  0x5c(%rsp),%xmm2
  movss  %xmm6,0x50(%rsp)
  mulss  %xmm7,%xmm7
  movss  0x60(%rsp),%xmm11
  movss  0x64(%rsp),%xmm13
  movss  %xmm4,0x4c(%rsp)
  addss  %xmm5,%xmm12
  mulss  %xmm1,%xmm13
  movss  D211(%rip),%xmm5
  subss  D158(%rip),%xmm12
  movss  %xmm0,0x38(%rsp)
  mulss  %xmm3,%xmm5
  movss  %xmm2,0x48(%rsp)
  movss  %xmm7,0x3c(%rsp)
  movaps %xmm5,%xmm0
  movss  0x30(%rsp),%xmm5
  mulss  %xmm1,%xmm0
  mulss  %xmm3,%xmm5
  addss  %xmm12,%xmm0
  addss  %xmm5,%xmm0
  movss  0xc(%rsp),%xmm5
  mulss  %xmm6,%xmm5
  movaps %xmm5,%xmm7
  movaps %xmm4,%xmm5
  mulss  D15(%rip),%xmm5
  addss  %xmm0,%xmm7
  movaps %xmm5,%xmm0
  movss  0x40(%rsp),%xmm5
  movss  %xmm1,0x40(%rsp)
  mulss  %xmm2,%xmm0
  mulss  %xmm5,%xmm11
  movss  %xmm5,0x44(%rsp)
  mulss  %xmm1,%xmm0
  addss  %xmm7,%xmm0
  addss  %xmm0,%xmm11
  addss  %xmm13,%xmm11
  movaps %xmm11,%xmm0
  call   <pow@plt>
  mulss  0x3c(%rsp),%xmm0
  movss  0x38(%rsp),%xmm7
  mov    $0x2,%edi
  movss  0x40(%rsp),%xmm1
  movss  D109(%rip),%xmm6
  addss  (%rsp),%xmm6
  movss  0x44(%rsp),%xmm5
  movss  0x54(%rsp),%xmm3
  movss  0x48(%rsp),%xmm2
  movss  0x4c(%rsp),%xmm4
  movss  0x68(%rsp),%xmm8
  movss  %xmm5,0x40(%rsp)
  addss  %xmm0,%xmm7
  movss  D386(%rip),%xmm0
  movss  %xmm3,0x38(%rsp)
  mulss  %xmm8,%xmm8
  movss  %xmm4,0x3c(%rsp)
  mulss  %xmm1,%xmm0
  movss  %xmm7,0xc(%rsp)
  movss  %xmm8,0x30(%rsp)
  addss  %xmm6,%xmm0
  movss  0x28(%rsp),%xmm6
  movss  %xmm1,0x28(%rsp)
  mulss  %xmm1,%xmm6
  addss  %xmm6,%xmm0
  movss  D235(%rip),%xmm6
  mulss  %xmm5,%xmm6
  movaps %xmm6,%xmm7
  movss  D344(%rip),%xmm6
  addss  %xmm0,%xmm7
  movss  0x34(%rsp),%xmm0
  movss  %xmm2,0x34(%rsp)
  mulss  %xmm3,%xmm6
  addss  %xmm7,%xmm0
  movaps %xmm6,%xmm7
  movss  0x50(%rsp),%xmm6
  mulss  %xmm2,%xmm7
  mulss  D323(%rip),%xmm6
  mulss  %xmm4,%xmm7
  mulss  %xmm1,%xmm6
  addss  %xmm0,%xmm7
  movaps %xmm3,%xmm0
  mulss  D44(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm7,%xmm0
  addss  %xmm0,%xmm6
  movss  D469(%rip),%xmm0
  mulss  0x24(%rsp),%xmm0
  addss  %xmm6,%xmm0
  call   <pow@plt>
  movss  0x28(%rsp),%xmm1
  movss  D123(%rip),%xmm6
  mov    $0x2,%edi
  mulss  0x30(%rsp),%xmm0
  movss  0x58(%rsp),%xmm10
  mulss  %xmm1,%xmm6
  addss  0xc(%rsp),%xmm0
  movss  0x4(%rsp),%xmm4
  movss  0x38(%rsp),%xmm3
  movss  0x34(%rsp),%xmm2
  addss  %xmm10,%xmm4
  movss  0x40(%rsp),%xmm5
  mulss  D395(%rip),%xmm5
  movss  %xmm0,(%rsp)
  movss  0x8(%rsp),%xmm0
  movss  0x20(%rsp),%xmm7
  mulss  %xmm3,%xmm6
  addss  %xmm4,%xmm0
  addss  D104(%rip),%xmm0
  movss  0x3c(%rsp),%xmm4
  addss  0x2c(%rsp),%xmm0
  mulss  %xmm7,%xmm7
  mulss  %xmm3,%xmm5
  addss  %xmm6,%xmm0
  movss  D70(%rip),%xmm6
  addss  0x10(%rsp),%xmm0
  addss  0x14(%rsp),%xmm0
  addss  0x18(%rsp),%xmm0
  movss  %xmm7,0xc(%rsp)
  mulss  %xmm1,%xmm6
  mulss  D370(%rip),%xmm1
  mulss  %xmm2,%xmm6
  mulss  %xmm2,%xmm1
  mulss  %xmm6,%xmm4
  addss  %xmm4,%xmm0
  addss  %xmm5,%xmm0
  addss  0x1c(%rsp),%xmm0
  addss  %xmm1,%xmm0
  call   <pow@plt>
  mulss  0xc(%rsp),%xmm0
  addss  (%rsp),%xmm0
  call   <sqrt@plt>
  movss  0x6c(%rsp),%xmm15
  jmp    L16
  nopl   0x0(%rax)
L18:
  pxor   %xmm10,%xmm10
  movaps %xmm10,%xmm0
  movaps %xmm10,%xmm8
  movaps %xmm10,%xmm7
  movaps %xmm10,%xmm9
  jmp    L54
L1:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D418
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D68
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D310
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D47
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D227
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D78
type_guessed: f32
name: extract_symbolic_data
arguments: data_label: D386
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D203
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D239
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D509
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D132
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D9
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D211
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D35
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D43
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D159
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D109
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D172
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D6
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D104
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D112
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D235
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D319
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D267
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D469
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D412
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D490
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D106
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D158
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D15
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D344
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D323
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D44
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D123
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D395
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D70
type_guessed: byte[4]
name: extract_symbolic_data
arguments: data_label: D370
type_guessed: byte[4]

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

tool: D68: 15

tool: D310: 2

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

tool: D227: 1

tool: D78: 18

tool: {"D386": [0x07,0x9b,0x0e,0x3c]}

tool: {"D203": [0xb4,0xa7,0x33,0x39]}

tool: {"D239": [0x99,0x90,0x9d,0xbb]}

tool: {"D509": [0x04,0xf4,0xaa,0xbb]}

tool: {"D132": [0x2c,0x48,0xfd,0xb8]}

tool: {"D9": [0xc0,0x92,0x1d,0xb7]}

tool: {"D211": [0xe1,0x2f,0xf8,0xb8]}

tool: {"D35": [0xb4,0xb4,0x5f,0x39]}

tool: {"D43": [0x79,0x65,0x3c,0x3b]}

tool: {"D159": [0xeb,0x93,0x9f,0xb9]}

tool: {"D109": [0xb7,0xb2,0x8c,0x3d]}

tool: {"D172": [0x6c,0x8c,0x69,0xbd]}

tool: {"D6": [0x5e,0x5a,0x9e,0x36]}

tool: {"D104": [0x0b,0xd7,0x4d,0x38]}

tool: {"D112": [0xac,0x71,0xf8,0xb7]}

tool: {"D235": [0x7e,0x89,0x32,0x39]}

tool: {"D319": [0xa6,0x3b,0x86,0x38]}

tool: {"D267": [0xe0,0x2b,0x1a,0xb8]}

tool: {"D469": [0x2f,0x3b,0xa5,0x38]}

tool: {"D412": [0x76,0x9f,0xc1,0xb8]}

tool: {"D490": [0x6c,0x8c,0x69,0x3d]}

tool: {"D106": [0x2c,0x48,0x7d,0xb9]}

tool: {"D158": [0xac,0x71,0xf8,0x37]}

tool: {"D15": [0xc0,0x92,0x9d,0xb7]}

tool: {"D344": [0xb4,0xa7,0xb3,0x39]}

tool: {"D323": [0xe0,0x5d,0x6f,0xba]}

tool: {"D44": [0xb4,0xb4,0xdf,0x39]}

tool: {"D123": [0x7e,0x89,0xb2,0x39]}

tool: {"D395": [0xc6,0xd8,0x77,0x39]}

tool: {"D70": [0xe0,0x2b,0x9a,0xb8]}

tool: {"D370": [0x76,0x9f,0x41,0xb9]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.4721577E-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.22899476E-08, -0.57018682E-01, 0.68700247E-01, 0.28747006E-02, -0.52170772E-02, -0.48084971E-02, 0.87039536E-02, 0.49076083E-04, -0.29616836E-04, -0.11834480E-03, 0.17026623E-03, -0.12077423E-03, 0.17133245E-03, -0.93920971E-05, 0.21334254E-03, -0.30437051E-03, -0.36757323E-04, 0.78788369E-04, 0.64007283E-04, -0.92326591E-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] * x41;
  v_target_phi = v_target_phi + coeff[8] * x21 + 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] * x11 * x21 * x41 + coeff[19] * x11 * x42;
  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[18] * x21 * x41 + coeff[19] * x42, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[8] + coeff[9] * x31 * x41 + coeff[11] * x12 * x31 + coeff[12] * x11 * x32 + 2 * coeff[13] * x21 * x11 * x41 + coeff[16] * x11 * x42 + coeff[18] * 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) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[7] + 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[18] * x11 * x21 + 2 * coeff[19] * x41 * x11, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```