Details

analyze4.8s

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

sample798.0ms

Algorithm

intervals

Results

510.0ms	2302×	body	80	invalid
53.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

prune31.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 24.7b

Counts

2 → 2

localize65.0ms

Local error

Found 4 expressions with local error:

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

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

series195.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5054	2796

prune454.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	103	21	124
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	105	21	126

Merged error: 14.6b

Counts

126 → 21

localize71.0ms

Local error

Found 4 expressions with local error:

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

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

series433.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5049	2796

prune509.0ms

Filtered

101 candidates to 124 candidates (-22.8%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	112	12	124
Fresh	1	19	20
Picked	1	0	1
Done	0	0	0
Total	114	31	145

Merged error: 12.4b

Counts

145 → 31

localize73.0ms

Local error

Found 4 expressions with local error:

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

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5048	2796

prune485.0ms

Filtered

99 candidates to 124 candidates (-25.3%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	1	29	30
Picked	1	0	1
Done	0	0	0
Total	125	30	155

Merged error: 12.4b

Counts

155 → 30

localize79.0ms

Local error

Found 4 expressions with local error:

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

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

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

series196.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5049	2796

prune196.0ms

Filtered

102 candidates to 124 candidates (-21.6%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	118	6	124
Fresh	0	29	29
Picked	1	0	1
Done	0	0	0
Total	119	35	154

Merged error: 11.1b

Counts

154 → 35

regimes9.0s

Accuracy

-3.3% (16.4b remaining)

Error of 27.9b against oracle of 11.5b and baseline of 27.4b

bsearch2.4s

Steps

Iters	Range		Point
9	3.573392321240503e+110	9.770705268057877e+116	2.9842974761197588e+112
9	1.2261463127567743e+19	9.096922435675986e+23	9.056734751352332e+21
8	9.470080113625634e-109	1.646773501081535e-104	1.2718187720690202e-104
8	2.7711044842505566e-230	1.4843242856749925e-225	2.400762160623862e-226
6	-1.7140146038787812e-73	-2.1337623993082128e-74	-3.0887687255830314e-74
8	-1.1241323686253232e-10	-7.821540925147247e-14	-9.020989232513019e-13
5	-1.8360844237328712e+22	-8.890065846996997e+21	-1.0998407691602487e+22

simplify108.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (105.0ms)

Iter	Nodes	Cost
0	3572	874
1	3572	874

end0.0ms

sample21.9s

Algorithm

intervals

Results

14.3s	64808×	body	80	invalid
1.8s	8000×	body	80	valid

Details

analyze4.8s

sample798.0ms

simplify29.0ms

prune31.0ms

localize65.0ms

rewrite47.0ms

series195.0ms

simplify43.0ms

prune454.0ms

localize71.0ms

rewrite41.0ms

series433.0ms

simplify44.0ms

prune509.0ms

localize73.0ms

rewrite47.0ms

series196.0ms

simplify44.0ms

prune485.0ms

localize79.0ms

rewrite49.0ms

series196.0ms

simplify42.0ms

prune196.0ms

regimes9.0s

bsearch2.4s

simplify108.0ms

end0.0ms

sample21.9s

Profiling