Details

analyze442.0ms (6.7%)

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.3s (35.6%)

Results

2.3s	8256×	body	128	valid
1.0ms	5×	body	128	invalid

Compiler

Compiled 78 to 62 computations (20.5% saved)

preprocess37.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

104×	`fma-neg_binary32`
95×	`fma-def_binary32`
60×	`sub-neg_binary32`
45×	`cancel-sign-sub-inv_binary32`
30×	`distribute-rgt-in_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 16 to 14 computations (12.5% saved)

simplify13.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

40×	`fma-neg_binary32`
22×	`sub-neg_binary32`
17×	`cancel-sign-sub-inv_binary32`
13×	`fma-def_binary32`
10×	`*-commutative_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Stop Event

1×

saturated

Counts

1 → 2

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.5b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize34.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.1b	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))
✓	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
✓	0.4b	(*.f32 (PI.f32) u2)

series152.0ms (2.3%)

Counts

4 → 32

Calls

15 calls:

60.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))	u2	inf
55.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))	u2	-inf
8.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))	u1	0
5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))	u2	0
5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))	u1	inf

rewrite48.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

653×	`prod-diff_binary32`
202×	`expm1-udef_binary32`
202×	`log1p-udef_binary32`
131×	`add-sqr-sqrt_binary32`
123×	`expm1-log1p-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	45
1	265	37
2	3249	37

Stop Event

1×	node limit

Counts

4 → 76

simplify47.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

538×	`cancel-sign-sub-inv_binary32`
348×	`times-frac_binary32`
276×	`associate-*l/_binary32`
248×	`associate-/r*_binary32`
218×	`associate-/l*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	182	2008
1	588	1830
2	2199	1690

Stop Event

1×	node limit

Counts

108 → 124

prune132.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	112	12	124
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	113	13	126

Error

0.1b

Counts

126 → 13

Alt Table

Status	Error	Program
	8.7b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (sqrt.f32 (*.f32 (PI.f32) u2)) 2))))
	2.8b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (pow.f32 (cbrt.f32 (*.f32 (PI.f32) u2)) 3))))
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 2))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))

Compiler

Compiled 3923 to 2692 computations (31.4% saved)

localize48.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series155.0ms (2.4%)

Counts

4 → 32

Calls

12 calls:

62.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))	u2	-inf
55.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))	u2	inf
6.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))	u1	-inf
6.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))	u1	0
5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))	u1	inf

rewrite56.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

469×	`prod-diff_binary32`
251×	`log1p-udef_binary32`
163×	`add-sqr-sqrt_binary32`
155×	`expm1-log1p-u_binary32`
154×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	44
1	349	40
2	4083	40

Stop Event

1×	node limit

Counts

4 → 73

simplify41.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary32`
573×	`associate-l_binary32`
366×	`cancel-sign-sub-inv_binary32`
160×	`associate-*l/_binary32`
160×	`associate-/r*_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	144	1528
1	428	1418
2	1508	1320

Stop Event

1×	node limit

Counts

105 → 113

prune111.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	111	2	113
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	115	11	126

Error

0.0b

Counts

126 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) 3) (PI.f32)) (pow.f32 u2 3))))))
	8.7b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	2.8b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
▶	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 2))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 3327 to 2213 computations (33.5% saved)

localize66.0ms (1%)

Local error

Found 4 expressions with local error:

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

series156.0ms (2.4%)

Counts

4 → 20

Calls

6 calls:

61.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))	u2	-inf
60.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))	u2	inf
18.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))	u2	0
7.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))	u1	inf
5.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))	u1	0

rewrite33.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

195×	`associate-r_binary32`
194×	`add-sqr-sqrt_binary32`
190×	`expm1-log1p-u_binary32`
189×	`log1p-expm1-u_binary32`
185×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	21	55
1	429	38

Stop Event

1×	node limit

Counts

4 → 66

simplify37.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

610×	`fma-def_binary32`
439×	`associate-r_binary32`
415×	`associate-l_binary32`
303×	`cancel-sign-sub-inv_binary32`
186×	`associate--l+_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	131	1306
1	390	1200
2	1349	1112

Stop Event

1×	node limit

Counts

86 → 94

prune143.0ms (2.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	92	2	94
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	93	12	105

Error

0.0b

Counts

105 → 12

Alt Table

Status	Error	Program
	2.8b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (.f32 (cbrt.f32 (PI.f32)) (.f32 (*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) (cbrt.f32 (PI.f32))) (cbrt.f32 (PI.f32))))) (pow.f32 u2 3))))))
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 2))
	5.8b	(.f32 2 (.f32 (PI.f32) (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) u2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 u2 2)))) 2)))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
	8.7b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 3360 to 2290 computations (31.8% saved)

localize46.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series163.0ms (2.5%)

Counts

3 → 40

Calls

12 calls:

59.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))	u2	-inf
58.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))	u2	inf
13.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))	u1	0
8.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))	u2	0
7.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))	u1	inf

rewrite49.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

240×	`expm1-udef_binary32`
240×	`log1p-udef_binary32`
237×	`fma-def_binary32`
155×	`add-sqr-sqrt_binary32`
153×	`fma-neg_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	44
1	310	40
2	4007	40

Stop Event

1×	node limit

Counts

3 → 52

simplify57.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

801×	`fma-def_binary32`
440×	`cancel-sign-sub-inv_binary32`
275×	`times-frac_binary32`
245×	`associate-/l*_binary32`
188×	`distribute-rgt-neg-in_binary32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	157	1908
1	495	1776
2	1835	1659

Stop Event

1×	node limit

Counts

92 → 96

prune141.0ms (2.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	121	5	126
Fresh	3	7	10
Picked	1	0	1
Done	0	1	1
Total	125	13	138

Error

0.0b

Counts

138 → 13

Alt Table

Status	Error	Program
	2.8b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5)) (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 u2 3) -4/3)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (.f32 (cbrt.f32 (PI.f32)) (.f32 (*.f32 (pow.f32 (cbrt.f32 (PI.f32)) 4) (cbrt.f32 (PI.f32))) (cbrt.f32 (PI.f32))))) (pow.f32 u2 3))))))
✓	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (cbrt.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))) (pow.f32 u2 3))))))
	1.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (pow.f32 (sqrt.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2)))) 2))
	1.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (exp.f32 (log.f32 (*.f32 (PI.f32) u2))))))
	5.8b	(.f32 2 (.f32 (PI.f32) (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) u2)))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (cbrt.f32 (.f32 (pow.f32 (sin.f32 (.f32 (PI.f32) u2)) 3) (pow.f32 (cos.f32 (*.f32 (PI.f32) u2)) 3)))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (.f32 (sin.f32 (pow.f32 (sqrt.f32 (.f32 (PI.f32) u2)) 2)) (cos.f32 (*.f32 (PI.f32) u2)))))
	8.7b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (log1p.f32 u1)) 2)) (sqrt.f32 (cbrt.f32 (log1p.f32 u1)))) (sin.f32 (.f32 2 (.f32 (PI.f32) u2))))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	12.6b	(.f32 2 (.f32 (cos.f32 (.f32 (PI.f32) u2)) (.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (*.f32 (PI.f32) u2)))))
	1.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (pow.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))) 2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 2 (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))) 3)))

Compiler

Compiled 3801 to 1872 computations (50.7% saved)

regimes1.8s (27.5%)

Accuracy

Total 0.4b remaining (79.5%)

Threshold costs 0.4b (79.5%)

Counts

162 → 1

Compiler

Compiled 34896 to 29300 computations (16% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	21	44
1	32	44
2	36	44
3	38	44

Stop Event

1×

saturated

end212.0ms (3.2%)

Stop Event

1×

fuel

Compiler

Compiled 357 to 283 computations (20.7% saved)

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21

Details

analyze442.0ms (6.7%)

sample2.3s (35.6%)

preprocess37.0ms (0.6%)

simplify13.0ms (0.2%)

prune5.0ms (0.1%)

localize34.0ms (0.5%)

series152.0ms (2.3%)

rewrite48.0ms (0.7%)

simplify47.0ms (0.7%)

prune132.0ms (2%)

localize48.0ms (0.7%)

series155.0ms (2.4%)

rewrite56.0ms (0.9%)

simplify41.0ms (0.6%)

prune111.0ms (1.7%)

localize66.0ms (1%)

series156.0ms (2.4%)

rewrite33.0ms (0.5%)

simplify37.0ms (0.6%)

prune143.0ms (2.2%)

localize46.0ms (0.7%)

series163.0ms (2.5%)

rewrite49.0ms (0.7%)

simplify57.0ms (0.9%)

prune141.0ms (2.1%)

regimes1.8s (27.5%)

simplify4.0ms (0.1%)

end212.0ms (3.2%)

Profiling

Iter	Nodes	Cost
0	30	88
1	59	84
2	98	84
3	124	84
4	155	84
5	191	84
6	231	84
7	319	84
8	490	84
9	531	84
10	585	84
11	635	84
12	726	84
13	773	84
14	791	84
15	794	84
0	3	3

Iter	Nodes	Cost
0	14	22
1	26	21
2	39	21
3	49	21
4	60	21
5	74	21
6	92	21
7	119	21
8	149	21
9	162	21
10	184	21
11	206	21
12	245	21
13	262	21
14	268	21
15	269	21