Details

Time bar (total: 7.6s)

analyze5.0ms (0.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%0.1%99.9%0
0.1%0%99.9%1
Compiler

Compiled 33 to 24 computations (27.3% saved)

sample1.5s (19.3%)

Results
1.4s8255×body128valid
0.0ms1×body256valid
Compiler

Compiled 76 to 55 computations (27.6% saved)

simplify18.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
199×fma-def_binary32
155×fma-neg_binary32
47×cancel-sign-sub-inv_binary32
34×sub-neg_binary32
26×unsub-neg_binary32
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0710
1158
2358
3638
41428
52628
63818
74348
84588
94638
104288

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0.0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
Compiler

Compiled 34 to 22 computations (35.3% saved)

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))

series4.0ms (0.1%)

Counts
1 → 24
Calls

1 calls:

4.0ms
(fma.f32 ux maxCos (-.f32 1 ux))

rewrite1.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
1×*-un-lft-identity_binary32
1×add-sqr-sqrt_binary32
1×add-cube-cbrt_binary32
1×add-cbrt-cube_binary32
1×add-exp-log_binary32
Counts
1 → 10
Calls

1 calls:

0.0ms
(fma.f32 ux maxCos (-.f32 1 ux))

simplify58.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
555×fma-neg_binary32
470×times-frac_binary32
313×distribute-rgt-in_binary32
309×neg-sub0_binary32
301×distribute-lft-in_binary32
Counts
34 → 26
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
025331
145278
299277
3292277
41097277
52072277
64492277
75251277

prune12.0ms (0.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked011
Done000
Total25227
Error
0b
Counts
27 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
▶0.0b
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
Compiler

Compiled 268 to 160 computations (40.3% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
✓0.0b
(*.f32 maxCos ux)
✓0.0b
(-.f32 (*.f32 maxCos ux) ux)
✓0.0b
(log1p.f32 (-.f32 (*.f32 maxCos ux) ux))

series5.7s (75.5%)

Counts
4 → 63
Calls

4 calls:

5.7s
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
13.0ms
(log1p.f32 (-.f32 (*.f32 maxCos ux) ux))
5.0ms
(*.f32 maxCos ux)
4.0ms
(-.f32 (*.f32 maxCos ux) ux)

rewrite9.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
11×add-sqr-sqrt_binary32
10×*-un-lft-identity_binary32
9×add-cube-cbrt_binary32
7×add-log-exp_binary32
6×add-cbrt-cube_binary32
Counts
4 → 66
Calls

4 calls:

3.0ms
(-.f32 (*.f32 maxCos ux) ux)
3.0ms
(*.f32 maxCos ux)
1.0ms
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
1.0ms
(log1p.f32 (-.f32 (*.f32 maxCos ux) ux))

simplify71.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
370×fma-neg_binary32
309×sub-neg_binary32
275×cancel-sign-sub-inv_binary32
225×fma-def_binary32
216×unswap-sqr_binary32
Counts
129 → 173
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02792451
17682173
231792084
349202084

prune90.0ms (1.2%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1730173
Fresh000
Picked011
Done011
Total1732175
Error
0b
Counts
175 → 2
Alt Table
StatusErrorProgram
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
✓0.0b
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
Compiler

Compiled 3107 to 1590 computations (48.8% saved)

regimes52.0ms (0.7%)

Accuracy

Total 0.0b remaining (77.7%)

Threshold costs 0.0b (77.7%)

Counts
12 → 1
Compiler

Compiled 462 to 353 computations (23.6% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
068
1108
2148
3168
4178
5168

end38.0ms (0.5%)

Compiler

Compiled 37 to 25 computations (32.4% saved)

Profiling

Loading profile data...