warning: Ignored call to loop_cont_f/4 in equation sqrt/4 
Inferred cost of f(A,B,C,D,E,F,G,H,I): 
f(A,B,C,D,E,F,G,H,I):[8]: 1
  with precondition: [A=0,B=1,C=1,E=1,F=0,G=1,H=1,D=I,0>=D] 

f(A,B,C,D,E,F,G,H,I):[[7],8]: 1+it1*(1)
  Such that:it1=<1/2*H+ -1/2*C,it1=<1/2*D+ -1/2*C+1/2
  with precondition: [E=1,B=2*A+1,2*F+1=G,D=I,B>=0,2*F>=B+1,H>=D+1,D+2*F+1>=H,B+H>=4*F+C] 

Inferred cost of sqrt(A,B,C,D): 
sqrt(A,B,C,D):[10]: 2
  with precondition: [0>=D] 

sqrt(A,B,C,D):[11]: 2+it1*(1)
  Such that:it1=<1/2*D,it1=<1*D+1/2
  with precondition: [D>=1] 

Solved cost expressions of sqrt(A,B,C,D): 
sqrt(A,B,C,D):[10]: 2  with precondition: [0>=D] 
sqrt(A,B,C,D):[11]: 1/2*D+2  with precondition: [D>=1] 
Maximum cost of sqrt(A,B,C,D): max([1/2*D+2,2]) 
Asymptotic class: n 
Time statistics: 
Partial evaluation computed in 3 ms.
Invariants computed in 17 ms.
----Backward Invariants 7 ms.
----Transitive Invariants 3 ms.
Refinement performed in 9 ms.
Termination proved in 5 ms.
Upper bounds computed in 16 ms.
----Phase cost structures 4 ms.
--------Equation cost structures 4 ms.
--------Inductive compression(1) 0 ms.
--------Inductive compression(2) 0 ms.
--------Black Cost 0 ms.
----Chain cost structures 9 ms.
----Solving cost expressions 1 ms.

Compressed phase information: 0 
Compressed Chains: 0 
Compressed invariants: 0 
Total analysis performed in 61 ms.