Details

analyze270.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
6.2%	93.6%	0.2%	5
6.2%	68.6%	25.1%	6
6.2%	49.9%	43.9%	7
6.2%	35.9%	57.9%	8
6.2%	25.3%	68.4%	9
6.2%	20.1%	73.7%	10
6.2%	15.7%	78.1%	11
6.2%	12%	81.7%	12
6.2%	9%	84.8%	13
6.2%	7.5%	86.3%	14

sample136.0ms

Algorithm

intervals

Results

60.0ms	160×	body	640	valid
33.0ms	332×	body	80	nan
15.0ms	52×	body	320	valid
4.0ms	19×	body	160	valid
3.0ms	18×	body	80	valid
3.0ms	7×	body	1280	valid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5204	50

prune4.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: 5.8b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

1.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.2b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
2.8b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
3.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64` `sqrt-prod_binary64`
16×	`difference-of-squares_binary64`
12×	`add-log-exp_binary64` `distribute-lft-out--_binary64`
4×	`sub-neg_binary64` `pow1_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-lft-out_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip--_binary64`

Counts

4 → 72

Calls

4 calls:

9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
11.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series147.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
35.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
35.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
40.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

simplify55.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5226	2103

prune149.0ms

Filtered

63 candidates to 84 candidates (-33.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	78	6	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	6	85

Merged error: 0.6b

Counts

85 → 6

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.2b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.2b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

64×	`*-un-lft-identity_binary64`
40×	`sqrt-prod_binary64`
39×	`add-sqr-sqrt_binary64`
19×	`distribute-lft-out_binary64`
18×	`times-frac_binary64`
15×	`add-cube-cbrt_binary64`
12×	`difference-of-squares_binary64`
10×	`add-log-exp_binary64`
9×	`distribute-lft-out--_binary64`
8×	`add-exp-log_binary64`
6×	`associate-/r*_binary64` `add-cbrt-cube_binary64`
5×	`pow1_binary64`
3×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `associate-/l*_binary64` `flip--_binary64`
2×	`associate-/r/_binary64` `div-exp_binary64`
1×	`flip3-+_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `div-inv_binary64` `pow-flip_binary64` `flip-+_binary64`

Counts

4 → 99

Calls

4 calls:

12.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
12.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
9.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

series156.0ms

Counts

4 → 12

Calls

4 calls:

35.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
40.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
39.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
41.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

simplify74.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5081	2560

prune164.0ms

Filtered

70 candidates to 111 candidates (-58.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	106	5	111
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	111	6	117

Merged error: 0.4b

Counts

117 → 6

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
1.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.2b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite47.0ms

Algorithm

rewrite-expression-head

Rules

96×	`*-un-lft-identity_binary64`
48×	`sqrt-prod_binary64`
42×	`add-sqr-sqrt_binary64`
36×	`times-frac_binary64`
34×	`distribute-lft-out_binary64`
26×	`add-cube-cbrt_binary64`
12×	`associate-/r*_binary64` `add-exp-log_binary64`
8×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64`
6×	`pow1_binary64` `associate-/l*_binary64` `distribute-lft-out--_binary64`
4×	`associate-/r/_binary64` `div-exp_binary64`
2×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `div-inv_binary64` `flip--_binary64` `pow-flip_binary64` `flip-+_binary64`

Counts

4 → 126

Calls

4 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
13.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
9.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

series135.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
39.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
40.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

simplify62.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4887	2997
1	4887	2997

prune184.0ms

Filtered

79 candidates to 138 candidates (-74.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	138	6	144

Merged error: 0.1b

Counts

144 → 6

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
1.6b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

128×	`*-un-lft-identity_binary64`
56×	`sqrt-prod_binary64`
54×	`times-frac_binary64`
49×	`distribute-lft-out_binary64`
45×	`add-sqr-sqrt_binary64`
37×	`add-cube-cbrt_binary64`
18×	`associate-/r*_binary64`
16×	`add-exp-log_binary64`
10×	`add-cbrt-cube_binary64`
9×	`associate-/l*_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64` `div-exp_binary64`
4×	`difference-of-squares_binary64`
3×	`flip3-+_binary64` `1-exp_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 153

Calls

4 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
9.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

series126.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))
31.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t)))
39.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))

simplify85.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4936	3431
1	4936	3431

prune205.0ms

Filtered

88 candidates to 165 candidates (-87.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	162	3	165
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	164	7	171

Merged error: 0.0b

Counts

171 → 7

regimes237.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	62
1	42	62

end0.0ms

sample4.1s

Algorithm

intervals

Results

2.0s	5201×	body	640	valid
935.0ms	9489×	body	80	nan
462.0ms	1588×	body	320	valid
92.0ms	479×	body	160	valid
68.0ms	143×	body	1280	valid
56.0ms	589×	body	80	valid

Details

analyze270.0ms

sample136.0ms

simplify75.0ms

prune4.0ms

localize22.0ms

rewrite40.0ms

series147.0ms

simplify55.0ms

prune149.0ms

localize23.0ms

rewrite45.0ms

series156.0ms

simplify74.0ms

prune164.0ms

localize24.0ms

rewrite47.0ms

series135.0ms

simplify62.0ms

prune184.0ms

localize28.0ms

rewrite48.0ms

series126.0ms

simplify85.0ms

prune205.0ms

regimes237.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.1s

Profiling