Exp of sum of logs

Time bar (total: 2.2s)

analyze1.0ms (0%)

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%50%0.1%0%50%0%2
100%25%0%0.1%0%74.9%0%3
Compiler

Compiled 9 to 7 computations (22.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-log, time spent: 0.0ms, 0.0% of total-time
Operation ival-add, time spent: 0.0ms, 0.0% of total-time
Operation ival-exp, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.5s (68.4%)

Results
1.3s7191×256valid
182.0ms1064×256infinite
0.0ms1×256valid
Precisions
Click to see histograms. Total time spent on operations: 660.0ms
Operation ival-log, time spent: 459.0ms, 70.0% of total-time
Operation ival-exp, time spent: 112.0ms, 17.0% of total-time
Operation ival-add, time spent: 80.0ms, 12.0% of total-time
Operation const, time spent: 9.0ms, 1.0% of total-time
Bogosity

preprocess319.0ms (14.3%)

Algorithm
1×egg-herbie
Rules
5682×fma-define
2820×associate-+r+
2472×associate-+l+
1678×exp-sum
824×fma-neg
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
14427(7.422840131859214e-136 3.7458156518797424e+183)12(1.0383778611812082e-116 7.133237451242326e+148)(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
21(9.24947550226762e-240 4.1510616341374214e+240)1(1.011750524944857e-136 1.0723163723720239e+133)(+.f64 (log.f64 a) (log.f64 b))
00-0-(log.f64 b)
00-0-(log.f64 a)
00-0-b
00-0-a
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
024183
14499
28099
312799
422099
527999
636999
747899
856599
959199
1059199
1173799
1291999
13112699
14119499
15119699
16119699
17173099
18242799
19287499
20309099
21309699
22309699
23310899
24516699
25542199
26566999
27580299
28581799
29602599
30646599
31646599
Stop Event
1×node limit
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b))))
(neg.f64 (exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b))))
(neg.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b)))))
(exp.f64 (+.f64 (log.f64 b) (log.f64 a)))
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b)))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(*.f64 a (neg.f64 b))
(exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b))))
(exp.f64 (+.f64 (log.f64 b) (log.f64 (neg.f64 a))))
(*.f64 b (neg.f64 a))
(*.f64 a (neg.f64 b))
(neg.f64 (exp.f64 (+.f64 (log.f64 (neg.f64 a)) (log.f64 b))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(neg.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (neg.f64 b)))))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 b) (log.f64 a)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(*.f64 b a)
Symmetry

(negabs a)

(negabs b)

(sort a b)

Compiler

Compiled 48 to 20 computations (58.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 37.0ms
Operation ival-log, time spent: 27.0ms, 73.0% of total-time
Operation ival-exp, time spent: 7.0ms, 19.0% of total-time
Operation ival-add, time spent: 3.0ms, 8.0% of total-time
Operation const, time spent: 1.0ms, 3.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 5 to 3 computations (40% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 b a)
Compiler

Compiled 5 to 3 computations (40% saved)

localize19.0ms (0.9%)

Compiler

Compiled 8 to 4 computations (50% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0ms
Operation ival-mult, time spent: 2.0ms, 88.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 b a)
Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes18.0ms (0.8%)

Accuracy

Total -5.0b remaining (-∞%)

Threshold costs -5b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 b a)
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Outputs
(*.f64 b a)
Calls

6 calls:

5.0ms
(+.f64 (log.f64 a) (log.f64 b))
2.0ms
(log.f64 b)
2.0ms
(log.f64 a)
2.0ms
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
2.0ms
a
Results
AccuracySegmentsBranch
100.0%1a
100.0%1b
100.0%1(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
100.0%1(+.f64 (log.f64 a) (log.f64 b))
100.0%1(log.f64 a)
100.0%1(log.f64 b)
Compiler

Compiled 29 to 21 computations (27.6% saved)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0813
1913
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 b a)
Outputs
(*.f64 b a)
Compiler

Compiled 5 to 3 computations (40% saved)

soundness312.0ms (14%)

Rules
5682×fma-define
2820×associate-+r+
2472×associate-+l+
1678×exp-sum
824×fma-neg
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
024183
14499
28099
312799
422099
527999
636999
747899
856599
959199
1059199
1173799
1291999
13112699
14119499
15119699
16119699
17173099
18242799
19287499
20309099
21309699
22309699
23310899
24516699
25542199
26566999
27580299
28581799
29602599
30646599
31646599
Stop Event
1×node limit
Compiler

Compiled 29 to 13 computations (55.2% saved)

end0.0ms (0%)

preprocess33.0ms (1.5%)

Remove

(sort a b)

(negabs b)

(negabs a)

Compiler

Compiled 96 to 60 computations (37.5% saved)

Profiling

Loading profile data...