an app that solves logarithmic equations and shows the properties used