Details

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

sample131.0ms

Algorithm

intervals

Results

65.0ms	175×	body	640	valid
30.0ms	312×	body	80	nan
14.0ms	53×	body	320	valid
2.0ms	17×	body	80	valid
1.0ms	8×	body	160	valid
1.0ms	3×	body	1280	valid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (64.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.9b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

1.9b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.0b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.4b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.6b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite37.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 z 1)) (sqrt.f64 z))
8.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
8.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
9.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

series153.0ms

Counts

4 → 12

Calls

4 calls:

34.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
40.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
42.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

simplify61.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5226	2103

prune154.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.9b

Counts

85 → 6

localize28.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
1.9b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.0b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.4b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

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

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

series150.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
35.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
44.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
43.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

simplify63.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5081	2560

prune172.0ms

Filtered

72 candidates to 111 candidates (-54.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	105	6	111
Fresh	4	1	5
Picked	1	0	1
Done	0	0	0
Total	110	7	117

Merged error: 0.6b

Counts

117 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
3.0b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
3.4b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

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

10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
10.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
8.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
8.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

series133.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
36.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
43.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

simplify67.0ms

Algorithm

egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	4887	2997
1	4887	2997

prune191.0ms

Filtered

79 candidates to 138 candidates (-74.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	138	7	145

Merged error: 0.3b

Counts

145 → 7

localize25.0ms

Local error

Found 4 expressions with local error:

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

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

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

series120.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
27.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (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))

simplify71.0ms

Algorithm

egg-herbie

Counts

165 → 165

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	4936	3431
1	4936	3431

prune214.0ms

Filtered

88 candidates to 165 candidates (-87.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	162	3	165
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	164	8	172

Merged error: 0.0b

Counts

172 → 8

regimes320.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b 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	5249×	body	640	valid
942.0ms	9674×	body	80	nan
456.0ms	1564×	body	320	valid
80.0ms	429×	body	160	valid
74.0ms	146×	body	1280	valid
59.0ms	612×	body	80	valid

Details

analyze256.0ms

sample131.0ms

simplify76.0ms

prune4.0ms

localize22.0ms

rewrite37.0ms

series153.0ms

simplify61.0ms

prune154.0ms

localize28.0ms

rewrite42.0ms

series150.0ms

simplify63.0ms

prune172.0ms

localize24.0ms

rewrite42.0ms

series133.0ms

simplify67.0ms

prune191.0ms

localize25.0ms

rewrite47.0ms

series120.0ms

simplify71.0ms

prune214.0ms

regimes320.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample4.1s

Profiling