Details

analyze4.0ms (0.8%)

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

6.0ms

256×

body

valid

simplify14.0ms (3.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (13.0ms)

Iter	Nodes	Cost
0	356	7
1	356	7

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 (1%)

Local error

Found 1 expressions with local error:

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

rewrite8.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity` `add-log-exp`
1×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `associate-+r-` `flip3-+` `div-sub` `sum-log` `add-cbrt-cube` `flip-+` `distribute-lft-out`

Counts

1 → 13

Calls

1 calls:

8.0ms

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

series5.0ms (1.1%)

Counts

1 → 3

Calls

1 calls:

5.0ms

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

simplify39.0ms (8.6%)

Algorithm

1×	egg-herbie

Counts

16 → 16

Iterations

Useful iterations: 0 (37.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.7%)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify2.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

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

simplify1.0ms (0.2%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	5
1	7	5

end0.0ms (0%)

sample329.0ms (72.3%)

Algorithm

1×

intervals

Results

194.0ms

8000×

body

valid

Details

analyze4.0ms (0.8%)

sample12.0ms (2.6%)

simplify14.0ms (3.1%)

prune5.0ms (1%)

localize4.0ms (1%)

rewrite8.0ms (1.8%)

series5.0ms (1.1%)

simplify39.0ms (8.6%)

prune25.0ms (5.6%)

localize3.0ms (0.7%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify2.0ms (0.5%)

prune2.0ms (0.5%)

simplify1.0ms (0.2%)

end0.0ms (0%)

sample329.0ms (72.3%)

Profiling