ENA, Section 1.4, Exercise 1

Time bar (total: 5.4s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
100%0%0%100%0%0%0%1
Compiler

Compiled 17 to 12 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-mult, 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
Operation ival-cos, time spent: 0.0ms, 0.0% of total-time
Operation ival-and, time spent: 0.0ms, 0.0% of total-time
Operation ival-<=, time spent: 0.0ms, 0.0% of total-time

sample1.5s (27.6%)

Results
1.4s8255×0valid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 810.0ms
Operation ival-cos, time spent: 295.0ms, 36.0% of total-time
Operation ival-mult, time spent: 272.0ms, 34.0% of total-time
Operation ival-exp, time spent: 112.0ms, 14.0% of total-time
Operation ival-<=, time spent: 91.0ms, 11.0% of total-time
Operation const, time spent: 27.0ms, 3.0% of total-time
Operation ival-and, time spent: 13.0ms, 2.0% of total-time
Bogosity

preprocess888.0ms (16.3%)

Algorithm
1×egg-herbie
Rules
1408×fma-def
1390×div-sub
532×exp-prod
454×associate-/r*
452×sqr-pow
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(*.f64 x x)
00-0-(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
00-0-(exp.f64 (*.f64 10 (*.f64 x x)))
00-0-(cos.f64 x)
00-0-10
00-0-(*.f64 10 (*.f64 x x))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019148
144148
2100148
3260148
4656148
51832148
64530148
76739148
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x)))))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x))))))
Outputs
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 x (*.f64 x 10))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 x (*.f64 x 10))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
(*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x)))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 x (*.f64 x 10))))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
(neg.f64 (*.f64 (cos.f64 (neg.f64 x)) (exp.f64 (*.f64 10 (*.f64 (neg.f64 x) (neg.f64 x))))))
(*.f64 (cos.f64 x) (neg.f64 (exp.f64 (*.f64 (*.f64 10 x) x))))
(*.f64 (cos.f64 x) (neg.f64 (exp.f64 (*.f64 x (*.f64 x 10)))))
(*.f64 (cos.f64 x) (neg.f64 (pow.f64 (exp.f64 10) (*.f64 x x))))
(*.f64 (cos.f64 x) (neg.f64 (pow.f64 (exp.f64 x) (*.f64 x 10))))
Symmetry

(abs x)

Compiler

Compiled 68 to 35 computations (48.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 589.0ms
Operation ival-cos, time spent: 217.0ms, 37.0% of total-time
Operation ival-exp, time spent: 215.0ms, 36.0% of total-time
Operation ival-mult, time spent: 141.0ms, 24.0% of total-time
Operation const, time spent: 16.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 37 to 22 computations (40.5% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶94.8%
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
▶95.3%
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
▶94.6%
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
▶94.7%
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Compiler

Compiled 40 to 28 computations (30% saved)

localize2.8s (52.4%)

Compiler

Compiled 104 to 50 computations (51.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
Operation ival-pow, time spent: 1.5s, 57.0% of total-time
Operation ival-exp, time spent: 730.0ms, 28.0% of total-time
Operation ival-mult, time spent: 253.0ms, 10.0% of total-time
Operation ival-cos, time spent: 107.0ms, 4.0% of total-time
Operation const, time spent: 27.0ms, 1.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New000
Fresh000
Picked044
Done000
Total044
Accuracy
96.5%
Counts
4 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓94.8%
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
✓95.3%
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
✓94.6%
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
✓94.7%
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Compiler

Compiled 77 to 49 computations (36.4% saved)

regimes11.0ms (0.2%)

Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 x) (*.f64 x 10)))
Outputs
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
Calls

2 calls:

6.0ms
x
4.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Results
AccuracySegmentsBranch
95.3%1x
95.3%1(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Compiler

Compiled 12 to 8 computations (33.3% saved)

regimes7.0ms (0.1%)

Accuracy

Total -0.2b remaining (-5.8%)

Threshold costs -0.2b (-5.8%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 (*.f64 10 x) x)))
Outputs
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Calls

2 calls:

3.0ms
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
3.0ms
x
Results
AccuracySegmentsBranch
94.7%1x
94.7%1(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01572
11872
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Outputs
(*.f64 (cos.f64 x) (pow.f64 (exp.f64 10) (*.f64 x x)))
(*.f64 (cos.f64 x) (exp.f64 (*.f64 10 (*.f64 x x))))
Compiler

Compiled 20 to 14 computations (30% saved)

soundness141.0ms (2.6%)

Rules
1408×fma-def
1390×div-sub
532×exp-prod
454×associate-/r*
452×sqr-pow
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
019148
144148
2100148
3260148
4656148
51832148
64530148
76739148
Stop Event
1×node limit
Compiler

Compiled 19 to 11 computations (42.1% saved)

end0.0ms (0%)

preprocess31.0ms (0.6%)

Remove

(abs x)

Compiler

Compiled 118 to 78 computations (33.9% saved)

Profiling

Loading profile data...