Details

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

sample2.0s (29.4%)

Results

2.0s	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 88 to 67 computations (23.9% saved)

simplify8.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.3b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 42 to 33 computations (21.4% saved)

localize27.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series39.0ms (0.6%)

Counts

4 → 40

Calls

4 calls:

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

rewrite66.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

532×	`log-prod_binary32`
271×	`prod-diff_binary32`
196×	`expm1-udef_binary32`
195×	`log1p-udef_binary32`
173×	`log-pow_binary32`

Counts

4 → 113

Calls

4 calls:

64.0ms	(sqrt.f32 (/.f32 u1 (-.f32 1 u1)))
64.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (.f32 314159265359/50000000000 u2)))
64.0ms	(/.f32 u1 (-.f32 1 u1))
64.0ms	(*.f32 314159265359/50000000000 u2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	227	37
2	2724	37
3	5084	37
0	0	0
1	0	0

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-neg_binary32`
404×	`associate-/r*_binary32`
373×	`fma-def_binary32`
270×	`associate-+l+_binary32`
225×	`associate-+r+_binary32`

Counts

153 → 153

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1248
1	343	1193
2	1136	1063
3	4658	1062
4	5154	1062

prune210.0ms (3.1%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	143	10	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	144	10	154

Error

0.0b

Counts

154 → 10

Alt Table

Status	Error	Program
	0.3b	(.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (.f32 u1 u1)) (.f32 (cbrt.f32 u1) (/.f32 1 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (.f32 314159265359/50000000000 u2)))
▶	0.3b	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 (sqrt.f32 u1) (pow.f32 (cbrt.f32 (-.f32 1 u1)) 2)) (/.f32 (sqrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	6.6b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	1.7b	(sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 u1)) (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 2)))
	0.4b	(/.f32 (.f32 (sqrt.f32 u1) (cos.f32 (.f32 314159265359/50000000000 u2))) (sqrt.f32 (-.f32 1 u1)))
	2.0b	(fma.f32 (fma.f32 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 (pow.f32 u2 4) 1) (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 (.f32 u2 u2) -98696044010906577398881/5000000000000000000000 (*.f32 (pow.f32 u2 6) -961389193575684075633145058384385882649239799132134631991269883031841/11250000000000000000000000000000000000000000000000000000000000000000))))

Compiler

Compiled 3377 to 2631 computations (22.1% saved)

localize36.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series27.0ms (0.4%)

Counts

2 → 32

Calls

2 calls:

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

rewrite90.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

449×	`prod-diff_binary32`
222×	`expm1-udef_binary32`
221×	`log1p-udef_binary32`
202×	`log-pow_binary32`
132×	`fma-def_binary32`

Counts

2 → 31

Calls

2 calls:

90.0ms	(.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
90.0ms	(.f32 98696044010906577398881/2500000000000000000000 (.f32 u2 u2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	29
1	269	24
2	3126	24
3	4916	24
4	5070	24
0	0	0
1	0	0

simplify98.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

426×	`fma-neg_binary32`
287×	`distribute-rgt-neg-in_binary32`
285×	`distribute-lft-neg-in_binary32`
281×	`distribute-neg-frac_binary32`
226×	`fma-def_binary32`

Counts

63 → 56

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	872
1	223	847
2	695	727
3	2775	725
4	4973	725
5	4995	725
6	4997	725
7	4946	725

prune194.0ms (2.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	150	4	154
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	153	11	164

Error

0.0b

Counts

164 → 11

Alt Table

Status	Error	Program
	6.6b	(.f32 (log.f32 (exp.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
▶	0.3b	(.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (.f32 u1 u1)) (.f32 (cbrt.f32 u1) (/.f32 1 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (.f32 314159265359/50000000000 u2)))
	2.0b	(+.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 (pow.f32 u2 4) (fma.f32 (.f32 u2 u2) -98696044010906577398881/5000000000000000000000 (*.f32 (pow.f32 u2 6) -961389193575684075633145058384385882649239799132134631991269883031841/11250000000000000000000000000000000000000000000000000000000000000000)))))
	7.6b	(.f32 (sqrt.f32 u1) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 (sqrt.f32 u1) (pow.f32 (cbrt.f32 (-.f32 1 u1)) 2)) (/.f32 (sqrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.7b	(sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 u1)) (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 2)))

Compiler

Compiled 3682 to 2721 computations (26.1% saved)

localize48.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))
✓	0.1b	(.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
✓	0.3b	(*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))
	0.4b	(*.f32 314159265359/50000000000 u2)

series89.0ms (1.3%)

Counts

3 → 40

Calls

3 calls:

70.0ms

(*.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2)))

10.0ms

(sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))

9.0ms

(*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))

rewrite79.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

292×	`expm1-udef_binary32`
291×	`log1p-udef_binary32`
168×	`add-sqr-sqrt_binary32`
160×	`log1p-expm1-u_binary32`
160×	`expm1-log1p-u_binary32`

Counts

3 → 93

Calls

3 calls:

77.0ms

(sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))

77.0ms

(*.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))) (cos.f32 (*.f32 314159265359/50000000000 u2)))

77.0ms

(*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	72
1	347	72
2	4271	72
3	4995	72
0	0	0
1	0	0

simplify67.0ms (1%)

Algorithm

1×	egg-herbie

Rules

607×	`fma-neg_binary32`
406×	`associate-/r*_binary32`
389×	`fma-def_binary32`
274×	`associate-+l+_binary32`
227×	`associate-+r+_binary32`

Counts

133 → 135

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	116	1518
1	351	1386
2	1173	1206
3	4751	1205
4	5256	1205

prune200.0ms (2.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	150	1	151
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	152	10	162

Error

0.0b

Counts

162 → 10

Alt Table

Status	Error	Program
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.4b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (.f32 u1 u1)) (.f32 (cbrt.f32 u1) (/.f32 1 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (.f32 314159265359/50000000000 u2)))
	2.0b	(+.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 (pow.f32 u2 4) (fma.f32 (.f32 u2 u2) -98696044010906577398881/5000000000000000000000 (*.f32 (pow.f32 u2 6) -961389193575684075633145058384385882649239799132134631991269883031841/11250000000000000000000000000000000000000000000000000000000000000000)))))
	7.6b	(.f32 (sqrt.f32 u1) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 (sqrt.f32 u1) (pow.f32 (cbrt.f32 (-.f32 1 u1)) 2)) (/.f32 (sqrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.7b	(sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 u1)) (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
▶	0.3b	(.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))

Compiler

Compiled 4616 to 3285 computations (28.8% saved)

localize58.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(log1p.f32 (expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))))
✓	0.3b	(expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))
	0.3b	(*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))
	0.4b	(*.f32 314159265359/50000000000 u2)

series31.0ms (0.5%)

Counts

2 → 16

Calls

2 calls:

22.0ms

(expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))

9.0ms

(log1p.f32 (expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))))

rewrite61.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

968×	`prod-diff_binary32`
127×	`add-sqr-sqrt_binary32`
125×	`expm1-log1p-u_binary32`
124×	`log1p-expm1-u_binary32`
119×	`add-cbrt-cube_binary32`

Counts

2 → 45

Calls

2 calls:

60.0ms

(log1p.f32 (expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))))

60.0ms

(expm1.f32 (sqrt.f32 (*.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	46
1	267	46
2	3365	46
3	5121	46
0	0	0
1	0	0

simplify56.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

630×	`sub-neg_binary32`
508×	`associate-/r*_binary32`
348×	`associate-+l+_binary32`
342×	`associate--r+_binary32`
317×	`fma-def_binary32`

Counts

61 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	88	946
1	276	876
2	1003	742
3	4614	742
4	5289	742

prune192.0ms (2.8%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	140	2	142
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	140	12	152

Error

0.0b

Counts

152 → 12

Alt Table

Status	Error	Program
	7.6b	(.f32 (sqrt.f32 u1) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.1b	(.f32 (log1p.f32 (exp.f32 (log.f32 (expm1.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	1.2b	(.f32 (exp.f32 (log.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))))) (cos.f32 (sqrt.f32 (.f32 98696044010906577398881/2500000000000000000000 (*.f32 u2 u2)))))
	0.4b	(.f32 (sqrt.f32 (.f32 (cbrt.f32 (.f32 u1 u1)) (.f32 (cbrt.f32 u1) (/.f32 1 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.5b	(.f32 (sqrt.f32 (pow.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 3) 1/3)) (cos.f32 (.f32 314159265359/50000000000 u2)))
	2.0b	(+.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (.f32 (sqrt.f32 (/.f32 u1 (-.f32 1 u1))) (fma.f32 9740909103402808085817682884085781839780052161/150000000000000000000000000000000000000000000 (pow.f32 u2 4) (fma.f32 (.f32 u2 u2) -98696044010906577398881/5000000000000000000000 (*.f32 (pow.f32 u2 6) -961389193575684075633145058384385882649239799132134631991269883031841/11250000000000000000000000000000000000000000000000000000000000000000)))))
	0.5b	(.f32 (sqrt.f32 (.f32 (/.f32 (sqrt.f32 u1) (pow.f32 (cbrt.f32 (-.f32 1 u1)) 2)) (/.f32 (sqrt.f32 u1) (cbrt.f32 (-.f32 1 u1))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	1.7b	(sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 u1)) (pow.f32 (cos.f32 (.f32 314159265359/50000000000 u2)) 2)))
	0.4b	(.f32 (sqrt.f32 (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (.f32 (pow.f32 (/.f32 u1 (-.f32 1 u1)) 1/4) (sqrt.f32 (/.f32 u1 (-.f32 1 u1)))))) (cos.f32 (.f32 314159265359/50000000000 u2)))
✓	0.3b	(.f32 (log1p.f32 (expm1.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))) (cos.f32 (*.f32 314159265359/50000000000 u2)))
	6.6b	(.f32 (log1p.f32 (/.f32 (-.f32 (pow.f32 (exp.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))) 3) 1) (+.f32 (.f32 (exp.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))) (exp.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1)))))) (+.f32 1 (.f32 (exp.f32 (sqrt.f32 (.f32 (/.f32 u1 (-.f32 1 (pow.f32 u1 3))) (+.f32 1 (fma.f32 u1 u1 u1))))) 1))))) (cos.f32 (.f32 314159265359/50000000000 u2)))

Compiler

Compiled 4522 to 3273 computations (27.6% saved)

regimes2.4s (35.1%)

Accuracy

Total 0.2b remaining (73.4%)

Threshold costs 0.2b (73.4%)

Counts

233 → 1

Compiler

Compiled 42702 to 33584 computations (21.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary32`
3×	`+-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	16	39
1	24	39
2	28	39
3	30	39
4	31	39
5	30	39

end313.0ms (4.6%)

Compiler: Compiled 392 to 297 computations (24.2% 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

analyze359.0ms (5.3%)

sample2.0s (29.4%)

simplify8.0ms (0.1%)

prune2.0ms (0%)

localize27.0ms (0.4%)

series39.0ms (0.6%)

rewrite66.0ms (1%)

simplify65.0ms (1%)

prune210.0ms (3.1%)

localize36.0ms (0.5%)

series27.0ms (0.4%)

rewrite90.0ms (1.3%)

simplify98.0ms (1.4%)

prune194.0ms (2.8%)

localize48.0ms (0.7%)

series89.0ms (1.3%)

rewrite79.0ms (1.2%)

simplify67.0ms (1%)

prune200.0ms (2.9%)

localize58.0ms (0.8%)

series31.0ms (0.5%)

rewrite61.0ms (0.9%)

simplify56.0ms (0.8%)

prune192.0ms (2.8%)

regimes2.4s (35.1%)

simplify3.0ms (0%)

end313.0ms (4.6%)

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