define r * by the equation r * = π - r . then ( ( − π ) * ) * =
for r * f ( f ( − π ) ) = f ( π − ( − π ) ) = f ( π + π ) = f ( 2 π ) = π − 2 π = − π = c
subtract(add(divide(divide(add(multiply(add(const_10, const_4), const_100), add(const_12, const_4)), const_1000), const_10), const_3), subtract(add(divide(divide(add(multiply(add(const_10, const_4), const_100), add(const_12, const_4)), const_1000), const_10), const_3), negate(add(divide(divide(add(multiply(add(const_10, const_4), const_100), add(const_12, const_4)), const_1000), const_10), const_3))))