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

```asm
<ortikon>:
  endbr64
  push   %r15
  mov    %edx,%r9d
  xor    %ecx,%ecx
  pxor   %xmm0,%xmm0
  push   %r14
  mov    %rdi,%r14
  push   %r13
  push   %r12
  push   %rbp
  mov    %edx,%ebp
  push   %rbx
  movslq %esi,%rbx
  lea    0x7(%rbp),%r12d
  lea    0x0(%rbp,%rbp,1),%r15d
  mov    %ebx,%r8d
  mov    %ebx,%esi
  mov    %rbx,%r13
  sub    $0x48,%rsp
  movss  D44(%rip),%xmm1
  call   <draw_rectangle@plt>
  pxor   %xmm5,%xmm5
  test   %ebp,%ebp
  mov    %ebx,%esi
  cvtsi2sd %ebx,%xmm5
  cmovns %ebp,%r12d
  mov    $0xa,%r9d
  mov    %ebp,%edx
  movsd  D165(%rip),%xmm3
  movsd  D125(%rip),%xmm2
  xor    %r8d,%r8d
  mov    %r14,%rdi
  sar    $0x3,%r12d
  movsd  D34(%rip),%xmm0
  mov    %r12d,%ecx
  mulsd  %xmm5,%xmm3
  movsd  %xmm5,0x8(%rsp)
  movapd %xmm3,%xmm1
  movsd  %xmm3,0x18(%rsp)
  call   <draw_circle@plt>
  mov    D125(%rip),%rax
  mov    %ebx,%esi
  mov    %ebp,%edx
  xor    %r8d,%r8d
  mov    %r12d,%ecx
  mov    $0x14,%r9d
  mov    %r14,%rdi
  movsd  D70(%rip),%xmm4
  mulsd  0x8(%rsp),%xmm4
  movq   %rax,%xmm2
  mov    D34(%rip),%rax
  movq   %rax,%xmm0
  movapd %xmm4,%xmm1
  movsd  %xmm4,0x10(%rsp)
  call   <draw_circle@plt>
  movsd  0x10(%rsp),%xmm4
  xor    %r8d,%r8d
  mov    %ebx,%esi
  mov    D34(%rip),%rax
  mov    %r12d,%ecx
  mov    %ebp,%edx
  mov    %r14,%rdi
  movapd %xmm4,%xmm1
  mov    $0x14,%r9d
  lea    0x3(%rbp),%r12d
  movsd  D147(%rip),%xmm2
  addsd  D199(%rip),%xmm1
  movq   %rax,%xmm0
  movsd  %xmm4,0x38(%rsp)
  call   <draw_circle@plt>
  lea    (%r15,%rbp,1),%eax
  push   $0x1
  mov    %ebx,%esi
  test   %eax,%eax
  lea    0x3(%rax),%r10d
  movsd  D104(%rip),%xmm1
  mov    %ebp,%edx
  cmovns %eax,%r10d
  movsd  D210(%rip),%xmm0
  mov    %r14,%rdi
  sar    $0x2,%r10d
  test   %ebp,%ebp
  push   %r10
  movsd  0x28(%rsp),%xmm3
  cmovns %ebp,%r12d
  xor    %ecx,%ecx
  imul   $0x66666667,%rbx,%rbx
  cvttsd2si %xmm3,%r9d
  sar    $0x2,%r12d
  mov    %r12d,%r8d
  mov    %r10d,0x20(%rsp)
  sar    $0x23,%rbx
  call   <draw_gradient@plt>
  movsd  0x18(%rsp),%xmm0
  mov    %r13d,%eax
  mov    %ebp,%edx
  mov    0x20(%rsp),%r10d
  sar    $0x1f,%eax
  mov    %r12d,%ecx
  mov    %r13d,%esi
  mulsd  D136(%rip),%xmm0
  sub    %eax,%ebx
  movss  D186(%rip),%xmm1
  mov    %r14,%rdi
  mov    %r10d,%r9d
  mov    %ebx,%r8d
  mov    %r10d,0x18(%rsp)
  call   <draw_rectangle@plt>
  mov    %r13d,%eax
  push   $0x1
  mov    0x20(%rsp),%r10d
  shl    $0x4,%eax
  movsd  D93(%rip),%xmm0
  mov    %ebx,%r9d
  mov    %ebp,%edx
  add    %r13d,%eax
  push   %r10
  mov    %r12d,%r8d
  mov    %r13d,%esi
  movslq %eax,%rcx
  sar    $0x1f,%eax
  mov    %r14,%rdi
  imul   $0x66666667,%rcx,%rcx
  sar    $0x24,%rcx
  sub    %eax,%ecx
  mov    D70(%rip),%rax
  movq   %rax,%xmm1
  call   <draw_gradient@plt>
  add    $0x20,%rsp
  cmp    %ebp,%r12d
  jge    L4
  movslq %ebp,%rbx
  mov    %ebp,%eax
  pxor   %xmm6,%xmm6
  movsd  0x38(%rsp),%xmm4
  imul   $0x38e38e39,%rbx,%rbx
  sar    $0x1f,%eax
  pxor   %xmm7,%xmm7
  sar    $0x21,%rbx
  sub    %eax,%ebx
  movslq %r15d,%rax
  sar    $0x1f,%r15d
  cvtsi2sd %ebx,%xmm6
  imul   $0x38e38e39,%rax,%rax
  sar    $0x21,%rax
  movsd  %xmm6,0x20(%rsp)
  pxor   %xmm6,%xmm6
  sub    %r15d,%eax
  cvtsi2sd %ebp,%xmm6
  cvtsi2sd %eax,%xmm7
  movsd  %xmm6,0x30(%rsp)
  movsd  %xmm7,0x28(%rsp)
  nopl   0x0(%rax)
L17:
  movss  D194(%rip),%xmm1
  mov    %r12d,%ecx
  mov    %ebx,%r9d
  mov    %ebp,%edx
  movapd %xmm4,%xmm0
  mov    %ebx,%r8d
  mov    %r13d,%esi
  mov    %r14,%rdi
  movsd  %xmm4,0x8(%rsp)
  lea    (%rbx,%r12,1),%r15d
  call   <draw_rectangle@plt>
  movsd  0x8(%rsp),%xmm4
  mov    %r12d,%ecx
  mov    %ebp,%edx
  movsd  0x20(%rsp),%xmm3
  mov    %ebx,%r9d
  mov    %ebx,%r8d
  mov    %r13d,%esi
  movss  D193(%rip),%xmm1
  mov    %r14,%rdi
  addsd  %xmm4,%xmm3
  movapd %xmm3,%xmm0
  movsd  %xmm3,0x18(%rsp)
  call   <draw_rectangle@plt>
  movsd  0x8(%rsp),%xmm4
  mov    %r12d,%ecx
  mov    %ebp,%edx
  movsd  0x28(%rsp),%xmm2
  mov    %ebx,%r9d
  mov    %ebx,%r8d
  mov    %r13d,%esi
  movss  D194(%rip),%xmm1
  mov    %r14,%rdi
  addsd  %xmm4,%xmm2
  movapd %xmm2,%xmm0
  movsd  %xmm2,0x10(%rsp)
  call   <draw_rectangle@plt>
  movsd  0x8(%rsp),%xmm4
  mov    %ebx,%r9d
  mov    %ebp,%edx
  mov    %ebx,%r8d
  mov    %r15d,%ecx
  mov    %r13d,%esi
  mov    %r14,%rdi
  movss  D193(%rip),%xmm1
  movapd %xmm4,%xmm0
  call   <draw_rectangle@plt>
  movsd  0x18(%rsp),%xmm3
  mov    %ebx,%r9d
  mov    %ebp,%edx
  mov    %ebx,%r8d
  mov    %r15d,%ecx
  mov    %r13d,%esi
  mov    %r14,%rdi
  movss  D194(%rip),%xmm1
  movapd %xmm3,%xmm0
  call   <draw_rectangle@plt>
  movsd  0x10(%rsp),%xmm2
  mov    %ebx,%r9d
  mov    %ebp,%edx
  mov    %ebx,%r8d
  mov    %r15d,%ecx
  mov    %r13d,%esi
  mov    %r14,%rdi
  movss  D193(%rip),%xmm1
  movapd %xmm2,%xmm0
  call   <draw_rectangle@plt>
  pxor   %xmm1,%xmm1
  movsd  0x30(%rsp),%xmm0
  divsd  D196(%rip),%xmm0
  cvtsi2sd %r12d,%xmm1
  movsd  0x8(%rsp),%xmm4
  addsd  %xmm1,%xmm0
  cvttsd2si %xmm0,%r12d
  cmp    %r12d,%ebp
  jg     L17
L4:
  add    $0x48,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
```

tool_calls: name: extract_symbolic_data
arguments: label: D44
data_type: f32
name: extract_symbolic_data
arguments: label: D165
data_type: f64
name: extract_symbolic_data
arguments: label: D125
data_type: f64
name: extract_symbolic_data
arguments: label: D34
data_type: f64
name: extract_symbolic_data
arguments: label: D70
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D147
data_type: f64
name: extract_symbolic_data
arguments: label: D199
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D104
data_type: f64
name: extract_symbolic_data
arguments: label: D210
data_type: f64
name: extract_symbolic_data
arguments: label: D136
data_type: f64
name: extract_symbolic_data
arguments: label: D186
data_type: f32
name: extract_symbolic_data
arguments: label: D93
data_type: byte[8]
name: extract_symbolic_data
arguments: label: D194
data_type: f32
name: extract_symbolic_data
arguments: label: D193
data_type: f32
name: extract_symbolic_data
arguments: label: D196
data_type: f64

tool: D44: 0.6

tool: D165: 0.3

tool: D125: 0.95

tool: D34: 1

tool: {"D70": [0x33,0x33,0x33,0x33,0x33,0x33,0xe3,0x3f]}

tool: D147: 0.05

tool: {"D199": [0x00,0x00,0x00,0x00,0x00,0x00,0x44,0x40]}

tool: D104: 0.094

tool: D210: 0.84

tool: D136: 0.13

tool: D186: 0.97

tool: {"D93": [0x0a,0xd7,0xa3,0x70,0x3d,0x0a,0xef,0x3f]}

tool: D194: 0.1

tool: D193: 0.9

tool: D196: 4.5

assistant: ```c
void ortikon(float *sl, int w, int h) {
  int i;
  float s1, s2;
  draw_rectangle(sl, w, h, 0, 0, w, h, 0.6);
  draw_circle(sl, w, h, 1.0, 0.3 * w, h / 8, 0, 10, 0.95);
  draw_circle(sl, w, h, 1.0, 0.6 * w, h / 8, 0, 20, 0.95);
  draw_circle(sl, w, h, 1.0, 0.6 * w + 40, h / 8, 0, 20, 0.05);
  draw_gradient(sl, w, h, 0, h / 4, 0.3 * w, 3 * h / 4, 0.84, 0.094, 1);
  draw_rectangle(sl, w, h, 0.13 * w, h / 4, w / 20, 3 * h / 4, 0.97);
  draw_gradient(sl, w, h, 17 * w / 40, h / 4, w / 20, 3 * h / 4, 0.97, 0.6, 1);
  s1 = 0.9;
  s2 = 0.1;
  for (i = h / 4; i < h; i = i + h / 4.5) {
    draw_rectangle(sl, w, h, 0.6 * w, i, h / 9, h / 9, s2);
    draw_rectangle(sl, w, h, 0.6 * w + h / 9, i, h / 9, h / 9, s1);
    draw_rectangle(sl, w, h, 0.6 * w + 2 * h / 9, i, h / 9, h / 9, s2);
    draw_rectangle(sl, w, h, 0.6 * w, i + h / 9, h / 9, h / 9, s1);
    draw_rectangle(sl, w, h, 0.6 * w + h / 9, i + h / 9, h / 9, h / 9, s2);
    draw_rectangle(sl, w, h, 0.6 * w + 2 * h / 9, i + h / 9, h / 9, h / 9, s1);
  }
}
```