// File: istellartech[P]OpenTsiolkovsky/src/rocket.cpp
// Function: RocketStage::power_flight_3dof(std::array<double, 14ul> const&, double)
void RocketStage::power_flight_3dof(const RocketStage::state& x, double t){
    flight_mode = "power_3DoF";
    // dcmNED2BODY_ = dcmNED2BODY(azimuth, elevation, roll);
    Matrix3d dcmNAVI2BODY_ = this->quatNAVI2BODY(t).toRotationMatrix();
    Matrix3d dcmNED2NAVI_ = dcmNED2BODY(azimuth_target, elevation_target, roll_target);
    dcmNED2BODY_ = dcmNAVI2BODY_ * dcmNED2NAVI_;
    Vector3d azelro = azimuth_elevation_roll(dcmNED2BODY_);
    elevation = azelro[1];
    azimuth = ((deg2rad(90.0) - elevation_target < 1e-9) && (deg2rad(90.0) - elevation < 1e-9))? azimuth_target : azelro[0];
    roll = ((deg2rad(90.0) - elevation_target < 1e-9) && (deg2rad(90.0) - elevation < 1e-9))? roll_target : azelro[2];
    vel_AIR_BODYframe_ = vel_AIR_BODYframe(dcmNED2BODY_, vel_ECEF_NEDframe_, vel_wind_NEDframe_);
    angle_of_attack_ = angle_of_attack(vel_AIR_BODYframe_);
    dcmECI2BODY_ = dcmECI2BODY(dcmNED2BODY_, dcmECI2NED_);
    dcmBODY2ECI_ = dcmECI2BODY_.transpose();

    //    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_yaw   = CN_yaw   * dynamic_pressure * body_area;
    force_normal_pitch = CN_pitch * dynamic_pressure * body_area;
    force_air_vector_BODYframe << - force_axial, - force_normal_yaw, - force_normal_pitch;

    //    thrust term
    double dXt = pos_Controller - pos_CG;
    double dYt = Ycg_offset - Yt_offset;
    double dZt = Zcg_offset - Zt_offset;
    double dXp_yaw = pos_CG - pos_CP_yaw;
    double dXp_pitch = pos_CG - pos_CP_pitch;
    double dYp = Ycp_offset - Ycg_offset;
    double dZp = Zcp_offset - Zcg_offset;
    double term_yaw   = (- force_air_vector_BODYframe[1] * dXp_yaw + force_air_vector_BODYframe[0] * dYp)
                       / thrust / sqrt(dXt * dXt + dYt * dYt);
    double term_pitch = (- force_air_vector_BODYframe[2] * dXp_pitch + force_air_vector_BODYframe[0] * dZp)
                       / thrust / sqrt(dXt * dXt + dZt * dZt);
    double gimbal_angle_yaw_0;
    if ( is_consider_neutrality 
            && term_yaw < 1 && term_yaw > -1
            && term_pitch < 1 && term_pitch > -1 ) {
        gimbal_angle_yaw_0 = asin(term_yaw) - atan2(dYt, dXt);
        gimbal_angle_pitch = asin(term_pitch) - atan2(dZt, dXt);
        if ( gimbal_angle_yaw_0 < pi/2 && gimbal_angle_yaw_0 > -pi/2
                && gimbal_angle_pitch < pi/2 && gimbal_angle_pitch > -pi/2 ) {
            // Consider the compound angle
            gimbal_angle_yaw = atan(tan(gimbal_angle_yaw_0) * cos(gimbal_angle_pitch));
            force_thrust_vector << thrust * cos(gimbal_angle_yaw) * cos(gimbal_angle_pitch),
                                 - thrust * sin(gimbal_angle_yaw),
                                 - thrust * cos(gimbal_angle_yaw) * sin(gimbal_angle_pitch);  // body coordinate
        } else {
            gimbal_angle_yaw = gimbal_angle_pitch = 0.0;
            force_thrust_vector << thrust, 0.0, 0.0;  // body coordinate
        }
    } else {
        gimbal_angle_yaw = gimbal_angle_pitch = 0.0;
        force_thrust_vector << thrust, 0.0, 0.0;  // body coordinate
    }
    //    dv/dt
    accECI_ = 1/x[0] * (dcmBODY2ECI_ * (force_thrust_vector + force_air_vector_BODYframe))
            + gravityECI_;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x630, %rsp            # imm = 0x630
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movsd %xmm0, -0x18(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0x4e8(%rbp)
addq $0x230, %rdi            # imm = 0x230
leaq 0x3a7be(%rip), %rsi     # 0x53c2f
callq 0x6600
movq -0x4e8(%rbp), %rsi
movsd -0x18(%rbp), %xmm0
leaq -0x80(%rbp), %rdi
callq 0x1b8b0
leaq -0x60(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x207e0
movq -0x4e8(%rbp), %rax
movsd 0x940(%rax), %xmm0
movsd 0x948(%rax), %xmm1
movsd 0x950(%rax), %xmm2
leaq -0xc8(%rbp), %rdi
callq 0x4bb40
leaq -0x120(%rbp), %rdi
leaq -0x60(%rbp), %rsi
leaq -0xc8(%rbp), %rdx
callq 0x20c00
movq -0x4e8(%rbp), %rdi
addq $0xc90, %rdi            # imm = 0xC90
leaq -0x120(%rbp), %rsi
callq 0x20c50
movq -0x4e8(%rbp), %rsi
addq $0xc90, %rsi            # imm = 0xC90
leaq -0x180(%rbp), %rdi
callq 0x203a0
leaq -0x138(%rbp), %rdi
leaq -0x180(%rbp), %rsi
callq 0x4c120
leaq -0x138(%rbp), %rdi
movl $0x1, %esi
callq 0x1de40
movq %rax, %rcx
movq -0x4e8(%rbp), %rax
movsd (%rcx), %xmm0
movsd %xmm0, 0x930(%rax)
movsd 0x39908(%rip), %xmm0    # 0x52e58
callq 0x1e000
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
subsd 0x948(%rax), %xmm1
movsd 0x398d9(%rip), %xmm0    # 0x52e48
ucomisd %xmm1, %xmm0
jbe 0x195bb
movsd 0x398db(%rip), %xmm0    # 0x52e58
callq 0x1e000
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
subsd 0x930(%rax), %xmm1
movsd 0x398ac(%rip), %xmm0    # 0x52e48
ucomisd %xmm1, %xmm0
jbe 0x195bb
movq -0x4e8(%rbp), %rax
movsd 0x940(%rax), %xmm0
movsd %xmm0, -0x4f0(%rbp)
jmp 0x195d7
leaq -0x138(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x1de40
movsd (%rax), %xmm0
movsd %xmm0, -0x4f0(%rbp)
movq -0x4e8(%rbp), %rax
movsd -0x4f0(%rbp), %xmm0
movsd %xmm0, 0x928(%rax)
movsd 0x39862(%rip), %xmm0    # 0x52e58
callq 0x1e000
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
subsd 0x948(%rax), %xmm1
movsd 0x39833(%rip), %xmm0    # 0x52e48
ucomisd %xmm1, %xmm0
jbe 0x19661
movsd 0x39835(%rip), %xmm0    # 0x52e58
callq 0x1e000
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
subsd 0x930(%rax), %xmm1
movsd 0x39806(%rip), %xmm0    # 0x52e48
ucomisd %xmm1, %xmm0
jbe 0x19661
movq -0x4e8(%rbp), %rax
movsd 0x950(%rax), %xmm0
movsd %xmm0, -0x4f8(%rbp)
jmp 0x1967e
leaq -0x138(%rbp), %rdi
movl $0x2, %esi
callq 0x1de40
movsd (%rax), %xmm0
movsd %xmm0, -0x4f8(%rbp)
movq -0x4e8(%rbp), %rsi
movsd -0x4f8(%rbp), %xmm0
movsd %xmm0, 0x938(%rsi)
addq $0xc90, %rsi            # imm = 0xC90
movq %rsi, -0x550(%rbp)
leaq -0x1e0(%rbp), %rdi
movq %rdi, -0x580(%rbp)
callq 0x203a0
movq -0x4e8(%rbp), %rsi
addq $0xbb8, %rsi            # imm = 0xBB8
leaq -0x1f8(%rbp), %rdi
movq %rdi, -0x578(%rbp)
callq 0x1f0e0
movq -0x4e8(%rbp), %rsi
addq $0xbd0, %rsi            # imm = 0xBD0
leaq -0x210(%rbp), %rdi
movq %rdi, -0x570(%rbp)
callq 0x1f0e0
movq -0x580(%rbp), %rsi
movq -0x578(%rbp), %rdx
movq -0x570(%rbp), %rcx
leaq -0x198(%rbp), %rdi
movq %rdi, -0x568(%rbp)
callq 0x4b820
movq -0x568(%rbp), %rsi
movq -0x4e8(%rbp), %rdi
addq $0xbe8, %rdi            # imm = 0xBE8
movq %rdi, -0x528(%rbp)
callq 0x20420
movq -0x528(%rbp), %rsi
leaq -0x240(%rbp), %rdi
movq %rdi, -0x560(%rbp)
callq 0x1f0e0
movq -0x560(%rbp), %rsi
leaq -0x228(%rbp), %rdi
movq %rdi, -0x558(%rbp)
callq 0x4b8b0
movq -0x558(%rbp), %rsi
movq -0x4e8(%rbp), %rdi
addq $0xc30, %rdi            # imm = 0xC30
callq 0x20420
movq -0x550(%rbp), %rsi
leaq -0x2d0(%rbp), %rdi
movq %rdi, -0x548(%rbp)
callq 0x203a0
movq -0x4e8(%rbp), %rsi
addq $0xb28, %rsi            # imm = 0xB28
leaq -0x318(%rbp), %rdi
movq %rdi, -0x540(%rbp)
callq 0x203a0
movq -0x548(%rbp), %rsi
movq -0x540(%rbp), %rdx
leaq -0x288(%rbp), %rdi
movq %rdi, -0x538(%rbp)
callq 0x4c2f0
movq -0x538(%rbp), %rsi
movq -0x4e8(%rbp), %rdi
addq $0xcd8, %rdi            # imm = 0xCD8
movq %rdi, -0x530(%rbp)
callq 0x20370
movq -0x530(%rbp), %rdi
callq 0x20450
movq -0x4e8(%rbp), %rdi
movq %rax, -0x320(%rbp)
addq $0xd20, %rdi            # imm = 0xD20
leaq -0x320(%rbp), %rsi
callq 0x20480
movq -0x528(%rbp), %rdi
callq 0x205d0
movq -0x4e8(%rbp), %rdi
movsd %xmm0, 0x7c8(%rdi)
movsd 0x7c8(%rdi), %xmm0
movsd 0x900(%rdi), %xmm1
divsd %xmm1, %xmm0
movsd %xmm0, 0x958(%rdi)
callq 0x1b340
movq -0x4e8(%rbp), %rax
movsd 0x7c8(%rax), %xmm1
movsd 0x910(%rax), %xmm0
movsd 0x395cc(%rip), %xmm2    # 0x52e60
mulsd %xmm2, %xmm0
mulsd %xmm1, %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, 0x7d8(%rax)
movsd 0x7a0(%rax), %xmm0
movsd 0x7d8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd 0x510(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x7e0(%rax)
movsd 0x7b0(%rax), %xmm0
movsd 0x7d8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd 0x510(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x7f0(%rax)
movsd 0x7a8(%rax), %xmm0
movsd 0x7d8(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd 0x510(%rax), %xmm1
mulsd %xmm1, %xmm0
movsd %xmm0, 0x7e8(%rax)
movq %rax, %rsi
addq $0xdf8, %rsi            # imm = 0xDF8
movsd 0x7e0(%rax), %xmm0
movapd 0x39706(%rip), %xmm1    # 0x53040
movaps %xmm1, -0x520(%rbp)
pxor %xmm1, %xmm0
movlpd %xmm0, -0x348(%rbp)
leaq -0x340(%rbp), %rdi
movq %rdi, -0x508(%rbp)
leaq -0x348(%rbp), %rdx
callq 0x1e1e0
movq -0x4e8(%rbp), %rax
movaps -0x520(%rbp), %xmm1
movq -0x508(%rbp), %rdi
movsd 0x7f0(%rax), %xmm0
pxor %xmm1, %xmm0
movlpd %xmm0, -0x350(%rbp)
leaq -0x350(%rbp), %rsi
callq 0x1e220
movq %rax, -0x500(%rbp)
jmp 0x199a5
movq -0x500(%rbp), %rdi
movq -0x4e8(%rbp), %rax
movsd 0x7e8(%rax), %xmm0
movaps 0x3967e(%rip), %xmm1    # 0x53040
pxor %xmm1, %xmm0
movlpd %xmm0, -0x368(%rbp)
leaq -0x368(%rbp), %rsi
callq 0x1e220
jmp 0x199dc
leaq -0x340(%rbp), %rdi
callq 0x1e390
movq -0x4e8(%rbp), %rdi
movsd 0x990(%rdi), %xmm0
subsd 0x978(%rdi), %xmm0
movsd %xmm0, -0x370(%rbp)
movsd 0x6d0(%rdi), %xmm0
subsd 0x700(%rdi), %xmm0
movsd %xmm0, -0x378(%rbp)
movsd 0x6d8(%rdi), %xmm0
subsd 0x708(%rdi), %xmm0
movsd %xmm0, -0x380(%rbp)
movsd 0x978(%rdi), %xmm0
subsd 0x988(%rdi), %xmm0
movsd %xmm0, -0x388(%rbp)
movsd 0x978(%rdi), %xmm0
subsd 0x980(%rdi), %xmm0
movsd %xmm0, -0x390(%rbp)
movsd 0x6e8(%rdi), %xmm0
subsd 0x6d0(%rdi), %xmm0
movsd %xmm0, -0x398(%rbp)
movsd 0x6f0(%rdi), %xmm0
subsd 0x6d8(%rdi), %xmm0
movsd %xmm0, -0x3a0(%rbp)
addq $0xdf8, %rdi            # imm = 0xDF8
movl $0x1, %esi
callq 0x1de40
movq -0x4e8(%rbp), %rdi
movsd (%rax), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, -0x5b0(%rbp)
movsd -0x388(%rbp), %xmm0
movsd %xmm0, -0x5a8(%rbp)
addq $0xdf8, %rdi            # imm = 0xDF8
xorl %eax, %eax
movl %eax, %esi
callq 0x1de40
movsd -0x5b0(%rbp), %xmm0
movsd -0x5a8(%rbp), %xmm2
movq %rax, %rcx
movq -0x4e8(%rbp), %rax
movsd (%rcx), %xmm1
mulsd -0x398(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
divsd 0x760(%rax), %xmm0
movsd %xmm0, -0x5a0(%rbp)
movsd -0x370(%rbp), %xmm0
movsd -0x370(%rbp), %xmm2
movsd -0x378(%rbp), %xmm1
mulsd -0x378(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x6390
movq -0x4e8(%rbp), %rdi
movaps %xmm0, %xmm1
movsd -0x5a0(%rbp), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, -0x3a8(%rbp)
addq $0xdf8, %rdi            # imm = 0xDF8
movl $0x2, %esi
callq 0x1de40
movq -0x4e8(%rbp), %rdi
movsd (%rax), %xmm0
movq %xmm0, %rax
movabsq $-0x8000000000000000, %rcx # imm = 0x8000000000000000
xorq %rcx, %rax
movq %rax, %xmm0
movsd %xmm0, -0x598(%rbp)
movsd -0x390(%rbp), %xmm0
movsd %xmm0, -0x590(%rbp)
addq $0xdf8, %rdi            # imm = 0xDF8
xorl %eax, %eax
movl %eax, %esi
callq 0x1de40
movsd -0x598(%rbp), %xmm0
movsd -0x590(%rbp), %xmm2
movq %rax, %rcx
movq -0x4e8(%rbp), %rax
movsd (%rcx), %xmm1
mulsd -0x3a0(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
divsd 0x760(%rax), %xmm0
movsd %xmm0, -0x588(%rbp)
movsd -0x370(%rbp), %xmm0
movsd -0x370(%rbp), %xmm2
movsd -0x380(%rbp), %xmm1
mulsd -0x380(%rbp), %xmm1
mulsd %xmm2, %xmm0
addsd %xmm1, %xmm0
callq 0x6390
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
movsd -0x588(%rbp), %xmm0
divsd %xmm1, %xmm0
movsd %xmm0, -0x3b0(%rbp)
testb $0x1, 0x680(%rax)
je 0x1a09d
movsd 0x383cc(%rip), %xmm0    # 0x52040
ucomisd -0x3a8(%rbp), %xmm0
jbe 0x1a09d
movsd -0x3a8(%rbp), %xmm0
movsd 0x391d6(%rip), %xmm1    # 0x52e68
ucomisd %xmm1, %xmm0
jbe 0x1a09d
movsd 0x3839c(%rip), %xmm0    # 0x52040
ucomisd -0x3b0(%rbp), %xmm0
jbe 0x1a09d
movsd -0x3b0(%rbp), %xmm0
movsd 0x391a6(%rip), %xmm1    # 0x52e68
ucomisd %xmm1, %xmm0
jbe 0x1a09d
movsd -0x3a8(%rbp), %xmm0
callq 0x6710
movsd %xmm0, -0x5c0(%rbp)
movsd -0x378(%rbp), %xmm0
movsd -0x370(%rbp), %xmm1
callq 0x60c0
movaps %xmm0, %xmm1
movsd -0x5c0(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, -0x3b8(%rbp)
movsd -0x3b0(%rbp), %xmm0
callq 0x6710
movsd %xmm0, -0x5b8(%rbp)
movsd -0x380(%rbp), %xmm0
movsd -0x370(%rbp), %xmm1
callq 0x60c0
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
movsd -0x5b8(%rbp), %xmm0
subsd %xmm1, %xmm0
movsd %xmm0, 0x968(%rax)
movsd 0x39113(%rip), %xmm0    # 0x52e70
ucomisd -0x3b8(%rbp), %xmm0
jbe 0x19fdf
movsd -0x3b8(%rbp), %xmm0
movsd 0x390fd(%rip), %xmm1    # 0x52e78
ucomisd %xmm1, %xmm0
jbe 0x19fdf
movq -0x4e8(%rbp), %rax
movsd 0x390dc(%rip), %xmm0    # 0x52e70
ucomisd 0x968(%rax), %xmm0
jbe 0x19fdf
movq -0x4e8(%rbp), %rax
movsd 0x968(%rax), %xmm0
movsd 0x390bf(%rip), %xmm1    # 0x52e78
ucomisd %xmm1, %xmm0
jbe 0x19fdf
movsd -0x3b8(%rbp), %xmm0
callq 0x62b0
movq -0x4e8(%rbp), %rax
movsd %xmm0, -0x5f8(%rbp)
movsd 0x968(%rax), %xmm0
callq 0x6810
movaps %xmm0, %xmm1
movsd -0x5f8(%rbp), %xmm0
mulsd %xmm1, %xmm0
callq 0x63c0
movq -0x4e8(%rbp), %rax
movsd %xmm0, 0x970(%rax)
movq %rax, %rcx
addq $0xe28, %rcx            # imm = 0xE28
movq %rcx, -0x5e8(%rbp)
movsd 0x760(%rax), %xmm0
movsd %xmm0, -0x5f0(%rbp)
movsd 0x970(%rax), %xmm0
callq 0x6810
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
movsd -0x5f0(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x5e0(%rbp)
movsd 0x968(%rax), %xmm0
callq 0x6810
movq -0x5e8(%rbp), %rsi
movaps %xmm0, %xmm1
movsd -0x5e0(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x3e0(%rbp)
leaq -0x3d8(%rbp), %rdi
movq %rdi, -0x5d8(%rbp)
leaq -0x3e0(%rbp), %rdx
callq 0x1e1e0
movq -0x4e8(%rbp), %rax
movsd 0x760(%rax), %xmm0
movaps 0x3918a(%rip), %xmm1    # 0x53040
pxor %xmm1, %xmm0
movsd %xmm0, -0x5d0(%rbp)
movsd 0x970(%rax), %xmm0
callq 0x6120
movq -0x5d8(%rbp), %rdi
movaps %xmm0, %xmm1
movsd -0x5d0(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x3e8(%rbp)
leaq -0x3e8(%rbp), %rsi
callq 0x1e220
movq %rax, -0x5c8(%rbp)
jmp 0x19f02
movq -0x4e8(%rbp), %rax
movsd 0x760(%rax), %xmm0
movaps 0x39128(%rip), %xmm1    # 0x53040
pxor %xmm1, %xmm0
movsd %xmm0, -0x608(%rbp)
movsd 0x970(%rax), %xmm0
callq 0x6810
movq -0x4e8(%rbp), %rax
movaps %xmm0, %xmm1
movsd -0x608(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x600(%rbp)
movsd 0x968(%rax), %xmm0
callq 0x6120
movq -0x5c8(%rbp), %rdi
movaps %xmm0, %xmm1
movsd -0x600(%rbp), %xmm0
mulsd %xmm1, %xmm0
movsd %xmm0, -0x3f0(%rbp)
leaq -0x3f0(%rbp), %rsi
callq 0x1e220
jmp 0x19f88
leaq -0x3d8(%rbp), %rdi
callq 0x1e390
jmp 0x1a098
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x358(%rbp)
movl %eax, -0x35c(%rbp)
leaq -0x340(%rbp), %rdi
callq 0x1e390
jmp 0x1a223
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x358(%rbp)
movl %eax, -0x35c(%rbp)
leaq -0x3d8(%rbp), %rdi
callq 0x1e390
jmp 0x1a223
movq -0x4e8(%rbp), %rdx
movq $0x0, 0x968(%rdx)
movq $0x0, 0x970(%rdx)
movq %rdx, %rsi
addq $0xe28, %rsi            # imm = 0xE28
addq $0x760, %rdx            # imm = 0x760
leaq -0x410(%rbp), %rdi
movq %rdi, -0x618(%rbp)
callq 0x1e1e0
movq -0x618(%rbp), %rdi
movq $0x0, -0x418(%rbp)
leaq -0x418(%rbp), %rsi
callq 0x1e220
movq %rax, -0x610(%rbp)
jmp 0x1a047
movq -0x610(%rbp), %rdi
movq $0x0, -0x420(%rbp)
leaq -0x420(%rbp), %rsi
callq 0x1e220
jmp 0x1a067
leaq -0x410(%rbp), %rdi
callq 0x1e390
jmp 0x1a098
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x358(%rbp)
movl %eax, -0x35c(%rbp)
leaq -0x410(%rbp), %rdi
callq 0x1e390
jmp 0x1a223
jmp 0x1a156
movq -0x4e8(%rbp), %rdx
movq $0x0, 0x968(%rdx)
movq $0x0, 0x970(%rdx)
movq %rdx, %rsi
addq $0xe28, %rsi            # imm = 0xE28
addq $0x760, %rdx            # imm = 0x760
leaq -0x440(%rbp), %rdi
movq %rdi, -0x628(%rbp)
callq 0x1e1e0
movq -0x628(%rbp), %rdi
movq $0x0, -0x448(%rbp)
leaq -0x448(%rbp), %rsi
callq 0x1e220
movq %rax, -0x620(%rbp)
jmp 0x1a105
movq -0x620(%rbp), %rdi
movq $0x0, -0x450(%rbp)
leaq -0x450(%rbp), %rsi
callq 0x1e220
jmp 0x1a125
leaq -0x440(%rbp), %rdi
callq 0x1e390
jmp 0x1a156
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x358(%rbp)
movl %eax, -0x35c(%rbp)
leaq -0x440(%rbp), %rdi
callq 0x1e390
jmp 0x1a223
movq -0x10(%rbp), %rdi
xorl %eax, %eax
movl %eax, %esi
callq 0x20340
movq -0x4e8(%rbp), %rdx
movsd 0x37ece(%rip), %xmm0    # 0x52040
divsd (%rax), %xmm0
movsd %xmm0, -0x490(%rbp)
movq %rdx, %rax
addq $0xd20, %rax            # imm = 0xD20
movq %rax, -0x630(%rbp)
movq %rdx, %rsi
addq $0xe28, %rsi            # imm = 0xE28
addq $0xdf8, %rdx            # imm = 0xDF8
leaq -0x4e0(%rbp), %rdi
callq 0x20d10
movq -0x630(%rbp), %rsi
leaq -0x4c8(%rbp), %rdi
leaq -0x4e0(%rbp), %rdx
callq 0x20cc0
leaq -0x488(%rbp), %rdi
leaq -0x490(%rbp), %rsi
leaq -0x4c8(%rbp), %rdx
callq 0x20c80
movq -0x4e8(%rbp), %rdx
addq $0xe58, %rdx            # imm = 0xE58
leaq -0x478(%rbp), %rdi
leaq -0x488(%rbp), %rsi
callq 0x20d80
movq -0x4e8(%rbp), %rdi
addq $0x9f0, %rdi            # imm = 0x9F0
leaq -0x478(%rbp), %rsi
callq 0x20df0
addq $0x630, %rsp            # imm = 0x630
popq %rbp
retq
movq -0x358(%rbp), %rdi
callq 0x67a0
nop