Details

Time bar (total: 2.9s)

analyze318.0ms (11.1%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
50%50%0%2
50%50%0%3
62.5%37.5%0%4
68.7%31.2%0%5
71.8%28.1%0%6
73.4%26.5%0%7
74.2%25.8%0%8
74.6%25.4%0%9
74.8%25.2%0%10
74.9%25.1%0%11
74.9%25%0%12
74.9%25%0%13
75%25%0%14
Compiler

Compiled 10 to 8 computations (20% saved)

sample71.0ms (2.5%)

Algorithm
intervals
Results
32.0ms86×body1024valid
14.0ms40×body2048valid
10.0ms44×body512valid
3.0ms68×body128valid
2.0msbody4096valid
2.0ms14×body256valid
Compiler

Compiled 19 to 16 computations (15.8% saved)

prune3.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
53.3b
Counts
2 → 1
Compiler

Compiled 9 to 7 computations (22.2% saved)

localize13.0ms (0.5%)

Local error

Found 6 expressions with local error:

14.4b
(sqrt.f64 (+.f64 (*.f64 x x) 1))
1.1b
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.5b
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.5b
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
1.1b
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
14.4b
(sqrt.f64 (+.f64 (*.f64 x x) 1))

rewrite2.0ms (0.1%)

Algorithm
rewrite-expression-head
Rules
Counts
3 → 0
Calls

6 calls:

2.0ms
(sqrt.f64 (+.f64 (*.f64 x x) 1))
0.0ms
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0ms
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
0.0ms
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
0.0ms
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))

prune2.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
53.3b
Counts
1 → 1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample2.5s (85.7%)

Algorithm
intervals
Results
1.1s2538×body1024valid
489.0ms1233×body2048valid
329.0ms1296×body512valid
132.0ms2313×body128valid
79.0ms577×body256valid
29.0ms43×body4096valid
Compiler

Compiled 52 to 40 computations (23.1% saved)

Pareto

0

Profiling

Loading profile data...