Details

analyze493.0ms (4.9%)

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

Results

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

Compiler

Compiled 94 to 76 computations (19.1% saved)

simplify15.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.4b

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)

localize37.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.1b	(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)

series233.0ms (2.3%)

Counts

4 → 52

Calls

4 calls:

214.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
12.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite19.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:

9.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)
1.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
1.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))

simplify126.0ms (1.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

prune243.0ms (2.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

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

Error

0.0b

Counts

168 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.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)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	0.8b	(.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)))))
	1.4b	(.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.5b	(.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.4b	(.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	(.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.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.4b	(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)))))
	1.3b	(-.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))))))

Compiler

Compiled 5112 to 3099 computations (39.4% saved)

localize73.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.3b	(.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.5b	(*.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
✓	0.5b	(.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

series37.0ms (0.4%)

Counts

3 → 32

Calls

3 calls:

14.0ms

(*.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)))

13.0ms

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

10.0ms

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

rewrite39.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`sqrt-prod_binary32`
44×	`pow1_binary32`
43×	`add-sqr-sqrt_binary32`
28×	`*-un-lft-identity_binary32`
24×	`add-cube-cbrt_binary32`

Counts

3 → 137

Calls

3 calls:

12.0ms

(*.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)))

10.0ms

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

6.0ms

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

simplify161.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

434×	`fma-neg_binary32`
370×	`*-commutative_binary32`
353×	`cancel-sign-sub-inv_binary32`
330×	`distribute-rgt-neg-in_binary32`
293×	`fma-def_binary32`

Counts

169 → 203

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	219	2791
1	497	2409
2	1518	2345
3	3157	2236
4	4726	2215
5	4972	2215
6	4855	2215

prune1.1s (10.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	285	2	287
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	286	12	298

Error

0.0b

Counts

298 → 12

Alt Table

Status	Error	Program
	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.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)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	0.5b	(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 (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	0.8b	(.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)))))
	1.4b	(.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.5b	(.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.3b	(-.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))))))
	1.0b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.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)))))
	1.4b	(.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	(.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.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.4b	(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)))))

Compiler

Compiled 13247 to 6241 computations (52.9% saved)

localize50.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))
✓	0.3b	(expm1.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
✓	0.3b	(.f32 (expm1.f32 (log1p.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)

series263.0ms (2.6%)

Counts

3 → 36

Calls

3 calls:

210.0ms

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

40.0ms

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

13.0ms

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

rewrite6.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:

4.0ms

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

0.0ms

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

0.0ms

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

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Rules

676×	`cancel-sign-sub-inv_binary32`
331×	`fma-def_binary32`
247×	`*-commutative_binary32`
238×	`fma-neg_binary32`
230×	`associate-r_binary32`

Counts

78 → 119

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	328	4080
1	1006	3638
2	3615	3634
3	5031	3634

prune224.0ms (2.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	148	11	159

Error

0.0b

Counts

159 → 11

Alt Table

Status	Error	Program
▶	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.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)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	0.5b	(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 (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	1.3b	(-.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))))))
	1.0b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.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)))))
	1.4b	(.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	(.f32 (sqrt.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))
	1.4b	(.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.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.4b	(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)))))

Compiler

Compiled 6407 to 4258 computations (33.5% saved)

localize45.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series210.0ms (2.1%)

Counts

3 → 44

Calls

3 calls:

200.0ms

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

6.0ms

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

3.0ms

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

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`associate-l_binary32`
12×	`add-sqr-sqrt_binary32`
11×	`sqrt-prod_binary32`
8×	`*-un-lft-identity_binary32`
8×	`add-cube-cbrt_binary32`

Counts

3 → 53

Calls

3 calls:

9.0ms

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

0.0ms

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

0.0ms

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

simplify97.0ms (1%)

Algorithm

1×	egg-herbie

Rules

851×	`fma-def_binary32`
546×	`times-frac_binary32`
448×	`cancel-sign-sub-inv_binary32`
421×	`fma-neg_binary32`
195×	`distribute-rgt-neg-in_binary32`

Counts

97 → 126

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	221	2848
1	572	2618
2	1815	2515
3	4561	2515
4	5279	2515

prune265.0ms (2.6%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	153	1	154
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	153	12	165

Error

Counts

165 → 12

Alt Table

Status	Error	Program
✓	0.5b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (expm1.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)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	0.5b	(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 (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 u2 (PI.f32)))))))))
	1.3b	(-.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))))))
	1.0b	(cbrt.f32 (.f32 (.f32 (exp.f32 (log.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)))))
	1.4b	(.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	(.f32 (sqrt.f32 (expm1.f32 (log1p.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))) (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))
	1.4b	(.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.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.4b	(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)))))
	12.9b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))))

Compiler

Compiled 4356 to 2574 computations (40.9% saved)

regimes3.3s (32.7%)

Accuracy

Total 0.4b remaining (82%)

Threshold costs 0.4b (82%)

Counts

238 → 1

Compiler

Compiled 65332 to 48744 computations (25.4% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary32`
11×	`neg-sub0_binary32`
11×	`neg-mul-1_binary32`
8×	`+-commutative_binary32`
8×	`sub-neg_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	56
1	35	56
2	44	56
3	54	56
4	62	56
5	75	56
6	85	56
7	90	56
8	92	56
9	89	56

end239.0ms (2.4%)

Compiler: Compiled 428 to 305 computations (28.7% 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

analyze493.0ms (4.9%)

sample2.7s (26.8%)

simplify15.0ms (0.1%)

prune5.0ms (0%)

localize37.0ms (0.4%)

series233.0ms (2.3%)

rewrite19.0ms (0.2%)

simplify126.0ms (1.2%)

prune243.0ms (2.4%)

localize73.0ms (0.7%)

series37.0ms (0.4%)

rewrite39.0ms (0.4%)

simplify161.0ms (1.6%)

prune1.1s (10.9%)

localize50.0ms (0.5%)

series263.0ms (2.6%)

rewrite6.0ms (0.1%)

simplify102.0ms (1%)

prune224.0ms (2.2%)

localize45.0ms (0.4%)

series210.0ms (2.1%)

rewrite12.0ms (0.1%)

simplify97.0ms (1%)

prune265.0ms (2.6%)

regimes3.3s (32.7%)

simplify7.0ms (0.1%)

end239.0ms (2.4%)

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