1
diff (CONST 0, "a") 
TA_Result (CONST 0)
1
diff (POWER ("x", 3), "x")  
TA_Result (TIMES [CONST 3; POWER ("x",2)])
1
diff (POWER ("x", 3), "y")  
TA_Result (CONST 0)
1
diff (SUM [CONST 1; VAR "x"], "x")  
TA_Result (CONST 1)
1
diff (TIMES [POWER ("x", 3); VAR ("x"); CONST 2], "x") 
TA_Result (TIMES [CONST 8; POWER ("x",3)])
1
diff (TIMES[VAR "x"; POWER ("x", 3); POWER("x", 4)], "x") 
TA_Result (TIMES [CONST 8; POWER ("x",7)])
1
diff (SUM [VAR "x"; POWER ("x", 3); POWER("x", 4)], "x") 
TA_Result (SUM [CONST 1; TIMES [CONST 3; POWER ("x",2)]; TIMES [CONST 4; POWER ("x",3)]])
1
diff (SUM[ TIMES [VAR "x"; POWER("y", 2)]; TIMES [VAR "y"; CONST 2]], "y") 
TA_Result (SUM [CONST 2; TIMES [CONST 2; POWER ("x",1); POWER ("y",1)]])
1
diff (SUM[ TIMES [CONST 7; VAR "x"; POWER("y", 2)]; TIMES [POWER ("x", 2); CONST 2]; TIMES[CONST 8;VAR "x"; POWER("y",4) ] ], "y") 
TA_Result (SUM [TIMES [CONST 14; POWER ("x",1); POWER ("y",1)]; TIMES [CONST 32; POWER ("x",1); POWER ("y",3)]])