Details

Time bar (total: 2.2s)

analyze127.0ms (5.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.6%99.4%0
0%0.6%99.4%1
0%0.6%99.4%2
0.3%0.3%99.4%3
0.3%0.3%99.4%4
0.5%0.2%99.4%5
0.5%0.2%99.4%6
0.6%0.1%99.4%7
0.6%0.1%99.4%8
0.6%0%99.4%9
0.6%0%99.4%10
0.6%0%99.4%11
0.6%0%99.4%12
0.6%0%99.4%13
0.6%0%99.4%14
Compiler

Compiled 41 to 27 computations (34.1% saved)

sample1.7s (79.6%)

Results
1.7s8256×body128valid
Compiler

Compiled 82 to 54 computations (34.1% saved)

preprocess37.0ms (1.7%)

Algorithm
2×egg-herbie
Rules
712×distribute-rgt-in_binary32
694×distribute-lft-in_binary32
348×fma-def_binary32
322×times-frac_binary32
140×associate-/l/_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02366
17962
231762
3161562
022
Stop Event
1×saturated
1×node limit
Compiler

Compiled 26 to 16 computations (38.5% saved)

simplify26.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
435×associate-*l*_binary32
360×distribute-rgt-in_binary32
359×distribute-lft-in_binary32
342×associate-*r*_binary32
242×associate-/r*_binary32
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01433
14531
216631
382331
4424031
Stop Event
1×node limit
Counts
1 → 2

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.5b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.5b
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1)))
0.5b
(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
Compiler

Compiled 145 to 87 computations (40% saved)

localize45.0ms (2.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
✓0.1b
(log.f32 (*.f32 alpha alpha))
✓0.3b
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1)))
✓0.4b
(*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))

series209.0ms (9.5%)

Counts
4 → 72
Calls

18 calls:

27.0ms
(*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
cosTheta
inf
27.0ms
(*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
cosTheta
-inf
26.0ms
(*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1))
cosTheta
0
13.0ms
(*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha)))
alpha
0
12.0ms
(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1)))
cosTheta
0

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...