xcircuit 3.7.57 (new formula)