Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 10 to 7 computations (30% saved)

sample5.3s (65.3%)

Results

2.6s	3605×	body	1024	valid
1.7s	1229×	body	2048	valid
583.0ms	1447×	body	512	valid
209.0ms	1370×	body	128	valid
178.0ms	602×	body	256	valid
8.0ms	3×	body	4096	valid

Compiler

Compiled 29 to 20 computations (31% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

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

36.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	36.4b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	1.0b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	2.9b	(sin.f64 (+.f64 x eps))

series12.0ms (0.1%)

Counts

2 → 48

Calls

2 calls:

6.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
5.0ms	(sin.f64 (+.f64 x eps))

rewrite65.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

471×	`fma-def_binary64`
446×	`log-prod_binary64`
214×	`fma-neg_binary64`
179×	`expm1-udef_binary64`
179×	`log1p-udef_binary64`

Counts

2 → 151

Calls

2 calls:

61.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
61.0ms	(sin.f64 (+.f64 x eps))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	173	17
2	2539	17
3	5359	17
0	0	0
1	0	0

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

830×	`sub-neg_binary64`
730×	`fma-neg_binary64`
266×	`cancel-sign-sub-inv_binary64`
264×	`associate-+l-_binary64`
245×	`distribute-rgt-neg-in_binary64`

Counts

199 → 180

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	53	602
1	170	587
2	523	572
3	1688	569
4	4695	565
5	5641	565

prune140.0ms (1.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	170	10	180
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	10	181

Error

0.2b

Counts

181 → 10

Alt Table

Status	Error	Program
	21.1b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	21.1b	(-.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	24.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3) (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (fma.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps)) (-.f64 (.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps))) (.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)))))) (sin.f64 x))
	33.3b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (+.f64 (.f64 (.f64 eps eps) -1/2) (*.f64 1/24 (pow.f64 eps 4)))))
	21.0b	(-.f64 (fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (*.f64 (cos.f64 x) (sin.f64 eps))) (sin.f64 x))
	41.1b	(fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
▶	20.4b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	44.3b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	21.0b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	20.5b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 3735 to 1164 computations (68.8% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(*.f64 (sin.f64 x) (cos.f64 eps))
✓	0.1b	(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
✓	2.3b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))

series42.0ms (0.5%)

Counts

3 → 56

Calls

3 calls:

18.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
15.0ms	(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
9.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))

rewrite75.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

530×	`log-prod_binary64`
356×	`fma-def_binary64`
207×	`expm1-udef_binary64`
207×	`log1p-udef_binary64`
204×	`fma-neg_binary64`

Counts

3 → 152

Calls

3 calls:

72.0ms	(*.f64 (sin.f64 x) (cos.f64 eps))
72.0ms	(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))
72.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	45
1	214	25
2	2766	25
3	5486	25
0	0	0
1	0	0

simplify84.0ms (1%)

Algorithm

1×	egg-herbie

Rules

404×	`fma-def_binary64`
376×	`distribute-rgt-neg-in_binary64`
369×	`cancel-sign-sub-inv_binary64`
366×	`distribute-lft-neg-in_binary64`
337×	`sub-neg_binary64`

Counts

208 → 199

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1114
1	260	1092
2	789	1018
3	2564	1004
4	4754	1004
5	5104	1004

prune186.0ms (2.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	191	8	199
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	196	13	209

Error

0.1b

Counts

209 → 13

Alt Table

Status	Error	Program
	21.4b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (cbrt.f64 (*.f64 (pow.f64 (sin.f64 x) 3) (pow.f64 (cos.f64 eps) 3)))) (sin.f64 x))
	24.7b	(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3) (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 3)) (fma.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 2) (.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 (sin.f64 x) (cos.f64 eps)))))) (sin.f64 x))
	1.5b	(fma.f64 (.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (sin.f64 eps)) 2)) (cbrt.f64 (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	0.4b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	21.1b	(fma.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps)))) (cbrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	33.3b	(fma.f64 (cos.f64 x) (+.f64 eps (.f64 (pow.f64 eps 3) -1/6)) (.f64 (sin.f64 x) (+.f64 (.f64 (.f64 eps eps) -1/2) (*.f64 1/24 (pow.f64 eps 4)))))
	15.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	1.5b	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
▶	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
	44.3b	(fma.f64 (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (sqrt.f64 (.f64 (sin.f64 x) (cos.f64 eps))) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	21.0b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (-.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))
	20.5b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 4132 to 1371 computations (66.8% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
✓	0.2b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
✓	2.4b	(+.f64 (cos.f64 eps) -1)

series35.0ms (0.4%)

Counts

3 → 60

Calls

3 calls:

18.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
15.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
2.0ms	(+.f64 (cos.f64 eps) -1)

rewrite99.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

887×	`prod-diff_binary64`
209×	`expm1-udef_binary64`
209×	`log1p-udef_binary64`
189×	`fma-def_binary64`
184×	`log-pow_binary64`

Counts

3 → 113

Calls

3 calls:

92.0ms	(*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1))
92.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 (cos.f64 eps) -1)))
92.0ms	(+.f64 (cos.f64 eps) -1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	227	36
2	2751	30
3	4743	30
4	5544	30
0	0	0
1	0	0

simplify71.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
574×	`sub-neg_binary64`
424×	`cancel-sign-sub-inv_binary64`
403×	`distribute-rgt-neg-in_binary64`
387×	`distribute-lft-neg-in_binary64`

Counts

173 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1102
1	321	1032
2	1019	986
3	3708	986
4	4957	986

prune203.0ms (2.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	148	7	155
Fresh	8	4	12
Picked	1	0	1
Done	0	0	0
Total	157	11	168

Error

0.0b

Counts

168 → 11

Alt Table

Status	Error	Program
	15.4b	(/.f64 (-.f64 (.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x))) (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) 2)) (-.f64 (.f64 (sin.f64 eps) (cos.f64 x)) (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))))
	32.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (.f64 (sin.f64 x) (fma.f64 1/24 (pow.f64 eps 4) (fma.f64 1/40320 (pow.f64 eps 8) (fma.f64 -1/2 (.f64 eps eps) (*.f64 (pow.f64 eps 6) -1/720))))))
	1.5b	(fma.f64 (.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (sin.f64 eps)) 2)) (cbrt.f64 (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (-.f64 (/.f64 (pow.f64 (cos.f64 eps) 2) (+.f64 (cos.f64 eps) 1)) (/.f64 1 (+.f64 (cos.f64 eps) 1)))))
	15.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	0.3b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (/.f64 (pow.f64 (sin.f64 eps) 2) (-.f64 -1 (cos.f64 eps)))))
	1.5b	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
▶	0.3b	(+.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))))))
	0.7b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	28.2b	(log.f64 (.f64 (pow.f64 (exp.f64 (+.f64 (cos.f64 eps) -1)) (sin.f64 x)) (exp.f64 (.f64 (sin.f64 eps) (cos.f64 x)))))

Compiler

Compiled 3391 to 1464 computations (56.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
✓	0.1b	(*.f64 (sin.f64 eps) (cos.f64 x))
✓	0.2b	(*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))
	2.4b	(+.f64 (cos.f64 eps) -1)

series46.0ms (0.6%)

Counts

3 → 64

Calls

3 calls:

19.0ms	(+.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
11.0ms	(*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))
9.0ms	(*.f64 (sin.f64 eps) (cos.f64 x))

rewrite97.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

492×	`fma-def_binary64`
277×	`fma-neg_binary64`
244×	`expm1-udef_binary64`
244×	`log1p-udef_binary64`
135×	`add-sqr-sqrt_binary64`

Counts

3 → 101

Calls

3 calls:

94.0ms	(+.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
94.0ms	(*.f64 (sin.f64 eps) (cos.f64 x))
94.0ms	(*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	38
1	258	38
2	3355	38
3	4978	38
4	4958	38
0	0	0
1	0	0

simplify67.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

741×	`fma-def_binary64`
677×	`sub-neg_binary64`
471×	`cancel-sign-sub-inv_binary64`
372×	`associate-r_binary64`
344×	`associate-l_binary64`

Counts

165 → 149

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1234
1	373	1158
2	1199	1092
3	4508	1092
4	5157	1092

prune248.0ms (3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	188	5	193
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	195	9	204

Error

0.0b

Counts

204 → 9

Alt Table

Status	Error	Program
	0.4b	(+.f64 (.f64 (/.f64 (pow.f64 (sin.f64 eps) 2) (-.f64 -1 (cos.f64 eps))) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x)))
	1.5b	(fma.f64 (.f64 (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps)))) (cbrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	0.7b	(fma.f64 (.f64 (sin.f64 eps) (pow.f64 (cbrt.f64 (cos.f64 x)) 2)) (cbrt.f64 (cos.f64 x)) (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (log.f64 (+.f64 1 (expm1.f64 (*.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x))))))
	0.5b	(log1p.f64 (expm1.f64 (fma.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))))
	15.0b	(fma.f64 (sqrt.f64 (cos.f64 x)) (.f64 (sqrt.f64 (cos.f64 x)) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	30.1b	(pow.f64 (sqrt.f64 (fma.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x) (*.f64 (sin.f64 eps) (cos.f64 x)))) 2)
	1.5b	(fma.f64 (.f64 (cos.f64 x) (pow.f64 (cbrt.f64 (sin.f64 eps)) 2)) (cbrt.f64 (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	15.4b	(/.f64 (-.f64 (pow.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) 2) (pow.f64 (.f64 (sin.f64 eps) (cos.f64 x)) 2)) (-.f64 (.f64 (+.f64 (cos.f64 eps) -1) (sin.f64 x)) (.f64 (sin.f64 eps) (cos.f64 x))))

Compiler

Compiled 4152 to 1856 computations (55.3% saved)

regimes1.1s (13.1%)

Accuracy

Total 0.3b remaining (80.6%)

Threshold costs 0.3b (80.6%)

Counts

312 → 1

Compiler

Compiled 16891 to 11520 computations (31.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

2×	`+-commutative_binary64`
2×	`*-commutative_binary64`
1×	`mul-1-neg_binary64`
1×	`sub-neg_binary64`
1×	`neg-sub0_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	23
1	16	23
2	18	23
3	19	23
4	20	23
5	20	23

end167.0ms (2%)

Compiler: Compiled 229 to 143 computations (37.6% saved)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11

Details

analyze1.0ms (0%)

sample5.3s (65.3%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series12.0ms (0.1%)

rewrite65.0ms (0.8%)

simplify67.0ms (0.8%)

prune140.0ms (1.7%)

localize11.0ms (0.1%)

series42.0ms (0.5%)

rewrite75.0ms (0.9%)

simplify84.0ms (1%)

prune186.0ms (2.3%)

localize10.0ms (0.1%)

series35.0ms (0.4%)

rewrite99.0ms (1.2%)

simplify71.0ms (0.9%)

prune203.0ms (2.5%)

localize12.0ms (0.1%)

series46.0ms (0.6%)

rewrite97.0ms (1.2%)

simplify67.0ms (0.8%)

prune248.0ms (3%)

regimes1.1s (13.1%)

simplify2.0ms (0%)

end167.0ms (2%)

Profiling

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	29	11
5	46	11
6	72	11
7	93	11
8	110	11
9	120	11
10	124	11
11	126	11
12	112	11