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