mathematically
reckon
algebraically
crunch numbers
work out
cypher
mathemic
figure
subformula
chain rule
macrosyntactically
Knuth-Bendix completion algorithm
tally
computably
concise
intricately
macroencapsulate
formulable
in an elaborate way
elaborately
dab
formular
polynomialist
rewriting
abstract
ultrasimplify
functionalize
calculationally
symbolic language
composition
mathematical function program
resolvent
methodically
compoundly
calcular
corecursively
semirigidly
metatranscriptionally
multiply
rational
calculatingly
Newton-Cotes formula
grind out
precise
to order