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

```asm
<categorizeGTRGAMMAMULT>:
  endbr64
  push   %r15
  pxor   %xmm2,%xmm2
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %r9,%rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    0xc0(%rsp),%rax
  mov    0xf0(%rsp),%r15d
  mov    %rdi,0x50(%rsp)
  mov    %rsi,0x78(%rsp)
  mov    0xe8(%rsp),%ebx
  mov    %rax,0x60(%rsp)
  mov    0xc8(%rsp),%rax
  mov    %rdx,0x58(%rsp)
  mov    %rax,0x68(%rsp)
  mov    0xd0(%rsp),%eax
  mov    %rcx,0x30(%rsp)
  mov    %eax,0x38(%rsp)
  mov    0xd8(%rsp),%eax
  mov    %r8,0x20(%rsp)
  mov    %eax,0x40(%rsp)
  mov    0xe0(%rsp),%rax
  movsd  %xmm2,0x8(%rsp)
  mov    %rax,0x70(%rsp)
  test   %r15d,%r15d
  jne    L48
  movsd  D49(%rip),%xmm0
  maxsd  (%rcx),%xmm0
  call   <log@plt>
  movsd  %xmm0,0x8(%rsp)
L48:
  movslq %ebx,%rax
  xor    %r13d,%r13d
  lea    (%rax,%rax,2),%rdi
  mov    %rax,0x28(%rsp)
  shl    $0x5,%rdi
  call   <malloc@plt>
  mov    %rax,0x48(%rsp)
  lea    0x60(%rax),%r12
  test   %ebx,%ebx
  jle    L6
  nopl   0x0(%rax)
L53:
  test   %r15d,%r15d
  je     L90
  mov    0x30(%rsp),%rax
  movsd  D49(%rip),%xmm0
  maxsd  (%rax,%r13,8),%xmm0
  call   <log@plt>
  movsd  %xmm0,0x8(%rsp)
L90:
  movsd  0x0(%rbp),%xmm7
  mov    0x20(%rsp),%rcx
  mov    %r13,%rax
  lea    -0x60(%r12),%rbx
  shl    $0x5,%rax
  movsd  %xmm7,0x18(%rsp)
  lea    (%rcx,%rax,1),%r14
L63:
  movsd  (%r14),%xmm7
  movsd  0x18(%rsp),%xmm0
  add    $0x18,%rbx
  add    $0x8,%r14
  mulsd  %xmm7,%xmm0
  movsd  %xmm7,0x10(%rsp)
  mulsd  0x8(%rsp),%xmm0
  call   <exp@plt>
  movsd  %xmm0,-0x18(%rbx)
  movsd  0x10(%rsp),%xmm0
  mulsd  0x8(%rbp),%xmm0
  mulsd  0x8(%rsp),%xmm0
  call   <exp@plt>
  movsd  %xmm0,-0x10(%rbx)
  movsd  0x10(%rsp),%xmm0
  mulsd  0x10(%rbp),%xmm0
  mulsd  0x8(%rsp),%xmm0
  call   <exp@plt>
  movsd  %xmm0,-0x8(%rbx)
  cmp    %r12,%rbx
  jne    L63
  add    $0x1,%r13
  add    $0x18,%rbp
  add    $0x60,%r12
  cmp    %r13,0x28(%rsp)
  jne    L53
L6:
  mov    0x40(%rsp),%esi
  cmp    %esi,0x38(%rsp)
  jge    L85
  mov    0x40(%rsp),%ebx
  movslq 0x38(%rsp),%r13
  sub    $0x1,%ebx
  lea    0x1(%r13),%r12
  mov    %r13,%r15
  sub    %r13d,%ebx
  shl    $0x7,%r15
  add    0x78(%rsp),%r15
  lea    (%rbx,%r12,1),%rax
  mov    %r15,%rbp
  xor    %ebx,%ebx
  mov    %rax,0x78(%rsp)
  mov    %r12,%rax
  mov    %r13,%r12
  mov    %rax,%r13
  jmp    L70
  nopl   0x0(%rax,%rax,1)
L109:
  xor    %ebx,%ebx
L62:
  comisd %xmm3,%xmm1
  jbe    L17
  movapd %xmm3,%xmm1
  mov    $0x1,%ebx
L17:
  comisd %xmm4,%xmm1
  jbe    L81
  movapd %xmm4,%xmm1
  mov    $0x2,%ebx
L81:
  ucomisd %xmm0,%xmm1
  mov    $0x3,%edx
  mov    0x68(%rsp),%rax
  cmova  %edx,%ebx
  sub    $0xffffffffffffff80,%rbp
  lea    (%rbx,%r14,4),%edx
  mov    %edx,(%rax,%r12,4)
  mov    %r13,%r12
  cmp    %r13,0x78(%rsp)
  je     L85
  add    $0x1,%r13
L70:
  mov    0x70(%rsp),%rax
  movsd  0x8(%rbp),%xmm0
  movsd  0x0(%rbp),%xmm1
  movsd  0x10(%rbp),%xmm4
  mov    (%rax,%r12,4),%r14d
  mov    0x50(%rsp),%rax
  mov    %r14d,%edx
  movsbl (%rax,%r12,1),%r9d
  mov    0x60(%rsp),%rax
  shl    $0x4,%edx
  add    %r9d,%edx
  shl    $0x2,%edx
  movslq %edx,%rdx
  lea    (%rax,%rdx,8),%r9
  lea    (%r14,%r14,2),%edx
  mov    0x48(%rsp),%rax
  movsd  0x8(%r9),%xmm7
  shl    $0x2,%edx
  movsd  (%r9),%xmm2
  movslq %edx,%rdx
  movsd  0x10(%r9),%xmm3
  movsd  0x18(%r9),%xmm5
  lea    (%rax,%rdx,8),%r15
  mulsd  %xmm7,%xmm0
  movsd  %xmm7,0x10(%rsp)
  mulsd  %xmm2,%xmm1
  movsd  %xmm2,0x8(%rsp)
  mulsd  (%r15),%xmm0
  movsd  %xmm3,0x18(%rsp)
  mulsd  %xmm3,%xmm4
  movsd  %xmm5,0x20(%rsp)
  addsd  %xmm1,%xmm0
  movsd  0x8(%r15),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm0
  movsd  0x18(%rbp),%xmm1
  mulsd  %xmm5,%xmm1
  mulsd  0x10(%r15),%xmm1
  addsd  %xmm1,%xmm0
  call   <log@plt>
  mov    0x58(%rsp),%rax
  movsd  D63(%rip),%xmm6
  movapd %xmm0,%xmm1
  pxor   %xmm0,%xmm0
  movsd  0x8(%rsp),%xmm3
  movsd  0x18(%rsp),%xmm5
  cvtsi2sdl (%rax,%r12,4),%xmm0
  mulsd  0x20(%rbp),%xmm3
  movsd  0x20(%rsp),%xmm4
  mulsd  0x30(%rbp),%xmm5
  mulsd  0x38(%rbp),%xmm4
  mulsd  %xmm0,%xmm6
  movsd  0x10(%rsp),%xmm0
  mulsd  0x28(%rbp),%xmm0
  mulsd  0x18(%r15),%xmm0
  addsd  %xmm6,%xmm1
  movsd  %xmm6,0x28(%rsp)
  addsd  %xmm3,%xmm0
  movsd  0x20(%r15),%xmm3
  movsd  %xmm1,0x40(%rsp)
  mulsd  %xmm5,%xmm3
  addsd  %xmm3,%xmm0
  movsd  0x28(%r15),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  %xmm3,%xmm0
  call   <log@plt>
  movsd  0x28(%rsp),%xmm1
  movsd  0x8(%rsp),%xmm4
  mulsd  0x40(%rbp),%xmm4
  movsd  0x20(%rsp),%xmm2
  addsd  %xmm0,%xmm1
  movsd  0x10(%rsp),%xmm0
  mulsd  0x48(%rbp),%xmm0
  mulsd  0x30(%r15),%xmm0
  mulsd  0x58(%rbp),%xmm2
  movsd  %xmm1,0x38(%rsp)
  addsd  %xmm4,%xmm0
  movsd  0x18(%rsp),%xmm4
  mulsd  0x50(%rbp),%xmm4
  mulsd  0x38(%r15),%xmm4
  addsd  %xmm4,%xmm0
  movsd  0x40(%r15),%xmm4
  mulsd  %xmm2,%xmm4
  addsd  %xmm4,%xmm0
  call   <log@plt>
  movsd  0x28(%rsp),%xmm3
  movsd  0x8(%rsp),%xmm5
  mulsd  0x60(%rbp),%xmm5
  addsd  %xmm0,%xmm3
  movsd  0x10(%rsp),%xmm0
  mulsd  0x68(%rbp),%xmm0
  mulsd  0x48(%r15),%xmm0
  movsd  %xmm3,0x30(%rsp)
  addsd  %xmm5,%xmm0
  movsd  0x18(%rsp),%xmm5
  mulsd  0x70(%rbp),%xmm5
  mulsd  0x50(%r15),%xmm5
  addsd  %xmm5,%xmm0
  movsd  0x20(%rsp),%xmm5
  mulsd  0x78(%rbp),%xmm5
  mulsd  0x58(%r15),%xmm5
  addsd  %xmm5,%xmm0
  call   <log@plt>
  movsd  0x40(%rsp),%xmm1
  movsd  0x38(%rsp),%xmm3
  movsd  0x30(%rsp),%xmm4
  addsd  0x28(%rsp),%xmm0
  movapd %xmm1,%xmm5
  mov    D52(%rip),%rax
  movsd  D34(%rip),%xmm6
  addsd  %xmm3,%xmm5
  movsd  D23(%rip),%xmm7
  movq   %rax,%xmm2
  mulsd  %xmm2,%xmm1
  addsd  %xmm4,%xmm5
  mulsd  %xmm2,%xmm3
  mulsd  %xmm2,%xmm4
  addsd  %xmm0,%xmm5
  mulsd  %xmm2,%xmm0
  mulsd  %xmm2,%xmm5
  divsd  %xmm5,%xmm6
  mulsd  %xmm6,%xmm1
  mulsd  %xmm6,%xmm3
  mulsd  %xmm6,%xmm4
  mulsd  %xmm6,%xmm0
  comisd %xmm1,%xmm7
  ja     L109
  mov    D23(%rip),%rax
  movq   %rax,%xmm1
  jmp    L62
  nopl   (%rax)
L85:
  mov    0x48(%rsp),%rdi
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  jmp    1080 <free@plt>
```

tool_calls: name: extract_symbolic_data
arguments: data_tag: D49
datatype: byte[8]
name: extract_symbolic_data
arguments: data_tag: D63
datatype: byte[8]
name: extract_symbolic_data
arguments: data_tag: D52
datatype: f64
name: extract_symbolic_data
arguments: data_tag: D34
datatype: f64
name: extract_symbolic_data
arguments: data_tag: D23
datatype: f64

tool: {"D49": [0x16,0x56,0xe7,0x9e,0xaf,0x03,0xd2,0x3c]}

tool: {"D63": [0xef,0x39,0xfa,0xfe,0x42,0x2e,0x66,0xc0]}

tool: D52: 0.25

tool: D34: 1

tool: D23: 1e+300

assistant: ```c
void categorizeGTRGAMMAMULT(char *tipX1, double *x2_start, int *ex2, double *pz, double *gammaRates, double *EIGN, double *tipVector, int *rateCategory, int lower, int upper, int *modelptr, int NumberOfModels, int multiBranch) {
  double z, lz = 0.0, term[4], ki;
  int i, index = 0;
  double *diagptable, *diagptable_start, allSum, min;
  double *x1, *x2;
  int model;
  if (!multiBranch) {
    z = pz[0];
    if (z < 1.0E-15)
      z = 1.0E-15;
    lz = log(z);
  }
  diagptable = diagptable_start = (double *)malloc(sizeof(double) * 12 * NumberOfModels);
  for (model = 0; model < NumberOfModels; model++) {
    if (multiBranch) {
      z = pz[model];
      if (z < 1.0E-15)
        z = 1.0E-15;
      lz = log(z);
    }
    diagptable = &diagptable_start[12 * model];
    for (i = 0; i < 4; i++) {
      ki = gammaRates[model * 4 + i];
      *diagptable++ = exp(EIGN[model * 3] * ki * lz);
      *diagptable++ = exp(EIGN[model * 3 + 1] * ki * lz);
      *diagptable++ = exp(EIGN[model * 3 + 2] * ki * lz);
    }
  }
  for (i = lower; i < upper; i++) {
    model = modelptr[i];
    x1 = &(tipVector[64 * model + 4 * tipX1[i]]);
    x2 = &x2_start[16 * i];
    diagptable = &diagptable_start[12 * model];
    term[0] = x1[0] * x2[0];
    term[0] += x1[1] * x2[1] * *diagptable++;
    term[0] += x1[2] * x2[2] * *diagptable++;
    term[0] += x1[3] * x2[3] * *diagptable++;
    term[0] = log(term[0]) + ex2[i] * log((1.0 / 115792089237316195423570985008687907853269984665640564039457584007913129639936.0));
    term[1] = x1[0] * x2[4];
    term[1] += x1[1] * x2[5] * *diagptable++;
    term[1] += x1[2] * x2[6] * *diagptable++;
    term[1] += x1[3] * x2[7] * *diagptable++;
    term[1] = log(term[1]) + ex2[i] * log((1.0 / 115792089237316195423570985008687907853269984665640564039457584007913129639936.0));
    term[2] = x1[0] * x2[8];
    term[2] += x1[1] * x2[9] * *diagptable++;
    term[2] += x1[2] * x2[10] * *diagptable++;
    term[2] += x1[3] * x2[11] * *diagptable++;
    term[2] = log(term[2]) + ex2[i] * log((1.0 / 115792089237316195423570985008687907853269984665640564039457584007913129639936.0));
    term[3] = x1[0] * x2[12];
    term[3] += x1[1] * x2[13] * *diagptable++;
    term[3] += x1[2] * x2[14] * *diagptable++;
    term[3] += x1[3] * x2[15] * *diagptable++;
    term[3] = log(term[3]) + (ex2[i]) * log((1.0 / 115792089237316195423570985008687907853269984665640564039457584007913129639936.0));
    allSum = 0.25 * (term[0] + term[1] + term[2] + term[3]);
    allSum = 1.0 / allSum;
    term[0] = 0.25 * term[0] * allSum;
    term[1] = 0.25 * term[1] * allSum;
    term[2] = 0.25 * term[2] * allSum;
    term[3] = 0.25 * term[3] * allSum;
    min = 1.0E300;
    if (term[0] < min) {
      min = term[0];
      index = 0;
    }
    if (term[1] < min) {
      min = term[1];
      index = 1;
    }
    if (term[2] < min) {
      min = term[2];
      index = 2;
    }
    if (term[3] < min) {
      min = term[3];
      index = 3;
    }
    rateCategory[i] = model * 4 + index;
  }
  free(diagptable_start);
  return;
}
```