Details

analyze3.1s (17.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)

sample205.0ms (1.2%)

Algorithm

1×

intervals

Results

122.0ms	256×	body	128	valid
27.0ms	256×	pre	128	true
3.0ms	33×	pre	128	false

Compiler

Compiled 95 to 69 computations (27.4% saved)

simplify207.0ms (1.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

prune10.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.7b	(+.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.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.7b

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

localize132.0ms (0.8%)

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

series250.0ms (1.4%)

Counts

4 → 96

Calls

4 calls:

131.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)))
50.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
8.0ms	(*.f32 (-.f32 1 u) normAngle)

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

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

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

prune664.0ms (3.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	230	7	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	231	8	239

Error

0.0b

Counts

239 → 8

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))
▶	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))
	0.7b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))
	0.9b	(+.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.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 (sqrt.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 (cbrt.f32 (sin.f32 (.f32 u normAngle))) (cbrt.f32 (sin.f32 (.f32 u normAngle)))) (.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 1 (sin.f32 normAngle)))) n1_i))
	8.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 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 9290 to 4877 computations (47.5% saved)

localize239.0ms (1.4%)

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)))
✓	2.5b	(/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle))

series75.0ms (0.4%)

Counts

1 → 4

Calls

1 calls:

75.0ms

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

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 31

Calls

1 calls:

11.0ms

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

simplify128.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

458×	`fma-def_binary32`
405×	`associate-*l/_binary32`
383×	`associate-/r*_binary32`
329×	`associate-*r/_binary32`
320×	`associate-/l/_binary32`

Counts

35 → 40

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	86	752
1	197	659
2	914	645
3	3659	635
4	4723	624
5	4980	624
6	4979	624

prune706.0ms (4.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	206	1	207
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	208	7	215

Error

0.0b

Counts

215 → 7

Alt Table

Status	Error	Program
▶	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))
	0.9b	(+.f32 (.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.7b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 u n1_i))
	0.9b	(+.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.8b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 (sqrt.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 (cbrt.f32 (sin.f32 (.f32 u normAngle))) (cbrt.f32 (sin.f32 (.f32 u normAngle)))) (.f32 (cbrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 1 (sin.f32 normAngle)))) n1_i))
	8.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 9869 to 5454 computations (44.7% saved)

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

series416.0ms (2.4%)

Counts

3 → 96

Calls

3 calls:

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

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

73.0ms

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

rewrite43.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`add-exp-log_binary32`
20×	`prod-exp_binary32`
12×	`add-cbrt-cube_binary32`
10×	`add-sqr-sqrt_binary32`
10×	`div-exp_binary32`

Counts

3 → 71

Calls

3 calls:

20.0ms

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

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

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

simplify223.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

815×	`times-frac_binary32`
432×	`cancel-sign-sub-inv_binary32`
225×	`associate-r_binary32`
221×	`fma-neg_binary32`
212×	`associate-l_binary32`

Counts

167 → 151

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	5177
1	688	4868
2	2480	4860
3	5181	4860

prune506.0ms (2.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	186	5	191
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	190	8	198

Error

Counts

198 → 8

Alt Table

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

Compiler

Compiled 7143 to 3494 computations (51.1% saved)

localize159.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series203.0ms (1.2%)

Counts

3 → 28

Calls

3 calls:

86.0ms

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

80.0ms

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

37.0ms

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

rewrite57.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`add-exp-log_binary32`
38×	`add-sqr-sqrt_binary32`
29×	`prod-exp_binary32`
19×	`associate-r_binary32`
17×	`unswap-sqr_binary32`

Counts

3 → 108

Calls

3 calls:

18.0ms

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

15.0ms

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

1.0ms

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

simplify189.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

493×	`unswap-sqr_binary32`
411×	`fma-def_binary32`
270×	`associate-r_binary32`
266×	`fma-neg_binary32`
240×	`associate-l_binary32`

Counts

136 → 132

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	197	2952
1	441	2715
2	2003	2606
3	4770	2604
4	4984	2604

prune720.0ms (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	171	1	172
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	173	7	180

Error

Counts

180 → 7

Alt Table

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

Compiler

Compiled 6177 to 3110 computations (49.7% saved)

regimes3.3s (19.1%)

Accuracy

Total 0.4b remaining (93.9%)

Threshold costs 0.4b (93.9%)

Counts

240 → 1

Compiler

Compiled 43198 to 27922 computations (35.4% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	24	52
1	35	52
2	39	52
3	41	52
4	42	52
5	41	52

end2.0ms (0%)

Compiler: Compiled 38 to 25 computations (34.2% saved)

sample5.3s (30.8%)

Algorithm

1×

intervals

Results

2.8s	8000×	body	128	valid
852.0ms	8000×	pre	128	true
110.0ms	1055×	pre	128	false

Compiler

Compiled 335 to 216 computations (35.5% saved)

Details

analyze3.1s (17.8%)

sample205.0ms (1.2%)

simplify207.0ms (1.2%)

prune10.0ms (0.1%)

localize132.0ms (0.8%)

series250.0ms (1.4%)

rewrite74.0ms (0.4%)

simplify229.0ms (1.3%)

prune664.0ms (3.8%)

localize239.0ms (1.4%)

series75.0ms (0.4%)

rewrite15.0ms (0.1%)

simplify128.0ms (0.7%)

prune706.0ms (4.1%)

localize132.0ms (0.8%)

series416.0ms (2.4%)

rewrite43.0ms (0.2%)

simplify223.0ms (1.3%)

prune506.0ms (2.9%)

localize159.0ms (0.9%)

series203.0ms (1.2%)

rewrite57.0ms (0.3%)

simplify189.0ms (1.1%)

prune720.0ms (4.2%)

regimes3.3s (19.1%)

simplify7.0ms (0%)

end2.0ms (0%)

sample5.3s (30.8%)

Profiling