Details

sample21.0ms

Algorithm

intervals

Results

10.0ms

347×

body

valid

simplify12.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

prune5.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.9b

Counts

2 → 2

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x y) (* z y))
6.5b	(* (- (* x y) (* z y)) t)

rewrite9.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)

series77.0ms

Counts

2 → 6

Calls

2 calls:

34.0ms	(- (* x y) (* z y))
42.0ms	(* (- (* x y) (* z y)) t)

simplify100.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (22.0ms)

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

prune98.0ms

Filtered

40 candidates to 30 candidates (75.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	33	7	40
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	34	8	42

Merged error: 0.0b

Counts

42 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

1.9b	(* (* (cbrt (- (* x y) (* z y))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
8.9b	(cbrt (- (* x y) (* z y)))
8.9b	(cbrt (- (* x y) (* z y)))
8.9b	(cbrt (- (* x y) (* z y)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

60×	`cbrt-div`
32×	`associate-*l/`
30×	`flip3--` `flip--`
28×	`frac-times`
16×	`pow1` `add-exp-log`
12×	`cbrt-prod`
10×	`add-cbrt-cube`
8×	`associate-*r/` `pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`distribute-rgt-out--` `pow1/3`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 90

Calls

4 calls:

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

series387.0ms

Counts

4 → 12

Calls

4 calls:

48.0ms	(* (* (cbrt (- (* x y) (* z y))) (cbrt (- (* x y) (* z y)))) (* (cbrt (- (* x y) (* z y))) t))
114.0ms	(cbrt (- (* x y) (* z y)))
112.0ms	(cbrt (- (* x y) (* z y)))
112.0ms	(cbrt (- (* x y) (* z y)))

simplify50.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	484	1784
1	1391	1557
2	5001	1464

prune247.0ms

Filtered

102 candidates to 74 candidates (72.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	99	3	102
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	103	7	110

Merged error: 0.0b

Counts

110 → 7

localize5.0ms

Local error

Found 1 expressions with local error:

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

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 26

Calls

1 calls:

7.0ms

(* (* t y) (- x z))

series45.0ms

Counts

1 → 3

Calls

1 calls:

45.0ms

(* (* t y) (- x z))

simplify95.0ms

Algorithm

egg-herbie

Counts

29 → 29

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	177	134
1	820	111
2	4326	111
3	5002	111

prune43.0ms

Filtered

29 candidates to 16 candidates (55.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	27	2	29
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	29	7	36

Merged error: 0.0b

Counts

36 → 7

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (* t y) x) (* (* t y) (neg z)))
2.9b	(* (* t y) x)
5.0b	(* (* t y) (neg z))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1` `add-exp-log` `associate-r` `add-cbrt-cube`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow-prod-down` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `distribute-rgt-neg-out`
2×	`associate-l` `*-commutative`
1×	`+-commutative` `neg-mul-1` `flip3-+` `unsub-neg` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 58

Calls

3 calls:

5.0ms	(+ (* (* t y) x) (* (* t y) (neg z)))
4.0ms	(* (* t y) x)
6.0ms	(* (* t y) (neg z))

series109.0ms

Counts

3 → 9

Calls

3 calls:

61.0ms	(+ (* (* t y) x) (* (* t y) (neg z)))
23.0ms	(* (* t y) x)
25.0ms	(* (* t y) (neg z))

simplify61.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	291	299
1	1708	249
2	5001	243

prune97.0ms

Filtered

67 candidates to 47 candidates (70.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	67	7	74

Merged error: 0.0b

Counts

74 → 7

regimes298.0ms

Accuracy

87.1% (0.9b remaining)

Error of 0.9b against oracle of 0.0b and baseline of 6.7b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	35
1	43	35
2	50	35
3	50	35

end0.0ms

sample569.0ms

Algorithm

intervals

Results

308.0ms

10712×

body

valid

Details

sample21.0ms

simplify12.0ms

prune5.0ms

localize9.0ms

rewrite9.0ms

series77.0ms

simplify100.0ms

prune98.0ms

localize11.0ms

rewrite32.0ms

series387.0ms

simplify50.0ms

prune247.0ms

localize5.0ms

rewrite8.0ms

series45.0ms

simplify95.0ms

prune43.0ms

localize11.0ms

rewrite16.0ms

series109.0ms

simplify61.0ms

prune97.0ms

regimes298.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample569.0ms

Profiling