

/*CURRENT PROBLEMS*/

pb1(A) :- eval(arcsin(2^(-1)), A).

pb2 :- non_zero(0*2^(-1)).


pb3( (-t2)^(-1)*(-(1+t1*(-(-t2)^(-1)))^(-1))*t1*a0*(t1+t2)).
pb3 :- non_zero(t2^(-1)*d2).


pbb(d1+(-1)*1*2^(-1)*(t2*(-2)^(-1)*(t2^(-1)*d2*1)+t2^(-1)*d2*1*(t2*(-2)^(-1)))).

pba((-1)*1*2^(-1)*(t2*(-2)^(-1)*(t2*(-2)^(-1)))).

pbc((-1)*1*2^(-1)*(t2^(-1)*d2*1*(t2^(-1)*d2*1))).

