Details

analyze529.0ms

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
6.2%	93.6%	0.2%	8
25%	74.9%	0.2%	9
28.1%	71.7%	0.2%	10
29.6%	70.2%	0.2%	11
53%	46.8%	0.2%	12
71.3%	28.5%	0.2%	13
71.7%	28.1%	0.2%	14

sample19.0ms

Algorithm

intervals

Results

10.0ms	256×	body	128	valid
1.0ms	15×	body	128	invalid

simplify248.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (241.0ms)

Iter	Nodes	Cost
0	5125	22

prune1.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: 27.2b

Counts

2 → 1

localize10.0ms

Local error

Found 2 expressions with local error:

0.7b	(-.f64 (.f64 b c) (.f64 a d))
26.6b	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

4.0ms	(-.f64 (.f64 b c) (.f64 a d))
10.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

series284.0ms

Counts

2 → 6

Calls

2 calls:

84.0ms	(-.f64 (.f64 b c) (.f64 a d))
200.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (+.f64 (.f64 c c) (.f64 d d)))

simplify44.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	4974	1263
1	4974	1263

prune62.0ms

Filtered

39 candidates to 49 candidates (-25.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	41	8	49
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	42	8	50

Merged error: 26.4b

Counts

50 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 b c) (.f64 a d))
16.5b	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
18×	`times-frac_binary64` `sqrt-prod_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-div_binary64`
3×	`flip3-+_binary64` `associate-/l*_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `flip3--_binary64` `associate-/r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 85

Calls

4 calls:

4.0ms	(-.f64 (.f64 b c) (.f64 a d))
10.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

series437.0ms

Counts

4 → 12

Calls

4 calls:

86.0ms	(-.f64 (.f64 b c) (.f64 a d))
258.0ms	(/.f64 (-.f64 (.f64 b c) (.f64 a d)) (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))))
46.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
47.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

simplify110.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	4936	2368
1	4936	2368

prune134.0ms

Filtered

77 candidates to 97 candidates (-26.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	92	5	97
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	95	10	105

Merged error: 23.9b

Counts

105 → 10

localize23.0ms

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 b c) (.f64 a d))
16.6b	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (sqrt.f64 (+.f64 (.f64 c c) (*.f64 d d)))))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite66.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary64`
24×	`associate-r_binary64`
22×	`*-un-lft-identity_binary64` `times-frac_binary64`
20×	`add-cube-cbrt_binary64`
17×	`sqrt-prod_binary64`
11×	`add-exp-log_binary64`
9×	`add-cbrt-cube_binary64`
8×	`pow1_binary64`
6×	`add-log-exp_binary64` `sqrt-div_binary64`
5×	`unswap-sqr_binary64`
3×	`flip3-+_binary64` `flip3--_binary64` `associate-l_binary64` `prod-exp_binary64` `flip--_binary64` `flip-+_binary64`
2×	`pow1/2_binary64` `cbrt-unprod_binary64` `associate-/r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `rec-exp_binary64` `un-div-inv_binary64` `div-inv_binary64` `div-exp_binary64` `-commutative_binary64`

Counts

4 → 93

Calls

4 calls:

6.0ms	(-.f64 (.f64 b c) (.f64 a d))
28.0ms	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (sqrt.f64 (+.f64 (.f64 c c) (*.f64 d d)))))
7.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
7.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

series502.0ms

Counts

4 → 12

Calls

4 calls:

78.0ms	(-.f64 (.f64 b c) (.f64 a d))
292.0ms	(.f64 (-.f64 (.f64 b c) (.f64 a d)) (/.f64 1 (sqrt.f64 (+.f64 (.f64 c c) (*.f64 d d)))))
67.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
65.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

simplify66.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (43.0ms)

Iter	Nodes	Cost
0	5174	2255

prune86.0ms

Filtered

77 candidates to 105 candidates (-36.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	105	10	115

Merged error: 23.9b

Counts

115 → 10

localize17.0ms

Local error

Found 4 expressions with local error:

0.7b	(-.f64 (.f64 c b) (.f64 d a))
16.6b	(/.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) (-.f64 (.f64 c b) (.f64 d a)))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
31.4b	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64`
21×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
18×	`times-frac_binary64` `sqrt-prod_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64` `sqrt-div_binary64`
3×	`flip3-+_binary64` `associate-/r*_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `flip3--_binary64` `associate-/r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip--_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 84

Calls

4 calls:

4.0ms	(-.f64 (.f64 c b) (.f64 d a))
10.0ms	(/.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) (-.f64 (.f64 c b) (.f64 d a)))
5.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
4.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

series300.0ms

Counts

4 → 12

Calls

4 calls:

74.0ms	(-.f64 (.f64 c b) (.f64 d a))
140.0ms	(/.f64 (sqrt.f64 (+.f64 (.f64 c c) (.f64 d d))) (-.f64 (.f64 c b) (.f64 d a)))
41.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))
44.0ms	(sqrt.f64 (+.f64 (.f64 c c) (.f64 d d)))

simplify65.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5008	2352

prune73.0ms

Filtered

73 candidates to 96 candidates (-31.5%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	96	10	106

Merged error: 23.9b

Counts

106 → 10

regimes121.0ms

Accuracy

26% (2.2b remaining)

Error of 25.5b against oracle of 23.4b and baseline of 26.3b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	52	83
1	52	83

end0.0ms

sample561.0ms

Algorithm

intervals

Results

324.0ms	8000×	body	128	valid
18.0ms	477×	body	128	invalid

Details

analyze529.0ms

sample19.0ms

simplify248.0ms

prune1.0ms

localize10.0ms

rewrite17.0ms

series284.0ms

simplify44.0ms

prune62.0ms

localize13.0ms

rewrite33.0ms

series437.0ms

simplify110.0ms

prune134.0ms

localize23.0ms

rewrite66.0ms

series502.0ms

simplify66.0ms

prune86.0ms

localize17.0ms

rewrite33.0ms

series300.0ms

simplify65.0ms

prune73.0ms

regimes121.0ms

bsearch1.0ms

simplify3.0ms

end0.0ms

sample561.0ms

Profiling