Details

sample146.0ms

Algorithm

intervals

Results

63.0ms	885×	body	80	nan
23.0ms	295×	body	80	valid

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

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

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 96

Calls

4 calls:

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

series398.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ (* x (log y)) z)
241.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
58.0ms	(* (- b 0.5) (log c))
42.0ms	(* x (log y))

simplify65.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	619	860
1	2417	804
2	5001	788

prune379.0ms

Filtered

108 candidates to 76 candidates (70.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	100	8	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	8	109

Merged error: 0.0b

Counts

109 → 8

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (log y)) z)
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))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
21×	`*-un-lft-identity`
20×	`add-sqr-sqrt`
18×	`log-prod`
16×	`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+`
6×	`flip3-+` `flip-+`
4×	`frac-add`
3×	`distribute-lft-out`
2×	`+-commutative` `pow-prod-down` `associate-l/` `prod-exp` `log-pow` `-commutative` `cbrt-unprod` `unswap-sqr`
1×	`associate-+r+` `flip3--` `flip--` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 95

Calls

4 calls:

5.0ms	(+ (* x (log y)) z)
11.0ms	(+ (+ (+ (* x (log y)) z) t) (+ a (* (- b 0.5) (log c))))
10.0ms	(* (- b 0.5) (log c))
5.0ms	(* x (log y))

series392.0ms

Counts

4 → 12

Calls

4 calls:

58.0ms	(+ (* x (log y)) z)
235.0ms	(+ (+ (+ (* x (log y)) z) t) (+ a (* (- b 0.5) (log c))))
60.0ms	(* (- b 0.5) (log c))
38.0ms	(* x (log y))

simplify70.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	611	864
1	2464	808
2	5003	792

prune337.0ms

Filtered

107 candidates to 71 candidates (66.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	107	8	115

Merged error: 0.0b

Counts

115 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
0.3b	(* x (log y))
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:

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

series577.0ms

Counts

4 → 12

Calls

4 calls:

171.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (cbrt c))))
39.0ms	(* x (log y))
184.0ms	(cbrt c)
183.0ms	(cbrt c)

simplify65.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (55.0ms)

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

prune547.0ms

Filtered

111 candidates to 94 candidates (84.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	3	111
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	111	8	119

Merged error: 0b

Counts

119 → 8

localize37.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
0.3b	(* x (log y))
0.6b	(cbrt c)
5.2b	(pow c 1/3)

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

44×	`log-prod`
34×	`distribute-rgt-in` `distribute-lft-in`
25×	`add-sqr-sqrt`
24×	`associate-+l+`
23×	`add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-prod`
14×	`associate-+r+`
9×	`unpow-prod-down`
8×	`pow1` `associate-*l/`
7×	`add-exp-log`
6×	`add-cbrt-cube` `add-log-exp`
4×	`flip3--` `associate-r` `frac-add` `flip--`
3×	`pow-unpow` `associate-l` `sqr-pow`
1×	`+-commutative` `pow-to-exp` `pow-pow` `flip3-+` `unpow1/3` `pow1/3` `pow-prod-down` `pow-exp` `prod-exp` `sum-log` `log-pow` `*-commutative` `cbrt-unprod` `flip-+` `distribute-lft-out` `unswap-sqr`

Counts

4 → 108

Calls

4 calls:

14.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
4.0ms	(* x (log y))
1.0ms	(cbrt c)
2.0ms	(pow c 1/3)

series636.0ms

Counts

4 → 12

Calls

4 calls:

232.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
45.0ms	(* x (log y))
181.0ms	(cbrt c)
177.0ms	(pow c 1/3)

simplify84.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (73.0ms)

Iter	Nodes	Cost
0	659	892
1	2529	762
2	5001	709

prune559.0ms

Filtered

120 candidates to 94 candidates (78.3%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	119	1	120
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	120	8	128

Merged error: 0b

Counts

128 → 8

regimes605.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	28	11
1	28	11

end0.0ms

sample4.2s

Algorithm

intervals

Results

1.9s	27391×	body	80	nan
719.0ms	9250×	body	80	valid
1.0ms	2×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample146.0ms

simplify75.0ms

prune4.0ms

localize18.0ms

rewrite33.0ms

series398.0ms

simplify65.0ms

prune379.0ms

localize18.0ms

rewrite33.0ms

series392.0ms

simplify70.0ms

prune337.0ms

localize23.0ms

rewrite25.0ms

series577.0ms

simplify65.0ms

prune547.0ms

localize37.0ms

rewrite26.0ms

series636.0ms

simplify84.0ms

prune559.0ms

regimes605.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample4.2s

Profiling