GitHub Actions run
GitHub Actions
runInstrumentation
11 months ago eb5b548 egraph_nodesCompare
Suggested base runs: •
Benchmarks
without explanation
tests/lambda.rs::lambda::lambda_under::lambda_under::without explanation111.1 µs
with optimized explanation
tests/math.rs::math::math_simplify_factor::math_simplify_factor::with optimized explanation4 ms
with optimized explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::with optimized explanation285.6 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_under::lambda_under::with unoptimized explanation132.8 µs
without explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::without explanation229.4 µs
without explanation
tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::without explanation182.1 µs
without explanation
tests/math.rs::math::math_diff_different::math_diff_different::without explanation113.2 µs
without explanation
tests/math.rs::math::math_diff_simple1::math_diff_simple1::without explanation789.3 µs
with optimized explanation
tests/math.rs::math::math_diff_same::math_diff_same::with optimized explanation124.9 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_under::lambda_under::with optimized explanation132.9 µs
without explanation
tests/math.rs::math::math_diff_same::math_diff_same::without explanation108.9 µs
with unoptimized explanation
tests/math.rs::math::math_diff_different::math_diff_different::with unoptimized explanation131.9 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::with unoptimized explanation285.1 µs
without explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple2::without explanation602.7 µs
with optimized explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple2::with optimized explanation1 ms
with unoptimized explanation
tests/math.rs::math::math_diff_ln::math_diff_ln::with unoptimized explanation125.4 µs
with unoptimized explanation
tests/math.rs::math::math_diff_same::math_diff_same::with unoptimized explanation125.4 µs
with optimized explanation
tests/math.rs::math::math_diff_different::math_diff_different::with optimized explanation130.9 µs
without explanation
tests/math.rs::math::diff_power_simple::diff_power_simple::without explanation1.2 ms
without explanation
tests/math.rs::math::integ_one::integ_one::without explanation112 µs
without explanation
tests/lambda.rs::lambda::lambda_compose::lambda_compose::without explanation1.3 ms
with unoptimized explanation
tests/math.rs::math::math_diff_simple1::math_diff_simple1::with unoptimized explanation1.3 ms
with unoptimized explanation
tests/math.rs::math::diff_power_simple::diff_power_simple::with unoptimized explanation2.2 ms
with unoptimized explanation
tests/math.rs::math::math_diff_simple2::math_diff_simple2::with unoptimized explanation1 ms
with optimized explanation
tests/math.rs::math::diff_power_simple::diff_power_simple::with optimized explanation2.2 ms
with unoptimized explanation
tests/lambda.rs::lambda::lambda_compose::lambda_compose::with unoptimized explanation1.7 ms
without explanation
tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::without explanation82.9 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::with unoptimized explanation238.6 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::with optimized explanation238.5 µs
with optimized explanation
tests/math.rs::math::math_diff_simple1::math_diff_simple1::with optimized explanation1.3 ms
with optimized explanation
tests/lambda.rs::lambda::lambda_compose::lambda_compose::with optimized explanation1.7 ms
without explanation
tests/math.rs::math::math_diff_ln::math_diff_ln::without explanation107.7 µs
with optimized explanation
tests/math.rs::math::integ_one::integ_one::with optimized explanation136.1 µs
with optimized explanation
tests/math.rs::math::diff_power_harder::diff_power_harder::with optimized explanation11 ms
with unoptimized explanation
tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::with unoptimized explanation100.6 µs
without explanation
tests/math.rs::math::diff_power_harder::diff_power_harder::without explanation5.4 ms
with unoptimized explanation
tests/math.rs::math::diff_power_harder::diff_power_harder::with unoptimized explanation11 ms
with unoptimized explanation
tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::with unoptimized explanation8.1 ms
with optimized explanation
tests/math.rs::math::math_diff_ln::math_diff_ln::with optimized explanation125.1 µs
without explanation
tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::without explanation608.3 ms
without explanation
tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::without explanation5.2 ms
with unoptimized explanation
tests/math.rs::math::integ_one::integ_one::with unoptimized explanation135.3 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::with optimized explanation626.1 ms
without explanation
tests/math.rs::math::integ_part1::integ_part1::without explanation1.9 ms
without explanation
tests/math.rs::math::integ_x::integ_x::without explanation132.5 µs
with unoptimized explanation
tests/math.rs::math::integ_sin::integ_sin::with unoptimized explanation122 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::with optimized explanation8.1 ms
with optimized explanation
tests/lambda.rs::lambda::lambda_if::lambda_if::with optimized explanation771.8 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_if::lambda_if::with unoptimized explanation770.5 µs
with unoptimized explanation
tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::with unoptimized explanation622.3 ms
without explanation
tests/lambda.rs::lambda::lambda_if::lambda_if::without explanation572.1 µs
with unoptimized explanation
tests/math.rs::math::math_associate_adds::math_associate_adds::with unoptimized explanation48.3 ms
with optimized explanation
tests/math.rs::math::integ_part1::integ_part1::with optimized explanation3.5 ms
with optimized explanation
tests/math.rs::math::integ_x::integ_x::with optimized explanation173.3 µs
without explanation
tests/math.rs::math::integ_part3::integ_part3::without explanation764.4 µs
with optimized explanation
tests/math.rs::math::integ_part2::integ_part2::with optimized explanation15.1 ms
with unoptimized explanation
tests/math.rs::math::integ_part2::integ_part2::with unoptimized explanation15.1 ms
without explanation
tests/math.rs::math::integ_sin::integ_sin::without explanation105.5 µs
with unoptimized explanation
tests/math.rs::math::integ_part1::integ_part1::with unoptimized explanation3.5 ms
with optimized explanation
tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::with optimized explanation100.4 µs
with optimized explanation
tests/lambda.rs::lambda::lambda_fib::lambda_fib::with optimized explanation147.1 ms
with unoptimized explanation
tests/lambda.rs::lambda::lambda_fib::lambda_fib::with unoptimized explanation147.3 ms
with unoptimized explanation
tests/math.rs::math::math_simplify_add::math_simplify_add::with unoptimized explanation937 µs
with optimized explanation
tests/math.rs::math::math_simplify_const::math_simplify_const::with optimized explanation388.2 µs
with optimized explanation
tests/math.rs::math::integ_part3::integ_part3::with optimized explanation1.2 ms
without explanation
tests/math.rs::math::integ_part2::integ_part2::without explanation7.7 ms
without explanation
tests/math.rs::math::math_associate_adds::math_associate_adds::without explanation14.7 ms
without explanation
tests/math.rs::math::math_powers::math_powers::without explanation137.8 µs
with optimized explanation
tests/math.rs::math::math_simplify_add::math_simplify_add::with optimized explanation935.8 µs
with optimized explanation
tests/math.rs::math::math_powers::math_powers::with optimized explanation172.7 µs
with optimized explanation
tests/math.rs::math::math_associate_adds::math_associate_adds::with optimized explanation48.4 ms
without explanation
tests/math.rs::math::math_simplify_add::math_simplify_add::without explanation482.2 µs
with unoptimized explanation
tests/math.rs::math::math_powers::math_powers::with unoptimized explanation172 µs
without explanation
tests/lambda.rs::lambda::lambda_fib::lambda_fib::without explanation145.2 ms
with unoptimized explanation
tests/math.rs::math::math_simplify_factor::math_simplify_factor::with unoptimized explanation4 ms
with unoptimized explanation
tests/math.rs::math::integ_part3::integ_part3::with unoptimized explanation1.2 ms
with optimized explanation
tests/math.rs::math::math_simplify_root::math_simplify_root::with optimized explanation5.7 ms
without explanation
tests/math.rs::math::math_simplify_const::math_simplify_const::without explanation264.5 µs
without explanation
tests/math.rs::math::math_simplify_root::math_simplify_root::without explanation2.7 ms
with optimized explanation
tests/math.rs::math::integ_sin::integ_sin::with optimized explanation122.9 µs
with unoptimized explanation
tests/math.rs::math::integ_x::integ_x::with unoptimized explanation170.8 µs
without explanation
tests/math.rs::math::math_simplify_factor::math_simplify_factor::without explanation1.9 ms
with unoptimized explanation
tests/math.rs::math::math_simplify_const::math_simplify_const::with unoptimized explanation388.2 µs
with unoptimized explanation
tests/math.rs::math::math_simplify_root::math_simplify_root::with unoptimized explanation5.7 ms