PiecewестьeRule(subfunctions=[(ExpRule(base=a, exp=x, context=a**x, symbol=x), Ne(log(a), 0)), (ConstantRule(constant=1, context=1, symbol=x), True)], context=a**x, symbol=x)
Теперь упростить:
Добавляем постоянную интегрирования:
Ответ:
/ 1 a |- ------ + ------ for And(a > 0, a != 1) < log(a) log(a) | \ 1 otherwise
=
/ 1 a |- ------ + ------ for And(a > 0, a != 1) < log(a) log(a) | \ 1 otherwise