Details

analyze117.0ms (2.1%)

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)

sample275.0ms (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)

simplify33.0ms (0.6%)

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

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

series284.0ms (5.1%)

Counts

2 → 36

Calls

2 calls:

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

rewrite8.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:

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

simplify66.0ms (1.2%)

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

prune70.0ms (1.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

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

Error

0.0b

Counts

94 → 10

Alt Table

Status	Error	Program
	0.7b	(.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)))))
	15.3b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
	2.3b	(exp.f32 (log.f32 (.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))))
	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	2.0b	(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)))))
	0.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (.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 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (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))))
	1.7b	(+.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 (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)))))

Compiler

Compiled 1872 to 895 computations (52.2% saved)

localize35.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series262.0ms (4.7%)

Counts

4 → 60

Calls

4 calls:

241.0ms	(.f32 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
12.0ms	(.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))
5.0ms	(*.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0)))
3.0ms	(cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0))))

rewrite21.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`pow1_binary32`
17×	`add-cbrt-cube_binary32`
16×	`add-exp-log_binary32`
13×	`add-sqr-sqrt_binary32`
10×	`associate-r_binary32`

Counts

4 → 92

Calls

4 calls:

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

simplify127.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

492×	`times-frac_binary32`
359×	`fma-def_binary32`
292×	`associate-+r+_binary32`
265×	`associate-l_binary32`
245×	`+-commutative_binary32`

Counts

152 → 221

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	335	3973
1	1020	3037
2	4002	2841
3	4933	2841
4	4981	2841

prune173.0ms (3.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	219	2	221
Fresh	3	6	9
Picked	0	1	1
Done	0	0	0
Total	222	9	231

Error

0.0b

Counts

231 → 9

Alt Table

Status	Error	Program
	2.3b	(exp.f32 (log.f32 (.f32 (log1p.f32 (neg.f32 u0)) (.f32 alpha (neg.f32 alpha)))))
▶	0.3b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
	2.0b	(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)))))
	0.8b	(.f32 (.f32 alpha (neg.f32 alpha)) (.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u0))) (cbrt.f32 (log1p.f32 (neg.f32 u0)))) (cbrt.f32 (log1p.f32 (neg.f32 u0)))))
	15.3b	(.f32 (.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 1 u0)))
	0.5b	(.f32 (.f32 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))))) (cbrt.f32 (log1p.f32 (neg.f32 u0))))
	1.7b	(+.f32 (.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 (pow.f32 u0 4) 1/4))) (.f32 (.f32 alpha alpha) (fma.f32 (.f32 u0 u0) 1/2 (*.f32 (pow.f32 u0 3) 1/3))))
	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.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))

Compiler

Compiled 5979 to 2648 computations (55.7% saved)

localize21.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.2b	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))

series492.0ms (8.9%)

Counts

2 → 48

Calls

2 calls:

256.0ms	(*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))
236.0ms	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))

rewrite12.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:

5.0ms	(.f32 alpha (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))
5.0ms	(*.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))

simplify76.0ms (1.4%)

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

prune119.0ms (2.2%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	156	5	161
Fresh	5	2	7
Picked	1	0	1
Done	0	1	1
Total	162	8	170

Error

0.0b

Counts

170 → 8

Alt Table

Status	Error	Program
	2.0b	(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)))))
▶	0.5b	(.f32 (sqrt.f32 alpha) (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (pow.f32 alpha 3/2))))
	2.0b	(cbrt.f32 (.f32 (.f32 (.f32 alpha alpha) alpha) (.f32 (.f32 (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	1.7b	(+.f32 (.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 (pow.f32 u0 4) 1/4))) (.f32 (.f32 alpha alpha) (fma.f32 (.f32 u0 u0) 1/2 (*.f32 (pow.f32 u0 3) 1/3))))
	0.8b	(.f32 (.f32 (cbrt.f32 alpha) (cbrt.f32 alpha)) (.f32 (log1p.f32 (neg.f32 u0)) (.f32 (neg.f32 alpha) (cbrt.f32 alpha))))
	0.6b	(.f32 alpha (.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	2.1b	(.f32 alpha (exp.f32 (log.f32 (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))))

Compiler

Compiled 2742 to 1262 computations (54% saved)

localize32.0ms (0.6%)

Local error

Found 3 expressions with local error:

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

series195.0ms (3.5%)

Counts

2 → 32

Calls

2 calls:

169.0ms	(.f32 (sqrt.f32 alpha) (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (pow.f32 alpha 3/2))))
25.0ms	(*.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (pow.f32 alpha 3/2)))

rewrite17.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

19×	`associate-r_binary32`
12×	`add-sqr-sqrt_binary32`
10×	`*-un-lft-identity_binary32`
10×	`add-cube-cbrt_binary32`
9×	`associate-l_binary32`

Counts

2 → 60

Calls

2 calls:

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

simplify120.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

647×	`fma-def_binary32`
490×	`*-commutative_binary32`
235×	`fma-neg_binary32`
222×	`associate-r_binary32`
220×	`distribute-rgt-neg-out_binary32`

Counts

92 → 128

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	191	1990
1	520	1770
2	1695	1627
3	4473	1546
4	4873	1546
5	5000	1546
6	4944	1546

prune130.0ms (2.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	165	8	173

Error

0.0b

Counts

173 → 8

Alt Table

Status	Error	Program
	2.0b	(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)))))
✓	0.5b	(.f32 (sqrt.f32 alpha) (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 (pow.f32 alpha 3/2))))
	2.0b	(cbrt.f32 (.f32 (.f32 (.f32 alpha alpha) alpha) (.f32 (.f32 (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0)))) (.f32 (neg.f32 alpha) (log1p.f32 (neg.f32 u0))))))
✓	0.3b	(.f32 (.f32 alpha (neg.f32 alpha)) (cbrt.f32 (.f32 (.f32 (log1p.f32 (neg.f32 u0)) (log1p.f32 (neg.f32 u0))) (log1p.f32 (neg.f32 u0)))))
	1.7b	(+.f32 (.f32 (.f32 alpha alpha) (+.f32 u0 (.f32 (pow.f32 u0 4) 1/4))) (.f32 (.f32 alpha alpha) (fma.f32 (.f32 u0 u0) 1/2 (*.f32 (pow.f32 u0 3) 1/3))))
	0.8b	(.f32 (.f32 (cbrt.f32 alpha) (cbrt.f32 alpha)) (.f32 (log1p.f32 (neg.f32 u0)) (.f32 (neg.f32 alpha) (cbrt.f32 alpha))))
	0.6b	(.f32 alpha (.f32 (sqrt.f32 alpha) (*.f32 (neg.f32 (sqrt.f32 alpha)) (log1p.f32 (neg.f32 u0)))))
	2.1b	(.f32 alpha (exp.f32 (log.f32 (.f32 (log1p.f32 (neg.f32 u0)) (neg.f32 alpha)))))

Compiler

Compiled 3225 to 1865 computations (42.2% saved)

regimes1.4s (25.6%)

Accuracy

Total 0.3b remaining (90%)

Threshold costs 0.3b (90%)

Counts

179 → 1

Compiler

Compiled 18210 to 12274 computations (32.6% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	13
1	23	13
2	34	13
3	43	13
4	47	13
5	48	13
6	47	13

end0.0ms (0%)

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

sample1.4s (25.4%)

Algorithm

1×

intervals

Results

580.0ms	8000×	body	128	valid
195.0ms	8000×	pre	128	true

Compiler

Compiled 199 to 120 computations (39.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

analyze117.0ms (2.1%)

sample275.0ms (5%)

simplify33.0ms (0.6%)

prune4.0ms (0.1%)

localize22.0ms (0.4%)

series284.0ms (5.1%)

rewrite8.0ms (0.1%)

simplify66.0ms (1.2%)

prune70.0ms (1.3%)

localize35.0ms (0.6%)

series262.0ms (4.7%)

rewrite21.0ms (0.4%)

simplify127.0ms (2.3%)

prune173.0ms (3.1%)

localize21.0ms (0.4%)

series492.0ms (8.9%)

rewrite12.0ms (0.2%)

simplify76.0ms (1.4%)

prune119.0ms (2.2%)

localize32.0ms (0.6%)

series195.0ms (3.5%)

rewrite17.0ms (0.3%)

simplify120.0ms (2.2%)

prune130.0ms (2.4%)

regimes1.4s (25.6%)

simplify3.0ms (0.1%)

end0.0ms (0%)

sample1.4s (25.4%)

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