Details

sample1.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 25%

Guaranteed chance to sample good point: 66.666667%

Results

17.0ms	293×	body	80	valid
8.0ms	165×	body	80	nan

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	8
1	85	8
2	273	8
3	800	8
4	2123	8
5	5001	8

prune5.0ms

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

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

11.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
6.0ms	(* (- a 0.5) b)
8.0ms	(- (+ (+ x y) z) (* z (log t)))
4.0ms	(* z (log t))

series60.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ (- (+ (+ x y) z) (* z (log t))) (* (- a 0.5) b))
4.0ms	(* (- a 0.5) b)
11.0ms	(- (+ (+ x y) z) (* z (log t)))
7.0ms	(* z (log t))

simplify69.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	557	780
1	2647	719
2	5001	707

prune139.0ms

Filtered

72 candidates to 102 candidates (-41.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	96	6	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	97	6	103

Merged error: 0.0b

Counts

103 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(* z (log (cbrt t)))
0.3b	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite21.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	(* z (log (cbrt t)))
10.0ms	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series85.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* z (log (cbrt t)))
21.0ms	(+ (* z (* 2 (log (cbrt t)))) (* z (log (cbrt t))))
23.0ms	(cbrt t)
21.0ms	(cbrt t)

simplify47.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	358	765
1	1328	673
2	5002	593

prune151.0ms

Filtered

86 candidates to 114 candidates (-32.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	113	1	114
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	113	7	120

Merged error: 0b

Counts

120 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.3b	(+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))
0.6b	(cbrt (sqrt t))
0.6b	(cbrt (sqrt t))
0.6b	(cbrt t)

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

27×	`cbrt-prod`
21×	`log-prod`
16×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
12×	`associate-+l+`
9×	`associate-+r+` `sqrt-prod`
6×	`distribute-rgt-in` `distribute-lft-in`
5×	`add-log-exp`
4×	`pow1` `add-exp-log` `add-cbrt-cube`
3×	`pow1/3`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

4 → 71

Calls

4 calls:

8.0ms	(+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))
2.0ms	(cbrt (sqrt t))
2.0ms	(cbrt (sqrt t))
1.0ms	(cbrt t)

series105.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(+ (* 2 (log (cbrt t))) (log (cbrt (sqrt t))))
15.0ms	(cbrt (sqrt t))
15.0ms	(cbrt (sqrt t))
21.0ms	(cbrt t)

simplify115.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 3 (108.0ms)

Iter	Nodes	Cost
0	326	559
1	914	522
2	3545	476
3	5001	459

prune132.0ms

Filtered

64 candidates to 83 candidates (-29.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	1	4	5
Picked	1	0	1
Done	0	1	1
Total	84	6	90

Merged error: 0b

Counts

90 → 6

localize16.0ms

Local error

Found 4 expressions with local error:

0.1b	(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* z (log (sqrt t))))
0.1b	(- (+ (+ x y) z) (* (log (sqrt t)) z))
0.3b	(* (log (sqrt t)) z)
0.3b	(* z (log (sqrt t)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

27×	`add-log-exp`
24×	`log-prod`
20×	`add-sqr-sqrt`
16×	`add-cube-cbrt` `*-un-lft-identity`
12×	`pow1` `distribute-rgt-in` `distribute-lft-in` `sqrt-prod` `associate--r+`
10×	`diff-log`
9×	`associate-r` `associate-l`
8×	`add-exp-log` `add-cbrt-cube`
6×	`sum-log` `log-pow`
5×	`associate--l+`
3×	`sub-neg`
2×	`flip3--` `sqrt-pow1` `pow1/2` `pow-prod-down` `prod-exp` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`associate--l-`

Counts

4 → 100

Calls

4 calls:

11.0ms	(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* z (log (sqrt t))))
8.0ms	(- (+ (+ x y) z) (* (log (sqrt t)) z))
4.0ms	(* (log (sqrt t)) z)
7.0ms	(* z (log (sqrt t)))

series48.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* z (log (sqrt t))))
12.0ms	(- (+ (+ x y) z) (* (log (sqrt t)) z))
11.0ms	(* (log (sqrt t)) z)
9.0ms	(* z (log (sqrt t)))

simplify61.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	435	919
1	2081	812
2	5002	783

prune111.0ms

Filtered

75 candidates to 112 candidates (-49.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	112	6	118

Merged error: 0b

Counts

118 → 6

regimes1.1s

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	14
1	28	14

end0.0ms

sample2.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 25%

Guaranteed chance to sample good point: 66.666667%

Results

547.0ms	9142×	body	80	valid
233.0ms	4658×	body	80	nan
1.0ms	4×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample1.1s

simplify48.0ms

prune5.0ms

localize13.0ms

rewrite32.0ms

series60.0ms

simplify69.0ms

prune139.0ms

localize18.0ms

rewrite21.0ms

series85.0ms

simplify47.0ms

prune151.0ms

localize24.0ms

rewrite16.0ms

series105.0ms

simplify115.0ms

prune132.0ms

localize16.0ms

rewrite34.0ms

series48.0ms

simplify61.0ms

prune111.0ms

regimes1.1s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.5s

Profiling