Joosy form is expensive, back to normal form for faster solution