// File: /workspace/github_c_makefile_star2_O0/josch[P]stride/nsc.c
// Function: icosaeder_vertices
void icosaeder_vertices(double *xus) {
  rh = sqrt(1.-2.*cos(TORAD(72.)))/(1.-cos(TORAD(72.)));
  rg = cos(TORAD(72.))/(1.-cos(TORAD(72.)));
/* icosaeder vertices */
  xus[ 0] = 0.;                  xus[ 1] = 0.;                  xus[ 2] = 1.;
  xus[ 3] = rh*cos(TORAD(72.));  xus[ 4] = rh*sin(TORAD(72.));  xus[ 5] = rg;
  xus[ 6] = rh*cos(TORAD(144.)); xus[ 7] = rh*sin(TORAD(144.)); xus[ 8] = rg;
  xus[ 9] = rh*cos(TORAD(216.)); xus[10] = rh*sin(TORAD(216.)); xus[11] = rg;
  xus[12] = rh*cos(TORAD(288.)); xus[13] = rh*sin(TORAD(288.)); xus[14] = rg;
  xus[15] = rh;                  xus[16] = 0;                   xus[17] = rg;
  xus[18] = rh*cos(TORAD(36.));  xus[19] = rh*sin(TORAD(36.));  xus[20] = -rg;
  xus[21] = rh*cos(TORAD(108.)); xus[22] = rh*sin(TORAD(108.)); xus[23] = -rg;
  xus[24] = -rh;                 xus[25] = 0;                   xus[26] = -rg;
  xus[27] = rh*cos(TORAD(252.)); xus[28] = rh*sin(TORAD(252.)); xus[29] = -rg;
  xus[30] = rh*cos(TORAD(324.)); xus[31] = rh*sin(TORAD(324.)); xus[32] = -rg;
  xus[33] = 0.;                  xus[34] = 0.;                  xus[35] = -1.;
  }

// Assembly:
subq $0x98, %rsp
movq %rdi, 0x90(%rsp)
movsd 0xedc1(%rip), %xmm0     # 0x2c698
callq 0x20f0
movaps %xmm0, %xmm1
addsd %xmm1, %xmm1
movsd 0xdf0d(%rip), %xmm0     # 0x2b7f8
subsd %xmm1, %xmm0
callq 0x2220
movsd %xmm0, (%rsp)
movsd 0xed97(%rip), %xmm0     # 0x2c698
callq 0x20f0
movaps %xmm0, %xmm2
movsd (%rsp), %xmm0
movsd 0xdee2(%rip), %xmm1     # 0x2b7f8
subsd %xmm2, %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, 0x14582(%rip)    # 0x31ea8
movsd 0xed6a(%rip), %xmm0     # 0x2c698
callq 0x20f0
movsd %xmm0, 0x8(%rsp)
movsd 0xed57(%rip), %xmm0     # 0x2c698
callq 0x20f0
movaps %xmm0, %xmm2
movsd 0x8(%rsp), %xmm0
movsd 0xdea1(%rip), %xmm1     # 0x2b7f8
subsd %xmm2, %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, 0x14549(%rip)    # 0x31eb0
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, (%rax)
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x8(%rax)
movq 0x90(%rsp), %rax
movsd 0xde62(%rip), %xmm0     # 0x2b7f8
movsd %xmm0, 0x10(%rax)
movsd 0x14505(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x10(%rsp)
movsd 0xece7(%rip), %xmm0     # 0x2c698
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x10(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x18(%rax)
movsd 0x144d0(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x18(%rsp)
movsd 0xecb2(%rip), %xmm0     # 0x2c698
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x18(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x20(%rax)
movsd 0x144a3(%rip), %xmm0    # 0x31eb0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x28(%rax)
movsd 0x14486(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x20(%rsp)
movsd 0xec60(%rip), %xmm0     # 0x2c690
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x20(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x30(%rax)
movsd 0x14451(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x28(%rsp)
movsd 0xec2b(%rip), %xmm0     # 0x2c690
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x28(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x38(%rax)
movsd 0x14424(%rip), %xmm0    # 0x31eb0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x40(%rax)
movsd 0x14407(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x30(%rsp)
movsd 0xebd9(%rip), %xmm0     # 0x2c688
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x30(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x48(%rax)
movsd 0x143d2(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x38(%rsp)
movsd 0xeba4(%rip), %xmm0     # 0x2c688
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x38(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x50(%rax)
movsd 0x143a5(%rip), %xmm0    # 0x31eb0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x58(%rax)
movsd 0x14388(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x40(%rsp)
movsd 0xeb52(%rip), %xmm0     # 0x2c680
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x40(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x60(%rax)
movsd 0x14353(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x48(%rsp)
movsd 0xeb1d(%rip), %xmm0     # 0x2c680
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x48(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x68(%rax)
movsd 0x14326(%rip), %xmm0    # 0x31eb0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x70(%rax)
movsd 0x14309(%rip), %xmm0    # 0x31ea8
movq 0x90(%rsp), %rax
movsd %xmm0, 0x78(%rax)
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x80(%rax)
movsd 0x142e9(%rip), %xmm0    # 0x31eb0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x88(%rax)
movsd 0x142c9(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x50(%rsp)
movsd 0xea8b(%rip), %xmm0     # 0x2c678
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x50(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x90(%rax)
movsd 0x14291(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x58(%rsp)
movsd 0xea53(%rip), %xmm0     # 0x2c678
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x58(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x98(%rax)
movsd 0x14261(%rip), %xmm0    # 0x31eb0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xa0(%rax)
movsd 0x1422a(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x60(%rsp)
movsd 0xe9e4(%rip), %xmm0     # 0x2c670
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x60(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xa8(%rax)
movsd 0x141f2(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x68(%rsp)
movsd 0xe9ac(%rip), %xmm0     # 0x2c670
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x68(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xb0(%rax)
movsd 0x141c2(%rip), %xmm0    # 0x31eb0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xb8(%rax)
movsd 0x1418b(%rip), %xmm0    # 0x31ea8
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xc0(%rax)
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0xc8(%rax)
movsd 0x14151(%rip), %xmm0    # 0x31eb0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xd0(%rax)
movsd 0x1411a(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x70(%rsp)
movsd 0xe8cc(%rip), %xmm0     # 0x2c668
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x70(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xd8(%rax)
movsd 0x140e2(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x78(%rsp)
movsd 0xe894(%rip), %xmm0     # 0x2c668
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x78(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xe0(%rax)
movsd 0x140b2(%rip), %xmm0    # 0x31eb0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xe8(%rax)
movsd 0x1407b(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x80(%rsp)
movsd 0xe822(%rip), %xmm0     # 0x2c660
callq 0x20f0
movaps %xmm0, %xmm1
movsd 0x80(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xf0(%rax)
movsd 0x1403d(%rip), %xmm0    # 0x31ea8
movsd %xmm0, 0x88(%rsp)
movsd 0xe7e4(%rip), %xmm0     # 0x2c660
callq 0x21b0
movaps %xmm0, %xmm1
movsd 0x88(%rsp), %xmm0
mulsd %xmm1, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0xf8(%rax)
movsd 0x14007(%rip), %xmm0    # 0x31eb0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movq 0x90(%rsp), %rax
movsd %xmm0, 0x100(%rax)
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x108(%rax)
movq 0x90(%rsp), %rax
xorps %xmm0, %xmm0
movsd %xmm0, 0x110(%rax)
movq 0x90(%rsp), %rax
movsd 0xe752(%rip), %xmm0     # 0x2c658
movsd %xmm0, 0x118(%rax)
addq $0x98, %rsp
retq
nopw %cs:(%rax,%rax)