Details

analyze91.0ms (1.8%)

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)

sample279.0ms (5.5%)

Algorithm

1×

intervals

Results

18.0ms	256×	body	128	valid
6.0ms	256×	pre	128	true

Compiler

Compiled 39 to 29 computations (25.6% saved)

simplify43.0ms (0.8%)

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

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))

Compiler

Compiled 39 to 26 computations (33.3% saved)

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

series235.0ms (4.6%)

Counts

2 → 36

Calls

2 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary32`
7×	`add-exp-log_binary32`
7×	`pow1_binary32`
3×	`associate-r_binary32`
3×	`*-un-lft-identity_binary32`

Counts

2 → 32

Calls

2 calls:

4.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))
0.0ms	(log1p.f32 (neg.f32 u0))

simplify64.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

588×	`fma-neg_binary32`
526×	`fma-def_binary32`
217×	`times-frac_binary32`
213×	`distribute-rgt-neg-out_binary32`
204×	`distribute-lft-neg-out_binary32`

Counts

68 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	138	1211
1	390	1075
2	1418	1024
3	4435	1014
4	4952	1014

prune66.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	83	9	92
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	9	93

Error

0.0b

Counts

93 → 9

Alt Table

Status	Error	Program
▶	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	3.9b	(.f32 (.f32 alpha alpha) (fma.f32 1/2 (*.f32 u0 u0) u0))
	0.8b	(.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))
	0.6b	(.f32 (sqrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))) (sqrt.f32 (.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	2.4b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 alpha alpha) alpha) (.f32 (.f32 (neg.f32 alpha) (neg.f32 alpha)) (neg.f32 alpha))) (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 alpha (neg.f32 alpha))) (.f32 alpha (neg.f32 alpha))) (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	2.3b	(exp.f32 (log.f32 (.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))))
	1.9b	(+.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)))))

Compiler

Compiled 1852 to 877 computations (52.6% saved)

localize20.0ms (0.4%)

Local error

Found 3 expressions with local error:

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

series469.0ms (9.2%)

Counts

2 → 48

Calls

2 calls:

235.0ms	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
234.0ms	(*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))

rewrite10.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-l_binary32`
9×	`add-sqr-sqrt_binary32`
9×	`add-cbrt-cube_binary32`
9×	`add-exp-log_binary32`
9×	`pow1_binary32`

Counts

2 → 49

Calls

2 calls:

4.0ms	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
3.0ms	(*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))

simplify78.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

596×	`fma-def_binary32`
338×	`fma-neg_binary32`
288×	`distribute-rgt-neg-out_binary32`
249×	`distribute-lft-neg-out_binary32`
230×	`times-frac_binary32`

Counts

97 → 124

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	160	1675
1	436	1509
2	1377	1427
3	4367	1415
4	4977	1415

prune121.0ms (2.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	158	3	161
Fresh	3	5	8
Picked	0	1	1
Done	0	0	0
Total	161	9	170

Error

0.0b

Counts

170 → 9

Alt Table

Status	Error	Program
	3.9b	(.f32 alpha (+.f32 (.f32 u0 alpha) (.f32 1/2 (.f32 (pow.f32 u0 2) alpha))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
▶	0.6b	(.f32 alpha (.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	1.9b	(+.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)))))
	0.8b	(.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))
✓	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	0.6b	(.f32 (sqrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))) (sqrt.f32 (.f32 (*.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 alpha (neg.f32 alpha))) (.f32 alpha (neg.f32 alpha))) (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	0.8b	(.f32 (.f32 (cbrt.f32 alpha) (cbrt.f32 alpha)) (.f32 (cbrt.f32 alpha) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))))

Compiler

Compiled 2819 to 1293 computations (54.1% saved)

localize30.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series346.0ms (6.8%)

Counts

3 → 52

Calls

3 calls:

170.0ms

(*.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0))))

156.0ms

(*.f32 alpha (*.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))

19.0ms

(*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`associate-l_binary32`
19×	`add-cbrt-cube_binary32`
19×	`add-exp-log_binary32`
19×	`pow1_binary32`
14×	`add-sqr-sqrt_binary32`

Counts

3 → 82

Calls

3 calls:

6.0ms

(*.f32 alpha (*.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))

5.0ms

(*.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0))))

4.0ms

(*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))

simplify118.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

527×	`distribute-rgt-neg-out_binary32`
463×	`distribute-lft-neg-out_binary32`
327×	`fma-neg_binary32`
308×	`associate-r_binary32`
308×	`times-frac_binary32`

Counts

134 → 190

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	227	2474
1	636	2194
2	2134	2182
3	4527	2176
4	4989	2176
5	4973	2176

prune143.0ms (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	226	1	227
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	227	9	236

Error

0.0b

Counts

236 → 9

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 alpha) (.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0))))
	0.8b	(.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))
	3.9b	(.f32 alpha (+.f32 (.f32 u0 alpha) (.f32 1/2 (.f32 (pow.f32 u0 2) alpha))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
✓	0.6b	(.f32 alpha (.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	1.9b	(+.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)))))
✓	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 alpha (neg.f32 alpha))) (.f32 alpha (neg.f32 alpha))) (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	0.8b	(.f32 (.f32 (cbrt.f32 alpha) (cbrt.f32 alpha)) (.f32 (cbrt.f32 alpha) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))))

Compiler

Compiled 4617 to 1826 computations (60.5% saved)

localize31.0ms (0.6%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(log1p.f32 (neg.f32 u0))
✓	0.3b	(*.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0)))
✓	0.4b	(.f32 (sqrt.f32 alpha) (.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0))))

series171.0ms (3.4%)

Counts

2 → 32

Calls

2 calls:

151.0ms	(.f32 (sqrt.f32 alpha) (.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0))))
20.0ms	(*.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0)))

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`associate-l_binary32`
12×	`add-sqr-sqrt_binary32`
10×	`*-un-lft-identity_binary32`
10×	`add-cube-cbrt_binary32`
9×	`add-cbrt-cube_binary32`

Counts

2 → 60

Calls

2 calls:

7.0ms	(.f32 (sqrt.f32 alpha) (.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0))))
5.0ms	(*.f32 (neg.f32 (pow.f32 alpha 3/2)) (log1p.f32 (neg.f32 u0)))

simplify104.0ms (2%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary32`
496×	`*-commutative_binary32`
235×	`fma-neg_binary32`
223×	`distribute-rgt-neg-out_binary32`
206×	`distribute-lft-neg-out_binary32`

Counts

92 → 145

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	183	1993
1	508	1773
2	1620	1630
3	4476	1544
4	4863	1544
5	4948	1544

prune144.0ms (2.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	1	5	6
Picked	1	0	1
Done	0	2	2
Total	183	8	191

Error

Counts

191 → 8

Alt Table

Status	Error	Program
✓	0.6b	(.f32 alpha (.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	1.9b	(+.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)))))
	0.8b	(.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))
✓	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	0.6b	(.f32 (sqrt.f32 alpha) (.f32 (sqrt.f32 (pow.f32 alpha 3/2)) (*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (pow.f32 alpha 3/4)))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (.f32 alpha (neg.f32 alpha))) (.f32 alpha (neg.f32 alpha))) (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	3.9b	(.f32 alpha (+.f32 (.f32 u0 alpha) (.f32 1/2 (.f32 (pow.f32 u0 2) alpha))))
	0.8b	(.f32 (.f32 (cbrt.f32 alpha) (cbrt.f32 alpha)) (.f32 (cbrt.f32 alpha) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))))

Compiler

Compiled 3517 to 2041 computations (42% saved)

regimes1.3s (25.1%)

Accuracy

Total 0.3b remaining (92.6%)

Threshold costs 0.3b (92.6%)

Counts

198 → 1

Compiler

Compiled 21551 to 14226 computations (34% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	31	13
3	41	13
4	46	13
5	48	13
6	48	13

end0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% saved)

sample1.2s (23.2%)

Algorithm

1×

intervals

Results

512.0ms	8000×	body	128	valid
175.0ms	8000×	pre	128	true

Compiler

Compiled 199 to 129 computations (35.2% 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

analyze91.0ms (1.8%)

sample279.0ms (5.5%)

simplify43.0ms (0.8%)

prune4.0ms (0.1%)

localize26.0ms (0.5%)

series235.0ms (4.6%)

rewrite6.0ms (0.1%)

simplify64.0ms (1.3%)

prune66.0ms (1.3%)

localize20.0ms (0.4%)

series469.0ms (9.2%)

rewrite10.0ms (0.2%)

simplify78.0ms (1.5%)

prune121.0ms (2.4%)

localize30.0ms (0.6%)

series346.0ms (6.8%)

rewrite20.0ms (0.4%)

simplify118.0ms (2.3%)

prune143.0ms (2.8%)

localize31.0ms (0.6%)

series171.0ms (3.4%)

rewrite15.0ms (0.3%)

simplify104.0ms (2%)

prune144.0ms (2.8%)

regimes1.3s (25.1%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.2s (23.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