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

```asm
<Inverse_SO3_Naive_sym>:
  endbr64
  mov    %edi,%r10d
  add    %edi,%edi
  push   %r15
  mov    %edi,%eax
  push   %r14
  movslq %edi,%r11
  push   %r13
  imul   %edi,%eax
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xb8,%rsp
  mov    %eax,0x80(%rsp)
  imul   %edi,%eax
  mov    0xf0(%rsp),%rbx
  mov    %r9,0x90(%rsp)
  mov    %rsi,0x28(%rsp)
  mov    0xf0(%rsp),%rsi
  mov    %eax,0x84(%rsp)
  movslq %eax,%r14
  lea    0x0(,%r11,8),%rax
  add    %rax,%rbx
  lea    (%r9,%r14,8),%r9
  mov    %rax,0x78(%rsp)
  mov    %rbx,%r15
  mov    %r14,0xa8(%rsp)
  add    %rax,%r15
  mov    %r11,0x10(%rsp)
  mov    %r15,%r12
  mov    %r10d,0x70(%rsp)
  add    %rax,%r12
  mov    %rdx,0x30(%rsp)
  mov    %r12,%r14
  mov    %r8,0x20(%rsp)
  add    %rax,%r14
  mov    %r10d,%eax
  mov    %r9,0x88(%rsp)
  imul   %edi,%eax
  mov    %rcx,0x18(%rsp)
  mov    %edi,0x68(%rsp)
  mov    %rbx,0x40(%rsp)
  mov    %eax,0x74(%rsp)
  cltq
  lea    0x0(,%rax,8),%rbp
  xor    %eax,%eax
  mov    %r12,0x50(%rsp)
  lea    (%r14,%rbp,1),%r13
  mov    %r15,0x48(%rsp)
  mov    %r13,0x8(%rsp)
  mov    %edi,%r13d
  call   <SinEvalPts@plt>
  mov    %rbx,%rsi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <CosEvalPts@plt>
  mov    %r15,%rsi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <SinEvalPts2@plt>
  mov    %r12,%rsi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <CosEvalPts2@plt>
  sub    $0x8,%rsp
  mov    %r15,%r9
  mov    %rbx,%r8
  mov    0x10(%rsp),%r13
  xor    %esi,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  push   %r13
  push   %r14
  push   %r12
  mov    0x90(%rsp),%r15d
  mov    0x110(%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    %r14,%r8
  mov    0x30(%rsp),%rdi
  shl    $0x3,%rdx
  cltq
  add    %rdx,%rbx
  shl    $0x3,%rax
  xor    %esi,%esi
  lea    (%rdi,%rax,1),%r12
  mov    0x28(%rsp),%rdi
  sub    $0x8,%rsp
  push   %r13
  lea    (%rdi,%rax,1),%rcx
  mov    0x28(%rsp),%rax
  xor    %edi,%edi
  lea    (%rax,%rdx,1),%r9
  mov    %r15d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %rbx,%r9
  xor    %esi,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %r14,%r8
  mov    %r12,%rcx
  mov    %r15d,%edx
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    0x28(%rsp),%rax
  add    %rbp,%rax
  add    0x30(%rsp),%rbp
  cmp    $0x1,%r15d
  mov    %rax,0xa8(%rsp)
  mov    %rbp,0xb0(%rsp)
  pop    %rbx
  pop    %rbp
  mov    0x10(%rsp),%r11
  jle    L166
  mov    %r11,0x38(%rsp)
  mov    $0x1,%ebp
  mov    %r15d,%r12d
  jmp    L196
  nopw   0x0(%rax,%rax,1)
L160:
  mov    %r15d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  sub    $0x8,%rsp
  mov    %r14,%r8
  mov    %r15d,%esi
  lea    0x0(,%rbx,8),%rdx
  mov    0x28(%rsp),%rbx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rbx,%rdx,1),%r11
  lea    (%rax,%rcx,1),%rbx
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  mov    %r11,0x18(%rsp)
  push   %r13
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r12d,%edx
  mov    %r15d,%edi
  call   <wigNaiveSynthesis@plt>
  mov    0x20(%rsp),%r9
  mov    %rbx,%rcx
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  mov    %ebp,%esi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    %r13,(%rsp)
  mov    0x30(%rsp),%rbx
  mov    0x40(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r9
  mov    %r15d,%edi
  lea    (%rbx,%rdx,1),%r11
  mov    %r12d,%edx
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %rbx,%rcx
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebp,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x28(%rsp),%rdi
  mov    %r14,%r8
  mov    %r15d,%esi
  lea    0x0(,%rbx,8),%rdx
  movslq %eax,%rcx
  mov    %r13,(%rsp)
  mov    0x30(%rsp),%rbx
  mov    0x40(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r9
  mov    %ebp,%edi
  lea    (%rbx,%rdx,1),%r11
  mov    %r12d,%edx
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  mov    %r11,0x20(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %r14,%r8
  mov    %ebp,%edi
  mov    %rbx,%rcx
  mov    %r12d,%edx
  mov    %r15d,%esi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rdi
  pop    %r8
L165:
  lea    0x1(%rbp),%ebx
  cmp    %ebx,%r12d
  je     L124
L228:
  mov    %ebx,%ebp
L196:
  sub    $0x8,%rsp
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  push   %r13
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x110(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %ebp,%edi
  movslq %eax,%rbx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  lea    0x0(,%rbx,8),%rdx
  mov    0x20(%rsp),%rbx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  mov    %ebp,%esi
  shl    $0x3,%rcx
  add    %rdx,%rbx
  lea    (%rax,%rcx,1),%r15
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   %r13
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r12d,%edx
  mov    %ebp,%edi
  call   <wigNaiveSynthesis@plt>
  mov    %rbx,%r9
  mov    %r15,%rcx
  mov    %r12d,%edx
  mov    %r14,%r8
  mov    %ebp,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  mov    %ebp,%r15d
  call   <wigNaiveSynthesis@plt>
  pop    %r9
  pop    %r10
  neg    %r15d
  mov    0xf8(%rsp),%r11d
  mov    %r12d,%edx
  test   %r11d,%r11d
  je     L160
  mov    %ebp,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %r12d,%edx
  mov    %r15d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%esi
  test   %esi,%esi
  jle    L250
  cltq
  movslq %ebx,%rsi
  mov    0x18(%rsp),%rbx
  mov    0x38(%rsp),%r8
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rsp),%rax
  shl    $0x3,%rsi
  lea    (%rbx,%rsi,1),%rcx
  lea    (%rbx,%rdx,1),%rdi
  add    %rax,%rsi
  add    %rax,%rdx
  xor    %eax,%eax
  nopl   (%rax)
L25:
  movsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rsi,%rax,8),%xmm0
  xorpd  D58(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rax
  jne    L25
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  movslq %ebx,%rdx
  mov    %r14,%r8
  mov    0x20(%rsp),%rbx
  cltq
  shl    $0x3,%rdx
  sub    $0x8,%rsp
  shl    $0x3,%rax
  mov    %ebp,%esi
  lea    (%rbx,%rdx,1),%r11
  lea    (%rdi,%rax,1),%rbx
  mov    0x30(%rsp),%rdi
  mov    %r11,0x18(%rsp)
  lea    (%rdi,%rax,1),%rcx
  push   %r13
  mov    0x28(%rsp),%rdi
  xor    %eax,%eax
  lea    (%rdi,%rdx,1),%r9
  mov    %r12d,%edx
  mov    %r15d,%edi
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%r9
  mov    %rbx,%rcx
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebp,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%rdi
  movslq %ebx,%rcx
  movslq %eax,%rdx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rcx
  pop    %r8
  shl    $0x3,%rdx
  pop    %r9
  mov    0x38(%rsp),%r8
  lea    (%rdi,%rcx,1),%rsi
  add    %rdx,%rdi
  add    %rax,%rcx
  add    %rax,%rdx
  xor    %eax,%eax
  nopl   0x0(%rax)
L299:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D58(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rax
  jne    L299
  lea    0x1(%rbp),%ebx
  cmp    %ebx,%r12d
  jne    L228
L124:
  mov    %ebp,0x5c(%rsp)
  mov    0x8(%rsp),%r12
  mov    $0x1,%ebp
  jmp    L213
  nopl   0x0(%rax)
L149:
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %esi,%esi
  mov    %r13d,%edi
  mov    %ebx,%edx
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r13d,%edi
  lea    (%rax,%rcx,1),%r15
  mov    %r10,0x18(%rsp)
  add    0x30(%rsp),%rcx
  xor    %eax,%eax
  push   %r12
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r9
  xor    %esi,%esi
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r15,%rcx
  mov    %r14,%r8
  xor    %esi,%esi
  mov    %r13d,%edi
  mov    %ebx,%edx
  xor    %eax,%eax
  mov    %r12,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  xor    %edi,%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  xor    %edi,%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  mov    0x28(%rsp),%rsi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r15,8),%rdx
  mov    %r12,(%rsp)
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r10
  lea    (%rsi,%rdx,1),%r9
  xor    %edi,%edi
  lea    (%rax,%rcx,1),%r15
  mov    %ebx,%edx
  add    0x38(%rsp),%rcx
  mov    %ebp,%esi
  xor    %eax,%eax
  mov    %r10,0x20(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r15,%rcx
  mov    %r14,%r8
  xor    %edi,%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  mov    %r12,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r13d,%esi
  xor    %edi,%edi
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r13d,%esi
  xor    %edi,%edi
  mov    %ebx,%edx
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  mov    0x28(%rsp),%rsi
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r15,8),%rdx
  mov    %r12,(%rsp)
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r10
  lea    (%rsi,%rdx,1),%r9
  xor    %edi,%edi
  lea    (%rax,%rcx,1),%r15
  mov    %r13d,%esi
  add    0x38(%rsp),%rcx
  mov    %ebx,%edx
  xor    %eax,%eax
  mov    %r10,0x20(%rsp)
  call   <wigNaiveSynthesis@plt>
  mov    0x20(%rsp),%r9
  mov    %r15,%rcx
  mov    %r13d,%esi
  mov    %r14,%r8
  mov    %ebx,%edx
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %r12,(%rsp)
  call   <wigNaiveSynthesis@plt>
  pop    %r13
  pop    %r15
L319:
  lea    0x1(%rbp),%eax
  cmp    0x5c(%rsp),%ebp
  je     L338
L100:
  mov    %eax,%ebp
L213:
  sub    $0x8,%rsp
  mov    %ebx,%edx
  xor    %esi,%esi
  mov    %ebp,%edi
  push   %r12
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x110(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %ebx,%edx
  xor    %esi,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  xor    %esi,%esi
  mov    %ebp,%edi
  movslq %eax,%r13
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  lea    0x0(,%r13,8),%rdx
  mov    %r14,%r8
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r13
  mov    %ebp,%edi
  lea    (%rax,%rcx,1),%r15
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   %r12
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r9
  mov    %ebx,%edx
  xor    %esi,%esi
  call   <wigNaiveSynthesis@plt>
  mov    %r13,%r9
  mov    %r15,%rcx
  mov    %ebx,%edx
  xor    %esi,%esi
  mov    %r14,%r8
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r12,(%rsp)
  mov    %ebp,%r13d
  call   <wigNaiveSynthesis@plt>
  pop    %rax
  pop    %rdx
  neg    %r13d
  mov    0xf8(%rsp),%ecx
  mov    %ebx,%edx
  xor    %esi,%esi
  test   %ecx,%ecx
  je     L149
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  xor    %esi,%esi
  mov    %r13d,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%r11d
  test   %r11d,%r11d
  jle    L176
  cltq
  mov    0x18(%rsp),%rdi
  movslq %r15d,%rcx
  mov    0x38(%rsp),%r8
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rsp),%rax
  shl    $0x3,%rcx
  lea    (%rdi,%rcx,1),%rsi
  add    %rdx,%rdi
  add    %rax,%rcx
  add    %rax,%rdx
  xor    %eax,%eax
  nopl   0x0(%rax)
L118:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D58(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %r8,%rax
  jne    L118
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  movslq %r15d,%rdx
  mov    %r14,%r8
  mov    0x30(%rsp),%rsi
  shl    $0x3,%rdx
  cltq
  sub    $0x8,%rsp
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rax
  xor    %edi,%edi
  lea    (%rsi,%rax,1),%r15
  mov    %r10,0x18(%rsp)
  mov    0x30(%rsp),%rsi
  push   %r12
  mov    0x28(%rsp),%r9
  lea    (%rsi,%rax,1),%rcx
  mov    %ebp,%esi
  xor    %eax,%eax
  add    %rdx,%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r15,%rcx
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %r12,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r13d,%esi
  mov    %ebx,%edx
  xor    %edi,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%r9
  movslq %r15d,%rcx
  movslq %eax,%rdx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rcx
  pop    %r13
  shl    $0x3,%rdx
  pop    %r15
  mov    0x38(%rsp),%r8
  lea    (%r9,%rcx,1),%rsi
  lea    (%r9,%rdx,1),%rdi
  add    %rax,%rcx
  add    %rax,%rdx
  xor    %eax,%eax
L278:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D58(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r8
  jne    L278
  lea    0x1(%rbp),%eax
  cmp    0x5c(%rsp),%ebp
  jne    L100
L338:
  mov    0x5c(%rsp),%eax
  mov    0x38(%rsp),%r11
  movl   $0xffffffff,0x10(%rsp)
  neg    %eax
  mov    %r11,0x60(%rsp)
  mov    %eax,0x6c(%rsp)
  xchg   %ax,%ax
L191:
  mov    0x10(%rsp),%eax
  mov    $0x1,%ebp
  mov    %eax,%r12d
  sub    %eax,%ebp
  neg    %r12d
  cmp    %eax,0x6c(%rsp)
  jne    L249
  jmp    L219
L57:
  mov    0x10(%rsp),%edi
  mov    %r13d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%edi
  mov    %r13d,%esi
  mov    %ebx,%edx
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rsi
  sub    $0x8,%rsp
  mov    %r14,%r8
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  mov    0x38(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r13d,%esi
  lea    (%rax,%rcx,1),%r15
  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    %ebx,%edx
  call   <wigNaiveSynthesis_symX@plt>
  pop    %rcx
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r13d,%esi
  mov    %ebx,%edx
  mov    0x20(%rsp),%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r13d,%esi
  mov    %ebx,%edx
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r13d,%esi
  mov    %ebx,%edx
  mov    %r12d,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    %r14,%r8
  mov    %r12d,%edi
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%r15
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %rsi
  push   0x10(%rsp)
  mov    %r13d,%esi
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rdi
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r13d,%esi
  mov    %ebx,%edx
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  lea    0x0(,%r15,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),%r15
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %r8
  push   0x10(%rsp)
  mov    %r14,%r8
  mov    0x28(%rsp),%r11
  mov    0x20(%rsp),%edi
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r9
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    0x20(%rsp),%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rsi
  mov    %r14,%r8
  mov    %ebp,%edi
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rsi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r12d,%esi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%r15
  add    0x38(%rsp),%rcx
  xor    %eax,%eax
  pop    %r10
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symX@plt>
  pop    %r11
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%esi
  mov    %r13d,%edi
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %r13d,%edi
  mov    %ebx,%edx
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  lea    0x0(,%r15,8),%rdx
  mov    %r14,%r8
  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),%r15
  add    0x38(%rsp),%rcx
  pop    %rax
  push   0x10(%rsp)
  xor    %eax,%eax
  mov    0x28(%rsp),%r11
  mov    0x20(%rsp),%esi
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis@plt>
  pop    %rax
  mov    %r15,%rcx
  push   0x10(%rsp)
  mov    0x20(%rsp),%r15d
  mov    %r14,%r8
  mov    %r13d,%edi
  mov    %ebx,%edx
  mov    0x48(%rsp),%r9
  xor    %eax,%eax
  mov    %r15d,%esi
  call   <wigNaiveSynthesis@plt>
  mov    %r15d,%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r15d,0x20(%rsp)
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  mov    %r13d,%esi
  mov    %r14,%r8
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r12d,%edi
  mov    %r10,0x48(%rsp)
  lea    (%rax,%rcx,1),%r15
  add    0x38(%rsp),%rcx
  pop    %rax
  push   0x10(%rsp)
  xor    %eax,%eax
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %r13d,%esi
  mov    %ebx,%edx
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r13d,%edi
  mov    %ebx,%edx
  mov    %r12d,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r13d,%edi
  mov    %ebx,%edx
  mov    %r12d,%esi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  mov    %r14,%r8
  mov    %ebp,%esi
  movslq %eax,%rcx
  mov    0x40(%rsp),%rax
  lea    0x0(,%r15,8),%rdx
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r15
  lea    (%rax,%rcx,1),%r13
  add    0x38(%rsp),%rcx
  pop    %rax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  xor    %eax,%eax
  mov    0x20(%rsp),%edi
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rdx
  push   0x10(%rsp)
  mov    %r13,%rcx
  mov    0x20(%rsp),%edi
  mov    %ebp,%esi
  mov    %r15,%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rcx
  pop    %rsi
L323:
  lea    0x1(%rbp),%eax
  cmp    0x5c(%rsp),%ebp
  je     L267
L197:
  mov    %eax,%ebp
L249:
  sub    $0x8,%rsp
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r12d,%edi
  push   0x10(%rsp)
  xor    %eax,%eax
  push   %r14
  push   0x68(%rsp)
  mov    0x68(%rsp),%r9
  mov    0x60(%rsp),%r8
  mov    0x110(%rsp),%rcx
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  mov    %r12d,%edi
  movslq %eax,%r13
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  mov    %r14,%r8
  mov    %ebp,%esi
  movslq %eax,%rcx
  mov    0x30(%rsp),%rax
  lea    0x0(,%r13,8),%rdx
  shl    $0x3,%rcx
  lea    (%rdi,%rdx,1),%r13
  mov    %r12d,%edi
  lea    (%rax,%rcx,1),%r15
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  xor    %eax,%eax
  push   0x10(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis@plt>
  pop    %rdi
  push   0x10(%rsp)
  mov    %r13,%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r15,%rcx
  mov    %ebp,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  mov    %ebp,%r13d
  call   <wigNaiveSynthesis@plt>
  pop    %r8
  pop    %r9
  neg    %r13d
  mov    0xf8(%rsp),%r10d
  mov    %ebx,%edx
  test   %r10d,%r10d
  je     L57
  mov    %ebp,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%edi
  mov    %ebx,%edx
  mov    %r13d,%esi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%edx
  movq   D58(%rip),%xmm0
  test   %edx,%edx
  jle    L145
  cltq
  mov    0x18(%rsp),%rdi
  shl    $0x3,%r15
  mov    0x60(%rsp),%r11
  lea    0x0(,%rax,8),%rdx
  mov    0x20(%rsp),%rax
  lea    (%rdi,%r15,1),%rcx
  lea    (%rdi,%rdx,1),%rsi
  add    %rax,%r15
  add    %rax,%rdx
  xor    %eax,%eax
  nopw   0x0(%rax,%rax,1)
L11:
  movsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rsi,%rax,8)
  movsd  (%r15,%rax,8),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r11
  jne    L11
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  sub    $0x8,%rsp
  mov    %r14,%r8
  mov    0x38(%rsp),%rsi
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  xor    %eax,%eax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r12d,%edi
  lea    (%rsi,%rcx,1),%r15
  mov    %r10,0x40(%rsp)
  add    0x30(%rsp),%rcx
  push   0x10(%rsp)
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r9
  mov    %ebx,%edx
  mov    %r13d,%esi
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%rsi
  shl    $0x3,%r15
  movq   D58(%rip),%xmm0
  movslq %eax,%rdx
  mov    0x30(%rsp),%rax
  pop    %rdi
  shl    $0x3,%rdx
  pop    %r8
  mov    0x60(%rsp),%r11
  lea    (%rsi,%r15,1),%rcx
  add    %rdx,%rsi
  add    %rax,%r15
  add    %rax,%rdx
  xor    %eax,%eax
  nopl   (%rax)
L317:
  movsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rsi,%rax,8)
  movsd  (%r15,%rax,8),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r11
  jne    L317
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  sub    $0x8,%rsp
  mov    %r14,%r8
  mov    0x38(%rsp),%rsi
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  xor    %eax,%eax
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %ebp,%edi
  lea    (%rsi,%rcx,1),%r15
  mov    %r10,0x40(%rsp)
  add    0x30(%rsp),%rcx
  push   0x10(%rsp)
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r9
  mov    %ebx,%edx
  mov    %r12d,%esi
  call   <wigNaiveSynthesis_symX@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %ebx,%edx
  mov    %r13d,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%rsi
  shl    $0x3,%r15
  movq   D58(%rip),%xmm0
  movslq %eax,%rdx
  mov    0x30(%rsp),%rax
  shl    $0x3,%rdx
  lea    (%rsi,%r15,1),%rcx
  add    %rdx,%rsi
  add    %rax,%r15
  add    %rax,%rdx
  pop    %rax
  pop    %rdi
  mov    0x60(%rsp),%r11
  xor    %eax,%eax
  nopl   0x0(%rax,%rax,1)
L20:
  movsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rsi,%rax,8)
  movsd  (%r15,%rax,8),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r11
  jne    L20
  mov    0x10(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x10(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  mov    %r14,%r8
  mov    %r13d,%esi
  mov    0x30(%rsp),%r9
  lea    0x0(,%r15,8),%rdx
  movslq %eax,%rcx
  sub    $0x8,%rsp
  lea    (%rdi,%rdx,1),%r10
  shl    $0x3,%rcx
  mov    %r12d,%edi
  xor    %eax,%eax
  lea    (%r9,%rcx,1),%r15
  mov    %r10,0x40(%rsp)
  add    0x30(%rsp),%rcx
  push   0x10(%rsp)
  mov    0x28(%rsp),%r9
  add    %rdx,%r9
  mov    %ebx,%edx
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r8
  push   0x10(%rsp)
  mov    %r15,%rcx
  mov    0x48(%rsp),%r9
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %r13d,%edi
  movslq %eax,%r15
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x28(%rsp),%rsi
  shl    $0x3,%r15
  movq   D58(%rip),%xmm0
  movslq %eax,%rdx
  mov    0x30(%rsp),%rax
  pop    %r9
  shl    $0x3,%rdx
  pop    %r10
  mov    0x60(%rsp),%r11
  lea    (%rsi,%r15,1),%rcx
  add    %rdx,%rsi
  add    %rax,%r15
  add    %rax,%rdx
  xor    %eax,%eax
  cs nopw 0x0(%rax,%rax,1)
L45:
  movsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rsi,%rax,8)
  movsd  (%r15,%rax,8),%xmm1
  xorpd  %xmm0,%xmm1
  movsd  %xmm1,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%r11
  jne    L45
  lea    0x1(%rbp),%eax
  cmp    0x5c(%rsp),%ebp
  jne    L197
L267:
  subl   $0x1,0x10(%rsp)
  jmp    L191
  nopl   0x0(%rax)
L145:
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rcx
  movslq %r15d,%rdx
  mov    %r13d,%esi
  cltq
  mov    0x28(%rsp),%r8
  mov    0x20(%rsp),%rdi
  sub    $0x8,%rsp
  shl    $0x3,%rax
  shl    $0x3,%rdx
  lea    (%rcx,%rax,1),%r10
  lea    (%r8,%rax,1),%rcx
  mov    %r14,%r8
  mov    %r10,0x40(%rsp)
  lea    (%rdi,%rdx,1),%r15
  mov    %r12d,%edi
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %r9
  push   0x10(%rsp)
  mov    %r15,%r9
  mov    0x48(%rsp),%rcx
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%edi
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x40(%rsp),%rcx
  movslq %r15d,%rdx
  mov    %ebp,%edi
  cltq
  mov    0x38(%rsp),%r8
  mov    0x30(%rsp),%rsi
  shl    $0x3,%rdx
  shl    $0x3,%rax
  lea    (%rcx,%rax,1),%r10
  lea    (%r8,%rax,1),%rcx
  mov    %r14,%r8
  mov    %r10,0x48(%rsp)
  pop    %r10
  lea    (%rsi,%rdx,1),%r15
  mov    %r12d,%esi
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  pop    %r11
  push   0x10(%rsp)
  mov    %r15,%r9
  mov    0x48(%rsp),%rcx
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%r15d
  mov    %ebx,%edx
  mov    %r13d,%edi
  xor    %eax,%eax
  mov    %r15d,%esi
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  mov    %r15d,0x20(%rsp)
  call   <sampLoc_so3@plt>
  mov    0x20(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x40(%rsp),%rcx
  movslq %r15d,%rdx
  mov    %r13d,%esi
  cltq
  mov    0x38(%rsp),%r8
  mov    0x30(%rsp),%rdi
  shl    $0x3,%rdx
  shl    $0x3,%rax
  lea    (%rcx,%rax,1),%r10
  lea    (%r8,%rax,1),%rcx
  mov    %r14,%r8
  mov    %r10,0x48(%rsp)
  pop    %rax
  lea    (%rdi,%rdx,1),%r15
  mov    %r12d,%edi
  push   0x10(%rsp)
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  pop    %rax
  push   0x10(%rsp)
  mov    %r15,%r9
  mov    0x48(%rsp),%rcx
  mov    %r14,%r8
  mov    %ebx,%edx
  mov    %r13d,%esi
  mov    %r12d,%edi
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%esi
  mov    %ebx,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r12d,%esi
  mov    %r13d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %rax
  pop    %rdx
  jmp    L323
L219:
  mov    0x60(%rsp),%r11
L240:
  mov    0x74(%rsp),%eax
  mov    0x78(%rsp),%r14
  mov    %r11,0x10(%rsp)
  xor    %ebx,%ebx
  mov    0x98(%rsp),%r12
  mov    0xa0(%rsp),%r13
  lea    (%rax,%rax,1),%ebp
  mov    0x70(%rsp),%r15d
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  cs nopw 0x0(%rax,%rax,1)
L310:
  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     L310
  mov    0x74(%rsp),%r14d
  mov    0x68(%rsp),%ebx
  xor    %esi,%esi
  mov    0x10(%rsp),%r11
  mov    0x18(%rsp),%rax
  imul   %r14d,%ebx
  imul   %r11,%r11
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  mov    %r11,%r12
  lea    (%rax,%rbx,1),%rbp
  shl    $0x3,%r12
  add    0x20(%rsp),%rbx
  mov    %rbp,%rdi
  mov    %r12,%rdx
  call   <memset@plt>
  xor    %esi,%esi
  mov    %rbx,%rdi
  mov    %r12,%rdx
  call   <memset@plt>
  mov    0x80(%rsp),%eax
  add    %r14d,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%rbp
  add    %rax,%rbx
  cmpl   $0x1,0x70(%rsp)
  jle    L43
  mov    0x74(%rsp),%r13d
  mov    0x78(%rsp),%r14
  mov    $0x1,%r12d
  mov    0x70(%rsp),%r15d
  add    %r13d,%r13d
  movslq %r13d,%r13
  shl    $0x3,%r13
L200:
  mov    %rbp,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  add    $0x1,%r12d
  call   <memset@plt>
  mov    %rbx,%rdi
  mov    %r14,%rdx
  xor    %esi,%esi
  call   <memset@plt>
  add    %r13,%rbp
  add    %r13,%rbx
  cmp    %r12d,%r15d
  jne    L200
L43:
  mov    0x68(%rsp),%ebx
  mov    0x80(%rsp),%r14d
  xor    %eax,%eax
  mov    0x90(%rsp),%r13
  mov    0x18(%rsp),%r12
  mov    %ebx,%edx
  mov    %r14d,%ecx
  mov    %r12,%rdi
  mov    %r13,%rsi
  call   <transpose_so3@plt>
  mov    0x20(%rsp),%r15
  mov    %ebx,%edx
  mov    %r14d,%ecx
  mov    0x88(%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    %r12,%rdx
  mov    %rbp,%rsi
  mov    %r15,%rcx
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <grid_fourier_so3@plt>
  mov    %ebx,%edx
  mov    %r12,%rdi
  mov    %r14d,%ecx
  mov    %r13,%rsi
  xor    %eax,%eax
  call   <transpose_so3@plt>
  mov    %ebx,%edx
  mov    %rbp,%rsi
  mov    %r14d,%ecx
  mov    %r15,%rdi
  xor    %eax,%eax
  call   <transpose_so3@plt>
  pop    %r11
  push   0x10(%rsp)
  mov    %ebx,%r9d
  mov    %r12,%rdx
  mov    %rbp,%rsi
  mov    %r14d,%r8d
  mov    %r15,%rcx
  mov    %r13,%rdi
  xor    %eax,%eax
  call   <grid_fourier_so3@plt>
  pxor   %xmm1,%xmm1
  pxor   %xmm0,%xmm0
  xor    %eax,%eax
  cvtsi2sd %ebx,%xmm1
  cvtsi2sdl 0x80(%rsp),%xmm0
  pop    %rbx
  pop    %rbp
  divsd  D56(%rip),%xmm0
  mov    0x84(%rsp),%r12d
  mulsd  %xmm1,%xmm0
  test   %r12d,%r12d
  jle    L156
  mov    0x18(%rsp),%rdx
  mov    0x20(%rsp),%rcx
  mov    0xa8(%rsp),%rsi
  nopl   0x0(%rax,%rax,1)
L244:
  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    %rsi,%rax
  jne    L244
L156:
  add    $0xb8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L250:
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  mov    %eax,%ebx
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x30(%rsp),%rdi
  movslq %ebx,%rdx
  mov    %r14,%r8
  cltq
  mov    0x20(%rsp),%rbx
  sub    $0x8,%rsp
  shl    $0x3,%rdx
  shl    $0x3,%rax
  mov    %ebp,%esi
  lea    (%rdi,%rax,1),%r11
  mov    0x30(%rsp),%rdi
  add    %rdx,%rbx
  mov    %r11,0x18(%rsp)
  lea    (%rdi,%rax,1),%rcx
  push   %r13
  mov    0x28(%rsp),%rax
  mov    %r15d,%edi
  lea    (%rax,%rdx,1),%r9
  mov    %r12d,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    0x20(%rsp),%rcx
  mov    %rbx,%r9
  mov    %r14,%r8
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  mov    %r13,(%rsp)
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebp,%esi
  mov    %r15d,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %r15d,%esi
  mov    %r12d,%edx
  mov    %ebp,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %rcx
  pop    %rsi
  jmp    L165
L176:
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  mov    %eax,%r15d
  xor    %eax,%eax
  call   <coefLoc_so3@plt>
  mov    0x20(%rsp),%rdi
  movslq %r15d,%rdx
  mov    %r14,%r8
  shl    $0x3,%rdx
  cltq
  sub    $0x8,%rsp
  mov    %ebp,%esi
  lea    (%rdi,%rdx,1),%r10
  mov    0x38(%rsp),%rdi
  shl    $0x3,%rax
  mov    %r10,0x18(%rsp)
  lea    (%rdi,%rax,1),%r15
  mov    0x30(%rsp),%rdi
  push   %r12
  lea    (%rdi,%rax,1),%rcx
  mov    0x28(%rsp),%rax
  xor    %edi,%edi
  lea    (%rax,%rdx,1),%r9
  mov    %ebx,%edx
  xor    %eax,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    0x20(%rsp),%r9
  mov    %r14,%r8
  mov    %r15,%rcx
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  mov    %r12,(%rsp)
  call   <wigNaiveSynthesis_symX@plt>
  mov    %ebx,%edx
  mov    %ebp,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  mov    %ebx,%edx
  mov    %r13d,%esi
  xor    %edi,%edi
  xor    %eax,%eax
  call   <sampLoc_so3@plt>
  pop    %r10
  pop    %r11
  jmp    L319
L166:
  je     L240
  mov    0x74(%rsp),%ebx
  imul   %r11,%r11
  mov    0x18(%rsp),%rax
  xor    %esi,%esi
  imul   0x68(%rsp),%ebx
  lea    0x0(,%r11,8),%r12
  movslq %ebx,%rbx
  mov    %r12,%rdx
  shl    $0x3,%rbx
  lea    (%rax,%rbx,1),%rdi
  call   <memset@plt>
  mov    0x20(%rsp),%rax
  mov    %r12,%rdx
  xor    %esi,%esi
  lea    (%rax,%rbx,1),%rdi
  call   <memset@plt>
  jmp    L43
```

tool_calls: name: retrieve_data
arguments: tag: D58
type_guessed: byte[16]
name: retrieve_data
arguments: tag: D56
type_guessed: f64

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

tool: D56: 3.141592653589793

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;
  }
}
```