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

```asm
<Inverse_SO3_Naive_sym>:
  endbr64
  mov    %edi,%r11d
  add    %edi,%edi
  push   %r15
  mov    %edi,%eax
  push   %r14
  push   %r13
  imul   %edi,%eax
  push   %r12
  mov    %edi,%r12d
  push   %rbp
  push   %rbx
  sub    $0xc8,%rsp
  mov    %eax,0x80(%rsp)
  imul   %edi,%eax
  mov    0x100(%rsp),%rbx
  mov    %rsi,0x28(%rsp)
  mov    0x100(%rsp),%rsi
  mov    %r9,0xa0(%rsp)
  movslq %eax,%r14
  mov    %eax,0x84(%rsp)
  mov    %r14,0xb8(%rsp)
  lea    (%r9,%r14,8),%r14
  mov    %r14,0x98(%rsp)
  movslq %edi,%r14
  lea    0x0(,%r14,8),%rax
  mov    %r14,0x90(%rsp)
  add    %rax,%rbx
  mov    %rax,0x88(%rsp)
  mov    %rbx,%r15
  mov    %r11d,0x78(%rsp)
  add    %rax,%r15
  mov    %rdx,0x30(%rsp)
  mov    %r15,%r13
  mov    %r8,0x20(%rsp)
  add    %rax,%r13
  mov    %rcx,0x18(%rsp)
  mov    %r13,%r14
  mov    %rbx,0x40(%rsp)
  add    %rax,%r14
  mov    %r11d,%eax
  mov    %r13,0x50(%rsp)
  imul   %edi,%eax
  mov    %r15,0x48(%rsp)
  mov    %eax,0x7c(%rsp)
  cltq
  lea    0x0(,%rax,8),%rbp
  xor    %eax,%eax
  lea    (%r14,%rbp,1),%r9
  mov    %r9,0x8(%rsp)
  call   <SinEvalPts@plt>
  mov    %rbx,%rsi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <CosEvalPts@plt>
  mov    %r15,%rsi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <SinEvalPts2@plt>
  mov    %r13,%rsi
  mov    %r12d,%edi
  xor    %eax,%eax
  mov    %r12d,0x70(%rsp)
  call   <CosEvalPts2@plt>
  sub    $0x8,%rsp
  mov    %r15,%r9
  mov    %rbx,%r8
  push   0x10(%rsp)
  xor    %esi,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  push   %r14
  push   %r13
  mov    0x98(%rsp),%r15d
  mov    0x120(%rsp),%rcx
  mov    %r15d,%edx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  xor    %esi,%esi
  xor    %edi,%edi
  mov    %r15d,%edx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %esi,%esi
  xor    %edi,%edi
  mov    %r15d,%edx
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  movslq %ebx,%rdx
  mov    0x20(%rsp),%rbx
  mov    0x30(%rsp),%r8
  shl    $0x3,%rdx
  mov    0x28(%rsp),%rsi
  cltq
  add    %rdx,%rbx
  sub    $0x8,%rsp
  shl    $0x3,%rax
  xor    %edi,%edi
  mov    0x10(%rsp),%r13
  lea    (%rsi,%rax,1),%rcx
  lea    (%r8,%rax,1),%r12
  xor    %esi,%esi
  mov    %r14,%r8
  push   %r13
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %r15d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis@plt>
  xor    %esi,%esi
  xor    %edi,%edi
  mov    %rbx,%r9
  mov    %r14,%r8
  mov    %r12,%rcx
  mov    %r15d,%edx
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    0x28(%rsp),%rax
  add    %rbp,%rax
  add    0x30(%rsp),%rbp
  mov    %rax,0xb8(%rsp)
  mov    %rbp,0xc0(%rsp)
  pop    %rsi
  pop    %rdi
  cmp    $0x1,%r15d
  jle    L373
  mov    0x70(%rsp),%eax
  mov    %r15d,%ebp
  mov    $0x1,%ebx
  shr    %eax
  sub    $0x1,%eax
  add    $0x1,%rax
  shl    $0x4,%rax
  mov    %rax,0x58(%rsp)
  jmp    L319
  nop
L42:
  mov    %r15d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  movslq %eax,%r12
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    0x0(,%r12,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  lea    (%rsi,%rdx,1),%r11
  shl    $0x3,%rcx
  mov    %r15d,%esi
  lea    (%rax,%rcx,1),%r12
  mov    %r11,0x18(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   %r13
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %ebp,%edx
  mov    %r15d,%edi
  call   <wigNaiveSynthesis@plt>
  mov    0x20(%rsp),%r9
  mov    %r12,%rcx
  mov    %r14,%r8
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  movslq %eax,%r12
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r12,8),%rdx
  mov    %r13,(%rsp)
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%r11
  lea    (%rdi,%rdx,1),%r9
  mov    %ebx,%esi
  lea    (%rax,%rcx,1),%r12
  mov    %ebp,%edx
  add    0x38(%rsp),%rcx
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %r12,%rcx
  mov    %r14,%r8
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  movslq %eax,%r12
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r12,8),%rdx
  mov    %r13,(%rsp)
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%r11
  lea    (%rdi,%rdx,1),%r9
  mov    %r15d,%esi
  lea    (%rax,%rcx,1),%r12
  mov    %ebp,%edx
  add    0x38(%rsp),%rcx
  mov    %ebx,%edi
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %r12,%rcx
  mov    %r14,%r8
  mov    %ebp,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r11
  pop    %r12
L253:
  lea    0x1(%rbx),%r12d
  cmp    %r12d,%ebp
  je     L506
L391:
  mov    %r12d,%ebx
L319:
  sub    $0x8,%rsp
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  push   %r13
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x120(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  movslq %eax,%r12
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  lea    0x0(,%r12,8),%rdx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%r15
  mov    %ebx,%esi
  lea    (%rax,%rcx,1),%r12
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   %r13
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %ebp,%edx
  mov    %ebx,%edi
  call   <wigNaiveSynthesis@plt>
  mov    %r15,%r9
  mov    %r12,%rcx
  mov    %ebp,%edx
  mov    %r14,%r8
  mov    %ebx,%esi
  mov    %ebx,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  mov    %ebx,%r15d
  call   <wigNaiveSynthesis@plt>
  pop    %rax
  pop    %rdx
  neg    %r15d
  mov    0x108(%rsp),%ecx
  mov    %ebp,%edx
  test   %ecx,%ecx
  je     L42
  mov    %ebx,%esi
  mov    %ebx,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %ebp,%edx
  mov    %r15d,%edi
  mov    %eax,%r12d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x70(%rsp),%esi
  test   %esi,%esi
  jle    L421
  sub    $0x1,%esi
  cltq
  cmp    $0x1,%esi
  lea    0x0(,%rax,8),%rdx
  mov    %esi,0x60(%rsp)
  movslq %r12d,%rax
  mov    0x20(%rsp),%rsi
  seta   %r10b
  mov    0x18(%rsp),%r12
  lea    0x8(,%rax,8),%r9
  shl    $0x3,%rax
  lea    (%rsi,%rdx,1),%rcx
  add    %rax,%rsi
  lea    (%r12,%r9,1),%r11
  cmp    %r9,%rdx
  setne  %r8b
  lea    (%r12,%rdx,1),%rdi
  and    %r10d,%r8d
  cmp    %r11,%rcx
  setne  %r11b
  and    %r11d,%r8d
  lea    0x8(%r12,%rdx,1),%r11
  cmp    %r11,%rcx
  setne  %r11b
  test   %r11b,%r8b
  je     L552
  lea    0x10(%r12,%rdx,1),%rdx
  cmp    %rdx,%rsi
  mov    0x20(%rsp),%rdx
  setae  %r8b
  lea    0x8(%rdx,%r9,1),%rdx
  cmp    %rdx,%rdi
  setae  %dl
  or     %r8b,%dl
  je     L552
  mov    0x58(%rsp),%r8
  add    %r12,%rax
  xor    %edx,%edx
  nopl   0x0(%rax)
L478:
  movupd (%rax,%rdx,1),%xmm6
  movups %xmm6,(%rdi,%rdx,1)
  movupd (%rsi,%rdx,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rcx,%rdx,1)
  add    $0x10,%rdx
  cmp    %r8,%rdx
  jne    L478
L611:
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  mov    %r10b,0x38(%rsp)
  call   <sampLoc_so3@plt>
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %eax,%r12d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%r11
  movslq %r12d,%rdx
  mov    %r15d,%edi
  mov    0x30(%rsp),%rsi
  shl    $0x3,%rdx
  cltq
  sub    $0x8,%rsp
  add    %rdx,%r11
  shl    $0x3,%rax
  lea    (%rsi,%rax,1),%r12
  mov    %r11,0x18(%rsp)
  mov    0x30(%rsp),%rsi
  push   %r13
  mov    0x28(%rsp),%r8
  lea    (%rsi,%rax,1),%rcx
  mov    %ebx,%esi
  xor    %eax,%eax
  lea    (%r8,%rdx,1),%r9
  mov    %r14,%r8
  mov    %ebp,%edx
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %r12,%rcx
  mov    %r14,%r8
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %ebp,%edx
  mov    %ebx,%edi
  mov    %eax,%r12d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  movslq %r12d,%rdx
  mov    0x28(%rsp),%r15
  mov    0x30(%rsp),%r11
  cltq
  lea    0x8(,%rdx,8),%r9
  pop    %r8
  shl    $0x3,%rdx
  shl    $0x3,%rax
  pop    %r10
  movzbl 0x38(%rsp),%r10d
  lea    (%r11,%rdx,1),%rsi
  cmp    %r9,%rax
  lea    (%r11,%rax,1),%rcx
  lea    (%r15,%rax,1),%rdi
  setne  %r8b
  and    %r10d,%r8d
  lea    (%r15,%r9,1),%r10
  cmp    %r10,%rcx
  setne  %r10b
  and    %r10d,%r8d
  lea    0x8(%r15,%rax,1),%r10
  cmp    %r10,%rcx
  setne  %r10b
  test   %r10b,%r8b
  je     L78
  lea    0x10(%r15,%rax,1),%rax
  mov    %r15,%r8
  cmp    %rax,%rsi
  lea    0x8(%r11,%r9,1),%rax
  setae  %r10b
  cmp    %rax,%rdi
  setae  %r9b
  add    %rdx,%r8
  xor    %eax,%eax
  or     %r10b,%r9b
  je     L78
  mov    0x58(%rsp),%rdx
  nop
L61:
  movupd (%r8,%rax,1),%xmm7
  movups %xmm7,(%rdi,%rax,1)
  movupd (%rsi,%rax,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L61
  lea    0x1(%rbx),%r12d
  cmp    %r12d,%ebp
  jne    L391
L506:
  mov    %ebx,0x60(%rsp)
  mov    $0x1,%r15d
  mov    0x8(%rsp),%rbx
  jmp    L207
  nopl   (%rax)
L281:
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %esi,%esi
  mov    %r12d,%edx
  mov    %ebp,%edi
  movslq %eax,%r13
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    0x0(,%r13,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  xor    %esi,%esi
  lea    (%rax,%rcx,1),%r13
  mov    %r10,0x18(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   %rbx
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r12d,%edx
  mov    %ebp,%edi
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r13,%rcx
  mov    %r14,%r8
  xor    %esi,%esi
  mov    %r12d,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  movslq %eax,%r13
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r13,8),%rdx
  mov    %rbx,(%rsp)
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%r10
  lea    (%rdi,%rdx,1),%r9
  mov    %r15d,%esi
  lea    (%rax,%rcx,1),%r13
  xor    %edi,%edi
  add    0x38(%rsp),%rcx
  mov    %r12d,%edx
  xor    %eax,%eax
  mov    %r10,0x20(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r13,%rcx
  mov    %r14,%r8
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %ebp,%esi
  movslq %eax,%r13
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r13,8),%rdx
  mov    %rbx,(%rsp)
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%r10
  lea    (%rdi,%rdx,1),%r9
  mov    %ebp,%esi
  lea    (%rax,%rcx,1),%r13
  mov    %r12d,%edx
  add    0x38(%rsp),%rcx
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %r10,0x20(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    0x20(%rsp),%r9
  mov    %ebp,%esi
  xor    %edi,%edi
  mov    %r14,%r8
  mov    %r13,%rcx
  mov    %r12d,%edx
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  call   <wigNaiveSynthesis@plt>
  pop    %rsi
  pop    %rdi
L49:
  lea    0x1(%r15),%eax
  cmp    0x60(%rsp),%r15d
  je     L361
L142:
  mov    %eax,%r15d
L207:
  sub    $0x8,%rsp
  mov    %r12d,%edx
  xor    %esi,%esi
  mov    %r15d,%edi
  push   %rbx
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x120(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  xor    %esi,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  xor    %esi,%esi
  mov    %r15d,%edi
  movslq %eax,%rbp
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  lea    0x0(,%rbp,8),%rdx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%rbp
  xor    %esi,%esi
  lea    (%rax,%rcx,1),%r13
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   %rbx
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r12d,%edx
  mov    %r15d,%edi
  call   <wigNaiveSynthesis@plt>
  mov    %rbp,%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  xor    %esi,%esi
  mov    %r13,%rcx
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  mov    %r15d,%ebp
  call   <wigNaiveSynthesis@plt>
  pop    %r8
  pop    %r9
  neg    %ebp
  mov    0x108(%rsp),%r10d
  mov    %r12d,%edx
  xor    %esi,%esi
  test   %r10d,%r10d
  je     L281
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edi
  mov    %r12d,%edx
  xor    %esi,%esi
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x70(%rsp),%edi
  test   %edi,%edi
  jle    L650
  cltq
  sub    $0x1,%edi
  lea    0x0(,%rax,8),%rdx
  movslq %r13d,%rax
  cmp    $0x1,%edi
  mov    0x18(%rsp),%r13
  lea    0x8(,%rax,8),%r9
  mov    %edi,0x64(%rsp)
  seta   %r11b
  mov    0x20(%rsp),%rdi
  shl    $0x3,%rax
  cmp    %r9,%rdx
  lea    0x0(%r13,%r9,1),%r10
  lea    (%rdi,%rdx,1),%rcx
  setne  %r8b
  lea    (%rdi,%rax,1),%rsi
  and    %r11d,%r8d
  cmp    %r10,%rcx
  lea    0x0(%r13,%rdx,1),%rdi
  setne  %r10b
  and    %r10d,%r8d
  lea    0x8(%r13,%rdx,1),%r10
  cmp    %r10,%rcx
  setne  %r10b
  test   %r10b,%r8b
  je     L58
  lea    0x10(%r13,%rdx,1),%rdx
  cmp    %rdx,%rsi
  mov    0x20(%rsp),%rdx
  setae  %r8b
  lea    0x8(%rdx,%r9,1),%rdx
  cmp    %rdx,%rdi
  setae  %dl
  or     %r8b,%dl
  je     L58
  mov    0x58(%rsp),%r8
  add    %r13,%rax
  xor    %edx,%edx
  nop
L304:
  movupd (%rax,%rdx,1),%xmm6
  movups %xmm6,(%rdi,%rdx,1)
  movupd (%rsi,%rdx,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rcx,%rdx,1)
  add    $0x10,%rdx
  cmp    %r8,%rdx
  jne    L304
L618:
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  mov    %r11b,0x38(%rsp)
  call   <sampLoc_so3@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  movslq %r13d,%rdx
  sub    $0x8,%rsp
  mov    0x38(%rsp),%rdi
  shl    $0x3,%rdx
  cltq
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rax
  mov    %r15d,%esi
  lea    (%rdi,%rax,1),%r13
  mov    %r10,0x18(%rsp)
  mov    0x30(%rsp),%rdi
  push   %rbx
  mov    0x28(%rsp),%r8
  lea    (%rdi,%rax,1),%rcx
  xor    %edi,%edi
  xor    %eax,%eax
  lea    (%r8,%rdx,1),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r13,%rcx
  mov    %r14,%r8
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%esi
  xor    %edi,%edi
  mov    %r12d,%edx
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    0x28(%rsp),%rbp
  movslq %eax,%rdx
  movslq %r13d,%rax
  pop    %r10
  pop    %r11
  shl    $0x3,%rdx
  lea    0x8(,%rax,8),%r9
  shl    $0x3,%rax
  movzbl 0x38(%rsp),%r11d
  lea    (%rsi,%rdx,1),%rcx
  lea    0x8(%rbp,%rdx,1),%r8
  mov    %rsi,%r13
  cmp    %r8,%rcx
  lea    (%rsi,%rax,1),%rsi
  lea    0x0(%rbp,%rdx,1),%rdi
  setne  %r10b
  cmp    %r9,%rdx
  setne  %r8b
  and    %r11d,%r8d
  and    %r10d,%r8d
  lea    0x0(%rbp,%r9,1),%r10
  cmp    %r10,%rcx
  setne  %r10b
  test   %r10b,%r8b
  je     L694
  lea    0x10(%rbp,%rdx,1),%rdx
  mov    %rbp,%r8
  cmp    %rdx,%rsi
  lea    0x8(%r13,%r9,1),%rdx
  setae  %r10b
  cmp    %rdx,%rdi
  setae  %r9b
  add    %rax,%r8
  xor    %edx,%edx
  or     %r10b,%r9b
  je     L694
  mov    0x58(%rsp),%rax
  nopw   0x0(%rax,%rax,1)
L559:
  movupd (%r8,%rdx,1),%xmm7
  movups %xmm7,(%rdi,%rdx,1)
  movupd (%rsi,%rdx,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rcx,%rdx,1)
  add    $0x10,%rdx
  cmp    %rax,%rdx
  jne    L559
  lea    0x1(%r15),%eax
  cmp    0x60(%rsp),%r15d
  jne    L142
L361:
  mov    $0x2,%r15d
  cmp    $0x2,%r12d
  je     L591
  nopl   0x0(%rax,%rax,1)
L426:
  mov    $0x1,%eax
  mov    %r15d,0x74(%rsp)
  lea    -0x1(%r15),%r13d
  sub    %r15d,%eax
  mov    %eax,0x10(%rsp)
  jmp    L133
  nopw   0x0(%rax,%rax,1)
L63:
  mov    0x10(%rsp),%edi
  mov    %ebp,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%edi
  mov    %ebp,%esi
  mov    %r12d,%edx
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %ebp,%esi
  lea    (%rax,%rcx,1),%rbx
  mov    %r10,0x40(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  mov    0x20(%rsp),%edi
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symX@plt>
  pop    %r10
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    0x20(%rsp),%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    %r13d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    %r14,%r8
  mov    %r13d,%edi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %ebp,%esi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %r11
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  lea    0x0(,%rbx,8),%rdx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r15d,%esi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  pop    %rax
  push   0x10(%rsp)
  xor    %eax,%eax
  mov    0x28(%rsp),%r11
  mov    0x20(%rsp),%edi
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    0x20(%rsp),%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    %r14,%r8
  mov    %r15d,%edi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r13d,%esi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  pop    %rax
  push   0x10(%rsp)
  xor    %eax,%eax
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symX@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%esi
  mov    %ebp,%edi
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %ebp,%edi
  mov    %r12d,%edx
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  lea    0x0(,%rbx,8),%rdx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %ebp,%edi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %rsi
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  mov    0x20(%rsp),%esi
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis@plt>
  pop    %rdi
  mov    %rbx,%rcx
  push   0x10(%rsp)
  mov    0x20(%rsp),%ebx
  mov    %r14,%r8
  mov    %ebp,%edi
  mov    %r12d,%edx
  mov    0x48(%rsp),%r9
  xor    %eax,%eax
  mov    %ebx,%esi
  call   <wigNaiveSynthesis@plt>
  mov    %ebx,%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %ebx,0x20(%rsp)
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  lea    0x0(,%rbx,8),%rdx
  mov    %ebp,%esi
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r13d,%edi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %r8
  push   0x10(%rsp)
  mov    %r14,%r8
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r9
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %ebp,%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  mov    %r14,%r8
  mov    %r15d,%esi
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%rbx,8),%rdx
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%rbx
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  pop    %r10
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  xor    %eax,%eax
  mov    0x20(%rsp),%edi
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r11
  push   0x10(%rsp)
  mov    %rbx,%r9
  mov    0x20(%rsp),%edi
  mov    %rbp,%rcx
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rbx
  pop    %rbp
L537:
  lea    0x1(%r15),%eax
  cmp    0x60(%rsp),%r15d
  jge    L580
L337:
  mov    %eax,%r15d
L133:
  sub    $0x8,%rsp
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r13d,%edi
  push   0x10(%rsp)
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x120(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r13d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  mov    %r14,%r8
  mov    %r13d,%edi
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  lea    0x0(,%rbx,8),%rdx
  shl    $0x3,%rcx
  lea    (%rsi,%rdx,1),%rbx
  mov    %r15d,%esi
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %rbx,%r9
  mov    %r14,%r8
  mov    %r15d,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  mov    %r15d,%ebp
  call   <wigNaiveSynthesis@plt>
  pop    %rax
  pop    %rdx
  neg    %ebp
  mov    0x108(%rsp),%ecx
  mov    %r12d,%edx
  test   %ecx,%ecx
  je     L63
  mov    %r15d,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%edi
  mov    %r12d,%edx
  mov    %ebp,%esi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x70(%rsp),%edi
  test   %edi,%edi
  jle    L6
  lea    -0x1(%rdi),%edx
  cltq
  mov    0x18(%rsp),%r11
  mov    0x20(%rsp),%r10
  shl    $0x3,%rax
  lea    0x8(,%rbx,8),%r8
  shl    $0x3,%rbx
  cmp    $0x1,%edx
  mov    %edx,0x64(%rsp)
  seta   %dl
  cmp    %r8,%rax
  lea    (%r10,%rax,1),%rcx
  setne  %r9b
  lea    (%r10,%rbx,1),%rsi
  lea    (%r11,%rax,1),%rdi
  and    %r9d,%edx
  lea    (%r11,%r8,1),%r9
  cmp    %r9,%rcx
  setne  %r9b
  and    %r9d,%edx
  lea    0x8(%r11,%rax,1),%r9
  cmp    %r9,%rcx
  setne  %r9b
  test   %r9b,%dl
  je     L550
  lea    0x10(%r11,%rax,1),%rax
  lea    0x8(%r10,%r8,1),%rdx
  cmp    %rax,%rsi
  setae  %al
  cmp    %rdx,%rdi
  setae  %dl
  or     %dl,%al
  je     L550
  movapd D76(%rip),%xmm1
  mov    0x58(%rsp),%rdx
  add    %r11,%rbx
  xor    %eax,%eax
  xchg   %ax,%ax
L232:
  movupd (%rbx,%rax,1),%xmm2
  movups %xmm2,(%rdi,%rax,1)
  movupd (%rsi,%rax,1),%xmm0
  xorpd  %xmm1,%xmm0
  movups %xmm0,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L232
L581:
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%r11
  sub    $0x8,%rsp
  mov    %ebp,%esi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  mov    %r14,%r8
  lea    (%r11,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r13d,%edi
  lea    (%rax,%rcx,1),%rbx
  mov    %r10,0x40(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %rdx
  pop    %rcx
  lea    0x8(,%rbx,8),%r8
  cmpl   $0x1,0x64(%rsp)
  movslq %eax,%rdi
  mov    0x18(%rsp),%r10
  seta   0x38(%rsp)
  shl    $0x3,%rdi
  mov    0x20(%rsp),%r11
  movzbl 0x38(%rsp),%r9d
  shl    $0x3,%rbx
  cmp    %r8,%rdi
  lea    (%r10,%rdi,1),%rsi
  setne  %al
  lea    (%r11,%rdi,1),%rdx
  lea    (%r11,%rbx,1),%rcx
  and    %r9d,%eax
  lea    (%r10,%r8,1),%r9
  cmp    %r9,%rdx
  setne  %r9b
  and    %r9d,%eax
  lea    0x8(%r10,%rdi,1),%r9
  cmp    %r9,%rdx
  setne  %r9b
  test   %r9b,%al
  je     L401
  lea    0x10(%r10,%rdi,1),%rax
  lea    0x8(%r11,%r8,1),%rdi
  cmp    %rax,%rcx
  setae  %al
  cmp    %rdi,%rsi
  setae  %dil
  or     %dil,%al
  je     L401
  movapd D76(%rip),%xmm1
  mov    0x58(%rsp),%rdi
  xor    %eax,%eax
  add    0x18(%rsp),%rbx
  nopl   0x0(%rax,%rax,1)
L23:
  movupd (%rbx,%rax,1),%xmm3
  movups %xmm3,(%rsi,%rax,1)
  movupd (%rcx,%rax,1),%xmm0
  xorpd  %xmm1,%xmm0
  movups %xmm0,(%rdx,%rax,1)
  add    $0x10,%rax
  cmp    %rdi,%rax
  jne    L23
L305:
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%r10
  mov    %r14,%r8
  mov    %r13d,%esi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  sub    $0x8,%rsp
  add    %rdx,%r10
  shl    $0x3,%rcx
  mov    %r15d,%edi
  lea    (%rax,%rcx,1),%rbx
  mov    %r10,0x70(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symX@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x78(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edx
  mov    %ebp,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%r11
  mov    0x30(%rsp),%r10
  lea    0x8(,%rbx,8),%r8
  cltq
  shl    $0x3,%rbx
  add    $0x10,%rsp
  shl    $0x3,%rax
  lea    (%r11,%r8,1),%rdx
  lea    (%r10,%rbx,1),%rsi
  lea    (%r10,%rax,1),%rcx
  lea    (%r11,%rax,1),%rdi
  cmp    %rdx,%rcx
  setne  %dl
  cmp    %rax,%r8
  setne  %r9b
  and    0x38(%rsp),%r9b
  and    %r9d,%edx
  lea    0x8(%r11,%rax,1),%r9
  cmp    %r9,%rcx
  setne  %r9b
  test   %r9b,%dl
  je     L71
  lea    0x10(%r11,%rax,1),%rax
  mov    %r11,%rdx
  cmp    %rax,%rsi
  lea    0x8(%r10,%r8,1),%rax
  setae  %r9b
  cmp    %rax,%rdi
  setae  %r8b
  add    %rbx,%rdx
  xor    %eax,%eax
  or     %r9b,%r8b
  mov    0x58(%rsp),%r8
  je     L71
  nopl   0x0(%rax,%rax,1)
L562:
  movupd (%rdx,%rax,1),%xmm4
  movups %xmm4,(%rdi,%rax,1)
  movupd (%rsi,%rax,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rcx,%rax,1)
  add    $0x10,%rax
  cmp    %r8,%rax
  jne    L562
L300:
  mov    0x10(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%r10
  sub    $0x8,%rsp
  mov    %ebp,%esi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  mov    %r14,%r8
  add    %rdx,%r10
  shl    $0x3,%rcx
  mov    %r13d,%edi
  lea    (%rax,%rcx,1),%rbx
  mov    %r10,0x70(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %r12d,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x78(%rsp),%r9
  mov    %r14,%r8
  mov    %ebp,%esi
  mov    %r12d,%edx
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%edi
  mov    %r12d,%edx
  mov    %r13d,%esi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%r11
  mov    0x30(%rsp),%r10
  lea    0x8(,%rbx,8),%r8
  movslq %eax,%rdi
  pop    %r9
  shl    $0x3,%rbx
  pop    %rbp
  shl    $0x3,%rdi
  lea    (%r11,%r8,1),%r9
  lea    (%r10,%rbx,1),%rsi
  cmp    %rdi,%r8
  lea    (%r10,%rdi,1),%rdx
  lea    (%r11,%rdi,1),%rcx
  setne  %al
  and    0x38(%rsp),%al
  cmp    %r9,%rdx
  setne  %r9b
  and    %r9d,%eax
  lea    0x8(%r11,%rdi,1),%r9
  cmp    %r9,%rdx
  setne  %r9b
  test   %r9b,%al
  je     L680
  lea    0x8(%r10,%r8,1),%rax
  cmp    %rax,%rcx
  lea    0x10(%r11,%rdi,1),%rax
  lea    (%r11,%rbx,1),%rdi
  setae  %r9b
  cmp    %rax,%rsi
  setae  %r8b
  xor    %eax,%eax
  or     %r9b,%r8b
  mov    0x58(%rsp),%r8
  je     L680
  nopl   0x0(%rax)
L79:
  movupd (%rdi,%rax,1),%xmm5
  movups %xmm5,(%rcx,%rax,1)
  movupd (%rsi,%rax,1),%xmm0
  xorpd  D76(%rip),%xmm0
  movups %xmm0,(%rdx,%rax,1)
  add    $0x10,%rax
  cmp    %r8,%rax
  jne    L79
  lea    0x1(%r15),%eax
  cmp    0x60(%rsp),%r15d
  jl     L337
  nopw   0x0(%rax,%rax,1)
L580:
  mov    0x74(%rsp),%r15d
  add    $0x1,%r15d
  cmp    %r12d,%r15d
  jne    L426
L591:
  mov    0x7c(%rsp),%eax
  mov    0x78(%rsp),%r15d
  xor    %ebx,%ebx
  mov    0x88(%rsp),%r14
  mov    0xa8(%rsp),%r12
  lea    (%rax,%rax,1),%ebp
  mov    0xb0(%rsp),%r13
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  nopw   0x0(%rax,%rax,1)
L83:
  mov    %r12,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  add    $0x1,%ebx
  call   <memset@plt>
  mov    %r13,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  call   <memset@plt>
  add    %rbp,%r12
  add    %rbp,%r13
  cmp    %ebx,%r15d
  jg     L83
  mov    0x7c(%rsp),%r14d
  mov    0x70(%rsp),%ebp
  xor    %esi,%esi
  mov    0x90(%rsp),%r13
  mov    0x18(%rsp),%rax
  imul   %r14d,%ebp
  imul   %r13,%r13
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  shl    $0x3,%r13
  lea    (%rax,%rbp,1),%r12
  mov    %r13,%rdx
  add    0x20(%rsp),%rbp
  mov    %r12,%rdi
  call   <memset@plt>
  xor    %esi,%esi
  mov    %r13,%rdx
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    0x80(%rsp),%ebx
  add    %r14d,%ebx
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  add    %rbx,%r12
  add    %rbp,%rbx
  cmpl   $0x1,0x78(%rsp)
  jle    L583
  mov    0x7c(%rsp),%r13d
  mov    0x78(%rsp),%r15d
  mov    $0x1,%ebp
  mov    0x88(%rsp),%r14
  add    %r13d,%r13d
  movslq %r13d,%r13
  shl    $0x3,%r13
  nopl   0x0(%rax,%rax,1)
L85:
  mov    %r12,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  add    $0x1,%ebp
  call   <memset@plt>
  mov    %rbx,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  call   <memset@plt>
  add    %r13,%r12
  add    %r13,%rbx
  cmp    %ebp,%r15d
  jne    L85
L583:
  mov    0x70(%rsp),%ebx
  mov    0x80(%rsp),%r14d
  xor    %eax,%eax
  mov    0xa0(%rsp),%r12
  mov    0x18(%rsp),%r13
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %r12,%rsi
  mov    %r13,%rdi
  call   <transpose_so3@plt>
  mov    0x20(%rsp),%r15
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    0x98(%rsp),%rbp
  xor    %eax,%eax
  mov    %r15,%rdi
  mov    %rbp,%rsi
  call   <transpose_so3@plt>
  sub    $0x8,%rsp
  mov    %ebx,%r9d
  mov    %r14d,%r8d
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    %r13,%rdx
  mov    %rbp,%rsi
  mov    %r12,%rdi
  xor    %eax,%eax
  call   <grid_fourier_so3@plt>
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %r12,%rsi
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <transpose_so3@plt>
  mov    %r14d,%ecx
  mov    %ebx,%edx
  mov    %rbp,%rsi
  mov    %r15,%rdi
  xor    %eax,%eax
  call   <transpose_so3@plt>
  pop    %rsi
  push   0x10(%rsp)
  mov    %ebx,%r9d
  mov    %r14d,%r8d
  mov    %r12,%rdi
  mov    %r15,%rcx
  mov    %r13,%rdx
  mov    %rbp,%rsi
  xor    %eax,%eax
  call   <grid_fourier_so3@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %ebx,%xmm1
  cvtsi2sdl 0x88(%rsp),%xmm0
  pop    %rdi
  pop    %r8
  divsd  D149(%rip),%xmm0
  mov    0x84(%rsp),%r9d
  mulsd  %xmm1,%xmm0
  test   %r9d,%r9d
  jle    L538
  mov    0x18(%rsp),%rcx
  mov    0x20(%rsp),%rsi
  lea    0xf(%rcx),%rax
  sub    %rsi,%rax
  cmp    $0x1e,%rax
  jbe    L247
  mov    0x84(%rsp),%edx
  unpcklpd %xmm0,%xmm0
  xor    %eax,%eax
  shr    %edx
  shl    $0x4,%rdx
  nopl   0x0(%rax)
L299:
  movupd (%rcx,%rax,1),%xmm1
  mulpd  %xmm0,%xmm1
  movups %xmm1,(%rcx,%rax,1)
  movupd (%rsi,%rax,1),%xmm1
  mulpd  %xmm0,%xmm1
  movups %xmm1,(%rsi,%rax,1)
  add    $0x10,%rax
  cmp    %rdx,%rax
  jne    L299
L538:
  add    $0xc8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
  nopl   (%rax)
L71:
  mov    0x64(%rsp),%r8d
  add    0x18(%rsp),%rbx
  xor    %eax,%eax
  nopl   0x0(%rax)
L21:
  movsd  (%rbx,%rax,8),%xmm0
  mov    %rax,%rdx
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rsi,%rax,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rdx
  jne    L21
  jmp    L300
  nopl   (%rax)
L401:
  mov    0x64(%rsp),%r8d
  movq   D46(%rip),%xmm1
  xor    %eax,%eax
  add    0x18(%rsp),%rbx
  nopl   0x0(%rax)
L180:
  movsd  (%rbx,%rax,8),%xmm0
  mov    %rax,%rdi
  movsd  %xmm0,(%rsi,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rdi
  jne    L180
  jmp    L305
  nopl   0x0(%rax)
L550:
  mov    0x64(%rsp),%r8d
  movq   D46(%rip),%xmm1
  xor    %eax,%eax
  add    0x18(%rsp),%rbx
  nopl   0x0(%rax)
L340:
  movsd  (%rbx,%rax,8),%xmm0
  mov    %rax,%rdx
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rsi,%rax,8),%xmm0
  xorpd  %xmm1,%xmm0
  movsd  %xmm0,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rdx
  jne    L340
  jmp    L581
  nopl   0x0(%rax)
L680:
  mov    0x64(%rsp),%r8d
  add    0x18(%rsp),%rbx
  xor    %eax,%eax
  nopl   0x0(%rax)
L464:
  movsd  (%rbx,%rax,8),%xmm0
  mov    %rax,%rdi
  movsd  %xmm0,(%rcx,%rax,8)
  movsd  (%rsi,%rax,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rdi
  jne    L464
  jmp    L537
  nopl   (%rax)
L6:
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  movslq %ebx,%rdx
  mov    %r14,%r8
  shl    $0x3,%rdx
  mov    0x28(%rsp),%r9
  mov    0x30(%rsp),%rbx
  cltq
  lea    (%rsi,%rdx,1),%r10
  sub    $0x8,%rsp
  shl    $0x3,%rax
  mov    %ebp,%esi
  mov    %r10,0x40(%rsp)
  add    %rax,%rbx
  lea    (%r9,%rax,1),%rcx
  mov    %r13d,%edi
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  movslq %ebx,%rdx
  mov    %r14,%r8
  mov    0x40(%rsp),%rcx
  mov    0x38(%rsp),%r9
  shl    $0x3,%rdx
  cltq
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rax
  mov    %r15d,%edi
  mov    %r10,0x48(%rsp)
  lea    (%rcx,%rax,1),%rbx
  pop    %rsi
  lea    (%r9,%rax,1),%rcx
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  mov    %r13d,%esi
  lea    (%rax,%rdx,1),%r9
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  pop    %rdi
  push   0x10(%rsp)
  mov    %rbx,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%ebx
  mov    %r12d,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %ebx,%esi
  call   <sampLoc_so3@plt>
  mov    %ebx,%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %ebx,0x20(%rsp)
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  movslq %ebx,%rdx
  mov    %ebp,%esi
  mov    0x40(%rsp),%rcx
  mov    0x38(%rsp),%r9
  shl    $0x3,%rdx
  cltq
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rax
  mov    %r13d,%edi
  mov    %r10,0x48(%rsp)
  lea    (%rcx,%rax,1),%rbx
  pop    %r8
  lea    (%r9,%rax,1),%rcx
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  mov    %r14,%r8
  lea    (%rax,%rdx,1),%r9
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r9
  push   0x10(%rsp)
  mov    %r14,%r8
  mov    0x48(%rsp),%r9
  mov    %rbx,%rcx
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %r10
  pop    %r11
  jmp    L537
L552:
  mov    0x60(%rsp),%r8d
  add    0x18(%rsp),%rax
  xor    %edx,%edx
  nopl   0x0(%rax)
L187:
  movsd  (%rax,%rdx,8),%xmm0
  mov    %rdx,%r9
  movsd  %xmm0,(%rdi,%rdx,8)
  movsd  (%rsi,%rdx,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rcx,%rdx,8)
  add    $0x1,%rdx
  cmp    %r8,%r9
  jne    L187
  jmp    L611
L694:
  mov    0x64(%rsp),%r9d
  add    0x18(%rsp),%rax
  xor    %edx,%edx
  nopl   0x0(%rax)
L134:
  movsd  (%rax,%rdx,8),%xmm0
  mov    %rdx,%r8
  movsd  %xmm0,(%rdi,%rdx,8)
  movsd  (%rsi,%rdx,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rcx,%rdx,8)
  add    $0x1,%rdx
  cmp    %r9,%r8
  jne    L134
  jmp    L49
L58:
  mov    0x64(%rsp),%r8d
  add    0x18(%rsp),%rax
  xor    %edx,%edx
  nopl   0x0(%rax)
L270:
  movsd  (%rax,%rdx,8),%xmm0
  mov    %rdx,%r9
  movsd  %xmm0,(%rdi,%rdx,8)
  movsd  (%rsi,%rdx,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rcx,%rdx,8)
  add    $0x1,%rdx
  cmp    %r8,%r9
  jne    L270
  jmp    L618
L78:
  mov    0x60(%rsp),%r9d
  add    0x18(%rsp),%rdx
  xor    %eax,%eax
  nopl   0x0(%rax)
L692:
  movsd  (%rdx,%rax,8),%xmm0
  mov    %rax,%r8
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rsi,%rax,8),%xmm0
  xorpd  D46(%rip),%xmm0
  movsd  %xmm0,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%r9
  jne    L692
  jmp    L253
L421:
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  mov    %eax,%r12d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  movslq %r12d,%rdx
  mov    %r15d,%edi
  shl    $0x3,%rdx
  cltq
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    (%rsi,%rdx,1),%r12
  mov    0x38(%rsp),%rsi
  shl    $0x3,%rax
  lea    (%rsi,%rax,1),%r11
  mov    0x30(%rsp),%rsi
  mov    %r11,0x18(%rsp)
  lea    (%rsi,%rax,1),%rcx
  push   %r13
  mov    0x28(%rsp),%rax
  mov    %ebx,%esi
  lea    (%rax,%rdx,1),%r9
  mov    %ebp,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%rcx
  mov    %r12,%r9
  mov    %r14,%r8
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15d,%edi
  mov    %ebp,%edx
  mov    %ebx,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %ebp,%edx
  mov    %ebx,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %r12
  pop    %r15
  jmp    L253
L650:
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %edi,%edi
  mov    %eax,%r13d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  movslq %r13d,%rdx
  mov    %r14,%r8
  shl    $0x3,%rdx
  cltq
  sub    $0x8,%rsp
  xor    %edi,%edi
  lea    (%rsi,%rdx,1),%r10
  mov    0x38(%rsp),%rsi
  shl    $0x3,%rax
  mov    %r10,0x18(%rsp)
  lea    (%rsi,%rax,1),%r13
  mov    0x30(%rsp),%rsi
  push   %rbx
  lea    (%rsi,%rax,1),%rcx
  mov    0x28(%rsp),%rax
  mov    %r15d,%esi
  lea    (%rax,%rdx,1),%r9
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r14,%r8
  mov    %r13,%rcx
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %rbx,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebp,%esi
  mov    %r12d,%edx
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %r11
  pop    %rbp
  jmp    L49
L247:
  mov    %rcx,%rdx
  mov    0xb8(%rsp),%rsi
  mov    0x20(%rsp),%rcx
  xor    %eax,%eax
  cs nopw 0x0(%rax,%rax,1)
L510:
  movsd  (%rdx,%rax,8),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  movsd  (%rcx,%rax,8),%xmm1
  mulsd  %xmm0,%xmm1
  movsd  %xmm1,(%rcx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rsi
  jne    L510
  jmp    L538
L373:
  je     L591
  mov    0x90(%rsp),%r12
  mov    0x7c(%rsp),%ebx
  xor    %esi,%esi
  imul   0x70(%rsp),%ebx
  mov    0x18(%rsp),%rax
  imul   %r12,%r12
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  shl    $0x3,%r12
  lea    (%rax,%rbx,1),%rdi
  mov    %r12,%rdx
  call   <memset@plt>
  mov    0x20(%rsp),%rax
  mov    %r12,%rdx
  xor    %esi,%esi
  lea    (%rax,%rbx,1),%rdi
  call   <memset@plt>
  jmp    L583
```

tool_calls: name: unpack_data
arguments: label: D76
datatype: byte[16]
name: unpack_data
arguments: label: D149
datatype: f64
name: unpack_data
arguments: label: D46
datatype: byte[16]

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

tool: D149: 3.141592653589793

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

assistant: ```c
void Inverse_SO3_Naive_sym(int bw, double *rcoeffs, double *icoeffs, double *rdata, double *idata, double *workspace1, double *workspace2, int flag) {
  int j, n;
  int m1, m2;
  int sampHere, sampHere2, coefHere;
  double *t1r, *t1i;
  double *sinPts, *cosPts, *sinPts2, *cosPts2;
  double *wignersTrans, *scratch;
  double *rdataPtr, *idataPtr;
  double *rcoeffsPtr, *icoeffsPtr;
  double dn;
  n = 2 * bw;
  t1r = workspace1;
  t1i = workspace1 + (n * n * n);
  sinPts = workspace2;
  cosPts = sinPts + n;
  sinPts2 = cosPts + n;
  cosPts2 = sinPts2 + n;
  wignersTrans = cosPts2 + n;
  scratch = wignersTrans + (bw * n);
  SinEvalPts(n, sinPts);
  CosEvalPts(n, cosPts);
  SinEvalPts2(n, sinPts2);
  CosEvalPts2(n, cosPts2);
  genWigTrans_L2(0, 0, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
  sampHere = sampLoc_so3(0, 0, bw);
  coefHere = coefLoc_so3(0, 0, bw);
  rcoeffsPtr = rcoeffs;
  icoeffsPtr = icoeffs;
  rdataPtr = rdata;
  idataPtr = idata;
  rdataPtr += sampHere;
  idataPtr += sampHere;
  rcoeffsPtr += coefHere;
  icoeffsPtr += coefHere;
  wigNaiveSynthesis(0, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
  wigNaiveSynthesis(0, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
  for (m1 = 1; m1 < bw; m1++) {
    genWigTrans_L2(m1, m1, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
    sampHere = sampLoc_so3(m1, m1, bw);
    coefHere = coefLoc_so3(m1, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis(m1, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis(m1, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(-m1, -m1, bw);
      coefHere = coefLoc_so3(-m1, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(-m1, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(-m1, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(m1, m1, bw);
      sampHere2 = sampLoc_so3(-m1, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
    sampHere = sampLoc_so3(-m1, m1, bw);
    coefHere = coefLoc_so3(-m1, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis_symY(-m1, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis_symY(-m1, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(m1, -m1, bw);
      coefHere = coefLoc_so3(m1, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(-m1, m1, bw);
      sampHere2 = sampLoc_so3(m1, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
  }
  for (m1 = 1; m1 < bw; m1++) {
    genWigTrans_L2(m1, 0, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
    sampHere = sampLoc_so3(m1, 0, bw);
    coefHere = coefLoc_so3(m1, 0, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis(m1, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis(m1, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(-m1, 0, bw);
      coefHere = coefLoc_so3(-m1, 0, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symX(-m1, 0, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symX(-m1, 0, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(m1, 0, bw);
      sampHere2 = sampLoc_so3(-m1, 0, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
    sampHere = sampLoc_so3(0, m1, bw);
    coefHere = coefLoc_so3(0, m1, bw);
    rcoeffsPtr = rcoeffs;
    icoeffsPtr = icoeffs;
    rdataPtr = rdata;
    idataPtr = idata;
    rdataPtr += sampHere;
    idataPtr += sampHere;
    rcoeffsPtr += coefHere;
    icoeffsPtr += coefHere;
    wigNaiveSynthesis_symX(0, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
    wigNaiveSynthesis_symX(0, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    if (flag == 0) {
      sampHere = sampLoc_so3(0, -m1, bw);
      coefHere = coefLoc_so3(0, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(0, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(0, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
    } else {
      sampHere = sampLoc_so3(0, m1, bw);
      sampHere2 = sampLoc_so3(0, -m1, bw);
      for (j = 0; j < 2 * bw; j++) {
        rdata[sampHere2 + j] = rdata[sampHere + j];
        idata[sampHere2 + j] = -idata[sampHere + j];
      }
    }
  }
  for (m1 = 1; m1 < bw; m1++) {
    for (m2 = m1 + 1; m2 < bw; m2++) {
      genWigTrans_L2(m1, m2, bw, sinPts, cosPts, sinPts2, cosPts2, wignersTrans, scratch);
      sampHere = sampLoc_so3(m1, m2, bw);
      coefHere = coefLoc_so3(m1, m2, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis(m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis(m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m1, -m2, bw);
        coefHere = coefLoc_so3(-m1, -m2, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symX(-m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symX(-m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m1, m2, bw);
        sampHere2 = sampLoc_so3(-m1, -m2, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m1, -m2, bw);
      coefHere = coefLoc_so3(m1, -m2, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m1, m2, bw);
        coefHere = coefLoc_so3(-m1, m2, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symY(-m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symY(-m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m1, -m2, bw);
        sampHere2 = sampLoc_so3(-m1, m2, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m2, m1, bw);
      coefHere = coefLoc_so3(m2, m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symX(m2, m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symX(m2, m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m2, -m1, bw);
        coefHere = coefLoc_so3(-m2, -m1, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis(-m2, -m1, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis(-m2, -m1, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m2, m1, bw);
        sampHere2 = sampLoc_so3(-m2, -m1, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
      sampHere = sampLoc_so3(m2, -m1, bw);
      coefHere = coefLoc_so3(m2, -m1, bw);
      rcoeffsPtr = rcoeffs;
      icoeffsPtr = icoeffs;
      rdataPtr = rdata;
      idataPtr = idata;
      rdataPtr += sampHere;
      idataPtr += sampHere;
      rcoeffsPtr += coefHere;
      icoeffsPtr += coefHere;
      wigNaiveSynthesis_symY(m1, -m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
      wigNaiveSynthesis_symY(m1, -m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      if (flag == 0) {
        sampHere = sampLoc_so3(-m2, m1, bw);
        coefHere = coefLoc_so3(-m2, m1, bw);
        rcoeffsPtr = rcoeffs;
        icoeffsPtr = icoeffs;
        rdataPtr = rdata;
        idataPtr = idata;
        rdataPtr += sampHere;
        idataPtr += sampHere;
        rcoeffsPtr += coefHere;
        icoeffsPtr += coefHere;
        wigNaiveSynthesis_symY(-m1, m2, bw, rcoeffsPtr, wignersTrans, rdataPtr, scratch);
        wigNaiveSynthesis_symY(-m1, m2, bw, icoeffsPtr, wignersTrans, idataPtr, scratch);
      } else {
        sampHere = sampLoc_so3(m2, -m1, bw);
        sampHere2 = sampLoc_so3(-m2, m1, bw);
        for (j = 0; j < 2 * bw; j++) {
          rdata[sampHere2 + j] = rdata[sampHere + j];
          idata[sampHere2 + j] = -idata[sampHere + j];
        }
      }
    }
  }
  rdataPtr = rdata + (n) * (bw);
  idataPtr = idata + (n) * (bw);
  for (m1 = 0; m1 < bw; m1++) {
    memset(rdataPtr, 0, sizeof(double) * n);
    memset(idataPtr, 0, sizeof(double) * n);
    rdataPtr += (2 * n) * (bw);
    idataPtr += (2 * n) * (bw);
  }
  rdataPtr = rdata + bw * n * (n);
  idataPtr = idata + bw * n * (n);
  memset(rdataPtr, 0, sizeof(double) * n * n);
  memset(idataPtr, 0, sizeof(double) * n * n);
  rdataPtr += n * n + n * bw;
  idataPtr += n * n + n * bw;
  for (m1 = 1; m1 < bw; m1++) {
    memset(rdataPtr, 0, sizeof(double) * n);
    memset(idataPtr, 0, sizeof(double) * n);
    rdataPtr += (2 * n) * (bw);
    idataPtr += (2 * n) * (bw);
  }
  transpose_so3(rdata, t1r, n, n * n);
  transpose_so3(idata, t1i, n, n * n);
  grid_fourier_so3(t1r, t1i, rdata, idata, n * n, n, scratch);
  transpose_so3(rdata, t1r, n, n * n);
  transpose_so3(idata, t1i, n, n * n);
  grid_fourier_so3(t1r, t1i, rdata, idata, n * n, n, scratch);
  dn = (double)n;
  dn *= (((double)bw) / 3.14159265358979323846);
  for (j = 0; j < n * n * n; j++) {
    rdata[j] *= dn;
    idata[j] *= dn;
  }
}
```