Details

analyze2.0s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample37.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
1.0ms	10×	body	80	invalid

simplify259.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (250.0ms)

Iter	Nodes	Cost
0	4836	49
1	4836	49

prune3.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 26.5b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
25.8b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
12×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
10×	`pow1_binary64`
9×	`associate-r_binary64` `associate-l_binary64` `times-frac_binary64`
6×	`associate-*l/_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `associate-/l_binary64` `*-commutative_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 91

Calls

4 calls:

10.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
28.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

series574.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(.f64 (+.f64 (.f64 (+.f64 y a) y) b) y)
54.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
58.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
435.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

simplify76.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5201	3432

prune188.0ms

Filtered

88 candidates to 103 candidates (-17.0%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	90	13	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	91	13	104

Merged error: 25.6b

Counts

104 → 13

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
0.1b	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
0.3b	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
25.8b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

rewrite76.0ms

Algorithm

rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary64`
25×	`*-un-lft-identity_binary64`
24×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64` `add-exp-log_binary64`
20×	`times-frac_binary64`
15×	`add-cbrt-cube_binary64`
11×	`pow1_binary64`
9×	`associate-l_binary64`
6×	`flip3-+_binary64` `prod-exp_binary64` `flip-+_binary64`
5×	`unswap-sqr_binary64`
4×	`add-log-exp_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `div-exp_binary64` `associate-*l/_binary64`
3×	`pow-prod-down_binary64` `associate-/r_binary64` `associate-r/_binary64` `associate-/l_binary64` `-commutative_binary64`
2×	`1-exp_binary64` `cbrt-undiv_binary64` `rec-exp_binary64` `div-inv_binary64` `frac-times_binary64`
1×	`distribute-lft-in_binary64` `distribute-rgt-in_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `un-div-inv_binary64` `pow-flip_binary64`

Counts

4 → 117

Calls

4 calls:

11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
13.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
14.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
35.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

series628.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 471841060772561/17179869184) y)
58.0ms	(.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c))
62.0ms	(/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)) i))
454.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

simplify117.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4967	4517
1	4967	4517

prune160.0ms

Filtered

91 candidates to 129 candidates (-41.8%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	127	15	142

Merged error: 25.6b

Counts

142 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
25.8b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

rewrite46.0ms

Algorithm

rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary64`
16×	`*-un-lft-identity_binary64`
15×	`associate-r_binary64` `add-cube-cbrt_binary64`
13×	`add-exp-log_binary64`
11×	`times-frac_binary64`
9×	`add-cbrt-cube_binary64` `cbrt-prod_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `prod-exp_binary64`
3×	`flip3-+_binary64` `pow1/3_binary64` `associate-l_binary64` `unswap-sqr_binary64` `flip-+_binary64`
2×	`cbrt-unprod_binary64` `associate-/r/_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `rec-exp_binary64` `un-div-inv_binary64` `div-inv_binary64` `-commutative_binary64`

Counts

4 → 75

Calls

4 calls:

1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
41.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

series641.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(cbrt.f64 y)
84.0ms	(cbrt.f64 y)
88.0ms	(cbrt.f64 y)
384.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (.f64 (+.f64 (.f64 y (+.f64 (.f64 x y) z)) 471841060772561/17179869184) (.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) 7925469156333415/34359738368) y) t) (/.f64 1 (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)) i)))

simplify110.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (77.0ms)

Iter	Nodes	Cost
0	4901	2672
1	4901	2672

prune126.0ms

Filtered

69 candidates to 87 candidates (-26.1%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	87	15	102

Merged error: 25.6b

Counts

102 → 15

localize28.0ms

Local error

Found 4 expressions with local error:

22.2b	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
22.2b	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
22.2b	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
25.8b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`times-frac_binary64`
6×	`cbrt-div_binary64` `associate-*r/_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`flip3-+_binary64` `flip-+_binary64`
4×	`add-log-exp_binary64` `pow1_binary64`
3×	`associate-/r_binary64` `pow1/3_binary64` `associate-/l_binary64` `cbrt-prod_binary64`
2×	`associate-/l/_binary64` `associate-/r/_binary64`
1×	`cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 64

Calls

4 calls:

11.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
11.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
11.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
36.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

series1.1s

Counts

4 → 12

Calls

4 calls:

194.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
193.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
195.0ms	(cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))
523.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 471841060772561/17179869184) y) 7925469156333415/34359738368) y) t) (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 y a)) b)) c)))) (cbrt.f64 (.f64 y (+.f64 (.f64 y (+.f64 (*.f64 y (+.f64 y a)) b)) c)))) i))

simplify108.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	5243	3203

prune103.0ms

Filtered

61 candidates to 76 candidates (-24.6%)

Pruning

15 alts after pruning (12 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	12	12
Picked	0	1	1
Done	0	2	2
Total	76	15	91

Merged error: 25.6b

Counts

91 → 15

regimes332.0ms

Accuracy

0% (1.1b remaining)

Error of 29.4b against oracle of 28.3b and baseline of 29.4b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	47	52
1	47	52

end0.0ms

sample1.1s

Algorithm

intervals

Results

691.0ms	8000×	body	80	valid
19.0ms	239×	body	80	invalid

Details

analyze2.0s

sample37.0ms

simplify259.0ms

prune3.0ms

localize27.0ms

rewrite64.0ms

series574.0ms

simplify76.0ms

prune188.0ms

localize23.0ms

rewrite76.0ms

series628.0ms

simplify117.0ms

prune160.0ms

localize28.0ms

rewrite46.0ms

series641.0ms

simplify110.0ms

prune126.0ms

localize28.0ms

rewrite72.0ms

series1.1s

simplify108.0ms

prune103.0ms

regimes332.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample1.1s

Profiling