Details

analyze494.0ms

Algorithm

search

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
0%	99.9%	0.1%	5
18.7%	81.1%	0.1%	6
26.5%	67.1%	6.4%	7
35.1%	58.5%	6.4%	8
41.3%	49.9%	8.7%	9
46.4%	40.2%	13.4%	10
50.8%	34.2%	15%	11
55.2%	26.7%	18.1%	12
57.4%	22%	20.6%	13
59.8%	17.9%	22.3%	14

sample31.0ms

Algorithm

intervals

Results

20.0ms	256×	body	128	valid
1.0ms	13×	body	128	nan
1.0ms	10×	body	128	invalid

simplify1.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	22	58

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Merged error: 18.2b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
1.9b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
19.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
19.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

4 → 0

Calls

4 calls:

0.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
0.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
0.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series0.0ms

Profiling

Loading profile data...