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)

sample4.9s (66.6%)

Results

2.3s	3582×	body	1024	valid
1.6s	1297×	body	2048	valid
572.0ms	1383×	body	512	valid
189.0ms	1349×	body	128	valid
167.0ms	644×	body	256	valid
4.0ms	1×	body	4096	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess22.0ms (0.3%)

Algorithm

2×	egg-herbie

Rules

76×	`fma-def_binary64`
57×	`fma-neg_binary64`
27×	`cancel-sign-sub-inv_binary64`
24×	`sub-neg_binary64`
18×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 9 to 6 computations (33.3% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Stop Event

1×

saturated

Counts

1 → 1

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

34.2b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 18 computations (33.3% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.8b	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))
✓	3.9b	(sin.f64 (+.f64 x eps))

series9.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

1.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	eps	0
1.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	eps	-inf
1.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	eps	inf
1.0ms	(sin.f64 (+.f64 x eps))	x	0
1.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	x	0

rewrite59.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	17
1	173	17
2	2737	17

Stop Event

1×	node limit

Counts

2 → 151

simplify32.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	53	602
1	172	587
2	566	572
3	2209	569

Stop Event

1×	node limit

Counts

199 → 180

prune148.0ms (2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	171	9	180
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	172	9	181

Error

0.1b

Counts

181 → 9

Alt Table

Status	Error	Program
	19.8b	(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.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))
	19.8b	(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)))
	32.3b	(fma.f64 (cos.f64 x) (-.f64 eps (.f64 1/6 (pow.f64 eps 3))) (.f64 (sin.f64 x) (.f64 eps (.f64 eps -1/2))))
	32.3b	(-.f64 (.f64 eps (cos.f64 x)) (+.f64 (.f64 1/6 (.f64 (pow.f64 eps 3) (cos.f64 x))) (.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
	40.5b	(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)))
	19.8b	(-.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))
▶	19.4b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	19.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (-.f64 (*.f64 (cos.f64 x) (sin.f64 eps)) (sin.f64 x)))

Compiler

Compiled 3617 to 1139 computations (68.5% saved)

localize13.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series40.0ms (0.6%)

Counts

3 → 56

Calls

18 calls:

5.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))	eps	-inf
3.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))	eps	inf
3.0ms	(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))	x	-inf
3.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))	x	inf
3.0ms	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))	x	-inf

rewrite60.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	45
1	214	25
2	2940	25

Stop Event

1×	node limit

Counts

3 → 152

simplify44.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

400×	`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`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	86	1114
1	274	1092
2	868	1018
3	3341	1013

Stop Event

1×	node limit

Counts

208 → 199

prune137.0ms (1.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	190	9	199
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	193	15	208

Error

0.0b

Counts

208 → 15

Alt Table

Status	Error	Program
	0.5b	(fma.f64 (cos.f64 x) (sin.f64 eps) (-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	19.8b	(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)))
	20.0b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (log.f64 (pow.f64 (exp.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 -1 (cos.f64 eps))))
	32.3b	(fma.f64 (cos.f64 x) (-.f64 eps (.f64 1/6 (pow.f64 eps 3))) (.f64 (sin.f64 x) (.f64 eps (.f64 eps -1/2))))
	32.5b	(fma.f64 (.f64 (cos.f64 x) (sqrt.f64 (sin.f64 eps))) (sqrt.f64 (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
▶	0.5b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	13.2b	(fma.f64 (.f64 (cos.f64 x) (cbrt.f64 (pow.f64 (sin.f64 eps) 2))) (cbrt.f64 (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	19.8b	(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)))
	30.0b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
✓	19.4b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))
	32.3b	(-.f64 (.f64 eps (cos.f64 x)) (+.f64 (.f64 1/6 (.f64 (pow.f64 eps 3) (cos.f64 x))) (.f64 1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x)))))
	40.5b	(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)))
	1.6b	(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)))
	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)))

Compiler

Compiled 4122 to 1393 computations (66.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series60.0ms (0.8%)

Counts

3 → 64

Calls

18 calls:

24.0ms	(-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x))	eps	-inf
3.0ms	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))	eps	-inf
3.0ms	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))	eps	inf
3.0ms	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))	x	-inf
3.0ms	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))	x	inf

rewrite74.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

664×	`fma-def_binary64`
388×	`fma-neg_binary64`
237×	`expm1-udef_binary64`
237×	`log1p-udef_binary64`
135×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	42
1	247	30
2	3625	30

Stop Event

1×	node limit

Counts

3 → 208

simplify43.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

727×	`fma-def_binary64`
471×	`cancel-sign-sub-inv_binary64`
370×	`associate-r_binary64`
344×	`associate-l_binary64`
238×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	1266
1	386	1222
2	1286	1092

Stop Event

1×	node limit

Counts

272 → 257

prune366.0ms (5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	283	9	292
Fresh	10	3	13
Picked	1	0	1
Done	1	0	1
Total	295	12	307

Error

0.0b

Counts

307 → 12

Alt Table

Status	Error	Program
	0.8b	(fma.f64 (-.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))) (.f64 (cos.f64 x) (sin.f64 eps)))
	19.4b	(fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 -1 (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))
	40.5b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
	20.0b	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (log.f64 (pow.f64 (exp.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 -1 (cos.f64 eps))))
	32.3b	(fma.f64 (cos.f64 x) (-.f64 eps (.f64 1/6 (pow.f64 eps 3))) (.f64 (sin.f64 x) (.f64 eps (.f64 eps -1/2))))
	32.5b	(fma.f64 (sqrt.f64 (sin.f64 eps)) (.f64 (sqrt.f64 (sin.f64 eps)) (cos.f64 x)) (.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))
	0.5b	(fma.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1) (*.f64 (cos.f64 x) (sin.f64 eps)))
	17.7b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	30.0b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))
	29.2b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
	0.8b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (sin.f64 eps)) (.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))

Compiler

Compiled 6871 to 2373 computations (65.5% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

series29.0ms (0.4%)

Counts

3 → 60

Calls

15 calls:

3.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))	x	inf
3.0ms	(*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps)))	eps	0
3.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))	x	-inf
3.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))	eps	-inf
3.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))	eps	inf

rewrite56.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

468×	`prod-diff_binary64`
207×	`expm1-udef_binary64`
207×	`log1p-udef_binary64`
195×	`fma-def_binary64`
173×	`log-pow_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	227	36
2	2928	36

Stop Event

1×	node limit

Counts

3 → 112

simplify49.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary64`
575×	`sub-neg_binary64`
424×	`cancel-sign-sub-inv_binary64`
273×	`associate-l_binary64`
256×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1102
1	327	1032
2	1070	986
3	4773	986

Stop Event

1×	node limit

Counts

172 → 157

prune178.0ms (2.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	156	1	157
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	159	10	169

Error

0.0b

Counts

169 → 10

Alt Table

Status	Error	Program
	0.8b	(fma.f64 (-.f64 (pow.f64 (.f64 (sin.f64 x) (cos.f64 eps)) 2) (pow.f64 (sin.f64 x) 2)) (/.f64 1 (fma.f64 (sin.f64 x) (cos.f64 eps) (sin.f64 x))) (.f64 (cos.f64 x) (sin.f64 eps)))
	19.4b	(fma.f64 (cos.f64 eps) (sin.f64 x) (fma.f64 -1 (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))
	40.5b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (fma.f64 (sqrt.f64 (sin.f64 x)) (.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (neg.f64 (sin.f64 x))))
	32.5b	(fma.f64 (sqrt.f64 (sin.f64 eps)) (.f64 (sqrt.f64 (sin.f64 eps)) (cos.f64 x)) (.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))
	0.5b	(fma.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1) (*.f64 (cos.f64 x) (sin.f64 eps)))
	0.4b	(fma.f64 (sin.f64 eps) (cos.f64 x) (/.f64 (*.f64 (pow.f64 (sin.f64 eps) 2) (sin.f64 x)) (-.f64 -1 (cos.f64 eps))))
	17.7b	(+.f64 (cbrt.f64 (pow.f64 (.f64 (cos.f64 x) (sin.f64 eps)) 3)) (-.f64 (.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x)))
	30.0b	(fma.f64 (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (sqrt.f64 (.f64 (cos.f64 x) (sin.f64 eps))) (*.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))
	29.2b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 -1/2 (*.f64 (pow.f64 eps 2) (sin.f64 x))))
	0.8b	(fma.f64 (pow.f64 (cbrt.f64 (cos.f64 x)) 2) (.f64 (cbrt.f64 (cos.f64 x)) (sin.f64 eps)) (.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1)))

Compiler

Compiled 3167 to 1341 computations (57.7% saved)

regimes825.0ms (11.3%)

Accuracy

Total 0.3b remaining (78.6%)

Threshold costs 0.3b (78.6%)

Counts

260 → 1

Compiler

Compiled 13886 to 9208 computations (33.7% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	27
1	17	27
2	21	27
3	23	27
4	24	27

Stop Event

1×

saturated

end154.0ms (2.1%)

Stop Event

1×

fuel

Compiler

Compiled 234 to 151 computations (35.5% saved)

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11

Details

analyze1.0ms (0%)

sample4.9s (66.6%)

preprocess22.0ms (0.3%)

simplify9.0ms (0.1%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series9.0ms (0.1%)

rewrite59.0ms (0.8%)

simplify32.0ms (0.4%)

prune148.0ms (2%)

localize13.0ms (0.2%)

series40.0ms (0.6%)

rewrite60.0ms (0.8%)

simplify44.0ms (0.6%)

prune137.0ms (1.9%)

localize11.0ms (0.1%)

series60.0ms (0.8%)

rewrite74.0ms (1%)

simplify43.0ms (0.6%)

prune366.0ms (5%)

localize11.0ms (0.2%)

series29.0ms (0.4%)

rewrite56.0ms (0.8%)

simplify49.0ms (0.7%)

prune178.0ms (2.4%)

regimes825.0ms (11.3%)

simplify2.0ms (0%)

end154.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	11	22
1	17	22
2	25	22
3	38	22
4	53	22
5	81	22
6	141	22
7	200	22
8	282	22
9	353	22
10	405	22
11	409	22
0	2	2

Iter	Nodes	Cost
0	7	11
1	10	11
2	15	11
3	22	11
4	31	11
5	48	11
6	86	11
7	124	11
8	172	11
9	208	11
10	234	11
11	236	11