Details

analyze51.0ms (10.1%)

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
37.5%	62.4%	0.1%	5
62.4%	37.5%	0.1%	6
71.8%	28.1%	0.1%	7
76.5%	21.9%	1.7%	8
80.4%	16.4%	3.2%	9
82.3%	11.7%	6%	10
84.1%	8.8%	7.1%	11
85%	6%	9%	12
85.8%	4.5%	9.7%	13
86.2%	3.1%	10.7%	14

sample11.0ms (2.3%)

Algorithm

1×

intervals

Results

4.0ms	256×	body	80	valid
0.0ms	4×	body	80	invalid

simplify22.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (19.0ms)

Iter	Nodes	Cost
0	345	5
1	345	5

prune5.0ms (1%)

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

localize4.0ms (0.8%)

Local error

Found 1 expressions with local error:

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

rewrite8.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
15×	`times-frac_binary64`
11×	`add-cube-cbrt_binary64`
5×	`associate-/l*_binary64`
4×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
3×	`associate-/r*_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
2×	`associate-/l/_binary64`
1×	`add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `cbrt-undiv_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64` `flip--_binary64`

Counts

1 → 38

Calls

1 calls:

6.0ms

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

series6.0ms (1.3%)

Counts

1 → 3

Calls

1 calls:

6.0ms

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

simplify70.0ms (14%)

Algorithm

1×	egg-herbie

Counts

41 → 41

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4928	359
1	4928	359

prune40.0ms (8%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	40	1	41
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	41	1	42

Merged error: 0b

Counts

42 → 1

localize3.0ms (0.7%)

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 (3.0ms)

Iter	Nodes	Cost
0	0	0

prune3.0ms (0.5%)

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	22	5
1	22	5

end0.0ms (0%)

sample271.0ms (54.1%)

Algorithm

1×

intervals

Results

145.0ms	8000×	body	80	valid
3.0ms	175×	body	80	invalid

Details

analyze51.0ms (10.1%)

sample11.0ms (2.3%)

simplify22.0ms (4.4%)

prune5.0ms (1%)

localize4.0ms (0.8%)

rewrite8.0ms (1.5%)

series6.0ms (1.3%)

simplify70.0ms (14%)

prune40.0ms (8%)

localize3.0ms (0.7%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify5.0ms (1%)

prune3.0ms (0.5%)

simplify2.0ms (0.4%)

end0.0ms (0%)

sample271.0ms (54.1%)

Profiling