Monotonicity of functions which can be expressed using elementary functions

For certain types of functions expressible with formula (equivalently: functions from classes closed to arithmetic operations) under stated assumptions, we prove monotonicity at some neighbourhood of +∞. They are: formulas containing exp, log, sin, arctan, etc. with constrainted domain of these functions; power series with cofinite many coefficients positive; various classes of functions expressible with formulas with the requirement of preserving monotony in summation, or multiplication, or the monotony resulting from having a finite number of zero points; and finally formulas with square root.