TIME: 1800


SCC: 12
=================================
Global Ranking Function: nat(1*A)

  TaylorSeriesRec_fact(I)I(A) :- TaylorSeriesRec_fact(I)I(B) [1*B>=0,1*A+ -1*B=1]
=================================

SCC: 17
=================================
Global Ranking Function: nat(1*B)

  TaylorSeriesRec_power(II)I(A,B) :- TaylorSeriesRec_power(II)I(C,D) [1*D>=0,1*B+ -1*D=1,1*A+ -1*C=0]
=================================

SCC: 19
=================================
Global Ranking Function: nat(1*B+ -1)

  TaylorSeriesRec_cos(II)I(A,B) :- TaylorSeriesRec_cos(II)I(C,D) [1*D>=1,1*A+ -1*C=0,1*B+ -1*D=1]
=================================

SCC: 27
=================================
Global Ranking Function: nat(1*B+ -1)

  TaylorSeriesRec_exp(II)I(A,B) :- TaylorSeriesRec_exp(II)I(C,D) [1*D>=1,1*A+ -1*C=0,1*B+ -1*D=1]
=================================

SCC: 29
=================================
Global Ranking Function: nat(-1*A+100)

  24_loop(A) :- 24_loop(B) [1*A+ -1*B= -1,-1*A>= -99]
=================================

SCC: 37
=================================
Global Ranking Function: nat(1*B+ -1)

  TaylorSeriesRec_sin(II)I(A,B) :- TaylorSeriesRec_sin(II)I(C,D) [1*D>=1,1*A+ -1*C=0,1*B+ -1*D=1]
=================================

SCC: 38
=================================
Global Ranking Function: nat(1*A+ -1*B)

  2_loop(A,B,C) :- 2_loop(D,E,F) [-1*B+1*D>=1,1*D>=1,1*B+ -1*E= -1,1*A+ -1*D=0,1*C+ -1*F=0]
  2_loop(A,B,C) :- 2_loop(D,E,F) [-1*B+1*D>=1,1*F>=100,1*D>=1,1*A+ -1*D=0,1*B+ -1*E= -1]
=================================