{
  "target": 2.506314,
  "search_level": 3.0,
  "max_lhs_complexity": 65,
  "max_rhs_complexity": 65,
  "max_matches": 16,
  "results_returned": 16,
  "ranking_mode": "complexity",
  "deterministic": true,
  "parallel": false,
  "streaming": false,
  "adaptive": false,
  "one_sided": false,
  "report_mode_requested": false,
  "output_format": "default",
  "results": [
    {
      "equation": "1^sqrt(sinpi(x)) = 1",
      "lhs": "1^sqrt(sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1xSq^",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 63,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(x/sinpi(1)) = 1",
      "lhs": "cospi(x/sinpi(1))",
      "rhs": "1",
      "lhs_postfix": "x1S/C",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 66,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1^ln(sinpi(x)) = 1",
      "lhs": "1^ln(sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1xSl^",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 67,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(e^tanpi(x)) = 1",
      "lhs": "cospi(e^tanpi(x))",
      "rhs": "1",
      "lhs_postfix": "xTEC",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 67,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1+e^tanpi(x) = 1",
      "lhs": "1+e^tanpi(x)",
      "rhs": "1",
      "lhs_postfix": "1xTE+",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 68,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "e^tanpi(x)+1 = 1",
      "lhs": "e^tanpi(x)+1",
      "rhs": "1",
      "lhs_postfix": "xTE1+",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 68,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1^sqrt(pi-x) = 1",
      "lhs": "1^sqrt(pi-x)",
      "rhs": "1",
      "lhs_postfix": "1px-q^",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1-e^tanpi(x) = 1",
      "lhs": "1-e^tanpi(x)",
      "rhs": "1",
      "lhs_postfix": "1xTE-",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(x/sinpi(1)) = 2",
      "lhs": "cospi(x/sinpi(1))",
      "rhs": "2",
      "lhs_postfix": "x1S/C",
      "rhs_postfix": "2",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "tanpi(x/sinpi(1)) = 1",
      "lhs": "tanpi(x/sinpi(1))",
      "rhs": "1",
      "lhs_postfix": "x1S/T",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(x/tanpi(1)) = 1",
      "lhs": "cospi(x/tanpi(1))",
      "rhs": "1",
      "lhs_postfix": "x1T/C",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "sinpi(x/tanpi(1)) = 1",
      "lhs": "sinpi(x/tanpi(1))",
      "rhs": "1",
      "lhs_postfix": "x1T/S",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(x/sinpi(2)) = 1",
      "lhs": "cospi(x/sinpi(2))",
      "rhs": "1",
      "lhs_postfix": "x2S/C",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "sinpi(x/sinpi(2)) = 1",
      "lhs": "sinpi(x/sinpi(2))",
      "rhs": "1",
      "lhs_postfix": "x2S/S",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1/1^sqrt(sinpi(x)) = 1",
      "lhs": "1/1^sqrt(sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1rxSq^",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 4,
      "tree_depth": 4
    },
    {
      "equation": "sinpi(x)^sinpi(2) = 1",
      "lhs": "sinpi(x)^sinpi(2)",
      "rhs": "1",
      "lhs_postfix": "xS2S^",
      "rhs_postfix": "1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 3,
      "tree_depth": 3
    }
  ],
  "search_stats": {
    "expressions_generated_lhs": 942206,
    "expressions_generated_rhs": 438171,
    "expressions_generated_total": 1380377,
    "lhs_expressions_tested": 898692,
    "lhs_expressions_pruned": 43514,
    "candidate_pairs_tested": 13342871648,
    "newton_calls": 67262223,
    "newton_success": 61974527,
    "pool_insertions": 57708528,
    "duplicates_eliminated": 0,
    "pool_rejections_error": 0,
    "pool_evictions": 57708512,
    "pool_final_size": 16,
    "best_error": 1e-14,
    "generation_ms": 1027.083167,
    "search_ms": 90147.015208,
    "elapsed_ms": 91577.07216699999,
    "threads": 1,
    "peak_memory_bytes": 333266944,
    "early_exit": false
  }
}
