Details

analyze650.0ms (8.4%)

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
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
25%	68.6%	6.4%	7
31.2%	62.4%	6.4%	8
36.7%	54.6%	8.7%	9
38.2%	48.4%	13.4%	10
42.7%	42.3%	15%	11
47.8%	34.1%	18.1%	12
49.1%	30.3%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.4s (31.4%)

Alt Table

Status	Error	Program
▶	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Results

751.0ms	5345×	body	128	valid
642.0ms	1157×	body	2048	valid
336.0ms	764×	body	1024	valid
267.0ms	398×	body	4096	valid
145.0ms	1059×	body	128	invalid
127.0ms	382×	body	512	valid
53.0ms	210×	body	256	valid

Compiler

Compiled 102 to 72 computations (29.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 3 a) c)
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
✓	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
✓	20.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

series108.0ms (1.4%)

Counts

4 → 100

Calls

4 calls:

50.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
4.0ms	(.f64 (.f64 3 a) c)

rewrite123.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

704×	`fma-def_binary64`
453×	`fma-neg_binary64`
270×	`egg-rr`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`

Counts

4 → 270

Calls

4 calls:

113.0ms	(.f64 (.f64 3 a) c)
113.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))
113.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c))))
113.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 3 a) c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	55
1	270	47
2	3245	47
3	4976	47
4	4950	47
0	0	0
1	0	0

prune311.0ms (4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	357	13	370
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	358	13	371

Error

10.7b

Counts

371 → 13

Alt Table

Status	Error	Program
▶	33.8b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	45.1b	(/.f64 (exp.f64 (log.f64 (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	35.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (expm1.f64 (log1p.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (*.f64 3 a))
	52.6b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	42.1b	(/.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) (*.f64 3 a))
	34.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	44.6b	(/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (+.f64 (fma.f64 b b (.f64 b b)) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	43.7b	(/.f64 (fma.f64 (cbrt.f64 b) (pow.f64 (cbrt.f64 b) 2) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	41.4b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) 3/2))) (*.f64 3 a))
	55.7b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	40.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))

Compiler

Compiled 10813 to 5950 computations (45% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(fma.f64 -3 (.f64 a c) (.f64 b b))
✓	7.7b	(+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (*.f64 b b))))))
✓	8.9b	(sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2))
✓	21.1b	(cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))

series171.0ms (2.2%)

Counts

4 → 128

Calls

4 calls:

55.0ms	(cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
53.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2))
51.0ms	(+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (*.f64 b b))))))
10.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))

rewrite82.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

596×	`log-prod_binary64`
380×	`fma-def_binary64`
232×	`expm1-udef_binary64`
232×	`log1p-udef_binary64`
213×	`fma-neg_binary64`

Counts

4 → 171

Calls

4 calls:

77.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))
77.0ms	(+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (*.f64 b b))))))
77.0ms	(sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2))
77.0ms	(cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	55
1	308	53
2	3154	52
3	5662	52
0	0	0
1	0	0

prune390.0ms (5.1%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	438	5	443
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	441	15	456

Error

10.7b

Counts

456 → 15

Alt Table

Status	Error	Program
✓	33.8b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	52.9b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	35.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (expm1.f64 (log1p.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (*.f64 3 a))
	42.1b	(/.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) (*.f64 3 a))
▶	34.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	55.7b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 3 a))
	45.2b	(/.f64 (exp.f64 (log.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))))) (*.f64 3 a))
	37.6b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	44.6b	(/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (+.f64 (fma.f64 b b (.f64 b b)) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	44.1b	(/.f64 (fma.f64 b 1 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	41.4b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) 3/2))) (*.f64 3 a))
	53.2b	(/.f64 (+.f64 (neg.f64 b) (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (.f64 3 a)) (log.f64 (/.f64 -1 c))))) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	40.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))

Compiler

Compiled 17805 to 10858 computations (39% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 b)
✓	0.7b	(fma.f64 -3 (.f64 a c) (.f64 b b))
✓	20.3b	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
✓	22.4b	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

series151.0ms (2%)

Counts

4 → 88

Calls

4 calls:

67.0ms	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))
42.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
32.0ms	(cbrt.f64 b)
9.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))

rewrite118.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

522×	`log-prod_binary64`
293×	`prod-diff_binary64`
209×	`expm1-udef_binary64`
209×	`log1p-udef_binary64`
203×	`fma-udef_binary64`

Counts

4 → 133

Calls

4 calls:

114.0ms	(cbrt.f64 b)
114.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))
114.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
114.0ms	(fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	53
1	281	43
2	2672	41
3	4978	41
4	4955	41
5	4896	41
0	0	0
1	0	0

prune194.0ms (2.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	266	6	272
Fresh	4	9	13
Picked	1	0	1
Done	0	1	1
Total	271	16	287

Error

10.6b

Counts

287 → 16

Alt Table

Status	Error	Program
✓	33.8b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	52.9b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
▶	35.1b	(/.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (*.f64 3 a))
	38.0b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) 3)) (*.f64 3 a))
	41.4b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) 3/2))) (*.f64 3 a))
	44.1b	(/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	45.2b	(/.f64 (exp.f64 (log.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))))) (*.f64 3 a))
	47.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (.f64 -1 b)) (.f64 3 a))
	53.2b	(/.f64 (+.f64 (neg.f64 b) (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (.f64 3 a)) (log.f64 (/.f64 -1 c))))) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	61.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) b) (*.f64 3 a))
	40.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	62.1b	(/.f64 b (*.f64 3 a))
	44.6b	(/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (+.f64 (fma.f64 b b (.f64 b b)) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	42.1b	(/.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) (*.f64 3 a))

Compiler

Compiled 7480 to 4186 computations (44% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(fma.f64 -3 (.f64 a c) (.f64 b b))
✓	0.8b	(pow.f64 (cbrt.f64 (cbrt.f64 b)) 3)
✓	20.3b	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
✓	22.3b	(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

series406.0ms (5.3%)

Counts

4 → 88

Calls

4 calls:

276.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 b)) 3)
80.0ms	(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))
39.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
11.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))

rewrite68.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

589×	`log-prod_binary64`
301×	`prod-diff_binary64`
233×	`expm1-udef_binary64`
233×	`log1p-udef_binary64`
218×	`log-pow_binary64`

Counts

4 → 138

Calls

4 calls:

65.0ms	(fma.f64 -3 (.f64 a c) (.f64 b b))
65.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 b)) 3)
65.0ms	(sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))
65.0ms	(fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) 2) (neg.f64 (cbrt.f64 b)) (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	53
1	328	43
2	3047	41
3	5369	41
0	0	0
1	0	0

prune162.0ms (2.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	225	1	226
Fresh	0	14	14
Picked	1	0	1
Done	0	1	1
Total	226	16	242

Error

10.6b

Counts

242 → 16

Alt Table

Status	Error	Program
✓	33.8b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	52.9b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	47.5b	(/.f64 (fma.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 b)) 3) 2) (neg.f64 (cbrt.f64 b)) (.f64 -1 b)) (.f64 3 a))
	44.6b	(/.f64 (/.f64 1 (/.f64 (-.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))) (+.f64 (fma.f64 b b (.f64 b b)) (.f64 (.f64 3 a) c)))) (.f64 3 a))
	38.0b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) 3)) (*.f64 3 a))
	41.4b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) 3/2))) (*.f64 3 a))
	44.1b	(/.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))) (*.f64 3 a))
	45.2b	(/.f64 (exp.f64 (log.f64 (+.f64 b (hypot.f64 b (sqrt.f64 (.f64 -3 (.f64 a c))))))) (*.f64 3 a))
	47.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) (.f64 -1 b)) (.f64 3 a))
	53.2b	(/.f64 (+.f64 (neg.f64 b) (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (.f64 3 a)) (log.f64 (/.f64 -1 c))))) (sqrt.f64 (cbrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)))))) (.f64 3 a))
	61.4b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (neg.f64 (cbrt.f64 b)) b) (*.f64 3 a))
	40.8b	(/.f64 (/.f64 (-.f64 (fma.f64 -3 (.f64 a c) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 -3 (.f64 a c) (.f64 b b))))) (.f64 3 a))
	62.1b	(/.f64 b (*.f64 3 a))
	47.3b	(/.f64 (.f64 -2 b) (.f64 3 a))
	44.8b	(/.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (*.f64 3 a))
	42.1b	(/.f64 (sqrt.f64 (neg.f64 (.f64 3 (.f64 c a)))) (*.f64 3 a))

Compiler

Compiled 6423 to 3637 computations (43.4% saved)

regimes2.0s (25.7%)

Accuracy

Total 4.5b remaining (28.5%)

Threshold costs 0b (0%)

Counts

147 → 3

Compiler

Compiled 18659 to 12825 computations (31.3% saved)

bsearch78.0ms (1%)

Steps

Iters	Range		Point
7	1.6069841498269917	201.97193741172703	1.6342143123707498
8	-244.0586835042112	-0.14924381851168272	-241.3804940250154

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	64
1	43	62
2	55	62
3	69	62
4	76	62
5	80	62
6	81	62
7	79	62

end231.0ms (3%)

Compiler: Compiled 425 to 293 computations (31.1% saved)

Details

analyze650.0ms (8.4%)

sample2.4s (31.4%)

localize10.0ms (0.1%)

series108.0ms (1.4%)

rewrite123.0ms (1.6%)

prune311.0ms (4%)

localize17.0ms (0.2%)

series171.0ms (2.2%)

rewrite82.0ms (1.1%)

prune390.0ms (5.1%)

localize15.0ms (0.2%)

series151.0ms (2%)

rewrite118.0ms (1.5%)

prune194.0ms (2.5%)

localize17.0ms (0.2%)

series406.0ms (5.3%)

rewrite68.0ms (0.9%)

prune162.0ms (2.1%)

regimes2.0s (25.7%)

bsearch78.0ms (1%)

simplify4.0ms (0.1%)

end231.0ms (3%)

Profiling