Details

sample17.0ms

Algorithm

intervals

Results

7.0ms

317×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	3
1	24	3
2	46	3
3	71	3
4	79	3
5	79	3

prune1.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: 3.8b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

3.6b	(* x (- 1.0 (* y z)))

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 24

Calls

1 calls:

5.0ms

(* x (- 1.0 (* y z)))

series44.0ms

Counts

1 → 3

Calls

1 calls:

44.0ms

(* x (- 1.0 (* y z)))

simplify60.0ms

Algorithm

egg-herbie

Counts

27 → 27

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	122	127
1	493	111
2	1989	111
3	5001	111

prune46.0ms

Filtered

27 candidates to 17 candidates (63.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	20	7	27
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	20	8	28

Merged error: 3.7b

Counts

28 → 8

localize12.0ms

Local error

Found 4 expressions with local error:

1.1b	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
3.8b	(cbrt (- 1.0 (* y z)))
3.8b	(cbrt (- 1.0 (* y z)))
3.8b	(cbrt (- 1.0 (* y z)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
10×	`associate-*r/`
9×	`pow1` `add-exp-log` `cbrt-prod` `add-sqr-sqrt` `flip3--` `flip--`
8×	`add-cube-cbrt` `*-un-lft-identity`
7×	`add-cbrt-cube`
4×	`frac-times` `add-log-exp`
3×	`pow1/3` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`associate-*l/`
1×	`associate-r` `*-commutative` `unswap-sqr`

Counts

4 → 66

Calls

4 calls:

10.0ms	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
2.0ms	(cbrt (- 1.0 (* y z)))
2.0ms	(cbrt (- 1.0 (* y z)))
2.0ms	(cbrt (- 1.0 (* y z)))

series746.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(* x (* (cbrt (- 1.0 (* y z))) (cbrt (- 1.0 (* y z)))))
222.0ms	(cbrt (- 1.0 (* y z)))
218.0ms	(cbrt (- 1.0 (* y z)))
214.0ms	(cbrt (- 1.0 (* y z)))

simplify109.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	340	830
1	1061	774
2	4437	756
3	5001	756

prune223.0ms

Filtered

78 candidates to 66 candidates (84.6%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	75	3	78
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	76	10	86

Merged error: 3.7b

Counts

86 → 10

localize13.0ms

Local error

Found 4 expressions with local error:

3.8b	(cbrt (- 1.0 (* y z)))
3.8b	(cbrt (- 1.0 (* y z)))
3.8b	(cbrt (- 1.0 (* y z)))
3.8b	(cbrt (- 1.0 (* y z)))

rewrite10.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `flip3--` `pow1/3` `add-cbrt-cube` `flip--` `add-log-exp`

Counts

4 → 52

Calls

4 calls:

2.0ms	(cbrt (- 1.0 (* y z)))
2.0ms	(cbrt (- 1.0 (* y z)))
2.0ms	(cbrt (- 1.0 (* y z)))
2.0ms	(cbrt (- 1.0 (* y z)))

series950.0ms

Counts

4 → 12

Calls

4 calls:

219.0ms	(cbrt (- 1.0 (* y z)))
228.0ms	(cbrt (- 1.0 (* y z)))
277.0ms	(cbrt (- 1.0 (* y z)))
226.0ms	(cbrt (- 1.0 (* y z)))

simplify81.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 2 (19.0ms)

Iter	Nodes	Cost
0	196	696
1	674	668
2	3120	660
3	5002	660

prune239.0ms

Filtered

64 candidates to 60 candidates (93.8%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	63	1	64
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	63	11	74

Merged error: 3.7b

Counts

74 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (* x (- 1.0 (* y z))))
3.6b	(* x (- 1.0 (* y z)))
3.6b	(* x (- 1.0 (* y z)))
3.6b	(* x (- 1.0 (* y z)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 83

Calls

4 calls:

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

series433.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(cbrt (* x (- 1.0 (* y z))))
225.0ms	(* x (- 1.0 (* y z)))
44.0ms	(* x (- 1.0 (* y z)))
48.0ms	(* x (- 1.0 (* y z)))

simplify75.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 3 (69.0ms)

Iter	Nodes	Cost
0	219	491
1	764	434
2	2979	430
3	5002	427

prune164.0ms

Filtered

95 candidates to 64 candidates (67.4%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	94	1	95
Fresh	1	6	7
Picked	0	1	1
Done	0	3	3
Total	95	11	106

Merged error: 3.7b

Counts

106 → 11

regimes202.0ms

Accuracy

0% (0.1b remaining)

Error of 3.0b against oracle of 2.8b and baseline of 3.0b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	3
1	9	3

end0.0ms

sample428.0ms

Algorithm

intervals

Results

237.0ms

9589×

body

valid

Details

sample17.0ms

simplify10.0ms

prune1.0ms

localize5.0ms

rewrite6.0ms

series44.0ms

simplify60.0ms

prune46.0ms

localize12.0ms

rewrite19.0ms

series746.0ms

simplify109.0ms

prune223.0ms

localize13.0ms

rewrite10.0ms

series950.0ms

simplify81.0ms

prune239.0ms

localize9.0ms

rewrite21.0ms

series433.0ms

simplify75.0ms

prune164.0ms

regimes202.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample428.0ms

Profiling