dx X 1 dx 0 0 dx 1 0 dx a 0 dx + f g + dx f dx g dx * f g + * dx f g * dx g f dx - f g - dx f dx g dx neg f neg dx f dx / f g - / dx f g / * dx g f exp g 2 dx ln f / dx f f dx exp f g + * dx f * exp f - g 1 g * dx g * exp f g ln f dx 1 X 0 1 0 0 0 a 0 + 2 AC * 2 AC - 2 neg 1 / 2 exp 2 2 0 ln 1 FULL ./TRS/CimeAC/differ.trs