Function foo

    line 17
    max(0, (A + 1 + -D))
    O(n)
      line 71
      max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
      O(n)
        line 71
        max(0, (A + 1 + -B)) + max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
        O(n)
          line 99
          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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + -H)) + max(0, (B2 - H))))
        O(n^4)
      line 158
      max(0, (A + 1 + -H)) + max(0, (A + 1 + -H))
      O(n)
      line 222
      max(0, (A + 1 + -B)) + max(0, (A + 1 + -B))
      O(n)
    line 142
    max(0, (A + 1 + -B))
    O(n)
      line 240
      max(0, (A + 1 + -D)) + max(0, (A + 1 + -D))
      O(n)
        line 240
        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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + 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 + -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, (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, ( max(0, (A + 1 + -D)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + max(0, ( max(0, (A + 1 + -D)) × max(0, (max(0, (A + 1 + -D)) + max((A + 1), (D + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)))) + -B)) + max(0, (A + 1 + -D)) + max(0, (A + 1 + -D)) + max(0, (D - B2)))) + 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))))
Total Complexity: O(n^4)