Details

sample195.0ms

Algorithm

intervals

Results

61.0ms	895×	body	80	nan
25.0ms	292×	body	80	valid
0.0ms	1×	body	320	valid

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

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

localize19.0ms

Local error

Found 4 expressions with local error:

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

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

15.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
13.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
7.0ms	(* (- b 0.5) (log c))
5.0ms	(* x (log y))

series1.0s

Counts

4 → 12

Calls

4 calls:

613.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
274.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
71.0ms	(* (- b 0.5) (log c))
49.0ms	(* x (log y))

simplify67.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	647	1027
1	2625	970
2	5001	952

prune752.0ms

Filtered

107 candidates to 74 candidates (30.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	98	9	107
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	99	9	108

Merged error: 0.0b

Counts

108 → 9

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(* 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:

5.0ms	(* x (log y))
13.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
1.0ms	(cbrt c)
1.0ms	(cbrt c)

series669.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(* x (log y))
208.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
205.0ms	(cbrt c)
205.0ms	(cbrt c)

simplify65.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (54.0ms)

Iter	Nodes	Cost
0	549	851
1	2155	729
2	5001	698

prune1.5s

Filtered

111 candidates to 94 candidates (15.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	111	9	120

Merged error: 0.0b

Counts

120 → 9

localize26.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.6b	(cbrt y)
0.6b	(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)

series669.0ms

Counts

4 → 12

Calls

4 calls:

119.0ms	(* x (log (cbrt y)))
123.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
213.0ms	(cbrt y)
214.0ms	(cbrt y)

simplify54.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (46.0ms)

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

prune2.3s

Filtered

114 candidates to 92 candidates (19.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	114	9	123

Merged error: 0.0b

Counts

123 → 9

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5)))
0.3b	(* x (log y))
0.4b	(* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5))
5.0b	(pow (/ 1 c) -1/3)

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
13×	`add-exp-log` `unpow-prod-down`
11×	`pow1`
10×	`sum-log`
9×	`times-frac`
8×	`add-cbrt-cube`
7×	`distribute-rgt-in` `distribute-lft-in` `associate-r` `associate-l`
6×	`log-prod` `associate-*r/`
4×	`sub-neg` `associate-+r+` `frac-add` `pow-exp`
3×	`pow-unpow` `flip3--` `pow-pow` `flip3-+` `flip--` `flip-+`
2×	`div-exp` `pow-prod-down` `prod-exp` `log-pow` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`+-commutative` `pow-to-exp` `rec-exp` `associate-+l+` `pow-flip` `1-exp` `div-inv` `inv-pow` `sqr-pow`

Counts

4 → 105

Calls

4 calls:

13.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5)))
4.0ms	(* x (log y))
7.0ms	(* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5))
5.0ms	(pow (/ 1 c) -1/3)

series975.0ms

Counts

4 → 12

Calls

4 calls:

496.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5)))
50.0ms	(* x (log y))
198.0ms	(* (log (pow (/ 1 c) -1/3)) (- (* 3 b) 1.5))
230.0ms	(pow (/ 1 c) -1/3)

simplify99.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	699	1044
1	3124	939
2	5001	896

prune916.0ms

Filtered

117 candidates to 76 candidates (35.0%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	116	1	117
Fresh	1	5	6
Picked	0	1	1
Done	0	2	2
Total	117	9	126

Merged error: 0.0b

Counts

126 → 9

regimes2.2s

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	36	18
1	36	18

end0.0ms

sample5.7s

Algorithm

intervals

Results

1.9s	27570×	body	80	nan
730.0ms	9150×	body	80	valid
1.0ms	1×	body	1280	valid
1.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	160	valid

Details

sample195.0ms

simplify71.0ms

prune9.0ms

localize19.0ms

rewrite42.0ms

series1.0s

simplify67.0ms

prune752.0ms

localize23.0ms

rewrite25.0ms

series669.0ms

simplify65.0ms

prune1.5s

localize26.0ms

rewrite22.0ms

series669.0ms

simplify54.0ms

prune2.3s

localize30.0ms

rewrite32.0ms

series975.0ms

simplify99.0ms

prune916.0ms

regimes2.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.7s

Profiling