16.78/16.79	YES
16.78/16.79	
16.78/16.79	
16.78/16.79	Termination: (Ranking Functions Found)
16.78/16.79	------------
16.78/16.79	f566_0_sin_InvokeMethod: < < -1 + arg1 > >
16.78/16.79	f452_0_main_GE: < < - arg2 + arg3 >, < - arg2 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 >, < - arg2 + arg3 > >
16.78/16.79	f566_0_sin_InvokeMethod': < < -1 + arg1 > >
16.78/16.79	f342_0_exp_GT: < < -1 + arg2 > >
16.78/16.79	f697_0_main_GE: < < -1 - arg2 + arg4 >, < - arg2 >, < - arg2 + arg4 >, < 99 - arg3 > >
16.78/16.79	f345_0_power_GT: < < arg1 > >
16.78/16.79	f552_0_cos_InvokeMethod': < < -1 + arg1 > >
16.78/16.79	f307_0_cos_GT: < < arg2 > >
16.78/16.79	f552_0_cos_InvokeMethod: < < -1 + arg1 > >
16.78/16.79	f452_0_main_GE': < < -1 - arg2 + arg3 >, < - arg2 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 >, < - arg2 + arg3 >, < -1 - arg2 + arg3 >, < - arg2 + arg3 > >
16.78/16.79	f276_0_sin_GT: < < arg2 > >
16.78/16.79	f342_0_exp_GT': < < -1 + arg2 > >
16.78/16.79	f453_0_fact_GT: < < arg1 > >
16.78/16.79	f638_0_exp_InvokeMethod: < < arg3 > >
16.78/16.79	
16.78/16.79	
16.84/16.86	EOF