minor contribution to better automatic simplification
minor contribution to better automatic simplification

tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,MateuszSnamina/yacas,qwert2003/yacas,qwert2003/yacas,grzegorzmazur/yacas,martanoga/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas,martanoga/yacas,martanoga/yacas,MateuszSnamina/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,qwert2003/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,martanoga/yacas,MateuszSnamina/yacas,grzegorzmazur/yacas,tomaszkrysiuk/yacas,tomaszkrysiuk/yacas,qwert2003/yacas,qwert2003/yacas,tomaszkrysiuk/yacas,martanoga/yacas,martanoga/yacas,martanoga/yacas