Details

analyze408.0ms (3.7%)

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

Results

2.1s	8256×	body	128	valid
1.0ms	5×	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

prune4.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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	14.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize35.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series198.0ms (1.8%)

Counts

4 → 52

Calls

4 calls:

180.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
12.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

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

6.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
5.0ms	(.f32 (.f32 2 (PI.f32)) u2)
2.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
2.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))

simplify112.0ms (1%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary32`
449×	`fma-neg_binary32`
324×	`times-frac_binary32`
243×	`associate-/r*_binary32`
229×	`associate-/l*_binary32`

Counts

134 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	281	3614
1	751	3315
2	2419	3199
3	4597	3191
4	5025	3191

prune213.0ms (1.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	158	10	168
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	160	10	170

Error

0.1b

Counts

170 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.7b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.9b	(.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)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))

Compiler

Compiled 5021 to 3034 computations (39.6% saved)

localize48.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	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))
✓	0.4b	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
✓	1.4b	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

series1.0s (9.5%)

Counts

3 → 36

Calls

3 calls:

541.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))

252.0ms

(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

245.0ms

(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

rewrite23.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`pow1_binary32`
21×	`*-un-lft-identity_binary32`
16×	`log-pow_binary32`
15×	`add-sqr-sqrt_binary32`
13×	`associate-l_binary32`

Counts

3 → 80

Calls

3 calls:

7.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))

6.0ms

(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

5.0ms

(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

simplify96.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

562×	`fma-def_binary32`
392×	`associate-l_binary32`
307×	`associate-r_binary32`
233×	`fma-neg_binary32`
210×	`distribute-rgt-in_binary32`

Counts

116 → 131

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	2737
1	500	2451
2	1494	2373
3	4628	2369
4	4958	2369

prune224.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	170	11	181

Error

0.1b

Counts

181 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.7b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.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)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))
	0.6b	(.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))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))) (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))

Compiler

Compiled 5614 to 3535 computations (37% saved)

localize63.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.3b	(.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)))))
✓	0.6b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

series42.0ms (0.4%)

Counts

3 → 28

Calls

3 calls:

22.0ms

(*.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)))))

14.0ms

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

7.0ms

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

rewrite47.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`pow1_binary32`
61×	`sqrt-prod_binary32`
50×	`add-sqr-sqrt_binary32`
32×	`pow-prod-up_binary32`
31×	`*-un-lft-identity_binary32`

Counts

3 → 163

Calls

3 calls:

14.0ms

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

14.0ms

(*.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)))))

5.0ms

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

simplify115.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

564×	`fma-def_binary32`
321×	`fma-neg_binary32`
218×	`associate-l_binary32`
209×	`associate-r_binary32`
166×	`times-frac_binary32`

Counts

191 → 242

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	252	3349
1	602	2791
2	1902	2650
3	4660	2650
4	4986	2650

prune557.0ms (5.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	322	4	326
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	324	13	337

Error

0.0b

Counts

337 → 13

Alt Table

Status	Error	Program
	0.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	0.9b	(.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)))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))
	0.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (.f32 (cbrt.f32 (.f32 2 (.f32 u2 (PI.f32)))) (cbrt.f32 (.f32 2 (.f32 u2 (PI.f32))))) (cbrt.f32 (.f32 2 (*.f32 u2 (PI.f32)))))))))
	0.6b	(.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))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))) (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))
▶	0.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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	2.7b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))

Compiler

Compiled 15275 to 7618 computations (50.1% saved)

localize92.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.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)))))
	0.4b	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
	0.6b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
	1.4b	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

prune448.0ms (4.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	250	3	253
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	256	10	266

Error

0.0b

Counts

266 → 10

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cbrt.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))) (cbrt.f32 (cos.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))))) (pow.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) 4)) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.9b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))))
	2.7b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (cos.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)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(cbrt.f32 (.f32 (.f32 (.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.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))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cos.f32 (exp.f32 (fma.f32 (sqrt.f32 (log.f32 (.f32 2 (PI.f32)))) (sqrt.f32 (log.f32 (*.f32 2 (PI.f32)))) (log.f32 u2)))))))
	0.6b	(.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))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))

Compiler

Compiled 12347 to 6428 computations (47.9% saved)

regimes4.7s (43.2%)

Accuracy

Total 0.2b remaining (80%)

Threshold costs 0.2b (80%)

Counts

321 → 1

Compiler

Compiled 118704 to 87070 computations (26.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary32`
3×	`+-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	25	67
1	37	67
2	41	67
3	43	67
4	43	67

end221.0ms (2%)

Compiler: Compiled 449 to 318 computations (29.2% 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

analyze408.0ms (3.7%)

sample2.2s (20%)

simplify15.0ms (0.1%)

prune4.0ms (0%)

localize35.0ms (0.3%)

series198.0ms (1.8%)

rewrite17.0ms (0.2%)

simplify112.0ms (1%)

prune213.0ms (1.9%)

localize48.0ms (0.4%)

series1.0s (9.5%)

rewrite23.0ms (0.2%)

simplify96.0ms (0.9%)

prune224.0ms (2.1%)

localize63.0ms (0.6%)

series42.0ms (0.4%)

rewrite47.0ms (0.4%)

simplify115.0ms (1.1%)

prune557.0ms (5.1%)

localize92.0ms (0.8%)

prune448.0ms (4.1%)

regimes4.7s (43.2%)

simplify3.0ms (0%)

end221.0ms (2%)

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