[(249.18243.1230.02)]*[(1.0123-.013219.0083576.0185951.0103-.040077-.017586.000399281.0083)]=[(252.73242.41224.28)]