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

sample756.0ms

Algorithm

intervals

Results

480.0ms	2042×	body	80	invalid
60.0ms	256×	body	80	valid

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	1243	95
1	1243	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: 25.4b

Counts

2 → 1

localize62.0ms

Local error

Found 4 expressions with local error:

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

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

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

series197.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5071	2780

prune470.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

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: 16.3b

Counts

125 → 21

localize70.0ms

Local error

Found 4 expressions with local error:

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

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

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

series202.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5102	2776

prune465.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	117	7	124
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	119	26	145

Merged error: 13.8b

Counts

145 → 26

localize73.0ms

Local error

Found 4 expressions with local error:

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

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

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

series194.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify38.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5074	2780

prune529.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	117	7	124
Fresh	0	25	25
Picked	1	0	1
Done	0	0	0
Total	118	32	150

Merged error: 11.3b

Counts

150 → 32

localize73.0ms

Local error

Found 4 expressions with local error:

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

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

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

series197.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5069	2780

prune175.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

32 alts after pruning (31 fresh and 1 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	31	31
Picked	0	1	1
Done	0	0	0
Total	124	32	156

Merged error: 11.3b

Counts

156 → 32

regimes8.7s

Accuracy

-4.8% (15.1b remaining)

Error of 28.1b against oracle of 13.0b and baseline of 27.4b

bsearch1.1min

Steps

Iters	Range	Point
9	4.2201924542192275e-73	6.499467583804861e-66	2.781005632494546e-69
8	4.742077498896383e-166	2.2474495292363325e-161	2.193560869836003e-161
8	-2.705879762288283e-153	-3.9365462882333835e-156	-1.6533887229935686e-155

Iters

Range

Point

4.2201924542192275e-73

6.499467583804861e-66

2.781005632494546e-69

4.742077498896383e-166

2.2474495292363325e-161

2.193560869836003e-161

-2.705879762288283e-153

-3.9365462882333835e-156

-1.6533887229935686e-155

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	209	435
1	209	435

end0.0ms

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

sample22.1s

Algorithm

intervals

Results

14.4s	63991×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze4.9s

sample756.0ms

simplify20.0ms

prune23.0ms

localize62.0ms

rewrite35.0ms

series197.0ms

simplify43.0ms

prune470.0ms

localize70.0ms

rewrite35.0ms

series202.0ms

simplify39.0ms

prune465.0ms

localize73.0ms

rewrite42.0ms

series194.0ms

simplify38.0ms

prune529.0ms

localize73.0ms

rewrite36.0ms

series197.0ms

simplify39.0ms

prune175.0ms

regimes8.7s

bsearch1.1min

simplify4.0ms

end0.0ms

analyze4.9s

sample22.1s

Profiling