Details

analyze69.0ms (6.9%)

Algorithm

1×

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
25%	74.9%	0.1%	4
25%	74.9%	0.1%	5
43.7%	50%	6.3%	6
43.7%	43.7%	12.6%	7
59.3%	26.5%	14.1%	8
59.3%	22.6%	18%	9
67.1%	13.7%	19.2%	10
67.1%	11.5%	21.4%	11
71%	6.9%	22%	12
71%	5.8%	23.2%	13
73%	3.5%	23.5%	14

sample14.0ms (1.4%)

Algorithm

1×

intervals

Results

6.0ms	256×	body	80	valid
0.0ms	7×	body	80	nan

simplify5.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	6	6
1	6	6

prune5.0ms (0.5%)

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

Merged error: 18.1b

Counts

2 → 1

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

16.9b

(sqrt.f64 (+.f64 (*.f64 x x) y))

rewrite5.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-sqr-sqrt_binary64` `sqrt-prod_binary64`
2×	`*-un-lft-identity_binary64` `pow1_binary64` `add-cube-cbrt_binary64` `sqrt-div_binary64`
1×	`flip3-+_binary64` `add-log-exp_binary64` `pow1/2_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `flip-+_binary64`

Counts

1 → 15

Calls

1 calls:

4.0ms

(sqrt.f64 (+.f64 (*.f64 x x) y))

series8.0ms (0.8%)

Counts

1 → 3

Calls

1 calls:

8.0ms

(sqrt.f64 (+.f64 (*.f64 x x) y))

simplify59.0ms (6%)

Algorithm

1×	egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	4926	159
1	4926	159

prune27.0ms (2.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	3	19

Merged error: 0b

Counts

19 → 3

localize4.0ms (0.4%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify5.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0.3%)

Pruning

3 alts after pruning (1 fresh and 2 done)

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

Merged error: 0b

Counts

3 → 3

localize4.0ms (0.4%)

Local error

Found 1 expressions with local error:

0.2b	(*.f64 y (/.f64 -1/2 x))

rewrite9.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
10×	`times-frac_binary64`
9×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
3×	`pow1_binary64` `associate-l_binary64`
2×	`cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64`
1×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64` `associate-r/_binary64` `div-inv_binary64` `div-exp_binary64` `-commutative_binary64`

Counts

1 → 32

Calls

1 calls:

8.0ms

(*.f64 y (/.f64 -1/2 x))

series4.0ms (0.4%)

Counts

1 → 3

Calls

1 calls:

4.0ms

(*.f64 y (/.f64 -1/2 x))

simplify75.0ms (7.5%)

Algorithm

1×	egg-herbie

Counts

35 → 35

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5360	230

prune46.0ms (4.6%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	35	0	35
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	35	3	38

Merged error: 0b

Counts

38 → 3

regimes250.0ms (25.1%)

Accuracy

Total 0.1b remaining (95.9%)

Threshold costs 0.1b (95.9%)

bsearch22.0ms (2.3%)

Steps

Iters	Range		Point
7	2.0970142066192961e+120	8.434567372517486e+121	8.087597119462898e+121
7	-1.7632131433492004e+154	-6.734698669160346e+152	-1.34405599459445e+154

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	28
1	33	28

end0.0ms (0%)

sample375.0ms (37.7%)

Algorithm

1×

intervals

Results

228.0ms	8000×	body	80	valid
5.0ms	189×	body	80	nan

Details

analyze69.0ms (6.9%)

sample14.0ms (1.4%)

simplify5.0ms (0.5%)

prune5.0ms (0.5%)

localize4.0ms (0.4%)

rewrite5.0ms (0.5%)

series8.0ms (0.8%)

simplify59.0ms (6%)

prune27.0ms (2.7%)

localize4.0ms (0.4%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify5.0ms (0.5%)

prune3.0ms (0.3%)

localize4.0ms (0.4%)

rewrite9.0ms (0.9%)

series4.0ms (0.4%)

simplify75.0ms (7.5%)

prune46.0ms (4.6%)

regimes250.0ms (25.1%)

bsearch22.0ms (2.3%)

simplify3.0ms (0.3%)

end0.0ms (0%)

sample375.0ms (37.7%)

Profiling