Details

analyze1.5s (8.6%)

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
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
35.1%	55%	9.9%	9
36.3%	50.9%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample86.0ms (0.5%)

Algorithm

1×

intervals

Results

20.0ms	169×	body	128	valid
19.0ms	36×	body	2048	valid
11.0ms	25×	body	1024	valid
9.0ms	12×	body	4096	valid
3.0ms	9×	body	512	valid
2.0ms	23×	body	128	nan
1.0ms	5×	body	256	valid
1.0ms	8×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify115.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
428×	`fma-neg_binary64`
246×	`associate-/l*_binary64`
205×	`fma-def_binary64`
183×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	27	20
2	54	20
3	115	20
4	179	20
5	291	20
6	417	20
7	528	20
8	602	20
9	854	20
10	1802	20
11	1043	20
12	1027	20
13	1035	20
14	1043	20
15	1043	20
16	1101	20
17	1137	20
18	1139	20
19	1151	20
20	1046	20

prune2.0ms (0%)

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

Error

33.8b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.8b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
✓	1.0b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	22.3b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series451.0ms (2.7%)

Counts

4 → 96

Calls

4 calls:

217.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
157.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
59.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
18.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite90.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
61×	`prod-diff_binary64`
60×	`add-cube-cbrt_binary64`
41×	`sqrt-prod_binary64`

Counts

4 → 176

Calls

4 calls:

22.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
20.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
6.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
6.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify304.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
181×	`unswap-sqr_binary64`
169×	`sub-neg_binary64`
135×	`associate-r_binary64`

Counts

272 → 292

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	7693
1	779	6304
2	2682	5750
3	4584	5750
4	4974	5750

prune255.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	280	12	292
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	281	12	293

Error

5.3b

Counts

293 → 12

Alt Table

Status	Error	Program
	46.3b	(.f64 (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (sqrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	33.6b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	35.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	56.1b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	52.8b	(fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)) -1/8))))
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	46.6b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	33.8b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
▶	31.5b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	33.9b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	46.4b	(/.f64 (*.f64 -2 b_2) a)
	50.0b	(cbrt.f64 (.f64 (.f64 (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)) (/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)))

Compiler

Compiled 9266 to 2080 computations (77.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
✓	0.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
✓	0.7b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
✓	11.7b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.7s (10.4%)

Counts

4 → 42

Calls

4 calls:

846.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
511.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
371.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
18.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite97.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

172×	`*-un-lft-identity_binary64`
162×	`times-frac_binary64`
139×	`add-sqr-sqrt_binary64`
104×	`add-cube-cbrt_binary64`
34×	`distribute-lft-out--_binary64`

Counts

4 → 244

Calls

4 calls:

17.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
13.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
12.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify409.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
401×	`fma-neg_binary64`
316×	`cancel-sign-sub-inv_binary64`
186×	`sub-neg_binary64`
154×	`distribute-frac-neg_binary64`

Counts

286 → 331

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	349	9712
1	794	8164
2	2705	7612
3	4798	7608
4	4906	7608

prune396.0ms (2.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	327	4	331
Fresh	5	6	11
Picked	1	0	1
Done	0	0	0
Total	333	10	343

Error

0.0b

Counts

343 → 10

Alt Table

Status	Error	Program
	31.5b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	35.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	52.8b	(fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)) -1/8))))
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	46.6b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	33.8b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	33.9b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	44.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
▶	31.5b	(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))

Compiler

Compiled 10553 to 2742 computations (74% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
✓	0.2b	(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
✓	0.7b	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	11.7b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.3s (7.9%)

Counts

3 → 42

Calls

3 calls:

718.0ms

(/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))

390.0ms

(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))

226.0ms

(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))

rewrite159.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

338×	`times-frac_binary64`
273×	`*-un-lft-identity_binary64`
169×	`add-sqr-sqrt_binary64`
169×	`add-cube-cbrt_binary64`
63×	`distribute-lft-neg-in_binary64`

Counts

3 → 299

Calls

3 calls:

20.0ms

(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))

13.0ms

(/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))

6.0ms

(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))

simplify512.0ms (3%)

Algorithm

1×	egg-herbie

Rules

763×	`fma-def_binary64`
293×	`cancel-sign-sub-inv_binary64`
246×	`div-sub_binary64`
197×	`fma-neg_binary64`
180×	`sub-neg_binary64`

Counts

341 → 384

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	321	11771
1	803	10769
2	2695	10634
3	4515	10628
4	5043	10628

prune280.0ms (1.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	402	1	403
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	403	10	413

Error

0.0b

Counts

413 → 10

Alt Table

Status	Error	Program
	33.9b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
▶	31.5b	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	52.8b	(fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b_2 7)) -5/128 (fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b_2 3)) -1/8))))
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	46.6b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	33.8b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	44.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
✓	31.5b	(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	35.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)

Compiler

Compiled 11822 to 3048 computations (74.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
✓	0.2b	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	0.7b	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	11.7b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series950.0ms (5.6%)

Counts

2 → 28

Calls

2 calls:

535.0ms	(/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
414.0ms	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))

rewrite208.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

585×	`times-frac_binary64`
348×	`*-un-lft-identity_binary64`
256×	`add-sqr-sqrt_binary64`
256×	`add-cube-cbrt_binary64`
46×	`distribute-lft-out_binary64`

Counts

2 → 330

Calls

2 calls:

16.0ms	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
8.0ms	(/.f64 1 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))

simplify626.0ms (3.7%)

Algorithm

1×	egg-herbie

Rules

471×	`fma-def_binary64`
365×	`distribute-rgt-in_binary64`
328×	`associate-/l/_binary64`
231×	`fma-neg_binary64`
223×	`associate-/r*_binary64`

Counts

358 → 452

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	387	14882
1	1047	13922
2	3368	13866
3	4978	13864
4	4980	13864

prune498.0ms (3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	509	3	512
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	511	11	522

Error

0.0b

Counts

522 → 11

Alt Table

Status	Error	Program
	46.4b	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	33.8b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	46.4b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	49.7b	(/.f64 (/.f64 -1 a) (fma.f64 1/8 (/.f64 (neg.f64 (.f64 a c)) (pow.f64 b_2 3)) (fma.f64 (/.f64 (.f64 (.f64 a c) (.f64 a c)) (pow.f64 b_2 5)) -1/16 (fma.f64 -2 (/.f64 b_2 (neg.f64 (*.f64 a c))) (/.f64 -1/2 b_2)))))
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	46.6b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.0b	(/.f64 (/.f64 -1 a) (/.f64 1 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	33.9b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	44.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
✓	31.5b	(/.f64 1 (/.f64 (neg.f64 a) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	35.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)

Compiler

Compiled 17035 to 6382 computations (62.5% saved)

regimes4.0s (23.9%)

Accuracy

Total 10.0b remaining (98.8%)

Threshold costs 0b (0%)

Counts

151 → 5

Compiler

Compiled 13058 to 8156 computations (37.5% saved)

bsearch206.0ms (1.2%)

Steps

Iters	Range		Point
7	6.071709675971229e+141	5.215324728202988e+144	3.6266309301276617e+142
9	-1.2500524264832126e-117	-5.650920584999029e-124	-7.858266012356773e-121
8	-1.664212255463112e-92	-2.1802783720097252e-95	-2.321160141968036e-95
9	-1.4020564641349375e+21	-13220562669140.8	-17117282807329.436

Compiler

Compiled 4 to 3 computations (25% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64`
11×	`*-commutative_binary64`
11×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	48	108
1	68	107
2	84	107
3	100	107
4	112	107
5	115	107
6	116	107
7	114	107

end2.0ms (0%)

Compiler: Compiled 75 to 44 computations (41.3% saved)

sample2.6s (15.3%)

Algorithm

1×

intervals

Results

561.0ms	1150×	body	2048	valid
476.0ms	5139×	body	128	valid
318.0ms	753×	body	1024	valid
212.0ms	372×	body	4096	valid
101.0ms	387×	body	512	valid
76.0ms	757×	body	128	nan
35.0ms	199×	body	256	valid
22.0ms	244×	body	128	invalid

Compiler

Compiled 309 to 197 computations (36.2% saved)

Details

analyze1.5s (8.6%)

sample86.0ms (0.5%)

simplify115.0ms (0.7%)

prune2.0ms (0%)

localize11.0ms (0.1%)

series451.0ms (2.7%)

rewrite90.0ms (0.5%)

simplify304.0ms (1.8%)

prune255.0ms (1.5%)

localize12.0ms (0.1%)

series1.7s (10.4%)

rewrite97.0ms (0.6%)

simplify409.0ms (2.4%)

prune396.0ms (2.4%)

localize21.0ms (0.1%)

series1.3s (7.9%)

rewrite159.0ms (0.9%)

simplify512.0ms (3%)

prune280.0ms (1.7%)

localize11.0ms (0.1%)

series950.0ms (5.6%)

rewrite208.0ms (1.2%)

simplify626.0ms (3.7%)

prune498.0ms (3%)

regimes4.0s (23.9%)

bsearch206.0ms (1.2%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample2.6s (15.3%)

Profiling