Details

analyze702.0ms (22.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.1%	99.9%	0
0%	0.1%	99.9%	1
0%	0.1%	99.9%	2
0%	0.1%	99.9%	3
0%	0%	99.9%	4
0%	0%	99.9%	5
0%	0%	99.9%	6
0.1%	0%	99.9%	7
0.1%	0%	99.9%	8
0.1%	0%	99.9%	9
0.1%	0%	99.9%	10
0.1%	0%	99.9%	11
0.1%	0%	99.9%	12
0.1%	0%	99.9%	13
0.1%	0%	99.9%	14

Compiler

Compiled 51 to 37 computations (27.5% saved)

sample2.2s (69.1%)

Results

2.2s

8256×

body

128

valid

Compiler

Compiled 102 to 74 computations (27.5% saved)

preprocess31.0ms (1%)

Algorithm

2×	egg-herbie

Rules

470×	`associate--r+_binary32`
333×	`distribute-neg-in_binary32`
293×	`associate-l_binary32`
285×	`associate-r_binary32`
247×	`cancel-sign-sub-inv_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	156
1	127	140
2	449	140
3	2073	132
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 28 to 20 computations (28.6% saved)

simplify22.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

674×	`fma-neg_binary32`
316×	`distribute-rgt-in_binary32`
280×	`unsub-neg_binary32`
279×	`distribute-lft-in_binary32`
275×	`distribute-neg-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	39
1	41	35
2	128	35
3	564	33
4	2968	33

Stop Event

1×	node limit

Counts

1 → 2

prune6.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

14.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.5b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
▶	14.5b	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))

Status

Error

Program

14.5b

(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

▶

14.5b

(*.f32 (sin.f32 (*.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))

Compiler

Compiled 156 to 110 computations (29.5% saved)

localize47.0ms (1.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sin.f32 (.f32 uy (.f32 2 (PI.f32))))
✓	0.4b	(.f32 uy (.f32 2 (PI.f32)))
✓	0.4b	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))
✓	15.1b	(fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)

series164.0ms (5.2%)

Counts

4 → 80

Calls

21 calls:

28.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))	ux	0
18.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))	maxCos	-inf
17.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))	maxCos	0
16.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))	maxCos	inf
15.0ms	(.f32 (sin.f32 (.f32 uy (*.f32 2 (PI.f32)))) (sqrt.f32 (fma.f32 (-.f32 (fma.f32 ux maxCos 1) ux) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))	uy	inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze702.0ms (22.4%)

sample2.2s (69.1%)

preprocess31.0ms (1%)

simplify22.0ms (0.7%)

prune6.0ms (0.2%)

localize47.0ms (1.5%)

series164.0ms (5.2%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling