=Minor changes to simplification

-> Extensive debugging revealed miscalculation caused from integer size
limitations. Transition to BigIntegers would be recommended to get rid
of such errors.