<< algebra
trigonometry
expression_transformation
inequality