Details

analyze107.0ms (2.5%)

Algorithm

1×

Search

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

Compiler

Compiled 26 to 19 computations (26.9% saved)

sample1.5s (34.1%)

Results

1.4s

8256×

body

128

valid

Compiler

Compiled 52 to 38 computations (26.9% saved)

preprocess61.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

1209×	`fma-def_binary32`
516×	`fma-neg_binary32`
264×	`distribute-rgt-out--_binary32`
220×	`associate--l+_binary32`
202×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	35	26
2	78	26
3	164	26
4	228	26
5	300	26
6	395	26
7	578	26
8	1125	26
9	1774	26
10	2293	26
11	2620	26
12	2947	26
13	3255	26
14	3339	26
15	3405	26
16	3805	26
17	4589	26
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify25.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

544×	`fma-def_binary32`
230×	`fma-neg_binary32`
87×	`cancel-sign-sub-inv_binary32`
81×	`distribute-rgt-in_binary32`
69×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	22	13
2	45	13
3	89	13
4	123	13
5	164	13
6	215	13
7	315	13
8	594	13
9	910	13
10	1174	13
11	1341	13
12	1511	13
13	1665	13
14	1692	13
15	1693	13

Stop Event

1×

saturated

Counts

1 → 2

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

Counts

3 → 2

Alt Table

Status	Error	Program
	15.3b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
▶	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Compiler

Compiled 61 to 42 computations (31.1% saved)

localize21.0ms (0.5%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(log1p.f32 (neg.f32 u0))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

series194.0ms (4.5%)

Counts

2 → 36

Calls

9 calls:

68.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))	alpha	0
60.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))	alpha	inf
57.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))	alpha	-inf
2.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))	u0	inf
2.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))	u0	0

rewrite37.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

522×	`expm1-log1p-u_binary32`
521×	`log1p-expm1-u_binary32`
318×	`log-prod_binary32`
108×	`expm1-udef_binary32`
108×	`log1p-udef_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	163	12
2	2117	12

Stop Event

1×	node limit

Counts

2 → 42

simplify37.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

477×	`fma-neg_binary32`
468×	`fma-def_binary32`
366×	`times-frac_binary32`
263×	`sub-neg_binary32`
205×	`unswap-sqr_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	752
1	285	698
2	931	650
3	3624	644

Stop Event

1×	node limit

Counts

78 → 92

prune53.0ms (1.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	83	9	92
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	83	11	94

Error

0.1b

Counts

94 → 11

Alt Table

Status	Error	Program
	10.6b	(cbrt.f32 (.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 (log1p.f32 u0) 3)))
	2.4b	(.f32 (.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 u0 (*.f32 u0 1/2) u0)))
	15.3b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
▶	1.8b	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))
	7.3b	(*.f32 u0 (pow.f32 alpha 2))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	8.0b	(pow.f32 (*.f32 alpha (sqrt.f32 (log1p.f32 u0))) 2)
	8.6b	(exp.f32 (log.f32 (.f32 alpha (.f32 alpha (log1p.f32 u0)))))
	1.8b	(+.f32 (.f32 1/3 (.f32 (pow.f32 u0 3) (pow.f32 alpha 2))) (+.f32 (.f32 1/2 (.f32 (pow.f32 u0 2) (pow.f32 alpha 2))) (+.f32 (.f32 1/4 (.f32 (pow.f32 u0 4) (pow.f32 alpha 2))) (*.f32 u0 (pow.f32 alpha 2)))))
	8.1b	(pow.f32 (cbrt.f32 (.f32 alpha (.f32 alpha (log1p.f32 u0)))) 3)
	3.6b	(.f32 alpha (.f32 alpha (fma.f32 u0 (*.f32 u0 1/2) u0)))

Compiler

Compiled 1671 to 975 computations (41.7% saved)

localize45.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
✓	0.3b	(*.f32 u0 1/3)
✓	0.3b	(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
✓	0.3b	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))

series41.0ms (1%)

Counts

4 → 60

Calls

15 calls:

9.0ms	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))	alpha	inf
9.0ms	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))	alpha	0
8.0ms	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))	alpha	-inf
2.0ms	(.f32 (.f32 alpha alpha) (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))))	u0	-inf
2.0ms	(*.f32 u0 1/3)	u0	inf

rewrite64.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

292×	`log1p-udef_binary32`
168×	`add-sqr-sqrt_binary32`
168×	`log1p-expm1-u_binary32`
168×	`expm1-log1p-u_binary32`
166×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	66
1	360	60
2	4695	60

Stop Event

1×	node limit

Counts

4 → 89

simplify58.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

694×	`unswap-sqr_binary32`
577×	`distribute-rgt-out_binary32`
444×	`*-commutative_binary32`
279×	`fma-def_binary32`
248×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	1050
1	103	1018
2	303	964
3	1261	937
4	2680	937
5	4225	937

Stop Event

1×	node limit

Counts

149 → 116

prune153.0ms (3.6%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	109	7	116
Fresh	9	0	9
Picked	1	0	1
Done	0	1	1
Total	119	8	127

Error

0.1b

Counts

127 → 8

Alt Table

Status	Error	Program
	1.9b	(/.f32 (.f32 (-.f32 (.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)) (.f32 alpha alpha)) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
	1.8b	(sqrt.f32 (.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))
	1.9b	(/.f32 (.f32 (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))) 3)) (.f32 alpha alpha)) (fma.f32 u0 u0 (.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))) u0))))
	2.0b	(pow.f32 (.f32 alpha (sqrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 2)
	4.9b	(/.f32 (+.f32 (pow.f32 (.f32 (.f32 alpha alpha) u0) 3) (pow.f32 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2))))) 3)) (+.f32 (.f32 (.f32 (.f32 alpha alpha) u0) (.f32 (.f32 alpha alpha) u0)) (-.f32 (.f32 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2))))) (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))) (.f32 (.f32 (.f32 alpha alpha) u0) (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2)))))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
▶	1.7b	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
	3.6b	(exp.f32 (log.f32 (.f32 alpha (.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))))))

Compiler

Compiled 3464 to 2197 computations (36.6% saved)

localize46.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))
✓	0.3b	(*.f32 u0 (fma.f32 u0 1/3 1/2))
✓	0.3b	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
✓	0.3b	(.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))

series73.0ms (1.7%)

Counts

4 → 72

Calls

18 calls:

10.0ms	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))	alpha	0
10.0ms	(.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))	alpha	0
9.0ms	(.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))	alpha	-inf
8.0ms	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))	alpha	-inf
8.0ms	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))	alpha	inf

rewrite54.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

372×	`prod-diff_binary32`
253×	`expm1-udef_binary32`
253×	`log1p-udef_binary32`
142×	`add-sqr-sqrt_binary32`
139×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	310	70
2	3495	70

Stop Event

1×	node limit

Counts

4 → 75

simplify62.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

694×	`unswap-sqr_binary32`
585×	`distribute-rgt-out_binary32`
454×	`*-commutative_binary32`
309×	`fma-def_binary32`
233×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	41	1509
1	110	1471
2	322	1408
3	1340	1369
4	2817	1369
5	4378	1369

Stop Event

1×	node limit

Counts

147 → 106

prune121.0ms (2.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	104	2	106
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	106	8	114

Error

0.0b

Counts

114 → 8

Alt Table

Status	Error	Program
	1.9b	(/.f32 (.f32 (-.f32 (.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)) (.f32 alpha alpha)) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
	2.5b	(.f32 alpha (.f32 (.f32 u0 alpha) (+.f32 1 (.f32 u0 (+.f32 1/2 (*.f32 1/3 u0))))))
▶	1.8b	(sqrt.f32 (.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))
	2.0b	(pow.f32 (.f32 alpha (sqrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))) 2)
	1.8b	(/.f32 (-.f32 (.f32 (.f32 alpha (.f32 alpha u0)) (.f32 alpha (.f32 alpha u0))) (.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (fma.f32 u0 1/3 1/2) (.f32 u0 u0))) 2))) (-.f32 (.f32 alpha (.f32 alpha u0)) (.f32 alpha (.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (.f32 (fma.f32 u0 1/3 1/2) (.f32 u0 u0)))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
✓	1.7b	(fma.f32 (.f32 alpha alpha) u0 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
	3.6b	(exp.f32 (log.f32 (.f32 alpha (.f32 alpha (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))))))))

Compiler

Compiled 2981 to 1700 computations (43% saved)

localize50.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))
	0.3b	(*.f32 u0 (fma.f32 u0 1/3 1/2))
✓	0.4b	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))
✓	0.4b	(pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2))))) 2)

series61.0ms (1.4%)

Counts

2 → 36

Calls

9 calls:

18.0ms	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))	alpha	-inf
17.0ms	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))	alpha	inf
16.0ms	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))	alpha	0
2.0ms	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))	u0	-inf
2.0ms	(.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4))	u0	inf

rewrite59.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

728×	`prod-diff_binary32`
165×	`log1p-expm1-u_binary32`
165×	`expm1-log1p-u_binary32`
164×	`add-sqr-sqrt_binary32`
160×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	54
1	362	54
2	4174	54

Stop Event

1×	node limit

Counts

2 → 45

simplify38.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

629×	`fma-def_binary32`
561×	`unswap-sqr_binary32`
354×	`associate-l_binary32`
306×	`distribute-lft-out_binary32`
288×	`associate-r_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	952
1	196	896
2	636	834
3	3191	822

Stop Event

1×	node limit

Counts

81 → 77

prune164.0ms (3.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	119	3	122
Fresh	3	2	5
Picked	1	0	1
Done	1	1	2
Total	124	6	130

Error

0.0b

Counts

130 → 6

Alt Table

Status	Error	Program
	4.6b	(sqrt.f32 (.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (log.f32 (pow.f32 (exp.f32 (.f32 u0 u0)) (fma.f32 u0 1/3 1/2))))) 2) (pow.f32 alpha 4)))
	1.9b	(/.f32 (.f32 (-.f32 (.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (.f32 u0 (fma.f32 u0 1/3 1/2)))) 2)) (.f32 alpha alpha)) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 u0 (*.f32 u0 (fma.f32 u0 1/3 1/2))))))
	1.8b	(/.f32 (-.f32 (.f32 (.f32 alpha (.f32 alpha u0)) (.f32 alpha (.f32 alpha u0))) (.f32 (pow.f32 alpha 4) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (fma.f32 u0 1/3 1/2) (.f32 u0 u0))) 2))) (-.f32 (.f32 alpha (.f32 alpha u0)) (.f32 alpha (.f32 alpha (fma.f32 1/4 (pow.f32 u0 4) (.f32 (fma.f32 u0 1/3 1/2) (.f32 u0 u0)))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	1.9b	(sqrt.f32 (pow.f32 (cbrt.f32 (.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (fma.f32 u0 1/3 1/2) (*.f32 u0 u0)))) 2) (pow.f32 alpha 4))) 3))
	1.8b	(sqrt.f32 (*.f32 (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 u0 u0 (fma.f32 11/12 (pow.f32 u0 4) (pow.f32 u0 3)))) (pow.f32 alpha 4)))

Compiler

Compiled 3702 to 2612 computations (29.4% saved)

regimes1.1s (25%)

Accuracy

Total 0.3b remaining (77.7%)

Threshold costs 0.3b (77.7%)

Counts

148 → 1

Compiler

Compiled 21728 to 15452 computations (28.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	18	13
2	28	13
3	39	13
4	44	13
5	47	13
6	48	13

Stop Event

1×

saturated

end113.0ms (2.6%)

Stop Event

1×

fuel

Compiler

Compiled 204 to 139 computations (31.9% saved)

Details

analyze107.0ms (2.5%)

sample1.5s (34.1%)

preprocess61.0ms (1.4%)

simplify25.0ms (0.6%)

prune4.0ms (0.1%)

localize21.0ms (0.5%)

series194.0ms (4.5%)

rewrite37.0ms (0.9%)

simplify37.0ms (0.9%)

prune53.0ms (1.3%)

localize45.0ms (1.1%)

series41.0ms (1%)

rewrite64.0ms (1.5%)

simplify58.0ms (1.4%)

prune153.0ms (3.6%)

localize46.0ms (1.1%)

series73.0ms (1.7%)

rewrite54.0ms (1.3%)

simplify62.0ms (1.5%)

prune121.0ms (2.8%)

localize50.0ms (1.2%)

series61.0ms (1.4%)

rewrite59.0ms (1.4%)

simplify38.0ms (0.9%)

prune164.0ms (3.9%)

regimes1.1s (25%)

simplify3.0ms (0.1%)

end113.0ms (2.6%)

Profiling