Details

analyze5.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 39 to 31 computations (20.5% saved)

sample3.6s (19.8%)

Results

3.5s	8256×	body	128	valid
1.0ms	4×	body	128	invalid

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify20.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

prune8.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.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	12.2b	(.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)

localize75.0ms (0.4%)

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.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

series323.0ms (1.8%)

Counts

4 → 52

Calls

4 calls:

290.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
19.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
7.0ms	(.f32 (.f32 2 (PI.f32)) u2)
7.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`sqrt-prod_binary32`
18×	`add-sqr-sqrt_binary32`
14×	`associate-l_binary32`
13×	`*-un-lft-identity_binary32`
13×	`add-cube-cbrt_binary32`

Counts

4 → 82

Calls

4 calls:

12.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
7.0ms	(.f32 (.f32 2 (PI.f32)) u2)
3.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))

simplify154.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

553×	`cancel-sign-sub-inv_binary32`
510×	`fma-neg_binary32`
360×	`times-frac_binary32`
236×	`associate-l_binary32`
224×	`fma-def_binary32`

Counts

134 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	286	3674
1	775	3341
2	2559	3238
3	4483	3212
4	5079	3212

prune299.0ms (1.6%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	149	15	164
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	15	166

Error

0.1b

Counts

166 → 15

Alt Table

Status	Error	Program
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	13.1b	(-.f32 (.f32 2 (.f32 u2 (.f32 (PI.f32) (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))))))))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (log.f32 (.f32 2 (*.f32 (PI.f32) u2))))))
	1.0b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.7b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.5b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
▶	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.4b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	19.2b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.7b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))

Compiler

Compiled 5274 to 3223 computations (38.9% saved)

localize128.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.4b	(.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
✓	0.5b	(.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.5b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

series54.0ms (0.3%)

Counts

3 → 32

Calls

3 calls:

23.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

17.0ms

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

13.0ms

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

rewrite61.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`sqrt-prod_binary32`
44×	`pow1_binary32`
43×	`add-sqr-sqrt_binary32`
28×	`*-un-lft-identity_binary32`
24×	`add-cube-cbrt_binary32`

Counts

3 → 137

Calls

3 calls:

21.0ms

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

10.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

5.0ms

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

simplify315.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

434×	`fma-neg_binary32`
370×	`*-commutative_binary32`
353×	`cancel-sign-sub-inv_binary32`
330×	`distribute-rgt-neg-in_binary32`
293×	`fma-def_binary32`

Counts

169 → 203

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	219	2791
1	497	2409
2	1518	2345
3	3157	2236
4	4726	2215
5	4972	2215
6	4855	2215

prune803.0ms (4.4%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	280	7	287
Fresh	4	10	14
Picked	1	0	1
Done	0	0	0
Total	285	17	302

Error

0.1b

Counts

302 → 17

Alt Table

Status	Error	Program
	12.8b	(cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.4b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
▶	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	19.2b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (exp.f32 (.f32 3 (log.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (log.f32 (.f32 2 (*.f32 (PI.f32) u2))))))
	1.0b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.5b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.1b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	22.9b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) 3)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 (PI.f32) u2))))))))
	0.7b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))

Compiler

Compiled 13611 to 6479 computations (52.4% saved)

localize89.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.4b	(.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.5b	(.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.5b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

series48.0ms (0.3%)

Counts

1 → 8

Calls

1 calls:

48.0ms

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary32`
6×	`add-exp-log_binary32`
6×	`pow1_binary32`
3×	`associate-r_binary32`
3×	`add-sqr-sqrt_binary32`

Counts

1 → 22

Calls

1 calls:

15.0ms

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

simplify98.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

800×	`distribute-rgt-neg-in_binary32`
771×	`fma-def_binary32`
454×	`fma-neg_binary32`
447×	`cancel-sign-sub-inv_binary32`
390×	`associate-l_binary32`

Counts

30 → 43

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	84	1378
1	227	658
2	581	621
3	1691	563
4	4027	563
5	4952	563

prune593.0ms (3.3%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	252	5	257
Fresh	4	12	16
Picked	1	0	1
Done	0	0	0
Total	257	17	274

Error

0.1b

Counts

274 → 17

Alt Table

Status	Error	Program
	12.8b	(cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	19.2b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	22.9b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) 3)))))
	2.0b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (exp.f32 (.f32 2 (log.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32))))))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	2.5b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (exp.f32 (.f32 3 (log.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (log.f32 (.f32 2 (*.f32 (PI.f32) u2))))))
	1.0b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	1.1b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	1.4b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
▶	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 (PI.f32) u2))))))))
	0.7b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	1.5b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	20.2b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))) 2))) (sin.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))

Compiler

Compiled 13640 to 6351 computations (53.4% saved)

localize102.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.4b	(.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (PI.f32) u2))))))
	0.5b	(.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.5b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

series27.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

27.0ms

(*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (*.f32 2 (*.f32 (PI.f32) u2))))))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary32`
6×	`add-exp-log_binary32`
6×	`pow1_binary32`
3×	`associate-r_binary32`
3×	`add-sqr-sqrt_binary32`

Counts

1 → 22

Calls

1 calls:

19.0ms

(*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (*.f32 2 (*.f32 (PI.f32) u2))))))

simplify134.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

753×	`fma-def_binary32`
749×	`distribute-rgt-neg-in_binary32`
454×	`fma-neg_binary32`
440×	`cancel-sign-sub-inv_binary32`
365×	`associate-l_binary32`

Counts

34 → 43

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	83	800
1	203	675
2	570	669
3	1628	615
4	3921	615
5	4911	615
6	4980	597
7	4875	597

prune641.0ms (3.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	252	5	257
Fresh	5	11	16
Picked	1	0	1
Done	0	0	0
Total	258	16	274

Error

0.1b

Counts

274 → 16

Alt Table

Status	Error	Program
	19.2b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (.f32 2 (.f32 (PI.f32) u2)))))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (PI.f32) u2))))))))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (exp.f32 (log.f32 (.f32 2 (*.f32 (PI.f32) u2))))))
	1.0b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	1.1b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.7b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 (PI.f32) u2))))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	20.2b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))) 2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (PI.f32) u2))))))))
	2.3b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (exp.f32 (log.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 (PI.f32) u2))))))))))
	0.7b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	12.8b	(cbrt.f32 (.f32 (.f32 (log.f32 (exp.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (PI.f32) u2))))))))
	1.5b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	20.2b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (log.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))) 2))) (sin.f32 (.f32 (.f32 (*.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))

Compiler

Compiled 12467 to 5908 computations (52.6% saved)

regimes10.2s (56.1%)

Accuracy

Total 0.5b remaining (85.3%)

Threshold costs 0.5b (85.3%)

Counts

411 → 1

Compiler

Compiled 175631 to 116089 computations (33.9% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	23	67
1	36	67
2	40	67
3	42	67
4	42	67

end329.0ms (1.8%)

Compiler: Compiled 707 to 463 computations (34.5% 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

analyze5.0ms (0%)

sample3.6s (19.8%)

simplify20.0ms (0.1%)

prune8.0ms (0%)

localize75.0ms (0.4%)

series323.0ms (1.8%)

rewrite36.0ms (0.2%)

simplify154.0ms (0.8%)

prune299.0ms (1.6%)

localize128.0ms (0.7%)

series54.0ms (0.3%)

rewrite61.0ms (0.3%)

simplify315.0ms (1.7%)

prune803.0ms (4.4%)

localize89.0ms (0.5%)

series48.0ms (0.3%)

rewrite19.0ms (0.1%)

simplify98.0ms (0.5%)

prune593.0ms (3.3%)

localize102.0ms (0.6%)

series27.0ms (0.2%)

rewrite23.0ms (0.1%)

simplify134.0ms (0.7%)

prune641.0ms (3.5%)

regimes10.2s (56.1%)

simplify4.0ms (0%)

end329.0ms (1.8%)

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