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

```asm
<check_t_terms>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x58,%rsp
  mov    %rdi,%rbx
  mov    %rsi,%r13
  mov    %fs:0x28,%rax
  mov    %rax,0x48(%rsp)
  xor    %eax,%eax
  divsd  D66(%rip),%xmm0
  movapd %xmm0,%xmm1
  movsd  %xmm0,0x10(%rsp)
  movsd  %xmm0,0x20(%rsp)
  movsd  %xmm0,0x28(%rsp)
  mulsd  %xmm0,%xmm0
  movsd  %xmm0,0x30(%rsp)
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x38(%rsp)
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,0x40(%rsp)
  lea    D78(%rip),%rsi
  call   <strpbrk@plt>
  test   %rax,%rax
  setne  %al
  movzbl %al,%eax
  mov    %eax,0xc(%rsp)
  movq   $0x0,0x0(%r13)
  mov    D47(%rip),%r12
  mov    $0x0,%ebp
  lea    D78(%rip),%r14
  lea    D13(%rip),%r15
  jmp    L119
L111:
  movsbl %sil,%esi
  lea    D39(%rip),%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L68
  add    $0x1,%rbx
  jmp    L119
L172:
  movzbl (%rbx),%esi
  test   %sil,%sil
  jne    L8
  test   %ebp,%ebp
  jle    L118
L91:
  movq   %r12,%xmm0
  addsd  0x0(%r13),%xmm0
  movsd  %xmm0,0x0(%r13)
L233:
  movzbl (%rbx),%eax
  cmp    $0x2d,%al
  je     L61
  test   %al,%al
  je     L118
  mov    D47(%rip),%r12
L268:
  add    $0x1,%rbx
L25:
  add    $0x1,%ebp
L119:
  movzbl (%rbx),%esi
  test   %sil,%sil
  jne    L111
L68:
  movsbl (%rbx),%esi
  mov    %r14,%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L172
  test   %ebp,%ebp
  jg     L91
  jmp    L233
L61:
  mov    D28(%rip),%r12
  jmp    L268
L8:
  movsbl %sil,%esi
  mov    %r15,%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L230
  add    $0x1,%rbx
  movzbl (%rbx),%esi
  test   %sil,%sil
  jne    L8
L128:
  mov    %rbx,%rdi
  call   <atof@plt>
  ucomisd D100(%rip),%xmm0
  jp     L279
  jne    L279
  cmpb   $0x30,(%rbx)
  jne    L104
L279:
  mov    %rbx,%rdi
  call   <atof@plt>
  movq   %r12,%xmm2
  mulsd  %xmm0,%xmm2
  movq   %xmm2,%r12
L104:
  movzbl (%rbx),%esi
  test   %sil,%sil
  je     L25
L80:
  movsbl %sil,%esi
  lea    D38(%rip),%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L25
  add    $0x1,%rbx
  movzbl (%rbx),%esi
  test   %sil,%sil
  jne    L80
  jmp    L25
L230:
  movzbl (%rbx),%esi
  test   %sil,%sil
  je     L128
  movsbl %sil,%esi
  lea    D0(%rip),%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L128
  lea    0x1(%rbx),%rax
  mov    %rax,0x18(%rsp)
  movzbl 0x1(%rbx),%eax
  test   %al,%al
  je     L217
  movsbl %al,%esi
  mov    %r14,%rdi
  call   <strchr@plt>
  test   %rax,%rax
  je     L217
  movq   %r12,%xmm3
  mulsd  0x10(%rsp),%xmm3
  movq   %xmm3,%r12
  mov    0x18(%rsp),%rbx
  jmp    L104
L217:
  mov    0x18(%rsp),%rbx
  mov    %rbx,%rdi
  call   <atoi@plt>
  cmp    $0x4,%eax
  ja     L104
  cltq
  movq   %r12,%xmm5
  mulsd  0x20(%rsp,%rax,8),%xmm5
  movq   %xmm5,%r12
  mov    0x18(%rsp),%rbx
  jmp    L104
L118:
  mov    0x48(%rsp),%rax
  sub    %fs:0x28,%rax
  jne    L197
  mov    0xc(%rsp),%eax
  add    $0x58,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L197:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: read_data
arguments: data_tag: D66
type_infered: byte[8]
name: read_data
arguments: data_tag: D78
type_infered: string
name: read_data
arguments: data_tag: D47
type_infered: byte[8]
name: read_data
arguments: data_tag: D13
type_infered: string
name: read_data
arguments: data_tag: D39
type_infered: string
name: read_data
arguments: data_tag: D28
type_infered: byte[8]
name: read_data
arguments: data_tag: D100
type_infered: byte[8]
name: read_data
arguments: data_tag: D38
type_infered: string
name: read_data
arguments: data_tag: D0
type_infered: string

tool: {"D66": [0x00,0x00,0x00,0x00,0xa0,0xd5,0xe1,0x40]}

tool: D78: +-

tool: {"D47": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0x3f]}

tool: D13: * 	

tool: D39:  	

tool: {"D28": [0x00,0x00,0x00,0x00,0x00,0x00,0xf0,0xbf]}

tool: {"D100": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

tool: D38: 0123456789.

tool: D0: tT

assistant: ```c
int check_t_terms(double t, char *sinp, double *doutp) {
  int i, isgn = 1, z;
  int retc = 0;
  char *sp;
  double tt[5], fac;
  tt[0] = t / 36525;
  tt[1] = tt[0];
  tt[2] = tt[1] * tt[1];
  tt[3] = tt[2] * tt[1];
  tt[4] = tt[3] * tt[1];
  if ((sp = strpbrk(sinp, "+-")) != NULL)
    retc = 1;
  sp = sinp;
  *doutp = 0;
  fac = 1;
  z = 0;
  while (1) {
    while (*sp != '\0' && strchr(" \t", *sp) != NULL)
      sp++;
    if (strchr("+-", *sp) || *sp == '\0') {
      if (z > 0)
        *doutp += fac;
      isgn = 1;
      if (*sp == '-')
        isgn = -1;
      fac = 1 * isgn;
      if (*sp == '\0')
        return retc;
      sp++;
    } else {
      while (*sp != '\0' && strchr("* \t", *sp) != NULL)
        sp++;
      if (*sp != '\0' && strchr("tT", *sp) != NULL) {
        sp++;
        if (*sp != '\0' && strchr("+-", *sp))
          fac *= tt[0];
        else if ((i = atoi(sp)) <= 4 && i >= 0)
          fac *= tt[i];
      } else {
        if (atof(sp) != 0 || *sp == '0')
          fac *= atof(sp);
      }
      while (*sp != '\0' && strchr("0123456789.", *sp))
        sp++;
    }
    z++;
  }
  return retc;
}
```