Function foo

    line 17
    max(0, (A + 1 + -D))
    O(n)
      line 69
      max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
      O(n)
        line 69
        max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
        O(n)
          line 97
          max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8))))
          O(n^2)
      line 31
      max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2))))
      O(n^2)
        line 49
        max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H)))) + max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H)))) + max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H))))
        O(n^4)
      line 152
      max(0, (A + 1 + -H)) + max(0, (A + 1 + -H))
      O(n)
      line 216
      max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
      O(n)
    line 136
    max(0, (A + 1 + -B))
    O(n)
      line 234
      max(0, (A + 1 + -D)) + max(0, (A + 1 + -D))
      O(n)
        line 234
        max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D))
        O(n)

Total Bound: max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H)))) + max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H)))) + max(0, ( max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) × max(0, (B + 1 + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H)))) + max(0, (A + 1 + -H)) + max(0, (A + 1 + -H)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) +  max(0, (A + 1 + -B)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -H)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - H8)))) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) - B2)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2))))
Total Complexity: O(n^4)