Details

sample72.0ms

Algorithm

intervals

Results

30.0ms	668×	body	80	nan
14.0ms	261×	body	80	valid

simplify32.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	20	6
1	48	6
2	118	6
3	247	6
4	525	6
5	732	6
6	937	6
7	1108	6
8	1128	6
9	1128	6

prune3.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

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (- (* x (log y)) y) z) (log t))
0.0b	(- (* x (log y)) y)
0.3b	(* x (log y))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

21×	`log-prod`
20×	`*-un-lft-identity` `associate--l+`
14×	`add-sqr-sqrt`
12×	`add-cube-cbrt`
11×	`add-log-exp`
10×	`associate-+l+`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`pow1`
5×	`add-exp-log` `add-cbrt-cube`
4×	`diff-log` `associate-r` `distribute-lft-out`
3×	`sub-neg` `associate-+r+` `associate-l` `sum-log` `log-pow`
2×	`distribute-lft-out--`
1×	`+-commutative` `associate-+l-` `flip3--` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `flip-+` `unswap-sqr`

Counts

3 → 74

Calls

3 calls:

12.0ms	(+ (- (- (* x (log y)) y) z) (log t))
5.0ms	(- (* x (log y)) y)
4.0ms	(* x (log y))

series143.0ms

Counts

3 → 9

Calls

3 calls:

43.0ms	(+ (- (- (* x (log y)) y) z) (log t))
61.0ms	(- (* x (log y)) y)
39.0ms	(* x (log y))

simplify87.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (26.0ms)

Iter	Nodes	Cost
0	333	472
1	1030	432
2	3345	405
3	5001	405

prune185.0ms

Filtered

83 candidates to 56 candidates (67.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	75	8	83
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	75	9	84

Merged error: 0.0b

Counts

84 → 9

localize17.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (cbrt y)))
0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.5b	(cbrt y)
0.5b	(cbrt y)

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

48×	`log-prod`
36×	`distribute-rgt-in` `distribute-lft-in`
30×	`cbrt-prod`
26×	`add-sqr-sqrt`
24×	`add-cube-cbrt` `associate-+l+` `*-un-lft-identity`
12×	`associate-+r+`
7×	`pow1`
6×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
5×	`associate-r`
3×	`pow1/3` `associate-l`
2×	`log-pow`
1×	`+-commutative` `flip3-+` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 102

Calls

4 calls:

5.0ms	(* x (log (cbrt y)))
10.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series592.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(* x (log (cbrt y)))
99.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
228.0ms	(cbrt y)
174.0ms	(cbrt y)

simplify52.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	345	729
1	1431	634
2	5001	547

prune357.0ms

Filtered

114 candidates to 91 candidates (79.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	111	3	114
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	117	6	123

Merged error: 0b

Counts

123 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x (log (pow y 1/3)))
0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
0.5b	(cbrt y)
5.0b	(pow y 1/3)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

52×	`log-prod`
38×	`distribute-rgt-in` `distribute-lft-in`
27×	`add-sqr-sqrt`
25×	`add-cube-cbrt` `*-un-lft-identity`
24×	`associate-+l+`
15×	`cbrt-prod` `unpow-prod-down`
14×	`associate-+r+`
7×	`pow1` `add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
5×	`sqr-pow`
4×	`associate-r`
3×	`pow-unpow` `associate-l`
1×	`+-commutative` `pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

5.0ms	(* x (log (pow y 1/3)))
10.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
1.0ms	(cbrt y)
2.0ms	(pow y 1/3)

series564.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(* x (log (pow y 1/3)))
131.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
180.0ms	(cbrt y)
174.0ms	(pow y 1/3)

simplify62.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	445	770
1	1784	666
2	5001	518

prune411.0ms

Filtered

124 candidates to 92 candidates (74.2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	124	6	130

Merged error: 0b

Counts

130 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(* x 1/3)
0.3b	(+ (* x (* 2 (log (cbrt y)))) (* (* x 1/3) (log y)))
0.4b	(* (* x 1/3) (log y))
0.5b	(cbrt y)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 95

Calls

4 calls:

3.0ms	(* x 1/3)
9.0ms	(+ (* x (* 2 (log (cbrt y)))) (* (* x 1/3) (log y)))
5.0ms	(* (* x 1/3) (log y))
1.0ms	(cbrt y)

series399.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x 1/3)
156.0ms	(+ (* x (* 2 (log (cbrt y)))) (* (* x 1/3) (log y)))
49.0ms	(* (* x 1/3) (log y))
175.0ms	(cbrt y)

simplify69.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	421	677
1	1947	555
2	5002	453

prune315.0ms

Filtered

107 candidates to 79 candidates (73.8%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	107	6	113

Merged error: 0b

Counts

113 → 6

regimes297.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	23	12
1	23	12

end0.0ms

sample2.6s

Algorithm

intervals

Results

1.1s	24222×	body	80	nan
639.0ms	8029×	body	80	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample72.0ms

simplify32.0ms

prune3.0ms

localize14.0ms

rewrite23.0ms

series143.0ms

simplify87.0ms

prune185.0ms

localize17.0ms

rewrite22.0ms

series592.0ms

simplify52.0ms

prune357.0ms

localize24.0ms

rewrite24.0ms

series564.0ms

simplify62.0ms

prune411.0ms

localize24.0ms

rewrite23.0ms

series399.0ms

simplify69.0ms

prune315.0ms

regimes297.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.6s

Profiling