Details

analyze702.0ms (4.3%)

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)

sample60.0ms (0.4%)

Algorithm

1×

intervals

Results

32.0ms	256×	body	128	valid
8.0ms	256×	pre	128	true

Compiler

Compiled 58 to 48 computations (17.2% saved)

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

prune7.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.4b

Counts

3 → 2

Alt Table

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

localize39.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series273.0ms (1.7%)

Counts

4 → 52

Calls

4 calls:

238.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
23.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
8.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite39.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)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
11.0ms	(.f32 (.f32 2 (PI.f32)) u2)
3.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))

simplify187.0ms (1.2%)

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

prune326.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	156	12	168
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	157	13	170

Error

0.1b

Counts

170 → 13

Alt Table

Status	Error	Program
▶	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)))))
	0.7b	(.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)))
	11.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	5.7b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	5.6b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	1.1b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.9b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))

Compiler

Compiled 5045 to 3082 computations (38.9% saved)

localize148.0ms (0.9%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (.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.3b	(.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)))))

series81.0ms (0.5%)

Counts

3 → 28

Calls

3 calls:

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

26.0ms

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

13.0ms

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

rewrite87.0ms (0.5%)

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:

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

23.0ms

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

11.0ms

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

simplify222.0ms (1.4%)

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

prune953.0ms (5.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	321	5	326
Fresh	4	8	12
Picked	1	0	1
Done	0	0	0
Total	326	13	339

Error

0.1b

Counts

339 → 13

Alt Table

Status	Error	Program
▶	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)))))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (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.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	5.7b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	5.6b	(.f32 (log.f32 (exp.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 (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)))))) (.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.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.7b	(.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.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))))) (.f32 (log.f32 (exp.f32 (pow.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32)))) 2))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	1.1b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.9b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))

Compiler

Compiled 15145 to 7542 computations (50.2% saved)

localize204.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.4b	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
	0.5b	(*.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)))

series939.0ms (5.8%)

Counts

2 → 16

Calls

2 calls:

478.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))
460.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`pow1_binary32`
16×	`log-pow_binary32`
15×	`*-un-lft-identity_binary32`
12×	`distribute-lft-out_binary32`
9×	`exp-prod_binary32`

Counts

2 → 49

Calls

2 calls:

12.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))
9.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

simplify113.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

867×	`fma-def_binary32`
390×	`fma-neg_binary32`
272×	`prod-exp_binary32`
242×	`associate-*l/_binary32`
191×	`associate-*r/_binary32`

Counts

65 → 62

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	67	790
1	146	630
2	441	622
3	1728	622
4	4208	622
5	5111	622

prune657.0ms (4%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	221	3	224
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	225	12	237

Error

0.0b

Counts

237 → 12

Alt Table

Status	Error	Program
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (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.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.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)))))) (.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	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.7b	(.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.5b	(cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) 3) (sqrt.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)))))))
	1.1b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	5.7b	(log.f32 (exp.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.9b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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)))))))

Compiler

Compiled 11326 to 5524 computations (51.2% saved)

localize193.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
	0.4b	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
	0.5b	(*.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)))

prune970.0ms (6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	255	3	258
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	259	11	270

Error

0.0b

Counts

270 → 11

Alt Table

Status	Error	Program
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (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.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) 3) (sqrt.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.8b	(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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.3b	(cbrt.f32 (.f32 (.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.7b	(.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)))
	1.1b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.9b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.4b	(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 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (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)))))))

Compiler

Compiled 13396 to 6594 computations (50.8% saved)

regimes5.8s (35.9%)

Accuracy

Total 0.2b remaining (78.5%)

Threshold costs 0.2b (78.5%)

Counts

266 → 1

Compiler

Compiled 105788 to 76028 computations (28.1% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary32`
11×	`neg-sub0_binary32`
11×	`neg-mul-1_binary32`
10×	`+-commutative_binary32`
9×	`sub-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	62
1	39	62
2	47	62
3	57	62
4	65	62
5	78	62
6	89	62
7	96	62
8	100	62
9	101	62
10	99	62

end1.0ms (0%)

Compiler: Compiled 38 to 28 computations (26.3% saved)

sample4.2s (25.6%)

Algorithm

1×

intervals

Results

1.4s	8000×	body	128	valid
436.0ms	8000×	pre	128	true
0.0ms	6×	pre	128	false

Compiler

Compiled 470 to 329 computations (30% 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

analyze702.0ms (4.3%)

sample60.0ms (0.4%)

simplify14.0ms (0.1%)

prune7.0ms (0%)

localize39.0ms (0.2%)

series273.0ms (1.7%)

rewrite39.0ms (0.2%)

simplify187.0ms (1.2%)

prune326.0ms (2%)

localize148.0ms (0.9%)

series81.0ms (0.5%)

rewrite87.0ms (0.5%)

simplify222.0ms (1.4%)

prune953.0ms (5.9%)

localize204.0ms (1.3%)

series939.0ms (5.8%)

rewrite26.0ms (0.2%)

simplify113.0ms (0.7%)

prune657.0ms (4%)

localize193.0ms (1.2%)

prune970.0ms (6%)

regimes5.8s (35.9%)

simplify6.0ms (0%)

end1.0ms (0%)

sample4.2s (25.6%)

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