Function foo line 10 max(A, 0) O(n) line 8 max(0, ( max(A, 0) × max(0, (-2 + max(call_to_nondet_line_44, call_to_nondet_line_31, C))) + max(0, (-2 + max(call_to_nondet_line_44, call_to_nondet_line_31, C))))) O(n^2) Total Bound: max(A, 0) + max(0, ( max(A, 0) × max(0, (-2 + max(call_to_nondet_line_44, call_to_nondet_line_31, C))) + max(0, (-2 + max(call_to_nondet_line_44, call_to_nondet_line_31, C))))) Total Complexity: O(n^2)