bdd testing for expm implemented