z⁢ⅆ⁡f1ⅆ⁡z=f1⁢f3⁡(f2-f4)+(12-μ3)⁢f1+μ1⁢f3,