dolfin.cpp.common.
timing
Return timing (average) for given task, optionally clearing timing for task