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 48 to 35 computations (27.1% saved)

sample92.0ms (0.9%)

Algorithm

1×

intervals

Results

47.0ms	256×	body	128	valid
14.0ms	256×	pre	128	true
3.0ms	32×	pre	128	false

Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify172.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1132×	`div-sub_binary32`
619×	`times-frac_binary32`
357×	`sub-neg_binary32`
347×	`unsub-neg_binary32`
271×	`associate-/l*_binary32`

Counts

1 → 1

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	18	39
1	37	33
2	72	31
3	122	28
4	171	28
5	192	28
6	209	28
7	289	28
8	326	28
9	409	28
10	499	28
11	914	28
12	1660	28
13	1594	28
14	1568	28
15	1668	28
16	1820	28
17	1995	28
18	1507	28
19	1765	28
20	1533	28
21	1533	28
22	1533	28
23	1533	28
24	1533	28
25	1533	28
26	1348	28

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.9b

Counts

2 → 2

Alt Table

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

Status

Error

Program

8.2b

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

Compiler

Compiled 124 to 85 computations (31.5% saved)

localize63.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

rewrite226.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.6b

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 → 119

Calls

4 calls:

9.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
8.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)
6.0ms	(*.f32 (-.f32 1 u) normAngle)

Compiler

Compiled 3651 to 1996 computations (45.3% saved)

series193.0ms (1.9%)

Error

0.1b

Counts

4 → 44

Calls

4 calls:

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

Compiler

Compiled 3748 to 2492 computations (33.5% saved)

simplify124.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

564×	`cancel-sign-sub-inv_binary32`
406×	`associate-r_binary32`
382×	`associate-l_binary32`
246×	`*-commutative_binary32`
222×	`neg-mul-1_binary32`

Counts

163 → 128

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	322	3360
1	858	2941
2	2910	2863
3	4431	2863
4	4979	2863

prune124.0ms (1.2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	121	7	128
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	122	8	130

Error

0.1b

Counts

130 → 8

Alt Table

Status	Error	Program
	2.4b	(+.f32 (-.f32 n0_i (/.f32 (.f32 (cos.f32 normAngle) (.f32 u (.f32 normAngle n0_i))) (sin.f32 normAngle))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.2b	(+.f32 (.f32 (.f32 (.f32 (sin.f32 (-.f32 normAngle (.f32 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.4b	(+.f32 (.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (.f32 (pow.f32 u 3) -1/36))) n1_i))
	1.2b	(+.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))) (sin.f32 normAngle))) n1_i))
	1.0b	(+.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))
	8.2b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.1b	(+.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.9b	(+.f32 (-.f32 (+.f32 n0_i (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 u 1/2) (.f32 1/6 (pow.f32 u 3))))) (+.f32 (.f32 u n0_i) (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 1/2 (.f32 u u)) (.f32 u 1/6))))) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 3326 to 1551 computations (53.4% saved)

localize146.0ms (1.4%)

Local error

Found 4 expressions with local error:

0.3b	(*.f32 (pow.f32 u 3) -1/36)
0.4b	(*.f32 u 7/360)
0.5b	(*.f32 1/120 (pow.f32 u 5))
0.5b	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))

rewrite247.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`add-sqr-sqrt_binary32`
26×	`associate-r_binary32`
25×	`add-exp-log_binary32`
22×	`*-un-lft-identity_binary32`
21×	`associate-l_binary32`

Counts

4 → 110

Calls

4 calls:

9.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
5.0ms	(*.f32 (pow.f32 u 3) -1/36)
4.0ms	(*.f32 1/120 (pow.f32 u 5))
3.0ms	(*.f32 u 7/360)

Compiler

Compiled 5850 to 4030 computations (31.1% saved)

series99.0ms (1%)

Error

0.0b

Counts

4 → 20

Calls

4 calls:

45.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
11.0ms	(*.f32 (pow.f32 u 3) -1/36)
10.0ms	(*.f32 1/120 (pow.f32 u 5))
8.0ms	(*.f32 u 7/360)

Compiler

Compiled 2805 to 2036 computations (27.4% saved)

simplify133.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

304×	`sub-neg_binary32`
271×	`associate-l_binary32`
259×	`associate-r_binary32`
246×	`log-prod_binary32`
195×	`exp-prod_binary32`

Counts

130 → 85

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	236	1821
1	504	1662
2	1754	1650
3	3760	1626
4	4685	1618
5	4948	1618
6	4926	1618

prune134.0ms (1.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	83	2	85
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	85	8	93

Error

0.0b

Counts

93 → 8

Alt Table

Status	Error	Program
	1.2b	(+.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))) (sin.f32 normAngle))) n1_i))
▶	0.2b	(+.f32 (.f32 (+.f32 1 (-.f32 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 u 1/3) (.f32 1/6 (pow.f32 u 3)))) (+.f32 u (.f32 1/2 (.f32 (.f32 normAngle u) (.f32 normAngle u)))))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (.f32 (pow.f32 u 3) -1/36))) n1_i))
	2.4b	(+.f32 (-.f32 n0_i (/.f32 (.f32 (cos.f32 normAngle) (.f32 u (.f32 normAngle n0_i))) (sin.f32 normAngle))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.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))
	8.2b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.6b	(+.f32 (.f32 (.f32 (.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (*.f32 (pow.f32 u 3) -1/36))) n1_i))
	1.1b	(+.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.9b	(+.f32 (-.f32 (+.f32 n0_i (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 u 1/2) (.f32 1/6 (pow.f32 u 3))))) (+.f32 (.f32 u n0_i) (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 1/2 (.f32 u u)) (.f32 u 1/6))))) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 3690 to 2324 computations (37% saved)

localize165.0ms (1.6%)

Local error

Found 4 expressions with local error:

0.3b	(*.f32 u 1/3)
0.4b	(*.f32 1/6 (pow.f32 u 3))
0.4b	(*.f32 u 7/360)
0.5b	(*.f32 1/120 (pow.f32 u 5))

rewrite269.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

31×	`add-sqr-sqrt_binary32`
25×	`associate-r_binary32`
18×	`add-exp-log_binary32`
15×	`*-un-lft-identity_binary32`
15×	`add-cube-cbrt_binary32`

Counts

4 → 92

Calls

4 calls:

5.0ms	(*.f32 1/6 (pow.f32 u 3))
5.0ms	(*.f32 1/120 (pow.f32 u 5))
3.0ms	(*.f32 u 7/360)
3.0ms	(*.f32 u 1/3)

Compiler

Compiled 5988 to 3815 computations (36.3% saved)

series52.0ms (0.5%)

Error

0.0b

Counts

4 → 12

Calls

4 calls:

13.0ms	(*.f32 1/120 (pow.f32 u 5))
12.0ms	(*.f32 1/6 (pow.f32 u 3))
10.0ms	(*.f32 u 1/3)
10.0ms	(*.f32 u 7/360)

Compiler

Compiled 1963 to 1336 computations (31.9% saved)

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

486×	`sqr-pow_binary32`
462×	`unswap-sqr_binary32`
361×	`*-commutative_binary32`
233×	`times-frac_binary32`
231×	`log-prod_binary32`

Counts

104 → 56

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	153	937
1	284	860
2	742	848
3	1196	848
4	2194	816
5	3585	813
6	4889	813

prune108.0ms (1.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	56	0	56
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	56	8	64

Error

0.0b

Counts

64 → 8

Alt Table

Status	Error	Program
	1.2b	(+.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))) (sin.f32 normAngle))) n1_i))
✓	0.2b	(+.f32 (.f32 (+.f32 1 (-.f32 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 u 1/3) (.f32 1/6 (pow.f32 u 3)))) (+.f32 u (.f32 1/2 (.f32 (.f32 normAngle u) (.f32 normAngle u)))))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (.f32 (pow.f32 u 3) -1/36))) n1_i))
	2.4b	(+.f32 (-.f32 n0_i (/.f32 (.f32 (cos.f32 normAngle) (.f32 u (.f32 normAngle n0_i))) (sin.f32 normAngle))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.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))
	8.2b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
▶	0.6b	(+.f32 (.f32 (.f32 (.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (*.f32 (pow.f32 u 3) -1/36))) n1_i))
	1.1b	(+.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.9b	(+.f32 (-.f32 (+.f32 n0_i (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 u 1/2) (.f32 1/6 (pow.f32 u 3))))) (+.f32 (.f32 u n0_i) (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 1/2 (.f32 u u)) (.f32 u 1/6))))) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 2815 to 1783 computations (36.7% saved)

localize153.0ms (1.5%)

Local error

Found 4 expressions with local error:

0.4b	(.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
0.4b	(.f32 (.f32 (sin.f32 (-.f32 normAngle (*.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
0.4b	(*.f32 u 7/360)
0.5b	(*.f32 1/120 (pow.f32 u 5))

rewrite297.0ms (2.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

42×	`associate-r_binary32`
42×	`add-sqr-sqrt_binary32`
29×	`sqrt-prod_binary32`
27×	`*-un-lft-identity_binary32`
26×	`add-cube-cbrt_binary32`

Counts

4 → 112

Calls

4 calls:

13.0ms	(.f32 (.f32 (sin.f32 (-.f32 normAngle (*.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
9.0ms	(.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
8.0ms	(*.f32 1/120 (pow.f32 u 5))
3.0ms	(*.f32 u 7/360)

Compiler

Compiled 6837 to 4225 computations (38.2% saved)

series156.0ms (1.5%)

Error

0.0b

Counts

4 → 26

Calls

4 calls:

52.0ms	(.f32 (.f32 (sin.f32 (-.f32 normAngle (*.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
39.0ms	(.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle))))
17.0ms	(*.f32 u 7/360)
11.0ms	(*.f32 1/120 (pow.f32 u 5))

Compiler

Compiled 3814 to 2690 computations (29.5% saved)

simplify107.0ms (1%)

Algorithm

1×	egg-herbie

Rules

936×	`times-frac_binary32`
264×	`associate-l_binary32`
258×	`cancel-sign-sub-inv_binary32`
233×	`associate-r_binary32`
176×	`associate-+l+_binary32`

Counts

138 → 98

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2716
1	513	2479
2	1595	2466
3	3731	2466
4	4970	2466

prune160.0ms (1.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	98	8	106

Error

0.0b

Counts

106 → 8

Alt Table

Status	Error	Program
	1.2b	(+.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))) (sin.f32 normAngle))) n1_i))
	0.2b	(+.f32 (.f32 (+.f32 1 (-.f32 (.f32 (.f32 normAngle normAngle) (+.f32 (.f32 u 1/3) (.f32 1/6 (pow.f32 u 3)))) (+.f32 u (.f32 1/2 (.f32 (.f32 normAngle u) (.f32 normAngle u)))))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (.f32 (pow.f32 u 3) -1/36))) n1_i))
	2.4b	(+.f32 (-.f32 n0_i (/.f32 (.f32 (cos.f32 normAngle) (.f32 u (.f32 normAngle n0_i))) (sin.f32 normAngle))) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.0b	(+.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))
	8.2b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.6b	(+.f32 (.f32 (.f32 (.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) (sqrt.f32 (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (+.f32 (+.f32 (+.f32 u (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 u 7/360)))) (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3)))) (.f32 (pow.f32 normAngle 4) (*.f32 (pow.f32 u 3) -1/36))) n1_i))
	1.1b	(+.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.9b	(+.f32 (-.f32 (+.f32 n0_i (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 u 1/2) (.f32 1/6 (pow.f32 u 3))))) (+.f32 (.f32 u n0_i) (.f32 (.f32 normAngle (.f32 normAngle n0_i)) (+.f32 (.f32 1/2 (.f32 u u)) (.f32 u 1/6))))) (.f32 (.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))

Compiler

Compiled 4642 to 2817 computations (39.3% saved)

regimes1.9s (19%)

Accuracy

Total 0.3b remaining (85.7%)

Threshold costs 0.3b (85.7%)

Compiler

Compiled 48323 to 33002 computations (31.7% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

21×	`*-commutative_binary32`
17×	`+-commutative_binary32`
9×	`sub-neg_binary32`
7×	`neg-sub0_binary32`
7×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	44	103
1	72	103
2	83	103
3	100	103
4	111	103
5	122	103
6	127	103
7	130	103
8	131	103
9	129	103

end1.0ms (0%)

Compiler: Compiled 73 to 50 computations (31.5% saved)

sample3.3s (31.8%)

Algorithm

1×

intervals

Results

1.5s	8000×	body	128	valid
510.0ms	8000×	pre	128	true
49.0ms	940×	pre	128	false

Compiler

Compiled 467 to 312 computations (33.2% saved)

Iter	Nodes	Cost
0	44	103
1	72	103
2	83	103
3	100	103
4	111	103
5	122	103
6	127	103
7	130	103
8	131	103
9	129	103

Iter	Nodes	Cost
0	44	103
1	72	103
2	83	103
3	100	103
4	111	103
5	122	103
6	127	103
7	130	103
8	131	103
9	129	103

Details

analyze1.7s (16.8%)

sample92.0ms (0.9%)

simplify172.0ms (1.7%)

prune4.0ms (0%)

localize63.0ms (0.6%)

rewrite226.0ms (2.2%)

series193.0ms (1.9%)

simplify124.0ms (1.2%)

prune124.0ms (1.2%)

localize146.0ms (1.4%)

rewrite247.0ms (2.4%)

series99.0ms (1%)

simplify133.0ms (1.3%)

prune134.0ms (1.3%)

localize165.0ms (1.6%)

rewrite269.0ms (2.6%)

series52.0ms (0.5%)

simplify83.0ms (0.8%)

prune108.0ms (1.1%)

localize153.0ms (1.5%)

rewrite297.0ms (2.9%)

series156.0ms (1.5%)

simplify107.0ms (1%)

prune160.0ms (1.6%)

regimes1.9s (19%)

simplify9.0ms (0.1%)

end1.0ms (0%)

sample3.3s (31.8%)

Profiling

Iter	Nodes	Cost
0	44	103
1	72	103
2	83	103
3	100	103
4	111	103
5	122	103
6	127	103
7	130	103
8	131	103
9	129	103