Details

analyze1.6s (11.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.4s (25.4%)

Results

2.9s	8256×	body	128	valid
352.0ms	951×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify216.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

2213×	`fma-def_binary32`
1110×	`div-sub_binary32`
1069×	`fma-neg_binary32`
619×	`times-frac_binary32`
350×	`sub-neg_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	38	31
2	78	31
3	137	26
4	203	26
5	232	26
6	274	26
7	372	26
8	432	26
9	523	26
10	666	26
11	1121	26
12	2051	26
13	2034	26
14	2092	26
15	2417	26
16	2722	26
17	2897	26
18	2169	26
19	2439	26
20	2299	26
21	2299	26
22	2299	26
23	2299	26
24	2299	26
25	2299	26
26	2114	26

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

1.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.1b	(+.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))
	9.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Status

Error

Program

▶

1.1b

(+.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))

9.1b

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

Compiler

Compiled 146 to 95 computations (34.9% saved)

localize58.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series131.0ms (1%)

Counts

4 → 96

Calls

4 calls:

66.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
29.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
24.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
11.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite289.0ms (2.1%)

Algorithm

4×	egg-rewrite

Rules

54×	`egg`
51×	`egg`
50×	`egg`
39×	`egg`

Counts

4 → 194

Calls

4 calls:

93.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
79.0ms	(*.f32 (-.f32 1 u) normAngle)
59.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
53.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	11
1	178	11
2	2009	11
3	5142	11
0	10	14
1	209	14
2	2494	14
3	4952	14
0	6	7
1	122	7
2	1446	7
3	4915	7
4	4972	7
0	12	17
1	250	17
2	3013	17
3	4908	17
4	5345	17

simplify114.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

691×	`cancel-sign-sub-inv_binary32`
391×	`fma-def_binary32`
370×	`associate-r_binary32`
267×	`associate-+r+_binary32`
257×	`fma-neg_binary32`

Counts

290 → 239

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	2410
1	882	2364
2	3471	2360
3	4986	2360
4	5000	2360

prune743.0ms (5.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	231	8	239
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	232	9	241

Error

0.0b

Counts

241 → 9

Alt Table

Status	Error	Program
	1.2b	(+.f32 (.f32 (log.f32 (+.f32 1 (expm1.f32 (/.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (sin.f32 normAngle))))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.4b	(+.f32 (.f32 (.f32 (.f32 (/.f32 1 (sin.f32 normAngle)) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) 2)) (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	13.0b	(+.f32 (.f32 (.f32 (sin.f32 (pow.f32 (pow.f32 (.f32 (-.f32 1 u) normAngle) 3) 1/3)) (/.f32 1 (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 (pow.f32 (sin.f32 normAngle) -1/2) (/.f32 (sin.f32 (.f32 u normAngle)) (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) normAngle) (+.f32 1 u))) (/.f32 1 (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 u normAngle) (sin.f32 normAngle)) n1_i))
	9.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.0b	(+.f32 (-.f32 (fma.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 11/120 (.f32 u (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/24 (.f32 (pow.f32 u 4) (.f32 (pow.f32 normAngle 4) n0_i)) n0_i)))))) (fma.f32 1/6 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/120 (.f32 (pow.f32 u 5) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 u n0_i (fma.f32 1/2 (.f32 (.f32 u u) (.f32 normAngle (.f32 normAngle n0_i))) (.f32 (.f32 (pow.f32 normAngle 4) n0_i) (+.f32 (.f32 u 5/72) (.f32 (pow.f32 u 3) 1/12))))))))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
▶	0.7b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))

Compiler

Compiled 9118 to 5040 computations (44.7% saved)

localize46.0ms (0.3%)

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 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
	0.1b	(*.f32 (-.f32 1 u) normAngle)
	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))

series69.0ms (0.5%)

Counts

1 → 48

Calls

1 calls:

69.0ms

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

rewrite78.0ms (0.6%)

Algorithm

1×	egg-rewrite

Rules

43× egg

Counts

1 → 43

Calls

1 calls:

77.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	21
1	320	21
2	4015	21
3	5083	21

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

402×	`cancel-sign-sub-inv_binary32`
391×	`associate--r+_binary32`
390×	`associate--l+_binary32`
261×	`associate-r_binary32`
230×	`fma-def_binary32`

Counts

91 → 62

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	167	1478
1	543	1471
2	2158	1410
3	5064	1410

prune601.0ms (4.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	235	2	237
Fresh	4	4	8
Picked	1	0	1
Done	0	0	0
Total	240	6	246

Error

Counts

246 → 6

Alt Table

Status	Error	Program
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) normAngle) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
▶	0.6b	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.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 u normAngle) (sin.f32 normAngle)) n1_i))
	9.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.0b	(+.f32 (-.f32 (fma.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 11/120 (.f32 u (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/24 (.f32 (pow.f32 u 4) (.f32 (pow.f32 normAngle 4) n0_i)) n0_i)))))) (fma.f32 1/6 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/120 (.f32 (pow.f32 u 5) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 u n0_i (fma.f32 1/2 (.f32 (.f32 u u) (.f32 normAngle (.f32 normAngle n0_i))) (.f32 (.f32 (pow.f32 normAngle 4) n0_i) (+.f32 (.f32 u 5/72) (.f32 (pow.f32 u 3) 1/12))))))))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 7494 to 4238 computations (43.4% saved)

localize82.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)
✓	0.1b	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u))))
✓	0.1b	(.f32 n0_i (.f32 normAngle normAngle))
✓	0.1b	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))

series406.0ms (3%)

Counts

4 → 132

Calls

4 calls:

315.0ms	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u))))
53.0ms	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))
28.0ms	(.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)
9.0ms	(.f32 n0_i (.f32 normAngle normAngle))

rewrite271.0ms (2%)

Algorithm

4×	egg-rewrite

Rules

47×	`egg`
42×	`egg`
32×	`egg`
31×	`egg`

Counts

4 → 152

Calls

4 calls:

81.0ms	(.f32 n0_i (.f32 normAngle normAngle))
81.0ms	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u))))
54.0ms	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))
51.0ms	(.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	164	10
2	1796	10
3	5317	10
0	5	7
1	100	7
2	1126	7
3	4722	7
4	5981	7
0	24	55
1	543	52
2	4848	52
3	5679	52
0	9	13
1	184	13
2	2114	13
3	5154	13

simplify218.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

638×	`fma-def_binary32`
355×	`associate-l_binary32`
335×	`cancel-sign-sub-inv_binary32`
334×	`distribute-rgt-neg-in_binary32`
323×	`distribute-lft-neg-in_binary32`

Counts

284 → 185

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	85	3152
1	254	2955
2	812	2618
3	3196	2581
4	4770	2581
5	5140	2581

prune691.0ms (5.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	233	0	233
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	233	6	239

Error

Counts

239 → 6

Alt Table

Status	Error	Program
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) normAngle) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
▶	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
✓	0.6b	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.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 u normAngle) (sin.f32 normAngle)) n1_i))
	9.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.0b	(+.f32 (-.f32 (fma.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 11/120 (.f32 u (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/24 (.f32 (pow.f32 u 4) (.f32 (pow.f32 normAngle 4) n0_i)) n0_i)))))) (fma.f32 1/6 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/120 (.f32 (pow.f32 u 5) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 u n0_i (fma.f32 1/2 (.f32 (.f32 u u) (.f32 normAngle (.f32 normAngle n0_i))) (.f32 (.f32 (pow.f32 normAngle 4) n0_i) (+.f32 (.f32 u 5/72) (.f32 (pow.f32 u 3) 1/12))))))))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 10630 to 4902 computations (53.9% saved)

localize85.0ms (0.6%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(*.f32 u (-.f32 n1_i n0_i))
✓	0.1b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))

series15.0ms (0.1%)

Counts

2 → 72

Calls

2 calls:

8.0ms	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
7.0ms	(*.f32 u (-.f32 n1_i n0_i))

rewrite129.0ms (1%)

Algorithm

2×	egg-rewrite

Rules

39×	`egg`
35×	`egg`

Counts

2 → 74

Calls

2 calls:

80.0ms	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
48.0ms	(*.f32 u (-.f32 n1_i n0_i))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	158	8
2	2197	8
3	5428	8
0	6	7
1	129	7
2	1676	7
3	5023	7

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

275×	`fma-neg_binary32`
266×	`fma-def_binary32`
60×	`distribute-rgt-in_binary32`
38×	`cancel-sign-sub-inv_binary32`
36×	`unsub-neg_binary32`

Counts

146 → 87

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	585
1	64	558
2	115	558
3	193	504
4	358	504
5	564	504
6	642	504
7	666	504
8	623	504

prune273.0ms (2%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	87	0	87
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	87	6	93

Error

Counts

93 → 6

Alt Table

Status	Error	Program
	1.2b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) normAngle) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
✓	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))
✓	0.6b	(+.f32 (fma.f32 n1_i u (fma.f32 1/6 (.f32 (.f32 n0_i (.f32 normAngle normAngle)) (pow.f32 u 3)) n0_i)) (-.f32 (.f32 (.f32 u (.f32 n0_i (.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 u normAngle) (sin.f32 normAngle)) n1_i))
	9.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.0b	(+.f32 (-.f32 (fma.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 11/120 (.f32 u (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/24 (.f32 (pow.f32 u 4) (.f32 (pow.f32 normAngle 4) n0_i)) n0_i)))))) (fma.f32 1/6 (.f32 u (.f32 normAngle (.f32 normAngle n0_i))) (fma.f32 1/12 (.f32 (.f32 u u) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 1/120 (.f32 (pow.f32 u 5) (.f32 (pow.f32 normAngle 4) n0_i)) (fma.f32 u n0_i (fma.f32 1/2 (.f32 (.f32 u u) (.f32 normAngle (.f32 normAngle n0_i))) (.f32 (.f32 (pow.f32 normAngle 4) n0_i) (+.f32 (.f32 u 5/72) (.f32 (pow.f32 u 3) 1/12))))))))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 1331 to 493 computations (63% saved)

regimes3.7s (27.5%)

Accuracy

Total 0.4b remaining (95.4%)

Threshold costs 0.4b (95.4%)

Counts

421 → 1

Compiler

Compiled 61023 to 41312 computations (32.3% saved)

simplify4.0ms (0%)

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
5	41	52

end165.0ms (1.2%)

Compiler: Compiled 352 to 218 computations (38.1% saved)

Iter	Nodes	Cost
0	26	585
1	64	558
2	115	558
3	193	504
4	358	504
5	564	504
6	642	504
7	666	504
8	623	504

Iter	Nodes	Cost
0	26	585
1	64	558
2	115	558
3	193	504
4	358	504
5	564	504
6	642	504
7	666	504
8	623	504

Details

analyze1.6s (11.6%)

sample3.4s (25.4%)

simplify216.0ms (1.6%)

prune4.0ms (0%)

localize58.0ms (0.4%)

series131.0ms (1%)

rewrite289.0ms (2.1%)

simplify114.0ms (0.8%)

prune743.0ms (5.5%)

localize46.0ms (0.3%)

series69.0ms (0.5%)

rewrite78.0ms (0.6%)

simplify76.0ms (0.6%)

prune601.0ms (4.4%)

localize82.0ms (0.6%)

series406.0ms (3%)

rewrite271.0ms (2%)

simplify218.0ms (1.6%)

prune691.0ms (5.1%)

localize85.0ms (0.6%)

series15.0ms (0.1%)

rewrite129.0ms (1%)

simplify43.0ms (0.3%)

prune273.0ms (2%)

regimes3.7s (27.5%)

simplify4.0ms (0%)

end165.0ms (1.2%)

Profiling

Iter	Nodes	Cost
0	26	585
1	64	558
2	115	558
3	193	504
4	358	504
5	564	504
6	642	504
7	666	504
8	623	504