Details

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

sample118.0ms

Algorithm

intervals

Results

37.0ms	134×	body	512	valid
31.0ms	317×	body	128	nan
23.0ms	59×	body	1024	valid
7.0ms	36×	body	256	valid
2.0ms	27×	body	128	valid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5203	50

prune6.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.5b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
2.2b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.3b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite46.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))
9.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 y 1)) (sqrt.f64 y))

series273.0ms

Counts

4 → 12

Calls

4 calls:

68.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
61.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
75.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
68.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

simplify49.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	5244	2087

prune141.0ms

Filtered

63 candidates to 84 candidates (-33.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	79	5	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	80	5	85

Merged error: 0.4b

Counts

85 → 5

localize23.0ms

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
1.5b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
2.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
3.3b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite53.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`
7×	`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`
1×	`flip3-+_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `div-inv_binary64` `div-exp_binary64` `pow-flip_binary64` `flip-+_binary64`

Counts

4 → 98

Calls

4 calls:

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

series253.0ms

Counts

4 → 12

Calls

4 calls:

54.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
63.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
66.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
69.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

simplify53.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5107	2529

prune160.0ms

Filtered

70 candidates to 110 candidates (-57.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	106	4	110
Fresh	3	1	4
Picked	1	0	1
Done	0	0	0
Total	110	5	115

Merged error: 0.2b

Counts

115 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite62.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`
10×	`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`
2×	`flip3-+_binary64` `sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64` `pow-flip_binary64` `flip-+_binary64`

Counts

4 → 124

Calls

4 calls:

11.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
12.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 t 1)) (sqrt.f64 t))

series248.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
55.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
67.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
71.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

simplify57.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (26.0ms)

Iter	Nodes	Cost
0	4892	2961
1	4892	2961

prune184.0ms

Filtered

79 candidates to 136 candidates (-72.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	137	4	141

Merged error: 0.0b

Counts

141 → 4

localize31.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 1 x)) (sqrt.f64 x)))
0.2b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
2.9b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

rewrite66.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`
13×	`add-exp-log_binary64`
10×	`add-cbrt-cube_binary64`
9×	`associate-/l*_binary64`
7×	`pow1_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
4×	`difference-of-squares_binary64`
3×	`flip3-+_binary64` `cbrt-undiv_binary64` `clear-num_binary64` `inv-pow_binary64` `frac-2neg_binary64` `rec-exp_binary64` `distribute-lft-out--_binary64` `div-inv_binary64` `div-exp_binary64` `pow-flip_binary64` `flip-+_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `flip--_binary64`

Counts

4 → 150

Calls

4 calls:

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

series235.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 z)) (sqrt.f64 z)))
55.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
51.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
77.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

simplify63.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	4945	3390
1	4945	3390

prune210.0ms

Filtered

86 candidates to 162 candidates (-88.4%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	160	2	162
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	162	4	166

Merged error: 0.0b

Counts

166 → 4

regimes228.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	62
1	40	62

end0.0ms

sample3.5s

Algorithm

intervals

Results

1.3s	4423×	body	512	valid
916.0ms	9648×	body	128	nan
654.0ms	1697×	body	1024	valid
202.0ms	1070×	body	256	valid
77.0ms	810×	body	128	valid

Details

analyze261.0ms

sample118.0ms

simplify58.0ms

prune6.0ms

localize22.0ms

rewrite46.0ms

series273.0ms

simplify49.0ms

prune141.0ms

localize23.0ms

rewrite53.0ms

series253.0ms

simplify53.0ms

prune160.0ms

localize24.0ms

rewrite62.0ms

series248.0ms

simplify57.0ms

prune184.0ms

localize31.0ms

rewrite66.0ms

series235.0ms

simplify63.0ms

prune210.0ms

regimes228.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample3.5s

Profiling