from typing import Any

from sympy.utilities.timeutils import timethis

@timethis("combsimp")
def combsimp(expr) -> Any: ...