Exp of sum of logs

Time bar (total: 1.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0%)

Memory
0.6MiB live, 0.6MiB 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%50%0.1%0%50%0%2
100%25%0%0.1%0%74.9%0%3
Compiler

Compiled 8 to 8 computations (0% saved)

sample860.0ms (67.2%)

Memory
33.7MiB live, 939.0MiB allocated
Samples
607.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 412.0ms
ival-log: 233.0ms (56.5% of total)
ival-exp: 106.0ms (25.7% of total)
ival-add: 64.0ms (15.5% of total)
ival-true: 6.0ms (1.5% of total)
ival-assert: 3.0ms (0.7% of total)
Bogosity

explain90.0ms (7%)

Memory
17.1MiB live, 95.7MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
14523(1.098145439796759e-25 2.4555978191574912e-194)17(1.5020821391790164e+235 1.4467602465977545e-203)(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
40-4(6.338139563253546e+273 1.3751574302550996e-261)(+.f64 (log.f64 a) (log.f64 b))
00-0-a
00-0-b
00-0-(log.f64 a)
00-0-(log.f64 b)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
exp.f64(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))sensitivity15130
Confusion
Predicted +Predicted -
+13033
-2172
Precision
0.8609271523178808
Recall
0.7975460122699386
Confusion?
Predicted +Predicted MaybePredicted -
+130294
-21468
Precision?
0.8641304347826086
Recall?
0.9754601226993865
Freqs
test
numberfreq
0105
1151
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
48.0ms512×0valid
Compiler

Compiled 61 to 28 computations (54.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.0ms
ival-log: 26.0ms (74.5% of total)
ival-exp: 5.0ms (14.3% of total)
ival-add: 2.0ms (5.7% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess7.0ms (0.6%)

Memory
-49.9MiB live, 5.2MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Compiler

Compiled 6 to 6 computations (0% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶92.7%
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Compiler

Compiled 6 to 6 computations (0% saved)

simplify0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(log.f64 b)
cost-diff0
(log.f64 a)
cost-diff0
(+.f64 (log.f64 a) (log.f64 b))
cost-diff0
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
a
(log.f64 b)
b
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
a
(log.f64 b)
b

localize22.0ms (1.7%)

Memory
19.6MiB live, 19.6MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(log.f64 b)
accuracy0.0
(log.f64 a)
accuracy0.5200480238126615
(+.f64 (log.f64 a) (log.f64 b))
accuracy3.918441126021188
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Samples
17.0ms256×0valid
Compiler

Compiled 36 to 14 computations (61.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-log: 6.0ms (59.6% of total)
ival-exp: 3.0ms (29.8% of total)
ival-add: 1.0ms (9.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series119.0ms (9.3%)

Memory
16.9MiB live, 129.6MiB allocated
Counts
4 → 16
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
(log.f64 b)
Outputs
(exp (+ (log a) (log b)))
(+ (log a) (log b))
(log a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(+ (log b) (* -1 (log (/ 1 a))))
(* -1 (log (/ 1 a)))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (* -1 (log (/ -1 a))))
(log b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(+ (log a) (* -1 (log (/ 1 b))))
(* -1 (log (/ 1 b)))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (* -1 (log (/ -1 b))))
Calls

6 calls:

TimeVariablePointExpression
44.0ms
a
@0
((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
20.0ms
a
@-inf
((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
16.0ms
b
@0
((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
15.0ms
b
@inf
((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))
12.0ms
b
@-inf
((exp (+ (log a) (log b))) (+ (log a) (log b)) (log a) (log b))

simplify0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×egg-herbie
Counts
16 → 4
Calls
Call 1
Inputs
(exp (+ (log a) (log b)))
(+ (log a) (log b))
(log a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(+ (log b) (* -1 (log (/ 1 a))))
(* -1 (log (/ 1 a)))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(+ (log -1) (+ (log b) (* -1 (log (/ -1 a)))))
(+ (log -1) (* -1 (log (/ -1 a))))
(log b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(+ (log a) (* -1 (log (/ 1 b))))
(* -1 (log (/ 1 b)))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(+ (log -1) (+ (log a) (* -1 (log (/ -1 b)))))
(+ (log -1) (* -1 (log (/ -1 b))))
Outputs
(exp (+ (log a) (log b)))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+ (log a) (log b))
(+.f64 (log.f64 a) (log.f64 b))
(log a)
(log.f64 a)
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(log.f64 b)

rewrite0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Counts
4 → 4
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
(log.f64 b)
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
(+.f64 (log.f64 a) (log.f64 b))
(log.f64 a)
(log.f64 b)

eval1.0ms (0.1%)

Memory
1.3MiB live, 1.3MiB allocated
Compiler

Compiled 67 to 17 computations (74.6% saved)

prune1.0ms (0.1%)

Memory
2.0MiB live, 2.0MiB allocated
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New718
Fresh000
Picked011
Done000
Total729
Accuracy
92.7%
Counts
9 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓92.7%
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
▶3.7%
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Compiler

Compiled 15 to 14 computations (6.7% saved)

simplify0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(log.f64 b)
cost-diff0
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Calls
Call 1
Inputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(log.f64 b)
b
Outputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(log.f64 b)
b

localize26.0ms (2%)

Memory
-25.2MiB live, 17.0MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(log.f64 b)
accuracy61.618033267999714
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Samples
21.0ms256×0valid
Compiler

Compiled 23 to 16 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
ival-log: 6.0ms (59.9% of total)
ival-exp: 3.0ms (29.9% of total)
ival-add: 1.0ms (10% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series83.0ms (6.5%)

Memory
-5.0MiB live, 111.7MiB allocated
Counts
2 → 8
Calls
Call 1
Inputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(log.f64 b)
Outputs
(exp (+ (log a) (log b)))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(log b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(* -1 (log (/ 1 b)))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(+ (log -1) (* -1 (log (/ -1 b))))
Calls

6 calls:

TimeVariablePointExpression
20.0ms
b
@-inf
((exp (+ (log a) (log b))) (log b))
15.0ms
a
@inf
((exp (+ (log a) (log b))) (log b))
13.0ms
b
@0
((exp (+ (log a) (log b))) (log b))
12.0ms
a
@-inf
((exp (+ (log a) (log b))) (log b))
12.0ms
b
@inf
((exp (+ (log a) (log b))) (log b))

simplify0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Counts
8 → 2
Calls
Call 1
Inputs
(exp (+ (log a) (log b)))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(exp (+ (log -1) (+ (log b) (* -1 (log (/ -1 a))))))
(log b)
(exp (+ (log a) (* -1 (log (/ 1 b)))))
(* -1 (log (/ 1 b)))
(exp (+ (log -1) (+ (log a) (* -1 (log (/ -1 b))))))
(+ (log -1) (* -1 (log (/ -1 b))))
Outputs
(exp (+ (log a) (log b)))
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(exp (+ (log b) (* -1 (log (/ 1 a)))))
(log.f64 b)

rewrite0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Counts
2 → 2
Calls
Call 1
Inputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(log.f64 b)
Outputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(log.f64 b)

eval0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Compiler

Compiled 34 to 9 computations (73.5% saved)

prune2.0ms (0.1%)

Memory
1.8MiB live, 1.8MiB allocated
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New303
Fresh000
Picked011
Done011
Total325
Accuracy
92.7%
Counts
5 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓92.7%
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
✓3.7%
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Compiler

Compiled 30 to 25 computations (16.7% saved)

regimes9.0ms (0.7%)

Memory
13.4MiB live, 13.4MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
Calls

6 calls:

1.0ms
(log.f64 a)
1.0ms
(+.f64 (log.f64 a) (log.f64 b))
1.0ms
(log.f64 b)
1.0ms
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
1.0ms
a
Results
AccuracySegmentsBranch
92.7%1a
92.7%1b
92.7%1(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
92.7%1(+.f64 (log.f64 a) (log.f64 b))
92.7%1(log.f64 a)
92.7%1(log.f64 b)
Compiler

Compiled 17 to 21 computations (-23.5% saved)

regimes7.0ms (0.6%)

Memory
12.1MiB live, 12.1MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Outputs
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Calls

6 calls:

1.0ms
(+.f64 (log.f64 a) (log.f64 b))
1.0ms
b
1.0ms
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
1.0ms
(log.f64 a)
1.0ms
(log.f64 b)
Results
AccuracySegmentsBranch
3.7%1(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
3.7%1(+.f64 (log.f64 a) (log.f64 b))
3.7%1b
3.7%1(log.f64 b)
3.7%1a
3.7%1(log.f64 a)
Compiler

Compiled 17 to 21 computations (-23.5% saved)

simplify13.0ms (1%)

Memory
-33.3MiB live, 8.5MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
#s(approx (exp (+ (log a) (log b))) (log.f64 b))
Outputs
(exp.f64 (+.f64 (log.f64 a) (log.f64 b)))
#s(approx (exp (+ (log a) (log b))) (log.f64 b))

soundness0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Stop Event
1×done
Compiler

Compiled 15 to 11 computations (26.7% saved)

preprocess37.0ms (2.9%)

Memory
0.0MiB live, 38.6MiB allocated
Compiler

Compiled 48 to 40 computations (16.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...