Details

sample675.0ms

Algorithm

intervals

Results

483.0ms

2232×

body

valid

simplify45.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: 28.0b

Counts

2 → 1

localize62.0ms

Local error

Found 4 expressions with local error:

8.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series653.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1076	1572
1	5002	1484

prune1.8s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	110	22	132
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	22	133

Merged error: 17.6b

Counts

133 → 22

localize72.0ms

Local error

Found 4 expressions with local error:

7.9b	(* (- (* k y2) (* j y3)) (- (* y4 y1) (* y5 y0)))
8.2b	(* (- (* x y2) (* z y3)) (- (* y0 c) (* y1 a)))
9.8b	(* (- (* x j) (* z k)) (- (* y0 b) (* y1 i)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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

series651.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify42.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	1078	1572
1	5002	1484

prune1.9s

Filtered

132 candidates to 100 candidates (75.8%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	126	6	132
Fresh	0	21	21
Picked	1	0	1
Done	0	0	0
Total	127	27	154

Merged error: 15.8b

Counts

154 → 27

localize71.0ms

Local error

Found 4 expressions with local error:

10.2b	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
10.8b	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

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	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
8.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

series663.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(* (- (* t j) (* y k)) (- (* y4 b) (* y5 i)))
166.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
163.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))
168.0ms	(* (- (* t y2) (* y y3)) (- (* y4 c) (* y5 a)))

simplify84.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	554	1572
1	2696	1452
2	5002	1452

prune2.0s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

27 alts after pruning (26 fresh and 1 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	26	26
Picked	0	1	1
Done	0	0	0
Total	132	27	159

Merged error: 15.8b

Counts

159 → 27

localize263.0ms

Local error

Found 4 expressions with local error:

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

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

series638.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify114.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	823	1572
1	4017	1452
2	5001	1452

prune1.6s

Filtered

132 candidates to 96 candidates (72.7%)

Pruning

27 alts after pruning (25 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	25	25
Picked	0	1	1
Done	0	1	1
Total	132	27	159

Merged error: 15.8b

Counts

159 → 27

regimes7.4s

Accuracy

-23.5% (13.3b remaining)

Error of 29.7b against oracle of 16.4b and baseline of 27.2b

bsearch2.0s

Steps

Iters	Range		Point
8	2.6048282671931293e-185	3.234670669631389e-182	1.371493184211214e-184
4	-3.4846346848570164e-271	-1.8600088307398092e-271	-2.1596415270116615e-271
6	-2.132111395167037e-270	-3.4846346848570164e-271	-7.240493460691057e-271
6	-6.594591308181159e+28	-1.6245017904251718e+28	-2.7406113097969565e+28

simplify5.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	210	244
1	220	244
2	220	244

end0.0ms

sample21.4s

Algorithm

intervals

Results

16.0s

71895×

body

valid

Details

sample675.0ms

simplify45.0ms

prune12.0ms

localize62.0ms

rewrite35.0ms

series653.0ms

simplify42.0ms

prune1.8s

localize72.0ms

rewrite36.0ms

series651.0ms

simplify42.0ms

prune1.9s

localize71.0ms

rewrite36.0ms

series663.0ms

simplify84.0ms

prune2.0s

localize263.0ms

rewrite44.0ms

series638.0ms

simplify114.0ms

prune1.6s

regimes7.4s

bsearch2.0s

simplify5.0ms

end0.0ms

sample21.4s

Profiling