Details

analyze4.9s

Algorithm

Search

True	Other	False	Iter
0%	99.2%	0.8%	0
0%	99.2%	0.8%	1
0%	99.2%	0.8%	2
0%	99.2%	0.8%	3
0%	99.2%	0.8%	4
0%	99.2%	0.8%	5
0%	99.2%	0.8%	6
0%	99.2%	0.8%	7
0%	99.2%	0.8%	8
0%	99.2%	0.8%	9
0%	99.2%	0.8%	10
0%	99.2%	0.8%	11
0%	99.2%	0.8%	12
0%	99.2%	0.8%	13
0%	99.2%	0.8%	14

sample730.0ms

Algorithm

intervals

Results

460.0ms	2063×	body	80	invalid
60.0ms	256×	body	80	valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5427	95

prune20.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 27.8b

Counts

2 → 1

localize64.0ms

Local error

Found 4 expressions with local error:

8.3b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.3b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
9.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

16.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series262.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
68.0ms	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
66.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
64.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify53.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5010	2796

prune432.0ms

Filtered

105 candidates to 124 candidates (-18.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	103	21	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	21	125

Merged error: 19.6b

Counts

125 → 21

localize76.0ms

Local error

Found 4 expressions with local error:

7.8b	(cbrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))
8.3b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

19×	`flip3--_binary64` `flip--_binary64`
17×	`add-sqr-sqrt_binary64`
12×	`frac-times_binary64`
11×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
9×	`associate-r_binary64` `associate-l_binary64`
6×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `cbrt-prod_binary64` `*-commutative_binary64`
2×	`cbrt-div_binary64`
1×	`pow1/3_binary64`

Counts

4 → 97

Calls

4 calls:

4.0ms	(cbrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series242.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(cbrt.f64 (-.f64 (.f64 y2 x) (.f64 y3 z)))
66.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
65.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
68.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify44.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5191	2327

prune330.0ms

Filtered

93 candidates to 109 candidates (-17.2%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	108	1	109
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	110	20	130

Merged error: 19.6b

Counts

130 → 20

localize69.0ms

Local error

Found 4 expressions with local error:

9.7b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
16.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
11.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
11.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series262.0ms

Counts

4 → 12

Calls

4 calls:

66.0ms	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
66.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
67.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))
64.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify54.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5121	2768

prune326.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	124	20	144

Merged error: 19.6b

Counts

144 → 20

localize68.0ms

Local error

Found 4 expressions with local error:

9.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
9.7b	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.4b	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--_binary64` `flip--_binary64`
20×	`add-sqr-sqrt_binary64`
16×	`frac-times_binary64`
12×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
8×	`sub-neg_binary64` `associate-r/_binary64` `associate-l/_binary64`
4×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`

Counts

4 → 112

Calls

4 calls:

10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
10.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

series262.0ms

Counts

4 → 12

Calls

4 calls:

67.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
66.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
63.0ms	(.f64 (-.f64 (.f64 y2 k) (.f64 y3 j)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))
65.0ms	(.f64 (-.f64 (.f64 t y2) (.f64 y y3)) (-.f64 (.f64 y4 c) (*.f64 y5 a)))

simplify53.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	5121	2768

prune134.0ms

Filtered

96 candidates to 124 candidates (-29.2%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	0	18	18
Picked	1	0	1
Done	0	1	1
Total	123	21	144

Merged error: 19.5b

Counts

144 → 21

regimes5.7s

Accuracy

-23.6% (9.6b remaining)

Error of 29.3b against oracle of 19.7b and baseline of 27.4b

bsearch718.0ms

Steps

Iters	Range		Point
9	-1.1635277804602954e-228	-3.8702044037593605e-235	-1.1496577283079256e-228
8	-3.2288852916581796e-57	-7.79363043041316e-60	-4.236432096543654e-59

simplify39.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	1513	331
1	1513	331

end0.0ms

sample22.3s

Algorithm

intervals

Results

14.6s	65009×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze4.9s

sample730.0ms

simplify36.0ms

prune20.0ms

localize64.0ms

rewrite49.0ms

series262.0ms

simplify53.0ms

prune432.0ms

localize76.0ms

rewrite38.0ms

series242.0ms

simplify44.0ms

prune330.0ms

localize69.0ms

rewrite51.0ms

series262.0ms

simplify54.0ms

prune326.0ms

localize68.0ms

rewrite45.0ms

series262.0ms

simplify53.0ms

prune134.0ms

regimes5.7s

bsearch718.0ms

simplify39.0ms

end0.0ms

sample22.3s

Profiling