square x = x * x

add = \x -> x + x