user: Translate the below assembly code into C programming language:

```asm
<Inverse_SO3_Naive_sym>:
  endbr64
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbp
  push   %rbx
  sub    $0xa8,%rsp
  mov    %edi,%r12d
  mov    %rsi,0x28(%rsp)
  mov    %rdx,0x30(%rsp)
  mov    %rcx,0x18(%rsp)
  mov    %r8,0x20(%rsp)
  mov    %r9,0x70(%rsp)
  lea    (%rdi,%rdi,1),%edi
  mov    %edi,%eax
  imul   %edi,%eax
  mov    %eax,0x7c(%rsp)
  imul   %edi,%eax
  mov    %eax,0x8c(%rsp)
  cltq
  lea    (%r9,%rax,8),%r11
  mov    %r11,0x68(%rsp)
  movslq %edi,%rax
  mov    %rax,0x90(%rsp)
  shl    $0x3,%rax
  mov    %rax,0x80(%rsp)
  mov    %rax,%rbx
  add    0xe0(%rsp),%rbx
  mov    %rbx,0x48(%rsp)
  mov    %rbx,%r15
  add    %rax,%r15
  mov    %r15,%rbp
  add    %rax,%rbp
  mov    %rbp,0x50(%rsp)
  mov    %rbp,%r13
  add    %rax,%r13
  mov    %r13,(%rsp)
  mov    %edi,%eax
  imul   %r12d,%eax
  mov    %eax,0x88(%rsp)
  cltq
  shl    $0x3,%rax
  mov    %rax,0x98(%rsp)
  mov    %r13,%r14
  add    %rax,%r14
  mov    0xe0(%rsp),%rsi
  mov    %edi,0x58(%rsp)
  mov    $0x0,%eax
  call   <SinEvalPts@plt>
  mov    %rbx,%rsi
  mov    0x58(%rsp),%edi
  mov    $0x0,%eax
  call   <CosEvalPts@plt>
  mov    %r15,0x40(%rsp)
  mov    %r15,%rsi
  mov    0x58(%rsp),%r15d
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <SinEvalPts2@plt>
  mov    %rbp,%rsi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <CosEvalPts2@plt>
  sub    $0x8,%rsp
  push   %r14
  push   %r13
  push   %rbp
  mov    0x60(%rsp),%r9
  mov    %rbx,%r8
  mov    0x100(%rsp),%rcx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebx,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rbx
  add    %rdx,%rbx
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rdi
  lea    (%rdi,%rax,1),%rbp
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rax,1),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r14,(%rsp)
  mov    %rbx,%r9
  mov    %r13,%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmp    $0x1,%r12d
  jle    L47
  mov    %r12d,%eax
  neg    %eax
  mov    %eax,0x5c(%rsp)
  mov    $0xffffffff,%r15d
  jmp    L374
L356:
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r15d,%r13d
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x58(%rsp),%esi
  test   %esi,%esi
  jle    L228
  mov    %esi,%edi
  movslq %ebp,%rcx
  shl    $0x3,%rcx
  mov    0x18(%rsp),%r11
  lea    (%r11,%rcx,1),%rsi
  cltq
  lea    0x0(,%rax,8),%rdx
  lea    (%r11,%rdx,1),%r8
  mov    0x20(%rsp),%rax
  add    %rax,%rcx
  add    %rax,%rdx
  mov    $0x0,%eax
L215:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%r8,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rdi,%rax
  jne    L215
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rdi
  mov    %rdi,0x8(%rsp)
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rax,1),%rbp
  mov    0x28(%rsp),%rcx
  add    %rax,%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r14,(%rsp)
  mov    0x18(%rsp),%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%edi
  movslq %ebp,%rcx
  shl    $0x3,%rcx
  mov    0x28(%rsp),%rbx
  lea    (%rbx,%rcx,1),%rsi
  movslq %eax,%rdx
  shl    $0x3,%rdx
  lea    (%rbx,%rdx,1),%r8
  mov    0x30(%rsp),%rax
  add    %rax,%rcx
  add    %rax,%rdx
  add    $0x10,%rsp
  mov    $0x0,%eax
L132:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%r8,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rdi,%rax
  jne    L132
L258:
  sub    $0x1,%r15d
  cmp    0x5c(%rsp),%r15d
  je     L221
L374:
  mov    %r15d,%ebx
  neg    %ebx
  sub    $0x8,%rsp
  push   %r14
  push   0x10(%rsp)
  push   0x68(%rsp)
  mov    0x60(%rsp),%r9
  mov    0x68(%rsp),%r8
  mov    0x100(%rsp),%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r13
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r14,(%rsp)
  mov    %r13,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0xe8(%rsp)
  jne    L356
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r13
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r14,(%rsp)
  mov    %r13,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r13
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r14,(%rsp)
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r14,(%rsp)
  mov    %r13,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r13
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r14,(%rsp)
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r14,(%rsp)
  mov    %r13,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  jmp    L258
L221:
  mov    $0xffffffff,%r15d
  mov    (%rsp),%r13
  jmp    L344
L142:
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r15d,0x8(%rsp)
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x58(%rsp),%esi
  test   %esi,%esi
  jle    L323
  mov    %esi,%edi
  movslq %ebp,%rcx
  shl    $0x3,%rcx
  mov    0x18(%rsp),%r11
  lea    (%r11,%rcx,1),%rsi
  cltq
  lea    0x0(,%rax,8),%rdx
  lea    (%r11,%rdx,1),%r8
  mov    0x20(%rsp),%rax
  add    %rax,%rcx
  add    %rax,%rdx
  mov    $0x0,%eax
L219:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%r8,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rdi,%rax
  jne    L219
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rdi
  mov    %rdi,0x10(%rsp)
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rax,1),%rbp
  mov    0x28(%rsp),%rcx
  add    %rax,%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r14,(%rsp)
  mov    0x20(%rsp),%r9
  mov    %r13,%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebx
  mov    %r12d,%edx
  mov    0x18(%rsp),%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%edi
  movslq %ebx,%rcx
  shl    $0x3,%rcx
  mov    0x28(%rsp),%rbx
  lea    (%rbx,%rcx,1),%rsi
  movslq %eax,%rdx
  shl    $0x3,%rdx
  lea    (%rbx,%rdx,1),%r8
  mov    0x30(%rsp),%rax
  add    %rax,%rcx
  add    %rax,%rdx
  add    $0x10,%rsp
  mov    $0x0,%eax
L304:
  movsd  (%rsi,%rax,8),%xmm0
  movsd  %xmm0,(%r8,%rax,8)
  movsd  (%rcx,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rdi,%rax
  jne    L304
L25:
  sub    $0x1,%r15d
  cmp    0x5c(%rsp),%r15d
  je     L111
L344:
  mov    %r15d,%ebx
  neg    %ebx
  sub    $0x8,%rsp
  push   %r14
  push   %r13
  push   0x68(%rsp)
  mov    0x60(%rsp),%r9
  mov    0x68(%rsp),%r8
  mov    0x100(%rsp),%rcx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rdi
  mov    %rdi,0x8(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r14,(%rsp)
  mov    0x18(%rsp),%r9
  mov    %r13,%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0xe8(%rsp)
  jne    L142
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rcx
  mov    %rcx,0x8(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r14,(%rsp)
  mov    0x18(%rsp),%r9
  mov    %r13,%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    $0x0,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rcx
  mov    %rcx,0x18(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r14,(%rsp)
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r14,(%rsp)
  mov    0x18(%rsp),%r9
  mov    %r13,%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebx
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebx,%rbx
  lea    0x0(,%rbx,8),%rdx
  mov    0x30(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rbp
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbx
  add    0x38(%rsp),%rcx
  mov    %r14,(%rsp)
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r14,(%rsp)
  mov    %rbp,%r9
  mov    %r13,%r8
  mov    %rbx,%rcx
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  jmp    L25
L111:
  mov    $0x1,%eax
  sub    %r12d,%eax
  mov    %eax,0x78(%rsp)
  movl   $0xffffffff,0x10(%rsp)
  mov    %r14,%r15
  jmp    L303
L161:
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    0x8(%rsp),%esi
  mov    %esi,%r14d
  mov    0x10(%rsp),%edi
  mov    %edi,0x3c(%rsp)
  mov    %r12d,%edx
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x58(%rsp),%esi
  test   %esi,%esi
  jle    L98
  mov    %esi,%esi
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  mov    0x18(%rsp),%rdi
  lea    (%rdi,%rbp,1),%rcx
  cltq
  lea    0x0(,%rax,8),%rdx
  add    %rdx,%rdi
  mov    0x20(%rsp),%rax
  add    %rax,%rbp
  add    %rax,%rdx
  mov    $0x0,%eax
L355:
  movsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  0x0(%rbp,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rsi
  jne    L355
L98:
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  add    %rdx,%rsi
  mov    %rsi,0x60(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    0x70(%rsp),%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x4c(%rsp),%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0x58(%rsp)
  jle    L253
  mov    0x58(%rsp),%esi
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  mov    0x18(%rsp),%rdi
  lea    (%rdi,%rbp,1),%rcx
  cltq
  lea    0x0(,%rax,8),%rdx
  add    %rdx,%rdi
  mov    0x20(%rsp),%rax
  add    %rax,%rbp
  add    %rax,%rdx
  mov    $0x0,%eax
L33:
  movsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  0x0(%rbp,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rsi
  jne    L33
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rdi
  mov    %rdi,0x60(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%r11
  lea    (%r11,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r15,(%rsp)
  mov    0x70(%rsp),%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    0x4c(%rsp),%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%esi
  movslq %ebp,%rbp
  shl    $0x3,%rbp
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rbp,1),%rcx
  movslq %eax,%rdx
  shl    $0x3,%rdx
  add    %rdx,%rdi
  mov    0x30(%rsp),%rax
  add    %rax,%rbp
  add    %rax,%rdx
  add    $0x10,%rsp
  mov    $0x0,%eax
L264:
  movsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  0x0(%rbp,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rsi
  jne    L264
  mov    %r12d,%edx
  mov    0x3c(%rsp),%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    0x3c(%rsp),%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rdi
  lea    (%rdi,%rdx,1),%rcx
  mov    %rcx,0x60(%rsp)
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%r11
  lea    (%r11,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%r11
  lea    (%r11,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    0x70(%rsp),%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    0x4c(%rsp),%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebx
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    0x68(%rsp),%esi
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  mov    0x28(%rsp),%r11
  lea    (%r11,%rbx,1),%rcx
  movslq %eax,%rdx
  shl    $0x3,%rdx
  lea    (%r11,%rdx,1),%rdi
  mov    0x30(%rsp),%rax
  add    %rax,%rbx
  add    %rax,%rdx
  add    $0x10,%rsp
  mov    $0x0,%eax
L79:
  movsd  (%rcx,%rax,8),%xmm0
  movsd  %xmm0,(%rdi,%rax,8)
  movsd  (%rbx,%rax,8),%xmm0
  xorpd  D0(%rip),%xmm0
  movsd  %xmm0,(%rdx,%rax,8)
  add    $0x1,%rax
  cmp    %rsi,%rax
  jne    L79
L369:
  subl   $0x1,0x8(%rsp)
  mov    0x8(%rsp),%eax
  cmp    0x5c(%rsp),%eax
  je     L13
L274:
  mov    0x8(%rsp),%ebx
  neg    %ebx
  sub    $0x8,%rsp
  push   %r15
  push   0x10(%rsp)
  push   0x68(%rsp)
  mov    0x60(%rsp),%r9
  mov    0x68(%rsp),%r8
  mov    0x100(%rsp),%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <genWigTrans_L2@plt>
  add    $0x20,%rsp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rdi
  lea    (%rdi,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  add    $0x10,%rsp
  cmpl   $0x0,0xe8(%rsp)
  jne    L161
  mov    %r12d,%edx
  mov    0x8(%rsp),%r14d
  mov    %r14d,%esi
  mov    0x10(%rsp),%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r14d,0x8(%rsp)
  mov    %r14d,%esi
  mov    0x10(%rsp),%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x20(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x30(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x28(%rsp),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    0x18(%rsp),%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    0x18(%rsp),%r14d
  mov    %r14d,%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r14d,0x18(%rsp)
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    0x18(%rsp),%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    0x18(%rsp),%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x20(%rsp),%r14d
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r14d,0x20(%rsp)
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    0x20(%rsp),%esi
  mov    0x18(%rsp),%r14d
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    0x20(%rsp),%esi
  mov    %r14d,0x18(%rsp)
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    0x20(%rsp),%esi
  mov    0x18(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    0x20(%rsp),%r14d
  mov    %r14d,%esi
  mov    0x18(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis@plt>
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r14d,0x20(%rsp)
  mov    %r14d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    0x18(%rsp),%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    0x18(%rsp),%r14d
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rbp
  lea    0x0(,%rbp,8),%rdx
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rdx,1),%r14
  movslq %eax,%rcx
  shl    $0x3,%rcx
  mov    0x40(%rsp),%rax
  lea    (%rax,%rcx,1),%rbp
  add    0x38(%rsp),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%r10
  lea    (%r10,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    %r14,%r9
  mov    0x10(%rsp),%r8
  mov    %rbp,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    0x20(%rsp),%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  add    $0x10,%rsp
  jmp    L369
L13:
  subl   $0x1,0x10(%rsp)
L303:
  mov    0x10(%rsp),%eax
  mov    %eax,%r13d
  neg    %r13d
  cmp    %eax,0x78(%rsp)
  je     L200
  sub    $0x1,%eax
  mov    %eax,0x8(%rsp)
  jmp    L274
L317:
  mov    0x18(%rsp),%rbp
  mov    0x98(%rsp),%rax
  add    %rax,%rbp
  add    0x20(%rsp),%rax
  mov    %rax,%rbx
  jmp    L149
L200:
  mov    %r15,%r14
  mov    0x18(%rsp),%rbp
  mov    0x98(%rsp),%rax
  add    %rax,%rbp
  add    0x20(%rsp),%rax
  mov    %rax,%rbx
L149:
  mov    0x88(%rsp),%eax
  add    %eax,%eax
  cltq
  lea    0x0(,%rax,8),%r13
  mov    $0x0,%r15d
  mov    %r14,(%rsp)
  mov    0x80(%rsp),%r14
L249:
  mov    %r14,%rdx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    %r14,%rdx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  add    %r13,%rbp
  add    %r13,%rbx
  add    $0x1,%r15d
  cmp    %r15d,%r12d
  jg     L249
  mov    (%rsp),%r14
  mov    0x88(%rsp),%r15d
  mov    %r15d,%ebx
  imul   0x58(%rsp),%ebx
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  mov    0x18(%rsp),%rax
  lea    (%rax,%rbx,1),%rbp
  add    0x20(%rsp),%rbx
  mov    0x90(%rsp),%rax
  imul   %rax,%rax
  lea    0x0(,%rax,8),%r13
  mov    %r13,%rdx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    %r13,%rdx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  mov    0x7c(%rsp),%eax
  add    %r15d,%eax
  cltq
  shl    $0x3,%rax
  add    %rax,%rbp
  add    %rax,%rbx
  cmp    $0x1,%r12d
  jle    L372
  add    %r15d,%r15d
  movslq %r15d,%r13
  shl    $0x3,%r13
  mov    $0x1,%r15d
  mov    %r14,(%rsp)
  mov    0x80(%rsp),%r14
L245:
  mov    %r14,%rdx
  mov    $0x0,%esi
  mov    %rbp,%rdi
  call   <memset@plt>
  mov    %r14,%rdx
  mov    $0x0,%esi
  mov    %rbx,%rdi
  call   <memset@plt>
  add    %r13,%rbp
  add    %r13,%rbx
  add    $0x1,%r15d
  cmp    %r15d,%r12d
  jne    L245
  mov    (%rsp),%r14
L372:
  mov    0x7c(%rsp),%r15d
  mov    %r15d,%ecx
  mov    0x58(%rsp),%ebx
  mov    %ebx,%edx
  mov    0x70(%rsp),%rsi
  mov    0x18(%rsp),%rbp
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    %r15d,%ecx
  mov    %ebx,%edx
  mov    0x68(%rsp),%rsi
  mov    0x20(%rsp),%r13
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  sub    $0x8,%rsp
  push   %r14
  mov    %ebx,%r9d
  mov    %r15d,%r8d
  mov    %r13,%rcx
  mov    %rbp,%rdx
  mov    0x78(%rsp),%rsi
  mov    0x80(%rsp),%rdi
  mov    $0x0,%eax
  call   <grid_fourier_so3@plt>
  mov    %r15d,%ecx
  mov    %ebx,%edx
  mov    0x80(%rsp),%rsi
  mov    %rbp,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    %r15d,%ecx
  mov    %ebx,%edx
  mov    0x78(%rsp),%rsi
  mov    %r13,%rdi
  mov    $0x0,%eax
  call   <transpose_so3@plt>
  mov    %r14,(%rsp)
  mov    %ebx,%r9d
  mov    %r15d,%r8d
  mov    %r13,%rcx
  mov    %rbp,%rdx
  mov    0x78(%rsp),%rsi
  mov    0x80(%rsp),%rdi
  mov    $0x0,%eax
  call   <grid_fourier_so3@plt>
  pxor   %xmm1,%xmm1
  cvtsi2sd %ebx,%xmm1
  pxor   %xmm0,%xmm0
  cvtsi2sd %r12d,%xmm0
  divsd  D47(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  add    $0x10,%rsp
  mov    0x8c(%rsp),%eax
  test   %eax,%eax
  jle    L57
  mov    %eax,%edx
  mov    $0x0,%eax
  mov    %rbp,%rcx
  mov    %r13,%rsi
L175:
  movapd %xmm0,%xmm1
  mulsd  (%rcx,%rax,8),%xmm1
  movsd  %xmm1,(%rcx,%rax,8)
  movapd %xmm0,%xmm1
  mulsd  (%rsi,%rax,8),%xmm1
  movsd  %xmm1,(%rsi,%rax,8)
  add    $0x1,%rax
  cmp    %rax,%rdx
  jne    L175
L57:
  add    $0xa8,%rsp
  pop    %rbx
  pop    %rbp
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  ret
L47:
  je     L317
  mov    0x88(%rsp),%ebx
  imul   0x58(%rsp),%ebx
  movslq %ebx,%rbx
  shl    $0x3,%rbx
  mov    0x90(%rsp),%rbp
  imul   %rbp,%rbp
  shl    $0x3,%rbp
  mov    0x18(%rsp),%rax
  lea    (%rax,%rbx,1),%rdi
  mov    %rbp,%rdx
  mov    $0x0,%esi
  call   <memset@plt>
  mov    0x20(%rsp),%rax
  lea    (%rax,%rbx,1),%rdi
  mov    %rbp,%rdx
  mov    $0x0,%esi
  call   <memset@plt>
  jmp    L372
L253:
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rbp
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rcx
  lea    (%rcx,%rax,1),%r11
  mov    %r11,0x60(%rsp)
  mov    0x28(%rsp),%r11
  lea    (%r11,%rax,1),%rcx
  sub    $0x8,%rsp
  push   %r15
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r15,(%rsp)
  mov    %rbp,%r9
  mov    0x10(%rsp),%r8
  mov    0x70(%rsp),%rcx
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    0x4c(%rsp),%ebp
  mov    %ebp,%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %ebp,0x4c(%rsp)
  mov    %ebp,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    0x4c(%rsp),%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x30(%rsp),%rdi
  lea    (%rdi,%rdx,1),%rbp
  cltq
  shl    $0x3,%rax
  mov    0x40(%rsp),%rcx
  lea    (%rcx,%rax,1),%rdi
  mov    %rdi,0x70(%rsp)
  mov    0x38(%rsp),%r11
  lea    (%r11,%rax,1),%rcx
  mov    %r15,(%rsp)
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r15,(%rsp)
  mov    %rbp,%r9
  mov    0x10(%rsp),%r8
  mov    0x70(%rsp),%rcx
  mov    %r12d,%edx
  mov    %r14d,%esi
  mov    %r13d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    0x4c(%rsp),%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r13d,%esi
  mov    %r14d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  add    $0x10,%rsp
  jmp    L369
L323:
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rbp
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rsi
  add    %rax,%rsi
  mov    %rsi,0x8(%rsp)
  mov    0x28(%rsp),%rdi
  lea    (%rdi,%rax,1),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    %r13,%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r14,(%rsp)
  mov    %rbp,%r9
  mov    %r13,%r8
  mov    0x18(%rsp),%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symX@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    $0x0,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  add    $0x10,%rsp
  jmp    L25
L228:
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %eax,%ebp
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <coefLoc_so3@plt>
  movslq %ebp,%rdx
  shl    $0x3,%rdx
  mov    0x20(%rsp),%rsi
  lea    (%rsi,%rdx,1),%rbp
  cltq
  shl    $0x3,%rax
  mov    0x30(%rsp),%rsi
  lea    (%rsi,%rax,1),%r13
  mov    0x28(%rsp),%rsi
  lea    (%rsi,%rax,1),%rcx
  sub    $0x8,%rsp
  push   %r14
  mov    0x28(%rsp),%rax
  lea    (%rax,%rdx,1),%r9
  mov    0x10(%rsp),%r8
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r14,(%rsp)
  mov    %rbp,%r9
  mov    0x10(%rsp),%r8
  mov    %r13,%rcx
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <wigNaiveSynthesis_symY@plt>
  mov    %r12d,%edx
  mov    %ebx,%esi
  mov    %r15d,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  mov    %r12d,%edx
  mov    %r15d,%esi
  mov    %ebx,%edi
  mov    $0x0,%eax
  call   <sampLoc_so3@plt>
  add    $0x10,%rsp
  jmp    L258
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D0
type_infered: byte[16]
name: extract_symbolic_data
arguments: data_label: D47
type_infered: f64

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

tool: D47: 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;
  }
}
```