Details

analyze8.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 118 to 85 computations (28% saved)

sample4.3s (21.1%)

Results

4.3s

8256×

body

128

valid

Compiler

Compiled 236 to 170 computations (28% saved)

preprocess35.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

16×	`fma-def_binary32`
1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	191	1584
1	209	1584
0	6	6

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 71 to 50 computations (29.6% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary32`
1×	`fma-def_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	99
1	30	99

Stop Event

1×

saturated

Counts

1 → 2

prune8.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
▶	0.3b	(+.f32 (fma.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	(+.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))

Status

Error

Program

▶

0.3b

(+.f32 (fma.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

(+.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))

Compiler

Compiled 417 to 290 computations (30.5% saved)

localize92.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (.f32 (-.f32 1 ux) maxCos) ux)
✓	0.2b	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
✓	0.2b	(.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)
✓	0.3b	(.f32 (.f32 uy 2) (PI.f32))

series413.0ms (2%)

Counts

4 → 108

Calls

27 calls:

189.0ms	(.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)	yi	0
44.0ms	(.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)	uy	-inf
29.0ms	(.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)	yi	-inf
23.0ms	(.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)	yi	inf
22.0ms	(.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)	uy	inf

rewrite53.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

344×	`log-pow_binary32`
331×	`expm1-udef_binary32`
331×	`log1p-udef_binary32`
187×	`add-sqr-sqrt_binary32`
175×	`log1p-expm1-u_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	64
1	355	64
2	3697	64

Stop Event

1×	node limit

Counts

4 → 58

simplify850.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

1601×	`sqr-pow_binary32`
537×	`pow-sqr_binary32`
68×	`cube-mult_binary32`
68×	`unpow3_binary32`
62×	`cube-prod_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	301	5354
1	441	5314
2	513	5314
3	581	5314
4	656	5314
5	734	5314
6	819	5314
7	908	5314
8	1003	5314
9	1102	5314
10	1207	5314
11	1316	5314
12	1431	5314
13	1550	5314
14	1675	5314
15	1804	5314
16	1939	5314
17	2078	5314
18	2223	5314
19	2372	5314
20	2527	5314
21	2686	5314
22	2723	5314
23	2727	5314
24	2727	5314
25	2882	5314
26	3047	5314
27	3220	5314
28	3399	5314
29	3582	5314
30	3771	5314
31	3964	5314
32	4163	5314
33	4366	5314
34	4575	5314
35	4788	5314
36	4796	5314
37	4800	5314
38	4800	5314

Stop Event

1×	node limit

Counts

166 → 134

prune1.8s (8.7%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	256	15	271
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	257	16	273

Error

0.1b

Counts

273 → 16

Alt Table

Status	Error	Program
	4.6b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) 3) (pow.f32 yi 3)))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.8b	(+.f32 (fma.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 (pow.f32 (pow.f32 (.f32 (.f32 uy 2) (PI.f32)) 3) 1/3)) (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.9b	(+.f32 (fma.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 maxCos ux) zi))
	10.3b	(+.f32 (fma.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 (log.f32 (pow.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.3b	(+.f32 (fma.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 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 3)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	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))
	1.1b	(+.f32 (fma.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 (fma.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/15 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))) (fma.f32 8/315 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 7) (pow.f32 uy 7))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 uy 2) 3) (pow.f32 (PI.f32) 3)))) (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	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos))) 2) zi))
	0.3b	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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))
	16.8b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 2)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	2.5b	(+.f32 (fma.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 -1 (.f32 maxCos (pow.f32 ux 2))) zi))

Compiler

Compiled 22952 to 15156 computations (34% saved)

localize103.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
	0.2b	(.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)
✓	0.2b	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))
	0.3b	(.f32 (.f32 uy 2) (PI.f32))

series9.0ms (0%)

Counts

1 → 12

Calls

6 calls:

3.0ms	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))	maxCos	-inf
2.0ms	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))	maxCos	0
2.0ms	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))	maxCos	inf
1.0ms	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))	ux	-inf
1.0ms	(*.f32 maxCos (-.f32 ux (pow.f32 ux 2)))	ux	inf

rewrite31.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

559×	`log1p-expm1-u_binary32`
559×	`expm1-log1p-u_binary32`
221×	`unpow-prod-down_binary32`
176×	`pow2_binary32`
169×	`log-prod_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	140	10
2	1500	10

Stop Event

1×	node limit

Counts

1 → 16

simplify2.8s (13.6%)

Algorithm

1×	egg-herbie

Rules

997×	`sqr-pow_binary32`
1×	`rem-sqrt-square_binary32`
1×	`1-exp_binary32`
1×	`unpow1_binary32`
1×	`unpow1/2_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	141
1	17	141
2	25	141
3	32	141
4	38	141
5	43	141
6	48	141
7	53	141
8	58	141
9	63	141
10	68	141
11	73	141
12	78	141
13	83	141
14	88	141
15	93	141
16	98	141
17	103	141
18	108	141
19	113	141
20	118	141
21	123	141
22	128	141
23	133	141
24	138	141
25	143	141
26	148	141
27	153	141
28	158	141
29	163	141
30	168	141
31	173	141
32	178	141
33	183	141
34	188	141
35	193	141
36	198	141
37	203	141
38	208	141
39	213	141
40	218	141
41	223	141
42	228	141
43	233	141
44	238	141
45	243	141
46	248	141
47	253	141
48	258	141
49	263	141
50	268	141
51	273	141
52	278	141
53	283	141
54	288	141
55	293	141
56	298	141
57	303	141
58	308	141
59	313	141
60	318	141
61	323	141
62	328	141
63	333	141
64	338	141
65	343	141
66	348	141
67	353	141
68	358	141
69	363	141
70	368	141
71	373	141
72	378	141
73	383	141
74	388	141
75	393	141
76	398	141
77	403	141
78	408	141
79	413	141
80	418	141
81	423	141
82	428	141
83	433	141
84	438	141
85	443	141
86	448	141
87	453	141
88	458	141
89	463	141
90	468	141
91	473	141
92	478	141
93	483	141
94	488	141
95	493	141
96	498	141
97	503	141
98	508	141
99	513	141
100	518	141
101	523	141
102	528	141
103	533	141
104	538	141
105	543	141
106	548	141
107	553	141
108	558	141
109	563	141
110	568	141
111	573	141
112	578	141
113	583	141
114	588	141
115	593	141
116	598	141
117	603	141
118	608	141
119	613	141
120	618	141
121	623	141
122	628	141
123	633	141
124	638	141
125	643	141
126	648	141
127	653	141
128	658	141
129	663	141
130	668	141
131	673	141
132	678	141
133	683	141
134	688	141
135	693	141
136	698	141
137	703	141
138	708	141
139	713	141
140	718	141
141	723	141
142	728	141
143	733	141
144	738	141
145	743	141
146	748	141
147	753	141
148	758	141
149	763	141
150	768	141
151	773	141
152	778	141
153	783	141
154	788	141
155	793	141
156	798	141
157	803	141
158	808	141
159	813	141
160	818	141
161	823	141
162	828	141
163	833	141
164	838	141
165	843	141
166	848	141
167	853	141
168	858	141
169	863	141
170	868	141
171	873	141
172	878	141
173	883	141
174	888	141
175	893	141
176	898	141
177	903	141
178	908	141
179	913	141
180	918	141
181	923	141
182	928	141
183	933	141
184	938	141
185	943	141
186	948	141
187	953	141
188	958	141
189	963	141
190	968	141
191	973	141
192	978	141
193	983	141
194	988	141
195	993	141
196	998	141
197	1003	141
198	1008	141
199	1013	141
200	1018	141
201	1023	141
202	1028	141
203	1033	141
204	1038	141
205	1043	141
206	1048	141
207	1053	141
208	1058	141
209	1063	141
210	1068	141
211	1073	141
212	1078	141
213	1083	141
214	1088	141
215	1093	141
216	1098	141
217	1103	141
218	1108	141
219	1113	141
220	1118	141
221	1123	141
222	1128	141
223	1133	141
224	1138	141
225	1143	141
226	1148	141
227	1153	141
228	1158	141
229	1163	141
230	1168	141
231	1173	141
232	1178	141
233	1183	141
234	1188	141
235	1193	141
236	1198	141
237	1203	141
238	1208	141
239	1213	141
240	1218	141
241	1223	141
242	1228	141
243	1233	141
244	1238	141
245	1243	141
246	1248	141
247	1253	141
248	1258	141
249	1263	141
250	1268	141
251	1273	141
252	1278	141
253	1283	141
254	1288	141
255	1293	141
256	1298	141
257	1303	141
258	1308	141
259	1313	141
260	1318	141
261	1323	141
262	1328	141
263	1333	141
264	1338	141
265	1343	141
266	1348	141
267	1353	141
268	1358	141
269	1363	141
270	1368	141
271	1373	141
272	1378	141
273	1383	141
274	1388	141
275	1393	141
276	1398	141
277	1403	141
278	1408	141
279	1413	141
280	1418	141
281	1423	141
282	1428	141
283	1433	141
284	1438	141
285	1443	141
286	1448	141
287	1453	141
288	1458	141
289	1463	141
290	1468	141
291	1473	141
292	1478	141
293	1483	141
294	1488	141
295	1493	141
296	1498	141
297	1503	141
298	1508	141
299	1513	141
300	1518	141
301	1523	141
302	1528	141
303	1533	141
304	1538	141
305	1543	141
306	1548	141
307	1553	141
308	1558	141
309	1563	141
310	1568	141
311	1573	141
312	1578	141
313	1583	141
314	1588	141
315	1593	141
316	1598	141
317	1603	141
318	1608	141
319	1613	141
320	1618	141
321	1623	141
322	1628	141
323	1633	141
324	1638	141
325	1643	141
326	1648	141
327	1653	141
328	1658	141
329	1663	141
330	1668	141
331	1673	141
332	1678	141
333	1683	141
334	1688	141
335	1693	141
336	1698	141
337	1703	141
338	1708	141
339	1713	141
340	1718	141
341	1723	141
342	1728	141
343	1733	141
344	1738	141
345	1743	141
346	1748	141
347	1753	141
348	1758	141
349	1763	141
350	1768	141
351	1773	141
352	1778	141
353	1783	141
354	1788	141
355	1793	141
356	1798	141
357	1803	141
358	1808	141
359	1813	141
360	1818	141
361	1823	141
362	1828	141
363	1833	141
364	1838	141
365	1843	141
366	1848	141
367	1853	141
368	1858	141
369	1863	141
370	1868	141
371	1873	141
372	1878	141
373	1883	141
374	1888	141
375	1893	141
376	1898	141
377	1903	141
378	1908	141
379	1913	141
380	1918	141
381	1923	141
382	1928	141
383	1933	141
384	1938	141
385	1943	141
386	1948	141
387	1953	141
388	1958	141
389	1963	141
390	1968	141
391	1973	141
392	1978	141
393	1983	141
394	1988	141
395	1993	141
396	1998	141
397	2003	141
398	2008	141
399	2013	141
400	2018	141
401	2023	141
402	2028	141
403	2033	141
404	2038	141
405	2043	141
406	2048	141
407	2053	141
408	2058	141
409	2063	141
410	2068	141
411	2073	141
412	2078	141
413	2083	141
414	2088	141
415	2093	141
416	2098	141
417	2103	141
418	2108	141
419	2113	141
420	2118	141
421	2123	141
422	2128	141
423	2133	141
424	2138	141
425	2143	141
426	2148	141
427	2153	141
428	2158	141
429	2163	141
430	2168	141
431	2173	141
432	2178	141
433	2183	141
434	2188	141
435	2193	141
436	2198	141
437	2203	141
438	2208	141
439	2213	141
440	2218	141
441	2223	141
442	2228	141
443	2233	141
444	2238	141
445	2243	141
446	2248	141
447	2253	141
448	2258	141
449	2263	141
450	2268	141
451	2273	141
452	2278	141
453	2283	141
454	2288	141
455	2293	141
456	2298	141
457	2303	141
458	2308	141
459	2313	141
460	2318	141
461	2323	141
462	2328	141
463	2333	141
464	2338	141
465	2343	141
466	2348	141
467	2353	141
468	2358	141
469	2363	141
470	2368	141
471	2373	141
472	2378	141
473	2383	141
474	2388	141
475	2393	141
476	2398	141
477	2403	141
478	2408	141
479	2413	141
480	2418	141
481	2423	141
482	2428	141
483	2433	141
484	2438	141
485	2443	141
486	2448	141
487	2453	141
488	2458	141
489	2463	141
490	2468	141
491	2473	141
492	2478	141
493	2483	141
494	2488	141
495	2493	141
496	2498	141
497	2503	141
498	2508	141
499	2513	141
500	2518	141
501	2523	141
502	2528	141
503	2533	141
504	2538	141
505	2543	141
506	2548	141
507	2553	141
508	2558	141
509	2563	141
510	2568	141
511	2573	141
512	2578	141
513	2583	141
514	2588	141
515	2593	141
516	2598	141
517	2603	141
518	2608	141
519	2613	141
520	2618	141
521	2623	141
522	2628	141
523	2633	141
524	2638	141
525	2643	141
526	2648	141
527	2653	141
528	2658	141
529	2663	141
530	2668	141
531	2673	141
532	2678	141
533	2683	141
534	2688	141
535	2693	141
536	2698	141
537	2703	141
538	2708	141
539	2713	141
540	2718	141
541	2723	141
542	2728	141
543	2733	141
544	2738	141
545	2743	141
546	2748	141
547	2753	141
548	2758	141
549	2763	141
550	2768	141
551	2773	141
552	2778	141
553	2783	141
554	2788	141
555	2793	141
556	2798	141
557	2803	141
558	2808	141
559	2813	141
560	2818	141
561	2823	141
562	2828	141
563	2833	141
564	2838	141
565	2843	141
566	2848	141
567	2853	141
568	2858	141
569	2863	141
570	2868	141
571	2873	141
572	2878	141
573	2883	141
574	2888	141
575	2893	141
576	2898	141
577	2903	141
578	2908	141
579	2913	141
580	2918	141
581	2923	141
582	2928	141
583	2933	141
584	2938	141
585	2943	141
586	2948	141
587	2953	141
588	2958	141
589	2963	141
590	2968	141
591	2973	141
592	2978	141
593	2983	141
594	2988	141
595	2993	141
596	2998	141
597	3003	141
598	3008	141
599	3013	141
600	3018	141
601	3023	141
602	3028	141
603	3033	141
604	3038	141
605	3043	141
606	3048	141
607	3053	141
608	3058	141
609	3063	141
610	3068	141
611	3073	141
612	3078	141
613	3083	141
614	3088	141
615	3093	141
616	3098	141
617	3103	141
618	3108	141
619	3113	141
620	3118	141
621	3123	141
622	3128	141
623	3133	141
624	3138	141
625	3143	141
626	3148	141
627	3153	141
628	3158	141
629	3163	141
630	3168	141
631	3173	141
632	3178	141
633	3183	141
634	3188	141
635	3193	141
636	3198	141
637	3203	141
638	3208	141
639	3213	141
640	3218	141
641	3223	141
642	3228	141
643	3233	141
644	3238	141
645	3243	141
646	3248	141
647	3253	141
648	3258	141
649	3263	141
650	3268	141
651	3273	141
652	3278	141
653	3283	141
654	3288	141
655	3293	141
656	3298	141
657	3303	141
658	3308	141
659	3313	141
660	3318	141
661	3323	141
662	3328	141
663	3333	141
664	3338	141
665	3343	141
666	3348	141
667	3353	141
668	3358	141
669	3363	141
670	3368	141
671	3373	141
672	3378	141
673	3383	141
674	3388	141
675	3393	141
676	3398	141
677	3403	141
678	3408	141
679	3413	141
680	3418	141
681	3423	141
682	3428	141
683	3433	141
684	3438	141
685	3443	141
686	3448	141
687	3453	141
688	3458	141
689	3463	141
690	3468	141
691	3473	141
692	3478	141
693	3483	141
694	3488	141
695	3493	141
696	3498	141
697	3503	141
698	3508	141
699	3513	141
700	3518	141
701	3523	141
702	3528	141
703	3533	141
704	3538	141
705	3543	141
706	3548	141
707	3553	141
708	3558	141
709	3563	141
710	3568	141
711	3573	141
712	3578	141
713	3583	141
714	3588	141
715	3593	141
716	3598	141
717	3603	141
718	3608	141
719	3613	141
720	3618	141
721	3623	141
722	3628	141
723	3633	141
724	3638	141
725	3643	141
726	3648	141
727	3653	141
728	3658	141
729	3663	141
730	3668	141
731	3673	141
732	3678	141
733	3683	141
734	3688	141
735	3693	141
736	3698	141
737	3703	141
738	3708	141
739	3713	141
740	3718	141
741	3723	141
742	3728	141
743	3733	141
744	3738	141
745	3743	141
746	3748	141
747	3753	141
748	3758	141
749	3763	141
750	3768	141
751	3773	141
752	3778	141
753	3783	141
754	3788	141
755	3793	141
756	3798	141
757	3803	141
758	3808	141
759	3813	141
760	3818	141
761	3823	141
762	3828	141
763	3833	141
764	3838	141
765	3843	141
766	3848	141
767	3853	141
768	3858	141
769	3863	141
770	3868	141
771	3873	141
772	3878	141
773	3883	141
774	3888	141
775	3893	141
776	3898	141
777	3903	141
778	3908	141
779	3913	141
780	3918	141
781	3923	141
782	3928	141
783	3933	141
784	3938	141
785	3943	141
786	3948	141
787	3953	141
788	3958	141
789	3963	141
790	3968	141
791	3973	141
792	3978	141
793	3983	141
794	3988	141
795	3993	141
796	3998	141
797	4003	141
798	4008	141
799	4013	141
800	4018	141
801	4023	141
802	4028	141
803	4033	141
804	4038	141
805	4043	141
806	4048	141
807	4053	141
808	4058	141
809	4063	141
810	4068	141
811	4073	141
812	4078	141
813	4083	141
814	4088	141
815	4093	141
816	4098	141
817	4103	141
818	4108	141
819	4113	141
820	4118	141
821	4123	141
822	4128	141
823	4133	141
824	4138	141
825	4143	141
826	4148	141
827	4153	141
828	4158	141
829	4163	141
830	4168	141
831	4173	141
832	4178	141
833	4183	141
834	4188	141
835	4193	141
836	4198	141
837	4203	141
838	4208	141
839	4213	141
840	4218	141
841	4223	141
842	4228	141
843	4233	141
844	4238	141
845	4243	141
846	4248	141
847	4253	141
848	4258	141
849	4263	141
850	4268	141
851	4273	141
852	4278	141
853	4283	141
854	4288	141
855	4293	141
856	4298	141
857	4303	141
858	4308	141
859	4313	141
860	4318	141
861	4323	141
862	4328	141
863	4333	141
864	4338	141
865	4343	141
866	4348	141
867	4353	141
868	4358	141
869	4363	141
870	4368	141
871	4373	141
872	4378	141
873	4383	141
874	4388	141
875	4393	141
876	4398	141
877	4403	141
878	4408	141
879	4413	141
880	4418	141
881	4423	141
882	4428	141
883	4433	141
884	4438	141
885	4443	141
886	4448	141
887	4453	141
888	4458	141
889	4463	141
890	4468	141
891	4473	141
892	4478	141
893	4483	141
894	4488	141
895	4493	141
896	4498	141
897	4503	141
898	4508	141
899	4513	141
900	4518	141
901	4523	141
902	4528	141
903	4533	141
904	4538	141
905	4543	141
906	4548	141
907	4553	141
908	4558	141
909	4563	141
910	4568	141
911	4573	141
912	4578	141
913	4583	141
914	4588	141
915	4593	141
916	4598	141
917	4603	141
918	4608	141
919	4613	141
920	4618	141
921	4623	141
922	4628	141
923	4633	141
924	4638	141
925	4643	141
926	4648	141
927	4653	141
928	4658	141
929	4663	141
930	4668	141
931	4673	141
932	4678	141
933	4683	141
934	4688	141
935	4693	141
936	4698	141
937	4703	141
938	4708	141
939	4713	141
940	4718	141
941	4723	141
942	4728	141
943	4733	141
944	4738	141
945	4743	141
946	4748	141
947	4753	141
948	4758	141
949	4763	141
950	4768	141
951	4773	141
952	4778	141
953	4783	141
954	4788	141
955	4793	141
956	4798	141
957	4803	141
958	4808	141
959	4813	141
960	4818	141
961	4823	141
962	4828	141
963	4833	141
964	4838	141
965	4843	141
966	4848	141
967	4853	141
968	4858	141
969	4863	141
970	4868	141
971	4873	141
972	4878	141
973	4883	141
974	4888	141
975	4893	141
976	4898	141
977	4903	141
978	4908	141
979	4913	141
980	4918	141
981	4923	141
982	4928	141
983	4933	141
984	4938	141
985	4943	141
986	4948	141
987	4953	141
988	4958	141
989	4963	141
990	4968	141
991	4973	141
992	4978	141
993	4983	141
994	4988	141
995	4993	141
996	4998	141

Stop Event

1×	node limit

Counts

28 → 21

prune912.0ms (4.5%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	168	4	172
Fresh	4	11	15
Picked	1	0	1
Done	0	0	0
Total	173	15	188

Error

0.1b

Counts

188 → 15

Alt Table

Status	Error	Program
	10.3b	(+.f32 (fma.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 (log.f32 (pow.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.3b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 uy 2) 3) (pow.f32 (PI.f32) 3)))) (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.6b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) 3) (pow.f32 yi 3)))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.4b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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.8b	(+.f32 (fma.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 (pow.f32 (pow.f32 (.f32 (.f32 uy 2) (PI.f32)) 3) 1/3)) (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.9b	(+.f32 (fma.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 maxCos ux) zi))
	0.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 3)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	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	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2) zi))
	16.8b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 2)) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	1.1b	(+.f32 (fma.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 (fma.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/15 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))) (fma.f32 8/315 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 7) (pow.f32 uy 7))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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))
	2.5b	(+.f32 (fma.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 -1 (.f32 maxCos (pow.f32 ux 2))) zi))

Compiler

Compiled 16308 to 10704 computations (34.4% saved)

localize117.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 maxCos (-.f32 ux (.f32 ux ux)))
	0.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.4b	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)
✓	1.4b	(sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux))))

series168.0ms (0.8%)

Counts

3 → 40

Calls

18 calls:

24.0ms	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)	ux	inf
23.0ms	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)	ux	-inf
20.0ms	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)	maxCos	-inf
19.0ms	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)	maxCos	inf
18.0ms	(pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2)	maxCos	0

rewrite39.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

625×	`log1p-expm1-u_binary32`
625×	`expm1-log1p-u_binary32`
191×	`log-prod_binary32`
145×	`log-pow_binary32`
138×	`expm1-udef_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	32
1	180	32
2	1717	32

Stop Event

1×	node limit

Counts

3 → 62

simplify273.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1732×	`sqr-pow_binary32`
764×	`pow-sqr_binary32`
78×	`cube-prod_binary32`
78×	`cube-mult_binary32`
78×	`unpow3_binary32`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	43	694
1	78	654
2	105	654
3	137	654
4	177	654
5	217	654
6	264	654
7	314	654
8	371	654
9	431	654
10	498	654
11	568	654
12	645	654
13	725	654
14	812	654
15	902	654
16	999	654
17	1099	654
18	1206	654
19	1316	654
20	1433	654
21	1553	654
22	1680	654
23	1810	654
24	1947	654
25	2087	654
26	2234	654
27	2242	654
28	2246	654
29	2246	654
30	2394	654
31	2547	654
32	2707	654
33	2874	654
34	3044	654
35	3221	654
36	3401	654
37	3588	654
38	3778	654
39	3975	654
40	4175	654
41	4183	654
42	4187	654
43	4187	654
44	4392	654
45	4598	654
46	4815	654

Stop Event

1×	node limit

Counts

102 → 73

prune613.0ms (3%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	103	0	103
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	103	15	118

Error

0.1b

Counts

118 → 15

Alt Table

Status	Error	Program
	10.3b	(+.f32 (fma.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 (log.f32 (pow.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.3b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 uy 2) 3) (pow.f32 (PI.f32) 3)))) (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.6b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) 3) (pow.f32 yi 3)))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.4b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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.8b	(+.f32 (fma.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 (pow.f32 (pow.f32 (.f32 (.f32 uy 2) (PI.f32)) 3) 1/3)) (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.9b	(+.f32 (fma.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 maxCos ux) zi))
	0.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 3)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	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	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2) zi))
	16.8b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 2)) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	1.1b	(+.f32 (fma.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 (fma.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/15 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))) (fma.f32 8/315 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 7) (pow.f32 uy 7))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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))
	2.5b	(+.f32 (fma.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 -1 (.f32 maxCos (pow.f32 ux 2))) zi))

Compiler

Compiled 9779 to 6250 computations (36.1% saved)

localize87.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f32 (.f32 (-.f32 1 ux) maxCos) ux)
	0.2b	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
	0.2b	(.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)
	0.3b	(.f32 (.f32 uy 2) (PI.f32))

prune1.7s (8.3%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	13	13
Picked	0	1	1
Done	0	1	1
Total	271	15	286

Error

0.1b

Counts

286 → 15

Alt Table

Status	Error	Program
	10.3b	(+.f32 (fma.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 (log.f32 (pow.f32 (pow.f32 (exp.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.3b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 uy 2) 3) (pow.f32 (PI.f32) 3)))) (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.6b	(+.f32 (fma.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 (cbrt.f32 (.f32 (pow.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) 3) (pow.f32 yi 3)))) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	0.4b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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.8b	(+.f32 (fma.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 (pow.f32 (pow.f32 (.f32 (.f32 uy 2) (PI.f32)) 3) 1/3)) (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.9b	(+.f32 (fma.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 maxCos ux) zi))
	0.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 3)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
✓	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	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 maxCos (-.f32 ux (.f32 ux ux)))) 2) zi))
	16.8b	(+.f32 (fma.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 (pow.f32 (sqrt.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (pow.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) 2)))) yi)) 2)) (.f32 (.f32 maxCos (-.f32 ux (pow.f32 ux 2))) zi))
	1.1b	(+.f32 (fma.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 (fma.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/15 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))) (fma.f32 8/315 (.f32 (.f32 yi (.f32 (pow.f32 (PI.f32) 7) (pow.f32 uy 7))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (.f32 4/3 (.f32 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (fma.f32 (.f32 maxCos maxCos) (.f32 ux ux) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))))))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 2)) (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	(+.f32 (fma.f32 (.f32 (cos.f32 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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.5b	(+.f32 (fma.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 (pow.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) 3)) (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))
	2.5b	(+.f32 (fma.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 -1 (.f32 maxCos (pow.f32 ux 2))) zi))

Compiler

Compiled 21897 to 14500 computations (33.8% saved)

regimes5.4s (26.6%)

Accuracy

Total 0.2b remaining (49.6%)

Threshold costs 0.2b (49.6%)

Counts

214 → 1

Compiler

Compiled 156309 to 112245 computations (28.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	97
1	38	97

Stop Event

1×

saturated

end628.0ms (3.1%)

Stop Event

1×

fuel

Compiler

Compiled 1322 to 927 computations (29.9% saved)

Details

analyze8.0ms (0%)

sample4.3s (21.1%)

preprocess35.0ms (0.2%)

simplify7.0ms (0%)

prune8.0ms (0%)

localize92.0ms (0.5%)

series413.0ms (2%)

rewrite53.0ms (0.3%)

simplify850.0ms (4.2%)

prune1.8s (8.7%)

localize103.0ms (0.5%)

series9.0ms (0%)

rewrite31.0ms (0.2%)

simplify2.8s (13.6%)

prune912.0ms (4.5%)

localize117.0ms (0.6%)

series168.0ms (0.8%)

rewrite39.0ms (0.2%)

simplify273.0ms (1.3%)

prune613.0ms (3%)

localize87.0ms (0.4%)

prune1.7s (8.3%)

regimes5.4s (26.6%)

simplify2.0ms (0%)

end628.0ms (3.1%)

Profiling