neg log

Time bar (total: 2.0s)

analyze14.0ms (0.7%)

Memory
4.4MiB live, 4.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%0%50%0%3
33.3%12.5%25%0%0%62.5%0%4
60%18.7%12.5%0%0%68.7%0%5
77.8%21.9%6.2%0%0%71.8%0%6
88.2%23.4%3.1%0%0%73.4%0%7
93.9%24.2%1.6%0%0%74.2%0%8
96.9%24.6%0.8%0%0%74.6%0%9
98.4%24.8%0.4%0%0%74.8%0%10
99.2%24.9%0.2%0%0%74.9%0%11
99.6%24.9%0.1%0%0%74.9%0%12
Compiler

Compiled 18 to 15 computations (16.7% saved)

sample1.9s (95.9%)

Memory
14.9MiB live, 526.1MiB allocated
Samples
440.0ms8 256×0valid-baseline
408.0ms8 256×0valid-rival
311.0ms8 256×0valid-sollya
Precisions
Click to see Rival histograms. Total time spent on operations: 249.0ms
ival-log: 97.0ms (39% of total)
ival-div: 70.0ms (28.1% of total)
ival-sub: 38.0ms (15.3% of total)
ival-neg: 32.0ms (12.9% of total)
ival-true: 7.0ms (2.8% of total)
ival-assert: 3.0ms (1.2% of total)
...in/eval/compile.rkt:76:19: 2.0ms (0.8% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 241.0ms
ival-log: 84.0ms (34.8% of total)
ival-div: 69.0ms (28.6% of total)
ival-sub: 40.0ms (16.6% of total)
ival-neg: 37.0ms (15.3% of total)
const: 10.0ms (4.1% of total)
Bogosity

preprocess42.0ms (2.1%)

Memory
4.5MiB live, 19.3MiB allocated
Algorithm
1×egg-herbie
Rules
18×sub-neg
16×fma-define
11×+-commutative
7×associate-+l-
6×neg-mul-1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
017100
13592
25692
38292
411192
512592
613792
714892
815292
Stop Event
1×saturated
Calls
Call 1
Inputs
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64))))
(neg.f64 (neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64)))))
Outputs
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64))))
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64))))
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal -1 binary64))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -1 binary64))))
(neg.f64 (neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal 1 binary64)))))
(log.f64 (+.f64 (/.f64 #s(literal 1 binary64) (neg.f64 x)) #s(literal -1 binary64)))
(log.f64 (+.f64 (/.f64 #s(literal -1 binary64) x) #s(literal -1 binary64)))
Compiler

Compiled 8 to 6 computations (25% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 1 to 1 computations (0% saved)

prune2.0ms (0.1%)

Memory
-17.0MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
Compiler

Compiled 16 to 12 computations (25% saved)

simplify2.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01124
12124
22624
33224
43924
54824
Stop Event
1×saturated
Calls
Call 1
Inputs
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
Outputs
(neg.f64 (log.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64))))
(neg.f64 (log.f64 (+.f64 (/.f64 #s(literal 1 binary64) x) #s(literal -1 binary64))))

soundness0.0ms (0%)

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

Compiled 8 to 7 computations (12.5% saved)

preprocess19.0ms (1%)

Memory
9.9MiB live, 25.2MiB allocated
Compiler

Compiled 32 to 26 computations (18.8% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...