Details

analyze3.6s (17.9%)

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)

sample216.0ms (1.1%)

Algorithm

1×

intervals

Results

122.0ms	256×	body	128	valid
28.0ms	256×	pre	128	true
3.0ms	32×	pre	128	false

Compiler

Compiled 81 to 59 computations (27.2% saved)

simplify201.0ms (1%)

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

prune17.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
▶	0.8b	(+.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))
	9.0b	(/.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

▶

0.8b

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

9.0b

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

localize70.0ms (0.4%)

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

rewrite329.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

0.4b

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

Compiler

Compiled 3651 to 1996 computations (45.3% saved)

series340.0ms (1.7%)

Error

0.2b

Counts

4 → 48

Calls

4 calls:

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

Compiler

Compiled 4310 to 2882 computations (33.1% saved)

simplify139.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

654×	`associate-r_binary32`
561×	`associate-l_binary32`
410×	`times-frac_binary32`
280×	`associate-+r+_binary32`
197×	`associate-+l+_binary32`

Counts

167 → 137

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	461	4970
1	1247	4530
2	4838	4530
3	5625	4530

prune325.0ms (1.6%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	128	9	137
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	129	10	139

Error

0.0b

Counts

139 → 10

Alt Table

Status	Error	Program
	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (+.f32 (.f32 1/6 (/.f32 (.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (cos.f32 normAngle)) (sin.f32 normAngle))) (-.f32 1 (+.f32 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle)) (.f32 1/2 (.f32 u (.f32 u (.f32 normAngle normAngle)))))))))
	9.0b	(/.f32 (+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) n0_i) (.f32 (sin.f32 (.f32 u normAngle)) n1_i)) (sin.f32 normAngle))
	0.8b	(+.f32 (.f32 (.f32 (sin.f32 (/.f32 (.f32 normAngle (-.f32 1 (pow.f32 u 3))) (+.f32 (.f32 1 1) (+.f32 (.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))
	0.8b	(+.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.5b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (-.f32 (+.f32 (.f32 1/216 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 n0_i (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/24 (.f32 n0_i (.f32 (pow.f32 normAngle 4) (pow.f32 u 4)))) (+.f32 n0_i (+.f32 (.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/60 (.f32 u (.f32 n0_i (pow.f32 normAngle 6)))) (+.f32 (.f32 1/72 (.f32 u (.f32 u (.f32 n0_i (pow.f32 normAngle 6))))) (+.f32 (.f32 11/120 (.f32 u (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/6 (.f32 n0_i (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) (.f32 n0_i (.f32 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6)) 1/360))))))))))))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 5) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/720 (.f32 (pow.f32 normAngle 6) (pow.f32 u 6)))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/12 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/6 (.f32 u (.f32 normAngle normAngle)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 u n0_i) (+.f32 (.f32 1/2 (.f32 n0_i (.f32 u (.f32 u (.f32 normAngle normAngle))))) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 6))) 11/756) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 4))) 5/72) (.f32 1/72 (.f32 u (.f32 u (*.f32 n0_i (pow.f32 normAngle 6)))))))))))))))))
▶	0.4b	(+.f32 (.f32 (/.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (sin.f32 normAngle)) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.9b	(+.f32 (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (/.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 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.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))))
	6.2b	(+.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))

Compiler

Compiled 4310 to 2368 computations (45.1% saved)

localize195.0ms (1%)

Local error

Found 4 expressions with local error:

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

rewrite425.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

25×	`add-sqr-sqrt_binary32`
22×	`add-exp-log_binary32`
19×	`add-cbrt-cube_binary32`
18×	`*-un-lft-identity_binary32`
18×	`add-cube-cbrt_binary32`

Counts

4 → 91

Calls

4 calls:

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

Compiler

Compiled 5304 to 3394 computations (36% saved)

series259.0ms (1.3%)

Error

0.0b

Counts

4 → 24

Calls

4 calls:

117.0ms	(/.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (sin.f32 normAngle))
45.0ms	(.f32 1/6 (.f32 u (*.f32 normAngle normAngle)))
22.0ms	(*.f32 1/120 (pow.f32 u 5))
20.0ms	(*.f32 7/360 u)

Compiler

Compiled 3450 to 2455 computations (28.8% saved)

simplify201.0ms (1%)

Algorithm

1×	egg-herbie

Rules

361×	`cancel-sign-sub-inv_binary32`
298×	`associate-r_binary32`
295×	`associate--l+_binary32`
251×	`associate-l_binary32`
203×	`distribute-rgt-in_binary32`

Counts

115 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	291	3752
1	642	3436
2	2241	3352
3	4861	3349
4	4966	3349
5	4999	3349
6	4937	3349

prune262.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	65	2	67
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	68	9	77

Error

0.0b

Counts

77 → 9

Alt Table

Status	Error	Program
	0.6b	(+.f32 (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (/.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))))
	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (+.f32 (.f32 1/6 (/.f32 (.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (cos.f32 normAngle)) (sin.f32 normAngle))) (-.f32 1 (+.f32 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle)) (.f32 1/2 (.f32 u (.f32 u (.f32 normAngle normAngle)))))))))
	9.0b	(/.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 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.8b	(+.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.5b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (-.f32 (+.f32 (.f32 1/216 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 n0_i (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/24 (.f32 n0_i (.f32 (pow.f32 normAngle 4) (pow.f32 u 4)))) (+.f32 n0_i (+.f32 (.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/60 (.f32 u (.f32 n0_i (pow.f32 normAngle 6)))) (+.f32 (.f32 1/72 (.f32 u (.f32 u (.f32 n0_i (pow.f32 normAngle 6))))) (+.f32 (.f32 11/120 (.f32 u (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/6 (.f32 n0_i (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) (.f32 n0_i (.f32 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6)) 1/360))))))))))))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 5) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/720 (.f32 (pow.f32 normAngle 6) (pow.f32 u 6)))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/12 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/6 (.f32 u (.f32 normAngle normAngle)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 u n0_i) (+.f32 (.f32 1/2 (.f32 n0_i (.f32 u (.f32 u (.f32 normAngle normAngle))))) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 6))) 11/756) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 4))) 5/72) (.f32 1/72 (.f32 u (.f32 u (*.f32 n0_i (pow.f32 normAngle 6)))))))))))))))))
	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))
	6.2b	(+.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))

Compiler

Compiled 3590 to 2358 computations (34.3% saved)

localize554.0ms (2.8%)

Local error

Found 4 expressions with local error:

0.1b	(.f32 normAngle (.f32 normAngle n0_i))
0.1b	(.f32 u (.f32 u (*.f32 normAngle normAngle)))
0.2b	(.f32 1/6 (.f32 u (*.f32 normAngle normAngle)))
1.1b	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))

rewrite984.0ms (5%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

29×	`add-cbrt-cube_binary32`
29×	`add-exp-log_binary32`
27×	`pow1_binary32`
15×	`cbrt-unprod_binary32`
15×	`prod-exp_binary32`

Counts

4 → 87

Calls

4 calls:

9.0ms	(.f32 u (.f32 u (*.f32 normAngle normAngle)))
9.0ms	(.f32 1/6 (.f32 u (*.f32 normAngle normAngle)))
5.0ms	(.f32 normAngle (.f32 normAngle n0_i))
4.0ms	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))

Compiler

Compiled 19703 to 12164 computations (38.3% saved)

series778.0ms (3.9%)

Error

0.0b

Counts

4 → 29

Calls

4 calls:

194.0ms	(.f32 1/6 (.f32 u (*.f32 normAngle normAngle)))
185.0ms	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))
143.0ms	(.f32 normAngle (.f32 normAngle n0_i))
130.0ms	(.f32 u (.f32 u (*.f32 normAngle normAngle)))

Compiler

Compiled 16635 to 11318 computations (32% saved)

simplify305.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

503×	`associate-r_binary32`
456×	`cancel-sign-sub-inv_binary32`
394×	`associate-l_binary32`
249×	`unswap-sqr_binary32`
207×	`*-commutative_binary32`

Counts

116 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	326	12689
1	773	11938
2	3007	10858
3	4705	10844
4	4967	10844

prune366.0ms (1.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	63	0	63
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	63	9	72

Error

0.0b

Counts

72 → 9

Alt Table

Status	Error	Program
	0.6b	(+.f32 (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (/.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
▶	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))))
	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (+.f32 (.f32 1/6 (/.f32 (.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (cos.f32 normAngle)) (sin.f32 normAngle))) (-.f32 1 (+.f32 (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle)) (.f32 1/2 (.f32 u (.f32 u (.f32 normAngle normAngle)))))))))
	9.0b	(/.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 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.8b	(+.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.5b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (-.f32 (+.f32 (.f32 1/216 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 n0_i (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/24 (.f32 n0_i (.f32 (pow.f32 normAngle 4) (pow.f32 u 4)))) (+.f32 n0_i (+.f32 (.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/60 (.f32 u (.f32 n0_i (pow.f32 normAngle 6)))) (+.f32 (.f32 1/72 (.f32 u (.f32 u (.f32 n0_i (pow.f32 normAngle 6))))) (+.f32 (.f32 11/120 (.f32 u (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/6 (.f32 n0_i (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) (.f32 n0_i (.f32 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6)) 1/360))))))))))))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 5) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/720 (.f32 (pow.f32 normAngle 6) (pow.f32 u 6)))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/12 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/6 (.f32 u (.f32 normAngle normAngle)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 u n0_i) (+.f32 (.f32 1/2 (.f32 n0_i (.f32 u (.f32 u (.f32 normAngle normAngle))))) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 6))) 11/756) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 4))) 5/72) (.f32 1/72 (.f32 u (.f32 u (*.f32 n0_i (pow.f32 normAngle 6)))))))))))))))))
	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))
	6.2b	(+.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))

Compiler

Compiled 8010 to 5130 computations (36% saved)

localize56.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.1b	(-.f32 normAngle (*.f32 u normAngle))
0.1b	(.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))
0.3b	(/.f32 (sin.f32 (-.f32 normAngle (*.f32 u normAngle))) (sin.f32 normAngle))
1.1b	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))

rewrite213.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

33×	`add-sqr-sqrt_binary32`
29×	`*-un-lft-identity_binary32`
28×	`times-frac_binary32`
28×	`add-cube-cbrt_binary32`
13×	`associate-r_binary32`

Counts

4 → 100

Calls

4 calls:

9.0ms	(.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))
5.0ms	(/.f32 (sin.f32 (-.f32 normAngle (*.f32 u normAngle))) (sin.f32 normAngle))
4.0ms	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))
3.0ms	(-.f32 normAngle (*.f32 u normAngle))

Compiler

Compiled 2960 to 487 computations (83.5% saved)

series353.0ms (1.8%)

Error

0.0b

Counts

4 → 48

Calls

4 calls:

106.0ms	(.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle)))
56.0ms	(/.f32 (sin.f32 (-.f32 normAngle (*.f32 u normAngle))) (sin.f32 normAngle))
51.0ms	(/.f32 (sin.f32 (*.f32 u normAngle)) (sin.f32 normAngle))
32.0ms	(-.f32 normAngle (*.f32 u normAngle))

Compiler

Compiled 4057 to 2475 computations (39% saved)

simplify150.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

515×	`associate-r_binary32`
404×	`associate-l_binary32`
285×	`associate-+r+_binary32`
278×	`*-commutative_binary32`
257×	`+-commutative_binary32`

Counts

148 → 83

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	462	5011
1	1230	4696
2	4749	4696
3	5051	4696

prune170.0ms (0.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	80	3	83
Fresh	3	4	7
Picked	1	0	1
Done	0	1	1
Total	84	8	92

Error

0.0b

Counts

92 → 8

Alt Table

Status	Error	Program
	0.7b	(+.f32 (.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)))) (/.f32 (cbrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.8b	(+.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.5b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (-.f32 (+.f32 (.f32 1/216 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 n0_i (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/5040 (.f32 (pow.f32 u 7) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/24 (.f32 n0_i (.f32 (pow.f32 normAngle 4) (pow.f32 u 4)))) (+.f32 n0_i (+.f32 (.f32 1/2 (.f32 u (.f32 normAngle (.f32 normAngle n0_i)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/60 (.f32 u (.f32 n0_i (pow.f32 normAngle 6)))) (+.f32 (.f32 1/72 (.f32 u (.f32 u (.f32 n0_i (pow.f32 normAngle 6))))) (+.f32 (.f32 11/120 (.f32 u (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 1/6 (.f32 n0_i (.f32 (pow.f32 u 3) (.f32 normAngle normAngle)))) (.f32 n0_i (.f32 (.f32 (pow.f32 u 5) (pow.f32 normAngle 6)) 1/360))))))))))))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 5) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/720 (.f32 (pow.f32 normAngle 6) (pow.f32 u 6)))) (+.f32 (.f32 1/120 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 6)))) (+.f32 (.f32 1/12 (.f32 n0_i (.f32 (pow.f32 u 3) (pow.f32 normAngle 4)))) (+.f32 (.f32 n0_i (.f32 1/6 (.f32 u (.f32 normAngle normAngle)))) (+.f32 (.f32 1/12 (.f32 (.f32 u u) (.f32 n0_i (pow.f32 normAngle 4)))) (+.f32 (.f32 u n0_i) (+.f32 (.f32 1/2 (.f32 n0_i (.f32 u (.f32 u (.f32 normAngle normAngle))))) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 6))) 11/756) (+.f32 (.f32 (.f32 u (.f32 n0_i (pow.f32 normAngle 4))) 5/72) (.f32 1/72 (.f32 u (.f32 u (*.f32 n0_i (pow.f32 normAngle 6)))))))))))))))))
	0.6b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 n0_i (+.f32 (-.f32 1 (+.f32 (.f32 1/2 (.f32 u (.f32 u (.f32 normAngle normAngle)))) (/.f32 (.f32 (.f32 u normAngle) (cos.f32 normAngle)) (sin.f32 normAngle)))) (.f32 1/6 (/.f32 (.f32 (pow.f32 (.f32 u normAngle) 3) (cos.f32 normAngle)) (sin.f32 normAngle))))))
	0.9b	(+.f32 (.f32 n1_i (/.f32 (sin.f32 (.f32 u normAngle)) (sin.f32 normAngle))) (.f32 (/.f32 n0_i (.f32 (cbrt.f32 (sin.f32 normAngle)) (cbrt.f32 (sin.f32 normAngle)))) (/.f32 (sin.f32 (-.f32 normAngle (*.f32 u normAngle))) (cbrt.f32 (sin.f32 normAngle)))))
	0.6b	(+.f32 (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (/.f32 (sqrt.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle))) (sin.f32 normAngle))) n0_i) (.f32 n1_i (+.f32 (+.f32 (.f32 (pow.f32 normAngle 4) (+.f32 (.f32 1/120 (pow.f32 u 5)) (.f32 7/360 u))) u) (-.f32 (.f32 1/6 (.f32 u (.f32 normAngle normAngle))) (+.f32 (.f32 1/6 (.f32 (pow.f32 u 3) (.f32 normAngle normAngle))) (.f32 1/36 (.f32 (pow.f32 u 3) (pow.f32 normAngle 4))))))))
	0.7b	(+.f32 (.f32 n1_i (.f32 (sqrt.f32 (sin.f32 (.f32 u normAngle))) (/.f32 (sqrt.f32 (sin.f32 (.f32 u normAngle))) (sin.f32 normAngle)))) (.f32 n0_i (/.f32 (sin.f32 (-.f32 normAngle (.f32 u normAngle))) (sin.f32 normAngle))))
	9.0b	(/.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 2654 to 1147 computations (56.8% saved)

regimes5.1s (25.8%)

Accuracy

Total 0.2b remaining (84.6%)

Threshold costs 0.2b (84.6%)

Compiler

Compiled 73168 to 46022 computations (37.1% saved)

simplify31.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

98×	`*-commutative_binary32`
73×	`+-commutative_binary32`
52×	`distribute-lft-neg-in_binary32`
52×	`distribute-rgt-neg-in_binary32`
47×	`sub-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	117	373
1	200	373
2	212	373
3	232	373
4	261	373
5	312	373
6	380	373
7	465	373
8	540	373
9	602	373
10	622	373
11	630	373
12	631	373
13	623	373

end10.0ms (0%)

Compiler: Compiled 253 to 175 computations (30.8% saved)

sample4.2s (21.2%)

Algorithm

1×

intervals

Results

1.6s	8000×	body	128	valid
460.0ms	8000×	pre	128	true
51.0ms	969×	pre	128	false

Compiler

Compiled 888 to 593 computations (33.2% saved)

Iter	Nodes	Cost
0	117	373
1	200	373
2	212	373
3	232	373
4	261	373
5	312	373
6	380	373
7	465	373
8	540	373
9	602	373
10	622	373
11	630	373
12	631	373
13	623	373

Iter	Nodes	Cost
0	117	373
1	200	373
2	212	373
3	232	373
4	261	373
5	312	373
6	380	373
7	465	373
8	540	373
9	602	373
10	622	373
11	630	373
12	631	373
13	623	373

Details

analyze3.6s (17.9%)

sample216.0ms (1.1%)

simplify201.0ms (1%)

prune17.0ms (0.1%)

localize70.0ms (0.4%)

rewrite329.0ms (1.7%)

series340.0ms (1.7%)

simplify139.0ms (0.7%)

prune325.0ms (1.6%)

localize195.0ms (1%)

rewrite425.0ms (2.1%)

series259.0ms (1.3%)

simplify201.0ms (1%)

prune262.0ms (1.3%)

localize554.0ms (2.8%)

rewrite984.0ms (5%)

series778.0ms (3.9%)

simplify305.0ms (1.5%)

prune366.0ms (1.8%)

localize56.0ms (0.3%)

rewrite213.0ms (1.1%)

series353.0ms (1.8%)

simplify150.0ms (0.8%)

prune170.0ms (0.9%)

regimes5.1s (25.8%)

simplify31.0ms (0.2%)

end10.0ms (0%)

sample4.2s (21.2%)

Profiling

Iter	Nodes	Cost
0	117	373
1	200	373
2	212	373
3	232	373
4	261	373
5	312	373
6	380	373
7	465	373
8	540	373
9	602	373
10	622	373
11	630	373
12	631	373
13	623	373