malachite-float 0.13.0

// Copyright © 2026 Mikhail Hogrefe
//
// This file is part of Malachite.
//
// Malachite is free software: you can redistribute it and/or modify it under the terms of the GNU
// Lesser General Public License (LGPL) as published by the Free Software Foundation; either version
// 3 of the License, or (at your option) any later version. See <https://www.gnu.org/licenses/>.

use malachite_base::num::arithmetic::traits::{Asech, AsechAssign};
use malachite_base::num::basic::floats::PrimitiveFloat;
use malachite_base::num::conversion::traits::{ExactFrom, RoundingFrom};
use malachite_base::num::float::NiceFloat;
use malachite_base::test_util::bench::bucketers::primitive_float_bucketer;
use malachite_base::test_util::bench::{BenchmarkType, run_benchmark};
use malachite_base::test_util::generators::common::{GenConfig, GenMode};
use malachite_base::test_util::generators::primitive_float_gen;
use malachite_base::test_util::runner::Runner;
use malachite_float::float::arithmetic::asech::{
    primitive_float_asech, primitive_float_asech_rational,
};
use malachite_float::test_util::bench::bucketers::{
    float_complexity_bucketer, triple_1_2_float_primitive_int_max_complexity_bucketer,
};
use malachite_float::test_util::generators::{
    float_gen, float_gen_var_12, float_rounding_mode_pair_gen_var_47,
    float_unsigned_pair_gen_var_1, float_unsigned_pair_gen_var_4,
    float_unsigned_rounding_mode_triple_gen_var_54,
    rational_unsigned_rounding_mode_triple_gen_var_17,
};
use malachite_float::{ComparableFloat, ComparableFloatRef, Float};
use malachite_q::test_util::bench::bucketers::{
    rational_bit_bucketer, triple_1_2_rational_bit_u64_max_bucketer,
};
use malachite_q::test_util::generators::rational_gen;

pub(crate) fn register(runner: &mut Runner) {
    register_demo!(runner, demo_float_asech_rational_prec);
    register_demo!(runner, demo_float_asech_rational_prec_debug);
    register_demo!(runner, demo_float_asech_rational_prec_ref);
    register_demo!(runner, demo_float_asech_rational_prec_ref_debug);
    register_demo!(runner, demo_float_asech_rational_prec_round);
    register_demo!(runner, demo_float_asech_rational_prec_round_debug);
    register_demo!(runner, demo_float_asech_rational_prec_round_ref);
    register_demo!(runner, demo_float_asech_rational_prec_round_ref_debug);
    register_primitive_float_demos!(runner, demo_primitive_float_asech_rational);
    register_bench!(
        runner,
        benchmark_float_asech_rational_prec_evaluation_strategy
    );
    register_bench!(
        runner,
        benchmark_float_asech_rational_prec_round_evaluation_strategy
    );
    register_primitive_float_benches!(runner, benchmark_primitive_float_asech_rational);
    register_demo!(runner, demo_float_asech);
    register_demo!(runner, demo_float_asech_debug);
    register_demo!(runner, demo_float_asech_extreme);
    register_demo!(runner, demo_float_asech_extreme_debug);
    register_demo!(runner, demo_float_asech_ref);
    register_demo!(runner, demo_float_asech_ref_debug);
    register_demo!(runner, demo_float_asech_assign);
    register_demo!(runner, demo_float_asech_assign_debug);
    register_demo!(runner, demo_float_asech_prec);
    register_demo!(runner, demo_float_asech_prec_debug);
    register_demo!(runner, demo_float_asech_prec_extreme);
    register_demo!(runner, demo_float_asech_prec_ref);
    register_demo!(runner, demo_float_asech_prec_assign);
    register_demo!(runner, demo_float_asech_round);
    register_demo!(runner, demo_float_asech_round_debug);
    register_demo!(runner, demo_float_asech_round_ref);
    register_demo!(runner, demo_float_asech_round_assign);
    register_demo!(runner, demo_float_asech_prec_round);
    register_demo!(runner, demo_float_asech_prec_round_debug);
    register_demo!(runner, demo_float_asech_prec_round_ref);
    register_demo!(runner, demo_float_asech_prec_round_assign);
    register_primitive_float_demos!(runner, demo_primitive_float_asech);

    register_bench!(runner, benchmark_float_asech_evaluation_strategy);
    register_bench!(runner, benchmark_float_asech_assign);
    register_bench!(runner, benchmark_float_asech_prec_round_evaluation_strategy);
    register_primitive_float_benches!(runner, benchmark_primitive_float_asech);
}

fn demo_float_asech(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!("({}).asech() = {}", x_old, x.asech());
    }
}

fn demo_float_asech_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!(
            "({:#x}).asech() = {:#x}",
            ComparableFloat(x_old),
            ComparableFloat(x.asech())
        );
    }
}

fn demo_float_asech_extreme(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen_var_12().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!("({}).asech() = {}", x_old, x.asech());
    }
}

fn demo_float_asech_extreme_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen_var_12().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!(
            "({:#x}).asech() = {:#x}",
            ComparableFloat(x_old),
            ComparableFloat(x.asech())
        );
    }
}

fn demo_float_asech_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen().get(gm, config).take(limit) {
        println!("(&{}).asech() = {}", x, (&x).asech());
    }
}

fn demo_float_asech_ref_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for x in float_gen().get(gm, config).take(limit) {
        println!(
            "(&{:#x}).asech() = {:#x}",
            ComparableFloatRef(&x),
            ComparableFloat((&x).asech())
        );
    }
}

fn demo_float_asech_assign(gm: GenMode, config: &GenConfig, limit: usize) {
    for mut x in float_gen().get(gm, config).take(limit) {
        let x_old = x.clone();
        x.asech_assign();
        println!("x := {x_old}; x.asech_assign(); x = {x}");
    }
}

fn demo_float_asech_assign_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for mut x in float_gen().get(gm, config).take(limit) {
        let x_old = x.clone();
        x.asech_assign();
        println!(
            "x := {:#x}; x.asech_assign(); x = {:#x}",
            ComparableFloat(x_old),
            ComparableFloat(x)
        );
    }
}

fn demo_float_asech_prec(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec) in float_unsigned_pair_gen_var_1().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!(
            "({}).asech_prec({}) = {:?}",
            x_old,
            prec,
            x.asech_prec(prec)
        );
    }
}

fn demo_float_asech_prec_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec) in float_unsigned_pair_gen_var_1().get(gm, config).take(limit) {
        let x_old = x.clone();
        let (c, o) = x.asech_prec(prec);
        println!(
            "({:#x}).asech_prec({}) = ({:#x}, {:?})",
            ComparableFloat(x_old),
            prec,
            ComparableFloat(c),
            o
        );
    }
}

fn demo_float_asech_prec_extreme(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec) in float_unsigned_pair_gen_var_4().get(gm, config).take(limit) {
        let x_old = x.clone();
        println!(
            "({}).asech_prec({}) = {:?}",
            x_old,
            prec,
            x.asech_prec(prec)
        );
    }
}

fn demo_float_asech_prec_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec) in float_unsigned_pair_gen_var_1().get(gm, config).take(limit) {
        println!(
            "(&{}).asech_prec_ref({}) = {:?}",
            x,
            prec,
            x.asech_prec_ref(prec)
        );
    }
}

fn demo_float_asech_prec_assign(gm: GenMode, config: &GenConfig, limit: usize) {
    for (mut x, prec) in float_unsigned_pair_gen_var_1().get(gm, config).take(limit) {
        let x_old = x.clone();
        let o = x.asech_prec_assign(prec);
        println!("x := {x_old}; x.asech_prec_assign({prec}) = {o:?}; x = {x}");
    }
}

fn demo_float_asech_round(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, rm) in float_rounding_mode_pair_gen_var_47()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        println!("({}).asech_round({}) = {:?}", x_old, rm, x.asech_round(rm));
    }
}

fn demo_float_asech_round_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, rm) in float_rounding_mode_pair_gen_var_47()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        let (c, o) = x.asech_round(rm);
        println!(
            "({:#x}).asech_round({}) = ({:#x}, {:?})",
            ComparableFloat(x_old),
            rm,
            ComparableFloat(c),
            o
        );
    }
}

fn demo_float_asech_round_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, rm) in float_rounding_mode_pair_gen_var_47()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "(&{}).asech_round_ref({}) = {:?}",
            x,
            rm,
            x.asech_round_ref(rm)
        );
    }
}

fn demo_float_asech_round_assign(gm: GenMode, config: &GenConfig, limit: usize) {
    for (mut x, rm) in float_rounding_mode_pair_gen_var_47()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        let o = x.asech_round_assign(rm);
        println!("x := {x_old}; x.asech_round_assign({rm}) = {o:?}; x = {x}");
    }
}

fn demo_float_asech_prec_round(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec, rm) in float_unsigned_rounding_mode_triple_gen_var_54()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        println!(
            "({}).asech_prec_round({}, {}) = {:?}",
            x_old,
            prec,
            rm,
            x.asech_prec_round(prec, rm)
        );
    }
}

fn demo_float_asech_prec_round_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec, rm) in float_unsigned_rounding_mode_triple_gen_var_54()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        let (c, o) = x.asech_prec_round(prec, rm);
        println!(
            "({:#x}).asech_prec_round({}, {}) = ({:#x}, {:?})",
            ComparableFloat(x_old),
            prec,
            rm,
            ComparableFloat(c),
            o
        );
    }
}

fn demo_float_asech_prec_round_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for (x, prec, rm) in float_unsigned_rounding_mode_triple_gen_var_54()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "(&{}).asech_prec_round_ref({}, {}) = {:?}",
            x,
            prec,
            rm,
            x.asech_prec_round_ref(prec, rm)
        );
    }
}

fn demo_float_asech_prec_round_assign(gm: GenMode, config: &GenConfig, limit: usize) {
    for (mut x, prec, rm) in float_unsigned_rounding_mode_triple_gen_var_54()
        .get(gm, config)
        .take(limit)
    {
        let x_old = x.clone();
        let o = x.asech_prec_round_assign(prec, rm);
        println!("x := {x_old}; x.asech_prec_round_assign({prec}, {rm}) = {o:?}; x = {x}");
    }
}

#[allow(unused_must_use)]
fn benchmark_float_asech_evaluation_strategy(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) {
    run_benchmark(
        "Float.asech()",
        BenchmarkType::EvaluationStrategy,
        float_gen().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &float_complexity_bucketer("x"),
        &mut [
            ("Float.asech()", &mut |x| no_out!(x.asech())),
            ("(&Float).asech()", &mut |x| no_out!((&x).asech())),
        ],
    );
}

fn benchmark_float_asech_assign(gm: GenMode, config: &GenConfig, limit: usize, file_name: &str) {
    run_benchmark(
        "Float.asech_assign()",
        BenchmarkType::Single,
        float_gen().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &float_complexity_bucketer("x"),
        &mut [("Malachite", &mut |mut x| x.asech_assign())],
    );
}

#[allow(unused_must_use)]
fn benchmark_float_asech_prec_round_evaluation_strategy(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) {
    run_benchmark(
        "Float.asech_prec_round(u64, RoundingMode)",
        BenchmarkType::EvaluationStrategy,
        float_unsigned_rounding_mode_triple_gen_var_54().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &triple_1_2_float_primitive_int_max_complexity_bucketer("x", "prec"),
        &mut [
            (
                "Float.asech_prec_round(u64, RoundingMode)",
                &mut |(x, prec, rm)| no_out!(x.asech_prec_round(prec, rm)),
            ),
            (
                "(&Float).asech_prec_round_ref(u64, RoundingMode)",
                &mut |(x, prec, rm)| no_out!(x.asech_prec_round_ref(prec, rm)),
            ),
        ],
    );
}

#[allow(unused_must_use)]
#[allow(clippy::type_repetition_in_bounds)]
fn demo_primitive_float_asech<T: PrimitiveFloat>(gm: GenMode, config: &GenConfig, limit: usize)
where
    Float: From<T> + PartialOrd<T>,
    for<'a> T: ExactFrom<&'a Float> + RoundingFrom<&'a Float>,
{
    for x in primitive_float_gen::<T>().get(gm, config).take(limit) {
        println!(
            "primitive_float_asech({}) = {}",
            NiceFloat(x),
            NiceFloat(primitive_float_asech(x))
        );
    }
}

#[allow(clippy::type_repetition_in_bounds)]
fn benchmark_primitive_float_asech<T: PrimitiveFloat>(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) where
    Float: From<T> + PartialOrd<T>,
    for<'a> T: ExactFrom<&'a Float> + RoundingFrom<&'a Float>,
{
    run_benchmark(
        &format!("primitive_float_asech({})", T::NAME),
        BenchmarkType::Single,
        primitive_float_gen::<T>().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &primitive_float_bucketer("x"),
        &mut [("malachite", &mut |x| {
            no_out!(primitive_float_asech(x));
        })],
    );
}

fn demo_float_asech_rational_prec(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, _) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "Float::asech_rational_prec({}, {}) = {:?}",
            n.clone(),
            p,
            Float::asech_rational_prec(n, p)
        );
    }
}

fn demo_float_asech_rational_prec_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, _) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        let (f, o) = Float::asech_rational_prec(n.clone(), p);
        println!(
            "Float::asech_rational_prec({}, {}) = ({:#x}, {:?})",
            n,
            p,
            ComparableFloat(f),
            o
        );
    }
}

fn demo_float_asech_rational_prec_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, _) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "Float::asech_rational_prec_ref(&{}, {}) = {:?}",
            n,
            p,
            Float::asech_rational_prec_ref(&n, p)
        );
    }
}

fn demo_float_asech_rational_prec_ref_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, _) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        let (f, o) = Float::asech_rational_prec_ref(&n, p);
        println!(
            "Float::asech_rational_prec_ref(&{}, {}) = ({:#x}, {:?})",
            n,
            p,
            ComparableFloat(f),
            o
        );
    }
}

fn demo_float_asech_rational_prec_round(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, rm) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "Float::asech_rational_prec_round({}, {}, {}) = {:?}",
            n.clone(),
            p,
            rm,
            Float::asech_rational_prec_round(n, p, rm)
        );
    }
}

fn demo_float_asech_rational_prec_round_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, rm) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        let (f, o) = Float::asech_rational_prec_round(n.clone(), p, rm);
        println!(
            "Float::asech_rational_prec_round({}, {}, {}) = ({:#x}, {:?})",
            n,
            p,
            rm,
            ComparableFloat(f),
            o
        );
    }
}

fn demo_float_asech_rational_prec_round_ref(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, rm) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        println!(
            "Float::asech_rational_prec_round_ref(&{}, {}, {}) = {:?}",
            n,
            p,
            rm,
            Float::asech_rational_prec_round_ref(&n, p, rm)
        );
    }
}

fn demo_float_asech_rational_prec_round_ref_debug(gm: GenMode, config: &GenConfig, limit: usize) {
    for (n, p, rm) in rational_unsigned_rounding_mode_triple_gen_var_17()
        .get(gm, config)
        .take(limit)
    {
        let (f, o) = Float::asech_rational_prec_round_ref(&n, p, rm);
        println!(
            "Float::asech_rational_prec_round_ref(&{}, {}, {}) = ({:#x}, {:?})",
            n,
            p,
            rm,
            ComparableFloat(f),
            o
        );
    }
}

fn benchmark_float_asech_rational_prec_evaluation_strategy(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) {
    run_benchmark(
        "Float::asech_rational_prec(Rational, u64)",
        BenchmarkType::EvaluationStrategy,
        rational_unsigned_rounding_mode_triple_gen_var_17().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &triple_1_2_rational_bit_u64_max_bucketer("n", "prec"),
        &mut [
            (
                "Float::asech_rational_prec(Rational, u64)",
                &mut |(n, prec, _)| no_out!(Float::asech_rational_prec(n, prec)),
            ),
            (
                "Float::asech_rational_prec_ref(&Rational, u64)",
                &mut |(n, prec, _)| no_out!(Float::asech_rational_prec_ref(&n, prec)),
            ),
        ],
    );
}

fn benchmark_float_asech_rational_prec_round_evaluation_strategy(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) {
    run_benchmark(
        "Float::asech_rational_prec_round(Rational, u64, RoundingMode)",
        BenchmarkType::EvaluationStrategy,
        rational_unsigned_rounding_mode_triple_gen_var_17().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &triple_1_2_rational_bit_u64_max_bucketer("n", "prec"),
        &mut [
            (
                "Float::asech_rational_prec_round(Rational, u64, RoundingMode)",
                &mut |(n, prec, rm)| no_out!(Float::asech_rational_prec_round(n, prec, rm)),
            ),
            (
                "Float::asech_rational_prec_round_ref(&Rational, u64, RoundingMode)",
                &mut |(n, prec, rm)| no_out!(Float::asech_rational_prec_round_ref(&n, prec, rm)),
            ),
        ],
    );
}

#[allow(clippy::type_repetition_in_bounds)]
fn demo_primitive_float_asech_rational<T: PrimitiveFloat>(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
) where
    Float: From<T> + PartialOrd<T>,
    for<'a> T: ExactFrom<&'a Float> + RoundingFrom<&'a Float>,
{
    for x in rational_gen().get(gm, config).take(limit) {
        println!(
            "primitive_float_asech_rational({}) = {:?}",
            x,
            NiceFloat(primitive_float_asech_rational::<T>(&x))
        );
    }
}

#[allow(clippy::type_repetition_in_bounds)]
fn benchmark_primitive_float_asech_rational<T: PrimitiveFloat>(
    gm: GenMode,
    config: &GenConfig,
    limit: usize,
    file_name: &str,
) where
    Float: From<T> + PartialOrd<T>,
    for<'a> T: ExactFrom<&'a Float> + RoundingFrom<&'a Float>,
{
    run_benchmark(
        &format!("primitive_float_asech_rational::<{}>(&Rational)", T::NAME),
        BenchmarkType::Single,
        rational_gen().get(gm, config),
        gm.name(),
        limit,
        file_name,
        &rational_bit_bucketer("x"),
        &mut [("malachite", &mut |x| {
            no_out!(primitive_float_asech_rational::<T>(&x));
        })],
    );
}