Details

analyze812.0ms (9.2%)

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)

sample107.0ms (1.2%)

Algorithm

1×

intervals

Results

56.0ms	256×	body	128	valid
16.0ms	256×	pre	128	true

Compiler

Compiled 58 to 48 computations (17.2% saved)

simplify28.0ms (0.3%)

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

prune10.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
	13.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize70.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series380.0ms (4.3%)

Counts

4 → 52

Calls

4 calls:

347.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
21.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
6.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
6.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite34.0ms (0.4%)

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:

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

simplify200.0ms (2.3%)

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

prune233.0ms (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	159	9	168
Fresh	0	1	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.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	13.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.4b	(.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.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)))))
	6.2b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.7b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (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 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.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)))))
	2.4b	(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 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))

Compiler

Compiled 4941 to 3018 computations (38.9% saved)

localize47.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))))
✓	0.1b	(.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.5b	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

series1.3s (15.1%)

Counts

4 → 44

Calls

4 calls:

528.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)))))
290.0ms	(cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))))
256.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))
255.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

rewrite28.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

27×	`pow1_binary32`
22×	`*-un-lft-identity_binary32`
16×	`log-pow_binary32`
16×	`add-sqr-sqrt_binary32`
13×	`associate-l_binary32`

Counts

4 → 89

Calls

4 calls:

8.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)))))
5.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))
5.0ms	(cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))))
5.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))

simplify110.0ms (1.2%)

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

133 → 150

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	208	3009
1	503	2654
2	1496	2576
3	4630	2572
4	4960	2572

prune176.0ms (2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	146	4	150
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	149	11	160

Error

0.0b

Counts

160 → 11

Alt Table

Status	Error	Program
	0.8b	(.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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	13.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	6.2b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.7b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
▶	0.3b	(.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (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 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.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)))))
	2.4b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.4b	(.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.6b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.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 4516 to 2785 computations (38.3% saved)

localize52.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))))
✓	0.1b	(.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
	0.4b	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
	1.5b	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

series526.0ms (6%)

Counts

1 → 20

Calls

1 calls:

526.0ms

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-r_binary32`
11×	`sqrt-prod_binary32`
10×	`add-sqr-sqrt_binary32`
6×	`*-un-lft-identity_binary32`
6×	`add-cube-cbrt_binary32`

Counts

1 → 31

Calls

1 calls:

8.0ms

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

simplify97.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

940×	`fma-neg_binary32`
527×	`fma-def_binary32`
403×	`associate-l_binary32`
365×	`associate-r_binary32`
269×	`associate-+l+_binary32`

Counts

51 → 67

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	165	2386
1	414	1800
2	1250	1712
3	4763	1708
4	5589	1708

prune180.0ms (2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	145	3	148
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	148	11	159

Error

0.0b

Counts

159 → 11

Alt Table

Status	Error	Program
	6.2b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.7b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	13.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (cos.f32 (exp.f32 (log.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
	0.5b	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))
✓	0.3b	(.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
	0.8b	(.f32 (.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (.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))))))
	0.8b	(.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)))))
	2.4b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.4b	(.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.6b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.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 4447 to 2748 computations (38.2% saved)

localize43.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series434.0ms (4.9%)

Counts

3 → 44

Calls

3 calls:

249.0ms

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

181.0ms

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

3.0ms

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

rewrite16.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`pow1_binary32`
13×	`associate-r_binary32`
13×	`add-sqr-sqrt_binary32`
11×	`sqrt-prod_binary32`
11×	`add-exp-log_binary32`

Counts

3 → 64

Calls

3 calls:

6.0ms

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

4.0ms

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

3.0ms

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

simplify99.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

612×	`fma-def_binary32`
508×	`fma-neg_binary32`
296×	`cancel-sign-sub-inv_binary32`
258×	`times-frac_binary32`
197×	`associate--l+_binary32`

Counts

108 → 121

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	215	2634
1	515	2462
2	1618	2344
3	4630	2338
4	4972	2338

prune177.0ms (2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	148	1	149
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	150	10	160

Error

0.0b

Counts

160 → 10

Alt Table

Status	Error	Program
	0.5b	(.f32 (.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)) (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))
	0.6b	(.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	6.2b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.7b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	13.2b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
	0.8b	(.f32 (.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))) (.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))))))
	0.8b	(.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)))))
	2.4b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.4b	(.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 3994 to 2374 computations (40.6% saved)

regimes1.6s (18.1%)

Accuracy

Total 0.2b remaining (69.8%)

Threshold costs 0.2b (69.8%)

Counts

142 → 1

Compiler

Compiled 34742 to 27849 computations (19.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	18	27
1	29	27
2	33	27
3	35	27
4	34	27

end1.0ms (0%)

Compiler: Compiled 18 to 16 computations (11.1% saved)

sample2.0s (22.8%)

Algorithm

1×

intervals

Results

924.0ms	8000×	body	128	valid
293.0ms	8000×	pre	128	true
0.0ms	7×	pre	128	false

Compiler

Compiled 317 to 243 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

analyze812.0ms (9.2%)

sample107.0ms (1.2%)

simplify28.0ms (0.3%)

prune10.0ms (0.1%)

localize70.0ms (0.8%)

series380.0ms (4.3%)

rewrite34.0ms (0.4%)

simplify200.0ms (2.3%)

prune233.0ms (2.7%)

localize47.0ms (0.5%)

series1.3s (15.1%)

rewrite28.0ms (0.3%)

simplify110.0ms (1.2%)

prune176.0ms (2%)

localize52.0ms (0.6%)

series526.0ms (6%)

rewrite11.0ms (0.1%)

simplify97.0ms (1.1%)

prune180.0ms (2%)

localize43.0ms (0.5%)

series434.0ms (4.9%)

rewrite16.0ms (0.2%)

simplify99.0ms (1.1%)

prune177.0ms (2%)

regimes1.6s (18.1%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.0s (22.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