Details

sample168.0ms

Algorithm

intervals

Results

72.0ms	1008×	body	80	nan
28.0ms	318×	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

localize21.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)
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:

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

series393.0ms

Counts

4 → 12

Calls

4 calls:

235.0ms	(+ (+ (+ (+ (* x (log y)) z) t) a) (* (- b 0.5) (log c)))
57.0ms	(+ (* x (log y)) z)
61.0ms	(* (- b 0.5) (log c))
39.0ms	(* x (log y))

simplify68.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 2 (57.0ms)

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

prune386.0ms

Filtered

108 candidates to 76 candidates (70.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	101	7	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	102	7	109

Merged error: 0.0b

Counts

109 → 7

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)
1.0ms	(cbrt c)

series572.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify66.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (56.0ms)

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

prune551.0ms

Filtered

111 candidates to 94 candidates (84.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	110	1	111
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	111	7	118

Merged error: 0.0b

Counts

118 → 7

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.1b	(pow c 1/3)

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

series621.0ms

Counts

4 → 12

Calls

4 calls:

226.0ms	(+ (* (- b 0.5) (* 2 (log (cbrt c)))) (* (- b 0.5) (log (pow c 1/3))))
45.0ms	(* x (log y))
178.0ms	(cbrt c)
172.0ms	(pow c 1/3)

simplify88.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	659	896
1	2529	764
2	5001	713

prune602.0ms

Filtered

120 candidates to 96 candidates (80.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	120	0	120
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	120	7	127

Merged error: 0.0b

Counts

127 → 7

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

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

series549.0ms

Counts

4 → 12

Calls

4 calls:

92.0ms	(* x (log (cbrt y)))
100.0ms	(+ (* x (* 2 (log (cbrt y)))) (* x (log (cbrt y))))
178.0ms	(cbrt y)
179.0ms	(cbrt y)

simplify58.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (45.0ms)

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

prune509.0ms

Filtered

114 candidates to 92 candidates (80.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	113	8	121

Merged error: 0.0b

Counts

121 → 8

regimes741.0ms

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 (0.0ms)

Iter	Nodes	Cost
0	39	18
1	39	18

end0.0ms

sample4.4s

Algorithm

intervals

Results

2.0s	27932×	body	80	nan
747.0ms	9244×	body	80	valid
1.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid
0.0ms	1×	body	320	valid

Details

sample168.0ms

simplify75.0ms

prune4.0ms

localize21.0ms

rewrite33.0ms

series393.0ms

simplify68.0ms

prune386.0ms

localize23.0ms

rewrite25.0ms

series572.0ms

simplify66.0ms

prune551.0ms

localize37.0ms

rewrite27.0ms

series621.0ms

simplify88.0ms

prune602.0ms

localize23.0ms

rewrite26.0ms

series549.0ms

simplify58.0ms

prune509.0ms

regimes741.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample4.4s

Profiling