Details

sample195.0ms

Algorithm

intervals

Results

85.0ms	1390×	body	80	nan
27.0ms	400×	body	80	valid
5.0ms	12×	body	640	valid
3.0ms	14×	body	320	valid
2.0ms	12×	body	160	valid
1.0ms	1×	body	1280	valid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	30	10
1	58	10
2	129	10
3	318	10
4	1073	10
5	5001	10

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: 2.1b

Counts

2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* a (- (log (- 1.0 z)) b))
0.0b	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
0.1b	(* y (- (log z) t))
6.3b	(log (- 1.0 z))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

41×	`associate-r`
39×	`add-sqr-sqrt`
37×	`log-prod`
35×	`*-un-lft-identity`
32×	`associate--l+`
26×	`exp-sum`
24×	`distribute-rgt-in` `distribute-lft-in`
19×	`add-cube-cbrt`
14×	`associate-+r+`
13×	`pow1`
12×	`add-exp-log`
10×	`associate-+l+` `add-cbrt-cube`
9×	`associate-l` `distribute-lft-out--`
8×	`sub-neg`
7×	`difference-of-squares`
4×	`associate-*r/` `prod-exp` `add-log-exp`
3×	`flip3--` `pow-prod-down` `log-pow` `*-commutative` `flip--` `cbrt-unprod` `unswap-sqr`
2×	`log-div`
1×	`+-commutative` `rem-log-exp`

Counts

4 → 131

Calls

4 calls:

11.0ms	(* a (- (log (- 1.0 z)) b))
37.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
7.0ms	(* y (- (log z) t))
3.0ms	(log (- 1.0 z))

series355.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(* a (- (log (- 1.0 z)) b))
160.0ms	(* x (exp (+ (* y (- (log z) t)) (* a (- (log (- 1.0 z)) b)))))
74.0ms	(* y (- (log z) t))
44.0ms	(log (- 1.0 z))

simplify66.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	667	1014
1	2473	902
2	5002	880

prune471.0ms

Filtered

143 candidates to 93 candidates (65.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	140	3	143
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	141	3	144

Merged error: 0.0b

Counts

144 → 3

localize19.0ms

Local error

Found 4 expressions with local error:

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

rewrite152.0ms

Algorithm

rewrite-expression-head

Rules

109×	`*-un-lft-identity`
47×	`associate-l`
42×	`distribute-lft-out`
30×	`log-prod` `associate-r` `associate--l+`
24×	`add-sqr-sqrt`
22×	`distribute-lft-out--`
21×	`distribute-rgt-in` `distribute-lft-in`
20×	`associate-+l+` `exp-sum`
18×	`add-cube-cbrt`
16×	`associate-+r+`
15×	`add-log-exp`
9×	`pow1` `add-exp-log` `associate-*r/`
8×	`sub-neg` `add-cbrt-cube`
6×	`associate-+r-`
5×	`+-commutative` `flip3--` `sum-log` `flip--`
4×	`frac-add` `*-commutative` `associate--r+`
3×	`exp-diff` `prod-exp`
2×	`flip3-+` `diff-log` `pow-prod-down` `cbrt-unprod` `flip-+` `unswap-sqr`
1×	`distribute-rgt-out` `log-pow` `difference-of-squares`

Counts

4 → 151

Calls

4 calls:

49.0ms	(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
66.0ms	(* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
22.0ms	(+ (* a b) (* 1.0 (* a z)))
7.0ms	(* y (- (log z) t))

series450.0ms

Counts

4 → 12

Calls

4 calls:

156.0ms	(+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))
167.0ms	(* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z)))))))
50.0ms	(+ (* a b) (* 1.0 (* a z)))
77.0ms	(* y (- (log z) t))

simplify93.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	747	1662
1	3320	1537
2	5001	1522

prune560.0ms

Filtered

163 candidates to 101 candidates (62.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	161	2	163
Fresh	2	0	2
Picked	1	0	1
Done	0	0	0
Total	164	2	166

Merged error: 0.0b

Counts

166 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.4b	(* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
0.5b	(cbrt (- (log z) t))
0.5b	(cbrt (- (log z) t))
0.5b	(cbrt (- (log z) t))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

58×	`cbrt-prod`
52×	`*-un-lft-identity`
37×	`add-sqr-sqrt`
22×	`pow1` `distribute-lft-out--`
18×	`cbrt-div`
15×	`add-cube-cbrt` `swap-sqr`
11×	`log-pow`
9×	`flip3--` `pow1/3` `associate-r` `associate-l` `flip--`
8×	`add-cbrt-cube`
7×	`difference-of-squares`
6×	`add-exp-log`
4×	`frac-times` `cbrt-unprod` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative`

Counts

4 → 114

Calls

4 calls:

16.0ms	(* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
3.0ms	(cbrt (- (log z) t))
3.0ms	(cbrt (- (log z) t))
3.0ms	(cbrt (- (log z) t))

series332.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(* (cbrt (- (log z) t)) (cbrt (- (log z) t)))
82.0ms	(cbrt (- (log z) t))
81.0ms	(cbrt (- (log z) t))
79.0ms	(cbrt (- (log z) t))

simplify56.0ms

Algorithm

egg-herbie

Counts

126 → 126

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	452	1345
1	1681	1262
2	5002	1120

prune588.0ms

Filtered

126 candidates to 81 candidates (64.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	126	0	126
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	126	2	128

Merged error: 0.0b

Counts

128 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite153.0ms

Algorithm

rewrite-expression-head

Rules

64×	`sqrt-prod`
58×	`associate-r`
44×	`add-sqr-sqrt`
40×	`exp-sum`
36×	`log-prod` `associate--l+`
32×	`*-un-lft-identity`
26×	`distribute-rgt-in` `add-cube-cbrt` `distribute-lft-in`
20×	`associate-+l+`
16×	`pow1` `associate-+r+`
12×	`associate-l`
10×	`sub-neg` `associate-*r/`
8×	`add-exp-log` `add-cbrt-cube`
6×	`associate-+r-` `exp-diff` `sqrt-div` `unswap-sqr`
4×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `pow-prod-down` `*-commutative` `associate--r+` `distribute-lft-out--` `add-log-exp`
2×	`flip3--` `pow1/2` `prod-exp` `log-pow` `flip--` `cbrt-unprod` `difference-of-squares`

Counts

4 → 160

Calls

4 calls:

7.0ms	(* y (- (log z) t))
7.0ms	(* y (- (log z) t))
66.0ms	(sqrt (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))))
65.0ms	(sqrt (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))))

series862.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(* y (- (log z) t))
74.0ms	(* y (- (log z) t))
356.0ms	(sqrt (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))))
359.0ms	(sqrt (* x (exp (+ (* y (- (log z) t)) (- (* a (log 1.0)) (+ (* a b) (* 1.0 (* a z))))))))

simplify64.0ms

Algorithm

egg-herbie

Counts

172 → 172

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	619	2162
1	1992	2054
2	5001	2010

prune743.0ms

Filtered

172 candidates to 106 candidates (61.6%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	172	0	172
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	172	2	174

Merged error: 0.0b

Counts

174 → 2

regimes133.0ms

Accuracy

0% (0.0b remaining)

Error of 0.4b against oracle of 0.4b and baseline of 0.4b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	22
1	32	22

end0.0ms

sample5.7s

Algorithm

intervals

Results

2.5s	41475×	body	80	nan
861.0ms	12590×	body	80	valid
139.0ms	371×	body	640	valid
93.0ms	405×	body	320	valid
52.0ms	67×	body	1280	valid
41.0ms	283×	body	160	valid