Πεψενθε 

`and`(Q = `*`(`*`(a, `*`(sqrt(2))), a), `*`(`*`(a, `*`(sqrt(2))), a) = `*`(`^`(a, 2), `*`(sqrt(2)))) 

`*`(`^`(a, 2)) = `/`(`*`(Q), `*`(sqrt(2))) 

`and`(S = `+`(`*`(6, `*`(`^`(a, 2)))), `and`(`+`(`*`(6, `*`(`^`(a, 2)))) = `+`(`/`(`*`(6, `*`(Q)), `*`(sqrt(2)))), `+`(`/`(`*`(6, `*`(Q)), `*`(sqrt(2)))) = `+`(`*`(3, `*`(sqrt(2), `*`(Q))))))