// File: /workspace/github_cpp_makefile_star2_O3/sus304[P]ForRocket/src/dynamics/dynamics_3dof_parachute.cpp
// Function: forrocket::Dynamics3dofParachute::operator()(std::array<double, 14ul> const&, std::array<double, 14ul>&, double)
void forrocket::Dynamics3dofParachute::operator()(const state& x, state& dx, const double t) {
    Coordinate coordinate;

    // Countup Time
    p_clock->SyncSolverTime(t);
    p_rocket->burn_clock.SyncSolverTime(t);

    // Update Flight Infomation
    coordinate.setECI2ECEF(t);

    p_rocket->position.ECI = Eigen::Map<Eigen::Vector3d>(std::vector<double>(x.begin()+0, x.begin()+3).data());
    p_rocket->position.ECEF = coordinate.dcm.ECI2ECEF * p_rocket->position.ECI;
    p_rocket->position.LLH = coordinate.ECEF2LLH(p_rocket->position.ECEF);

    coordinate.setECEF2NED(p_rocket->position.LLH);

    p_rocket->velocity.ECI = Eigen::Map<Eigen::Vector3d>(std::vector<double>(x.begin()+3, x.begin()+6).data());
    p_rocket->velocity.ECEF = coordinate.dcm.ECI2ECEF * (p_rocket->velocity.ECI - coordinate.dcm.EarthRotate * p_rocket->position.ECI);
    p_rocket->velocity.NED = coordinate.dcm.ECEF2NED * p_rocket->velocity.ECEF;
    double decent_velosity = p_rocket->velocity.NED(2);

    // Update Environment
    double altitude = p_rocket->position.LLH[2];
    EnvironmentAir air(altitude);
    EnvironmentAir air_sea_level(0.0);
    Eigen::Vector3d gravity_NED(0.0, 0.0, gravity(altitude));

    Eigen::Vector3d drag_NED(0.0, 0.0, -0.5 * air.density * decent_velosity * abs(decent_velosity) * p_rocket->CdS_parachute);
    Eigen::Vector3d acceleration_NED = drag_NED / (p_rocket->mass.Sum()) + gravity_NED;
    p_rocket->acceleration.ECI = coordinate.dcm.ECEF2ECI * (coordinate.dcm.NED2ECEF * acceleration_NED);

    Eigen::Vector3d wind_NED = p_wind->getNED(altitude);
    p_rocket->velocity.NED += wind_NED;
    p_rocket->velocity.ECI = coordinate.dcm.ECEF2ECI * (coordinate.dcm.NED2ECEF * p_rocket->velocity.NED) + coordinate.dcm.EarthRotate * p_rocket->position.ECI;

    dx[0] = p_rocket->velocity.ECI[0];  // vel_ECI => pos_ECI
    dx[1] = p_rocket->velocity.ECI[1];  // 
    dx[2] = p_rocket->velocity.ECI[2];  // 
    dx[3] = p_rocket->acceleration.ECI[0];  // acc_ECI => vel_ECI
    dx[4] = p_rocket->acceleration.ECI[1];  // 
    dx[5] = p_rocket->acceleration.ECI[2];  // 
    dx[6] = 0.0;  // quatdot => quat
    dx[7] = 0.0;  // 
    dx[8] = 0.0;  // 
    dx[9] = 0.0;  // 
    dx[10] = 0.0;  // angular_acceleration => angular_velocity
    dx[11] = 0.0;  // 
    dx[12] = 0.0;  // 
    dx[13] = 0.0;  // massdot => mass_prop
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x508, %rsp            # imm = 0x508
movsd %xmm0, (%rsp)
movq %rdx, 0x58(%rsp)
movq %rsi, %r15
movq %rdi, %r14
leaq 0x240(%rsp), %rbx
movq %rbx, %rdi
callq 0x150d4
movq 0x10(%r14), %rdi
movsd (%rsp), %xmm0
callq 0x1779e
movq 0x8(%r14), %rdi
movsd (%rsp), %xmm0
callq 0x1779e
movq %rbx, %rdi
movsd (%rsp), %xmm0
callq 0x15e12
leaq 0x18(%r15), %r13
leaq 0xe0(%rsp), %rbp
leaq 0x98(%rsp), %rcx
movq %rbp, %rdi
movq %r15, %rsi
movq %r13, %rdx
callq 0x228c8
movq (%rbp), %rdi
movq 0x8(%r14), %rax
movups (%rdi), %xmm0
movups %xmm0, 0x2a0(%rax)
movsd 0x10(%rdi), %xmm0
movsd %xmm0, 0x2b0(%rax)
movq 0x10(%rbp), %rsi
subq %rdi, %rsi
callq 0x5350
leaq 0x280(%rsp), %rcx
movq 0x8(%r14), %r12
movl $0x2a0, %eax            # imm = 0x2A0
addq %r12, %rax
movupd 0x2a0(%r12), %xmm0
movupd 0x2a8(%r12), %xmm4
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
movupd (%rcx), %xmm1
mulpd %xmm0, %xmm1
movupd 0x18(%rcx), %xmm0
movupd 0x30(%rcx), %xmm2
movapd %xmm4, %xmm3
unpcklpd %xmm4, %xmm3            # xmm3 = xmm3[0],xmm4[0]
mulpd %xmm0, %xmm3
addpd %xmm1, %xmm3
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulpd %xmm2, %xmm4
addpd %xmm3, %xmm4
movapd %xmm4, (%rsp)
leaq 0x290(%rsp), %rdx
movq %rdx, (%rbp)
movq %rcx, 0x10(%rbp)
movl $0x2, %ecx
movq %rcx, 0x18(%rbp)
xorl %ecx, %ecx
movq %rcx, 0x20(%rbp)
movl $0x1, %edx
movq %rdx, 0x28(%rbp)
movq %rax, 0x30(%rbp)
movq %rax, 0x40(%rbp)
movq %rcx, 0x48(%rbp)
movl $0x3, %eax
movq %rax, 0x58(%rbp)
leaq 0x98(%rsp), %rbp
leaq 0xe0(%rsp), %rsi
movq %rbp, %rdi
callq 0x1a0a4
movq 0x10(%rbp), %rax
movq 0x20(%rbp), %rcx
movupd (%rcx), %xmm0
movsd (%rax), %xmm1
movhpd 0x18(%rax), %xmm1       # xmm1 = xmm1[0],mem[0]
mulpd %xmm0, %xmm1
movsd 0x30(%rax), %xmm0
mulsd 0x10(%rcx), %xmm0
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movaps (%rsp), %xmm0
movups %xmm0, 0x2b8(%r12)
movsd %xmm2, 0x2c8(%r12)
movq 0x8(%r14), %rax
movq 0x2c8(%rax), %rcx
leaq 0x1e0(%rsp), %rdx
movq %rcx, 0x10(%rdx)
movups 0x2b8(%rax), %xmm0
movaps %xmm0, (%rdx)
leaq 0xe0(%rsp), %rbp
movq %rbp, %rdi
movq %rbx, %rsi
callq 0x162e8
movq 0x8(%r14), %rax
movaps (%rbp), %xmm0
movups %xmm0, 0x2d0(%rax)
movsd 0x10(%rbp), %xmm0
movsd %xmm0, 0x2e0(%rax)
movq 0x8(%r14), %rax
movq 0x2e0(%rax), %rcx
leaq 0x1c0(%rsp), %rsi
movq %rcx, 0x10(%rsi)
movups 0x2d0(%rax), %xmm0
movaps %xmm0, (%rsi)
movq %rbx, %rdi
callq 0x1600e
addq $0x30, %r15
leaq 0xe0(%rsp), %r12
leaq 0x98(%rsp), %rbp
movq %r12, %rdi
movq %r13, %rsi
movq %r15, %rdx
movq %rbp, %rcx
callq 0x228c8
movq (%r12), %rdi
movq 0x8(%r14), %rax
movups (%rdi), %xmm0
movups %xmm0, 0x2e8(%rax)
movsd 0x10(%rdi), %xmm0
movsd %xmm0, 0x2f8(%rax)
movq 0x10(%r12), %rsi
subq %rdi, %rsi
callq 0x5350
movq 0x8(%r14), %r13
leaq 0x4c0(%rsp), %rdx
movl $0x2a0, %eax            # imm = 0x2A0
addq %r13, %rax
movl $0x2a0, %ecx            # imm = 0x2A0
movq %rcx, 0x28(%rsp)
leaq 0x280(%rsp), %rcx
movq %rcx, (%rbp)
leaq 0xa0(%rsp), %rcx
movupd 0x2a0(%r13), %xmm0
movupd 0x2a8(%r13), %xmm1
movupd 0x2e8(%r13), %xmm5
movsd 0x2f8(%r13), %xmm2
movsd %xmm2, (%rsp)
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
movupd (%rdx), %xmm2
mulpd %xmm0, %xmm2
movupd 0x18(%rdx), %xmm0
movupd 0x30(%rdx), %xmm3
movapd %xmm1, %xmm4
unpcklpd %xmm1, %xmm4            # xmm4 = xmm4[0],xmm1[0]
mulpd %xmm0, %xmm4
addpd %xmm2, %xmm4
unpckhpd %xmm1, %xmm1            # xmm1 = xmm1[1,1]
mulpd %xmm3, %xmm1
addpd %xmm4, %xmm1
subpd %xmm1, %xmm5
movapd %xmm5, 0x10(%rsp)
movupd %xmm5, (%rcx)
leaq 0x4d0(%rsp), %rcx
movq %rcx, (%r12)
movq %rdx, 0x10(%r12)
movl $0x2, %ebp
movq %rbp, 0x18(%r12)
xorl %ecx, %ecx
movq %rcx, 0x20(%r12)
movl $0x1, %edx
movq %rdx, 0x28(%r12)
movq %rax, 0x30(%r12)
movq %rax, 0x40(%r12)
movq %rcx, 0x48(%r12)
xorl %ebx, %ebx
movl $0x3, %eax
movq %rax, 0x58(%r12)
leaq 0x148(%rsp), %r12
leaq 0xe0(%rsp), %r15
movq %r12, %rdi
movq %r15, %rsi
callq 0x1a0a4
movq 0x10(%r12), %rax
movq 0x20(%r12), %rcx
movsd (%rax), %xmm0
movsd 0x18(%rax), %xmm1
mulsd (%rcx), %xmm0
mulsd 0x8(%rcx), %xmm1
movsd 0x30(%rax), %xmm2
mulsd 0x10(%rcx), %xmm2
addsd %xmm1, %xmm2
addsd %xmm0, %xmm2
movsd (%rsp), %xmm0
subsd %xmm2, %xmm0
leaq 0xa0(%rsp), %rax
movsd %xmm0, 0x10(%rax)
leaq 0x280(%rsp), %rsi
movq %rsi, 0x18(%rax)
movq %rax, 0x28(%rax)
movl $0x3, %ecx
movq %rcx, 0x38(%rax)
movapd 0x10(%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
leaq 0x290(%rsp), %rdx
movupd -0x10(%rdx), %xmm0
mulpd %xmm1, %xmm0
movupd 0x8(%rdx), %xmm1
movupd 0x20(%rdx), %xmm2
movupd 0x8(%rax), %xmm3
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd %xmm1, %xmm3
addpd %xmm0, %xmm3
movupd 0x10(%rax), %xmm0
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm2, %xmm0
addpd %xmm3, %xmm0
movapd %xmm0, (%rsp)
movq %rdx, (%r15)
movq %rsi, 0x10(%r15)
movq %rbp, 0x18(%r15)
movl $0x2, %ebp
movq %rbx, 0x20(%r15)
movl $0x1, %edx
movq %rdx, 0x28(%r15)
movq %rax, 0x30(%r15)
movq %rax, 0x40(%r15)
movq %rbx, 0x48(%r15)
movq %rcx, 0x58(%r15)
leaq 0x148(%rsp), %r12
leaq 0xe0(%rsp), %r15
movq %r12, %rdi
movq %r15, %rsi
callq 0x1a0a4
movq 0x10(%r12), %rax
movq 0x20(%r12), %rcx
movupd (%rcx), %xmm0
movsd (%rax), %xmm1
movhpd 0x18(%rax), %xmm1       # xmm1 = xmm1[0],mem[0]
mulpd %xmm0, %xmm1
movsd 0x30(%rax), %xmm0
mulsd 0x10(%rcx), %xmm0
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movaps (%rsp), %xmm0
movups %xmm0, 0x300(%r13)
movsd %xmm2, 0x310(%r13)
leaq 0x2c8(%rsp), %rax
movq 0x8(%r14), %rbx
leaq 0x300(%rbx), %rcx
movupd 0x300(%rbx), %xmm0
movupd 0x308(%rbx), %xmm4
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
movupd (%rax), %xmm1
mulpd %xmm0, %xmm1
movupd 0x18(%rax), %xmm0
movupd 0x30(%rax), %xmm2
movapd %xmm4, %xmm3
unpcklpd %xmm4, %xmm3            # xmm3 = xmm3[0],xmm4[0]
mulpd %xmm0, %xmm3
addpd %xmm1, %xmm3
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulpd %xmm2, %xmm4
addpd %xmm3, %xmm4
movapd %xmm4, (%rsp)
leaq 0x2d8(%rsp), %rdx
movq %rdx, (%r15)
movq %rax, 0x10(%r15)
movq %rbp, 0x18(%r15)
xorl %eax, %eax
movq %rax, 0x20(%r15)
movl $0x1, %edx
movq %rdx, 0x28(%r15)
movq %rcx, 0x30(%r15)
movq %rcx, 0x40(%r15)
movq %rax, 0x48(%r15)
movl $0x3, %eax
movq %rax, 0x58(%r15)
leaq 0x98(%rsp), %r15
leaq 0xe0(%rsp), %r12
movq %r15, %rdi
movq %r12, %rsi
callq 0x1a0a4
movq 0x10(%r15), %rax
movq 0x20(%r15), %rcx
movupd (%rcx), %xmm0
movsd (%rax), %xmm1
movhpd 0x18(%rax), %xmm1       # xmm1 = xmm1[0],mem[0]
mulpd %xmm0, %xmm1
movsd 0x30(%rax), %xmm0
mulsd 0x10(%rcx), %xmm0
movapd %xmm1, %xmm2
unpckhpd %xmm1, %xmm2            # xmm2 = xmm2[1],xmm1[1]
addsd %xmm0, %xmm2
addsd %xmm1, %xmm2
movaps (%rsp), %xmm0
movups %xmm0, 0x318(%rbx)
movsd %xmm2, 0x328(%rbx)
movq 0x8(%r14), %rax
movsd 0x2e0(%rax), %xmm1
movsd %xmm1, 0x10(%rsp)
movsd 0x328(%rax), %xmm0
movaps %xmm0, (%rsp)
leaq 0x220(%rsp), %r13
movq %r13, %rdi
movaps %xmm1, %xmm0
callq 0x18044
leaq 0x200(%rsp), %rdi
xorps %xmm0, %xmm0
callq 0x18044
movsd 0x18c82(%rip), %xmm0    # 0x3c370
movsd 0x10(%rsp), %xmm2
movapd %xmm2, %xmm1
addsd %xmm0, %xmm1
cmpltsd 0x17acb(%rip), %xmm2    # 0x3b1d0
movapd %xmm2, %xmm3
andnpd %xmm1, %xmm3
andpd %xmm0, %xmm2
orpd %xmm3, %xmm2
mulsd %xmm2, %xmm2
movsd 0x18c57(%rip), %xmm0    # 0x3c378
divsd %xmm2, %xmm0
movsd %xmm0, 0x40(%rsp)
movsd 0x10(%r13), %xmm0
mulsd 0x18daf(%rip), %xmm0    # 0x3c4e8
movapd (%rsp), %xmm1
mulsd %xmm1, %xmm0
andpd 0x17a96(%rip), %xmm1    # 0x3b1e0
mulsd %xmm0, %xmm1
movq 0x8(%r14), %rdi
mulsd 0x4e8(%rdi), %xmm1
movapd %xmm1, (%rsp)
addq $0x210, %rdi            # imm = 0x210
callq 0x199e0
xorpd %xmm1, %xmm1
divsd %xmm0, %xmm1
addsd 0x17a55(%rip), %xmm1    # 0x3b1d0
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
leaq 0x1a0(%rsp), %rax
movapd %xmm1, (%rax)
movapd (%rsp), %xmm2
divsd %xmm0, %xmm2
addsd 0x40(%rsp), %xmm2
movsd %xmm2, 0x10(%rax)
leaq 0x430(%rsp), %rcx
leaq 0x3e8(%rsp), %rdx
movq 0x8(%r14), %rbx
movq %rcx, (%r15)
movupd (%rdx), %xmm0
movupd 0x18(%rdx), %xmm2
movupd 0x30(%rdx), %xmm3
mulpd %xmm1, %xmm0
movupd 0x8(%rax), %xmm4
movapd %xmm4, %xmm1
unpcklpd %xmm4, %xmm1            # xmm1 = xmm1[0],xmm4[0]
mulpd %xmm2, %xmm1
addpd %xmm0, %xmm1
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulpd %xmm3, %xmm4
addpd %xmm1, %xmm4
movapd %xmm4, (%rsp)
movupd %xmm4, 0x8(%r15)
leaq 0x3f8(%rsp), %rbp
movq %rbp, (%r12)
movq %rdx, 0x10(%r12)
movl $0x2, %ecx
movq %rcx, 0x18(%r12)
xorl %ecx, %ecx
movq %rcx, 0x20(%r12)
movl $0x1, %edx
movq %rdx, 0x28(%r12)
movq %rax, 0x30(%r12)
movq %rax, 0x40(%r12)
movq %rcx, 0x48(%r12)
movl $0x3, %eax
movq %rax, 0x58(%r12)
leaq 0x148(%rsp), %r13
leaq 0xe0(%rsp), %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0x1a0a4
movq 0x10(%r13), %rax
movq 0x20(%r13), %rcx
movsd (%rax), %xmm0
movsd 0x18(%rax), %xmm1
mulsd (%rcx), %xmm0
mulsd 0x8(%rcx), %xmm1
movsd 0x30(%rax), %xmm2
mulsd 0x10(%rcx), %xmm2
addsd %xmm1, %xmm2
addsd %xmm0, %xmm2
movsd %xmm2, 0x18(%r15)
leaq 0x430(%rsp), %rdx
movq %rdx, 0x20(%r15)
leaq 0xa0(%rsp), %rcx
movq %rcx, 0x30(%r15)
movl $0x3, %eax
movq %rax, 0x40(%r15)
movapd (%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
movupd 0x38(%rbp), %xmm0
mulpd %xmm1, %xmm0
movupd 0x50(%rbp), %xmm1
movupd 0x68(%rbp), %xmm2
movupd 0x10(%r15), %xmm3
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd %xmm1, %xmm3
addpd %xmm0, %xmm3
movupd 0x18(%r15), %xmm0
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm2, %xmm0
addpd %xmm3, %xmm0
movapd %xmm0, (%rsp)
leaq 0x440(%rsp), %rbp
movq %rbp, (%r12)
movq %rdx, 0x10(%r12)
movl $0x2, %edx
movq %rdx, 0x18(%r12)
xorl %edx, %edx
movq %rdx, 0x20(%r12)
movl $0x1, %esi
movq %rsi, 0x28(%r12)
movq %rcx, 0x30(%r12)
movq %rcx, 0x40(%r12)
movq %rdx, 0x48(%r12)
movq %rax, 0x58(%r12)
leaq 0x148(%rsp), %r13
leaq 0xe0(%rsp), %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0x1a0a4
movq 0x10(%r13), %rax
movq 0x20(%r13), %rcx
movsd (%rax), %xmm0
movhpd 0x18(%rax), %xmm0       # xmm0 = xmm0[0],mem[0]
movupd (%rcx), %xmm1
movsd 0x30(%rax), %xmm2
mulsd 0x10(%rcx), %xmm2
mulpd %xmm1, %xmm0
movapd %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
addsd %xmm2, %xmm1
addsd %xmm0, %xmm1
movaps (%rsp), %xmm0
movups %xmm0, 0x358(%rbx)
movsd %xmm1, 0x368(%rbx)
movq 0x18(%r14), %rsi
leaq 0x180(%rsp), %r13
movq %r13, %rdi
movsd 0x10(%rsp), %xmm0
callq 0x18628
movq 0x8(%r14), %rax
movupd 0x318(%rax), %xmm0
addpd (%r13), %xmm0
movupd %xmm0, 0x318(%rax)
movsd 0x10(%r13), %xmm0
addsd 0x328(%rax), %xmm0
movsd %xmm0, 0x328(%rax)
movq 0x8(%r14), %rbx
leaq 0x318(%rbx), %rax
addq %rbx, 0x28(%rsp)
leaq 0x430(%rsp), %rcx
movq %rcx, (%r15)
movupd 0x318(%rbx), %xmm0
movupd 0x320(%rbx), %xmm4
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
movupd -0x58(%rbp), %xmm1
mulpd %xmm0, %xmm1
movupd -0x40(%rbp), %xmm0
movupd -0x28(%rbp), %xmm2
movapd %xmm4, %xmm3
unpcklpd %xmm4, %xmm3            # xmm3 = xmm3[0],xmm4[0]
mulpd %xmm0, %xmm3
addpd %xmm1, %xmm3
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulpd %xmm2, %xmm4
addpd %xmm3, %xmm4
movapd %xmm4, (%rsp)
movupd %xmm4, 0x8(%r15)
leaq 0x3f8(%rsp), %rcx
movq %rcx, (%r12)
leaq 0x3e8(%rsp), %rcx
movq %rcx, 0x10(%r12)
movl $0x2, %ecx
movq %rcx, 0x18(%r12)
xorl %ecx, %ecx
movq %rcx, 0x20(%r12)
movl $0x1, %edx
movq %rdx, 0x28(%r12)
movq %rax, 0x30(%r12)
movq %rax, 0x40(%r12)
movq %rcx, 0x48(%r12)
movl $0x3, %eax
movq %rax, 0x58(%r12)
leaq 0x148(%rsp), %r13
leaq 0xe0(%rsp), %r12
movq %r13, %rdi
movq %r12, %rsi
callq 0x1a0a4
movq 0x10(%r13), %rax
movq 0x20(%r13), %rcx
movsd (%rax), %xmm0
movsd 0x18(%rax), %xmm1
mulsd (%rcx), %xmm0
mulsd 0x8(%rcx), %xmm1
movsd 0x30(%rax), %xmm2
mulsd 0x10(%rcx), %xmm2
addsd %xmm1, %xmm2
addsd %xmm0, %xmm2
movsd %xmm2, 0x18(%r15)
leaq 0x430(%rsp), %rcx
movq %rcx, 0x20(%r15)
leaq 0xa0(%rsp), %rdx
movq %rdx, 0x30(%r15)
movl $0x3, %eax
movq %rax, 0x40(%r15)
movapd (%rsp), %xmm1
unpcklpd %xmm1, %xmm1            # xmm1 = xmm1[0,0]
movupd -0x10(%rbp), %xmm0
mulpd %xmm1, %xmm0
movupd 0x8(%rbp), %xmm1
movupd 0x20(%rbp), %xmm2
movupd 0x10(%r15), %xmm3
unpcklpd %xmm3, %xmm3            # xmm3 = xmm3[0,0]
mulpd %xmm1, %xmm3
addpd %xmm0, %xmm3
movupd 0x18(%r15), %xmm0
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
mulpd %xmm2, %xmm0
addpd %xmm3, %xmm0
movapd %xmm0, 0x30(%rsp)
movq %rbp, (%r12)
movq %rcx, 0x10(%r12)
movl $0x2, %ecx
movq %rcx, 0x18(%r12)
xorl %esi, %esi
movq %rsi, 0x20(%r12)
movl $0x1, %r13d
movq %r13, 0x28(%r12)
movq %rdx, 0x30(%r12)
movq %rdx, 0x40(%r12)
movq %rsi, 0x48(%r12)
xorl %ebp, %ebp
movq %rax, 0x58(%r12)
leaq 0x148(%rsp), %r12
leaq 0xe0(%rsp), %r15
movq %r12, %rdi
movq %r15, %rsi
callq 0x1a0a4
movq 0x10(%r12), %rax
movq 0x20(%r12), %rcx
movsd (%rax), %xmm0
movaps %xmm0, 0x70(%rsp)
movsd 0x18(%rax), %xmm0
movaps %xmm0, 0x40(%rsp)
movsd 0x30(%rax), %xmm0
movaps %xmm0, (%rsp)
movsd (%rcx), %xmm0
movaps %xmm0, 0x60(%rsp)
movsd 0x8(%rcx), %xmm0
movaps %xmm0, 0x80(%rsp)
movsd 0x10(%rcx), %xmm0
movaps %xmm0, 0x10(%rsp)
movupd 0x2a0(%rbx), %xmm0
movupd 0x2a8(%rbx), %xmm4
unpcklpd %xmm0, %xmm0            # xmm0 = xmm0[0,0]
leaq 0x4d0(%rsp), %rax
movupd -0x10(%rax), %xmm1
mulpd %xmm0, %xmm1
movupd 0x8(%rax), %xmm0
movupd 0x20(%rax), %xmm2
movapd %xmm4, %xmm3
unpcklpd %xmm4, %xmm3            # xmm3 = xmm3[0],xmm4[0]
mulpd %xmm0, %xmm3
addpd %xmm1, %xmm3
unpckhpd %xmm4, %xmm4            # xmm4 = xmm4[1,1]
mulpd %xmm2, %xmm4
addpd %xmm3, %xmm4
addpd 0x30(%rsp), %xmm4
movapd %xmm4, 0x30(%rsp)
movq %rax, (%r15)
leaq 0x4c0(%rsp), %rax
movq %rax, 0x10(%r15)
movl $0x2, %eax
movq %rax, 0x18(%r15)
movq %rbp, 0x20(%r15)
movq %r13, 0x28(%r15)
movq 0x28(%rsp), %rax
movq %rax, 0x30(%r15)
movq %rax, 0x40(%r15)
movq %rbp, 0x48(%r15)
movl $0x3, %eax
movq %rax, 0x58(%r15)
leaq 0x98(%rsp), %r15
leaq 0xe0(%rsp), %rsi
movq %r15, %rdi
callq 0x1a0a4
movq 0x10(%r15), %rax
movq 0x20(%r15), %rcx
movapd 0x70(%rsp), %xmm3
movhpd (%rax), %xmm3           # xmm3 = xmm3[0],mem[0]
movapd 0x60(%rsp), %xmm0
movhpd (%rcx), %xmm0           # xmm0 = xmm0[0],mem[0]
movapd 0x40(%rsp), %xmm2
movhpd 0x18(%rax), %xmm2       # xmm2 = xmm2[0],mem[0]
movapd 0x80(%rsp), %xmm1
movhpd 0x8(%rcx), %xmm1        # xmm1 = xmm1[0],mem[0]
mulpd %xmm3, %xmm0
mulpd %xmm2, %xmm1
movapd %xmm1, %xmm2
movapd (%rsp), %xmm3
movhpd 0x30(%rax), %xmm3       # xmm3 = xmm3[0],mem[0]
movapd 0x10(%rsp), %xmm1
movhpd 0x10(%rcx), %xmm1       # xmm1 = xmm1[0],mem[0]
mulpd %xmm3, %xmm1
addpd %xmm2, %xmm1
addpd %xmm0, %xmm1
movapd %xmm1, %xmm0
unpckhpd %xmm1, %xmm0            # xmm0 = xmm0[1],xmm1[1]
addsd %xmm1, %xmm0
movaps 0x30(%rsp), %xmm1
movups %xmm1, 0x2e8(%rbx)
movsd %xmm0, 0x2f8(%rbx)
movq 0x8(%r14), %rax
movsd 0x2e8(%rax), %xmm0
movq 0x58(%rsp), %rcx
movsd %xmm0, (%rcx)
movsd 0x2f0(%rax), %xmm0
movsd %xmm0, 0x8(%rcx)
movsd 0x2f8(%rax), %xmm0
movsd %xmm0, 0x10(%rcx)
movsd 0x358(%rax), %xmm0
movsd %xmm0, 0x18(%rcx)
movsd 0x360(%rax), %xmm0
movsd %xmm0, 0x20(%rcx)
movsd 0x368(%rax), %xmm0
movsd %xmm0, 0x28(%rcx)
xorps %xmm0, %xmm0
movups %xmm0, 0x30(%rcx)
movups %xmm0, 0x40(%rcx)
movups %xmm0, 0x50(%rcx)
movups %xmm0, 0x60(%rcx)
addq $0x508, %rsp            # imm = 0x508
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
nop