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 (68%)

Results

2.4s	3582×	body	1024	valid
1.6s	1297×	body	2048	valid
519.0ms	1383×	body	512	valid
206.0ms	1349×	body	128	valid
194.0ms	644×	body	256	valid
4.0ms	1×	body	4096	valid

Compiler

Compiled 20 to 14 computations (30% saved)

preprocess21.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)

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

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

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)

localize6.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))

series10.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

2.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	eps	inf
1.0ms	(-.f64 (sin.f64 (+.f64 x eps)) (sin.f64 x))	eps	0
1.0ms	(sin.f64 (+.f64 x eps))	x	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))	x	0

rewrite58.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

464×	`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	2692	17

Stop Event

1×	node limit

Counts

2 → 151

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

prune137.0ms (1.9%)

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	(-.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))
	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)))))
▶	19.4b	(-.f64 (fma.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))) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
	19.8b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (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))))
	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))
	40.5b	(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
	19.4b	(fma.f64 (sin.f64 x) (cos.f64 eps) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))

Compiler

Compiled 3617 to 1140 computations (68.5% saved)

localize10.0ms (0.1%)

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:

4.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))	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	(-.f64 (fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps))) (sin.f64 x))	x	inf
3.0ms	(fma.f64 (cos.f64 x) (sin.f64 eps) (*.f64 (sin.f64 x) (cos.f64 eps)))	x	-inf

rewrite62.0ms (0.9%)

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	2931	25

Stop Event

1×	node limit

Counts

3 → 152

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

prune138.0ms (1.9%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	191	8	199
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	194	14	208

Error

0.0b

Counts

208 → 14

Alt Table

Status	Error	Program
	40.5b	(fma.f64 (sqrt.f64 (sin.f64 x)) (*.f64 (sqrt.f64 (sin.f64 x)) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.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))
	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)))
✓	19.4b	(-.f64 (fma.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))) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (sin.f64 x))))
	19.8b	(fma.f64 (pow.f64 (cbrt.f64 (sin.f64 x)) 2) (*.f64 (cbrt.f64 (sin.f64 x)) (cos.f64 eps)) (fma.f64 (cos.f64 x) (sin.f64 eps) (neg.f64 (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)))))
	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)))
	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)))
	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)))
	0.8b	(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.5b	(+.f64 (.f64 (cos.f64 x) (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 -1 (cos.f64 eps))))

Compiler

Compiled 4096 to 1379 computations (66.3% 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))

series39.0ms (0.5%)

Counts

3 → 64

Calls

18 calls:

4.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
2.0ms	(-.f64 (*.f64 (sin.f64 x) (cos.f64 eps)) (sin.f64 x))	eps	-inf

rewrite75.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

664×	`fma-def_binary64`
388×	`fma-neg_binary64`
237×	`expm1-udef_binary64`
237×	`log1p-udef_binary64`
208×	`egg-rr`

Iterations

Useful iterations: 1 (0.0ms)

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

Stop Event

1×	node limit

Counts

3 → 208

simplify38.0ms (0.5%)

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

prune344.0ms (4.7%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	283	9	292
Fresh	9	3	12
Picked	1	0	1
Done	1	0	1
Total	294	12	306

Error

0.0b

Counts

306 → 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 (sin.f64 x) (cos.f64 eps) (fma.f64 -1 (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))
	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)))
	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))
	29.2b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 -1/2 (*.f64 (pow.f64 eps 2) (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)))
	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))))
	0.5b	(fma.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1) (*.f64 (cos.f64 x) (sin.f64 eps)))
	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)))
	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)))
	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))))
▶	0.5b	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))

Compiler

Compiled 6871 to 2363 computations (65.6% saved)

localize10.0ms (0.1%)

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))

series27.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	(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
3.0ms	(fma.f64 (sin.f64 eps) (cos.f64 x) (*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps))))	x	inf
2.0ms	(*.f64 (sin.f64 x) (+.f64 -1 (cos.f64 eps)))	x	0

rewrite53.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	36
1	227	36
2	2924	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

prune184.0ms (2.5%)

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 (sin.f64 x) (cos.f64 eps) (fma.f64 -1 (sin.f64 x) (*.f64 (cos.f64 x) (sin.f64 eps))))
	29.2b	(+.f64 (.f64 (cos.f64 x) (sin.f64 eps)) (.f64 -1/2 (*.f64 (pow.f64 eps 2) (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)))
	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))))
	0.5b	(fma.f64 (sin.f64 x) (-.f64 (cos.f64 eps) 1) (*.f64 (cos.f64 x) (sin.f64 eps)))
	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)))
	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))))
	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)))
	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)))

Compiler

Compiled 3167 to 1341 computations (57.7% saved)

regimes756.0ms (10.4%)

Accuracy

Total 0.3b remaining (78.6%)

Threshold costs 0.3b (78.6%)

Counts

226 → 1

Compiler

Compiled 11696 to 7816 computations (33.2% saved)

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

end158.0ms (2.2%)

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 (68%)

preprocess21.0ms (0.3%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize6.0ms (0.1%)

series10.0ms (0.1%)

rewrite58.0ms (0.8%)

simplify31.0ms (0.4%)

prune137.0ms (1.9%)

localize10.0ms (0.1%)

series40.0ms (0.6%)

rewrite62.0ms (0.9%)

simplify47.0ms (0.6%)

prune138.0ms (1.9%)

localize11.0ms (0.1%)

series39.0ms (0.5%)

rewrite75.0ms (1%)

simplify38.0ms (0.5%)

prune344.0ms (4.7%)

localize10.0ms (0.1%)

series27.0ms (0.4%)

rewrite53.0ms (0.7%)

simplify49.0ms (0.7%)

prune184.0ms (2.5%)

regimes756.0ms (10.4%)

simplify3.0ms (0%)

end158.0ms (2.2%)

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