Details

sample143.0ms

Algorithm

intervals

Results

63.0ms	879×	body	80	nan
23.0ms	290×	body	80	valid

simplify72.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 (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

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

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 87

Calls

4 calls:

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

series677.0ms

Counts

4 → 12

Calls

4 calls:

527.0ms	(+ (+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c))) (* y i))
54.0ms	(+ (* x (log y)) z)
54.0ms	(* (- b 0.5) (log c))
41.0ms	(* x (log y))

simplify51.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	494	684
1	1762	617
2	5003	595

prune342.0ms

Filtered

99 candidates to 66 candidates (66.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	91	8	99
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	8	100

Merged error: 0.0b

Counts

100 → 8

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
0.2b	(* (- b 0.5) (log c))
0.3b	(* x (log (sqrt y)))
0.3b	(* x (log (sqrt y)))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

30×	`log-prod`
28×	`add-sqr-sqrt`
24×	`*-un-lft-identity`
20×	`add-cube-cbrt`
16×	`associate-r`
15×	`pow1` `distribute-rgt-in` `distribute-lft-in`
12×	`sqrt-prod`
11×	`associate-l`
10×	`add-exp-log` `add-cbrt-cube`
9×	`add-log-exp`
7×	`log-pow`
3×	`pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`sqrt-pow1` `pow1/2` `associate-*l/`
1×	`+-commutative` `associate-+l+` `flip3--` `flip3-+` `flip--` `flip-+` `distribute-lft-out` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 109

Calls

4 calls:

9.0ms	(+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
8.0ms	(* (- b 0.5) (log c))
6.0ms	(* x (log (sqrt y)))
6.0ms	(* x (log (sqrt y)))

series328.0ms

Counts

4 → 12

Calls

4 calls:

95.0ms	(+ (+ (* x (log (sqrt y))) (* x (log (sqrt y)))) z)
60.0ms	(* (- b 0.5) (log c))
87.0ms	(* x (log (sqrt y)))
86.0ms	(* x (log (sqrt y)))

simplify50.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 2 (41.0ms)

Iter	Nodes	Cost
0	414	822
1	1496	707
2	5001	682

prune405.0ms

Filtered

121 candidates to 74 candidates (61.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	120	9	129

Merged error: 0.0b

Counts

129 → 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.5b	(cbrt c)
0.5b	(cbrt c)

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

8.0ms	(* x (log y))
15.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
1.0ms	(cbrt c)
1.0ms	(cbrt c)

series561.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* x (log y))
172.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
175.0ms	(cbrt c)
176.0ms	(cbrt c)

simplify72.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (56.0ms)

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

prune542.0ms

Filtered

111 candidates to 94 candidates (84.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	108	3	111
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	112	8	120

Merged error: 0.0b

Counts

120 → 8

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

66×	`log-prod`
51×	`distribute-rgt-in` `distribute-lft-in`
48×	`cbrt-prod`
36×	`associate-+l+`
34×	`add-sqr-sqrt`
32×	`add-cube-cbrt` `*-un-lft-identity`
30×	`sqrt-prod`
18×	`associate-+r+`
8×	`pow1`
6×	`add-exp-log` `associate-r` `add-cbrt-cube` `add-log-exp`
3×	`associate-l` `log-pow`
2×	`pow1/3`
1×	`+-commutative` `sqrt-pow1` `flip3-+` `pow1/2` `pow-prod-down` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 127

Calls

4 calls:

6.0ms	(* x (log (sqrt y)))
14.0ms	(+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))
2.0ms	(cbrt (sqrt y))
2.0ms	(cbrt (sqrt y))

series526.0ms

Counts

4 → 12

Calls

4 calls:

89.0ms	(* x (log (sqrt y)))
138.0ms	(+ (* x (* 2 (log (cbrt (sqrt y))))) (* x (log (cbrt (sqrt y)))))
149.0ms	(cbrt (sqrt y))
149.0ms	(cbrt (sqrt y))

simplify67.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	520	1133
1	1963	992
2	5002	912

prune821.0ms

Filtered

139 candidates to 104 candidates (74.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	139	8	147

Merged error: 0.0b

Counts

147 → 8

regimes636.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	43	18
1	43	18

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.9s	27918×	body	80	nan
712.0ms	9211×	body	80	valid
0.0ms	1×	body	320	valid
0.0ms	1×	body	160	valid

Details

sample143.0ms

simplify72.0ms

prune6.0ms

localize18.0ms

rewrite38.0ms

series677.0ms

simplify51.0ms

prune342.0ms

localize21.0ms

rewrite32.0ms

series328.0ms

simplify50.0ms

prune405.0ms

localize23.0ms

rewrite30.0ms

series561.0ms

simplify72.0ms

prune542.0ms

localize33.0ms

rewrite31.0ms

series526.0ms

simplify67.0ms

prune821.0ms

regimes636.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling