Hello T.Tsuru,
Thank you for your interest in Formulaic.
We investigated the issue you reported, and can confirm that Formulaic
won't currently find a solution to that equation. Formulaic searches
for a solution using various guesses for the variable you are solving.
For any pair of guesses, if the result for one guess is positive, and
the result for the other is negative, it will narrow its search
between those guesses, and eventually finds the solution. With your
sample equation, both guesses yield a result with the same sign, and
Formulaic thus doesn't believe that there is a solution.
We'll investigate adapting the algorithms which search for a solution
so that Formulaic will find a solution to this type of equation; but
we're not aware of a "quick fix", and will thus not be addressed until
the next major release.
Kind regards,
Hoy Moon