14009d175:	c5 fa e6 f3          	vcvtdq2pd %xmm3,%xmm6
14009d179:	c5 f9 db 2d 1f 74 05 	vpand  0x5741f(%rip),%xmm0,%xmm5        # 0x1400f45a0
14009d180:	00
14009d181:	c5 f9 2f 2d 17 74 05 	vcomisd 0x57417(%rip),%xmm5        # 0x1400f45a0
14009d188:	00
14009d189:	0f 84 01 02 00 00    	je     0x14009d390
14009d18f:	c5 d1 ef ed          	vpxor  %xmm5,%xmm5,%xmm5
14009d193:	c5 f9 2f c5          	vcomisd %xmm5,%xmm0
14009d197:	0f 86 a3 01 00 00    	jbe    0x14009d340
14009d19d:	c5 f9 db 15 3b 74 05 	vpand  0x5743b(%rip),%xmm0,%xmm2        # 0x1400f45e0
14009d1a4:	00
14009d1a5:	c5 fb 5c 25 93 74 05 	vsubsd 0x57493(%rip),%xmm0,%xmm4        # 0x1400f4640
14009d1ac:	00
14009d1ad:	c5 f9 2f 35 3b 75 05 	vcomisd 0x5753b(%rip),%xmm6        # 0x1400f46f0
14009d1b4:	00
14009d1b5:	0f 84 53 01 00 00    	je     0x14009d30e
14009d1bb:	c5 f9 db 0d 4d 74 05 	vpand  0x5744d(%rip),%xmm0,%xmm1        # 0x1400f4610
14009d1c2:	00
14009d1c3:	c5 f9 db 1d 55 74 05 	vpand  0x57455(%rip),%xmm0,%xmm3        # 0x1400f4620
14009d1ca:	00
14009d1cb:	c5 e1 73 f3 01       	vpsllq $0x1,%xmm3,%xmm3
14009d1d0:	c5 e1 d4 c9          	vpaddq %xmm1,%xmm3,%xmm1
14009d1d4:	c4 e1 f9 7e c8       	vmovq  %xmm1,%rax
14009d1d9:	c5 d9 db 25 3f 75 05 	vpand  0x5753f(%rip),%xmm4,%xmm4        # 0x1400f4720
14009d1e0:	00
14009d1e1:	c5 f9 2f 25 27 75 05 	vcomisd 0x57527(%rip),%xmm4        # 0x1400f4710
14009d1e8:	00
14009d1e9:	0f 82 b1 00 00 00    	jb     0x14009d2a0
14009d1ef:	48 c1 e8 2c          	shr    $0x2c,%rax
14009d1f3:	c5 e9 eb 15 75 74 05 	vpor   0x57475(%rip),%xmm2,%xmm2        # 0x1400f4670
14009d1fa:	00
14009d1fb:	c5 f1 eb 0d 6d 74 05 	vpor   0x5746d(%rip),%xmm1,%xmm1        # 0x1400f4670
14009d202:	00
14009d203:	4c 8d 0d f6 2e 04 00 	lea    0x42ef6(%rip),%r9        # 0x1400e0100
14009d20a:	c5 f3 5c ca          	vsubsd %xmm2,%xmm1,%xmm1
14009d20e:	c4 c1 73 59 0c c1    	vmulsd (%r9,%rax,8),%xmm1,%xmm1
14009d214:	4c 8d 0d 85 76 05 00 	lea    0x57685(%rip),%r9        # 0x1400f48a0
14009d21b:	c5 f3 59 c1          	vmulsd %xmm1,%xmm1,%xmm0
14009d21f:	c5 fb 10 1d b9 74 05 	vmovsd 0x574b9(%rip),%xmm3        # 0x1400f46e0
14009d226:	00
14009d227:	c5 fb 10 2d 81 74 05 	vmovsd 0x57481(%rip),%xmm5        # 0x1400f46b0
14009d22e:	00
14009d22f:	c4 e2 f1 a9 1d 98 74 	vfmadd213sd 0x57498(%rip),%xmm1,%xmm3        # 0x1400f46d0
14009d236:	05 00
14009d238:	c4 e2 f1 a9 2d 5f 74 	vfmadd213sd 0x5745f(%rip),%xmm1,%xmm5        # 0x1400f46a0
14009d23f:	05 00
14009d241:	c5 fb 10 e0          	vmovsd %xmm0,%xmm0,%xmm4
14009d245:	c4 e2 f1 a9 1d 72 74 	vfmadd213sd 0x57472(%rip),%xmm1,%xmm3        # 0x1400f46c0
14009d24c:	05 00
14009d24e:	c5 fb 59 e0          	vmulsd %xmm0,%xmm0,%xmm4
14009d252:	c4 e2 d1 b9 c8       	vfmadd231sd %xmm0,%xmm5,%xmm1
14009d257:	c4 e2 e1 b9 cc       	vfmadd231sd %xmm4,%xmm3,%xmm1
14009d25c:	c5 fb 10 2d 1c 75 05 	vmovsd 0x5751c(%rip),%xmm5        # 0x1400f4780
14009d263:	00
14009d264:	c4 e2 c9 ab e9       	vfmsub213sd %xmm1,%xmm6,%xmm5
14009d269:	c4 c1 7b 10 04 c1    	vmovsd (%r9,%rax,8),%xmm0
14009d26f:	48 8d 15 3a 7e 05 00 	lea    0x57e3a(%rip),%rdx        # 0x1400f50b0
14009d276:	c5 fb 10 0c c2       	vmovsd (%rdx,%rax,8),%xmm1
14009d27b:	c5 f3 58 cd          	vaddsd %xmm5,%xmm1,%xmm1
14009d27f:	c4 e2 c9 b9 05 e8 74 	vfmadd231sd 0x574e8(%rip),%xmm6,%xmm0        # 0x1400f4770
14009d286:	05 00
14009d288:	c5 fb 58 c1          	vaddsd %xmm1,%xmm0,%xmm0
14009d28c:	c5 f9 6f 74 24 20    	vmovdqa 0x20(%rsp),%xmm6
14009d292:	48 83 c4 58          	add    $0x58,%rsp
14009d296:	c3                   	ret
14009d297:	66 0f 1f 84 00 00 00 	nopw   0x0(%rax,%rax,1)
14009d29e:	00 00
14009d2a0:	c5 fb 10 1d 88 73 05 	vmovsd 0x57388(%rip),%xmm3        # 0x1400f4630
14009d2a7:	00
14009d2a8:	c5 fb 5c 05 90 73 05 	vsubsd 0x57390(%rip),%xmm0,%xmm0        # 0x1400f4640
14009d2af:	00
14009d2b0:	c5 e3 58 d8          	vaddsd %xmm0,%xmm3,%xmm3
14009d2b4:	c5 fb 5e cb          	vdivsd %xmm3,%xmm0,%xmm1
14009d2b8:	c5 fb 10 25 80 74 05 	vmovsd 0x57480(%rip),%xmm4        # 0x1400f4740
14009d2bf:	00
14009d2c0:	c5 fb 10 2d 98 74 05 	vmovsd 0x57498(%rip),%xmm5        # 0x1400f4760
14009d2c7:	00
14009d2c8:	c5 fb 59 d9          	vmulsd %xmm1,%xmm0,%xmm3
14009d2cc:	c5 f3 58 c9          	vaddsd %xmm1,%xmm1,%xmm1
14009d2d0:	c5 f3 59 d1          	vmulsd %xmm1,%xmm1,%xmm2
14009d2d4:	c4 e2 e9 a9 25 53 74 	vfmadd213sd 0x57453(%rip),%xmm2,%xmm4        # 0x1400f4730
14009d2db:	05 00
14009d2dd:	c4 e2 e9 a9 2d 6a 74 	vfmadd213sd 0x5746a(%rip),%xmm2,%xmm5        # 0x1400f4750
14009d2e4:	05 00
14009d2e6:	c5 eb 59 d1          	vmulsd %xmm1,%xmm2,%xmm2
14009d2ea:	c5 db 59 e2          	vmulsd %xmm2,%xmm4,%xmm4
14009d2ee:	c5 eb 59 d2          	vmulsd %xmm2,%xmm2,%xmm2
14009d2f2:	c5 eb 59 d1          	vmulsd %xmm1,%xmm2,%xmm2
14009d2f6:	c4 e2 d1 b9 e2       	vfmadd231sd %xmm2,%xmm5,%xmm4
14009d2fb:	c5 db 5c e3          	vsubsd %xmm3,%xmm4,%xmm4
14009d2ff:	c5 fb 58 c4          	vaddsd %xmm4,%xmm0,%xmm0
14009d303:	c5 f9 6f 74 24 20    	vmovdqa 0x20(%rsp),%xmm6
14009d309:	48 83 c4 58          	add    $0x58,%rsp
14009d30d:	c3                   	ret
14009d30e:	c5 e9 eb 15 2a 73 05 	vpor   0x5732a(%rip),%xmm2,%xmm2        # 0x1400f4640
14009d315:	00
14009d316:	c5 eb 5c 15 22 73 05 	vsubsd 0x57322(%rip),%xmm2,%xmm2        # 0x1400f4640
14009d31d:	00
14009d31e:	c5 d1 73 d2 34       	vpsrlq $0x34,%xmm2,%xmm5
14009d323:	c5 e9 db 15 b5 72 05 	vpand  0x572b5(%rip),%xmm2,%xmm2        # 0x1400f45e0
14009d32a:	00
14009d32b:	c5 f9 28 c2          	vmovapd %xmm2,%xmm0
14009d32f:	c5 d1 fa 2d c9 73 05 	vpsubd 0x573c9(%rip),%xmm5,%xmm5        # 0x1400f4700
14009d336:	00
14009d337:	c5 fa e6 f5          	vcvtdq2pd %xmm5,%xmm6
14009d33b:	e9 7b fe ff ff       	jmp    0x14009d1bb
14009d340:	75 2e                	jne    0x14009d370
14009d342:	c5 fb 10 0d 46 72 05 	vmovsd 0x57246(%rip),%xmm1        # 0x1400f4590
14009d349:	00
14009d34a:	44 8b 05 3f 74 05 00 	mov    0x5743f(%rip),%r8d        # 0x1400f4790
14009d351:	e8 7a fa ff ff       	call   0x14009cdd0
14009d356:	c5 f9 6f 74 24 20    	vmovdqa 0x20(%rsp),%xmm6
14009d35c:	48 83 c4 58          	add    $0x58,%rsp
14009d360:	c3                   	ret
14009d361:	66 66 66 66 66 66 66 	data16 data16 data16 data16 data16 data16 nopw 0x0(%rax,%rax,1)
14009d368:	0f 1f 84 00 00 00 00
14009d36f:	00
14009d370:	c5 fb 10 0d 38 72 05 	vmovsd 0x57238(%rip),%xmm1        # 0x1400f45b0
14009d377:	00
14009d378:	44 8b 05 15 74 05 00 	mov    0x57415(%rip),%r8d        # 0x1400f4794
14009d37f:	e8 4c fa ff ff       	call   0x14009cdd0
14009d384:	c5 f9 6f 74 24 20    	vmovdqa 0x20(%rsp),%xmm6
14009d38a:	48 83 c4 58          	add    $0x58,%rsp
14009d38e:	c3                   	ret
14009d38f:	90                   	nop
14009d390:	48 3b 05 09 72 05 00 	cmp    0x57209(%rip),%rax        # 0x1400f45a0
14009d397:	74 27                	je     0x14009d3c0
14009d399:	48 3b 05 f0 71 05 00 	cmp    0x571f0(%rip),%rax        # 0x1400f4590
14009d3a0:	74 ce                	je     0x14009d370
14009d3a2:	48 0b 05 17 72 05 00 	or     0x57217(%rip),%rax        # 0x1400f45c0
14009d3a9:	c4 e1 f9 6e c8       	vmovq  %rax,%xmm1
14009d3ae:	44 8b 05 e3 73 05 00 	mov    0x573e3(%rip),%r8d        # 0x1400f4798
14009d3b5:	e8 16 fa ff ff       	call   0x14009cdd0
14009d3ba:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
14009d3c0:	c5 f9 6f 74 24 20    	vmovdqa 0x20(%rsp),%xmm6
14009d3c6:	48 83 c4 58          	add    $0x58,%rsp
14009d3ca:	c3                   	ret
14009d3cb:	cc                   	int3
14009d3cc:	cc                   	int3
14009d3cd:	cc                   	int3
14009d3ce:	cc                   	int3
14009d3cf:	cc                   	int3
14009d3d0:	48 83 ec 38          	sub    $0x38,%rsp
14009d3d4:	f3 0f 7e c0          	movq   %xmm0,%xmm0
14009d3d8:	66 48 0f 7e c2       	movq   %xmm0,%rdx
14009d3dd:	48 0f ba f2 3f       	btr    $0x3f,%rdx
14009d3e2:	48 3b 15 57 74 05 00 	cmp    0x57457(%rip),%rdx        # 0x1400f4840
14009d3e9:	0f 8d 71 01 00 00    	jge    0x14009d560
14009d3ef:	83 3d 4e 37 07 00 00 	cmpl   $0x0,0x7374e(%rip)        # 0x140110b44
14009d3f6:	0f 85 34 02 00 00    	jne    0x14009d630
14009d3fc:	66 0f 28 d0          	movapd %xmm0,%xmm2
14009d400:	66 0f 28 d8          	movapd %xmm0,%xmm3
14009d404:	f2 0f c2 15 13 74 05 	cmplesd 0x57413(%rip),%xmm2        # 0x1400f4820
14009d40b:	00 02
14009d40d:	f2 0f c2 1d 12 74 05 	cmpnltsd 0x57412(%rip),%xmm3        # 0x1400f4828
14009d414:	00 05
14009d416:	0f 54 d3             	andps  %xmm3,%xmm2
14009d419:	66 0f 2e d2          	ucomisd %xmm2,%xmm2
14009d41d:	7a 21                	jp     0x14009d440
14009d41f:	66 0f 2e 05 f9 73 05 	ucomisd 0x573f9(%rip),%xmm0        # 0x1400f4820
14009d426:	00
14009d427:	0f 87 63 01 00 00    	ja     0x14009d590
14009d42d:	e9 7e 01 00 00       	jmp    0x14009d5b0
14009d432:	66 66 66 66 66 66 0f 	data16 data16 data16 data16 data16 nopw 0x0(%rax,%rax,1)
14009d439:	1f 84 00 00 00 00 00
14009d440:	66 0f 28 c8          	movapd %xmm0,%xmm1
14009d444:	48 0f ba f2 3f       	btr    $0x3f,%rdx
14009d449:	48 3b 15 30 74 05 00 	cmp    0x57430(%rip),%rdx        # 0x1400f4880
14009d450:	0f 86 9a 01 00 00    	jbe    0x14009d5f0
14009d456:	f2 0f 59 0d da 73 05 	mulsd  0x573da(%rip),%xmm1        # 0x1400f4838
14009d45d:	00
14009d45e:	66 0f e6 d1          	cvttpd2dq %xmm1,%xmm2
14009d462:	f3 0f e6 ca          	cvtdq2pd %xmm2,%xmm1
14009d466:	66 0f 7e d1          	movd   %xmm2,%ecx
14009d46a:	66 0f 28 d1          	movapd %xmm1,%xmm2
14009d46e:	f2 0f 59 0d ea 73 05 	mulsd  0x573ea(%rip),%xmm1        # 0x1400f4860
14009d475:	00
14009d476:	48 c7 c0 3f 00 00 00 	mov    $0x3f,%rax
14009d47d:	23 c1                	and    %ecx,%eax
14009d47f:	c1 f9 06             	sar    $0x6,%ecx
14009d482:	f2 0f 59 15 de 73 05 	mulsd  0x573de(%rip),%xmm2        # 0x1400f4868
14009d489:	00
14009d48a:	f2 0f 58 c1          	addsd  %xmm1,%xmm0
14009d48e:	f2 0f 58 d0          	addsd  %xmm0,%xmm2
14009d492:	66 0f 28 1d 16 73 05 	movapd 0x57316(%rip),%xmm3        # 0x1400f47b0
14009d499:	00
14009d49a:	f2 0f 59 da          	mulsd  %xmm2,%xmm3
14009d49e:	66 0f 28 05 2a 73 05 	movapd 0x5732a(%rip),%xmm0        # 0x1400f47d0
14009d4a5:	00
14009d4a6:	66 0f 28 ca          	movapd %xmm2,%xmm1
14009d4aa:	f2 0f 59 c2          	mulsd  %xmm2,%xmm0
14009d4ae:	f2 0f 58 1d 0a 73 05 	addsd  0x5730a(%rip),%xmm3        # 0x1400f47c0
14009d4b5:	00
14009d4b6:	f2 0f 59 ca          	mulsd  %xmm2,%xmm1
14009d4ba:	f2 0f 58 05 1e 73 05 	addsd  0x5731e(%rip),%xmm0        # 0x1400f47e0
14009d4c1:	00
14009d4c2:	66 0f 28 e1          	movapd %xmm1,%xmm4
14009d4c6:	f2 0f 59 e1          	mulsd  %xmm1,%xmm4
14009d4ca:	f2 0f 59 da          	mulsd  %xmm2,%xmm3
14009d4ce:	f2 0f 59 c1          	mulsd  %xmm1,%xmm0
14009d4d2:	f2 0f 58 1d 16 73 05 	addsd  0x57316(%rip),%xmm3        # 0x1400f47f0
14009d4d9:	00
14009d4da:	f2 0f 58 c2          	addsd  %xmm2,%xmm0
14009d4de:	f2 0f 59 dc          	mulsd  %xmm4,%xmm3
14009d4e2:	f2 0f 58 c3          	addsd  %xmm3,%xmm0
14009d4e6:	81 f9 02 fc ff ff    	cmp    $0xfffffc02,%ecx
14009d4ec:	48 8d 15 cd 83 05 00 	lea    0x583cd(%rip),%rdx        # 0x1400f58c0
14009d4f3:	4c 8d 1d c6 87 05 00 	lea    0x587c6(%rip),%r11        # 0x1400f5cc0
14009d4fa:	4c 8d 15 bf 85 05 00 	lea    0x585bf(%rip),%r10        # 0x1400f5ac0
14009d501:	f2 0f 59 04 c2       	mulsd  (%rdx,%rax,8),%xmm0
14009d506:	f2 41 0f 58 04 c3    	addsd  (%r11,%rax,8),%xmm0
14009d50c:	f2 41 0f 58 04 c2    	addsd  (%r10,%rax,8),%xmm0
14009d512:	7e 1c                	jle    0x14009d530
14009d514:	48 c1 e1 34          	shl    $0x34,%rcx
14009d518:	66 48 0f 6e d1       	movq   %rcx,%xmm2
14009d51d:	66 0f d4 c2          	paddq  %xmm2,%xmm0
14009d521:	48 83 c4 38          	add    $0x38,%rsp
14009d525:	c3                   	ret
14009d526:	66 66 0f 1f 84 00 00 	data16 nopw 0x0(%rax,%rax,1)
14009d52d:	00 00 00
14009d530:	7c 0a                	jl     0x14009d53c
14009d532:	66 0f 2e 05 3e 73 05 	ucomisd 0x5733e(%rip),%xmm0        # 0x1400f4878
14009d539:	00
14009d53a:	73 d8                	jae    0x14009d514
14009d53c:	81 c1 32 04 00 00    	add    $0x432,%ecx
14009d542:	48 c7 c0 01 00 00 00 	mov    $0x1,%rax
14009d549:	48 d3 e0             	shl    %cl,%rax
14009d54c:	66 48 0f 6e d0       	movq   %rax,%xmm2
14009d551:	f2 0f 59 c2          	mulsd  %xmm2,%xmm0
14009d555:	e9 c6 00 00 00       	jmp    0x14009d620
14009d55a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
14009d560:	66 48 0f 7e c0       	movq   %xmm0,%rax
14009d565:	48 3b 05 d4 72 05 00 	cmp    0x572d4(%rip),%rax        # 0x1400f4840
14009d56c:	0f 84 ae 00 00 00    	je     0x14009d620
14009d572:	48 3b 05 cf 72 05 00 	cmp    0x572cf(%rip),%rax        # 0x1400f4848
14009d579:	0f 84 91 00 00 00    	je     0x14009d610
14009d57f:	48 0b 05 ca 72 05 00 	or     0x572ca(%rip),%rax        # 0x1400f4850
14009d586:	66 48 0f 6e c0       	movq   %rax,%xmm0
14009d58b:	e9 90 00 00 00       	jmp    0x14009d620
14009d590:	48 b8 00 00 00 00 00 	movabs $0x7ff0000000000000,%rax
14009d597:	00 f0 7f
14009d59a:	66 48 0f 6e c8       	movq   %rax,%xmm1
14009d59f:	44 8b 05 02 72 05 00 	mov    0x57202(%rip),%r8d        # 0x1400f47a8
14009d5a6:	e8 35 03 00 00       	call   0x14009d8e0
14009d5ab:	e9 70 00 00 00       	jmp    0x14009d620
14009d5b0:	66 0f 2e 05 78 72 05 	ucomisd 0x57278(%rip),%xmm0        # 0x1400f4830
14009d5b7:	00
14009d5b8:	76 16                	jbe    0x14009d5d0
14009d5ba:	66 0f 28 05 ae 72 05 	movapd 0x572ae(%rip),%xmm0        # 0x1400f4870
14009d5c1:	00
14009d5c2:	eb 5c                	jmp    0x14009d620
14009d5c4:	66 66 66 66 0f 1f 84 	data16 data16 data16 nopw 0x0(%rax,%rax,1)
14009d5cb:	00 00 00 00 00
14009d5d0:	66 0f ef c9          	pxor   %xmm1,%xmm1
14009d5d4:	44 8b 05 c9 71 05 00 	mov    0x571c9(%rip),%r8d        # 0x1400f47a4
14009d5db:	e8 00 03 00 00       	call   0x14009d8e0
14009d5e0:	eb 3e                	jmp    0x14009d620
14009d5e2:	66 66 66 66 66 66 0f 	data16 data16 data16 data16 data16 nopw 0x0(%rax,%rax,1)
14009d5e9:	1f 84 00 00 00 00 00
14009d5f0:	66 0f 28 c8          	movapd %xmm0,%xmm1
14009d5f4:	f2 0f 58 0d 8c 72 05 	addsd  0x5728c(%rip),%xmm1        # 0x1400f4888
14009d5fb:	00
14009d5fc:	f2 0f 58 05 74 72 05 	addsd  0x57274(%rip),%xmm0        # 0x1400f4878
14009d603:	00
14009d604:	48 83 c4 38          	add    $0x38,%rsp
14009d608:	c3                   	ret
14009d609:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
14009d610:	66 0f ef c0          	pxor   %xmm0,%xmm0
14009d614:	48 83 c4 38          	add    $0x38,%rsp
14009d618:	c3                   	ret
14009d619:	0f 1f 80 00 00 00 00 	nopl   0x0(%rax)
14009d620:	48 83 c4 38          	add    $0x38,%rsp
14009d624:	c3                   	ret
14009d625:	66 66 66 0f 1f 84 00 	data16 data16 nopw 0x0(%rax,%rax,1)
14009d62c:	00 00 00 00
14009d630:	c5 fb c2 15 e7 71 05 	vcmplesd 0x571e7(%rip),%xmm0,%xmm2        # 0x1400f4820
14009d637:	00 02
14009d639:	c5 fb c2 1d e6 71 05 	vcmpnltsd 0x571e6(%rip),%xmm0,%xmm3        # 0x1400f4828
14009d640:	00 05
14009d642:	c5 e0 54 d2          	vandps %xmm2,%xmm3,%xmm2
14009d646:	c5 f9 2e d2          	vucomisd %xmm2,%xmm2
14009d64a:	7a 14                	jp     0x14009d660
14009d64c:	c5 f9 2e 05 cc 71 05 	vucomisd 0x571cc(%rip),%xmm0        # 0x1400f4820
14009d653:	00
14009d654:	0f 87 f6 00 00 00    	ja     0x14009d750
14009d65a:	e9 31 01 00 00       	jmp    0x14009d790
14009d65f:	90                   	nop
14009d660:	c4 e1 f9 7e c2       	vmovq  %xmm0,%rdx
14009d665:	48 0f ba f2 3f       	btr    $0x3f,%rdx
14009d66a:	48 3b 15 0f 72 05 00 	cmp    0x5720f(%rip),%rdx        # 0x1400f4880
14009d671:	0f 86 f9 00 00 00    	jbe    0x14009d770
14009d677:	c5 fb 59 0d b9 71 05 	vmulsd 0x571b9(%rip),%xmm0,%xmm1        # 0x1400f4838
14009d67e:	00
14009d67f:	c4 e3 71 0b d1 03    	vroundsd $0x3,%xmm1,%xmm1,%xmm2
14009d685:	c5 fb 2c c9          	vcvttsd2si %xmm1,%ecx
14009d689:	c4 e2 e9 b9 05 ce 71 	vfmadd231sd 0x571ce(%rip),%xmm2,%xmm0        # 0x1400f4860
14009d690:	05 00
14009d692:	c5 eb 59 15 ce 71 05 	vmulsd 0x571ce(%rip),%xmm2,%xmm2        # 0x1400f4868
14009d699:	00
14009d69a:	c5 eb 58 d0          	vaddsd %xmm0,%xmm2,%xmm2
14009d69e:	48 c7 c0 3f 00 00 00 	mov    $0x3f,%rax
14009d6a5:	23 c1                	and    %ecx,%eax
14009d6a7:	c1 f9 06             	sar    $0x6,%ecx
14009d6aa:	c5 f9 28 1d fe 70 05 	vmovapd 0x570fe(%rip),%xmm3        # 0x1400f47b0
14009d6b1:	00
14009d6b2:	c4 e2 e9 a9 1d 05 71 	vfmadd213sd 0x57105(%rip),%xmm2,%xmm3        # 0x1400f47c0
14009d6b9:	05 00
14009d6bb:	c4 e2 e9 a9 1d 2c 71 	vfmadd213sd 0x5712c(%rip),%xmm2,%xmm3        # 0x1400f47f0
14009d6c2:	05 00
14009d6c4:	c4 e2 e9 a9 1d 03 71 	vfmadd213sd 0x57103(%rip),%xmm2,%xmm3        # 0x1400f47d0
14009d6cb:	05 00
14009d6cd:	c4 e2 e9 a9 1d 0a 71 	vfmadd213sd 0x5710a(%rip),%xmm2,%xmm3        # 0x1400f47e0
14009d6d4:	05 00
14009d6d6:	c5 eb 59 c2          	vmulsd %xmm2,%xmm2,%xmm0
14009d6da:	c4 e2 e1 a9 c2       	vfmadd213sd %xmm2,%xmm3,%xmm0
14009d6df:	81 f9 02 fc ff ff    	cmp    $0xfffffc02,%ecx
14009d6e5:	48 8d 15 d4 81 05 00 	lea    0x581d4(%rip),%rdx        # 0x1400f58c0
14009d6ec:	4c 8d 1d cd 85 05 00 	lea    0x585cd(%rip),%r11        # 0x1400f5cc0
14009d6f3:	4c 8d 15 c6 83 05 00 	lea    0x583c6(%rip),%r10        # 0x1400f5ac0
14009d6fa:	c5 fb 59 14 c2       	vmulsd (%rdx,%rax,8),%xmm0,%xmm2
14009d6ff:	c4 c1 6b 58 0c c3    	vaddsd (%r11,%rax,8),%xmm2,%xmm1
14009d705:	c4 c1 73 58 04 c2    	vaddsd (%r10,%rax,8),%xmm1,%xmm0
14009d70b:	7e 13                	jle    0x14009d720
14009d70d:	48 c1 e1 34          	shl    $0x34,%rcx
14009d711:	c4 e1 f9 6e d1       	vmovq  %rcx,%xmm2
14009d716:	c5 f9 d4 c2          	vpaddq %xmm2,%xmm0,%xmm0
14009d71a:	48 83 c4 38          	add    $0x38,%rsp
14009d71e:	c3                   	ret
14009d71f:	90                   	nop
14009d720:	7c 0a                	jl     0x14009d72c
14009d722:	c5 f9 2e 05 4e 71 05 	vucomisd 0x5714e(%rip),%xmm0        # 0x1400f4878
14009d729:	00
14009d72a:	73 e1                	jae    0x14009d70d
14009d72c:	81 c1 32 04 00 00    	add    $0x432,%ecx
14009d732:	48 c7 c0 01 00 00 00 	mov    $0x1,%rax
14009d739:	48 d3 e0             	shl    %cl,%rax
14009d73c:	c4 e1 f9 6e d0       	vmovq  %rax,%xmm2
14009d741:	c5 fb 59 c2          	vmulsd %xmm2,%xmm0,%xmm0
14009d745:	e9 76 00 00 00       	jmp    0x14009d7c0
14009d74a:	66 0f 1f 44 00 00    	nopw   0x0(%rax,%rax,1)
14009d750:	48 b8 00 00 00 00 00 	movabs $0x7ff0000000000000,%rax
14009d757:	00 f0 7f
14009d75a:	c4 e1 f9 6e c8       	vmovq  %rax,%xmm1
14009d75f:	44 8b 05 42 70 05 00 	mov    0x57042(%rip),%r8d        # 0x1400f47a8
14009d766:	e8 75 01 00 00       	call   0x14009d8e0
14009d76b:	eb 53                	jmp    0x14009d7c0
14009d76d:	0f 1f 00             	nopl   (%rax)
14009d770:	c5 fb 58 0d 10 71 05 	vaddsd 0x57110(%rip),%xmm0,%xmm1        # 0x1400f4888
14009d777:	00
14009d778:	c5 fb 58 05 f8 70 05 	vaddsd 0x570f8(%rip),%xmm0,%xmm0        # 0x1400f4878