Details

analyze5.7s (35.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)

sample3.8s (23.4%)

Results

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

Compiler

Compiled 55 to 45 computations (18.2% 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.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.1b	(.f32 (sqrt.f32 (neg.f32 (log.f32 (-.f32 1 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.3b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 90 to 77 computations (14.4% saved)

localize36.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series216.0ms (1.3%)

Counts

4 → 52

Calls

4 calls:

195.0ms	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
14.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))
3.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
3.0ms	(.f32 (.f32 2 (PI.f32)) u2)

rewrite18.0ms (0.1%)

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)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
4.0ms	(.f32 (.f32 2 (PI.f32)) u2)
2.0ms	(cos.f32 (.f32 (.f32 2 (PI.f32)) u2))
1.0ms	(sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))

simplify123.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

532×	`cancel-sign-sub-inv_binary32`
449×	`fma-neg_binary32`
324×	`times-frac_binary32`
243×	`associate-/r*_binary32`
229×	`associate-/l*_binary32`

Counts

134 → 168

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	281	3614
1	751	3315
2	2419	3199
3	4597	3191
4	5025	3191

prune224.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	155	13	168
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	157	13	170

Error

0.1b

Counts

170 → 13

Alt Table

Status	Error	Program
	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))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.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.3b	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	6.7b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 2 (PI.f32))) (log.f32 u2)))))
	0.8b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	1.6b	(fma.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 2/3 (.f32 (pow.f32 u2 4) (pow.f32 (PI.f32) 4)) 1) (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (fma.f32 (pow.f32 (PI.f32) 6) (.f32 (pow.f32 u2 6) -4/45) (.f32 (pow.f32 (PI.f32) 2) (.f32 (.f32 u2 u2) -2)))))
	0.7b	(.f32 (.f32 (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))

Compiler

Compiled 5139 to 3160 computations (38.5% saved)

localize44.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	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)
✓	0.7b	(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)

series216.0ms (1.3%)

Counts

2 → 28

Calls

2 calls:

191.0ms	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
25.0ms	(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)

rewrite24.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`sqrt-prod_binary32`
38×	`cbrt-prod_binary32`
35×	`associate-l_binary32`
35×	`add-sqr-sqrt_binary32`
28×	`cube-prod_binary32`

Counts

2 → 106

Calls

2 calls:

12.0ms	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
3.0ms	(pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)

simplify162.0ms (1%)

Algorithm

1×	egg-herbie

Rules

628×	`times-frac_binary32`
354×	`fma-neg_binary32`
351×	`cancel-sign-sub-inv_binary32`
261×	`unswap-sqr_binary32`
178×	`associate-r_binary32`

Counts

134 → 152

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	289	4165
1	774	3939
2	2351	3779
3	4031	3761
4	4978	3761
5	4944	3761

prune332.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	213	7	220
Fresh	7	5	12
Picked	1	0	1
Done	0	0	0
Total	221	12	233

Error

0.0b

Counts

233 → 12

Alt Table

Status	Error	Program
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	0.5b	(.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
	0.5b	(.f32 (.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))) (cbrt.f32 (cos.f32 (.f32 (.f32 2 (PI.f32)) u2))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2))))
	0.5b	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (.f32 (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) 3)) (.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	3.1b	(.f32 (cbrt.f32 (pow.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 3) (cbrt.f32 3))) (cbrt.f32 3))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	6.7b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.6b	(.f32 (cbrt.f32 (sqrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	1.2b	(.f32 (cbrt.f32 (exp.f32 (log.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
▶	0.4b	(.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 7133 to 4553 computations (36.2% saved)

localize42.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2))
✓	0.2b	(.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
✓	0.3b	(pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)
	0.3b	(.f32 (.f32 2 (PI.f32)) u2)

series441.0ms (2.7%)

Counts

3 → 40

Calls

3 calls:

412.0ms

(*.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

16.0ms

(pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)

12.0ms

(cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2))

rewrite18.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`cbrt-prod_binary32`
31×	`unpow-prod-down_binary32`
24×	`add-sqr-sqrt_binary32`
17×	`associate-l_binary32`
17×	`*-un-lft-identity_binary32`

Counts

3 → 87

Calls

3 calls:

9.0ms

(*.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (*.f32 (*.f32 2 (PI.f32)) u2)))

2.0ms

(cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2))

2.0ms

(pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)

simplify173.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

517×	`times-frac_binary32`
451×	`fma-neg_binary32`
429×	`cancel-sign-sub-inv_binary32`
234×	`fma-def_binary32`
188×	`*-commutative_binary32`

Counts

127 → 184

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	345	4565
1	937	4251
2	2848	4187
3	4506	4187
4	4992	4187
5	4937	4187

prune310.0ms (1.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	209	3	212
Fresh	3	8	11
Picked	0	1	1
Done	0	0	0
Total	212	12	224

Error

0.0b

Counts

224 → 12

Alt Table

Status	Error	Program
▶	0.3b	(cbrt.f32 (.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) (pow.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) 3)))
	1.2b	(.f32 (cbrt.f32 (exp.f32 (log.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)) (sqrt.f32 (.f32 (.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	1.6b	(.f32 (pow.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	3.1b	(.f32 (cbrt.f32 (pow.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 3) (cbrt.f32 3))) (cbrt.f32 3))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	6.7b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.6b	(.f32 (cbrt.f32 (sqrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.5b	(.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
✓	0.4b	(.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 6896 to 4658 computations (32.5% saved)

localize61.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) (pow.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) 3))
	0.3b	(pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)
✓	0.3b	(*.f32 (PI.f32) u2)
✓	0.4b	(pow.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) 3)

series489.0ms (3%)

Counts

3 → 24

Calls

3 calls:

472.0ms	(.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) (pow.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) 3))
12.0ms	(pow.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) 3)
4.0ms	(*.f32 (PI.f32) u2)

rewrite22.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

34×	`add-sqr-sqrt_binary32`
23×	`unpow-prod-down_binary32`
18×	`add-exp-log_binary32`
17×	`associate-l_binary32`
15×	`associate-r_binary32`

Counts

3 → 103

Calls

3 calls:

10.0ms	(.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) (pow.f32 (cos.f32 (.f32 2 (*.f32 (PI.f32) u2))) 3))
3.0ms	(*.f32 (PI.f32) u2)
3.0ms	(pow.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) 3)

simplify118.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

665×	`times-frac_binary32`
460×	`associate-/l*_binary32`
441×	`associate-l_binary32`
423×	`associate-/r*_binary32`
273×	`fma-def_binary32`

Counts

127 → 184

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	433	6359
1	1326	5965
2	5460	5965

prune399.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	236	1	237
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	238	11	249

Error

0.0b

Counts

249 → 11

Alt Table

Status	Error	Program
	0.4b	(cbrt.f32 (.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) (pow.f32 (cos.f32 (.f32 2 (.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (*.f32 (cbrt.f32 (PI.f32)) u2)))) 3)))
	3.1b	(.f32 (cbrt.f32 (pow.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (.f32 (cbrt.f32 3) (cbrt.f32 3))) (cbrt.f32 3))) (cos.f32 (.f32 (.f32 2 (PI.f32)) u2)))
	0.4b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (expm1.f32 (log1p.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	0.4b	(.f32 (cbrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3)) (cos.f32 (.f32 (.f32 (.f32 2 (PI.f32)) (*.f32 (cbrt.f32 u2) (cbrt.f32 u2))) (cbrt.f32 u2))))
	1.6b	(.f32 (pow.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2) 1/3) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	1.2b	(.f32 (cbrt.f32 (exp.f32 (log.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.8b	(.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) (log.f32 (exp.f32 (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))))
	6.7b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))
	0.6b	(.f32 (cbrt.f32 (sqrt.f32 (pow.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))) 3))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (sqrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1)))))))
	0.5b	(.f32 (cbrt.f32 (sqrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))) (.f32 (cos.f32 (.f32 2 (.f32 (PI.f32) u2))) (cbrt.f32 (neg.f32 (log1p.f32 (neg.f32 u1))))))
✓	0.4b	(.f32 (cbrt.f32 (pow.f32 (neg.f32 (log1p.f32 (neg.f32 u1))) 3/2)) (cos.f32 (.f32 (*.f32 2 (PI.f32)) u2)))

Compiler

Compiled 10271 to 7132 computations (30.6% saved)

regimes3.1s (19.1%)

Accuracy

Total 0.2b remaining (73.4%)

Threshold costs 0.2b (73.4%)

Counts

211 → 1

Compiler

Compiled 50322 to 41628 computations (17.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	19	31
1	28	31
2	32	31
3	34	31
4	34	31

end188.0ms (1.1%)

Compiler: Compiled 271 to 228 computations (15.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

analyze5.7s (35.1%)

sample3.8s (23.4%)

simplify15.0ms (0.1%)

prune5.0ms (0%)

localize36.0ms (0.2%)

series216.0ms (1.3%)

rewrite18.0ms (0.1%)

simplify123.0ms (0.8%)

prune224.0ms (1.4%)

localize44.0ms (0.3%)

series216.0ms (1.3%)

rewrite24.0ms (0.1%)

simplify162.0ms (1%)

prune332.0ms (2%)

localize42.0ms (0.3%)

series441.0ms (2.7%)

rewrite18.0ms (0.1%)

simplify173.0ms (1.1%)

prune310.0ms (1.9%)

localize61.0ms (0.4%)

series489.0ms (3%)

rewrite22.0ms (0.1%)

simplify118.0ms (0.7%)

prune399.0ms (2.4%)

regimes3.1s (19.1%)

simplify3.0ms (0%)

end188.0ms (1.1%)

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