Details

analyze395.0ms (3.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)

sample102.0ms (0.8%)

Algorithm

1×

intervals

Results

32.0ms	256×	body	128	valid
9.0ms	256×	pre	128	true

Compiler

Compiled 58 to 48 computations (17.2% saved)

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

prune5.0ms (0%)

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

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

series276.0ms (2.3%)

Counts

4 → 52

Calls

4 calls:

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

rewrite38.0ms (0.3%)

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:

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

simplify236.0ms (2%)

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

prune387.0ms (3.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	154	12	166
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	155	13	168

Error

0.0b

Counts

168 → 13

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	13.6b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 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.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)))))
	2.2b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	4.8b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	2.1b	(.f32 (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (sqrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (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)))))
▶	0.5b	(.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.0b	(.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.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 5212 to 3167 computations (39.2% saved)

localize96.0ms (0.8%)

Local error

Found 4 expressions with local error:

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

series413.0ms (3.4%)

Counts

3 → 36

Calls

3 calls:

335.0ms

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

56.0ms

(expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

22.0ms

(log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))

rewrite16.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-sqr-sqrt_binary32`
5×	`*-un-lft-identity_binary32`
5×	`add-cube-cbrt_binary32`
5×	`add-cbrt-cube_binary32`
5×	`add-exp-log_binary32`

Counts

3 → 42

Calls

3 calls:

8.0ms

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

1.0ms

(expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

1.0ms

(log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))

simplify192.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

677×	`times-frac_binary32`
586×	`cancel-sign-sub-inv_binary32`
312×	`fma-def_binary32`
242×	`fma-neg_binary32`
222×	`*-commutative_binary32`

Counts

78 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	309	3879
1	929	3543
2	3207	3539
3	5093	3539

prune404.0ms (3.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	143	4	147
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	150	10	160

Error

0.0b

Counts

160 → 10

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	13.6b	(.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)))))
	0.5b	(.f32 (expm1.f32 (log1p.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.6b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
	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.9b	(.f32 (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.2b	(.f32 (log1p.f32 (exp.f32 (log.f32 (expm1.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)))))

Compiler

Compiled 6073 to 3967 computations (34.7% saved)

localize152.0ms (1.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	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 (.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)))

series361.0ms (3%)

Counts

4 → 44

Calls

4 calls:

325.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)))))
27.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
9.0ms	(.f32 (.f32 u2 u2) u2)
0.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))

rewrite297.0ms (2.5%)

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:

85.0ms	(.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (.f32 2 (PI.f32))) (.f32 2 (PI.f32))) (.f32 (.f32 u2 u2) u2))
19.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)))))
16.0ms	(.f32 (.f32 2 (PI.f32)) (*.f32 2 (PI.f32)))
10.0ms	(.f32 (.f32 u2 u2) u2)

simplify407.0ms (3.4%)

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

prune587.0ms (4.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	225	2	227
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	226	11	237

Error

0.0b

Counts

237 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.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))))))
	0.9b	(.f32 (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	13.6b	(.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)))))
▶	0.5b	(.f32 (expm1.f32 (log1p.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.6b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
	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))))
	1.2b	(.f32 (log1p.f32 (exp.f32 (log.f32 (expm1.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)))))
	20.6b	(log.f32 (exp.f32 (.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)))))))

Compiler

Compiled 8638 to 4822 computations (44.2% saved)

localize117.0ms (1%)

Local error

Found 4 expressions with local error:

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

series351.0ms (2.9%)

Counts

2 → 28

Calls

2 calls:

326.0ms

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

25.0ms

(expm1.f32 (log1p.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-sqr-sqrt_binary32`
4×	`*-un-lft-identity_binary32`
4×	`add-cube-cbrt_binary32`
4×	`add-cbrt-cube_binary32`
4×	`add-exp-log_binary32`

Counts

2 → 31

Calls

2 calls:

8.0ms

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

1.0ms

(expm1.f32 (log1p.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))))

simplify168.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

490×	`cancel-sign-sub-inv_binary32`
476×	`fma-neg_binary32`
360×	`times-frac_binary32`
296×	`associate-*r/_binary32`
287×	`associate-*l/_binary32`

Counts

59 → 91

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	214	2606
1	623	2303
2	2012	2178
3	4790	2174
4	5049	2174

prune364.0ms (3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	147	11	158

Error

0.0b

Counts

158 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (sqrt.f32 (neg.f32 (cbrt.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))))))
	0.9b	(.f32 (log1p.f32 (.f32 (.f32 (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cbrt.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (cbrt.f32 (expm1.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)))))
✓	0.5b	(.f32 (expm1.f32 (log1p.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	2.6b	(fma.f32 2 (.f32 u2 (.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (*.f32 (pow.f32 u2 3) (pow.f32 (PI.f32) 3))) -4/3))
	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.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (sqrt.f32 u2)) (sqrt.f32 u2))))
	1.2b	(.f32 (log1p.f32 (exp.f32 (log.f32 (expm1.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	6.3b	(.f32 (-.f32 (exp.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) 1) (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)))))
	20.6b	(log.f32 (exp.f32 (.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)))))))

Compiler

Compiled 5986 to 3839 computations (35.9% saved)

regimes4.4s (36.8%)

Accuracy

Total 0.4b remaining (77.8%)

Threshold costs 0.4b (77.8%)

Counts

203 → 1

Compiler

Compiled 52392 to 42058 computations (19.7% saved)

simplify5.0ms (0%)

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	20	49
1	31	49
2	35	49
3	37	49
4	37	49

end1.0ms (0%)

Compiler: Compiled 31 to 25 computations (19.4% saved)

sample2.2s (18%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
295.0ms	8000×	pre	128	true
0.0ms	3×	pre	128	false

Compiler

Compiled 386 to 289 computations (25.1% 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

analyze395.0ms (3.3%)

sample102.0ms (0.8%)

simplify17.0ms (0.1%)

prune5.0ms (0%)

localize34.0ms (0.3%)

series276.0ms (2.3%)

rewrite38.0ms (0.3%)

simplify236.0ms (2%)

prune387.0ms (3.2%)

localize96.0ms (0.8%)

series413.0ms (3.4%)

rewrite16.0ms (0.1%)

simplify192.0ms (1.6%)

prune404.0ms (3.4%)

localize152.0ms (1.3%)

series361.0ms (3%)

rewrite297.0ms (2.5%)

simplify407.0ms (3.4%)

prune587.0ms (4.9%)

localize117.0ms (1%)

series351.0ms (2.9%)

rewrite13.0ms (0.1%)

simplify168.0ms (1.4%)

prune364.0ms (3%)

regimes4.4s (36.8%)

simplify5.0ms (0%)

end1.0ms (0%)

sample2.2s (18%)

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