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