Details

analyze119.0ms (2.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.9%	99.1%	0
0%	0.9%	99.1%	1
0%	0.9%	99.1%	2
0.4%	0.4%	99.1%	3
0.4%	0.4%	99.1%	4
0.6%	0.2%	99.1%	5
0.6%	0.2%	99.1%	6
0.7%	0.1%	99.1%	7
0.7%	0.1%	99.1%	8
0.8%	0.1%	99.1%	9
0.8%	0.1%	99.1%	10
0.8%	0%	99.1%	11
0.8%	0%	99.1%	12
0.8%	0%	99.1%	13
0.8%	0%	99.1%	14

Compiler

Compiled 32 to 24 computations (25% saved)

sample1.6s (27.7%)

Results

1.6s

8256×

body

128

valid

Compiler

Compiled 64 to 48 computations (25% saved)

preprocess59.0ms (1%)

Algorithm

2×	egg-herbie

Rules

862×	`fma-def_binary32`
412×	`fma-neg_binary32`
273×	`unsub-neg_binary32`
261×	`associate--r+_binary32`
256×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	46
1	35	38
2	62	38
3	115	38
4	245	38
5	418	38
6	667	38
7	1046	38
8	1746	38
9	2029	38
10	2430	38
11	3238	38
12	3716	38
13	4747	38
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify77.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

2871×	`fma-def_binary32`
361×	`distribute-rgt-in_binary32`
327×	`distribute-rgt-out_binary32`
316×	`associate-+r+_binary32`
188×	`fma-neg_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	21	19
2	35	19
3	62	19
4	129	19
5	218	19
6	337	19
7	517	19
8	846	19
9	966	19
10	1043	19
11	1072	19
12	1113	19
13	1241	19
14	1509	19
15	1854	19
16	2273	19
17	2373	19
18	2379	19
19	2731	19
20	3090	19
21	3310	19
22	3550	19
23	3550	19
24	3550	19
25	3550	19

Stop Event

1×	node limit

Counts

1 → 2

prune3.0ms (0.1%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
	0.1b	(fma.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) 1)
▶	0.1b	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))

Compiler

Compiled 94 to 70 computations (25.5% saved)

localize39.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))
✓	0.0b	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))
✓	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.2b	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))

series341.0ms (5.9%)

Counts

4 → 80

Calls

21 calls:

143.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))	v	0
110.0ms	(log.f32 (+.f32 u (*.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))	v	0
26.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))	v	0
6.0ms	(.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v))))))	u	0
6.0ms	(+.f32 1 (.f32 v (log.f32 (+.f32 u (.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)))))))	v	inf

rewrite65.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

523×	`fma-def_binary32`
250×	`expm1-udef_binary32`
249×	`log1p-udef_binary32`
230×	`fma-neg_binary32`
140×	`add-sqr-sqrt_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	66
1	282	58
2	3748	58

Stop Event

1×	node limit

Counts

4 → 105

simplify76.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

509×	`sub-neg_binary32`
263×	`fma-def_binary32`
259×	`fma-neg_binary32`
254×	`+-commutative_binary32`
219×	`times-frac_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	277	3801
1	975	3702
2	4006	3647

Stop Event

1×	node limit

Counts

185 → 213

prune244.0ms (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	206	7	213
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	208	7	215

Error

Counts

215 → 7

Alt Table

Status	Error	Program
	0.1b	(fma.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))) 1)
	29.6b	(+.f32 1 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (-.f32 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 2)))))
	1.0b	(log.f32 (+.f32 1 (fma.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) (E.f32) -1)))
	29.6b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
	30.6b	(+.f32 1 (-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 2)) (exp.f32 (/.f32 -2 v)))) (+.f32 (.f32 1/2 (.f32 v (pow.f32 u 2))) (+.f32 2 (+.f32 (.f32 1/2 (/.f32 (.f32 v (pow.f32 u 2)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (*.f32 v u))))))
▶	0.1b	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)
	0.2b	(+.f32 1 (pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3))

Compiler

Compiled 7145 to 5209 computations (27.1% saved)

localize32.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
✓	0.0b	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
✓	0.1b	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)
	0.1b	(exp.f32 (/.f32 -2 v))

series172.0ms (3%)

Counts

3 → 72

Calls

18 calls:

102.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))	v	0
25.0ms	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)	v	0
5.0ms	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)	v	inf
5.0ms	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))	v	inf
4.0ms	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)	v	-inf

rewrite50.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

481×	`log-prod_binary32`
205×	`prod-diff_binary32`
198×	`expm1-udef_binary32`
197×	`log1p-udef_binary32`
172×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
1	226	47
2	2721	47

Stop Event

1×	node limit

Counts

3 → 83

simplify65.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

613×	`cancel-sign-sub-inv_binary32`
426×	`sub-neg_binary32`
250×	`fma-def_binary32`
226×	`+-commutative_binary32`
219×	`times-frac_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	258	2950
1	907	2884
2	3734	2844

Stop Event

1×	node limit

Counts

155 → 165

prune204.0ms (3.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	192	7	199

Error

Counts

199 → 7

Alt Table

Status	Error	Program
	0.2b	(+.f32 1 (pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3))
▶	0.1b	(+.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))
	1.0b	(log.f32 (+.f32 1 (fma.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) (E.f32) -1)))
	29.6b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
	30.6b	(+.f32 1 (-.f32 (+.f32 (/.f32 (.f32 v u) (exp.f32 (/.f32 -2 v))) (/.f32 (.f32 v (pow.f32 u 2)) (exp.f32 (/.f32 -2 v)))) (+.f32 (.f32 1/2 (.f32 v (pow.f32 u 2))) (+.f32 2 (+.f32 (.f32 1/2 (/.f32 (.f32 v (pow.f32 u 2)) (pow.f32 (exp.f32 (/.f32 -2 v)) 2))) (*.f32 v u))))))
✓	0.1b	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)
	29.6b	(+.f32 1 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (-.f32 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 2)))))

Compiler

Compiled 5718 to 4153 computations (27.4% saved)

localize36.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))
	0.0b	(fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)
	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.2b	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))

series159.0ms (2.8%)

Counts

1 → 24

Calls

6 calls:

136.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))	v	0
9.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))	v	-inf
4.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))	v	inf
3.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))	u	0
3.0ms	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))	u	-inf

rewrite38.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

494×	`log-prod_binary32`
205×	`prod-diff_binary32`
196×	`expm1-udef_binary32`
195×	`log1p-udef_binary32`
171×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	225	18
2	2709	18

Stop Event

1×	node limit

Counts

1 → 18

simplify37.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

741×	`fma-def_binary32`
691×	`associate-/r*_binary32`
297×	`cancel-sign-sub-inv_binary32`
184×	`sub-neg_binary32`
159×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1248
1	516	1212
2	2094	1108

Stop Event

1×	node limit

Counts

42 → 52

prune166.0ms (2.9%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	183	1	184
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	184	7	191

Error

Counts

191 → 7

Alt Table

Status	Error	Program
▶	0.2b	(+.f32 1 (pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3))
✓	0.1b	(+.f32 1 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))
	1.0b	(log.f32 (+.f32 1 (fma.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) (E.f32) -1)))
	29.6b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
	30.6b	(+.f32 1 (-.f32 (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (+.f32 (.f32 u u) u)) (fma.f32 v (.f32 (.f32 u u) 1/2) (fma.f32 v u (fma.f32 1/2 (.f32 (/.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 u u)) 2)))))
✓	0.1b	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)
	29.6b	(+.f32 1 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (-.f32 (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 2)))))

Compiler

Compiled 5583 to 4113 computations (26.3% saved)

localize42.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(exp.f32 (/.f32 -2 v))
✓	0.1b	(cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))
	0.2b	(*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))
✓	0.7b	(pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3)

series968.0ms (16.8%)

Counts

2 → 48

Calls

12 calls:

266.0ms	(pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3)	v	0
251.0ms	(cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))	v	0
154.0ms	(pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3)	v	-inf
85.0ms	(cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u))))	v	-inf
49.0ms	(pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3)	v	inf

rewrite52.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

571×	`log-prod_binary32`
224×	`expm1-udef_binary32`
223×	`log1p-udef_binary32`
205×	`prod-diff_binary32`
198×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	38
1	285	38
2	3182	38

Stop Event

1×	node limit

Counts

2 → 65

simplify107.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

768×	`associate-/r*_binary32`
623×	`associate-/l*_binary32`
300×	`*-commutative_binary32`
224×	`+-commutative_binary32`
210×	`fma-def_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	790	8443
1	2955	7904

Stop Event

1×	node limit

Counts

113 → 149

prune378.0ms (6.6%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	226	2	228
Fresh	2	2	4
Picked	0	1	1
Done	1	1	2
Total	229	6	235

Error

Counts

235 → 6

Alt Table

Status	Error	Program
	1.0b	(log.f32 (+.f32 1 (fma.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v) (E.f32) -1)))
	29.6b	(-.f32 (fma.f32 2/3 (/.f32 u (pow.f32 v 3)) (fma.f32 2 (+.f32 u (/.f32 u v)) (fma.f32 4/3 (/.f32 u (.f32 v v)) (fma.f32 8/3 (/.f32 (pow.f32 u 3) (.f32 v v)) (.f32 8 (pow.f32 (/.f32 u v) 3)))))) (+.f32 (fma.f32 2 (/.f32 u (/.f32 v u)) (fma.f32 4 (/.f32 u (/.f32 (.f32 v v) u)) (*.f32 14/3 (/.f32 u (/.f32 (pow.f32 v 3) u))))) (fma.f32 4 (/.f32 (pow.f32 u 4) (pow.f32 v 3)) 1)))
	0.1b	(+.f32 1 (+.f32 0 (log.f32 (pow.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u) v))))
	30.6b	(+.f32 1 (+.f32 (+.f32 (.f32 (cbrt.f32 -8) (+.f32 (.f32 1/2 (.f32 v u)) (.f32 1/4 (.f32 v (.f32 u u))))) (.f32 (+.f32 (.f32 1/4 (.f32 (/.f32 v (pow.f32 (exp.f32 (/.f32 -2 v)) 2)) (.f32 u u))) 1) (cbrt.f32 -8))) (.f32 -1/2 (.f32 (cbrt.f32 -8) (+.f32 (.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) (.f32 u u)) (*.f32 (/.f32 v (exp.f32 (/.f32 -2 v))) u))))))
✓	0.1b	(fma.f32 (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)) v 1)
✓	0.2b	(+.f32 1 (pow.f32 (cbrt.f32 (*.f32 v (log.f32 (fma.f32 (-.f32 1 u) (exp.f32 (/.f32 -2 v)) u)))) 3))

Compiler

Compiled 15553 to 12193 computations (21.6% saved)

regimes509.0ms (8.8%)

Accuracy

Total 0.1b remaining (72.4%)

Threshold costs 0.1b (72.4%)

Counts

106 → 1

Compiler

Compiled 12168 to 8940 computations (26.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	28
1	24	28
2	35	28
3	41	28
4	45	28
5	46	28

Stop Event

1×

saturated

end130.0ms (2.3%)

Stop Event

1×

fuel

Compiler

Compiled 252 to 180 computations (28.6% saved)

Details

analyze119.0ms (2.1%)

sample1.6s (27.7%)

preprocess59.0ms (1%)

simplify77.0ms (1.3%)

prune3.0ms (0.1%)

localize39.0ms (0.7%)

series341.0ms (5.9%)

rewrite65.0ms (1.1%)

simplify76.0ms (1.3%)

prune244.0ms (4.2%)

localize32.0ms (0.6%)

series172.0ms (3%)

rewrite50.0ms (0.9%)

simplify65.0ms (1.1%)

prune204.0ms (3.5%)

localize36.0ms (0.6%)

series159.0ms (2.8%)

rewrite38.0ms (0.7%)

simplify37.0ms (0.6%)

prune166.0ms (2.9%)

localize42.0ms (0.7%)

series968.0ms (16.8%)

rewrite52.0ms (0.9%)

simplify107.0ms (1.9%)

prune378.0ms (6.6%)

regimes509.0ms (8.8%)

simplify3.0ms (0%)

end130.0ms (2.3%)

Profiling