Details

Time bar (total: 12.8s)

analyze3.5s (27.6%)

Algorithm
1×search
Search
TrueOtherFalseIter
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.8s (53.1%)

Results
6.7s8256×body128valid
Compiler

Compiled 338 to 238 computations (29.6% saved)

simplify46.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
801×fma-def_binary32
676×div-sub_binary32
601×times-frac_binary32
366×associate-/l/_binary32
346×distribute-rgt-in_binary32
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033138
166133
2117125
3212117
4404117
51310117
64092117
75339117

prune7.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.2b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.2b
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (/.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (*.f32 alphay alphay)))) (-.f32 1 u0)))))
Compiler

Compiled 319 to 215 computations (32.6% saved)

localize119.0ms (0.9%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))
✓0.4b
(/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (*.f32 alphay alphay))
✓12.7b
(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
✓12.9b
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))

series284.0ms (2.2%)

Counts
4 → 120
Calls

4 calls:

131.0ms
(*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))
105.0ms
(/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (*.f32 alphay alphay))
25.0ms
(tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))
23.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))

rewrite93.0ms (0.7%)

Algorithm
2×batch-egg-rewrite
Rules
113×egg-rr
Counts
4 → 113
Calls

2 calls:

90.0ms
((cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (*.f32 alphay alphay)) (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))
0.0ms
()
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01879
139076
2496676
3667376
000
100

simplify90.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
953×associate-/r*_binary32
566×fma-def_binary32
363×associate-*l/_binary32
271×associate-/r/_binary32
147×associate-*r*_binary32
Counts
233 → 134
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01293923
14053919
217593864
350653864

prune791.0ms (6.2%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New3780378
Fresh000
Picked011
Done000
Total3781379
Error
0.2b
Counts
379 → 1
Alt Table
StatusErrorProgram
✓0.2b
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (fma.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (/.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2)))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 (PI.f32) (fma.f32 2 u1 1/2))))))) (*.f32 alphay alphay)))) (-.f32 1 u0)))))
Compiler

Compiled 32638 to 21006 computations (35.6% saved)

regimes914.0ms (7.1%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts
28 → 1
Compiler

Compiled 25861 to 18625 computations (28% saved)

simplify4.0ms (0%)

Algorithm
1×egg-herbie
Rules
4×*-commutative_binary32
3×+-commutative_binary32
2×sub-neg_binary32
1×neg-sub0_binary32
1×neg-mul-1_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
030100
138100
242100
344100
445100
544100

end115.0ms (0.9%)

Compiler

Compiled 211 to 149 computations (29.4% saved)

Profiling

Loading profile data...