()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(app(app(app(f, app(app(g, x[1]), y[2])), app(app(g, x[1]), y[2])), app(app(g, x[1]), y[2])), app(h, x[1]))
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(app(app(f, app(app(g, x[1]), y[2])), app(app(g, x[1]), y[2])), app(app(g, x[1]), y[2]))
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(app(f, app(app(g, x[1]), y[2])), app(app(g, x[1]), y[2]))
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(app(g, x[1]), y[2])
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(f, app(app(g, x[1]), y[2]))
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(g, x[1])
()app(app(app(app(f, 0), 1), app(app(g, x[1]), y[2])), z[3]) -> ()app(h, x[1])
()app(app(app(app(filter2, false), fun[5]), x[1]), xs[4]) -> ()app(app(filter, fun[5]), xs[4])
()app(app(app(app(filter2, false), fun[5]), x[1]), xs[4]) -> ()app(filter, fun[5])
()app(app(app(app(filter2, true), fun[5]), x[1]), xs[4]) -> ()app(app(cons, x[1]), app(app(filter, fun[5]), xs[4]))
()app(app(app(app(filter2, true), fun[5]), x[1]), xs[4]) -> ()app(app(filter, fun[5]), xs[4])
()app(app(app(app(filter2, true), fun[5]), x[1]), xs[4]) -> ()app(cons, x[1])
()app(app(app(app(filter2, true), fun[5]), x[1]), xs[4]) -> ()app(filter, fun[5])
()app(app(filter, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(fun[5], x[1])
()app(app(filter, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(app(app(app(filter2, app(fun[5], x[1])), fun[5]), x[1]), xs[4])
()app(app(filter, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(app(app(filter2, app(fun[5], x[1])), fun[5]), x[1])
()app(app(filter, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(app(filter2, app(fun[5], x[1])), fun[5])
()app(app(filter, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(filter2, app(fun[5], x[1]))
()app(app(map, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(fun[5], x[1])
()app(app(map, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(app(cons, app(fun[5], x[1])), app(app(map, fun[5]), xs[4]))
()app(app(map, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(app(map, fun[5]), xs[4])
()app(app(map, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(cons, app(fun[5], x[1]))
()app(app(map, fun[5]), app(app(cons, x[1]), xs[4])) -> ()app(map, fun[5])
()app(h, app(app(g, x[1]), y[2])) -> ()app(h, x[1])
(nodes : 24, edges : 275)