Details

sample9.0ms

Algorithm

intervals

Results

4.0ms

256×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	6	2
1	6	2

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

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

0.0b	(+ x (/ 1.0 3.0))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 12

Calls

1 calls:

5.0ms

(+ x (/ 1.0 3.0))

series17.0ms

Counts

1 → 3

Calls

1 calls:

17.0ms

(+ x (/ 1.0 3.0))

simplify106.0ms

Algorithm

egg-herbie

Counts

15 → 15

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	77	55
1	201	50
2	475	50
3	1282	50
4	3893	50
5	5002	50

prune24.0ms

Filtered

15 candidates to 11 candidates (73.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	13	2	15
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	13	3	16

Merged error: 0.0b

Counts

16 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (+ x (/ 1.0 3.0)))
0.3b	(cbrt (+ x (/ 1.0 3.0)))
0.3b	(cbrt (+ x (/ 1.0 3.0)))
0.8b	(* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

36×	`cbrt-prod`
35×	`*-un-lft-identity`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt`
11×	`pow1`
9×	`flip3-+` `pow1/3` `swap-sqr` `flip-+` `distribute-lft-out`
7×	`associate-r` `associate-l`
6×	`add-exp-log`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 95

Calls

4 calls:

5.0ms	(cbrt (+ x (/ 1.0 3.0)))
5.0ms	(cbrt (+ x (/ 1.0 3.0)))
5.0ms	(cbrt (+ x (/ 1.0 3.0)))
14.0ms	(* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))

series374.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(cbrt (+ x (/ 1.0 3.0)))
89.0ms	(cbrt (+ x (/ 1.0 3.0)))
95.0ms	(cbrt (+ x (/ 1.0 3.0)))
102.0ms	(* (cbrt (+ x (/ 1.0 3.0))) (cbrt (+ x (/ 1.0 3.0))))

simplify155.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	338	995
1	1139	936
2	4913	841
3	5001	841

prune203.0ms

Filtered

107 candidates to 75 candidates (70.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	107	3	110

Merged error: 0.0b

Counts

110 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (+ x (/ 1.0 3.0)))
0.0b	(+ x (/ 1.0 3.0))
1.3b	(exp (log (+ x (/ 1.0 3.0))))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity`
8×	`log-prod`
6×	`add-sqr-sqrt` `add-cube-cbrt`
5×	`pow1` `add-log-exp`
4×	`add-exp-log` `log-div` `exp-prod` `exp-sum`
3×	`flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`exp-diff` `log-pow`
1×	`+-commutative` `rem-log-exp` `sum-log` `rem-exp-log`

Counts

3 → 45

Calls

3 calls:

5.0ms	(log (+ x (/ 1.0 3.0)))
5.0ms	(+ x (/ 1.0 3.0))
6.0ms	(exp (log (+ x (/ 1.0 3.0))))

series78.0ms

Counts

3 → 9

Calls

3 calls:

44.0ms	(log (+ x (/ 1.0 3.0)))
17.0ms	(+ x (/ 1.0 3.0))
17.0ms	(exp (log (+ x (/ 1.0 3.0))))

simplify43.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 3 (38.0ms)

Iter	Nodes	Cost
0	183	260
1	499	238
2	1548	230
3	5002	221

prune83.0ms

Filtered

54 candidates to 37 candidates (68.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	53	1	54
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	54	3	57

Merged error: 0b

Counts

57 → 3

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(log (+ x (/ 1.0 3.0)))
0.0b	(+ x (/ 1.0 3.0))
1.4b	(pow E (log (+ x (/ 1.0 3.0))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

13×	`*-un-lft-identity`
8×	`log-prod`
7×	`add-sqr-sqrt` `add-cube-cbrt`
6×	`pow1`
5×	`add-exp-log` `add-log-exp`
4×	`unpow-prod-up` `log-div` `pow-unpow`
3×	`unpow-prod-down` `flip3-+` `add-cbrt-cube` `flip-+` `distribute-lft-out`
2×	`pow-exp` `log-pow` `pow-sub`
1×	`+-commutative` `pow-to-exp` `e-exp-1` `pow-pow` `rem-log-exp` `sum-log` `sqr-pow`

Counts

3 → 52

Calls

3 calls:

9.0ms	(log (+ x (/ 1.0 3.0)))
5.0ms	(+ x (/ 1.0 3.0))
7.0ms	(pow E (log (+ x (/ 1.0 3.0))))

series275.0ms

Counts

3 → 9

Calls

3 calls:

41.0ms	(log (+ x (/ 1.0 3.0)))
22.0ms	(+ x (/ 1.0 3.0))
212.0ms	(pow E (log (+ x (/ 1.0 3.0))))

simplify170.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 2 (27.0ms)

Iter	Nodes	Cost
0	309	384
1	1063	338
2	4905	322
3	5001	322

prune111.0ms

Filtered

61 candidates to 43 candidates (70.5%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	61	0	61
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	61	3	64

Merged error: 0b

Counts

64 → 3

regimes24.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	2
1	6	2

end0.0ms

sample206.0ms

Algorithm

intervals

Results

122.0ms

8000×

body

valid

Details

sample9.0ms

simplify4.0ms

prune1.0ms

localize3.0ms

rewrite5.0ms

series17.0ms

simplify106.0ms

prune24.0ms

localize7.0ms

rewrite32.0ms

series374.0ms

simplify155.0ms

prune203.0ms

localize7.0ms

rewrite17.0ms

series78.0ms

simplify43.0ms

prune83.0ms

localize10.0ms

rewrite22.0ms

series275.0ms

simplify170.0ms

prune111.0ms

regimes24.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample206.0ms

Profiling