[]: Open (size=59, cost=0, time=0, max=0, total=1.00136e-05, pending=1)
[1]: Open (size=59, cost=59, time=0.715998, max=0.65566, total=1.1351, pending=1)
******* COMPLETION *******
add(multiply(X0,inverse(Y0)),multiply(X0,add(X0,inverse(Y0)))) -> X0
add(multiply(Y0,X0),multiply(Z0,X0)) -> multiply(X0,add(Y0,Z0))
add(multiply(X0,inverse(Y0)),multiply(Y0,add(X0,inverse(Y0)))) -> X0
add(multiply(X0,inverse(X0)),multiply(Y0,one)) -> Y0
add(X0,inverse(X0)) -> one
**************************
On branch: [1]
With size, cost: 50, 50
Orientations: 10
Calls to AProVE (all, T, NT, ?): 6, 6, 0, 0
Time (all, branch, AProVE): 1.37736, 0.954606, 1.37258
Time/call in AProVE (Avg, Min, Max): 0.228763, 0.655461, 0.0602789
Time/T-call in AProVE (Avg, Min, Max): 0.228763, 0.655461, 0.65566
All conjectures solved.