Details

analyze666.0ms (5.5%)

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
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.3s (19.3%)

Results

737.0ms	5372×	body	128	valid
655.0ms	1201×	body	2048	valid
327.0ms	740×	body	1024	valid
243.0ms	375×	body	4096	valid
140.0ms	1077×	body	128	invalid
125.0ms	373×	body	512	valid
46.0ms	195×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify30.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

747×	`fma-neg_binary64`
619×	`times-frac_binary64`
338×	`fma-def_binary64`
314×	`associate-/l*_binary64`
262×	`div-sub_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	34	22
2	69	22
3	161	22
4	259	22
5	417	22
6	734	22
7	1326	22
8	2618	22
9	3877	22

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

35.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	35.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
	35.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))

Compiler

Compiled 111 to 75 computations (32.4% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
✓	0.3b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
✓	0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
✓	24.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

series123.0ms (1%)

Counts

4 → 96

Calls

4 calls:

54.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
32.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
26.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
11.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

rewrite71.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

277×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
162×	`log1p-expm1-u_binary64`
162×	`expm1-log1p-u_binary64`
161×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	343	62
2	4859	62

Stop Event

1×	node limit

Counts

4 → 158

Calls

4 calls:

67.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
67.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
67.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
67.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-def_binary64`
422×	`associate-/r*_binary64`
142×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	402	2164
2	1403	2078

Stop Event

1×	node limit

Counts

254 → 232

prune187.0ms (1.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	225	7	232
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	226	8	234

Error

4.6b

Counts

234 → 8

Alt Table

Status	Error	Program
	44.4b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	45.4b	(-.f64 (/.f64 c b) (/.f64 b a))
	45.2b	(/.f64 (neg.f64 b) a)
	38.5b	(/.f64 (neg.f64 c) b)
	55.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	47.0b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) 2) 2) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) a))
	46.9b	(.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) a) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) 2))
▶	35.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))

Compiler

Compiled 6096 to 3532 computations (42.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) b)
✓	0.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
✓	0.5b	(fma.f64 b b (.f64 a (.f64 c -4)))
✓	24.4b	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4))))

series120.0ms (1%)

Counts

4 → 96

Calls

4 calls:

50.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
33.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) b)
27.0ms	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4))))
9.0ms	(fma.f64 b b (.f64 a (.f64 c -4)))

rewrite71.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`prod-diff_binary64`
158×	`egg-rr`
139×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`
132×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	281	59
2	3626	59

Stop Event

1×	node limit

Counts

4 → 158

Calls

4 calls:

67.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) b)
67.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
67.0ms	(fma.f64 b b (.f64 a (.f64 c -4)))
67.0ms	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4))))

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
466×	`associate-/l*_binary64`
432×	`fma-def_binary64`
423×	`associate-/r*_binary64`
142×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	402	2164
2	1403	2078

Stop Event

1×	node limit

Counts

254 → 232

prune171.0ms (1.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	228	4	232
Fresh	2	5	7
Picked	0	1	1
Done	0	0	0
Total	230	10	240

Error

4.6b

Counts

240 → 10

Alt Table

Status	Error	Program
▶	37.1b	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))) (/.f64 1/2 a))
	50.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 a (.f64 c -4))) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 2) (+.f64 (fma.f64 b b (.f64 a (.f64 c -4))) (.f64 b (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))))
✓	35.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
	45.3b	(.f64 (.f64 -2 b) (/.f64 1/2 a))
	44.4b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	45.4b	(-.f64 (/.f64 c b) (/.f64 b a))
	55.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	38.5b	(/.f64 (neg.f64 c) b)
	47.0b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) 2) 2) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) a))
	46.9b	(.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) a) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) 2))

Compiler

Compiled 5976 to 3711 computations (37.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))) (/.f64 1/2 a))
✓	0.2b	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)
✓	2.4b	(exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)))
✓	11.8b	(sqrt.f64 (.f64 a (.f64 c -4)))

series320.0ms (2.6%)

Counts

4 → 36

Calls

4 calls:

133.0ms	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))) (/.f64 1/2 a))
87.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)))
85.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)
15.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))

rewrite75.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

575×	`prod-diff_binary64`
174×	`egg-rr`
148×	`add-sqr-sqrt_binary64`
141×	`log1p-expm1-u_binary64`
141×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	60
1	306	60
2	3826	60

Stop Event

1×	node limit

Counts

4 → 174

Calls

4 calls:

71.0ms	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))) b))) (/.f64 1/2 a))
71.0ms	(-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)
71.0ms	(exp.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 a (.f64 c -4)))) b)))
71.0ms	(sqrt.f64 (.f64 a (.f64 c -4)))

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

728×	`times-frac_binary64`
385×	`associate-/l*_binary64`
360×	`associate-/r*_binary64`
271×	`associate-r_binary64`
249×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	102	1433
1	323	1314
2	1054	1236

Stop Event

1×	node limit

Counts

210 → 169

prune145.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	167	2	169
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	169	10	179

Error

2.7b

Counts

179 → 10

Alt Table

Status	Error	Program
▶	38.2b	(.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2)) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b)))) (/.f64 1/2 a))
	47.8b	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 (*.f64 c -4)) (sqrt.f64 a))) b))) (/.f64 1/2 a))
	44.4b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	45.4b	(-.f64 (/.f64 c b) (/.f64 b a))
	55.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	38.5b	(/.f64 (neg.f64 c) b)
	50.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 a (.f64 c -4))) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 2) (+.f64 (fma.f64 b b (.f64 a (.f64 c -4))) (.f64 b (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))))
	47.0b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) 2) 2) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) a))
	46.9b	(.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) a) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) 2))
✓	35.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))

Compiler

Compiled 4707 to 3031 computations (35.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b)))
✓	1.3b	(exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2))
✓	2.5b	(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2)) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))))
✓	11.8b	(sqrt.f64 (.f64 c (.f64 -4 a)))

series3.3s (27.1%)

Counts

4 → 36

Calls

4 calls:

1.8s	(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2)) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))))
977.0ms	(exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2))
484.0ms	(cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b)))
13.0ms	(sqrt.f64 (.f64 c (.f64 -4 a)))

rewrite63.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

587×	`prod-diff_binary64`
151×	`add-sqr-sqrt_binary64`
144×	`log1p-expm1-u_binary64`
144×	`expm1-log1p-u_binary64`
143×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	336	67
2	3767	67

Stop Event

1×	node limit

Counts

4 → 120

Calls

4 calls:

61.0ms	(cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b)))
61.0ms	(exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2))
61.0ms	(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))) 2)) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (.f64 -4 a)))) b))))
61.0ms	(sqrt.f64 (.f64 c (.f64 -4 a)))

simplify88.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

515×	`times-frac_binary64`
440×	`fma-def_binary64`
380×	`associate-/l*_binary64`
336×	`associate-/r*_binary64`
315×	`associate-*r/_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	465	8124
1	1692	6795

Stop Event

1×	node limit

Counts

156 → 190

prune402.0ms (3.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	263	1	264
Fresh	0	8	8
Picked	1	0	1
Done	0	1	1
Total	264	10	274

Error

2.7b

Counts

274 → 10

Alt Table

Status	Error	Program
	46.9b	(.f64 (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) a) (/.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) 2))
	52.0b	(.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 (.f64 -4 a)) (sqrt.f64 c))) b))) 2)) (cbrt.f64 (log.f64 (-.f64 (hypot.f64 b (sqrt.f64 (.f64 c (*.f64 -4 a)))) b)))) (/.f64 1/2 a))
	44.4b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	47.8b	(.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 b (.f64 (sqrt.f64 (*.f64 c -4)) (sqrt.f64 a))) b))) (/.f64 1/2 a))
	45.4b	(-.f64 (/.f64 c b) (/.f64 b a))
	55.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	38.5b	(/.f64 (neg.f64 c) b)
	50.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 b b (.f64 a (.f64 c -4))) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 2) (+.f64 (fma.f64 b b (.f64 a (.f64 c -4))) (.f64 b (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 a (*.f64 c -4)))))))))
	47.0b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) 2) 2) (/.f64 (cbrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) a))
✓	35.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))

Compiler

Compiled 19136 to 14514 computations (24.2% saved)

regimes3.6s (29.4%)

Accuracy

Total 8.1b remaining (72.9%)

Threshold costs 0b (0%)

Counts

220 → 3

Compiler

Compiled 20344 to 14194 computations (30.2% saved)

bsearch58.0ms (0.5%)

Steps

Iters	Range		Point
7	3.8806250349188764e-196	8.597166853144995e-195	8.478314556974444e-195
6	-2.996560351873491e+130	-4.000158892863278e+129	-1.4230140549006078e+130

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	51
1	35	51
2	44	51
3	51	51
4	55	51
5	56	51

Stop Event

1×

saturated

end161.0ms (1.3%)

Compiler: Compiled 317 to 208 computations (34.4% saved)

Details

analyze666.0ms (5.5%)

sample2.3s (19.3%)

simplify30.0ms (0.3%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series123.0ms (1%)

rewrite71.0ms (0.6%)

simplify48.0ms (0.4%)

prune187.0ms (1.5%)

localize11.0ms (0.1%)

series120.0ms (1%)

rewrite71.0ms (0.6%)

simplify48.0ms (0.4%)

prune171.0ms (1.4%)

localize11.0ms (0.1%)

series320.0ms (2.6%)

rewrite75.0ms (0.6%)

simplify35.0ms (0.3%)

prune145.0ms (1.2%)

localize15.0ms (0.1%)

series3.3s (27.1%)

rewrite63.0ms (0.5%)

simplify88.0ms (0.7%)

prune402.0ms (3.3%)

regimes3.6s (29.4%)

bsearch58.0ms (0.5%)

simplify3.0ms (0%)

end161.0ms (1.3%)

Profiling