Details

sample267.0ms

Algorithm

intervals

Results

120.0ms	1769×	body	80	nan
19.0ms	256×	body	80	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	833	16
1	833	16

prune15.0ms

Filtered

1 candidates to 1 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.2b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 102

Calls

4 calls:

9.0ms	(- (+ (log (+ x y)) (log z)) t)
14.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
8.0ms	(+ (log (+ x y)) (log z))

series124.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (+ (log (+ x y)) (log z)) t)
57.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
14.0ms	(* (- a 0.5) (log t))
16.0ms	(+ (log (+ x y)) (log z))

simplify49.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4976	1614
1	4976	1614

prune199.0ms

Filtered

85 candidates to 114 candidates (-34.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	106	8	114
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	107	9	116

Merged error: 0b

Counts

116 → 9

localize18.0ms

Local error

Found 4 expressions with local error:

0.1b	(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
0.1b	(* (- a 0.5) (log t))
0.4b	(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
0.4b	(+ (log (+ x y)) (log (sqrt z)))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

38×	`*-un-lft-identity`
28×	`log-prod`
24×	`pow1`
23×	`distribute-lft-out`
19×	`add-sqr-sqrt`
18×	`associate-+r+` `log-pow`
15×	`add-cube-cbrt` `add-log-exp`
11×	`sum-log`
8×	`associate-+l+`
7×	`associate-+l-`
6×	`add-exp-log` `distribute-rgt-in` `distribute-lft-in` `associate-*l/` `sqrt-prod` `add-cbrt-cube`
5×	`flip3--` `flip3-+` `associate-l` `flip--` `flip-+`
4×	`log-div` `associate-r` `frac-add`
3×	`+-commutative` `diff-log`
1×	`sub-neg` `pow-prod-down` `prod-exp` `associate--l+` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 115

Calls

4 calls:

24.0ms	(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
8.0ms	(* (- a 0.5) (log t))
12.0ms	(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
9.0ms	(+ (log (+ x y)) (log (sqrt z)))

series131.0ms

Counts

4 → 12

Calls

4 calls:

69.0ms	(+ (- (+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z))) t) (* (- a 0.5) (log t)))
11.0ms	(* (- a 0.5) (log t))
26.0ms	(+ (+ (log (+ x y)) (log (sqrt z))) (log (sqrt z)))
24.0ms	(+ (log (+ x y)) (log (sqrt z)))

simplify40.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4958	1806
1	4958	1806

prune187.0ms

Filtered

90 candidates to 127 candidates (-41.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	126	1	127
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	127	9	136

Merged error: 0b

Counts

136 → 9

localize16.0ms

Local error

Found 3 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 82

Calls

3 calls:

15.0ms	(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))
8.0ms	(* (- a 0.5) (log t))
10.0ms	(+ (log z) (- (* (- a 0.5) (log t)) t))

series92.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(+ (log (+ x y)) (+ (log z) (- (* (- a 0.5) (log t)) t)))
11.0ms	(* (- a 0.5) (log t))
25.0ms	(+ (log z) (- (* (- a 0.5) (log t)) t))

simplify22.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (14.0ms)

Iter	Nodes	Cost
0	5029	1268

prune146.0ms

Filtered

66 candidates to 91 candidates (-37.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	90	1	91
Fresh	1	6	7
Picked	0	1	1
Done	1	0	1
Total	92	8	100

Merged error: 0b

Counts

100 → 8

localize22.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ x y))
0.5b	(cbrt (+ x y))
0.5b	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log z) (log (cbrt (+ x y)))))
0.6b	(* (cbrt (+ x y)) (cbrt (+ x y)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

52×	`*-un-lft-identity`
38×	`pow1`
35×	`distribute-lft-out`
32×	`cbrt-prod`
30×	`cbrt-div`
22×	`add-sqr-sqrt` `log-pow`
16×	`flip3-+` `flip-+`
14×	`add-cube-cbrt`
10×	`log-div`
9×	`swap-sqr`
8×	`frac-times` `associate-+l-` `pow1/3`
7×	`associate-r` `associate-l` `pow-prod-down`
6×	`add-exp-log`
5×	`add-log-exp`
4×	`associate-+r-` `associate-r/` `associate-l/` `add-cbrt-cube` `unswap-sqr`
3×	`sum-log`
2×	`pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `associate-+l+` `associate-+r+` `log-prod` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 120

Calls

4 calls:

4.0ms	(cbrt (+ x y))
3.0ms	(cbrt (+ x y))
21.0ms	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log z) (log (cbrt (+ x y)))))
12.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))

series182.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(cbrt (+ x y))
35.0ms	(cbrt (+ x y))
65.0ms	(+ (log (* (cbrt (+ x y)) (cbrt (+ x y)))) (+ (log z) (log (cbrt (+ x y)))))
47.0ms	(* (cbrt (+ x y)) (cbrt (+ x y)))

simplify48.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4991	1434
1	4991	1434

prune165.0ms

Filtered

87 candidates to 132 candidates (-51.7%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	132	0	132
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	132	8	140

Merged error: 0b

Counts

140 → 8

regimes1.0s

Accuracy

0% (0.2b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 0.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	16
1	19	16

end0.0ms

sample8.3s

Algorithm

intervals

Results

3.9s	56874×	body	80	nan
610.0ms	8028×	body	80	valid

Details

sample267.0ms

simplify17.0ms

prune15.0ms

localize16.0ms

rewrite42.0ms

series124.0ms

simplify49.0ms

prune199.0ms

localize18.0ms

rewrite58.0ms

series131.0ms

simplify40.0ms

prune187.0ms

localize16.0ms

rewrite36.0ms

series92.0ms

simplify22.0ms

prune146.0ms

localize22.0ms

rewrite46.0ms

series182.0ms

simplify48.0ms

prune165.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample8.3s

Profiling