когато a  x + ( 2 / x ) и b  x - ( 2 / x ) , ( 2  a  2 ) / ( 2  b  2 ) ?
- ( 2  a  2 ) / ( 2  b  2 )   ( 2 )  ( a  2 - b  2 )   2  ( a - b ) ( a + b ) . тъй като a - b  4 / x и a + b  2 x , 2  ( a - b ) е (
power(2, add(multiply(const_2, 2), multiply(const_2, 2)))