Details

sample115.0ms

Algorithm

intervals

Results

49.0ms

607×

body

valid

simplify83.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	43	14
1	96	14
2	291	14
3	825	14
4	2021	14
5	5001	14

prune6.0ms

Filtered

1 candidates to 0 candidates (100.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: 9.6b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
3.8b	(* x (- (* y z) (* t a)))
4.0b	(* j (- (* c a) (* y i)))
4.3b	(* b (- (* c z) (* t i)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-*r/`
19×	`flip3--` `flip--`
16×	`add-sqr-sqrt`
12×	`frac-add`
11×	`sub-neg`
10×	`pow1` `add-exp-log` `distribute-rgt-in` `add-cube-cbrt` `*-un-lft-identity` `distribute-lft-in` `add-cbrt-cube`
9×	`associate-r` `associate-l` `add-log-exp`
8×	`frac-sub`
6×	`associate-+l+`
4×	`associate-+r+` `associate--l+`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sum-log`
1×	`+-commutative` `associate-+l-` `flip3-+` `diff-log` `flip-+`

Counts

4 → 107

Calls

4 calls:

12.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
6.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* j (- (* c a) (* y i)))
6.0ms	(* b (- (* c z) (* t i)))

series322.0ms

Counts

4 → 12

Calls

4 calls:

263.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
18.0ms	(* x (- (* y z) (* t a)))
19.0ms	(* j (- (* c a) (* y i)))
22.0ms	(* b (- (* c z) (* t i)))

simplify46.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 1 (26.0ms)

Iter	Nodes	Cost
0	961	1832
1	5001	1770

prune314.0ms

Filtered

119 candidates to 81 candidates (31.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	95	24	119
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	24	120

Merged error: 3.4b

Counts

120 → 24

localize29.0ms

Local error

Found 4 expressions with local error:

4.3b	(* b (- (* c z) (* t i)))
5.4b	(cbrt (- (* y z) (* t a)))
5.4b	(cbrt (- (* y z) (* t a)))
5.4b	(cbrt (- (* y z) (* t a)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-*r/`
1×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 63

Calls

4 calls:

6.0ms	(* b (- (* c z) (* t i)))
3.0ms	(cbrt (- (* y z) (* t a)))
3.0ms	(cbrt (- (* y z) (* t a)))
3.0ms	(cbrt (- (* y z) (* t a)))

series135.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* b (- (* c z) (* t i)))
37.0ms	(cbrt (- (* y z) (* t a)))
41.0ms	(cbrt (- (* y z) (* t a)))
38.0ms	(cbrt (- (* y z) (* t a)))

simplify109.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (102.0ms)

Iter	Nodes	Cost
0	309	602
1	1069	555
2	3842	543
3	5001	534

prune243.0ms

Filtered

75 candidates to 59 candidates (21.3%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	23	23
Picked	0	1	1
Done	0	0	0
Total	75	24	99

Merged error: 3.4b

Counts

99 → 24

localize28.0ms

Local error

Found 4 expressions with local error:

1.5b	(* (cbrt x) (- (* y z) (* t a)))
2.7b	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
4.0b	(* j (- (* c a) (* y i)))
4.3b	(* b (- (* c z) (* t i)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

22×	`pow1` `add-exp-log`
19×	`add-sqr-sqrt`
15×	`add-cbrt-cube`
14×	`distribute-rgt-in` `distribute-lft-in`
13×	`associate-l`
11×	`add-cube-cbrt` `*-un-lft-identity` `pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`sub-neg` `associate-r/` `associate-r*`
4×	`cbrt-prod` `flip3--` `*-commutative` `flip--` `add-log-exp` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

7.0ms	(* (cbrt x) (- (* y z) (* t a)))
11.0ms	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
5.0ms	(* j (- (* c a) (* y i)))
6.0ms	(* b (- (* c z) (* t i)))

series130.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(* (cbrt x) (- (* y z) (* t a)))
26.0ms	(* (* (cbrt x) (cbrt x)) (* (cbrt x) (- (* y z) (* t a))))
18.0ms	(* j (- (* c a) (* y i)))
18.0ms	(* b (- (* c z) (* t i)))

simplify76.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	589	987
1	2480	780
2	5001	717

prune262.0ms

Filtered

120 candidates to 71 candidates (40.8%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	1	21	22
Picked	1	0	1
Done	0	1	1
Total	119	25	144

Merged error: 3.2b

Counts

144 → 25

localize25.0ms

Local error

Found 4 expressions with local error:

1.5b	(* (cbrt x) (- (* y z) (* t a)))
1.7b	(* (cbrt x) (* (cbrt x) (- (* y z) (* t a))))
4.0b	(* j (- (* c a) (* y i)))
4.3b	(* b (- (* c z) (* t i)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`associate-l`
15×	`pow1` `add-exp-log`
14×	`distribute-rgt-in` `distribute-lft-in`
13×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-cbrt-cube`
10×	`sub-neg` `associate-r/` `associate-r*`
7×	`cbrt-prod`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`flip3--` `*-commutative` `flip--` `add-log-exp` `unswap-sqr`

Counts

4 → 107

Calls

4 calls:

6.0ms	(* (cbrt x) (- (* y z) (* t a)))
9.0ms	(* (cbrt x) (* (cbrt x) (- (* y z) (* t a))))
6.0ms	(* j (- (* c a) (* y i)))
6.0ms	(* b (- (* c z) (* t i)))

series195.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(* (cbrt x) (- (* y z) (* t a)))
86.0ms	(* (cbrt x) (* (cbrt x) (- (* y z) (* t a))))
19.0ms	(* j (- (* c a) (* y i)))
20.0ms	(* b (- (* c z) (* t i)))

simplify78.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 1 (19.0ms)

Iter	Nodes	Cost
0	574	898
1	2332	810
2	5002	810

prune117.0ms

Filtered

119 candidates to 80 candidates (32.8%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	116	3	119
Fresh	2	21	23
Picked	1	0	1
Done	0	1	1
Total	119	25	144

Merged error: 3.0b

Counts

144 → 25

regimes2.7s

Accuracy

55.7% (3.9b remaining)

Error of 7.7b against oracle of 3.9b and baseline of 12.6b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	61
1	66	61

end0.0ms

sample3.3s

Algorithm

intervals

Results

1.6s

19295×

body

valid

Details

sample115.0ms

simplify83.0ms

prune6.0ms

localize20.0ms

rewrite33.0ms

series322.0ms

simplify46.0ms

prune314.0ms

localize29.0ms

rewrite17.0ms

series135.0ms

simplify109.0ms

prune243.0ms

localize28.0ms

rewrite32.0ms

series130.0ms

simplify76.0ms

prune262.0ms

localize25.0ms

rewrite29.0ms

series195.0ms

simplify78.0ms

prune117.0ms

regimes2.7s

bsearch2.0ms

simplify2.0ms

end0.0ms

sample3.3s

Profiling