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

```asm
<target_phi>:
  endbr64
  push   %rbx
  pxor   %xmm0,%xmm0
  mov    %rsi,%rbx
  sub    $0x100,%rsp
  movss  D450(%rip),%xmm1
  movss  D507(%rip),%xmm3
  mov    %fs:0x28,%rax
  mov    %rax,0xf8(%rsp)
  xor    %eax,%eax
  movaps %xmm0,0xd0(%rsp)
  movabs $0xc19022d1c1900000,%rax
  mov    %rax,0x78(%rsp)
  movabs $0x418fe14841900000,%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    L45
  sub    $0x1,%edx
  movss  D479(%rip),%xmm2
  xor    %eax,%eax
  movaps %xmm3,%xmm0
  shl    $0x2,%rdx
  lea    0x74(%rsp),%rsi
  lea    0xa4(%rsp),%rcx
  jmp    L19
  nopl   (%rax)
L34:
  movss  (%rsi,%rax,1),%xmm1
  movss  (%rcx,%rax,1),%xmm0
  add    $0x4,%rax
L19:
  ucomiss %xmm0,%xmm1
  jp     L25
  je     L11
L25:
  subss  %xmm1,%xmm0
  movaps %xmm2,%xmm1
  divss  %xmm0,%xmm1
  movss  %xmm1,0xd0(%rsp,%rax,1)
L11:
  cmp    %rdx,%rax
  jne    L34
  movss  0xd0(%rsp),%xmm9
  pxor   %xmm12,%xmm12
  movss  0xd4(%rsp),%xmm6
  movss  0xd8(%rsp),%xmm1
  movss  0xdc(%rsp),%xmm0
L79:
  movss  (%rdi),%xmm2
  movss  0x4(%rdi),%xmm4
  movss  D212(%rip),%xmm5
  movss  D266(%rip),%xmm10
  subss  %xmm3,%xmm2
  subss  %xmm3,%xmm4
  movss  0x8(%rdi),%xmm3
  movss  D510(%rip),%xmm11
  subss  D163(%rip),%xmm3
  mulss  %xmm6,%xmm4
  mulss  %xmm1,%xmm3
  mulss  0x8(%rbx),%xmm1
  mulss  %xmm9,%xmm2
  mulss  0x4(%rbx),%xmm6
  addss  %xmm5,%xmm4
  mulss  (%rbx),%xmm9
  addss  %xmm5,%xmm3
  movss  %xmm1,0x2c(%rsp)
  movss  0xc(%rdi),%xmm1
  subss  D482(%rip),%xmm1
  addss  %xmm5,%xmm2
  movaps %xmm4,%xmm7
  movaps %xmm4,%xmm13
  mulss  %xmm4,%xmm7
  movaps %xmm3,%xmm14
  mulss  %xmm0,%xmm1
  mulss  0xc(%rbx),%xmm0
  mulss  %xmm2,%xmm10
  mulss  %xmm2,%xmm11
  mulss  %xmm7,%xmm13
  addss  %xmm5,%xmm1
  movaps %xmm3,%xmm5
  movss  %xmm0,0x30(%rsp)
  movss  D497(%rip),%xmm0
  mulss  %xmm3,%xmm5
  movss  %xmm10,0x10(%rsp)
  movss  D330(%rip),%xmm10
  mulss  %xmm4,%xmm0
  movss  %xmm11,0x34(%rsp)
  movaps %xmm1,%xmm8
  movaps %xmm1,%xmm15
  mulss  %xmm2,%xmm10
  mulss  %xmm4,%xmm11
  mulss  %xmm1,%xmm8
  mulss  %xmm5,%xmm14
  movss  %xmm0,0xc(%rsp)
  movss  D306(%rip),%xmm0
  movss  %xmm10,0x18(%rsp)
  movss  D201(%rip),%xmm10
  mulss  %xmm3,%xmm0
  mulss  %xmm2,%xmm10
  addss  D382(%rip),%xmm10
  mulss  %xmm8,%xmm15
  movss  %xmm0,0x14(%rsp)
  movss  D423(%rip),%xmm0
  mulss  %xmm2,%xmm0
  mulss  %xmm7,%xmm0
  movss  %xmm0,0x1c(%rsp)
  movss  D313(%rip),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm10,%xmm0
  movaps %xmm11,%xmm10
  movss  D109(%rip),%xmm11
  mulss  %xmm4,%xmm11
  addss  %xmm0,%xmm10
  movss  0xc(%rsp),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm10,%xmm0
  movss  0x10(%rsp),%xmm10
  mulss  %xmm1,%xmm10
  addss  %xmm0,%xmm10
  movss  0x14(%rsp),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm10,%xmm0
  movaps %xmm11,%xmm10
  movss  D301(%rip),%xmm11
  mulss  %xmm1,%xmm11
  addss  %xmm0,%xmm10
  movaps %xmm11,%xmm0
  movss  D521(%rip),%xmm11
  addss  %xmm10,%xmm0
  mulss  %xmm3,%xmm11
  movaps %xmm11,%xmm10
  movss  D294(%rip),%xmm11
  mulss  %xmm8,%xmm10
  mulss  %xmm2,%xmm11
  addss  %xmm0,%xmm10
  movaps %xmm11,%xmm0
  movss  D235(%rip),%xmm11
  mulss  %xmm7,%xmm0
  mulss  %xmm4,%xmm11
  addss  %xmm10,%xmm0
  movss  0x18(%rsp),%xmm10
  mulss  %xmm4,%xmm10
  mulss  %xmm5,%xmm10
  addss  %xmm0,%xmm10
  movaps %xmm11,%xmm0
  movss  D42(%rip),%xmm11
  mulss  %xmm14,%xmm0
  mulss  %xmm2,%xmm11
  addss  %xmm10,%xmm0
  movaps %xmm11,%xmm10
  movss  D474(%rip),%xmm11
  mulss  %xmm15,%xmm10
  mulss  %xmm2,%xmm11
  addss  %xmm0,%xmm10
  movaps %xmm11,%xmm0
  movaps %xmm2,%xmm11
  mulss  %xmm13,%xmm0
  mulss  %xmm2,%xmm11
  mulss  D486(%rip),%xmm11
  addss  %xmm10,%xmm0
  movss  0x1c(%rsp),%xmm10
  mulss  %xmm1,%xmm10
  addss  %xmm10,%xmm0
  movaps %xmm11,%xmm10
  mulss  %xmm3,%xmm10
  movss  %xmm10,0x20(%rsp)
  movss  D258(%rip),%xmm10
  mulss  %xmm2,%xmm10
  mulss  %xmm5,%xmm10
  movss  %xmm10,0x24(%rsp)
  movss  D217(%rip),%xmm10
  mulss  %xmm14,%xmm10
  movss  %xmm10,0x28(%rsp)
  movss  0x20(%rsp),%xmm10
  mulss  %xmm1,%xmm10
  addss  %xmm10,%xmm0
  movss  0x24(%rsp),%xmm10
  mulss  %xmm1,%xmm10
  addss  %xmm0,%xmm10
  movss  0x28(%rsp),%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm0,%xmm10
  movss  D297(%rip),%xmm0
  mulss  %xmm4,%xmm0
  movss  %xmm0,0x38(%rsp)
  mulss  %xmm3,%xmm0
  mulss  %xmm8,%xmm0
  addss  %xmm0,%xmm10
  movaps %xmm9,%xmm0
  addss  %xmm12,%xmm0
  addss  %xmm6,%xmm0
  addss  0x2c(%rsp),%xmm0
  addss  0x30(%rsp),%xmm0
  ucomiss %xmm12,%xmm0
  jp     L85
  movaps %xmm12,%xmm0
  jne    L85
L63:
  movss  %xmm0,(%rbx)
  mov    0xf8(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L94
  add    $0x100,%rsp
  movaps %xmm10,%xmm0
  pop    %rbx
  ret
  nopl   0x0(%rax,%rax,1)
L85:
  movss  %xmm6,0x40(%rsp)
  mulss  %xmm9,%xmm9
  movss  D510(%rip),%xmm6
  movss  D266(%rip),%xmm0
  mulss  D42(%rip),%xmm15
  movss  %xmm7,0x5c(%rsp)
  mov    $0x2,%edi
  mulss  %xmm4,%xmm6
  movss  %xmm10,0x6c(%rsp)
  mulss  %xmm1,%xmm0
  movss  %xmm11,0x60(%rsp)
  mulss  D474(%rip),%xmm13
  movss  %xmm12,0x58(%rsp)
  movss  %xmm9,0x3c(%rsp)
  movss  %xmm8,0x68(%rsp)
  movaps %xmm6,%xmm9
  movss  D294(%rip),%xmm6
  subss  D12(%rip),%xmm9
  movss  %xmm14,0x64(%rsp)
  movss  %xmm4,0x54(%rsp)
  mulss  %xmm7,%xmm6
  movss  %xmm2,0x50(%rsp)
  addss  %xmm9,%xmm0
  movss  %xmm3,0x4c(%rsp)
  movss  %xmm5,0x48(%rsp)
  movss  %xmm1,0x44(%rsp)
  movaps %xmm6,%xmm9
  addss  %xmm0,%xmm9
  movss  D330(%rip),%xmm0
  mulss  %xmm4,%xmm0
  mulss  %xmm5,%xmm0
  addss  %xmm9,%xmm0
  addss  %xmm0,%xmm15
  movaps %xmm2,%xmm0
  mulss  D391(%rip),%xmm0
  addss  %xmm15,%xmm13
  movss  D423(%rip),%xmm15
  mulss  %xmm7,%xmm15
  movss  D258(%rip),%xmm7
  mulss  %xmm3,%xmm0
  mulss  %xmm5,%xmm7
  mulss  %xmm1,%xmm15
  mulss  %xmm1,%xmm0
  movaps %xmm7,%xmm9
  mulss  %xmm1,%xmm9
  addss  %xmm13,%xmm15
  addss  %xmm15,%xmm0
  addss  %xmm9,%xmm0
  call   <pow@plt>
  movss  0x34(%rsp),%xmm5
  mov    $0x2,%edi
  movss  0x58(%rsp),%xmm12
  mulss  0x3c(%rsp),%xmm0
  movss  0x4c(%rsp),%xmm3
  addss  %xmm12,%xmm5
  movss  0x54(%rsp),%xmm4
  movss  0x40(%rsp),%xmm6
  movss  0x50(%rsp),%xmm2
  movss  0x18(%rsp),%xmm1
  mulss  %xmm6,%xmm6
  movss  0x64(%rsp),%xmm14
  movss  0x5c(%rsp),%xmm7
  movss  %xmm4,0x50(%rsp)
  mulss  D122(%rip),%xmm7
  movss  0x68(%rsp),%xmm8
  movss  %xmm2,0x4c(%rsp)
  movss  %xmm0,0x3c(%rsp)
  movaps %xmm5,%xmm0
  movss  D497(%rip),%xmm5
  movss  %xmm8,0x34(%rsp)
  mulss  %xmm3,%xmm5
  movss  %xmm6,0x40(%rsp)
  mulss  %xmm2,%xmm7
  addss  %xmm5,%xmm0
  movss  D189(%rip),%xmm5
  subss  D111(%rip),%xmm0
  mulss  %xmm4,%xmm5
  movaps %xmm5,%xmm6
  movss  0x48(%rsp),%xmm5
  mulss  %xmm2,%xmm6
  mulss  %xmm5,%xmm1
  movss  %xmm5,0x54(%rsp)
  movss  D235(%rip),%xmm5
  mulss  %xmm14,%xmm5
  addss  %xmm0,%xmm6
  movaps %xmm1,%xmm0
  movss  0x44(%rsp),%xmm1
  movss  %xmm3,0x44(%rsp)
  addss  %xmm6,%xmm0
  movaps %xmm5,%xmm6
  movaps %xmm4,%xmm5
  movss  %xmm1,0x48(%rsp)
  mulss  D75(%rip),%xmm5
  movss  D297(%rip),%xmm4
  addss  %xmm0,%xmm6
  mulss  %xmm3,%xmm4
  movaps %xmm5,%xmm0
  addss  %xmm6,%xmm7
  mulss  %xmm2,%xmm0
  movaps %xmm4,%xmm6
  mulss  %xmm8,%xmm6
  mulss  %xmm1,%xmm0
  addss  %xmm7,%xmm0
  addss  %xmm6,%xmm0
  call   <pow@plt>
  mulss  0x40(%rsp),%xmm0
  mov    $0x2,%edi
  movss  0x48(%rsp),%xmm1
  movss  D306(%rip),%xmm4
  movss  0x3c(%rsp),%xmm6
  movss  0x34(%rsp),%xmm8
  movss  0x44(%rsp),%xmm3
  movss  %xmm1,0x3c(%rsp)
  mulss  %xmm1,%xmm4
  movss  0x4c(%rsp),%xmm2
  movss  0x54(%rsp),%xmm5
  movss  D38(%rip),%xmm12
  movss  0x60(%rsp),%xmm11
  addss  %xmm0,%xmm6
  movss  0x2c(%rsp),%xmm7
  movss  %xmm2,0x40(%rsp)
  movss  D313(%rip),%xmm0
  addss  0xc(%rsp),%xmm0
  mulss  %xmm5,%xmm12
  mulss  %xmm1,%xmm11
  movss  %xmm6,0x18(%rsp)
  mulss  D334(%rip),%xmm5
  movaps %xmm4,%xmm6
  movss  D492(%rip),%xmm4
  addss  %xmm0,%xmm6
  movss  D521(%rip),%xmm0
  mulss  %xmm7,%xmm7
  mulss  %xmm3,%xmm4
  mulss  %xmm8,%xmm0
  mulss  %xmm1,%xmm5
  movss  %xmm7,0x2c(%rsp)
  addss  %xmm6,%xmm0
  movaps %xmm4,%xmm6
  movss  0x50(%rsp),%xmm4
  mulss  %xmm2,%xmm6
  movss  %xmm4,0x48(%rsp)
  mulss  %xmm4,%xmm6
  addss  %xmm6,%xmm0
  movaps %xmm12,%xmm6
  mulss  %xmm4,%xmm6
  addss  %xmm0,%xmm6
  movss  D475(%rip),%xmm0
  mulss  %xmm3,%xmm0
  addss  %xmm6,%xmm11
  mulss  %xmm2,%xmm0
  mulss  %xmm1,%xmm0
  addss  %xmm11,%xmm0
  addss  %xmm0,%xmm5
  movss  0x38(%rsp),%xmm0
  mulss  %xmm8,%xmm0
  addss  %xmm5,%xmm0
  call   <pow@plt>
  movss  0x3c(%rsp),%xmm1
  movss  D243(%rip),%xmm5
  mov    $0x2,%edi
  mulss  0x2c(%rsp),%xmm0
  movss  0x58(%rsp),%xmm12
  mulss  %xmm1,%xmm5
  addss  0x18(%rsp),%xmm0
  movss  0x10(%rsp),%xmm6
  mulss  D501(%rip),%xmm1
  movss  0x44(%rsp),%xmm3
  movss  0x34(%rsp),%xmm8
  addss  %xmm12,%xmm6
  mulss  D519(%rip),%xmm8
  movss  0x48(%rsp),%xmm4
  movss  %xmm0,0xc(%rsp)
  movss  0x14(%rsp),%xmm0
  movss  0x40(%rsp),%xmm2
  movss  0x30(%rsp),%xmm7
  mulss  %xmm3,%xmm5
  addss  %xmm6,%xmm0
  addss  D301(%rip),%xmm0
  mulss  %xmm4,%xmm1
  mulss  %xmm2,%xmm8
  mulss  %xmm7,%xmm7
  addss  %xmm5,%xmm0
  mulss  %xmm3,%xmm1
  addss  %xmm8,%xmm0
  addss  0x1c(%rsp),%xmm0
  movss  %xmm7,0x18(%rsp)
  addss  0x20(%rsp),%xmm0
  addss  0x24(%rsp),%xmm0
  addss  0x28(%rsp),%xmm0
  addss  %xmm1,%xmm0
  call   <pow@plt>
  mulss  0x18(%rsp),%xmm0
  addss  0xc(%rsp),%xmm0
  call   <sqrt@plt>
  movss  0x6c(%rsp),%xmm10
  jmp    L63
  nopl   0x0(%rax,%rax,1)
L45:
  pxor   %xmm12,%xmm12
  movaps %xmm12,%xmm0
  movaps %xmm12,%xmm1
  movaps %xmm12,%xmm6
  movaps %xmm12,%xmm9
  jmp    L79
L94:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D450
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D507
type_infered: f32
name: extract_symbolic_data
arguments: data_tag: D479
type_infered: f32
name: extract_symbolic_data
arguments: data_tag: D212
type_infered: f32
name: extract_symbolic_data
arguments: data_tag: D266
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D510
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D163
type_infered: f32
name: extract_symbolic_data
arguments: data_tag: D482
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D497
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D330
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D306
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D201
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D382
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D423
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D313
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D109
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D301
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D521
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D294
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D235
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D42
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D474
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D486
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D258
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D217
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D297
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D12
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D391
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D122
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D189
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D111
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D75
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D38
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D334
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D492
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D475
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D243
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D501
type_infered: byte[4]
name: extract_symbolic_data
arguments: data_tag: D519
type_infered: byte[4]

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

tool: D507: 15

tool: D479: 2

tool: D212: 1

tool: {"D266": [0xcd,0x49,0xd8,0xbb]}

tool: {"D510": [0xb8,0x2a,0x82,0x3b]}

tool: D163: 18

tool: {"D482": [0x48,0xe1,0x8f,0x41]}

tool: {"D497": [0x5e,0xe9,0xe9,0xbb]}

tool: {"D330": [0x08,0x95,0x84,0xb9]}

tool: {"D306": [0x83,0xfa,0x41,0x3c]}

tool: {"D201": [0x94,0xa4,0x6b,0xbd]}

tool: {"D382": [0x99,0x07,0xcf,0x39]}

tool: {"D423": [0xbc,0x90,0x85,0xb9]}

tool: {"D313": [0x69,0x69,0x8e,0x3d]}

tool: {"D109": [0xe6,0x7f,0xa4,0xb8]}

tool: {"D301": [0x19,0x68,0x08,0x39]}

tool: {"D521": [0x58,0x10,0x80,0x38]}

tool: {"D294": [0x74,0xd9,0xd8,0xb7]}

tool: {"D235": [0x92,0xe7,0xaf,0x39]}

tool: {"D42": [0xc4,0xdc,0xea,0x38]}

tool: {"D474": [0x3d,0xe7,0xeb,0x38]}

tool: {"D486": [0x18,0x87,0x0b,0xb9]}

tool: {"D258": [0xf4,0x92,0x3c,0x3a]}

tool: {"D217": [0xde,0x2c,0x3e,0xba]}

tool: {"D297": [0xa1,0x3b,0x94,0x38]}

tool: {"D12": [0x94,0xa4,0x6b,0x3d]}

tool: {"D391": [0x18,0x87,0x8b,0xb9]}

tool: {"D122": [0x6e,0xed,0xb0,0x39]}

tool: {"D189": [0x74,0xd9,0x58,0xb8]}

tool: {"D111": [0xe6,0x7f,0xa4,0x38]}

tool: {"D75": [0xbc,0x90,0x05,0xba]}

tool: {"D38": [0xae,0xed,0x83,0x3a]}

tool: {"D334": [0xa6,0xa1,0x0e,0xbb]}

tool: {"D492": [0x08,0x95,0x04,0xba]}

tool: {"D475": [0xf4,0x92,0xbc,0x3a]}

tool: {"D243": [0x58,0x10,0x00,0x39]}

tool: {"D501": [0xa1,0x3b,0x14,0x39]}

tool: {"D519": [0x93,0x25,0xb0,0x39]}

assistant: ```c
float target_phi(float *x, float *dx, int m) {
  int ncoeff = 20;
  float avdat = 0.3949004E-03;
  float xmin[10] = {-0.15000E+02, -0.15000E+02, -0.18000E+02, -0.18017E+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.17985E+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.22601707E-07, -0.57530001E-01, 0.69536991E-01, 0.39723776E-02, -0.71384152E-02, -0.66005946E-02, 0.11839512E-01, -0.78439523E-04, 0.13008750E-03, 0.61065599E-04, -0.25850466E-04, -0.25288039E-03, 0.33551134E-03, 0.11199110E-03, 0.11248745E-03, -0.25475572E-03, -0.13306399E-03, 0.71935286E-03, -0.72546105E-03, 0.70682967E-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 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 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] * x31 * x42 + coeff[10] * x11 * x22 + coeff[11] * x11 * x21 * x32 + coeff[12] * x21 * x33 + coeff[13] * x11 * x43 + coeff[14] * x11 * x23 + coeff[15] * x11 * x22 * x41 + coeff[16] * x12 * x31 * x41;
  v_target_phi = v_target_phi + coeff[17] * x11 * x32 * x41 + coeff[18] * x33 * x41 + coeff[19] * x21 * x31 * 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 + coeff[10] * x22 + coeff[11] * x21 * x32 + coeff[13] * x43 + coeff[14] * x23 + coeff[15] * x22 * x41 + 2 * coeff[16] * x11 * x31 * x41 + coeff[17] * x32 * x41, 2) + dx2 * dx2 * pow(0 + coeff[3] * x11 + coeff[4] * x31 + coeff[7] + 2 * coeff[10] * x21 * x11 + coeff[11] * x11 * x32 + coeff[12] * x33 + 3 * coeff[14] * x22 * x11 + 2 * coeff[15] * x21 * x11 * x41 + coeff[19] * x31 * x42, 2) + dx3 * dx3 * pow(0 + coeff[2] + coeff[4] * x21 + coeff[6] * x41 + coeff[9] * x42 + 2 * coeff[11] * x31 * x11 * x21 + 3 * coeff[12] * x32 * x21 + coeff[16] * x12 * x41 + 2 * coeff[17] * x31 * x11 * x41 + 3 * coeff[18] * x32 * x41 + coeff[19] * x21 * x42, 2) + dx4 * dx4 * pow(0 + coeff[5] * x11 + coeff[6] * x31 + coeff[8] + 2 * coeff[9] * x41 * x31 + 3 * coeff[13] * x42 * x11 + coeff[15] * x11 * x22 + coeff[16] * x12 * x31 + coeff[17] * x11 * x32 + coeff[18] * x33 + 2 * coeff[19] * x41 * x21 * x31, 2));
  dx[0] = dv_target_phi;
  return v_target_phi;
}
```