cleanF15 := (2+4*x+5*y-5*y^5-5*x^2-4*y^4+2*y^3+x^4*y-5*y*z^4-3*x*z+4*z^4-5*x^2
*y-3*x^2*y^2-5*x^2*y^3-2*x^3*y+4*x^3*y^2+x*y^2-2*x*y^3-5*x*y^4+5*y*z^2+5*z^3+y
^2*z+5*z-3*x^3*y*z+4*x^2*y^2*z-3*x^2*y*z^2+2*x^2*y*z-3*x*y^3*z+5*x*y^2*z^2+5*x
*y^2*z-3*x*y*z^2+3*x*y*z+3*x^4*z+3*y*z-4*x^3*z^2+x^3*z+3*x^2*z^3-4*x^2*z^2+x^2
*z-5*y^2*z^2+2*y*z^3+3*x*z^4+3*x*z^3+2*x*z^2-y^4*z+5*z^2+3*z^5-2*y^3*z^2-2*y^2
*z^3)*(-3*x-5*y-3*y^5+4*x^2+y^4+5*x^3+3*y^3-2*x^4*y-x*z-2*z^4-4*x^2*y+5*x^2*y^
2+3*x^2*y^3+4*x^3*y-4*x^3*y^2+x*y^2+4*x*y^3-3*x*y^4+2*x^5-x^4+y^2-3*y*z^2-5*z^
3-5*z+4*x^2*y^2*z+3*x^2*y*z^2+4*x^2*y*z-2*x*y^3*z-4*x*y^2*z^2+3*x*y^2*z+x*y*z^
3+x*y*z^2-5*x*y*z+2*y*z-4*x^3*z^2+5*x^3*z+3*x^2*z^3-2*x^2*z^2-x^2*z-5*y^3*z-y^
2*z^2-4*y*z^3-5*x*z^4+3*x*z^3-4*x*z^2-2*y^4*z+2*z^2+z^5+y^3*z^2+5*y^2*z^3);
noiseF15 := `*`(1/8948425412600000*334777^(1/2)*44742127063^(1/2),-69063*y-\
43025*y^6-27869*x^3+79006*x^6+12064*x^5*y^2-11856*x^5*y^4-12069*x^5*y^3-84806*
x^5*y^5-51738*x^7*y^3-25546*x^7*y^2+26123*x^7+98398*x^8*y+39573*x^2*y^6+42140*
y^8-90767*y^9-37150*x^4*y+60090*y*z^4+64726*z^4+15807*x^2*y^3+70865*y^8*z+
54521*x^4*y^2*z^4-36681*x^2*z^7+4000*x*y^6*z^3+44752*x*y^4*z^3+85063*x*y^2*z-\
45203*x^2*z^2+96925*y^3*z+42088*y*z^3-28852*x*z^2-74996*x*y*z^6+18750*x*y^2*z^
5-61145*y^5*z-38238*y^2*z^8+1453*x^2*z^6-71916*x^3*y^3*z^3+37365*x^3*y*z^6+
3031*x^4*y*z^3-10127*x^4*y^4*z+680*x^6*y^2*z-47533*x^6*z^4-66490*x^9*z-17999*x
^3*z^4+67168*x^3*z^6+51600*x^4*z^5+4379*x^4*z^6-1944*x^5*z^4+25966*x^7*z^3+
35371*x*y^7*z^2+56336*x^2*y*z^4+53766*x^2*y^2*z^2+28347*x^2*y*z^3+17851*x^2*y^
4*z^3-65506*x^2*y*z^7+328*x^2*y^2*z^5-83187*x^2*y^3*z^4+24167*x^3*y*z^4+85409*
x^3*y^4*z-40787*x^3*y^4*z^2+48977*x^4*y^2*z-92032*x^5*y^2*z+24284*x^5*y*z-\
91980*x^5*y^3*z+13651*y^3*z^5+2372*y^4*z^3+67024*y*z^5-10527*y^6*z^2-38320*y^5
*z^2-42384*y^4*z^6+21446*y*z^9);