Πεψενθε 

V = `+`(`*`(`/`(1, 3), `*`(h, `*`(`+`(S[1], S[2], sqrt(`*`(S[1], `*`(S[2])))))))) 

`and`(V = `*`(`/`(1, 3), `+`(`+`(1, 25), sqrt(25))), `and`(`*`(`/`(1, 3), `+`(`+`(1, 25), sqrt(25))) = `/`(31, 3), `/`(31, 3) = `/`(10, 3)))