Notes
This function is in beta test. Please help improve it in the issues
here.
Your Answer
(-x25 | x4 | -x12 | -x22 | -x5 | -x4 | -x16 | x25 | x1 | -x1 | x24 | x22 | x23 | -x2 | x28 | -x14 | -x10 | x26 | x10 | -x24 | x14 | x0 | -x17 | x16 | x6 | x5 | x13 | x20 | -x26 | -x13 | x15 | x9 | -x11 | -x8 | -x7 | -x6 | x21 | -x18 | -x19 | x11 | x18 | -x0 | -x20 | -x21 | x27 | x8 | x19 | x17) & (-x16 | x7 | x11 | x20 | -x20 | x24 | -x21 | -x13 | x26 | -x27 | x22 | -x1 | -x23 | x21 | x16 | -x25 | x9 | x17 | x12 | -x15 | x1 | x10 | x23 | x5 | x27 | x3 | -x6 | x13 | -x10 | x2 | x19 | -x19 | -x18 | -x22 | -x28 | -x12 | x18 | x6) & (-x16 | x13 | x23 | x11 | -x5 | -x15 | x6 | x21 | x4 | -x1 | -x24 | x16 | x24 | x0 | -x20 | -x18 | x26 | -x2 | x1 | -x3 | -x22 | -x9 | x19 | -x26 | -x4 | x15 | -x12 | -x0 | -x23 | x9 | x25 | -x7 | -x21 | -x17 | -x10 | -x8 | -x28 | x17 | x3 | x7 | -x19 | x5) & (-x12 | x24 | x16 | -x5 | -x6 | -x15 | -x0 | x19 | -x2 | -x4 | -x14 | -x24 | -x28 | x11 | x4 | x1 | -x18 | -x26 | x22 | -x17 | x8 | -x19 | x2 | x6 | -x22 | -x11 | x12) & (x7 | -x24) & (-x16 | x18 | -x22 | x22 | -x9 | -x26 | -x12
JOJ Answer
(-x25 | x4 | -x12 | -x22 | -x5 | -x4 | -x16 | x25 | x1 | -x1 | x24 | x22 | x23 | -x2 | x28 | -x14 | -x10 | x26 | x10 | -x24 | x14 | x0 | -x17 | x16 | x6 | x5 | x13 | x20 | -x26 | -x13 | x15 | x9 | -x11 | -x8 | -x7 | -x6 | x21 | -x18 | -x19 | x11 | x18 | -x0 | -x20 | -x21 | x27 | x8 | x19 | x17) & (-x16 | x7 | x11 | x20 | -x20 | x24 | -x21 | -x13 | x26 | -x27 | x22 | -x1 | -x23 | x21 | x16 | -x25 | x9 | x17 | x12 | -x15 | x1 | x10 | x23 | x5 | x27 | x3 | -x6 | x13 | -x10 | x2 | x19 | -x19 | -x18 | -x22 | -x28 | -x12 | x18 | x6) & (-x16 | x13 | x23 | x11 | -x5 | -x15 | x6 | x21 | x4 | -x1 | -x24 | x16 | x24 | x0 | -x20 | -x18 | x26 | -x2 | x1 | -x3 | -x22 | -x9 | x19 | -x26 | -x4 | x15 | -x12 | -x0 | -x23 | x9 | x25 | -x7 | -x21 | -x17 | -x10 | -x8 | -x28 | x17 | x3 | x7 | -x19 | x5) & (-x12 | x24 | x16 | -x5 | -x6 | -x15 | -x0 | x19 | -x2 | -x4 | -x14 | -x24 | -x28 | x11 | x4 | x1 | -x18 | -x26 | x22 | -x17 | x8 | -x19 | x2 | x6 | -x22 | -x11 | x12) & (x7 | -x24) & (-x16 | x18 | -x22 | x22 | -x9 | -x26 | -x12