Числа с точкой или запятой, научная запись 1e-3, константы pi/π/e, скобки, + − * / ^. Функции sin, cos, tan/tg, cot/ctg, exp, ln, lg/log10, sqrt. Неоднозначный log не принимается. Неявное умножение: 2x, 2(x+1); вместо 2/3x пишите (2/3)*x или 2/(3*x). −x^2 означает −(x^2).

Поддержаны конечные суммы, постоянные множители, полиномы до степени 50, целые степени −50…50 линейного выражения a*v+b, его обратная величина, корень и обратный корень, exp/sin/cos/tan/cot/ln/lg с линейным аргументом, c/(d+(a*v+b)^2) при рациональном d>0. a,b рациональные. Не произвольная CAS, не общий метод подстановки или по частям.

Условия исходной функции не исчезают после сокращений и умножения на ноль. 0^0 не определено. В definite нужен сертификат всей замкнутой области: несобственные интегралы и главное значение не вычисляются. Отказ метода не означает отсутствия первообразной или расходимости.