Ascent++ | reduce the complexity of an equation

Assertion list for term "reduce the complexity of an equation".

Results from Ascent++: 1

logarithm → CapableOf → reduce the complexity of an equation

0.21