Details

sample31.0ms

Algorithm

intervals

Results

10.0ms	258×	body	80	valid
7.0ms	267×	body	80	nan

simplify16.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	25	4
2	41	4
3	52	4
4	85	4
5	106	4
6	141	4
7	215	4
8	236	4
9	236	4

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.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (- (* x (log y)) z) y)
0.0b	(- (* x (log y)) z)
0.2b	(* x (log y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`associate--l+`
18×	`log-prod`
15×	`add-sqr-sqrt`
13×	`*-un-lft-identity`
11×	`add-cube-cbrt`
10×	`add-log-exp`
9×	`distribute-rgt-in` `distribute-lft-in`
6×	`pow1`
5×	`add-exp-log` `add-cbrt-cube`
4×	`diff-log` `associate-r`
3×	`sub-neg` `associate-l`
2×	`flip3--` `flip--`
1×	`associate--l-` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

7.0ms	(- (- (* x (log y)) z) y)
4.0ms	(- (* x (log y)) z)
5.0ms	(* x (log y))

series126.0ms

Counts

3 → 9

Calls

3 calls:

35.0ms	(- (- (* x (log y)) z) y)
51.0ms	(- (* x (log y)) z)
40.0ms	(* x (log y))

simplify61.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	257	372
1	752	352
2	2351	328
3	5002	328

prune134.0ms

Filtered

76 candidates to 53 candidates (69.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	72	4	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	72	5	77

Merged error: 0.0b

Counts

77 → 5

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt y) (cbrt y))
0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt y) (cbrt y))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series723.0ms

Counts

4 → 12

Calls

4 calls:

194.0ms	(* (cbrt y) (cbrt y))
174.0ms	(cbrt y)
175.0ms	(cbrt y)
180.0ms	(cbrt y)

simplify88.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (82.0ms)

Iter	Nodes	Cost
0	115	288
1	472	261
2	2959	238
3	5003	235

prune207.0ms

Filtered

85 candidates to 64 candidates (75.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	85	5	90

Merged error: 0.0b

Counts

90 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (log (cbrt y)) x)
0.3b	(* x (log (pow y 2/3)))
0.6b	(cbrt y)
5.9b	(pow y 2/3)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
14×	`log-prod`
10×	`pow1`
9×	`add-exp-log` `unpow-prod-down`
8×	`associate-l` `add-cbrt-cube`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r`
4×	`add-log-exp`
3×	`cbrt-prod` `pow-unpow` `log-pow` `sqr-pow`
2×	`pow1/3` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow-to-exp` `pow-pow` `pow-exp`

Counts

4 → 81

Calls

4 calls:

4.0ms	(* (log (cbrt y)) x)
5.0ms	(* x (log (pow y 2/3)))
1.0ms	(cbrt y)
2.0ms	(pow y 2/3)

series540.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(* (log (cbrt y)) x)
78.0ms	(* x (log (pow y 2/3)))
171.0ms	(cbrt y)
169.0ms	(pow y 2/3)

simplify157.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	274	405
1	1122	342
2	4875	322
3	5002	322

prune213.0ms

Filtered

93 candidates to 59 candidates (63.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	1	1	2
Picked	1	0	1
Done	1	1	2
Total	93	5	98

Merged error: 0b

Counts

98 → 5

localize30.0ms

Local error

Found 4 expressions with local error:

3.5b	(pow (pow y 1/3) 1/3)
4.9b	(pow y 1/3)
5.9b	(pow y 2/3)
5.9b	(pow y 2/3)

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

19×	`unpow-prod-down`
13×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`pow-unpow`
9×	`add-exp-log`
7×	`pow1` `pow-exp`
5×	`pow-to-exp` `sqr-pow`
4×	`pow-pow` `add-cbrt-cube` `add-log-exp`
2×	`unpow1/3`

Counts

4 → 76

Calls

4 calls:

4.0ms	(pow (pow y 1/3) 1/3)
2.0ms	(pow y 1/3)
2.0ms	(pow y 2/3)
2.0ms	(pow y 2/3)

series927.0ms

Counts

4 → 12

Calls

4 calls:

415.0ms	(pow (pow y 1/3) 1/3)
170.0ms	(pow y 1/3)
169.0ms	(pow y 2/3)
174.0ms	(pow y 2/3)

simplify88.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 3 (82.0ms)

Iter	Nodes	Cost
0	207	238
1	659	216
2	2757	212
3	5001	202

prune237.0ms

Filtered

88 candidates to 59 candidates (67.0%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	88	0	88
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	88	5	93

Merged error: 0b

Counts

93 → 5

regimes102.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	8	4
1	8	4

end0.0ms

sample844.0ms

Algorithm

intervals

Results

297.0ms	8027×	body	80	valid
220.0ms	7964×	body	80	nan
0.0ms	1×	body	160	valid

Details

sample31.0ms

simplify16.0ms

prune2.0ms

localize7.0ms

rewrite18.0ms

series126.0ms

simplify61.0ms

prune134.0ms

localize14.0ms

rewrite11.0ms

series723.0ms

simplify88.0ms

prune207.0ms

localize23.0ms

rewrite14.0ms

series540.0ms

simplify157.0ms

prune213.0ms

localize30.0ms

rewrite12.0ms

series927.0ms

simplify88.0ms

prune237.0ms

regimes102.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample844.0ms

Profiling