f true x f gt x 0 double x gt s x 0 true gt 0 y false gt s x s y gt x y double x times s s 0 x times 0 y 0 times s x y plus y times x y plus 0 y y plus s x y plus x s y f 2 true 0 gt 2 0 0 double 1 s 1 false 0 times 2 plus 2 FULL emmes-nonloop-ex3_4.trs