user: 提供的汇编代码用C语言表示会是什么样子:

```asm
<measurement>:
  endbr64
  push   %rbp
  mov    %rsp,%rbp
  push   %r15
  push   %r14
  push   %r13
  push   %r12
  push   %rbx
  sub    $0x228,%rsp
  movsd  D19(%rip),%xmm5
  mov    %rdi,-0x1f8(%rbp)
  mov    %rsi,-0x240(%rbp)
  divsd  %xmm0,%xmm5
  mov    %r8d,-0x238(%rbp)
  movsd  %xmm0,-0x248(%rbp)
  mov    %fs:0x28,%rax
  mov    %rax,-0x38(%rbp)
  xor    %eax,%eax
  mov    %rsp,%rax
  movsd  %xmm5,-0x1d8(%rbp)
  cmp    %rax,%rsp
  je     L119
L236:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L236
L119:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x210(%rbp)
  cmp    %rax,%rsp
  je     L339
L349:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L349
L339:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x218(%rbp)
  cmp    %rax,%rsp
  je     L139
L336:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L336
L139:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x220(%rbp)
  cmp    %rax,%rsp
  je     L137
L315:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L315
L137:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x200(%rbp)
  cmp    %rax,%rsp
  je     L224
L335:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L335
L224:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x208(%rbp)
  cmp    %rax,%rsp
  je     L207
L217:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L217
L207:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,%rax
  mov    %rsp,-0x228(%rbp)
  cmp    %rax,%rsp
  je     L102
L69:
  sub    $0x1000,%rsp
  orq    $0x0,0xff8(%rsp)
  cmp    %rax,%rsp
  jne    L69
L102:
  sub    $0x7d0,%rsp
  orq    $0x0,0x7c8(%rsp)
  mov    %rsp,-0x230(%rbp)
  lea    -0x48(%rbp),%r14
  lea    -0x50(%rbp),%r13
  movq   $0x0,-0x1e8(%rbp)
L19:
  movl   $0x1e,-0x1f0(%rbp)
L284:
  movl   $0xfa,-0x234(%rbp)
L115:
  mov    -0x1f8(%rbp),%rax
  movl   $0x0,-0x1ec(%rbp)
  mov    %rax,-0xb8(%rbp)
L110:
  mov    -0x1ec(%rbp),%edi
  mov    $0xaaaaaaab,%esi
  mov    %r13,%r12
  mov    %r14,%r13
  movq   $0x0,-0x1e0(%rbp)
  lea    0x17(%rdi),%eax
  mov    %rax,%rcx
  imul   %rsi,%rax
  shr    $0x24,%rax
  lea    (%rax,%rax,2),%edx
  mov    %ecx,%eax
  shl    $0x3,%edx
  sub    %edx,%eax
  lea    0x1(%rdi),%edx
  mov    %rdx,%rdi
  mov    %edx,-0x1ec(%rbp)
  imul   %rsi,%rdx
  cltq
  shr    $0x24,%rdx
  lea    (%rdx,%rdx,2),%ecx
  shl    $0x3,%ecx
  sub    %ecx,%edi
  movslq %edi,%rdx
  mov    -0x1f8(%rbp),%rdi
  lea    (%rdi,%rdx,8),%rdx
  lea    (%rdi,%rax,8),%rax
  mov    %rdx,-0x1a8(%rbp)
  mov    %rax,-0x1b0(%rbp)
  nopl   (%rax)
L11:
  mov    -0x1e0(%rbp),%rsi
  mov    $0xaaaaaaab,%ebx
  xor    %r14d,%r14d
  lea    0x0(,%rsi,8),%rax
  lea    0x1(%rsi),%edx
  mov    %rax,-0x58(%rbp)
  mov    %rdx,%rax
  imul   %rbx,%rdx
  shr    $0x24,%rdx
  lea    (%rdx,%rdx,2),%edx
  shl    $0x3,%edx
  sub    %edx,%eax
  lea    0x17(%rsi),%edx
  cltq
  shl    $0x3,%rax
  mov    %rax,-0x198(%rbp)
  mov    %rdx,%rax
  imul   %rbx,%rdx
  shr    $0x24,%rdx
  lea    (%rdx,%rdx,2),%edx
  shl    $0x3,%edx
  sub    %edx,%eax
  cltq
  shl    $0x3,%rax
  mov    %rax,-0x1a0(%rbp)
  jmp    L122
  xchg   %ax,%ax
L329:
  mov    -0x190(%rbp),%rax
  movapd -0xb0(%rbp),%xmm5
  mov    (%rax,%r14,8),%rdx
  movups %xmm5,(%rdx)
  movsd  D19(%rip),%xmm5
  addsd  -0x70(%rbp),%xmm5
  movsd  %xmm5,-0x70(%rbp)
L138:
  movsd  -0xa0(%rbp),%xmm0
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    %rax,-0x160(%rbp)
  call   <sincos@plt>
  mov    -0x78(%rbp),%rax
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x48(%rbp),%xmm2
  movsd  -0x50(%rbp),%xmm1
  movsd  (%rax),%xmm0
  movsd  %xmm2,-0x150(%rbp)
  movsd  %xmm1,-0x158(%rbp)
  call   <sincos@plt>
  mov    -0x78(%rbp),%rax
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm1
  movsd  -0x48(%rbp),%xmm9
  movsd  0x8(%rax),%xmm0
  movsd  %xmm1,-0xb0(%rbp)
  movsd  %xmm9,-0x148(%rbp)
  call   <sincos@plt>
  mov    -0x80(%rbp),%rax
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm12
  movsd  -0x48(%rbp),%xmm5
  movsd  (%rax),%xmm0
  movsd  %xmm12,-0x140(%rbp)
  movsd  %xmm5,-0x78(%rbp)
  call   <sincos@plt>
  mov    -0x80(%rbp),%rax
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x48(%rbp),%xmm8
  movsd  -0x50(%rbp),%xmm7
  movsd  0x8(%rax),%xmm0
  movsd  %xmm8,-0x138(%rbp)
  movsd  %xmm7,-0xf0(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm2
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    -0xc0(%rbp),%rax
  movsd  -0x50(%rbp),%xmm10
  movsd  %xmm2,-0xd8(%rbp)
  movsd  %xmm10,-0x130(%rbp)
  movsd  (%rax),%xmm0
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm7
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm3
  movsd  (%r15),%xmm0
  movsd  %xmm7,-0x128(%rbp)
  movsd  %xmm3,-0xe0(%rbp)
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm4
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  0x8(%r15),%xmm0
  movsd  %xmm4,-0xc0(%rbp)
  movsd  -0x48(%rbp),%xmm4
  movsd  %xmm4,-0x120(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm6
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    -0xc8(%rbp),%r15
  movsd  -0x50(%rbp),%xmm11
  movsd  %xmm6,-0x110(%rbp)
  movsd  %xmm11,-0x118(%rbp)
  movsd  (%r15),%xmm0
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm0
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x48(%rbp),%xmm5
  movsd  %xmm0,-0xc8(%rbp)
  movsd  0x8(%r15),%xmm0
  movsd  %xmm5,-0x108(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm2
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  (%rbx),%xmm0
  mov    -0x50(%rbp),%r15
  movsd  %xmm2,-0xe8(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm3
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm13
  movsd  0x8(%rbx),%xmm0
  movsd  %xmm3,-0x100(%rbp)
  movsd  %xmm13,-0x80(%rbp)
  call   <sincos@plt>
  movsd  -0x128(%rbp),%xmm7
  movsd  -0x140(%rbp),%xmm12
  movsd  -0x148(%rbp),%xmm9
  movsd  -0x78(%rbp),%xmm6
  movsd  -0x138(%rbp),%xmm8
  movapd %xmm12,%xmm0
  movsd  -0x130(%rbp),%xmm10
  mulsd  %xmm9,%xmm0
  movsd  -0x120(%rbp),%xmm4
  movsd  -0x118(%rbp),%xmm11
  mulsd  %xmm8,%xmm10
  movsd  -0x108(%rbp),%xmm5
  movsd  -0x100(%rbp),%xmm3
  movsd  -0x68(%rbp),%xmm14
  mulsd  %xmm9,%xmm6
  movsd  -0x158(%rbp),%xmm1
  mulsd  -0xd8(%rbp),%xmm8
  movsd  -0x150(%rbp),%xmm2
  mulsd  %xmm14,%xmm1
  subsd  -0x88(%rbp),%xmm1
  mulsd  %xmm14,%xmm2
  addsd  %xmm10,%xmm0
  movapd %xmm7,%xmm10
  subsd  -0x90(%rbp),%xmm2
  mulsd  %xmm11,%xmm10
  mulsd  %xmm4,%xmm11
  addsd  %xmm10,%xmm0
  movq   %r15,%xmm10
  mulsd  %xmm5,%xmm10
  addsd  %xmm11,%xmm0
  addsd  %xmm10,%xmm0
  movsd  -0x50(%rbp),%xmm10
  mulsd  %xmm3,%xmm10
  mulsd  -0x48(%rbp),%xmm3
  addsd  %xmm10,%xmm0
  mulsd  %xmm1,%xmm0
  movapd %xmm6,%xmm1
  movsd  -0x110(%rbp),%xmm6
  addsd  %xmm8,%xmm1
  mulsd  %xmm6,%xmm7
  mulsd  %xmm6,%xmm4
  addsd  %xmm7,%xmm1
  addsd  %xmm4,%xmm1
  movsd  -0xe8(%rbp),%xmm4
  mulsd  %xmm5,%xmm4
  movsd  D19(%rip),%xmm5
  addsd  -0xf8(%rbp),%xmm5
  movsd  %xmm5,-0xd8(%rbp)
  pxor   %xmm5,%xmm5
  addsd  %xmm4,%xmm1
  addsd  %xmm3,%xmm1
  mulsd  %xmm2,%xmm1
  addsd  %xmm1,%xmm0
  movsd  -0xb0(%rbp),%xmm1
  addsd  -0xf0(%rbp),%xmm1
  addsd  -0xe0(%rbp),%xmm1
  addsd  -0xc0(%rbp),%xmm1
  addsd  -0xc8(%rbp),%xmm1
  addsd  -0x80(%rbp),%xmm1
  mulsd  -0x98(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  comisd %xmm5,%xmm0
  jb     L7
  mov    -0xd0(%rbp),%rdx
  mov    -0x160(%rbp),%rax
  movsd  -0xa0(%rbp),%xmm7
  movsd  -0x60(%rbp),%xmm2
  mov    (%rax,%rdx,1),%rax
  movsd  %xmm7,0x8(%rax)
  movsd  D19(%rip),%xmm7
  addsd  -0x70(%rbp),%xmm7
  movsd  %xmm2,(%rax)
  movsd  %xmm7,-0x70(%rbp)
L322:
  add    $0x1,%r14
  cmp    $0x18,%r14
  je     L74
L122:
  lea    0x0(,%r14,8),%rax
  mov    -0x58(%rbp),%rbx
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    %rax,-0xd0(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    (%rax),%rax
  mov    (%rax,%rbx,1),%rax
  mov    (%rax,%r14,8),%rax
  movsd  (%rax),%xmm6
  movupd (%rax),%xmm5
  movapd %xmm6,%xmm0
  movaps %xmm5,-0xb0(%rbp)
  movsd  %xmm6,-0x60(%rbp)
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm1
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x48(%rbp),%xmm4
  movsd  -0xa8(%rbp),%xmm0
  movsd  %xmm1,-0x78(%rbp)
  movsd  %xmm4,-0x68(%rbp)
  call   <sincos@plt>
  xor    %eax,%eax
  mov    -0x50(%rbp),%r15
  mov    -0x48(%rbp),%rbx
  call   <rng_theta@plt>
  xor    %eax,%eax
  call   <rng_phi@plt>
  movsd  -0x68(%rbp),%xmm4
  mov    %r12,%rsi
  mov    %r13,%rdi
  pxor   %xmm7,%xmm7
  movq   %r15,%xmm5
  movsd  -0x78(%rbp),%xmm1
  mov    -0x1a8(%rbp),%rdx
  cvtsi2sd %eax,%xmm7
  mulsd  %xmm4,%xmm5
  mov    (%rdx),%rax
  subsd  %xmm1,%xmm1
  movapd %xmm7,%xmm6
  movsd  %xmm7,-0xa0(%rbp)
  movsd  -0x60(%rbp),%xmm7
  movsd  %xmm5,-0x88(%rbp)
  unpcklpd %xmm6,%xmm7
  movq   %rbx,%xmm6
  mov    -0x58(%rbp),%rbx
  movsd  %xmm1,-0x98(%rbp)
  mulsd  %xmm4,%xmm6
  movaps %xmm7,-0x1d0(%rbp)
  mov    (%rax,%rbx,1),%rax
  mov    (%rax,%r14,8),%r15
  movsd  (%r15),%xmm0
  movsd  %xmm6,-0x90(%rbp)
  mov    %r15,-0x78(%rbp)
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm7
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  0x8(%r15),%xmm0
  movsd  %xmm7,-0x128(%rbp)
  movsd  -0x48(%rbp),%xmm7
  movsd  %xmm7,-0x188(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm3
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    -0x1b0(%rbp),%rdx
  movsd  -0x50(%rbp),%xmm11
  mov    %rbx,-0x58(%rbp)
  movsd  %xmm3,-0x120(%rbp)
  movsd  %xmm11,-0x180(%rbp)
  mov    (%rdx),%rax
  mov    (%rax,%rbx,1),%rax
  mov    (%rax,%r14,8),%r15
  movsd  (%r15),%xmm0
  mov    %r15,-0x80(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm3
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm4
  movsd  0x8(%r15),%xmm0
  movsd  %xmm3,-0x178(%rbp)
  movsd  %xmm4,-0x118(%rbp)
  call   <sincos@plt>
  mov    -0xb8(%rbp),%rcx
  movsd  -0x48(%rbp),%xmm0
  mov    %r13,%rdi
  mov    -0x198(%rbp),%rsi
  movsd  -0x50(%rbp),%xmm1
  mov    (%rcx),%rbx
  movsd  %xmm0,-0x130(%rbp)
  movsd  %xmm1,-0x170(%rbp)
  mov    (%rbx,%rsi,1),%rax
  mov    %r12,%rsi
  mov    (%rax,%r14,8),%r15
  movsd  (%r15),%xmm0
  mov    %r15,-0xc0(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm6
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm12
  movsd  0x8(%r15),%xmm0
  movsd  %xmm6,-0x168(%rbp)
  movsd  %xmm12,-0x100(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm4
  mov    %r12,%rsi
  mov    %r13,%rdi
  mov    -0x1a0(%rbp),%rcx
  movsd  -0x50(%rbp),%xmm10
  movsd  %xmm4,-0xe8(%rbp)
  movsd  %xmm10,-0x160(%rbp)
  mov    (%rbx,%rcx,1),%rax
  mov    (%rax,%r14,8),%r15
  movsd  (%r15),%xmm0
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm5
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm14
  movsd  0x8(%r15),%xmm0
  movsd  %xmm5,-0x158(%rbp)
  movsd  %xmm14,-0xe0(%rbp)
  call   <sincos@plt>
  lea    0x1(%r14),%edx
  mov    -0x58(%rbp),%rax
  mov    %r12,%rsi
  mov    $0xaaaaaaab,%edi
  mov    %rdx,%rcx
  movsd  -0x48(%rbp),%xmm0
  movsd  -0x50(%rbp),%xmm9
  imul   %rdi,%rdx
  mov    (%rbx,%rax,1),%rax
  mov    %r13,%rdi
  movsd  %xmm0,-0x108(%rbp)
  mov    %rax,-0x110(%rbp)
  movsd  %xmm9,-0x150(%rbp)
  shr    $0x24,%rdx
  lea    (%rdx,%rdx,2),%edx
  shl    $0x3,%edx
  sub    %edx,%ecx
  movslq %ecx,%rcx
  mov    (%rax,%rcx,8),%rbx
  mov    %rcx,-0x1b8(%rbp)
  movsd  (%rbx),%xmm0
  mov    %rbx,-0xc8(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm4
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm9
  movsd  0x8(%rbx),%xmm0
  movsd  %xmm4,-0x148(%rbp)
  movsd  %xmm9,-0xf8(%rbp)
  call   <sincos@plt>
  lea    0x17(%r14),%edx
  mov    $0xaaaaaaab,%edi
  mov    -0x110(%rbp),%rax
  mov    %rdx,%rcx
  imul   %rdi,%rdx
  movsd  -0x50(%rbp),%xmm8
  mov    %r12,%rsi
  movsd  -0x48(%rbp),%xmm14
  mov    %r13,%rdi
  mov    %rax,-0x190(%rbp)
  movsd  %xmm8,-0x140(%rbp)
  movsd  %xmm14,-0xf0(%rbp)
  shr    $0x24,%rdx
  lea    (%rdx,%rdx,2),%edx
  shl    $0x3,%edx
  sub    %edx,%ecx
  movslq %ecx,%rcx
  mov    (%rax,%rcx,8),%rbx
  mov    %rcx,-0x1c0(%rbp)
  movsd  (%rbx),%xmm0
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm2
  mov    %r12,%rsi
  mov    %r13,%rdi
  movsd  -0x50(%rbp),%xmm11
  movsd  0x8(%rbx),%xmm0
  movsd  %xmm2,-0x138(%rbp)
  movsd  %xmm11,-0x110(%rbp)
  call   <sincos@plt>
  movsd  -0x188(%rbp),%xmm7
  movsd  -0x180(%rbp),%xmm11
  movsd  -0x178(%rbp),%xmm3
  movsd  -0x50(%rbp),%xmm15
  movsd  -0x170(%rbp),%xmm1
  mulsd  %xmm7,%xmm11
  movsd  -0x168(%rbp),%xmm6
  movsd  -0x158(%rbp),%xmm5
  movsd  -0x148(%rbp),%xmm4
  mulsd  %xmm3,%xmm1
  movsd  -0x160(%rbp),%xmm10
  movsd  -0x150(%rbp),%xmm9
  movsd  -0x138(%rbp),%xmm2
  mulsd  -0x130(%rbp),%xmm3
  movsd  -0x140(%rbp),%xmm8
  mulsd  %xmm6,%xmm10
  movsd  -0x88(%rbp),%xmm13
  mulsd  %xmm5,%xmm9
  movapd %xmm11,%xmm0
  mulsd  %xmm4,%xmm8
  addsd  %xmm1,%xmm0
  mulsd  %xmm2,%xmm15
  movapd %xmm13,%xmm1
  subsd  %xmm13,%xmm1
  mulsd  -0x48(%rbp),%xmm2
  addsd  %xmm10,%xmm0
  addsd  %xmm9,%xmm0
  addsd  %xmm8,%xmm0
  addsd  %xmm15,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  -0x120(%rbp),%xmm1
  mulsd  %xmm7,%xmm1
  movsd  -0x128(%rbp),%xmm7
  addsd  -0x118(%rbp),%xmm7
  addsd  %xmm3,%xmm1
  movsd  -0xe8(%rbp),%xmm3
  mulsd  %xmm6,%xmm3
  movsd  -0x90(%rbp),%xmm6
  addsd  %xmm3,%xmm1
  movsd  -0x108(%rbp),%xmm3
  mulsd  %xmm5,%xmm3
  addsd  %xmm3,%xmm1
  movsd  -0xf0(%rbp),%xmm3
  mulsd  %xmm4,%xmm3
  addsd  %xmm3,%xmm1
  addsd  %xmm2,%xmm1
  movapd %xmm6,%xmm2
  subsd  %xmm6,%xmm2
  mulsd  %xmm2,%xmm1
  movsd  D19(%rip),%xmm2
  addsd  -0xd8(%rbp),%xmm2
  addsd  %xmm1,%xmm0
  movsd  -0x100(%rbp),%xmm1
  addsd  %xmm7,%xmm1
  addsd  -0xe0(%rbp),%xmm1
  addsd  -0xf8(%rbp),%xmm1
  addsd  -0x110(%rbp),%xmm1
  movsd  %xmm2,-0xf8(%rbp)
  pxor   %xmm2,%xmm2
  mulsd  -0x98(%rbp),%xmm1
  addsd  %xmm1,%xmm0
  comisd %xmm2,%xmm0
  jae    L329
  mulsd  -0x1d8(%rbp),%xmm0
  call   <exp@plt>
  movsd  -0x68(%rbp),%xmm6
  xor    %eax,%eax
  movapd %xmm0,%xmm1
  movapd %xmm6,%xmm0
  divsd  %xmm6,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x78(%rbp)
  call   <rng@plt>
  pxor   %xmm1,%xmm1
  movsd  -0x78(%rbp),%xmm0
  cvtsi2sd %eax,%xmm1
  comisd %xmm1,%xmm0
  jae    L256
  mov    -0x1a8(%rbp),%rax
  mov    -0x58(%rbp),%rsi
  mov    -0xd0(%rbp),%rcx
  mov    -0x198(%rbp),%rdx
  mov    (%rax),%rax
  mov    (%rax,%rsi,1),%rax
  mov    (%rax,%rcx,1),%rax
  mov    %rax,-0x78(%rbp)
  mov    -0x1b0(%rbp),%rax
  mov    (%rax),%rax
  mov    (%rax,%rsi,1),%rax
  mov    (%rax,%rcx,1),%rax
  mov    %rax,-0x80(%rbp)
  mov    -0xb8(%rbp),%rax
  mov    (%rax),%rax
  mov    (%rax,%rdx,1),%rdx
  mov    (%rdx,%rcx,1),%rdx
  mov    %rdx,-0xc0(%rbp)
  mov    -0x1a0(%rbp),%rdx
  mov    (%rax,%rdx,1),%rdx
  mov    (%rax,%rsi,1),%rax
  mov    (%rdx,%rcx,1),%r15
L292:
  mov    -0x1b8(%rbp),%rdx
  mov    (%rax,%rdx,8),%rdx
  mov    %rdx,-0xc8(%rbp)
  mov    -0x1c0(%rbp),%rdx
  mov    (%rax,%rdx,8),%rbx
  jmp    L138
  nopl   0x0(%rax,%rax,1)
L7:
  mulsd  -0x1d8(%rbp),%xmm0
  call   <exp@plt>
  xor    %eax,%eax
  movapd %xmm0,%xmm1
  movsd  -0x68(%rbp),%xmm0
  divsd  %xmm0,%xmm0
  mulsd  %xmm1,%xmm0
  movsd  %xmm0,-0x60(%rbp)
  call   <rng@plt>
  pxor   %xmm1,%xmm1
  movsd  -0x60(%rbp),%xmm0
  cvtsi2sd %eax,%xmm1
  comisd %xmm1,%xmm0
  jb     L322
  mov    -0xb8(%rbp),%rax
  mov    -0x58(%rbp),%rdx
  add    $0x1,%r14
  movsd  D19(%rip),%xmm5
  addsd  -0x70(%rbp),%xmm5
  mov    (%rax),%rax
  movapd -0x1d0(%rbp),%xmm6
  mov    (%rax,%rdx,1),%rax
  mov    -0xd0(%rbp),%rdx
  movsd  %xmm5,-0x70(%rbp)
  mov    (%rax,%rdx,1),%rax
  movups %xmm6,(%rax)
  cmp    $0x18,%r14
  jne    L122
  nopl   0x0(%rax)
L74:
  addq   $0x1,-0x1e0(%rbp)
  mov    -0x1e0(%rbp),%rax
  cmp    $0x18,%rax
  jne    L11
  addq   $0x8,-0xb8(%rbp)
  cmpl   $0x18,-0x1ec(%rbp)
  mov    %r13,%r14
  mov    %r12,%r13
  jne    L110
  subl   $0x1,-0x234(%rbp)
  jne    L115
  subl   $0x1,-0x1f0(%rbp)
  jne    L284
  pxor   %xmm4,%xmm4
  mov    $0x1,%edx
  movapd %xmm4,%xmm2
  movapd %xmm4,%xmm3
  movapd %xmm4,%xmm1
L264:
  mov    $0xaaaaaaab,%esi
  mov    %edx,%eax
  mov    -0x1f8(%rbp),%rdi
  imul   %rsi,%rax
  mov    -0x8(%rdi,%rdx,8),%r8
  shr    $0x24,%rax
  lea    (%rax,%rax,2),%ecx
  mov    %edx,%eax
  shl    $0x3,%ecx
  sub    %ecx,%eax
  lea    0x16(%rdx),%ecx
  cltq
  mov    (%rdi,%rax,8),%r10
  mov    %rcx,%rax
  imul   %rsi,%rcx
  shr    $0x24,%rcx
  lea    (%rcx,%rcx,2),%ecx
  shl    $0x3,%ecx
  sub    %ecx,%eax
  cltq
  mov    (%rdi,%rax,8),%r9
  mov    $0x1,%eax
L113:
  mov    -0x8(%r9,%rax,8),%rdi
  mov    %eax,%ecx
  mov    -0x8(%r8,%rax,8),%r12
  mov    $0x1,%ebx
  mov    -0x8(%r10,%rax,8),%r15
  mov    %rdi,-0x58(%rbp)
  mov    $0xaaaaaaab,%edi
  imul   %rdi,%rcx
  shr    $0x24,%rcx
  lea    (%rcx,%rcx,2),%esi
  mov    %eax,%ecx
  shl    $0x3,%esi
  sub    %esi,%ecx
  lea    0x16(%rax),%esi
  movslq %ecx,%rcx
  mov    (%r8,%rcx,8),%rcx
  mov    %rcx,-0x60(%rbp)
  mov    %rsi,%rcx
  imul   %rdi,%rsi
  shr    $0x24,%rsi
  lea    (%rsi,%rsi,2),%esi
  shl    $0x3,%esi
  sub    %esi,%ecx
  movslq %ecx,%rcx
  mov    (%r8,%rcx,8),%rdi
  mov    %rdi,-0x68(%rbp)
L70:
  mov    -0x8(%r12,%rbx,8),%rcx
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    %rdx,-0x198(%rbp)
  mov    %r9,-0x168(%rbp)
  movsd  (%rcx),%xmm0
  mov    %r10,-0x160(%rbp)
  mov    %r8,-0x158(%rbp)
  movsd  %xmm1,-0x178(%rbp)
  movsd  %xmm4,-0x170(%rbp)
  movsd  %xmm3,-0x180(%rbp)
  movsd  %xmm2,-0x188(%rbp)
  mov    %rax,-0x190(%rbp)
  mov    %rcx,-0x80(%rbp)
  call   <sincos@plt>
  mov    -0x80(%rbp),%rcx
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x50(%rbp),%xmm9
  movsd  -0x48(%rbp),%xmm5
  movsd  0x8(%rcx),%xmm0
  movsd  %xmm9,-0x150(%rbp)
  movsd  %xmm5,-0x78(%rbp)
  call   <sincos@plt>
  movsd  -0x78(%rbp),%xmm5
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x50(%rbp),%xmm10
  mov    -0x8(%r15,%rbx,8),%rcx
  mulsd  %xmm5,%xmm10
  movsd  (%rcx),%xmm0
  mov    %rcx,-0x78(%rbp)
  mulsd  -0x48(%rbp),%xmm5
  movsd  %xmm10,-0x148(%rbp)
  movsd  %xmm5,-0x140(%rbp)
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm0
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    -0x78(%rbp),%rcx
  movsd  -0x48(%rbp),%xmm15
  movsd  %xmm0,-0xb8(%rbp)
  movsd  %xmm15,-0x138(%rbp)
  movsd  0x8(%rcx),%xmm0
  call   <sincos@plt>
  mov    -0x58(%rbp),%rax
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x50(%rbp),%xmm8
  movsd  -0x48(%rbp),%xmm5
  mov    -0x8(%rax,%rbx,8),%rcx
  movsd  %xmm8,-0x130(%rbp)
  movsd  (%rcx),%xmm0
  movsd  %xmm5,-0x88(%rbp)
  mov    %rcx,-0x78(%rbp)
  call   <sincos@plt>
  mov    -0x78(%rbp),%rcx
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x48(%rbp),%xmm14
  movsd  -0x50(%rbp),%xmm2
  movsd  0x8(%rcx),%xmm0
  movsd  %xmm14,-0x128(%rbp)
  movsd  %xmm2,-0xf0(%rbp)
  call   <sincos@plt>
  mov    -0x60(%rbp),%rax
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x48(%rbp),%xmm2
  movsd  -0x50(%rbp),%xmm6
  mov    -0x8(%rax,%rbx,8),%rcx
  movsd  %xmm2,-0x78(%rbp)
  movsd  (%rcx),%xmm0
  mov    %rcx,-0x80(%rbp)
  movsd  %xmm6,-0x120(%rbp)
  call   <sincos@plt>
  mov    -0x80(%rbp),%rcx
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x48(%rbp),%xmm13
  movsd  -0x50(%rbp),%xmm6
  movsd  0x8(%rcx),%xmm0
  movsd  %xmm13,-0x118(%rbp)
  movsd  %xmm6,-0xe8(%rbp)
  call   <sincos@plt>
  mov    -0x68(%rbp),%rax
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x50(%rbp),%xmm7
  movsd  -0x48(%rbp),%xmm6
  mov    -0x8(%rax,%rbx,8),%rcx
  movsd  %xmm7,-0xb0(%rbp)
  movsd  (%rcx),%xmm0
  movsd  %xmm6,-0xa0(%rbp)
  mov    %rcx,-0x80(%rbp)
  call   <sincos@plt>
  mov    -0x80(%rbp),%rcx
  mov    %r13,%rsi
  mov    %r14,%rdi
  movsd  -0x48(%rbp),%xmm12
  movsd  -0x50(%rbp),%xmm3
  movsd  0x8(%rcx),%xmm0
  movsd  %xmm12,-0x110(%rbp)
  movsd  %xmm3,-0xc8(%rbp)
  call   <sincos@plt>
  mov    $0xaaaaaaab,%eax
  mov    %ebx,%ecx
  mov    %r14,%rdi
  imul   %rax,%rcx
  movsd  -0x50(%rbp),%xmm6
  movsd  -0x48(%rbp),%xmm3
  movsd  %xmm6,-0xd0(%rbp)
  shr    $0x24,%rcx
  movsd  %xmm3,-0xe0(%rbp)
  lea    (%rcx,%rcx,2),%esi
  mov    %ebx,%ecx
  shl    $0x3,%esi
  sub    %esi,%ecx
  mov    %r13,%rsi
  movslq %ecx,%rcx
  mov    (%r12,%rcx,8),%rcx
  movsd  (%rcx),%xmm0
  mov    %rcx,-0x90(%rbp)
  call   <sincos@plt>
  movsd  -0x50(%rbp),%xmm4
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    -0x90(%rbp),%rcx
  movsd  -0x48(%rbp),%xmm11
  movsd  %xmm4,-0x80(%rbp)
  movsd  %xmm11,-0x108(%rbp)
  movsd  0x8(%rcx),%xmm0
  call   <sincos@plt>
  mov    $0xaaaaaaab,%eax
  lea    0x16(%rbx),%esi
  mov    %r14,%rdi
  mov    %rsi,%rcx
  imul   %rax,%rsi
  movsd  -0x50(%rbp),%xmm4
  add    $0x1,%rbx
  movsd  -0x48(%rbp),%xmm1
  movsd  %xmm4,-0x90(%rbp)
  shr    $0x24,%rsi
  movsd  %xmm1,-0x98(%rbp)
  lea    (%rsi,%rsi,2),%esi
  shl    $0x3,%esi
  sub    %esi,%ecx
  mov    %r13,%rsi
  movslq %ecx,%rcx
  mov    (%r12,%rcx,8),%rcx
  movsd  (%rcx),%xmm0
  mov    %rcx,-0x100(%rbp)
  call   <sincos@plt>
  movsd  -0x48(%rbp),%xmm7
  mov    %r13,%rsi
  mov    %r14,%rdi
  mov    -0x100(%rbp),%rcx
  movsd  -0x50(%rbp),%xmm15
  movsd  %xmm7,-0xf8(%rbp)
  movsd  %xmm15,-0xc0(%rbp)
  movsd  0x8(%rcx),%xmm0
  call   <sincos@plt>
  movsd  -0x78(%rbp),%xmm2
  cmp    $0x19,%rbx
  movsd  -0x138(%rbp),%xmm15
  movsd  -0x128(%rbp),%xmm14
  mov    -0x158(%rbp),%r8
  movsd  -0x120(%rbp),%xmm6
  movsd  -0xb0(%rbp),%xmm7
  movsd  -0x130(%rbp),%xmm8
  mulsd  %xmm14,%xmm2
  movsd  -0x118(%rbp),%xmm13
  mulsd  %xmm14,%xmm6
  movsd  -0x88(%rbp),%xmm5
  movsd  -0x110(%rbp),%xmm12
  mulsd  %xmm15,%xmm8
  movsd  -0xe0(%rbp),%xmm3
  movsd  -0x108(%rbp),%xmm11
  mulsd  %xmm13,%xmm7
  movsd  -0x98(%rbp),%xmm1
  movsd  -0x148(%rbp),%xmm10
  mulsd  %xmm15,%xmm5
  movsd  -0x170(%rbp),%xmm4
  movsd  -0x150(%rbp),%xmm9
  mulsd  %xmm12,%xmm3
  mulsd  %xmm11,%xmm1
  addsd  %xmm8,%xmm6
  movsd  -0xa0(%rbp),%xmm8
  movapd %xmm7,%xmm0
  movsd  -0xf8(%rbp),%xmm7
  mulsd  %xmm13,%xmm8
  addsd  %xmm6,%xmm0
  movsd  -0xd0(%rbp),%xmm6
  mulsd  %xmm12,%xmm6
  addsd  %xmm6,%xmm0
  movsd  -0x90(%rbp),%xmm6
  mulsd  %xmm11,%xmm6
  addsd  %xmm6,%xmm0
  movsd  -0x50(%rbp),%xmm6
  mulsd  %xmm7,%xmm6
  mulsd  -0x48(%rbp),%xmm7
  addsd  %xmm0,%xmm6
  movapd %xmm5,%xmm0
  movsd  -0x140(%rbp),%xmm5
  addsd  %xmm2,%xmm0
  movsd  -0x188(%rbp),%xmm2
  mulsd  %xmm10,%xmm6
  addsd  %xmm9,%xmm2
  addsd  %xmm8,%xmm0
  addsd  %xmm3,%xmm0
  movsd  -0x180(%rbp),%xmm3
  addsd  %xmm5,%xmm3
  addsd  %xmm1,%xmm0
  movsd  -0x178(%rbp),%xmm1
  addsd  %xmm10,%xmm1
  addsd  %xmm7,%xmm0
  mulsd  %xmm5,%xmm0
  addsd  %xmm0,%xmm6
  movsd  -0xb8(%rbp),%xmm0
  addsd  -0xf0(%rbp),%xmm0
  addsd  -0xe8(%rbp),%xmm0
  addsd  -0xc8(%rbp),%xmm0
  addsd  -0x80(%rbp),%xmm0
  addsd  -0xc0(%rbp),%xmm0
  mov    -0x160(%rbp),%r10
  mov    -0x168(%rbp),%r9
  mov    -0x190(%rbp),%rax
  mov    -0x198(%rbp),%rdx
  mulsd  %xmm9,%xmm0
  addsd  %xmm6,%xmm0
  subsd  %xmm0,%xmm4
  jne    L70
  add    $0x1,%rax
  cmp    $0x19,%rax
  jne    L113
  add    $0x1,%rdx
  cmp    $0x19,%rdx
  jne    L264
  mulsd  D194(%rip),%xmm4
  mov    -0x1e8(%rbp),%rax
  divsd  D28(%rip),%xmm1
  divsd  D28(%rip),%xmm3
  mov    -0x228(%rbp),%rdx
  divsd  D28(%rip),%xmm2
  pxor   %xmm5,%xmm5
  movsd  %xmm4,(%rdx,%rax,1)
  mulsd  %xmm4,%xmm4
  mov    -0x230(%rbp),%rdx
  movsd  %xmm4,(%rdx,%rax,1)
  mov    -0x210(%rbp),%rdx
  movsd  %xmm1,(%rdx,%rax,1)
  mov    -0x218(%rbp),%rdx
  mulsd  %xmm1,%xmm1
  movsd  %xmm3,(%rdx,%rax,1)
  mulsd  %xmm3,%xmm3
  mov    -0x220(%rbp),%rdx
  movsd  %xmm2,(%rdx,%rax,1)
  mulsd  %xmm2,%xmm2
  addsd  %xmm3,%xmm1
  movapd %xmm1,%xmm0
  addsd  %xmm2,%xmm0
  ucomisd %xmm0,%xmm5
  ja     L193
  sqrtsd %xmm0,%xmm0
  mov    -0x200(%rbp),%rdx
L180:
  movsd  %xmm0,(%rdx,%rax,1)
  mulsd  %xmm0,%xmm0
  mov    -0x208(%rbp),%rdx
  movsd  %xmm0,(%rdx,%rax,1)
  add    $0x8,%rax
  mov    %rax,-0x1e8(%rbp)
  cmp    $0x7d0,%rax
  jne    L19
  pxor   %xmm1,%xmm1
  xor    %r12d,%r12d
  lea    D31(%rip),%r13
  movapd %xmm1,%xmm10
  movapd %xmm1,%xmm5
  movapd %xmm1,%xmm6
  movapd %xmm1,%xmm2
  movapd %xmm1,%xmm4
  movapd %xmm1,%xmm3
  lea    D195(%rip),%rbx
L248:
  movapd %xmm3,%xmm0
  mov    %r13,%rdi
  mov    $0x1,%eax
  movsd  %xmm1,-0x90(%rbp)
  movsd  %xmm10,-0x88(%rbp)
  movsd  %xmm5,-0x80(%rbp)
  movsd  %xmm6,-0x78(%rbp)
  movsd  %xmm2,-0x68(%rbp)
  movsd  %xmm4,-0x60(%rbp)
  movsd  %xmm3,-0x58(%rbp)
  call   <printf@plt>
  mov    -0x228(%rbp),%rax
  movsd  -0x58(%rbp),%xmm3
  mov    %rbx,%rdi
  addsd  (%rax,%r12,1),%xmm3
  mov    $0x1,%eax
  movapd %xmm3,%xmm0
  movsd  %xmm3,-0x58(%rbp)
  call   <printf@plt>
  movsd  -0x60(%rbp),%xmm4
  movsd  -0x68(%rbp),%xmm2
  mov    -0x230(%rbp),%rax
  movsd  -0x78(%rbp),%xmm6
  movsd  -0x80(%rbp),%xmm5
  movsd  -0x90(%rbp),%xmm1
  addsd  (%rax,%r12,1),%xmm4
  mov    -0x200(%rbp),%rax
  movsd  -0x88(%rbp),%xmm10
  movsd  -0x58(%rbp),%xmm3
  addsd  (%rax,%r12,1),%xmm2
  mov    -0x208(%rbp),%rax
  addsd  (%rax,%r12,1),%xmm6
  mov    -0x210(%rbp),%rax
  addsd  (%rax,%r12,1),%xmm5
  mov    -0x218(%rbp),%rax
  addsd  (%rax,%r12,1),%xmm10
  mov    -0x220(%rbp),%rax
  addsd  (%rax,%r12,1),%xmm1
  add    $0x8,%r12
  cmp    $0x7d0,%r12
  jne    L248
  movsd  D108(%rip),%xmm7
  movapd %xmm5,%xmm11
  movsd  -0x248(%rbp),%xmm15
  lea    D92(%rip),%rdi
  mulsd  %xmm5,%xmm11
  movslq -0x238(%rbp),%rax
  divsd  %xmm7,%xmm3
  movapd %xmm15,%xmm0
  mulsd  %xmm15,%xmm0
  lea    (%rax,%rax,2),%rdx
  mulsd  D28(%rip),%xmm0
  lea    (%rax,%rdx,4),%rax
  mov    -0x240(%rbp),%rdx
  lea    (%rdx,%rax,8),%rbx
  mov    $0x1,%eax
  divsd  %xmm7,%xmm4
  movapd %xmm3,%xmm8
  mulsd  %xmm3,%xmm8
  divsd  %xmm7,%xmm11
  movapd %xmm4,%xmm9
  unpcklpd %xmm8,%xmm4
  subsd  %xmm8,%xmm9
  movups %xmm4,0x10(%rbx)
  divsd  %xmm7,%xmm5
  divsd  %xmm7,%xmm10
  divsd  %xmm7,%xmm2
  divsd  %xmm7,%xmm1
  divsd  %xmm7,%xmm6
  divsd  %xmm0,%xmm9
  movapd %xmm11,%xmm0
  addsd  %xmm11,%xmm0
  addsd  %xmm11,%xmm0
  subsd  %xmm5,%xmm0
  movapd %xmm15,%xmm5
  unpcklpd %xmm3,%xmm5
  divsd  D28(%rip),%xmm3
  movups %xmm5,(%rbx)
  subsd  %xmm10,%xmm0
  subsd  %xmm1,%xmm0
  mulsd  -0x1d8(%rbp),%xmm0
  movapd %xmm2,%xmm1
  unpcklpd %xmm6,%xmm1
  movups %xmm1,0x20(%rbx)
  movapd %xmm2,%xmm1
  mulsd  %xmm2,%xmm1
  divsd  D28(%rip),%xmm2
  unpcklpd %xmm3,%xmm1
  movups %xmm1,0x30(%rbx)
  unpcklpd %xmm9,%xmm2
  movapd %xmm9,%xmm1
  divsd  D28(%rip),%xmm1
  unpcklpd %xmm0,%xmm1
  movups %xmm2,0x40(%rbx)
  movups %xmm1,0x50(%rbx)
  call   <printf@plt>
  movsd  0x58(%rbx),%xmm0
  mov    $0x1,%eax
  divsd  D28(%rip),%xmm0
  lea    D97(%rip),%rdi
  movsd  %xmm0,0x60(%rbx)
  movsd  -0x70(%rbp),%xmm0
  divsd  -0xd8(%rbp),%xmm0
  call   <printf@plt>
  mov    -0x38(%rbp),%rax
  sub    %fs:0x28,%rax
  jne    L31
  lea    -0x28(%rbp),%rsp
  pop    %rbx
  pop    %r12
  pop    %r13
  pop    %r14
  pop    %r15
  pop    %rbp
  ret
  nopl   0x0(%rax,%rax,1)
L256:
  mov    -0xb8(%rbp),%rax
  mov    -0x58(%rbp),%rdi
  mov    -0xd0(%rbp),%rsi
  movapd -0xb0(%rbp),%xmm6
  mov    (%rax),%rdx
  movsd  D19(%rip),%xmm7
  addsd  -0x70(%rbp),%xmm7
  mov    (%rdx,%rdi,1),%rax
  mov    (%rax,%rsi,1),%rcx
  movsd  %xmm7,-0x70(%rbp)
  movups %xmm6,(%rcx)
  mov    -0x1a8(%rbp),%rcx
  mov    (%rcx),%rcx
  mov    (%rcx,%rdi,1),%rcx
  mov    (%rcx,%rsi,1),%rcx
  mov    %rcx,-0x78(%rbp)
  mov    -0x1b0(%rbp),%rcx
  mov    (%rcx),%rcx
  mov    (%rcx,%rdi,1),%rcx
  mov    (%rcx,%rsi,1),%rcx
  mov    %rcx,-0x80(%rbp)
  mov    -0x198(%rbp),%rcx
  mov    (%rdx,%rcx,1),%rcx
  mov    (%rcx,%rsi,1),%rbx
  mov    -0x1a0(%rbp),%rcx
  mov    (%rdx,%rcx,1),%rdx
  mov    %rbx,-0xc0(%rbp)
  mov    (%rdx,%rsi,1),%r15
  jmp    L292
L193:
  call   <sqrt@plt>
  mov    -0x200(%rbp),%rdx
  mov    -0x1e8(%rbp),%rax
  jmp    L180
L31:
  call   <__stack_chk_fail@plt>
```

tool_calls: name: extract_symbolic_data
arguments: label: D19
type_infered: f64
name: extract_symbolic_data
arguments: label: D194
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D28
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D31
type_infered: string
name: extract_symbolic_data
arguments: label: D195
type_infered: string
name: extract_symbolic_data
arguments: label: D108
type_infered: f32[2]
name: extract_symbolic_data
arguments: label: D92
type_infered: string
name: extract_symbolic_data
arguments: label: D97
type_infered: string

tool: D19: 1

tool: {"D194": [0.0,1.75]}

tool: {"D28": [0.0,6.34375]}

tool: D31: eSum 1: %f


tool: D195: eSum 2: %f


tool: {"D108": [0.0,3.73828125]}

tool: D92: Chi: %f


tool: D97: 		Acceptance Ratio: %f


assistant: ```c
void measurement(double ****lattice, double data[][13], double temperature, double ***energy, double ***magnetization, int t) {
  int RUNS_ = (double)250;
  int N_ = (double)13824;
  int eq, sk, sw, sw1, sw2, sw3;
  int ii;
  int i, j, k, ip, im, jp, jm, kp, km;
  double theta, thetaPrime, phi, phiPrime;
  double spin1theta, spin1phi, spin2theta, spin2phi, spin3theta, spin3phi, spin4theta, spin4phi, spin5theta, spin5phi, spin6theta, spin6phi;
  double newSpin[2], currentSpin[2];
  double spinDiff[3], spinSum[3];
  double dotProduct;
  double deltaE;
  double prob;
  double randNum;
  double beta = 1.0 / temperature;
  double accept, test;
  double Mxsum = 0.0, Mysum = 0.0, Mzsum = 0.0;
  double spinX, spinY, spinZ;
  double X, Y, Z;
  double Mx[RUNS_], My[RUNS_], Mz[RUNS_];
  double m[RUNS_], m2[RUNS_], e[RUNS_], e2[RUNS_];
  double e_storage = 0;
  double eSum = 0, e2Sum = 0, mSum = 0, m2Sum = 0;
  double SxSum = 0, SySum = 0, SzSum = 0;
  double SxAvg, SyAvg, SzAvg;
  double SxAvgSqr, SyAvgSqr, SzAvgSqr;
  for (eq = 0; eq < 250; eq++) {
    for (sk = 1; sk <= 30; sk++) {
      for (sw = 0; sw < 250; sw++) {
        for (sw1 = 0; sw1 < 24; sw1++) {
          for (sw2 = 0; sw2 < 24; sw2++) {
            for (sw3 = 0; sw3 < 24; sw3++) {
              i = sw1;
              j = sw2;
              k = sw3;
              ip = (i + 24 - 1) % 24;
              im = (i + 1) % 24;
              jp = (j + 24 - 1) % 24;
              jm = (j + 1) % 24;
              kp = (k + 24 - 1) % 24;
              km = (k + 1) % 24;
              currentSpin[0] = lattice[i][j][k][0];
              currentSpin[1] = lattice[i][j][k][1];
              newSpin[0] = rng_theta();
              newSpin[1] = rng_phi();
              theta = currentSpin[0];
              phi = currentSpin[1];
              thetaPrime = theta;
              phiPrime = currentSpin[1];
              spinDiff[0] = sin(thetaPrime) * cos(phiPrime) - sin(theta) * cos(phi);
              spinDiff[1] = sin(thetaPrime) * sin(phiPrime) - sin(theta) * sin(phi);
              spinDiff[2] = cos(thetaPrime) - cos(theta);
              spin1theta = lattice[im][j][k][0];
              spin1phi = lattice[im][j][k][1];
              spin2theta = lattice[ip][j][k][0];
              spin2phi = lattice[ip][j][k][1];
              spin3theta = lattice[i][jm][k][0];
              spin3phi = lattice[i][jm][k][1];
              spin4theta = lattice[i][jp][k][0];
              spin4phi = lattice[i][jp][k][1];
              spin5theta = lattice[i][j][km][0];
              spin5phi = lattice[i][j][km][1];
              spin6theta = lattice[i][j][kp][0];
              spin6phi = lattice[i][j][kp][1];
              spinSum[0] = sin(spin1theta) * cos(spin1phi) + sin(spin2theta) * cos(spin2phi) + sin(spin3theta) * cos(spin3phi) + sin(spin4theta) * cos(spin4phi) + sin(spin5theta) * cos(spin5phi) + sin(spin6theta) * cos(spin6phi);
              spinSum[1] = sin(spin1theta) * sin(spin1phi) + sin(spin2theta) * sin(spin2phi) + sin(spin3theta) * sin(spin3phi) + sin(spin4theta) * sin(spin4phi) + sin(spin5theta) * sin(spin5phi) + sin(spin6theta) * sin(spin6phi);
              spinSum[2] = cos(spin1theta) + cos(spin2theta) + cos(spin3theta) + cos(spin4theta) + cos(spin5theta) + cos(spin6theta);
              dotProduct = spinDiff[0] * spinSum[0] + spinDiff[1] * spinSum[1] + spinDiff[2] * spinSum[2];
              deltaE = -1.0 * dotProduct;
              test++;
              if (deltaE <= 0) {
                lattice[i][j][k][0] = thetaPrime;
                lattice[i][j][k][1] = phiPrime;
                accept++;
              } else {
                prob = (sin(thetaPrime) / sin(theta)) * exp(-beta * deltaE);
                randNum = rng();
                if (randNum <= prob) {
                  lattice[i][j][k][0] = thetaPrime;
                  lattice[i][j][k][1] = phiPrime;
                  accept++;
                }
              }
              thetaPrime = theta;
              phiPrime = newSpin[1];
              spinDiff[0] = sin(thetaPrime) * cos(phiPrime) - sin(theta) * cos(phi);
              spinDiff[1] = sin(thetaPrime) * sin(phiPrime) - sin(theta) * sin(phi);
              spinDiff[2] = cos(thetaPrime) - cos(theta);
              spin1theta = lattice[im][j][k][0];
              spin1phi = lattice[im][j][k][1];
              spin2theta = lattice[ip][j][k][0];
              spin2phi = lattice[ip][j][k][1];
              spin3theta = lattice[i][jm][k][0];
              spin3phi = lattice[i][jm][k][1];
              spin4theta = lattice[i][jp][k][0];
              spin4phi = lattice[i][jp][k][1];
              spin5theta = lattice[i][j][km][0];
              spin5phi = lattice[i][j][km][1];
              spin6theta = lattice[i][j][kp][0];
              spin6phi = lattice[i][j][kp][1];
              spinSum[0] = sin(spin1theta) * cos(spin1phi) + sin(spin2theta) * cos(spin2phi) + sin(spin3theta) * cos(spin4phi) + sin(spin4theta) * cos(spin4phi) + sin(spin5theta) * cos(spin5phi) + sin(spin6theta) * cos(spin6phi);
              spinSum[1] = sin(spin1theta) * sin(spin1phi) + sin(spin2theta) * sin(spin2phi) + sin(spin3theta) * sin(spin4phi) + sin(spin4theta) * sin(spin4phi) + sin(spin5theta) * sin(spin5phi) + sin(spin6theta) * sin(spin6phi);
              spinSum[2] = cos(spin1theta) + cos(spin2theta) + cos(spin3theta) + cos(spin4theta) + cos(spin5theta) + cos(spin6theta);
              dotProduct = spinDiff[0] * spinSum[0] + spinDiff[1] * spinSum[1] + spinDiff[2] * spinSum[2];
              deltaE = -1.0 * dotProduct;
              test++;
              if (deltaE <= 0) {
                lattice[i][j][k][0] = thetaPrime;
                lattice[i][j][k][1] = phiPrime;
                accept++;
              } else {
                prob = (sin(thetaPrime) / sin(theta)) * exp(-beta * deltaE);
                randNum = rng();
                if (randNum <= prob) {
                  lattice[i][j][k][0] = thetaPrime;
                  lattice[i][j][k][1] = phiPrime;
                  accept++;
                }
              }
            }
          }
        }
      }
    }
    e_storage = 0;
    Mxsum = 0.0;
    Mysum = 0.0;
    Mzsum = 0.0;
    for (sw1 = 0; sw1 < 24; sw1++) {
      for (sw2 = 0; sw2 < 24; sw2++) {
        for (sw3 = 0; sw3 < 24; sw3++) {
          i = sw1;
          j = sw2;
          k = sw3;
          ip = (i + 24 - 1) % 24;
          im = (i + 1) % 24;
          jp = (j + 24 - 1) % 24;
          jm = (j + 1) % 24;
          kp = (k + 24 - 1) % 24;
          km = (k + 1) % 24;
          theta = lattice[i][j][k][0];
          phi = lattice[i][j][k][1];
          spinX = sin(theta) * cos(phi);
          spinY = sin(theta) * sin(phi);
          spinZ = cos(theta);
          spin1theta = lattice[im][j][k][0];
          spin1phi = lattice[im][j][k][1];
          spin2theta = lattice[ip][j][k][0];
          spin2phi = lattice[ip][j][k][1];
          spin3theta = lattice[i][jm][k][0];
          spin3phi = lattice[i][jm][k][1];
          spin4theta = lattice[i][jp][k][0];
          spin4phi = lattice[i][jp][k][1];
          spin5theta = lattice[i][j][km][0];
          spin5phi = lattice[i][j][km][1];
          spin6theta = lattice[i][j][kp][0];
          spin6phi = lattice[i][j][kp][1];
          spinSum[0] = sin(spin1theta) * cos(spin1phi) + sin(spin2theta) * cos(spin2phi) + sin(spin3theta) * cos(spin3phi) + sin(spin4theta) * cos(spin4phi) + sin(spin5theta) * cos(spin5phi) + sin(spin6theta) * cos(spin6phi);
          spinSum[1] = sin(spin1theta) * sin(spin1phi) + sin(spin2theta) * sin(spin2phi) + sin(spin3theta) * sin(spin3phi) + sin(spin4theta) * sin(spin4phi) + sin(spin5theta) * sin(spin5phi) + sin(spin6theta) * sin(spin6phi);
          spinSum[2] = cos(spin1theta) + cos(spin2theta) + cos(spin3theta) + cos(spin4theta) + cos(spin5theta) + cos(spin6theta);
          dotProduct = spinX * spinSum[0] + spinY * spinSum[1] + spinZ * spinSum[2];
          e_storage = e_storage + -1.0 * dotProduct;
          X = spinX;
          Y = spinY;
          Z = spinZ;
          Mxsum += X;
          Mysum += Y;
          Mzsum += Z;
        }
      }
    }
    e[eq] = e_storage / 2.0;
    e2[eq] = e[eq] * e[eq];
    Mx[eq] = Mxsum / N_;
    My[eq] = Mysum / N_;
    Mz[eq] = Mzsum / N_;
    m[eq] = sqrt(Mx[eq] * Mx[eq] + My[eq] * My[eq] + Mz[eq] * Mz[eq]);
    m2[eq] = m[eq] * m[eq];
    if (0) {
      printf("\t\tMeasurement runs (0-%d): %d\n", 250, eq);
    }
  }
  eSum = 0;
  e2Sum = 0;
  mSum = 0;
  m2Sum = 0;
  SxSum = 0;
  SySum = 0;
  SzSum = 0;
  for (ii = 0; ii < RUNS_; ii++) {
    printf("eSum 1: %f\n", eSum);
    eSum += e[ii];
    printf("eSum 2: %f\n", eSum);
    e2Sum += e2[ii];
    mSum += m[ii];
    m2Sum += m2[ii];
    SxSum += Mx[ii];
    SySum += My[ii];
    SzSum += Mz[ii];
  }
  SxAvg = SxSum / RUNS_;
  SyAvg = SySum / RUNS_;
  SzAvg = SzSum / RUNS_;
  SxAvgSqr = (SxSum * SxSum) / RUNS_;
  SyAvgSqr = (SxSum * SxSum) / RUNS_;
  SzAvgSqr = (SxSum * SxSum) / RUNS_;
  data[t][0] = temperature;
  data[t][1] = eSum / RUNS_;
  data[t][2] = e2Sum / RUNS_;
  data[t][3] = data[t][1] * data[t][1];
  data[t][4] = mSum / RUNS_;
  data[t][5] = m2Sum / RUNS_;
  data[t][6] = data[t][4] * data[t][4];
  data[t][7] = data[t][1] / N_;
  data[t][8] = data[t][4] / N_;
  data[t][9] = (data[t][2] - data[t][3]) / (temperature * temperature * N_);
  data[t][10] = data[t][9] / N_;
  data[t][11] = (1.0 / temperature) * (SxAvgSqr + SyAvgSqr + SzAvgSqr - SxAvg - SyAvg - SzAvg);
  printf("Chi: %f\n", data[t][11]);
  data[t][12] = data[t][11] / N_;
  printf("\t\tAcceptance Ratio: %f\n", accept / test);
}
```