// File: Luthaf[P]zeopp/voro++/src/cell.cc
// Function: voro::voronoicell_base::minkowski_formula(double, double, double, double, double&, double&)
void voronoicell_base::minkowski_formula(double x0,double y0,double z0,double r,double &ar,double &vo) {
	const double pi=3.1415926535897932384626433832795;
	if(fabs(z0)<tol) return;
	double si;
	if(z0<0) {z0=-z0;si=-1;} else si=1;
	if(y0<0) {y0=-y0;si=-si;}
	double xs=x0*x0,ys=y0*y0,zs=z0*z0,res=xs+ys,rvs=res+zs,theta=atan(z0/y0),rs=r*r,rc=rs*r,temp,voc,arc;
	if(r<x0) {
		temp=2*theta-0.5*pi-asin((zs*xs-ys*rvs)/(res*(ys+zs)));
		voc=rc/6.*temp;
		arc=rs*0.5*temp;
	} else if(rs<res*1.0000000001) {
		temp=0.5*pi+asin((zs*xs-ys*rvs)/(res*(ys+zs)));
		voc=theta*0.5*(rs*x0-xs*x0/3.)-rc/6.*temp;
		arc=theta*x0*r-rs*0.5*temp;
	} else if(rs<rvs) {
		temp=theta-pi*0.5+asin(y0/sqrt(rs-xs));
		double temp2=(rs*x0-xs*x0/3.),
		       x2s=rs*xs/res,y2s=rs*ys/res,
		       temp3=asin((x2s-y2s-xs)/(rs-xs)),
		       temp4=asin((zs*xs-ys*rvs)/(res*(ys+zs))),
		       temp5=sqrt(rs-res);
		voc=0.5*temp*temp2+x0*y0/6.*temp5+r*rs/6*(temp3-temp4);
		arc=x0*r*temp-0.5*temp2*y0*r/((rs-xs)*temp5)+x0*y0/6.*r/temp5+rs*0.5*temp3+rs*rs/3.*2*xs*ys/(res*(rs-xs)*sqrt((rs-xs)*(rs-xs)-(x2s-y2s-xs)*(x2s-y2s-xs)))-rs*0.5*temp4;
	} else {
		voc=x0*y0*z0/6.;
		arc=0;
	}
	vo+=voc*si;
	ar+=arc*si;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x100, %rsp            # imm = 0x100
movq %rdi, -0x8(%rbp)
movsd %xmm0, -0x10(%rbp)
movsd %xmm1, -0x18(%rbp)
movsd %xmm2, -0x20(%rbp)
movsd %xmm3, -0x28(%rbp)
movq %rsi, -0x30(%rbp)
movq %rdx, -0x38(%rbp)
movq -0x8(%rbp), %rax
movsd 0x4d181(%rip), %xmm0    # 0x57638
movsd %xmm0, -0x40(%rbp)
movsd -0x20(%rbp), %xmm1
movaps 0x4d1a8(%rip), %xmm0    # 0x57670
pand %xmm0, %xmm1
movsd 0x48(%rax), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xa4dc
jmp 0xac63
xorps %xmm0, %xmm0
ucomisd -0x20(%rbp), %xmm0
jbe 0xa516
movsd -0x20(%rbp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, -0x20(%rbp)
movsd 0x4bb19(%rip), %xmm0    # 0x56028
movsd %xmm0, -0x48(%rbp)
jmp 0xa523
movsd 0x4baf2(%rip), %xmm0    # 0x56010
movsd %xmm0, -0x48(%rbp)
xorps %xmm0, %xmm0
ucomisd -0x18(%rbp), %xmm0
jbe 0xa56f
movsd -0x18(%rbp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, -0x18(%rbp)
movsd -0x48(%rbp), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, -0x48(%rbp)
movsd -0x10(%rbp), %xmm0
mulsd -0x10(%rbp), %xmm0
movsd %xmm0, -0x50(%rbp)
movsd -0x18(%rbp), %xmm0
mulsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x58(%rbp)
movsd -0x20(%rbp), %xmm0
mulsd -0x20(%rbp), %xmm0
movsd %xmm0, -0x60(%rbp)
movsd -0x50(%rbp), %xmm0
addsd -0x58(%rbp), %xmm0
movsd %xmm0, -0x68(%rbp)
movsd -0x68(%rbp), %xmm0
addsd -0x60(%rbp), %xmm0
movsd %xmm0, -0x70(%rbp)
movsd -0x20(%rbp), %xmm0
divsd -0x18(%rbp), %xmm0
callq 0x2100
movsd %xmm0, -0x78(%rbp)
movsd -0x28(%rbp), %xmm0
mulsd -0x28(%rbp), %xmm0
movsd %xmm0, -0x80(%rbp)
movsd -0x80(%rbp), %xmm0
mulsd -0x28(%rbp), %xmm0
movsd %xmm0, -0x88(%rbp)
movsd -0x28(%rbp), %xmm1
movsd -0x10(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xa6cc
movsd -0x78(%rbp), %xmm0
addsd %xmm0, %xmm0
movsd 0x4d04c(%rip), %xmm1    # 0x57660
addsd %xmm1, %xmm0
movsd %xmm0, -0xd8(%rbp)
movsd -0x60(%rbp), %xmm0
movsd -0x50(%rbp), %xmm2
movsd -0x58(%rbp), %xmm1
mulsd -0x70(%rbp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd -0x68(%rbp), %xmm1
movsd -0x58(%rbp), %xmm2
addsd -0x60(%rbp), %xmm2
mulsd %xmm2, %xmm1
divsd %xmm1, %xmm0
callq 0x2200
movaps %xmm0, %xmm1
movsd -0xd8(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, -0x90(%rbp)
movsd -0x88(%rbp), %xmm0
movsd 0x4cfb2(%rip), %xmm1    # 0x57648
divsd %xmm1, %xmm0
mulsd -0x90(%rbp), %xmm0
movsd %xmm0, -0x98(%rbp)
movsd 0x4b97e(%rip), %xmm0    # 0x56030
mulsd -0x80(%rbp), %xmm0
mulsd -0x90(%rbp), %xmm0
movsd %xmm0, -0xa0(%rbp)
jmp 0xac21
movsd -0x80(%rbp), %xmm1
movsd 0x4cf67(%rip), %xmm0    # 0x57640
mulsd -0x68(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xa82d
movsd -0x60(%rbp), %xmm0
movsd -0x50(%rbp), %xmm2
movsd -0x58(%rbp), %xmm1
mulsd -0x70(%rbp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd -0x68(%rbp), %xmm1
movsd -0x58(%rbp), %xmm2
addsd -0x60(%rbp), %xmm2
mulsd %xmm2, %xmm1
divsd %xmm1, %xmm0
callq 0x2200
movaps %xmm0, %xmm1
movsd 0x4cf16(%rip), %xmm0    # 0x57658
addsd %xmm1, %xmm0
movsd %xmm0, -0x90(%rbp)
movsd 0x4b8da(%rip), %xmm0    # 0x56030
mulsd -0x78(%rbp), %xmm0
movsd -0x80(%rbp), %xmm2
movsd -0x10(%rbp), %xmm3
movsd -0x50(%rbp), %xmm1
mulsd -0x10(%rbp), %xmm1
movsd 0x4ced9(%rip), %xmm4    # 0x57650
divsd %xmm4, %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm3, %xmm2
addsd %xmm1, %xmm2
movsd -0x88(%rbp), %xmm1
movsd 0x4ce9e(%rip), %xmm3    # 0x57648
divsd %xmm3, %xmm1
mulsd -0x90(%rbp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x98(%rbp)
movsd -0x78(%rbp), %xmm0
mulsd -0x10(%rbp), %xmm0
movsd -0x28(%rbp), %xmm2
movsd 0x4b83c(%rip), %xmm1    # 0x56030
mulsd -0x80(%rbp), %xmm1
mulsd -0x90(%rbp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xa0(%rbp)
jmp 0xac1f
movsd -0x80(%rbp), %xmm1
movsd -0x70(%rbp), %xmm0
ucomisd %xmm1, %xmm0
jbe 0xabef
movsd -0x78(%rbp), %xmm0
movsd 0x4ce0a(%rip), %xmm1    # 0x57658
subsd %xmm1, %xmm0
movsd %xmm0, -0xf8(%rbp)
movsd -0x18(%rbp), %xmm0
movsd %xmm0, -0x100(%rbp)
movsd -0x80(%rbp), %xmm0
subsd -0x50(%rbp), %xmm0
callq 0x20f0
movaps %xmm0, %xmm1
movsd -0x100(%rbp), %xmm0
divsd %xmm1, %xmm0
callq 0x2200
movaps %xmm0, %xmm1
movsd -0xf8(%rbp), %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x90(%rbp)
movsd -0x80(%rbp), %xmm0
movsd -0x10(%rbp), %xmm2
movsd -0x50(%rbp), %xmm1
mulsd -0x10(%rbp), %xmm1
movsd 0x4cd93(%rip), %xmm3    # 0x57650
divsd %xmm3, %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xa8(%rbp)
movsd -0x80(%rbp), %xmm0
mulsd -0x50(%rbp), %xmm0
divsd -0x68(%rbp), %xmm0
movsd %xmm0, -0xb0(%rbp)
movsd -0x80(%rbp), %xmm0
mulsd -0x58(%rbp), %xmm0
divsd -0x68(%rbp), %xmm0
movsd %xmm0, -0xb8(%rbp)
movsd -0xb0(%rbp), %xmm0
subsd -0xb8(%rbp), %xmm0
subsd -0x50(%rbp), %xmm0
movsd -0x80(%rbp), %xmm1
subsd -0x50(%rbp), %xmm1
divsd %xmm1, %xmm0
callq 0x2200
movsd %xmm0, -0xc0(%rbp)
movsd -0x60(%rbp), %xmm0
movsd -0x50(%rbp), %xmm2
movsd -0x58(%rbp), %xmm1
mulsd -0x70(%rbp), %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd -0x68(%rbp), %xmm1
movsd -0x58(%rbp), %xmm2
addsd -0x60(%rbp), %xmm2
mulsd %xmm2, %xmm1
divsd %xmm1, %xmm0
callq 0x2200
movsd %xmm0, -0xc8(%rbp)
movsd -0x80(%rbp), %xmm0
subsd -0x68(%rbp), %xmm0
callq 0x20f0
movsd %xmm0, -0xd0(%rbp)
movsd 0x4b674(%rip), %xmm1    # 0x56030
mulsd -0x90(%rbp), %xmm1
movsd -0xa8(%rbp), %xmm2
movsd -0x10(%rbp), %xmm0
mulsd -0x18(%rbp), %xmm0
movsd 0x4cc6a(%rip), %xmm3    # 0x57648
divsd %xmm3, %xmm0
mulsd -0xd0(%rbp), %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x28(%rbp), %xmm0
mulsd -0x80(%rbp), %xmm0
movsd 0x4cc44(%rip), %xmm2    # 0x57648
divsd %xmm2, %xmm0
movsd -0xc0(%rbp), %xmm2
subsd -0xc8(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0x98(%rbp)
movsd -0x10(%rbp), %xmm1
mulsd -0x28(%rbp), %xmm1
movsd -0x90(%rbp), %xmm2
movsd 0x4b5ee(%rip), %xmm0    # 0x56030
mulsd -0xa8(%rbp), %xmm0
mulsd -0x18(%rbp), %xmm0
mulsd -0x28(%rbp), %xmm0
movsd -0x80(%rbp), %xmm3
subsd -0x50(%rbp), %xmm3
mulsd -0xd0(%rbp), %xmm3
divsd %xmm3, %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
mulsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movsd -0x10(%rbp), %xmm0
mulsd -0x18(%rbp), %xmm0
movsd 0x4cbad(%rip), %xmm2    # 0x57648
divsd %xmm2, %xmm0
mulsd -0x28(%rbp), %xmm0
divsd -0xd0(%rbp), %xmm0
addsd %xmm0, %xmm1
movsd 0x4b578(%rip), %xmm0    # 0x56030
mulsd -0x80(%rbp), %xmm0
movsd -0xc0(%rbp), %xmm2
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xe8(%rbp)
movsd -0x80(%rbp), %xmm0
mulsd -0x80(%rbp), %xmm0
movsd 0x4cb69(%rip), %xmm1    # 0x57650
divsd %xmm1, %xmm0
movsd 0x4cb15(%rip), %xmm1    # 0x57608
mulsd %xmm1, %xmm0
mulsd -0x50(%rbp), %xmm0
mulsd -0x58(%rbp), %xmm0
movsd %xmm0, -0xe0(%rbp)
movsd -0x68(%rbp), %xmm0
movsd -0x80(%rbp), %xmm1
subsd -0x50(%rbp), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, -0xf0(%rbp)
movsd -0x80(%rbp), %xmm0
subsd -0x50(%rbp), %xmm0
movsd -0x80(%rbp), %xmm2
subsd -0x50(%rbp), %xmm2
movsd -0xb0(%rbp), %xmm1
subsd -0xb8(%rbp), %xmm1
subsd -0x50(%rbp), %xmm1
movsd -0xb0(%rbp), %xmm3
subsd -0xb8(%rbp), %xmm3
subsd -0x50(%rbp), %xmm3
mulsd %xmm3, %xmm1
movq %xmm1, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x20f0
movsd -0xf0(%rbp), %xmm2
movsd -0xe8(%rbp), %xmm1
movaps %xmm0, %xmm3
movsd -0xe0(%rbp), %xmm0
mulsd %xmm3, %xmm2
divsd %xmm2, %xmm0
addsd %xmm0, %xmm1
movsd 0x4b477(%rip), %xmm0    # 0x56030
mulsd -0x80(%rbp), %xmm0
movsd -0xc8(%rbp), %xmm2
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, -0xa0(%rbp)
jmp 0xac1d
movsd -0x10(%rbp), %xmm0
mulsd -0x18(%rbp), %xmm0
mulsd -0x20(%rbp), %xmm0
movsd 0x4ca42(%rip), %xmm1    # 0x57648
divsd %xmm1, %xmm0
movsd %xmm0, -0x98(%rbp)
xorps %xmm0, %xmm0
movsd %xmm0, -0xa0(%rbp)
jmp 0xac1f
jmp 0xac21
movsd -0x98(%rbp), %xmm0
movsd -0x48(%rbp), %xmm2
movq -0x38(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax)
movsd -0xa0(%rbp), %xmm0
movsd -0x48(%rbp), %xmm2
movq -0x30(%rbp), %rax
movsd (%rax), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
movsd %xmm0, (%rax)
addq $0x100, %rsp            # imm = 0x100
popq %rbp
retq
nopl (%rax)