Ascent++
Search
algebraic expression
subgroup of
expression
,
2
assertions
CapableOf
2
simplify algebraic expr…
0.68
produce at least one nu…
0.25