Problem: if x is a positive number and 1 / 3 the square root of x is equal to 3 x , then x =
Rationale: "1 / 3 of sqrt ( x ) = 3 x , which means that sqrt ( x ) = 9 x or x = 81 x ^ 2 - > divide by x 1 = 81 x x = 1 / 81 c ."
annotated_formula: power(3, multiply(3, const_3))