Details

analyze1.7s (16.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)

sample3.6s (35.4%)

Results

3.1s	8256×	body	128	valid
391.0ms	1006×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify202.0ms (2%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
	8.4b	(/.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 (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

8.4b

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

localize65.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.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.3b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

series124.0ms (1.2%)

Counts

4 → 96

Calls

4 calls:

67.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)))
4.0ms	(*.f32 (-.f32 1 u) normAngle)

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

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

simplify117.0ms (1.2%)

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

prune442.0ms (4.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	228	9	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	229	10	239

Error

0.0b

Counts

239 → 10

Alt Table

Status	Error	Program
	0.3b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 (.f32 31/15120 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 u (+.f32 (.f32 7/360 (.f32 u (pow.f32 normAngle 4))) (.f32 1/6 (.f32 u (pow.f32 normAngle 2)))))))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6))) (+.f32 (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	8.4b	(/.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 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)))) (cbrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.3b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (-.f32 (+.f32 (.f32 (pow.f32 normAngle 6) (+.f32 (.f32 u 31/15120) (.f32 (pow.f32 u 5) 1/720))) (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360))) (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u))) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) (fma.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	0.9b	(+.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))
	7.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.9b	(+.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))
	0.8b	(+.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))

Compiler

Compiled 9676 to 5149 computations (46.8% saved)

localize195.0ms (1.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 u 31/15120)
✓	0.4b	(*.f32 1/120 (pow.f32 u 5))
	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	0.5b	(*.f32 u 7/360)

series8.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

4.0ms	(*.f32 1/120 (pow.f32 u 5))
2.0ms	(*.f32 u 7/360)
2.0ms	(*.f32 u 31/15120)

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`add-sqr-sqrt_binary32`
13×	`associate-r_binary32`
12×	`add-exp-log_binary32`
10×	`*-un-lft-identity_binary32`
10×	`add-cube-cbrt_binary32`

Counts

3 → 67

Calls

3 calls:

4.0ms	(*.f32 1/120 (pow.f32 u 5))
3.0ms	(*.f32 u 31/15120)
3.0ms	(*.f32 u 7/360)

simplify89.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

559×	`fma-def_binary32`
360×	`*-commutative_binary32`
335×	`associate-/r/_binary32`
325×	`associate-/l*_binary32`
324×	`associate-l_binary32`

Counts

91 → 84

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	112	673
1	197	637
2	457	625
3	937	625
4	1338	625
5	2282	625
6	4553	625
7	4969	625
8	4849	625

prune604.0ms (6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	157	1	158
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	159	9	168

Error

0.0b

Counts

168 → 9

Alt Table

Status	Error	Program
	0.3b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 (.f32 31/15120 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 u (+.f32 (.f32 7/360 (.f32 u (pow.f32 normAngle 4))) (.f32 1/6 (.f32 u (pow.f32 normAngle 2)))))))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6))) (+.f32 (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	8.4b	(/.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 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)))) (cbrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.3b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (+.f32 (.f32 (pow.f32 normAngle 6) (+.f32 (.f32 u 31/15120) (.f32 (pow.f32 u 5) 1/720))) (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360))) (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u))) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) (fma.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	7.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.9b	(+.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))
	0.8b	(+.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))

Compiler

Compiled 16112 to 10910 computations (32.3% saved)

localize181.0ms (1.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 (pow.f32 u 5) 1/720)
	0.3b	(*.f32 u 31/15120)
	0.4b	(*.f32 1/120 (pow.f32 u 5))
	0.5b	(*.f32 u 7/360)

series5.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

5.0ms

(*.f32 (pow.f32 u 5) 1/720)

rewrite5.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-sqr-sqrt_binary32`
7×	`associate-l_binary32`
6×	`add-exp-log_binary32`
4×	`unpow-prod-down_binary32`
4×	`*-un-lft-identity_binary32`

Counts

1 → 27

Calls

1 calls:

4.0ms

(*.f32 (pow.f32 u 5) 1/720)

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

629×	`fma-def_binary32`
333×	`*-commutative_binary32`
302×	`unswap-sqr_binary32`
290×	`log-div_binary32`
277×	`times-frac_binary32`

Counts

39 → 41

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	54	378
1	97	366
2	257	354
3	729	354
4	1069	354
5	1917	354
6	3597	354
7	4883	354
8	5207	354

prune459.0ms (4.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	125	0	125
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	125	9	134

Error

0.0b

Counts

134 → 9

Alt Table

Status	Error	Program
▶	0.3b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 (.f32 31/15120 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 u (+.f32 (.f32 7/360 (.f32 u (pow.f32 normAngle 4))) (.f32 1/6 (.f32 u (pow.f32 normAngle 2)))))))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6))) (+.f32 (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	8.4b	(/.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 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)))) (cbrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.3b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (+.f32 (.f32 (pow.f32 normAngle 6) (+.f32 (.f32 u 31/15120) (.f32 (pow.f32 u 5) 1/720))) (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360))) (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u))) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) (fma.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	7.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.9b	(+.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))
	0.8b	(+.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))

Compiler

Compiled 11475 to 7992 computations (30.4% saved)

localize218.0ms (2.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f32 (-.f32 1 u) normAngle)
✓	0.2b	(.f32 1/6 (.f32 u (pow.f32 normAngle 2)))
	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)))

series11.0ms (0.1%)

Counts

1 → 0

Calls

1 calls:

11.0ms

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-exp-log_binary32`
7×	`prod-exp_binary32`
6×	`add-cbrt-cube_binary32`
3×	`associate-l_binary32`
3×	`cbrt-unprod_binary32`

Counts

1 → 21

Calls

1 calls:

5.0ms

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

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

579×	`*-commutative_binary32`
463×	`associate-l_binary32`
392×	`times-frac_binary32`
348×	`associate-r_binary32`
343×	`associate-+l+_binary32`

Counts

21 → 29

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	281
1	97	245
2	303	245
3	1118	245
4	1658	245
5	2623	245
6	4654	245
7	5064	245

prune762.0ms (7.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	194	2	196
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	197	8	205

Error

0.0b

Counts

205 → 8

Alt Table

Status	Error	Program
	0.3b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 (.f32 31/15120 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 u (+.f32 (.f32 7/360 (.f32 u (pow.f32 normAngle 4))) (.f32 1/6 (.f32 u (pow.f32 normAngle 2)))))))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6))) (+.f32 (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	8.4b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.3b	(+.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)) n0_i) (.f32 (-.f32 (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 (.f32 31/15120 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 u (+.f32 (.f32 7/360 (.f32 u (pow.f32 normAngle 4))) (.f32 1/6 (.f32 u (pow.f32 normAngle 2)))))))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (+.f32 (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6))) (+.f32 (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (.f32 7/2160 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
✓	0.3b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (-.f32 (+.f32 (.f32 (pow.f32 normAngle 6) (+.f32 (.f32 u 31/15120) (.f32 (pow.f32 u 5) 1/720))) (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360))) (fma.f32 1/6 (.f32 u (.f32 normAngle normAngle)) u))) (fma.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)) (fma.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)) (fma.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)) (.f32 7/2160 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))) n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle)))) (cbrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)))) n1_i))
	7.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (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.9b	(+.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 22539 to 16381 computations (27.3% saved)

regimes744.0ms (7.4%)

Accuracy

Total 0.3b remaining (85.7%)

Threshold costs 0.3b (85.7%)

Counts

88 → 1

Compiler

Compiled 17383 to 11857 computations (31.8% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`*-commutative_binary32`
30×	`+-commutative_binary32`
21×	`sub-neg_binary32`
19×	`neg-sub0_binary32`
19×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	56	139
1	92	139
2	109	139
3	134	139
4	168	139
5	209	139
6	239	139
7	254	139
8	260	139
9	261	139
10	257	139

end387.0ms (3.8%)

Compiler: Compiled 631 to 453 computations (28.2% saved)

Iter	Nodes	Cost
0	56	139
1	92	139
2	109	139
3	134	139
4	168	139
5	209	139
6	239	139
7	254	139
8	260	139
9	261	139
10	257	139

Iter	Nodes	Cost
0	56	139
1	92	139
2	109	139
3	134	139
4	168	139
5	209	139
6	239	139
7	254	139
8	260	139
9	261	139
10	257	139

Details

analyze1.7s (16.8%)

sample3.6s (35.4%)

simplify202.0ms (2%)

prune4.0ms (0%)

localize65.0ms (0.6%)

series124.0ms (1.2%)

rewrite40.0ms (0.4%)

simplify117.0ms (1.2%)

prune442.0ms (4.4%)

localize195.0ms (1.9%)

series8.0ms (0.1%)

rewrite12.0ms (0.1%)

simplify89.0ms (0.9%)

prune604.0ms (6%)

localize181.0ms (1.8%)

series5.0ms (0.1%)

rewrite5.0ms (0.1%)

simplify74.0ms (0.7%)

prune459.0ms (4.5%)

localize218.0ms (2.2%)

series11.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify65.0ms (0.6%)

prune762.0ms (7.5%)

regimes744.0ms (7.4%)

simplify10.0ms (0.1%)

end387.0ms (3.8%)

Profiling

Iter	Nodes	Cost
0	56	139
1	92	139
2	109	139
3	134	139
4	168	139
5	209	139
6	239	139
7	254	139
8	260	139
9	261	139
10	257	139