pow :: Int -> Int -> Int
-- testing 5 combinations of argument values
-- pruning with 8/12 rules
-- looking through 4 candidates of size 1
-- looking through 21 candidates of size 2
-- looking through 129 candidates of size 3
-- looking through 517 candidates of size 4
-- looking through 2346 candidates of size 5
-- looking through 8550 candidates of size 6
-- looking through 32487 candidates of size 7
pow x 0  =  1
pow x y  =  x * pow x (dec y)

pow :: Int -> Int -> Int
-- testing 5 combinations of argument values
-- pruning with 15/19 rules
-- looking through 4 candidates of size 1
-- looking through 20 candidates of size 2
-- looking through 114 candidates of size 3
-- looking through 376 candidates of size 4
-- looking through 1714 candidates of size 5
-- looking through 4706 candidates of size 6
cannot conjure