expax (section 3.5)

Time bar (total: 4.3s)

analyze23.0ms (0.5%)

Memory
6.6MiB live, 6.6MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 17 to 15 computations (11.8% saved)

sample4.2s (97.7%)

Memory
19.6MiB live, 1 131.6MiB allocated
Samples
908.0ms4 159×1valid-baseline
466.0ms4 159×1valid-rival
239.0ms4 159×1valid-sollya
131.0ms2 157×0valid-sollya
107.0ms2 157×0valid-baseline
97.0ms2 157×0valid-rival
87.0ms1 940×0valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 432.0ms
ival-exp: 224.0ms (51.8% of total)
ival-mult: 93.0ms (21.5% of total)
ival-sub: 60.0ms (13.9% of total)
adjust: 38.0ms (8.8% of total)
ival-true: 8.0ms (1.9% of total)
...in/eval/compile.rkt:76:19: 5.0ms (1.2% of total)
ival-assert: 3.0ms (0.7% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 591.0ms
ival-exp: 289.0ms (48.9% of total)
ival-mult: 161.0ms (27.2% of total)
ival-sub: 113.0ms (19.1% of total)
const: 27.0ms (4.6% of total)
Bogosity

preprocess48.0ms (1.1%)

Memory
4.7MiB live, 20.3MiB allocated
Algorithm
1×egg-herbie
Rules
48×fma-define
22×sub-neg
20×exp-sum
19×fmm-def
12×exp-prod
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
025143
158143
288143
3126143
4169143
5203143
6248143
7298143
8315143
9331143
10335143
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
(-.f64 (exp.f64 (*.f64 (neg.f64 a) x)) #s(literal 1 binary64))
(-.f64 (exp.f64 (*.f64 a (neg.f64 x))) #s(literal 1 binary64))
(neg.f64 (-.f64 (exp.f64 (*.f64 (neg.f64 a) x)) #s(literal 1 binary64)))
(neg.f64 (-.f64 (exp.f64 (*.f64 a (neg.f64 x))) #s(literal 1 binary64)))
(-.f64 (exp.f64 (*.f64 x a)) #s(literal 1 binary64))
Outputs
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
(expm1.f64 (*.f64 a x))
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
(expm1.f64 (*.f64 a x))
(-.f64 (exp.f64 (*.f64 (neg.f64 a) x)) #s(literal 1 binary64))
(expm1.f64 (*.f64 a (neg.f64 x)))
(-.f64 (exp.f64 (*.f64 a (neg.f64 x))) #s(literal 1 binary64))
(expm1.f64 (*.f64 a (neg.f64 x)))
(neg.f64 (-.f64 (exp.f64 (*.f64 (neg.f64 a) x)) #s(literal 1 binary64)))
(neg.f64 (expm1.f64 (*.f64 a (neg.f64 x))))
(neg.f64 (-.f64 (exp.f64 (*.f64 a (neg.f64 x))) #s(literal 1 binary64)))
(neg.f64 (expm1.f64 (*.f64 a (neg.f64 x))))
(-.f64 (exp.f64 (*.f64 x a)) #s(literal 1 binary64))
(expm1.f64 (*.f64 a x))
Symmetry

(sort a x)

Compiler

Compiled 8 to 6 computations (25% 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
64.4%
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
Compiler

Compiled 16 to 12 computations (25% saved)

simplify2.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01223
12023
22423
32723
43023
53323
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
Outputs
(-.f64 (exp.f64 (*.f64 a x)) #s(literal 1 binary64))
(+.f64 (exp.f64 (*.f64 a x)) #s(literal -1 binary64))

soundness0.0ms (0%)

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

Compiled 8 to 6 computations (25% saved)

preprocess25.0ms (0.6%)

Memory
-0.3MiB live, 32.5MiB allocated
Remove

(sort a x)

Compiler

Compiled 76 to 56 computations (26.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...