Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

sample87.0ms

Algorithm

intervals

Results

23.0ms	335×	body	80	nan
21.0ms	256×	body	80	valid
4.0ms	50×	body	80	invalid

simplify10.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	620	21
1	620	21

prune12.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.1b

Counts

2 → 1

localize18.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.2b	(* (- b 0.5) (log c))
0.2b	(* x (log y))

rewrite43.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:

12.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))
9.0ms	(* (- b 0.5) (log c))
4.0ms	(* x (log y))

series249.0ms

Counts

4 → 12

Calls

4 calls:

61.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
172.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))

simplify40.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5050	1713

prune153.0ms

Filtered

78 candidates to 107 candidates (-37.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	103	4	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	4	108

Merged error: 0.0b

Counts

108 → 4

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

36×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
24×	`cbrt-prod`
23×	`add-sqr-sqrt`
21×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
6×	`associate-r` `associate-l`
4×	`pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`pow1/3`
2×	`log-pow` `*-commutative`
1×	`unswap-sqr`

Counts

4 → 96

Calls

4 calls:

6.0ms	(* x (* 2 (log (cbrt y))))
5.0ms	(* x (log (cbrt y)))
1.0ms	(cbrt y)
1.0ms	(cbrt y)

series82.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(* x (* 2 (log (cbrt y))))
22.0ms	(* x (log (cbrt y)))
20.0ms	(cbrt y)
21.0ms	(cbrt y)

simplify76.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (67.0ms)

Iter	Nodes	Cost
0	4964	850
1	4964	850

prune139.0ms

Filtered

60 candidates to 108 candidates (-80.0%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	106	2	108
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	107	5	112

Merged error: 0.0b

Counts

112 → 5

localize40.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt (cbrt y))
0.7b	(cbrt (pow y 2/3))
5.8b	(pow y 2/3)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

19×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`unpow-prod-down`
5×	`pow1` `add-exp-log`
4×	`add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `pow1/3`
2×	`sqr-pow`
1×	`pow-to-exp` `pow-pow` `pow-exp`

Counts

4 → 57

Calls

4 calls:

1.0ms	(cbrt y)
2.0ms	(cbrt (cbrt y))
2.0ms	(cbrt (pow y 2/3))
2.0ms	(pow y 2/3)

series92.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(cbrt y)
28.0ms	(cbrt (cbrt y))
23.0ms	(cbrt (pow y 2/3))
19.0ms	(pow y 2/3)

simplify60.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	5205	295

prune144.0ms

Filtered

45 candidates to 69 candidates (-53.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	69	5	74

Merged error: 0.0b

Counts

74 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

4.0ms	(* x (log y))
12.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
1.0ms	(cbrt c)
1.0ms	(cbrt c)

series83.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* x (log y))
35.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
20.0ms	(cbrt c)
21.0ms	(cbrt c)

simplify74.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	4852	971
1	4852	971

prune136.0ms

Filtered

85 candidates to 111 candidates (-30.6%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	111	5	116

Merged error: 0.0b

Counts

116 → 5

regimes1.2s

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	46	39
1	46	39

end0.0ms

analyze1.1s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	74.7%	25.3%	8
0%	74.7%	25.3%	9
0%	65.4%	34.6%	10
0%	51.4%	48.6%	11
0%	51.4%	48.6%	12
0%	51.4%	48.6%	13
0%	51.4%	48.6%	14

sample2.3s

Algorithm

intervals

Results

710.0ms	9723×	body	80	nan
667.0ms	7997×	body	80	valid
104.0ms	1305×	body	80	invalid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

analyze1.0s

sample87.0ms

simplify10.0ms

prune12.0ms

localize18.0ms

rewrite43.0ms

series249.0ms

simplify40.0ms

prune153.0ms

localize27.0ms

rewrite17.0ms

series82.0ms

simplify76.0ms

prune139.0ms

localize40.0ms

rewrite8.0ms

series92.0ms

simplify60.0ms

prune144.0ms

localize23.0ms

rewrite25.0ms

series83.0ms

simplify74.0ms

prune136.0ms

regimes1.2s

bsearch0.0ms

simplify2.0ms

end0.0ms

analyze1.1s

sample2.3s

Profiling