YES 2.2 + x y + y x + x + y z + + x y z * x * y z * * x y z * x y * y x + x y + y x * x * y z * x y * x y * y x + x + y z + + x y z * x * y z * * x y z + x + y z + x y dx * f g * dx f g dx exp f g * exp f - g 1 g dx / f g dx g dx exp f g * dx f * exp f - g 1 g dx + f g + dx f dx g dx ln f dx f dx exp f g dx f dx exp f g * dx g * exp f g ln f dx + f g dx f dx / f g dx f dx exp f g + * dx f * exp f - g 1 g * dx g * exp f g ln f dx * f g dx g dx - f g dx g dx neg f dx f dx + f g dx g dx - f g dx f dx exp f g * exp f g ln f dx * f g dx f dx * f g + * dx f g * dx g f dx / f g * dx g f dx exp f g dx g dx * f g * dx g f dx + f g dx f dx exp f g dx g dx exp f g dx f dx ln f dx f dx * f g dx f dx - f g dx f dx + f g dx g dx / f g dx g dx neg f dx f dx - f g dx g dx * f g dx g dx / f g dx f true 1 a 0 0 1 0 0 ln 1 1 1 / 2 1 2 1 dx 1 1 0 dx 1 0 0 0 0 - 2 1 2 1 neg 1 1 1 2 0 0 exp 2 1 2 1 + 2 1 2 1 X 0 0 * 2 1 2 1 dx / f g dx f dx * f g dx g dx - f g dx g dx neg f dx f dx / f g dx g dx + f g dx g dx - f g dx f dx * f g dx f dx ln f dx f dx exp f g dx f dx exp f g dx g dx + f g dx f dx * f g + * dx f g * dx g f false dx * f g * dx g f false dx / f g * dx g f false dx exp f g + * dx f * exp f - g 1 g * dx g * exp f g ln f false dx exp f g * dx f * exp f - g 1 g false dx exp f g * exp f - g 1 g false dx exp f g * dx g * exp f g ln f false dx exp f g * exp f g ln f false dx + f g + dx f dx g false + x + y z + x y + x + y z + + x y z + x y + y x true dx * f g * dx f g false * x * y z * * x y z * x y * y x * x * y z * x y true * x * y z * * x y z * x y * y x * x * y z * x y true + x + y z + + x y z + x + y z + x y + x y + y x true NaTT 1.7