// File: /workspace/github_c_makefile_star2_O3/PoulinV[P]AxiCLASS/build/../tools/hyperspherical.c
// Function: hyperspherical_WKB
int hyperspherical_WKB(int K,int l,double beta,double y, double *Phi){
  double e, w, w2, alpha, alpha2, CscK, ytp, t;
  double S, Q, C, argu, Ai;
  int airy_sign = 1, phisign = 1, dphisign = 1, intbeta;
  double ldbl = l;

  if (K==1){
    //Limit range to [0; pi/2]:
    intbeta = (int)(beta+0.4); //Round to nearest integer (just to be sure)
    ClosedModY(l, intbeta, &y, &phisign, &dphisign);
  }
  e = 1.0/sqrt(ldbl*(ldbl+1.0));
  alpha = beta*e;
  if (K==-1){
    CscK = 1.0/sinh(y);
    ytp = asinh(1.0/alpha);
  }
  else if (K==1){
    CscK = 1.0/sin(y);
    ytp = asin(1.0/alpha);
  }
  else{
    return _FAILURE_;
  }
  w = alpha/CscK;
  w2 = w*w;
  alpha2 = alpha*alpha;
  if (K==-1){
    if (y>ytp){
      S = alpha*log((sqrt(w2-1.0)+sqrt(w2+alpha2))/sqrt(1.0+alpha2))+
        atan(1.0/alpha*sqrt((w2+alpha2)/(w2-1.0)))-0.5*_PI_;
      airy_sign = -1;
    }
    else{
      t = sqrt(1.0-w2)/sqrt(1.0+w2/alpha2);
      S = atanh(t)-alpha*atan(t/alpha);
      airy_sign = 1;
    }
  }
  else if (K==1){
    if (y>ytp){
      t = sqrt(1-w2/alpha2)/sqrt(w2-1.0);
        S = atan(t)+alpha*atan(1.0/(t*alpha))-0.5*_PI_;
        airy_sign = -1;
    }
    else{
      S = atanh(sqrt(1.0-w2)/sqrt(1.0-w2/alpha2))-
        alpha*log((sqrt(alpha2-w2)+sqrt(1.0-w2))/sqrt(alpha2-1.0));
      airy_sign = 1;
    }
  }
  else{
    return _FAILURE_;
  }
  argu = 3.0*S/(2.0*e);
  Q = CscK*CscK-alpha2;
  C = 0.5*sqrt(alpha)/beta;
  Ai = airy_cheb_approx(airy_sign*pow(argu,2.0/3.0));
  *Phi = phisign*2.0*sqrt(_PI_)*C*pow(argu,1.0/6.0)*pow(fabs(Q),-0.25)*Ai*CscK;
  return _SUCCESS_;
}

// Assembly:
pushq %rbp
pushq %rbx
subq $0x78, %rsp
movq %rdx, %rbx
movsd %xmm0, 0x28(%rsp)
movl %edi, %ebp
movsd %xmm1, 0x60(%rsp)
movl $0x1, %eax
movl %eax, 0x3c(%rsp)
movl %eax, 0x6c(%rsp)
xorps %xmm1, %xmm1
cvtsi2sd %esi, %xmm1
cmpl %eax, %edi
jne 0x25497
movsd 0xcc07f(%rip), %xmm0    # 0xf14e8
addsd 0x28(%rsp), %xmm0
cvttsd2si %xmm0, %eax
leaq 0x60(%rsp), %rdx
leaq 0x3c(%rsp), %rcx
leaq 0x6c(%rsp), %r8
movl %esi, %edi
movl %eax, %esi
movsd %xmm1, 0x10(%rsp)
callq 0x2405c
movsd 0x10(%rsp), %xmm1
movsd 0xc8dc1(%rip), %xmm0    # 0xee260
addsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x254b7
sqrtsd %xmm0, %xmm0
jmp 0x254bc
callq 0x82b0
movsd 0xc8d9c(%rip), %xmm2    # 0xee260
movapd %xmm2, %xmm1
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
mulsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x10(%rsp)
cmpl $-0x1, %ebp
je 0x2559a
movl $0x1, %eax
cmpl $0x1, %ebp
jne 0x25a42
movsd %xmm1, 0x70(%rsp)
movsd 0x60(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
movsd %xmm2, 0x20(%rsp)
callq 0x80a0
movsd %xmm0, 0x30(%rsp)
movsd 0xc8d42(%rip), %xmm0    # 0xee260
divsd 0x10(%rsp), %xmm0
callq 0x85a0
movsd 0xc8d2f(%rip), %xmm3    # 0xee260
movapd %xmm3, %xmm1
divsd 0x30(%rsp), %xmm1
movsd 0x10(%rsp), %xmm4
movsd %xmm1, 0x30(%rsp)
divsd %xmm1, %xmm4
mulsd %xmm4, %xmm4
movsd 0x10(%rsp), %xmm2
mulsd %xmm2, %xmm2
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
movsd %xmm2, 0x40(%rsp)
jbe 0x25653
movapd %xmm4, %xmm1
divsd %xmm2, %xmm1
movsd 0xc8ce1(%rip), %xmm0    # 0xee260
subsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x25790
sqrtsd %xmm0, %xmm0
jmp 0x257a5
movsd %xmm1, 0x70(%rsp)
movsd 0x60(%rsp), %xmm0
movsd %xmm0, 0x8(%rsp)
callq 0x8370
movsd %xmm0, 0x30(%rsp)
movsd 0xc8ca1(%rip), %xmm0    # 0xee260
divsd 0x10(%rsp), %xmm0
movsd %xmm0, 0x18(%rsp)
callq 0x8470
movsd 0xc8c88(%rip), %xmm3    # 0xee260
movapd %xmm3, %xmm1
divsd 0x30(%rsp), %xmm1
movsd 0x10(%rsp), %xmm4
movsd %xmm1, 0x30(%rsp)
divsd %xmm1, %xmm4
mulsd %xmm4, %xmm4
movsd 0x10(%rsp), %xmm2
mulsd %xmm2, %xmm2
movsd 0x8(%rsp), %xmm1
ucomisd %xmm0, %xmm1
movsd %xmm2, 0x40(%rsp)
jbe 0x25634
movsd 0xc91ce(%rip), %xmm0    # 0xee7e8
addsd %xmm4, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
movsd %xmm0, 0x58(%rsp)
jb 0x2567e
sqrtsd %xmm0, %xmm0
jmp 0x25695
movapd %xmm3, %xmm0
subsd %xmm4, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x256ec
sqrtsd %xmm0, %xmm0
jmp 0x2570b
movapd %xmm3, %xmm0
subsd %xmm4, %xmm0
xorpd %xmm6, %xmm6
ucomisd %xmm6, %xmm0
movsd %xmm4, 0x18(%rsp)
movsd %xmm0, 0x58(%rsp)
jb 0x257c2
sqrtsd %xmm0, %xmm5
jmp 0x257e3
movsd %xmm4, 0x20(%rsp)
callq 0x82b0
movsd 0x20(%rsp), %xmm4
movsd 0x40(%rsp), %xmm2
addsd %xmm2, %xmm4
movsd %xmm4, 0x20(%rsp)
xorps %xmm1, %xmm1
sqrtsd %xmm4, %xmm1
addsd %xmm0, %xmm1
movsd 0xc8bae(%rip), %xmm0    # 0xee260
addsd %xmm2, %xmm0
sqrtsd %xmm0, %xmm0
divsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x82c0
movsd 0x20(%rsp), %xmm1
movsd %xmm0, 0x8(%rsp)
divsd 0x58(%rsp), %xmm1
ucomisd 0xc8b77(%rip), %xmm1    # 0xee258
jb 0x2575b
xorps %xmm0, %xmm0
sqrtsd %xmm1, %xmm0
jmp 0x25764
movsd %xmm4, 0x20(%rsp)
callq 0x82b0
movsd 0x20(%rsp), %xmm4
movsd 0xc8b5b(%rip), %xmm3    # 0xee260
movsd 0x40(%rsp), %xmm2
divsd %xmm2, %xmm4
movsd %xmm3, 0x20(%rsp)
addsd %xmm3, %xmm4
xorps %xmm1, %xmm1
sqrtsd %xmm4, %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, 0x18(%rsp)
callq 0x8640
movsd %xmm0, 0x8(%rsp)
movsd 0x18(%rsp), %xmm0
divsd 0x10(%rsp), %xmm0
callq 0x82e0
movsd 0x8(%rsp), %xmm2
movsd 0x10(%rsp), %xmm1
mulsd %xmm1, %xmm0
jmp 0x2593d
movapd %xmm1, %xmm0
callq 0x82b0
movsd 0x18(%rsp), %xmm1
mulsd %xmm0, %xmm1
movapd %xmm1, %xmm0
callq 0x82e0
movsd 0x10(%rsp), %xmm1
movsd 0x8(%rsp), %xmm2
mulsd %xmm1, %xmm2
addsd %xmm0, %xmm2
jmp 0x25857
movsd %xmm4, 0x18(%rsp)
callq 0x82b0
xorpd %xmm1, %xmm1
movsd 0x18(%rsp), %xmm4
movsd %xmm0, 0x8(%rsp)
addsd 0xc9035(%rip), %xmm4    # 0xee7e8
ucomisd %xmm1, %xmm4
jb 0x257fe
xorps %xmm0, %xmm0
sqrtsd %xmm4, %xmm0
jmp 0x25807
callq 0x82b0
xorpd %xmm6, %xmm6
movsd 0x18(%rsp), %xmm4
movsd 0xc8a87(%rip), %xmm3    # 0xee260
movsd 0x40(%rsp), %xmm2
movapd %xmm0, %xmm5
divsd %xmm2, %xmm4
movapd %xmm3, %xmm0
subsd %xmm4, %xmm0
ucomisd %xmm6, %xmm0
jb 0x25872
sqrtsd %xmm0, %xmm0
jmp 0x25883
movapd %xmm4, %xmm0
callq 0x82b0
movsd 0x8(%rsp), %xmm1
divsd %xmm0, %xmm1
movsd %xmm1, 0x8(%rsp)
movapd %xmm1, %xmm0
callq 0x82e0
movsd %xmm0, 0x20(%rsp)
movsd 0x8(%rsp), %xmm1
mulsd 0x10(%rsp), %xmm1
movsd 0xc8a26(%rip), %xmm0    # 0xee260
divsd %xmm1, %xmm0
callq 0x82e0
movsd 0x10(%rsp), %xmm1
movapd %xmm0, %xmm2
mulsd %xmm1, %xmm2
addsd 0x20(%rsp), %xmm2
addsd 0xcbc71(%rip), %xmm2    # 0xf14d0
movsd 0xc8f81(%rip), %xmm0    # 0xee7e8
movsd %xmm0, 0x20(%rsp)
jmp 0x25941
movsd %xmm5, 0x8(%rsp)
callq 0x82b0
movsd 0x8(%rsp), %xmm5
divsd %xmm0, %xmm5
movapd %xmm5, %xmm0
callq 0x8640
movapd %xmm0, %xmm1
movsd 0x40(%rsp), %xmm0
subsd 0x18(%rsp), %xmm0
xorpd %xmm3, %xmm3
ucomisd %xmm3, %xmm0
movsd %xmm1, 0x8(%rsp)
jb 0x258b9
xorps %xmm2, %xmm2
sqrtsd %xmm0, %xmm2
jmp 0x258c6
callq 0x82b0
xorpd %xmm3, %xmm3
movapd %xmm0, %xmm2
movsd 0x58(%rsp), %xmm0
ucomisd %xmm3, %xmm0
jb 0x258d8
sqrtsd %xmm0, %xmm0
jmp 0x258e9
movsd %xmm2, 0x18(%rsp)
callq 0x82b0
movsd 0x18(%rsp), %xmm2
movsd 0x40(%rsp), %xmm1
addsd %xmm0, %xmm2
movsd 0xc8eed(%rip), %xmm0    # 0xee7e8
addsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x2590f
sqrtsd %xmm0, %xmm0
jmp 0x25920
movsd %xmm2, 0x18(%rsp)
callq 0x82b0
movsd 0x18(%rsp), %xmm2
divsd %xmm0, %xmm2
movapd %xmm2, %xmm0
callq 0x82c0
movsd 0x10(%rsp), %xmm1
mulsd %xmm1, %xmm0
movsd 0x8(%rsp), %xmm2
subsd %xmm0, %xmm2
mulsd 0xc9d37(%rip), %xmm2    # 0xef680
movsd 0x70(%rsp), %xmm0
addsd %xmm0, %xmm0
divsd %xmm0, %xmm2
movsd 0x30(%rsp), %xmm0
mulsd %xmm0, %xmm0
subsd 0x40(%rsp), %xmm0
movapd %xmm0, 0x40(%rsp)
xorpd %xmm0, %xmm0
ucomisd %xmm0, %xmm1
movsd %xmm2, 0x8(%rsp)
jb 0x25986
xorps %xmm0, %xmm0
sqrtsd %xmm1, %xmm0
jmp 0x25995
movapd %xmm1, %xmm0
callq 0x82b0
movsd 0x8(%rsp), %xmm2
mulsd 0xc9333(%rip), %xmm0    # 0xeecd0
divsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movsd 0xcbb3f(%rip), %xmm1    # 0xf14f0
movapd %xmm2, %xmm0
callq 0x8620
mulsd 0x20(%rsp), %xmm0
callq 0x253fb
movsd %xmm0, 0x10(%rsp)
xorps %xmm0, %xmm0
cvtsi2sdl 0x3c(%rsp), %xmm0
addsd %xmm0, %xmm0
mulsd 0xcbb18(%rip), %xmm0    # 0xf14f8
mulsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movsd 0xcbae4(%rip), %xmm1    # 0xf14d8
movsd 0x8(%rsp), %xmm0
callq 0x8620
mulsd 0x28(%rsp), %xmm0
movsd %xmm0, 0x28(%rsp)
movapd 0x40(%rsp), %xmm0
andpd 0xc8827(%rip), %xmm0    # 0xee240
movsd 0xc8867(%rip), %xmm1    # 0xee288
callq 0x8620
mulsd 0x28(%rsp), %xmm0
mulsd 0x10(%rsp), %xmm0
movsd 0x30(%rsp), %xmm1
mulsd %xmm0, %xmm1
movsd %xmm1, (%rbx)
xorl %eax, %eax
addq $0x78, %rsp
popq %rbx
popq %rbp
retq