GitHub Actions run
CPU Simulation
2 years ago eb5b548 egraph_nodes pushCompare
Suggested base runs: •
84 total
without explanation
tests/lambda.rs::lambda::lambda_under::lambda_under111.1 µs
with optimized explanation
tests/math.rs::math::math_simplify_factor::math_simplify_factor4 ms
with optimized explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim285.6 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_under::lambda_under132.8 µs
without explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim229.4 µs
without explanation
tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple182.1 µs
without explanation
tests/math.rs::math::math_diff_different::math_diff_different113.2 µs
without explanation
tests/math.rs::math::math_diff_simple1::math_diff_simple1789.3 µs
with optimized explanation
tests/math.rs::math::math_diff_same::math_diff_same124.9 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_under::lambda_under132.9 µs
without explanation
tests/math.rs::math::math_diff_same::math_diff_same108.9 µs
with unoptimized explanation
tests/math.rs::math::math_diff_different::math_diff_different131.9 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim285.1 µs
without explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple2602.7 µs
with optimized explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple21 ms
with unoptimized explanation
tests/math.rs::math::math_diff_ln::math_diff_ln125.4 µs
with unoptimized explanation
tests/math.rs::math::math_diff_same::math_diff_same125.4 µs
with optimized explanation
tests/math.rs::math::math_diff_different::math_diff_different130.9 µs
without explanation
tests/math.rs::math::diff_power_simple::diff_power_simple1.2 ms
without explanation
tests/math.rs::math::integ_one::integ_one112 µs
without explanation
tests/lambda.rs::lambda::lambda_compose::lambda_compose1.3 ms
with unoptimized explanation
tests/math.rs::math::math_diff_simple1::math_diff_simple11.3 ms
with unoptimized explanation
tests/math.rs::math::diff_power_simple::diff_power_simple2.2 ms
with unoptimized explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple21 ms
with optimized explanation
tests/math.rs::math::diff_power_simple::diff_power_simple2.2 ms