Benchmark time

Stream: new members

[Markus Schmaus]

This post has some benchmark information.

#eval take 5 fib
/-
  take 5 fib
→×6 [((fun (m, n) => (n, m + n))^[0] (0, 1)).2, ((fun (m, n) => (n, m + n))^[1] (0, 1)).2, ((fun (m, n) => (n, m + n))^[2] (0, 1)).2, ((fun (m, n) => (n, m + n))^[3] (0, 1)).2, ((fun (m, n) => (n, m + n))^[4] (0, 1)).2]
→×4 [((fun (m, n) => (n, m + n))^[0] (0, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 1)).2, ((fun (m, n) => (n, m + n))^[1] (1, 1)).2, ((fun (m, n) => (n, m + n))^[2] (1, 1)).2, ((fun (m, n) => (n, m + n))^[3] (1, 1)).2]
→×3 [((fun (m, n) => (n, m + n))^[0] (0, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 2)).2, ((fun (m, n) => (n, m + n))^[1] (1, 2)).2, ((fun (m, n) => (n, m + n))^[2] (1, 2)).2]
→×2 [((fun (m, n) => (n, m + n))^[0] (0, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 2)).2, ((fun (m, n) => (n, m + n))^[0] (2, 3)).2, ((fun (m, n) => (n, m + n))^[1] (2, 3)).2]
→ [((fun (m, n) => (n, m + n))^[0] (0, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 1)).2, ((fun (m, n) => (n, m + n))^[0] (1, 2)).2, ((fun (m, n) => (n, m + n))^[0] (2, 3)).2, ((fun (m, n) => (n, m + n))^[0] (3, 5)).2]
→×5 [(0, 1).2, (1, 1).2, (1, 2).2, (2, 3).2, (3, 5).2]
→×5 [1, 1, 2, 3, 5]
Time 26  (O(N ^ 2))
-/
end Stream'

How can I get such information for #eval?