Details

analyze443.0ms (4%)

Algorithm

1×

Search

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

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample2.6s (23.5%)

Results

2.5s	8256×	body	128	valid
1.0ms	3×	body	128	invalid

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

40×	`fma-neg_binary32`
22×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
15×	`fma-def_binary32`
11×	`*-commutative_binary32`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

prune5.0ms (0%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	13.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize37.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
✓	0.2b	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(.f32 (.f32 2 (PI.f32)) u2)

series429.0ms (3.9%)

Counts

4 → 52

Calls

4 calls:

411.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
11.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
4.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite260.0ms (2.4%)

Algorithm

4×	egg-rewrite

Rules

56×	`egg`
50×	`egg`
34×	`egg`
23×	`egg`

Counts

4 → 163

Calls

4 calls:

86.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
80.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
46.0ms	(.f32 (.f32 2 (PI.f32)) u2)
46.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	121	8
2	1359	8
3	5038	8
0	13	21
1	260	17
2	2526	17
3	4939	17
4	5077	17
0	7	10
1	140	10
2	1581	10
3	5246	10
0	6	9
1	120	5
2	923	5
3	4605	5
4	5791	5

simplify104.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

553×	`cancel-sign-sub-inv_binary32`
498×	`fma-neg_binary32`
360×	`times-frac_binary32`
287×	`associate-*l/_binary32`
245×	`associate-/r*_binary32`

Counts

215 → 211

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	182	2184
1	587	1984
2	1995	1851
3	4459	1845
4	4990	1845

prune363.0ms (3.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	197	14	211
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	199	14	213

Error

0.1b

Counts

213 → 14

Alt Table

Status	Error	Program
	8.0b	(.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 3/2) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
	8.7b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)) 2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	14.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (pow.f32 (cbrt.f32 u2) 2)) (cbrt.f32 u2))))
	13.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (+.f32 1 (expm1.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
	8.1b	(.f32 (pow.f32 (log1p.f32 u1) 1/4) (.f32 (pow.f32 (log1p.f32 u1) 1/4) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	14.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	14.4b	(-.f32 (+.f32 (.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/15 (.f32 (pow.f32 u2 5) (.f32 (pow.f32 (PI.f32) 5) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))) (+.f32 (.f32 8/315 (.f32 (pow.f32 u2 7) (.f32 (pow.f32 (PI.f32) 7) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))))) (.f32 4/3 (.f32 (pow.f32 u2 3) (.f32 (pow.f32 (PI.f32) 3) (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))))))))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 u2 3) -4/3)))
	9.3b	(exp.f32 (log.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	5.7b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))

Compiler

Compiled 5707 to 3832 computations (32.9% saved)

localize46.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))
✓	0.1b	(sin.f32 (*.f32 (PI.f32) u2))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
✓	0.3b	(*.f32 (PI.f32) u2)

series287.0ms (2.6%)

Counts

4 → 40

Calls

4 calls:

273.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
8.0ms	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))
3.0ms	(sin.f32 (*.f32 (PI.f32) u2))
2.0ms	(*.f32 (PI.f32) u2)

rewrite274.0ms (2.5%)

Algorithm

4×	egg-rewrite

Rules

46×	`egg`
43×	`egg`
33×	`egg`
30×	`egg`

Counts

4 → 152

Calls

4 calls:

79.0ms	(sin.f32 (*.f32 (PI.f32) u2))
74.0ms	(*.f32 (PI.f32) u2)
67.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
51.0ms	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	5
1	78	5
2	896	5
3	4544	5
4	5520	5
0	15	21
1	309	17
2	3231	17
3	5685	17
0	5	7
1	97	7
2	1114	7
3	4813	7
4	5323	7
0	7	16
1	143	16
2	1798	16
3	5536	16

simplify91.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

817×	`fma-def_binary32`
440×	`cancel-sign-sub-inv_binary32`
430×	`fma-neg_binary32`
275×	`times-frac_binary32`
251×	`associate-/l*_binary32`

Counts

192 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	157	1908
1	477	1776
2	1695	1659
3	4558	1657
4	5081	1657

prune199.0ms (1.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	232	3	235
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	236	13	249

Error

0.0b

Counts

249 → 13

Alt Table

Status	Error	Program
	8.0b	(.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 3/2) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.7b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)) 2)))
▶	0.5b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (*.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	14.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (log.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (PI.f32) u2))) (cos.f32 (.f32 (PI.f32) u2))))))
	5.7b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))) 2))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (pow.f32 (cbrt.f32 u2) 2)) (cbrt.f32 u2))))
	13.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (+.f32 1 (expm1.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	14.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 u2 3) -4/3)))
	9.3b	(exp.f32 (log.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))

Compiler

Compiled 6610 to 3002 computations (54.6% saved)

localize45.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sin.f32 (*.f32 u2 (PI.f32)))
✓	0.1b	(.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
✓	0.3b	(*.f32 u2 (PI.f32))
✓	0.4b	(.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

series775.0ms (7.1%)

Counts

4 → 60

Calls

4 calls:

392.0ms	(.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
375.0ms	(.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
4.0ms	(*.f32 u2 (PI.f32))
4.0ms	(sin.f32 (*.f32 u2 (PI.f32)))

rewrite296.0ms (2.7%)

Algorithm

4×	egg-rewrite

Rules

43×	`egg`
41×	`egg`
31×	`egg`
30×	`egg`

Counts

4 → 145

Calls

4 calls:

89.0ms	(.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
79.0ms	(sin.f32 (*.f32 u2 (PI.f32)))
75.0ms	(*.f32 u2 (PI.f32))
49.0ms	(.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	18
1	217	14
2	2059	14
3	5247	14
0	4	5
1	78	5
2	896	5
3	4544	5
4	5520	5
0	13	27
1	258	23
2	2578	23
3	4898	23
4	4960	23
0	5	7
1	97	7
2	1114	7
3	4813	7
4	5323	7

simplify118.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

643×	`cancel-sign-sub-inv_binary32`
635×	`fma-neg_binary32`
442×	`times-frac_binary32`
362×	`associate-/l*_binary32`
255×	`fma-def_binary32`

Counts

205 → 202

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2854
1	640	2662
2	2294	2457
3	4730	2447
4	5081	2447

prune208.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	241	4	245
Fresh	5	7	12
Picked	0	1	1
Done	0	0	0
Total	246	12	258

Error

0.0b

Counts

258 → 12

Alt Table

Status	Error	Program
	1.5b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (.f32 (pow.f32 (.f32 (pow.f32 (*.f32 u2 (PI.f32)) 2) (PI.f32)) 1/3) (cbrt.f32 u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	13.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (+.f32 1 (expm1.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
	14.1b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (-.f32 (exp.f32 (log1p.f32 (sin.f32 (*.f32 u2 (PI.f32))))) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	14.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
✓	0.5b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (*.f32 u2 (PI.f32))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	14.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (log.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (PI.f32) u2))) (cos.f32 (.f32 (PI.f32) u2))))))
	5.7b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))) 2))))
▶	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))
	8.0b	(.f32 2 (.f32 (cbrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 u2 (PI.f32))) 2))) (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 u2 (PI.f32))))))
	4.9b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (PI.f32) (*.f32 u2 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 u2 3) -4/3)))

Compiler

Compiled 7801 to 3477 computations (55.4% saved)

localize134.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (.f32 (PI.f32) u2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))
	0.3b	(*.f32 (PI.f32) u2)
✓	1.0b	(pow.f32 (sqrt.f32 2) 2)

series355.0ms (3.2%)

Counts

3 → 32

Calls

3 calls:

348.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))

7.0ms

(sin.f32 (*.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2)))

0.0ms

(pow.f32 (sqrt.f32 2) 2)

rewrite174.0ms (1.6%)

Algorithm

3×	egg-rewrite

Rules

34×	`egg`
21×	`egg`
2×	`egg`

Counts

3 → 57

Calls

3 calls:

74.0ms

(pow.f32 (sqrt.f32 2) 2)

55.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (*.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))

43.0ms

(sin.f32 (*.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	1
1	66	1
2	574	1
3	4492	1
4	4944	1
0	15	21
1	284	17
2	2671	17
3	5014	17
0	9	10
1	165	10
2	1748	10
3	4982	10

simplify97.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

916×	`fma-neg_binary32`
679×	`fma-def_binary32`
406×	`cancel-sign-sub-inv_binary32`
274×	`associate-+l+_binary32`
202×	`associate--l+_binary32`

Counts

89 → 92

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	154	1844
1	464	1522
2	1556	1364
3	4930	1358
4	5652	1358

prune119.0ms (1.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	133	1	134
Fresh	1	9	10
Picked	0	1	1
Done	1	0	1
Total	135	11	146

Error

0.0b

Counts

146 → 11

Alt Table

Status	Error	Program
	14.1b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (-.f32 (exp.f32 (log1p.f32 (sin.f32 (*.f32 u2 (PI.f32))))) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	14.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	5.7b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)))) (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))) 2))))
✓	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (pow.f32 (sqrt.f32 2) 2) (*.f32 (PI.f32) u2))))
	1.5b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (sin.f32 (.f32 (pow.f32 (.f32 (pow.f32 (*.f32 u2 (PI.f32)) 2) (PI.f32)) 1/3) (cbrt.f32 u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	8.0b	(.f32 2 (.f32 (cbrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 u2 (PI.f32))) 2))) (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (log1p.f32 u1)))) (cos.f32 (.f32 u2 (PI.f32))))))
	4.9b	(.f32 2 (.f32 (cos.f32 (.f32 u2 (PI.f32))) (.f32 (PI.f32) (*.f32 u2 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
	14.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (log.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (PI.f32) u2))) (cos.f32 (.f32 (PI.f32) u2))))))
	2.8b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 u2 3) -4/3)))
	0.5b	(.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

Compiler

Compiled 3790 to 2451 computations (35.3% saved)

regimes3.3s (30.4%)

Accuracy

Total 0.4b remaining (82%)

Threshold costs 0.4b (82%)

Counts

222 → 1

Compiler

Compiled 50756 to 40728 computations (19.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	35
1	26	35
2	30	35
3	32	35
4	32	35

end189.0ms (1.7%)

Compiler: Compiled 326 to 250 computations (23.3% saved)

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21

Details

analyze443.0ms (4%)

sample2.6s (23.5%)

simplify15.0ms (0.1%)

prune5.0ms (0%)

localize37.0ms (0.3%)

series429.0ms (3.9%)

rewrite260.0ms (2.4%)

simplify104.0ms (0.9%)

prune363.0ms (3.3%)

localize46.0ms (0.4%)

series287.0ms (2.6%)

rewrite274.0ms (2.5%)

simplify91.0ms (0.8%)

prune199.0ms (1.8%)

localize45.0ms (0.4%)

series775.0ms (7.1%)

rewrite296.0ms (2.7%)

simplify118.0ms (1.1%)

prune208.0ms (1.9%)

localize134.0ms (1.2%)

series355.0ms (3.2%)

rewrite174.0ms (1.6%)

simplify97.0ms (0.9%)

prune119.0ms (1.1%)

regimes3.3s (30.4%)

simplify3.0ms (0%)

end189.0ms (1.7%)

Profiling

Iter	Nodes	Cost
0	14	22
1	26	21
2	38	21
3	46	21
4	56	21
5	67	21
6	82	21
7	106	21
8	119	21
9	125	21
10	144	21
11	140	21
12	167	21
13	180	21
14	184	21
15	185	21
16	163	21