([1]import* math)

([2]trace ([3]min 1 2 3))
([4]trace ([5]max 1 2 3))

([6]trace ([7]% 5 3))
([18]trace ([19]even 2 4))

([8]trace ([9]* 2 3 4))
([10]trace ([11]/ 4 2 2))

([12]trace ([13]cos 0))
([14]trace ([15]log 10))
([16]trace ([17]log 0.5 2))