Arithmetic expressions are a compact notation for combining arithmetic operations that go together. An arithmetic expression results in a numeric result.
The operations that can be combined are the binary arithmetic operations and unary arithmetic operations.
Order of operations
^
 unary
+
and
*
,/
,mod
 binary
+
and
Expression Evaluation Order
An expression is evaluated depthfirst with the left branch chosen before the right.
All expressions are converted to a sequence of single operations before a computer can evaluate them.
Equivalent Evaluations
Equivalent evaluations are evaluations that cause the same result within the maximum allowed loss of precision.
Precision
Each operation in an expression can cause loss of precsision. The field of mathematics that contains the theory for this is the Calculus of Errors.
Loss of precision
The loss of precision in an arithmetic expression is the precision lost when the expression is evaluated depthfirst with the left branch chosen before the right. Each operation looses precision accoring to the Calculus of Erros.
Basics of Calculus of Errors
Two values A
and B
have approximations a
and b
with errors Δa
and Δb
.
Operation  Absolute Error Bounds 

a + b 
Δa + Δb 
a  b 
Δa + Δb 
a * b 
Δa*abs(b) + Δb*abs(a) 
a / b 
(Δa*abs(b) + Δb*abs(a))/b^2 
a ^ b 
Δa*abs(b*a^(n1)) 
Error bounds, both absolute and relative, for all arithmetic operations available in the ProgsBase system are available in the literature of the Calculus of Errors.
For more information about error bounds, check out the literature of the calculus of erros.
Examples of Expression evaluations
For more information about TTables and TForms, see TTables.
Example 1
The TTable of
x^2 + 3*x  2
is
Expression  Operation 

x^2 + 3*x  2 

t1 + 3*x  2 
t1 = x ^ 2 
t2 + 3*x  2 
t2 = t1 
t2 + t3  2 
t3 = 3 * x 
t4  2 
t4 = t2 + t3 
t5 
t5 = t4  2 
Example 2
The TTable of
(x)^2
is
Expression  Operation 

(x)^2 

t1^2 
t1 = x 
t2 
t2 = t1 ^ 2 