Details

analyze1.5s (18.1%)

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

Results

2.9s	8256×	body	128	valid
386.0ms	1040×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

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

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

8.6b

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

localize57.0ms (0.7%)

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.5b	(.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)))

series111.0ms (1.3%)

Counts

4 → 96

Calls

4 calls:

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

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

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

simplify107.0ms (1.3%)

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

prune362.0ms (4.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	226	11	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	227	12	239

Error

0.0b

Counts

239 → 12

Alt Table

Status	Error	Program
	1.1b	(+.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))
▶	0.3b	(+.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))
	5.7b	(+.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 (.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))
	0.8b	(+.f32 (.f32 (-.f32 1 (/.f32 (.f32 (cos.f32 normAngle) (.f32 u normAngle)) (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.6b	(/.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 (sqrt.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle)))) n1_i))
	2.0b	(+.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.8b	(+.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 normAngle (-.f32 1 (.f32 u u))) (+.f32 1 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 (.f32 (/.f32 (sin.f32 (.f32 u normAngle)) (sqrt.f32 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	2.6b	(+.f32 (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (-.f32 normAngle (.f32 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 9538 to 5041 computations (47.1% saved)

localize78.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series76.0ms (0.9%)

Counts

2 → 28

Calls

2 calls:

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

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

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

simplify69.0ms (0.8%)

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

prune336.0ms (3.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	181	4	185
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	185	12	197

Error

0.0b

Counts

197 → 12

Alt Table

Status	Error	Program
	1.0b	(+.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 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	0.6b	(+.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.0b	(+.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.1b	(+.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))
	14.3b	(+.f32 (.f32 (.f32 (sin.f32 (cbrt.f32 (pow.f32 (-.f32 normAngle (.f32 u normAngle)) 3))) (/.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))
	2.0b	(+.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))
	5.4b	(+.f32 (.f32 1 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.2b	(+.f32 (.f32 (-.f32 1 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (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))
	0.8b	(+.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 normAngle (-.f32 1 (.f32 u u))) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.6b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	2.6b	(+.f32 (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (-.f32 normAngle (.f32 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 8642 to 4906 computations (43.2% saved)

localize77.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series61.0ms (0.7%)

Counts

2 → 60

Calls

2 calls:

37.0ms	(.f32 (-.f32 1 (/.f32 (.f32 (*.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle))) n0_i)
24.0ms	(/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle))

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-cbrt-cube_binary32`
13×	`add-exp-log_binary32`
11×	`add-sqr-sqrt_binary32`
9×	`*-un-lft-identity_binary32`
6×	`associate-l_binary32`

Counts

2 → 50

Calls

2 calls:

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

simplify78.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

517×	`associate-*l/_binary32`
366×	`fma-def_binary32`
350×	`associate-/l/_binary32`
319×	`associate-/r*_binary32`
233×	`associate-/r/_binary32`

Counts

110 → 103

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	156	2159
1	408	2077
2	1474	2067
3	4661	2067
4	4997	2067

prune387.0ms (4.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	170	2	172
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	173	11	184

Error

0.0b

Counts

184 → 11

Alt Table

Status	Error	Program
	0.8b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	5.4b	(+.f32 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 (.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 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
▶	0.5b	(+.f32 (.f32 (-.f32 1 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle))) n0_i) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	1.0b	(+.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.1b	(+.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))
	14.3b	(+.f32 (.f32 (.f32 (sin.f32 (cbrt.f32 (pow.f32 (-.f32 normAngle (.f32 u normAngle)) 3))) (/.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))
	2.0b	(+.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))
	1.0b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 normAngle (-.f32 1 (.f32 u u))) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.6b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	2.6b	(+.f32 (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (-.f32 normAngle (.f32 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 7870 to 3596 computations (54.3% saved)

localize86.0ms (1%)

Local error

Found 4 expressions with local error:

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

series29.0ms (0.3%)

Counts

2 → 36

Calls

2 calls:

23.0ms	(.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))
6.0ms	(.f32 (.f32 normAngle normAngle) 1/6)

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

72×	`prod-diff_binary32`
60×	`add-sqr-sqrt_binary32`
55×	`*-un-lft-identity_binary32`
52×	`add-cube-cbrt_binary32`
49×	`distribute-lft-in_binary32`

Counts

2 → 150

Calls

2 calls:

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

simplify131.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

605×	`fma-def_binary32`
443×	`associate-l_binary32`
417×	`fma-neg_binary32`
406×	`exp-prod_binary32`
402×	`associate-r_binary32`

Counts

186 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	259	4606
1	418	4086
2	1766	3425
3	4179	3425
4	4867	3425

prune467.0ms (5.5%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	258	2	260
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	260	11	271

Error

0.0b

Counts

271 → 11

Alt Table

Status	Error	Program
	1.1b	(+.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))
	10.2b	(+.f32 (cbrt.f32 (pow.f32 (-.f32 n0_i (/.f32 (.f32 (cos.f32 normAngle) (.f32 u (.f32 normAngle n0_i))) (sin.f32 normAngle))) 3)) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	1.0b	(+.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 (sin.f32 normAngle))) (/.f32 1 (sqrt.f32 (sin.f32 normAngle)))) n1_i))
	5.6b	(+.f32 n0_i (.f32 (+.f32 u (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
✓	0.5b	(+.f32 (.f32 (-.f32 1 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle))) n0_i) (.f32 (+.f32 u (.f32 (.f32 (*.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) n1_i))
	1.0b	(+.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))
	2.0b	(+.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.8b	(+.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 normAngle (-.f32 1 (.f32 u u))) (+.f32 1 u))) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.6b	(/.f32 (fma.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	2.6b	(+.f32 (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (-.f32 normAngle (.f32 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 11376 to 5293 computations (53.5% saved)

regimes514.0ms (6%)

Accuracy

Total 0.2b remaining (84.3%)

Threshold costs 0.2b (84.3%)

Counts

89 → 1

Compiler

Compiled 14888 to 9722 computations (34.7% saved)

simplify20.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	29	65
1	42	65
2	46	65
3	48	65
4	49	65
5	48	65

end209.0ms (2.4%)

Compiler: Compiled 428 to 274 computations (36% saved)

Details

analyze1.5s (18.1%)

sample3.4s (40.2%)

simplify198.0ms (2.3%)

prune4.0ms (0%)

localize57.0ms (0.7%)

series111.0ms (1.3%)

rewrite35.0ms (0.4%)

simplify107.0ms (1.3%)

prune362.0ms (4.2%)

localize78.0ms (0.9%)

series76.0ms (0.9%)

rewrite9.0ms (0.1%)

simplify69.0ms (0.8%)

prune336.0ms (3.9%)

localize77.0ms (0.9%)

series61.0ms (0.7%)

rewrite16.0ms (0.2%)

simplify78.0ms (0.9%)

prune387.0ms (4.5%)

localize86.0ms (1%)

series29.0ms (0.3%)

rewrite34.0ms (0.4%)

simplify131.0ms (1.5%)

prune467.0ms (5.5%)

regimes514.0ms (6%)

simplify20.0ms (0.2%)

end209.0ms (2.4%)

Profiling