Analysing control-flow refined program

All Bounds

Timebounds

Overall timebound:24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+48⋅X₄⋅X₄⋅X₄+48⋅X₃+45 {O(n^5)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 1 {O(1)}
t₃: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₄: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₅: 1 {O(1)}
t₆: 1 {O(1)}
t₇: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₈: 1 {O(1)}

Costbounds

Overall costbound: 24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+48⋅X₄⋅X₄⋅X₄+48⋅X₃+45 {O(n^5)}
t₀: 1 {O(1)}
t₁: 1 {O(1)}
t₂: 1 {O(1)}
t₃: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₄: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₅: 1 {O(1)}
t₆: 1 {O(1)}
t₇: 8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄+16⋅X₄⋅X₄⋅X₄+16⋅X₃+13 {O(n^5)}
t₈: 1 {O(1)}

Sizebounds

t₀, X₀: X₀ {O(n)}
t₀, X₁: X₁ {O(n)}
t₀, X₂: X₂ {O(n)}
t₀, X₃: X₃ {O(n)}
t₀, X₄: X₄ {O(n)}
t₁, X₀: X₂ {O(n)}
t₁, X₁: X₃ {O(n)}
t₁, X₂: X₂ {O(n)}
t₁, X₃: X₃ {O(n)}
t₁, X₄: X₄ {O(n)}
t₂, X₀: X₀ {O(n)}
t₂, X₁: X₁ {O(n)}
t₂, X₂: X₂ {O(n)}
t₂, X₃: X₃ {O(n)}
t₂, X₄: X₄ {O(n)}
t₃, X₀: 2^(16⋅X₃)⋅2^(16⋅X₄⋅X₄⋅X₄)⋅2^(8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅8192⋅X₂ {O(EXP)}
t₃, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₄⋅X₄⋅X₄+X₄⋅X₄⋅X₄ {O(EXP)}
t₃, X₂: X₂ {O(n)}
t₃, X₃: X₃ {O(n)}
t₃, X₄: X₄ {O(n)}
t₄, X₀: 2^(16⋅X₃)⋅2^(16⋅X₄⋅X₄⋅X₄)⋅2^(8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅8192⋅X₂ {O(EXP)}
t₄, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₄⋅X₄⋅X₄+X₄⋅X₄⋅X₄ {O(EXP)}
t₄, X₂: X₂ {O(n)}
t₄, X₃: X₃ {O(n)}
t₄, X₄: X₄ {O(n)}
t₅, X₀: 2^(16⋅X₃)⋅2^(16⋅X₄⋅X₄⋅X₄)⋅2^(8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅8192⋅X₂+X₂ {O(EXP)}
t₅, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₄⋅X₄⋅X₄+X₄⋅X₄⋅X₄+X₃ {O(EXP)}
t₅, X₂: 2⋅X₂ {O(n)}
t₅, X₃: 2⋅X₃ {O(n)}
t₅, X₄: 2⋅X₄ {O(n)}
t₆, X₀: 0 {O(1)}
t₆, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₄⋅X₄⋅X₄+X₄⋅X₄⋅X₄+X₃ {O(EXP)}
t₆, X₂: 2⋅X₂ {O(n)}
t₆, X₃: 2⋅X₃ {O(n)}
t₆, X₄: 2⋅X₄ {O(n)}
t₇, X₀: 2^(16⋅X₃)⋅2^(16⋅X₄⋅X₄⋅X₄)⋅2^(8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅8192⋅X₂ {O(EXP)}
t₇, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅4052555153018976267⋅X₄⋅X₄⋅X₄+X₄⋅X₄⋅X₄ {O(EXP)}
t₇, X₂: X₂ {O(n)}
t₇, X₃: X₃ {O(n)}
t₇, X₄: X₄ {O(n)}
t₈, X₀: 2^(16⋅X₃)⋅2^(16⋅X₄⋅X₄⋅X₄)⋅2^(8⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅8192⋅X₂+X₀+X₂ {O(EXP)}
t₈, X₁: 3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅8105110306037952534⋅X₃+3^(24⋅X₄⋅X₄⋅X₄⋅X₄⋅X₄)⋅3^(48⋅X₃)⋅3^(48⋅X₄⋅X₄⋅X₄)⋅8105110306037952534⋅X₄⋅X₄⋅X₄+2⋅X₄⋅X₄⋅X₄+2⋅X₃+X₁ {O(EXP)}
t₈, X₂: 5⋅X₂ {O(n)}
t₈, X₃: 5⋅X₃ {O(n)}
t₈, X₄: 5⋅X₄ {O(n)}