Details

analyze1.6s (19.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.8%	99.2%	0
0%	0.8%	99.2%	1
0%	0.8%	99.2%	2
0%	0.8%	99.2%	3
0%	0.8%	99.2%	4
0%	0.8%	99.2%	5
0.2%	0.4%	99.4%	6
0.2%	0.4%	99.4%	7
0.2%	0.4%	99.4%	8
0.2%	0.4%	99.4%	9
0.3%	0.2%	99.5%	10
0.3%	0.2%	99.5%	11
0.3%	0.2%	99.5%	12
0.3%	0.2%	99.5%	13
0.3%	0.1%	99.6%	14

Compiler

Compiled 62 to 45 computations (27.4% saved)

sample3.2s (40.4%)

Results

2.8s	8256×	body	128	valid
373.0ms	1024×	body	128	invalid

Compiler

Compiled 124 to 90 computations (27.4% saved)

preprocess57.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

516×	`fma-neg_binary32`
426×	`fma-def_binary32`
304×	`distribute-rgt-in_binary32`
225×	`unsub-neg_binary32`
193×	`cancel-sign-sub-inv_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	75	259
1	186	217
2	445	217
3	942	182
4	1406	182
5	1644	182
6	1945	182
7	2744	182
8	4465	182
0	4	4

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 29 to 20 computations (31% saved)

simplify36.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

717×	`fma-def_binary32`
598×	`times-frac_binary32`
385×	`fma-neg_binary32`
232×	`div-sub_binary32`
205×	`distribute-neg-frac_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	38	31
2	84	31
3	172	26
4	261	26
5	312	26
6	382	26
7	486	26
8	746	26
9	880	26
10	1085	26
11	1764	26
12	3922	26

Stop Event

1×	node limit

Counts

1 → 2

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Kept	Total
New	2	2
Fresh	1	1
Picked	0	0
Done	0	0
Total	3	3

Error

0.8b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.4b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Status

Error

Program

▶

1.0b

(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

8.4b

(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (*.f32 u normAngle))) n0_i (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 146 to 89 computations (39% saved)

localize63.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(*.f32 (-.f32 1 u) normAngle)
✓	0.2b	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
✓	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	1.6b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

series95.0ms (1.2%)

Counts

4 → 96

Calls

27 calls:

16.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)	normAngle	0
6.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))	normAngle	0
6.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)	n0_i	-inf
5.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)	n0_i	0
5.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)	normAngle	inf

rewrite58.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

625×	`prod-diff_binary32`
157×	`add-sqr-sqrt_binary32`
144×	`add-cbrt-cube_binary32`
144×	`log1p-expm1-u_binary32`
144×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	313	49
2	4030	49

Stop Event

1×	node limit

Counts

4 → 90

simplify61.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

691×	`cancel-sign-sub-inv_binary32`
391×	`fma-def_binary32`
371×	`associate-r_binary32`
266×	`associate-+r+_binary32`
236×	`associate-l_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	2410
1	910	2364
2	3737	2360

Stop Event

1×	node limit

Counts

186 → 141

prune244.0ms (3.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	134	7	141
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	135	8	143

Error

0.0b

Counts

143 → 8

Alt Table

Status	Error	Program
	8.4b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
▶	0.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))
	1.0b	(+.f32 (.f32 (log1p.f32 (expm1.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 1 (/.f32 (sin.f32 normAngle) (sin.f32 (*.f32 u normAngle)))) n1_i))
	0.9b	(+.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.8b	(+.f32 (+.f32 (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 u 1/2) (.f32 1/6 (pow.f32 u 3)))) (-.f32 n0_i (fma.f32 1/6 (.f32 (.f32 normAngle (.f32 u n0_i)) normAngle) (fma.f32 u n0_i (.f32 1/2 (.f32 u (.f32 (.f32 normAngle (.f32 u n0_i)) normAngle))))))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.3b	(+.f32 (.f32 (/.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (pow.f32 (cbrt.f32 (sin.f32 normAngle)) 2)) (cbrt.f32 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (pow.f32 (cbrt.f32 (sin.f32 normAngle)) 2)) (cbrt.f32 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 5749 to 3256 computations (43.4% saved)

localize43.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))
	0.1b	(*.f32 (-.f32 1 u) normAngle)
	0.2b	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))

series60.0ms (0.8%)

Counts

1 → 48

Calls

12 calls:

17.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))	normAngle	0
6.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))	n1_i	inf
5.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))	normAngle	-inf
4.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))	normAngle	inf
4.0ms	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))	u	0

rewrite52.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

287×	`expm1-udef_binary32`
286×	`log1p-udef_binary32`
162×	`add-sqr-sqrt_binary32`
151×	`add-cbrt-cube_binary32`
151×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	21
1	321	21
2	4294	21

Stop Event

1×	node limit

Counts

1 → 40

simplify40.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

402×	`cancel-sign-sub-inv_binary32`
390×	`associate--l+_binary32`
262×	`associate-r_binary32`
230×	`fma-def_binary32`
225×	`distribute-rgt-out_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	1478
1	572	1471
2	2340	1410

Stop Event

1×	node limit

Counts

88 → 60

prune261.0ms (3.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	156	4	160
Fresh	4	3	7
Picked	1	0	1
Done	0	0	0
Total	161	7	168

Error

0.0b

Counts

168 → 7

Alt Table

Status	Error	Program
	8.4b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.7b	(+.f32 (.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i) (*.f32 u n1_i))
▶	0.6b	(-.f32 (+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 n0_i (.f32 (.f32 normAngle normAngle) (pow.f32 u 3))) n0_i)) (.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (pow.f32 (cbrt.f32 (sin.f32 normAngle)) 2)) (cbrt.f32 (sin.f32 normAngle))) n1_i))
	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
	0.8b	(+.f32 (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 2) n0_i) (*.f32 u n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 1 (/.f32 (sin.f32 normAngle) (sin.f32 (*.f32 u normAngle)))) n1_i))

Compiler

Compiled 5500 to 3066 computations (44.3% saved)

localize83.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)
✓	0.1b	(.f32 u (.f32 normAngle normAngle))
✓	0.1b	(.f32 (.f32 normAngle normAngle) (pow.f32 u 3))
✓	0.1b	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))

series63.0ms (0.8%)

Counts

4 → 108

Calls

27 calls:

4.0ms	(.f32 (.f32 normAngle normAngle) (pow.f32 u 3))	normAngle	-inf
4.0ms	(.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)	n0_i	0
4.0ms	(.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)	u	-inf
3.0ms	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))	u	-inf
3.0ms	(.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)	n0_i	inf

rewrite52.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

276×	`expm1-udef_binary32`
276×	`log1p-udef_binary32`
187×	`associate-r_binary32`
159×	`add-sqr-sqrt_binary32`
151×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	336	40
2	4004	40

Stop Event

1×	node limit

Counts

4 → 58

simplify149.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

676×	`associate-l_binary32`
603×	`*-commutative_binary32`
582×	`sqr-pow_binary32`
488×	`associate-r_binary32`
245×	`cube-prod_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	1188
1	54	1188
2	146	1188
3	481	1188
4	2303	1188
5	2354	1188
6	2485	1188
7	2685	1188
8	2871	1188
9	3092	1188
10	3682	1188
11	4008	1188
12	4415	1188
13	4917	1188

Stop Event

1×	node limit

Counts

166 → 67

prune118.0ms (1.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	67	7	74

Error

0.0b

Counts

74 → 7

Alt Table

Status	Error	Program
	8.4b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
▶	0.7b	(+.f32 (.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i) (*.f32 u n1_i))
✓	0.6b	(-.f32 (+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 n0_i (.f32 (.f32 normAngle normAngle) (pow.f32 u 3))) n0_i)) (.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (pow.f32 (cbrt.f32 (sin.f32 normAngle)) 2)) (cbrt.f32 (sin.f32 normAngle))) n1_i))
	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
	0.8b	(+.f32 (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 2) n0_i) (*.f32 u n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 1 (/.f32 (sin.f32 normAngle) (sin.f32 (*.f32 u normAngle)))) n1_i))

Compiler

Compiled 3080 to 1537 computations (50.1% saved)

localize42.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i) (*.f32 u n1_i))
✓	0.2b	(.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i)
✓	0.2b	(/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (*.f32 u normAngle)))
✓	1.5b	(/.f32 (sin.f32 normAngle) (*.f32 u normAngle))

series123.0ms (1.6%)

Counts

4 → 112

Calls

33 calls:

7.0ms	(.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i)	n0_i	-inf
6.0ms	(+.f32 (.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i) (*.f32 u n1_i))	normAngle	-inf
6.0ms	(/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (*.f32 u normAngle)))	normAngle	-inf
6.0ms	(.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i)	n0_i	0
5.0ms	(.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i)	n0_i	inf

rewrite76.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

299×	`log1p-udef_binary32`
167×	`add-sqr-sqrt_binary32`
156×	`add-cbrt-cube_binary32`
156×	`log1p-expm1-u_binary32`
156×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	67
1	326	67
2	4718	67

Stop Event

1×	node limit

Counts

4 → 143

simplify64.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

928×	`fma-def_binary32`
360×	`associate-r_binary32`
353×	`associate-l_binary32`
256×	`cancel-sign-sub-inv_binary32`
233×	`associate-+l+_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2259
1	400	2259
2	1246	2203

Stop Event

1×	node limit

Counts

255 → 192

prune225.0ms (2.8%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	192	7	199

Error

0.0b

Counts

199 → 7

Alt Table

Status	Error	Program
	8.4b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
✓	0.7b	(+.f32 (.f32 (-.f32 1 (/.f32 (cos.f32 normAngle) (/.f32 (sin.f32 normAngle) (.f32 u normAngle)))) n0_i) (*.f32 u n1_i))
✓	0.6b	(-.f32 (+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 n0_i (.f32 (.f32 normAngle normAngle) (pow.f32 u 3))) n0_i)) (.f32 (.f32 n0_i (.f32 u (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (pow.f32 (cbrt.f32 (sin.f32 normAngle)) 2)) (cbrt.f32 (sin.f32 normAngle))) n1_i))
	0.7b	(+.f32 (fma.f32 u (.f32 (.f32 normAngle normAngle) (.f32 1/3 n0_i)) n0_i) (.f32 u (-.f32 n1_i n0_i)))
	0.8b	(+.f32 (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 2) n0_i) (*.f32 u n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (/.f32 1 (/.f32 (sin.f32 normAngle) (sin.f32 (*.f32 u normAngle)))) n1_i))

Compiler

Compiled 4700 to 1795 computations (61.8% saved)

regimes974.0ms (12.3%)

Accuracy

Total 0.4b remaining (95.8%)

Threshold costs 0.4b (95.8%)

Counts

172 → 1

Compiler

Compiled 23133 to 15487 computations (33.1% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary32`
3×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	52
1	35	52
2	39	52
3	41	52
4	42	52

Stop Event

1×

saturated

end127.0ms (1.6%)

Stop Event

1×

fuel

Compiler

Compiled 266 to 170 computations (36.1% saved)

Details

analyze1.6s (19.6%)

sample3.2s (40.4%)

preprocess57.0ms (0.7%)

simplify36.0ms (0.4%)

prune4.0ms (0%)

localize63.0ms (0.8%)

series95.0ms (1.2%)

rewrite58.0ms (0.7%)

simplify61.0ms (0.8%)

prune244.0ms (3.1%)

localize43.0ms (0.5%)

series60.0ms (0.8%)

rewrite52.0ms (0.7%)

simplify40.0ms (0.5%)

prune261.0ms (3.3%)

localize83.0ms (1%)

series63.0ms (0.8%)

rewrite52.0ms (0.7%)

simplify149.0ms (1.9%)

prune118.0ms (1.5%)

localize42.0ms (0.5%)

series123.0ms (1.6%)

rewrite76.0ms (1%)

simplify64.0ms (0.8%)

prune225.0ms (2.8%)

regimes974.0ms (12.3%)

simplify6.0ms (0.1%)

end127.0ms (1.6%)

Profiling