Details

analyze471.0ms (7.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.3s (35.3%)

Results

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

Compiler

Compiled 94 to 76 computations (19.1% 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)

series151.0ms (2.3%)

Counts

4 → 32

Calls

4 calls:

137.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
7.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
4.0ms	(*.f32 (PI.f32) u2)
3.0ms	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))

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

Calls

4 calls:

46.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
46.0ms	(sin.f32 (.f32 2 (.f32 (PI.f32) u2)))
46.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))))
46.0ms	(*.f32 (PI.f32) u2)

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

prune145.0ms (2.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
	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))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	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.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))))))
	2.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (exp.f32 (log.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 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))))
	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)))) (sin.f32 (.f32 2 (cbrt.f32 (*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))))))
	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)))))
	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))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	12.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (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)

series196.0ms (3%)

Counts

4 → 32

Calls

4 calls:

180.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))))))
11.0ms	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
5.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))
0.0ms	(pow.f32 (PI.f32) 3)

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

Calls

4 calls:

56.0ms	(sin.f32 (.f32 2 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3)))))
56.0ms	(*.f32 (pow.f32 (PI.f32) 3) (pow.f32 u2 3))
56.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))))))
56.0ms	(pow.f32 (PI.f32) 3)

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

prune117.0ms (1.8%)

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
	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))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	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.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))))))
	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))))))
	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.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))))))
	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)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	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)

localize77.0ms (1.2%)

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

series149.0ms (2.2%)

Counts

4 → 20

Calls

4 calls:

149.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))))))
0.0ms	(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))
0.0ms	(.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2)))
0.0ms	(pow.f32 (PI.f32) 2)

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

Calls

4 calls:

31.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))))))
31.0ms	(.f32 (pow.f32 (cbrt.f32 (PI.f32)) 2) (.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2)))
31.0ms	(pow.f32 (PI.f32) 2)
31.0ms	(*.f32 (cbrt.f32 (PI.f32)) (pow.f32 (PI.f32) 2))

simplify35.0ms (0.5%)

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

prune115.0ms (1.7%)

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
	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))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	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.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))))))
	5.8b	(.f32 2 (.f32 (PI.f32) (*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) u2)))
✓	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))))))
	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))))))
	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)))) (.f32 2 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))))
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))))))
	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)

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

series156.0ms (2.4%)

Counts

3 → 40

Calls

3 calls:

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

5.0ms

(*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))

2.0ms

(sin.f32 (*.f32 (PI.f32) u2))

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

Calls

3 calls:

49.0ms

(sin.f32 (*.f32 (PI.f32) u2))

49.0ms

(*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2)))

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

simplify46.0ms (0.7%)

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

prune155.0ms (2.3%)

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
	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))
	9.4b	(sqrt.f32 (.f32 (log1p.f32 u1) (pow.f32 (sin.f32 (.f32 (PI.f32) (*.f32 u2 2))) 2)))
	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)))))
	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)))))
	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)))))
	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))))
	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.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))))))
	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))))))
	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)))))
	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.9%)

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

end210.0ms (3.2%)

Compiler: Compiled 357 to 283 computations (20.7% saved)

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

analyze471.0ms (7.1%)

sample2.3s (35.3%)

simplify13.0ms (0.2%)

prune5.0ms (0.1%)

localize34.0ms (0.5%)

series151.0ms (2.3%)

rewrite48.0ms (0.7%)

simplify45.0ms (0.7%)

prune145.0ms (2.2%)

localize48.0ms (0.7%)

series196.0ms (3%)

rewrite57.0ms (0.9%)

simplify39.0ms (0.6%)

prune117.0ms (1.8%)

localize77.0ms (1.2%)

series149.0ms (2.2%)

rewrite32.0ms (0.5%)

simplify35.0ms (0.5%)

prune115.0ms (1.7%)

localize44.0ms (0.7%)

series156.0ms (2.4%)

rewrite50.0ms (0.7%)

simplify46.0ms (0.7%)

prune155.0ms (2.3%)

regimes1.8s (27.9%)

simplify4.0ms (0.1%)

end210.0ms (3.2%)

Profiling

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