Se añaden las funciones monotonas con sus respectivos test (exp, log, tan, arctan, sqrt). Se toman en cuenta los intervalos válidos y se levantan advertencias cuando se pasa de dichos intervalos. Los test estan basados en casos aleatorios y tienen que ser consecuentes con las operaciones inversas.