Details

analyze274.0ms (2.9%)

Algorithm

1×

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

Compiler

Compiled 32 to 28 computations (12.5% saved)

sample135.0ms (1.4%)

Algorithm

1×

intervals

Results

39.0ms	125×	body	512	valid
37.0ms	333×	body	128	nan
27.0ms	65×	body	1024	valid
10.0ms	46×	body	256	valid
2.0ms	20×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify132.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5168	50

prune7.0ms (0.1%)

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: 4.6b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.5b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.0b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
2.5b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
3.6b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`sqrt-prod_binary64_12370` `add-sqr-sqrt_binary64_12376`
40×	`*-un-lft-identity_binary64_12354`
24×	`cancel-sign-sub-inv_binary64_12320`
16×	`difference-of-squares_binary64_12323`
12×	`add-log-exp_binary64_12393` `distribute-lft-out--_binary64_12306` `add-cube-cbrt_binary64_12389`
4×	`flip--_binary64_12329` `distribute-lft-out_binary64_12305` `diff-log_binary64_12446` `pow1_binary64_12415` `flip3--_binary64_12358` `sub-neg_binary64_12347` `add-cbrt-cube_binary64_12390` `add-exp-log_binary64_12392`

Counts

4 → 96

Calls

4 calls:

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

series146.0ms (1.5%)

Counts

4 → 12

Calls

4 calls:

38.0ms	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
37.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
34.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))

Compiler

Compiled 920 to 792 computations (13.9% saved)

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4870	1588
1	4870	1588

prune221.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	103	5	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	104	5	109

Merged error: 1.0b

Counts

109 → 5

Compiler

Compiled 4041 to 2580 computations (36.2% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite56.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

70×	`*-un-lft-identity_binary64_12354`
49×	`sqrt-prod_binary64_12370`
45×	`add-sqr-sqrt_binary64_12376`
21×	`add-cube-cbrt_binary64_12389`
19×	`distribute-lft-out_binary64_12305`
18×	`cancel-sign-sub-inv_binary64_12320` `times-frac_binary64_12360`
12×	`difference-of-squares_binary64_12323`
10×	`add-log-exp_binary64_12393`
9×	`distribute-lft-out--_binary64_12306`
8×	`add-exp-log_binary64_12392`
6×	`associate-/r*_binary64_12298` `add-cbrt-cube_binary64_12390`
5×	`pow1_binary64_12415`
3×	`flip--_binary64_12329` `diff-log_binary64_12446` `associate-/l*_binary64_12299` `flip3--_binary64_12358` `sub-neg_binary64_12347`
2×	`associate-/r/_binary64_12300` `div-exp_binary64_12405`
1×	`clear-num_binary64_12353` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `inv-pow_binary64_12439` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `1-exp_binary64_12398` `pow-flip_binary64_12428` `flip-+_binary64_12328` `flip3-+_binary64_12357`

Counts

4 → 117

Calls

4 calls:

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

series127.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

37.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
33.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
20.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))

Compiler

Compiled 908 to 794 computations (12.6% saved)

simplify266.0ms (2.8%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4888	2015
1	4888	2015

prune262.0ms (2.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	126	3	129
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	129	5	134

Merged error: 0.2b

Counts

134 → 5

Compiler

Compiled 5080 to 3356 computations (33.9% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite63.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

100×	`*-un-lft-identity_binary64_12354`
54×	`sqrt-prod_binary64_12370`
46×	`add-sqr-sqrt_binary64_12376`
36×	`times-frac_binary64_12360`
34×	`distribute-lft-out_binary64_12305`
30×	`add-cube-cbrt_binary64_12389`
12×	`associate-/r*_binary64_12298` `cancel-sign-sub-inv_binary64_12320` `add-exp-log_binary64_12392`
8×	`add-log-exp_binary64_12393` `difference-of-squares_binary64_12323` `add-cbrt-cube_binary64_12390`
6×	`associate-/l*_binary64_12299` `distribute-lft-out--_binary64_12306` `pow1_binary64_12415`
4×	`associate-/r/_binary64_12300` `div-exp_binary64_12405`
2×	`flip--_binary64_12329` `clear-num_binary64_12353` `diff-log_binary64_12446` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `inv-pow_binary64_12439` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `1-exp_binary64_12398` `pow-flip_binary64_12428` `flip3--_binary64_12358` `flip-+_binary64_12328` `sub-neg_binary64_12347` `flip3-+_binary64_12357`

Counts

4 → 138

Calls

4 calls:

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

series122.0ms (1.3%)

Counts

4 → 12

Calls

4 calls:

35.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
35.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
26.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
26.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))

Compiler

Compiled 896 to 796 computations (11.2% saved)

simplify110.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (82.0ms)

Iter	Nodes	Cost
0	4800	2442
1	4800	2442

prune316.0ms (3.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	150	5	155

Merged error: 0.0b

Counts

155 → 5

Compiler

Compiled 6200 to 4213 computations (32% saved)

localize30.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

rewrite62.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

130×	`*-un-lft-identity_binary64_12354`
59×	`sqrt-prod_binary64_12370`
54×	`times-frac_binary64_12360`
49×	`distribute-lft-out_binary64_12305`
47×	`add-sqr-sqrt_binary64_12376`
39×	`add-cube-cbrt_binary64_12389`
18×	`associate-/r*_binary64_12298`
16×	`add-exp-log_binary64_12392`
10×	`add-cbrt-cube_binary64_12390`
9×	`associate-/l*_binary64_12299`
7×	`pow1_binary64_12415`
6×	`add-log-exp_binary64_12393` `associate-/r/_binary64_12300` `cancel-sign-sub-inv_binary64_12320` `div-exp_binary64_12405`
4×	`difference-of-squares_binary64_12323`
3×	`clear-num_binary64_12353` `div-inv_binary64_12351` `frac-2neg_binary64_12365` `inv-pow_binary64_12439` `rec-exp_binary64_12404` `cbrt-undiv_binary64_12388` `1-exp_binary64_12398` `pow-flip_binary64_12428` `distribute-lft-out--_binary64_12306` `flip-+_binary64_12328` `flip3-+_binary64_12357`
1×	`flip--_binary64_12329` `diff-log_binary64_12446` `flip3--_binary64_12358` `sub-neg_binary64_12347`

Counts

4 → 159

Calls

4 calls:

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

series106.0ms (1.1%)

Counts

4 → 12

Calls

4 calls:

42.0ms	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
22.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 t)) (sqrt.f64 t)))
21.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y)))
20.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z)))

Compiler

Compiled 884 to 798 computations (9.7% saved)

simplify83.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4895	2869
1	4895	2869

prune435.0ms (4.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	171	5	176

Merged error: 0.0b

Counts

176 → 5

Compiler

Compiled 7211 to 4987 computations (30.8% saved)

regimes1.2s (12.8%)

Compiler: Compiled 18830 to 16402 computations (12.9% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	51	64
1	51	64

end0.0ms (0%)

sample5.2s (54.3%)

Algorithm

1×

intervals

Results

1.4s	4323×	body	512	valid
1.0s	9466×	body	128	nan
761.0ms	1767×	body	1024	valid
220.0ms	1037×	body	256	valid
98.0ms	873×	body	128	valid

Compiler

Compiled 1502 to 1310 computations (12.8% saved)

Details

analyze274.0ms (2.9%)

sample135.0ms (1.4%)

simplify132.0ms (1.4%)

prune7.0ms (0.1%)

localize22.0ms (0.2%)

rewrite48.0ms (0.5%)

series146.0ms (1.5%)

simplify70.0ms (0.7%)

prune221.0ms (2.3%)

localize23.0ms (0.2%)

rewrite56.0ms (0.6%)

series127.0ms (1.3%)

simplify266.0ms (2.8%)

prune262.0ms (2.7%)

localize24.0ms (0.3%)

rewrite63.0ms (0.7%)

series122.0ms (1.3%)

simplify110.0ms (1.1%)

prune316.0ms (3.3%)

localize30.0ms (0.3%)

rewrite62.0ms (0.7%)

series106.0ms (1.1%)

simplify83.0ms (0.9%)

prune435.0ms (4.5%)

regimes1.2s (12.8%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample5.2s (54.3%)

Profiling