exp-w (used to crash)

Time bar (total: 1.2min)

analyze156.0ms (0.2%)

Memory
-12.9MiB live, 53.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
50%50%50%0.1%0%0%0%3
50%50%50%0.1%0%0%0%4
50%50%50%0.1%0%0%0%5
51.6%50%46.8%0.1%0%3.1%0%6
52.5%50%45.3%0.1%0%4.7%0%7
53.8%50%42.9%0.1%0%7%0%8
54.5%50%41.8%0.1%0%8.2%0%9
55.3%50%40.4%0.1%0%9.6%0%10
55.7%50%39.7%0.1%0%10.2%0%11
56.2%50%39%0.1%0%11%0%12
Compiler

Compiled 21 to 17 computations (19% saved)

sample1.2min (99.7%)

Memory
19.2MiB live, 6 704.2MiB allocated
Samples
6.6s933×0valid-sollya-only-zero
411.0ms5 256×0valid-sollya
339.0ms5 256×0valid-baseline
339.0ms5 256×0valid-rival
102.0ms2 005×0valid-rival+baseline-inf
83.0ms977×0valid-rival+sollya-real
2.0ms18×0valid-rival-only-real
Bogosity

preprocess54.0ms (0.1%)

Memory
-10.0MiB live, 20.7MiB allocated
Algorithm
1×egg-herbie
Rules
128×fma-define
32×fmm-def
28×times-frac
27×sub-neg
24×div-sub
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
026254
157252
2127234
3220234
4328234
5403234
6444234
7481234
8585234
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w))))
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w)))
(neg.f64 (*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w)))))
(neg.f64 (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w))))
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l)))
Outputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
(*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w))))
(*.f64 (exp.f64 w) (pow.f64 l (exp.f64 (neg.f64 w))))
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w)))
(/.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (exp.f64 w))
(neg.f64 (*.f64 (exp.f64 (neg.f64 (neg.f64 w))) (pow.f64 l (exp.f64 (neg.f64 w)))))
(*.f64 (neg.f64 (exp.f64 w)) (pow.f64 l (exp.f64 (neg.f64 w))))
(*.f64 (pow.f64 l (exp.f64 (neg.f64 w))) (neg.f64 (exp.f64 w)))
(*.f64 (exp.f64 w) (neg.f64 (pow.f64 l (exp.f64 (neg.f64 w)))))
(neg.f64 (*.f64 (exp.f64 (neg.f64 w)) (pow.f64 (neg.f64 l) (exp.f64 w))))
(*.f64 (exp.f64 (neg.f64 w)) (neg.f64 (pow.f64 (neg.f64 l) (exp.f64 w))))
(*.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (/.f64 #s(literal -1 binary64) (exp.f64 w)))
(/.f64 (pow.f64 (neg.f64 l) (exp.f64 w)) (neg.f64 (exp.f64 w)))
(*.f64 (exp.f64 (neg.f64 l)) (pow.f64 w (exp.f64 l)))
(/.f64 (pow.f64 w (exp.f64 l)) (exp.f64 l))
Compiler

Compiled 10 to 7 computations (30% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.1%
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
Compiler

Compiled 20 to 14 computations (30% saved)

simplify2.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Rules
2×*-commutative
1×sub-neg
1×neg-sub0
1×+-commutative
1×neg-mul-1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01334
11834
22034
32134
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
Outputs
(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))

soundness0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 10 to 7 computations (30% saved)

preprocess17.0ms (0%)

Memory
5.5MiB live, 21.2MiB allocated
Compiler

Compiled 40 to 28 computations (30% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...