1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
|
<cl> (prologx '$x '(differentiate (^ x 2) x $x))
(prologx '$x '(differentiate (^ x 2) x $x))
Call: (DIFFERENTIATE (^ X 2) X $X)
| Call: (DIFF (^ X 2) X $446)
| | Call: (NUMBERP 2)
| | Exit: (NUMBERP 2)
| | Call: (DIFF X X $447)
| | Exit: (DIFF X X 1)
| Exit: (DIFF (^ X 2) X (* 1 (* 2 (^ X (- 2 1)))))
| Call: (SIMPLIFY (* 1 (* 2 (^ X (- 2 1)))) $X)
| | Call: (REWRITE (* 1 (* 2 (^ X (- 2 1)))) $448)
| | Exit: (REWRITE (* 1 (* 2 (^ X (- 2 1)))) (* 2 (^ X (- 2 1))))
| | Call: (SIMPLIFY (* 2 (^ X (- 2 1))) $X)
| | | Call: (SIMPLIFY 2 2)
| | | | Call: (PRIMITIVE 2)
| | | | | Call: (NUMBERP 2)
| | | | | Exit: (NUMBERP 2)
| | | | Exit: (PRIMITIVE 2)
| | | Exit: (SIMPLIFY 2 2)
| | | Call: (SIMPLIFY (^ X (- 2 1)) $464)
| | | | Call: (SIMPLIFY X X)
| | | | | Call: (PRIMITIVE X)
| | | | | | Call: (VARIABLE X)
| | | | | | Exit: (VARIABLE X)
| | | | | Exit: (PRIMITIVE X)
| | | | Exit: (SIMPLIFY X X)
| | | | Call: (SIMPLIFY (- 2 1) $471)
| | | | | Call: (REWRITE (- 2 1) $472)
| | | | | | Call: (NUMBERP 2)
| | | | | | Exit: (NUMBERP 2)
| | | | | | Call: (NUMBERP 1)
| | | | | | Exit: (NUMBERP 1)
| | | | | | Call: (= $472 (- 2 1))
| | | | | | | Eval: $472
| | | | | | | Exit: $472
| | | | | | | Eval: (- 2 1)
| | | | | | | | Eval: 2
| | | | | | | | Exit: 2
| | | | | | | | Eval: 1
| | | | | | | | Exit: 1
| | | | | | | Exit: 1
| | | | | | Exit: (= 1 (- 2 1))
| | | | | Exit: (REWRITE (- 2 1) 1)
| | | | | Call: (SIMPLIFY 1 $471)
| | | | | | Call: (PRIMITIVE 1)
| | | | | | | Call: (NUMBERP 1)
| | | | | | | Exit: (NUMBERP 1)
| | | | | | Exit: (PRIMITIVE 1)
| | | | | Exit: (SIMPLIFY 1 1)
| | | | Exit: (SIMPLIFY (- 2 1) 1)
| | | | Call: (SIMPLIFY (^ X 1) $464)
| | | | | Call: (REWRITE (^ X 1) $474)
| | | | | Exit: (REWRITE (^ X 1) X)
| | | | | Call: (SIMPLIFY X $464)
| | | | | | Call: (PRIMITIVE X)
| | | | | | | Call: (VARIABLE X)
| | | | | | | Exit: (VARIABLE X)
| | | | | | Exit: (PRIMITIVE X)
| | | | | Exit: (SIMPLIFY X X)
| | | | Exit: (SIMPLIFY (^ X 1) X)
| | | Exit: (SIMPLIFY (^ X (- 2 1)) X)
| | | Call: (SIMPLIFY (* 2 X) $X)
| | | | Call: (SIMPLIFY 2 2)
| | | | | Call: (PRIMITIVE 2)
| | | | | | Call: (NUMBERP 2)
| | | | | | Exit: (NUMBERP 2)
| | | | | Exit: (PRIMITIVE 2)
| | | | Exit: (SIMPLIFY 2 2)
| | | | Call: (SIMPLIFY X X)
| | | | | Call: (PRIMITIVE X)
| | | | | | Call: (VARIABLE X)
| | | | | | Exit: (VARIABLE X)
| | | | | Exit: (PRIMITIVE X)
| | | | Exit: (SIMPLIFY X X)
| | | Exit: (SIMPLIFY (* 2 X) (* 2 X))
| | Exit: (SIMPLIFY (* 2 (^ X (- 2 1))) (* 2 X))
| Exit: (SIMPLIFY (* 1 (* 2 (^ X (- 2 1)))) (* 2 X))
Exit: (DIFFERENTIATE (^ X 2) X (* 2 X))
(* 2 X)
|
