Details

analyze9.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 118 to 85 computations (28% saved)

sample4.2s (40.8%)

Results

4.1s

8256×

body

128

valid

Compiler

Compiled 307 to 220 computations (28.3% saved)

simplify33.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

362×	`distribute-rgt-in_binary32`
340×	`fma-def_binary32`
335×	`distribute-lft-in_binary32`
255×	`distribute-neg-in_binary32`
228×	`distribute-rgt-neg-out_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	99
1	67	97
2	214	70
3	839	66
4	2903	66
5	4998	66

Stop Event

1×	node limit

Counts

1 → 2

prune7.0ms (0.1%)

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
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))

Status

Error

Program

0.3b

(+.f32 (+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) xi) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

▶

0.3b

(fma.f32 ux (*.f32 (-.f32 1 ux) (*.f32 maxCos zi)) (*.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (*.f32 (*.f32 ux (*.f32 maxCos (*.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (*.f32 uy (*.f32 2 (PI.f32)))) xi (*.f32 (sin.f32 (*.f32 uy (*.f32 2 (PI.f32)))) yi))))

Compiler

Compiled 354 to 245 computations (30.8% saved)

localize103.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (-.f32 1 ux) (.f32 maxCos zi))
✓	0.2b	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
✓	0.2b	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)
✓	0.3b	(.f32 uy (.f32 2 (PI.f32)))

series38.0ms (0.4%)

Counts

4 → 68

Calls

4 calls:

22.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)
10.0ms	(.f32 (-.f32 1 ux) (.f32 maxCos zi))
3.0ms	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
3.0ms	(.f32 uy (.f32 2 (PI.f32)))

rewrite53.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

616×	`prod-diff_binary32`
161×	`add-sqr-sqrt_binary32`
149×	`log1p-expm1-u_binary32`
149×	`expm1-log1p-u_binary32`
148×	`add-cbrt-cube_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	41
1	323	41
2	3899	41

Stop Event

1×	node limit

Counts

4 → 69

Calls

4 calls:

52.0ms	(.f32 (-.f32 1 ux) (.f32 maxCos zi))
52.0ms	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
52.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)
52.0ms	(.f32 uy (.f32 2 (PI.f32)))

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

954×	`fma-neg_binary32`
628×	`distribute-rgt-neg-in_binary32`
505×	`associate-l_binary32`
416×	`associate-r_binary32`
229×	`fma-def_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	77	902
1	221	894
2	688	880
3	3136	878

Stop Event

1×	node limit

Counts

137 → 97

prune429.0ms (4.2%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	99	15	114
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	100	16	116

Error

0.1b

Counts

116 → 16

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 (PI.f32) 7)))))))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(fma.f32 ux (pow.f32 (cbrt.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi))) 3) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	2.4b	(fma.f32 ux (-.f32 (exp.f32 (log1p.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi)))) 1) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	0.3b	(fma.f32 ux (.f32 maxCos (.f32 zi (-.f32 1 ux))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	3.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 2 (.f32 (PI.f32) (.f32 uy yi))))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3)))) yi))))
▶	0.3b	(fma.f32 ux (-.f32 (.f32 maxCos zi) (.f32 maxCos (.f32 ux zi))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi))))
	0.4b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2)))) 3) yi))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 uy 2))))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	4.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (cbrt.f32 (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi) 3)))))
	1.1b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 uy 7) -8/315) (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) -4/3))))))))
	17.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 2))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 3))))
	4.9b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))))) 1) yi))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) (.f32 uy 2))) 3)) yi))))

Compiler

Compiled 7242 to 4341 computations (40.1% saved)

localize127.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 maxCos (.f32 ux maxCos))
	0.2b	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
	0.2b	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)
	0.3b	(.f32 uy (.f32 2 (PI.f32)))

series10.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

10.0ms

(*.f32 maxCos (*.f32 ux maxCos))

rewrite36.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

428×	`log1p-expm1-u_binary32`
428×	`expm1-log1p-u_binary32`
357×	`unpow-prod-down_binary32`
266×	`log-prod_binary32`
174×	`pow-prod-down_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	99	7
2	1192	7

Stop Event

1×	node limit

Counts

1 → 17

Calls

1 calls:

36.0ms

(*.f32 maxCos (*.f32 ux maxCos))

simplify59.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

605×	`sqr-pow_binary32`
448×	`associate-l_binary32`
434×	`unswap-sqr_binary32`
281×	`cube-prod_binary32`
277×	`fabs-mul_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	168
1	12	168
2	23	168
3	44	168
4	105	168
5	314	168
6	1257	168
7	2131	168
8	2295	168
9	2479	168
10	2687	168
11	2979	168
12	3372	168
13	3852	168
14	4415	168

Stop Event

1×	node limit

Counts

41 → 19

prune522.0ms (5.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	103	2	105
Fresh	2	13	15
Picked	1	0	1
Done	0	0	0
Total	106	15	121

Error

0.1b

Counts

121 → 15

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 (PI.f32) 7)))))))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	4.9b	(fma.f32 ux (-.f32 (.f32 maxCos zi) (.f32 maxCos (.f32 ux zi))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 (PI.f32) (*.f32 uy 2))))) 1) yi))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 3))))
	0.4b	(fma.f32 ux (pow.f32 (cbrt.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi))) 3) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	2.4b	(fma.f32 ux (-.f32 (exp.f32 (log1p.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi)))) 1) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
▶	0.3b	(fma.f32 ux (.f32 maxCos (.f32 zi (-.f32 1 ux))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	0.4b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2)))) 3) yi))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 uy 2))))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) (.f32 uy 2))) 3)) yi))))
	3.2b	(fma.f32 ux (-.f32 (.f32 maxCos zi) (.f32 maxCos (.f32 ux zi))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 2 (.f32 (PI.f32) (*.f32 uy yi))))))
	4.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (cbrt.f32 (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi) 3)))))
	1.1b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 uy 7) -8/315) (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) -4/3))))))))
	17.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 2))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3)))) yi))))

Compiler

Compiled 6954 to 3770 computations (45.8% saved)

localize103.0ms (1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f32 zi (-.f32 1 ux))
	0.2b	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
	0.2b	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)
	0.3b	(.f32 uy (.f32 2 (PI.f32)))

series7.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(*.f32 zi (-.f32 1 ux))

rewrite31.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

572×	`log1p-expm1-u_binary32`
572×	`expm1-log1p-u_binary32`
278×	`log-prod_binary32`
132×	`prod-diff_binary32`
108×	`expm1-udef_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	123	7
2	1507	7

Stop Event

1×	node limit

Counts

1 → 34

Calls

1 calls:

31.0ms

(*.f32 zi (-.f32 1 ux))

simplify30.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

126×	`fma-def_binary32`
71×	`fma-neg_binary32`
22×	`cancel-sign-sub-inv_binary32`
20×	`sub-neg_binary32`
18×	`associate-r_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	160
1	23	160
2	43	160
3	68	160
4	116	160
5	203	160
6	340	160
7	420	160
8	487	160
9	493	160

Stop Event

1×

saturated

Counts

58 → 39

prune628.0ms (6.1%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	121	4	125
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	124	16	140

Error

0.1b

Counts

140 → 16

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 (PI.f32) 7)))))))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(fma.f32 ux (.f32 maxCos (pow.f32 (cbrt.f32 (.f32 zi (-.f32 1 ux))) 3)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	4.9b	(fma.f32 ux (.f32 maxCos (.f32 zi (-.f32 1 ux))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (-.f32 (exp.f32 (log1p.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))))) 1) yi))))
	0.4b	(fma.f32 ux (pow.f32 (cbrt.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi))) 3) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	2.4b	(fma.f32 ux (-.f32 (exp.f32 (log1p.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi)))) 1) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	0.4b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2)))) 3) yi))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 uy 2))))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	4.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (cbrt.f32 (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi) 3)))))
	1.1b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 uy 7) -8/315) (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) -4/3))))))))
	17.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 2))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 3))))
▶	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3)))) yi))))
	3.0b	(fma.f32 ux (.f32 maxCos (+.f32 (log.f32 (.f32 (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi)) (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi)))) (log.f32 (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi))))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	3.2b	(fma.f32 ux (.f32 maxCos (.f32 zi (-.f32 1 ux))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 2 (.f32 (PI.f32) (.f32 uy yi))))))
	0.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (pow.f32 (cbrt.f32 (.f32 (PI.f32) (.f32 uy 2))) 3)) yi))))

Compiler

Compiled 7825 to 4776 computations (39% saved)

localize129.0ms (1.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (*.f32 2 (PI.f32)) 3)))) yi)
✓	0.3b	(.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3))
	0.3b	(.f32 uy (.f32 2 (PI.f32)))
✓	1.0b	(pow.f32 (*.f32 2 (PI.f32)) 3)

series34.0ms (0.3%)

Counts

3 → 36

Calls

3 calls:

21.0ms	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (*.f32 2 (PI.f32)) 3)))) yi)
13.0ms	(.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3))
0.0ms	(pow.f32 (*.f32 2 (PI.f32)) 3)

rewrite47.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

608×	`log-prod_binary32`
256×	`prod-diff_binary32`
211×	`expm1-udef_binary32`
211×	`log1p-udef_binary32`
200×	`log-pow_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	32
1	266	32
2	2986	32

Stop Event

1×	node limit

Counts

3 → 67

Calls

3 calls:

45.0ms	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (*.f32 2 (PI.f32)) 3)))) yi)
45.0ms	(.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3))
45.0ms	(pow.f32 (*.f32 2 (PI.f32)) 3)

simplify46.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

670×	`fma-neg_binary32`
463×	`distribute-rgt-neg-in_binary32`
451×	`distribute-lft-neg-in_binary32`
433×	`associate-l_binary32`
407×	`associate-r_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	59	596
1	168	592
2	527	588
3	2577	576
4	4834	576

Stop Event

1×	node limit

Counts

103 → 81

prune472.0ms (4.6%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	4	11	15
Picked	0	1	1
Done	0	0	0
Total	101	13	114

Error

0.1b

Counts

114 → 13

Alt Table

Status	Error	Program
	0.4b	(fma.f32 ux (pow.f32 (cbrt.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi))) 3) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	2.4b	(fma.f32 ux (-.f32 (exp.f32 (log1p.f32 (.f32 (-.f32 1 ux) (.f32 maxCos zi)))) 1) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
✓	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (pow.f32 (.f32 2 (PI.f32)) 3)))) yi))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 uy 3) (expm1.f32 (log1p.f32 (pow.f32 (.f32 2 (PI.f32)) 3)))))) yi))))
	0.4b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (pow.f32 (cbrt.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2)))) 3) yi))))
	0.3b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 (PI.f32) (.f32 uy 2))))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	4.2b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (cbrt.f32 (pow.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi) 3)))))
	1.1b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (fma.f32 (pow.f32 (PI.f32) 7) (.f32 (pow.f32 uy 7) -8/315) (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) -4/3))))))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(fma.f32 ux (.f32 maxCos (pow.f32 (cbrt.f32 (.f32 zi (-.f32 1 ux))) 3)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	17.5b	(fma.f32 ux (.f32 (-.f32 1 ux) (.f32 maxCos zi)) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (pow.f32 (sqrt.f32 (.f32 (sin.f32 (.f32 (PI.f32) (.f32 uy 2))) yi)) 2))))
	3.0b	(fma.f32 ux (.f32 maxCos (+.f32 (log.f32 (.f32 (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi)) (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi)))) (log.f32 (cbrt.f32 (pow.f32 (exp.f32 (-.f32 1 ux)) zi))))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	3.2b	(fma.f32 ux (.f32 maxCos (.f32 zi (-.f32 1 ux))) (.f32 (sqrt.f32 (fma.f32 (-.f32 1 ux) (.f32 (.f32 ux (.f32 maxCos (.f32 ux maxCos))) (+.f32 ux -1)) 1)) (fma.f32 (cos.f32 (.f32 uy (.f32 2 (PI.f32)))) xi (.f32 2 (.f32 (PI.f32) (.f32 uy yi))))))

Compiler

Compiled 5770 to 3527 computations (38.9% saved)

regimes2.7s (26%)

Accuracy

Total 0.2b remaining (52.5%)

Threshold costs 0.2b (52.5%)

Counts

151 → 1

Compiler

Compiled 82482 to 57918 computations (29.8% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

18×	`*-commutative_binary32`
8×	`+-commutative_binary32`
7×	`sub-neg_binary32`
5×	`neg-sub0_binary32`
5×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	69
1	56	69
2	69	69
3	82	69
4	89	69
5	92	69
6	93	69

Stop Event

1×

saturated

end421.0ms (4.1%)

Compiler: Compiled 841 to 595 computations (29.3% saved)

Iter	Nodes	Cost
0	10	160
1	23	160
2	43	160
3	68	160
4	116	160
5	203	160
6	340	160
7	420	160
8	487	160
9	493	160

Iter	Nodes	Cost
0	10	160
1	23	160
2	43	160
3	68	160
4	116	160
5	203	160
6	340	160
7	420	160
8	487	160
9	493	160

Details

analyze9.0ms (0.1%)

sample4.2s (40.8%)

simplify33.0ms (0.3%)

prune7.0ms (0.1%)

localize103.0ms (1%)

series38.0ms (0.4%)

rewrite53.0ms (0.5%)

simplify41.0ms (0.4%)

prune429.0ms (4.2%)

localize127.0ms (1.2%)

series10.0ms (0.1%)

rewrite36.0ms (0.4%)

simplify59.0ms (0.6%)

prune522.0ms (5.1%)

localize103.0ms (1%)

series7.0ms (0.1%)

rewrite31.0ms (0.3%)

simplify30.0ms (0.3%)

prune628.0ms (6.1%)

localize129.0ms (1.2%)

series34.0ms (0.3%)

rewrite47.0ms (0.5%)

simplify46.0ms (0.4%)

prune472.0ms (4.6%)

regimes2.7s (26%)

simplify5.0ms (0.1%)

end421.0ms (4.1%)

Profiling

Iter	Nodes	Cost
0	10	160
1	23	160
2	43	160
3	68	160
4	116	160
5	203	160
6	340	160
7	420	160
8	487	160
9	493	160