Details

sample45.0ms

Algorithm

intervals

Results

13.0ms	276×	body	80	valid
11.0ms	267×	body	80	nan

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	5
1	47	5
2	71	5
3	103	5
4	124	5
5	138	5
6	148	5
7	148	5

prune2.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: 0.2b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ x (* y (sqrt z)))
0.3b	(* y (sqrt z))

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 33

Calls

2 calls:

2.0ms	(+ x (* y (sqrt z)))
5.0ms	(* y (sqrt z))

series72.0ms

Counts

2 → 6

Calls

2 calls:

30.0ms	(+ x (* y (sqrt z)))
42.0ms	(* y (sqrt z))

simplify116.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	219	188
1	829	168
2	3837	161
3	5002	161

prune87.0ms

Filtered

39 candidates to 28 candidates (71.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	32	7	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	32	8	40

Merged error: 0.0b

Counts

40 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(sqrt (sqrt z))
0.1b	(sqrt (sqrt z))
0.2b	(* y (sqrt (sqrt z)))
0.3b	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

41×	`sqrt-prod`
25×	`add-sqr-sqrt`
18×	`associate-r`
15×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
11×	`add-exp-log` `add-cbrt-cube`
8×	`sqrt-pow1`
4×	`rem-sqrt-square` `pow1/2` `associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`unswap-sqr`
2×	`*-commutative`

Counts

4 → 88

Calls

4 calls:

2.0ms	(sqrt (sqrt z))
2.0ms	(sqrt (sqrt z))
6.0ms	(* y (sqrt (sqrt z)))
9.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

series382.0ms

Counts

4 → 12

Calls

4 calls:

135.0ms	(sqrt (sqrt z))
132.0ms	(sqrt (sqrt z))
73.0ms	(* y (sqrt (sqrt z)))
42.0ms	(* (* y (sqrt (sqrt z))) (sqrt (sqrt z)))

simplify46.0ms

Algorithm

egg-herbie

Counts

100 → 100

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	336	516
1	1470	454
2	5002	427

prune197.0ms

Filtered

100 candidates to 59 candidates (59.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	95	5	100
Fresh	4	2	6
Picked	1	0	1
Done	0	1	1
Total	100	8	108

Merged error: 0.0b

Counts

108 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (* (* y (pow z 1/4)) (sqrt (sqrt z))))
0.1b	(sqrt (sqrt z))
0.2b	(* y (pow z 1/4))
0.3b	(* (* y (pow z 1/4)) (sqrt (sqrt z)))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-sqr-sqrt` `sqrt-prod`
16×	`associate-r`
12×	`add-cube-cbrt` `*-un-lft-identity`
11×	`add-cbrt-cube`
10×	`prod-exp`
8×	`pow1`
6×	`add-log-exp`
4×	`unpow-prod-down` `sqrt-pow1` `associate-l` `cbrt-unprod`
3×	`unswap-sqr`
2×	`pow-to-exp` `rem-sqrt-square` `pow1/2` `pow-exp` `*-commutative` `sqr-pow`
1×	`+-commutative` `flip3-+` `pow-prod-down` `sum-log` `flip-+`

Counts

4 → 80

Calls

4 calls:

3.0ms	(+ x (* (* y (pow z 1/4)) (sqrt (sqrt z))))
2.0ms	(sqrt (sqrt z))
5.0ms	(* y (pow z 1/4))
8.0ms	(* (* y (pow z 1/4)) (sqrt (sqrt z)))

series328.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ x (* (* y (pow z 1/4)) (sqrt (sqrt z))))
133.0ms	(sqrt (sqrt z))
57.0ms	(* y (pow z 1/4))
81.0ms	(* (* y (pow z 1/4)) (sqrt (sqrt z)))

simplify68.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	477	564
1	2149	507
2	5001	507

prune210.0ms

Filtered

92 candidates to 62 candidates (67.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	91	1	92
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	91	9	100

Merged error: 0.0b

Counts

100 → 9

localize13.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* (* y (pow z 1/4)) (pow z 1/4)))
0.2b	(* y (pow z 1/4))
0.3b	(* (* y (pow z 1/4)) (pow z 1/4))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 66

Calls

3 calls:

3.0ms	(+ x (* (* y (pow z 1/4)) (pow z 1/4)))
9.0ms	(* y (pow z 1/4))
7.0ms	(* (* y (pow z 1/4)) (pow z 1/4))

series133.0ms

Counts

3 → 9

Calls

3 calls:

30.0ms	(+ x (* (* y (pow z 1/4)) (pow z 1/4)))
61.0ms	(* y (pow z 1/4))
42.0ms	(* (* y (pow z 1/4)) (pow z 1/4))

simplify45.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	343	408
1	1448	340
2	5001	333

prune121.0ms

Filtered

75 candidates to 47 candidates (62.7%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	75	9	84

Merged error: 0.0b

Counts

84 → 9

regimes255.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	5
1	13	5

end0.0ms

sample930.0ms

Algorithm

intervals

Results

294.0ms	8546×	body	80	valid
265.0ms	8490×	body	80	nan

Details

sample45.0ms

simplify15.0ms

prune2.0ms

localize7.0ms

rewrite8.0ms

series72.0ms

simplify116.0ms

prune87.0ms

localize9.0ms

rewrite22.0ms

series382.0ms

simplify46.0ms

prune197.0ms

localize20.0ms

rewrite20.0ms

series328.0ms

simplify68.0ms

prune210.0ms

localize13.0ms

rewrite20.0ms

series133.0ms

simplify45.0ms

prune121.0ms

regimes255.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample930.0ms

Profiling