Details

analyze1.5s (19.3%)

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

Results

2.9s	8256×	body	128	valid
399.0ms	1079×	body	128	invalid

Compiler

Compiled 153 to 110 computations (28.1% saved)

simplify35.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

717×	`fma-def_binary32`
598×	`times-frac_binary32`
385×	`fma-neg_binary32`
232×	`div-sub_binary32`
205×	`distribute-neg-frac_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	37
1	38	31
2	84	31
3	172	26
4	261	26
5	312	26
6	382	26
7	486	26
8	746	26
9	880	26
10	1085	26
11	1764	26
12	3922	26

Stop Event

1×	node limit

Counts

1 → 2

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

Counts

3 → 2

Alt Table

Status	Error	Program
	8.7b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 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 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Status

Error

Program

8.7b

(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (*.f32 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 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 146 to 89 computations (39% saved)

localize54.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
✓	0.2b	(*.f32 (-.f32 1 u) normAngle)
✓	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	1.4b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

series93.0ms (1.2%)

Counts

4 → 96

Calls

4 calls:

47.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
20.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
19.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
6.0ms	(*.f32 (-.f32 1 u) normAngle)

rewrite62.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

625×	`prod-diff_binary32`
157×	`add-sqr-sqrt_binary32`
144×	`add-cbrt-cube_binary32`
144×	`log1p-expm1-u_binary32`
144×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	49
1	313	49
2	4030	49

Stop Event

1×	node limit

Counts

4 → 90

Calls

4 calls:

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

simplify54.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

691×	`cancel-sign-sub-inv_binary32`
391×	`fma-def_binary32`
371×	`associate-r_binary32`
262×	`associate-+r+_binary32`
235×	`associate-l_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	2410
1	910	2364
2	3750	2360

Stop Event

1×	node limit

Counts

186 → 141

prune225.0ms (2.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	132	9	141
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	133	10	143

Error

0.0b

Counts

143 → 10

Alt Table

Status	Error	Program
	0.9b	(+.f32 (-.f32 n0_i (.f32 u n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 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 (sin.f32 (.f32 u normAngle))) (/.f32 (sin.f32 normAngle) (sqrt.f32 (sin.f32 (.f32 u 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 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))) -1/6)) n1_i))
	2.8b	(+.f32 (-.f32 n0_i (+.f32 (.f32 1/2 (.f32 (pow.f32 u 2) (.f32 n0_i (pow.f32 normAngle 2)))) (/.f32 (.f32 (cos.f32 normAngle) (.f32 n0_i (.f32 u normAngle))) (sin.f32 normAngle)))) (.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))
	1.1b	(+.f32 (.f32 (log.f32 (+.f32 1 (expm1.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))
	0.9b	(+.f32 (.f32 (-.f32 (+.f32 1 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 (pow.f32 u 3)) (.f32 u 1/3)))) (fma.f32 1/2 (.f32 normAngle (.f32 normAngle (.f32 u u))) u)) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (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 (sin.f32 (*.f32 u normAngle)) 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))) (sqrt.f32 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 5887 to 3357 computations (43% saved)

localize78.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(*.f32 (-.f32 1 u) normAngle)
✓	0.2b	(/.f32 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3)))
	0.4b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
✓	4.2b	(/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))

series35.0ms (0.4%)

Counts

2 → 28

Calls

2 calls:

31.0ms	(/.f32 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3)))
4.0ms	(/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))

rewrite50.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

528×	`log-prod_binary32`
167×	`pow1/3_binary32`
166×	`expm1-udef_binary32`
166×	`log1p-udef_binary32`
154×	`log-pow_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	24
1	197	23
2	2684	23

Stop Event

1×	node limit

Counts

2 → 95

Calls

2 calls:

49.0ms	(/.f32 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3)))
49.0ms	(/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))

simplify39.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

468×	`unswap-sqr_binary32`
456×	`*-commutative_binary32`
317×	`associate-l_binary32`
316×	`distribute-rgt-out_binary32`
286×	`associate-r_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	482
1	108	476
2	379	462
3	1848	392
4	4902	392

Stop Event

1×	node limit

Counts

123 → 113

prune378.0ms (4.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	178	2	180
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	180	10	190

Error

0.0b

Counts

190 → 10

Alt Table

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

Compiler

Compiled 7796 to 4428 computations (43.2% saved)

localize62.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series42.0ms (0.5%)

Counts

2 → 36

Calls

2 calls:

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

rewrite62.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

525×	`prod-diff_binary32`
179×	`add-sqr-sqrt_binary32`
167×	`add-cbrt-cube_binary32`
167×	`log1p-expm1-u_binary32`
167×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	34
1	367	33
2	4869	33

Stop Event

1×	node limit

Counts

2 → 44

Calls

2 calls:

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

simplify35.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

865×	`fma-neg_binary32`
495×	`distribute-rgt-neg-in_binary32`
378×	`associate-l_binary32`
377×	`associate-r_binary32`
372×	`unswap-sqr_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	54	740
1	165	740
2	587	689
3	3160	630

Stop Event

1×	node limit

Counts

80 → 62

prune339.0ms (4.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	3	6	9
Picked	1	0	1
Done	0	0	0
Total	177	8	185

Error

0.0b

Counts

185 → 8

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 (sqrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 (sin.f32 normAngle) (sqrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) n0_i (.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.3b	(+.f32 (.f32 (-.f32 1 u) n0_i) (.f32 (+.f32 (*.f32 (pow.f32 (/.f32 u (/.f32 (cbrt.f32 (sin.f32 normAngle)) normAngle)) 3) -1/6) (/.f32 normAngle (/.f32 (sin.f32 normAngle) u))) 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))
	1.1b	(+.f32 (.f32 (log.f32 (+.f32 1 (expm1.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))
	0.9b	(+.f32 (.f32 (-.f32 (+.f32 1 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 (pow.f32 u 3)) (.f32 u 1/3)))) (fma.f32 1/2 (.f32 normAngle (.f32 normAngle (.f32 u u))) u)) n0_i) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
▶	0.2b	(+.f32 (fma.f32 u (neg.f32 n0_i) n0_i) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))) -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))) (sqrt.f32 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 5881 to 3161 computations (46.3% saved)

localize68.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series38.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

37.0ms

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

rewrite50.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

628×	`log-prod_binary32`
201×	`expm1-udef_binary32`
201×	`log1p-udef_binary32`
181×	`log-pow_binary32`
134×	`log-div_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	240	17
2	3189	17

Stop Event

1×	node limit

Counts

1 → 27

Calls

1 calls:

50.0ms

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

simplify31.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

543×	`distribute-lft-neg-in_binary32`
542×	`distribute-rgt-neg-in_binary32`
468×	`unswap-sqr_binary32`
452×	`associate-l_binary32`
392×	`associate-r_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	496
1	113	496
2	463	478
3	2839	418

Stop Event

1×	node limit

Counts

51 → 37

prune297.0ms (3.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	185	1	186
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	186	8	194

Error

0.0b

Counts

194 → 8

Alt Table

Status	Error	Program
✓	0.2b	(+.f32 (fma.f32 u (neg.f32 n0_i) n0_i) (.f32 (fma.f32 (/.f32 u (sin.f32 normAngle)) normAngle (.f32 (/.f32 (pow.f32 u 3) (/.f32 (sin.f32 normAngle) (pow.f32 normAngle 3))) -1/6)) n1_i))
	0.2b	(+.f32 (fma.f32 u (neg.f32 n0_i) n0_i) (.f32 (+.f32 u (.f32 (.f32 normAngle (.f32 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 (sin.f32 (.f32 u normAngle))) (/.f32 (sin.f32 normAngle) (sqrt.f32 (sin.f32 (.f32 u normAngle))))) n1_i))
	8.7b	(/.f32 (fma.f32 (sin.f32 (-.f32 normAngle (.f32 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 (pow.f32 (sqrt.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))) 2) n1_i))
	1.1b	(+.f32 (.f32 (log.f32 (+.f32 1 (expm1.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))
	0.9b	(+.f32 (.f32 (-.f32 (+.f32 1 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 1/6 (pow.f32 u 3)) (.f32 u 1/3)))) (fma.f32 1/2 (.f32 normAngle (.f32 normAngle (.f32 u u))) 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 (/.f32 (/.f32 (sin.f32 (*.f32 u normAngle)) (sqrt.f32 (sin.f32 normAngle))) (sqrt.f32 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 6014 to 2625 computations (56.4% saved)

regimes660.0ms (8.4%)

Accuracy

Total 0.2b remaining (83.6%)

Threshold costs 0.2b (83.6%)

Counts

112 → 1

Compiler

Compiled 16718 to 11242 computations (32.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`
2×	`+-commutative_binary32`
1×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	36
1	26	36
2	28	36
3	29	36

Stop Event

1×

saturated

end137.0ms (1.7%)

Compiler: Compiled 303 to 194 computations (36% saved)

Details

analyze1.5s (19.3%)

sample3.4s (43.3%)

simplify35.0ms (0.4%)

prune4.0ms (0.1%)

localize54.0ms (0.7%)

series93.0ms (1.2%)

rewrite62.0ms (0.8%)

simplify54.0ms (0.7%)

prune225.0ms (2.9%)

localize78.0ms (1%)

series35.0ms (0.4%)

rewrite50.0ms (0.6%)

simplify39.0ms (0.5%)

prune378.0ms (4.8%)

localize62.0ms (0.8%)

series42.0ms (0.5%)

rewrite62.0ms (0.8%)

simplify35.0ms (0.4%)

prune339.0ms (4.3%)

localize68.0ms (0.9%)

series38.0ms (0.5%)

rewrite50.0ms (0.6%)

simplify31.0ms (0.4%)

prune297.0ms (3.8%)

regimes660.0ms (8.4%)

simplify2.0ms (0%)

end137.0ms (1.7%)

Profiling