Details

analyze1.6s (18.8%)

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)

sample177.0ms (2.1%)

Algorithm

1×

intervals

Results

47.0ms	256×	body	128	valid
14.0ms	256×	pre	128	true
2.0ms	35×	pre	128	false

Compiler

Compiled 95 to 69 computations (27.4% saved)

simplify176.0ms (2.1%)

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

0.8b

Counts

3 → 2

Alt Table

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

Status

Error

Program

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

▶

0.9b

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

Compiler

Compiled 146 to 95 computations (34.9% saved)

localize76.0ms (0.9%)

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.5b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	2.2b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

series122.0ms (1.5%)

Counts

4 → 96

Calls

4 calls:

63.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
27.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
27.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
4.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite37.0ms (0.5%)

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:

9.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 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 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
5.0ms	(*.f32 (-.f32 1 u) normAngle)

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

prune399.0ms (4.8%)

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

Counts

239 → 11

Alt Table

Status	Error	Program
	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))
	0.8b	(+.f32 (.f32 (-.f32 (fma.f32 1/6 (/.f32 (.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (cos.f32 normAngle)) (sin.f32 normAngle)) 1) (fma.f32 1/2 (.f32 u (.f32 u (.f32 normAngle normAngle))) (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.f32 (.f32 (expm1.f32 (log1p.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.0b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.1b	(+.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 1 (sqrt.f32 (sin.f32 normAngle)))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	1.1b	(+.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))
	1.1b	(+.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 (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))
	0.9b	(+.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 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))
▶	0.4b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i))

Compiler

Compiled 9512 to 5013 computations (47.3% saved)

localize77.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6))
	0.1b	(*.f32 (-.f32 1 u) normAngle)
	0.5b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	2.5b	(/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle))

series77.0ms (0.9%)

Counts

2 → 28

Calls

2 calls:

42.0ms

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

35.0ms

(/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle))

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary32`
10×	`div-exp_binary32`
9×	`prod-exp_binary32`
7×	`add-cbrt-cube_binary32`
6×	`pow-exp_binary32`

Counts

2 → 41

Calls

2 calls:

5.0ms

(/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle))

0.0ms

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

simplify72.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

779×	`fma-def_binary32`
469×	`associate-*l/_binary32`
387×	`associate-/r*_binary32`
385×	`associate-*r/_binary32`
328×	`associate-/l/_binary32`

Counts

69 → 69

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	1743
1	315	1595
2	1303	1560
3	4926	1541
4	5302	1541

prune372.0ms (4.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	182	3	185
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	185	11	196

Error

0.0b

Counts

196 → 11

Alt Table

Status	Error	Program
	0.5b	(+.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 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i))
	1.1b	(+.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))
▶	0.4b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i))
	1.0b	(+.f32 (.f32 (expm1.f32 (log1p.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.0b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.1b	(+.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 1 (sqrt.f32 (sin.f32 normAngle)))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	0.5b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	1.1b	(+.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))
	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 (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))
	0.9b	(+.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))

Compiler

Compiled 8568 to 4846 computations (43.4% saved)

localize58.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series50.0ms (0.6%)

Counts

2 → 36

Calls

2 calls:

46.0ms	(.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)
4.0ms	(*.f32 (-.f32 1 u) n0_i)

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

39×	`add-exp-log_binary32`
21×	`prod-exp_binary32`
14×	`add-sqr-sqrt_binary32`
13×	`associate-l_binary32`
13×	`add-cbrt-cube_binary32`

Counts

2 → 62

Calls

2 calls:

8.0ms	(.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)
5.0ms	(*.f32 (-.f32 1 u) n0_i)

simplify51.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

812×	`times-frac_binary32`
777×	`associate-/l*_binary32`
242×	`fma-def_binary32`
178×	`associate-l_binary32`
178×	`unswap-sqr_binary32`

Counts

98 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	162	1701
1	362	1535
2	1381	1519
3	5404	1519

prune324.0ms (3.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	164	3	167
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	168	10	178

Error

0.0b

Counts

178 → 10

Alt Table

Status	Error	Program
	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))
	0.5b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	1.1b	(+.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 1 (sqrt.f32 (sin.f32 normAngle)))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	1.1b	(+.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))
	0.6b	(+.f32 (.f32 (.f32 (cbrt.f32 (-.f32 1 u)) (cbrt.f32 (-.f32 1 u))) (.f32 (cbrt.f32 (-.f32 1 u)) n0_i)) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i))
▶	0.4b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i))
	1.1b	(+.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 (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))
	0.9b	(+.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.0b	(+.f32 (.f32 (expm1.f32 (log1p.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))

Compiler

Compiled 6176 to 3570 computations (42.2% saved)

localize62.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series141.0ms (1.7%)

Counts

1 → 48

Calls

1 calls:

141.0ms

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-log-exp_binary32`
5×	`associate-+l+_binary32`
4×	`*-un-lft-identity_binary32`
4×	`fma-def_binary32`
3×	`prod-diff_binary32`

Counts

1 → 24

Calls

1 calls:

5.0ms

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

simplify88.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-neg_binary32`
729×	`fma-def_binary32`
288×	`cancel-sign-sub-inv_binary32`
277×	`associate--l+_binary32`
268×	`distribute-rgt-in_binary32`

Counts

72 → 66

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	136	2838
1	410	2720
2	1347	2504
3	4504	2504
4	5128	2504

prune306.0ms (3.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	187	3	190
Fresh	5	4	9
Picked	1	0	1
Done	0	0	0
Total	193	7	200

Error

0.0b

Counts

200 → 7

Alt Table

Status	Error	Program
	0.4b	(fma.f32 n0_i (-.f32 1 u) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) 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.1b	(+.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))
	1.1b	(+.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))
	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))
	0.5b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	0.5b	(+.f32 (fma.f32 n1_i u n0_i) (fma.f32 (.f32 (.f32 n1_i 1/6) (.f32 normAngle normAngle)) (-.f32 u (pow.f32 u 3)) (.f32 u (neg.f32 n0_i))))

Compiler

Compiled 6628 to 3214 computations (51.5% saved)

regimes663.0ms (8%)

Accuracy

Total 0.3b remaining (94.7%)

Threshold costs 0.3b (94.7%)

Counts

107 → 1

Compiler

Compiled 16008 to 10547 computations (34.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	29	34
2	39	34
3	45	34
4	49	34
5	50	34
6	50	34

end1.0ms (0%)

Compiler: Compiled 27 to 18 computations (33.3% saved)

sample3.2s (39.1%)

Algorithm

1×

intervals

Results

1.6s	8000×	body	128	valid
512.0ms	8000×	pre	128	true
76.0ms	946×	pre	128	false

Compiler

Compiled 301 to 194 computations (35.5% saved)

Details

analyze1.6s (18.8%)

sample177.0ms (2.1%)

simplify176.0ms (2.1%)

prune4.0ms (0%)

localize76.0ms (0.9%)

series122.0ms (1.5%)

rewrite37.0ms (0.5%)

simplify114.0ms (1.4%)

prune399.0ms (4.8%)

localize77.0ms (0.9%)

series77.0ms (0.9%)

rewrite8.0ms (0.1%)

simplify72.0ms (0.9%)

prune372.0ms (4.5%)

localize58.0ms (0.7%)

series50.0ms (0.6%)

rewrite18.0ms (0.2%)

simplify51.0ms (0.6%)

prune324.0ms (3.9%)

localize62.0ms (0.8%)

series141.0ms (1.7%)

rewrite7.0ms (0.1%)

simplify88.0ms (1.1%)

prune306.0ms (3.7%)

regimes663.0ms (8%)

simplify3.0ms (0%)

end1.0ms (0%)

sample3.2s (39.1%)

Profiling