Details

sample2.4s

Algorithm

intervals

sampling

Space saved by range analysis: 47.03045%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

14.0ms	256×	body	80	valid
2.0ms	41×	body	80	invalid
1.0ms	11×	body	80	nan

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

localize16.0ms

Local error

Found 4 expressions with local error:

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

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

series64.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify67.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (58.0ms)

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

prune172.0ms

Filtered

72 candidates to 102 candidates (-41.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	95	7	102
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	96	7	103

Merged error: 0.0b

Counts

103 → 7

localize22.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt t) (cbrt t))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`pow1/3`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`pow-prod-down` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 73

Calls

4 calls:

5.0ms	(* (cbrt t) (cbrt t))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series90.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (cbrt t) (cbrt t))
23.0ms	(cbrt t)
21.0ms	(cbrt t)
21.0ms	(cbrt t)

simplify70.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 3 (64.0ms)

Iter	Nodes	Cost
0	148	349
1	471	322
2	2276	265
3	5002	252

prune121.0ms

Filtered

56 candidates to 85 candidates (-51.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	85	7	92

Merged error: 0.0b

Counts

92 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (log (pow t 2/3)) z)
0.2b	(* z (log (cbrt t)))
0.6b	(cbrt t)
6.1b	(pow t 2/3)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
12×	`log-prod`
10×	`pow1`
9×	`add-exp-log` `cbrt-prod`
8×	`associate-r` `add-cbrt-cube`
7×	`associate-l`
6×	`distribute-rgt-in` `distribute-lft-in`
4×	`add-log-exp`
3×	`unpow-prod-down` `pow-unpow` `log-pow`
2×	`pow1/3` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`pow-to-exp` `pow-pow` `pow-exp` `sqr-pow`

Counts

4 → 79

Calls

4 calls:

4.0ms	(* (log (pow t 2/3)) z)
5.0ms	(* z (log (cbrt t)))
1.0ms	(cbrt t)
2.0ms	(pow t 2/3)

series79.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* (log (pow t 2/3)) z)
19.0ms	(* z (log (cbrt t)))
21.0ms	(cbrt t)
22.0ms	(pow t 2/3)

simplify37.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	286	424
1	1170	363
2	5002	324

prune142.0ms

Filtered

57 candidates to 91 candidates (-59.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	92	6	98

Merged error: 0.0b

Counts

98 → 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)))

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

12.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)
5.0ms	(* z (log (sqrt t)))

series53.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(- (- (+ (+ x y) z) (* (log (sqrt t)) z)) (* z (log (sqrt t))))
14.0ms	(- (+ (+ x y) z) (* (log (sqrt t)) z))
12.0ms	(* (log (sqrt t)) z)
12.0ms	(* z (log (sqrt t)))

simplify57.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (47.0ms)

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

prune101.0ms

Filtered

75 candidates to 112 candidates (-49.3%)

Pruning

6 alts after pruning (3 fresh and 3 done)

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

Merged error: 0.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	27	13
1	27	13

end0.0ms

sample3.3s

Algorithm

intervals

sampling

Space saved by range analysis: 47.03045%

Space saved by search: 0.292611%

Guaranteed chance to sample good point: 0%

Results

502.0ms	7998×	body	80	valid
74.0ms	1232×	body	80	invalid
28.0ms	544×	body	80	nan
0.0ms	1×	body	1280	valid
0.0ms	1×	body	640	valid

Details

sample2.4s

simplify47.0ms

prune5.0ms

localize16.0ms

rewrite32.0ms

series64.0ms

simplify67.0ms

prune172.0ms

localize22.0ms

rewrite11.0ms

series90.0ms

simplify70.0ms

prune121.0ms

localize24.0ms

rewrite14.0ms

series79.0ms

simplify37.0ms

prune142.0ms

localize16.0ms

rewrite32.0ms

series53.0ms

simplify57.0ms

prune101.0ms

regimes1.1s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.3s

Profiling