vereinfachen (0.5^7*0.5^{11})/(0.5^{13)}