Details

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

sample2.1s (22.3%)

Results

2.0s	8256×	body	128	valid
1.0ms	3×	body	128	invalid

Compiler

Compiled 94 to 76 computations (19.1% saved)

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

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

localize32.0ms (0.3%)

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

series148.0ms (1.6%)

Counts

4 → 52

Calls

4 calls:

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

rewrite86.0ms (0.9%)

Algorithm

1×	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 → 93

Calls

4 calls:

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

Iterations

Useful iterations: 1 (0.0ms)

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

simplify81.0ms (0.9%)

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

145 → 144

Iterations

Useful iterations: 3 (0.0ms)

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

prune157.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	133	11	144
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	135	11	146

Error

0.1b

Counts

146 → 11

Alt Table

Status	Error	Program
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (cbrt.f32 (.f32 (pow.f32 (*.f32 2 (PI.f32)) 3) (pow.f32 u2 3)))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))
	2.5b	(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 (PI.f32) 2) (fma.f32 (.f32 2/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	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.7b	(.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.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)))) (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)))))
	8.2b	(pow.f32 (cbrt.f32 (.f32 (sqrt.f32 (log1p.f32 u1)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))) 3)

Compiler

Compiled 4276 to 2912 computations (31.9% saved)

localize42.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series144.0ms (1.5%)

Counts

3 → 44

Calls

3 calls:

136.0ms

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

5.0ms

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

3.0ms

(expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

rewrite167.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

881×	`prod-diff_binary32`
543×	`fma-udef_binary32`
266×	`fma-def_binary32`
211×	`expm1-udef_binary32`
211×	`log1p-udef_binary32`

Counts

3 → 69

Calls

3 calls:

165.0ms

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

165.0ms

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

165.0ms

(expm1.f32 (log1p.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	279	35
2	2724	35
3	4717	35
4	4682	35
5	4910	35
6	4993	35
7	4917	35

simplify54.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

726×	`fma-def_binary32`
619×	`associate-l_binary32`
401×	`cancel-sign-sub-inv_binary32`
286×	`associate-/r*_binary32`
172×	`times-frac_binary32`

Counts

113 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	1736
1	511	1653
2	1700	1542
3	5116	1542

prune185.0ms (2%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	136	2	138
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	141	8	149

Error

0.1b

Counts

149 → 8

Alt Table

Status	Error	Program
	8.1b	(cbrt.f32 (.f32 (pow.f32 (log1p.f32 u1) 3/2) (pow.f32 (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.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 2 (PI.f32))) (.f32 (sqrt.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)))))
	2.5b	(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 (PI.f32) 2) (fma.f32 (.f32 2/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.7b	(.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))))

Compiler

Compiled 3875 to 2534 computations (34.6% saved)

localize48.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series172.0ms (1.9%)

Counts

3 → 44

Calls

3 calls:

156.0ms

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

11.0ms

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

5.0ms

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

rewrite109.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

689×	`prod-diff_binary32`
460×	`fma-udef_binary32`
224×	`fma-neg_binary32`
224×	`expm1-udef_binary32`
224×	`log1p-udef_binary32`

Counts

3 → 59

Calls

3 calls:

108.0ms

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

108.0ms

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

108.0ms

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	39
1	298	35
2	2927	35
3	4717	35
4	4624	35
5	5004	35

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

849×	`fma-neg_binary32`
632×	`fma-def_binary32`
412×	`cancel-sign-sub-inv_binary32`
275×	`associate-+l+_binary32`
198×	`associate--l+_binary32`

Counts

103 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	148	1900
1	436	1472
2	1444	1365
3	4644	1361
4	5317	1361

prune194.0ms (2.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	141	1	142
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	141	9	150

Error

0.1b

Counts

150 → 9

Alt Table

Status	Error	Program
	8.1b	(cbrt.f32 (.f32 (pow.f32 (log1p.f32 u1) 3/2) (pow.f32 (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.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 2 (PI.f32))) (.f32 (sqrt.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)))))
	13.4b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (PI.f32) (*.f32 u2 (pow.f32 (sqrt.f32 2) 2)))))
	2.5b	(+.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 (PI.f32) 2) (fma.f32 (.f32 2/3 (pow.f32 u2 4)) (pow.f32 (PI.f32) 2) (.f32 (*.f32 u2 u2) -2)))))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.7b	(.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))))

Compiler

Compiled 4636 to 3213 computations (30.7% saved)

localize46.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))
✓	0.3b	(-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))
✓	0.3b	(*.f32 (PI.f32) u2)
✓	0.5b	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))

series27.0ms (0.3%)

Counts

4 → 36

Calls

4 calls:

10.0ms	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))
8.0ms	(-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))
6.0ms	(.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))
2.0ms	(*.f32 (PI.f32) u2)

rewrite107.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

570×	`fma-def_binary32`
492×	`log-prod_binary32`
304×	`fma-neg_binary32`
288×	`egg-rr`
179×	`expm1-udef_binary32`

Counts

4 → 288

Calls

4 calls:

97.0ms	(.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))
97.0ms	(-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (.f32 (PI.f32) u2))))
97.0ms	(*.f32 (PI.f32) u2)
97.0ms	(.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	35
1	210	35
2	2677	35
3	5371	35

simplify269.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

838×	`fma-neg_binary32`
536×	`distribute-rgt-neg-in_binary32`
511×	`distribute-lft-neg-in_binary32`
367×	`unswap-sqr_binary32`
359×	`neg-mul-1_binary32`

Counts

324 → 313

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	59	657
1	159	645
2	485	639
3	2072	639
4	4795	639
5	5100	639

prune861.0ms (9.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	364	6	370
Fresh	4	3	7
Picked	1	0	1
Done	0	1	1
Total	369	10	379

Error

0.0b

Counts

379 → 10

Alt Table

Status	Error	Program
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (log.f32 (exp.f32 (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (*.f32 (PI.f32) u2)))))
	13.4b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (PI.f32) (*.f32 u2 (pow.f32 (sqrt.f32 2) 2)))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (cbrt.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 4)) (neg.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) u2))) 2)) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (.f32 (neg.f32 (sin.f32 (.f32 (PI.f32) u2))) (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2)))) (sqrt.f32 (sin.f32 (.f32 (PI.f32) u2))) (pow.f32 (cos.f32 (.f32 (PI.f32) u2)) 2)))
	0.7b	(.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.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))) (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 2)))))))
	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (-.f32 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (cos.f32 (.f32 (PI.f32) u2))) (.f32 (sin.f32 (.f32 (PI.f32) u2)) (sin.f32 (+.f32 (log.f32 (*.f32 (cbrt.f32 (pow.f32 (exp.f32 (PI.f32)) u2)) (cbrt.f32 (pow.f32 (exp.f32 (PI.f32)) u2)))) (log.f32 (cbrt.f32 (pow.f32 (exp.f32 (PI.f32)) u2))))))))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 2 (PI.f32))) (.f32 (sqrt.f32 (*.f32 2 (PI.f32))) u2))))
	1.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (.f32 (cbrt.f32 (+.f32 (cos.f32 (.f32 (PI.f32) (+.f32 u2 u2))) 1)) (cbrt.f32 (+.f32 (cos.f32 (.f32 (PI.f32) (+.f32 u2 u2))) 1))) (cbrt.f32 (+.f32 (cos.f32 (*.f32 (PI.f32) (+.f32 u2 u2))) 1)) -1))

Compiler

Compiled 12138 to 3785 computations (68.8% saved)

regimes3.6s (38.9%)

Accuracy

Total 0.2b remaining (68.9%)

Threshold costs 0.2b (68.9%)

Counts

261 → 1

Compiler

Compiled 62382 to 48568 computations (22.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-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	32
1	25	32
2	29	32
3	31	32
4	31	32

end183.0ms (2%)

Compiler: Compiled 353 to 253 computations (28.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

analyze399.0ms (4.3%)

sample2.1s (22.3%)

simplify14.0ms (0.2%)

prune6.0ms (0.1%)

localize32.0ms (0.3%)

series148.0ms (1.6%)

rewrite86.0ms (0.9%)

simplify81.0ms (0.9%)

prune157.0ms (1.7%)

localize42.0ms (0.5%)

series144.0ms (1.5%)

rewrite167.0ms (1.8%)

simplify54.0ms (0.6%)

prune185.0ms (2%)

localize48.0ms (0.5%)

series172.0ms (1.9%)

rewrite109.0ms (1.2%)

simplify82.0ms (0.9%)

prune194.0ms (2.1%)

localize46.0ms (0.5%)

series27.0ms (0.3%)

rewrite107.0ms (1.2%)

simplify269.0ms (2.9%)

prune861.0ms (9.3%)

regimes3.6s (38.9%)

simplify3.0ms (0%)

end183.0ms (2%)

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