( / ( + ( * x1 x1 ) ( * x2 x2 ) ) ( - ( * x1 x2 ) -1 ) ) -125 16