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

```asm
<helper_double_28_recursive>:
  endbr64
  sub    $0xa,%esi
  cmp    $0x12,%esi
  ja     L44
  lea    D8(%rip),%rdx
  push   %r12
  movslq (%rdx,%rsi,4),%rax
  push   %rbp
  push   %rbx
  mov    %rdi,%rbx
  add    %rdx,%rax
  notrack jmp *%rax
  mov    %rdi,%rdx
  lea    0x2000(%rdi),%rbp
  mov    %rdi,%rax
  nopl   (%rax)
L16:
  lea    0x20(%rax),%rcx
  lea    0x40(%rax),%rsi
  lea    0x60(%rax),%rdi
  lea    0x80(%rax),%r8
  lea    0xa0(%rax),%r9
  lea    0xc0(%rax),%r10
  lea    0xe0(%rax),%r11
  vmovupd (%rax),%ymm0
  vmovupd (%rcx),%ymm1
  vmovupd (%rsi),%ymm2
  vmovupd (%rdi),%ymm3
  vmovupd (%r8),%ymm4
  vmovupd (%r9),%ymm5
  vmovupd (%r10),%ymm6
  vmovupd (%r11),%ymm7
  vpermilpd $0x0,%ymm0,%ymm8
  vpermilpd $0xf,%ymm0,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm0
  vpermilpd $0x0,%ymm1,%ymm8
  vpermilpd $0xf,%ymm1,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm1
  vpermilpd $0x0,%ymm2,%ymm8
  vpermilpd $0xf,%ymm2,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm2
  vpermilpd $0x0,%ymm3,%ymm8
  vpermilpd $0xf,%ymm3,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm3
  vpermilpd $0x0,%ymm4,%ymm8
  vpermilpd $0xf,%ymm4,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm4
  vpermilpd $0x0,%ymm5,%ymm8
  vpermilpd $0xf,%ymm5,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm5
  vpermilpd $0x0,%ymm6,%ymm8
  vpermilpd $0xf,%ymm6,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm6
  vpermilpd $0x0,%ymm7,%ymm8
  vpermilpd $0xf,%ymm7,%ymm9
  vxorpd %ymm10,%ymm10,%ymm10
  vsubpd %ymm9,%ymm10,%ymm11
  vaddsubpd %ymm11,%ymm8,%ymm7
  vperm2f128 $0x0,%ymm0,%ymm0,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm0,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm0,%ymm11
  vaddpd %ymm11,%ymm8,%ymm0
  vperm2f128 $0x0,%ymm1,%ymm1,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm1,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm1,%ymm11
  vaddpd %ymm11,%ymm8,%ymm1
  vperm2f128 $0x0,%ymm2,%ymm2,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm2,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm2,%ymm11
  vaddpd %ymm11,%ymm8,%ymm2
  vperm2f128 $0x0,%ymm3,%ymm3,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm3,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm3,%ymm11
  vaddpd %ymm11,%ymm8,%ymm3
  vperm2f128 $0x0,%ymm4,%ymm4,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm4,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm4,%ymm11
  vaddpd %ymm11,%ymm8,%ymm4
  vperm2f128 $0x0,%ymm5,%ymm5,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm5,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm5,%ymm11
  vaddpd %ymm11,%ymm8,%ymm5
  vperm2f128 $0x0,%ymm6,%ymm6,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm6,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm6,%ymm11
  vaddpd %ymm11,%ymm8,%ymm6
  vperm2f128 $0x0,%ymm7,%ymm7,%ymm8
  vxorpd %ymm9,%ymm9,%ymm9
  vsubpd %ymm7,%ymm9,%ymm10
  vperm2f128 $0x31,%ymm10,%ymm7,%ymm11
  vaddpd %ymm11,%ymm8,%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rcx)
  vmovupd %ymm10,(%rsi)
  vmovupd %ymm11,(%rdi)
  vmovupd %ymm12,(%r8)
  vmovupd %ymm13,(%r9)
  vmovupd %ymm14,(%r10)
  vmovupd %ymm15,(%r11)
  add    $0x100,%rax
  cmp    %rax,%rbp
  jne    L16
  lea    0x100(%rbx),%rbp
  xor    %r12d,%r12d
L78:
  lea    -0x100(%rbp),%rax
  nopl   0x0(%rax,%rax,1)
L2:
  lea    0x100(%rax),%rcx
  lea    0x200(%rax),%rsi
  lea    0x300(%rax),%rdi
  lea    0x400(%rax),%r8
  lea    0x500(%rax),%r9
  lea    0x600(%rax),%r10
  lea    0x700(%rax),%r11
  vmovupd (%rax),%ymm0
  vmovupd (%rcx),%ymm1
  vmovupd (%rsi),%ymm2
  vmovupd (%rdi),%ymm3
  vmovupd (%r8),%ymm4
  vmovupd (%r9),%ymm5
  vmovupd (%r10),%ymm6
  vmovupd (%r11),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rcx)
  vmovupd %ymm10,(%rsi)
  vmovupd %ymm11,(%rdi)
  vmovupd %ymm12,(%r8)
  vmovupd %ymm13,(%r9)
  vmovupd %ymm14,(%r10)
  vmovupd %ymm15,(%r11)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L2
  add    $0x100,%r12
  add    $0x800,%rbp
  cmp    $0x400,%r12
  jne    L78
  lea    0x800(%rbx),%rax
L79:
  lea    0x800(%rdx),%rcx
  lea    0x1000(%rdx),%rsi
  lea    0x1800(%rdx),%rdi
  vmovupd (%rdx),%ymm0
  vmovupd (%rcx),%ymm1
  vmovupd (%rsi),%ymm2
  vmovupd (%rdi),%ymm3
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vmovupd %ymm0,(%rdx)
  vmovupd %ymm1,(%rcx)
  vmovupd %ymm2,(%rsi)
  vmovupd %ymm3,(%rdi)
  add    $0x20,%rdx
  cmp    %rdx,%rax
  jne    L79
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  nopw   0x0(%rax,%rax,1)
L44:
  ret
  mov    $0x19,%esi
  lea    0x10000000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0x19,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x20000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  lea    0x30000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  lea    0x40000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  lea    0x50000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  lea    0x60000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  lea    0x70000000(%rbx),%rdi
  mov    $0x19,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L29:
  lea    0x10000000(%rax),%rdx
  lea    0x20000000(%rax),%rcx
  lea    0x30000000(%rax),%rsi
  lea    0x40000000(%rax),%rdi
  lea    0x50000000(%rax),%r8
  lea    0x60000000(%rax),%r9
  lea    0x70000000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rbp,%rax
  jne    L29
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  mov    $0xa,%esi
  lea    0x2000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0xa,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x4000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  lea    0x6000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  lea    0x8000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  lea    0xa000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  lea    0xc000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  lea    0xe000(%rbx),%rdi
  mov    $0xa,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L60:
  lea    0x2000(%rax),%rdx
  lea    0x4000(%rax),%rcx
  lea    0x6000(%rax),%rsi
  lea    0x8000(%rax),%rdi
  lea    0xa000(%rax),%r8
  lea    0xc000(%rax),%r9
  lea    0xe000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L60
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  mov    $0xd,%esi
  lea    0x10000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0xd,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x20000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  lea    0x30000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  lea    0x40000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  lea    0x50000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  lea    0x60000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  lea    0x70000(%rbx),%rdi
  mov    $0xd,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L62:
  lea    0x10000(%rax),%rdx
  lea    0x20000(%rax),%rcx
  lea    0x30000(%rax),%rsi
  lea    0x40000(%rax),%rdi
  lea    0x50000(%rax),%r8
  lea    0x60000(%rax),%r9
  lea    0x70000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L62
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  mov    $0x10,%esi
  lea    0x80000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0x10,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x100000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  lea    0x180000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  lea    0x200000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  lea    0x280000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  lea    0x300000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  lea    0x380000(%rbx),%rdi
  mov    $0x10,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L26:
  lea    0x80000(%rax),%rdx
  lea    0x100000(%rax),%rcx
  lea    0x180000(%rax),%rsi
  lea    0x200000(%rax),%rdi
  lea    0x280000(%rax),%r8
  lea    0x300000(%rax),%r9
  lea    0x380000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L26
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  mov    $0x13,%esi
  lea    0x400000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0x13,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x800000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  lea    0xc00000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  lea    0x1000000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  lea    0x1400000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  lea    0x1800000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  lea    0x1c00000(%rbx),%rdi
  mov    $0x13,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L58:
  lea    0x400000(%rax),%rdx
  lea    0x800000(%rax),%rcx
  lea    0xc00000(%rax),%rsi
  lea    0x1000000(%rax),%rdi
  lea    0x1400000(%rax),%r8
  lea    0x1800000(%rax),%r9
  lea    0x1c00000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rax,%rbp
  jne    L58
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
  mov    $0x16,%esi
  lea    0x2000000(%rbx),%rbp
  call   <helper_double_28_recursive>
  mov    $0x16,%esi
  mov    %rbp,%rdi
  call   <helper_double_28_recursive>
  lea    0x4000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  lea    0x6000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  lea    0x8000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  lea    0xa000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  lea    0xc000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  lea    0xe000000(%rbx),%rdi
  mov    $0x16,%esi
  call   <helper_double_28_recursive>
  mov    %rbx,%rax
  nopl   0x0(%rax,%rax,1)
L52:
  lea    0x2000000(%rax),%rdx
  lea    0x4000000(%rax),%rcx
  lea    0x6000000(%rax),%rsi
  lea    0x8000000(%rax),%rdi
  lea    0xa000000(%rax),%r8
  lea    0xc000000(%rax),%r9
  lea    0xe000000(%rax),%r10
  vmovupd (%rax),%ymm0
  vmovupd (%rdx),%ymm1
  vmovupd (%rcx),%ymm2
  vmovupd (%rsi),%ymm3
  vmovupd (%rdi),%ymm4
  vmovupd (%r8),%ymm5
  vmovupd (%r9),%ymm6
  vmovupd (%r10),%ymm7
  vaddpd %ymm1,%ymm0,%ymm8
  vsubpd %ymm1,%ymm0,%ymm9
  vaddpd %ymm3,%ymm2,%ymm10
  vsubpd %ymm3,%ymm2,%ymm11
  vaddpd %ymm5,%ymm4,%ymm12
  vsubpd %ymm5,%ymm4,%ymm13
  vaddpd %ymm7,%ymm6,%ymm14
  vsubpd %ymm7,%ymm6,%ymm15
  vaddpd %ymm10,%ymm8,%ymm0
  vsubpd %ymm10,%ymm8,%ymm2
  vaddpd %ymm11,%ymm9,%ymm1
  vsubpd %ymm11,%ymm9,%ymm3
  vaddpd %ymm14,%ymm12,%ymm4
  vsubpd %ymm14,%ymm12,%ymm6
  vaddpd %ymm15,%ymm13,%ymm5
  vsubpd %ymm15,%ymm13,%ymm7
  vaddpd %ymm4,%ymm0,%ymm8
  vsubpd %ymm4,%ymm0,%ymm12
  vaddpd %ymm5,%ymm1,%ymm9
  vsubpd %ymm5,%ymm1,%ymm13
  vaddpd %ymm6,%ymm2,%ymm10
  vsubpd %ymm6,%ymm2,%ymm14
  vaddpd %ymm7,%ymm3,%ymm11
  vsubpd %ymm7,%ymm3,%ymm15
  vmovupd %ymm8,(%rax)
  vmovupd %ymm9,(%rdx)
  vmovupd %ymm10,(%rcx)
  vmovupd %ymm11,(%rsi)
  vmovupd %ymm12,(%rdi)
  vmovupd %ymm13,(%r8)
  vmovupd %ymm14,(%r9)
  vmovupd %ymm15,(%r10)
  add    $0x20,%rax
  cmp    %rbp,%rax
  jne    L52
  pop    %rbx
  pop    %rbp
  pop    %r12
  ret
```

assistant: ```c
void helper_double_28_recursive(double *buf, int depth) {
  if (depth == 10) {
    for (int j = 0; j < 1024; j += 32) {
      for (int k = 0; k < 4; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vpermilpd $0, %%ymm0, %%ymm8\n"
                         "vpermilpd $15, %%ymm0, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm0\n"
                         "vpermilpd $0, %%ymm1, %%ymm8\n"
                         "vpermilpd $15, %%ymm1, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm1\n"
                         "vpermilpd $0, %%ymm2, %%ymm8\n"
                         "vpermilpd $15, %%ymm2, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm2\n"
                         "vpermilpd $0, %%ymm3, %%ymm8\n"
                         "vpermilpd $15, %%ymm3, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm3\n"
                         "vpermilpd $0, %%ymm4, %%ymm8\n"
                         "vpermilpd $15, %%ymm4, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm4\n"
                         "vpermilpd $0, %%ymm5, %%ymm8\n"
                         "vpermilpd $15, %%ymm5, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm5\n"
                         "vpermilpd $0, %%ymm6, %%ymm8\n"
                         "vpermilpd $15, %%ymm6, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm6\n"
                         "vpermilpd $0, %%ymm7, %%ymm8\n"
                         "vpermilpd $15, %%ymm7, %%ymm9\n"
                         "vxorpd %%ymm10, %%ymm10, %%ymm10\n"
                         "vsubpd %%ymm9, %%ymm10, %%ymm11\n"
                         "vaddsubpd %%ymm11, %%ymm8, %%ymm7\n"
                         "vperm2f128 $0, %%ymm0, %%ymm0, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm0, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm0, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm0\n"
                         "vperm2f128 $0, %%ymm1, %%ymm1, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm1, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm1, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm1\n"
                         "vperm2f128 $0, %%ymm2, %%ymm2, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm2, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm2\n"
                         "vperm2f128 $0, %%ymm3, %%ymm3, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm3, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm3, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm3\n"
                         "vperm2f128 $0, %%ymm4, %%ymm4, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm4, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm4, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm4\n"
                         "vperm2f128 $0, %%ymm5, %%ymm5, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm5, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm5\n"
                         "vperm2f128 $0, %%ymm6, %%ymm6, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm6, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm6, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm6\n"
                         "vperm2f128 $0, %%ymm7, %%ymm7, %%ymm8\n"
                         "vxorpd %%ymm9, %%ymm9, %%ymm9\n"
                         "vsubpd %%ymm7, %%ymm9, %%ymm10\n"
                         "vperm2f128 $49, %%ymm10, %%ymm7, %%ymm11\n"
                         "vaddpd %%ymm11, %%ymm8, %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 4), "r"(buf + j + k + 8), "r"(buf + j + k + 12), "r"(buf + j + k + 16), "r"(buf + j + k + 20), "r"(buf + j + k + 24), "r"(buf + j + k + 28)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 1024; j += 256) {
      for (int k = 0; k < 32; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 32), "r"(buf + j + k + 64), "r"(buf + j + k + 96), "r"(buf + j + k + 128), "r"(buf + j + k + 160), "r"(buf + j + k + 192), "r"(buf + j + k + 224)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    for (int j = 0; j < 1024; j += 1024) {
      for (int k = 0; k < 256; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vmovupd %%ymm0, (%0)\n"
                         "vmovupd %%ymm1, (%1)\n"
                         "vmovupd %%ymm2, (%2)\n"
                         "vmovupd %%ymm3, (%3)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 256), "r"(buf + j + k + 512), "r"(buf + j + k + 768)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 13) {
    helper_double_28_recursive(buf + 0, 10);
    helper_double_28_recursive(buf + 1024, 10);
    helper_double_28_recursive(buf + 2048, 10);
    helper_double_28_recursive(buf + 3072, 10);
    helper_double_28_recursive(buf + 4096, 10);
    helper_double_28_recursive(buf + 5120, 10);
    helper_double_28_recursive(buf + 6144, 10);
    helper_double_28_recursive(buf + 7168, 10);
    for (int j = 0; j < 8192; j += 8192) {
      for (int k = 0; k < 1024; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 1024), "r"(buf + j + k + 2048), "r"(buf + j + k + 3072), "r"(buf + j + k + 4096), "r"(buf + j + k + 5120), "r"(buf + j + k + 6144), "r"(buf + j + k + 7168)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 16) {
    helper_double_28_recursive(buf + 0, 13);
    helper_double_28_recursive(buf + 8192, 13);
    helper_double_28_recursive(buf + 16384, 13);
    helper_double_28_recursive(buf + 24576, 13);
    helper_double_28_recursive(buf + 32768, 13);
    helper_double_28_recursive(buf + 40960, 13);
    helper_double_28_recursive(buf + 49152, 13);
    helper_double_28_recursive(buf + 57344, 13);
    for (int j = 0; j < 65536; j += 65536) {
      for (int k = 0; k < 8192; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 8192), "r"(buf + j + k + 16384), "r"(buf + j + k + 24576), "r"(buf + j + k + 32768), "r"(buf + j + k + 40960), "r"(buf + j + k + 49152), "r"(buf + j + k + 57344)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 19) {
    helper_double_28_recursive(buf + 0, 16);
    helper_double_28_recursive(buf + 65536, 16);
    helper_double_28_recursive(buf + 131072, 16);
    helper_double_28_recursive(buf + 196608, 16);
    helper_double_28_recursive(buf + 262144, 16);
    helper_double_28_recursive(buf + 327680, 16);
    helper_double_28_recursive(buf + 393216, 16);
    helper_double_28_recursive(buf + 458752, 16);
    for (int j = 0; j < 524288; j += 524288) {
      for (int k = 0; k < 65536; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 65536), "r"(buf + j + k + 131072), "r"(buf + j + k + 196608), "r"(buf + j + k + 262144), "r"(buf + j + k + 327680), "r"(buf + j + k + 393216), "r"(buf + j + k + 458752)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 22) {
    helper_double_28_recursive(buf + 0, 19);
    helper_double_28_recursive(buf + 524288, 19);
    helper_double_28_recursive(buf + 1048576, 19);
    helper_double_28_recursive(buf + 1572864, 19);
    helper_double_28_recursive(buf + 2097152, 19);
    helper_double_28_recursive(buf + 2621440, 19);
    helper_double_28_recursive(buf + 3145728, 19);
    helper_double_28_recursive(buf + 3670016, 19);
    for (int j = 0; j < 4194304; j += 4194304) {
      for (int k = 0; k < 524288; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 524288), "r"(buf + j + k + 1048576), "r"(buf + j + k + 1572864), "r"(buf + j + k + 2097152), "r"(buf + j + k + 2621440), "r"(buf + j + k + 3145728), "r"(buf + j + k + 3670016)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 25) {
    helper_double_28_recursive(buf + 0, 22);
    helper_double_28_recursive(buf + 4194304, 22);
    helper_double_28_recursive(buf + 8388608, 22);
    helper_double_28_recursive(buf + 12582912, 22);
    helper_double_28_recursive(buf + 16777216, 22);
    helper_double_28_recursive(buf + 20971520, 22);
    helper_double_28_recursive(buf + 25165824, 22);
    helper_double_28_recursive(buf + 29360128, 22);
    for (int j = 0; j < 33554432; j += 33554432) {
      for (int k = 0; k < 4194304; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 4194304), "r"(buf + j + k + 8388608), "r"(buf + j + k + 12582912), "r"(buf + j + k + 16777216), "r"(buf + j + k + 20971520), "r"(buf + j + k + 25165824), "r"(buf + j + k + 29360128)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
  if (depth == 28) {
    helper_double_28_recursive(buf + 0, 25);
    helper_double_28_recursive(buf + 33554432, 25);
    helper_double_28_recursive(buf + 67108864, 25);
    helper_double_28_recursive(buf + 100663296, 25);
    helper_double_28_recursive(buf + 134217728, 25);
    helper_double_28_recursive(buf + 167772160, 25);
    helper_double_28_recursive(buf + 201326592, 25);
    helper_double_28_recursive(buf + 234881024, 25);
    for (int j = 0; j < 268435456; j += 268435456) {
      for (int k = 0; k < 33554432; k += 4) {
        __asm__ volatile("vmovupd (%0), %%ymm0\n"
                         "vmovupd (%1), %%ymm1\n"
                         "vmovupd (%2), %%ymm2\n"
                         "vmovupd (%3), %%ymm3\n"
                         "vmovupd (%4), %%ymm4\n"
                         "vmovupd (%5), %%ymm5\n"
                         "vmovupd (%6), %%ymm6\n"
                         "vmovupd (%7), %%ymm7\n"
                         "vaddpd %%ymm1, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm1, %%ymm0, %%ymm9\n"
                         "vaddpd %%ymm3, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm3, %%ymm2, %%ymm11\n"
                         "vaddpd %%ymm5, %%ymm4, %%ymm12\n"
                         "vsubpd %%ymm5, %%ymm4, %%ymm13\n"
                         "vaddpd %%ymm7, %%ymm6, %%ymm14\n"
                         "vsubpd %%ymm7, %%ymm6, %%ymm15\n"
                         "vaddpd %%ymm10, %%ymm8, %%ymm0\n"
                         "vsubpd %%ymm10, %%ymm8, %%ymm2\n"
                         "vaddpd %%ymm11, %%ymm9, %%ymm1\n"
                         "vsubpd %%ymm11, %%ymm9, %%ymm3\n"
                         "vaddpd %%ymm14, %%ymm12, %%ymm4\n"
                         "vsubpd %%ymm14, %%ymm12, %%ymm6\n"
                         "vaddpd %%ymm15, %%ymm13, %%ymm5\n"
                         "vsubpd %%ymm15, %%ymm13, %%ymm7\n"
                         "vaddpd %%ymm4, %%ymm0, %%ymm8\n"
                         "vsubpd %%ymm4, %%ymm0, %%ymm12\n"
                         "vaddpd %%ymm5, %%ymm1, %%ymm9\n"
                         "vsubpd %%ymm5, %%ymm1, %%ymm13\n"
                         "vaddpd %%ymm6, %%ymm2, %%ymm10\n"
                         "vsubpd %%ymm6, %%ymm2, %%ymm14\n"
                         "vaddpd %%ymm7, %%ymm3, %%ymm11\n"
                         "vsubpd %%ymm7, %%ymm3, %%ymm15\n"
                         "vmovupd %%ymm8, (%0)\n"
                         "vmovupd %%ymm9, (%1)\n"
                         "vmovupd %%ymm10, (%2)\n"
                         "vmovupd %%ymm11, (%3)\n"
                         "vmovupd %%ymm12, (%4)\n"
                         "vmovupd %%ymm13, (%5)\n"
                         "vmovupd %%ymm14, (%6)\n"
                         "vmovupd %%ymm15, (%7)\n" ::"r"(buf + j + k + 0),
                         "r"(buf + j + k + 33554432), "r"(buf + j + k + 67108864), "r"(buf + j + k + 100663296), "r"(buf + j + k + 134217728), "r"(buf + j + k + 167772160), "r"(buf + j + k + 201326592), "r"(buf + j + k + 234881024)
                         : "%ymm0", "%ymm1", "%ymm2", "%ymm3", "%ymm4", "%ymm5", "%ymm6", "%ymm7", "%ymm8", "%ymm9", "%ymm10", "%ymm11", "%ymm12", "%ymm13", "%ymm14", "%ymm15", "memory");
      }
    }
    return;
  }
}
```