Details

analyze426.0ms (5.1%)

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.6s (31.4%)

Results

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

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify15.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.2b

Counts

3 → 2

Alt Table

Status	Error	Program
	12.8b	(.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)

localize41.0ms (0.5%)

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

series250.0ms (3%)

Counts

4 → 52

Calls

4 calls:

193.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
44.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
10.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite90.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

573×	`prod-diff_binary32`
558×	`log-prod_binary32`
196×	`expm1-udef_binary32`
196×	`log1p-udef_binary32`
179×	`log-pow_binary32`

Counts

4 → 89

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	48
1	260	40
2	2527	40
3	4948	40
4	5058	40
0	0	0
1	0	0

simplify82.0ms (1%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary32`
440×	`fma-neg_binary32`
324×	`times-frac_binary32`
279×	`associate-*r/_binary32`
258×	`associate-*l/_binary32`

Counts

141 → 140

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	178	2124
1	558	1958
2	1873	1812
3	4541	1806
4	4992	1806

prune263.0ms (3.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	130	10	140
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	131	11	142

Error

0.0b

Counts

142 → 11

Alt Table

Status	Error	Program
	12.8b	(.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)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	8.7b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 3)
	1.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	0.7b	(.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)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	1.5b	(fma.f32 (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) 1) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 u2 6) -4/45) (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) -2)))))
	9.2b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (pow.f32 (sqrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)) 2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (pow.f32 (pow.f32 (.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)))

Compiler

Compiled 4226 to 2886 computations (31.7% saved)

localize51.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (pow.f32 (pow.f32 (.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)))
	0.4b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.8b	(pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3)
✓	1.9b	(pow.f32 (pow.f32 (.f32 (.f32 2 (PI.f32)) u2) 3) 1/3)

series1.4s (16.2%)

Counts

3 → 44

Calls

3 calls:

992.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)))

366.0ms

(pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)

8.0ms

(pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3)

rewrite138.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

766×	`prod-diff_binary32`
350×	`fma-udef_binary32`
238×	`expm1-udef_binary32`
238×	`log1p-udef_binary32`
205×	`fma-neg_binary32`

Counts

3 → 74

Calls

3 calls:

137.0ms

(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)))

137.0ms

(pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3)

137.0ms

(pow.f32 (pow.f32 (*.f32 (*.f32 2 (PI.f32)) u2) 3) 1/3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	40
1	336	36
2	3163	36
3	4753	36
4	4727	36
5	4996	36
6	5136	36
0	0	0
1	0	0

simplify77.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

614×	`fma-neg_binary32`
504×	`fma-def_binary32`
277×	`associate-+l+_binary32`
215×	`associate-l_binary32`
196×	`cancel-sign-sub-inv_binary32`

Counts

118 → 102

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	129	2004
1	369	1896
2	1134	1727
3	4191	1637
4	4961	1637

prune157.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	3	7	10
Picked	1	0	1
Done	0	0	0
Total	123	9	132

Error

0.0b

Counts

132 → 9

Alt Table

Status	Error	Program
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (.f32 2 (PI.f32))))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	12.8b	(.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)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	9.2b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 u2 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2)) (cbrt.f32 (*.f32 2 (PI.f32))))))
	0.7b	(.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)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	8.7b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 3)

Compiler

Compiled 3647 to 2589 computations (29% saved)

localize49.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series205.0ms (2.4%)

Counts

3 → 44

Calls

3 calls:

182.0ms

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

16.0ms

(*.f32 (*.f32 u2 (pow.f32 (cbrt.f32 (*.f32 2 (PI.f32))) 2)) (cbrt.f32 (*.f32 2 (PI.f32))))

7.0ms

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

rewrite59.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

780×	`prod-diff_binary32`
235×	`expm1-udef_binary32`
235×	`log1p-udef_binary32`
153×	`add-sqr-sqrt_binary32`
145×	`associate-r_binary32`

Counts

3 → 48

Calls

3 calls:

58.0ms

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

58.0ms

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

58.0ms

(*.f32 (*.f32 u2 (pow.f32 (cbrt.f32 (*.f32 2 (PI.f32))) 2)) (cbrt.f32 (*.f32 2 (PI.f32))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	39
1	319	35
2	3086	35
3	5043	35
0	0	0
1	0	0

simplify73.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

928×	`fma-neg_binary32`
584×	`fma-def_binary32`
474×	`associate-l_binary32`
420×	`associate-r_binary32`
345×	`cancel-sign-sub-inv_binary32`

Counts

92 → 84

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	133	1524
1	391	1448
2	1256	1336
3	4774	1330
4	5548	1330

prune138.0ms (1.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	127	9	136

Error

0.0b

Counts

136 → 9

Alt Table

Status	Error	Program
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (.f32 2 (PI.f32))))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	12.8b	(.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)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	9.2b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 u2 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2)) (cbrt.f32 (*.f32 2 (PI.f32))))))
	0.7b	(.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)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	8.7b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 3)

Compiler

Compiled 4063 to 2875 computations (29.2% saved)

localize49.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series277.0ms (3.3%)

Counts

4 → 56

Calls

4 calls:

179.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (.f32 2 (PI.f32))))))
42.0ms	(.f32 (cbrt.f32 u2) (.f32 2 (PI.f32)))
40.0ms	(pow.f32 (cbrt.f32 u2) 2)
16.0ms	(.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (*.f32 2 (PI.f32))))

rewrite66.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

780×	`prod-diff_binary32`
237×	`expm1-udef_binary32`
237×	`log1p-udef_binary32`
154×	`add-sqr-sqrt_binary32`
151×	`associate-r_binary32`

Counts

4 → 64

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	45
1	320	39
2	3126	39
3	5088	39
0	0	0
1	0	0

simplify74.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-neg_binary32`
545×	`fma-def_binary32`
426×	`associate-r_binary32`
419×	`associate-l_binary32`
301×	`cancel-sign-sub-inv_binary32`

Counts

120 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	136	1598
1	400	1527
2	1262	1427
3	4642	1423
4	5200	1423

prune99.0ms (1.2%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	98	9	107

Error

0.0b

Counts

107 → 9

Alt Table

Status	Error	Program
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (pow.f32 (cbrt.f32 u2) 2) (.f32 (cbrt.f32 u2) (.f32 2 (PI.f32))))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) (sin.f32 1))))
	12.8b	(.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)))) (fma.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2)) (neg.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))))
	9.2b	(.f32 (pow.f32 (pow.f32 (log1p.f32 u1) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 u2 (pow.f32 (cbrt.f32 (.f32 2 (PI.f32))) 2)) (cbrt.f32 (*.f32 2 (PI.f32))))))
	0.7b	(.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)))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))) 3))
	8.7b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 3)

Compiler

Compiled 2750 to 1757 computations (36.1% saved)

regimes1.6s (18.8%)

Accuracy

Total 0.2b remaining (60.3%)

Threshold costs 0.2b (60.3%)

Counts

150 → 1

Compiler

Compiled 29741 to 25580 computations (14% saved)

simplify4.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	25
1	24	25
2	28	25
3	30	25
4	30	25

end141.0ms (1.7%)

Compiler: Compiled 221 to 183 computations (17.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

analyze426.0ms (5.1%)

sample2.6s (31.4%)

simplify15.0ms (0.2%)

prune5.0ms (0.1%)

localize41.0ms (0.5%)

series250.0ms (3%)

rewrite90.0ms (1.1%)

simplify82.0ms (1%)

prune263.0ms (3.1%)

localize51.0ms (0.6%)

series1.4s (16.2%)

rewrite138.0ms (1.6%)

simplify77.0ms (0.9%)

prune157.0ms (1.9%)

localize49.0ms (0.6%)

series205.0ms (2.4%)

rewrite59.0ms (0.7%)

simplify73.0ms (0.9%)

prune138.0ms (1.6%)

localize49.0ms (0.6%)

series277.0ms (3.3%)

rewrite66.0ms (0.8%)

simplify74.0ms (0.9%)

prune99.0ms (1.2%)

regimes1.6s (18.8%)

simplify4.0ms (0%)

end141.0ms (1.7%)

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