(?) :: Int -> Int -> Int -- testing 360 combinations of argument values -- pruning with 0/0 rules -- looking through 4 candidates of size 1 -- looking through 17 candidates of size 2 -- looking through 80 candidates of size 3 -- tested 23 candidates x ? y = x + y (?) :: Int -> Int -> Int -- testing 360 combinations of argument values -- pruning with 0/0 rules -- looking through 4 candidates of size 1 -- looking through 17 candidates of size 2 -- looking through 80 candidates of size 3 -- tested 39 candidates x ? y = x * y i :: Int -> Int -- testing 360 combinations of argument values -- pruning with 0/0 rules -- looking through 3 candidates of size 1 -- looking through 2 candidates of size 2 -- looking through 21 candidates of size 3 -- tested 8 candidates i x = x + 1 d :: Int -> Int -- testing 360 combinations of argument values -- pruning with 0/0 rules -- looking through 3 candidates of size 1 -- looking through 3 candidates of size 2 -- looking through 20 candidates of size 3 -- tested 26 candidates cannot conjure