Details

analyze3.0s (32.4%)

Algorithm

1×

Search

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

Compiler

Compiled 123 to 87 computations (29.3% saved)

sample6.0s (64.4%)

Results

6.0s

8256×

body

128

valid

Compiler

Compiled 246 to 174 computations (29.3% saved)

preprocess58.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

593×	`fma-def_binary32`
355×	`associate-/l*_binary32`
350×	`times-frac_binary32`
251×	`associate-*l/_binary32`
241×	`associate-/r*_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	142	966
1	321	931
2	644	875
3	1822	819
4	4225	819
0	4	4

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 92 to 64 computations (30.4% saved)

simplify22.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

790×	`fma-def_binary32`
601×	`times-frac_binary32`
347×	`distribute-rgt-in_binary32`
336×	`associate-/l/_binary32`
284×	`distribute-lft-in_binary32`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	33	138
1	66	133
2	121	125
3	235	117
4	495	117
5	1791	117

Stop Event

1×	node limit

Counts

1 → 2

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.2b	(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (.f32 (fma.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphax alphax)) (.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (.f32 alphay alphay)))) (-.f32 1 u0))))))

Status

Error

Program

▶

0.2b

(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 u0 (*.f32 (fma.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (cos.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax)) (*.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (/.f32 (sin.f32 (atan.f32 (*.f32 alphay (/.f32 (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphay alphay)))) (-.f32 1 u0))))))

Compiler

Compiled 319 to 225 computations (29.5% saved)

localize104.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))
✓	0.4b	(*.f32 (PI.f32) (fma.f32 2 u1 1/2))
✓	12.7b	(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
✓	13.3b	(cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax))))

series110.0ms (1.2%)

Counts

4 → 96

Calls

24 calls:

10.0ms	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))	u1	0
9.0ms	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))	alphay	0
9.0ms	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))	u1	inf
9.0ms	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))	u1	-inf
9.0ms	(/.f32 (cos.f32 (atan.f32 (.f32 alphay (/.f32 (tan.f32 (.f32 (PI.f32) (fma.f32 2 u1 1/2))) alphax)))) (*.f32 alphax alphax))	alphay	-inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze3.0s (32.4%)

sample6.0s (64.4%)

preprocess58.0ms (0.6%)

simplify22.0ms (0.2%)

prune7.0ms (0.1%)

localize104.0ms (1.1%)

series110.0ms (1.2%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling