/* tests for powerful matcher */

 :- tlim(5).

spec_cubic :- try_hard_to_solve(z^3 + 3*h*z + g = 0 , z , Ans).

quadratic :- try_hard_to_solve( a*x^2+b*x+c=0, x, Ans).

cubic :- try_hard_to_solve( a*x^3+b*x^2+c*x+d=0, x, Ans).

distrib1 :- try_hard_to_solve( a*x+x = x^2, x, Ans).

distrib2 :- try_hard_to_solve( a*x-x = x^2, x, Ans).

distrib3 :- try_hard_to_solve( x+x = x^2, x, Ans).

trig1 :- try_hard_to_solve( a*sin(x)+b*cos(x)=c, x, Ans).

change1 :- try_hard_to_solve( 5^(2*y) + 5^y + 5 = 0, y, Ans).

change2 :- try_hard_to_solve( 5^(2*y) - 5^(y+1) + 6 = 0, y, Ans).

change3 :- try_hard_to_solve( 3^(2*y) - 2*3^(y+2) + 81 = 0, y, Ans).

/* the following two examples are from McArthur & Keith,
      Intermediate Algebra */

change4 :- try_hard_to_solve( (3*y^2-2*y-2)^2 = 21*y^2 - 14*y - 20, y, Ans).

change5 :- try_hard_to_solve( y^6 + 7*a^3*y^3 - 8*a^6 = 0, y, Ans).
