https://9dok.org/document/zpnv8pov-introduction-nonlinearsymbolictransformationsforsimplifyingoptimizationproblems.html