Details

analyze2.9s (17.5%)

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)

sample6.3s (38.3%)

Results

5.4s	8256×	body	128	valid
716.0ms	1047×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

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

prune9.0ms (0.1%)

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.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.8b	(+.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))
	7.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

▶

0.8b

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

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

localize131.0ms (0.8%)

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

series249.0ms (1.5%)

Counts

4 → 96

Calls

4 calls:

133.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
60.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
47.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
9.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite73.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:

16.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
16.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
14.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
10.0ms	(*.f32 (-.f32 1 u) normAngle)

simplify227.0ms (1.4%)

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

prune642.0ms (3.9%)

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
	0.8b	(+.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)) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))
	0.8b	(+.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))
	0.8b	(+.f32 (.f32 (.f32 (sqrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (sqrt.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 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.9b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))
	7.1b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.9b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.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.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (exp.f32 (+.f32 (log.f32 (sin.f32 (*.f32 u normAngle))) (neg.f32 (log.f32 (sin.f32 normAngle))))) n1_i))
▶	0.4b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
	0.9b	(+.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)) (.f32 (cbrt.f32 (/.f32 1 (sin.f32 normAngle))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle))))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 9502 to 5015 computations (47.2% saved)

localize143.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series27.0ms (0.2%)

Counts

1 → 24

Calls

1 calls:

27.0ms

(*.f32 1/6 (*.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-exp-log_binary32`
16×	`prod-exp_binary32`
10×	`add-cbrt-cube_binary32`
6×	`cbrt-unprod_binary32`
3×	`associate-l_binary32`

Counts

1 → 25

Calls

1 calls:

7.0ms

(*.f32 1/6 (*.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))

simplify72.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

655×	`associate-/l*_binary32`
521×	`associate-+l+_binary32`
391×	`unswap-sqr_binary32`
359×	`sqr-pow_binary32`
326×	`*-commutative_binary32`

Counts

49 → 26

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	61	753
1	125	681
2	509	681
3	1063	669
4	2003	669
5	3923	669
6	5341	669

prune557.0ms (3.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	190	3	193
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	194	10	204

Error

0.0b

Counts

204 → 10

Alt Table

Status	Error	Program
▶	0.4b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle))) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) n1_i))
	0.8b	(+.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)) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))
	0.6b	(+.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 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
	0.8b	(+.f32 (.f32 (.f32 (sqrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (sqrt.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 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.9b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))
	7.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.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (exp.f32 (+.f32 (log.f32 (sin.f32 (*.f32 u normAngle))) (neg.f32 (log.f32 (sin.f32 normAngle))))) n1_i))
	0.4b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
	0.9b	(+.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)) (.f32 (cbrt.f32 (/.f32 1 (sin.f32 normAngle))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle))))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 9548 to 5109 computations (46.5% saved)

localize120.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 u (.f32 normAngle normAngle))
	0.1b	(.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))
	0.2b	(*.f32 (-.f32 1 u) normAngle)
✓	0.3b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle)))

series99.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

84.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle)))
15.0ms	(.f32 u (.f32 normAngle normAngle))

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary32`
14×	`associate-r_binary32`
12×	`add-cbrt-cube_binary32`
12×	`add-exp-log_binary32`
11×	`*-un-lft-identity_binary32`

Counts

2 → 55

Calls

2 calls:

15.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle)))
9.0ms	(.f32 u (.f32 normAngle normAngle))

simplify220.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

402×	`associate-r_binary32`
394×	`cancel-sign-sub-inv_binary32`
316×	`associate-l_binary32`
256×	`distribute-rgt-out_binary32`
254×	`fma-neg_binary32`

Counts

115 → 105

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	253	2370
1	710	2224
2	2785	2165
3	4572	2160
4	4990	2160
5	4960	2160

prune537.0ms (3.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	173	0	173
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	173	10	183

Error

0.0b

Counts

183 → 10

Alt Table

Status	Error	Program
✓	0.4b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 n0_i (sin.f32 normAngle))) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) n1_i))
	0.8b	(+.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)) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))
	0.6b	(+.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 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
	0.8b	(+.f32 (.f32 (.f32 (sqrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (sqrt.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 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.9b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))
	7.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.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (exp.f32 (+.f32 (log.f32 (sin.f32 (*.f32 u normAngle))) (neg.f32 (log.f32 (sin.f32 normAngle))))) n1_i))
▶	0.4b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
	0.9b	(+.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)) (.f32 (cbrt.f32 (/.f32 1 (sin.f32 normAngle))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle))))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 8024 to 4107 computations (48.8% saved)

localize114.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series103.0ms (0.6%)

Counts

2 → 60

Calls

2 calls:

99.0ms	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
4.0ms	(*.f32 (-.f32 1 u) n0_i)

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`associate-*l/_binary32`
9×	`add-sqr-sqrt_binary32`
7×	`*-un-lft-identity_binary32`
6×	`associate-l_binary32`
5×	`flip--_binary32`

Counts

2 → 43

Calls

2 calls:

6.0ms	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))) n1_i))
5.0ms	(*.f32 (-.f32 1 u) n0_i)

simplify115.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

886×	`fma-neg_binary32`
333×	`cancel-sign-sub-inv_binary32`
278×	`associate-+l+_binary32`
266×	`+-commutative_binary32`
232×	`associate-+r+_binary32`

Counts

103 → 94

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	159	3341
1	511	2922
2	2072	2583
3	4629	2583
4	5273	2583

prune537.0ms (3.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	148	5	153
Fresh	5	3	8
Picked	1	0	1
Done	1	0	1
Total	155	8	163

Error

0.0b

Counts

163 → 8

Alt Table

Status	Error	Program
	0.9b	(+.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)) (.f32 (cbrt.f32 (/.f32 1 (sin.f32 normAngle))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle))))) (cbrt.f32 (/.f32 1 (sin.f32 normAngle)))) n1_i))
	0.4b	(+.f32 n0_i (fma.f32 n1_i (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (neg.f32 (*.f32 n0_i u))))
	0.8b	(+.f32 (.f32 (.f32 (sqrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (sqrt.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.4b	(-.f32 (+.f32 (.f32 1/6 (.f32 n1_i (.f32 u (pow.f32 normAngle 2)))) (+.f32 (.f32 n1_i u) n0_i)) (*.f32 u n0_i))
	1.0b	(/.f32 (fma.f32 (-.f32 1 (.f32 u u)) (.f32 n0_i (+.f32 u (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (+.f32 u (pow.f32 u 3))))) (.f32 (fma.f32 (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u) (.f32 (.f32 (pow.f32 normAngle 4) (pow.f32 u 6)) -1/36)) (.f32 n1_i (+.f32 u 1)))) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (+.f32 u (pow.f32 u 3)))) (+.f32 u 1)))
	1.0b	(.f32 (.f32 (cbrt.f32 (-.f32 n0_i (fma.f32 n0_i u (.f32 n1_i (fma.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 (pow.f32 u 3) u) (neg.f32 u)))))) (cbrt.f32 (-.f32 n0_i (fma.f32 n0_i u (.f32 n1_i (fma.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 (pow.f32 u 3) u) (neg.f32 u))))))) (cbrt.f32 (-.f32 n0_i (fma.f32 n0_i u (.f32 n1_i (fma.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 (pow.f32 u 3) u) (neg.f32 u)))))))
	0.4b	(-.f32 n0_i (fma.f32 n0_i u (.f32 n1_i (fma.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 (pow.f32 u 3) u) (neg.f32 u)))))
	7.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 5791 to 3051 computations (47.3% saved)

regimes2.6s (15.7%)

Accuracy

Total 0.4b remaining (94.9%)

Threshold costs 0.4b (94.9%)

Counts

235 → 1

Compiler

Compiled 40323 to 26247 computations (34.9% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary32`
10×	`+-commutative_binary32`
9×	`sub-neg_binary32`
7×	`distribute-rgt-neg-in_binary32`
7×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	52
1	42	52
2	58	52
3	74	52
4	87	52
5	93	52
6	95	52
7	94	52

end366.0ms (2.2%)

Compiler: Compiled 389 to 234 computations (39.8% saved)

Details

analyze2.9s (17.5%)

sample6.3s (38.3%)

simplify262.0ms (1.6%)

prune9.0ms (0.1%)

localize131.0ms (0.8%)

series249.0ms (1.5%)

rewrite73.0ms (0.4%)

simplify227.0ms (1.4%)

prune642.0ms (3.9%)

localize143.0ms (0.9%)

series27.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify72.0ms (0.4%)

prune557.0ms (3.4%)

localize120.0ms (0.7%)

series99.0ms (0.6%)

rewrite33.0ms (0.2%)

simplify220.0ms (1.3%)

prune537.0ms (3.3%)

localize114.0ms (0.7%)

series103.0ms (0.6%)

rewrite15.0ms (0.1%)

simplify115.0ms (0.7%)

prune537.0ms (3.3%)

regimes2.6s (15.7%)

simplify9.0ms (0.1%)

end366.0ms (2.2%)

Profiling