Details

analyze217.0ms (2%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	51	20
1	51	20
0	2	2
1	2	2

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
37.5%	62.4%	0.1%	6
43.7%	43.7%	12.6%	7
53.1%	34.3%	12.6%	8
57.8%	23.4%	18.8%	9
63.2%	18%	18.8%	10
66%	12.1%	22%	11
68.9%	9.2%	22%	12
70.3%	6.1%	23.5%	13
71.9%	4.6%	23.5%	14

Compiler

Compiled 8 to 7 computations (12.5% saved)

sample215.0ms (2%)

Algorithm

1×

intervals

Results

6.0ms	90×	body	128	invalid
5.0ms	256×	body	128	valid

Compiler

Compiled 2783 to 3129 computations (-12.4% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	32	10
1	32	10

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

7.9b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(+.f64 1 (*.f64 y y))
7.4b	(.f64 x (+.f64 1 (.f64 y y)))

rewrite42.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

7.8b

Rules

6×	`add-sqr-sqrt_binary64_16127`
4×	`pow1_binary64_16166` `add-exp-log_binary64_16143` `add-log-exp_binary64_16144` `add-cbrt-cube_binary64_16141` `add-cube-cbrt_binary64_16140` `*-un-lft-identity_binary64_16105`
3×	`associate-l_binary64_16046` `associate-r_binary64_16045`
2×	`flip3-+_binary64_16108` `associate-*r/_binary64_16047` `flip-+_binary64_16079`
1×	`pow-prod-down_binary64_16176` `prod-exp_binary64_16154` `cbrt-unprod_binary64_16138` `unswap-sqr_binary64_16073` `distribute-rgt-in_binary64_16055` `distribute-lft-in_binary64_16054` `*-commutative_binary64_16036` `sum-log_binary64_16196` `+-commutative_binary64_16035`

Counts

2 → 33

Calls

2 calls:

6.0ms	(.f64 x (+.f64 1 (.f64 y y)))
3.0ms	(+.f64 1 (*.f64 y y))

Compiler

Compiled 476 to 248 computations (47.9% saved)

series164.0ms (1.5%)

Error

7.7b

Counts

2 → 15

Calls

2 calls:

115.0ms	(.f64 x (+.f64 1 (.f64 y y)))
40.0ms	(+.f64 1 (*.f64 y y))

Compiler

Compiled 237 to 204 computations (13.9% saved)

simplify69.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

48 → 48

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	6035	491

prune42.0ms (0.4%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	43	5	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	43	6	49

Error

7.6b

Counts

49 → 6

Compiler

Compiled 560 to 296 computations (47.1% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
0.1b	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))

rewrite144.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

7.6b

Rules

18×	`sqrt-div_binary64_16122`
17×	`add-sqr-sqrt_binary64_16127`
13×	`pow1_binary64_16166` `sqrt-prod_binary64_16121`
12×	`associate-r_binary64_16045`
11×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141` `add-cube-cbrt_binary64_16140` `*-un-lft-identity_binary64_16105`
10×	`associate-*r/_binary64_16047`
9×	`flip3-+_binary64_16108` `flip-+_binary64_16079`
4×	`add-log-exp_binary64_16144` `pow-prod-down_binary64_16176` `prod-exp_binary64_16154` `cbrt-unprod_binary64_16138` `frac-times_binary64_16115` `associate-l_binary64_16046`
2×	`pow1/2_binary64_16185` `sqrt-pow1_binary64_16123` `rem-sqrt-square_binary64_16118` `associate-l/_binary64_16048` `-commutative_binary64_16036` `unswap-sqr_binary64_16073`

Counts

4 → 83

Calls

4 calls:

14.0ms	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
6.0ms	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

Compiler

Compiled 2138 to 1212 computations (43.3% saved)

series454.0ms (4.3%)

Error

7.6b

Counts

4 → 45

Calls

4 calls:

161.0ms	(.f64 x (sqrt.f64 (+.f64 1 (.f64 y y))))
118.0ms	(.f64 (.f64 x (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (+.f64 1 (.f64 y y))))
70.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
62.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

Compiler

Compiled 1653 to 1248 computations (24.5% saved)

simplify99.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (74.0ms)

Iter	Nodes	Cost
0	5230	1823

prune146.0ms (1.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	127	1	128
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	127	7	134

Error

7.6b

Counts

134 → 7

Compiler

Compiled 2405 to 1423 computations (40.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 y y)))))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))

rewrite290.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

7.6b

Rules

79×	`sqrt-prod_binary64_16121`
60×	`add-sqr-sqrt_binary64_16127`
35×	`sqrt-pow1_binary64_16123`
30×	`pow1_binary64_16166` `sqrt-div_binary64_16122`
19×	`pow1/2_binary64_16185` `add-cube-cbrt_binary64_16140` `*-un-lft-identity_binary64_16105`
15×	`swap-sqr_binary64_16072`
11×	`rem-sqrt-square_binary64_16118`
9×	`flip3-+_binary64_16108` `flip-+_binary64_16079` `pow-prod-up_binary64_16175` `unswap-sqr_binary64_16073` `associate-l_binary64_16046` `associate-r_binary64_16045`
6×	`add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141`
5×	`pow-prod-down_binary64_16176` `pow-sqr_binary64_16078`
4×	`add-log-exp_binary64_16144` `sqr-abs_binary64_16120` `frac-times_binary64_16115`
2×	`associate-l/_binary64_16048` `associate-r/_binary64_16047`
1×	`pow2_binary64_16186` `pow-plus_binary64_16168` `prod-exp_binary64_16154` `cbrt-unprod_binary64_16138` `sqrt-unprod_binary64_16125` `rem-square-sqrt_binary64_16117` `*-commutative_binary64_16036`

Counts

4 → 132

Calls

4 calls:

15.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 y y)))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

Compiler

Compiled 4504 to 2774 computations (38.4% saved)

series327.0ms (3.1%)

Error

7.6b

Counts

4 → 44

Calls

4 calls:

73.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
68.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
61.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
61.0ms	(.f64 (sqrt.f64 (sqrt.f64 (+.f64 1 (.f64 y y)))) (sqrt.f64 (sqrt.f64 (+.f64 1 (*.f64 y y)))))

Compiler

Compiled 2437 to 1816 computations (25.5% saved)

simplify114.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4864	2236
1	4864	2236

prune276.0ms (2.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	2	2	4
Picked	0	1	1
Done	0	2	2
Total	177	6	183

Error

7.6b

Counts

183 → 6

Compiler

Compiled 4463 to 2750 computations (38.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))
7.3b	(sqrt.f64 (+.f64 1 (*.f64 y y)))

rewrite175.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

7.6b

Rules

12×	`add-sqr-sqrt_binary64_16127` `sqrt-prod_binary64_16121`
8×	`pow1_binary64_16166` `add-cube-cbrt_binary64_16140` `sqrt-div_binary64_16122` `*-un-lft-identity_binary64_16105`
4×	`pow1/2_binary64_16185` `add-log-exp_binary64_16144` `add-exp-log_binary64_16143` `add-cbrt-cube_binary64_16141` `sqrt-pow1_binary64_16123` `flip3-+_binary64_16108` `flip-+_binary64_16079` `rem-sqrt-square_binary64_16118`

Counts

4 → 60

Calls

4 calls:

3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

Compiler

Compiled 2992 to 1872 computations (37.4% saved)

series428.0ms (4%)

Error

7.6b

Counts

4 → 44

Calls

4 calls:

85.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
80.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
80.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))
77.0ms	(sqrt.f64 (+.f64 1 (*.f64 y y)))

Compiler

Compiled 4300 to 3057 computations (28.9% saved)

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4904	1284
1	4904	1284

prune272.0ms (2.6%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	104	0	104
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	104	6	110

Error

7.6b

Counts

110 → 6

Compiler

Compiled 4784 to 3064 computations (36% saved)

regimes300.0ms (2.8%)

Accuracy

Total 0.2b remaining (3.9%)

Threshold costs 0.2b (3.9%)

Compiler

Compiled 2997 to 2147 computations (28.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	23
1	13	23

end0.0ms (0%)

sample6.7s (63.3%)

Algorithm

1×

intervals

Results

171.0ms	8000×	body	128	valid
64.0ms	2609×	body	128	invalid

Compiler

Compiled 85475 to 95914 computations (-12.2% saved)

Details

analyze217.0ms (2%)

sample215.0ms (2%)

simplify10.0ms (0.1%)

prune3.0ms (0%)

localize5.0ms (0.1%)

rewrite42.0ms (0.4%)

series164.0ms (1.5%)

simplify69.0ms (0.6%)

prune42.0ms (0.4%)

localize8.0ms (0.1%)

rewrite144.0ms (1.4%)

series454.0ms (4.3%)

simplify99.0ms (0.9%)

prune146.0ms (1.4%)

localize10.0ms (0.1%)

rewrite290.0ms (2.7%)

series327.0ms (3.1%)

simplify114.0ms (1.1%)

prune276.0ms (2.6%)

localize19.0ms (0.2%)

rewrite175.0ms (1.6%)

series428.0ms (4%)

simplify73.0ms (0.7%)

prune272.0ms (2.6%)

regimes300.0ms (2.8%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample6.7s (63.3%)

Profiling