Details

analyze379.0ms (3.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 37 to 28 computations (24.3% saved)

sample84.0ms (0.8%)

Algorithm

1×

intervals

Results

31.0ms	256×	body	128	valid
13.0ms	256×	pre	128	true
0.0ms	1×	pre	128	false

Compiler

Compiled 54 to 42 computations (22.2% saved)

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
6×	`fma-def_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

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

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize28.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
✓	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))
✓	0.4b	(*.f32 314159265359/50000000000 u2)

series39.0ms (0.4%)

Counts

4 → 32

Calls

4 calls:

25.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))
10.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
2.0ms	(/.f32 u1 (-.f32 1 u1))
2.0ms	(*.f32 314159265359/50000000000 u2)

rewrite32.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary32`
69×	`*-un-lft-identity_binary32`
56×	`times-frac_binary32`
50×	`sqrt-prod_binary32`
39×	`add-cube-cbrt_binary32`

Counts

4 → 148

Calls

4 calls:

10.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 314159265359/50000000000 u2)))
6.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
4.0ms	(/.f32 u1 (-.f32 1 u1))
3.0ms	(*.f32 314159265359/50000000000 u2)

simplify125.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

595×	`associate-/r*_binary32`
533×	`fma-def_binary32`
401×	`times-frac_binary32`
260×	`associate-/l*_binary32`
231×	`fma-neg_binary32`

Counts

180 → 222

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	286	3573
1	636	3380
2	1887	3262
3	4911	3262
4	4959	3262

prune269.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	213	9	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	214	9	223

Error

0.1b

Counts

223 → 9

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (.f32 1 1) (.f32 u1 u1)))) (.f32 (sqrt.f32 (+.f32 1 u1)) (sin.f32 (*.f32 314159265359/50000000000 u2))))
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2))))
	0.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)) (.f32 (sqrt.f32 314159265359/50000000000) (sqrt.f32 u2)))))
	14.4b	(.f32 (sqrt.f32 (log.f32 (exp.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 314159265359/50000000000 u2)))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	0.7b	(.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (.f32 (sqrt.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	2.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 314159265359/50000000000 u2 (.f32 (pow.f32 u2 3) -31006276680305942139213528068663279/750000000000000000000000000000000)))
	0.7b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))

Compiler

Compiled 4926 to 3597 computations (27% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.3b	(.f32 (sqrt.f32 314159265359/50000000000) (.f32 (sqrt.f32 314159265359/50000000000) u2))
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

series52.0ms (0.5%)

Counts

2 → 32

Calls

2 calls:

40.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

11.0ms

(*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`associate-l_binary32`
32×	`add-sqr-sqrt_binary32`
29×	`sqrt-prod_binary32`
25×	`*-un-lft-identity_binary32`
19×	`times-frac_binary32`

Counts

2 → 70

Calls

2 calls:

10.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

5.0ms

(*.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))

simplify88.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

493×	`fma-neg_binary32`
367×	`*-commutative_binary32`
334×	`fma-def_binary32`
299×	`associate-/r*_binary32`
259×	`unswap-sqr_binary32`

Counts

102 → 130

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	203	2099
1	462	1958
2	1379	1848
3	3597	1840
4	4911	1840

prune311.0ms (2.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	239	3	242
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	242	9	251

Error

0.0b

Counts

251 → 9

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))
	14.4b	(.f32 (sqrt.f32 (log.f32 (exp.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 314159265359/50000000000 u2)))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (.f32 1 1) (.f32 u1 u1)))) (.f32 (sqrt.f32 (+.f32 1 u1)) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))) (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	2.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 314159265359/50000000000 u2 (.f32 (pow.f32 u2 3) -31006276680305942139213528068663279/750000000000000000000000000000000)))
	0.7b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	0.5b	(.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

Compiler

Compiled 6131 to 4746 computations (22.6% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.3b	(*.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000)
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))

series48.0ms (0.4%)

Counts

2 → 32

Calls

2 calls:

45.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (*.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))

3.0ms

(*.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000)

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary32`
39×	`associate-l_binary32`
27×	`*-un-lft-identity_binary32`
26×	`sqrt-prod_binary32`
19×	`times-frac_binary32`

Counts

2 → 80

Calls

2 calls:

10.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (*.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))

5.0ms

(*.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000)

simplify153.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

479×	`fma-neg_binary32`
456×	`*-commutative_binary32`
353×	`fma-def_binary32`
299×	`associate-/r*_binary32`
211×	`times-frac_binary32`

Counts

112 → 140

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	219	2623
1	473	2503
2	1565	2355
3	4142	2331
4	4877	2331
5	4994	2331
6	4921	2331

prune338.0ms (3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	252	0	252
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	252	9	261

Error

0.0b

Counts

261 → 9

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))
	14.4b	(.f32 (sqrt.f32 (log.f32 (exp.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 314159265359/50000000000 u2)))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (.f32 1 1) (.f32 u1 u1)))) (.f32 (sqrt.f32 (+.f32 1 u1)) (sin.f32 (*.f32 314159265359/50000000000 u2))))
▶	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))) (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	2.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 314159265359/50000000000 u2 (.f32 (pow.f32 u2 3) -31006276680305942139213528068663279/750000000000000000000000000000000)))
	0.7b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	0.5b	(.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))

Compiler

Compiled 6254 to 4805 computations (23.2% saved)

localize41.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
	0.2b	(/.f32 u1 (-.f32 1 u1))
✓	0.3b	(.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (*.f32 (cbrt.f32 314159265359/50000000000) u2))
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2))))

series45.0ms (0.4%)

Counts

2 → 32

Calls

2 calls:

31.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (*.f32 (*.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (*.f32 (cbrt.f32 314159265359/50000000000) u2))))

14.0ms

(*.f32 (*.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (*.f32 (cbrt.f32 314159265359/50000000000) u2))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary32`
28×	`associate-l_binary32`
26×	`sqrt-prod_binary32`
23×	`*-un-lft-identity_binary32`
19×	`times-frac_binary32`

Counts

2 → 71

Calls

2 calls:

12.0ms

(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (*.f32 (*.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (*.f32 (cbrt.f32 314159265359/50000000000) u2))))

7.0ms

(*.f32 (*.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (*.f32 (cbrt.f32 314159265359/50000000000) u2))

simplify109.0ms (1%)

Algorithm

1×	egg-herbie

Rules

567×	`fma-neg_binary32`
355×	`fma-def_binary32`
347×	`*-commutative_binary32`
299×	`associate-/r*_binary32`
236×	`sub-neg_binary32`

Counts

103 → 123

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	198	2056
1	433	1923
2	1309	1809
3	3551	1809
4	4808	1809
5	4932	1809

prune318.0ms (2.8%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	233	2	235
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	233	11	244

Error

0.0b

Counts

244 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 (.f32 1 1) (.f32 u1 u1)))) (.f32 (sqrt.f32 (+.f32 1 u1)) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 314159265359/50000000000 u2))) (cbrt.f32 (sin.f32 (.f32 314159265359/50000000000 u2))))) (cbrt.f32 (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2)))))
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 u2 3) 31006276680305942139213528068663279/125000000000000000000000000000000))))
	14.4b	(.f32 (sqrt.f32 (log.f32 (exp.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 314159265359/50000000000 u2)))
✓	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2))))
	0.8b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))) (cbrt.f32 (sin.f32 (.f32 u2 314159265359/50000000000))))) (cbrt.f32 (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2)))))
	0.7b	(.f32 (sqrt.f32 (/.f32 (.f32 (cbrt.f32 u1) (cbrt.f32 u1)) (.f32 (cbrt.f32 (-.f32 1 u1)) (cbrt.f32 (-.f32 1 u1))))) (.f32 (sqrt.f32 (/.f32 (cbrt.f32 u1) (cbrt.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 314159265359/50000000000 u2))))
	2.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 314159265359/50000000000 u2 (.f32 (pow.f32 u2 3) -31006276680305942139213528068663279/750000000000000000000000000000000)))
	0.7b	(/.f32 (.f32 (sqrt.f32 u1) (sin.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	0.5b	(.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (sin.f32 (.f32 (sqrt.f32 314159265359/50000000000) (*.f32 (sqrt.f32 314159265359/50000000000) u2))))
	1.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (sqrt.f32 (sin.f32 (.f32 314159265359/50000000000 u2)))) (sqrt.f32 (sin.f32 (.f32 (.f32 (cbrt.f32 314159265359/50000000000) (cbrt.f32 314159265359/50000000000)) (.f32 (cbrt.f32 314159265359/50000000000) u2)))))

Compiler

Compiled 6372 to 5028 computations (21.1% saved)

regimes6.7s (60.1%)

Accuracy

Total 0.4b remaining (84.6%)

Threshold costs 0.4b (84.6%)

Counts

475 → 1

Compiler

Compiled 104511 to 82985 computations (20.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	42
1	27	42
2	31	42
3	33	42
4	34	42
5	33	42

end1.0ms (0%)

Compiler: Compiled 30 to 23 computations (23.3% saved)

sample1.8s (16.4%)

Algorithm

1×

intervals

Results

821.0ms	8000×	body	128	valid
272.0ms	8000×	pre	128	true
0.0ms	5×	pre	128	false

Compiler

Compiled 326 to 263 computations (19.3% saved)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Details

analyze379.0ms (3.4%)

sample84.0ms (0.8%)

simplify9.0ms (0.1%)

prune2.0ms (0%)

localize28.0ms (0.3%)

series39.0ms (0.4%)

rewrite32.0ms (0.3%)

simplify125.0ms (1.1%)

prune269.0ms (2.4%)

localize41.0ms (0.4%)

series52.0ms (0.5%)

rewrite21.0ms (0.2%)

simplify88.0ms (0.8%)

prune311.0ms (2.8%)

localize41.0ms (0.4%)

series48.0ms (0.4%)

rewrite21.0ms (0.2%)

simplify153.0ms (1.4%)

prune338.0ms (3%)

localize41.0ms (0.4%)

series45.0ms (0.4%)

rewrite26.0ms (0.2%)

simplify109.0ms (1%)

prune318.0ms (2.8%)

regimes6.7s (60.1%)

simplify3.0ms (0%)

end1.0ms (0%)

sample1.8s (16.4%)

Profiling

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17