Details

analyze366.0ms

Algorithm: search

sample39.0ms

Algorithm

intervals

Results

18.0ms	256×	body	80	valid
6.0ms	94×	body	80	nan

simplify56.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	27	9
1	59	9
2	153	9
3	360	9
4	813	9
5	1639	9
6	3143	9
7	5001	9

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.3b

Counts

2 → 1

localize15.0ms

Local error

Found 3 expressions with local error:

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

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

12.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
9.0ms	(* (- a 0.5) (log t))
6.0ms	(+ (log (+ x y)) (log z))

series75.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify56.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	643	859
1	2361	801
2	5003	756

prune200.0ms

Filtered

64 candidates to 89 candidates (-39.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	80	9	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	81	9	90

Merged error: 0.0b

Counts

90 → 9

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 98

Calls

4 calls:

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

series92.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(- (log z) t)
21.0ms	(+ (- (log z) t) (* (- a 0.5) (log t)))
51.0ms	(+ (log (+ x y)) (+ (- (log z) t) (* (- a 0.5) (log t))))
10.0ms	(* (- a 0.5) (log t))

simplify62.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (52.0ms)

Iter	Nodes	Cost
0	714	955
1	2575	887
2	5003	837

prune153.0ms

Filtered

79 candidates to 110 candidates (-39.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	111	8	119

Merged error: 0.0b

Counts

119 → 8

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod`
30×	`distribute-rgt-in` `distribute-lft-in`
28×	`associate-+l+`
26×	`*-un-lft-identity`
24×	`cbrt-prod`
20×	`add-sqr-sqrt` `add-cube-cbrt`
15×	`associate-+r+`
8×	`pow1` `associate-*l/`
6×	`distribute-lft-out` `add-log-exp`
4×	`add-exp-log` `flip3--` `frac-add` `log-pow` `add-cbrt-cube` `flip--`
3×	`flip3-+` `flip-+`
2×	`+-commutative` `associate-+l-` `log-div` `pow1/3` `sum-log`

Counts

4 → 98

Calls

4 calls:

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

series94.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
21.0ms	(cbrt t)
21.0ms	(cbrt t)
14.0ms	(+ (log (+ x y)) (log z))

simplify59.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	637	941
1	2068	825
2	5001	778

prune176.0ms

Filtered

95 candidates to 110 candidates (-15.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

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

Merged error: 0.0b

Counts

118 → 6

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite224.0ms

Algorithm

rewrite-expression-head

Rules

43×	`log-prod`
30×	`distribute-rgt-in` `*-un-lft-identity` `distribute-lft-in`
26×	`add-sqr-sqrt`
22×	`add-cube-cbrt`
21×	`cbrt-prod`
16×	`pow1`
11×	`add-exp-log` `add-cbrt-cube`
8×	`associate-l`
6×	`associate-r` `log-pow`
5×	`distribute-lft-out`
4×	`associate-+l+` `pow-prod-down` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`associate-+r+`
2×	`associate-+l-` `log-div` `flip3-+` `pow1/3` `associate-l/` `-commutative` `flip-+`
1×	`+-commutative` `flip3--` `sum-log` `flip--` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 113

Calls

4 calls:

9.0ms	(* (- a 0.5) (* 3 (log (cbrt t))))
203.0ms	(* 3 (log (cbrt t)))
1.0ms	(cbrt t)
7.0ms	(+ (log (+ x y)) (log z))

series106.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (- a 0.5) (* 3 (log (cbrt t))))
42.0ms	(* 3 (log (cbrt t)))
22.0ms	(cbrt t)
14.0ms	(+ (log (+ x y)) (log z))

simplify57.0ms

Algorithm

egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	518	910
1	1728	807
2	5001	757

prune120.0ms

Filtered

75 candidates to 125 candidates (-66.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	2	125
Fresh	2	1	3
Picked	1	0	1
Done	0	2	2
Total	126	5	131

Merged error: 0b

Counts

131 → 5

regimes942.0ms

Accuracy

0% (0.2b 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	19	9
1	19	9

end0.0ms

analyze394.0ms

Algorithm: search

sample1.2s

Algorithm

intervals

Results

596.0ms	8000×	body	80	valid
281.0ms	4263×	body	80	nan
2.0ms	32×	body	80	invalid

Details

analyze366.0ms

sample39.0ms

simplify56.0ms

prune5.0ms

localize15.0ms

rewrite30.0ms

series75.0ms

simplify56.0ms

prune200.0ms

localize15.0ms

rewrite32.0ms

series92.0ms

simplify62.0ms

prune153.0ms

localize20.0ms

rewrite28.0ms

series94.0ms

simplify59.0ms

prune176.0ms

localize18.0ms

rewrite224.0ms

series106.0ms

simplify57.0ms

prune120.0ms

regimes942.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze394.0ms

sample1.2s

Profiling