

:- asserta(integral(n1)).




example1 :- work([

 3 * cos(x) + 4 * sin(x) = 5,

5 * sin(arctan((4/3)) + x) = 5, 

    x = -1 * arctan((4/3)) + 180 * n1 + 90 * -1 ^ n1

],x).


