arithficial.out

== API ==
-- functions --
(+), f, g, h :: Int -> Int -> Int
id :: Int -> Int
0 :: Int

-- variables --
x, y, z, w :: Int

== Testing ==
Depth 1: 6 terms, 3 tests, 15 evaluations, 6 classes, 0 raw equations.
Depth 2: 111 terms, 500 tests, 53118 evaluations, 27 classes, 84 raw equations.
Depth 3: 2736 terms, 500 tests, 1362764 evaluations, 343 classes, 2393 raw equations.
2393 raw equations; 343 terms in universe.

== Equations about (+) ==
  1: x+y == y+x
  2: x+0 == x
  3: x+(y+z) == y+(x+z)

== Equations about f ==
  4: f x y == f x z

== Equations about g ==
  5: g x y == g x z
  6: g x y == g y x

== Equations about h ==
  7: h x y == h z y

== Equations about id ==
  8: id x == x

== Equations about several functions ==
  9: h x 0+f 0 x == g x y