Details

sample68.0ms

Algorithm

intervals

Results

36.0ms

478×

body

valid

simplify114.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	33	9
1	87	9
2	260	8
3	872	8
4	2436	8
5	4957	8
6	5001	8

prune16.0ms

Filtered

1 candidates to 1 candidates (100.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 → 2

localize27.0ms

Local error

Found 3 expressions with local error:

0.0b	(fma x y (* z t))
0.0b	(* 2.0 (* (- (fma c b a)) (* c i)))
5.1b	(* (- (fma c b a)) (* c i))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

17×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-l`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`distribute-lft-neg-in` `expm1-log1p-u` `distribute-rgt-neg-in` `log1p-expm1-u` `add-log-exp`
2×	`distribute-lft-neg-out` `associate-r` `*-commutative`
1×	`neg-mul-1` `distribute-rgt-neg-out` `fma-udef`

Counts

3 → 62

Calls

3 calls:

1.0ms	(fma x y (* z t))
17.0ms	(* 2.0 (* (- (fma c b a)) (* c i)))
11.0ms	(* (- (fma c b a)) (* c i))

series162.0ms

Counts

3 → 9

Calls

3 calls:

37.0ms	(fma x y (* z t))
64.0ms	(* 2.0 (* (- (fma c b a)) (* c i)))
60.0ms	(* (- (fma c b a)) (* c i))

simplify39.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	261	393
1	1092	327
2	5001	317

prune254.0ms

Filtered

71 candidates to 48 candidates (67.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	65	6	71
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	65	8	73

Merged error: 0.3b

Counts

73 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x y (* z t))
0.4b	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
0.4b	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
5.1b	(* (- (fma c b a)) (* c i))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`associate-l`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-prod`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-r` `*-commutative` `distribute-rgt-neg-out`
1×	`neg-mul-1` `fma-udef`

Counts

4 → 95

Calls

4 calls:

1.0ms	(fma x y (* z t))
9.0ms	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
12.0ms	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
6.0ms	(* (- (fma c b a)) (* c i))

series520.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(fma x y (* z t))
159.0ms	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
262.0ms	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
57.0ms	(* (- (fma c b a)) (* c i))

simplify54.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	363	738
1	1586	602
2	5001	578

prune312.0ms

Filtered

107 candidates to 67 candidates (62.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	108	7	115

Merged error: 0.2b

Counts

115 → 7

localize19.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))
0.3b	(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i))))
0.4b	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))))
5.1b	(* (- (fma c b a)) (* c i))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

52×	`pow1` `add-exp-log` `add-cbrt-cube`
34×	`associate-l` `pow-prod-down` `prod-exp` `cbrt-unprod`
21×	`sqrt-prod`
15×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`distribute-rgt-neg-out`
4×	`distribute-lft-neg-out` `expm1-log1p-u` `associate-r` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
1×	`neg-mul-1`

Counts

4 → 124

Calls

4 calls:

10.0ms	(* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))
14.0ms	(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i))))
21.0ms	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))))
6.0ms	(* (- (fma c b a)) (* c i))

series883.0ms

Counts

4 → 12

Calls

4 calls:

409.0ms	(* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))
153.0ms	(* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i))))
260.0ms	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (sqrt (sqrt 2.0)) (* (- (fma c b a)) (* c i)))))
60.0ms	(* (- (fma c b a)) (* c i))

simplify75.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (57.0ms)

Iter	Nodes	Cost
0	450	1294
1	2139	1008
2	5003	961

prune462.0ms

Filtered

136 candidates to 83 candidates (61.0%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	135	1	136
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	135	8	143

Merged error: 0.2b

Counts

143 → 8

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i)))
0.3b	(* (sqrt (sqrt 2.0)) (- (fma c b a)))
0.4b	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))))
5.2b	(* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1` `add-exp-log` `add-cbrt-cube`
41×	`pow-prod-down` `prod-exp` `cbrt-unprod`
25×	`associate-l`
24×	`sqrt-prod`
21×	`add-sqr-sqrt`
15×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r`
7×	`distribute-rgt-neg-out`
4×	`expm1-log1p-u` `*-commutative` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in` `unswap-sqr`
2×	`distribute-neg-in` `fma-udef`
1×	`distribute-rgt-in` `neg-mul-1` `distribute-lft-in`

Counts

4 → 135

Calls

4 calls:

14.0ms	(* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i)))
8.0ms	(* (sqrt (sqrt 2.0)) (- (fma c b a)))
17.0ms	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))))
9.0ms	(* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))

series826.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i)))
158.0ms	(* (sqrt (sqrt 2.0)) (- (fma c b a)))
267.0ms	(* (sqrt 2.0) (* (sqrt (sqrt 2.0)) (* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))))
231.0ms	(* (* (sqrt (sqrt 2.0)) (- (fma c b a))) (* c i))

simplify96.0ms

Algorithm

egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	509	1564
1	2697	1229
2	5001	1090

prune378.0ms

Filtered

147 candidates to 81 candidates (55.1%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	147	0	147
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	147	8	155

Merged error: 0.2b

Counts

155 → 8

regimes767.0ms

Accuracy

0% (1.0b remaining)

Error of 1.9b against oracle of 0.8b and baseline of 1.9b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	8
1	31	8
2	41	8
3	41	8

end0.0ms

sample1.5s

Algorithm

intervals

Results

886.0ms

15310×

body

valid

Details

sample68.0ms

simplify114.0ms

prune16.0ms

localize27.0ms

rewrite32.0ms

series162.0ms

simplify39.0ms

prune254.0ms

localize23.0ms

rewrite30.0ms

series520.0ms

simplify54.0ms

prune312.0ms

localize19.0ms

rewrite55.0ms

series883.0ms

simplify75.0ms

prune462.0ms

localize23.0ms

rewrite53.0ms

series826.0ms

simplify96.0ms

prune378.0ms

regimes767.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.5s

Profiling