egraph_nodes - Branch - dewert99/plat-egg

Egraph nodes

#1Merged

Comparing

egraph_nodes

(

eb5b548

) with

codspeed

(

9b8c9f3

)

+4%

Improvements: 18

Regressions: 0

Untouched: 66

New: 0

Dropped: 0

Ignored: 0

Benchmarks

Improved

without explanation

tests/math.rs::math::integ_part2::integ_part2::without explanation

+4%

8 ms

7.7 ms

with optimized explanation

tests/math.rs::math::math_diff_simple2::math_diff_simple2::with optimized explanation

+3%

1.1 ms

1 ms

with unoptimized explanation

tests/math.rs::math::math_diff_simple2::math_diff_simple2::with unoptimized explanation

+3%

1.1 ms

1 ms

with unoptimized explanation

tests/math.rs::math::integ_part3::integ_part3::with unoptimized explanation

+3%

1.3 ms

1.2 ms

without explanation

tests/math.rs::math::math_diff_simple2::math_diff_simple2::without explanation

+3%

619.2 µs

602.7 µs

without explanation

tests/math.rs::math::math_diff_simple1::math_diff_simple1::without explanation

+3%

810.6 µs

789.3 µs

with optimized explanation

tests/lambda.rs::lambda::lambda_fib::lambda_fib::with optimized explanation

+3%

151.1 ms

147.1 ms

with unoptimized explanation

tests/math.rs::math::integ_part2::integ_part2::with unoptimized explanation

+3%

15.5 ms

15.1 ms

with unoptimized explanation

tests/math.rs::math::math_diff_simple1::math_diff_simple1::with unoptimized explanation

+3%

1.4 ms

1.3 ms

with unoptimized explanation

tests/math.rs::math::integ_part1::integ_part1::with unoptimized explanation

+3%

3.6 ms

3.5 ms

with optimized explanation

tests/math.rs::math::integ_part2::integ_part2::with optimized explanation

+3%

15.5 ms

15.1 ms

with unoptimized explanation

tests/lambda.rs::lambda::lambda_fib::lambda_fib::with unoptimized explanation

+2%

150.9 ms

147.3 ms

with optimized explanation

tests/math.rs::math::integ_part3::integ_part3::with optimized explanation

+2%

1.3 ms

1.2 ms

with optimized explanation

tests/math.rs::math::math_diff_simple1::math_diff_simple1::with optimized explanation

+2%

1.4 ms

1.3 ms

with optimized explanation

tests/math.rs::math::math_diff_same::math_diff_same::with optimized explanation

+2%

127.6 µs

124.9 µs

with optimized explanation

tests/math.rs::math::integ_part1::integ_part1::with optimized explanation

+2%

3.6 ms

3.5 ms

with unoptimized explanation

tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::with unoptimized explanation

+2%

102.7 µs

100.6 µs

without explanation

tests/math.rs::math::integ_part1::integ_part1::without explanation

+2%

2 ms

1.9 ms

Passed

without explanation

tests/math.rs::math::diff_power_simple::diff_power_simple::without explanation

+2%

1.2 ms

without explanation

tests/math.rs::math::integ_part3::integ_part3::without explanation

+2%

778.6 µs

764.4 µs

with optimized explanation

tests/math.rs::math::math_diff_different::math_diff_different::with optimized explanation

+2%

133.3 µs

130.9 µs

with optimized explanation

tests/math.rs::math::diff_power_simple::diff_power_simple::with optimized explanation

+2%

2.2 ms

without explanation

tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::without explanation

+2%

233.4 µs

229.4 µs

with optimized explanation

tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::with optimized explanation

+2%

102.1 µs

100.4 µs

without explanation

tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::without explanation

+2%

5.2 ms

without explanation

tests/math.rs::math::diff_power_harder::diff_power_harder::without explanation

+2%

5.4 ms

without explanation

tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::without explanation

+2%

618.3 ms

608.3 ms

with unoptimized explanation

tests/math.rs::math::math_diff_same::math_diff_same::with unoptimized explanation

+2%

127.4 µs

125.4 µs

with unoptimized explanation

tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::with unoptimized explanation

+2%

8.2 ms

8.1 ms

with unoptimized explanation

tests/math.rs::math::math_powers::math_powers::with unoptimized explanation

+2%

174.8 µs

172 µs

with unoptimized explanation

tests/math.rs::math::math_simplify_const::math_simplify_const::with unoptimized explanation

+2%

394.5 µs

388.2 µs

with optimized explanation

tests/math.rs::math::diff_power_harder::diff_power_harder::with optimized explanation

+2%

11.2 ms

11 ms

with optimized explanation

tests/lambda.rs::lambda::lambda_compose_many::lambda_compose_many::with optimized explanation

+2%

8.2 ms

8.1 ms

with unoptimized explanation

tests/math.rs::math::diff_power_simple::diff_power_simple::with unoptimized explanation

+2%

2.2 ms

with unoptimized explanation

tests/math.rs::math::math_diff_different::math_diff_different::with unoptimized explanation

+2%

134 µs

131.9 µs

with optimized explanation

tests/lambda.rs::lambda::lambda_under::lambda_under::with optimized explanation

+1%

134.9 µs

132.9 µs

without explanation

tests/math.rs::math::math_diff_same::math_diff_same::without explanation

+1%

110.4 µs

108.9 µs

with unoptimized explanation

tests/lambda.rs::lambda::lambda_under::lambda_under::with unoptimized explanation

+1%

134.7 µs

132.8 µs

without explanation

tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::without explanation

+1%

184.6 µs

182.1 µs

with unoptimized explanation

tests/math.rs::math::integ_x::integ_x::with unoptimized explanation

+1%

173.2 µs

170.8 µs

with optimized explanation

tests/math.rs::math::math_simplify_const::math_simplify_const::with optimized explanation

+1%

393.4 µs

388.2 µs

with unoptimized explanation

tests/math.rs::math::diff_power_harder::diff_power_harder::with unoptimized explanation

+1%

11.1 ms

11 ms

with optimized explanation

tests/math.rs::math::math_powers::math_powers::with optimized explanation

+1%

174.9 µs

172.7 µs

with unoptimized explanation

tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::with unoptimized explanation

+1%

630 ms

622.3 ms

with unoptimized explanation

tests/math.rs::math::integ_sin::integ_sin::with unoptimized explanation

+1%

123.5 µs

122 µs

without explanation

tests/lambda.rs::lambda::lambda_if::lambda_if::without explanation

+1%

579 µs

572.1 µs

with optimized explanation

tests/math.rs::math::math_simplify_factor::math_simplify_factor::with optimized explanation

+1%

4.1 ms

4 ms

with optimized explanation

tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::with optimized explanation

+1%

288.9 µs

285.6 µs

with optimized explanation

tests/math.rs::math::math_diff_ln::math_diff_ln::with optimized explanation

+1%

126.5 µs

125.1 µs

without explanation

tests/lambda.rs::lambda::lambda_under::lambda_under::without explanation

+1%

112.4 µs

111.1 µs

without explanation

tests/lambda.rs::lambda::lambda_if_simple::lambda_if_simple::without explanation

+1%

83.7 µs

82.9 µs

with optimized explanation

tests/math.rs::math::math_simplify_root::math_simplify_root::with optimized explanation

+1%

5.7 ms

with unoptimized explanation

tests/lambda.rs::lambda::lambda_if_elim::lambda_if_elim::with unoptimized explanation

+1%

288 µs

285.1 µs

with unoptimized explanation

tests/math.rs::math::math_simplify_root::math_simplify_root::with unoptimized explanation

+1%

5.7 ms

without explanation

tests/math.rs::math::math_powers::math_powers::without explanation

+1%

139.1 µs

137.8 µs

with unoptimized explanation

tests/math.rs::math::math_diff_ln::math_diff_ln::with unoptimized explanation

+1%

126.7 µs

125.4 µs

with optimized explanation

tests/math.rs::math::math_simplify_add::math_simplify_add::with optimized explanation

+1%

944.8 µs

935.8 µs

with unoptimized explanation

tests/math.rs::math::math_simplify_factor::math_simplify_factor::with unoptimized explanation

+1%

4.1 ms

4 ms

with unoptimized explanation

tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::with unoptimized explanation

+1%

240.6 µs

238.6 µs

with unoptimized explanation

tests/math.rs::math::integ_one::integ_one::with unoptimized explanation

+1%

136.4 µs

135.3 µs

with optimized explanation

tests/lambda.rs::lambda::lambda_let_simple::lambda_let_simple::with optimized explanation

+1%

240.4 µs

238.5 µs

with unoptimized explanation

tests/math.rs::math::math_simplify_add::math_simplify_add::with unoptimized explanation

+1%

944.5 µs

937 µs

without explanation

tests/lambda.rs::lambda::lambda_compose::lambda_compose::without explanation

+1%

1.3 ms

without explanation

tests/math.rs::math::math_simplify_const::math_simplify_const::without explanation

+1%

266.6 µs

264.5 µs

without explanation

tests/math.rs::math::integ_one::integ_one::without explanation

+1%

112.9 µs

112 µs

without explanation

tests/math.rs::math::math_associate_adds::math_associate_adds::without explanation

+1%

14.8 ms

14.7 ms

with optimized explanation

tests/lambda.rs::lambda::lambda_compose::lambda_compose::with optimized explanation

+1%

1.7 ms

without explanation

tests/math.rs::math::math_simplify_factor::math_simplify_factor::without explanation

+1%

1.9 ms

without explanation

tests/math.rs::math::integ_sin::integ_sin::without explanation

+1%

106.1 µs

105.5 µs

without explanation

tests/math.rs::math::math_simplify_root::math_simplify_root::without explanation

+1%

2.7 ms

without explanation

tests/math.rs::math::math_diff_ln::math_diff_ln::without explanation

+1%

108.3 µs

107.7 µs

without explanation

tests/math.rs::math::math_diff_different::math_diff_different::without explanation

+1%

113.8 µs

113.2 µs

with unoptimized explanation

tests/lambda.rs::lambda::lambda_if::lambda_if::with unoptimized explanation

+1%

774.7 µs

770.5 µs

with optimized explanation

tests/lambda.rs::lambda::lambda_if::lambda_if::with optimized explanation

775.7 µs

771.8 µs

with unoptimized explanation

tests/math.rs::math::math_associate_adds::math_associate_adds::with unoptimized explanation

48.6 ms

48.3 ms

with unoptimized explanation

tests/lambda.rs::lambda::lambda_compose::lambda_compose::with unoptimized explanation

1.7 ms

with optimized explanation

tests/math.rs::math::integ_one::integ_one::with optimized explanation

136.5 µs

136.1 µs

with optimized explanation

tests/math.rs::math::math_associate_adds::math_associate_adds::with optimized explanation

48.5 ms

48.4 ms

with optimized explanation

tests/math.rs::math::integ_x::integ_x::with optimized explanation

173.4 µs

173.3 µs

with optimized explanation

tests/math.rs::math::integ_sin::integ_sin::with optimized explanation

122.9 µs

without explanation

tests/math.rs::math::math_simplify_add::math_simplify_add::without explanation

482.3 µs

482.2 µs

without explanation

tests/math.rs::math::integ_x::integ_x::without explanation

132.3 µs

132.5 µs

without explanation

tests/lambda.rs::lambda::lambda_fib::lambda_fib::without explanation

145 ms

145.2 ms

with optimized explanation

tests/lambda.rs::lambda::lambda_function_repeat::lambda_function_repeat::with optimized explanation

623.8 ms

626.1 ms

Commits

Click on a commit to change the comparison range

Base

codspeed

9b8c9f3

+4%

Clarify `id_to_expr` and prevent `copy_with_unions` when explanations are disabled

eb5b548

1 year ago

by dewert99

Home Terms Privacy Docs