Details

Time bar (total: 6.2s)

analyze1.8s (28.7%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
9.4%90.4%0.2%6
17.2%82.7%0.2%7
19.5%80.3%0.2%8
30.8%69%0.2%9
35.5%64.3%0.2%10
42.4%57.4%0.2%11
47.1%52.7%0.2%12
49%50.8%0.2%13
50.1%49.7%0.2%14
Compiler

Compiled 38 to 20 computations (47.4% saved)

sample137.0ms (2.2%)

Algorithm
intervals
Results
50.0ms89×body1024invalid
29.0ms238×body128valid
12.0ms29×body512invalid
7.0ms19×body128invalid
5.0msbody2048invalid
4.0ms14×body256invalid
4.0msbody1024valid
2.0msbody256valid
2.0msbody512valid
Compiler

Compiled 75 to 43 computations (42.7% saved)

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 37 to 19 computations (48.6% saved)

localize26.0ms (0.4%)

Local error

Found 8 expressions with local error:

0.0b
(-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))
0.0b
(*.f64 (exp.f64 (-.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.re) (*.f64 (atan2.f64 x.im x.re) y.im))) (sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re))))
0.0b
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))
0.0b
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))
1.5b
(*.f64 (atan2.f64 x.im x.re) y.im)
29.8b
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
32.0b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
32.0b
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))

rewrite5.0ms (0.1%)

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

8 calls:

4.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
0.0ms
(sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))
0.0ms
(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))
0.0ms
(*.f64 (atan2.f64 x.im x.re) y.im)
0.0ms
(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))

prune2.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 37 to 19 computations (48.6% saved)

sample4.3s (68.5%)

Algorithm
intervals
Results
1.6s2429×body1024invalid
1.1s7585×body128valid
400.0ms887×body512invalid
206.0ms193×body2048invalid
121.0ms188×body1024valid
90.0ms322×body256invalid
76.0ms509×body128invalid
58.0ms131×body512valid
25.0ms83×body256valid
13.0ms13×body2048valid
Compiler

Compiled 112 to 62 computations (44.6% saved)

Pareto

0

Profiling

Loading profile data...