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

sample732.0ms

Algorithm

intervals

Results

467.0ms	2100×	body	80	invalid
57.0ms	256×	body	80	valid

simplify29.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5427	95

prune21.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.0b

Counts

2 → 1

localize64.0ms

Local error

Found 4 expressions with local error:

8.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
9.1b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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:

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

series205.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5005	2796

prune456.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: 17.1b

Counts

125 → 19

localize76.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (- (* x y) (* z t)) (- (* a b) (* c i)))
8.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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:

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

series211.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4997	2800
1	4997	2800

prune421.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	119	5	124
Fresh	0	18	18
Picked	1	0	1
Done	0	0	0
Total	120	23	143

Merged error: 15.6b

Counts

143 → 23

localize69.0ms

Local error

Found 4 expressions with local error:

9.1b	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
9.1b	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
9.1b	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
9.0ms	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
9.0ms	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
9.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

series207.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
52.0ms	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
51.0ms	(* (- (* y2 k) (* y3 j)) (- (* y1 y4) (* y0 y5)))
52.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify48.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	5141	2772

prune392.0ms

Filtered

96 candidates to 124 candidates (-29.2%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	21	22
Picked	1	0	1
Done	0	0	0
Total	125	22	147

Merged error: 15.1b

Counts

147 → 22

localize73.0ms

Local error

Found 4 expressions with local error:

9.1b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
10.5b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

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:

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

series209.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
52.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
50.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
54.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))

simplify49.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5142	2780

prune179.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	20	21
Picked	1	0	1
Done	0	0	0
Total	125	21	146

Merged error: 14.9b

Counts

146 → 21

regimes6.1s

Accuracy

-10.4% (13.0b remaining)

Error of 28.2b against oracle of 15.3b and baseline of 27.0b

bsearch1.8s

Steps

Iters	Range		Point
8	1.0049085626838447e+29	4.863833136632259e+33	4.834660023196514e+30
6	4.729620817638408e-249	2.6559693631980195e-248	8.204752686724832e-249
10	-7.16566495173489e-237	-4.524645219308795e-251	-1.1996019517981854e-240
7	-2.7650716710743428e-191	-2.721507076372587e-193	-7.858119179104603e-193
6	-7.209995049309745e-60	-6.805267214508692e-61	-7.620746606333377e-61
6	-6.748267868547148e+67	-9.10992800328013e+66	-2.2758267721941825e+67

simplify94.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	3071	797
1	3071	797

end0.0ms

sample21.5s

Algorithm

intervals

Results

14.0s	64451×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze5.2s

sample732.0ms

simplify29.0ms

prune21.0ms

localize64.0ms

rewrite47.0ms

series205.0ms

simplify44.0ms

prune456.0ms

localize76.0ms

rewrite42.0ms

series211.0ms

simplify43.0ms

prune421.0ms

localize69.0ms

rewrite41.0ms

series207.0ms

simplify48.0ms

prune392.0ms

localize73.0ms

rewrite42.0ms

series209.0ms

simplify49.0ms

prune179.0ms

regimes6.1s

bsearch1.8s

simplify94.0ms

end0.0ms

sample21.5s

Profiling