Details

sample22.0ms

Algorithm

intervals

Results

10.0ms

344×

body

valid

simplify14.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	3
1	34	3
2	72	3
3	100	3
4	108	3
5	108	3

prune6.0ms

Filtered

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

Counts

2 → 2

localize7.0ms

Local error

Found 2 expressions with local error:

1.2b	(- (* x y) (* z y))
6.2b	(* (- (* x y) (* z y)) t)

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 34

Calls

2 calls:

3.0ms	(- (* x y) (* z y))
6.0ms	(* (- (* x y) (* z y)) t)

series79.0ms

Counts

2 → 6

Calls

2 calls:

33.0ms	(- (* x y) (* z y))
46.0ms	(* (- (* x y) (* z y)) t)

simplify103.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	157	205
1	644	173
2	3801	169
3	5001	169

prune94.0ms

Filtered

40 candidates to 30 candidates (75.0%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	31	9	40
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	32	10	42

Merged error: 0.0b

Counts

42 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
1.8b	(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
2.3b	(* (* (* y (- x z)) (cbrt t)) (cbrt t))
2.6b	(* (* y (- x z)) (cbrt t))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
18×	`associate-r`
16×	`add-cbrt-cube`
12×	`cbrt-prod` `associate-*l/`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`associate-*r/`
4×	`add-log-exp`
3×	`flip3--` `associate-l` `*-commutative` `flip--`
1×	`pow1/3`

Counts

4 → 89

Calls

4 calls:

1.0ms	(cbrt t)
13.0ms	(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
11.0ms	(* (* (* y (- x z)) (cbrt t)) (cbrt t))
8.0ms	(* (* y (- x z)) (cbrt t))

series588.0ms

Counts

4 → 12

Calls

4 calls:

182.0ms	(cbrt t)
71.0ms	(* (* (* (* y (- x z)) (cbrt t)) (cbrt t)) (cbrt t))
194.0ms	(* (* (* y (- x z)) (cbrt t)) (cbrt t))
141.0ms	(* (* y (- x z)) (cbrt t))

simplify65.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	402	713
1	2102	562
2	5001	516

prune213.0ms

Filtered

101 candidates to 70 candidates (69.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	98	3	101
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	100	11	111

Merged error: 0.0b

Counts

111 → 11

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt t)
1.8b	(* (* (* y (* (- x z) (cbrt t))) (cbrt t)) (cbrt t))
2.3b	(* (* y (* (- x z) (cbrt t))) (cbrt t))
2.6b	(* y (* (- x z) (cbrt t)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log`
19×	`pow-prod-down` `prod-exp` `add-cbrt-cube` `cbrt-unprod`
13×	`associate-r`
12×	`associate-*l/`
10×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`cbrt-prod`
6×	`associate-*r/`
5×	`associate-l`
4×	`add-log-exp`
3×	`flip3--` `*-commutative` `flip--`
1×	`pow1/3`

Counts

4 → 86

Calls

4 calls:

1.0ms	(cbrt t)
14.0ms	(* (* (* y (* (- x z) (cbrt t))) (cbrt t)) (cbrt t))
11.0ms	(* (* y (* (- x z) (cbrt t))) (cbrt t))
8.0ms	(* y (* (- x z) (cbrt t)))

series588.0ms

Counts

4 → 12

Calls

4 calls:

186.0ms	(cbrt t)
67.0ms	(* (* (* y (* (- x z) (cbrt t))) (cbrt t)) (cbrt t))
192.0ms	(* (* y (* (- x z) (cbrt t))) (cbrt t))
142.0ms	(* y (* (- x z) (cbrt t)))

simplify64.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	403	712
1	2033	558
2	5002	510

prune211.0ms

Filtered

98 candidates to 67 candidates (68.4%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	95	3	98
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	95	14	109

Merged error: 0.0b

Counts

109 → 14

localize10.0ms

Local error

Found 4 expressions with local error:

1.2b	(- (* x y) (* z y))
8.5b	(cbrt (- (* x y) (* z y)))
8.5b	(cbrt (- (* x y) (* z y)))
8.5b	(cbrt (- (* x y) (* z y)))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`cbrt-div` `add-log-exp`
4×	`pow1` `add-exp-log` `flip3--` `distribute-rgt-out--` `add-cbrt-cube` `flip--`
3×	`pow1/3`
1×	`sub-neg` `diff-log`

Counts

4 → 55

Calls

4 calls:

3.0ms	(- (* x y) (* z y))
3.0ms	(cbrt (- (* x y) (* z y)))
3.0ms	(cbrt (- (* x y) (* z y)))
3.0ms	(cbrt (- (* x y) (* z y)))

series368.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(- (* x y) (* z y))
111.0ms	(cbrt (- (* x y) (* z y)))
110.0ms	(cbrt (- (* x y) (* z y)))
116.0ms	(cbrt (- (* x y) (* z y)))

simplify67.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 3 (56.0ms)

Iter	Nodes	Cost
0	218	548
1	624	510
2	2307	487
3	5001	483

prune194.0ms

Filtered

67 candidates to 61 candidates (91.0%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	2	9	11
Picked	1	0	1
Done	0	2	2
Total	69	12	81

Merged error: 0.0b

Counts

81 → 12

regimes352.0ms

Accuracy

71.1% (2.0b remaining)

Error of 2.1b against oracle of 0.0b and baseline of 7.1b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	15
1	25	15

end0.0ms

sample654.0ms

Algorithm

intervals

Results

358.0ms

10710×

body

valid