Details

Time bar (total: 21.0s)

analyze7.0ms (0%)

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)

sample127.0ms (0.6%)

Algorithm
1×intervals
Results
17.0ms256×body128valid
9.0ms256×pre128true
Compiler

Compiled 46 to 34 computations (26.1% saved)

simplify22.0ms (0.1%)

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.1%)

Local error

Found 1 expressions with local error:

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

series9.0ms (0%)

Counts
1 → 24
Calls

1 calls:

9.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))

simplify62.0ms (0.3%)

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

prune55.0ms (0.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New25126
Fresh000
Picked011
Done000
Total25227
Error
0.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.1%)

Local error

Found 4 expressions with local error:

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

series9.9s (47.2%)

Counts
4 → 63
Calls

4 calls:

9.9s
(exp.f32 (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
16.0ms
(log1p.f32 (-.f32 (*.f32 maxCos ux) ux))
5.0ms
(*.f32 maxCos ux)
4.0ms
(-.f32 (*.f32 maxCos ux) ux)

rewrite10.0ms (0%)

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:

4.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))

simplify72.0ms (0.3%)

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 → 172
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02792491
17682188
231792084
349202084

prune97.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1711172
Fresh000
Picked101
Done011
Total1722174
Error
0b
Counts
174 → 2
Alt Table
StatusErrorProgram
▶0.0b
(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
Compiler

Compiled 3102 to 1593 computations (48.6% saved)

localize22.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.0b
(-.f32 (*.f32 maxCos ux) ux)
0.0b
(*.f32 maxCos ux)
✓0.0b
(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
0.1b
(log1p.f32 (-.f32 (*.f32 maxCos ux) ux))

series9.1s (43.1%)

Counts
1 → 24
Calls

1 calls:

9.1s
(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))

rewrite4.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
3×pow-unpow_binary32
3×*-un-lft-identity_binary32
3×add-sqr-sqrt_binary32
3×unpow-prod-down_binary32
3×add-cube-cbrt_binary32
Counts
1 → 20
Calls

1 calls:

3.0ms
(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))

simplify120.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
680×fma-neg_binary32
642×fma-def_binary32
512×div-sub_binary32
422×log-prod_binary32
335×log-div_binary32
Counts
44 → 47
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
078592
1169515
2355509
3940509
42625509
54705509
64925509
74962509
84772509

prune94.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1770177
Fresh000
Picked011
Done011
Total1772179
Error
0b
Counts
179 → 2
Alt Table
StatusErrorProgram
✓0.0b
(pow.f32 (E.f32) (log1p.f32 (-.f32 (*.f32 maxCos ux) ux)))
✓0.0b
(fma.f32 ux maxCos (-.f32 1 ux))
Compiler

Compiled 3336 to 1582 computations (52.6% saved)

regimes88.0ms (0.4%)

Accuracy

Total 0.0b remaining (91.1%)

Threshold costs 0.0b (91.1%)

Counts
23 → 1
Compiler

Compiled 914 to 693 computations (24.2% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
11313
21913
32113
42213
52113

end0.0ms (0%)

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.2s (5.7%)

Algorithm
1×intervals
Results
340.0ms7996×body128valid
298.0ms8000×pre128true
0.0ms4×body256valid
Compiler

Compiled 67 to 49 computations (26.9% saved)

Profiling

Loading profile data...