Details

sample208.0ms

Algorithm

intervals

Results

117.0ms	1947×	body	80	nan
18.0ms	256×	body	80	valid

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

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

Counts

2 → 1

localize26.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.2b	(* (- a 0.5) (log t))
0.6b	(+ (log (+ x y)) (log z))

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

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

series482.0ms

Counts

4 → 12

Calls

4 calls:

167.0ms	(- (+ (log (+ x y)) (log z)) t)
192.0ms	(+ (- (+ (log (+ x y)) (log z)) t) (* (- a 0.5) (log t)))
53.0ms	(* (- a 0.5) (log t))
70.0ms	(+ (log (+ x y)) (log z))

simplify60.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	618	1003
1	2230	940
2	5001	924

prune345.0ms

Filtered

114 candidates to 80 candidates (70.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

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

Merged error: 0.0b

Counts

115 → 8

localize23.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	(+ (log (+ x y)) (log z))
0.6b	(cbrt t)
0.6b	(cbrt t)

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

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

series569.0ms

Counts

4 → 12

Calls

4 calls:

166.0ms	(+ (* (- a 0.5) (* 2 (log (cbrt t)))) (* (- a 0.5) (log (cbrt t))))
67.0ms	(+ (log (+ x y)) (log z))
168.0ms	(cbrt t)
168.0ms	(cbrt t)

simplify62.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	598	898
1	2124	774
2	5001	748

prune482.0ms

Filtered

110 candidates to 98 candidates (89.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	108	2	110
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	110	8	118

Merged error: 0.0b

Counts

118 → 8

localize26.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity`
15×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt`
8×	`pow1`
7×	`log-prod`
6×	`sqrt-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 → 63

Calls

4 calls:

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

series545.0ms

Counts

4 → 12

Calls

4 calls:

73.0ms	(+ (log (+ x y)) (log z))
149.0ms	(cbrt (sqrt t))
149.0ms	(cbrt (sqrt t))
173.0ms	(cbrt t)

simplify59.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 3 (54.0ms)

Iter	Nodes	Cost
0	251	365
1	582	335
2	2020	320
3	5001	318

prune349.0ms

Filtered

75 candidates to 60 candidates (80.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	75	8	83

Merged error: 0.0b

Counts

83 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

31×	`log-prod`
28×	`*-un-lft-identity`
26×	`add-sqr-sqrt`
20×	`frac-add`
18×	`add-cube-cbrt`
16×	`pow1` `flip3--` `flip--` `add-log-exp`
15×	`associate-+r+`
14×	`distribute-rgt-in` `distribute-lft-in` `associate-*l/`
12×	`sqrt-prod`
11×	`associate-r` `associate-l`
10×	`associate-*r/` `log-pow`
9×	`sum-log`
8×	`add-exp-log` `add-cbrt-cube`
5×	`associate-+l+` `flip3-+` `flip-+` `distribute-lft-out`
4×	`associate-+l-`
2×	`+-commutative` `sub-neg` `log-div` `sqrt-pow1` `pow1/2` `diff-log` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

4 → 130

Calls

4 calls:

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

series504.0ms

Counts

4 → 12

Calls

4 calls:

293.0ms	(+ (+ (- (+ (log (+ x y)) (log z)) t) (* (log (sqrt t)) (- a 0.5))) (* (- a 0.5) (log (sqrt t))))
63.0ms	(* (log (sqrt t)) (- a 0.5))
73.0ms	(* (- a 0.5) (log (sqrt t)))
75.0ms	(+ (log (+ x y)) (log z))

simplify113.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (96.0ms)

Iter	Nodes	Cost
0	1030	2099
1	4655	1933
2	5001	1906

prune442.0ms

Filtered

142 candidates to 98 candidates (69.0%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	3	2	5
Picked	0	1	1
Done	0	2	2
Total	143	7	150

Merged error: 0b

Counts

150 → 7

regimes503.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	27	16
1	27	16

end0.0ms

sample6.2s

Algorithm

intervals

Results

3.5s	56685×	body	80	nan
585.0ms	8027×	body	80	valid

Details

sample208.0ms

simplify59.0ms

prune5.0ms

localize26.0ms

rewrite38.0ms

series482.0ms

simplify60.0ms

prune345.0ms

localize23.0ms

rewrite26.0ms

series569.0ms

simplify62.0ms

prune482.0ms

localize26.0ms

rewrite16.0ms

series545.0ms

simplify59.0ms

prune349.0ms

localize23.0ms

rewrite55.0ms

series504.0ms

simplify113.0ms

prune442.0ms

regimes503.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.2s

Profiling