circuit algebra