Details

sample123.0ms

Algorithm

intervals

Results

41.0ms	723×	body	80	nan
10.0ms	178×	body	80	valid
10.0ms	15×	body	1280	valid
9.0ms	27×	body	640	valid
4.0ms	22×	body	320	valid
2.0ms	16×	body	160	valid

simplify20.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	7
1	30	7
2	39	7
3	45	7
4	60	7
5	88	7
6	125	7
7	176	7
8	208	7
9	225	7
10	293	7
11	293	7

prune4.0ms

Filtered

1 candidates to 0 candidates (100.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: 9.7b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

37×	`log-prod`
31×	`add-sqr-sqrt`
27×	`*-un-lft-identity`
17×	`add-cube-cbrt`
16×	`distribute-rgt-in` `distribute-lft-in`
11×	`pow1`
10×	`associate-+r+`
9×	`add-exp-log`
8×	`associate-r` `add-cbrt-cube`
6×	`associate-+l+` `associate-l` `add-log-exp`
5×	`distribute-lft-out--` `difference-of-squares`
3×	`log-pow`
2×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `flip3--` `flip3-+` `rem-log-exp` `sum-log` `flip--` `flip-+`

Counts

4 → 97

Calls

4 calls:

7.0ms	(+ (* x (log y)) (* z (log (- 1.0 y))))
6.0ms	(* z (log (- 1.0 y)))
7.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

series31.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ (* x (log y)) (* z (log (- 1.0 y))))
8.0ms	(* z (log (- 1.0 y)))
7.0ms	(* x (log y))
3.0ms	(log (- 1.0 y))

simplify50.0ms

Algorithm

egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	471	690
1	1680	630
2	5002	586

prune166.0ms

Filtered

109 candidates to 76 candidates (30.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	103	6	109
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	6	110

Merged error: 0.0b

Counts

110 → 6

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
0.0b	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
0.0b	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
0.3b	(* x (log y))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

90×	`add-sqr-sqrt`
80×	`times-frac`
78×	`associate-r`
56×	`unpow-prod-down`
53×	`*-un-lft-identity`
50×	`add-cube-cbrt`
31×	`add-exp-log`
24×	`log-prod` `unpow2` `sqr-pow`
19×	`unswap-sqr`
16×	`distribute-rgt-in` `distribute-lft-in`
13×	`add-cbrt-cube`
12×	`pow1` `prod-exp` `associate--l+`
10×	`associate-+r+`
9×	`div-exp` `associate-l`
6×	`pow-to-exp` `associate-+l+` `pow-exp` `add-log-exp`
4×	`sub-neg` `cbrt-unprod`
3×	`associate-r/` `pow-prod-down` `-commutative`
2×	`log-pow` `distribute-lft-out--`
1×	`cbrt-undiv` `+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `div-inv` `difference-of-squares`

Counts

4 → 195

Calls

4 calls:

18.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
6.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
10.0ms	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
4.0ms	(* x (log y))

series57.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* 1/2 (/ (pow y 2) (pow 1.0 2)))
30.0ms	(+ (* x (log y)) (* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2)))))))
16.0ms	(* z (- (log 1.0) (+ (* 1.0 y) (* 1/2 (/ (pow y 2) (pow 1.0 2))))))
7.0ms	(* x (log y))

simplify93.0ms

Algorithm

egg-herbie

Counts

207 → 207

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	880	1531
1	3697	1356
2	5001	1353

prune386.0ms

Filtered

207 candidates to 132 candidates (36.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	207	0	207
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	207	6	213

Merged error: 0.0b

Counts

213 → 6

localize19.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.7b	(cbrt y)
0.7b	(cbrt y)
5.1b	(log (- 1.0 y))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

41×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod` `associate-+l+`
21×	`add-sqr-sqrt` `*-un-lft-identity`
19×	`add-cube-cbrt`
12×	`associate-+r+`
6×	`add-log-exp`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube`
2×	`log-div` `pow1/3`
1×	`+-commutative` `flip3--` `flip3-+` `rem-log-exp` `sum-log` `log-pow` `flip--` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 86

Calls

4 calls:

9.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
1.0ms	(cbrt y)
1.0ms	(cbrt y)
3.0ms	(log (- 1.0 y))

series68.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
21.0ms	(cbrt y)
21.0ms	(cbrt y)
3.0ms	(log (- 1.0 y))

simplify43.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	431	668
1	1252	584
2	5001	529

prune173.0ms

Filtered

98 candidates to 86 candidates (12.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	96	2	98
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	97	7	104

Merged error: 0b

Counts

104 → 7

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
0.7b	(cbrt y)
5.1b	(log (- 1.0 y))
5.1b	(pow y 1/3)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod`
31×	`distribute-rgt-in` `distribute-lft-in`
24×	`associate-+l+`
22×	`add-sqr-sqrt` `*-un-lft-identity`
20×	`add-cube-cbrt`
15×	`cbrt-prod`
14×	`associate-+r+`
9×	`unpow-prod-down`
6×	`pow1` `add-exp-log` `add-log-exp`
4×	`add-cbrt-cube`
3×	`pow-unpow` `sqr-pow`
2×	`log-div`
1×	`+-commutative` `pow-to-exp` `flip3--` `pow-pow` `flip3-+` `unpow1/3` `pow1/3` `rem-log-exp` `pow-exp` `sum-log` `log-pow` `flip--` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 95

Calls

4 calls:

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

series73.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (pow y 1/3))))
21.0ms	(cbrt y)
3.0ms	(log (- 1.0 y))
22.0ms	(pow y 1/3)

simplify56.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	518	695
1	1734	603
2	5001	446

prune193.0ms

Filtered

107 candidates to 85 candidates (20.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	2	2	4
Picked	1	0	1
Done	0	2	2
Total	108	6	114

Merged error: 0b

Counts

114 → 6

regimes278.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	13
1	26	13

end0.0ms

sample3.8s

Algorithm

intervals

Results

1.3s	24765×	body	80	nan
337.0ms	5600×	body	80	valid
307.0ms	907×	body	640	valid
249.0ms	389×	body	1280	valid
145.0ms	698×	body	320	valid
57.0ms	438×	body	160	valid

Details

sample123.0ms

simplify20.0ms

prune4.0ms

localize11.0ms

rewrite25.0ms

series31.0ms

simplify50.0ms

prune166.0ms

localize17.0ms

rewrite48.0ms

series57.0ms

simplify93.0ms

prune386.0ms

localize19.0ms

rewrite18.0ms

series68.0ms

simplify43.0ms

prune173.0ms

localize23.0ms

rewrite20.0ms

series73.0ms

simplify56.0ms

prune193.0ms

regimes278.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.8s

Profiling