Details

analyze1.6s (18.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)

sample94.0ms (1%)

Algorithm

1×

intervals

Results

48.0ms	256×	body	128	valid
14.0ms	256×	pre	128	true
2.0ms	40×	pre	128	false

Compiler

Compiled 95 to 69 computations (27.4% saved)

simplify217.0ms (2.4%)

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

prune4.0ms (0%)

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

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

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

series170.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

118.0ms	(.f32 (.f32 (sin.f32 (*.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle))) n0_i)
26.0ms	(.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (/.f32 1 (sin.f32 normAngle)))
21.0ms	(.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle)))
4.0ms	(*.f32 (-.f32 1 u) normAngle)

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

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

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

prune381.0ms (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	231	6	237
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	232	7	239

Error

0.0b

Counts

239 → 7

Alt Table

Status	Error	Program
	0.8b	(+.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))
	0.7b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (.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 (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.0b	(+.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))) (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.6b	(+.f32 (-.f32 n0_i (.f32 u 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))
	8.6b	(/.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 9284 to 4859 computations (47.7% saved)

localize83.0ms (0.9%)

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

series37.0ms (0.4%)

Counts

1 → 4

Calls

1 calls:

37.0ms

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

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

6.0ms

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

simplify75.0ms (0.8%)

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

prune390.0ms (4.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

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

Error

0.0b

Counts

214 → 7

Alt Table

Status	Error	Program
	0.8b	(+.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))
	0.7b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (.f32 (/.f32 1 (sin.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
▶	0.3b	(+.f32 (.f32 (-.f32 1 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.0b	(+.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))) (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.6b	(+.f32 (-.f32 n0_i (.f32 u 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))
	8.6b	(/.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 9905 to 5466 computations (44.8% saved)

localize88.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(+.f32 (.f32 (-.f32 1 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 1 u) n0_i)
	2.5b	(/.f32 (*.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle))

series196.0ms (2.2%)

Counts

3 → 84

Calls

3 calls:

146.0ms

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

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

5.0ms

(*.f32 (-.f32 1 u) n0_i)

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-sqr-sqrt_binary32`
8×	`*-un-lft-identity_binary32`
6×	`associate-l_binary32`
5×	`add-cube-cbrt_binary32`
5×	`add-cbrt-cube_binary32`

Counts

3 → 49

Calls

3 calls:

5.0ms

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

5.0ms

(*.f32 (-.f32 1 u) n0_i)

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

simplify114.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

403×	`fma-neg_binary32`
400×	`cancel-sign-sub-inv_binary32`
335×	`distribute-rgt-in_binary32`
303×	`distribute-lft-in_binary32`
185×	`neg-sub0_binary32`

Counts

133 → 120

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	188	3834
1	550	3704
2	1827	3539
3	4397	3539
4	5023	3539

prune214.0ms (2.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	157	3	160
Fresh	4	2	6
Picked	1	0	1
Done	0	0	0
Total	162	5	167

Error

Counts

167 → 5

Alt Table

Status	Error	Program
	1.0b	(+.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))) (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.2b	(fma.f32 (-.f32 1 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.3b	(-.f32 (+.f32 (fma.f32 u n1_i n0_i) (.f32 n1_i (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3))))) (*.f32 n0_i u))
	0.7b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (.f32 (/.f32 1 (sin.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
▶	0.2b	(+.f32 n0_i (fma.f32 (fma.f32 normAngle (/.f32 u (sin.f32 normAngle)) (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i (neg.f32 (*.f32 n0_i u))))

Compiler

Compiled 5696 to 3200 computations (43.8% saved)

localize66.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f32 (fma.f32 normAngle (/.f32 u (sin.f32 normAngle)) (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i (neg.f32 (*.f32 n0_i u)))
✓	0.1b	(.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)
✓	0.1b	(fma.f32 normAngle (/.f32 u (sin.f32 normAngle)) (.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))

series219.0ms (2.4%)

Counts

3 → 96

Calls

3 calls:

131.0ms

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

45.0ms

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

42.0ms

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

rewrite14.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 57

Calls

3 calls:

8.0ms

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

0.0ms

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

0.0ms

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

simplify124.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

849×	`fma-def_binary32`
812×	`times-frac_binary32`
203×	`fma-neg_binary32`
202×	`associate-r_binary32`
191×	`associate-l_binary32`

Counts

153 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	4540
1	552	4275
2	2042	4265
3	4906	4265
4	4996	4265

prune223.0ms (2.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	166	5	171

Error

Counts

171 → 5

Alt Table

Status	Error	Program
	1.0b	(+.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))) (/.f32 1 (sin.f32 normAngle)))) n0_i) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
	0.2b	(fma.f32 (-.f32 1 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.3b	(-.f32 (+.f32 (fma.f32 u n1_i n0_i) (.f32 n1_i (.f32 (.f32 (.f32 normAngle normAngle) 1/6) (-.f32 u (pow.f32 u 3))))) (*.f32 n0_i u))
	0.7b	(+.f32 (.f32 (sin.f32 (.f32 (-.f32 1 u) normAngle)) (.f32 (/.f32 1 (sin.f32 normAngle)) n0_i)) (.f32 (.f32 (sin.f32 (.f32 u normAngle)) (/.f32 1 (sin.f32 normAngle))) n1_i))
✓	0.2b	(+.f32 n0_i (fma.f32 (fma.f32 normAngle (/.f32 u (sin.f32 normAngle)) (.f32 (/.f32 (.f32 (pow.f32 u 3) (pow.f32 normAngle 3)) (sin.f32 normAngle)) -1/6)) n1_i (neg.f32 (*.f32 n0_i u))))

Compiler

Compiled 5732 to 2835 computations (50.5% saved)

regimes1.5s (16.3%)

Accuracy

Total 0.2b remaining (92.1%)

Threshold costs 0.2b (92.1%)

Counts

227 → 1

Compiler

Compiled 37658 to 24542 computations (34.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	34
1	31	34
2	39	34
3	44	34
4	46	34
5	46	34

end1.0ms (0%)

Compiler: Compiled 27 to 18 computations (33.3% saved)

sample2.9s (32.5%)

Algorithm

1×

intervals

Results

1.5s	8000×	body	128	valid
470.0ms	8000×	pre	128	true
59.0ms	1031×	pre	128	false

Compiler

Compiled 253 to 174 computations (31.2% saved)

Details

analyze1.6s (18.3%)

sample94.0ms (1%)

simplify217.0ms (2.4%)

prune4.0ms (0%)

localize60.0ms (0.7%)

series170.0ms (1.9%)

rewrite35.0ms (0.4%)

simplify117.0ms (1.3%)

prune381.0ms (4.2%)

localize83.0ms (0.9%)

series37.0ms (0.4%)

rewrite8.0ms (0.1%)

simplify75.0ms (0.8%)

prune390.0ms (4.3%)

localize88.0ms (1%)

series196.0ms (2.2%)

rewrite14.0ms (0.2%)

simplify114.0ms (1.3%)

prune214.0ms (2.4%)

localize66.0ms (0.7%)

series219.0ms (2.4%)

rewrite14.0ms (0.2%)

simplify124.0ms (1.4%)

prune223.0ms (2.5%)

regimes1.5s (16.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.9s (32.5%)

Profiling