Details

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

sample99.0ms (1.1%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 58 to 48 computations (17.2% saved)

simplify16.0ms (0.2%)

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.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
	14.0b	(.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)

localize35.0ms (0.4%)

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.4b	(.f32 (.f32 2 (PI.f32)) u2)

series214.0ms (2.3%)

Counts

4 → 52

Calls

4 calls:

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

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

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

simplify122.0ms (1.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

prune206.0ms (2.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	157	11	168
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	159	11	170

Error

0.0b

Counts

170 → 11

Alt Table

Status	Error	Program
	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))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	1.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (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)))))
	6.5b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	1.3b	(.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 (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.8b	(.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)))
	2.0b	(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.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 4959 to 3020 computations (39.1% saved)

localize43.0ms (0.5%)

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)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.6b	(expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

series194.0ms (2.1%)

Counts

2 → 32

Calls

2 calls:

187.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
6.0ms	(expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-l_binary32`
11×	`sqrt-prod_binary32`
11×	`add-sqr-sqrt_binary32`
7×	`*-un-lft-identity_binary32`
7×	`add-cube-cbrt_binary32`

Counts

2 → 42

Calls

2 calls:

5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
0.0ms	(expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

simplify92.0ms (1%)

Algorithm

1×	egg-herbie

Rules

953×	`fma-neg_binary32`
645×	`fma-def_binary32`
384×	`cancel-sign-sub-inv_binary32`
215×	`associate--l+_binary32`
173×	`associate-/r*_binary32`

Counts

74 → 102

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	205	2466
1	528	2302
2	1616	2200
3	4612	2192
4	5397	2192

prune206.0ms (2.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	166	4	170
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	170	11	181

Error

0.0b

Counts

181 → 11

Alt Table

Status	Error	Program
	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.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))))) (log1p.f32 (expm1.f32 (cos.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))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	1.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (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)))))
	6.5b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	0.5b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	1.3b	(.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))))
	2.0b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))

Compiler

Compiled 5321 to 3356 computations (36.9% saved)

localize60.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (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))
✓	0.6b	(expm1.f32 (cos.f32 (exp.f32 (+.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.4s (14.9%)

Counts

4 → 48

Calls

4 calls:

524.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
324.0ms	(expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))
264.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
255.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))

rewrite22.0ms (0.2%)

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 → 91

Calls

4 calls:

6.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))
6.0ms	(exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))
5.0ms	(+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2))
0.0ms	(expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))

simplify108.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

566×	`fma-def_binary32`
395×	`associate-l_binary32`
309×	`associate-r_binary32`
233×	`fma-neg_binary32`
224×	`distribute-rgt-in_binary32`

Counts

139 → 152

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	221	3057
1	523	2746
2	1531	2668
3	4717	2664
4	4909	2664

prune193.0ms (2.1%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	150	2	152
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	152	11	163

Error

0.0b

Counts

163 → 11

Alt Table

Status	Error	Program
	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.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))))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))
	0.5b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (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)))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (expm1.f32 (cos.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))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	6.5b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	1.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))))))
	1.3b	(.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))))
	2.0b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))

Compiler

Compiled 4778 to 3047 computations (36.2% saved)

localize52.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
✓	0.2b	(exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
	0.6b	(expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

series197.0ms (2.2%)

Counts

2 → 32

Calls

2 calls:

185.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
12.0ms	(exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-l_binary32`
12×	`add-sqr-sqrt_binary32`
11×	`sqrt-prod_binary32`
8×	`*-un-lft-identity_binary32`
8×	`add-cube-cbrt_binary32`

Counts

2 → 45

Calls

2 calls:

5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
1.0ms	(exp.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))

simplify101.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

476×	`cancel-sign-sub-inv_binary32`
428×	`fma-neg_binary32`
251×	`associate-*l/_binary32`
240×	`associate-r_binary32`
192×	`associate-/r*_binary32`

Counts

77 → 109

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	241	2854
1	638	2532
2	2037	2388
3	4810	2382
4	4988	2382

prune211.0ms (2.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	163	1	164
Fresh	1	8	9
Picked	1	0	1
Done	0	1	1
Total	165	10	175

Error

0.0b

Counts

175 → 10

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))))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))))))
	0.5b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (log1p.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (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.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))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	6.5b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 u2 (PI.f32))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	1.6b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (log1p.f32 (expm1.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (*.f32 2 (PI.f32))) (log.f32 u2)))))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (expm1.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	1.3b	(.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))))
	2.0b	(exp.f32 (log.f32 (.f32 (cos.f32 (.f32 2 (*.f32 u2 (PI.f32)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))

Compiler

Compiled 4911 to 3119 computations (36.5% saved)

regimes3.0s (32.4%)

Accuracy

Total 0.3b remaining (74.8%)

Threshold costs 0.3b (74.8%)

Counts

220 → 1

Compiler

Compiled 54097 to 44563 computations (17.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	17	29
1	26	29
2	30	29
3	32	29
4	32	29

end1.0ms (0%)

Compiler: Compiled 19 to 17 computations (10.5% saved)

sample2.2s (24.3%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
307.0ms	8000×	pre	128	true
0.0ms	2×	pre	128	false

Compiler

Compiled 315 to 248 computations (21.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

analyze390.0ms (4.3%)

sample99.0ms (1.1%)

simplify16.0ms (0.2%)

prune5.0ms (0.1%)

localize35.0ms (0.4%)

series214.0ms (2.3%)

rewrite20.0ms (0.2%)

simplify122.0ms (1.3%)

prune206.0ms (2.2%)

localize43.0ms (0.5%)

series194.0ms (2.1%)

rewrite9.0ms (0.1%)

simplify92.0ms (1%)

prune206.0ms (2.2%)

localize60.0ms (0.7%)

series1.4s (14.9%)

rewrite22.0ms (0.2%)

simplify108.0ms (1.2%)

prune193.0ms (2.1%)

localize52.0ms (0.6%)

series197.0ms (2.2%)

rewrite9.0ms (0.1%)

simplify101.0ms (1.1%)

prune211.0ms (2.3%)

regimes3.0s (32.4%)

simplify3.0ms (0%)

end1.0ms (0%)

sample2.2s (24.3%)

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