Details

analyze676.0ms (6.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)

sample2.5s (23.5%)

Results

2.5s	8256×	body	128	valid
2.0ms	7×	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.6b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 90 to 77 computations (14.4% saved)

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

series201.0ms (1.9%)

Counts

4 → 52

Calls

4 calls:

182.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))))
4.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:

6.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))))
1.0ms	(sin.f32 (.f32 (.f32 2 (PI.f32)) u2))

simplify120.0ms (1.1%)

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

Iterations

Useful iterations: 3 (0.0ms)

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

prune209.0ms (2%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	149	15	164
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	151	15	166

Error

0.1b

Counts

166 → 15

Alt Table

Status	Error	Program
	6.1b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.7b	(.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.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))))
	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)))))
	1.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	2.9b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	12.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.7b	(.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 (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))))
	3.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 (PI.f32) u2) (.f32 (pow.f32 (.f32 (PI.f32) u2) 3) -4/3)))
	6.3b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
▶	0.7b	(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.0b	(.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.7b	(.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)))

Compiler

Compiled 5222 to 3187 computations (39% saved)

localize59.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series35.0ms (0.3%)

Counts

3 → 32

Calls

3 calls:

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

12.0ms

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

9.0ms

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

rewrite38.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 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))

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

5.0ms

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

simplify158.0ms (1.5%)

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

prune375.0ms (3.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	284	3	287
Fresh	1	13	14
Picked	1	0	1
Done	0	0	0
Total	286	16	302

Error

0.1b

Counts

302 → 16

Alt Table

Status	Error	Program
	0.7b	(.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.7b	(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 (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))))) (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))))
	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)))))
	1.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2))) (sqrt.f32 (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	2.9b	(exp.f32 (log.f32 (.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.2b	(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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	12.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.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))))
	3.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 (PI.f32) u2) (.f32 (pow.f32 (.f32 (PI.f32) u2) 3) -4/3)))
	6.3b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.7b	(.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)))))
	1.0b	(.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.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))))) (pow.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) u2))) 3)))
	0.7b	(.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)))

Compiler

Compiled 13429 to 6363 computations (52.6% saved)

localize54.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series246.0ms (2.3%)

Counts

3 → 24

Calls

3 calls:

228.0ms

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

14.0ms

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

2.0ms

(*.f32 (PI.f32) u2)

rewrite33.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

30×	`add-exp-log_binary32`
19×	`prod-exp_binary32`
17×	`associate-r_binary32`
15×	`add-cbrt-cube_binary32`
13×	`add-sqr-sqrt_binary32`

Counts

3 → 85

Calls

3 calls:

20.0ms

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

4.0ms

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

3.0ms

(*.f32 (PI.f32) u2)

simplify119.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

859×	`fma-def_binary32`
689×	`times-frac_binary32`
339×	`associate-l_binary32`
325×	`associate-r_binary32`
234×	`log-prod_binary32`

Counts

109 → 148

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	3662
1	635	3048
2	2469	2990
3	4672	2990
4	4985	2990

prune323.0ms (3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	251	3	254
Fresh	3	12	15
Picked	1	0	1
Done	0	0	0
Total	255	15	270

Error

0.1b

Counts

270 → 15

Alt Table

Status	Error	Program
	1.6b	(cbrt.f32 (.f32 (.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3) (pow.f32 (sin.f32 (.f32 2 (.f32 u2 (PI.f32)))) 3/2)) (pow.f32 (sqrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2)))) 3)))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
▶	0.6b	(cbrt.f32 (.f32 (.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3)))
	12.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	2.9b	(cbrt.f32 (exp.f32 (log.f32 (.f32 (pow.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) 3) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)))))
	6.3b	(.f32 2 (.f32 u2 (*.f32 (PI.f32) (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	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))))
	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)))))
	1.2b	(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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.7b	(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 (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.9b	(.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))))
	3.7b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2 (.f32 (PI.f32) u2) (.f32 (pow.f32 (.f32 (PI.f32) u2) 3) -4/3)))
	1.7b	(.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)))))
	1.0b	(.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.7b	(.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)))

Compiler

Compiled 9859 to 4498 computations (54.4% saved)

localize65.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3))
	0.3b	(*.f32 (PI.f32) u2)
✓	0.7b	(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)
✓	0.8b	(pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3)

series404.0ms (3.8%)

Counts

3 → 40

Calls

3 calls:

361.0ms

(*.f32 (*.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3))

22.0ms

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

21.0ms

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

rewrite28.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`add-exp-log_binary32`
33×	`prod-exp_binary32`
20×	`sqrt-prod_binary32`
15×	`cube-prod_binary32`
15×	`pow-exp_binary32`

Counts

3 → 111

Calls

3 calls:

11.0ms

(*.f32 (*.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (*.f32 (sin.f32 (*.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3))

4.0ms

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

3.0ms

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

simplify166.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

468×	`log-prod_binary32`
443×	`associate-r_binary32`
413×	`associate-l_binary32`
229×	`*-commutative_binary32`
204×	`fma-def_binary32`

Counts

151 → 173

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	339	5681
1	959	5065
2	3604	4983
3	4777	4983
4	5075	4983

prune319.0ms (3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	228	5	233
Fresh	5	9	14
Picked	1	0	1
Done	0	0	0
Total	234	14	248

Error

0.1b

Counts

248 → 14

Alt Table

Status	Error	Program
	0.7b	(cbrt.f32 (.f32 (.f32 8 (.f32 (pow.f32 (sqrt.f32 (.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))) (cbrt.f32 (log1p.f32 (neg.f32 u1))))) 3) (pow.f32 (sqrt.f32 (neg.f32 (cbrt.f32 (log1p.f32 (neg.f32 u1))))) 3))) (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) u2)) (cos.f32 (*.f32 (PI.f32) u2))) 3)))
	0.9b	(.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.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))))
	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)))))
	1.2b	(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 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2))))) (sin.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	1.0b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (cbrt.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	12.1b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	4.3b	(cbrt.f32 (fma.f32 (pow.f32 u2 3) (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) 8) (.f32 (.f32 (pow.f32 u2 5) (*.f32 (pow.f32 (PI.f32) 5) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))) -16)))
	0.7b	(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 (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))) (cbrt.f32 (.f32 2 (.f32 (PI.f32) u2)))))) (sin.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.6b	(cbrt.f32 (.f32 (.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 u2 u2) u2)))) (cos.f32 (*.f32 (PI.f32) u2))) 3)))
	2.9b	(cbrt.f32 (exp.f32 (log.f32 (.f32 (pow.f32 (sin.f32 (.f32 2 (*.f32 u2 (PI.f32)))) 3) (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)))))
	0.6b	(cbrt.f32 (/.f32 (.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3) (.f32 8 (pow.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) u2))) 3))) (pow.f32 2 3)))
	0.7b	(cbrt.f32 (.f32 (.f32 8 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (pow.f32 (.f32 (sin.f32 (.f32 (sqrt.f32 (.f32 u2 (PI.f32))) (sqrt.f32 (.f32 u2 (PI.f32))))) (cos.f32 (*.f32 (PI.f32) u2))) 3)))
	1.0b	(.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))))

Compiler

Compiled 9073 to 4462 computations (50.8% saved)

regimes4.2s (39.3%)

Accuracy

Total 0.5b remaining (88.3%)

Threshold costs 0.5b (88.3%)

Counts

295 → 1

Compiler

Compiled 89752 to 64770 computations (27.8% saved)

simplify4.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	24	61
1	34	61
2	38	61
3	40	61
4	40	61

end264.0ms (2.5%)

Compiler: Compiled 530 to 374 computations (29.4% 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

analyze676.0ms (6.3%)

sample2.5s (23.5%)

simplify15.0ms (0.1%)

prune5.0ms (0%)

localize38.0ms (0.4%)

series201.0ms (1.9%)

rewrite19.0ms (0.2%)

simplify120.0ms (1.1%)

prune209.0ms (2%)

localize59.0ms (0.5%)

series35.0ms (0.3%)

rewrite38.0ms (0.4%)

simplify158.0ms (1.5%)

prune375.0ms (3.5%)

localize54.0ms (0.5%)

series246.0ms (2.3%)

rewrite33.0ms (0.3%)

simplify119.0ms (1.1%)

prune323.0ms (3%)

localize65.0ms (0.6%)

series404.0ms (3.8%)

rewrite28.0ms (0.3%)

simplify166.0ms (1.6%)

prune319.0ms (3%)

regimes4.2s (39.3%)

simplify4.0ms (0%)

end264.0ms (2.5%)

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