Details

sample0.0hr

Algorithm

intervals

Results

0.0hr

332×

body

valid

simplify0.0hr

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	19	4
1	41	4
2	69	4
3	90	4
4	105	4
5	147	4
6	226	4
7	368	4
8	415	4
9	415	4

prune0.0hr

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: 0.1b

Counts

2 → 1

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(+ 0.253 (* x 0.12))
0.1b	(* x (+ 0.253 (* x 0.12)))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

0.0hr	(+ 0.253 (* x 0.12))
0.0hr	(* x (+ 0.253 (* x 0.12)))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(+ 0.253 (* x 0.12))
0.0hr	(* x (+ 0.253 (* x 0.12)))

simplify0.0hr

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 1 (0.0hr)

Iter	Nodes	Cost
0	166	173
1	767	154
2	4026	154
3	5002	154

prune0.0hr

Filtered

39 candidates to 27 candidates (30.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	34	5	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	34	6	40

Merged error: 0.0b

Counts

40 → 6

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 0.253) (* x (* x 0.12)))
0.1b	(* x (* x 0.12))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

7×	`pow1` `add-exp-log` `add-cbrt-cube`
4×	`add-log-exp`
3×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`+-commutative` `flip3-+` `associate-r` `sum-log` `*-commutative` `flip-+` `distribute-lft-out`

Counts

2 → 30

Calls

2 calls:

0.0hr	(+ (* x 0.253) (* x (* x 0.12)))
0.0hr	(* x (* x 0.12))

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(+ (* x 0.253) (* x (* x 0.12)))
0.0hr	(* x (* x 0.12))

simplify0.0hr

Algorithm

egg-herbie

Counts

36 → 36

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	166	160
1	675	137
2	2995	134
3	5001	133

prune0.0hr

Filtered

36 candidates to 21 candidates (41.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	38	4	42

Merged error: 0b

Counts

42 → 4

localize0.0hr

Local error

Found 2 expressions with local error:

0.0b	(+ (* x 0.253) (* (pow x 2) 0.12))
0.1b	(* (pow x 2) 0.12)

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
8×	`associate-l`
7×	`add-exp-log`
5×	`add-cube-cbrt` `*-un-lft-identity`
4×	`unpow-prod-down` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
3×	`associate-r` `prod-exp`
2×	`pow1` `unpow2` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `flip3-+` `pow-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+`

Counts

2 → 38

Calls

2 calls:

0.0hr	(+ (* x 0.253) (* (pow x 2) 0.12))
0.0hr	(* (pow x 2) 0.12)

series0.0hr

Counts

2 → 6

Calls

2 calls:

0.0hr	(+ (* x 0.253) (* (pow x 2) 0.12))
0.0hr	(* (pow x 2) 0.12)

simplify0.0hr

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 3 (0.0hr)

Iter	Nodes	Cost
0	178	194
1	665	174
2	4106	168
3	5002	166

prune0.0hr

Filtered

44 candidates to 30 candidates (31.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	43	1	44
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	44	4	48

Merged error: 0b

Counts

48 → 4

localize0.0hr

Local error

Found 3 expressions with local error:

0.0b	(+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))
0.2b	(* (pow x 2) (sqrt 0.12))
0.2b	(* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12))

rewrite0.0hr

Algorithm

rewrite-expression-head

Rules

21×	`add-sqr-sqrt`
18×	`add-exp-log`
12×	`associate-r`
10×	`prod-exp` `sqrt-prod` `add-cbrt-cube`
9×	`add-cube-cbrt` `-un-lft-identity` `associate-l*`
8×	`unswap-sqr`
5×	`pow1` `unpow-prod-down` `add-log-exp`
4×	`cbrt-unprod`
3×	`unpow2` `sqr-pow`
2×	`pow-to-exp` `pow-exp` `*-commutative`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `flip-+`

Counts

3 → 67

Calls

3 calls:

0.0hr	(+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))
0.0hr	(* (pow x 2) (sqrt 0.12))
0.0hr	(* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12))

series0.0hr

Counts

3 → 9

Calls

3 calls:

0.0hr	(+ (* x 0.253) (* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12)))
0.0hr	(* (pow x 2) (sqrt 0.12))
0.0hr	(* (* (pow x 2) (sqrt 0.12)) (sqrt 0.12))

simplify0.0hr

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (0.0hr)

Iter	Nodes	Cost
0	255	462
1	1137	390
2	5002	361

prune0.0hr

Filtered

76 candidates to 44 candidates (42.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	76	4	80

Merged error: 0b

Counts

80 → 4

regimes0.0hr

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0hr

simplify0.0hr

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0hr)

Iter	Nodes	Cost
0	13	5
1	13	5

end0.0hr

sample0.0hr

Algorithm

intervals

Results

0.0hr

10741×

body

valid

Details

sample0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

localize0.0hr

rewrite0.0hr

series0.0hr

simplify0.0hr

prune0.0hr

regimes0.0hr

bsearch0.0hr

simplify0.0hr

end0.0hr

sample0.0hr

Profiling