(GOAL EXACTRUNTIME) (VAR (X)) (GUARDPOLY X) (GUARDVAL 0) (UPDATES 6/11:(1) :+: 1/22:(0) :+: 1/22:(-1) :+: 1/22:(-2) :+: 1/22:(-3) :+: 1/22:(-4) :+: 1/22:(-5) :+: 1/22:(-6) :+: 1/22:(-7) :+: 1/22:(-8) :+: 1/22:(-9)) (PRECISION 10)