{
  "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": false,
  "parallel": true,
  "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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q(S(x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 63,
      "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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^l(S(x)))=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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "C(E(T(x)))=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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1+E(T(x)))=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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1+E(T(x)))=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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q((p-x)))=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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1-E(T(x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 69,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1^sqrt(3-x) = 1",
      "lhs": "1^sqrt(3-x)",
      "rhs": "1",
      "lhs_postfix": "13x-q^",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q((3-x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "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",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(r(1)^q(S(x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 4,
      "tree_depth": 4
    },
    {
      "equation": "1/1^sqrt(sinpi(x)) = 1",
      "lhs": "1/1^sqrt(sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1xSq^r",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "r((1^q(S(x))))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 4,
      "tree_depth": 5
    },
    {
      "equation": "1^-sqrt(sinpi(x)) = 1",
      "lhs": "1^-sqrt(sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1xSqn^",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^n(q(S(x))))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 4,
      "tree_depth": 5
    },
    {
      "equation": "1^sqrt(1/sinpi(x)) = 1",
      "lhs": "1^sqrt(1/sinpi(x))",
      "rhs": "1",
      "lhs_postfix": "1xSrq^",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q(r(S(x))))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 70,
      "operator_count": 4,
      "tree_depth": 5
    },
    {
      "equation": "1^sqrt(4-x) = 1",
      "lhs": "1^sqrt(4-x)",
      "rhs": "1",
      "lhs_postfix": "14x-q^",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q((4-x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 71,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "1^sqrt(e-x) = 1",
      "lhs": "1^sqrt(e-x)",
      "rhs": "1",
      "lhs_postfix": "1ex-q^",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "(1^q((e-x)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 71,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "sinpi(x^6^2) = 1",
      "lhs": "sinpi(x^6^2)",
      "rhs": "1",
      "lhs_postfix": "x6s^S",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "S((x^s(6)))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 71,
      "operator_count": 3,
      "tree_depth": 4
    },
    {
      "equation": "cospi(e^1/cospi(x)) = 1",
      "lhs": "cospi(e^1/cospi(x))",
      "rhs": "1",
      "lhs_postfix": "xCrEC",
      "rhs_postfix": "1",
      "solve_for_x": null,
      "solve_for_x_postfix": null,
      "canonical_key": "C(E(r(C(x))))=1",
      "x_value": 2.506314,
      "error": 0.0,
      "exact": true,
      "complexity": 71,
      "operator_count": 4,
      "tree_depth": 5
    }
  ],
  "search_stats": {
    "expressions_generated_lhs": 940217,
    "expressions_generated_rhs": 432763,
    "expressions_generated_total": 1372980,
    "lhs_expressions_tested": 897530,
    "lhs_expressions_pruned": 42687,
    "candidate_pairs_tested": 8087767,
    "candidate_window_total": 8087767,
    "candidate_window_avg": 9.01113834635054,
    "candidate_window_max": 429551,
    "candidate_window_max_lhs_postfix": "x6s^T",
    "candidate_window_max_lhs_value": 0.6552487013395003,
    "candidate_window_max_lhs_derivative": 1.4956604931243938e+16,
    "candidate_window_max_lhs_complexity": 64,
    "strict_gate_rejections": 568,
    "candidates_per_pool_insertion": 3.1466641403402837,
    "newton_calls": 7608073,
    "newton_success": 5546236,
    "newton_success_rate": 0.7289935309506099,
    "pool_insertions": 2570267,
    "duplicates_eliminated": 0,
    "pool_rejections_error": 0,
    "pool_evictions": 2570251,
    "pool_final_size": 16,
    "pool_acceptance_rate": 1.0,
    "best_error": 1e-14,
    "generation_ms": 1082.0367079999999,
    "search_ms": 6932.582,
    "elapsed_ms": 8406.849916000001,
    "threads": 8,
    "peak_memory_bytes": 111001600,
    "early_exit": false
  }
}
