Hyperbolic arcsine

Time bar (total: 4.2s)

analyze154.0ms (3.6%)

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
25%25%75%0%0%0%0%3
50%50%50%0%0%0%0%4
62.5%62.5%37.5%0%0%0%0%5
68.8%68.7%31.2%0%0%0%0%6
71.9%71.8%28.1%0%0%0%0%7
73.4%73.4%26.5%0%0%0%0%8
74.2%74.2%25.8%0%0%0%0%9
74.6%74.6%25.4%0%0%0%0%10
74.8%74.8%25.2%0%0%0%0%11
74.9%74.9%25.1%0%0%0%0%12
Compiler

Compiled 11 to 8 computations (27.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 113.0ms
Operation ival-log, time spent: 79.0ms, 70.0% of total-time
Operation ival-sqrt, time spent: 13.0ms, 11.0% of total-time
Operation ival-add, time spent: 11.0ms, 10.0% of total-time
Operation ival-mult, time spent: 8.0ms, 7.0% of total-time
Operation const, time spent: 1.0ms, 1.0% of total-time

sample2.1s (50.4%)

Results
1.6s8178×0valid
370.0ms2643×0invalid
30.0ms77×1valid
0.0ms1×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
Operation ival-add, time spent: 747.0ms, 59.0% of total-time
Operation ival-log, time spent: 199.0ms, 16.0% of total-time
Operation ival-sqrt, time spent: 184.0ms, 14.0% of total-time
Operation ival-mult, time spent: 118.0ms, 9.0% of total-time
Operation const, time spent: 27.0ms, 2.0% of total-time
Bogosity

preprocess1.1s (25.8%)

Algorithm
1×egg-herbie
Rules
1544×fma-def
1032×associate-+r-
798×associate-+r+
776×associate-+l-
662×associate--r-
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-x
00-0-(+.f64 (*.f64 x x) 1)
00-0-(*.f64 x x)
00-0-(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
00-0-1
00-0-(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
00-0-(sqrt.f64 (+.f64 (*.f64 x x) 1))
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019140
14196
26996
311796
419696
529096
637296
745996
854496
986396
10184396
11364496
12430296
13446196
14450596
15452096
16452096
17455196
18455196
19714696
20734796
21790796
Stop Event
1×node limit
Calls
Call 1
Inputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))))
Outputs
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
(log.f64 (+.f64 x (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1))))
(log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x 1))))
(log.f64 (-.f64 (hypot.f64 1 x) x))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (+.f64 (*.f64 (neg.f64 x) (neg.f64 x)) 1)))))
(neg.f64 (log.f64 (+.f64 (neg.f64 x) (sqrt.f64 (fma.f64 x x 1)))))
(neg.f64 (log.f64 (-.f64 (hypot.f64 1 x) x)))
Compiler

Compiled 80 to 43 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 553.0ms
Operation ival-add, time spent: 322.0ms, 58.0% of total-time
Operation ival-sqrt, time spent: 130.0ms, 23.0% of total-time
Operation ival-log, time spent: 44.0ms, 8.0% of total-time
Operation ival-mult, time spent: 40.0ms, 7.0% of total-time
Operation const, time spent: 17.0ms, 3.0% of total-time

eval1.0ms (0%)

Compiler

Compiled 15 to 10 computations (33.3% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶95.4%
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 7 to 5 computations (28.6% saved)

localize217.0ms (5.1%)

Compiler

Compiled 18 to 12 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 145.0ms
Operation ival-hypot, time spent: 63.0ms, 43.0% of total-time
Operation ival-add, time spent: 54.0ms, 37.0% of total-time
Operation ival-log, time spent: 21.0ms, 14.0% of total-time
Operation const, time spent: 7.0ms, 5.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
95.4%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓95.4%
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 23 to 16 computations (30.4% saved)

regimes7.0ms (0.2%)

Accuracy

Total -10.4b remaining (-354.5%)

Threshold costs -10.4b (-354.5%)

Counts
2 → 1
Calls
Call 1
Inputs
(log.f64 (+.f64 x (hypot.f64 1 x)))
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
Outputs
(log.f64 (+.f64 x (hypot.f64 1 x)))
Calls

3 calls:

3.0ms
x
2.0ms
(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
2.0ms
(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
Results
AccuracySegmentsBranch
95.4%1x
95.4%1(log.f64 (+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1))))
95.4%1(+.f64 x (sqrt.f64 (+.f64 (*.f64 x x) 1)))
Compiler

Compiled 21 to 14 computations (33.3% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×1-exp
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01023
11623
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(log.f64 (+.f64 x (hypot.f64 1 x)))
Outputs
(log.f64 (+.f64 x (hypot.f64 1 x)))
Compiler

Compiled 7 to 5 computations (28.6% saved)

soundness585.0ms (13.8%)

Rules
1544×fma-def
1032×associate-+r-
798×associate-+r+
776×associate-+l-
662×associate--r-
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
019140
14196
26996
311796
419696
529096
637296
745996
854496
986396
10184396
11364496
12430296
13446196
14450596
15452096
16452096
17455196
18455196
19714696
20734796
21790796
Stop Event
1×node limit
Compiler

Compiled 47 to 28 computations (40.4% saved)

end0.0ms (0%)

preprocess40.0ms (0.9%)

Compiler

Compiled 84 to 58 computations (31% saved)

Profiling

Loading profile data...