Details

Time bar (total: 3.3s)

analyze809.0ms (24.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.4%24.3%11
31.4%44.3%24.3%12
31.4%44.1%24.5%13
31.5%43.8%24.8%14
Compiler

Compiled 14 to 12 computations (14.3% saved)

sample2.5s (74.1%)

Results
1.3s2752×body1024valid
496.0ms1392×body512valid
338.0ms3103×body128valid
171.0ms302×body2048valid
156.0ms707×body256valid
0.0ms2×body128invalid
Compiler

Compiled 28 to 24 computations (14.3% saved)

preprocess28.0ms (0.8%)

Algorithm
2×egg-herbie
Rules
590×associate-/l*_binary64
477×associate-/r*_binary64
380×fma-def_binary64
281×distribute-rgt-in_binary64
270×associate-/l/_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01113
12513
23413
35913
412711
53498
613458
011
Stop Event
1×saturated
1×node limit
Compiler

Compiled 13 to 11 computations (15.4% saved)

simplify17.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
590×associate-/l*_binary64
477×associate-/r*_binary64
380×fma-def_binary64
281×distribute-rgt-in_binary64
270×associate-/l/_binary64
Iterations

Useful iterations: 5 (0.0ms)

IterNodesCost
01113
12513
23413
35913
412711
53498
613458
Stop Event
1×node limit
Counts
1 → 2

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
▶0b
(sqrt.f64 (+.f64 1 (exp.f64 x)))
Compiler

Compiled 30 to 24 computations (20% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

NewErrorProgram
✓0.0b
(+.f64 1 (exp.f64 x))

series2.0ms (0%)

Counts
1 → 4
Calls

3 calls:

1.0ms
(+.f64 1 (exp.f64 x))
x
0
0.0ms
(+.f64 1 (exp.f64 x))
x
-inf
0.0ms
(+.f64 1 (exp.f64 x))
x
inf

rewrite0.0ms (0%)

Algorithm
1×batch-egg-rewrite

end0.0ms (0%)

Profiling

Loading profile data...