<= % x ! x^ * / ln e + x ² log cos - √ sin tan = π ∘ rad