// File: /workspace/github_cpp_makefile_star2_O1/istellartech[P]OpenTsiolkovsky/src/rocket.cpp
// Function: RocketStage::free_flight_aerodynamic_stable(std::array<double, 14ul> const&, double)
void RocketStage::free_flight_aerodynamic_stable(const RocketStage::state& x, double t){
    flight_mode = "free_aero_stable";
    angle_of_attack_ << 0.0, 0.0, 0.0;
    vel_BODY_NEDframe_ = vel_ECEF_NEDframe_ - vel_wind_NEDframe_;
    vel_AIR_BODYframe_ << vel_BODY_NEDframe_.norm(), 0.0, 0.0;
    Vector2d azel;
    azel = azimuth_elevation(vel_BODY_NEDframe_);
    azimuth = azel[0];
    elevation = azel[1];
    // roll = roll;
    dcmNED2BODY_ = dcmNED2BODY(azimuth, elevation, roll);
    dcmECI2BODY_ = dcmECI2BODY(dcmNED2BODY_, dcmECI2NED_);
    dcmBODY2ECI_ = dcmECI2BODY_.transpose();

    //    thrust term
    force_thrust_vector << 0.0, 0.0, 0.0;
    //    aerodynamics term
    vel_AIR_BODYframe_abs = vel_AIR_BODYframe_.norm();
    mach_number = vel_AIR_BODYframe_abs / air.airspeed;
    update_from_mach_number();
    dynamic_pressure = 0.5 * air.density * vel_AIR_BODYframe_abs * vel_AIR_BODYframe_abs;
    force_axial = CA * dynamic_pressure * body_area;
    force_normal_pitch = force_normal_yaw = 0.0;
    force_air_vector_BODYframe << -force_axial, 0.0, 0.0;
    //    dv/dt
    accECI_ = 1/x[0] * (dcmBODY2ECI_ * (force_thrust_vector + force_air_vector_BODYframe))
            + gravityECI_;
}

// Assembly:
pushq %r15
pushq %r14
pushq %rbx
subq $0x100, %rsp            # imm = 0x100
movq %rsi, %r14
movq %rdi, %rbx
addq $0x230, %rdi            # imm = 0x230
movq 0x238(%rbx), %rdx
leaq 0x1554e(%rip), %rcx     # 0x28949
xorl %r15d, %r15d
movl $0x10, %r8d
xorl %esi, %esi
callq 0x5540
leaq 0xc30(%rbx), %rax
leaq 0x10(%rsp), %rdi
movq %rax, (%rdi)
movq %r15, 0x8(%rdi)
movl $0x1, %eax
movq %rax, 0x10(%rdi)
movq %rax, 0x18(%rdi)
movq %r15, 0xc30(%rbx)
leaq 0x8(%rsp), %rsi
movq %r15, (%rsi)
callq 0x16f1a
movq %rsp, %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x16f1a
movq 0x28(%rsp), %rax
addq 0x18(%rsp), %rax
cmpq $0x3, %rax
jne 0x13b57
cmpq $0x1, 0x20(%rsp)
jne 0x13b57
movsd 0xbb8(%rbx), %xmm1
movsd 0xbc0(%rbx), %xmm2
subsd 0xbd0(%rbx), %xmm1
movsd %xmm1, 0xc18(%rbx)
subsd 0xbd8(%rbx), %xmm2
movsd %xmm2, 0xc20(%rbx)
movsd 0xbc8(%rbx), %xmm0
subsd 0xbe0(%rbx), %xmm0
movsd %xmm0, 0xc28(%rbx)
leaq 0xbe8(%rbx), %r15
mulsd %xmm1, %xmm1
mulsd %xmm2, %xmm2
mulsd %xmm0, %xmm0
addsd %xmm2, %xmm0
addsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x134e4
sqrtsd %xmm0, %xmm0
jmp 0x134e9
callq 0x52e0
leaq 0x10(%rsp), %rdi
movq %r15, (%rdi)
xorl %eax, %eax
movq %rax, 0x8(%rdi)
movl $0x1, %ecx
movq %rcx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movsd %xmm0, (%r15)
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
callq 0x16f1a
movq %rsp, %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x16f1a
movq 0x28(%rsp), %rax
addq 0x18(%rsp), %rax
cmpq $0x3, %rax
jne 0x13b57
cmpq $0x1, 0x20(%rsp)
jne 0x13b57
movsd 0xc18(%rbx), %xmm0
leaq 0x58(%rsp), %rsi
movsd %xmm0, (%rsi)
movsd 0xc20(%rbx), %xmm0
movsd %xmm0, 0x8(%rsi)
movsd 0xc28(%rbx), %xmm0
movsd %xmm0, 0x10(%rsi)
leaq 0x10(%rsp), %r15
movq %r15, %rdi
callq 0x2574b
movaps (%r15), %xmm0
movups %xmm0, 0x928(%rbx)
movaps %xmm0, %xmm1
unpckhpd %xmm0, %xmm1            # xmm1 = xmm1[1],xmm0[1]
movsd 0x938(%rbx), %xmm2
leaq 0x10(%rsp), %r15
movq %r15, %rdi
callq 0x253ad
movsd (%r15), %xmm0
movsd 0xc90(%rbx), %xmm1
movsd %xmm1, (%r15)
movsd %xmm0, 0xc90(%rbx)
movsd 0x8(%r15), %xmm1
movsd 0xc98(%rbx), %xmm2
movsd %xmm2, 0x8(%r15)
movsd %xmm1, 0xc98(%rbx)
movsd 0x10(%r15), %xmm2
movsd 0xca0(%rbx), %xmm3
movsd %xmm3, 0x10(%r15)
movsd %xmm2, 0xca0(%rbx)
movsd 0x18(%r15), %xmm3
movsd 0xca8(%rbx), %xmm4
movsd %xmm4, 0x18(%r15)
movsd %xmm3, 0xca8(%rbx)
movsd 0x20(%r15), %xmm4
movsd 0xcb0(%rbx), %xmm5
movsd %xmm5, 0x20(%r15)
movsd %xmm4, 0xcb0(%rbx)
movsd 0x28(%r15), %xmm5
movsd 0xcb8(%rbx), %xmm6
movsd %xmm6, 0x28(%r15)
movsd %xmm5, 0xcb8(%rbx)
movsd 0x30(%r15), %xmm6
movsd 0xcc0(%rbx), %xmm7
movsd %xmm7, 0x30(%r15)
movsd %xmm6, 0xcc0(%rbx)
movsd 0x38(%r15), %xmm7
movsd 0xcc8(%rbx), %xmm8
movsd %xmm8, 0x38(%r15)
movsd %xmm7, 0xcc8(%rbx)
movsd 0x40(%r15), %xmm8
movsd 0xcd0(%rbx), %xmm9
movsd %xmm9, 0x40(%r15)
movsd %xmm8, 0xcd0(%rbx)
leaq 0xb8(%rsp), %rsi
movsd %xmm0, (%rsi)
movsd %xmm1, 0x8(%rsi)
movsd %xmm2, 0x10(%rsi)
movsd %xmm3, 0x18(%rsi)
movsd %xmm4, 0x20(%rsi)
movsd %xmm5, 0x28(%rsi)
movsd %xmm6, 0x30(%rsi)
movsd %xmm7, 0x38(%rsi)
movsd %xmm8, 0x40(%rsi)
movsd 0xb28(%rbx), %xmm0
leaq 0x70(%rsp), %rdx
movsd %xmm0, (%rdx)
movsd 0xb30(%rbx), %xmm0
movsd %xmm0, 0x8(%rdx)
movsd 0xb38(%rbx), %xmm0
movsd %xmm0, 0x10(%rdx)
movsd 0xb40(%rbx), %xmm0
movsd %xmm0, 0x18(%rdx)
movsd 0xb48(%rbx), %xmm0
movsd %xmm0, 0x20(%rdx)
movsd 0xb50(%rbx), %xmm0
movsd %xmm0, 0x28(%rdx)
movsd 0xb58(%rbx), %xmm0
movsd %xmm0, 0x30(%rdx)
movsd 0xb60(%rbx), %xmm0
movsd %xmm0, 0x38(%rdx)
movsd 0xb68(%rbx), %xmm0
movsd %xmm0, 0x40(%rdx)
leaq 0x10(%rsp), %r15
movq %r15, %rdi
callq 0x25982
movsd (%r15), %xmm0
movsd 0xcd8(%rbx), %xmm1
movsd %xmm1, (%r15)
movsd %xmm0, 0xcd8(%rbx)
movsd 0x8(%r15), %xmm1
movsd 0xce0(%rbx), %xmm2
movsd %xmm2, 0x8(%r15)
movsd %xmm1, 0xce0(%rbx)
movsd 0x10(%r15), %xmm2
movsd 0xce8(%rbx), %xmm3
movsd %xmm3, 0x10(%r15)
movsd %xmm2, 0xce8(%rbx)
movsd 0x18(%r15), %xmm3
movsd 0xcf0(%rbx), %xmm4
movsd %xmm4, 0x18(%r15)
movsd %xmm3, 0xcf0(%rbx)
movsd 0x20(%r15), %xmm4
movsd 0xcf8(%rbx), %xmm5
movsd %xmm5, 0x20(%r15)
movsd %xmm4, 0xcf8(%rbx)
movsd 0x28(%r15), %xmm5
movsd 0xd00(%rbx), %xmm6
movsd %xmm6, 0x28(%r15)
movsd %xmm5, 0xd00(%rbx)
movsd 0x30(%r15), %xmm6
movsd 0xd08(%rbx), %xmm7
movsd %xmm7, 0x30(%r15)
movsd %xmm6, 0xd08(%rbx)
movsd 0x38(%r15), %xmm7
movsd 0xd10(%rbx), %xmm8
movsd %xmm8, 0x38(%r15)
movsd %xmm7, 0xd10(%rbx)
movsd 0x40(%r15), %xmm8
movsd 0xd18(%rbx), %xmm9
movsd %xmm9, 0x40(%r15)
movsd %xmm8, 0xd18(%rbx)
movsd %xmm0, 0xd20(%rbx)
movsd %xmm3, 0xd28(%rbx)
movsd %xmm6, 0xd30(%rbx)
movsd %xmm1, 0xd38(%rbx)
movsd %xmm4, 0xd40(%rbx)
movsd %xmm7, 0xd48(%rbx)
movsd %xmm2, 0xd50(%rbx)
movsd %xmm5, 0xd58(%rbx)
movsd %xmm8, 0xd60(%rbx)
leaq 0xe28(%rbx), %rax
movq %rax, (%r15)
xorl %eax, %eax
movq %rax, 0x8(%r15)
movl $0x1, %ecx
movq %rcx, 0x10(%r15)
movq %rcx, 0x18(%r15)
movq %rax, 0xe28(%rbx)
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
leaq 0x10(%rsp), %rdi
callq 0x16f1a
movq %rsp, %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x16f1a
movq 0x28(%rsp), %rax
addq 0x18(%rsp), %rax
cmpq $0x3, %rax
jne 0x13b57
cmpq $0x1, 0x20(%rsp)
jne 0x13b57
movsd 0xbe8(%rbx), %xmm1
movsd 0xbf0(%rbx), %xmm2
mulsd %xmm1, %xmm1
mulsd %xmm2, %xmm2
movsd 0xbf8(%rbx), %xmm0
mulsd %xmm0, %xmm0
addsd %xmm2, %xmm0
addsd %xmm1, %xmm0
xorpd %xmm1, %xmm1
ucomisd %xmm1, %xmm0
jb 0x13949
sqrtsd %xmm0, %xmm0
jmp 0x1394e
callq 0x52e0
movsd %xmm0, 0x7c8(%rbx)
divsd 0x900(%rbx), %xmm0
movsd %xmm0, 0x958(%rbx)
movq %rbx, %rdi
callq 0x14962
movsd 0x910(%rbx), %xmm0
mulsd 0x14372(%rip), %xmm0    # 0x27cf0
movsd 0x7c8(%rbx), %xmm1
mulsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x7d8(%rbx)
mulsd 0x7a0(%rbx), %xmm0
mulsd 0x510(%rbx), %xmm0
movsd %xmm0, 0x7e0(%rbx)
xorpd %xmm1, %xmm1
movupd %xmm1, 0x7e8(%rbx)
leaq 0xdf8(%rbx), %rax
xorpd 0x13657(%rip), %xmm0    # 0x27020
leaq 0x10(%rsp), %rdi
movq %rax, (%rdi)
xorl %eax, %eax
movq %rax, 0x8(%rdi)
movl $0x1, %ecx
movq %rcx, 0x10(%rdi)
movq %rcx, 0x18(%rdi)
movlpd %xmm0, 0xdf8(%rbx)
leaq 0x8(%rsp), %rsi
movq %rax, (%rsi)
callq 0x16f1a
movq %rsp, %rsi
movq $0x0, (%rsi)
movq %rax, %rdi
callq 0x16f1a
movq 0x28(%rsp), %rax
addq 0x18(%rsp), %rax
cmpq $0x3, %rax
jne 0x13b57
cmpq $0x1, 0x20(%rsp)
jne 0x13b57
movsd 0x135dd(%rip), %xmm0    # 0x27010
divsd (%r14), %xmm0
movsd 0xe28(%rbx), %xmm3
movsd 0xe30(%rbx), %xmm2
addsd 0xdf8(%rbx), %xmm3
addsd 0xe00(%rbx), %xmm2
movsd 0xe38(%rbx), %xmm1
addsd 0xe08(%rbx), %xmm1
movsd 0xd20(%rbx), %xmm4
mulsd %xmm3, %xmm4
movsd 0xd38(%rbx), %xmm5
mulsd %xmm2, %xmm5
addsd %xmm4, %xmm5
movsd 0xd50(%rbx), %xmm4
mulsd %xmm1, %xmm4
addsd %xmm5, %xmm4
movsd 0xd28(%rbx), %xmm5
mulsd %xmm3, %xmm5
movsd 0xd40(%rbx), %xmm6
mulsd %xmm2, %xmm6
addsd %xmm5, %xmm6
movsd 0xd58(%rbx), %xmm5
mulsd %xmm1, %xmm5
addsd %xmm6, %xmm5
mulsd 0xd30(%rbx), %xmm3
mulsd 0xd48(%rbx), %xmm2
addsd %xmm3, %xmm2
mulsd 0xd60(%rbx), %xmm1
addsd %xmm2, %xmm1
mulsd %xmm0, %xmm4
addsd 0xe58(%rbx), %xmm4
movsd %xmm4, 0x9f0(%rbx)
mulsd %xmm0, %xmm5
addsd 0xe60(%rbx), %xmm5
movsd %xmm5, 0x9f8(%rbx)
mulsd %xmm0, %xmm1
addsd 0xe68(%rbx), %xmm1
movsd %xmm1, 0xa00(%rbx)
addq $0x100, %rsp            # imm = 0x100
popq %rbx
popq %r14
popq %r15
retq
jmp 0x13b37
jmp 0x13b37
jmp 0x13b37
jmp 0x13b37
jmp 0x13b37
jmp 0x13b37
jmp 0x13b37
movq 0x28(%rsp), %rcx
addq 0x18(%rsp), %rcx
cmpq $0x3, %rcx
jne 0x13b57
cmpq $0x1, 0x20(%rsp)
jne 0x13b57
movq %rax, %rdi
callq 0x5650
leaq 0x15676(%rip), %rdi     # 0x291d4
leaq 0x156f6(%rip), %rsi     # 0x2925b
leaq 0x1571c(%rip), %rcx     # 0x29288
movl $0x6a, %edx
callq 0x5250