Details

analyze425.0ms (2.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5085	350
0	4	4
1	4	4

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)

sample174.0ms (1.1%)

Algorithm

1×

intervals

Results

40.0ms	135×	body	512	valid
35.0ms	291×	body	128	nan
22.0ms	55×	body	1024	valid
6.0ms	32×	body	256	valid
3.0ms	34×	body	128	valid

Compiler

Compiled 63 to 59 computations (6.3% saved)

simplify48.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5168	50

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

Error

5.1b

Counts

2 → 1

Compiler

Compiled 62 to 54 computations (12.9% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.9b	(-.f64 (sqrt.f64 (+.f64 x 1)) (sqrt.f64 x))
2.1b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.5b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
5.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite255.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

4.6b

Rules

44×	`add-sqr-sqrt_binary64_10671` `sqrt-prod_binary64_10665`
40×	`*-un-lft-identity_binary64_10649`
24×	`cancel-sign-sub-inv_binary64_10615`
16×	`difference-of-squares_binary64_10618`
12×	`add-log-exp_binary64_10688` `add-cube-cbrt_binary64_10684` `distribute-lft-out--_binary64_10601`
4×	`diff-log_binary64_10741` `pow1_binary64_10710` `add-exp-log_binary64_10687` `add-cbrt-cube_binary64_10685` `flip3--_binary64_10653` `sub-neg_binary64_10642` `flip--_binary64_10624` `distribute-lft-out_binary64_10600`

Counts

4 → 96

Calls

4 calls:

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

Compiler

Compiled 3760 to 2340 computations (37.8% saved)

series169.0ms (1.1%)

Error

4.9b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 1300 to 1049 computations (19.3% saved)

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4912	1588
1	4912	1588

prune216.0ms (1.4%)

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

Error

0.6b

Counts

109 → 5

Compiler

Compiled 4026 to 2571 computations (36.1% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
2.1b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
4.5b	(-.f64 (sqrt.f64 (+.f64 y 1)) (sqrt.f64 y))
5.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite319.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

Rules

70×	`*-un-lft-identity_binary64_10649`
49×	`sqrt-prod_binary64_10665`
45×	`add-sqr-sqrt_binary64_10671`
21×	`add-cube-cbrt_binary64_10684`
19×	`distribute-lft-out_binary64_10600`
18×	`cancel-sign-sub-inv_binary64_10615` `times-frac_binary64_10655`
12×	`difference-of-squares_binary64_10618`
10×	`add-log-exp_binary64_10688`
9×	`distribute-lft-out--_binary64_10601`
8×	`add-exp-log_binary64_10687`
6×	`add-cbrt-cube_binary64_10685` `associate-/r*_binary64_10593`
5×	`pow1_binary64_10710`
3×	`diff-log_binary64_10741` `flip3--_binary64_10653` `sub-neg_binary64_10642` `flip--_binary64_10624` `associate-/l*_binary64_10594`
2×	`div-exp_binary64_10700` `associate-/r/_binary64_10595`
1×	`inv-pow_binary64_10734` `pow-flip_binary64_10723` `1-exp_binary64_10693` `rec-exp_binary64_10699` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `flip3-+_binary64_10652` `flip-+_binary64_10623`

Counts

4 → 117

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

Compiler

Compiled 4838 to 3162 computations (34.6% saved)

series148.0ms (1%)

Error

0.6b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 1294 to 1061 computations (18% saved)

simplify73.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4879	2015
1	4879	2015

prune280.0ms (1.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	125	4	129
Fresh	2	2	4
Picked	1	0	1
Done	0	0	0
Total	128	6	134

Error

0.0b

Counts

134 → 6

Compiler

Compiled 5129 to 3398 computations (33.7% saved)

localize27.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
0.1b	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))
2.1b	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
5.0b	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))

rewrite391.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

100×	`*-un-lft-identity_binary64_10649`
54×	`sqrt-prod_binary64_10665`
46×	`add-sqr-sqrt_binary64_10671`
36×	`times-frac_binary64_10655`
34×	`distribute-lft-out_binary64_10600`
30×	`add-cube-cbrt_binary64_10684`
12×	`add-exp-log_binary64_10687` `cancel-sign-sub-inv_binary64_10615` `associate-/r*_binary64_10593`
8×	`add-log-exp_binary64_10688` `add-cbrt-cube_binary64_10685` `difference-of-squares_binary64_10618`
6×	`pow1_binary64_10710` `distribute-lft-out--_binary64_10601` `associate-/l*_binary64_10594`
4×	`div-exp_binary64_10700` `associate-/r/_binary64_10595`
2×	`diff-log_binary64_10741` `flip3--_binary64_10653` `sub-neg_binary64_10642` `flip--_binary64_10624` `inv-pow_binary64_10734` `pow-flip_binary64_10723` `1-exp_binary64_10693` `rec-exp_binary64_10699` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `flip3-+_binary64_10652` `flip-+_binary64_10623`

Counts

4 → 138

Calls

4 calls:

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

Compiler

Compiled 6000 to 4068 computations (32.2% saved)

series140.0ms (0.9%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

38.0ms	(-.f64 (sqrt.f64 (+.f64 z 1)) (sqrt.f64 z))
36.0ms	(-.f64 (sqrt.f64 (+.f64 t 1)) (sqrt.f64 t))
25.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 x)) (sqrt.f64 x)))
23.0ms	(/.f64 1 (+.f64 (sqrt.f64 (+.f64 1 y)) (sqrt.f64 y)))

Compiler

Compiled 1288 to 1073 computations (16.7% saved)

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

150 → 150

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4879	2442
1	4879	2442

prune312.0ms (2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	148	2	150
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	150	6	156

Error

0.0b

Counts

156 → 6

Compiler

Compiled 6260 to 4263 computations (31.9% saved)

localize31.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite465.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

130×	`*-un-lft-identity_binary64_10649`
59×	`sqrt-prod_binary64_10665`
54×	`times-frac_binary64_10655`
49×	`distribute-lft-out_binary64_10600`
47×	`add-sqr-sqrt_binary64_10671`
39×	`add-cube-cbrt_binary64_10684`
18×	`associate-/r*_binary64_10593`
16×	`add-exp-log_binary64_10687`
10×	`add-cbrt-cube_binary64_10685`
9×	`associate-/l*_binary64_10594`
7×	`pow1_binary64_10710`
6×	`add-log-exp_binary64_10688` `cancel-sign-sub-inv_binary64_10615` `div-exp_binary64_10700` `associate-/r/_binary64_10595`
4×	`difference-of-squares_binary64_10618`
3×	`distribute-lft-out--_binary64_10601` `inv-pow_binary64_10734` `pow-flip_binary64_10723` `1-exp_binary64_10693` `rec-exp_binary64_10699` `cbrt-undiv_binary64_10683` `frac-2neg_binary64_10660` `clear-num_binary64_10648` `div-inv_binary64_10646` `flip3-+_binary64_10652` `flip-+_binary64_10623`
1×	`diff-log_binary64_10741` `flip3--_binary64_10653` `sub-neg_binary64_10642` `flip--_binary64_10624`

Counts

4 → 159

Calls

4 calls:

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

Compiler

Compiled 7246 to 5058 computations (30.2% saved)

series134.0ms (0.9%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

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

Compiler

Compiled 1282 to 1085 computations (15.4% saved)

simplify66.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5016	2869

prune438.0ms (2.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	170	7	177

Error

0.0b

Counts

177 → 7

Compiler

Compiled 7211 to 4987 computations (30.8% saved)

regimes2.7s (17.5%)

Accuracy

Total 0.3b remaining (89%)

Threshold costs 0.3b (89%)

Compiler

Compiled 46329 to 38580 computations (16.7% saved)

bsearch0.0ms (0%)

simplify26.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	59
1	48	59

Compiler

Compiled 74 to 66 computations (10.8% saved)

end0.0ms (0%)

sample8.4s (54.4%)

Algorithm

1×

intervals

Results

1.4s	4369×	body	512	valid
1.1s	9803×	body	128	nan
724.0ms	1655×	body	1024	valid
213.0ms	1084×	body	256	valid
93.0ms	892×	body	128	valid

Compiler

Compiled 3523 to 2940 computations (16.5% saved)

Details

analyze425.0ms (2.8%)

sample174.0ms (1.1%)

simplify48.0ms (0.3%)

prune11.0ms (0.1%)

localize23.0ms (0.1%)

rewrite255.0ms (1.7%)

series169.0ms (1.1%)

simplify60.0ms (0.4%)

prune216.0ms (1.4%)

localize27.0ms (0.2%)

rewrite319.0ms (2.1%)

series148.0ms (1%)

simplify73.0ms (0.5%)

prune280.0ms (1.8%)

localize27.0ms (0.2%)

rewrite391.0ms (2.5%)

series140.0ms (0.9%)

simplify79.0ms (0.5%)

prune312.0ms (2%)

localize31.0ms (0.2%)

rewrite465.0ms (3%)

series134.0ms (0.9%)

simplify66.0ms (0.4%)

prune438.0ms (2.8%)

regimes2.7s (17.5%)

bsearch0.0ms (0%)

simplify26.0ms (0.2%)

end0.0ms (0%)

sample8.4s (54.4%)

Profiling