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

```asm
<golden>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x48,%rsp
  mov    %edi,%ebp
  mov    %esi,%ebx
  mov    %edx,0x34(%rsp)
  mov    %ecx,%r12d
  mov    %r8d,%r13d
  mov    %r9d,%r14d
  mov    0x80(%rsp),%r15d
  movsd  %xmm0,0x28(%rsp)
  movsd  %xmm1,(%rsp)
  movsd  %xmm2,0x20(%rsp)
  movsd  %xmm3,0x8(%rsp)
  movapd %xmm2,%xmm1
  movsd  (%rsp),%xmm3
  subsd  %xmm3,%xmm1
  movapd %xmm3,%xmm5
  subsd  %xmm0,%xmm5
  comisd %xmm5,%xmm1
  jbe    L25
  mulsd  D50(%rip),%xmm1
  addsd  %xmm3,%xmm1
  movsd  %xmm1,0x38(%rsp)
  sub    $0x8,%rsp
  push   %r15
  movapd %xmm1,%xmm0
  call   <backvalue@plt>
  add    $0x10,%rsp
  movsd  0x8(%rsp),%xmm2
  movsd  %xmm2,0x10(%rsp)
  movsd  %xmm0,0x8(%rsp)
  movsd  (%rsp),%xmm3
  movsd  %xmm3,0x18(%rsp)
  movsd  0x38(%rsp),%xmm5
  movsd  %xmm5,(%rsp)
L58:
  movsd  0x20(%rsp),%xmm0
  subsd  0x28(%rsp),%xmm0
  comisd D64(%rip),%xmm0
  ja     L15
L27:
  movsd  0x10(%rsp),%xmm6
  comisd 0x8(%rsp),%xmm6
  jbe    L51
  movsd  0x18(%rsp),%xmm7
  movsd  %xmm7,(%rsp)
  movsd  %xmm6,0x8(%rsp)
L51:
  mov    0x88(%rsp),%rax
  movsd  (%rsp),%xmm7
  movsd  %xmm7,(%rax)
  mov    0x90(%rsp),%rax
  movsd  0x8(%rsp),%xmm3
  movsd  %xmm3,(%rax)
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L25:
  movapd %xmm5,%xmm0
  mulsd  D50(%rip),%xmm0
  movsd  (%rsp),%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,0x18(%rsp)
  sub    $0x8,%rsp
  push   %r15
  movapd %xmm7,%xmm0
  mov    0x44(%rsp),%edx
  call   <backvalue@plt>
  movsd  %xmm0,0x20(%rsp)
  add    $0x10,%rsp
  jmp    L58
L10:
  movsd  0x18(%rsp),%xmm0
  mulsd  D21(%rip),%xmm0
  movsd  0x28(%rsp),%xmm1
  mulsd  D50(%rip),%xmm1
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x38(%rsp)
  sub    $0x8,%rsp
  push   %r15
  movapd %xmm1,%xmm0
  mov    %r14d,%r9d
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    0x44(%rsp),%edx
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <backvalue@plt>
  add    $0x10,%rsp
  movsd  0x10(%rsp),%xmm3
  movsd  %xmm3,0x8(%rsp)
  movsd  %xmm0,0x10(%rsp)
  movsd  (%rsp),%xmm7
  movsd  %xmm7,0x20(%rsp)
  movsd  0x18(%rsp),%xmm0
  movsd  %xmm0,(%rsp)
  movsd  0x38(%rsp),%xmm2
  movsd  %xmm2,0x18(%rsp)
L60:
  movsd  0x20(%rsp),%xmm0
  subsd  0x28(%rsp),%xmm0
  comisd D64(%rip),%xmm0
  jbe    L27
L15:
  movsd  0x8(%rsp),%xmm4
  comisd 0x10(%rsp),%xmm4
  jbe    L10
  movsd  (%rsp),%xmm0
  mulsd  D21(%rip),%xmm0
  movsd  0x20(%rsp),%xmm1
  mulsd  D50(%rip),%xmm1
  addsd  %xmm0,%xmm1
  movsd  %xmm1,0x38(%rsp)
  sub    $0x8,%rsp
  push   %r15
  movapd %xmm1,%xmm0
  mov    %r14d,%r9d
  mov    %r13d,%r8d
  mov    %r12d,%ecx
  mov    0x44(%rsp),%edx
  mov    %ebx,%esi
  mov    %ebp,%edi
  call   <backvalue@plt>
  add    $0x10,%rsp
  movsd  0x8(%rsp),%xmm4
  movsd  %xmm4,0x10(%rsp)
  movsd  %xmm0,0x8(%rsp)
  movsd  0x18(%rsp),%xmm7
  movsd  %xmm7,0x28(%rsp)
  movsd  (%rsp),%xmm0
  movsd  %xmm0,0x18(%rsp)
  movsd  0x38(%rsp),%xmm2
  movsd  %xmm2,(%rsp)
  jmp    L60
```

tool_calls: name: extract_symbolic_data
arguments: label: D50
type_infered: f64
name: extract_symbolic_data
arguments: label: D64
type_infered: byte[16]
name: extract_symbolic_data
arguments: label: D21
type_infered: f64

tool: D50: 0.38196601

tool: {"D64": [0xfc,0xa9,0xf1,0xd2,0x4d,0x62,0x50,0x3f,0x7a,0xb9,0xdb,0x37,0xef,0xc6,0xe3,0x3f]}

tool: D21: 0.61803399

assistant: ```c
void golden(int t, int r, int f1, int f2, int e, int a, int actn, double ul, double um, double ur, double vm, double *umax, double *vmax) {
  double u0, u1, u2, u3;
  double v1, v2;
  u0 = ul;
  u3 = ur;
  if ((ur - um) > (um - ul)) {
    u1 = um;
    v1 = vm;
    u2 = um + 0.38196601 * (ur - um);
    v2 = backvalue(t, r, f1, f2, e, a, u2, actn);
  } else {
    u2 = um;
    v2 = vm;
    u1 = um - 0.38196601 * (um - ul);
    v1 = backvalue(t, r, f1, f2, e, a, u1, actn);
  }
  while ((u3 - u0) > 1.0e-3) {
    if (v2 > v1) {
      (u0) = (u1);
      (u1) = (u2);
      (u2) = (0.61803399 * u1 + 0.38196601 * u3);
      ;
      v1 = v2;
      v2 = backvalue(t, r, f1, f2, e, a, u2, actn);
    } else {
      (u3) = (u2);
      (u2) = (u1);
      (u1) = (0.61803399 * u2 + 0.38196601 * u0);
      ;
      v2 = v1;
      v1 = backvalue(t, r, f1, f2, e, a, u1, actn);
    }
  }
  if (v1 > v2) {
    *umax = u1;
    *vmax = v1;
  } else {
    *umax = u2;
    *vmax = v2;
  }
  return;
}
```