Details

sample188.0ms

Algorithm

intervals

Results

86.0ms	1337×	body	80	nan
20.0ms	257×	body	80	valid

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

localize14.0ms

Local error

Found 3 expressions with local error:

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

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

6.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))

series76.0ms

Counts

3 → 9

Calls

3 calls:

9.0ms	(* (- a 0.5) (log t))
52.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- 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	5001	756

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

localize20.0ms

Local error

Found 4 expressions with local error:

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

rewrite47.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`
17×	`associate-+l+`
15×	`add-cube-cbrt` `add-log-exp`
11×	`sum-log`
10×	`associate-+r+`
8×	`sqrt-prod`
7×	`associate-+l-`
6×	`add-exp-log` `distribute-rgt-in` `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` `diff-log`
2×	`associate-+r-`
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 (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
12.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
7.0ms	(+ (log (sqrt (+ x y))) (log z))

series114.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (- a 0.5) (log t))
60.0ms	(+ (- (+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z))) t) (* (- a 0.5) (log t)))
25.0ms	(+ (log (sqrt (+ x y))) (+ (log (sqrt (+ x y))) (log z)))
19.0ms	(+ (log (sqrt (+ x y))) (log z))

simplify75.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	862	1527
1	3259	1385
2	5001	1347

prune165.0ms

Filtered

91 candidates to 130 candidates (-42.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	132	7	139

Merged error: 0.0b

Counts

139 → 7

localize21.0ms

Local error

Found 4 expressions with local error:

0.6b	(+ (log (+ x y)) (log z))
0.6b	(cbrt t)
0.6b	(cbrt t)
0.6b	(cbrt t)

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

15×	`*-un-lft-identity`
9×	`cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt`
8×	`pow1`
7×	`log-prod`
5×	`distribute-lft-out`
4×	`add-exp-log` `associate-+l+` `log-pow` `add-cbrt-cube` `add-log-exp`
3×	`associate-+r+` `pow1/3`
2×	`associate-+l-` `log-div` `flip3-+` `flip-+`
1×	`+-commutative` `sum-log`

Counts

4 → 57

Calls

4 calls:

6.0ms	(+ (log (+ x y)) (log z))
1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)

series80.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(+ (log (+ x y)) (log z))
21.0ms	(cbrt t)
23.0ms	(cbrt t)
22.0ms	(cbrt t)

simplify93.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 3 (23.0ms)

Iter	Nodes	Cost
0	214	321
1	443	296
2	938	255
3	3244	246
4	5001	246

prune105.0ms

Filtered

52 candidates to 69 candidates (-32.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	69	7	76

Merged error: 0.0b

Counts

76 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

68×	`cbrt-div`
45×	`add-sqr-sqrt` `*-un-lft-identity`
36×	`associate-*l/`
34×	`cbrt-prod` `flip3--` `flip--`
32×	`frac-times`
30×	`pow1`
25×	`log-prod`
23×	`add-cube-cbrt`
20×	`add-exp-log`
17×	`associate-l`
15×	`distribute-rgt-in` `distribute-lft-in`
13×	`associate-r`
11×	`pow-prod-down` `add-cbrt-cube`
10×	`associate-*r/` `swap-sqr` `prod-exp` `cbrt-unprod`
7×	`distribute-lft-out--`
6×	`pow1/3` `unswap-sqr`
5×	`log-pow` `distribute-lft-out` `difference-of-squares`
4×	`associate-+l+` `add-log-exp`
3×	`associate-+r+` `*-commutative`
2×	`associate-+l-` `log-div` `flip3-+` `pow-sqr` `pow-prod-up` `flip-+`
1×	`+-commutative` `pow2` `pow-plus` `sum-log`

Counts

4 → 173

Calls

4 calls:

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

series63.0ms

Counts

4 → 12

Calls

4 calls:

15.0ms	(* (* (cbrt (- a 0.5)) (cbrt (- a 0.5))) (* (cbrt (- a 0.5)) (log t)))
24.0ms	(* (cbrt (- a 0.5)) (log t))
14.0ms	(+ (log (+ x y)) (log z))
10.0ms	(* (cbrt (- a 0.5)) (cbrt (- a 0.5)))

simplify97.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	1068	2221
1	3718	1905
2	5003	1764

prune295.0ms

Filtered

108 candidates to 185 candidates (-71.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	185	0	185
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	185	7	192

Merged error: 0.0b

Counts

192 → 7

regimes1.0s

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	22	14
1	22	14

end0.0ms

sample5.5s

Algorithm

intervals

Results

2.8s	43294×	body	80	nan
589.0ms	8035×	body	80	valid

Details

sample188.0ms

simplify56.0ms

prune5.0ms

localize14.0ms

rewrite26.0ms

series76.0ms

simplify56.0ms

prune157.0ms

localize20.0ms

rewrite47.0ms

series114.0ms

simplify75.0ms

prune165.0ms

localize21.0ms

rewrite11.0ms

series80.0ms

simplify93.0ms

prune105.0ms

localize18.0ms

rewrite49.0ms

series63.0ms

simplify97.0ms

prune295.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.5s

Profiling