Details

analyze5.2s

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

sample754.0ms

Algorithm

intervals

Results

483.0ms	2137×	body	80	invalid
58.0ms	256×	body	80	valid

simplify30.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (28.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	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 25.0b

Counts

2 → 1

localize63.0ms

Local error

Found 4 expressions with local error:

6.9b	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
8.4b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.4b	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

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

series199.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
49.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
50.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5049	2800

prune450.0ms

Filtered

103 candidates to 124 candidates (-20.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	104	20	124
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	105	20	125

Merged error: 15.1b

Counts

125 → 20

localize64.0ms

Local error

Found 4 expressions with local error:

6.7b	(* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
6.9b	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.4b	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

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

series199.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
50.0ms	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
49.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
52.0ms	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5046	2796

prune438.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	3	16	19
Picked	1	0	1
Done	0	0	0
Total	120	24	144

Merged error: 12.6b

Counts

144 → 24

localize67.0ms

Local error

Found 4 expressions with local error:

6.5b	(* (- (* t y2) (* y y3)) (- (* a y5) (* c y4)))
6.9b	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
9.4b	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

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

series200.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (- (* t y2) (* y y3)) (- (* a y5) (* c y4)))
51.0ms	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
51.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
49.0ms	(* (- (* x j) (* z k)) (- (* i y1) (* b y0)))

simplify42.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5042	2800

prune473.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	2	21	23
Picked	1	0	1
Done	0	0	0
Total	121	27	148

Merged error: 9.5b

Counts

148 → 27

localize71.0ms

Local error

Found 4 expressions with local error:

6.7b	(* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
6.9b	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
8.4b	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
8.7b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

24×	`flip3--` `flip--`
20×	`add-sqr-sqrt`
16×	`frac-times`
12×	`pow1` `add-exp-log` `add-cube-cbrt` `-un-lft-identity` `associate-r` `associate-l*` `add-cbrt-cube`
8×	`sub-neg` `associate-r/` `associate-l/`
4×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

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

series205.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(* (- (* k y2) (* j y3)) (- (* y1 y4) (* y0 y5)))
49.0ms	(* (- (* t j) (* y k)) (- (* b y4) (* i y5)))
51.0ms	(* (- (* x y2) (* z y3)) (- (* c y0) (* a y1)))
54.0ms	(* (- (* x y) (* z t)) (- (* a b) (* c i)))

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5054	2796

prune177.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	116	8	124
Fresh	4	22	26
Picked	1	0	1
Done	0	0	0
Total	121	30	151

Merged error: 9.0b

Counts

151 → 30

regimes8.2s

Accuracy

14.8% (14.0b remaining)

Error of 25.1b against oracle of 11.1b and baseline of 27.5b

bsearch768.0ms

Steps

Iters	Range		Point
8	1.4057711604747858e-16	1.3787247062779088e-12	2.2592140496290054e-14
9	-2.62244367101972e-174	-1.1300746677984584e-180	-2.2470993851592182e-174

simplify55.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	2413	333
1	2413	333

end0.0ms

sample22.0s

Algorithm

intervals

Results

14.5s	64369×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze5.2s

sample754.0ms

simplify30.0ms

prune23.0ms

localize63.0ms

rewrite45.0ms

series199.0ms

simplify44.0ms

prune450.0ms

localize64.0ms

rewrite41.0ms

series199.0ms

simplify44.0ms

prune438.0ms

localize67.0ms

rewrite47.0ms

series200.0ms

simplify42.0ms

prune473.0ms

localize71.0ms

rewrite41.0ms

series205.0ms

simplify43.0ms

prune177.0ms

regimes8.2s

bsearch768.0ms

simplify55.0ms

end0.0ms

sample22.0s

Profiling