Details

analyze1.5s (15%)

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

Results

3.0s	8256×	body	128	valid
349.0ms	951×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify196.0ms (1.9%)

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)

localize56.0ms (0.5%)

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

series118.0ms (1.1%)

Counts

4 → 96

Calls

4 calls:

61.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)))
23.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
4.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite37.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary32`
39×	`add-exp-log_binary32`
32×	`associate-r_binary32`
28×	`*-un-lft-identity_binary32`
25×	`add-cbrt-cube_binary32`

Counts

4 → 127

Calls

4 calls:

7.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
7.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
7.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
7.0ms	(*.f32 (-.f32 1 u) normAngle)

simplify114.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

518×	`associate-r_binary32`
451×	`associate-l_binary32`
394×	`fma-def_binary32`
309×	`*-commutative_binary32`
269×	`associate-+r+_binary32`

Counts

223 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	410	4670
1	1199	4259
2	4415	4255
3	5052	4255

prune410.0ms (4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	227	10	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	228	11	239

Error

0.0b

Counts

239 → 11

Alt Table

Status	Error	Program
	6.2b	(+.f32 (/.f32 (.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i) (sin.f32 normAngle)) (.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))
	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))
	1.3b	(+.f32 (.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sqrt.f32 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	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))
	1.1b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle))) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.3b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) (cbrt.f32 (sin.f32 (.f32 u normAngle)))) (/.f32 (cbrt.f32 (sin.f32 (*.f32 u normAngle))) (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 (sqrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)))) n1_i))
	1.2b	(+.f32 (.f32 (log.f32 (exp.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))
	1.4b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)))) (/.f32 (cbrt.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))
	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 9698 to 5111 computations (47.3% saved)

localize43.0ms (0.4%)

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

series71.0ms (0.7%)

Counts

1 → 48

Calls

1 calls:

71.0ms

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

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`add-log-exp_binary32`
1×	`+-commutative_binary32`
1×	`flip-+_binary32`
1×	`*-un-lft-identity_binary32`
1×	`flip3-+_binary32`

Counts

1 → 14

Calls

1 calls:

8.0ms

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

simplify137.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

484×	`cancel-sign-sub-inv_binary32`
324×	`fma-neg_binary32`
315×	`associate-r_binary32`
267×	`fma-def_binary32`
246×	`distribute-rgt-out_binary32`

Counts

62 → 43

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	194	2000
1	650	1890
2	2605	1818
3	4581	1818
4	4995	1818
5	4981	1818

prune318.0ms (3.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	208	2	210
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	215	6	221

Error

Counts

221 → 6

Alt Table

Status	Error	Program
	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_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.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))
	1.3b	(+.f32 (.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sqrt.f32 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	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.6b	(-.f32 (+.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 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))

Compiler

Compiled 7283 to 3912 computations (46.3% saved)

localize81.0ms (0.8%)

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 n0_i (.f32 normAngle normAngle))
✓	0.1b	(-.f32 (+.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 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 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))

series199.0ms (1.9%)

Counts

4 → 132

Calls

4 calls:

137.0ms	(-.f32 (+.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 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))
35.0ms	(.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)
17.0ms	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))
10.0ms	(.f32 n0_i (.f32 normAngle normAngle))

rewrite37.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

44×	`add-cbrt-cube_binary32`
44×	`add-exp-log_binary32`
44×	`pow1_binary32`
28×	`cbrt-unprod_binary32`
28×	`prod-exp_binary32`

Counts

4 → 105

Calls

4 calls:

8.0ms	(-.f32 (+.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 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))
8.0ms	(.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle))
7.0ms	(.f32 (.f32 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)
4.0ms	(.f32 n0_i (.f32 normAngle normAngle))

simplify177.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

575×	`fma-neg_binary32`
474×	`associate-l_binary32`
468×	`associate-r_binary32`
220×	`*-commutative_binary32`
214×	`fma-def_binary32`

Counts

237 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	287	6850
1	792	6236
2	3549	6151
3	4954	6149
4	4951	6149

prune402.0ms (3.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	216	0	216
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	216	6	222

Error

Counts

222 → 6

Alt Table

Status	Error	Program
▶	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_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.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))
	1.3b	(+.f32 (.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sqrt.f32 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	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.6b	(-.f32 (+.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 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))

Compiler

Compiled 11603 to 4937 computations (57.5% saved)

localize16.0ms (0.2%)

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:

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

rewrite19.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

37×	`add-sqr-sqrt_binary32`
36×	`prod-diff_binary32`
35×	`*-un-lft-identity_binary32`
33×	`add-cube-cbrt_binary32`
26×	`distribute-lft-in_binary32`

Counts

2 → 92

Calls

2 calls:

6.0ms	(*.f32 u (-.f32 n1_i n0_i))
5.0ms	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_i)))

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

969×	`fma-neg_binary32`
665×	`fma-def_binary32`
409×	`distribute-rgt-in_binary32`
379×	`distribute-lft-in_binary32`
287×	`*-commutative_binary32`

Counts

164 → 133

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	170	1649
1	288	1433
2	1030	1375
3	3371	1321
4	4230	1321
5	5050	1321

prune172.0ms (1.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	133	0	133
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	133	6	139

Error

Counts

139 → 6

Alt Table

Status	Error	Program
✓	0.8b	(+.f32 n0_i (*.f32 u (-.f32 n1_i n0_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.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))
	1.3b	(+.f32 (.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sqrt.f32 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	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.6b	(-.f32 (+.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 u (.f32 n0_i (.f32 normAngle normAngle))) 1/3)) (.f32 n0_i (+.f32 (.f32 (.f32 1/2 (.f32 u u)) (.f32 normAngle normAngle)) u)))

Compiler

Compiled 2602 to 716 computations (72.5% saved)

regimes2.4s (23.5%)

Accuracy

Total 0.4b remaining (95.5%)

Threshold costs 0.4b (95.5%)

Counts

351 → 1

Compiler

Compiled 52533 to 33852 computations (35.6% 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

end154.0ms (1.5%)

Compiler: Compiled 351 to 214 computations (39% saved)

Details

analyze1.5s (15%)

sample3.4s (33.4%)

simplify196.0ms (1.9%)

prune4.0ms (0%)

localize56.0ms (0.5%)

series118.0ms (1.1%)

rewrite37.0ms (0.4%)

simplify114.0ms (1.1%)

prune410.0ms (4%)

localize43.0ms (0.4%)

series71.0ms (0.7%)

rewrite9.0ms (0.1%)

simplify137.0ms (1.3%)

prune318.0ms (3.1%)

localize81.0ms (0.8%)

series199.0ms (1.9%)

rewrite37.0ms (0.4%)

simplify177.0ms (1.7%)

prune402.0ms (3.9%)

localize16.0ms (0.2%)

series15.0ms (0.1%)

rewrite19.0ms (0.2%)

simplify92.0ms (0.9%)

prune172.0ms (1.7%)

regimes2.4s (23.5%)

simplify4.0ms (0%)

end154.0ms (1.5%)

Profiling