x15, x14, x13, x12, x11, x10, x9, x8, x7, x6, x5, x4, x3, x2, x1, 
x15^2-x14+x15
x14^2-x13+x14
x13^2-x12+x13
x12^2-x11+x12
x11^2-x10+x11
x10^2+x10-x9
x9^2-x8+x9
x8^2-x7+x8
x7^2-x6+x7
x6^2-x5+x6
x5^2-x4+x5
x4^2-x3+x4
x3^2-x2+x3
x2^2-x1+x2
x1^2-2
