Details

analyze654.0ms (5.9%)

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.5s (22.8%)

Results

813.0ms	5377×	body	128	valid
628.0ms	1172×	body	2048	valid
419.0ms	735×	body	1024	valid
258.0ms	408×	body	4096	valid
145.0ms	1128×	body	128	invalid
125.0ms	367×	body	512	valid
46.0ms	197×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify257.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

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

33.1b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.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 (.f64 4 a) c)))) (.f64 2 a))
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	1.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	22.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series310.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

167.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
86.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite121.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

278×	`expm1-udef_binary64`
278×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
162×	`log1p-expm1-u_binary64`
162×	`expm1-log1p-u_binary64`

Counts

4 → 156

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	337	62
2	4158	62
3	4987	62
4	4850	62
0	0	0
1	0	0

simplify79.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

252 → 229

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune477.0ms (4.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	219	10	229
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	220	11	231

Error

4.4b

Counts

231 → 11

Alt Table

Status	Error	Program
	45.6b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))) -1)
	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) 2)) (*.f64 2 a))
	50.0b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	45.8b	(pow.f64 (cbrt.f64 (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))))) (/.f64 1/2 a))) 3)
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(/.f64 (neg.f64 b) a)
	56.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	40.7b	(neg.f64 (/.f64 c b))
▶	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))) (*.f64 2 a))
	45.6b	(.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (/.f64 1/2 a)))

Compiler

Compiled 6129 to 3612 computations (41.1% saved)

localize37.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))))
✓	1.5b	(fma.f64 b b (.f64 -4 (.f64 a c)))
✓	22.0b	(sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))
✓	51.3b	(fma.f64 (.f64 a -4) c (.f64 (*.f64 4 a) c))

series140.0ms (1.3%)

Counts

4 → 100

Calls

4 calls:

57.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c))))))
45.0ms	(sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))
25.0ms	(fma.f64 b b (.f64 -4 (.f64 a c)))
13.0ms	(fma.f64 (.f64 a -4) c (.f64 (*.f64 4 a) c))

rewrite88.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

285×	`expm1-udef_binary64`
285×	`log1p-udef_binary64`
193×	`add-sqr-sqrt_binary64`
186×	`log1p-expm1-u_binary64`
186×	`expm1-log1p-u_binary64`

Counts

4 → 106

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	94
1	393	57
2	4250	57
3	4842	57
0	0	0
1	0	0

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

458×	`times-frac_binary64`
447×	`unswap-sqr_binary64`
283×	`associate-r_binary64`
278×	`associate-/l*_binary64`
270×	`fma-def_binary64`

Counts

206 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	85	1653
1	270	1579
2	844	1517
3	4217	1517
4	5046	1517

prune215.0ms (1.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	181	0	181
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	181	11	192

Error

4.4b

Counts

192 → 11

Alt Table

Status	Error	Program
	45.6b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))) -1)
▶	33.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) 2)) (*.f64 2 a))
	50.0b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	45.8b	(pow.f64 (cbrt.f64 (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))))) (/.f64 1/2 a))) 3)
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(/.f64 (neg.f64 b) a)
	56.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	40.7b	(neg.f64 (/.f64 c b))
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))) (*.f64 2 a))
	45.6b	(.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (/.f64 1/2 a)))

Compiler

Compiled 6373 to 4075 computations (36.1% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	1.2b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
✓	22.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series194.0ms (1.7%)

Counts

4 → 96

Calls

4 calls:

83.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
56.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
45.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
10.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite102.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
244×	`log1p-udef_binary64`
165×	`egg-rr`
138×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`

Counts

4 → 165

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	279	62
2	3385	62
3	5102	62
0	0	0
1	0	0

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

261 → 238

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune267.0ms (2.4%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	231	7	238
Fresh	3	6	9
Picked	1	0	1
Done	0	1	1
Total	235	14	249

Error

4.4b

Counts

249 → 14

Alt Table

Status	Error	Program
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) 1/4) 2)) (*.f64 2 a))
	33.6b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	56.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	33.1b	(/.f64 1 (/.f64 a (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2)))
	50.0b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	33.4b	(.f64 (-.f64 (pow.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) 2) b) (/.f64 1/2 a))
	45.6b	(.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (/.f64 1/2 a)))
	33.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
▶	33.1b	(/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) a)
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(/.f64 (neg.f64 b) a)
	40.7b	(neg.f64 (/.f64 c b))
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))) (*.f64 2 a))
	36.0b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))

Compiler

Compiled 6663 to 3906 computations (41.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.1b	(/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) a)
	1.2b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
	22.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series194.0ms (1.8%)

Counts

1 → 20

Calls

1 calls:

194.0ms

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

rewrite64.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

790×	`prod-diff_binary64`
245×	`log1p-udef_binary64`
138×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`
132×	`expm1-log1p-u_binary64`

Counts

1 → 44

Calls

1 calls:

62.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	22
1	278	22
2	3454	22
3	5221	22
0	0	0
1	0	0

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

794×	`fma-neg_binary64`
351×	`unswap-sqr_binary64`
333×	`distribute-neg-frac_binary64`
328×	`times-frac_binary64`
221×	`associate-r_binary64`

Counts

64 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	64	612
1	210	609
2	666	585
3	3266	585
4	4979	585
5	5005	585

prune233.0ms (2.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	238	2	240
Fresh	2	10	12
Picked	1	0	1
Done	0	1	1
Total	241	13	254

Error

4.4b

Counts

254 → 13

Alt Table

Status	Error	Program
	33.6b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	56.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	33.1b	(/.f64 1 (/.f64 a (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2)))
	50.0b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	33.4b	(.f64 (-.f64 (pow.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) 2) b) (/.f64 1/2 a))
	33.4b	(/.f64 (.f64 (-.f64 (pow.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) 2) b) 1/2) a)
	40.7b	(neg.f64 (/.f64 c b))
	36.0b	(/.f64 (.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) 1/2) a)
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (+.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (+.f64 (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)) (fma.f64 (.f64 a -4) c (.f64 (.f64 4 a) c)))))) (*.f64 2 a))
	45.6b	(.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (/.f64 1/2 a)))
	33.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 6333 to 3736 computations (41% saved)

regimes4.6s (41.3%)

Accuracy

Total 4.3b remaining (43.2%)

Threshold costs 0b (0%)

Counts

283 → 3

Compiler

Compiled 29504 to 19818 computations (32.8% saved)

bsearch91.0ms (0.8%)

Steps

Iters	Range		Point
10	1.901565658296121e-67	1.68094319869498e-53	2.7919095286000728e-58
6	-4.337663542347003e+121	-2.705837089243012e+119	-3.996635431194612e+121

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
6×	`*-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	25	50
1	39	50
2	49	50
3	55	50
4	57	50
5	57	50

end184.0ms (1.7%)

Compiler: Compiled 346 to 225 computations (35% saved)

Details

analyze654.0ms (5.9%)

sample2.5s (22.8%)

simplify257.0ms (2.3%)

prune4.0ms (0%)

localize10.0ms (0.1%)

series310.0ms (2.8%)

rewrite121.0ms (1.1%)

simplify79.0ms (0.7%)

prune477.0ms (4.3%)

localize37.0ms (0.3%)

series140.0ms (1.3%)

rewrite88.0ms (0.8%)

simplify72.0ms (0.7%)

prune215.0ms (1.9%)

localize11.0ms (0.1%)

series194.0ms (1.7%)

rewrite102.0ms (0.9%)

simplify96.0ms (0.9%)

prune267.0ms (2.4%)

localize10.0ms (0.1%)

series194.0ms (1.8%)

rewrite64.0ms (0.6%)

simplify61.0ms (0.5%)

prune233.0ms (2.1%)

regimes4.6s (41.3%)

bsearch91.0ms (0.8%)

simplify3.0ms (0%)

end184.0ms (1.7%)

Profiling