Details

sample26.0ms

Algorithm

intervals

Results

9.0ms

333×

body

valid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

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

prune10.0ms

Filtered

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

Counts

2 → 2

localize6.0ms

Local error

Found 2 expressions with local error:

1.0b	(- (* x y) (* z y))
7.7b	(* (- (* 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))
5.0ms	(* (- (* x y) (* z y)) t)

series22.0ms

Counts

2 → 6

Calls

2 calls:

10.0ms	(- (* x y) (* z y))
13.0ms	(* (- (* x y) (* z y)) t)

simplify110.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (21.0ms)

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

prune72.0ms

Filtered

40 candidates to 30 candidates (25.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

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

9×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cbrt-cube`
8×	`associate-l`
7×	`*-un-lft-identity`
5×	`add-cube-cbrt`
4×	`associate-r` `pow-prod-down` `associate-*l/` `prod-exp` `cbrt-unprod`
2×	`flip3--` `associate-r/` `-commutative` `flip--` `add-log-exp`
1×	`distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

2 → 42

Calls

2 calls:

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

series16.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify102.0ms

Algorithm

egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 1 (6.0ms)

Iter	Nodes	Cost
0	183	193
1	784	160
2	4688	160
3	5001	160

prune72.0ms

Filtered

48 candidates to 33 candidates (31.3%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	43	5	48
Fresh	5	3	8
Picked	0	1	1
Done	0	1	1
Total	48	10	58

Merged error: 0.0b

Counts

58 → 10

localize10.0ms

Local error

Found 4 expressions with local error:

6.3b	(* y (* (- x z) t))
8.0b	(cbrt (* y (* (- x z) t)))
8.0b	(cbrt (* y (* (- x z) t)))
8.0b	(cbrt (* y (* (- x z) t)))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 53

Calls

4 calls:

7.0ms	(* y (* (- x z) t))
6.0ms	(cbrt (* y (* (- x z) t)))
6.0ms	(cbrt (* y (* (- x z) t)))
6.0ms	(cbrt (* y (* (- x z) t)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* y (* (- x z) t))
28.0ms	(cbrt (* y (* (- x z) t)))
31.0ms	(cbrt (* y (* (- x z) t)))
29.0ms	(cbrt (* y (* (- x z) t)))

simplify86.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (81.0ms)

Iter	Nodes	Cost
0	247	428
1	809	378
2	3803	369
3	5002	354

prune98.0ms

Filtered

65 candidates to 53 candidates (18.5%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	64	1	65
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	64	11	75

Merged error: 0.0b

Counts

75 → 11

localize16.0ms

Local error

Found 4 expressions with local error:

6.3b	(* y (* (- x z) t))
8.0b	(cbrt (* y (* (- x z) t)))
8.0b	(cbrt (* y (* (- x z) t)))
8.0b	(cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 53

Calls

4 calls:

7.0ms	(* y (* (- x z) t))
6.0ms	(cbrt (* y (* (- x z) t)))
6.0ms	(cbrt (* y (* (- x z) t)))
12.0ms	(cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))))

series104.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* y (* (- x z) t))
28.0ms	(cbrt (* y (* (- x z) t)))
29.0ms	(cbrt (* y (* (- x z) t)))
36.0ms	(cbrt (* (* (cbrt y) (cbrt y)) (* (cbrt y) (* (- x z) t))))

simplify99.0ms

Algorithm

egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 3 (93.0ms)

Iter	Nodes	Cost
0	293	496
1	959	436
2	4668	424
3	5001	415

prune74.0ms

Filtered

65 candidates to 54 candidates (16.9%)

Pruning

11 alts after pruning (7 fresh and 4 done)

	Pruned	Kept	Total
New	65	0	65
Fresh	0	7	7
Picked	0	1	1
Done	0	3	3
Total	65	11	76

Merged error: 0.0b

Counts

76 → 11

regimes599.0ms

Accuracy

91.8% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 7.2b

bsearch1.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 2 (1.0ms)

Iter	Nodes	Cost
0	31	29
1	34	29
2	40	19
3	43	19
4	49	19
5	60	19
6	67	19
7	68	19
8	68	19

end0.0ms

sample743.0ms

Algorithm

intervals

Results

309.0ms

10667×

body

valid

Details

sample26.0ms

simplify10.0ms

prune10.0ms

localize6.0ms

rewrite9.0ms

series22.0ms

simplify110.0ms

prune72.0ms

localize5.0ms

rewrite13.0ms

series16.0ms

simplify102.0ms

prune72.0ms

localize10.0ms

rewrite25.0ms

series98.0ms

simplify86.0ms

prune98.0ms

localize16.0ms

rewrite31.0ms

series104.0ms

simplify99.0ms

prune74.0ms

regimes599.0ms

bsearch1.0ms

simplify4.0ms

end0.0ms

sample743.0ms

Profiling