exp-w (used to crash)

Time bar (total: 1.3min)

analyze154.0ms (0.2%)

Memory
-14.5MiB live, 53.2MiB 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.3min (99.7%)

Memory
-61.2MiB live, 7 857.8MiB allocated
Samples
7.9s1 107×73valid-sollya-only-zero
475.0ms5 937×73valid-sollya
423.0ms1 176×18688valid-sollya-only-zero
420.0ms5 937×73valid-baseline
381.0ms5 937×73valid-rival
123.0ms2 319×73valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 5.3s
ival-pow: 2.4s (45.7% of total)
ival-exp: 2.3s (43.2% of total)
adjust: 269.0ms (5% of total)
ival-mult: 211.0ms (3.9% of total)
ival-neg: 88.0ms (1.6% of total)
ival-true: 17.0ms (0.3% of total)
ival-assert: 7.0ms (0.1% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 42.6s
ival-pow: 28.9s (67.8% of total)
ival-exp: 12.7s (29.7% of total)
ival-mult: 705.0ms (1.7% of total)
ival-neg: 331.0ms (0.8% of total)
const: 53.0ms (0.1% of total)
Bogosity

preprocess53.0ms (0.1%)

Memory
5.1MiB live, 20.8MiB 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.9%
(*.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)

preprocess18.0ms (0%)

Memory
4.2MiB live, 21.3MiB allocated
Compiler

Compiled 40 to 28 computations (30% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...