	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function satpropdelay
_satpropdelay:                          ## @satpropdelay
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%rbx
	subq	$24, %rsp
	.cfi_offset %rbx, -24
	movq	_EARTHRADIUS@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm1                   ## xmm1 = mem[0],zero
	movsd	%xmm1, -16(%rbp)                ## 8-byte Spill
	movsd	%xmm0, -32(%rbp)                ## 8-byte Spill
	divsd	%xmm1, %xmm0
	movsd	%xmm0, -24(%rbp)                ## 8-byte Spill
	callq	___sincos_stret
	movapd	%xmm0, %xmm3
	movsd	-16(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	mulsd	%xmm0, %xmm3
	movq	_SATHEIGHT@GOTPCREL(%rip), %rax
	movsd	(%rax), %xmm2                   ## xmm2 = mem[0],zero
	mulsd	%xmm0, %xmm1
	subsd	%xmm1, %xmm2
	movq	_debug@GOTPCREL(%rip), %rbx
	movl	(%rbx), %eax
	cmpl	$2, %eax
	jl	LBB0_2
## %bb.1:
	leaq	L_.str(%rip), %rdi
	movsd	-24(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movapd	%xmm3, %xmm1
	movsd	%xmm3, -16(%rbp)                ## 8-byte Spill
	movsd	%xmm2, -24(%rbp)                ## 8-byte Spill
	callq	_printf
	movsd	-24(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	movsd	-16(%rbp), %xmm3                ## 8-byte Reload
                                        ## xmm3 = mem[0],zero
	movl	(%rbx), %eax
LBB0_2:
	mulsd	%xmm2, %xmm2
	mulsd	%xmm3, %xmm3
	addsd	%xmm2, %xmm3
	xorps	%xmm1, %xmm1
	sqrtsd	%xmm3, %xmm1
	movq	_LIGHTSPEED@GOTPCREL(%rip), %rcx
	movapd	%xmm1, %xmm2
	divsd	(%rcx), %xmm2
	cmpl	$2, %eax
	jl	LBB0_4
## %bb.3:
	leaq	L_.str.1(%rip), %rdi
	movsd	-32(%rbp), %xmm0                ## 8-byte Reload
                                        ## xmm0 = mem[0],zero
	movsd	%xmm2, -16(%rbp)                ## 8-byte Spill
	movsd	-16(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
	callq	_printf
	movsd	-16(%rbp), %xmm2                ## 8-byte Reload
                                        ## xmm2 = mem[0],zero
LBB0_4:
	movapd	%xmm2, %xmm0
	addq	$24, %rsp
	popq	%rbx
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_EARTHRADIUS,8,3                ## @EARTHRADIUS
	.comm	_SATHEIGHT,8,3                  ## @SATHEIGHT
	.comm	_debug,4,2                      ## @debug
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"Theta %g k1 %g k2 %g\n"

	.comm	_LIGHTSPEED,8,3                 ## @LIGHTSPEED
L_.str.1:                               ## @.str.1
	.asciz	"propdelay dist %g height %g time %g\n"

	.no_dead_strip	_satpropdelay
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function satpropdelay
_satpropdelay:                          ; @satpropdelay
	.cfi_startproc
; %bb.0:
	stp	d11, d10, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	d9, d8, [sp, #16]               ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset b8, -40
	.cfi_offset b9, -48
	.cfi_offset b10, -56
	.cfi_offset b11, -64
	fmov	d8, d0
Lloh0:
	adrp	x8, _EARTHRADIUS@GOTPAGE
Lloh1:
	ldr	x8, [x8, _EARTHRADIUS@GOTPAGEOFF]
Lloh2:
	ldr	d11, [x8]
	fdiv	d10, d0, d11
	fmov	d0, d10
	bl	___sincos_stret
	fmul	d9, d11, d0
Lloh3:
	adrp	x8, _SATHEIGHT@GOTPAGE
Lloh4:
	ldr	x8, [x8, _SATHEIGHT@GOTPAGEOFF]
Lloh5:
	ldr	d0, [x8]
	fmsub	d11, d11, d1, d0
Lloh6:
	adrp	x19, _debug@GOTPAGE
Lloh7:
	ldr	x19, [x19, _debug@GOTPAGEOFF]
	ldr	w8, [x19]
	cmp	w8, #2
	b.lt	LBB0_2
; %bb.1:
Lloh8:
	adrp	x0, l_.str@PAGE
Lloh9:
	add	x0, x0, l_.str@PAGEOFF
	fmov	d0, d10
	fmov	d1, d9
	fmov	d2, d11
	bl	_printf
	ldr	w8, [x19]
LBB0_2:
	fmul	d0, d11, d11
	fmadd	d0, d9, d9, d0
	fsqrt	d1, d0
Lloh10:
	adrp	x9, _LIGHTSPEED@GOTPAGE
Lloh11:
	ldr	x9, [x9, _LIGHTSPEED@GOTPAGEOFF]
Lloh12:
	ldr	d0, [x9]
	fdiv	d9, d1, d0
	cmp	w8, #2
	b.lt	LBB0_4
; %bb.3:
Lloh13:
	adrp	x0, l_.str.1@PAGE
Lloh14:
	add	x0, x0, l_.str.1@PAGEOFF
	fmov	d0, d8
	fmov	d2, d9
	bl	_printf
LBB0_4:
	fmov	d0, d9
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	d9, d8, [sp, #16]               ; 16-byte Folded Reload
	ldp	d11, d10, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpAdd	Lloh8, Lloh9
	.loh AdrpLdrGotLdr	Lloh10, Lloh11, Lloh12
	.loh AdrpAdd	Lloh13, Lloh14
	.cfi_endproc
                                        ; -- End function
	.comm	_EARTHRADIUS,8,3                ; @EARTHRADIUS
	.comm	_SATHEIGHT,8,3                  ; @SATHEIGHT
	.comm	_debug,4,2                      ; @debug
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Theta %g k1 %g k2 %g\n"

	.comm	_LIGHTSPEED,8,3                 ; @LIGHTSPEED
l_.str.1:                               ; @.str.1
	.asciz	"propdelay dist %g height %g time %g\n"

	.no_dead_strip	_satpropdelay
.subsections_via_symbols
