Details

sample228.0ms

Algorithm

intervals

Results

107.0ms	1760×	body	80	nan
18.0ms	256×	body	80	valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (15.0ms)

Iter	Nodes	Cost
0	833	16
1	833	16

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

localize14.0ms

Local error

Found 3 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 80

Calls

3 calls:

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

series69.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* (- a 0.5) (log t))
47.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
13.0ms	(+ (log (+ x y)) (log z))

simplify25.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (17.0ms)

Iter	Nodes	Cost
0	5002	1323

prune161.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	81	8	89
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	83	8	91

Merged error: 0.0b

Counts

91 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

40×	`*-un-lft-identity`
29×	`log-prod`
24×	`pow1` `distribute-lft-out`
19×	`add-sqr-sqrt`
18×	`log-pow`
15×	`add-cube-cbrt` `add-log-exp`
14×	`associate-+r+`
13×	`associate-+l+`
11×	`sum-log`
8×	`sqrt-prod`
6×	`add-exp-log` `distribute-rgt-in` `associate-+r-` `log-div` `distribute-lft-in` `flip3-+` `sqrt-div` `associate-*l/` `add-cbrt-cube` `flip-+`
5×	`flip3--` `associate-l` `flip--`
4×	`associate-r` `frac-add`
3×	`+-commutative` `associate-+l-` `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 → 118

Calls

4 calls:

6.0ms	(* (- a 0.5) (log t))
17.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log z) (log (sqrt (+ x y))))) t) (* (- a 0.5) (log t)))
12.0ms	(+ (log (sqrt (+ x y))) (+ (log z) (log (sqrt (+ x y)))))
7.0ms	(+ (log z) (log (sqrt (+ x y))))

series111.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify44.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4974	2049
1	4974	2049

prune174.0ms

Filtered

92 candidates to 130 candidates (-41.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	130	0	130
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	130	8	138

Merged error: 0.0b

Counts

138 → 8

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 131

Calls

4 calls:

13.0ms	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t))))) (* (- a 0.5) (log (sqrt t))))
7.0ms	(* (- a 0.5) (log (sqrt t)))
7.0ms	(* (- a 0.5) (log (sqrt t)))
13.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t)))))

series127.0ms

Counts

4 → 12

Calls

4 calls:

57.0ms	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t))))) (* (- a 0.5) (log (sqrt t))))
6.0ms	(* (- a 0.5) (log (sqrt t)))
6.0ms	(* (- a 0.5) (log (sqrt t)))
57.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log (sqrt t)))))

simplify36.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	4966	2549
1	4966	2549

prune181.0ms

Filtered

98 candidates to 143 candidates (-45.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	141	2	143
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	142	9	151

Merged error: 0.0b

Counts

151 → 9

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (- a 0.5) (log (cbrt t)))
0.2b	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (* 2 (log (cbrt t)))))) (* (- a 0.5) (log (cbrt t))))
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

7.0ms	(* (- a 0.5) (log (cbrt t)))
15.0ms	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (* 2 (log (cbrt t)))))) (* (- a 0.5) (log (cbrt t))))
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series163.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (- a 0.5) (log (cbrt t)))
96.0ms	(+ (+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (* 2 (log (cbrt t)))))) (* (- a 0.5) (log (cbrt t))))
20.0ms	(cbrt t)
21.0ms	(cbrt t)

simplify34.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (22.0ms)

Iter	Nodes	Cost
0	5385	1838

prune142.0ms

Filtered

84 candidates to 104 candidates (-23.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	5	6
Picked	0	1	1
Done	1	1	2
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

regimes997.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	25
1	22	25

end0.0ms

sample7.3s

Algorithm

intervals

Results

3.5s	56814×	body	80	nan
586.0ms	8036×	body	80	valid

Details

sample228.0ms

simplify17.0ms

prune14.0ms

localize14.0ms

rewrite28.0ms

series69.0ms

simplify25.0ms

prune161.0ms

localize17.0ms

rewrite46.0ms

series111.0ms

simplify44.0ms

prune174.0ms

localize17.0ms

rewrite45.0ms

series127.0ms

simplify36.0ms

prune181.0ms

localize19.0ms

rewrite28.0ms

series163.0ms

simplify34.0ms

prune142.0ms

regimes997.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample7.3s

Profiling