single add and mul circuits now working for zimmerman's approach