exp(log(x))

Time bar (total: 907.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0.1%)

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

Compiled 11 to 9 computations (18.2% saved)

sample697.0ms (76.9%)

Memory
-35.0MiB live, 193.3MiB allocated
Samples
451.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 286.0ms
ival-log: 123.0ms (43% of total)
ival-exp: 91.0ms (31.8% of total)
ival-<=: 45.0ms (15.7% of total)
ival-and: 12.0ms (4.2% of total)
exact: 11.0ms (3.8% of total)
ival-assert: 3.0ms (1% of total)
Bogosity

explain54.0ms (6%)

Memory
19.8MiB live, 19.8MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
20327(3.979983746003818e+199)14(4051398102852526.0)(exp.f64 (log.f64 x))
00-0-(log.f64 x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
exp.f64(exp.f64 (log.f64 x))sensitivity21629
Confusion
Predicted +Predicted -
+18914
-2726
Precision
0.875
Recall
0.9310344827586207
Confusion?
Predicted +Predicted MaybePredicted -
+189140
-271511
Precision?
0.8285714285714286
Recall?
1.0
Freqs
test
numberfreq
040
1216
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
25.0ms512×0valid
Compiler

Compiled 19 to 13 computations (31.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 14.0ms
ival-log: 8.0ms (57.2% of total)
ival-exp: 6.0ms (42.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess11.0ms (1.2%)

Memory
4.9MiB live, 4.9MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
055
1123
2233
3413
4453
033
051
151
051
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(exp.f64 (log.f64 x))
Outputs
(exp.f64 (log.f64 x))
x
Compiler

Compiled 3 to 3 computations (0% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶91.1%
(exp.f64 (log.f64 x))
Compiler

Compiled 3 to 3 computations (0% saved)

simplify2.0ms (0.2%)

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

Found 2 expressions of interest:

NewMetricScoreProgram
cost-diff0
(log.f64 x)
cost-diff2
(exp.f64 (log.f64 x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
036
054
154
054
Stop Event
1×iter limit
1×saturated
1×iter limit
Calls
Call 1
Inputs
(exp.f64 (log.f64 x))
(log.f64 x)
x
Outputs
(exp.f64 (log.f64 x))
x
(log.f64 x)
x

localize17.0ms (1.8%)

Memory
4.7MiB live, 4.7MiB allocated
Localize:

Found 2 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(log.f64 x)
accuracy5.70356418746715
(exp.f64 (log.f64 x))
Samples
12.0ms256×0valid
Compiler

Compiled 8 to 5 computations (37.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-log: 4.0ms (60.2% of total)
ival-exp: 3.0ms (45.1% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series43.0ms (4.7%)

Memory
19.3MiB live, 19.3MiB allocated
Counts
2 → 4
Calls
Call 1
Inputs
(exp.f64 (log.f64 x))
(log.f64 x)
Outputs
x
(log x)
(* -1 (log (/ 1 x)))
(+ (log -1) (* -1 (log (/ -1 x))))
Calls

3 calls:

TimeVariablePointExpression
22.0ms
x
@0
((exp (log x)) (log x))
16.0ms
x
@-inf
((exp (log x)) (log x))
5.0ms
x
@inf
((exp (log x)) (log x))

simplify7.0ms (0.8%)

Memory
0.7MiB live, 0.7MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01213
12012
22712
34512
46412
58212
611012
713212
817912
919512
1020312
020312
Stop Event
1×iter limit
1×saturated
Counts
4 → 3
Calls
Call 1
Inputs
x
(log x)
(* -1 (log (/ 1 x)))
(+ (log -1) (* -1 (log (/ -1 x))))
Outputs
x
(log x)
(log.f64 x)
(* -1 (log (/ 1 x)))
(log.f64 x)
(+ (log -1) (* -1 (log (/ -1 x))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) x)))

rewrite29.0ms (3.2%)

Memory
-69.1MiB live, 5.0MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
053
153
053
Stop Event
1×iter limit
1×saturated
1×iter limit
Counts
2 → 3
Calls
Call 1
Inputs
(exp.f64 (log.f64 x))
(log.f64 x)
Outputs
(exp.f64 (log.f64 x))
x
(log.f64 x)

eval1.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 24 to 13 computations (45.8% saved)

prune0.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New415
Fresh000
Picked101
Done000
Total516
Accuracy
100.0%
Counts
6 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
x
Compiler

Compiled 1 to 1 computations (0% saved)

simplify2.0ms (0.2%)

Memory
0.3MiB live, 0.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
011
011
Stop Event
1×saturated
1×saturated
1×saturated
Calls
Call 1
Inputs
x
Outputs
x

localize7.0ms (0.7%)

Memory
2.8MiB live, 2.8MiB allocated
Samples
4.0ms256×0valid
Compiler

Compiled 3 to 3 computations (0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs
Calls

3 calls:

TimeVariablePointExpression
0.0ms
x
@0
()
0.0ms
x
@inf
()
0.0ms
x
@-inf
()

simplify2.0ms (0.2%)

Memory
0.2MiB live, 0.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
Stop Event
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

rewrite5.0ms (0.5%)

Memory
0.3MiB live, 0.3MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
000
000
Stop Event
1×saturated
1×saturated
1×saturated
Counts
0 → 0
Calls
Call 1
Inputs
Outputs

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
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%
x
Compiler

Compiled 5 to 4 computations (20% saved)

regimes4.0ms (0.4%)

Memory
4.7MiB live, 4.7MiB allocated
Accuracy

Total -5.7b remaining (-∞%)

Threshold costs -5.7b (-∞%)

Counts
2 → 1
Calls
Call 1
Inputs
x
(exp.f64 (log.f64 x))
Outputs
x
Calls

3 calls:

1.0ms
(exp.f64 (log.f64 x))
1.0ms
(log.f64 x)
1.0ms
x
Results
AccuracySegmentsBranch
100.0%1x
100.0%1(exp.f64 (log.f64 x))
100.0%1(log.f64 x)
Compiler

Compiled 6 to 6 computations (0% saved)

simplify8.0ms (0.9%)

Memory
5.0MiB live, 5.0MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
011
Stop Event
1×saturated
Calls
Call 1
Inputs
x
Outputs
x

soundness6.0ms (0.6%)

Memory
0.7MiB live, 0.7MiB allocated
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035
053
153
053
Stop Event
1×done
1×iter limit
1×saturated
1×iter limit
Compiler

Compiled 5 to 4 computations (20% saved)

preprocess11.0ms (1.2%)

Memory
8.0MiB live, 8.0MiB allocated
Compiler

Compiled 8 to 8 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...