user: What is the c source code of the assembly code below?

```asm
<gint2_nai_pF_cF>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  sub    $0xb0,%rsp
  mov    %rdi,-0x88(%rbp)
  movsd  %xmm0,-0x90(%rbp)
  mov    %rsi,-0x98(%rbp)
  movsd  %xmm1,-0xa0(%rbp)
  mov    %rdx,-0xa8(%rbp)
  mov    %rcx,-0xb0(%rbp)
  mov    -0xb0(%rbp),%rcx
  mov    -0xa8(%rbp),%rdx
  movsd  -0xa0(%rbp),%xmm0
  mov    -0x98(%rbp),%rsi
  mov    -0x90(%rbp),%rdi
  mov    -0x88(%rbp),%rax
  movapd %xmm0,%xmm1
  movq   %rdi,%xmm0
  mov    %rax,%rdi
  mov    $0x2,%eax
  call   <gint2_nai_cF_cF@plt>
  mov    -0xb0(%rbp),%rax
  add    $0x190,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xf0,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2d0,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x230,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0xa0,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x230,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x280,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1e0,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xa0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1a0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x100,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0xb0,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x240,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2e0,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xb0,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x240,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x290,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1f0,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xb0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1b0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x110,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x48(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2f0,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x250,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x40(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0xc0,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x250,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2a0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x200,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xc0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1c0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x120,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x30(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0xd0,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x260,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x28(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x300,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xd0,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x260,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x20(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2b0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x210,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xd0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1d0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x130,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x18(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x310,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x270,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x10(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0xe0,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x270,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x8(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x2c0,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x90,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x220,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xe0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xf0,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x190,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xf0,%rax
  movsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  movsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x198,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xf8,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x68(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xf8,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x198,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2d8,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xa8,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x238,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xa8,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x238,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xf8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x288,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1e8,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xa8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x100,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1a0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x10,%rax
  movsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x100,%rax
  movsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1a8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x108,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x70(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x108,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1a8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2e8,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xb8,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x248,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x18,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xb8,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x248,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x108,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x298,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1f8,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xb8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x110,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1b0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x110,%rax
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x20,%rax
  movsd  -0x40(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1b8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x118,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x50(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x118,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1b8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2f8,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xc8,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x258,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x28,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xc8,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x258,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x118,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2a8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x208,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xc8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x120,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1c0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x30,%rax
  movsd  -0x20(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x120,%rax
  movsd  -0x28(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1c8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x128,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x58(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x128,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1c8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x308,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xd8,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x268,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x38,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xd8,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x268,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x128,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2b8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x218,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xd8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x130,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1d0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x130,%rax
  movsd  -0x8(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x40,%rax
  movsd  -0x10(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x1d8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x138,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  movsd  %xmm0,-0x38(%rbp)
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  movsd  (%rax),%xmm1
  movsd  D159(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x138,%rax
  movsd  (%rax),%xmm2
  movsd  D357(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1d8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x318,%rax
  movsd  (%rax),%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0xe8,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm2
  movsd  D138(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x48,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0xe8,%rax
  movsd  (%rax),%xmm1
  movsd  D1151(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x278,%rax
  movsd  (%rax),%xmm2
  movsd  D1151(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x138,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x2c8,%rax
  movsd  (%rax),%xmm1
  movsd  D62(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x98,%rax
  movsd  (%rax),%xmm2
  movsd  D1341(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  subsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x228,%rax
  movsd  (%rax),%xmm2
  movsd  D478(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0xe8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1e0,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1e0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x50,%rax
  movsd  -0x78(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1e8,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1e8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x58,%rax
  movsd  -0x68(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1f0,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1f0,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x60,%rax
  movsd  -0x60(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x1f8,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x1f8,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x68,%rax
  movsd  -0x70(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x200,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x200,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x70,%rax
  movsd  -0x48(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x208,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x208,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x78,%rax
  movsd  -0x50(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x210,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x210,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  sub    $0xffffffffffffff80,%rax
  movsd  -0x30(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x88,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x218,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x218,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x88,%rax
  movsd  -0x58(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x90,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x220,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x220,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x90,%rax
  movsd  -0x18(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x98,%rax
  movsd  (%rax),%xmm1
  movsd  D357(%rip),%xmm0
  mulsd  %xmm1,%xmm0
  mov    -0xb0(%rbp),%rax
  add    $0x228,%rax
  movsd  (%rax),%xmm2
  movsd  D159(%rip),%xmm1
  mulsd  %xmm2,%xmm1
  mov    -0xb0(%rbp),%rax
  add    $0x228,%rax
  subsd  %xmm1,%xmm0
  movsd  %xmm0,(%rax)
  mov    -0xb0(%rbp),%rax
  add    $0x98,%rax
  movsd  -0x38(%rbp),%xmm0
  movsd  %xmm0,(%rax)
  nop
  leave
  ret
```

tool_calls: name: extract_symbolic_data
arguments: data_label: D62
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1341
data_type: f64
name: extract_symbolic_data
arguments: data_label: D478
data_type: f64
name: extract_symbolic_data
arguments: data_label: D138
data_type: f64
name: extract_symbolic_data
arguments: data_label: D1151
data_type: f64
name: extract_symbolic_data
arguments: data_label: D159
data_type: f64
name: extract_symbolic_data
arguments: data_label: D357
data_type: f64

tool: D62: 1.09544511501033

tool: D1341: 0.273861278752583

tool: D478: 0.612372435695794

tool: D138: 0.670820393249937

tool: D1151: 0.866025403784439

tool: D159: 0.790569415042095

tool: D357: 1.06066017177982

assistant: ```c
void gint2_nai_pF_cF(double *a, double a_a, double *b, double b_a, double *c, double *out) {
  double tmp0, tmp1, tmp10, tmp11, tmp12, tmp13, tmp14, tmp2, tmp3, tmp4, tmp5, tmp6, tmp7, tmp8, tmp9;
  gint2_nai_cF_cF(a, a_a, b, b_a, c, out);
  tmp0 = 1.09544511501033 * out[50] - 0.273861278752583 * out[30] - 0.612372435695794 * out[0];
  tmp1 = out[90] - 0.670820393249937 * out[20] - 0.670820393249937 * out[70];
  tmp2 = 0.866025403784439 * out[20] - 0.866025403784439 * out[70];
  out[20] = 1.09544511501033 * out[80] - 0.273861278752583 * out[10] - 0.612372435695794 * out[60];
  tmp3 = 1.09544511501033 * out[52] - 0.273861278752583 * out[32] - 0.612372435695794 * out[2];
  tmp4 = 0.866025403784439 * out[22] - 0.866025403784439 * out[72];
  tmp5 = out[92] - 0.670820393249937 * out[22] - 0.670820393249937 * out[72];
  out[22] = 1.09544511501033 * out[82] - 0.273861278752583 * out[12] - 0.612372435695794 * out[62];
  tmp6 = 1.09544511501033 * out[54] - 0.273861278752583 * out[34] - 0.612372435695794 * out[4];
  tmp7 = out[94] - 0.670820393249937 * out[24] - 0.670820393249937 * out[74];
  tmp8 = 0.866025403784439 * out[24] - 0.866025403784439 * out[74];
  out[24] = 1.09544511501033 * out[84] - 0.273861278752583 * out[14] - 0.612372435695794 * out[64];
  tmp9 = 1.09544511501033 * out[56] - 0.273861278752583 * out[36] - 0.612372435695794 * out[6];
  tmp10 = 0.866025403784439 * out[26] - 0.866025403784439 * out[76];
  tmp11 = out[96] - 0.670820393249937 * out[26] - 0.670820393249937 * out[76];
  out[26] = 1.09544511501033 * out[86] - 0.273861278752583 * out[16] - 0.612372435695794 * out[66];
  tmp12 = 1.09544511501033 * out[58] - 0.273861278752583 * out[38] - 0.612372435695794 * out[8];
  tmp13 = out[98] - 0.670820393249937 * out[28] - 0.670820393249937 * out[78];
  tmp14 = 0.866025403784439 * out[28] - 0.866025403784439 * out[78];
  out[28] = 1.09544511501033 * out[88] - 0.273861278752583 * out[18] - 0.612372435695794 * out[68];
  out[50] = 0.790569415042095 * out[0] - 1.06066017177982 * out[30];
  out[30] = tmp2;
  out[0] = tmp1;
  tmp2 = 1.09544511501033 * out[51] - 0.273861278752583 * out[31] - 0.612372435695794 * out[1];
  out[51] = 0.790569415042095 * out[1] - 1.06066017177982 * out[31];
  out[1] = out[91] - 0.670820393249937 * out[21] - 0.670820393249937 * out[71];
  out[31] = 0.866025403784439 * out[21] - 0.866025403784439 * out[71];
  out[21] = 1.09544511501033 * out[81] - 0.273861278752583 * out[11] - 0.612372435695794 * out[61];
  out[52] = 0.790569415042095 * out[2] - 1.06066017177982 * out[32];
  out[2] = tmp5;
  out[32] = tmp4;
  tmp1 = 1.09544511501033 * out[53] - 0.273861278752583 * out[33] - 0.612372435695794 * out[3];
  out[53] = 0.790569415042095 * out[3] - 1.06066017177982 * out[33];
  out[3] = out[93] - 0.670820393249937 * out[23] - 0.670820393249937 * out[73];
  out[33] = 0.866025403784439 * out[23] - 0.866025403784439 * out[73];
  out[23] = 1.09544511501033 * out[83] - 0.273861278752583 * out[13] - 0.612372435695794 * out[63];
  out[54] = 0.790569415042095 * out[4] - 1.06066017177982 * out[34];
  out[34] = tmp8;
  out[4] = tmp7;
  tmp5 = 1.09544511501033 * out[55] - 0.273861278752583 * out[35] - 0.612372435695794 * out[5];
  out[55] = 0.790569415042095 * out[5] - 1.06066017177982 * out[35];
  out[5] = out[95] - 0.670820393249937 * out[25] - 0.670820393249937 * out[75];
  out[35] = 0.866025403784439 * out[25] - 0.866025403784439 * out[75];
  out[25] = 1.09544511501033 * out[85] - 0.273861278752583 * out[15] - 0.612372435695794 * out[65];
  out[56] = 0.790569415042095 * out[6] - 1.06066017177982 * out[36];
  out[6] = tmp11;
  out[36] = tmp10;
  tmp4 = 1.09544511501033 * out[57] - 0.273861278752583 * out[37] - 0.612372435695794 * out[7];
  out[57] = 0.790569415042095 * out[7] - 1.06066017177982 * out[37];
  out[7] = out[97] - 0.670820393249937 * out[27] - 0.670820393249937 * out[77];
  out[37] = 0.866025403784439 * out[27] - 0.866025403784439 * out[77];
  out[27] = 1.09544511501033 * out[87] - 0.273861278752583 * out[17] - 0.612372435695794 * out[67];
  out[58] = 0.790569415042095 * out[8] - 1.06066017177982 * out[38];
  out[38] = tmp14;
  out[8] = tmp13;
  tmp8 = 1.09544511501033 * out[59] - 0.273861278752583 * out[39] - 0.612372435695794 * out[9];
  out[59] = 0.790569415042095 * out[9] - 1.06066017177982 * out[39];
  out[9] = out[99] - 0.670820393249937 * out[29] - 0.670820393249937 * out[79];
  out[39] = 0.866025403784439 * out[29] - 0.866025403784439 * out[79];
  out[29] = 1.09544511501033 * out[89] - 0.273861278752583 * out[19] - 0.612372435695794 * out[69];
  out[60] = 1.06066017177982 * out[10] - 0.790569415042095 * out[60];
  out[10] = tmp0;
  out[61] = 1.06066017177982 * out[11] - 0.790569415042095 * out[61];
  out[11] = tmp2;
  out[62] = 1.06066017177982 * out[12] - 0.790569415042095 * out[62];
  out[12] = tmp3;
  out[63] = 1.06066017177982 * out[13] - 0.790569415042095 * out[63];
  out[13] = tmp1;
  out[64] = 1.06066017177982 * out[14] - 0.790569415042095 * out[64];
  out[14] = tmp6;
  out[65] = 1.06066017177982 * out[15] - 0.790569415042095 * out[65];
  out[15] = tmp5;
  out[66] = 1.06066017177982 * out[16] - 0.790569415042095 * out[66];
  out[16] = tmp9;
  out[67] = 1.06066017177982 * out[17] - 0.790569415042095 * out[67];
  out[17] = tmp4;
  out[68] = 1.06066017177982 * out[18] - 0.790569415042095 * out[68];
  out[18] = tmp12;
  out[69] = 1.06066017177982 * out[19] - 0.790569415042095 * out[69];
  out[19] = tmp8;
}
```