Details

analyze1.8s (14.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 48 to 35 computations (27.1% saved)

sample90.0ms (0.7%)

Algorithm

1×

intervals

Results

47.0ms	256×	body	128	valid
13.0ms	256×	pre	128	true
1.0ms	31×	pre	128	false

Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify177.0ms (1.4%)

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

prune8.0ms (0.1%)

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

Counts

2 → 2

Alt Table

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

Status

Error

Program

▶

1.1b

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

7.9b

(/.f32 (+.f32 (*.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) n0_i) (*.f32 (sin.f32 (*.f32 u normAngle)) n1_i)) (sin.f32 normAngle))

Compiler

Compiled 124 to 85 computations (31.5% saved)

localize63.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

rewrite297.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.5b

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:

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

Compiler

Compiled 3651 to 1996 computations (45.3% saved)

series245.0ms (2%)

Error

0.1b

Counts

4 → 43

Calls

4 calls:

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

Compiler

Compiled 3334 to 2195 computations (34.2% saved)

simplify116.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

462×	`cancel-sign-sub-inv_binary32`
330×	`associate-l_binary32`
328×	`associate-r_binary32`
266×	`associate-/l*_binary32`
209×	`*-commutative_binary32`

Counts

162 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	288	3149
1	744	2739
2	2450	2706
3	4515	2706
4	4991	2706

prune171.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	120	7	127
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	121	8	129

Error

0.1b

Counts

129 → 8

Alt Table

Status	Error	Program
	1.0b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))) (cbrt.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))
	1.1b	(+.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))
▶	0.7b	(+.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 (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.9b	(+.f32 (.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))
	1.0b	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	7.9b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	1.3b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 3191 to 1436 computations (55% saved)

localize132.0ms (1.1%)

Local error

Found 4 expressions with local error:

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

rewrite353.0ms (2.9%)

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:

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

series160.0ms (1.3%)

Error

0.0b

Counts

4 → 20

Calls

4 calls:

69.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
19.0ms	(*.f32 1/120 (pow.f32 u 5))
18.0ms	(*.f32 u 7/360)
18.0ms	(*.f32 (pow.f32 u 3) -1/36)

Compiler

Compiled 2805 to 2036 computations (27.4% saved)

simplify132.0ms (1.1%)

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

prune176.0ms (1.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	84	1	85
Fresh	1	6	7
Picked	1	0	1
Done	0	0	0
Total	86	7	93

Error

0.0b

Counts

93 → 7

Alt Table

Status	Error	Program
	1.0b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))) (cbrt.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))
	1.1b	(+.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.2b	(+.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))
	1.0b	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	7.9b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
▶	0.3b	(+.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (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.3b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 3526 to 2180 computations (38.2% saved)

localize132.0ms (1.1%)

Local error

Found 4 expressions with local error:

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

rewrite298.0ms (2.4%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

35×	`add-sqr-sqrt_binary32`
21×	`*-un-lft-identity_binary32`
21×	`add-cube-cbrt_binary32`
18×	`associate-l_binary32`
18×	`add-exp-log_binary32`

Counts

4 → 102

Calls

4 calls:

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

Compiler

Compiled 5311 to 2988 computations (43.7% saved)

series160.0ms (1.3%)

Error

0.0b

Counts

4 → 20

Calls

4 calls:

70.0ms	(/.f32 (sin.f32 (-.f32 normAngle (*.f32 normAngle u))) (sin.f32 normAngle))
19.0ms	(*.f32 1/120 (pow.f32 u 5))
17.0ms	(*.f32 (pow.f32 u 3) -1/36)
17.0ms	(*.f32 u 7/360)

Compiler

Compiled 2763 to 1953 computations (29.3% saved)

simplify131.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

317×	`sub-neg_binary32`
312×	`times-frac_binary32`
234×	`associate-r_binary32`
230×	`associate-l_binary32`
219×	`log-prod_binary32`

Counts

122 → 77

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	240	1799
1	497	1687
2	1702	1668
3	3733	1641
4	4702	1635
5	4917	1635
6	4927	1635

prune205.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	77	7	84

Error

0.0b

Counts

84 → 7

Alt Table

Status	Error	Program
	1.0b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))) (cbrt.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))
	1.1b	(+.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.2b	(+.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))
▶	1.0b	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	7.9b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
✓	0.3b	(+.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (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.3b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 3627 to 2034 computations (43.9% saved)

localize65.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.1b	(.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle))
0.1b	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
1.4b	(/.f32 (*.f32 u normAngle) (sin.f32 normAngle))
1.6b	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))

rewrite234.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

27×	`add-exp-log_binary32`
26×	`add-sqr-sqrt_binary32`
23×	`add-cbrt-cube_binary32`
18×	`*-un-lft-identity_binary32`
17×	`times-frac_binary32`

Counts

4 → 103

Calls

4 calls:

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

Compiler

Compiled 3635 to 998 computations (72.5% saved)

series320.0ms (2.6%)

Error

0.0b

Counts

4 → 52

Calls

4 calls:

154.0ms	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
42.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
36.0ms	(.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle))
31.0ms	(/.f32 (*.f32 u normAngle) (sin.f32 normAngle))

Compiler

Compiled 3458 to 2015 computations (41.7% saved)

simplify148.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

575×	`times-frac_binary32`
399×	`associate-r_binary32`
363×	`associate-l_binary32`
259×	`*-commutative_binary32`
196×	`sub-neg_binary32`

Counts

155 → 107

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	357	4362
1	1000	3971
2	3666	3971
3	4999	3971
4	4967	3971

prune135.0ms (1.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	105	2	107
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	106	8	114

Error

0.0b

Counts

114 → 8

Alt Table

Status	Error	Program
	7.9b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.7b	(-.f32 (+.f32 n0_i (.f32 u n1_i)) (.f32 u n0_i))
	5.1b	(-.f32 (+.f32 n0_i (/.f32 (.f32 (.f32 u normAngle) n1_i) (sin.f32 normAngle))) (+.f32 (/.f32 (.f32 (cos.f32 normAngle) (.f32 (.f32 u normAngle) n0_i)) (sin.f32 normAngle)) (.f32 1/6 (/.f32 (.f32 (pow.f32 (.f32 u normAngle) 3) n1_i) (sin.f32 normAngle)))))
	0.3b	(+.f32 (.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 normAngle u))) (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.0b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))) (cbrt.f32 (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))) (cbrt.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))
	1.2b	(+.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))
	1.0b	(+.f32 (-.f32 n0_i (.f32 (.f32 (/.f32 (.f32 u normAngle) (sin.f32 normAngle)) (cos.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	1.3b	(+.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)) (*.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 1 (cbrt.f32 (sin.f32 normAngle)))) n1_i))

Compiler

Compiled 2601 to 816 computations (68.6% saved)

regimes3.0s (24.8%)

Accuracy

Total 0.3b remaining (87.2%)

Threshold costs 0.3b (87.2%)

Compiler

Compiled 42353 to 26987 computations (36.3% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary32`
11×	`+-commutative_binary32`
6×	`sub-neg_binary32`
4×	`neg-sub0_binary32`
4×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	77
1	58	77
2	71	77
3	79	77
4	84	77
5	85	77
6	85	77

end2.0ms (0%)

Compiler: Compiled 55 to 39 computations (29.1% saved)

sample3.5s (28.7%)

Algorithm

1×

intervals

Results

1.7s	8000×	body	128	valid
444.0ms	8000×	pre	128	true
53.0ms	1025×	pre	128	false

Compiler

Compiled 382 to 238 computations (37.7% saved)

Details

analyze1.8s (14.3%)

sample90.0ms (0.7%)

simplify177.0ms (1.4%)

prune8.0ms (0.1%)

localize63.0ms (0.5%)

rewrite297.0ms (2.4%)

series245.0ms (2%)

simplify116.0ms (0.9%)

prune171.0ms (1.4%)

localize132.0ms (1.1%)

rewrite353.0ms (2.9%)

series160.0ms (1.3%)

simplify132.0ms (1.1%)

prune176.0ms (1.4%)

localize132.0ms (1.1%)

rewrite298.0ms (2.4%)

series160.0ms (1.3%)

simplify131.0ms (1.1%)

prune205.0ms (1.7%)

localize65.0ms (0.5%)

rewrite234.0ms (1.9%)

series320.0ms (2.6%)

simplify148.0ms (1.2%)

prune135.0ms (1.1%)

regimes3.0s (24.8%)

simplify6.0ms (0%)

end2.0ms (0%)

sample3.5s (28.7%)

Profiling