Details

analyze1.7s (19.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.5s (41.4%)

Results

3.0s	8256×	body	128	valid
378.0ms	1030×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify196.0ms (2.3%)

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

9.3b

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

localize60.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series95.0ms (1.1%)

Counts

4 → 96

Calls

4 calls:

48.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
22.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
20.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
5.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite74.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

625×	`prod-diff_binary32`
274×	`log1p-udef_binary32`
157×	`add-sqr-sqrt_binary32`
144×	`log1p-expm1-u_binary32`
144×	`expm1-log1p-u_binary32`

Counts

4 → 92

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	312	49
2	3786	49
3	5365	49
0	0	0
1	0	0

simplify97.0ms (1.1%)

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

188 → 142

Iterations

Useful iterations: 2 (0.0ms)

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

prune221.0ms (2.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	134	8	142
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	135	9	144

Error

0.1b

Counts

144 → 9

Alt Table

Status	Error	Program
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (pow.f32 u 3)) normAngle) (+.f32 1 (fma.f32 u u u)))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))) 2) n1_i))
▶	0.5b	(+.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))
	1.1b	(+.f32 (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (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 (pow.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) 2) (/.f32 (sin.f32 normAngle) (cbrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	1.0b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) 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))
	0.8b	(+.f32 (.f32 (-.f32 (+.f32 1 (+.f32 (.f32 2/945 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/360 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 (.f32 1/24 (.f32 (pow.f32 u 4) (pow.f32 normAngle 4))) (+.f32 (.f32 1/45 (.f32 u (pow.f32 normAngle 4))) (+.f32 (.f32 1/3 (.f32 u (pow.f32 normAngle 2))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))))))))) (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 u (+.f32 (.f32 1/18 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (+.f32 (.f32 1/2 (.f32 (pow.f32 u 2) (pow.f32 normAngle 2))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 6) (pow.f32 normAngle 6))) (.f32 1/270 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	9.3b	(/.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 6027 to 3489 computations (42.1% saved)

localize101.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

series8.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

8.0ms

(*.f32 u (*.f32 normAngle normAngle))

rewrite78.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

766×	`log1p-udef_binary32`
421×	`log1p-expm1-u_binary32`
421×	`expm1-log1p-u_binary32`
329×	`unpow-prod-down_binary32`
252×	`log-prod_binary32`

Counts

1 → 21

Calls

1 calls:

77.0ms

(*.f32 u (*.f32 normAngle normAngle))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	100	7
2	1126	7
3	4722	7
4	5981	7
0	0	0
1	0	0

simplify152.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary32`
573×	`fabs-mul_binary32`
560×	`cube-prod_binary32`
536×	`pow-sqr_binary32`
454×	`associate-l_binary32`

Counts

45 → 22

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	22	168
3	41	168
4	88	168
5	221	168
6	693	168
7	1098	168
8	1100	168
9	1248	168
10	1418	168
11	1600	168
12	1825	168
13	2110	168
14	2529	168
15	3094	168
16	3780	168
17	3998	168
18	4242	168
19	4324	168
20	4357	168
21	4378	168
22	4947	168

prune259.0ms (3.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	123	1	124
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	124	9	133

Error

0.0b

Counts

133 → 9

Alt Table

Status	Error	Program
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 (-.f32 1 (pow.f32 u 3)) normAngle) (+.f32 1 (fma.f32 u u u)))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))) 2) n1_i))
	0.8b	(+.f32 (.f32 (-.f32 (+.f32 1 (+.f32 (.f32 2/945 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/360 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 (.f32 1/24 (.f32 (pow.f32 u 4) (pow.f32 normAngle 4))) (+.f32 (.f32 1/45 (.f32 u (pow.f32 normAngle 4))) (+.f32 (.f32 1/3 (.f32 u (pow.f32 normAngle 2))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))))))))) (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 u (+.f32 (.f32 1/18 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (+.f32 (.f32 1/2 (.f32 (pow.f32 u 2) (pow.f32 normAngle 2))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 6) (pow.f32 normAngle 6))) (.f32 1/270 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (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))
	1.1b	(+.f32 (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (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 (pow.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) 2) (/.f32 (sin.f32 normAngle) (cbrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	1.0b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) 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))
	9.3b	(/.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 6358 to 3657 computations (42.5% saved)

localize59.0ms (0.7%)

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 (pow.f32 u 3) (.f32 normAngle normAngle))
	0.1b	(.f32 u (.f32 normAngle normAngle))
✓	0.1b	(*.f32 (-.f32 1 u) n0_i)

series35.0ms (0.4%)

Counts

3 → 60

Calls

3 calls:

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

rewrite61.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

610×	`log-prod_binary32`
221×	`expm1-udef_binary32`
220×	`log1p-udef_binary32`
192×	`log-pow_binary32`
140×	`fma-def_binary32`

Counts

3 → 71

Calls

3 calls:

59.0ms	(.f32 1/6 (.f32 (pow.f32 u 3) (*.f32 normAngle normAngle)))
59.0ms	(.f32 (pow.f32 u 3) (.f32 normAngle normAngle))
59.0ms	(*.f32 (-.f32 1 u) n0_i)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	30
1	268	30
2	2965	30
3	5201	30
0	0	0
1	0	0

simplify116.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1455×	`fma-def_binary32`
882×	`unswap-sqr_binary32`
474×	`distribute-rgt-neg-in_binary32`
446×	`*-commutative_binary32`
445×	`neg-sub0_binary32`

Counts

131 → 78

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	628
1	40	628
2	97	628
3	257	628
4	800	628
5	1117	628
6	1151	628
7	1381	628
8	1570	628
9	1809	628
10	2617	628
11	4508	628
12	4449	628
13	5617	628

prune318.0ms (3.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	1	7	8
Picked	0	1	1
Done	0	0	0
Total	100	9	109

Error

0.0b

Counts

109 → 9

Alt Table

Status	Error	Program
	0.8b	(+.f32 (.f32 (-.f32 (+.f32 1 (+.f32 (.f32 2/945 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/360 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 (.f32 1/24 (.f32 (pow.f32 u 4) (pow.f32 normAngle 4))) (+.f32 (.f32 1/45 (.f32 u (pow.f32 normAngle 4))) (+.f32 (.f32 1/3 (.f32 u (pow.f32 normAngle 2))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))))))))) (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 u (+.f32 (.f32 1/18 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (+.f32 (.f32 1/2 (.f32 (pow.f32 u 2) (pow.f32 normAngle 2))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 6) (pow.f32 normAngle 6))) (.f32 1/270 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (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.5b	(+.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) n0_i) (+.f32 1 u)) (.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))
	1.1b	(+.f32 (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (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 (pow.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) 2) (/.f32 (sin.f32 normAngle) (cbrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	1.0b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) 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.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))) 2) n1_i))
	9.3b	(/.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 3696 to 2104 computations (43.1% saved)

localize101.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (-.f32 1 (.f32 u u)) n0_i)
	0.1b	(.f32 (pow.f32 u 3) (.f32 normAngle normAngle))
	0.1b	(.f32 u (.f32 normAngle normAngle))
✓	0.3b	(/.f32 (.f32 (-.f32 1 (.f32 u u)) n0_i) (+.f32 1 u))

series26.0ms (0.3%)

Counts

2 → 48

Calls

2 calls:

17.0ms	(/.f32 (.f32 (-.f32 1 (.f32 u u)) n0_i) (+.f32 1 u))
9.0ms	(.f32 (-.f32 1 (.f32 u u)) n0_i)

rewrite70.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

512×	`log-prod_binary32`
383×	`prod-diff_binary32`
224×	`fma-def_binary32`
175×	`expm1-udef_binary32`
174×	`log1p-udef_binary32`

Counts

2 → 84

Calls

2 calls:

66.0ms	(.f32 (-.f32 1 (.f32 u u)) n0_i)
66.0ms	(/.f32 (.f32 (-.f32 1 (.f32 u u)) n0_i) (+.f32 1 u))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	26
1	200	17
2	2656	17
3	5444	17
0	0	0
1	0	0

simplify85.0ms (1%)

Algorithm

1×	egg-herbie

Rules

875×	`fma-neg_binary32`
429×	`associate-/l*_binary32`
373×	`associate-l_binary32`
352×	`cancel-sign-sub-inv_binary32`
340×	`div-sub_binary32`

Counts

132 → 95

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	389
1	46	389
2	85	389
3	171	389
4	485	389
5	1526	389
6	3208	389
7	4439	389
8	4973	389
9	4829	389

prune244.0ms (2.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	137	9	146

Error

0.0b

Counts

146 → 9

Alt Table

Status	Error	Program
	0.8b	(+.f32 (.f32 (-.f32 (+.f32 1 (+.f32 (.f32 2/945 (.f32 u (pow.f32 normAngle 6))) (+.f32 (.f32 1/360 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6))) (+.f32 (.f32 1/24 (.f32 (pow.f32 u 4) (pow.f32 normAngle 4))) (+.f32 (.f32 1/45 (.f32 u (pow.f32 normAngle 4))) (+.f32 (.f32 1/3 (.f32 u (pow.f32 normAngle 2))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (pow.f32 normAngle 2))) (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))))))))) (+.f32 (.f32 1/120 (.f32 (pow.f32 u 5) (pow.f32 normAngle 4))) (+.f32 u (+.f32 (.f32 1/18 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))) (+.f32 (.f32 1/2 (.f32 (pow.f32 u 2) (pow.f32 normAngle 2))) (+.f32 (.f32 1/720 (.f32 (pow.f32 u 6) (pow.f32 normAngle 6))) (.f32 1/270 (.f32 (pow.f32 u 3) (pow.f32 normAngle 6))))))))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (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.5b	(+.f32 (/.f32 (.f32 (-.f32 1 (.f32 u u)) n0_i) (+.f32 1 u)) (.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))
	1.1b	(+.f32 (.f32 (log.f32 (exp.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (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 (pow.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) 2) (/.f32 (sin.f32 normAngle) (cbrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	1.0b	(+.f32 (.f32 (pow.f32 (cbrt.f32 (/.f32 (sin.f32 (.f32 normAngle (-.f32 1 u))) (sin.f32 normAngle))) 3) 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.0b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))) 2) n1_i))
	9.3b	(/.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 5193 to 2856 computations (45% saved)

regimes592.0ms (7%)

Accuracy

Total 0.4b remaining (90.6%)

Threshold costs 0.4b (90.6%)

Counts

75 → 1

Compiler

Compiled 12293 to 8427 computations (31.4% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary32`
9×	`+-commutative_binary32`
8×	`sub-neg_binary32`
6×	`neg-sub0_binary32`
6×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	52
1	42	52
2	52	52
3	64	52
4	75	52
5	82	52
6	86	52
7	87	52
8	85	52

end252.0ms (3%)

Compiler: Compiled 444 to 309 computations (30.4% saved)

Details

analyze1.7s (19.6%)

sample3.5s (41.4%)

simplify196.0ms (2.3%)

prune4.0ms (0%)

localize60.0ms (0.7%)

series95.0ms (1.1%)

rewrite74.0ms (0.9%)

simplify97.0ms (1.1%)

prune221.0ms (2.6%)

localize101.0ms (1.2%)

series8.0ms (0.1%)

rewrite78.0ms (0.9%)

simplify152.0ms (1.8%)

prune259.0ms (3.1%)

localize59.0ms (0.7%)

series35.0ms (0.4%)

rewrite61.0ms (0.7%)

simplify116.0ms (1.4%)

prune318.0ms (3.8%)

localize101.0ms (1.2%)

series26.0ms (0.3%)

rewrite70.0ms (0.8%)

simplify85.0ms (1%)

prune244.0ms (2.9%)

regimes592.0ms (7%)

simplify4.0ms (0.1%)

end252.0ms (3%)

Profiling