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

```asm
<smart_sprint_time>:
  endbr64
  movsd  D95(%rip),%xmm1
  push   %r12
  comisd %xmm0,%xmm1
  ja     L7
  movsd  D112(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L6
  movsd  D29(%rip),%xmm1
  comisd %xmm0,%xmm1
  ja     L2
  movsd  D36(%rip),%xmm1
  cvttsd2si %xmm0,%r12d
  comisd %xmm0,%xmm1
  jbe    L17
  mov    %r12d,%edx
  lea    D98(%rip),%r12
  lea    D105(%rip),%rsi
  xor    %eax,%eax
  mov    %r12,%rdi
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
L6:
  lea    D98(%rip),%r12
  mulsd  D176(%rip),%xmm0
  lea    D159(%rip),%rsi
  xor    %eax,%eax
  mov    %r12,%rdi
  cvttsd2si %xmm0,%edx
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L7:
  lea    D98(%rip),%r12
  mulsd  D49(%rip),%xmm0
  lea    D24(%rip),%rsi
  xor    %eax,%eax
  mov    %r12,%rdi
  cvttsd2si %xmm0,%edx
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L17:
  divsd  D173(%rip),%xmm0
  call   <floor@plt>
  movslq %r12d,%rcx
  mov    %r12d,%r8d
  imul   $0xffffffff88888889,%rcx,%rcx
  mov    %rax,%r9
  mov    %r12d,%eax
  sar    $0x1f,%eax
  shr    $0x20,%rcx
  add    %r12d,%ecx
  lea    D98(%rip),%r12
  sar    $0x5,%ecx
  mov    %r12,%rdi
  sub    %eax,%ecx
  movslq %ecx,%rax
  imul   $0x3c,%ecx,%edx
  mov    %ecx,%esi
  imul   $0xffffffff88888889,%rax,%rax
  sar    $0x1f,%esi
  sub    %edx,%r8d
  mov    %r9d,%edx
  shr    $0x20,%rax
  add    %ecx,%eax
  sar    $0x5,%eax
  sub    %esi,%eax
  lea    D27(%rip),%rsi
  imul   $0x3c,%eax,%eax
  sub    %eax,%ecx
  xor    %eax,%eax
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
  nopl   (%rax)
L2:
  lea    D98(%rip),%r12
  mulsd  D165(%rip),%xmm0
  lea    D179(%rip),%rsi
  xor    %eax,%eax
  mov    %r12,%rdi
  cvttsd2si %xmm0,%edx
  call   <sprintf@plt>
  mov    %r12,%rax
  pop    %r12
  ret
```

tool_calls: name: disassemble_data
arguments: tag: D95
datatype: byte[8]
name: disassemble_data
arguments: tag: D112
datatype: byte[8]
name: disassemble_data
arguments: tag: D29
datatype: f64
name: disassemble_data
arguments: tag: D36
datatype: f64
name: disassemble_data
arguments: tag: D105
datatype: string
name: disassemble_data
arguments: tag: D176
datatype: f64
name: disassemble_data
arguments: tag: D159
datatype: string
name: disassemble_data
arguments: tag: D49
datatype: f64
name: disassemble_data
arguments: tag: D24
datatype: string
name: disassemble_data
arguments: tag: D173
datatype: f64
name: disassemble_data
arguments: tag: D27
datatype: string
name: disassemble_data
arguments: tag: D165
datatype: f64
name: disassemble_data
arguments: tag: D179
datatype: string

tool: {"D95": [0x8d,0xed,0xb5,0xa0,0xf7,0xc6,0xb0,0x3e]}

tool: {"D112": [0xfc,0xa9,0xf1,0xd2,0x4d,0x62,0x50,0x3f]}

tool: D29: 1

tool: D36: 60

tool: D105: %f s

tool: D176: 1000000

tool: D159: %f us

tool: D49: 1000000000

tool: D24: %f ns

tool: D173: 3600

tool: D27: %d h %d m %d s

tool: D165: 1000

tool: D179: %f ms

assistant: ```c
char *smart_sprint_time(double x) {
  static char buf[128];
  if (x < 1.0E-6)
    sprintf(buf, "%f ns", x * 1.0E9);
  else if (x < 1.0E-3)
    sprintf(buf, "%f us", x * 1.0E6);
  else if (x < 1.0)
    sprintf(buf, "%f ms", x * 1.0E3);
  else if (x < 60.0)
    sprintf(buf, "%f s", x);
  else
    sprintf(buf, "%d h %d m %d s", (int)floor(x / 3600.0), ((int)x / 60 % 60), ((int)x % 60));
  return buf;
}
```