Details

analyze218.0ms

Algorithm: search

sample20.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
1.0ms	27×	body	80	nan
0.0ms	1×	body	80	invalid

simplify25.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	16	4
2	23	4
3	41	4
4	64	4
5	74	4
6	86	4
7	112	4
8	190	4
9	253	4
10	358	4
11	360	4
12	361	4
13	361	4

prune4.0ms

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

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (* x (log (/ x y))) z)
0.3b	(* x (log (/ x y)))
15.9b	(log (/ x y))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

65×	`log-prod`
45×	`times-frac`
42×	`add-sqr-sqrt`
40×	`add-cube-cbrt` `*-un-lft-identity`
26×	`distribute-rgt-in` `distribute-lft-in` `associate--l+`
8×	`add-exp-log`
7×	`pow1`
5×	`add-cbrt-cube` `div-inv` `add-log-exp`
4×	`associate-r`
3×	`associate-l`
2×	`rem-log-exp` `log-pow`
1×	`sub-neg` `log-div` `flip3--` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`

Counts

3 → 107

Calls

3 calls:

6.0ms	(- (* x (log (/ x y))) z)
5.0ms	(* x (log (/ x y)))
2.0ms	(log (/ x y))

series29.0ms

Counts

3 → 9

Calls

3 calls:

14.0ms	(- (* x (log (/ x y))) z)
9.0ms	(* x (log (/ x y)))
7.0ms	(log (/ x y))

simplify94.0ms

Algorithm

egg-herbie

Counts

116 → 116

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	367	732
1	1198	668
2	4130	641
3	5002	641

prune131.0ms

Filtered

81 candidates to 116 candidates (-43.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	110	6	116
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	111	6	117

Merged error: 0b

Counts

117 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series86.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
21.0ms	(cbrt y)
23.0ms	(cbrt x)
21.0ms	(cbrt x)

simplify167.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 4 (33.0ms)

Iter	Nodes	Cost
0	106	204
1	184	188
2	373	148
3	1008	144
4	4619	128
5	5001	128

prune259.0ms

Filtered

44 candidates to 56 candidates (-27.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	56	6	62

Merged error: 0b

Counts

62 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt x)
0.6b	(cbrt x)

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

12×	`cbrt-prod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`pow1` `add-exp-log` `pow1/3` `add-cbrt-cube` `add-log-exp`

Counts

4 → 44

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt x)
1.0ms	(cbrt x)

series87.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
23.0ms	(cbrt y)
21.0ms	(cbrt x)
21.0ms	(cbrt x)

simplify166.0ms

Algorithm

egg-herbie

Counts

56 → 56

Iterations

Useful iterations: 4 (33.0ms)

Iter	Nodes	Cost
0	106	204
1	184	188
2	373	148
3	1008	144
4	4619	128
5	5001	128

prune79.0ms

Filtered

44 candidates to 56 candidates (-27.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	56	6	62

Merged error: 0b

Counts

62 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt x)
0.6b	(cbrt x)
0.6b	(cbrt x)
4.7b	(log (/ (cbrt x) y))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

22×	`log-prod`
20×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
18×	`cbrt-prod` `times-frac`
7×	`add-exp-log`
5×	`pow1`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow1/3`
2×	`rem-log-exp`
1×	`log-div` `div-exp` `log-pow` `div-inv`

Counts

4 → 66

Calls

4 calls:

1.0ms	(cbrt x)
1.0ms	(cbrt x)
1.0ms	(cbrt x)
3.0ms	(log (/ (cbrt x) y))

series92.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt x)
22.0ms	(cbrt x)
21.0ms	(cbrt x)
26.0ms	(log (/ (cbrt x) y))

simplify152.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 3 (34.0ms)

Iter	Nodes	Cost
0	221	428
1	512	384
2	1222	358
3	3826	344
4	5002	344

prune94.0ms

Filtered

60 candidates to 78 candidates (-30.0%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	78	6	84

Merged error: 0b

Counts

84 → 6

regimes179.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	13
1	17	13

end0.0ms

analyze217.0ms

Algorithm: search

sample527.0ms

Algorithm

intervals

Results

325.0ms	8000×	body	80	valid
23.0ms	726×	body	80	nan
5.0ms	43×	body	80	invalid

Iter	Nodes	Cost
0	13	4
1	16	4
2	23	4
3	41	4
4	64	4
5	74	4
6	86	4
7	112	4
8	190	4
9	253	4
10	358	4
11	360	4
12	361	4
13	361	4

Iter	Nodes	Cost
0	13	4
1	16	4
2	23	4
3	41	4
4	64	4
5	74	4
6	86	4
7	112	4
8	190	4
9	253	4
10	358	4
11	360	4
12	361	4
13	361	4

Details

analyze218.0ms

sample20.0ms

simplify25.0ms

prune4.0ms

localize10.0ms

rewrite19.0ms

series29.0ms

simplify94.0ms

prune131.0ms

localize14.0ms

rewrite6.0ms

series86.0ms

simplify167.0ms

prune259.0ms

localize13.0ms

rewrite5.0ms

series87.0ms

simplify166.0ms

prune79.0ms

localize16.0ms

rewrite11.0ms

series92.0ms

simplify152.0ms

prune94.0ms

regimes179.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze217.0ms

sample527.0ms

Profiling

Iter	Nodes	Cost
0	13	4
1	16	4
2	23	4
3	41	4
4	64	4
5	74	4
6	86	4
7	112	4
8	190	4
9	253	4
10	358	4
11	360	4
12	361	4
13	361	4