+ с `tg` и неравенствами всё получилось (#5),
* но не получилось со знаком умножения