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.3s (25.8%)

Results

4.2s

8256×

body

128

valid

Compiler

Compiled 307 to 220 computations (28.3% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

929×	`unsub-neg_binary32`
384×	`associate--l-_binary32`
362×	`distribute-rgt-in_binary32`
356×	`distribute-neg-in_binary32`
347×	`distribute-rgt-neg-in_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	99
1	67	97
2	204	70
3	683	66
4	1864	66
5	2617	66
6	4625	66
7	5073	66

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.2b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

0.2b

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

Compiler

Compiled 354 to 242 computations (31.6% saved)

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

series325.0ms (1.9%)

Counts

4 → 108

Calls

4 calls:

290.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)
24.0ms	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
8.0ms	(.f32 (.f32 (-.f32 1 ux) maxCos) ux)
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

rewrite65.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

133×	`pow1_binary32`
75×	`pow-prod-down_binary32`
55×	`add-cbrt-cube_binary32`
55×	`add-exp-log_binary32`
36×	`cbrt-unprod_binary32`

Counts

4 → 134

Calls

4 calls:

30.0ms	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
9.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)
7.0ms	(.f32 (.f32 (-.f32 1 ux) maxCos) ux)
4.0ms	(.f32 (.f32 uy 2) (PI.f32))

simplify205.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

584×	`times-frac_binary32`
496×	`*-commutative_binary32`
413×	`fma-neg_binary32`
273×	`fma-def_binary32`
187×	`sub-neg_binary32`

Counts

242 → 225

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	475	7814
1	1349	6991
2	3537	6975
3	4914	6975
4	5032	6975

prune2.2s (13%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	471	10	481
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	472	11	483

Error

0.1b

Counts

483 → 11

Alt Table

Status	Error	Program
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.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	(+.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 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux)) (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux))) zi))
	0.4b	(+.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 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.2b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (log.f32 (exp.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.2b	(+.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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (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 (+.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 (cbrt.f32 (pow.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)) 3)) zi))
	0.2b	(+.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 (-.f32 1 ux) maxCos) (sqrt.f32 ux)) (sqrt.f32 ux)) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))) 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.2b	(+.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 (.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))) (.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (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 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 38694 to 25309 computations (34.6% saved)

localize99.0ms (0.6%)

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.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	13.0b	(log.f32 (exp.f32 (.f32 (.f32 uy 2) (PI.f32))))

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(log.f32 (exp.f32 (*.f32 (*.f32 uy 2) (PI.f32))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`log-prod_binary32`
3×	`log-pow_binary32`
2×	`*-un-lft-identity_binary32`
2×	`add-sqr-sqrt_binary32`
2×	`add-cube-cbrt_binary32`

Counts

1 → 16

Calls

1 calls:

3.0ms

(log.f32 (exp.f32 (*.f32 (*.f32 uy 2) (PI.f32))))

simplify101.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

515×	`distribute-rgt-in_binary32`
466×	`distribute-lft-in_binary32`
455×	`associate-*l/_binary32`
455×	`distribute-rgt-out_binary32`
395×	`associate-+r+_binary32`

Counts

28 → 27

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	30	311
1	42	283
2	130	277
3	510	277
4	930	265
5	1826	265
6	4353	265
7	4986	265
8	4865	265
9	4888	265

prune1.8s (10.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	311	2	313
Fresh	2	8	10
Picked	1	0	1
Done	0	0	0
Total	314	10	324

Error

0.1b

Counts

324 → 10

Alt Table

Status	Error	Program
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (log.f32 (exp.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))))) 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.2b	(+.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 (-.f32 1 ux) maxCos) (sqrt.f32 ux)) (sqrt.f32 ux)) zi))
	1.2b	(+.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 (.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))) (.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (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 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.2b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 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 (+.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 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	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 (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux)) (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux))) zi))
	0.4b	(+.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 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.2b	(+.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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (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 (+.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 (cbrt.f32 (pow.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)) 3)) zi))

Compiler

Compiled 27317 to 18131 computations (33.6% saved)

localize100.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	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))
✓	0.3b	(.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 2))))
✓	14.5b	(log.f32 (exp.f32 (*.f32 uy 2)))

series5.0ms (0%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 2))))
2.0ms	(log.f32 (exp.f32 (*.f32 uy 2)))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`log-prod_binary32`
9×	`add-sqr-sqrt_binary32`
7×	`*-un-lft-identity_binary32`
7×	`add-cube-cbrt_binary32`
6×	`associate-r_binary32`

Counts

2 → 48

Calls

2 calls:

4.0ms	(.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 2))))
1.0ms	(log.f32 (exp.f32 (*.f32 uy 2)))

simplify95.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

493×	`distribute-rgt-in_binary32`
482×	`fma-def_binary32`
425×	`distribute-lft-in_binary32`
396×	`associate-/l/_binary32`
347×	`associate-l_binary32`

Counts

72 → 74

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	65	655
1	96	591
2	312	591
3	857	591
4	1255	591
5	3295	591
6	4979	591
7	5000	591
8	4919	591

prune927.0ms (5.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	189	1	190
Fresh	0	9	9
Picked	1	0	1
Done	0	0	0
Total	190	10	200

Error

0.1b

Counts

200 → 10

Alt Table

Status	Error	Program
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (log.f32 (exp.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))))) 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.2b	(+.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 (-.f32 1 ux) maxCos) (sqrt.f32 ux)) (sqrt.f32 ux)) zi))
	0.4b	(+.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 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	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 (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux)) (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux))) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 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 (.f32 2 uy) (sqrt.f32 (PI.f32))) (sqrt.f32 (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 (+.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 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.2b	(+.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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (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 (+.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 (cbrt.f32 (pow.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)) 3)) zi))
	1.2b	(+.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 (.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))) (.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (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 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 17901 to 11917 computations (33.4% saved)

localize115.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)))
	0.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.3b	(.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (*.f32 uy 2))
✓	1.0b	(*.f32 (PI.f32) (PI.f32))

series18.0ms (0.1%)

Counts

3 → 24

Calls

3 calls:

14.0ms	(.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)))
3.0ms	(.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (*.f32 uy 2))
0.0ms	(*.f32 (PI.f32) (PI.f32))

rewrite127.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

918×	`pow1_binary32`
450×	`pow-prod-down_binary32`
247×	`add-cbrt-cube_binary32`
238×	`add-exp-log_binary32`
238×	`pow-prod-up_binary32`

Counts

3 → 319

Calls

3 calls:

39.0ms	(.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)))
11.0ms	(.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (*.f32 uy 2))
3.0ms	(*.f32 (PI.f32) (PI.f32))

simplify154.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

655×	`fma-def_binary32`
466×	`sqr-pow_binary32`
386×	`associate-l_binary32`
325×	`associate-r_binary32`
286×	`log-prod_binary32`

Counts

343 → 167

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	163	5654
1	252	3411
2	1381	3345
3	2207	3256
4	3518	2931
5	4975	2931

prune1.1s (6.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	197	0	197
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	197	10	207

Error

0.1b

Counts

207 → 10

Alt Table

Status	Error	Program
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (log.f32 (exp.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4))))) 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.2b	(+.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 (-.f32 1 ux) maxCos) (sqrt.f32 ux)) (sqrt.f32 ux)) zi))
	0.4b	(+.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 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	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 (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux)) (sqrt.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux))) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (PI.f32) (log.f32 (exp.f32 (.f32 uy 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 (.f32 2 uy) (sqrt.f32 (PI.f32))) (sqrt.f32 (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 (+.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 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
✓	0.2b	(+.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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 (PI.f32) (PI.f32)) (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 (+.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 (cbrt.f32 (pow.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)) 3)) zi))
	1.2b	(+.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 (.f32 2 (.f32 (.f32 (PI.f32) (.f32 uy yi)) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))) (.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 (PI.f32) 5))) (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (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 (pow.f32 maxCos 2) (pow.f32 ux 3)))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 (pow.f32 maxCos 2) (pow.f32 ux 4))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 17726 to 11374 computations (35.8% saved)

regimes3.8s (22.6%)

Accuracy

Total 0.2b remaining (55.2%)

Threshold costs 0.2b (55.2%)

Counts

155 → 1

Compiler

Compiled 132983 to 94676 computations (28.8% saved)

simplify15.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`distribute-rgt-neg-in_binary32`
26×	`distribute-lft-neg-in_binary32`
25×	`cancel-sign-sub-inv_binary32`
21×	`*-commutative_binary32`
19×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	117
1	62	117
2	76	117
3	90	117
4	103	117
5	118	117
6	127	117
7	143	117
8	169	117
9	195	117
10	207	117
11	214	117
12	216	117
13	210	117

end1.1s (6.4%)

Compiler: Compiled 981 to 693 computations (29.4% saved)

Iter	Nodes	Cost
0	38	117
1	62	117
2	76	117
3	90	117
4	103	117
5	118	117
6	127	117
7	143	117
8	169	117
9	195	117
10	207	117
11	214	117
12	216	117
13	210	117

Iter	Nodes	Cost
0	38	117
1	62	117
2	76	117
3	90	117
4	103	117
5	118	117
6	127	117
7	143	117
8	169	117
9	195	117
10	207	117
11	214	117
12	216	117
13	210	117

Details

analyze9.0ms (0.1%)

sample4.3s (25.8%)

simplify69.0ms (0.4%)

prune8.0ms (0%)

localize91.0ms (0.5%)

series325.0ms (1.9%)

rewrite65.0ms (0.4%)

simplify205.0ms (1.2%)

prune2.2s (13%)

localize99.0ms (0.6%)

series3.0ms (0%)

rewrite3.0ms (0%)

simplify101.0ms (0.6%)

prune1.8s (10.5%)

localize100.0ms (0.6%)

series5.0ms (0%)

rewrite10.0ms (0.1%)

simplify95.0ms (0.6%)

prune927.0ms (5.5%)

localize115.0ms (0.7%)

series18.0ms (0.1%)

rewrite127.0ms (0.8%)

simplify154.0ms (0.9%)

prune1.1s (6.5%)

regimes3.8s (22.6%)

simplify15.0ms (0.1%)

end1.1s (6.4%)

Profiling

Iter	Nodes	Cost
0	38	117
1	62	117
2	76	117
3	90	117
4	103	117
5	118	117
6	127	117
7	143	117
8	169	117
9	195	117
10	207	117
11	214	117
12	216	117
13	210	117