Details

sample677.0ms

Algorithm

intervals

Results

480.0ms

2210×

body

valid

simplify47.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	132	47
1	350	47
2	1758	47
3	5001	47

prune12.0ms

Filtered

1 candidates to 0 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: 26.6b

Counts

2 → 1

localize66.0ms

Local error

Found 4 expressions with local error:

8.7b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series653.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify41.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5002	1484

prune1.8s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	112	20	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	113	20	133

Merged error: 17.7b

Counts

133 → 20

localize71.0ms

Local error

Found 4 expressions with local error:

9.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.6b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

rewrite37.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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series658.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
164.0ms	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
164.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
166.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify112.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	821	1572
1	4010	1452
2	5001	1452

prune1.8s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

20 alts after pruning (19 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	19	19
Picked	0	1	1
Done	0	0	0
Total	132	20	152

Merged error: 17.7b

Counts

152 → 20

localize74.0ms

Local error

Found 4 expressions with local error:

9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
9.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

series660.0ms

Counts

4 → 12

Calls

4 calls:

163.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
167.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
167.0ms	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
163.0ms	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))

simplify80.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	560	1572
1	2710	1452
2	5001	1452

prune1.9s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	18	18
Picked	0	1	1
Done	0	1	1
Total	132	20	152

Merged error: 17.7b

Counts

152 → 20

localize75.0ms

Local error

Found 4 expressions with local error:

8.5b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
8.7b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
9.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
10.9b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 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×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-r/` `associate-l/`
4×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp` `unswap-sqr`

Counts

4 → 120

Calls

4 calls:

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

series649.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (25.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5001	1484

prune1.6s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

26 alts after pruning (24 fresh and 2 done)

	Pruned	Kept	Total
New	125	7	132
Fresh	0	17	17
Picked	1	0	1
Done	0	2	2
Total	126	26	152

Merged error: 16.1b

Counts

152 → 26

regimes7.2s

Accuracy

-33% (14.3b remaining)

Error of 30.5b against oracle of 16.2b and baseline of 27.0b

bsearch2.8s

Steps

Iters	Range		Point
10	3.224942641352586e-40	1.4020769371567722e-30	1.932853709908624e-37
8	7.881941880331741e-165	5.909749053591287e-161	8.974336107086564e-163
9	-7.04410481699979e-275	-3.480394151824492e-282	-3.4618989618919136e-279
8	-2.2440200995431996e-215	-5.197441366979537e-218	-3.92155231725568e-217

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	167	233
1	174	233
2	177	233
3	177	233

end0.0ms

sample21.3s

Algorithm

intervals

Results

15.7s

72799×

body

valid

Details

sample677.0ms

simplify47.0ms

prune12.0ms

localize66.0ms

rewrite36.0ms

series653.0ms

simplify41.0ms

prune1.8s

localize71.0ms

rewrite37.0ms

series658.0ms

simplify112.0ms

prune1.8s

localize74.0ms

rewrite42.0ms

series660.0ms

simplify80.0ms

prune1.9s

localize75.0ms

rewrite36.0ms

series649.0ms

simplify39.0ms

prune1.6s

regimes7.2s

bsearch2.8s

simplify5.0ms

end0.0ms

sample21.3s

Profiling