Details

analyze5.0s

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

sample726.0ms

Algorithm

intervals

Results

457.0ms	2006×	body	80	invalid
55.0ms	256×	body	80	valid

simplify35.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5427	95

prune23.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: 28.8b

Counts

2 → 1

localize70.0ms

Local error

Found 4 expressions with local error:

9.6b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
9.8b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
11.0b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite47.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:

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

series227.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5057	2796

prune393.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	105	19	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	106	19	125

Merged error: 19.7b

Counts

125 → 19

localize72.0ms

Local error

Found 4 expressions with local error:

9.2b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
9.6b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

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:

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

series223.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5045	2796

prune397.0ms

Filtered

105 candidates to 124 candidates (-18.1%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	1	17	18
Picked	1	0	1
Done	0	0	0
Total	120	23	143

Merged error: 16.9b

Counts

143 → 23

localize77.0ms

Local error

Found 4 expressions with local error:

9.2b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
9.6b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.8b	(.f64 (-.f64 (.f64 x y2) (.f64 z y3)) (-.f64 (.f64 y0 c) (*.f64 y1 a)))
11.0b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite47.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:

11.0ms	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
11.0ms	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
11.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)))

series226.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify50.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5043	2796

prune406.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	121	3	124
Fresh	0	22	22
Picked	1	0	1
Done	0	0	0
Total	122	25	147

Merged error: 16.9b

Counts

147 → 25

localize81.0ms

Local error

Found 4 expressions with local error:

9.2b	(.f64 (-.f64 (.f64 x j) (.f64 z k)) (-.f64 (.f64 y0 b) (*.f64 y1 i)))
9.6b	(.f64 (-.f64 (.f64 x y) (.f64 z t)) (-.f64 (.f64 a b) (*.f64 c i)))
9.6b	(.f64 (-.f64 (.f64 t j) (.f64 y k)) (-.f64 (.f64 y4 b) (*.f64 y5 i)))
11.0b	(.f64 (-.f64 (.f64 k y2) (.f64 j y3)) (-.f64 (.f64 y4 y1) (*.f64 y5 y0)))

rewrite48.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:

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

series230.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5045	2796

prune147.0ms

Filtered

105 candidates to 124 candidates (-18.1%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	24	24
Picked	0	1	1
Done	0	0	0
Total	124	25	149

Merged error: 16.9b

Counts

149 → 25

regimes7.1s

Accuracy

-21.7% (12.0b remaining)

Error of 29.2b against oracle of 17.3b and baseline of 27.1b

bsearch1.6s

Steps

Iters	Range		Point
9	559070800958.816	4.286368214329305e+16	4332885558869.715
6	7.965314678896743e-147	1.114551970230077e-145	9.956678071871251e-146
6	5.652269050079692e-275	3.63258492693247e-274	3.0188715740225817e-274
8	1.7695521493428726e-300	8.975659929423782e-297	1.0129494958467392e-297
9	-1.0368136223628872e-149	-3.8726639685247084e-155	-4.5576497293480545e-152

simplify58.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	2324	612
1	2324	612

end0.0ms

sample22.6s

Algorithm

intervals

Results

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

Details

analyze5.0s

sample726.0ms

simplify35.0ms

prune23.0ms

localize70.0ms

rewrite47.0ms

series227.0ms

simplify48.0ms

prune393.0ms

localize72.0ms

rewrite51.0ms

series223.0ms

simplify49.0ms

prune397.0ms

localize77.0ms

rewrite47.0ms

series226.0ms

simplify50.0ms

prune406.0ms

localize81.0ms

rewrite48.0ms

series230.0ms

simplify48.0ms

prune147.0ms

regimes7.1s

bsearch1.6s

simplify58.0ms

end0.0ms

sample22.6s

Profiling