is_function_of dla Addition, Product i Power nie zawsze zwraca true, kiedy powinno. Przykładem jest sprawdzenie, czy 1+e^(2x) jest funkcją wyrażenia e^x - jest, ale nie bezpośrednio z porównywaniem reprezentacji pamięciowej. Przed wywołaniem is_function_of trzebaby wywoływać hipotetyczną funkcję extract_function, która zamieniałaby 1+e^(2x) na 1+(e^x)^2, tak aby później np. podstawienia działały poprawnie.
is_function_ofdlaAddition,ProductiPowernie zawsze zwracatrue, kiedy powinno. Przykładem jest sprawdzenie, czy 1+e^(2x) jest funkcją wyrażenia e^x - jest, ale nie bezpośrednio z porównywaniem reprezentacji pamięciowej. Przed wywołaniemis_function_oftrzebaby wywoływać hipotetyczną funkcjęextract_function, która zamieniałaby1+e^(2x)na1+(e^x)^2, tak aby później np. podstawienia działały poprawnie.