PREFIX m: <http://josd.github.io/eye/math#>

{("x^2-3*x+2=0" "x") m:equation_solutions ?R} => {("x^2-3*x+2=0" "x") m:equation_solutions ?R}.
{("cos(x)*(1-2*sin(x))=0" "x") m:equation_solutions ?R} => {("cos(x)*(1-2*sin(x))=0" "x") m:equation_solutions ?R}.
{("2^(2*x)-5*2^(x+1)+16=0" "x") m:equation_solutions ?R} => {("2^(2*x)-5*2^(x+1)+16=0" "x") m:equation_solutions ?R}.
