Details

analyze490.0ms (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 37 to 28 computations (24.3% saved)

sample2.0s (20%)

Results

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

Compiler

Compiled 88 to 67 computations (23.9% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

11×	`sub-neg_binary32`
7×	`+-commutative_binary32`
6×	`fma-def_binary32`
4×	`*-commutative_binary32`
4×	`div-sub_binary32`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

0.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize29.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
✓	0.2b	(cos.f32 (*.f32 314159265359/50000000000 u2))
✓	0.3b	(*.f32 314159265359/50000000000 u2)

series39.0ms (0.4%)

Counts

4 → 32

Calls

4 calls:

25.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
10.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
2.0ms	(cos.f32 (*.f32 314159265359/50000000000 u2))
2.0ms	(*.f32 314159265359/50000000000 u2)

rewrite300.0ms (3.1%)

Algorithm

4×	egg-rewrite

Rules

43×	`egg`
34×	`egg`
32×	`egg`
31×	`egg`

Counts

4 → 140

Calls

4 calls:

82.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
80.0ms	(cos.f32 (*.f32 314159265359/50000000000 u2))
75.0ms	(*.f32 314159265359/50000000000 u2)
61.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	4
1	80	4
2	852	4
3	4607	4
4	5474	4
0	5	6
1	99	6
2	1070	6
3	4660	6
4	5137	6
0	11	17
1	227	17
2	2724	17
3	5084	17
0	6	9
1	128	9
2	1628	9
3	4952	9
4	5148	9

simplify76.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

639×	`fma-neg_binary32`
413×	`sub-neg_binary32`
400×	`associate-/r*_binary32`
338×	`fma-def_binary32`
229×	`associate-+l+_binary32`

Counts

172 → 174

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	106	1154
1	317	1107
2	1026	977
3	4126	977
4	5151	977

prune284.0ms (2.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	160	14	174
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	161	14	175

Error

0.1b

Counts

175 → 14

Alt Table

Status	Error	Program
	0.9b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))) (log.f32 (sqrt.f32 (exp.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.4b	(.f32 (/.f32 (sqrt.f32 u1) (sqrt.f32 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
▶	0.4b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 3)))
	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.5b	(.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))) 2)) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1))
	0.7b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) 2) (cos.f32 (.f32 314159265359/50000000000 u2)))
	1.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (pow.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2)) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 314159265359/50000000000 u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (*.f32 314159265359/50000000000 u2)))) (sin.f32 1))))
	0.6b	(.f32 (.f32 (sqrt.f32 (pow.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))) 2)) (sqrt.f32 (cbrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.6b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (pow.f32 (pow.f32 (cbrt.f32 (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2) 3) (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))))
	6.5b	(-.f32 (exp.f32 (log1p.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))) 1)
	3.0b	(pow.f32 (pow.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))) 3) 1/3)

Compiler

Compiled 3906 to 3110 computations (20.4% saved)

localize43.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(cos.f32 (*.f32 314159265359/50000000000 u2))
✓	0.3b	(pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)
	0.3b	(*.f32 314159265359/50000000000 u2)
✓	0.3b	(pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2)

series10.0ms (0.1%)

Counts

2 → 16

Calls

2 calls:

6.0ms	(pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)
4.0ms	(pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2)

rewrite127.0ms (1.3%)

Algorithm

2×	egg-rewrite

Rules

26×	`egg`
23×	`egg`

Counts

2 → 49

Calls

2 calls:

75.0ms	(pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)
51.0ms	(pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	155	10
2	1837	10
3	4878	10
0	7	9
1	144	9
2	1476	9
3	4876	9
4	4980	9

simplify49.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

1004×	`fma-neg_binary32`
777×	`cancel-sign-sub-inv_binary32`
538×	`times-frac_binary32`
434×	`fma-def_binary32`
385×	`unswap-sqr_binary32`

Counts

65 → 71

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	58	302
1	147	292
2	334	240
3	823	228
4	2319	228
5	5436	228

prune281.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	148	5	153
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	155	12	167

Error

0.1b

Counts

167 → 12

Alt Table

Status	Error	Program
	1.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (pow.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2)) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.5b	(cbrt.f32 (.f32 (.f32 (pow.f32 u1 3/2) (pow.f32 (/.f32 1 (-.f32 1 u1)) 3/2)) (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))
	0.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 314159265359/50000000000 u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (*.f32 314159265359/50000000000 u2)))) (sin.f32 1))))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1) 3)))
▶	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1))
	0.7b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) 2) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.7b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 3)))) (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))))))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (pow.f32 (cbrt.f32 (cos.f32 (.f32 314159265359/50000000000 u2))) 3) 3)))
	0.4b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (log1p.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 3)))
	6.5b	(-.f32 (exp.f32 (log1p.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))) 1)

Compiler

Compiled 3655 to 3027 computations (17.2% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2)))
✓	0.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
✓	0.2b	(cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))))
✓	0.4b	(.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))

series33.0ms (0.3%)

Counts

4 → 56

Calls

4 calls:

26.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
3.0ms	(.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))
2.0ms	(cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))))
2.0ms	(sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2)))

rewrite348.0ms (3.6%)

Algorithm

4×	egg-rewrite

Rules

60×	`egg`
47×	`egg`
33×	`egg`
25×	`egg`

Counts

4 → 165

Calls

4 calls:

111.0ms	(cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))))
96.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
91.0ms	(.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))
47.0ms	(sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2)))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	103	7
2	1074	7
3	4776	7
4	5892	7
0	7	11
1	142	6
2	1502	6
3	4897	6
4	4943	6
5	5123	6
0	13	22
1	269	17
2	3126	17
3	4916	17
4	5070	17
0	6	9
1	123	4
2	1284	4
3	4949	4

simplify92.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

959×	`fma-neg_binary32`
297×	`distribute-rgt-neg-in_binary32`
281×	`distribute-neg-frac_binary32`
258×	`fma-def_binary32`
239×	`sub-neg_binary32`

Counts

221 → 198

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	1024
1	247	989
2	762	865
3	2943	865
4	4980	865
5	5365	865

prune277.0ms (2.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	198	12	210

Error

0.1b

Counts

210 → 12

Alt Table

Status	Error	Program
	1.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (pow.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2)) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.5b	(cbrt.f32 (.f32 (.f32 (pow.f32 u1 3/2) (pow.f32 (/.f32 1 (-.f32 1 u1)) 3/2)) (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))
	0.8b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 314159265359/50000000000 u2)))) (cos.f32 1)) (.f32 (sin.f32 (exp.f32 (log1p.f32 (*.f32 314159265359/50000000000 u2)))) (sin.f32 1))))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1) 3)))
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (cos.f32 (.f32 314159265359/50000000000 u2)))
	6.5b	(-.f32 (exp.f32 (log1p.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))) 1)
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 u2 314159265359/50000000000))) 3))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1))
	0.7b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) 2) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.7b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 3)))) (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))))))
▶	0.4b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (log1p.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 3)))

Compiler

Compiled 4192 to 3264 computations (22.1% saved)

localize51.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f32 (log1p.f32 (expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))) 3)
	0.3b	(*.f32 314159265359/50000000000 u2)
	0.3b	(pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2)
✓	0.7b	(expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))

series12.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

8.0ms	(pow.f32 (log1p.f32 (expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))) 3)
3.0ms	(expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))

rewrite135.0ms (1.4%)

Algorithm

2×	egg-rewrite

Rules

33×	`egg`
30×	`egg`

Counts

2 → 63

Calls

2 calls:

87.0ms	(expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))
47.0ms	(pow.f32 (log1p.f32 (expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))) 3)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	116	8
2	1254	8
3	4913	8
4	5809	8
0	9	9
1	163	9
2	1668	9
3	5015	9

simplify91.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

629×	`fma-def_binary32`
619×	`associate-l_binary32`
544×	`cancel-sign-sub-inv_binary32`
509×	`associate-r_binary32`
360×	`sub-neg_binary32`

Counts

87 → 79

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	45	284
1	122	270
2	324	260
3	964	252
4	3777	252
5	4702	252
6	4999	252

prune265.0ms (2.7%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	157	3	160
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	160	12	172

Error

0.0b

Counts

172 → 12

Alt Table

Status	Error	Program
	1.2b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (+.f32 (log.f32 (pow.f32 (cbrt.f32 (exp.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2)) (log.f32 (cbrt.f32 (exp.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))
	0.5b	(cbrt.f32 (.f32 (.f32 (pow.f32 u1 3/2) (pow.f32 (/.f32 1 (-.f32 1 u1)) 3/2)) (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))
	0.9b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (log1p.f32 (.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) (pow.f32 (cbrt.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 2))) 3)))
	0.7b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (+.f32 (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 3)))) (log.f32 (sqrt.f32 (exp.f32 (pow.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)) 3)))))))
✓	0.4b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.5b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) 1/3) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (log1p.f32 (+.f32 (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))))) (log.f32 (sqrt.f32 (exp.f32 (expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))) 3)))
	6.5b	(-.f32 (exp.f32 (log1p.f32 (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2))))) 1)
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (pow.f32 (cbrt.f32 (cos.f32 (.f32 u2 314159265359/50000000000))) 3))
	0.5b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (-.f32 (exp.f32 (log1p.f32 (cos.f32 (.f32 314159265359/50000000000 u2)))) 1))
	0.7b	(.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) 2) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3/2) (pow.f32 (log1p.f32 (+.f32 (log.f32 (pow.f32 (cbrt.f32 (exp.f32 (expm1.f32 (cos.f32 (.f32 314159265359/50000000000 u2))))) 2)) (log.f32 (cbrt.f32 (exp.f32 (expm1.f32 (cos.f32 (*.f32 314159265359/50000000000 u2)))))))) 3)))

Compiler

Compiled 3857 to 3226 computations (16.4% saved)

regimes4.5s (46.2%)

Accuracy

Total 0.3b remaining (81.7%)

Threshold costs 0.3b (81.7%)

Counts

329 → 1

Compiler

Compiled 65912 to 55096 computations (16.4% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary32`
2×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	28
1	23	28
2	27	28
3	29	28
4	30	28
5	29	28

end210.0ms (2.1%)

Compiler: Compiled 322 to 274 computations (14.9% saved)

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17

Details

analyze490.0ms (5%)

sample2.0s (20%)

simplify11.0ms (0.1%)

prune2.0ms (0%)

localize29.0ms (0.3%)

series39.0ms (0.4%)

rewrite300.0ms (3.1%)

simplify76.0ms (0.8%)

prune284.0ms (2.9%)

localize43.0ms (0.4%)

series10.0ms (0.1%)

rewrite127.0ms (1.3%)

simplify49.0ms (0.5%)

prune281.0ms (2.9%)

localize42.0ms (0.4%)

series33.0ms (0.3%)

rewrite348.0ms (3.6%)

simplify92.0ms (0.9%)

prune277.0ms (2.8%)

localize51.0ms (0.5%)

series12.0ms (0.1%)

rewrite135.0ms (1.4%)

simplify91.0ms (0.9%)

prune265.0ms (2.7%)

regimes4.5s (46.2%)

simplify6.0ms (0.1%)

end210.0ms (2.1%)

Profiling

Iter	Nodes	Cost
0	11	17
1	17	17
2	21	17
3	27	17
4	34	17
5	44	17
6	54	17
7	69	17
8	76	17
9	79	17
10	80	17
11	60	17