Details

analyze442.0ms (4.5%)

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

Results

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

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify14.0ms (0.1%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	13.9b	(.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)

localize36.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series221.0ms (2.3%)

Counts

4 → 52

Calls

4 calls:

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

rewrite18.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`sqrt-prod_binary32`
18×	`add-sqr-sqrt_binary32`
14×	`associate-l_binary32`
13×	`*-un-lft-identity_binary32`
13×	`add-cube-cbrt_binary32`

Counts

4 → 82

Calls

4 calls:

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

simplify146.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

553×	`cancel-sign-sub-inv_binary32`
510×	`fma-neg_binary32`
360×	`times-frac_binary32`
236×	`associate-l_binary32`
224×	`fma-def_binary32`

Counts

134 → 166

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	286	3674
1	776	3341
2	2559	3238
3	4483	3212
4	5079	3212

prune194.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	155	11	166
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	156	12	168

Error

0.0b

Counts

168 → 12

Alt Table

Status	Error	Program
	1.7b	(-.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 u2 (PI.f32)) (.f32 4/15 (.f32 (pow.f32 u2 5) (pow.f32 (PI.f32) 5))))) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 4/3 (pow.f32 (.f32 u2 (PI.f32)) 3) (.f32 8/315 (.f32 (pow.f32 u2 7) (pow.f32 (PI.f32) 7))))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	13.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	5.2b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
	1.8b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))

Compiler

Compiled 5142 to 3123 computations (39.3% saved)

localize60.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series233.0ms (2.4%)

Counts

4 → 44

Calls

4 calls:

216.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
14.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
3.0ms	(.f32 (.f32 u2 u2) u2)
0.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))

rewrite123.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

817×	`pow1_binary32`
401×	`pow-prod-down_binary32`
218×	`add-cbrt-cube_binary32`
215×	`add-exp-log_binary32`
213×	`pow-prod-up_binary32`

Counts

4 → 312

Calls

4 calls:

38.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
11.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (*.f32 u2 u2) u2)))))
5.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))
5.0ms	(.f32 (.f32 u2 u2) u2)

simplify240.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

658×	`fma-def_binary32`
486×	`associate-l_binary32`
416×	`associate-r_binary32`
289×	`cancel-sign-sub-inv_binary32`
246×	`times-frac_binary32`

Counts

356 → 227

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	334	8080
1	709	5417
2	2752	5379
3	4306	5370
4	4931	5370
5	4949	5370

prune290.0ms (3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	224	3	227
Fresh	4	7	11
Picked	1	0	1
Done	0	0	0
Total	229	10	239

Error

0.0b

Counts

239 → 10

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2)) u2))))
	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	13.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.8b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2)))))) (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))))))
	0.8b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.9b	(fma.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496 (.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))

Compiler

Compiled 8626 to 4800 computations (44.4% saved)

localize55.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series212.0ms (2.2%)

Counts

4 → 44

Calls

4 calls:

185.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2)) u2))))
14.0ms	(.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (.f32 u2 u2)) u2)
12.0ms	(.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2))
0.0ms	(pow.f32 (PI.f32) 3)

rewrite33.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

65×	`add-exp-log_binary32`
46×	`prod-exp_binary32`
37×	`add-cbrt-cube_binary32`
22×	`cbrt-unprod_binary32`
21×	`pow1_binary32`

Counts

4 → 113

Calls

4 calls:

9.0ms	(.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (.f32 u2 u2)) u2)
7.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2)) u2))))
6.0ms	(.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2))
2.0ms	(pow.f32 (PI.f32) 3)

simplify128.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

613×	`fma-def_binary32`
409×	`associate-l_binary32`
373×	`unswap-sqr_binary32`
351×	`associate-r_binary32`
292×	`cancel-sign-sub-inv_binary32`

Counts

157 → 175

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	284	4037
1	698	3666
2	2522	3642
3	4563	3642
4	4971	3642

prune209.0ms (2.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	174	1	175
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	176	9	185

Error

0.0b

Counts

185 → 9

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2)) u2))))
▶	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	13.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.9b	(fma.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496 (.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 (pow.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) 3) (pow.f32 (cbrt.f32 (PI.f32)) 3)) 8) (*.f32 u2 u2)) u2))))

Compiler

Compiled 5789 to 3373 computations (41.7% saved)

localize49.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series545.0ms (5.6%)

Counts

2 → 36

Calls

2 calls:

454.0ms

(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

91.0ms

(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))

rewrite27.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-sqr-sqrt_binary32`
22×	`associate-r_binary32`
21×	`sqrt-prod_binary32`
14×	`cbrt-prod_binary32`
12×	`associate-l_binary32`

Counts

2 → 74

Calls

2 calls:

11.0ms

(*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))))

9.0ms

(*.f32 (*.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

simplify138.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

607×	`associate-l_binary32`
403×	`times-frac_binary32`
384×	`fma-def_binary32`
327×	`associate-/r*_binary32`
309×	`associate-*r/_binary32`

Counts

110 → 172

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	542	8630
1	1582	7754
2	5278	7754

prune269.0ms (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	224	9	233

Error

0.0b

Counts

233 → 9

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (pow.f32 (PI.f32) 3) 8) (*.f32 u2 u2)) u2))))
✓	0.6b	(.f32 (.f32 (fabs.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	13.9b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.9b	(fma.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496 (.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))
	0.9b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.6b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 (pow.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) 3) (pow.f32 (cbrt.f32 (PI.f32)) 3)) 8) (*.f32 u2 u2)) u2))))

Compiler

Compiled 12121 to 7040 computations (41.9% saved)

regimes3.2s (33.3%)

Accuracy

Total 0.4b remaining (84.4%)

Threshold costs 0.4b (84.4%)

Counts

254 → 1

Compiler

Compiled 70844 to 55730 computations (21.3% 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	20	39
1	30	39
2	34	39
3	36	39
4	36	39

end170.0ms (1.7%)

Compiler: Compiled 301 to 220 computations (26.9% 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

analyze442.0ms (4.5%)

sample2.6s (27%)

simplify14.0ms (0.1%)

prune6.0ms (0.1%)

localize36.0ms (0.4%)

series221.0ms (2.3%)

rewrite18.0ms (0.2%)

simplify146.0ms (1.5%)

prune194.0ms (2%)

localize60.0ms (0.6%)

series233.0ms (2.4%)

rewrite123.0ms (1.3%)

simplify240.0ms (2.5%)

prune290.0ms (3%)

localize55.0ms (0.6%)

series212.0ms (2.2%)

rewrite33.0ms (0.3%)

simplify128.0ms (1.3%)

prune209.0ms (2.2%)

localize49.0ms (0.5%)

series545.0ms (5.6%)

rewrite27.0ms (0.3%)

simplify138.0ms (1.4%)

prune269.0ms (2.8%)

regimes3.2s (33.3%)

simplify3.0ms (0%)

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