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

```asm
<check_rotation>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0x88,%rsp
  mov    %rdi,%rbp
  movsd  (%rdi),%xmm4
  movsd  %xmm4,0x28(%rsp)
  movsd  0x8(%rdi),%xmm3
  movsd  %xmm3,0x20(%rsp)
  mov    0x10(%rdi),%rbx
  movsd  0x18(%rdi),%xmm5
  movsd  %xmm5,0x38(%rsp)
  movsd  0x20(%rdi),%xmm2
  movsd  %xmm2,0x30(%rsp)
  mov    0x28(%rdi),%r14
  movq   %r14,%xmm1
  mulsd  %xmm3,%xmm1
  movq   %rbx,%xmm0
  mulsd  %xmm2,%xmm0
  movapd %xmm1,%xmm7
  subsd  %xmm0,%xmm7
  movsd  %xmm7,0x8(%rsp)
  movq   %rbx,%xmm1
  mulsd  %xmm5,%xmm1
  movq   %r14,%xmm0
  mulsd  %xmm4,%xmm0
  movapd %xmm1,%xmm6
  subsd  %xmm0,%xmm6
  movsd  %xmm6,0x18(%rsp)
  mulsd  %xmm2,%xmm4
  mulsd  %xmm5,%xmm3
  movapd %xmm4,%xmm5
  subsd  %xmm3,%xmm5
  movsd  %xmm5,0x40(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  movapd %xmm6,%xmm1
  mulsd  %xmm6,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm5,%xmm1
  addsd  %xmm1,%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L289
  sqrtsd %xmm0,%xmm0
L19:
  ucomisd D176(%rip),%xmm0
  jp     L571
  je     L83
L571:
  movsd  0x8(%rsp),%xmm4
  divsd  %xmm0,%xmm4
  movsd  %xmm4,0x10(%rsp)
  movsd  0x18(%rsp),%xmm6
  divsd  %xmm0,%xmm6
  movsd  %xmm6,0x8(%rsp)
  movsd  0x40(%rsp),%xmm5
  divsd  %xmm0,%xmm5
  movsd  %xmm5,0x18(%rsp)
  movsd  0x20(%rsp),%xmm1
  mulsd  0x30(%rsp),%xmm1
  movsd  0x28(%rsp),%xmm0
  mulsd  0x38(%rsp),%xmm0
  addsd  %xmm1,%xmm0
  movq   %rbx,%xmm1
  movq   %r14,%xmm6
  mulsd  %xmm6,%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm7
  movsd  %xmm0,0x40(%rsp)
  pxor   %xmm0,%xmm0
  comisd %xmm7,%xmm0
  ja     L212
L296:
  movsd  0x40(%rsp),%xmm0
  addsd  D64(%rip),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L9
  sqrtsd %xmm0,%xmm0
  movsd  %xmm0,0x48(%rsp)
L168:
  movsd  D64(%rip),%xmm0
  subsd  0x40(%rsp),%xmm0
  pxor   %xmm1,%xmm1
  ucomisd %xmm0,%xmm1
  ja     L629
  sqrtsd %xmm0,%xmm0
L59:
  addsd  0x48(%rsp),%xmm0
  mulsd  D117(%rip),%xmm0
  movsd  %xmm0,0x50(%rsp)
  movsd  0x20(%rsp),%xmm4
  movapd %xmm4,%xmm1
  movsd  0x10(%rsp),%xmm3
  mulsd  %xmm3,%xmm1
  movsd  0x28(%rsp),%xmm6
  movapd %xmm6,%xmm0
  movsd  0x8(%rsp),%xmm5
  mulsd  %xmm5,%xmm0
  subsd  %xmm1,%xmm0
  ucomisd D176(%rip),%xmm0
  jp     L214
  jne    L214
  movq   %rbx,%xmm1
  mulsd  %xmm3,%xmm1
  movsd  0x18(%rsp),%xmm7
  mulsd  %xmm7,%xmm6
  movapd %xmm6,%xmm0
  subsd  %xmm1,%xmm0
  ucomisd D176(%rip),%xmm0
  jp     L54
  jne    L54
  movq   %rbx,%xmm3
  mulsd  %xmm5,%xmm3
  mulsd  %xmm7,%xmm4
  movapd %xmm4,%xmm0
  movapd %xmm3,%xmm2
  subsd  %xmm4,%xmm2
  ucomisd D176(%rip),%xmm2
  jp     L595
  je     L204
L595:
  mov    0x10(%rsp),%rax
  movsd  0x18(%rsp),%xmm5
  movsd  %xmm5,0x10(%rsp)
  mov    %rax,0x18(%rsp)
  mov    %rbx,%rax
  mov    0x28(%rsp),%rbx
  mov    %rax,0x28(%rsp)
  mov    $0x2,%r15d
  jmp    L636
L289:
  call   <sqrt@plt>
  jmp    L19
L212:
  xorpd  D209(%rip),%xmm7
  movsd  %xmm7,0x40(%rsp)
  jmp    L296
L9:
  call   <sqrt@plt>
  movsd  %xmm0,0x48(%rsp)
  jmp    L168
L629:
  call   <sqrt@plt>
  jmp    L59
L299:
  movsd  0x78(%rsp),%xmm0
  call   <sqrt@plt>
  movsd  0x20(%rsp),%xmm5
  subsd  %xmm5,%xmm0
  movapd %xmm0,%xmm3
  divsd  0x28(%rsp),%xmm3
  movsd  %xmm3,0x20(%rsp)
  movsd  0x58(%rsp),%xmm4
  mulsd  %xmm3,%xmm4
  addsd  0x60(%rsp),%xmm4
  movsd  %xmm4,0x40(%rsp)
  movsd  0x68(%rsp),%xmm4
  mulsd  %xmm3,%xmm4
  movapd %xmm4,%xmm3
  addsd  0x70(%rsp),%xmm3
  movsd  %xmm3,0x48(%rsp)
  xorpd  D209(%rip),%xmm5
  movq   %xmm5,%rbx
  movsd  0x78(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L460
L186:
  mov    0x18(%rsp),%rax
  movsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x18(%rsp)
  mov    %rax,0x8(%rsp)
  movq   %xmm0,%rbx
  movq   %xmm1,%r13
  mov    0x20(%rsp),%rax
  movsd  0x48(%rsp),%xmm3
  movsd  %xmm3,0x20(%rsp)
  mov    %rax,0x48(%rsp)
  jmp    L641
L244:
  movsd  0x60(%rsp),%xmm0
  call   <sqrt@plt>
  movsd  0x8(%rsp),%xmm4
  subsd  %xmm4,%xmm0
  movapd %xmm0,%xmm3
  divsd  0x50(%rsp),%xmm3
  movsd  %xmm3,0x8(%rsp)
  movsd  0x18(%rsp),%xmm5
  mulsd  %xmm3,%xmm5
  addsd  0x30(%rsp),%xmm5
  movq   %xmm5,%r15
  movsd  0x10(%rsp),%xmm5
  mulsd  %xmm3,%xmm5
  movapd %xmm5,%xmm3
  addsd  0x38(%rsp),%xmm3
  movq   %xmm3,%r14
  xorpd  D209(%rip),%xmm4
  movsd  %xmm4,0x58(%rsp)
  movsd  0x60(%rsp),%xmm0
  call   <sqrt@plt>
  jmp    L439
L293:
  movq   %xmm4,%rax
  movapd %xmm0,%xmm4
  movq   %rax,%xmm0
  mov    0x8(%rsp),%rax
  mov    %r14,0x8(%rsp)
  mov    %rax,%r14
  jmp    L544
L628:
  xorpd  D209(%rip),%xmm6
  jmp    L60
L402:
  xorpd  D209(%rip),%xmm5
  jmp    L393
L282:
  xorpd  D209(%rip),%xmm1
  jmp    L581
L565:
  xorpd  D209(%rip),%xmm2
  jmp    L585
L464:
  movsd  0x28(%rsp),%xmm5
  movsd  %xmm5,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  movsd  %xmm3,0x18(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm4,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L165:
  comisd %xmm1,%xmm2
  jbe    L21
  movsd  0x28(%rsp),%xmm6
  movsd  %xmm6,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  mov    %r15,0x18(%rbp)
  mov    %r14,0x20(%rbp)
  movsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L21:
  movsd  0x28(%rsp),%xmm5
  movsd  %xmm5,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  movsd  %xmm3,0x18(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm4,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L167:
  comisd %xmm5,%xmm1
  jbe    L74
  comisd %xmm5,%xmm2
  jbe    L216
  movsd  0x40(%rsp),%xmm6
  movsd  %xmm6,0x0(%rbp)
  movsd  0x48(%rsp),%xmm5
  movsd  %xmm5,0x8(%rbp)
  movsd  0x20(%rsp),%xmm6
  movsd  %xmm6,0x10(%rbp)
  movsd  %xmm3,0x18(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm4,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L216:
  movsd  0x28(%rsp),%xmm5
  movsd  %xmm5,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  movsd  %xmm3,0x18(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm4,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L74:
  comisd %xmm1,%xmm2
  jbe    L62
  movsd  0x28(%rsp),%xmm3
  movsd  %xmm3,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  mov    %r15,0x18(%rbp)
  mov    %r14,0x20(%rbp)
  movsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L62:
  movsd  0x28(%rsp),%xmm6
  movsd  %xmm6,0x0(%rbp)
  mov    %r13,0x8(%rbp)
  mov    %rbx,0x10(%rbp)
  movsd  %xmm3,0x18(%rbp)
  movsd  %xmm0,0x20(%rbp)
  movsd  %xmm4,0x28(%rbp)
  mov    $0x0,%eax
  jmp    L138
L83:
  mov    $0xffffffff,%eax
  jmp    L138
L204:
  mov    $0xffffffff,%eax
  jmp    L138
L286:
  mov    $0xffffffff,%eax
  jmp    L138
L211:
  mov    $0xffffffff,%eax
  jmp    L138
L135:
  mov    $0xffffffff,%eax
  jmp    L138
L203:
  mov    $0x0,%r12d
L362:
  movsd  0x38(%rsp),%xmm3
  mulsd  0x8(%rsp),%xmm3
  movsd  0x10(%rsp),%xmm0
  mulsd  0x30(%rsp),%xmm0
  movapd %xmm3,%xmm2
  subsd  %xmm0,%xmm2
L202:
  movsd  0x30(%rsp),%xmm1
  movsd  0x18(%rsp),%xmm14
  mulsd  %xmm14,%xmm1
  movq   %r14,%xmm4
  movsd  0x8(%rsp),%xmm7
  mulsd  %xmm7,%xmm4
  subsd  %xmm4,%xmm1
  movapd %xmm1,%xmm6
  divsd  %xmm2,%xmm6
  movsd  %xmm6,0x18(%rsp)
  movsd  0x50(%rsp),%xmm12
  mulsd  %xmm12,%xmm7
  movapd %xmm7,%xmm5
  divsd  %xmm2,%xmm5
  movsd  %xmm5,0x30(%rsp)
  subsd  %xmm3,%xmm0
  movsd  0x38(%rsp),%xmm1
  mulsd  %xmm14,%xmm1
  movq   %r14,%xmm2
  movsd  0x10(%rsp),%xmm7
  mulsd  %xmm7,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm4
  divsd  %xmm0,%xmm4
  movsd  %xmm4,0x10(%rsp)
  movapd %xmm12,%xmm1
  mulsd  %xmm7,%xmm1
  movapd %xmm1,%xmm9
  divsd  %xmm0,%xmm9
  movsd  %xmm9,0x38(%rsp)
  movapd %xmm6,%xmm0
  mulsd  %xmm6,%xmm0
  movapd %xmm4,%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm0
  movsd  D64(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm11
  movsd  %xmm0,0x50(%rsp)
  movapd %xmm6,%xmm2
  mulsd  %xmm5,%xmm2
  movapd %xmm4,%xmm0
  mulsd  %xmm9,%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm7
  movsd  %xmm2,0x8(%rsp)
  mulsd  %xmm2,%xmm2
  movapd %xmm5,%xmm0
  mulsd  %xmm5,%xmm0
  movapd %xmm9,%xmm3
  mulsd  %xmm9,%xmm3
  addsd  %xmm3,%xmm0
  subsd  %xmm1,%xmm0
  mulsd  %xmm11,%xmm0
  subsd  %xmm0,%xmm2
  movapd %xmm2,%xmm3
  movsd  %xmm2,0x60(%rsp)
  pxor   %xmm0,%xmm0
  comisd %xmm2,%xmm0
  ja     L135
  ucomisd %xmm2,%xmm0
  ja     L244
  sqrtsd %xmm3,%xmm3
  movapd %xmm3,%xmm0
  movapd %xmm3,%xmm1
  subsd  %xmm7,%xmm1
  divsd  %xmm11,%xmm1
  movapd %xmm1,%xmm2
  movsd  %xmm1,0x8(%rsp)
  mulsd  %xmm1,%xmm6
  movapd %xmm6,%xmm1
  addsd  %xmm5,%xmm1
  movq   %xmm1,%r15
  mulsd  %xmm2,%xmm4
  movapd %xmm4,%xmm1
  addsd  %xmm9,%xmm1
  movq   %xmm1,%r14
  xorpd  D209(%rip),%xmm7
  movsd  %xmm7,0x58(%rsp)
L439:
  movsd  0x58(%rsp),%xmm4
  subsd  %xmm0,%xmm4
  divsd  0x50(%rsp),%xmm4
  movsd  0x18(%rsp),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  0x30(%rsp),%xmm3
  movsd  0x10(%rsp),%xmm0
  mulsd  %xmm4,%xmm0
  addsd  0x38(%rsp),%xmm0
  cmp    $0x1,%r12d
  je     L293
  cmp    $0x2,%r12d
  jne    L544
  movq   %xmm3,%rax
  movapd %xmm4,%xmm3
  movq   %rax,%xmm4
  mov    %r15,%rax
  mov    0x8(%rsp),%r15
  mov    %rax,0x8(%rsp)
L544:
  movq   %r14,%xmm1
  mulsd  0x48(%rsp),%xmm1
  movq   %r15,%xmm6
  mulsd  0x40(%rsp),%xmm6
  addsd  %xmm1,%xmm6
  movsd  0x20(%rsp),%xmm1
  mulsd  0x8(%rsp),%xmm1
  addsd  %xmm1,%xmm6
  pxor   %xmm1,%xmm1
  comisd %xmm6,%xmm1
  ja     L628
L60:
  movsd  0x48(%rsp),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  0x40(%rsp),%xmm5
  mulsd  %xmm3,%xmm5
  addsd  %xmm1,%xmm5
  movsd  0x20(%rsp),%xmm1
  mulsd  %xmm4,%xmm1
  addsd  %xmm1,%xmm5
  pxor   %xmm1,%xmm1
  comisd %xmm5,%xmm1
  ja     L402
L393:
  movq   %r13,%xmm2
  movq   %r14,%xmm7
  mulsd  %xmm7,%xmm2
  movq   %r15,%xmm1
  mulsd  0x28(%rsp),%xmm1
  addsd  %xmm2,%xmm1
  movq   %rbx,%xmm2
  mulsd  0x8(%rsp),%xmm2
  addsd  %xmm2,%xmm1
  pxor   %xmm2,%xmm2
  comisd %xmm1,%xmm2
  ja     L282
L581:
  movq   %r13,%xmm7
  mulsd  %xmm0,%xmm7
  movsd  0x28(%rsp),%xmm2
  mulsd  %xmm3,%xmm2
  addsd  %xmm7,%xmm2
  movq   %rbx,%xmm7
  mulsd  %xmm4,%xmm7
  addsd  %xmm7,%xmm2
  pxor   %xmm7,%xmm7
  comisd %xmm2,%xmm7
  ja     L565
L585:
  comisd %xmm6,%xmm5
  jbe    L167
  comisd %xmm6,%xmm1
  jbe    L165
  comisd %xmm6,%xmm2
  jbe    L464
  movsd  0x40(%rsp),%xmm3
  movsd  %xmm3,0x0(%rbp)
  movsd  0x48(%rsp),%xmm3
  movsd  %xmm3,0x8(%rbp)
  movsd  0x20(%rsp),%xmm5
  movsd  %xmm5,0x10(%rbp)
  mov    %r15,0x18(%rbp)
  mov    %r14,0x20(%rbp)
  movsd  0x8(%rsp),%xmm3
  movsd  %xmm3,0x28(%rbp)
  mov    $0x0,%eax
L138:
  add    $0x88,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L515:
  mov    0x8(%rsp),%rax
  movsd  0x18(%rsp),%xmm3
  movsd  %xmm3,0x8(%rsp)
  mov    %rax,0x18(%rsp)
  mov    0x30(%rsp),%rax
  mov    %r14,0x30(%rsp)
  mov    %rax,%r14
  mov    $0x1,%r12d
  jmp    L362
L214:
  mov    $0x0,%r15d
L637:
  movsd  0x28(%rsp),%xmm3
  mulsd  0x8(%rsp),%xmm3
  movsd  0x10(%rsp),%xmm0
  mulsd  0x20(%rsp),%xmm0
  movapd %xmm3,%xmm2
  subsd  %xmm0,%xmm2
L636:
  movsd  0x20(%rsp),%xmm1
  movsd  0x18(%rsp),%xmm5
  mulsd  %xmm5,%xmm1
  movq   %rbx,%xmm4
  movsd  0x8(%rsp),%xmm13
  mulsd  %xmm13,%xmm4
  subsd  %xmm4,%xmm1
  movapd %xmm1,%xmm7
  divsd  %xmm2,%xmm7
  movsd  %xmm7,0x58(%rsp)
  movsd  0x50(%rsp),%xmm6
  movapd %xmm6,%xmm1
  mulsd  %xmm13,%xmm1
  movapd %xmm1,%xmm4
  divsd  %xmm2,%xmm4
  movsd  %xmm4,0x60(%rsp)
  subsd  %xmm3,%xmm0
  movsd  0x28(%rsp),%xmm1
  mulsd  %xmm5,%xmm1
  movq   %rbx,%xmm2
  movsd  0x10(%rsp),%xmm3
  mulsd  %xmm3,%xmm2
  subsd  %xmm2,%xmm1
  movapd %xmm1,%xmm5
  divsd  %xmm0,%xmm5
  movsd  %xmm5,0x68(%rsp)
  mulsd  %xmm3,%xmm6
  movapd %xmm6,%xmm8
  divsd  %xmm0,%xmm8
  movsd  %xmm8,0x70(%rsp)
  movapd %xmm7,%xmm0
  mulsd  %xmm7,%xmm0
  movapd %xmm5,%xmm1
  mulsd  %xmm5,%xmm1
  addsd  %xmm1,%xmm0
  movsd  D64(%rip),%xmm1
  addsd  %xmm1,%xmm0
  movapd %xmm0,%xmm10
  movsd  %xmm0,0x28(%rsp)
  movapd %xmm7,%xmm2
  mulsd  %xmm4,%xmm2
  movapd %xmm5,%xmm0
  mulsd  %xmm8,%xmm0
  addsd  %xmm0,%xmm2
  movapd %xmm2,%xmm6
  movsd  %xmm2,0x20(%rsp)
  mulsd  %xmm2,%xmm2
  movapd %xmm4,%xmm0
  mulsd  %xmm4,%xmm0
  movapd %xmm8,%xmm3
  mulsd  %xmm8,%xmm3
  addsd  %xmm3,%xmm0
  subsd  %xmm1,%xmm0
  mulsd  %xmm10,%xmm0
  subsd  %xmm0,%xmm2
  movapd %xmm2,%xmm3
  movsd  %xmm2,0x78(%rsp)
  pxor   %xmm0,%xmm0
  comisd %xmm2,%xmm0
  ja     L286
  ucomisd %xmm2,%xmm0
  ja     L299
  sqrtsd %xmm3,%xmm3
  movapd %xmm3,%xmm0
  movapd %xmm3,%xmm1
  subsd  %xmm6,%xmm1
  divsd  %xmm10,%xmm1
  movapd %xmm1,%xmm2
  movsd  %xmm1,0x20(%rsp)
  mulsd  %xmm1,%xmm7
  movapd %xmm7,%xmm1
  addsd  %xmm4,%xmm1
  movsd  %xmm1,0x40(%rsp)
  mulsd  %xmm2,%xmm5
  movapd %xmm5,%xmm1
  addsd  %xmm8,%xmm1
  movsd  %xmm1,0x48(%rsp)
  xorpd  D209(%rip),%xmm6
  movq   %xmm6,%rbx
L460:
  movq   %rbx,%xmm1
  subsd  %xmm0,%xmm1
  divsd  0x28(%rsp),%xmm1
  movq   %xmm1,%rbx
  movapd %xmm1,%xmm0
  mulsd  0x58(%rsp),%xmm0
  movapd %xmm0,%xmm3
  addsd  0x60(%rsp),%xmm3
  movsd  %xmm3,0x28(%rsp)
  movapd %xmm1,%xmm0
  mulsd  0x68(%rsp),%xmm0
  addsd  0x70(%rsp),%xmm0
  movq   %xmm0,%r13
  cmp    $0x1,%r15d
  je     L186
  cmp    $0x2,%r15d
  jne    L641
  mov    0x10(%rsp),%rax
  movsd  0x18(%rsp),%xmm6
  movsd  %xmm6,0x10(%rsp)
  mov    %rax,0x18(%rsp)
  movsd  %xmm1,0x28(%rsp)
  movq   %xmm3,%rbx
  mov    0x40(%rsp),%rax
  movsd  0x20(%rsp),%xmm3
  movsd  %xmm3,0x40(%rsp)
  mov    %rax,0x20(%rsp)
L641:
  movsd  0x30(%rsp),%xmm6
  movapd %xmm6,%xmm1
  movsd  0x10(%rsp),%xmm4
  mulsd  %xmm4,%xmm1
  movsd  0x38(%rsp),%xmm7
  movapd %xmm7,%xmm0
  movsd  0x8(%rsp),%xmm5
  mulsd  %xmm5,%xmm0
  subsd  %xmm1,%xmm0
  ucomisd D176(%rip),%xmm0
  jp     L203
  jne    L203
  movq   %r14,%xmm1
  mulsd  %xmm4,%xmm1
  movsd  0x18(%rsp),%xmm4
  mulsd  %xmm4,%xmm7
  movapd %xmm7,%xmm0
  subsd  %xmm1,%xmm0
  ucomisd D176(%rip),%xmm0
  jp     L515
  jne    L515
  movq   %r14,%xmm3
  mulsd  %xmm5,%xmm3
  mulsd  %xmm4,%xmm6
  movapd %xmm6,%xmm0
  movapd %xmm3,%xmm2
  subsd  %xmm6,%xmm2
  ucomisd D176(%rip),%xmm2
  jp     L245
  je     L211
L245:
  mov    0x10(%rsp),%rax
  movsd  0x18(%rsp),%xmm6
  movsd  %xmm6,0x10(%rsp)
  mov    %rax,0x18(%rsp)
  mov    0x38(%rsp),%rax
  mov    %r14,0x38(%rsp)
  mov    %rax,%r14
  mov    $0x2,%r12d
  jmp    L202
L54:
  mov    0x8(%rsp),%rax
  movsd  0x18(%rsp),%xmm3
  movsd  %xmm3,0x8(%rsp)
  mov    %rax,0x18(%rsp)
  mov    0x20(%rsp),%rax
  mov    %rbx,0x20(%rsp)
  mov    %rax,%rbx
  mov    $0x1,%r15d
  jmp    L637
```

tool_calls: name: parse_data
arguments: label: D176
type_infered: f64
name: parse_data
arguments: label: D64
type_infered: f64
name: parse_data
arguments: label: D117
type_infered: f64
name: parse_data
arguments: label: D209
type_infered: byte[16]

tool: D176: 0

tool: D64: 1

tool: D117: 0.5

tool: {"D209": [0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x80,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00]}

assistant: ```c
int check_rotation(double rot[2][3]) {
  double v1[3], v2[3], v3[3];
  double ca, cb, k1, k2, k3, k4;
  double a, b, c, d;
  double p1, q1, r1;
  double p2, q2, r2;
  double p3, q3, r3;
  double p4, q4, r4;
  double w;
  double e1, e2, e3, e4;
  int f;
  v1[0] = rot[0][0];
  v1[1] = rot[0][1];
  v1[2] = rot[0][2];
  v2[0] = rot[1][0];
  v2[1] = rot[1][1];
  v2[2] = rot[1][2];
  v3[0] = v1[1] * v2[2] - v1[2] * v2[1];
  v3[1] = v1[2] * v2[0] - v1[0] * v2[2];
  v3[2] = v1[0] * v2[1] - v1[1] * v2[0];
  w = sqrt(v3[0] * v3[0] + v3[1] * v3[1] + v3[2] * v3[2]);
  if (w == 0.0)
    return -1;
  v3[0] /= w;
  v3[1] /= w;
  v3[2] /= w;
  cb = v1[0] * v2[0] + v1[1] * v2[1] + v1[2] * v2[2];
  if (cb < 0)
    cb *= -1.0;
  ca = (sqrt(cb + 1.0) + sqrt(1.0 - cb)) * 0.5;
  if (v3[1] * v1[0] - v1[1] * v3[0] != 0.0) {
    f = 0;
  } else {
    if (v3[2] * v1[0] - v1[2] * v3[0] != 0.0) {
      w = v1[1];
      v1[1] = v1[2];
      v1[2] = w;
      w = v3[1];
      v3[1] = v3[2];
      v3[2] = w;
      f = 1;
    } else {
      w = v1[0];
      v1[0] = v1[2];
      v1[2] = w;
      w = v3[0];
      v3[0] = v3[2];
      v3[2] = w;
      f = 2;
    }
  }
  if (v3[1] * v1[0] - v1[1] * v3[0] == 0.0)
    return -1;
  k1 = (v1[1] * v3[2] - v3[1] * v1[2]) / (v3[1] * v1[0] - v1[1] * v3[0]);
  k2 = (v3[1] * ca) / (v3[1] * v1[0] - v1[1] * v3[0]);
  k3 = (v1[0] * v3[2] - v3[0] * v1[2]) / (v3[0] * v1[1] - v1[0] * v3[1]);
  k4 = (v3[0] * ca) / (v3[0] * v1[1] - v1[0] * v3[1]);
  a = k1 * k1 + k3 * k3 + 1;
  b = k1 * k2 + k3 * k4;
  c = k2 * k2 + k4 * k4 - 1;
  d = b * b - a * c;
  if (d < 0)
    return -1;
  r1 = (-b + sqrt(d)) / a;
  p1 = k1 * r1 + k2;
  q1 = k3 * r1 + k4;
  r2 = (-b - sqrt(d)) / a;
  p2 = k1 * r2 + k2;
  q2 = k3 * r2 + k4;
  if (f == 1) {
    w = q1;
    q1 = r1;
    r1 = w;
    w = q2;
    q2 = r2;
    r2 = w;
    w = v1[1];
    v1[1] = v1[2];
    v1[2] = w;
    w = v3[1];
    v3[1] = v3[2];
    v3[2] = w;
    f = 0;
  }
  if (f == 2) {
    w = p1;
    p1 = r1;
    r1 = w;
    w = p2;
    p2 = r2;
    r2 = w;
    w = v1[0];
    v1[0] = v1[2];
    v1[2] = w;
    w = v3[0];
    v3[0] = v3[2];
    v3[2] = w;
    f = 0;
  }
  if (v3[1] * v2[0] - v2[1] * v3[0] != 0.0) {
    f = 0;
  } else {
    if (v3[2] * v2[0] - v2[2] * v3[0] != 0.0) {
      w = v2[1];
      v2[1] = v2[2];
      v2[2] = w;
      w = v3[1];
      v3[1] = v3[2];
      v3[2] = w;
      f = 1;
    } else {
      w = v2[0];
      v2[0] = v2[2];
      v2[2] = w;
      w = v3[0];
      v3[0] = v3[2];
      v3[2] = w;
      f = 2;
    }
  }
  if (v3[1] * v2[0] - v2[1] * v3[0] == 0.0)
    return -1;
  k1 = (v2[1] * v3[2] - v3[1] * v2[2]) / (v3[1] * v2[0] - v2[1] * v3[0]);
  k2 = (v3[1] * ca) / (v3[1] * v2[0] - v2[1] * v3[0]);
  k3 = (v2[0] * v3[2] - v3[0] * v2[2]) / (v3[0] * v2[1] - v2[0] * v3[1]);
  k4 = (v3[0] * ca) / (v3[0] * v2[1] - v2[0] * v3[1]);
  a = k1 * k1 + k3 * k3 + 1;
  b = k1 * k2 + k3 * k4;
  c = k2 * k2 + k4 * k4 - 1;
  d = b * b - a * c;
  if (d < 0)
    return -1;
  r3 = (-b + sqrt(d)) / a;
  p3 = k1 * r3 + k2;
  q3 = k3 * r3 + k4;
  r4 = (-b - sqrt(d)) / a;
  p4 = k1 * r4 + k2;
  q4 = k3 * r4 + k4;
  if (f == 1) {
    w = q3;
    q3 = r3;
    r3 = w;
    w = q4;
    q4 = r4;
    r4 = w;
    w = v2[1];
    v2[1] = v2[2];
    v2[2] = w;
    w = v3[1];
    v3[1] = v3[2];
    v3[2] = w;
    f = 0;
  }
  if (f == 2) {
    w = p3;
    p3 = r3;
    r3 = w;
    w = p4;
    p4 = r4;
    r4 = w;
    w = v2[0];
    v2[0] = v2[2];
    v2[2] = w;
    w = v3[0];
    v3[0] = v3[2];
    v3[2] = w;
    f = 0;
  }
  e1 = p1 * p3 + q1 * q3 + r1 * r3;
  if (e1 < 0)
    e1 = -e1;
  e2 = p1 * p4 + q1 * q4 + r1 * r4;
  if (e2 < 0)
    e2 = -e2;
  e3 = p2 * p3 + q2 * q3 + r2 * r3;
  if (e3 < 0)
    e3 = -e3;
  e4 = p2 * p4 + q2 * q4 + r2 * r4;
  if (e4 < 0)
    e4 = -e4;
  if (e1 < e2) {
    if (e1 < e3) {
      if (e1 < e4) {
        rot[0][0] = p1;
        rot[0][1] = q1;
        rot[0][2] = r1;
        rot[1][0] = p3;
        rot[1][1] = q3;
        rot[1][2] = r3;
      } else {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p4;
        rot[1][1] = q4;
        rot[1][2] = r4;
      }
    } else {
      if (e3 < e4) {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p3;
        rot[1][1] = q3;
        rot[1][2] = r3;
      } else {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p4;
        rot[1][1] = q4;
        rot[1][2] = r4;
      }
    }
  } else {
    if (e2 < e3) {
      if (e2 < e4) {
        rot[0][0] = p1;
        rot[0][1] = q1;
        rot[0][2] = r1;
        rot[1][0] = p4;
        rot[1][1] = q4;
        rot[1][2] = r4;
      } else {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p4;
        rot[1][1] = q4;
        rot[1][2] = r4;
      }
    } else {
      if (e3 < e4) {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p3;
        rot[1][1] = q3;
        rot[1][2] = r3;
      } else {
        rot[0][0] = p2;
        rot[0][1] = q2;
        rot[0][2] = r2;
        rot[1][0] = p4;
        rot[1][1] = q4;
        rot[1][2] = r4;
      }
    }
  }
  return 0;
}
```