Details

analyze10.0ms (2.2%)

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
50%	50%	0.1%	3
74.9%	25%	0.1%	4
87.4%	12.5%	0.1%	5
93.7%	6.2%	0.1%	6
96.8%	3.1%	0.1%	7
98.3%	1.6%	0.1%	8
99.1%	0.8%	0.1%	9
99.5%	0.4%	0.1%	10
99.7%	0.2%	0.1%	11
99.8%	0.1%	0.1%	12
99.9%	0%	0.1%	13
99.9%	0%	0.1%	14

sample12.0ms (2.6%)

Algorithm

1×

intervals

Results

5.0ms

256×

body

valid

simplify20.0ms (4.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (18.0ms)

Iter	Nodes	Cost
0	356	7
1	356	7

prune5.0ms (1.2%)

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

Counts

2 → 1

localize5.0ms (1.1%)

Local error

Found 1 expressions with local error:

0.0b	(+.f64 x (/.f64 (-.f64 y x) 2.0))

rewrite10.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64` `add-log-exp_binary64`
1×	`flip3-+_binary64` `pow1_binary64` `associate-+r-_binary64` `distribute-lft-out_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `div-sub_binary64` `add-sqr-sqrt_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

1 → 13

Calls

1 calls:

9.0ms

(+.f64 x (/.f64 (-.f64 y x) 2.0))

series6.0ms (1.4%)

Counts

1 → 3

Calls

1 calls:

6.0ms

(+.f64 x (/.f64 (-.f64 y x) 2.0))

simplify49.0ms (10.9%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5329	151

prune25.0ms (5.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	15	1	16
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	16	1	17

Merged error: 0b

Counts

17 → 1

localize3.0ms (0.8%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify5.0ms (1%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	0	0

prune2.0ms (0.6%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Merged error: 0b

Counts

1 → 1

simplify2.0ms (0.4%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	5
1	7	5

end0.0ms (0%)

sample295.0ms (65.6%)

Algorithm

1×

intervals

Results

176.0ms

8000×

body

valid

Details

analyze10.0ms (2.2%)

sample12.0ms (2.6%)

simplify20.0ms (4.5%)

prune5.0ms (1.2%)

localize5.0ms (1.1%)

rewrite10.0ms (2.2%)

series6.0ms (1.4%)

simplify49.0ms (10.9%)

prune25.0ms (5.6%)

localize3.0ms (0.8%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify5.0ms (1%)

prune2.0ms (0.6%)

simplify2.0ms (0.4%)

end0.0ms (0%)

sample295.0ms (65.6%)

Profiling