Details

analyze9.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 118 to 85 computations (28% saved)

sample3.9s (94.4%)

Results

3.9s

8256×

body

128

valid

Compiler

Compiled 236 to 170 computations (28% saved)

preprocess61.0ms (1.5%)

Algorithm

2×	egg-herbie

Rules

404×	`distribute-rgt-neg-in_binary32`
374×	`distribute-lft-neg-in_binary32`
320×	`distribute-rgt-in_binary32`
274×	`distribute-lft-in_binary32`
271×	`associate-r_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	191	1584
1	601	1552
2	2217	1120
3	4855	1120
0	6	6

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 71 to 50 computations (29.6% saved)

simplify31.0ms (0.8%)

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.2%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	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 (sin.f32 (.f32 uy (.f32 2 (PI.f32)))) yi))))
	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 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.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 (sin.f32 (*.f32 uy (*.f32 2 (PI.f32)))) yi))))

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 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 354 to 245 computations (30.8% saved)

localize93.0ms (2.3%)

Local error

Found 4 expressions with local error:

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

series28.0ms (0.7%)

Counts

4 → 68

Calls

21 calls:

3.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)	yi	-inf
2.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)	yi	0
2.0ms	(.f32 (-.f32 1 ux) (.f32 maxCos zi))	maxCos	-inf
2.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)	yi	inf
2.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) yi)	uy	0

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze9.0ms (0.2%)

sample3.9s (94.4%)

preprocess61.0ms (1.5%)

simplify31.0ms (0.8%)

prune7.0ms (0.2%)

localize93.0ms (2.3%)

series28.0ms (0.7%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling