Details

analyze614.0ms (4.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)

sample3.0s (24.1%)

Results

986.0ms	1157×	body	2048	valid
883.0ms	5388×	body	128	valid
377.0ms	759×	body	1024	valid
304.0ms	431×	body	4096	valid
205.0ms	1019×	body	128	invalid
111.0ms	358×	body	512	valid
35.0ms	163×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

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

32.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	32.7b	(/.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)

localize12.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))
✓	0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	20.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series182.0ms (1.5%)

Counts

4 → 96

Calls

4 calls:

80.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
50.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
40.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite381.0ms (3%)

Algorithm

4×	egg-rewrite

Rules

240×	`egg`
64×	`egg`
57×	`egg`
27×	`egg`

Counts

4 → 388

Calls

4 calls:

113.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
107.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
94.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
57.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	218	13
2	2628	13
3	5072	13
0	12	20
1	271	16
2	3247	16
3	4973	16
4	4934	16
0	9	13
1	199	11
2	2435	11
3	4991	11
4	4972	11
0	15	26
1	337	22
2	4158	22
3	4987	22
4	4850	22

simplify99.0ms (0.8%)

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

484 → 457

Iterations

Useful iterations: 2 (0.0ms)

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

prune729.0ms (5.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	449	8	457
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	451	8	459

Error

4.2b

Counts

459 → 8

Alt Table

Status	Error	Program
	35.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (*.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
▶	32.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (.f64 b b)))) (.f64 2 a))
	33.8b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))) (*.f64 2 a))
	48.6b	(/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (.f64 (.f64 a 2) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	46.6b	(/.f64 (.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (/.f64 1/2 a)) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
	44.3b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 14410 to 8216 computations (43% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2)
✓	0.4b	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b))))
✓	14.1b	(cbrt.f64 (.f64 (.f64 4 a) c))
✓	20.9b	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b)))

series2.6s (20.6%)

Counts

4 → 120

Calls

4 calls:

913.0ms	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b)))
877.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b))))
412.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2)
379.0ms	(cbrt.f64 (.f64 (.f64 4 a) c))

rewrite282.0ms (2.3%)

Algorithm

4×	egg-rewrite

Rules

148×	`egg`
30×	`egg`
29×	`egg`
25×	`egg`

Counts

4 → 232

Calls

4 calls:

102.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b))))
75.0ms	(cbrt.f64 (.f64 (.f64 4 a) c))
56.0ms	(sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (*.f64 b b)))
45.0ms	(pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	31
1	281	15
2	2690	12
3	4908	12
0	7	9
1	140	9
2	1559	9
3	4992	9
4	4953	9
0	16	36
1	333	18
2	3294	15
3	4967	15
4	4956	15
0	9	12
1	180	10
2	1819	10
3	5296	10

simplify78.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

444×	`times-frac_binary64`
421×	`associate-r_binary64`
350×	`associate-l_binary64`
315×	`fma-def_binary64`
278×	`associate-/l*_binary64`

Counts

352 → 306

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	153	3173
1	446	3083
2	1139	2813
3	5033	2813

prune218.0ms (1.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	338	1	339
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	338	9	347

Error

4.2b

Counts

347 → 9

Alt Table

Status	Error	Program
	35.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (*.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
✓	32.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (.f64 b b)))) (.f64 2 a))
▶	33.8b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))) (*.f64 2 a))
	48.6b	(/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (.f64 (.f64 a 2) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	63.4b	(/.f64 (fma.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (fma.f64 (neg.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (cbrt.f64 (fma.f64 b b (.f64 (.f64 4 a) c))) (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	46.6b	(/.f64 (.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (/.f64 1/2 a)) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
	44.3b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 9727 to 6261 computations (35.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 b) 2)
✓	0.5b	(cbrt.f64 b)
✓	20.9b	(sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))
✓	22.5b	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b))))

series180.0ms (1.4%)

Counts

4 → 64

Calls

4 calls:

68.0ms	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b))))
42.0ms	(sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))
40.0ms	(pow.f64 (cbrt.f64 b) 2)
29.0ms	(cbrt.f64 b)

rewrite306.0ms (2.4%)

Algorithm

4×	egg-rewrite

Rules

50×	`egg`
43×	`egg`
33×	`egg`
23×	`egg`

Counts

4 → 149

Calls

4 calls:

113.0ms	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b))))
74.0ms	(cbrt.f64 b)
71.0ms	(pow.f64 (cbrt.f64 b) 2)
45.0ms	(sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	26
1	281	16
2	2670	15
3	4978	15
4	4955	15
5	4897	15
0	9	13
1	178	13
2	1915	13
3	5031	13
0	3	3
1	56	3
2	621	3
3	4737	3
4	5240	3
0	5	6
1	99	4
2	936	4
3	4427	4
4	5288	4

simplify74.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

515×	`unswap-sqr_binary64`
450×	`times-frac_binary64`
304×	`associate-r_binary64`
282×	`associate-/l*_binary64`
271×	`fma-def_binary64`

Counts

213 → 199

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	1290
1	291	1273
2	920	1221
3	4381	1221
4	5299	1221

prune163.0ms (1.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	235	9	244

Error

4.2b

Counts

244 → 9

Alt Table

Status	Error	Program
▶	35.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (*.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
✓	32.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (.f64 b b)))) (.f64 2 a))
✓	33.8b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))) (*.f64 2 a))
	48.6b	(/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (.f64 (.f64 a 2) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	63.4b	(/.f64 (fma.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (fma.f64 (neg.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (cbrt.f64 (fma.f64 b b (.f64 (.f64 4 a) c))) (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	46.6b	(/.f64 (.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (/.f64 1/2 a)) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
	44.3b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 6302 to 3501 computations (44.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(fma.f64 b b (.f64 -4 (.f64 a c)))
✓	5.4b	(exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
✓	20.9b	(sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))
✓	22.3b	(+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))

series143.0ms (1.1%)

Counts

4 → 96

Calls

4 calls:

51.0ms	(+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))
41.0ms	(sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))
41.0ms	(exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
9.0ms	(fma.f64 b b (.f64 -4 (.f64 a c)))

rewrite204.0ms (1.6%)

Algorithm

4×	egg-rewrite

Rules

69×	`egg`
28×	`egg`
25×	`egg`
23×	`egg`

Counts

4 → 145

Calls

4 calls:

62.0ms	(+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))))
49.0ms	(exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
45.0ms	(sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))
44.0ms	(fma.f64 b b (.f64 -4 (.f64 a c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	18
1	249	15
2	2805	15
3	5106	15
0	9	13
1	179	12
2	1992	12
3	4943	12
0	11	13
1	195	12
2	2163	12
3	5329	12
0	8	11
1	160	11
2	1802	11
3	4975	11

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

241 → 168

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	84	2172
1	270	2094
2	844	2000
3	4217	2000
4	5046	2000

prune107.0ms (0.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	166	2	168
Fresh	0	6	6
Picked	1	0	1
Done	0	2	2
Total	167	10	177

Error

4.2b

Counts

177 → 10

Alt Table

Status	Error	Program
	46.6b	(/.f64 (.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (/.f64 1/2 a)) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))
	45.8b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (.f64 c (.f64 a -4)))))) (*.f64 2 a))
✓	32.9b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 4 a) c)) 2) (neg.f64 (cbrt.f64 (.f64 (.f64 4 a) c))) (.f64 b b)))) (.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
✓	33.8b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -4 (.f64 a c) (.f64 b b)))) (*.f64 2 a))
	48.6b	(/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 -4 (.f64 a c)))) (.f64 (.f64 a 2) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	63.4b	(/.f64 (fma.f64 (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (sqrt.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (fma.f64 (neg.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (cbrt.f64 (fma.f64 b b (.f64 (.f64 4 a) c))) (hypot.f64 b (sqrt.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	46.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (neg.f64 b)))) (*.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)

Compiler

Compiled 4232 to 2562 computations (39.5% saved)

regimes2.5s (19.8%)

Accuracy

Total 4.6b remaining (44.3%)

Threshold costs 0b (0%)

Counts

194 → 3

Compiler

Compiled 17140 to 11770 computations (31.3% saved)

bsearch70.0ms (0.6%)

Steps

Iters	Range		Point
10	1.5641535248602722e-80	8.26668635655845e-71	2.0627980826047655e-71
3	-4.905015133134337e+159	-7.706913201840932e+152	-5.560568612734722e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	27	50
1	40	48
2	49	48
3	53	48
4	54	48
5	54	48

end169.0ms (1.4%)

Compiler: Compiled 315 to 206 computations (34.6% saved)

Details

analyze614.0ms (4.9%)

sample3.0s (24.1%)

simplify284.0ms (2.3%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series182.0ms (1.5%)

rewrite381.0ms (3%)

simplify99.0ms (0.8%)

prune729.0ms (5.8%)

localize16.0ms (0.1%)

series2.6s (20.6%)

rewrite282.0ms (2.3%)

simplify78.0ms (0.6%)

prune218.0ms (1.7%)

localize15.0ms (0.1%)

series180.0ms (1.4%)

rewrite306.0ms (2.4%)

simplify74.0ms (0.6%)

prune163.0ms (1.3%)

localize14.0ms (0.1%)

series143.0ms (1.1%)

rewrite204.0ms (1.6%)

simplify86.0ms (0.7%)

prune107.0ms (0.9%)

regimes2.5s (19.8%)

bsearch70.0ms (0.6%)

simplify3.0ms (0%)

end169.0ms (1.4%)

Profiling