Problem: find the sum of first 20 multiples of 12 .
Rationale: "sum of first 20 multiples of 12 are = ( 12 × 1 ) + ( 12 × 2 ) + ( 12 × 3 ) + . . . . . . + ( 12 × 19 ) + ( 12 × 20 ) . = 12 ( 1 + 2 + 3 + . . . . . + 20 ) use the formula : n ( n + 1 ) 2 ⇒ 12 × ( 20 × 21 ) 2 = 2520 . answer : a"
annotated_formula: add(divide(divide(20, divide(divide(divide(divide(divide(20, const_2), const_2), const_2), const_2), const_2)), const_2), add(const_1, sqrt(divide(divide(20, divide(divide(divide(divide(divide(20, const_2), const_2), const_2), const_2), const_2)), const_2))))