Problem: the number 150 can be written as the sum of the squares of 3 different positive integers . what is the sum of these 3 integers ?
Rationale: "10 ^ 2 + 7 ^ 2 + 1 ^ 2 = 150 = = = > sum of these 3 integers = 10 + 7 + 1 = 18 b"
annotated_formula: add(add(add(const_4, 3), add(3, const_2)), 3)