Details

analyze107.0ms (2%)

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.7s (32.2%)

Results

1.5s

8256×

body

128

valid

Compiler

Compiled 63 to 46 computations (27% saved)

simplify36.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

566×	`fma-def_binary32`
230×	`fma-neg_binary32`
88×	`cancel-sign-sub-inv_binary32`
79×	`distribute-rgt-in_binary32`
67×	`distribute-lft-in_binary32`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	14
1	22	13
2	43	13
3	77	13
4	93	13
5	131	13
6	170	13
7	217	13
8	340	13
9	471	13
10	481	13
11	557	13
12	569	13
13	676	13
14	699	13
15	700	13
16	645	13

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
	14.9b	(.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)

localize20.0ms (0.4%)

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

series233.0ms (4.3%)

Counts

2 → 36

Calls

2 calls:

230.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
3.0ms	(log1p.f32 (neg.f32 u0))

rewrite46.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

522×	`expm1-log1p-u_binary32`
521×	`log1p-expm1-u_binary32`
447×	`unpow-prod-down_binary32`
318×	`log-prod_binary32`
153×	`pow2_binary32`

Counts

2 → 48

Calls

2 calls:

45.0ms	(log1p.f32 (neg.f32 u0))
45.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
1	163	12
2	1403	12
3	5265	12
0	0	0
1	0	0

simplify69.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

960×	`fma-neg_binary32`
468×	`fma-def_binary32`
439×	`cancel-sign-sub-inv_binary32`
366×	`times-frac_binary32`
263×	`sub-neg_binary32`

Counts

84 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	94	752
1	284	698
2	892	650
3	2908	644
4	4824	644
5	5251	644

prune52.0ms (1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	90	8	98
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	91	9	100

Error

0.1b

Counts

100 → 9

Alt Table

Status	Error	Program
	2.1b	(.f32 (.f32 alpha (neg.f32 alpha)) (neg.f32 (+.f32 u0 (+.f32 (.f32 1/3 (pow.f32 u0 3)) (.f32 1/2 (pow.f32 u0 2))))))
	3.4b	(.f32 alpha (.f32 alpha (fma.f32 1/2 (*.f32 u0 u0) u0)))
	8.5b	(pow.f32 (cbrt.f32 (.f32 (.f32 alpha alpha) (log1p.f32 u0))) 3)
	7.7b	(*.f32 u0 (pow.f32 alpha 2))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
▶	1.6b	(.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))))))
	1.6b	(+.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)))))
	3.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (-.f32 (log.f32 (-.f32 1 (*.f32 u0 u0))) (log1p.f32 u0)))
	2.1b	(.f32 (.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) u0)))

Compiler

Compiled 1756 to 994 computations (43.4% saved)

localize45.0ms (0.8%)

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 (.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))))))
✓	0.3b	(*.f32 u0 1/3)

series47.0ms (0.9%)

Counts

4 → 60

Calls

4 calls:

38.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))))))
4.0ms	(fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
3.0ms	(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
1.0ms	(*.f32 u0 1/3)

rewrite80.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

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

Counts

4 → 89

Calls

4 calls:

77.0ms	(fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3))))
77.0ms	(.f32 (.f32 u0 u0) (+.f32 1/2 (*.f32 u0 1/3)))
77.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))))))
77.0ms	(*.f32 u0 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	66
1	359	60
2	4207	60
3	4895	60
0	0	0
1	0	0

simplify225.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

770×	`*-commutative_binary32`
694×	`unswap-sqr_binary32`
675×	`sqr-pow_binary32`
582×	`distribute-rgt-out_binary32`
363×	`associate-+l+_binary32`

Counts

149 → 115

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	38	1050
1	102	1018
2	296	964
3	981	937
4	1616	937
5	2325	937
6	3052	937
7	3020	937
8	3123	937
9	3236	937
10	3378	937
11	3226	937
12	3404	937
13	3710	937
14	4008	937
15	4420	937
16	4896	937
17	4892	937

prune177.0ms (3.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	4	3	7
Picked	1	0	1
Done	0	1	1
Total	116	8	124

Error

0.0b

Counts

124 → 8

Alt Table

Status	Error	Program
	3.4b	(.f32 alpha (.f32 alpha (fma.f32 1/2 (*.f32 u0 u0) u0)))
▶	1.6b	(sqrt.f32 (.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2)))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	1.8b	(/.f32 (.f32 (-.f32 (.f32 u0 u0) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) 2)) (.f32 alpha alpha)) (-.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))))
	1.8b	(/.f32 (.f32 (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 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 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2))) u0))))
	3.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (-.f32 (log.f32 (-.f32 1 (*.f32 u0 u0))) (log1p.f32 u0)))
	3.6b	(/.f32 (+.f32 (pow.f32 (.f32 u0 (.f32 alpha alpha)) 3) (pow.f32 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 3)) (+.f32 (.f32 (.f32 u0 (.f32 alpha alpha)) (.f32 u0 (.f32 alpha alpha))) (-.f32 (.f32 (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))))) (.f32 (.f32 u0 (.f32 alpha alpha)) (.f32 (.f32 alpha alpha) (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2))))))))
	2.1b	(.f32 (.f32 alpha alpha) (fma.f32 1/3 (pow.f32 u0 3) (fma.f32 1/2 (*.f32 u0 u0) u0)))

Compiler

Compiled 3396 to 2044 computations (39.8% saved)

localize49.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series114.0ms (2.1%)

Counts

4 → 72

Calls

4 calls:

67.0ms	(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2))
39.0ms	(sqrt.f32 (.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2)))
4.0ms	(pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2)
3.0ms	(.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))

rewrite76.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

759×	`prod-diff_binary32`
170×	`log1p-expm1-u_binary32`
170×	`expm1-log1p-u_binary32`
168×	`add-sqr-sqrt_binary32`
164×	`add-log-exp_binary32`

Counts

4 → 88

Calls

4 calls:

74.0ms	(sqrt.f32 (.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2)))
74.0ms	(.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))
74.0ms	(.f32 (pow.f32 alpha 4) (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2))
74.0ms	(pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	97
1	379	92
2	3906	92
3	5229	92
0	0	0
1	0	0

simplify82.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-def_binary32`
600×	`distribute-rgt-out_binary32`
570×	`associate-l_binary32`
437×	`associate-r_binary32`
303×	`associate-+l+_binary32`

Counts

160 → 141

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	1765
1	249	1677
2	794	1568
3	3327	1566
4	4965	1566
5	4955	1566

prune188.0ms (3.5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	138	3	141
Fresh	4	2	6
Picked	1	0	1
Done	0	1	1
Total	143	6	149

Error

0.0b

Counts

149 → 6

Alt Table

Status	Error	Program
	1.7b	(sqrt.f32 (.f32 (pow.f32 alpha 4) (.f32 (pow.f32 (cbrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))))) 2) (cbrt.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 4)))))
▶	1.6b	(sqrt.f32 (*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	1.8b	(/.f32 (.f32 (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 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 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2))) u0))))
	3.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (-.f32 (log.f32 (-.f32 1 (*.f32 u0 u0))) (log1p.f32 u0)))
	1.6b	(sqrt.f32 (+.f32 (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (+.f32 (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))) (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4)))))))

Compiler

Compiled 4271 to 2945 computations (31% saved)

localize51.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))
✓	0.1b	(sqrt.f32 (*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))))
✓	0.1b	(fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))
✓	0.3b	(*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))))

series131.0ms (2.4%)

Counts

4 → 64

Calls

4 calls:

75.0ms	(sqrt.f32 (*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))))
48.0ms	(*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))))
5.0ms	(fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))
3.0ms	(fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))

rewrite71.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

300×	`prod-diff_binary32`
278×	`expm1-udef_binary32`
278×	`log1p-udef_binary32`
162×	`add-sqr-sqrt_binary32`
162×	`log1p-expm1-u_binary32`

Counts

4 → 91

Calls

4 calls:

68.0ms	(fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))
68.0ms	(sqrt.f32 (*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))))
68.0ms	(fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))
68.0ms	(*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	95
1	361	95
2	3578	95
3	4774	95
0	0	0
1	0	0

simplify148.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

679×	`distribute-rgt-out_binary32`
484×	`fma-def_binary32`
463×	`distribute-lft-out_binary32`
456×	`unswap-sqr_binary32`
381×	`associate-+l+_binary32`

Counts

155 → 131

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	55	1488
1	152	1432
2	473	1320
3	1778	1320
4	4192	1319
5	4707	1319
6	4834	1319
7	4983	1319
8	4998	1319
9	4927	1319

prune161.0ms (3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	131	6	137

Error

0.0b

Counts

137 → 6

Alt Table

Status	Error	Program
	1.7b	(sqrt.f32 (.f32 (pow.f32 alpha 4) (.f32 (pow.f32 (cbrt.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))))) 2) (cbrt.f32 (pow.f32 (+.f32 u0 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 u0) (fma.f32 u0 1/3 1/2)))) 4)))))
✓	1.6b	(sqrt.f32 (*.f32 (pow.f32 alpha 4) (fma.f32 5/6 (pow.f32 u0 5) (fma.f32 11/12 (pow.f32 u0 4) (fma.f32 u0 u0 (pow.f32 u0 3))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
	1.8b	(/.f32 (.f32 (+.f32 (pow.f32 u0 3) (pow.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (.f32 u0 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 (.f32 u0 u0) (fma.f32 u0 1/3 1/2))) (-.f32 (fma.f32 1/4 (pow.f32 u0 4) (.f32 (*.f32 u0 u0) (fma.f32 u0 1/3 1/2))) u0))))
	3.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (-.f32 (log.f32 (-.f32 1 (*.f32 u0 u0))) (log1p.f32 u0)))
	1.6b	(sqrt.f32 (+.f32 (.f32 (pow.f32 u0 3) (pow.f32 alpha 4)) (+.f32 (.f32 (pow.f32 u0 2) (pow.f32 alpha 4)) (+.f32 (.f32 5/6 (.f32 (pow.f32 u0 5) (pow.f32 alpha 4))) (.f32 11/12 (.f32 (pow.f32 u0 4) (pow.f32 alpha 4)))))))

Compiler

Compiled 3380 to 2500 computations (26% saved)

regimes1.3s (24.4%)

Accuracy

Total 0.3b remaining (78.9%)

Threshold costs 0.3b (78.9%)

Counts

189 → 1

Compiler

Compiled 28310 to 20456 computations (27.7% 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	36	13
4	41	13
5	44	13
6	45	13
7	45	13

end117.0ms (2.2%)

Compiler: Compiled 209 to 149 computations (28.7% saved)

Iter	Nodes	Cost
0	9	14
1	22	13
2	43	13
3	77	13
4	93	13
5	131	13
6	170	13
7	217	13
8	340	13
9	471	13
10	481	13
11	557	13
12	569	13
13	676	13
14	699	13
15	700	13
16	645	13

Iter	Nodes	Cost
0	9	14
1	22	13
2	43	13
3	77	13
4	93	13
5	131	13
6	170	13
7	217	13
8	340	13
9	471	13
10	481	13
11	557	13
12	569	13
13	676	13
14	699	13
15	700	13
16	645	13

Details

analyze107.0ms (2%)

sample1.7s (32.2%)

simplify36.0ms (0.7%)

prune4.0ms (0.1%)

localize20.0ms (0.4%)

series233.0ms (4.3%)

rewrite46.0ms (0.9%)

simplify69.0ms (1.3%)

prune52.0ms (1%)

localize45.0ms (0.8%)

series47.0ms (0.9%)

rewrite80.0ms (1.5%)

simplify225.0ms (4.2%)

prune177.0ms (3.3%)

localize49.0ms (0.9%)

series114.0ms (2.1%)

rewrite76.0ms (1.4%)

simplify82.0ms (1.5%)

prune188.0ms (3.5%)

localize51.0ms (1%)

series131.0ms (2.4%)

rewrite71.0ms (1.3%)

simplify148.0ms (2.8%)

prune161.0ms (3%)

regimes1.3s (24.4%)

simplify3.0ms (0.1%)

end117.0ms (2.2%)

Profiling

Iter	Nodes	Cost
0	9	14
1	22	13
2	43	13
3	77	13
4	93	13
5	131	13
6	170	13
7	217	13
8	340	13
9	471	13
10	481	13
11	557	13
12	569	13
13	676	13
14	699	13
15	700	13
16	645	13