fix point.py to use MULC when generating arithmetic circuits
code cleanup