|
| funct::EXP_RULE (TYPT1, LOG_S(A), A, _._) |
|
| funct::LOG_RULE (TYPT1, EXP_S(A), A, _._) |
|
| funct::LOG_RULE (TYPT2, POWER_S(A, B), PROD(B, LOG(A)), _._2 *log(_._1)) |
|
| funct::LOG_RULE (TYPT2, PROD_S(A, B), SUM(LOG(A), LOG(B)), log(_._1)+log(_._2)) |
|
| funct::LOG_RULE (TYPT2, RATIO_S(A, B), DIFF(LOG(A), LOG(B)), log(_._1)-log(_._2)) |
|
| funct::PROD_RULE (TYPT2, EXP_S(A), EXP_S(B), EXP(SUM(A, B)), exp(_1._+_2._)) |
|
| funct::PROD_RULE (TYPT1, EXP_S(A), A, PROD(A, EXP(A)), _2 *_1) |
|
| funct::PROD_RULE (TYPT1, LOG_S(A), A, PROD(A, LOG(A)), _2 *_1) |
|