trigonometric function subgroup of function, 4 assertions