Details

sample171.0ms

Algorithm

intervals

Results

57.0ms	868×	body	80	nan
22.0ms	290×	body	80	valid

simplify70.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	38	11
1	101	11
2	428	11
3	1514	11
4	4620	11
5	5001	11

prune6.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: 0.1b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
0.0b	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
0.1b	(* (- b 0.5) (log c))
0.3b	(* x (log y))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

38×	`add-log-exp`
25×	`sum-log`
20×	`add-sqr-sqrt`
18×	`log-prod`
16×	`*-un-lft-identity`
14×	`add-cube-cbrt`
10×	`pow1`
9×	`distribute-rgt-in` `distribute-lft-in`
8×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube`
6×	`associate-+r+` `associate-*l/`
4×	`flip3-+` `frac-add` `flip-+`
3×	`flip3--` `flip--`
2×	`+-commutative` `associate-+l+` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`distribute-lft-out--` `difference-of-squares`

Counts

4 → 95

Calls

4 calls:

13.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
14.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
6.0ms	(* (- b 0.5) (log c))
4.0ms	(* x (log y))

series244.0ms

Counts

4 → 12

Calls

4 calls:

64.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
165.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
9.0ms	(* (- b 0.5) (log c))
7.0ms	(* x (log y))

simplify68.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	692	1057
1	2763	1002
2	5002	954

prune172.0ms

Filtered

107 candidates to 72 candidates (32.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	100	7	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	7	108

Merged error: 0.0b

Counts

108 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c)))) (* y i))
0.1b	(* (log (sqrt c)) (- b 0.5))
0.1b	(* (- b 0.5) (log (sqrt c)))
0.3b	(* x (log y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-log-exp`
26×	`add-sqr-sqrt`
21×	`sum-log`
20×	`*-un-lft-identity`
18×	`log-prod`
16×	`add-cube-cbrt`
15×	`pow1` `associate-r`
14×	`associate-l`
11×	`distribute-rgt-in` `distribute-lft-in`
10×	`add-exp-log` `add-cbrt-cube`
7×	`log-pow`
6×	`sqrt-prod`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sub-neg` `flip3--` `sqrt-pow1` `pow1/2` `associate-r/` `associate-l/` `flip--` `distribute-lft-out--` `difference-of-squares`
1×	`+-commutative` `associate-+l+` `flip3-+` `flip-+`

Counts

4 → 108

Calls

4 calls:

19.0ms	(+ (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c)))) (* y i))
8.0ms	(* (log (sqrt c)) (- b 0.5))
7.0ms	(* (- b 0.5) (log (sqrt c)))
5.0ms	(* x (log y))

series224.0ms

Counts

4 → 12

Calls

4 calls:

202.0ms	(+ (+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (sqrt c)) (- b 0.5))) (* (- b 0.5) (log (sqrt c)))) (* y i))
8.0ms	(* (log (sqrt c)) (- b 0.5))
7.0ms	(* (- b 0.5) (log (sqrt c)))
7.0ms	(* x (log y))

simplify55.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	547	1048
1	2140	904
2	5003	881

prune165.0ms

Filtered

120 candidates to 77 candidates (35.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	118	2	120
Fresh	2	4	6
Picked	1	0	1
Done	0	0	0
Total	121	6	127

Merged error: 0.0b

Counts

127 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

0.2b	(* x (log (cbrt y)))
0.3b	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
0.6b	(cbrt y)
0.6b	(cbrt y)

rewrite23.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)

series81.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x (log (cbrt y)))
20.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
20.0ms	(cbrt y)
21.0ms	(cbrt y)

simplify51.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	362	765
1	1356	673
2	5002	593

prune185.0ms

Filtered

114 candidates to 87 candidates (23.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	114	6	120

Merged error: 0.0b

Counts

120 → 6

localize32.0ms

Local error

Found 4 expressions with local error:

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

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 50

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
2.0ms	(cbrt (cbrt y))
2.0ms	(cbrt (cbrt y))

series100.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
23.0ms	(cbrt y)
28.0ms	(cbrt (cbrt y))
28.0ms	(cbrt (cbrt y))

simplify78.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 3 (13.0ms)

Iter	Nodes	Cost
0	99	274
1	175	254
2	404	214
3	1393	206
4	5002	206

prune87.0ms

Filtered

62 candidates to 48 candidates (22.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 0.0b

Counts

68 → 6

regimes1.4s

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	40	22
1	40	22

end0.0ms

sample5.2s

Algorithm

intervals

Results

1.8s	27254×	body	80	nan
707.0ms	9171×	body	80	valid
1.0ms	2×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample171.0ms

simplify70.0ms

prune6.0ms

localize17.0ms

rewrite41.0ms

series244.0ms

simplify68.0ms

prune172.0ms

localize21.0ms

rewrite43.0ms

series224.0ms

simplify55.0ms

prune165.0ms

localize22.0ms

rewrite23.0ms

series81.0ms

simplify51.0ms

prune185.0ms

localize32.0ms

rewrite7.0ms

series100.0ms

simplify78.0ms

prune87.0ms

regimes1.4s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.2s

Profiling