Details

analyze488.0ms (6.9%)

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 (31.5%)

Alt Table

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

Results

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

Compiler

Compiled 126 to 104 computations (17.5% saved)

localize38.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
✓	0.1b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	14.3b	(log.f32 (-.f32 1 u1))

series194.0ms (2.8%)

Counts

4 → 52

Calls

4 calls:

178.0ms	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
10.0ms	(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
3.0ms	(log.f32 (-.f32 1 u1))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite97.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

605×	`prod-diff_binary32`
224×	`expm1-udef_binary32`
224×	`log1p-udef_binary32`
200×	`log-pow_binary32`
162×	`fma-def_binary32`

Counts

4 → 101

Calls

4 calls:

94.0ms	(sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1))))
94.0ms	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
94.0ms	(.f32 (.f32 2 (PI.f32)) u2)
94.0ms	(log.f32 (-.f32 1 u1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	46
1	282	39
2	2982	39
3	4829	39
4	4953	39
0	0	0
1	0	0

prune107.0ms (1.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	146	7	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	147	7	154

Error

0.1b

Counts

154 → 7

Alt Table

Status	Error	Program
	13.7b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (pow.f32 (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)) 3)))
	2.0b	(.f32 (sqrt.f32 (neg.f32 (neg.f32 (+.f32 (.f32 1/3 (pow.f32 u1 3)) (+.f32 (.f32 1/2 (pow.f32 u1 2)) (+.f32 (.f32 1/4 (pow.f32 u1 4)) u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) 2)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (log1p.f32 u1))) (fma.f32 (neg.f32 (sqrt.f32 (log1p.f32 u1))) (sqrt.f32 (log1p.f32 u1)) (log1p.f32 u1))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))) (fma.f32 (neg.f32 (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (.f32 1/3 (.f32 3 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 3806 to 2655 computations (30.2% saved)

localize46.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series452.0ms (6.4%)

Counts

4 → 52

Calls

4 calls:

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

rewrite85.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

331×	`fma-def_binary32`
258×	`expm1-udef_binary32`
258×	`log1p-udef_binary32`
233×	`log-pow_binary32`
202×	`egg-rr`

Counts

4 → 202

Calls

4 calls:

80.0ms	(sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))))
80.0ms	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
80.0ms	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))
80.0ms	(.f32 (.f32 2 (PI.f32)) u2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	67
1	332	57
2	3509	57
3	5006	57
0	0	0
1	0	0

prune202.0ms (2.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	250	4	254
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	252	9	261

Error

0.1b

Counts

261 → 9

Alt Table

Status	Error	Program
▶	0.4b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) 3)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))) (fma.f32 (neg.f32 (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 2) (pow.f32 (log1p.f32 u1) 2)) (/.f32 1 (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (.f32 1/3 (.f32 3 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.0b	(.f32 (sqrt.f32 (neg.f32 (neg.f32 (+.f32 (.f32 1/3 (pow.f32 u1 3)) (+.f32 (.f32 1/2 (pow.f32 u1 2)) (+.f32 (.f32 1/4 (pow.f32 u1 4)) u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) 2)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (log1p.f32 u1))) (fma.f32 (neg.f32 (sqrt.f32 (log1p.f32 u1))) (sqrt.f32 (log1p.f32 u1)) (log1p.f32 u1))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (/.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (/.f32 1 (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 7865 to 3918 computations (50.2% saved)

localize59.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))
✓	0.3b	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))
✓	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.7b	(pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) 3)

series447.0ms (6.4%)

Counts

4 → 48

Calls

4 calls:

234.0ms	(pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) 3)
206.0ms	(cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))
4.0ms	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite72.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

842×	`prod-diff_binary32`
233×	`log1p-udef_binary32`
141×	`add-sqr-sqrt_binary32`
141×	`expm1-log1p-u_binary32`
139×	`log1p-expm1-u_binary32`

Counts

4 → 130

Calls

4 calls:

68.0ms	(cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))
68.0ms	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))
68.0ms	(.f32 (.f32 2 (PI.f32)) u2)
68.0ms	(pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	300	37
2	3174	37
3	4941	37
0	0	0
1	0	0

prune248.0ms (3.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	175	3	178
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	176	11	187

Error

0.1b

Counts

187 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (neg.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) 2)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (log1p.f32 (.f32 u1 u1)) (neg.f32 (log1p.f32 u1))))) (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) 3)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (log1p.f32 u1))) (fma.f32 (neg.f32 (sqrt.f32 (log1p.f32 u1))) (sqrt.f32 (log1p.f32 u1)) (log1p.f32 u1))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 2) (pow.f32 (log1p.f32 u1) 2)) (/.f32 1 (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (.f32 1/3 (.f32 3 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.0b	(.f32 (sqrt.f32 (neg.f32 (neg.f32 (+.f32 (.f32 1/3 (pow.f32 u1 3)) (+.f32 (.f32 1/2 (pow.f32 u1 2)) (+.f32 (.f32 1/4 (pow.f32 u1 4)) u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (*.f32 2 (PI.f32))))))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (/.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))) (fma.f32 (neg.f32 (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (/.f32 1 (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 5233 to 2728 computations (47.9% saved)

localize66.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

series468.0ms (6.6%)

Counts

4 → 52

Calls

4 calls:

437.0ms	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))))
17.0ms	(.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))
10.0ms	(sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))))
3.0ms	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))

rewrite79.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

297×	`expm1-udef_binary32`
297×	`log1p-udef_binary32`
188×	`add-sqr-sqrt_binary32`
181×	`expm1-log1p-u_binary32`
179×	`log1p-expm1-u_binary32`

Counts

4 → 122

Calls

4 calls:

76.0ms	(sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))))
76.0ms	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))))
76.0ms	(.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))
76.0ms	(-.f32 (log1p.f32 (neg.f32 (*.f32 u1 u1))) (log1p.f32 u1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	67
1	391	57
2	4068	57
3	4972	57
0	0	0
1	0	0

prune147.0ms (2.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	173	1	174
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	175	10	185

Error

0.1b

Counts

185 → 10

Alt Table

Status	Error	Program
	8.9b	(.f32 (sqrt.f32 (neg.f32 (/.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	7.5b	(.f32 (sqrt.f32 (neg.f32 (.f32 -1 u1))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2) (.f32 (cbrt.f32 (.f32 2 (PI.f32))) u2))))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 2) (pow.f32 (log1p.f32 u1) 2)) (/.f32 1 (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (.f32 1/3 (.f32 3 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.0b	(.f32 (sqrt.f32 (neg.f32 (neg.f32 (+.f32 (.f32 1/3 (pow.f32 u1 3)) (+.f32 (.f32 1/2 (pow.f32 u1 2)) (+.f32 (.f32 1/4 (pow.f32 u1 4)) u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (pow.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) 2)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (-.f32 (log1p.f32 (neg.f32 (.f32 u1 u1))) (log1p.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (*.f32 2 (PI.f32))))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (log1p.f32 u1))) (fma.f32 (neg.f32 (sqrt.f32 (log1p.f32 u1))) (sqrt.f32 (log1p.f32 u1)) (log1p.f32 u1))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (+.f32 (fma.f32 1 (log1p.f32 (neg.f32 (.f32 u1 u1))) (neg.f32 (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))) (fma.f32 (neg.f32 (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1))) (.f32 (cbrt.f32 (log1p.f32 u1)) (.f32 (cbrt.f32 (log1p.f32 u1)) (cbrt.f32 (log1p.f32 u1)))))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	8.9b	(.f32 (sqrt.f32 (neg.f32 (.f32 (-.f32 (pow.f32 (log1p.f32 (.f32 u1 u1)) 3) (pow.f32 (log1p.f32 u1) 3)) (/.f32 1 (fma.f32 (log1p.f32 u1) (+.f32 (log1p.f32 (.f32 u1 u1)) (log1p.f32 u1)) (pow.f32 (log1p.f32 (.f32 u1 u1)) 2)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 5873 to 3599 computations (38.7% saved)

regimes1.3s (19%)

Accuracy

Total 0.2b remaining (55.2%)

Threshold costs 0.2b (55.2%)

Counts

129 → 1

Compiler

Compiled 32197 to 25562 computations (20.6% saved)

simplify2.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	15	21
1	25	21
2	29	21
3	31	21
4	30	21

end182.0ms (2.6%)

Compiler: Compiled 356 to 246 computations (30.9% saved)

Details

analyze488.0ms (6.9%)

sample2.2s (31.5%)

localize38.0ms (0.5%)

series194.0ms (2.8%)

rewrite97.0ms (1.4%)

prune107.0ms (1.5%)

localize46.0ms (0.6%)

series452.0ms (6.4%)

rewrite85.0ms (1.2%)

prune202.0ms (2.9%)

localize59.0ms (0.8%)

series447.0ms (6.4%)

rewrite72.0ms (1%)

prune248.0ms (3.5%)

localize66.0ms (0.9%)

series468.0ms (6.6%)

rewrite79.0ms (1.1%)

prune147.0ms (2.1%)

regimes1.3s (19%)

simplify2.0ms (0%)

end182.0ms (2.6%)

Profiling