-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathmath_term3_simpl.txt
More file actions
83 lines (61 loc) · 4.91 KB
/
math_term3_simpl.txt
File metadata and controls
83 lines (61 loc) · 4.91 KB
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
81
82
83
Mul(B, Add(Zero, Mul(X, Add(Add(Add(Mul(X, One), Sub(Pow(Y, Zero), Div(Mul(Zero, Z), Pow(A, One)))), Div(Pow(Pow(B, One), One), Mul(One, One))), Div(Mul(D, Zero), Pow(E, One))))))
Mul(B, Mul(X, Add(Add(Add(Mul(X, One), Sub(Pow(Y, Zero), Div(Mul(Zero, Z), Pow(A, One)))), Div(Pow(Pow(B, One), One), Mul(One, One))), Div(Mul(D, Zero), Pow(E, One)))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Mul(Zero, Z), Pow(A, One)))), Div(Pow(Pow(B, One), One), Mul(One, One))), Div(Mul(D, Zero), Pow(E, One)))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, Pow(A, One)))), Div(Pow(Pow(B, One), One), Mul(One, One))), Div(Mul(D, Zero), Pow(E, One)))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, Pow(A, One)))), Div(Pow(Pow(B, One), One), One)), Div(Mul(D, Zero), Pow(E, One)))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, Pow(A, One)))), Div(Pow(Pow(B, One), One), One)), Div(D, Pow(E, One)))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, A))), Div(Pow(Pow(B, One), One), One)), Div(D, E))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, A))), Div(Pow(B, One), One)), Div(D, E))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, A))), Div(B, One)), Div(D, E))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(Pow(Y, Zero), Div(Zero, A))), Div(B, One)), Div(D, E))))
Mul(B, Mul(X, Add(Add(Add(X, Sub(One, Div(Zero, A))), Div(B, One)), Div(D, E))))
no rule? Div(Zero, A) = Zero (if A != Zero) -- via a/b = a*(b^-1) and a*b=b*a and a*0=0
Mul(B, Mul(X, Add(Add(Add(X, Sub(One, Zero)), Div(B, One)), Div(D, E))))
no rule? Div(B, One) = B (can be found)
Mul(B, Mul(X, Add(Add(Add(X, Sub(One, Zero)), B), Div(D, E))))
via Add(,Mul(MinusOne,Zero))
Mul(B, Mul(X, Add(Add(Add(X, One), B), Div(D, E))))
b*(x*(((x+1)+b)+d/e))
what I got:
Sub(Mul(B, Pow(X, Two)), Sub(Zero, Sub(Mul(B, Mul(B, X)), Sub(Zero, Sub(Div(Zero, E), Sub(Zero, Mul(B, Mul(X, Sub(One, Div(Zero, A))))))))))
5
Add(Zero, Add(Mul(B, Mul(X, Div(B, One))), Add(Mul(B, Mul(X, Div(Zero, E))), Add(Mul(B, Pow(X, Two)), Mul(B, Mul(X, Sub(One, Div(Zero, A))))))))
10
Add(Div(Zero, E), Add(Mul(B, Pow(X, Two)), Add(Mul(B, Mul(X, Div(B, One))), Mul(B, Mul(X, Sub(One, Div(Zero, A)))))))
15
Add(Div(Zero, E), Add(Mul(B, Pow(X, Two)), Add(Mul(B, Mul(B, X)), Mul(B, Mul(X, Sub(One, Div(Zero, A)))))))
25
(Result: Add(Mul(B, Mul(X, Sub(Sub(X, MinusOne), Div(Zero, A)))), Add(Mul(B, Mul(B, X)), Div(Zero, E))))
30
Sub(Div(Zero, E), Sub(Zero, Sub(Mul(B, Pow(X, Two)), Sub(Zero, Sub(Mul(B, Mul(B, X)), Sub(Zero, Mul(B, Mul(X, Sub(One, Div(Zero, A))))))))))
60
Sub(Div(Zero, E), Sub(Zero, Sub(Mul(X, Mul(X, B)), Sub(Zero, Sub(Mul(X, Pow(B, Two)), Sub(Zero, Mul(X, Mul(B, Sub(One, Div(Zero, A))))))))))
70
Sub(Div(Pow(Mul(X, B), Two), X), Sub(Zero, Sub(Div(Zero, E), Sub(Zero, Sub(Mul(X, Mul(X, B)), Sub(Zero, Mul(X, Mul(B, Sub(One, Div(Zero, A))))))))))
80
Sub(Div(Zero, E), Sub(Zero, Sub(Div(Div(Div(Div(B, Div(X, X)), Div(One, X)), Div(One, Div(Div(B, Div(X, X)), Div(One, X)))), B), Sub(Zero, Sub(Div(Div(Div(Div(B, Div(X, X)), Div(One, X)), Div(B, B)), Div(One, B)), Sub(Zero, Div(Div(Div(Div(Sub(One, Div(Zero, A)), Div(X, X)), Div(One, X)), Div(B, B)), Div(One, B))))))))
100
Sub(Sub(Div(B, Div(One, Div(X, Div(One, B)))), Sub(Zero, Sub(Div(Zero, E), Sub(Zero, Div(B, Div(One, Div(X, Div(One, Sub(One, Div(Zero, A)))))))))), Sub(Zero, Div(Div(Div(X, Div(One, B)), Div(One, Div(X, Div(One, B)))), B)))
20: (term not term 3)
Add(Mul(D(A, Sub(A, One)), Mul(Add(A, Two), Div(Pow(Sub(A, One), Add(A, Two)), Sub(A, One)))), Mul(Ln(Sub(A, One)), Mul(D(A, Add(A, Two)), Pow(Sub(A, One), Add(A, Two)))))
20: (term3)
Add(Mul(B, X), Add(Mul(B, Pow(X, Two)), Mul(B, Div(Mul(B, X), One))))
b*x + b*x^2 + b*(b*x)/1
with 1!=0
Add(Mul(X, B), Add(Mul(X, Pow(B, Two)), Mul(B, Pow(X, Two))))
x*b+x*b^2+b*x
twee:
mul(b, add(zero, mul(x, add(add(add(mul(x, one), sub(pow(y, zero), div(mul(zero, z), pow(a, one)))), div(pow(pow(b, one), one), mul(one, one))), div(mul(d, zero), pow(e, one))))))
(mul(A,zero) = zero), (mul(A,one) = A)
mul(b, add(zero, mul(x, add(add(add(x, sub(pow(y, zero), div(mul(zero, z), pow(a, one)))), div(pow(pow(b, one), one), mul(one, one))), div(mul(d, zero), pow(e, one))))))
mul(b, add(zero, mul(x, add(add(add(mul(x, one), sub(pow(y, zero), div(mul(zero, z), pow(a, one)))), div(pow(pow(b, one), one), mul(one, one))), div(mul(d, zero), pow(e, one))))))
(mul(A,zero) = zero), (mul(A,one) = A)
mul(b, add(zero, mul(x, add(add(add(x, sub(pow(y, zero), div(mul(zero, z), pow(a, one)))), div(pow(pow(b, one), one), one)), div(zero, pow(e, one))))))
add(A,B) = add(B,A), mul(A,B) = mul(B,A)
add(A,zero) = A, (mul(A,zero) = zero)
mul(b, mul(x, add(add(add(x, sub(pow(y, zero), div(z, pow(a, one)))), div(pow(pow(b, one), one), one)), div(zero, pow(e, one)))))
pow(X,one) = X
mul(b, mul(x, add(add(add(x, sub(pow(y, zero), div(z, a))), div(b, one)), div(zero, e))))
pow(X,zero) = if(eq(X,zero),pow(X,zero),one),
=
add(mul(x, b), add(mul(x, pow(b, two)), mul(b, pow(x, two))))