1 chain with 2 bits set
Notation:
@(.) means 2^(.)
p,q are free nonnegative integer variables
A,B are also free nonnegative integer variables
In all two-power-sum representations the two-power-exponents are always strictly
monotonic decreasing and >= 0
Shortest Addition Chains with 1 Small Step
2* @(p)+@(q)
0( ) 1
1( 0, D) @(A)
2( 1, 1) @(A)+@(B)